 - 2*c - 3. Is v(4) prime?
True
Let d = -137 - -228. Is d composite?
True
Suppose 0 = 2*y + 4*s + 33 - 9, -2*s = -y - 28. Let r be y/(-6)*(-24)/(-20). Suppose r*v + 0*o - 79 = o, 4*v = 4*o + 88. Is v prime?
True
Let w = -10 + 14. Suppose -2*y - 8 = -2*k + 3*k, -w*y - 16 = -2*k. Let q = 35 + y. Is q a prime number?
True
Let r(g) = -g**3 + g**2 + g + 7. Let b be -12*((-2)/4 - -1). Is r(b) a prime number?
False
Is -6 + 3899 - -4 - -2 a prime number?
False
Suppose c + 4*c = 20. Suppose 3*l = 12, -c*l = -0*j + j - 69. Is j a composite number?
False
Let f(i) = 163*i + 5. Is f(2) prime?
True
Let l(f) = -f**3 - 3*f**2 + 3*f + 2*f**2 - 4*f. Let a(o) = 2*o**3 + 7*o**2 + 7*o + 1. Let z(m) = -a(m) - 3*l(m). Is z(5) prime?
False
Let r(c) = 7*c**2 - 12. Is r(-5) a prime number?
True
Let z be -6*5/10*(0 + -1). Suppose 4*v - 11 = -3. Suppose -v*m - o = -309, -778 = -7*m + 2*m + z*o. Is m prime?
False
Suppose -4*k = 5*d - 8639, d + 14640 = 4*k + 5995. Is k a prime number?
True
Let v be -1*(2 + -1*5). Let h = v - 4. Let b(g) = 20*g**2 + 2*g + 1. Is b(h) a prime number?
True
Let p be -12*((-12)/(-9) + -2). Suppose v = -0*v + p. Suppose -2*i + v = -4. Is i a prime number?
False
Suppose -720 = -5*z + 5. Is z a composite number?
True
Let t(b) = -b**2 + 2*b + 221. Is t(0) a composite number?
True
Suppose -13*u = -14*u + 159. Is u composite?
True
Let x be (-1 - 1) + (0 - -2). Suppose x = -5*k - 3*n + 552, -2*k = k - 4*n - 337. Is k a composite number?
True
Suppose 1557 - 4265 = -4*b. Is b prime?
True
Let o = -3 + 4. Let l be 3 + -1 - -2 - o. Suppose l*r - 134 = -23. Is r a composite number?
False
Let x be 4/(-10) + 797/5. Let k = x - 72. Suppose 4*r - 269 = k. Is r composite?
False
Suppose -14 = -3*v - 4*k, 7*k - 3*k = -4*v + 12. Let p = 2 + v. Suppose -o + p*o = -19. Is o prime?
True
Suppose 2*x - 1025 + 91 = 0. Is x a prime number?
True
Suppose 4*p - 2*d = 5112, -3*p - 5*d + 2298 = -1510. Suppose -3*g + p = g. Is g a prime number?
False
Suppose q + 5*a + 575 = 1501, 5*q - 4630 = 2*a. Suppose -618 - q = -2*y. Suppose -4*r + y = -4*k, -44 + 416 = 2*r + 5*k. Is r prime?
True
Let i be -3*(-4)/(-3) + 3. Is ((-2)/(-2))/(i/(-33)) composite?
True
Let w = 2 - -2. Suppose -l = 2*l - 21. Suppose -4*h + l*o - 2*o = 17, -18 = h - w*o. Is h a prime number?
True
Let x = -15 - -21. Let r = x + -5. Suppose 0 = y - 5*h - 85, -5*h + r = 21. Is y a prime number?
False
Let p be 1 + 1 + 1*2. Suppose -3*v = -4*v. Suppose v = p*b - 23 - 53. Is b a composite number?
False
Let a(b) be the second derivative of b**3/3 - 5*b**2 - b. Let v be a(7). Is ((-22)/4)/((-2)/v) a prime number?
True
Let z(s) = -3*s - 4. Let p be z(-3). Suppose 4*q = p*q - 77. Suppose -u + q = -y + 5*y, 4*y = -4*u + 272. Is u prime?
False
Let r(s) = 71*s - 4. Let c be r(5). Suppose -l - c = -6*l - 2*b, -342 = -5*l + b. Is l a prime number?
False
Let f(c) be the first derivative of 17*c**4/4 - 2*c**3/3 - c**2 - 1. Let w be f(2). Let z = w - 87. Is z a prime number?
True
Suppose 3*l - 2*u = 1190, -1352 = -5*l - 5*u + 648. Is l composite?
True
Suppose -22 = -4*y + 1250. Let k = 158 - y. Let l = -29 - k. Is l prime?
True
Suppose -4 = -4*x + 3*o + 1, x = -2*o + 15. Let c = 0 + x. Suppose -3*z + c*a + 110 = 0, -3*a - a - 179 = -5*z. Is z a composite number?
True
Let k = 3 - 9. Let r be 8/3 + (-2)/k. Suppose 17 = r*n - 40. Is n a prime number?
True
Let b(y) = 32*y + 3. Suppose 3 = 3*f - 3. Is b(f) a composite number?
False
Let y be (1 - (3 - 1))*-4. Suppose y*z = 3*z + 47. Is z a composite number?
False
Let q(g) = 6*g**2 - 3*g - 21. Let t(f) = f - 2*f - 11 - f + 3*f**2. Let s(j) = 6*q(j) - 11*t(j). Is s(4) composite?
False
Let y(z) = -17*z**2 - 2*z + 2. Suppose -4*g = -0*g - f + 9, 9 = -2*g + 5*f. Let v be y(g). Is 0 + v*1/(-2) a prime number?
True
Let m = -12 + 22. Let z = m + -6. Suppose -3*j - z*a + 69 = -0*a, 0 = -5*j + 3*a + 115. Is j prime?
True
Suppose u = 37 + 112. Is u a composite number?
False
Is 2110/7 - (-3)/(-7) prime?
False
Suppose -2*i + 5*h - 722 = -6*i, -4*i = h - 730. Suppose 2*t - 5*f = i, 85 = t - f + 5*f. Is t a composite number?
False
Let x(a) = 7*a**2 - 5*a + 11. Is x(-6) prime?
True
Is (-2 - -55)*(-11)/(-11) a composite number?
False
Suppose -3*t = 2*k - 146, 0 = 5*t + 2*k - 0*k - 238. Suppose 0 = a - 2*g + 4*g - 66, -a = -3*g - t. Is a a composite number?
True
Let h(g) = -g**2 + 16*g + 5. Let t(n) = -2*n**2 + 33*n + 10. Let y(i) = -5*h(i) + 2*t(i). Is y(-10) a prime number?
False
Suppose -1106 = -14*a + 7*a. Is a prime?
False
Suppose 5*m + 4*r - 18 = 0, -2*r = 2*m - 5*r + 2. Suppose m*o - 5 - 7 = 0. Is o composite?
True
Suppose -p + 30 = -3*p. Let n = 10 + p. Let o(j) = -j**3 - 2*j**2 + 5*j + 7. Is o(n) composite?
True
Let t(s) = s**3 - 7*s**2 - 8*s - 10. Let h be t(8). Let l = 38 + h. Suppose -i = -l - 67. Is i prime?
False
Suppose 5*x - 4*m = -29 - 66, 4*x = 3*m - 75. Let i be (-1)/(-4) + 294/8. Let f = x + i. Is f a prime number?
False
Suppose 5*v - 10 = 0, -k - 4*k - 2*v = -594. Is k composite?
True
Let h(m) = -2*m**3 + 2*m**2 + m + 1027. Is h(0) prime?
False
Let l(x) = x**3 + 10*x**2 + 9*x + 4. Let m be l(-9). Suppose -m = -2*k + 6. Suppose -96 = -k*f - 1. Is f prime?
True
Suppose -2*o - 181 - 55 = 0. Let k = o - -177. Is k a composite number?
False
Suppose 17 = 6*l - 277. Is l a composite number?
True
Suppose 4*q = -5 + 17. Let b = 4 - q. Is (2/b + -1)*9 a composite number?
True
Suppose 4 + 0 = 2*x. Suppose x*k = 4*v + 94, -4*k + 168 = v + v. Is k prime?
True
Let v(b) = 32*b + 1. Let k be v(1). Let h = k + -20. Is h prime?
True
Let l(f) = 1561*f**2. Is l(1) prime?
False
Suppose f - 223 = -3*x + 191, -3*f = -9. Let z = x - 6. Is z a composite number?
False
Suppose 0 = 2*p + 3*p + 10. Is -2 + 33 + 0/p composite?
False
Let h(q) = 2*q - 8. Let i be h(6). Suppose 0 = -3*c + i*c. Is c - 4/(8/(-106)) composite?
False
Let j(n) = -n - 2. Let w be j(-6). Suppose 6*s + 339 = 10*s + y, w*s = -3*y + 337. Is s composite?
True
Suppose -4*v = -2*v - 6. Let c = v + 0. Suppose -c*w - 123 = -4*u, -5*w + 94 = 2*u + 13. Is u a prime number?
False
Let l(k) = -k + 1. Let x(m) = -25*m**3 - 4*m**2 - 3*m + 6. Let w(y) = 5*l(y) - x(y). Is w(2) prime?
True
Let i = -9 + 10. Is (2 + -37)*(i - 2) prime?
False
Let r(q) = 66*q + 1. Is r(5) composite?
False
Suppose 0 = -k - 2*u - 24, 5*u = -2*k + 19 - 72. Let r = -9 - k. Suppose -h = -2*o - 251, 0 = r*h + 5*o - 3*o - 1267. Is h a composite number?
True
Let u be 2/6 + 14/(-6). Let y be ((-342)/(-15))/(u/(-15)). Suppose -154 = -5*k + y. Is k composite?
True
Let c(j) = 23*j**2 - 9*j - 8. Let m be c(7). Suppose -p + m = 5*f, 1051 = 2*f + 3*f - 4*p. Is f prime?
True
Let z(p) = 9*p**2 + p + 3. Is z(-4) prime?
False
Let z(f) = f**2 + 9*f. Let l be z(-9). Let t(u) = u**3 - u**2 - u + 3. Is t(l) a composite number?
False
Suppose 2*q = 5*q - 12. Let r(k) = 12*k - 4. Let x be r(8). Suppose -2*c - x = -q*c. Is c prime?
False
Let y be 2/4*-2*0. Let a be 35 + (-2 - -1) + y. Let m = a - 15. Is m a prime number?
True
Suppose 2*l + s - 209 = 0, -2*l = -3*s + 2*s - 215. Is l prime?
False
Let f(a) = 578*a - 37. Is f(7) a composite number?
True
Let p be -6 + 2/4*2. Let c = p + 7. Suppose -g + 141 = c*g. Is g a prime number?
True
Let u(s) be the third derivative of -s**6/120 + 3*s**5/20 - 3*s**4/8 + 5*s**3/6 - 2*s**2. Is u(6) prime?
True
Suppose 2*q - 452 = -c + 2365, -2842 = -2*q + 4*c. Is q prime?
False
Suppose 2*k + 0*k - 5*t = 418, 5*k - 3*t = 1045. Is k prime?
False
Let u(m) = 2*m**3 + 5*m**2 + 4*m + 3. Let l be u(-3). Let s = 13 - l. Is s composite?
False
Let i(o) = 3*o**3 - 8*o**2 + 4*o - 4. Let y be (1 + 1)*20/8. Is i(y) prime?
True
Let d be (-6)/(-2) - 2*-25. Let x = d - -30. Is x a prime number?
True
Let k = 3 - 0. Suppose 332 = k*h + h. Is h a composite number?
False
Suppose -3 + 15 = 3*g. Let q(n) be the first derivative of n**4/4 + 5*n**3/3 + n**2 - 3*n + 17. Is q(g) a composite number?
False
Let r(o) = 6*o**2 - o**3 + 12 + 2*o**3 + 2*o**2 - 2. Is r(-8) prime?
False
Suppose -n - 3223 = -5*v - 135, 4*v - n = 2470. Suppose 2*y = -5*u + 1115, -4*y - 497 - v = -5*u. Is u a prime number?
True
Let x(n) = 27*n**2 - 8*n + 13. Is x(6) a prime number?
True
Let p = -3 - -3. Let q be (4 + (p - 2))*1. Suppose j = q*b - 149 - 166, -5*b = 4*j - 755. Is b prime?
False
Suppose 2*o + 3 + 1 = 0, 2*w - 