p**2 - 9*p - 15. Let k be t(11). Is 13*4 + (8 - k) a prime number?
True
Let z be 2 + 2 + -2 - 2. Suppose 4*k - 9*k + 185 = z. Let c = k - -12. Is c composite?
True
Suppose -1157 = -5*x - 8*x. Is x composite?
False
Let r(w) = 18*w + 1. Suppose 0 + 15 = 3*n. Suppose -n*x - 1 = 9, 3*s - 13 = 5*x. Is r(s) a prime number?
True
Suppose 2 = x - 2. Suppose -4*z = -3*o - 14, -o = 4*z - x + 30. Let t = 1 - o. Is t a prime number?
True
Suppose -r = -y - 2, -r + 0*y + 4*y = -17. Let n = r + 2. Let c = n - -23. Is c composite?
True
Let t(x) = -51*x - 35. Is t(-24) prime?
False
Let r be ((-34)/(-3))/((-2)/3). Let c = r - -31. Let z = 0 + c. Is z composite?
True
Let c(b) = 2*b**3 - 5*b**2 - b. Let a be c(7). Suppose 4*k - a = -4*v + 606, -3*v + 772 = -5*k. Is v composite?
True
Let m(o) = -o**3 + 8*o**2 + 9*o - 11. Is m(-8) a composite number?
False
Let s(g) = g**3 - 4*g**2 - 5*g + 3. Let w be s(5). Suppose 0*m = -w*m. Suppose -a + 6 + 53 = m. Is a a composite number?
False
Suppose 2*d + 0*t - 3 = -t, 5*d - 5*t - 45 = 0. Suppose d*k + 2*x + 2 = 4*x, 5*x = 4*k + 17. Is (k + 0)*(-993)/(-6) a prime number?
True
Let l be (80/(-6))/((-2)/6). Let g = l + 15. Is g a composite number?
True
Suppose -5*p = 151 + 684. Let v = -61 - p. Let n = v - -339. Is n prime?
False
Let o = 59 + 228. Is o a prime number?
False
Suppose 422 = -3*n + 1577. Suppose 3*z = 4*h - 0*h - n, 0 = -2*h - 4*z + 198. Is h a composite number?
False
Suppose -2*y = -2*u - 22, 0*y + 3*u = -3*y + 57. Is y a prime number?
False
Suppose 3 = -4*s + 3*y, 5*s = -0*s + 5*y. Let f be (1 + s)*(-7)/(-2). Is 10/(-4)*f*2 a composite number?
True
Suppose -5*c - 411 - 194 = 0. Let s = 192 + c. Is s composite?
False
Suppose 0*l = -3*s - 2*l + 8, -2*l = -3*s + 28. Suppose -s*p = -p - 115. Suppose 0 = 3*o + a - 27 - 70, o - 2*a = p. Is o a composite number?
False
Let i(l) = -164*l - 23. Is i(-5) a prime number?
True
Suppose -49 - 41 = -z. Let n = -202 + z. Let m = n - -245. Is m a composite number?
True
Suppose -4*l = 3*v - 2158, 3*l - 5*l = -v + 716. Let w = v - 41. Is w a composite number?
False
Suppose -2*b + 107 = 1. Is b composite?
False
Let o(r) = 3 + 5 - 14*r - 3*r**3 - 11*r**2 + r**3 + 0*r**3. Is o(-7) composite?
True
Let t = 47 + -115. Let q = 1 - t. Is q a composite number?
True
Let l(x) be the third derivative of 3*x**5/20 + x**4/4 - 3*x**3/2 + x**2. Let k(b) = -10*b**2 - 7*b + 10. Let g(h) = 5*k(h) + 6*l(h). Is g(3) a prime number?
False
Let w = 2061 - 1276. Is w prime?
False
Let c(a) = -76*a + 5. Is c(-9) prime?
False
Let t = 40 - 79. Let c = 92 + t. Is c a prime number?
True
Let r = -654 - -1561. Is r a prime number?
True
Suppose -7 = -3*t - 1. Is t - -1 - 5 - -91 a prime number?
True
Suppose -970 = -2*z - 0*z. Is z a composite number?
True
Let j(p) = -p**2 + 4*p - 3. Let d be j(3). Suppose d = 4*f - 52 - 72. Is f composite?
False
Let f be 0 + -2 + 105/(-3). Let y(i) = -6*i + 2. Let k be y(4). Let a = k - f. Is a composite?
True
Let f = -194 - -846. Suppose 11*i - 7*i = f. Is i composite?
False
Let j(n) = n**3 + 10*n**2 - 13*n + 16. Let v be j(-11). Suppose 0*i = -u + 5*i + 10, u - 4 = 3*i. Let w = v - u. Is w a composite number?
False
Let p(v) be the third derivative of v**4/24 + v**3/6 + 2*v**2. Is p(5) a composite number?
True
Let d = 8 + -7. Suppose n + d = 59. Is n a prime number?
False
Let d = -147 + -318. Let b = d - -718. Is b composite?
True
Suppose 0 = 3*q + 15, 0*l - 2*l - 4*q - 14 = 0. Suppose -5*v = m + 3*m - 341, l*v = -m + 80. Is m composite?
False
Let c be (-2)/(-5) + (-72)/(-45). Suppose -c*b - 90 = -3*t - 5*b, t - 10 = 3*b. Is t prime?
False
Let r(b) = b**2 - 9*b + 7. Let c be r(8). Let k(s) = 13*s**2 + 26*s**2 - 1 + 17*s**2. Is k(c) composite?
True
Let r(m) be the third derivative of 0*m - 2*m**2 + 0 + m**3 + 1/120*m**6 + 1/10*m**5 + 0*m**4. Is r(-5) prime?
True
Suppose 3*k = -z + 94, -2*z = -k - 2*k - 179. Is z a prime number?
False
Let j(u) = u**2 - 3*u - 5. Let i(c) = -c**2 + 3*c + 5. Let z(x) = -7*i(x) - 6*j(x). Let r be z(-6). Suppose -208 + r = -3*t. Is t prime?
True
Let p = -8 + 7. Let j(y) = -5*y**3 + y**2 + y. Let m be j(p). Suppose 15 = -m*l, -52 = q - 5*l - 278. Is q prime?
True
Suppose -a = -4*a + 5*r - 43, -37 = 2*a + 5*r. Let m be (-2 - -3) + (2 - a). Let p = m + -6. Is p a prime number?
True
Let h be 40/7 + (-4)/(-14). Let z = h - 3. Suppose 3*j - u - 60 = 0, -3*j - u + z*u + 63 = 0. Is j a composite number?
False
Let x(g) = g. Let s(f) = 5*f. Let h(c) = -s(c) + 6*x(c). Let y(v) = 29*v + 2. Let i(p) = -4*h(p) - y(p). Is i(-5) composite?
False
Suppose -n - 745 = -3*o, -o - 4*o - 2*n = -1238. Let f = o - 174. Is f prime?
False
Let p(b) = 5*b**3 + b**2 - b + 1. Let q be p(1). Is 411/q - (-3)/(-2) composite?
False
Suppose 132 = 2*g - 2*t, -t + 324 = 5*g - 0*t. Is g a prime number?
False
Let b = -81 - -161. Suppose u - 373 = -b. Is u a prime number?
True
Suppose 16*r = 13*r - 1542. Let n = 843 + r. Is n a prime number?
False
Let k be (-1)/1 + (-38 - 0). Let h = -26 - k. Is h a composite number?
False
Suppose 0*s = -s + 2. Suppose 0 = s*u + u, 0 = -3*x - 3*u. Suppose 3*d - 259 + 94 = x. Is d a composite number?
True
Let n(l) = -l - 8. Let z be n(-8). Suppose z = 2*v - 210 - 194. Is v composite?
True
Suppose 2*o = 4*o - 158. Is o prime?
True
Let y(h) = h**3 - 4*h**2 - 7*h - 9. Is y(8) prime?
True
Is (-12)/20 + (-1496)/(-10) prime?
True
Let p = -16 - -1. Is p/10*134/(-3) composite?
False
Let a be 2/15 + 1664/120. Let w = -3 + a. Is w prime?
True
Let b be 4*((0 - 2) + 3). Is 1/(((-12)/(-57))/b) prime?
True
Is 588 + 3*3/(-9) prime?
True
Let p = 61 - -81. Suppose -3*k = 4*b + 269, 3*b = 5*b - 4*k + 118. Let n = p + b. Is n composite?
True
Suppose t + 1086 = 3*a, -2*a + 2*t = -3*a + 362. Let o = 669 - a. Is o composite?
False
Suppose -2*f = -5*f. Is -2 + f + (-375)/(-1) a composite number?
False
Suppose 0 = -v - 3*v - 8. Is (-1698)/(-36) - v/(-12) composite?
False
Suppose 4*a + 13 = 3*i, -4*i + 11 = 7*a - 6*a. Is i a composite number?
False
Let u(d) = d**3 + 16*d**2 + 13*d - 7. Is u(-14) composite?
True
Let q(t) = -t**3 + 5*t**2 - 2*t. Let i(r) = -4*r. Let a be i(-1). Let c be q(a). Suppose 3*w - c*w + 75 = 0. Is w prime?
False
Suppose 2*h - 5*m - 2742 = 0, h - 3*m - 499 = 874. Is h prime?
True
Suppose -106 = 2*a - 0*a. Let n be 8/12 - a/(-3). Let z = -6 - n. Is z a composite number?
False
Suppose 3*x - 5*t - 946 = 0, -1555 = -3*x - 2*x + 4*t. Is x a composite number?
False
Let s(j) = -j**3 + 6*j**2 + j - 4. Let y be s(6). Suppose -v = q - 18, y*q = -2*q + 4*v + 80. Is q composite?
False
Suppose 3*x - 6*x + 186 = 0. Is x composite?
True
Suppose 3*j = 51 + 51. Let o = j - 19. Is o prime?
False
Is (-15)/10*2 + 746 composite?
False
Suppose 0 = -3*j + 4*m + 132 + 242, -4*m = -5*j + 626. Let w = 65 + j. Is w a composite number?
False
Let j be 1*-11*4/4. Let t = 12 - j. Is t a composite number?
False
Let a = 3 - 0. Let u = -1 + 2. Is u - (a + 0)*-2 composite?
False
Let l = -23 + 25. Suppose -5*r - l*b = -287, 3*b - 66 + 255 = 3*r. Is r prime?
True
Let s = -11 + 12. Is s + (72 - (3 + -4)) prime?
False
Is 6488/4 + (-2 - -1) a prime number?
True
Let k(n) = -78*n - 3. Let z(c) = -3*c**2. Let r be z(1). Let d be k(r). Suppose -o = -4*o + d. Is o composite?
True
Suppose -2*s = s - 651. Is s a prime number?
False
Suppose -3*z = -1125 - 978. Is z composite?
False
Let d(c) = 6*c**2 - 5*c + 7. Let l be 1/2 + (-104)/16. Is d(l) composite?
True
Let b(t) = t**3 + 4*t**2 - 5*t + 4. Let j be b(-5). Suppose j*f = -5*p + 420, -62 = -f + 5*p + 43. Suppose i + 2*i - f = 0. Is i a composite number?
True
Suppose 2*p - 425 = -4*l + 3*p, 3*l = -2*p + 316. Is l a prime number?
False
Suppose -o - 5*y + 5 = -0*o, -2*o + 31 = 3*y. Is (5/(o/424))/2 a composite number?
False
Suppose -3*k + 5*k = -3*s + 1993, -3*k + 655 = s. Is s prime?
False
Suppose b = -b + 6. Suppose 6*t + b*j - 90 = t, 3*t - 30 = 3*j. Is t a prime number?
False
Let u(z) = z**3 + 6*z**2 - 6. Let q(y) = y**2 + 7*y - 2. Let s be q(-8). Let t = s + -11. Is u(t) a composite number?
False
Let s be -2*((-6)/(-4) + -2). Let r = s + 69. Is ((-58)/4)/((-7)/r) a prime number?
False
Suppose 12 - 2 = 5*m. Suppose 2 = d + m*h - 3*h, -5*h - 22 = d. Is (-1)/(63/(-31) - d) a prime number?
True
Suppose 3*n - 5*s - 38 = 0, -14 = -n + 4*s - 2*s. Suppose -n*j = 