. Is c prime?
True
Let v = 200 - -3198. Is v a composite number?
True
Suppose 2*w - x = -2*x + 31, -5*x + 85 = 5*w. Suppose i - 4*s - w = 0, -12 = s + 3*s. Suppose -b + c + c = -13, -5*b - i*c + 113 = 0. Is b composite?
True
Suppose 0 = i - 0*m + m - 24042, 3*m - 48083 = -2*i. Is i prime?
True
Let i(o) be the second derivative of 25*o**4/12 - o**3 + o**2/2 + 3*o. Let v be i(4). Let p = v + -186. Is p a prime number?
True
Let h = -317 + 169. Let t be (-9)/(1/(h + 3)). Suppose -3*q + t = 2*q + 5*p, 0 = q - p - 253. Is q prime?
True
Suppose 135*c + 9304 = 139*c. Is c a composite number?
True
Suppose -26*j = -29*j + 12, -2*u = -2*j - 46898. Is u a prime number?
False
Let g be ((-1)/2)/((-7)/140). Suppose -3*z + 5*f + g = -24, 0 = z + 2*f + 7. Is (-4)/z + 506/6 a prime number?
True
Suppose -5*q + 3719 - 187 = -3*v, 5*v + 20 = 0. Suppose -5*j = m - 0*m - 707, 5*j = -2*m + q. Suppose -l + j = -0*l. Is l prime?
False
Suppose 17 = -3*h - 151. Let i = h - -210. Suppose 0 = -4*m + i + 610. Is m composite?
False
Suppose 3*a - 3*f + 1677 = 0, -9 = 3*f - 0*f. Is (a - 4)/(8/(-28)) composite?
True
Suppose -6*g = -k - 7*g + 872, -3*k + 2646 = -3*g. Is k composite?
False
Let t = 11 - 9. Suppose 4*i - t*r = -10, 20 = -2*i + 3*r + r. Suppose i*n = -3*n + 1077. Is n a prime number?
True
Let f = 30 + -31. Is ((-2435)/5)/((-3)/f + -4) prime?
True
Let m(g) = g**3 + 12*g**2 - 14*g + 10. Is m(5) a composite number?
True
Is ((-5345)/(-20))/((-145)/(-140) - 1) composite?
True
Let v(n) = 172*n**2 + 7*n + 9. Is v(-2) prime?
True
Let k(o) = -5*o - 17. Let m be k(-4). Suppose -636 = -3*c - m*c. Is c composite?
True
Suppose 39 + 13 = -r. Let h = -25 - r. Let y = h - 5. Is y prime?
False
Let i = 237 - 167. Let s = -44 + i. Suppose 3*h + o - 36 = 0, -4*h + 6 = -4*o - s. Is h a composite number?
False
Suppose -i - 5*p + 29268 = 0, p + 37 = 42. Is i a composite number?
False
Let o(s) = -253*s - 3. Let h be o(-4). Suppose -2*a + d = -317, 2*d = 5*a + 218 - h. Is a composite?
False
Suppose 5*b - 1669 = 2766. Is b a composite number?
False
Suppose 3*s + s + 3*f - 90 = 0, 2*s = 2*f + 38. Let v be (s*3 - 1) + 3. Suppose 3*m - 34 = v. Is m a composite number?
True
Suppose -2*j + 2108 = -896. Suppose -5*c - j = -3*m, c + 593 = m + 93. Is m composite?
False
Is ((-20)/8 - 50470/(-4)) + -4 composite?
False
Let w = -7481 - -13288. Is w prime?
True
Let u(t) = -t**3 - 5*t**2 - 8*t - 13. Let i be u(-4). Suppose 2*r + 4*x - 794 = 0, -2*x = -4*x + 4. Is r/18*i*2 composite?
False
Let o(n) = 5*n + 4. Let g(c) = 4*c + 5. Let h(j) = 7*g(j) - 6*o(j). Let b be h(6). Is (7/14)/(b/(-110)) prime?
False
Let s(p) = 48*p - 5. Let b = -11 + 15. Suppose -4*x + 20 = 5*u + b, x - 4 = -4*u. Is s(x) a composite number?
True
Suppose -46 = 3*l - 0*l + 5*k, -5*l = -3*k + 54. Let w be 14 + l + (0 - 167). Is -1 - w - (4 + -3) prime?
True
Suppose 12*q - 8*q = -1612. Let g = 348 - q. Is g a prime number?
True
Suppose -6*r = -5*r - 978. Suppose 11*i - r = 5*i. Is i a composite number?
False
Let x(p) = 83417*p + 332. Is x(3) prime?
True
Let i(n) = -n**3 - 31*n**2 + 138*n - 41. Is i(-46) prime?
False
Let k = -55 - -57. Suppose k*h = 6*h - 13652. Is h prime?
True
Suppose -3*p + 2581 = j, 4*j - 21 = -5. Suppose 4*c - 1597 = p. Is c prime?
False
Suppose -2*l - 3994 + 148358 = 3*a, a = -2*l + 144368. Is l a prime number?
False
Let q(u) = -6*u - 228. Let s be q(-37). Let h(v) = -20*v**2 + 7. Let z(w) = -w**2. Let a(l) = -h(l) + 6*z(l). Is a(s) a composite number?
True
Let m(n) = 5037*n**2 + 3*n + 5. Is m(-1) a composite number?
False
Let t be (-5164)/10 + 6/15. Let u = -109 - t. Let w = u + -220. Is w composite?
True
Let s = -32 + 28. Is -225*(-6)/4 + s/8 composite?
False
Suppose 0 = -15*w - 6*w + 5397. Is w a composite number?
False
Let r(o) = o**2 + 10*o + 23. Let u be (-6)/(38/16 + -2). Is r(u) a composite number?
True
Suppose -m = m - 5*p - 356, 2*p = 3*m - 545. Suppose 0*n = 4*n - 416. Let s = m - n. Is s a composite number?
False
Let y(i) = -3*i + 64. Let p be y(20). Let u(c) = 243*c**2 - c + 15. Is u(p) a prime number?
False
Suppose 5*g = 2*g + 12. Suppose 5*r - 177 + g = -4*w, -35 = -r - w. Is r a prime number?
False
Let u be 4*1 - (-27 + 14). Suppose -n - v = -u, v + 3*v = -n + 14. Let y = n + -9. Is y a composite number?
True
Let g(q) = -3*q**3 + 2*q + 1. Let j be g(-1). Suppose -4*b + 117 = -b - 5*a, j*b - a = 71. Is b a prime number?
False
Is (1037328/64)/((-12)/(-32)) prime?
False
Suppose -2*l = -3*y + 8001, 2598 = y - 2*l - 65. Is y a composite number?
True
Suppose -5*a = -36144 - 7126. Is a a prime number?
False
Let v(d) = 192*d + 103. Is v(22) composite?
False
Suppose -4*z - 2*v - 36 + 12 = 0, 14 = -2*z - 2*v. Let g(s) = 4 - s**3 + 0*s**3 - s + 2*s**2 + 1. Is g(z) prime?
False
Let j(u) = -1827*u - 341. Is j(-14) composite?
False
Suppose -3*o + 15 = 3. Is -205*o*4/(-40) prime?
False
Suppose -2*n = -4*r - 16, 3*n - 3*r - 12 = 9. Let s be ((-706)/(-6))/(n/90). Suppose 4*d - s = -d. Is d prime?
True
Let s be (((-69)/(-6))/(-1))/((-1)/22). Let a = s - 176. Is a a composite number?
True
Is 13 - -19022 - (-3 + 1) prime?
True
Let r(h) = 347*h**2 - h - 3. Suppose f - 3*i + 22 = 2*i, -4*i = -f - 18. Is r(f) composite?
True
Let w be 2*(-3)/(-4)*2. Suppose -4*i = -w*m - 405, -3*i - 6*m + 311 = -m. Suppose -d + 5*r + i = 0, -4*d + 5*r - 2*r = -493. Is d prime?
True
Let c be (2/(-11))/((-3)/66*2). Suppose 20 = u - 4*b, -2*b = -u - 0*b + 12. Suppose c*o - 742 = -u*x - 138, -153 = -x - o. Is x a prime number?
True
Suppose -890 - 415 = -9*q. Is q composite?
True
Let h(w) = -w**3 + 17*w**2 - 15*w - 16. Let r be h(16). Suppose r*s - 16 = -4*s. Suppose s*t - 281 = -3*j, 3*t = -2*j + 3*j - 85. Is j a composite number?
True
Suppose 0 = c + 2*s, -2*c - 4*s = 2*c + 20. Let p = c - -11. Is 8 - 6 - (-647)/p a prime number?
False
Let d = 838 + -2318. Is -1*(0 + -3 + 2 + d) a composite number?
False
Let d be 23/92 + (30/(-8))/(-1). Suppose -d*u = -58 - 3618. Is u prime?
True
Let w(m) = 9*m**2 + 7*m + 5. Let j(t) = -t**2 - 3*t + 8. Let y be j(-6). Let r = -4 - y. Is w(r) a prime number?
False
Suppose 4*c + 0*c + 2240 = 0. Let m = c + 967. Is m composite?
True
Suppose -6*z - 6*z + 972 = 0. Suppose -56 = -5*g - 1. Suppose -4*c + 9*c = -h + g, 3*h - z = c. Is h composite?
True
Is (381 - -8)/(((-3)/1)/(-21)) a composite number?
True
Let r = 94 + -88. Suppose -t = 5*a - 23910, r*t = 5*a + 2*t - 23935. Is a a composite number?
False
Suppose k + 10*f - 5*f - 2348 = 0, 4*k + 2*f = 9338. Is k a prime number?
True
Let i(d) = -d**3 - 2*d**2 + d - 12. Let y be i(0). Let j(n) = -10*n + 7. Is j(y) a composite number?
False
Let q(z) = -z**2 - 11*z + 2. Let g be q(-11). Suppose 0 = w - 5 + g. Suppose 5*y + 5 = 0, w*b - 2*y - 287 = 117. Is b a composite number?
True
Let g be 70/20 - (-6)/(-4). Is ((-1196)/(-2))/g - -2 prime?
False
Let j be (-1 + 1 + 3)*3102/9. Suppose 4*f - n = 7*f - 3144, j = f + 5*n. Is f prime?
True
Let m be (-2)/10 - (-4698)/15. Suppose l - 4*a = m, 3*a - 2*a + 325 = l. Is l composite?
True
Suppose -l + 3*l = 6544. Suppose -5*q + l = -5013. Is q composite?
False
Let f(c) = -1372*c - 26. Let l be f(17). Is (l/(-25))/(2*1) composite?
False
Let l(x) = -3*x**2 - 15*x + 7. Let g(y) = -2*y**2 - 14*y + 8. Let z(k) = 6*g(k) - 5*l(k). Suppose -8*r + 9*r - 7 = 0. Is z(r) a prime number?
True
Suppose -40*z = -45*z + 1655. Is z prime?
True
Suppose 2*o - 113683 = -z, -5*z - 227387 = 2*o - 6*o. Is o a prime number?
True
Let y(j) = -7*j + 591. Suppose -2*h - 25 = -7*h. Let f(i) = -10*i + 886. Let z(d) = h*f(d) - 7*y(d). Is z(0) prime?
True
Suppose -4*o + 21 = 13. Suppose -3*x = -3*l + 90, 0 = o*l - 0*l - 3*x - 59. Is l a prime number?
True
Is 19 + 77658 + -1 + 4 + 1 prime?
True
Suppose -5*d + 4*f = 2*f - 1502, 599 = 2*d + f. Let a = d + -5. Is a a prime number?
False
Suppose -125*r = -119*r - 7194. Is r a composite number?
True
Suppose a + a - 3*s = 11853, a - 5924 = 2*s. Suppose -3*w = 3*m - 2364, 0 = 5*m + 4*w - a + 1995. Is m prime?
True
Let z = 1289 + -616. Is z a prime number?
True
Let z = -2498 + 7027. Is z prime?
False
Is 530 + (-5 - 7) - -3 a prime number?
True
Let m(d) = -5*d + 2 + 2*d**3 + 4 - 3*d**3 + 8*d. Is m(-4) composite?
True
Let t(g) = 36*g**2 + 17*g**2 - g + 1 + 30*g**2 - 9*g**2. Let q be t(5). Let l = q - 1031. Is l composite?
