v = z + 297. Suppose 0 = -2*o - 3*n + v, o - 110 = -o - n. Is o composite?
True
Let c = 5 + -5. Let q(t) = t + 19. Is q(c) a composite number?
False
Is (-10258)/(-6) - (-36)/(-54) a prime number?
True
Let y(i) = -i - 8. Let z be y(-11). Suppose s - 2*g = 230, 3*g = -z*s - 0*g + 654. Suppose -4*q - 3*l + s = -5*l, -5*q + l + 270 = 0. Is q composite?
False
Suppose 96 = 3*y + 3*c, y + y + c - 67 = 0. Suppose 0*j - z - y = -j, z - 35 = -j. Is j a composite number?
True
Let g = -1 + 3. Let v(a) = 28*a - 3. Let t(l) = -112*l + 12. Let k(x) = 2*t(x) + 9*v(x). Is k(g) a composite number?
False
Let d be (3 - 1767)/(-4) - 2. Let j = d + -300. Is j a prime number?
True
Let c(q) = 14*q + 2. Let d = 21 + -15. Is c(d) prime?
False
Suppose -2*v - 202 = -6. Let j(o) = o - 165. Let l be j(0). Let a = v - l. Is a a composite number?
False
Let i(l) = l**3 + l**2 - 5*l - 2. Let b be i(-4). Is (b/(-25))/(2/85) prime?
False
Let g(r) be the first derivative of r**5/60 - 7*r**4/24 - 7*r**3/6 - r**2 - 2. Let p(f) be the second derivative of g(f). Is p(-6) a composite number?
False
Let s = -7 - 1. Let o(w) = -25*w + 11. Is o(s) a prime number?
True
Is (-19144)/(-40) - 2/(-5) a prime number?
True
Let j = -75 - -44. Let t = -18 - j. Is t composite?
False
Let m(f) = 88*f**2 + 3*f - 6. Is m(-5) a composite number?
False
Suppose -5*z = 4 - 24. Suppose 0*c - 272 = -z*f - 4*c, -5*f - 4*c = -339. Is f a prime number?
True
Let d be 1/(0 + 2/(-16)). Let s = -6 - d. Is (-1)/s*(-132)/3 prime?
False
Let i(b) be the first derivative of b**3 - 7*b**2/2 - 7*b - 1. Is i(7) a prime number?
False
Suppose z = -0*m - 2*m, z = 2*m. Suppose 2*c - 4 + 22 = 2*w, 4*w - 3*c - 32 = z. Suppose -157 = -w*a + 3*k - 4*k, 5*a = 2*k + 151. Is a a prime number?
True
Suppose 15 = 5*m - 10*m - 3*q, -m = -4*q - 20. Suppose 0 = 5*l + x - 109, l + 0*l - 2*x - 13 = m. Is l prime?
False
Suppose 107 = 5*x + 12. Is x a prime number?
True
Suppose -5*w = 2*u - 163, -3*u = -u + 4*w - 158. Is u composite?
True
Suppose 0 = -3*c + 17*l - 16*l + 10217, -2*c = 5*l - 6834. Is c composite?
False
Is (-4 - (0 - 2)) + 471 a prime number?
False
Suppose 3*m - 3511 = -5*q, 5*m + 935 = 4*q - 1859. Is q a composite number?
False
Suppose -2*l + 255 = -391. Is l prime?
False
Let k = -14 + 7. Let x = -4 - k. Suppose 11 + 1 = x*c. Is c prime?
False
Let a(f) = -123*f + 14. Is a(-8) a composite number?
True
Suppose o - 1279 = 4*x, 4*o + 0*x - 5016 = -4*x. Is o prime?
True
Let w = 1003 + -674. Is w composite?
True
Let w = 7 - 7. Let u be (w + 2)/(1/(-6)). Is (14/3)/(u/(-198)) a composite number?
True
Is 0 + (-2 - -5) + 56 a prime number?
True
Let w(i) = 6 - 9 - 5*i + 0*i - 9. Is w(-11) a prime number?
True
Suppose 8*l = 2360 + 368. Is l prime?
False
Is (-1 - -3)*13170/12 composite?
True
Suppose -4*k + 5*l = -30 - 394, -k + 5*l = -106. Is k a composite number?
True
Let d(p) = p + 6. Let o be d(0). Let g be (-10)/3*(-9)/o. Suppose 235 = g*k + 5*w, k - 2*w + 4*w - 45 = 0. Is k a composite number?
True
Let s = -1096 - -1610. Is s a prime number?
False
Suppose 0 = -d + 482 + 47. Is d prime?
False
Let c(n) = -6*n - 3*n + 1 - 3*n. Is c(-9) composite?
False
Let f(n) = -n**2 - 10*n + 5. Let y be f(-10). Suppose y*p - 1263 = 2*i, -i = 2*p + p - 749. Is p composite?
False
Let v be 12/18 - 1442/(-6). Let t = v + -22. Is t a prime number?
False
Let r(x) be the second derivative of x**4/6 - 11*x**3/6 + 2*x**2 - 6*x. Let t(n) = -n**3 - 5*n**2 + 4*n - 5. Let g be t(-6). Is r(g) a prime number?
False
Suppose -m - 21 = -4*m + 3*p, -3*m - 3*p - 9 = 0. Suppose -m*f = -f - 3. Suppose 0 = -2*w - f*w + 295. Is w composite?
False
Suppose -2*o + 710 = 4*r - 4*o, 5*r - o = 886. Is r composite?
True
Let d(u) = 3*u**3 - 3*u**2 - 4*u + 4. Let f = 15 - 12. Is d(f) a prime number?
False
Let c be (0 + 0 - 0)*-1. Suppose c = 2*q + 2*t - 3 - 269, 0 = -5*q + 5*t + 730. Is q prime?
False
Let z(p) = 6*p**2 + 8*p - 7. Is z(12) a composite number?
False
Suppose 3*n - 1883 = -5*a, 4*a - 1129 = a - 2*n. Is a a composite number?
False
Let v(k) = -k**2 + 20*k - 13. Is v(19) a composite number?
True
Is (2984/(-20))/(8/(-20)) a prime number?
True
Let k = 5 - 5. Suppose k*x = 4*x. Suppose x*j + 3*j = 111. Is j a composite number?
False
Let c(o) = -6*o**2 - o + 5. Let k(t) = -t**2 - 1. Let a(d) = c(d) + 5*k(d). Let p be a(1). Is ((-1266)/p)/(1/2) prime?
True
Let p = -122 - -249. Is p a composite number?
False
Suppose 2*n = 5*n - 3. Let c = 0 + n. Is (c/(-3))/(2/(-138)) composite?
False
Let w be 64/(-12)*6/(-2). Let h = w - 6. Is h a prime number?
False
Suppose 0 = 5*o + 341 - 1226. Is o a composite number?
True
Suppose -14 + 2 = 4*i. Let n(w) = w**2 + 2*w. Let h be n(i). Suppose 3*y = -2*s + 10, -h*s - 4 = 2*y - 7*y. Is y a prime number?
True
Let f = -9 - -11. Suppose 257 = 3*a - 4*l, a - f*l + 0*l - 83 = 0. Is a prime?
False
Suppose 3*f - 5*n = 160, f - 4*f - n + 166 = 0. Is 0/(-2) + f + -2 a composite number?
False
Suppose -4*a = 9 - 25. Suppose -8 = -a*k - 0*k. Suppose -k*o + 101 = d, -o - 4*o - d = -260. Is o a composite number?
False
Let k(x) = -x**3 - 13*x**2 - 15*x + 10. Is k(-13) prime?
False
Let z(q) = -3*q**2 - 17*q - 15. Let i(j) = j**2 - j. Let t(p) = -5*p**2 - 5*p - 7. Let r(l) = 3*i(l) + t(l). Let b(u) = 5*r(u) - 3*z(u). Is b(11) prime?
False
Let p = -11 - -4. Let y(i) be the first derivative of i**4/4 + 7*i**3/3 - 3*i**2/2 - 2. Is y(p) a composite number?
True
Let k(d) = -d**3 + d**2 - d - 8. Let j be k(0). Let r(x) = -x - 11. Let f be r(j). Is f/(-2)*(5 - -17) composite?
True
Let q(m) = -2*m**3 + 2*m**2 - 6*m + 7. Let c(x) = -x**2 + 1. Let l(s) = 4*c(s) - q(s). Is l(5) prime?
True
Let a = 0 - -2. Is 94 - -3*(a + -1) prime?
True
Suppose -2*w + 4 = -2*j, 4*w + j = -3*j + 24. Suppose -2*m - w = 0, 2*p + 5*m = 13 + 83. Is p a prime number?
True
Let d = 462 + -259. Is d a composite number?
True
Suppose 0*r + 4*r = 16. Suppose 0*s = 2*s, -r*j + 708 = -5*s. Is j composite?
True
Let n(c) = -3*c - 4. Let l be n(-4). Let g(v) = v**2 - 8*v. Let u be g(l). Let x(w) = w**3 + w + 13. Is x(u) composite?
False
Let f(m) = 8*m**2 + 3*m + m + 2 + 2*m + m**3. Let x be f(-5). Let z = x - 28. Is z prime?
True
Let c(f) = -f**3 - 5*f**2 - 3*f + 5. Let n be c(-4). Let v = -1 + n. Suppose -2*d + d + 25 = v. Is d composite?
True
Let i = -143 - -50. Let m = -62 - i. Is m a composite number?
False
Let n(t) = 3*t**3 - t**2 + t. Let f be n(1). Let w(y) = -5*y + 3 - y**2 + y + f*y. Is w(0) a prime number?
True
Let g = 13 - 11. Let s(f) = 21*f**2 - 4*f + 3. Is s(g) composite?
False
Suppose 2*l - 30 = 40. Let s = 104 + l. Is s a prime number?
True
Suppose 3*f = 2*n + 11, 0*n + 3 = -3*n. Let w(h) = h**3 - 3*h**2 + 4. Let b be w(f). Suppose -b = i + 3*m + 8, 0 = -4*i - 2*m + 2. Is i prime?
True
Let u(w) = -10*w**3 + 0*w**2 - 2*w**2 + 3*w - w + 1 - 4*w. Is u(-3) prime?
False
Suppose 0 = 2*m - m + 3, 2*m - 2516 = -2*f. Is f prime?
False
Is 366/(-4)*4/(-3) composite?
True
Let c be 2*39/6*1. Suppose s - 107 = c. Suppose 4*d + r - 6*r - s = 0, 5*r = 20. Is d a prime number?
False
Suppose -5*b - 2*r = -4*r - 515, -3*r = b - 103. Suppose 5*g - b = -2*u, 5*g - 53 = 2*g + u. Is g prime?
True
Suppose 3*r + 2747 = 7712. Is r a prime number?
False
Let q be 50/4 + (-1)/2. Is 1115/30 + (-2)/q a prime number?
True
Suppose 75 = b + 3*q - 7*q, -b - 4*q = -35. Is b a composite number?
True
Suppose 2*o - 1849 = 2653. Is o a prime number?
True
Suppose 4*j = 20, 45 = 5*f - 0*j + 5*j. Suppose -f*a + 6*a - 30 = 0. Is a composite?
True
Let b = -253 - -1806. Is b a prime number?
True
Let i(o) = -31*o**3 - 3*o**2 - 2*o + 2. Let s be i(3). Let l = -397 - s. Is l a prime number?
False
Let y(x) = -2 - 4 + 7*x + 5. Suppose -4*p = p - 45. Is y(p) a composite number?
True
Let k be 8/(-6) + (-12)/(-9). Suppose -3*t + 303 = 3*n, 5*t + 4*n + 0*n - 501 = k. Is t composite?
False
Let s = -10 + 10. Let z be 2/6 - (-1000)/6. Suppose 5*l + t - z - 31 = s, 4*l - 3*t = 147. Is l a prime number?
False
Suppose 131 = 2*m - 2*z - 103, -3*m + 333 = 3*z. Suppose v = -v + m. Is v prime?
False
Suppose -15860 = -5*f + 3*f. Is (-4)/14 - f/(-70) composite?
False
Let y = 726 - 175. Is y composite?
True
Suppose -d + 771 = 3*d - f, 4*f + 562 = 3*d. Is d prime?
False
Suppose -3*u - 2*f - 45 = -f, -5*f = 5*u + 75. Let y = -1 - u. Is y composite?
True
Is 