 -2*h - 0*h. Is r prime?
False
Is ((-2619)/(-18))/((-18)/(-2292)) a composite number?
True
Let q be (5 + 2 - 1 - 3) + -3. Suppose 2*r - 3*j = -6*j + 1769, q = 2*r - 4*j - 1734. Is r prime?
True
Suppose x + 3727 = 2*o + 922, 2*o - 2814 = 4*x. Suppose 16*z = 7*z. Suppose o = -z*v + 3*v. Is v prime?
True
Suppose 0 = 5*w - 10269 - 4216. Is w a prime number?
True
Suppose 2*w + 2*z - 3*z - 9 = 0, -2*w + 2*z = -8. Suppose -v = 5*o - 1206, w*v - 2*o - 6007 = -4*o. Is v a composite number?
False
Let f(p) = 2779*p + 48. Is f(9) composite?
True
Let z = 47 + -43. Suppose -3436 + 179 = -3*a - z*w, -2*w = a - 1089. Is a composite?
True
Let r be 16/6*30/20. Suppose -2*w - 16 = -r*z, 4*w + 5 = -3. Is (-784)/(-21) + (-1)/z prime?
True
Let g(v) = -2*v - 11. Let l be g(-8). Let o be ((-2012)/(-20) + 3)*l. Suppose 0 = -0*w - 2*w + o. Is w prime?
False
Suppose -6*i + 20 = -10. Suppose 5*b = b - i*t + 1, 2*b + 4*t = -4. Suppose b*r - 143 = -3*w, 0 = w + 4*w + 4*r - 249. Is w prime?
True
Let i be 88/(-9) + (-12)/54. Let b(d) = d**2 - 2*d - 6. Let p be b(i). Let f = p + 44. Is f prime?
False
Let x = -491 - -957. Is x a prime number?
False
Let f = -31865 + 62668. Is f a composite number?
False
Suppose -i + 2*u = 4*u + 1, -5*i - 4*u = -13. Suppose 5 = -5*f, 2*z + 2*z + i*f - 467 = 0. Is z prime?
False
Suppose 3*h - 5*v = 83, -50 = -3*h + 4*v + 32. Let g = 80 - -17. Let l = g + h. Is l prime?
False
Let z(s) = -s - 15. Let c be z(7). Let k = -20 - c. Suppose -33 = -k*p + 53. Is p a prime number?
True
Suppose -4*m - 4*g + 4681 = -g, 0 = 5*m + g - 5865. Suppose 5*j - j - 4*r = 1568, 3*j - m = r. Is j prime?
False
Let m be (-1)/((-1)/1) - 1 - -2. Let p(g) = 736*g + 9. Is p(m) a prime number?
True
Let u = 965 + -623. Let t(d) = -10*d**2 + 6*d + 1. Let h be t(-4). Let z = h + u. Is z prime?
False
Let h = -32 - -44. Let x(f) = 9 + 129*f**2 - h - 1 - 2*f. Is x(3) a composite number?
False
Let w(b) = 75*b**2 + 12*b - 272. Is w(-27) a prime number?
False
Suppose 0 = 4*v + 4*w - 458300, w + 4 = 2*w. Is v a composite number?
False
Suppose 2*b - 1 = 5. Let v = 184 - 180. Suppose -4*q = -n - 845, 0 = -v*n + b*n - 1. Is q prime?
True
Suppose -4*w - 100 = -4*r, r + 19 - 50 = 3*w. Let f = r - 19. Suppose b + 3*t - 941 = -f*b, -4*b + 931 = 5*t. Is b prime?
True
Is (-2 - 0)/(213692/42740 - 5) prime?
False
Let m(d) = -68*d + 9. Is m(-10) a composite number?
True
Suppose -6*j = 4627 - 46813. Is j composite?
True
Suppose -2*v - 2*v = 0. Let l = -76 + 76. Suppose l = -c + w + 117, -w = -2 - v. Is c a composite number?
True
Let y(m) be the first derivative of m + 30*m**3 - m**2 - 11 - 2*m + m + m. Is y(1) a composite number?
False
Is (95 - (3 - -1)) + -2 composite?
False
Suppose 18*o = -12486 + 63228. Is o a prime number?
True
Let j be 1/((-5)/125*-5). Suppose 0 = t - 3*k - 77, 3*t - 465 = -2*t - j*k. Is t a composite number?
False
Suppose 0 = -r - 2*f + 6*f + 2108, -4*r - 4*f = -8512. Let p = r - -305. Is p a composite number?
True
Let u(l) = -l**2 - 18*l + 9. Let q be u(-18). Is 5163/q + 12/(-18) prime?
False
Let y(l) be the first derivative of l**3/3 + 3*l**2 - 10*l + 11. Let j be y(-8). Suppose 0 = -j*u + 5*u + 22. Is u a composite number?
True
Let v(z) = -z**3 - 13*z**2 - 11*z + 12. Let c be v(-12). Suppose 5*h - x - 16 = c, x = h - 2*x + 8. Suppose 9*l - 397 = -2*d + h*l, 206 = d + l. Is d composite?
False
Let f(k) = 300*k**3 + k**2 - 1. Let y be f(-1). Suppose 5*o - 555 = q, 9*q + 2144 = 5*q + o. Let g = y - q. Is g prime?
False
Suppose -11*u + 10476 = 895. Is u composite?
True
Suppose 5*i - 5*f + 5 = -0*f, -4*i + 5*f = 4. Is (-751)/i - (-4)/(-2) a prime number?
False
Suppose 0*y - 4*y + 4*n = -2336, -y - n = -594. Suppose -5*w + y = -d, 4*w - 456 = -2*d - d. Suppose 4*c + 4*s + 111 = 479, -c + 4*s + w = 0. Is c prime?
True
Let j(k) = -k**2 + 2*k**2 + 0*k**2 - 690*k**3 + 20*k**3. Is j(-1) composite?
True
Let l(p) = -20*p**3 - 4*p**2 - 3*p - 1. Suppose -3 = -3*s, 2*x + 3*s + 3 = 2. Is l(x) a prime number?
True
Suppose 3390 = 7*y - 411. Let f = -368 + y. Let u = f - 62. Is u a prime number?
True
Suppose -2*s - f + 23 = 0, 7*f = 2*f + 15. Let i(h) = s*h**3 + h - 4*h**3 + 2*h**2 - 3*h + 3. Is i(3) a prime number?
False
Suppose 2*j - j + 374 = -4*d, -3*d = 6. Let y = j - -713. Suppose 2*l - 157 = 5*f + 78, -3*l + y = -2*f. Is l prime?
False
Let u = 1545 - -584. Is u a prime number?
True
Let s = -31 - -29. Let o(v) = 52*v**2 - v - 1. Is o(s) a composite number?
True
Let q(l) = 20*l**3 + 3*l**2 - 30*l - 34. Is q(9) a prime number?
True
Suppose -3*p = -0*p - 78. Let f = -17 + p. Is 796/6 + 3/f a composite number?
True
Suppose 2*o = -3*o + 3*q + 105, 115 = 5*o - 5*q. Let y = o + -22. Is 8/(-12)*1398/y prime?
True
Let y(p) be the first derivative of -51*p**2 - 11*p + 2. Suppose 3*d + 57 = -4*v + 2, 60 = -5*v + 5*d. Is y(v) prime?
False
Let z = -51 + 488. Is z composite?
True
Suppose 0*b + 4*b - 10119 = -5*u, -5*b = -8*u + 16236. Is u a prime number?
True
Let l be 5*(27/(-12))/((-10)/8). Let u(h) = -28*h - 2. Let v be u(-2). Is 2870/12 - l/v a prime number?
True
Suppose v = -2*w - v + 222, -3*w = v - 323. Is w + -1 - (-12 - -8) composite?
False
Suppose 150 = -3*r + 15. Let v = r - -37. Is 500 + (v/(-4) - 1) prime?
False
Let o be 0*-3*(-5)/(-30). Suppose o = -2*n + 219 - 89. Is n a composite number?
True
Suppose 0 = -4*b - 3*b + 108577. Is b prime?
True
Let f be (2/(-4))/(2/(-3244)). Let h be (-2 - 2)*f/(-2). Let w = -807 + h. Is w a composite number?
True
Let n = -949 - -955. Suppose -6 = -2*x - 14. Is (2/n)/(x/(-636)) prime?
True
Suppose 942*y - 943*y + 23159 = 0. Is y a composite number?
False
Let g(t) = t**2 - 12*t + 15. Let v be g(11). Let b(f) = 7*f + 6*f - v*f + 2*f**2 + 0*f - 2. Is b(7) composite?
True
Suppose 3*m - 91448 - 464611 = 0. Is m composite?
True
Let k(y) = 118*y**2 + 15*y. Let d be k(-6). Suppose -4 - 4 = -4*u, -4*t - 5*u = -d. Is t a composite number?
True
Let y = 2227 + 1680. Is y prime?
True
Is (1 + 5443)/(50 - 48) composite?
True
Suppose u = -3 + 7. Suppose 8 - u = w. Suppose w*x - 51 - 545 = 0. Is x a prime number?
True
Let s = 16 + -9. Let j = s + -7. Suppose j = 2*z - 8 - 86. Is z a composite number?
False
Suppose -5*y + y - 828 = 0. Let s = y + 321. Is s + (-4)/(12/(-3)) prime?
False
Suppose 10*j = 695 + 1245. Is j prime?
False
Suppose 64 - 16 = 12*s. Suppose 4*z - 172 = -t + 373, -s*z = -4*t + 2160. Is t a prime number?
True
Let v = 2243 + 268. Suppose 3*p - 18 = -4*g + 5*p, -2*p = 5*g - 9. Suppose 0*n = k - n - 503, -g*n = -5*k + v. Is k composite?
True
Let t = -61 - -65. Is 5/10 + 4674/t a prime number?
False
Suppose -6*p = -7*p + 786. Is 0/2 - 2*p/(-12) composite?
False
Suppose 34 = -3*n + 61. Let u = n - -169. Is u a composite number?
True
Is 43100/70*42/12 a prime number?
False
Let l = 14908 - 7661. Is l composite?
False
Suppose 0 = -2*o - 5*i + 16824, 9*i = -2*o + 5*i + 16820. Is o a prime number?
False
Let l(n) = -n**3 - 19*n**2 + n + 16. Let m be l(-19). Is ((m + 4)*115)/1 composite?
True
Suppose -4*n + 2*y + 146 = -14, 0 = 5*n - 2*y - 201. Suppose -43 = -4*p + n. Is 10/35 - (-6147)/p a composite number?
False
Suppose 2*h = -0*h + 606. Suppose 2*r - 6*r = u - 1168, -h = -r - 3*u. Suppose -19 = -v - 2*l + 78, 2*l - r = -3*v. Is v composite?
False
Let x(j) = 840*j - 20. Let v be x(6). Suppose 0 = 2*g + 2*g - v. Is g prime?
False
Let s(u) = 684*u - 39. Let g be s(6). Let d = g + -2504. Is d composite?
True
Let g = -189 - -268. Is g prime?
True
Let d be (3/6)/(2/32). Suppose -d*c + 48 = -7*c. Let z = 161 - c. Is z prime?
True
Let i(l) be the second derivative of -l**4/12 + 6*l. Let s be i(1). Let h(a) = 49*a**2. Is h(s) prime?
False
Let c(n) = -n**3 + 2*n. Let v be c(-2). Suppose v*u = 0, 0*u - 11105 = -5*a + u. Is a a prime number?
True
Suppose 647*p = 640*p + 30835. Is p prime?
False
Let j = 826 + -536. Suppose 5*m = -t + j, -2*m - 296 = -t - m. Is t a composite number?
True
Suppose -55*b + 46*b = -8406. Is b a prime number?
False
Let n(f) = -f**3 - 12*f**2 - 6*f. Let u(b) = b**3 + 6*b**2 + 2*b - 1. Let o be u(-6). Is n(o) composite?
True
Let y = -5282 + 10361. Suppose -3*n + 5*b + y = 0, -2*n + 2*b + 3386 = -b. Is n a composite number?
False
Suppose 0 = 5*y - 2*w + 3109, 0 = -4*y - 4*w + 825 - 3329. Let d = y + 1258. Is d composite?
True
Let r be (-2)/(-2)*1 