. Suppose 44 = -2*z + 190. Let c = z - u. Is c composite?
True
Is 1/(((-2)/1087)/(-2)) a prime number?
True
Let z = 4242 + -2993. Suppose 5*k - z = -4*r, -3*k + 5*k - 486 = -5*r. Is k a prime number?
False
Let p be 1 + 0 + (-2 - -3). Let l = -1 + p. Is (62 - -2)/2 + l prime?
False
Let l = -6 - -9. Let t be 35 + (-4 - -1)/l. Suppose -m + 14 = 3*u, m + u - t = -2*m. Is m prime?
True
Suppose 982 = -4*v + 5954. Is v composite?
True
Let c(d) be the second derivative of -d**3/6 + 6*d**2 - 2*d. Is c(5) a prime number?
True
Let u be (-8)/(1 - 3) - 2. Suppose 79 = -u*h + 3*h. Is h prime?
True
Suppose 2*q = -3*j + 14, -4*j = -q - j + 7. Is q a composite number?
False
Let f(b) = -12*b**2 - 1. Let d be f(2). Let u = 198 + d. Is u composite?
False
Let l be 3 - (-2 + -1 + 1). Suppose -2*r = -2*s + 10, -l*s + 5 = -2*r - 20. Suppose -y + r + 4 = 0. Is y prime?
False
Suppose 0 = -t - 0*t + 71. Is t a composite number?
False
Let m(v) = -v + 4. Let w be m(-9). Let h = w + -8. Suppose -9*p = -4*p - q - 336, -2*p + 139 = -h*q. Is p composite?
False
Is ((-4)/8)/(1/(-8566)) a composite number?
False
Let h(a) = -a**3 - 22*a**2 + 30*a + 32. Is h(-25) a composite number?
True
Let p(y) = -y - 3. Let t be p(-5). Suppose 3 = -t*v + 5*v. Is (v - 0)/(1/37) a prime number?
True
Let z(k) = -k**2 + 47. Let v(w) = w**3 - 5*w**2 + 3. Let f be v(5). Let t = 3 - f. Is z(t) a prime number?
True
Let n(l) = -l**3 + 14*l**2 - l - 7. Is n(9) composite?
False
Suppose 0*y - 3*y + 279 = 0. Let b = y + 81. Suppose 4*h + 4 = 0, 8*i - 5*i - b = 3*h. Is i composite?
True
Let z(s) = -s**3 - 4*s**2 - 5*s - 2. Let y(c) = -c**3 + 7*c**2 + 8*c - 3. Let h be y(8). Let u be z(h). Is (-4 + -2)*(-10)/u a composite number?
True
Suppose -4*k = -2*k - 2*i - 6, i = -4*k + 22. Suppose -k*n = -219 - 151. Suppose 0 = 2*y - 0*y - n. Is y composite?
False
Let k(m) = -m**3 - m**2 - 3. Let y be k(0). Let o be (26/8)/(y/12). Let a = o + 50. Is a prime?
True
Let h(w) = 2*w - 5. Let y be h(-8). Let o = 34 + y. Suppose j + 0*j = o. Is j composite?
False
Suppose 804 = 5*a - 2*a + 5*i, -4*i - 777 = -3*a. Is a a prime number?
True
Let r = -58 - -135. Is r a prime number?
False
Suppose 1 = b - 6. Let c(p) = p**2. Let v be c(b). Suppose 4*g - u = -0*u + 196, -g + v = u. Is g a prime number?
False
Suppose 374 = 4*f - 738. Suppose -r + 158 = -5*m, 4*m - 771 = -3*r - f. Is r prime?
True
Let y(t) = -11*t + 16. Is y(-9) prime?
False
Let h = 6 + 24. Suppose 2*v = -h + 100. Is v composite?
True
Let j = 2482 + -1443. Is j composite?
False
Suppose -2492 = -u - 3*u. Is u a prime number?
False
Let l = 7 + -5. Suppose -13 = l*r + 3. Let d = 5 - r. Is d prime?
True
Let r(m) = m**3 + 6*m**2 - 6*m + 4. Is r(-5) a composite number?
False
Let c = 183 + -44. Is c composite?
False
Let b = 9 + -7. Suppose 2*c - 4*c = 0, -2*l + 16 = -5*c. Is -3 + l/b - -57 prime?
False
Let x(u) = u**2 + u - 3. Suppose 2*v - 3*v = 3*t + 25, -4*v = t - 10. Is x(t) a composite number?
True
Let a(l) = 2*l**2 - 2*l - 1. Is a(8) prime?
False
Let b(r) be the third derivative of 97*r**5/10 - r**4/24 + 8*r**2. Is b(-1) prime?
False
Let o(y) = y**3 - 2*y**2 + y - 3. Let p be o(3). Suppose 0 = p*q - 4*q + 655. Is 3/12 + q/(-4) prime?
False
Let t(r) be the first derivative of r**3/3 + r**2/2 + 19*r + 1. Let z(c) = c + 9. Let y be z(-9). Is t(y) prime?
True
Suppose 3*g + 173 = 2*a, -a + 5*g - 119 = -2*a. Is a a prime number?
False
Suppose 3 = -0*h + h. Is (-165)/(-20)*8/h a prime number?
False
Suppose 0 = 6*f - f + 15. Let b = f + 3. Suppose -h + 5*h = 4*o - 144, -4*o - 5*h + 153 = b. Is o composite?
False
Suppose 1276 = -0*c + 4*c. Is c prime?
False
Let g(a) = -41*a**3 - 1. Let f be g(-1). Suppose -z + f = -17. Is z prime?
False
Let f(r) = -8 + 18*r**2 + 8 + 183*r**2. Is f(1) prime?
False
Let f = -56 + 7. Is f/21*(0 + -51) composite?
True
Let d(m) = -m**2 + 11*m + 11. Let r be d(11). Let v = -17 + r. Is (-195)/v + (-3)/(-6) prime?
False
Let c be (3*-17)/((-2)/2). Suppose c = 3*q + 6. Is q composite?
True
Let j(c) = -c**2 - 4*c + 2. Let r be j(-5). Is 1*-213*2/r composite?
True
Suppose -77 + 9 = 4*x. Let y = 5 - x. Is y a prime number?
False
Let c(l) = 0 + 2 - l + l**2 + 4*l. Let n be c(-4). Suppose -p - 595 = -n*p. Is p prime?
False
Let s(l) = -l - 5. Let f be s(-5). Let h = 2 + f. Suppose h*q - 65 = 41. Is q a composite number?
False
Let u(n) = n**2 - 5*n + 6. Let p be (0 - (0 - 0)) + 4. Let l be u(p). Suppose s - 2*t - 119 = -l*s, 0 = t + 4. Is s a composite number?
False
Let l(m) = -m**2 + 2*m + 7. Let t be l(7). Let w = 27 - t. Is w a composite number?
True
Is (-5135)/(-11) + 2/11 prime?
True
Let u(z) = z**3 + 7*z**2 - 7*z - 3. Let b be u(-8). Let p = b - -25. Is p a composite number?
True
Suppose -4*v - 30 = v. Let h = -4 - v. Suppose -h*n = 4*x + 2*n - 40, -3*x - 4*n = -30. Is x a prime number?
False
Let m(l) = l**2 - 6*l + 4. Let t be m(6). Let q = -2 + t. Is (q - (-21)/(-9))*-129 a prime number?
True
Suppose -6*r = t - r - 48, -120 = -5*t + 5*r. Suppose 0*u + t = 2*u. Is (-99)/(-2) - 7/u composite?
True
Let h = 407 - 202. Is h prime?
False
Let k(f) = f**2 + 1. Let c be k(-2). Suppose 0 = c*p - 16 - 4. Is (p - 302)/(4/(-2)) prime?
True
Suppose -4*r + 16 = 2*f, 5*r = 4*f - 5*f + 20. Suppose 2*w - w - a + 36 = f, -176 = 5*w - a. Let v = 198 + w. Is v composite?
False
Suppose 4*b - 1679 = 1509. Is b prime?
True
Let x = 13 - 8. Suppose -5*h - 10 + x = 0. Is -2 - (54/(-1) + h) prime?
True
Suppose 60 = -4*q - 0*q. Let y = -8 - q. Suppose 0 = y*w - 3*w - 356. Is w a prime number?
True
Let l = 323 - 76. Is l a composite number?
True
Let a be (-2 - -8)*(-642)/(-18). Let m = a + -56. Is m a composite number?
True
Let n = -855 - -1248. Suppose -n = -5*p + 382. Is p prime?
False
Let a be (-499)/(-2) - 3/6. Is (2/3)/(2/a) a composite number?
False
Let s(d) = -d**3 + 8*d**2 - 3*d + 4. Let r be s(8). Is r/(-8)*22/5 a composite number?
False
Let a(k) = -k**2 + 4*k + 1. Let b be a(3). Suppose 0 = -b*c - 4, -u + 2*c + 186 = c. Is u a composite number?
True
Suppose 0 = -5*r - 86 + 201. Is r prime?
True
Let x(g) = -4*g**3 + 2*g**2 - g - 19. Let r(l) = l**3 + 0*l**3 + 4*l**2 - 5*l**2. Let i(v) = -3*r(v) - x(v). Is i(0) a composite number?
False
Is -6 + 8 - 1*-17 composite?
False
Let l(c) = c**3 + 3*c**2 - c - 1. Let p be l(-3). Let n be 2/(-7) + 1054/14. Suppose -7*i = -p*i - n. Is i prime?
False
Let m = -27 + 7. Let q = 11 + m. Is 6/q*(-498)/4 prime?
True
Let j = 22 - 36. Let s be (-4)/j - (-516)/7. Is (2/2)/(2/s) a composite number?
False
Let k = 314 + -103. Is k composite?
False
Suppose 5*j + 0*z = -2*z + 4077, -j + z = -814. Is j prime?
False
Suppose -s - 5*s + 4410 = 0. Is 12/66 + s/11 prime?
True
Suppose 267 = 3*z - 4*z + 5*o, 4*z + 4*o = -996. Let q = -103 - z. Is q a prime number?
True
Let t(g) = g**3 + 4*g**2 + 3*g. Let w be t(-3). Let i(r) = r + 23. Let n be i(w). Suppose -m - 4 + n = 0. Is m a prime number?
True
Let k be (-8)/(-1 - 3) + 3. Suppose k*x - 201 = -16. Is x composite?
False
Let c = 114 + -63. Is c prime?
False
Let m(n) = -105*n**2 + 4*n + 2. Let t(i) = 2 + 2*i - 15*i**2 - 37*i**2 - 1. Let u(v) = 6*m(v) - 13*t(v). Is u(-1) a prime number?
True
Let n be (-94)/(-8) + 4/16. Is (148/(-6))/((-8)/n) prime?
True
Is 541 - (-1 - -5 - 3 - 1) a prime number?
True
Let k(s) = 13*s**2 + 6*s + 3. Is k(-4) a prime number?
False
Suppose 0 = -w + 6. Suppose -w*g = -4*g. Suppose 5*j - 3*h - 82 = 0, g*j - 4*h - 58 = -3*j. Is j a prime number?
False
Suppose 3*o + 6 = 309. Suppose -r = -122 - o. Is r a prime number?
True
Let v(f) = f**3 + 7*f**2 - f - 5. Let r = 7 - 13. Is v(r) composite?
False
Let j(l) = l**3 + 33*l**2 - l + 40. Is j(-27) prime?
True
Suppose 13 = -5*a - 37. Let i be (-20)/(-6) - a/15. Suppose i*l - q = 337, 2*l + q = -q + 156. Is l a prime number?
True
Let f(q) be the third derivative of q**5/60 + q**4/8 - q**3/2 + 3*q**2. Let i be f(-3). Let w(t) = t**3 + 5*t**2 + 1. Is w(i) a composite number?
False
Suppose -236 = 3*i - 923. Suppose 0 = -4*c + 4*g - 7*g + i, 2*g = 2*c - 118. Is c composite?
True
Suppose 3*v - 4*v = -14. Suppose -g + v = -3*g. Is (-2)/g + (-4299)/(-21) composite?
True
Suppose 20 = 5*x + 5. Suppose x*l - 1489 = 38. Is l prime?
True
Suppose -16 = -5*i - 5*u - 6, -2*u - 26 = -3*i. Let j be 2/i + 98/21. Suppose -q + 6*q + 14 = z, j*z - 70 = -3*q. 