
True
Let d(m) = -2*m**2 + 4*m**2 - m**3 + 8*m**2 + 3 - 12*m. Is d(8) prime?
False
Suppose -3*p + t = 5, 0*p = -3*p - t - 13. Let o be (14/p)/(5/15). Is (-4)/o + 794/14 a prime number?
False
Suppose -d = -0*d. Suppose 465 = l + 4*l. Suppose 0 + 5 = 5*c, 2*w - 5*c - l = d. Is w composite?
True
Suppose -1 = 5*z - 16. Suppose g - 11 = -4*t, 0 = -z*g - 5*t - 2 + 21. Suppose 0*d - g*d + 30 = 0. Is d composite?
True
Suppose -687 - 2678 = -5*n. Is n a prime number?
True
Let o = 8 - 20. Let v(g) = 4*g**2 - 5*g + 5. Is v(o) prime?
True
Let q = 2 + 0. Suppose -j + 2*w = -15, -q*w + 3 + 1 = 0. Suppose 2*u - 5*b = 2, 3*b - 11 = -4*u + j. Is u prime?
False
Suppose 0 = 4*a + 4*q + 4, -3*a - 4 - 5 = q. Let m be 9*(-5)/(30/a). Is -1*(-231)/m*2 a prime number?
False
Let p(y) = 47*y**2 + y - 1. Let f be p(3). Suppose -2*t - 10 = 0, 2*v = 5*t + f - 114. Suppose -4*l - 15 = 5, 2*r - v = -3*l. Is r a composite number?
False
Is 4/6*(-8982)/(-12) prime?
True
Let l = -1 - -5. Suppose -5 = -3*o + 1. Is (o - -156)*2/l a prime number?
True
Let y = -190 - -360. Suppose u - y = -4*u. Is u composite?
True
Let d = 22 + -8. Let u = 56 - d. Suppose -5*w + 143 + u = 0. Is w composite?
False
Suppose 0 = -2*u + 9215 + 71. Is u composite?
False
Let x = 12 - 17. Let h(v) = v**3 + 4*v**2 - 7*v. Is h(x) a composite number?
True
Suppose -4*x - 635 = -p, 5*p - 6*p + 2*x = -645. Is p prime?
False
Let r be -1 + 0 - (-5 - 0). Let a(x) = -9 - 8*x**2 + 11 + r*x**2 - x**3. Is a(-7) composite?
False
Let a(z) = 318*z - 3. Let i be a(2). Suppose 2*h = -h + i. Is h prime?
True
Suppose -2*n = -0*n - 52. Suppose -3 = -2*r - 25. Let y = n - r. Is y a prime number?
True
Suppose 4*k + 8 = 0, k - 420 = -f - f. Is f a composite number?
False
Let k = 1617 - 940. Is k composite?
False
Suppose -5*v + 2*b + b + 1735 = 0, 4*v - 1388 = -2*b. Is v composite?
False
Let h(b) = 6 - 2*b**2 + 3*b**2 - 7*b - 5. Let q be h(6). Is (-171)/(-4) - q/20 a composite number?
False
Suppose -27 = 5*a + t, 3*a + 7 = 4*t - 0*t. Let q(y) = -y**3 - 4*y**2 + 5*y + 2. Let h be q(a). Is 6*(h/4)/1 prime?
True
Is -6*(-3)/(-6) - -61 prime?
False
Let q(j) = j**2 + j + 2. Is q(-2) prime?
False
Let a(s) = s**2 - 3*s. Let k be a(2). Is k*(-3)/(12/62) a prime number?
True
Suppose -5*u - 3*f - 14 = 0, -3*f - 4 = -2*u - 18. Let w = u - -7. Let n(y) = 8*y**2 + 3*y - 4. Is n(w) a prime number?
False
Suppose -m + 1 = -4. Suppose m*r = -0*r + 35. Is r a prime number?
True
Let b = 9 - 10. Let v(c) = 63*c**2 + c. Is v(b) composite?
True
Let j(f) = 17*f**2 + f. Let q be j(-1). Let h = q + -10. Is h a composite number?
True
Let k(d) = d**2 + 12*d + 14. Let l be k(-11). Suppose l*n - 59 - 34 = 0. Is n prime?
True
Let a(y) = 2*y**2 + 2*y - 1. Suppose -2*h + 3*h = -4. Is a(h) a prime number?
True
Suppose 0 - 4 = -z + 3*m, 0 = -3*m - 3. Is (-9 - -9) + z + 52 composite?
False
Is (-4)/(-6)*(1 - 7385/(-10)) composite?
True
Let c = -8 + 9. Let k = -1 - c. Is (k/(-4))/((-3)/(-126)) composite?
True
Let u = 6 - -46. Suppose -y = 3*y - u. Is y a prime number?
True
Let i(h) = h**2 + 2*h. Let b be i(-3). Suppose 2*d - x + 0*x = 303, b*d + 3*x - 459 = 0. Suppose -143 = -5*u + d. Is u a composite number?
False
Suppose 0*c + 3*c + 9 = 0. Let u be 3*5*c/(-9). Suppose -126 + 461 = u*m. Is m composite?
False
Suppose -5*x + 1 = -69. Suppose -n + 34 + x = b, 0 = -b + 4*n + 73. Is b composite?
False
Let g = 110 + -33. Is g a composite number?
True
Let k = 7 - 7. Suppose 3*z - 3 = 0, k*w = w - z - 36. Is w a composite number?
False
Let q = 111 - -35. Is q a prime number?
False
Let u = 529 + -102. Is u composite?
True
Suppose -3*m - 2*m + 3*g = -16, 3*m - 4*g = 3. Suppose 1 - m = 4*l, 3*l = 2*t - 823. Let f = t + -267. Is f a composite number?
True
Suppose 2*w + 1 = k, -4*w + 3*w = 3*k + 11. Let v(b) = 12*b**2 - 2*b - 3. Is v(k) composite?
True
Let p = 831 - 494. Is p prime?
True
Suppose -1 = -f - 2. Is -357*f/(-6)*-2 a composite number?
True
Suppose 2*l = -1 + 5. Suppose -4 = -l*g, -3*s - 4*g + 3*g = -101. Is s a prime number?
False
Let t = 54 + 5. Suppose -3*c - t = -416. Is c composite?
True
Suppose s + 4*p = 107, 2*s + 5*p = 162 + 67. Is s composite?
False
Let f = 1 + -1. Suppose f*p + 4*p + 5*r = 217, 3*r = 3*p - 156. Is p composite?
False
Suppose -3*l + 1670 = -u, 4*l + 2*u - 1032 - 1198 = 0. Is l composite?
False
Let i(r) = -r + 2. Let q be i(2). Suppose q = -c - 79 - 63. Let x = c - -221. Is x composite?
False
Let k = 377 + -259. Is k a prime number?
False
Suppose 0*n + 570 = 5*n. Is 1*(-3)/(-3) + n a prime number?
False
Suppose -104 - 34 = -3*h. Is h composite?
True
Let b be 44 - (-3)/(-1) - 2. Let g = -21 - b. Let n = g + 103. Is n composite?
False
Let c = 899 + -637. Suppose 30 = -z + h + c, -h = 5. Let w = z + -150. Is w prime?
False
Suppose 0*g - g + 39 = 0. Suppose -2*z = 3*t + 8, 0 = t + 3*z - z + 8. Suppose -u + 5*o + g = -t*u, -o - 23 = -u. Is u composite?
False
Suppose 4*r = -r - 10110. Let n be (r/(-5))/(4/10). Is (-2)/5 + n/15 composite?
False
Suppose -125 = -2*h - 3*h. Suppose -2*d - 5*q - h = 0, -2*d = d - 5*q + 75. Let m = 57 - d. Is m a prime number?
False
Let f be -5 - (-4 + 2) - -295. Let v = f - 113. Is v a composite number?
False
Let a be (-9)/(-4)*8/3. Let q be (0 + -20)/((-4)/a). Let d = 61 - q. Is d a prime number?
True
Suppose 0 = 7*g - 3*g - 20. Let t(f) = 5*f**2 - 7*f + 7. Is t(g) a prime number?
True
Let h(k) = 3*k**3 - 7*k**2 - 5*k + 7. Is h(6) composite?
False
Let x be ((-6)/(-10))/((-3)/(-15)). Let g be 2 + (x - (-2 - -4)). Suppose 36 = -g*l + 195. Is l prime?
True
Suppose -2 - 11 = -y. Let k be (0 - 2) + 26*2. Let h = k - y. Is h prime?
True
Let r be 10*13*1/2. Let d = r + -6. Is d a prime number?
True
Suppose -2*w + 63 = -233. Suppose -4*t + 30 = -3*f - w, -4*f = -4*t + 176. Is t composite?
True
Let z(b) = -b**3 + 8*b**2 + 9*b - 8. Let x be z(9). Let h = 13 + x. Suppose w + w = 5*a - 52, -25 = -3*a - h*w. Is a a prime number?
False
Let o(c) = -2*c - 5. Let a be o(-5). Suppose 4*y + 79 = 5*b, -y = -a*b - 14 + 105. Is b prime?
True
Let m be ((-4)/10)/((-2)/10). Is m/6 - 316/(-6) a prime number?
True
Suppose 3*l - 133 = -n, 0 = -2*l - 5*n + 29 + 38. Suppose -5*p = -b - 75, 5*b - l = -4*p + 14. Is p a prime number?
False
Let y be (-675)/(-12) - (-4)/(-16). Let r = y - 22. Is r composite?
True
Suppose -4 = x - 4*p, 5*p = -3*x + 3*p - 12. Is -4 - (2 + x) - -123 prime?
False
Let v(m) = -11*m**3 + 9*m - m**2 + 0*m**3 + 1 - 4*m**3 - 7*m. Is v(-2) prime?
True
Let q(u) = 8*u**3 - 6*u**2 + 6*u - 4. Let c be q(4). Suppose 3*n - 269 = c. Is n prime?
False
Let g = 1 - 4. Let b be (g + (-17)/3)*-33. Suppose -75 = p - b. Is p composite?
False
Let k(u) = -4*u + 443. Is k(0) prime?
True
Let n(l) = -154*l - 5. Is n(-6) a composite number?
False
Let t(s) = 20*s + 1. Let z be t(-2). Let h = z + 62. Is h prime?
True
Suppose 3*k = 3*x - 252, x + 2*x = -4*k + 217. Is x a prime number?
True
Is (-199)/((-4)/(5 + -1)) a composite number?
False
Let i = -225 + -41. Let z(h) = 130*h + 1. Let g be z(-3). Let r = i - g. Is r composite?
True
Let g = -167 - -280. Suppose 3*w - 393 = 4*k, -4*k - g = 4*w - 609. Is w a composite number?
False
Let g(c) be the second derivative of -c**5/20 + 2*c**4/3 + 3*c**2 + 3*c. Is g(7) a prime number?
False
Let p = -10 - -14. Suppose 0 = -2*h + p*h + 6. Let y(v) = -4*v**3 + 4*v - 1. Is y(h) a composite number?
True
Let w(k) = 2*k**3 - 4*k**2 + 6*k + 3. Let c(o) = -2*o**3 + 3*o**2 - 5*o - 2. Let s(m) = -4*c(m) - 3*w(m). Let x be s(-2). Is (-28)/(-8)*(-60)/x prime?
False
Let b(l) = 11*l**2 + 3*l - 2. Let o(x) = -x. Let s(t) = b(t) + o(t). Let v = 41 + -44. Is s(v) prime?
False
Let x(o) be the first derivative of o**4 - o**3/3 - 3*o**2/2 + 3*o - 4. Let g = 5 + -3. Is x(g) a prime number?
False
Is 152 - (-3 + 0)*-1 prime?
True
Suppose -3*u = -0 + 15. Let f(p) = -2*p**3 - 4*p**2 + 8*p + 3. Is f(u) a prime number?
True
Let r(t) = 8*t + 11. Suppose -6 + 24 = 2*m. Is r(m) a composite number?
False
Let x(r) be the third derivative of 11*r**5/60 + r**4/24 + r**3/6 - 4*r**2. Is x(2) prime?
True
Suppose -i = -4*i + 12. Suppose 4*z = 4*q + 152 + 384, 0 = i*q + 12. Is z prime?
True
Let t = 36 + 16. Let p = -29 + t. Is 2/(-3) - p/(-3) a composite number?
False
Is 6/(-9) - 447/(-9) a prime number?
False
Suppose 2*n = 3*n - 34. Let l = -15 + n. I