 3*h + 3*m = -14, -4*h + 3*m = -19. Is 0 + (h - 0) - -10 prime?
True
Let q(k) = 4*k**2 + 3*k - 6. Is q(-5) composite?
False
Suppose -4*l = l + 5, 3*q - 203 = 2*l. Let f = q - -2. Suppose -n = -4*n + f. Is n a prime number?
True
Let r = -295 - -616. Suppose -3*s + r = 54. Is s composite?
False
Let u be (2 + 0)/(2/4). Let r be 1 + (-1)/(-2)*u. Is r/12*-2*-194 prime?
True
Let d be 0/(-2) + (2 - -2). Suppose u + 4 = 3*g, 2*u + d*g + 9 - 1 = 0. Is -8*-5*(-1)/u composite?
True
Suppose 0*x = -3*x + 3*y + 3, -7 = -5*x + 3*y. Suppose 0 = -x*u + u + 35. Is u a prime number?
False
Suppose 4*y = 3*m - 97 - 18, y = -5*m. Let i = y + 44. Is i a prime number?
True
Let h(r) = -r**3 - 6*r**2 - r. Let n be h(-6). Suppose -28 = -4*k - 0*k. Let m = n + k. Is m prime?
True
Let m = 414 + -271. Let u = 0 + m. Is u a composite number?
True
Let o(n) = -n**2. Let i(g) be the second derivative of g**3/6 - 2*g**2 - 2*g. Let s(v) = -i(v) - 2*o(v). Is s(7) prime?
False
Let u(v) = -v + 3. Let r(c) = c**2 + 3*c + 4. Let g be r(-3). Let j be u(g). Is -1 + (-48 + 0)/j composite?
False
Let x(z) be the second derivative of z**4/2 - z**3/2 + 5*z**2/2 - 2*z. Is x(4) a prime number?
True
Let j = -4891 + 6870. Is j prime?
True
Suppose 10 = -4*c + 30. Suppose -4*a + 4*y + 44 = 0, -a - 1 = -c*y - 0. Is a a prime number?
False
Let s be 78/8*(4 - 0). Let x = 13 - s. Is 2/(1*-4)*x a composite number?
False
Suppose 4*t - 3*g = -t + 49, 2*g = -6. Let n = 13 - t. Suppose -n*d - o + 21 = 2*o, -o = -2. Is d a prime number?
True
Suppose -823 = -4*q + 4*h - h, -3*q + 4*h = -626. Is q prime?
False
Let f(o) = 3*o**2 - 15*o - 5. Is f(8) a composite number?
False
Let f be 2/(-8) + 2/8. Suppose f = m + 3*m - 356. Is m a composite number?
False
Suppose -v + 3*v = 0. Suppose 3*d + 2*d + b = 22, -5*d + 3*b + 14 = v. Suppose -17 = -2*w - f, 10 - 41 = -d*w - 3*f. Is w prime?
False
Let p(z) = z**3 + 2*z**2 - 5*z - 2. Let q be p(-3). Let o = q + 18. Is o prime?
False
Let c(x) = -x**3 + 7*x**2 - 6*x - 5. Let d be c(5). Let k = 26 - d. Is k a composite number?
False
Let q(v) = v**3 + 7*v**2 - 10*v - 5. Suppose -5*r + r - 28 = 0. Is q(r) a prime number?
False
Suppose 0 = 5*y - f - 481, 198 = 2*y + 2*f - f. Let u = y + -18. Is u composite?
False
Suppose -2*a - a = -4*y + 12, 5*a = -2*y - 46. Let q be (a/(-6))/((-4)/(-42)). Is (-4)/14 + 690/q composite?
True
Let o(p) = 14*p**2 + 10*p + 15. Is o(-10) composite?
True
Let t(g) = g**3 - g**2 - 2*g + 675. Let h(l) = 2*l**3 - 2*l**2 - 4*l + 1349. Let c(w) = -2*h(w) + 5*t(w). Is c(0) a prime number?
True
Suppose 0 = -5*f - 16 + 91. Suppose 3*d - 8 = 4*d. Let l = f + d. Is l prime?
True
Let o = 29 - 14. Suppose -6*h - o = -h. Is (2 - (2 + h)) + 18 a prime number?
False
Let w = -24 + 17. Let f(l) be the first derivative of -l**3/3 - 5*l**2 - 8*l - 1. Is f(w) composite?
False
Let s(z) = 3*z**3 + z**2 + z + 3. Is s(2) a prime number?
False
Let t = 12 - 10. Suppose 0 = t*x + 4*p - 858, 5*x - p = -0*p + 2090. Is x composite?
False
Suppose 4 = 2*l - 0. Suppose 3*r - 23 = -5*u + l, -5*u = 5. Is r a prime number?
False
Suppose 4*n = 2*l - n - 32, -80 = -5*l - 5*n. Is (5/(-4))/((-2)/l) prime?
False
Suppose 0 = j + j + 26. Suppose -3*l + 8*l = 5*u + 655, 0 = l + 3. Let k = j - u. Is k a prime number?
False
Let r(p) be the third derivative of -p**5/60 + p**4/4 - 3*p**2. Let w be r(5). Suppose k - v = 36, 0 = w*k - v - 0*v - 184. Is k a composite number?
False
Suppose 3 = -2*h - 1. Is -5 + 6 + (h - -87) prime?
False
Suppose f + 4*q = 2*f, 0 = 4*q. Let s(o) = f*o - 19*o**3 + 0*o + 0*o. Is s(-1) prime?
True
Suppose -6*x + x + 635 = 0. Let k = -60 + x. Is k a prime number?
True
Let c(b) = 3*b**2 + b. Suppose -3 = 3*v - 9. Let h be 4*1/v*1. Is c(h) composite?
True
Suppose 3*t + t - 5*y - 29 = 0, 16 = 2*t - 4*y. Let r be (t/2)/(-4 - -5). Suppose -3*b = -k - b - r, 3*k - 2*b - 3 = 0. Is k prime?
True
Let f be (1 - -1) + -4 - -12. Let p be (-1)/(-1)*f/2. Suppose 3*r = p*s + 20, -r + 3*s = -3 - 1. Is r a prime number?
False
Let j(u) = -u**2 - 8*u - 7. Let f be j(-7). Let v be f - 3/(-6)*-18. Let d(b) = -5*b - 10. Is d(v) a prime number?
False
Let f = 41 - 69. Let o = f - -43. Is o prime?
False
Suppose 2*s + 2*k - 8846 = 0, -3*s + 4*k = -0*s - 13255. Is s a composite number?
False
Let x = -60 + 117. Suppose -d = -4*d + x. Is d a prime number?
True
Let a(i) = 368*i + 13. Is a(2) a prime number?
False
Let w(z) = z**3 + 9*z**2 + 8*z - 11. Let h be w(-9). Let i = h + 189. Is i prime?
False
Let m be (-60)/(-25) - (-3)/5. Suppose 6 + 7 = g + m*d, 0 = 4*g - d - 91. Is g prime?
False
Let q(y) = -210*y**3 - y. Let d be q(-1). Let u = 374 - d. Is u composite?
False
Let u be ((-8)/12)/(4/(-6)). Is u/2 - (-51)/2 a composite number?
True
Let i = -27 - -42. Suppose -64 - i = -d. Suppose s + 80 = 4*v, -2*v - v = 4*s - d. Is v a composite number?
True
Suppose -10 = -4*w - 2. Suppose -6 = 3*y, w*i + 4*y = 123 + 21. Suppose -n = -5*n + i. Is n prime?
True
Suppose 0 = 2*u + 2*u - 8. Suppose i + 5 = u. Is (-6)/i*-1 - -108 prime?
False
Let w(j) = 69*j**2 + 19*j + 11. Is w(-7) prime?
True
Let t(i) = -3 + 5*i**2 + 3 + i. Let d be t(-1). Suppose -2*s + 0 = -d. Is s a composite number?
False
Let c(r) be the second derivative of r**5/20 + 11*r**4/12 - 2*r**3 + 15*r**2/2 + 3*r. Is c(-12) a prime number?
False
Is (-2 - 1*-34) + 3 a composite number?
True
Let c = 5 - 12. Let a = c - -10. Suppose -a = -j - 0*j. Is j prime?
True
Suppose 4*h + 3 = 19. Suppose -12 = -h*k + v + 3, -v = 4*k - 9. Suppose 26 = 2*w - 5*x, k*w + 5*x + 11 = -0*x. Is w prime?
True
Is (-30371)/(-77) - 3/7 prime?
False
Suppose -4*l + 9*l = -5*i + 1320, -5*l + 4*i + 1284 = 0. Let u = l + 41. Is u a composite number?
True
Suppose x = -g + 1, -7*x = -2*x + 4*g - 7. Let q be 2 - (x - (3 + -2)). Suppose 4*k - 196 = -q*k. Is k prime?
False
Let s(u) = 6*u**3 - 8*u**2 + 4*u + 7. Is s(6) prime?
True
Let u(g) = g. Let n be u(-4). Let j be (-1)/(-4) - (-65)/n. Is 0 + -1 + -1 - j a prime number?
False
Suppose 5*w - 3*k = 5, k = -w + 7 + 2. Suppose -67 = -w*l + 3*l. Is l a prime number?
True
Suppose -9*d = -5*d - 148. Is d a composite number?
False
Suppose 6*g = 781 + 113. Is g a composite number?
False
Suppose b + 2*h + 20 = 4*b, -5*h = b + 16. Suppose 5*w - 5*v + v - 162 = 0, b*v = -3*w + 78. Let c = -19 + w. Is c a prime number?
True
Suppose 0 = a - 0*a - 422. Let s = a - 171. Is s a composite number?
False
Let u = 1 - -1. Suppose 4*d - u*d - 422 = 0. Suppose -n = -2*n + d. Is n a prime number?
True
Let q be 3/(-1) + (-112)/(-4). Is (-2)/5 - (-535)/q a prime number?
False
Let u(a) = -a + 43. Suppose 2*q + 4 = -0. Let d be 0/(4 + q - 3). Is u(d) a composite number?
False
Is (2984/(-20))/(2/(-5)) prime?
True
Let m be (-2 - 0) + 2 - 0. Suppose -3 = -x - m. Suppose 2*u - t = -x*u + 453, 0 = 4*u + 4*t - 372. Is u a prime number?
False
Suppose -15 = x - 4*x. Suppose -s = 10 - x. Let y(m) = 2*m**2 - m. Is y(s) a prime number?
False
Let m = 72 + -41. Is m a composite number?
False
Suppose 1 = -b, -5*k + 7 + 30 = -2*b. Let w(o) = o**2 - 8*o + 10. Let l be w(k). Suppose l*j = j + 78. Is j a prime number?
False
Suppose -3*c - 17 = 202. Let a = 158 + c. Is a composite?
True
Let o = 3501 + -115. Is o prime?
False
Let y(s) = -11*s - 21. Let j(x) = 10*x + 20. Let v(o) = 6*j(o) + 5*y(o). Is v(10) a prime number?
False
Suppose 2*j - 154 = 528. Is j a composite number?
True
Let c = 46 - -116. Let k(r) = r**3 + r + 5. Let z be k(0). Suppose z*y - c = 163. Is y a composite number?
True
Let f = 950 + -641. Suppose 5*o - 21 - f = 0. Suppose 4*d = -5*c + 129, -4*c + 0*c + o = 2*d. Is d prime?
True
Suppose -3*j + 4 = -2*j. Suppose 61 = m + 4*z, j = z - 5*z. Is m composite?
True
Suppose -3*g + 237 = 4*u - 2*u, 375 = 3*u - 2*g. Is u composite?
True
Suppose -q = -4*q + 12. Let o(r) = 3*r**3 - 6*r**2 + 3*r + 3. Is o(q) composite?
True
Let q(i) = i**2 + 3*i - 4. Let z be q(-5). Suppose 4*l - l - 269 = -5*s, -3*l - z = 0. Is s composite?
True
Let w be 1/(-2*(-3)/(-426)). Let z = -48 - w. Is z composite?
False
Suppose -a - 2*a + 609 = 0. Let w = a + -88. Is w a composite number?
True
Suppose 2*x = -2*k - 110, 14 = 2*k + 4*x + 114. Is ((-9)/(-18))/((-2)/k) a composite number?
True
Let x = 10 - 5. Suppose 3*l - 153 = -0*k + 3*k, x*k - 75 = -l. Is l prime?
False
Suppose -4*x = -85 - 15.