 4, 0 = 5*c - 2*n - 0*n + 10. Is w(c) composite?
True
Let o(f) = f**2 + 4*f. Let z be o(-5). Let c(v) = z + 19*v + 17*v - 26*v. Is c(3) composite?
True
Suppose -7*i + 10*i = 15. Let c be (-5)/15*-3*i. Suppose -t + c*r = -0*t - 396, t - 361 = -2*r. Is t a composite number?
True
Let f = 6 - -96. Suppose -n + 17 = -f. Is n a composite number?
True
Suppose d - 4*j = 1594, -3*d + 4*d + 5*j = 1594. Suppose -3*u + 1159 = -s - 1198, 2*u - d = -5*s. Is u composite?
False
Let w(c) = 2*c. Let t be w(1). Let a be 447*(2 + -5 + 4). Suppose -a = -y - t*y. Is y composite?
False
Let u = 29 - 27. Suppose 5*z - 2*h - 12711 = 0, u*h - 2518 = -z + 29. Is z a composite number?
False
Let t(v) = -7*v**2 + 13*v + 15. Let m(d) = 6*d**2 - 13*d - 14. Let a(y) = -5*m(y) - 4*t(y). Let s be a(-9). Let h = s - -384. Is h composite?
True
Let m be 6 - (-2 - (-3 - 1)). Suppose m*b - 5*q - 4677 = 0, -4*b - 3*q = -2497 - 2140. Is b composite?
False
Let f be -1 - (-3 + -1)/(-4). Let x = 4 + -2. Is (-1)/(x*f/356) a composite number?
False
Let o(w) = w**3 + 5*w**2 + 1011. Suppose 29*x - 24*x = 0. Is o(x) a composite number?
True
Is 44194*(2 - (-3)/12*-6) a composite number?
True
Suppose 12*n = -9*n + 164913. Is n composite?
False
Let o be 4/(-18) + (-1420)/90. Let y = o - -14. Is 187 - ((-2)/y + 1) a composite number?
True
Suppose -z - 209 = -4*s + 29, 2*z = -4. Suppose -3*p + 191 = q, q = -p - 4*q + s. Let k = 135 + p. Is k composite?
False
Let l(b) = -3*b - 40. Let v(z) = 4*z + 39. Let a(i) = -5*l(i) - 4*v(i). Let q be a(0). Let t = q - 25. Is t prime?
True
Let z be 2*(-3 + -1)/4. Suppose -6 - 5 = -5*l - 4*m, l + m = 3. Is 30 - 2 - (z + l) prime?
True
Is 3 + (-12)/4 + 1973 a prime number?
True
Suppose 3*g - 2*p - 11 = 0, p = -g + 3*g - 8. Suppose -1402 - 933 = -g*u. Is u a composite number?
False
Let r(k) = 3512*k**2 - 13*k + 6. Is r(1) a composite number?
True
Suppose 3*k - 60985 = 4*a, 3*a - 2*a - 20319 = -k. Is k composite?
False
Is (-10)/((-80)/8) - -5590 prime?
True
Let w(j) = 433*j**2 + 14*j + 39. Is w(-4) a composite number?
False
Let c = 2064 + 585. Suppose 56 = 5*x - c. Is x a composite number?
False
Suppose -2*u + 7*u - 40 = -2*b, -5 = -2*u - 3*b. Let r(g) = -g - 4. Let q be r(u). Is q/(-21)*(-402)/(-4) composite?
False
Is (-2)/(20/(-135910)*1) a composite number?
False
Let g = 50 - 48. Suppose 0 = 3*y - g*c - 747, y + 2*c = 160 + 97. Is y a composite number?
False
Let l(b) = 7*b - 5*b**2 + 338 - 327 + 41*b**2. Is l(8) a prime number?
True
Suppose 7 = -5*v + 47. Let m be (-1 - -6)*v/20. Suppose m*s = -2*p + 108, 0 = -5*p + 14 + 11. Is s a prime number?
False
Let s be (-360)/(-63) - (-2)/7. Suppose s*u - 2*u = 348. Is u a composite number?
True
Suppose 4*n - 23757 = 3*b, 2*b - 14368 - 15311 = -5*n. Suppose 0 = -20*o + 17*o + n. Is o composite?
False
Let z(m) = -m**3 - 5*m**2 - 6*m - 6. Let r be z(-4). Let x be (-2 + r)*(-1)/(-1). Suppose x = -3*g + 4*g - 133. Is g composite?
True
Let d = 5730 - 2771. Is d prime?
False
Let b be (-26)/(-6) - (-16)/24. Suppose -b*k + 2257 = 3*v, 2*k + v - 3*v - 906 = 0. Let u = 939 - k. Is u a composite number?
False
Let w(v) = 1855*v**2 - 5*v - 2. Is w(-1) prime?
False
Let s(t) = -148*t + 6. Let a be s(-6). Suppose -a = -3*v - 3*v. Is v a prime number?
True
Suppose 0 = y - 4*d + 1, 0 = -5*y + d + d + 13. Suppose -7*v - 4*v = -36091. Suppose -y*w + 0*w + 2460 = -t, t = 4*w - v. Is w prime?
True
Is ((-9)/6)/((-6)/14604) prime?
False
Is (-135 + -2)/((0 - -5)/(-25)) a prime number?
False
Suppose -a - o = -2275, -16 = -3*o + 7*o. Let t = -1140 + a. Is t a composite number?
True
Let u(y) = 101*y**2 + 2*y - 11. Is u(-4) prime?
True
Let r = 11250 + -449. Is r prime?
False
Let m = -201 - -125. Let q = 894 + m. Let i = -489 + q. Is i prime?
False
Suppose -3*z - 4*d - 14 = 0, 0 = 2*z + 3*d + 9. Let b be (z*1)/(-3)*4. Is (b + -10)*19/(-2) composite?
False
Suppose -g = -0*g + w + 17, -3*g - 63 = -3*w. Let u = g - -31. Is 807/u + 2/(-8) composite?
False
Suppose -3*i + 14047 = -2*i. Is i a prime number?
False
Let n = 154 - 103. Suppose -n = -6*x + 117. Is (-14)/x + 138/4 a prime number?
False
Let i = 2957 + -1680. Is i composite?
False
Suppose 11*u = 10*u + 8209. Is u composite?
False
Suppose 4*n + 64 = -96. Let i be 8/n + (-52)/(-10). Suppose 2*r = i*r - 537. Is r prime?
True
Let t(u) = 231*u - 167. Is t(14) composite?
False
Let d(a) = 478*a + 273. Is d(32) a prime number?
True
Let l be (-3)/(-2) + 441/14. Let o = 190 + l. Is o composite?
False
Suppose 6*h = 18917 + 26725. Is h a composite number?
False
Suppose -u + 6*u = -4*t + 9, 2*t = -8. Suppose 6*f + 3594 = 2*p + 4*f, -3*p + u*f + 5399 = 0. Is p a prime number?
False
Suppose -8*h + 14*h = -12. Is (-4)/(48/(-22) - h) a prime number?
False
Suppose 2 = h + 8. Is (-9)/h - (-334)/4 composite?
True
Is ((-4928)/(-24) - -6)/((-4)/(-6)) a prime number?
True
Let x = -13 + 1. Is 2814/x*(2 + -4) a composite number?
True
Let p(x) = 6*x**3 - 4*x**2 + 6*x + 3. Is p(10) a prime number?
False
Suppose -2*t - 220 = -6*t + 4*b, -b = -3*t + 165. Suppose i - 142 + t = u, u = 3*i - 259. Is i prime?
False
Let c(h) = -29*h**2 + 1. Let o(u) = u**2 - 1. Let f(q) = -c(q) + 4*o(q). Is f(2) a prime number?
True
Let b(s) = -79*s**3 - s**2 + s - 5. Let t(p) = -158*p**3 - 2*p**2 + 2*p - 11. Let z(x) = 13*b(x) - 6*t(x). Is z(-3) a prime number?
False
Suppose 9*r - 7*r = -5*k + 6149, 0 = 2*r + 2*k - 6152. Is r composite?
True
Let h(r) = r**3 - r**2 - r + 149. Let x be 4/(-6) - 8/(-12). Is h(x) a prime number?
True
Let c = 1578 + 16085. Is c composite?
True
Suppose 4*z = 3*z. Suppose 3*k = -1 - 2, k - 25 = -2*u. Suppose z*b - u = -b. Is b a composite number?
False
Suppose -4*f + 3 = -77. Suppose f*g = 24*g - 444. Is g prime?
False
Suppose -5*q = -16 - 39. Let p(h) = 3*h**2 - 10*h + 12. Is p(q) a prime number?
False
Let f(s) = 3*s**2 + 9*s - 157. Is f(-20) composite?
False
Suppose -47525 = -9*s + 652. Is s composite?
True
Let r be (-67518)/(-45) + 6/10. Suppose 2*t - r = -515. Is t a composite number?
True
Suppose -7*r + 4*r = 3114. Is (-3)/(3/(-5)*(-15)/r) composite?
True
Let u = 45 + 8. Is u a prime number?
True
Let s(r) be the first derivative of 3*r**3 - 5*r**2 + 2*r - 28. Is s(7) a composite number?
False
Suppose -3*p + 2*y + 9799 = 3*y, -4*p + 3*y + 13048 = 0. Is p a prime number?
False
Let n(v) = 9*v**3 + v**2 + 10*v - 8. Let c(z) = z**2 - z + 1. Let w(p) = -3*c(p) - n(p). Is w(-6) a prime number?
True
Suppose 5*h - 3982 = -l, 4*l + 6*h - 8*h = 15862. Is l prime?
True
Suppose 4*s = -14731 - 32281. Let t = s + 17871. Is ((-2)/(-4))/(7/t) a prime number?
False
Let n(k) = 6*k + 4*k + k**3 - 4*k**3 + 7*k**2 + 2*k**3. Let u be n(7). Suppose -2*f + 208 = -u. Is f prime?
True
Let p(i) = 2016*i + 53. Is p(3) a prime number?
True
Let c(k) = k**3 - 7*k**2 + 6*k. Let m be c(6). Suppose -4*r = -m*r - 16. Suppose -2*b = 3*d - 118, 4*d - 144 = -0*d + r*b. Is d a prime number?
False
Let q(s) = 2*s**2 - 15*s + 9. Let m be q(7). Suppose 0 = m*u + 5*j - 101, 5*u + 4*j - 102 = 3*u. Is u prime?
True
Is (-39)/65 - (-788424)/15 a prime number?
True
Suppose -3*n - 21 = -3. Is n/4 + 2415/30 a prime number?
True
Suppose -i + 5*g + 25 = i, 3*i - g - 5 = 0. Suppose 4*z - 18 = -j - i*j, j + 5*z = 23. Is (4 + -3)*(-742)/j a composite number?
True
Suppose 0 = 4*f - 2*f - 36. Suppose 3*n - 1880 = -0*n + 2*y, 5*y - 2522 = -4*n. Suppose -f*g = -14*g - n. Is g a composite number?
False
Suppose 6*c = 2*c + 16. Suppose -87*b + 91*b = 1404. Suppose c*x - 293 - b = 0. Is x a composite number?
True
Let s(c) = -14*c - 27. Let i be s(-6). Suppose -5*m - 4945 = -5*f, -f + 4*m - i + 1046 = 0. Is f composite?
True
Let f(o) = o**2 + 1383. Let d be 2 + (-6)/2 + (-1 - -2). Is f(d) a prime number?
False
Let i(t) = 3*t. Let d be i(1). Suppose 135 + 723 = -d*c. Let m = c - -447. Is m composite?
True
Let j be 1*(12/(-2))/(-2). Suppose 426 = j*x + 45. Is x a composite number?
False
Let t(p) = -6*p**2 - 2*p + 8. Let q be t(6). Let s be (-1294)/10 + (-40)/(-100). Let b = s - q. Is b a prime number?
False
Let l(w) = 371*w + 3. Is l(2) a prime number?
False
Let n = 8130 - 3739. Is n a prime number?
True
Let u = -383 + 1033. Suppose -2*o + u + 836 = 0. Is o a prime number?
True
Suppose -18*l = -6*l + 23352. Let j = l + 2727. Is j a prime number?
False
Let m(b) be the second deri