True
Let r = -160 - -423. Is r prime?
True
Suppose 3*m - 31 = r, 5*r = -5*m - 4 + 69. Let z = m - 8. Is (-2)/(z/(2979/(-6))) a composite number?
False
Let g(v) = -v**2 + v + 287. Is g(0) a composite number?
True
Suppose p - 357 = -3*w, -w + 5*p + 67 = -36. Let o = 215 - w. Is o a prime number?
True
Suppose 4*j + 4*z = 44, z + 44 = 4*j + 2*z. Suppose 2*y - 119 = j. Suppose 5*b = 180 - y. Is b a prime number?
True
Let v(u) = u**3 - 11*u + 1. Is v(5) prime?
True
Let f = 5 + -3. Suppose 0 = -f*n + n - 73. Let r = n - -162. Is r a composite number?
False
Let c(q) = -q**2 - 11*q + 5. Let k(i) = i. Suppose -13 = 4*y + 7. Let r be k(y). Is c(r) prime?
False
Let n(m) be the third derivative of m**5/12 - m**3/6 + 6*m**2. Is n(2) prime?
True
Let y(w) = 131*w - 5. Let i be y(6). Let b = i + -315. Suppose -2*t + 4*t = b. Is t composite?
False
Let c = -297 + 520. Is c a prime number?
True
Let h be 4/((-8)/6)*-17. Let t = -4 + 10. Is 3 - t/(-9)*h a composite number?
False
Suppose -4291 = -0*l - 7*l. Is l a prime number?
True
Suppose 4*z + 3 = 5*c + 14, z = 4. Let l = -17 + 43. Suppose -b + c = 5*h, -2*b - 4*h + 6 = -l. Is b prime?
False
Suppose -3*n = -n - 5*o - 229, 4*o + 232 = 2*n. Is n a prime number?
False
Suppose -52 = 5*r - 3042. Suppose 0 = 3*t - 2*j - 1459, -j - r = -2*t + 374. Is t prime?
False
Suppose 2*w - 3*w = 0. Suppose -3*y - z + 3*z + 611 = w, -y + 207 = -4*z. Is y composite?
True
Suppose 7*f = 2*f + 50. Suppose m = 6*m + f. Is (m - -17)*(-4)/(-6) prime?
False
Suppose 3*w - 702 = -3*k, 2*k - 3*w - 971 = -2*k. Is k composite?
False
Let v = -13 + 19. Let o(u) = 2*u**2 - u + 1. Is o(v) a prime number?
True
Let y = -5 - -11. Suppose -45 = -l - y. Is l a composite number?
True
Suppose -4*o + 8 = -2*o. Suppose 3*b + q + 54 = 4*q, -3*b - 30 = 5*q. Let h = o - b. Is h a prime number?
True
Suppose -3*t = -15, 3*t - 6067 = -4*r - 0*t. Is r a prime number?
False
Is -3 + (-11)/(22/(-224)) a composite number?
False
Let m = 0 - -2. Suppose -2*v - 5*p + 111 = 0, -m*v - 2*v + p + 211 = 0. Is v prime?
True
Let j(s) be the second derivative of -s**5/60 - 5*s**4/24 + s**3/6 + 2*s. Let v(z) be the second derivative of j(z). Is v(-9) a prime number?
True
Let s(o) = -38*o + 7. Let z be s(-6). Let r = -152 + z. Is r prime?
True
Let o(c) be the first derivative of c**4/4 + 5*c**3/3 - 7*c**2/2 + c + 2. Is o(-6) prime?
True
Let x(r) = 34*r - 3. Suppose 4*i - s - 18 = s, 2*i + 3*s = 29. Is x(i) a composite number?
True
Let g(s) = 358*s + 1. Is g(1) a prime number?
True
Let k = 18 + 169. Is k prime?
False
Suppose 5*z - 12 = 73. Let p = -6 - z. Is (p/(-4))/(4/16) a prime number?
True
Let m(h) = h**2 + 6*h - 10. Let w be m(-7). Let a(p) = -2*p**3 + 3*p**2 + 3*p - 1. Is a(w) a composite number?
False
Let c be ((-9)/12)/(3/24). Let k be ((-3)/c - 1)*8. Is 4564/36 + k/(-18) a composite number?
False
Suppose 3*o + 192 = 5*o. Suppose -5*m + 79 + o = 0. Is m a prime number?
False
Let g(r) = 57*r**3 + 1. Is g(1) composite?
True
Suppose 4*s - s = 9. Suppose -s*n = -5*n + 286. Is n prime?
False
Let x be 8152/6 - 4/6. Suppose 84 = 2*u - x. Let h = u - 294. Is h composite?
True
Let t(y) = -46*y - 5. Let g(w) = -23*w - 2. Let o(s) = -7*g(s) + 4*t(s). Is o(-5) a composite number?
False
Let u(r) = 32*r**2 - 4*r + 11. Is u(5) a composite number?
True
Let d(o) = -14*o**2 - 4*o - 4. Suppose 0 = k - 2 + 5. Let f be d(k). Let x = -63 - f. Is x prime?
False
Suppose -2*r + 1036 + 91 = 3*b, -4*b + 1496 = 4*r. Is b a composite number?
False
Suppose 1358 = 2*x - 4*v, -4*v = 2*x - 3*v - 1353. Let l = x + -442. Is l a prime number?
False
Is (-8974)/(-4) - (-1)/(-2) composite?
False
Let t(b) = b + 1. Let z be t(4). Let v(w) = 3*w**2 - 3*w - 5. Is v(z) a composite number?
True
Suppose -425 = -2*q - x, q + 2*q = 5*x + 644. Is q composite?
True
Suppose 25 = 5*x - 5*r - 15, 0 = 4*x + 4*r. Suppose -x*z - 4*f + 2 = -2*z, 0 = 2*z + 5*f. Suppose -z*w = -3*w - 116. Is w a prime number?
False
Let w = 3 + -9. Let a be (3/(-2))/(3/w). Suppose -28 = -i - a*b + 6*b, 5*b - 15 = 0. Is i composite?
False
Let y(a) = -1 - 4*a + 6*a + 26*a + 60*a. Is y(1) a composite number?
True
Suppose -2*q = 5*m + 19, -1 - 13 = -3*q + m. Suppose -94 = q*v + 206. Let l = -47 - v. Is l a prime number?
True
Let h be 7/2 - (-4)/(-8). Suppose 250 = h*k + 49. Is k a prime number?
True
Let c be (80/(-6))/(1/(-9)). Suppose -102 - c = -2*i. Is i prime?
False
Suppose 4*c + 4*f = 1052, 4*c - 522 = 2*c - 4*f. Is c a prime number?
False
Suppose 112 + 100 = 4*z. Suppose 3*c - 154 - z = 0. Is c prime?
False
Is 10/4*(10128/(-10))/(-4) a prime number?
False
Suppose 3*g - 639 = 2*z + 850, -3*g + 3*z = -1488. Is g a prime number?
False
Let b(u) = 12*u**2 - 2*u - 6. Let x be b(-6). Let a = x - 635. Let m = a + 324. Is m composite?
False
Let b(d) = -d**2 - d. Let y(a) = 15*a**2 + a + 1. Let w(t) = 3*b(t) + y(t). Is w(-3) prime?
False
Suppose 500 = -4*j + 4*w, -4*w + 378 = -3*j - 2*w. Suppose 1205 = 3*a + 2*a. Let s = a + j. Is s composite?
False
Let g(p) = p**3 + 2*p**2 + p - 5. Let z be g(5). Suppose 15 = 4*v + 3*o - 189, 2*o = 5*v - 232. Let h = z - v. Is h a prime number?
True
Let r(q) = -q**2 + 9*q + 12. Let x be r(10). Suppose 78 + 100 = x*b. Is b prime?
True
Suppose -133 - 9 = -2*a. Let l = a - 32. Is l a composite number?
True
Let t(n) = -n**2 + 4*n + 7. Let k be t(6). Let s(g) = -g + 16. Let h be s(11). Is (-1)/k + 34/h prime?
True
Suppose 2*j - 677 = j. Is j prime?
True
Suppose 5*s + 1281 = 2*a, 4*a + 9*s = 4*s + 2517. Is a composite?
True
Suppose 3*d - d = -2. Let x(o) = -2*o**2 - o. Let w be x(d). Is (195/9)/(w/(-3)) a prime number?
False
Let f = -279 + 420. Is 1/((6/f)/2) a composite number?
False
Suppose 4*x = -5*p + 1216, -2*x - 3*p = 2*p - 598. Let y = x + -212. Is y composite?
False
Let s(o) = -3*o + 5*o + o**2 + 0 + 0*o**2 + 6. Is s(-5) composite?
True
Let x(i) = i**3 - 13*i**2 + 9*i + 2. Is x(15) prime?
True
Let b be 0 - (-2 - (0 + 3)). Let m(o) = 17*o - 8. Is m(b) composite?
True
Is (-10)/55 - 681/(-22)*18 composite?
False
Suppose -5*d + 2*n = -1021 + 138, -5*d = -5*n - 880. Suppose -4*q = -q - d. Is q composite?
False
Let a be (-6)/3 + (1 - -3). Is ((-340)/(-8))/(a/4) a composite number?
True
Let n(y) = 37*y**2 + 1. Is n(2) composite?
False
Suppose 4*n = r - 219, -5*n = 4*r + 100 - 934. Is r composite?
False
Suppose 9*c = 16*c - 609. Is c a composite number?
True
Is 5/(-3) + 60008/12 a prime number?
True
Let s = -363 + 1282. Is s composite?
False
Let k(l) = -l**3 + 7*l**2 - 6*l + 6. Let w be k(6). Let a(o) = o**2 + o - 5. Is a(w) a prime number?
True
Let s be (-4)/2*(-18)/9. Suppose s*a + 2*k = 588, -2*a = -6*a - 3*k + 584. Is a prime?
True
Suppose 5*z - 4*i + 140 = i, i + 104 = -3*z. Let h = 1 - 13. Let a = h - z. Is a a composite number?
True
Suppose 74 = -d + 3*a, d + a - 27 + 81 = 0. Let r = d - -29. Is (r/4 + 2)*-4 a prime number?
False
Is (-14)/(-21)*3423/2 a composite number?
True
Suppose -17425 + 1793 = -4*l. Suppose -1217 = -5*o + l. Suppose 3*c - 1025 = -5*i, c - 3*c + o = 5*i. Is i composite?
True
Let x(j) = -16*j - 29. Is x(-15) composite?
False
Let v = 46 + 69. Is v a prime number?
False
Let g = 720 + -269. Is g composite?
True
Is (61 - -1)/(-1 - 33/(-31)) prime?
False
Let i = 5 - 2. Suppose 0 = 5*n - 0*n - t - 1280, i*t = n - 242. Is n prime?
True
Suppose -3*p - 8 - 4 = -y, -5*y - 2*p = 25. Is 0 + y + 1 + 379 a composite number?
True
Let o(w) = -840*w - 1. Suppose 2*h = 3 - 5. Is o(h) a prime number?
True
Suppose 5*l + 11 = -z + 4*z, 0 = 4*z + l + 16. Is 1*z - (-26 + 4) prime?
True
Suppose k = -5*g - 369, -2*g + 0*k - 3*k = 158. Let a = g - -124. Is a a composite number?
True
Suppose 0*w = -2*w + 34. Let q = w - -2. Is q a composite number?
False
Suppose -835 + 2789 = 2*f. Is f a composite number?
False
Is 3/(-4) - (-8157)/12 a composite number?
True
Suppose h + 4 + 6 = 0. Is (-366)/h - 2/(-5) composite?
False
Is (2/(-3))/((-6)/4653) prime?
False
Let m = 3280 + 57. Is m a prime number?
False
Is 2 - 3 - (-5 + -4625) prime?
False
Let k(a) = a**2 + a + 1149. Let c be k(0). Suppose 2*y + 297 = c. Suppose -5*s = -v - y, s + v - 2*v = 86. Is s a composite number?
True
Let n be (5 + 0)*(-116)/(-5). Suppose n = v + v. Is v a prime number?
False
Suppose -m + 4*m = 9. Is -3 + m - 3 - -82 composite?
False
Let t(z) = -z**3 + 