2*j = 3*q - 12035. Let t = q - 2372. Is t a composite number?
False
Suppose 3*r - 4*r = -5*m + 18, -4 = -m. Suppose 3*d = -3*w + 1611, r*w - 1078 = -2*d + w. Is d composite?
False
Let v be (-1*2)/(-1 - 49/(-63)). Is 16/24 + 24339/v a prime number?
False
Let b(t) = 292*t**2 - t. Let f(o) = -3*o + 2. Let v = -6 - -7. Let y be f(v). Is b(y) a prime number?
True
Let p = -5919 + 31342. Is p prime?
True
Suppose 4 = -2*f + 14. Let h be (f + -1)*(-22)/(-8). Let k = 50 - h. Is k composite?
True
Suppose 0 = 3*v - 4*v + 4. Is (-352)/24*(-6)/v a composite number?
True
Suppose 2*g + 0 + 2 = 0, p - 5*g - 7 = 0. Let z(y) = -7*y**p - 5*y**2 + y**2 + y**2 + 3 + 3*y**3 - 9*y. Is z(7) a composite number?
False
Suppose 2*b + i - 29 = 4*i, -2*i - 38 = -4*b. Suppose 3*t - 14 = b. Suppose v - 232 = 4*o - t*o, 3*v = -2*o + 157. Is o a composite number?
True
Suppose -14*n - d + 32868 = -12*n, 4*d = 8. Is n a composite number?
False
Let g(a) = -204*a**3 + a**2 - 2*a**2 + 3*a**2 - 3. Is g(-2) composite?
False
Suppose -4*d - 2*t = -9642, 2585 = -4*d + t + 12242. Is d a prime number?
False
Let h(y) = 2 - 2 + 6*y + 1. Let z(r) = 5*r + 1. Let u(w) = 3*h(w) - 2*z(w). Is u(1) a composite number?
True
Suppose -8 = u + 5. Let m = u + 13. Suppose -4*h + 1060 + 964 = -4*p, 2*h + 2*p - 1000 = m. Is h a prime number?
True
Let l = 4290 + -1833. Suppose 4*u - 21 = -3*j + l, -j = -2. Suppose -3*q + 609 = -2*c, 3*q = 3*c - 4*c + u. Is q a composite number?
True
Suppose 3*l = 4*r + 1657, -3*l + 2*r - 1128 = -5*l. Is l prime?
False
Let y(k) = 24*k**3 + k. Let l be y(1). Suppose -7*x + 2*x + 73 = 3*c, -2*x + l = -3*c. Suppose -5*p + 299 - x = 0. Is p a composite number?
True
Let t be (-3)/15 - 4542/(-10). Let a = t + 525. Is a a composite number?
True
Let z(g) = 37*g**3 - g**2 - g + 1. Suppose 5*j - 5 = -5*p, 4*p - 2 = -j - 2*j. Is z(j) a composite number?
True
Let j = -13 + 26. Let s = 13 - j. Suppose -4*m + 15 + 29 = s. Is m composite?
False
Let u(h) = 5*h**3 - 7*h**2 + 5*h - 6. Let w be 7 - -2*(-3 + 2). Suppose 0*c - c = -w. Is u(c) composite?
True
Suppose -k + 6*k - 15 = 0. Suppose -3*b + k*o + 556 = -o, -o - 763 = -4*b. Let i = 353 - b. Is i a composite number?
True
Let h = 481 + -81. Let z = -251 + h. Is z a prime number?
True
Let c = 75613 + -36120. Is c a prime number?
False
Suppose 9*l - 19*l + 43570 = 0. Is l a prime number?
True
Let b(i) = 3*i - 27. Let r be b(13). Is (-1)/3 - (-3496)/r a composite number?
True
Suppose -3*o = j + 5 - 2, -7 = -o - 3*j. Is (8 + (-16422)/(-3))*(-1)/o composite?
False
Let z = -59 + 15996. Is z prime?
True
Let i be (-8)/(-14) - 5571/(-63). Suppose 0 = -w + i + 318. Is w composite?
True
Suppose 0 = j + 6*j + 511. Suppose -s - 3*n = -40 + 154, 2*s + 244 = -2*n. Let x = j - s. Is x composite?
False
Let a(d) be the second derivative of d**4/4 + d**3/2 + 4*d**2 - 6*d. Let q be a(6). Suppose -3*w = -52 - q. Is w composite?
True
Let z(s) = 4*s**2 + 19*s + 1. Let v be z(-9). Let c = v + 25. Is c a composite number?
False
Suppose 33*k + c - 118810 = 32*k, -4*k = -4*c - 475200. Is k a composite number?
True
Let r(v) = v**3 - 2*v**2 - 2*v + 613. Let o = -52 - -52. Is r(o) prime?
True
Suppose 0 = -3*g - 3*o - 678, 2*g - 7*g - o - 1142 = 0. Let y = 420 + g. Is y prime?
True
Let v(u) = 2*u**2 + u + 323. Let h be (-1 + 1)*2/(-4). Is v(h) composite?
True
Let c(q) = -3*q + 4234. Let z(f) = 8*f - 12701. Let r(o) = -11*c(o) - 4*z(o). Let n be r(0). Suppose -n = -4*k - 5*d, 0 = 4*k - 3*d - 2*d - 4210. Is k prime?
False
Suppose 4*g + 58 - 3 = 3*q, -2 = 2*g. Suppose 9655 = -12*d + q*d. Is d a composite number?
False
Suppose -7 - 1 = -4*j. Suppose -3*o + 0*m + j*m = -8, -5*m - 9 = -2*o. Let h = 9 - o. Is h a prime number?
True
Suppose 4*w + 455 = -4*z - 2329, 2*z = 5*w + 3452. Let u = w + 1473. Is u a composite number?
True
Suppose 0 = b - 11*b + 30. Suppose -63 = -b*s - 0*s. Is s prime?
False
Suppose 0 = 27*x - 29*x + 24398. Is x a composite number?
True
Let k be 4/10 - 4/10. Suppose 3*y + x - 16 + 4 = 0, k = -5*x + 15. Suppose -222 = -0*d - y*d. Is d prime?
False
Let g = -73 - -75. Is ((2212/(-8))/7)/((-1)/g) composite?
False
Let a(z) = -z**3 + 8*z**2 - 3*z - 17. Is a(-7) a prime number?
True
Suppose 0 = -246*l + 241*l + 7955. Is l a composite number?
True
Suppose 118*q = 126*q - 176968. Is q a composite number?
True
Is ((-3)/(11 + -2))/(3/(-37809)) a prime number?
True
Let q be (-42 - -2)*(-5 - 0). Let o be -86 - 1*1/1. Let l = o + q. Is l composite?
False
Suppose 0 = -5*a - 2*q - 11, 0 = 4*a - a - q + 11. Let u be 14 + 0/(1 - a). Suppose u - 150 = -4*z. Is z a composite number?
True
Let v be (-382)/4*-2 + 5. Suppose 3*u - 3*j = 0, -2*u + 21 = u + 4*j. Suppose v = d + u*d. Is d a composite number?
True
Suppose 3*a = 76 - 73. Is (-109)/6*-3*(a - -1) a composite number?
False
Let y(p) = p**2 + 1. Let b(m) = -22*m**2 + 7*m + 12. Let z(o) = -b(o) + 3*y(o). Let c = -307 - -303. Is z(c) a composite number?
False
Let x = 6439 - 2861. Is x composite?
True
Let j = 14 + -11. Let v be (-1)/3*j*-2. Suppose -2*i - v*s = -1916, 0 = -0*i - 2*i - s + 1911. Is i composite?
False
Suppose -50*n + 823562 = -362588. Is n prime?
False
Suppose 40053 = b + 16634. Is b a prime number?
False
Let d(i) = -2*i**3 + 8*i**2 + 11*i + 6. Let a(j) = -j - 8 + 0*j + 7 + j**3. Let w(k) = 3*a(k) + d(k). Is w(-5) a prime number?
False
Let t(c) = c**3 + 33*c**2 - 2*c + 121. Is t(-33) composite?
True
Let c(x) = -x - 5. Let b(i) = -i - 4. Let r be b(0). Let l be c(r). Is (-2 - -3)*l + 68 a prime number?
True
Let m = -696 + 1776. Suppose -5*k - 185 = -m. Is k a composite number?
False
Suppose 4 = p + 2. Suppose p*h - 4*h + 6 = 0. Suppose -h*t = 4*f - 901, 5*t - 524 + 63 = -2*f. Is f composite?
False
Let a = -16 + 19. Suppose 0 = -a*b + 12 - 27. Let y = b - -11. Is y a prime number?
False
Let r = 1587 - 908. Is r prime?
False
Let b(a) be the third derivative of a**6/20 - a**5/30 + 3*a**4/8 - a**3/3 + 31*a**2. Is b(4) composite?
True
Let j = -2012 - -3087. Suppose 4*f = 5*x + j, 5*f - 2*x = 1354 - 23. Is f a prime number?
False
Let k(n) = -5*n**3 - 4*n**2 - 13. Let o be k(-4). Suppose l - 481 = q, -o = -2*l - q + 719. Is l composite?
True
Suppose 2*y - 5*a = 206, 5*y + 3*a - 239 - 307 = 0. Suppose -k - 3*s + 100 = 0, 3*k + 5*s = 4*k - y. Is k prime?
True
Let j(a) = a**3 - 7*a**2 + 2*a - 9. Let f be j(7). Let r(t) = t**2 - 2*t - 3. Let p be r(-2). Suppose p*w - 946 = 2*z + 2397, f*w - 4*z = 3351. Is w prime?
False
Suppose -3*x + 24 = x. Suppose 2*w - x = -w. Suppose w*b = 12 + 152. Is b composite?
True
Is (1 - -37069) + 8/1 prime?
False
Let j be (-116)/29 + -1*2. Let h(w) = 10*w**2 - w + 5. Is h(j) composite?
True
Suppose -4*i - 5*w + 795 + 1081 = 0, 2*i + 4*w = 938. Is i a prime number?
False
Let a(j) = -j. Let o(t) = -20*t + 19. Let h = -4 + 3. Let b(x) = h*o(x) - a(x). Is b(8) prime?
True
Suppose -79446 = 87*f - 93*f. Is f a prime number?
True
Suppose -13*g = -24*g + 30635. Is g composite?
True
Let l(p) = 2*p**2 + 9*p - 5. Let r(b) = b**2. Let i(v) = l(v) - r(v). Is i(-13) prime?
True
Let o(l) = 14*l + 3. Let u be o(4). Suppose 5*p - 576 = 2*p. Suppose -4*w + p = 3*k - w, k - u = -2*w. Is k prime?
False
Suppose 3*r + 4*z - 5768 = 0, -3*r - 2355 = -3*z - 8109. Suppose -4*d = 4*q - r, 4*d = 2*q + 3*q - 2391. Is q composite?
False
Let r(f) = 85*f**2 + 2*f - 25. Is r(4) composite?
True
Suppose -3*v + 2 = 2*z, v - 2*z = -0*v + 6. Let y be ((-3)/v)/(7/(-14)). Suppose y*g - 5*g + 2*m = -1480, -m = 5*g - 3718. Is g prime?
True
Let h = -91 + 80. Let r(j) = 6*j**2 + 8*j - 15. Is r(h) composite?
True
Is (-1669 + -2)/3*(-19 - -8) a composite number?
True
Let v be -17 + 6 - -21 - 471. Let k(o) = -o + 826. Let i be k(0). Let f = v + i. Is f a prime number?
False
Suppose -2*i - 2 = -4*a + 2, a + 2*i = 11. Let c(d) = -a - 59*d + 34*d - 82*d. Is c(-2) prime?
True
Suppose 167970 = 6*h - h + y, -3*h + 3*y + 100800 = 0. Is h a prime number?
False
Let j(a) = a**2 - 7*a. Let r be j(8). Is ((498/(-8))/(-3))/(r/32) a prime number?
True
Let p = -92 + 82. Is ((-10895)/p)/(1 + (-1)/2) prime?
True
Let f(v) = -7*v**3 - 31*v**2 + 4*v + 1. Is f(-9) a composite number?
False
Suppose 5*l - 7*l = 2. Is (-3)/(12/(-392)) + l a prime number?
True
Let i = 12 - -26. Let s be 3121/1 - i/19. Suppose 4*z + 9*q = 4*q + s, 4*z = -2*q + 3122. Is z a 