 p(v) = -v**3 + 7*v**2 + v - 9. Let a be p(7). Let m be -6 - 2 - 4/a. Let h = m - -13. Is h a prime number?
True
Let q(h) = 7*h + 4*h + 1 - 16*h - 17*h. Is q(-1) a prime number?
True
Let w(u) = -147*u + 5. Is w(-2) a prime number?
False
Is 12/18*459/6 prime?
False
Let y(f) = -2*f**2 - f - 4. Let c be y(3). Let j be (-2)/(1/(47/(-2))). Let u = c + j. Is u a composite number?
True
Suppose 4*j + k - 28 = 2*k, -2*j + 2*k = -8. Let a(g) be the first derivative of 11*g**2/2 - 9*g + 1. Is a(j) prime?
True
Let z be (7 - 4)*52/6. Let l = -15 + z. Suppose -105 + l = -2*s. Is s prime?
True
Suppose 0*t - 744 = -3*t. Suppose t - 83 = 3*z. Is z prime?
False
Suppose 2*y - 4172 - 1362 = 0. Is y prime?
True
Suppose 5*g = -3*x + 2543, -2*g - 2 = -10. Is x prime?
False
Let l = 25 + -23. Suppose 0 = 3*m + 4*o - 481, 3*m - 2*o - 147 = l*m. Is m a prime number?
False
Suppose -322 - 209 = -3*k. Is k prime?
False
Suppose 3*i - 6 = 3*r, 0*r - 2*r + 8 = 2*i. Let x(b) = -b - 3. Let g be x(-2). Is g/(2/(-36)) + r a prime number?
True
Suppose -2*z + 212 = -3*b, 3*z + 2*b - 329 = b. Is z a prime number?
True
Suppose 11 + 9 = 4*a. Let h = 11 - a. Is h prime?
False
Suppose -i = -4*w + 959 + 1206, -2*w + 4*i + 1086 = 0. Is w a composite number?
False
Let b(r) be the first derivative of 4*r**3/3 - 5*r**2/2 + r + 7. Is b(6) a prime number?
False
Let g(t) = 3*t**2 - 5*t + 7. Is g(7) composite?
True
Let p(w) = 3*w**3 - 9*w**2 + 19*w - 16. Let u(c) = -c**3 + 3*c**2 - 6*c + 5. Let z(t) = -2*p(t) - 7*u(t). Let g be z(2). Is 2 - ((3 - g) + -7) composite?
False
Suppose -12 = x - 4*x. Is x a prime number?
False
Let b be (-5)/(-15) - (-1)/(-3). Suppose b = -0*j + 5*j - 105. Is j prime?
False
Suppose 0 = -x - 5*g - 1292 + 4541, 2*g + 4 = 0. Is x composite?
False
Let p(q) = 5*q + 20*q**2 - 3*q - 3 + 0*q + 44*q**2. Is p(2) a prime number?
True
Suppose 0 = w + 167 + 108. Let j = -64 - w. Is j a composite number?
False
Suppose -5*k - 3*a + 3754 = -2*a, -5*k + 4*a + 3759 = 0. Is k composite?
False
Suppose -60 = c + 2*s, -c - 3*s - 180 = 2*c. Let j be c/((45/(-6))/5). Is 0 + 0 + -3 + j prime?
True
Suppose 0 = -2*r + 112 - 38. Is r prime?
True
Is -5 - -2 - -616 - (0 - -2) a composite number?
True
Let a = 104 + -181. Is 1/2*-6 - a composite?
True
Let n = -101 - -166. Is n composite?
True
Suppose -2 = 2*u + 10. Is (-2565)/u - 1/2 prime?
False
Suppose 7*m - 2*m = 955. Is m composite?
False
Let d be 5 + -4 - (1 - 26). Suppose -2*k + 5*f - 4 + d = 0, 0 = k + 5*f - 11. Suppose 2*m - 3 + k = 0, -85 = -a - m. Is a composite?
False
Let l be (2/(-2))/((-2)/22). Let j = -17 + l. Let g = 29 + j. Is g prime?
True
Let g(b) = -b + 5. Let r be g(5). Suppose r = -s + 73 + 36. Is s a composite number?
False
Suppose 4*f + 88 = -5*l, -5*f + 62 = -4*l - 4*f. Let p = l + 23. Is p a composite number?
False
Let u = 126 + 227. Is u a composite number?
False
Let m(n) = -10*n**2 + 31*n**2 + 59*n**2 - 3*n**2. Is m(-1) a composite number?
True
Is (-91899)/(-27) + 6/(-9) a composite number?
True
Let r be ((-2 - -4) + -1)/(-1). Let c be 2 - (r + -221 + -2). Is (-15)/(-10) - c/(-4) a prime number?
False
Let i = -9 + 12. Is i*11 + (-5 - -3) a prime number?
True
Suppose -30 = -x - 10. Let l = x + 57. Is l a prime number?
False
Suppose 0*a - 5*a = -645. Suppose 0 = 2*x - 5*x + a. Is x composite?
False
Suppose k - 424 = 277. Is k composite?
False
Suppose 2*v + 0*r - 27 = -5*r, -r + 102 = 5*v. Let k be v/5 + 1/(-5). Suppose -k*i + 4*n = i - 91, -i - n = -20. Is i a prime number?
True
Suppose -2*t = -6*t + 64. Suppose -5*a = 10 + 10, 0 = 4*d + a - t. Suppose 0 = -2*h + d*f + 13, -5*f - 3 = 4*h - 44. Is h prime?
False
Suppose 3*j = 5*j + 12. Let q be 2/j + 341/(-3). Is 0 + (-1)/(-1) - q prime?
False
Let m(l) = -l**3 + 7*l**2 - 4. Let d be m(6). Let k = 189 - d. Is k composite?
False
Let l(u) = 9*u + 2*u**2 - 1 - 9*u. Suppose p + 3 = 2*n, 4*n - 4*p = 4 - 0. Is l(n) composite?
False
Suppose -5*r - d - 18 = 0, 5*r - 2*d + 14 + 10 = 0. Is (-313 - 3)/r - 2 a prime number?
False
Let h be ((-2)/(-3))/((-2)/3). Let n = -3 + h. Let v(r) = r**3 + 6*r**2 + 3*r - 5. Is v(n) prime?
False
Let z(b) = 4*b**2 - 5*b - 4. Is z(-3) a composite number?
False
Is 837 + 2 + 2/1 composite?
True
Is (-4 - (-169)/(-2))*20/(-6) a prime number?
False
Suppose -r = -5*x + 14550, -5808 = -2*x + 3*r - 5*r. Is x composite?
False
Suppose 0 = 5*o - o + 4, 5*s + 4*o = 5726. Is (-1)/2 - s/(-12) a prime number?
False
Suppose 6*t + 28 - 1174 = 0. Is t composite?
False
Suppose l - 2*l - 7 = 3*h, h + 24 = 4*l. Suppose 5*z - l = -25. Let s(i) = 9*i**2 - 4*i + 3. Is s(z) composite?
False
Let r be (5 + -1)*192/12. Suppose -b + r = -19. Is b a prime number?
True
Suppose 0 = u + 2*u + 3*o - 534, o = -3*u + 532. Is u composite?
True
Let z(r) be the third derivative of -r**5/60 + 7*r**4/24 + 5*r**3/3 - r**2. Let i be z(8). Suppose -m = -5 - i. Is m prime?
True
Let p = 4 + -7. Is (p - 0)*(-109)/3 composite?
False
Let k = -2837 + 4404. Is k prime?
True
Suppose 2*a - c - 28 = 4*c, 4*c - 10 = -2*a. Suppose 5*s = 4*s + a. Let t(r) = 12*r + 5. Is t(s) a prime number?
True
Suppose -4*x + 4*n + 32 = -0*n, 0 = -2*x + 5*n + 22. Let l(r) = r + 0 + 0 + x. Is l(8) a composite number?
True
Let u = 19 + 32. Is u a prime number?
False
Let j(c) = c**2 - 2*c - 3. Let t be j(4). Suppose -4 = i - 3*i - 5*x, -i = -t*x - 17. Is i prime?
True
Let y(q) = -8*q**2 + 3*q + 6. Let r(v) = 7*v**2 - 4*v - 5. Let k(j) = 4*r(j) + 3*y(j). Let o be k(-9). Suppose -w - o = -6*w. Is w a prime number?
False
Let f(d) = -11*d - 9. Let o(l) = -l**2 + 7*l - 8. Let v be o(7). Is f(v) a prime number?
True
Suppose -9*s + 1885 = -4*s. Is s composite?
True
Let q = -245 - -940. Is q a composite number?
True
Let w(q) = -9 + 8*q**2 + 1 + 9*q**3 - 4*q - 10*q**3 + 2. Is w(5) a composite number?
True
Let g = -163 - -230. Is g composite?
False
Suppose -h - h + 4 = 0. Is (23 + -1)/(h/5) composite?
True
Let p(z) = -z**3 + z**2 + 7*z + 4. Let u(j) = -5*j + 3. Let d be u(2). Is p(d) composite?
False
Suppose 0 = 2*l + 2*l - 248. Let w = 136 - l. Suppose 2*s - w = 3*o, -o = -3*o. Is s a prime number?
True
Let k be 2/(-5) + (-2)/(-5). Suppose f + 0*f = k. Is f/1 - (1 + -60) a prime number?
True
Let s(k) = 5*k**2 + 6*k + 9. Let q be s(-7). Suppose n = -3*n + q. Is n a prime number?
True
Suppose 4*v + 0*v = 20. Suppose -4*w = -v*q - 39775, -3*w + 29829 = q - 4*q. Is (-2)/13 - w/(-52) a composite number?
False
Suppose 2374 = 3*j + 625. Is j prime?
False
Suppose -2*r = -1 - 29. Let s = r + -9. Suppose -n = -p - 80, -s = -3*p + 9. Is n prime?
False
Let w = 2 + 18. Suppose -8*u = -3*u - w. Suppose -15 + 71 = u*q. Is q composite?
True
Suppose a + 4*l = 9, 3*a - 4*l = -2*a + 141. Let i(r) = 0*r**2 + 0*r**2 - 1 - a*r**3 + 2*r**2. Is i(-1) a composite number?
True
Is 82*(5/2 + 1) a composite number?
True
Let u(p) = 655*p + 11. Is u(4) a prime number?
False
Suppose 5*f - 2593 = -2*g, 0 = -0*f - f + g + 513. Is f composite?
True
Let v(p) = p**2 - 9*p + 8. Let k be v(8). Suppose -2*n + 4*n - 50 = k. Is n a composite number?
True
Let o = 765 - 322. Is o a composite number?
False
Let g(b) = -b**2 + 8*b - 4. Let w be (-3)/12 + 39/(-4). Let p(k) = k**3 + 10*k**2 - 2*k - 15. Let s be p(w). Is g(s) a composite number?
False
Let c = -84 - -580. Suppose -3*d + c = 139. Is d a composite number?
True
Let x be (2/(-3))/((-7)/(-21)). Let p be (-1454)/(-18) + x/(-9). Let b = -22 + p. Is b prime?
True
Suppose -1411 = -j + 3*b, 0 = 5*j - 8*j + 5*b + 4233. Is j a composite number?
True
Suppose -u - 3*u + 20 = 0. Suppose -3*a + 540 = -w + 187, u*a + 5*w - 615 = 0. Is a prime?
False
Suppose 0 = -l - 5*g + 10, 0*l + 2*g - 4 = 3*l. Suppose 98 = 2*t - l*t. Is t a prime number?
False
Suppose -2*v + 758 = 4*h, h + 2*v - 68 = 120. Suppose h - 2 = 2*i. Is i composite?
True
Let i(n) = 50*n**2 - 3*n + 14. Is i(-9) a composite number?
False
Let c(z) = 12*z**3 - 2*z**2 - 4*z - 1. Is c(3) composite?
False
Let a be (-2556)/(-21) - (-2)/7. Let z(n) = -n**2 - 14*n - 1. Let i be z(-15). Is a/14 + i/(-56) composite?
True
Suppose 123 = 4*m + 23. Let w be 90/m - 4/(-10). Suppose 20 = d + 3*r - 0*r, -47 = -w*d - r. Is d a composite number?
False
Let j be (-2)/(-5) - 16/(-10). Suppose b - 1563 = -j*b. Is b a composite number?
False
Let x be 4/(-1 - 5/(-3)). Let c be ((-5)/2)/((-3)/x). Su