 = -470 - -1100. Let m = h - 379. Is m composite?
False
Suppose 2*q = -q + 519. Suppose y + y - 4 = 0. Suppose 0 = 4*f - 16, 3*s + y*s - q = -2*f. Is s a composite number?
True
Let z(y) = -y**3 - 7*y**2 - 4*y + 6. Let f be z(-6). Let k = f + 9. Suppose -43 - 14 = -k*q. Is q prime?
True
Suppose -3*u + 1331 = 5*d - 6*u, 2*d - u - 532 = 0. Is d prime?
False
Let o = 31 - 17. Is o a composite number?
True
Suppose -393 = 2*g - 3*g. Let x = g + -278. Is x composite?
True
Let u(k) = 16*k**2 - 4*k - 1. Let v be u(-8). Suppose -o + 6*o - v = 0. Is o a prime number?
True
Let d(k) = k + 8. Let g be d(-5). Suppose -4*x - 109 = -g*q + 110, 0 = -5*x + 5*q - 280. Let l = x + 74. Is l a composite number?
False
Let t = -11 - -17. Let q = 17 - t. Is q a composite number?
False
Let r be (-34 - -2)*-2 + 1. Suppose 3*j - r = 2*j. Let n = j + -46. Is n a prime number?
True
Let b = -8 + 6. Let o be b/(-5) - 294/(-15). Suppose -2*v = -138 + o. Is v prime?
True
Suppose 4*c + 3*f + 206 = 0, 0 = -c - 3*f + f - 49. Let u be (6 + -117)/((-3)/2). Let b = u + c. Is b composite?
True
Let t = -290 - -795. Is t a composite number?
True
Let v = 16 - 7. Is (0 + -1)*(-328 - v) prime?
True
Let h(d) = 9*d**2 + 20*d + 1. Is h(-10) composite?
False
Let s(v) = v**2 - v - 3 - 2*v**2 - 1. Let l be s(-5). Let t = -14 - l. Is t a composite number?
True
Let o(x) be the first derivative of -x**3/3 + 3*x**2 - 6*x - 1. Let z be o(4). Suppose -2 = -z*d + 2. Is d a prime number?
True
Suppose k + 1 = 5*w, k - 4*w + 0 + 1 = 0. Let p = k - -3. Suppose -u - p*u + 182 = -5*g, 3*u - g - 178 = 0. Is u a composite number?
False
Let z = 104 - 210. Let j = z + 183. Is j a composite number?
True
Let o(i) = 1 + 11*i + 5 + 6 - 6. Is o(7) a prime number?
True
Let h(b) = 32*b + 2. Is h(7) a composite number?
True
Let i = 0 + 106. Is i composite?
True
Let i(x) = x**3 - 4*x**2 + x. Let p be i(4). Suppose p*c = 4*l - 2*l + 62, -l = 5*c - 60. Is c a composite number?
False
Let s(t) = t**2 - 2*t. Let y be -2*3/(-6) - -1. Let l be s(y). Suppose l = -4*f - f + 35. Is f composite?
False
Let s = -7 - -12. Suppose j - 178 = -s*p, 2*p + 58 = 4*p - 4*j. Is p a composite number?
True
Let z(b) = b**3 + 3*b**2 - b - 1. Let h be z(-3). Suppose m - h*m = -11. Is m a composite number?
False
Let o = 5 + -1. Let y = o + -4. Is 46 + 1 + y/3 a prime number?
True
Let s(m) = -277*m - 1. Is s(-2) prime?
False
Let c(g) be the first derivative of -g**6/120 - g**4/8 + g**3/6 + g**2 - 3. Let s(b) be the second derivative of c(b). Is s(-3) a prime number?
True
Let p = 3320 + -2061. Is p composite?
False
Suppose 311 = 2*l + l + 4*f, 230 = 2*l - 3*f. Suppose 166 + l = 5*n. Is n prime?
False
Suppose 5*n - 13 = 37. Is (-3 + -10)/((-2)/n) composite?
True
Suppose -2*b - w + 9 = 0, -5*b + 12 = -2*b + 3*w. Is (-25 - -2)/(4 - b) prime?
True
Let g(l) = 5*l**2 + 12*l - 14. Let c(y) = 4*y**2 + 12*y - 13. Let m(b) = -4*c(b) + 3*g(b). Is m(-9) a composite number?
False
Let j(s) = -352*s - 35. Is j(-7) prime?
False
Is (474/(-18))/((-2)/6) composite?
False
Suppose 9 = -k + 4*k, -5*y + 4*k + 3 = 0. Suppose -4*o - 8 = -3*o - y*w, 5*o + 5*w - 20 = 0. Let r = 1 + o. Is r composite?
False
Let a(d) = -d**3 + 7*d**2 - 10*d + 4. Let b be a(7). Let w = -31 - b. Is w a composite number?
True
Suppose -4*m + 100 = 2*h, -5*h - m = 4*m - 235. Suppose 4*t = 2*t + h. Is t a composite number?
True
Let j = 92 + -54. Is j a prime number?
False
Let t = -675 - -2236. Is t prime?
False
Is (-15 + -322)/(0/2 + -1) a composite number?
False
Let q(w) be the second derivative of 3*w**4/4 - w**3/2 + w**2/2 - 2*w. Is q(6) a composite number?
False
Let d = 146 + -84. Is d a composite number?
True
Suppose -4*q + 3*s = -349, 2*q + 2*q - s - 343 = 0. Is q a prime number?
False
Let y = -93 - -130. Is y a composite number?
False
Suppose 2*g = -2*p + 4, -g - p - 13 = -3*g. Suppose -n + g*n = 844. Is n a composite number?
False
Is (0 - -347)/(2/2) composite?
False
Let d = -277 + 476. Is d a prime number?
True
Is 1139/3 + (-6)/9 a prime number?
True
Let f(c) = -37*c - 95. Is f(-22) a prime number?
True
Let g(o) be the third derivative of o**5/12 - o**4/24 - 5*o**3/6 - 6*o**2. Let h be (-13)/(-3) + 2/(-6). Is g(h) a composite number?
False
Suppose -4*t = -3976 - 892. Is t a prime number?
True
Let n(d) = 87*d + 10. Is n(8) a prime number?
False
Let b = 33 - -24. Let o = 2 - -8. Let m = b + o. Is m a prime number?
True
Suppose g + 2 = 5. Suppose -3*x + 189 = b, -g*x = -3*b - 107 - 70. Is x a composite number?
True
Suppose -2*c = c + 132. Let q be 96/c - (-4)/22. Is (-1 + 3)*(-145)/q composite?
True
Let w be (3/(-6))/((-2)/268). Suppose 0 = -2*z + z + w. Is z prime?
True
Let k(b) be the first derivative of 3*b**2 - 5*b + 5. Is k(6) composite?
False
Let s(r) = 9*r**2 + 5*r - 2. Is s(-4) a prime number?
False
Let z = 10 - 7. Suppose 15 = -3*f - z. Let l(u) = 2*u**2 - 8*u - 2. Is l(f) composite?
True
Suppose -5*v = 4*v - 1719. Is v composite?
False
Let w(u) = 17*u**2 - 1. Let l be ((-2 + 17)/3)/1. Let k be ((-4)/l)/(4/(-10)). Is w(k) prime?
True
Let f(z) = -z**2 + 11*z + 3. Is f(5) prime?
False
Suppose 3*y - 8 = b, 6 - 2 = 3*y + b. Suppose y*f - 52 = 42. Is f a prime number?
True
Let f be (1 - (-777)/3) + 1. Suppose 0 = -3*w + f + 1644. Is w composite?
True
Let o(m) = -m**2 - 2*m + 19. Let j(q) = q**2 + q - 20. Let b(c) = -3*j(c) - 2*o(c). Is b(0) a composite number?
True
Let m = 9 + -16. Is (-2)/m - (-3267)/7 a prime number?
True
Let i(c) = 448*c + 1. Let p be i(-1). Is p*(0 + -2)/6 prime?
True
Let w = -11 - -15. Suppose -2*m = -w*h - 46, 5*m - 79 - 36 = -h. Is m a prime number?
True
Suppose 10*q = 5*q + 7385. Is q prime?
False
Let x be (-57 - -2)/(2/(-4)). Let t = x + -70. Let s = 25 + t. Is s a prime number?
False
Let v(x) = 3*x**2 + 2*x + 13. Is v(8) a prime number?
False
Suppose -5*a - 3*d = 555, 4*d - 113 = a + 5*d. Let v be (-4 - (-2)/1)/(-1). Is (-2)/4*(a + v) composite?
False
Let x be (-130)/(-14) + (-4)/14. Suppose 0 = 5*n - x*n + 492. Is n composite?
True
Let v(d) = -19*d + 3. Suppose -4*c + 9 = -7*c. Let x be v(c). Let m = x - 29. Is m composite?
False
Let o be 1 - (1 + -3 - -5). Let n be (2/o)/((-3)/12). Suppose -m + 232 = n*q, q + 4*m = 2*m + 58. Is q a prime number?
False
Suppose 10 = 5*q - 0. Suppose -2*k + q + 0 = 0. Suppose 2*b - 19 + k = 0. Is b composite?
True
Suppose 4*z = -0*z + 1492. Is z a composite number?
False
Suppose b = -4*q + 1308, -5*q + b + 1635 = -4*b. Is q prime?
False
Let x(k) = 0*k - 106*k**3 - 8*k**3 + 2*k**2 - 1 + 0*k. Let d = 0 + -1. Is x(d) a prime number?
False
Let j(f) be the first derivative of 4*f**4 - f**2/2 + f - 4. Is j(2) composite?
False
Let s = 588 + -331. Is s prime?
True
Let h be 32 + -2 + 3 + -3. Let b be (6/4)/(h/3280). Is (3 - (2 - -2)) + b prime?
True
Let h(v) be the second derivative of -v**4/12 - v**3 + 2*v**2 - 4*v. Is h(-5) composite?
True
Let w be 12/(-8) + 1050/4. Let c = w - 44. Is c prime?
False
Let i(z) = 5*z**2 + 11*z - 5. Let r be i(-11). Let d = 808 - r. Is d prime?
False
Let k(p) = -269*p - 8. Is k(-3) composite?
True
Suppose 0 = 3*s + 5*d + 5, -2*d = 5*s - 0*d + 40. Let r be s/(-8) + (-1)/4. Is r*(1 - (-51 - 1)) a prime number?
True
Let u(n) = 9*n**2 - 30*n - 23. Is u(16) composite?
False
Let x = 61 + -20. Suppose 5 - 30 = 5*o, -q = o - x. Is q composite?
True
Let c(k) = -9*k + 12. Is c(-11) composite?
True
Let r(k) = 15*k**2 + 6*k - 10. Is r(3) a composite number?
True
Let z(g) be the first derivative of 5*g**3/3 + g**2 - 2*g - 1. Suppose -3 = 2*p - 2*q - 5, -3*q + 9 = 3*p. Is z(p) a prime number?
False
Suppose 7 = 4*n - 21. Let i = 10 - n. Is ((-37)/i)/((-2)/6) prime?
True
Suppose 2*w = -3*x + 6*w + 1091, 0 = -5*x + 5*w + 1820. Is x a prime number?
False
Let k(s) = -s**2 + 13*s + 7. Suppose -5*l = -2 + 17. Let d be -7*(l - -2) - -3. Is k(d) a composite number?
False
Suppose 0 = 4*v - 5*m + 4, -5*v + 3*v - 3*m = -20. Suppose -5*f = -v*h + 111, 3*h - f - f - 92 = 0. Is h a prime number?
False
Let z = 0 + 3. Suppose 4*u = -2*r + 24, 2*r - z - 1 = 0. Suppose u*c + 23 = 88. Is c a prime number?
True
Let b(h) = -3*h**3 - h**2 - 2*h - 1. Let y be b(-1). Is 3*y/18*422 composite?
False
Let w(f) = -f + 8. Let t be w(4). Let a be 100/2*18/15. Suppose -t*r + a = -0*r. Is r a composite number?
True
Let q be (-9)/(1/((-8)/(-6))). Is q/60