-4) - 2). Is 23 + y + 0 + 0 prime?
False
Let a = 8 + 29. Is a a prime number?
True
Let t = -16 + -26. Let l = t - -77. Is l prime?
False
Let h be ((-1)/2)/((-2)/84). Suppose -3*r + 0*r + h = 0. Is r a prime number?
True
Let i(j) = 4*j**3 + 5*j + 10*j**2 + 4*j + 1 - 3*j**3 + 2. Is i(-7) a composite number?
True
Suppose 2*n + 2*l = 7552, -2*l - 10 = -0*l. Suppose -4*s - 569 = -n. Is s composite?
True
Let i be (-3)/12 + (-106)/(-8). Suppose 2*z - 3 = i. Let d = 15 - z. Is d a prime number?
True
Suppose 2*i + 188 = -2*i. Let v = i - -73. Is v a composite number?
True
Suppose 2*q - 5*b = -0*q + 372, 0 = -3*q - 5*b + 583. Is q a prime number?
True
Let m be (-8)/(-28) + 12/7. Suppose 2*w - 3*w = -m*v + 44, 5*v - 113 = w. Suppose -5*x + 152 = -v. Is x a composite number?
True
Suppose -2*a = 2, 2*a + 167 + 392 = n. Is n prime?
True
Suppose 0 = 7*n - 11*n + 4. Is 162 + 0 - 3/n prime?
False
Let b = 1362 + 181. Is b a composite number?
False
Is (33/12 - 2)/((-2)/(-1048)) a composite number?
True
Suppose -2*u = u. Suppose 3*j = -u*j + 39. Is j a composite number?
False
Let o(v) be the third derivative of v**5/60 - v**4/24 + 35*v**3/3 - v**2. Let s be o(0). Suppose 0*w + s = 2*w. Is w a composite number?
True
Suppose 0*l = 3*l - 6. Let x(u) = 14*u**2 - 2*u + 1. Is x(l) prime?
True
Let q = 11 - 3. Let w(f) = -f**2 + 9*f - 6. Let c be w(q). Suppose -c*g + 39 = -91. Is g composite?
True
Suppose 3*k + 0*k = 0. Let a be (k + (-15)/(-12))*128. Let z = a - 107. Is z a composite number?
False
Let o = -19 - -33. Is o prime?
False
Let m(v) = 4*v**2 - 46*v - 1. Is m(-21) a composite number?
False
Let c = -291 - -534. Let g = 8 + c. Is g composite?
False
Suppose 4*o = -5*u + 1082, 133 + 297 = 2*u + 3*o. Suppose 3*z + z - 895 = -3*c, -z + 5*c + u = 0. Is z a composite number?
False
Let y(o) = 28*o**2 + 12*o + 9. Is y(-4) prime?
True
Let u(x) = 7*x**3 + 4*x**2 - 2*x - 4. Suppose 2*q - w = 2, 5*w = -5*q - 0*q - 25. Let t(o) = -o**2 - o. Let m(y) = q*u(y) - 2*t(y). Is m(-3) composite?
False
Let u(l) = l**2 + 1507. Is u(0) prime?
False
Let d(j) = -2*j. Let z be d(1). Let x be z/8 - 2/(-8). Is (-57)/(-3)*(1 - x) prime?
True
Let g be 42 + 2*(-2)/4. Suppose -b - 5*c + 97 = 3*b, 0 = -2*b + 5*c + g. Is b composite?
False
Suppose -4*h - 12 = 0, -t + 0*t + 551 = 2*h. Is t prime?
True
Suppose -3*v + 1278 = 3*v. Is v composite?
True
Let q = 2 - -2. Suppose q*d - 49 = -0*b - b, -5*b = 5*d - 320. Is b composite?
True
Suppose -2*o + 3*i - 2 = 2, 5*o - 2*i = 12. Suppose -t - l - 6 = o*l, -3*l + 2 = 2*t. Suppose -356 + 8 = -t*c. Is c composite?
True
Let t be (-54)/(-10) + (-2)/5. Suppose -9 = -3*b + p, -b + t*p + 1 = 12. Suppose b*y + i = 2*y + 28, i - 14 = -y. Is y a prime number?
False
Let j = 5 - 10. Let d = 6 + j. Is ((-11)/4)/(d/(-12)) composite?
True
Suppose 2*o = -2*o + 20. Suppose -o*v + 190 = 65. Suppose 5*k = v, -f + 0*k + 2*k - 4 = 0. Is f composite?
True
Let w be 9/(-15) + 1116/10. Suppose -4*k + 2*j = -234, -2*k - j = -0*j - w. Let p = -34 + k. Is p prime?
True
Let c = -49 + 240. Is c prime?
True
Let v(o) = 6*o. Let x be v(-1). Let q(d) = -d**3 - 3*d**2 - 3*d + 1. Is q(x) a composite number?
False
Suppose 0 = -2*o + 8, -1490 = -5*c + 6*o - o. Suppose -2*q + 745 = 5*p + 3*q, -2*p - 3*q = -c. Is p a prime number?
False
Let j(t) be the third derivative of t**6/120 - 11*t**5/60 + t**4/2 + 11*t**3/6 - 6*t**2. Is j(10) prime?
True
Let y = 79 - -54. Let n = -89 + y. Suppose -5*u = -u - n. Is u prime?
True
Suppose 3*u - 1440 = -63. Let i = u - 22. Is i a prime number?
False
Suppose 195 = -4*a + 5*l - 80, 5*a = 4*l - 346. Is 0 - 0 - (a + 15) prime?
False
Suppose 40 + 10 = -5*m. Let n = m - -49. Is n a composite number?
True
Suppose m = 542 - 220. Suppose -f = f - m. Is f prime?
False
Suppose -4*v = -9*v. Suppose v = -q - 2*q. Suppose -f + 75 + 52 = q. Is f a composite number?
False
Suppose -5*f - 5 = -25. Suppose 179 + 4 = f*g - 5*b, 4*b + 90 = 2*g. Is g a prime number?
True
Suppose 5*n - 185 = -z - z, 5*z - 3*n - 478 = 0. Suppose 0 = -7*m + 2*m + 910. Suppose 27 - m = -5*p + 5*i, 3*p = 2*i + z. Is p a composite number?
True
Suppose 0 = 4*u - 669 - 175. Is u prime?
True
Suppose 0 = -4*v + 1361 + 363. Is v prime?
True
Let o(d) = 0*d - 5 - 5*d - 1. Let x = 5 + -10. Is o(x) composite?
False
Let j = 7752 + -5419. Is j composite?
False
Suppose 0 = -2*z + 2*q + 2, q - 14 = z + 3*q. Is (-6)/z*(-26)/(-3) composite?
False
Let x be (-2)/(-4) - (-20)/8. Suppose 2*q = b + 72, -5*q + 0*b + 178 = -x*b. Is q composite?
True
Let d(l) = -61*l - 2. Let b be d(1). Is (-986)/(-18) - 14/b prime?
False
Suppose p - 367 = -4*o + 1222, -3*o = -5*p - 1209. Let h = -151 + o. Is h prime?
False
Let b be 6/(-9)*(2 + -41). Let a = -9 + b. Let y = 24 - a. Is y composite?
False
Let q(s) = 2*s**2 + 12*s - 10. Let j be q(4). Is (-3)/7 + 520/j a prime number?
True
Let o(d) = -299*d**3 - 4*d - 7. Is o(-2) a prime number?
True
Let v(i) = 4*i - 11. Let l be v(10). Suppose -2*j = -l - 15. Is j a prime number?
False
Let g = 0 - 3. Let p be g/(-9) - 1516/(-6). Let x = p + -138. Is x a composite number?
True
Let f = 570 + -1178. Let q = -322 - f. Let j = -197 + q. Is j a composite number?
False
Let w be (6/4)/((-3)/(-8)). Suppose -6*j + 432 = -3*j. Suppose 0 = -4*v + 2*t + j, -w*t + 108 - 16 = 2*v. Is v prime?
False
Let k(p) = 3*p - 19. Let h be k(6). Let b(t) = -161*t - 2. Is b(h) composite?
True
Suppose 0 = 3*o - 6, -5*o - 2307 = -y - 0*o. Is y a prime number?
False
Suppose 4*s - 11 - 5 = 0. Suppose 0*g = s*g - 492. Is g composite?
True
Suppose z - 4 = 8. Is ((-28)/z)/(1/(-3)) a composite number?
False
Let b(s) = s**3 - 9*s**2 + 3*s - 1. Let g be b(9). Let z = 123 - g. Is z a composite number?
False
Let q = 284 + -107. Suppose -2*l + 193 = -q. Is l a composite number?
True
Suppose -l + z + 16 = 0, 2*l - 43 = 3*z - 14. Suppose 0 = y + 2*a + l, 0 = -0*y + 4*y - 5*a + 102. Let f = y - -33. Is f a prime number?
False
Let u(f) = 214*f**2 + f. Let r be u(2). Let y be 3/(-12) + r/8. Suppose -5*h = 4*z - 481, -y - 16 = -z - 4*h. Is z prime?
False
Suppose 2*k + 0 - 2 = 0. Let n(a) = 50*a**3 + 2*a**2 - 3*a + 2. Is n(k) a prime number?
False
Is (-2)/((-588)/293 - -2) a composite number?
False
Let u(j) = -j**2 + 11*j - 3. Let n be -3 + (-2 + 4)*-1. Let h be (8/(-5))/(1/n). Is u(h) composite?
True
Let s = -65 + 102. Let l be (-2)/8 + 726/24. Let v = l + s. Is v prime?
True
Let d = -7 + 12. Let k(v) = -11*v + 15. Let c(p) = 16*p - 22. Let b(i) = d*c(i) + 7*k(i). Is b(4) a prime number?
True
Let l = 395 + -246. Is l composite?
False
Suppose -11*i + 460 = -6*i. Suppose -3*t + i + 109 = 0. Is t prime?
True
Suppose 413 = -7*h + 8*h. Is h a composite number?
True
Is (12 + 11)/((-2)/(-46)) composite?
True
Is 3/1*(-1581)/(-9) prime?
False
Let t = 88 - 39. Suppose -2*a - 4*p = 8, a - 7*p + 32 = -2*p. Let c = a + t. Is c a composite number?
False
Let q(y) = -y**3 - 5*y**2 - y + 7. Suppose 0 = 2*m - 117 + 47. Let t be 4/14 - 220/m. Is q(t) a composite number?
True
Suppose 3 - 5 = -f. Suppose -f*j - 1340 = -6*j. Is j a prime number?
False
Let b(t) = -t**3 + 14*t**2 + 8*t - 16. Suppose 0*h = -h + 13. Is b(h) a composite number?
False
Suppose 0 = -3*x + 4 + 8. Suppose -2*c + 6 = -0. Suppose 0 = -c*j + x*j - 55. Is j composite?
True
Suppose 3*b + 2*w - 4189 = -0*w, -5*b = 3*w - 6982. Is b a prime number?
False
Suppose 0 = -6*g + 8*g - 1354. Is g composite?
False
Let b = 2 - 0. Suppose -3*y = -b*y - 95. Is y composite?
True
Let o be (1 - -3)*(-6)/12. Is (o - 3/(-1)) + 22 composite?
False
Suppose -w + 3 = z, z + 4*w - 12 = -0*w. Suppose z = 2*a + 5 - 1, -2*a = 3*t - 251. Is t composite?
True
Suppose 2*t = -41 - 13. Let f = t - -76. Is f composite?
True
Let k(u) = 7 - 2 + 4*u + 16*u - 4*u. Is k(4) composite?
True
Let c(n) = -n**2 + 5*n - 1. Let y be c(5). Let d be (-4)/y*(-11)/(-4). Let u = d - 1. Is u composite?
True
Let t(u) = u**3 - 5*u**2 - 3*u + 1. Let p be t(5). Let f = p - -6. Is (-2334)/(-14) - f/28 composite?
False
Suppose 2*j + 3 = 7. Suppose 4*u = j*b - 430, 0 = 2*b + 3*b + 2*u - 1123. Is b prime?
True
Suppose 5*z = -z + 29910. Is z prime?
False
Suppose u - 6*u + 3155 = 0. Is u composite?
False
Suppose 0 = b - 3*m + 120, -2*m + 3*m = -3*b - 330. Let z = b + 200. Is z a prime number?
True
Let g = 0 + 2. Suppose 3*x - g*x = 87. Is x composi