h**3/6 + 2*h**2. Let t be b(-2). Suppose t = c - 4. Is c prime?
True
Suppose -4*g - 4*d = -1188, 6*g - 1182 = 2*g - d. Is g a prime number?
False
Suppose g = -422 - 317. Let d = 82 - g. Is d a composite number?
False
Let t = -30 - -16. Is 0 + -4 + 4 - t a composite number?
True
Let d be (0 + 0)/(7 + -5). Suppose 3 = -3*x, -q - 3*x + 81 = 3*q. Suppose -5*s + q + 14 = d. Is s composite?
False
Let l be 4/1*4/8. Suppose 4 = -4*k - 4*t - 8, -10 = l*t. Suppose w + 3*s - 61 = 0, -161 = -k*w + 3*s - 57. Is w composite?
True
Let d(q) = -10*q - 7. Let g(i) = -33*i - 22. Let o(p) = 67*p + 45. Let f(x) = 5*g(x) + 2*o(x). Let z(b) = -8*d(b) + 3*f(b). Is z(-3) a prime number?
False
Let c(s) = 3*s**3 - 3*s**2 - s + 4. Is c(3) prime?
False
Suppose 379 = 5*b - 31. Let f = b + 121. Is f prime?
False
Suppose 4*k + 279 = 1831. Suppose 0 = -c - 0*c + k. Suppose -i - 3*i + c = 0. Is i prime?
True
Suppose -2*i - 4*d - 10 = 0, d = -i + 4*d + 20. Suppose 3*l + 115 = 4*l + 3*r, -4*l + 494 = -i*r. Is l prime?
False
Let k = -1146 - -2033. Is k a composite number?
False
Suppose -5*d + 7*d - 290 = 0. Is d composite?
True
Let f(b) = 82*b + 5. Is f(3) prime?
True
Let t = -1104 - -1957. Is t composite?
False
Suppose -3*n = -2*q - 2775, 5*n - 3476 = 5*q + 1149. Suppose -716 = -3*z + 5*w - 161, -5*z = -4*w - n. Suppose 3*c - z = -2*c. Is c composite?
False
Suppose -5*g - 301 = 489. Let d = g + 255. Is d prime?
True
Let f be (2 - 21/6)*34. Let w = f - -84. Is w composite?
True
Let z(h) = h - 6. Let a(u) = u**2 - 8*u - 2. Let x be a(9). Let s be z(x). Is ((-15)/(-10))/(s/22) composite?
True
Let h = -19 + 19. Suppose 0*r - 5*r + 1855 = h. Is r composite?
True
Is 1/(-6 - -5)*-10433 a prime number?
True
Let o(x) = 144*x**2 + 1. Suppose 5*l = 12 + 3. Suppose -4 = -l*d - 1. Is o(d) a prime number?
False
Let v(b) = 13*b**2 + 1. Let n be v(-1). Suppose -4*r = -0*r + 8. Is r/7 - (-1670)/n prime?
False
Let s(t) = 21*t**2 + 3*t + 1. Is s(-6) a composite number?
False
Let c = 1827 - 568. Is c composite?
False
Let q(t) = -3*t**3 + t**2 - 3*t - 3. Is q(-4) prime?
False
Suppose -140 - 76 = -3*l. Let y be ((-789)/(-4))/(6/l). Is y/21 + (-8)/(-28) composite?
False
Let v = 4835 - 2280. Is (-4)/22 - v/(-77) a composite number?
True
Suppose -d + 16 = 4*h - 5*d, -2*d - 2 = 4*h. Suppose 3*g = w + h, w + 2 = 4*g - w. Suppose g = 3*y - 6, 4*y + 19 = 2*k - 1. Is k prime?
False
Let c = 2 + 0. Suppose n = -c + 8. Is n a prime number?
False
Let o = 21 + 7. Suppose -h + 0*h - o = -2*r, -2*r = h - 28. Is r a composite number?
True
Let p(h) = -2*h**3 - 6*h**2 - h + 3. Is p(-4) a prime number?
False
Let q(c) = 139*c - 4. Let j(s) = -418*s + 11. Let p(u) = -2*j(u) - 7*q(u). Is p(-5) prime?
True
Suppose 14*s = 10*s + 508. Is s a composite number?
False
Is 18/117 + 20291/13 a composite number?
True
Suppose -2*d + 25 = -7*d. Let k(l) = -2*l**3 - 14*l**2 - 4*l + 19. Let y(m) = 3*m**3 + 21*m**2 + 6*m - 29. Let z(c) = -8*k(c) - 5*y(c). Is z(d) prime?
False
Suppose -226 = 10*h - 11*h. Is h prime?
False
Suppose -z = u - 2, z - 3*z = 10. Let l(q) = q**2 - q + 7. Is l(u) a prime number?
False
Suppose -4*z = 81 - 713. Is z a prime number?
False
Let f(i) = i**3 + i**2 + 5*i + 185. Is f(0) prime?
False
Is (-1570)/(-70) + 6/(-14) composite?
True
Let k = 18 - 18. Suppose l + l - 354 = k. Is l a prime number?
False
Suppose -1170 = 5*i - 2815. Is i a prime number?
False
Let n(x) be the second derivative of -5*x**3/2 - 3*x**2 - 3*x. Is n(-5) prime?
False
Suppose -i = 7*q - 2*q - 935, 0 = 2*q - 2. Suppose 5*w + 5*n = i, 3*n - 156 = -5*w + 784. Is w a composite number?
False
Let q be (4 + -7)/(6/16). Is (-1)/(-4) - 1302/q composite?
False
Suppose -3*h - 2*g - 832 + 11447 = 0, 4*h = g + 14168. Is h a prime number?
True
Let a = -1 + 3. Suppose a*s + 5*k - 346 = 0, -2*s + 704 = 2*s + 4*k. Is s a prime number?
False
Suppose a - 3*t - 15 = 0, 0 = -4*a - 0*a - 3*t. Suppose -2*s + 0*v = a*v - 20, s - 8 = -v. Suppose -6*i + s*i = -46. Is i a prime number?
True
Let q(m) = m**2 - 11*m + 1. Let u be q(11). Let r(z) = 1048*z + 1. Is r(u) composite?
False
Suppose 34 = 5*v - 61. Is v a composite number?
False
Let l(g) = 29*g**2 - g - 4. Is l(3) a composite number?
True
Let l be 81 + ((-3)/(-1))/3. Let o = l - -5. Is o a composite number?
True
Let s be -2 + 0 - 27/(-3). Suppose 2*j + 5 = 5*c, -s = c - 2*j - 0. Suppose -5*x + 194 = -0*l - c*l, 3*x - 2*l - 117 = 0. Is x composite?
False
Suppose 4*m + 1239 = 3*f, 0 = 5*f + 6*m - 2*m - 2033. Is f a prime number?
True
Suppose 0 = -3*v - 3 + 9. Let o = 11 - 7. Is 3*34*v/o a composite number?
True
Suppose 0 = -3*k + 6, -2*m + 6*m + 18 = 5*k. Let h(y) = -11*y - 3. Is h(m) a composite number?
False
Suppose -2*q = 4*i - 9*i + 1008, 5*q - 2*i = -2520. Let f = -345 - q. Is f prime?
False
Suppose -5*s = 5*d, 8 = -2*s - 0*s. Let c = d - 9. Is 3720/25 + (-1)/c a composite number?
False
Suppose -w = 2*w - 2*x - 553, 5*w + 5*x - 905 = 0. Is w composite?
True
Let l = 1401 + -16. Is l a composite number?
True
Let x(t) = t**2 + 6*t + 7. Let o be x(-5). Suppose o*g = -2*g + 56. Is g a composite number?
True
Suppose 7*p = 2*p + 1765. Is p a prime number?
True
Let m be 0 + (-1)/(3/48). Let n = m - -4. Is ((-212)/n)/(2/6) a prime number?
True
Let r(o) be the third derivative of -o**5/60 + 11*o**4/24 - o**3/2 - 2*o**2. Is r(8) a composite number?
True
Let a = -372 + 785. Is a a prime number?
False
Suppose -4*i = 43 - 15. Let o(d) = -d**3 - 5*d**2 - d - 8. Is o(i) composite?
False
Let j(v) = 63*v + 1. Suppose -m + 5*u + 10 = 0, -3*m + u - 6*u = 10. Suppose -8 = -4*d - m. Is j(d) composite?
False
Suppose 0 = 5*y - 2*y + 15. Let z = y - -90. Is z prime?
False
Suppose -3*n - 14 = m - 5*m, -4*m - 4*n = 0. Suppose 20 = 4*t, 5*s - m*t + 0*t = 60. Is s composite?
True
Let x(m) = m**2 - 2*m - 6. Suppose -3*p + 30 = -2*g - 2*g, 40 = 4*p + 3*g. Let w be x(p). Suppose 5*i = 3*i + w. Is i composite?
False
Suppose -3*p + 2*p = -97. Is p a prime number?
True
Let b(j) = -9*j**3 - 2*j**2 + 3*j + 3. Let s be b(-3). Suppose 5*o - 106 = s. Suppose w + o = 2*w. Is w prime?
False
Let u be (18 - 0)/3 + -3. Suppose 0*w + u*w = 633. Is w prime?
True
Suppose 5*g + 220 = -4*z + g, -3*z - 165 = 4*g. Let h = 77 + z. Is h prime?
False
Suppose 3*d - 110 = 103. Suppose -2*g - v + d = -0*g, 2*v + 6 = 0. Is g a prime number?
True
Suppose -5*t = 25, 795 = 2*d + 2*t - 3*t. Suppose -5*p - 25 = d. Let x = p + 135. Is x a composite number?
True
Let z = -4 + 7. Suppose -6*h + 3*h - z = 5*q, -h = -5*q + 1. Is h - -54 - (-4)/2 composite?
True
Let o be (-51)/(-21) + (-6)/14. Suppose -o*m = -8, -2659 = -5*y - 0*m + 4*m. Is y a composite number?
True
Suppose 0 = -0*u + 3*u - 63. Is 267/u - (-10)/35 a prime number?
True
Let w(j) = 2*j**2 - 14*j + 10. Let x be w(10). Suppose -b - b + x = 0. Is b a composite number?
True
Let w(i) = 4*i**3 - i**2 - i - 1. Is w(4) composite?
True
Suppose 0 = -0*n - 4*n. Let d be -65 - (3/3 - n). Let f = 121 + d. Is f a composite number?
True
Suppose 0 = -g + 2*a + 6, 0 = 5*g + 5*a - 61 - 14. Let p be (-3)/2*(-4 + 6). Is 4/g + (-110)/p a prime number?
True
Let p(v) = -v + 1. Let r be p(-6). Let x(d) = 5*d**2 - 8*d + 13. Let l be x(6). Suppose -5*j - l = -5*f, -3*j + 121 = r*f - 2*f. Is f a prime number?
False
Let u(p) = 2*p**2 + 10*p + 6. Suppose s = 4*s - 2*t + 31, -3*s + t = 29. Let h be u(s). Is -1*2 - h/(-2) a prime number?
True
Let x(y) = 14*y**2 + y + 4. Let d be 0 - -2 - (2 - -3). Is x(d) composite?
False
Is -5*2/(10/(-37)) composite?
False
Let a(u) = 6*u**2 + 2*u + 1. Let y be a(-1). Suppose -y*l = -l - 596. Is l composite?
False
Let f(r) = 4*r**2 + 3*r + 1. Suppose d = -2*d + 18. Is f(d) a composite number?
False
Suppose -4*m + 15 = -109. Is m prime?
True
Let p(c) = c**3 + c**2 + 184. Let z = 8 + -8. Let y be p(z). Suppose -5*s + s + y = 0. Is s prime?
False
Suppose 0 = -61*b + 53*b + 66616. Is b a prime number?
False
Let j be 1/(-2) - 999/(-6). Let y = j - 35. Let u = y - 76. Is u composite?
True
Suppose 2*i - 834 = -4*i. Is i a prime number?
True
Suppose 5502 - 918 = 4*c. Is (c/(-18))/(1/(-3)) a prime number?
True
Suppose -432 + 59 = -p. Is p prime?
True
Let n = 3185 + -1288. Suppose 0 = -5*g - 0*g + 4*m + n, g - 385 = -2*m. Is g a composite number?
True
Suppose -250 = 3*b - 781. Is b prime?
False
Let l(q) = 3*q**2 + 3*q