) be the first derivative of -3*t**4/2 + 2*t**3/3 + t**2/2 + 1. Is u(-1) prime?
True
Let m(w) = 161*w**2 + w + 1. Let z(t) = -t**2 - 3*t - 3. Let j be z(-2). Is m(j) composite?
True
Suppose -12*q + 749 = -8191. Is q a composite number?
True
Suppose -10 = 5*z + 2*b - 4, 5*b = -15. Suppose -5*n = -20, -y - n + 4*n + 47 = z. Is y composite?
False
Suppose -9 = -3*u + 2*i, -3*u - i - 3*i = -9. Suppose u*m + 62 + 177 = 4*v, -298 = -5*v + 3*m. Is v prime?
True
Let l(b) = -222*b**2 - b - 1. Let c be l(-1). Let m = c + 407. Is m a composite number?
True
Suppose 2*v - 1232 = -3*h + 6*v, 2*h - 816 = 4*v. Let p = h + -295. Is p a composite number?
True
Suppose 3*q - i - 31 = -6*i, 0 = -2*i + 10. Suppose -q*o + 0*k = -4*k - 172, 4*k = -4*o + 320. Let z = o + -29. Is z prime?
True
Let l(u) = -2*u - 1. Let d be l(-2). Let z(s) = 4 - 2 + 4*s - 2*s + 6*s**2. Is z(d) a prime number?
False
Let b(m) = m - 1. Let v = -5 - -11. Let u be b(v). Suppose u*z + 16 = 231. Is z a composite number?
False
Let h be (0/(-2))/(3/3). Suppose 3*b + h*b - 789 = 0. Is b composite?
False
Let u(f) = -f**3 - f**2 + f + 6. Let k(b) = 2*b**3 + 2*b**2 - 2*b - 5. Let v(y) = -2*k(y) - 3*u(y). Let h be v(0). Let a(i) = i**2 + 1. Is a(h) composite?
True
Suppose 0 = -0*y - 2*y. Suppose y*p = 2*p - 16. Is 242/4 - 12/p composite?
False
Let p(z) = 26*z**2 - 7. Is p(-4) prime?
True
Suppose 0 = 2*h + 4*g + 4, -4*h + g = 6*g + 11. Let m(n) = 2*n + 6. Let f be m(h). Is (-66)/(-9)*(-15)/f composite?
True
Suppose 0 = -3*s, 0*r + 3*r + s - 2049 = 0. Is r a prime number?
True
Let t(s) = s**2 - 14*s - 19. Is t(16) a prime number?
True
Is (-6)/(-2)*(9 + 4) a composite number?
True
Suppose 0 = 3*d - o - 9, -3*o = -3*d + 2 + 1. Suppose -45 = -d*z + 5*w, 3*z - w = w + 25. Suppose 0*x - z*x = -265. Is x a composite number?
False
Suppose 0*f = 2*q - 3*f - 11, -3*q - 5*f + 7 = 0. Suppose q*b - 5*t = 144, b + 3*b + t = 120. Is b a composite number?
False
Let d be (-1)/(-3)*(21 - 0). Let o(f) = f**3 - 8*f**2 + 8*f + 2. Let t be o(d). Is (-85)/(-2) + t/18 a composite number?
False
Suppose 0 = 4*q - 61 + 9. Is q prime?
True
Let i = 17 + -26. Is ((-178)/(-3))/((-6)/i) a prime number?
True
Suppose 0 = 7*c - 257 + 40. Is c prime?
True
Let r = 11 + -7. Suppose r*x - 6*x + 118 = 0. Is x a prime number?
True
Let u(c) = c**3 + c + 1. Let z(f) = f**3 + 10*f**2 + f + 3. Let j(o) = -2*u(o) + z(o). Suppose 0 = 4*q - 0*q + 2*i - 14, -4*q - i = -17. Is j(q) composite?
True
Let c be (-2)/2 + 4*2. Let k = -12 + c. Let u(p) = -p + 2. Is u(k) composite?
False
Suppose 0 = 9*g - 11909 - 5272. Is g a composite number?
True
Let t = 1 + 2. Is 0 - (t - 3) - -93 a prime number?
False
Let r = 0 - -3. Suppose 163 = 4*l - r*l. Is l prime?
True
Suppose 7*m - 355 = 6*m. Is m a prime number?
False
Let t(k) = -k. Let y be t(-6). Let p be 10/15 - (-20)/y. Is 138/p*(-2)/(-3) composite?
False
Let m = -221 - -768. Suppose m = 5*c - 408. Suppose 2*y + 2*o - 80 = 0, 5*o - 3*o - c = -5*y. Is y a composite number?
False
Suppose 3*m = m. Suppose m = 2*s - 4*s - 4. Is (94/s)/(1 + -2) a composite number?
False
Suppose w + 4*w = -4*b + 14010, -4*b + 14026 = -3*w. Is b a prime number?
False
Suppose c + 2*c = 5*u + 132, 5*u = -c - 136. Let a be 1*-1*(-8)/(-2). Is a/(-18) - 615/u a composite number?
False
Let m = 409 + -248. Is m prime?
False
Suppose u - 1545 = -4*u. Is u a composite number?
True
Suppose -4*s = -1047 + 19. Is s a prime number?
True
Suppose -3*y + 7 = -2, -3*y = -2*f - 7. Let c(x) be the second derivative of 7*x**4/12 + x**3/6 - x**2/2 + 2*x. Is c(f) prime?
True
Suppose -4*p - 5 + 29 = 0. Suppose -y + 6*y - q - 12 = 0, -3*y + q + p = 0. Suppose y*l + 28 = 5*l. Is l prime?
False
Let a be -3 + (1*172)/2. Let x = -1 + a. Is x prime?
False
Let m(b) be the first derivative of 2*b**3 - 3*b**2 + b - 2. Is m(-5) a prime number?
True
Suppose 4*y - 25 = -l + 30, -2*l = 5*y - 68. Suppose -5*g + y = -791. Is g a composite number?
True
Suppose 2*c + 10 = 2*b - 2, 0 = 3*b + 2*c + 2. Suppose b*w = 3*l + 91, w + l + 3*l = 73. Is w a prime number?
True
Suppose 2*s - 1967 = 5*p, 4*s - 3*p - 2044 = 1911. Is s a composite number?
False
Let o(b) = b**3 + 9*b**2 + 3*b + 6. Let h be (6/(-12))/(1/14). Is o(h) a composite number?
False
Suppose -3*d - d + 2396 = 0. Is d a composite number?
False
Let s(c) = c**2 - 6*c - 4. Let y(k) = k**2 - 7*k - 5. Let t(m) = 6*s(m) - 5*y(m). Is t(-2) composite?
False
Let m(v) = 10*v**2. Let k(g) = g**3 - g + 1 - 2 + 0. Let z be k(-1). Is m(z) prime?
False
Is -3 - 11/(22/(-1620)) composite?
True
Let u be (-150)/9*(-12)/10. Let h be -1 + (1 - 1*-2). Let q = h + u. Is q prime?
False
Suppose 40 = 2*b - 2*r, r + 20 = -3*r. Is b a prime number?
False
Let h(m) = m**2 - 3*m + 2. Let q be h(3). Let p be 39/(-6) + q/4. Is -2 - (-30)/(p/(-3)) prime?
True
Suppose -298 = -2*f + 232. Is f composite?
True
Suppose o - 3*x - 1891 = 0, -3*o - 2*x = -1952 - 3765. Is o a prime number?
False
Suppose 231 = 3*a - 2916. Is a a prime number?
True
Suppose -2*d - 2*d = -12. Suppose -y - d*y + 780 = 0. Suppose 4*k + k = y. Is k a composite number?
True
Suppose 2*y = 2*a + 12, -3*y + a + 3 = -7. Suppose -3*c - 4 - 8 = 0. Is (c - -3)*(-268)/y a composite number?
True
Let d = 479 + -234. Suppose -3*v = l + d, 4*l - 2*v + 487 = -521. Let j = l - -442. Is j a composite number?
False
Let k(m) = -2*m + 48. Let t be k(0). Let c(j) = -8*j + 7. Let a be c(5). Let i = a + t. Is i a prime number?
False
Let t(m) = 11*m + 6 + 7*m**2 + m**3 + 0*m**3 - 4*m. Let f(j) = -4*j**2 + 2*j + 1. Let u be f(-1). Is t(u) a composite number?
True
Is (-1)/2*(-7)/((-14)/(-892)) composite?
False
Let i = 4 + 19. Is i a prime number?
True
Suppose 3*d = -2*d + 15. Suppose 0 = d*i - i - 8. Suppose 2*q + i*j - 52 = 0, 2*j + 26 = q + 3*j. Is q a prime number?
False
Suppose -2*o - 3*o + 20 = 0. Let n be (-36)/(-8)*160/2. Suppose -5*h + 435 = 2*c, -h - n = -5*h - o*c. Is h prime?
False
Let f(r) = -r**3 - 5*r**2 + r + 5. Let v be f(-5). Suppose v = -5*y + 227 + 168. Is y prime?
True
Let p be (-4)/6 + 121/(-3). Let h be p/2*(8 - 6). Is -3 - 0 - (h + 1) composite?
False
Let y(a) = -a**3 - 6*a**2 + 2*a + 5. Let j be y(-4). Let p be (0 + 1)/((-9)/(-792)). Let l = j + p. Is l composite?
False
Let v = -1926 + 2937. Is v prime?
False
Suppose 3*h = 8*h + 915. Let y = 349 + h. Is y prime?
False
Suppose 956 + 949 = 3*h. Is h a prime number?
False
Let v(j) = 2*j**2 - 14*j - 3. Is v(11) a composite number?
True
Suppose -2*r + 4*h = -64, 3*r + 8*h - 41 = 3*h. Is r a composite number?
True
Let k(c) = 14*c**2 + 4*c - 14. Let o be k(11). Is 4/(-6) + o/12 a prime number?
False
Suppose 3*k = -k - 36. Let m(i) = 2*i**2 + i + 10. Is m(k) a prime number?
True
Suppose -3*f + 37 = 2*v - 3*v, -f + v = -9. Let t = 10 - f. Is ((-2)/t)/((-3)/(-318)) composite?
False
Suppose 5*v + 2*o = o + 26, -4*v = 4*o - 8. Suppose v*h = 2*h + 76. Let q = h - -28. Is q prime?
True
Suppose -5*w = 410 - 90. Let g = w - -99. Is g composite?
True
Suppose 11 = u - 2*q, 8 = 2*u - 4*u - 2*q. Let j = -14 - -48. Let c = u + j. Is c prime?
False
Suppose -1511 = -4*c - 2*r + 5533, 4*c + r = 7048. Is c composite?
True
Suppose -3*r + 4*r + 10 = 3*x, 0 = -4*x - 2*r. Let l be 6*-19 + (1 - x). Let u = 170 + l. Is u a composite number?
True
Let w(k) = -k + 7. Let f be w(5). Suppose -f - 4 = 3*h. Is h/(-3)*45/2 composite?
True
Let m(a) = 46*a - 11. Is m(7) a composite number?
False
Let u be (-9)/12 + 13/(-4). Let q = u - -8. Suppose q*h + 20 = 232. Is h a prime number?
True
Let s = 1898 - -339. Is s prime?
True
Suppose 0 = -4*g - w - 6 - 2, 2*g - 5*w = -4. Is (5 - -2)*g/(-2) a prime number?
True
Suppose -2*t + 7*t = 3290. Let c = t - 387. Is c prime?
True
Let o(n) = n**3 + 2*n**2 - n + 4. Let p be o(-3). Let q be 2852/36 - p/(-9). Suppose -4*u + 3*u = -q. Is u a prime number?
True
Suppose 2*f + 3*f - 135 = 5*q, 165 = 5*f + 5*q. Suppose 0 = -2*c + f - 4. Is c a composite number?
False
Let h be 32 - 2/(6/(-9)). Suppose y = 2*y - h. Is y a composite number?
True
Suppose -2 + 143 = 3*j. Is j composite?
False
Let p be 1 + 1 - -8*1. Suppose f - 1 = -0*f, 0 = -d + 3*f + 12. Is (-6)/d - (-94)/p a composite number?
True
Let o be (-4)/14 + (-54)/(-42). Let d be o/(2 + 5/(-3)). Suppose l = 2*l - d*p + 13, -l = -4*p + 18. Is l a composite number?
False
Suppose 3*n + 