w - d*w, 5*r = 4*w - 1774. Suppose -3*b + 5*b - w = 0. Is b prime?
True
Let o(k) = 6*k**2 + 7*k - 15. Let j be o(12). Suppose -4*n + j = -119. Is n a prime number?
True
Suppose 28*v - 41996 = 24*v. Is v a prime number?
True
Let h(k) = -2*k**3 + 7*k**2 + 6*k - 6. Let z be h(-7). Let s = z + -384. Let d = s + -340. Is d composite?
False
Let i(o) = 167*o + 160. Is i(33) a prime number?
False
Suppose -3*o = 0, 3*u = -u - o + 12. Suppose -3*m + 45 = -0*g - u*g, -2*m = -4*g - 34. Is m composite?
False
Let f(o) = -o**3 - 10*o**2 - 8*o + 11. Let p be f(-9). Suppose -3*v = -5*j + 944, 2*j + 6*v - p*v = 362. Is j a composite number?
True
Let q = 578 + -2831. Let k = q + 3598. Let b = k - 900. Is b a composite number?
True
Let c(i) = 3*i**2 + 9*i + 1. Let x be c(-6). Suppose -2*d = -4*f + 164, -5*d - x = -f - d. Let a = 4 + f. Is a a prime number?
True
Suppose 163 + 259 = 2*g. Let b = -327 + g. Is (-10)/((32/b)/4) a composite number?
True
Let q = 16 - 21. Let v = q - -5. Suppose -i - 3 + 38 = v. Is i composite?
True
Let f(w) = -w - 85. Let v be f(0). Let t = 4 - v. Let z = 166 - t. Is z composite?
True
Let r(y) = 14*y**3 - 4*y**2 + y - 12. Let u be r(4). Suppose c - u = 245. Is c a prime number?
True
Let v = -213 + 10858. Is v composite?
True
Let z(r) be the first derivative of -r**4 - 8*r**3/3 + r**2/2 + 9*r - 47. Is z(-8) a composite number?
True
Let h(s) = -s**2 - 6*s + 2. Let j be h(0). Suppose j*q + 3*q + 4*p = 595, 0 = -3*p. Is q a composite number?
True
Let a be (-6)/(-2) - 24/(-8). Suppose 0*x + 2*x - a = 0. Suppose 2*c + x*c - 185 = 0. Is c a composite number?
False
Suppose k - 5*k = -5*x + 10249, 0 = k + 3*x + 2541. Let a = -1382 - k. Is a composite?
True
Let b(u) = -u**2 - 9*u + 13. Let v be b(-10). Suppose 0 = -v*p - p + 240. Suppose 0 = 3*f - p - 387. Is f composite?
False
Suppose 0 = 4*f + 12, 4*k + 9 = -4*f - 3. Suppose -5*i = -k*i - 575. Is i a composite number?
True
Let v(z) = 2*z - 1. Let q be v(3). Suppose r - 534 = -q*r. Is r a composite number?
False
Let v = 7997 - 3630. Is v a composite number?
True
Let r be 4/(1170/291 + -4). Let o = r + -15. Let a = o - 40. Is a a prime number?
True
Suppose 7*d = 2*d + 25. Is (d - 150)*(1 - 2) a composite number?
True
Suppose -8*j + 11523 = -59221. Is j a prime number?
False
Let i = -4725 + 7118. Is i a composite number?
False
Suppose -2*a = -5*d - 4 - 9, -d - 6 = 3*a. Is (2 + (a - 0))*194 prime?
False
Let h = -5 + 15. Suppose 15*n - 71 = 814. Let f = n + h. Is f a composite number?
True
Let w = -9 - -11. Let q be 5*w/(6/(-3)). Let x = 21 - q. Is x a prime number?
False
Let a(n) = 7*n**2 + 7*n + 71. Is a(9) composite?
False
Let t = -3757 - -7710. Is t a prime number?
False
Let p = -17 - -7. Let q be (15/p)/((-2)/28). Let h = q + 4. Is h prime?
False
Suppose -5*i + 4*r + 112025 = 0, -5*i + 26*r + 112020 = 21*r. Is i a prime number?
True
Let f = 825 - 67. Is f composite?
True
Suppose 5*h - 99811 - 16794 = 0. Is h prime?
True
Let r = -1947 - -2824. Is r composite?
False
Let h be (-1 - -8) + (-5)/((-15)/6). Is (-6)/h*(-7752)/16 composite?
True
Suppose 3*l + 1139 = -226. Is ((-2)/2 - l) + -5 a composite number?
False
Suppose -4*q + 9*q + s = -35, 4*s + 4 = -3*q. Let z(v) = -770*v**2 + 5*v - 10. Let y be z(q). Is 4/30 + y/(-150) a prime number?
False
Let l(r) = -32*r**3 + 2*r**2 + 7*r + 9. Let x be l(-3). Suppose -4*g + 2434 = x. Is g a prime number?
False
Let t = -10 + 12. Suppose 311 = t*r - 251. Let j = r + -132. Is j prime?
True
Suppose 0 = 5*z + 7*b - 2*b - 135385, -5*b + 108311 = 4*z. Is z prime?
False
Let l(n) = n**2 - 20*n - 70. Is l(32) composite?
True
Let i = 3346 + -1619. Is i a prime number?
False
Let b(o) = 0 + 5 + o + 6*o - 5*o**3 + 3*o**2. Is b(-6) a prime number?
True
Let c(w) = -55*w - 4 + 10*w - 9. Is c(-10) a composite number?
True
Let d = 1 - -3. Suppose 0 = d*y - 40 - 32. Suppose 3*i - 5*i + y = 0. Is i a composite number?
True
Is 5*1 + ((-183793)/(-23) - -15) composite?
False
Suppose 4*j = 2*o + 6, -5*o - j + 55 = 3*j. Let i = o - 7. Suppose -n = -i*n - 191. Is n a prime number?
True
Let g = 12 - 10. Let y be (5 - 0)*g/5. Suppose -y*l - 844 = -6*l. Is l a composite number?
False
Let t = 4371 - 2968. Suppose 3*q = -k + 4195, -q + k = -k - t. Is q a prime number?
True
Suppose -y - 21 = 3*r, 0*y + 3*y + 3 = r. Let n = r + 8. Suppose q + n*d - 485 = 0, -570 = 2*q - d - 1545. Is q a composite number?
False
Suppose i + 0*i = -10. Let p(l) = 5*l**2 - 14*l - 8. Let k be p(i). Suppose 4*n - k = -4*q, q = n - 4*n + 158. Is q composite?
True
Let l = -6001 - -11964. Is l a composite number?
True
Let a = 6 - 5. Suppose 11 = -n - a. Let x = 22 + n. Is x composite?
True
Let h = 34 - 8. Let i = h + 29. Is i composite?
True
Let l = 21905 + -8908. Is l a composite number?
True
Is (46425/20 - -11) + (-3)/(-4) prime?
True
Let m(u) = 110*u**2 + 4*u - 2. Let c be m(4). Let q = c + -1247. Suppose -q = -3*j + 2*j. Is j a composite number?
True
Let v = 4489 + -2628. Is v a composite number?
False
Suppose -3 = -3*n - 18. Let q be (4/n)/((-1)/(-5)). Is q/(-10) - (-766)/10 composite?
True
Let l be (4/(-12))/((-2)/606). Suppose 3*w + 5*v = -26 + 7, 1 = 3*w + v. Suppose -3*i - w*x + 13 + 40 = 0, -l = -5*i + 3*x. Is i composite?
False
Is (1642*(-4)/(-16))/((-26)/(-2444)) prime?
False
Let a(p) be the second derivative of 197*p**4/12 + p**3/6 + p**2/2 + p. Let x be (4/9)/((42/(-27))/(-7)). Is a(x) a composite number?
True
Suppose 18 = 4*g + 5*o, -4*o = g - 4*g - 2. Suppose 0 = -2*i + 2*s + g*s + 486, -i + 251 = -4*s. Is i a prime number?
False
Suppose -4*v + 50 - 1 = -3*k, 2*k = -4*v + 54. Suppose -4*t = 5*o - 8, t = -0*o - 4*o + v. Is 48 - (-6 - (0 + t)) composite?
True
Suppose 1 = 5*c - 9. Let z be (c - 3)*(-1150 - 0). Suppose -5*y + z = 5*b, -2*y + 300 = -b - 169. Is y a composite number?
False
Let p(w) = 3*w**2 + 6*w**2 - 3*w - 22 + 6*w**2 - 3*w**2. Is p(11) composite?
True
Let v = 359 + -264. Is v composite?
True
Suppose -27*c - 1296 + 15201 = 0. Is c composite?
True
Let k = -25872 - -39643. Is k prime?
False
Suppose -8*q = -6*q + 228. Let a = q - -259. Is a prime?
False
Let t = 6530 + 1083. Is t a composite number?
True
Suppose -5*s + 18 = -7. Suppose s*r - 4831 = -0*r + b, -2889 = -3*r + 3*b. Is r prime?
True
Let r(k) = 2*k + 49. Let d be r(-6). Let w = 198 - d. Is w a composite number?
True
Let q = 18 - 4. Let a = 17 - q. Suppose -1110 = -a*k + 387. Is k a prime number?
True
Let o(u) = u**3 + 11*u**2 + 10*u + 4. Let a = 11 + -21. Let r be o(a). Is 284 - (-12)/(r/1) composite?
True
Suppose 5*m - 116 + 1364 = 3*z, 5*m + 1664 = 4*z. Let x = -285 + z. Is x prime?
True
Suppose 0 = 5*n + 3*s + 23 + 22, 2*s + 45 = -5*n. Let y = -6 - n. Suppose 962 = 5*w - y*w. Is w a prime number?
False
Let k(q) = -978*q + 73. Is k(-8) composite?
True
Let p(k) = 30*k**2 - 22*k - 33. Is p(17) a composite number?
False
Let i be -15 + (5 - (5 - 2)). Let s = i + 8. Is ((-1272)/20)/3*s prime?
False
Let v = 1934 + -1299. Is v a prime number?
False
Let u(d) = 2*d**2 - 5*d + 5. Let x be u(2). Suppose -x*i - 3*q + 15 = 0, -5*i - 4*q + 13 = -9. Let n(p) = 62*p**3 + p**2 + 2*p + 1. Is n(i) prime?
False
Let o = 10932 + -1933. Is o a composite number?
False
Suppose -11*o + 14*o - 15021 = -3*h, 5*h = -4*o + 25031. Is h a prime number?
True
Let b = 22 + -27. Is 3 - (b/5 - 489) a prime number?
False
Suppose -26 = -7*w + 2. Suppose 0 = -0*m - 5*m + 4*q + 5211, -w*q + 1047 = m. Is m a composite number?
True
Suppose 4*b + 1 = 9. Suppose -b*y = y. Suppose -5*w + 80 + 110 = y. Is w a prime number?
False
Let p be (-2)/(-8) - 7/28. Let h be (0 - p)/3 - 7. Is (-2)/(h/((-2086)/(-4))) prime?
True
Let t(p) = 96*p**2 + 44*p + 77. Is t(24) prime?
False
Suppose 2*p = 0, p = -4*a - 23897 + 88405. Is a a prime number?
True
Suppose 0 = 5*z - z - 4. Let u(i) = 30*i + 1. Let p be u(z). Suppose -3*v + 290 = 5*h + p, 2*v - 3*h = 198. Is v composite?
True
Let o(z) = -35*z - 3. Let p be (-3)/(-7) + 15/(-35). Let h be -2 + 0 + 0 + p. Is o(h) prime?
True
Let u(d) be the first derivative of -21*d**2/2 + 2*d + 13. Is u(-3) prime?
False
Let x(o) = -6*o**3 - 7*o**2 + 12*o + 18. Is x(-7) prime?
False
Let w be (-5)/(-2) + (-3)/6. Let a(g) = 7*g**2 + g**3 + 6*g**2 - 12*g**w + 2*g + 1. Is a(7) composite?
True
Suppose -2032 = -86*y + 84*y. Suppose 3*k = -k + y. Is k a prime