 s a composite number?
True
Let j(r) = -r**3 - 4*r**2 - 3*r + 2. Let i be j(-3). Is (-882 + -5)*(-2)/i prime?
True
Let t(z) = 226*z - 13. Let x(h) = -75*h + 4. Let r(l) = -4*t(l) - 11*x(l). Is r(-9) prime?
True
Suppose 6*y - 9 = -3*y. Is 2 - (-248 + (-1)/y) a composite number?
False
Suppose 1 = 6*b - 11. Suppose 2*r + 0*u - 3642 = 5*u, -b*r + 3*u + 3650 = 0. Is r a prime number?
True
Let x(v) = 26*v - 2 + 1 - 134*v - 349*v. Suppose -4*b + 2*b = 4. Is x(b) a prime number?
False
Let q(h) = -h - 6. Let s = -5 + 21. Let u = s + -26. Is q(u) a prime number?
False
Let s be (-1232 - -2*1)*48/(-18). Suppose 4*h - 5316 = s. Is h prime?
False
Let o = 143296 + -98513. Is o a prime number?
False
Suppose 0 = v + 4*k + 3, -v - 5 = 3*k + 2. Let x = -7 - v. Let t = x + 9. Is t prime?
False
Let l be 3/(-3*5/(-75)). Is l/(-25) - (2063/(-5) + -1) composite?
True
Let d = 27 + -30. Is 4/6 + (-829)/d a composite number?
False
Let g(x) = -5*x**3 - 6*x**2 - 11*x - 59. Is g(-9) a composite number?
True
Let g(w) = 2*w**3 + 26*w**2 - 4*w + 19. Is g(20) a composite number?
False
Let v = 1493 + 372. Is v a prime number?
False
Let g(j) = 4*j - 10. Let u be g(-2). Is (-43032)/u + (-3)/(-9) prime?
False
Let l(c) = 5*c**3 - 10*c**2 + 28*c + 1. Is l(6) a composite number?
True
Suppose -u = -7*u + 12. Suppose -u*z = -3505 + 231. Is z prime?
True
Suppose -5*b + 14618 = -18167. Is b a composite number?
True
Let z be 25/4 - 6/24. Let l(v) be the first derivative of v**4/4 - 4*v**2 - 5*v - 3. Is l(z) a composite number?
False
Suppose 79 = 2*v - 3*v. Is (v/(-4))/((-5 + 12)/196) composite?
True
Suppose 8*x = -5*y + 4*x + 15313, 4*y + 3*x = 12250. Is y composite?
False
Suppose -19739 = -4*c + 5*l, -4935 = -c - 0*c + l. Suppose -11*f = 1295 - c. Is f prime?
True
Suppose -2*c + 1581 = 15*c. Is c prime?
False
Let j = 85 - 77. Suppose 0 = -2*a + j*a - 16482. Is a composite?
True
Let c(k) = -k**2 - 8*k - 2. Let z be c(-6). Suppose -9*u + z*u = 569. Suppose -s + u = 156. Is s a composite number?
True
Suppose 0 = -31*h + 30*h + 506. Let i = h - 153. Is i composite?
False
Suppose 2*a = 2*c + 7022, 2*a - 3940 = -3*c + 3082. Is a a composite number?
False
Suppose 0 = 2*r - 5 - 31. Let m = -17 + r. Let x(l) = 150*l**2 - l. Is x(m) composite?
False
Is ((-57)/(-5))/(17/85) a prime number?
False
Let d be 7692/(-24) - (-2)/4. Let a = d - -907. Is a a prime number?
True
Suppose -7*s + 1476 = -3*s. Let n = 635 - s. Suppose -2*x - 4*h + n = 0, -2*h - 153 = -x - 0*h. Is x a composite number?
True
Let o = -218111 + 305610. Is o a prime number?
False
Let i(m) = -m**3 + 9*m**2 - 7*m - 6. Let g be i(8). Let s(d) = -2 + 5*d**2 + d**3 - 2*d + 0*d**g + 4*d + 0*d**2. Is s(-3) a composite number?
True
Is 2 - (7/14)/(1/(-12762)) prime?
False
Let o(s) = -27*s**2 + 3*s + 3. Let l = -29 - -28. Let j be o(l). Is 476/(-6)*j/18 a composite number?
True
Suppose -329*o = -333*o + 54572. Is o composite?
True
Let k(b) be the third derivative of 58*b**5/15 + b**3/6 + 2*b**2. Is k(1) composite?
False
Let k = 11974 - 8483. Is k a composite number?
False
Suppose 0 = 78*l - 76*l + 4484. Is -1 - (l + ((-12)/(-3))/1) a prime number?
True
Suppose 3*t + 39 = 2*c, 0 = 5*t - 2*c - 2*c + 65. Let w = t - -13. Suppose w = x - 200 - 269. Is x composite?
True
Let r be 0*2/12*2. Suppose -2*t + 162 + 260 = r. Is t a composite number?
False
Suppose 0 = -5*o - 2 + 27. Suppose -o*t + 0*t = 0. Suppose t*r + 3*r - 42 = 0. Is r prime?
False
Let h = -4 - -9. Let j(w) = w - 1. Let p be j(h). Suppose r + p*n = 5*r - 1180, 3*r + 4*n = 906. Is r composite?
True
Let g = -33 - -55. Suppose -212 = -2*l + g. Let p = l + -6. Is p composite?
True
Let x = 940 + -647. Is x a composite number?
False
Let s = 1236 - 607. Is s a composite number?
True
Is (15/(-25))/((-1)/635) composite?
True
Let b(c) = -c**2 + 10*c - 3. Let r be b(10). Let m be r/(-5) + (-16)/(-40). Is -4 + 4 + (38 - m) prime?
True
Is (-6)/(4040/674 - 6) a composite number?
True
Let s(q) = -q**3 + 4*q**2 + q + 3. Let t be s(4). Let j = t - 7. Suppose 4*v = 3*a + 749, j = 5*v - 3*a + 216 - 1150. Is v a composite number?
True
Is (-5870172)/(-210) - (-1)/(-5) a prime number?
True
Let m = 37130 + -21403. Is m prime?
True
Let y(x) = -53*x - 74. Suppose 4*s = 6*s + 42. Is y(s) composite?
False
Suppose 43064 = 4*a - 5*b, 8*b - 6*b - 8 = 0. Is a prime?
True
Let t = 47 - 44. Suppose 6*f = t*f + 4233. Is f prime?
False
Let p = 31 + -25. Suppose -10*u = -p*u - 808. Is u a composite number?
True
Let j = -14 + 18. Is 446/j + 9/6 a composite number?
False
Suppose -18 = 3*t - 3*i, 7*i - 2*i + 33 = -4*t. Let b = -6 - t. Is ((-5)/(-15))/(b/207) a composite number?
True
Let q = 51 + 41. Let n = 10 + -7. Let r = n + q. Is r a composite number?
True
Let g be 2/(-2)*-3 + 3. Let r = g + -14. Let z = r + 219. Is z a prime number?
True
Suppose 2*u = 2*d + 22, 2*u - 6*u + 36 = 4*d. Suppose 2*m = -0*m + u. Suppose 0*v = -m*v + 4925. Is v composite?
True
Let x be (5/(-15))/(4/(-2076)). Let s = x + 14. Is s a composite number?
True
Let k(f) = -f**2 - 6*f - 8. Let a be k(-4). Suppose 3*c + 60 = z + 2*c, a = 5*z + 4*c - 300. Is (-24)/z + 557/5 a composite number?
True
Let y(u) = -u + 2. Let v be y(0). Suppose 430 - 16 = -v*f. Let g = f + 422. Is g a prime number?
False
Let s be (-3 + -5)*2/(-4). Suppose -4*c - s*q + 176 = 0, c + q = -4*c + 216. Is c a composite number?
False
Suppose 0*h - h - 5*j + 12 = 0, -4*j + 8 = 0. Suppose 4*r = 12, -h*r + 603 = 3*l - 63. Suppose 150 = 2*g - l. Is g prime?
False
Suppose c = -10*v + 7*v + 3761, 5*v = 2*c - 7522. Is c composite?
False
Let d = -4520 + 6791. Is d prime?
False
Let s = 15 + -49. Let l be 81 - (-3 - 1) - (-3 - -1). Let c = l + s. Is c a prime number?
True
Is (-5 + 162/30)/((-4)/(-85010)) prime?
True
Let n(c) = 2*c**2 - 2*c + 4. Let k be n(2). Suppose -2 - 8 = -5*x, -b = 3*x - k. Suppose 0 = -2*h - b*h + 856. Is h composite?
True
Suppose 3*h = -4*n + 1339, 5*n + 3*h = -891 + 2561. Is n a prime number?
True
Suppose -3*j - 9 = 0, -2*r - 20 = 4*j - 6. Let d(v) = 28*v**2 + 2*v + 2. Let z be d(r). Let m = 39 + z. Is m prime?
True
Suppose -4*w + 5*c - 11 - 1 = 0, w - 14 = -3*c. Let h be 1*w*(-11)/2. Let i = h + 18. Is i prime?
True
Let s = 209723 + -135022. Is s a prime number?
False
Let g(j) = -2*j + 26. Let r be g(12). Suppose -1102 + 94 = -2*d - r*m, -507 = -d - 2*m. Is d a composite number?
True
Suppose 5*f = 2*f. Let s(r) = -36*r**3 + 251 + r**2 + 37*r**3 - 3*r**2 + r**2. Is s(f) composite?
False
Let j = -1981 + 5078. Is j prime?
False
Suppose 0 = 5*i - 150 - 40. Suppose 8*v - i = 6*v. Suppose -15*z = -v*z + 484. Is z prime?
False
Suppose 5*d = 3*d. Suppose d*i = 3*i - 15. Suppose 3*q - 5*q = -3*y + 3165, 0 = -i*y + 4*q + 5273. Is y a composite number?
True
Let b(y) = 5*y - 8*y + 4*y**2 + 1 - 8. Let r be 4/(10 + -8 - 5/3). Is b(r) composite?
True
Let m be 2 - 3 - (0 - -63). Let a be (-31440)/m - 1/4. Is a*1*13/13 a prime number?
True
Let s be (-1)/(-9) + (-78)/(-27). Is 3*((3 - s) + (-2179)/(-3)) prime?
True
Is (3 - 12) + -5 + 2947 a composite number?
True
Let i be 1 + 2*(0 - -1). Let g = i + 99. Suppose -v - g = -3*v. Is v prime?
False
Let m(g) = 9 + 4*g + 12*g - 5*g - g**2. Let u be m(12). Is 1570/4 - u/6 a composite number?
True
Let u(h) = 5*h + 19. Let g be 1/(4/8)*4. Let m be u(g). Let r = 102 - m. Is r a prime number?
True
Let y(q) = -264*q - 5. Let r be y(-4). Suppose -4*g + 1627 = -n, r = 4*g + 5*n - 606. Let o = g + -197. Is o a prime number?
True
Let u = -5 + 9. Is (u/6)/(4/1806) a prime number?
False
Suppose -2*m + 3570 = 2*k, -5359 = -3*k - 5*m + 4*m. Suppose 1384 = -3*d + 1396. Suppose -4*f + d*n = -3353 - 239, -n + k = 2*f. Is f a composite number?
True
Suppose -5*g = -2*n + 871, -12*n + 10*n + 880 = -2*g. Is n a composite number?
False
Suppose 3*d = d - 398. Let y = -72 - d. Is y prime?
True
Let r = 1 - 11. Let f(l) be the first derivative of -28*l**2 + 5*l + 4. Is f(r) a composite number?
True
Let g(i) = 66*i + 271*i - 126*i + 9 + 122*i. Let p be g(10). Suppose 11*r = 2*r + p. Is r composite?
True
Suppose 2*m + 3*f - 28897 = 0, -46*m = -43*m + 3*f - 43344. Is m composite?
False
Is (80 + -2962)/(0 + -2) a composite number?
True
Let c = 39 + -23. Let j(r) = -r + 18. Let p be j(c). Is (-6526)/(-39)*3/p a prime number?
True
Suppose -5*w + 1865 = -0*w. Is w a comp