6*k = 17 - 17. Suppose -y - y - 2*r + 508 = 0, -2*r + 6 = k. Is y prime?
True
Let d(n) = -8*n + 26. Let m be d(11). Is (1 - -3) + (5 - m) a prime number?
True
Suppose 2*g - 31666 - 25108 = 0. Is g a prime number?
True
Let t be -4*(0 + 1/(-2)). Suppose -t*f - 7 = -3. Is (-6198)/(-54) + f/(-9) prime?
False
Let x(b) = 736*b**2 + 4*b + 3. Let t be x(-1). Suppose 2*z + 1058 = 5*j - t, 3*z = 5*j - 1792. Is j a composite number?
False
Let z = 821 + 960. Is z prime?
False
Let c(b) be the second derivative of -6*b - 13/2*b**2 + 0 - 8/3*b**3. Is c(-11) composite?
False
Suppose -6*z + 5*z = -12. Let m = z + 667. Is m prime?
False
Let d(w) = 3*w - 4. Let i be d(2). Suppose -459 - 231 = -i*q. Suppose -5*k = g - q, -k + 1673 = 5*g - 2*k. Is g prime?
False
Let h = 26 + -8. Is 3/(-2) - (-5517)/h prime?
False
Let v(o) = o**2 - 2*o + 1. Let k be v(2). Let g(z) = k - 3 + 12*z + 1 - 6. Is g(10) prime?
True
Let x(k) = -2*k**2 - 145*k + 67. Is x(-30) a composite number?
False
Suppose 40 = 5*g + 5*k, 2*k + 8 = -0*k. Let d = 7 + g. Is (d/(-2))/((-2)/28) prime?
False
Suppose 5*b - 1331 - 534 = 0. Is b composite?
False
Let v = -8008 + 11975. Is v a composite number?
False
Let z(w) = 3*w - 24. Let q be z(8). Suppose 3*i - 797 - 2860 = q. Is i a prime number?
False
Let j = -26 - -68. Let y = -110 + 145. Let b = j - y. Is b prime?
True
Suppose 82*k + 62390 = 92*k. Is k composite?
True
Let m(d) = -d**3 + 14*d**2 - 14*d - 3. Let a be m(12). Suppose -4*q - a + 401 = 0. Is q a prime number?
True
Let a = 4013 + -1086. Is a a prime number?
True
Let d(n) = 5*n**2 + 5*n - 21. Let j = -63 - -70. Is d(j) a composite number?
True
Let m be 51*(-4)/((-36)/69). Suppose 4*h = 3*h + m. Is h composite?
True
Let z(w) = -w**2 + 20*w + 108627. Is z(0) composite?
True
Suppose 45806 = 11*r - 23945. Is r composite?
True
Suppose 5*k - 3 = -223. Is (1397/k)/(1/(-12)) a composite number?
True
Is 9 - 10 - -1*(3864 + 2) prime?
False
Suppose 3*y = 11 + 4. Let g(n) = 43*n**2 + 15*n - 13. Is g(y) a composite number?
True
Let d = -13454 + 32985. Is d a composite number?
False
Suppose 2*k + b - 546 = -2239, -k - 3*b - 859 = 0. Let n = k + 1629. Is n composite?
True
Suppose -33*p - 10 = -28*p. Let o(v) = -737*v**3 + 2*v**2 + 3*v + 5. Is o(p) a composite number?
False
Suppose -86141 = 35*i - 46*i. Is i a prime number?
False
Suppose 3*j = 3*m - 0*j + 27, 5*m - 5 = -5*j. Let v be (-286)/m + (-1)/2. Suppose l - v - 24 = 0. Is l composite?
True
Let l be (-30)/(-45)*(-522)/(-4). Suppose 2*k - 478 = -3*u + l, 3*k = -u + 200. Is u prime?
False
Suppose -4*o + 2*f - 6602 = -8*o, f + 8256 = 5*o. Is o prime?
False
Suppose -6*n + 8*n = 6. Let j(k) = -9*k + 3*k**2 + 1 + n - 2*k. Is j(7) composite?
True
Let b = 10210 - 4651. Is (-8)/5 + 2 - b/(-15) prime?
False
Let i = 48791 + -15478. Is i a prime number?
False
Suppose -5*q - 7362 = -23*q. Is q composite?
False
Let t be (-76)/(-8) + (-1)/2. Let o = 14 - t. Suppose -o*p = 5*s - 173 + 18, 2 = -s. Is p composite?
True
Is (2*3 + (-170)/34)*46385 a composite number?
True
Let q be 16 + ((-9)/18)/((-2)/12). Let c(v) = 8*v + 47. Is c(q) a composite number?
False
Let o(k) = -22*k**3 + 5*k**2 - 5*k - 11. Let j(r) = 7*r**3 - 2*r**2 + 2*r + 4. Let a(g) = -7*j(g) - 2*o(g). Is a(-4) composite?
True
Let c be -4*(5/10 + 0)/(-2). Let x = 7 + -1. Is c/x + 3946/12 composite?
True
Is (-2190474)/(-91) - 3/21 prime?
True
Let f = 7 + -5. Suppose w - f*n - 9 = 0, 4*w = -3*n - 4 - 4. Is 82/4 + w/2 a composite number?
True
Let z(h) = 77*h**2 + 4*h - 7. Is z(-2) prime?
True
Let h = -127 - -133. Let b(x) = 28*x**2 - 10*x + 19. Is b(h) a prime number?
True
Let t be 1/3 - (-1)/(-3). Suppose -n = -d + 166, -4*n + t*d - 4*d = 680. Is (-2 + n)*(-1)/2 prime?
False
Let i(d) be the first derivative of -d**4/4 - 5*d**3/3 + 4*d**2 + 7*d + 9. Let s be i(-6). Let p(j) = -24*j + 7. Is p(s) a prime number?
True
Suppose 3*z = 12, 0*y - 3*y + 5*z = -412. Suppose 0 = f - 133 - y. Is f a prime number?
True
Suppose 2*f = -20 + 24. Suppose -f*p = -4*q + q - 263, -p = -5*q - 142. Is p a prime number?
True
Let d be ((-2)/3)/1*4647. Suppose 234 = 3*b - 5*j - 83, 2*b + 3*j - 205 = 0. Is d/(-26) - 16/b composite?
True
Let h(x) = 2*x**3 + 74*x**2 + 8*x - 73. Is h(-35) composite?
False
Let s = -27195 - -57100. Is s composite?
True
Let x(f) = f - 9. Let c be x(13). Suppose 0*a = -c*a + 20. Suppose -2 = z, 921 = 5*p - a*z + 346. Is p a prime number?
True
Suppose 4*o = -4*d - 4, -2*d + 3*d = o - 7. Suppose i = 3*n - 10, 0 = -o*n - 0*n - 4*i + 20. Suppose -n*t + 2*t + 26 = 0. Is t a composite number?
False
Let x(i) = 18*i**3 + 5*i**2 + 4*i + 11. Is x(6) a prime number?
False
Let a(m) be the first derivative of 16*m**3/3 - m**2/2 + 7*m - 43. Let k be ((-2)/3)/((-2)/12). Is a(k) composite?
True
Let q be (-8 - -9)*(-6)/(-2). Suppose 8*y - q*y - 5 = 0. Is y - -34*4 - 3 prime?
False
Suppose 4*a = -2*y + 52, 0 = a - 3 - 1. Is 3434/y + 2/9 prime?
True
Suppose -6 = 20*j - 23*j. Suppose j*z + 272 = n + 63, -n + 207 = -4*z. Is n prime?
True
Let t be (-18)/2*(-1)/3. Suppose -u - 159 = -w, -t*w - 2*u + 781 = 2*w. Suppose -6*r = -d - r + w, 5*r = 0. Is d a composite number?
False
Suppose 5*x + 7030 = 4*p - 5917, 3242 = p - 3*x. Is p composite?
True
Let b(z) = 14*z - 34. Let m be b(-3). Let w be 37/(-2)*6*1. Let x = m - w. Is x a composite number?
True
Is (2/4)/((-2)/(-222892)) a composite number?
True
Let f(u) be the second derivative of u**4/2 + u**3/3 - 5*u**2/2 - 7*u. Is f(-3) a composite number?
False
Suppose 0 = 2*b - 4*s - 48, -4*s = 2*b + 1 - 25. Suppose 15*x = b*x - 195. Is x a prime number?
False
Suppose f - 3312 = 3*r, 4*f - 13235 = r - 2*r. Is f a composite number?
True
Suppose -4*p + 40 = 4*p. Suppose 3*d - 4 = -d, k + p*d = 654. Is k a prime number?
False
Suppose -5*v - 9 + 34 = 0. Suppose -h - 26 = z - 9, 25 = v*z. Is (-1280)/h + 12/(-66) a composite number?
True
Let p(t) = t**3 - 10*t**2 + 6. Let w be p(10). Is (-56)/w*3/2*-1 composite?
True
Let v = 20 - 28. Let a = -12 - v. Is (a/(-4))/(3/195) a prime number?
False
Suppose -2*s - 5*s + 28 = 0. Suppose 5*n - 4*f = 1639, -n + f + 311 = -s*f. Is n composite?
False
Let l = 4948 + -3293. Is l composite?
True
Let a(o) = 4*o - 31. Let t be a(8). Let d(s) = 200*s**2 - 2*s + 1. Is d(t) composite?
False
Let s(k) = k**3 - 13*k**2 - k + 18. Let q be (8 - 1)*(-6)/(-21). Suppose 2*x = q*i - 40, -i - x - x = -5. Is s(i) a composite number?
True
Let f = 12 - 20. Let m(s) = -2*s**3 - 3*s**2 - 9*s - 27. Is m(f) prime?
True
Let b(v) = 2*v - 17. Let d be b(5). Is (-3)/d - ((-35078)/14 - -3) prime?
True
Let f(j) = 1631*j**3 - 3*j**2 + 7. Is f(2) a composite number?
False
Let i be 4 - (0 + -2 + 4). Suppose x - 181 = -i*p - 10, 0 = -3*x - 9. Is p a prime number?
False
Let m = -35 - 176. Let g = -18 - -17. Is g/((-4 - -5)/m) a composite number?
False
Suppose 0 = 4*z - 2*a + 14, -2*z + 2*a = -a - 3. Let o(x) = -x - 10. Let q be o(z). Is 87 + (-2 - (q + 4)) a composite number?
True
Suppose 0 = 2*m + 4*z - 2630, 3*m + 4*z - 3667 = 280. Suppose 3*r - m = 2*h, -7*h = -3*h. Is r prime?
True
Suppose -3*c + 19505 = -832. Is c composite?
False
Let q(d) be the second derivative of 5*d**4/12 + 2*d**3/3 + 7*d**2/2 + d. Let u be (-21)/28 - (-3 + (-7)/4). Is q(u) a composite number?
False
Let w = 9491 - 3978. Is w composite?
True
Let p = -5 + 2. Let l be p/9 + (-38)/(-6). Suppose l*i - 11*i + 335 = 0. Is i composite?
False
Suppose 22922 + 39344 = 2*v + 3*j, v = 5*j + 31159. Is v composite?
False
Let d(i) = -i. Let c(b) be the second derivative of 7*b**3/2 - 2*b**2 + b. Let o(l) = c(l) + 2*d(l). Is o(5) composite?
True
Suppose 4*d + 4 = 2*d, 0 = 2*h - 5*d - 10. Is 2749 + (-2)/1 + h a prime number?
False
Suppose 7*x = -5*r + 4*x + 16, 2*r = 2*x + 16. Let l = r - 1. Suppose l*t - 489 = t. Is t a prime number?
True
Is 4/(-2) + (-1 - -1) - -2325 composite?
True
Suppose 0 = -3*l + 2*l + 4*a + 9723, a = -3*l + 29156. Is l a composite number?
False
Let c(d) = -10*d**2 - 1. Let r(n) = -n**2 + 1. Let k(v) = v - 4. Let l be k(3). Let s(u) = l*c(u) - 6*r(u). Is s(4) prime?
True
Let t(y) = 6*y**3 + y + 1739. Is t(0) a composite number?
True
Let k = 245 + -128. Let l be -3 + 3 + 3 + 131. Suppose l + k = w. Is w composite?
False
Let h = -36 + 34. Is 887/h*(-1 + -1) a composite number?
False
Suppose 3*c = -9, n - 3*n - 4*c