 z(t) a composite number?
True
Suppose 0 = -u + 5*m + 42, 0*u + 4*m - 65 = -5*u. Let g = u + -22. Is -5*(0 - -307)*1/g a prime number?
True
Suppose 5*s = -4*k + 6783769, -5198*s - k = -5202*s + 5427032. Is s a prime number?
True
Suppose 0 = -2*o + 5*h - 29, -3*h + 21 = -0*o - 3*o. Is o + 0/2 - -1975 a composite number?
False
Let y(q) = 2*q + 47. Let g be y(-12). Suppose -13*r - 49630 = -g*r. Is r prime?
False
Let l be (-388)/(-2) - (-24)/(-12). Suppose -10*f = -6*f - l. Is 18832/f + (-8)/6 composite?
True
Let w(c) = -2750*c**3 - 24*c**2 - 11*c - 4. Is w(-3) a prime number?
False
Let s(a) = 6486*a**2 + 60*a - 331. Is s(5) prime?
True
Let s be (-1045)/(-6) - 14/84. Let p be ((-25)/30)/(-5) + 7647/18. Suppose s = y - p. Is y prime?
True
Let z(k) = -423*k + 260. Suppose -2*d + 154 = -24*d. Is z(d) a composite number?
False
Let h be (4/5)/(15/(-225)). Is 1651 - 3 - (3 + h) a composite number?
False
Suppose 112*j - 138*j = -3492502. Is j a prime number?
True
Let d(s) be the first derivative of 3*s**4/4 + 7*s**3/3 - 7*s + 2. Let v be 1*(10 - 2) + -1 + 1. Is d(v) a composite number?
True
Is (-1710012)/(-10) - 1859/845 composite?
True
Is (-524754)/(-2) + -325 + 351 composite?
True
Let b(x) = 3*x**3 - 4*x**2 + 54*x - 331. Is b(32) a prime number?
False
Let o(p) = -188*p**3 + 23*p**2 + 192*p + 4. Is o(-7) composite?
False
Let c(z) = -8042*z + 2439. Is c(-5) prime?
True
Let l(x) be the second derivative of -1/6*x**4 + 0 + 1/6*x**3 + 3/2*x**2 - 40*x + 11/2*x**5. Is l(2) a composite number?
False
Let v = 3616 + -1266. Suppose -5*y + 0*k = -4*k - v, -3*k - 1881 = -4*y. Suppose -163 = -7*f + y. Is f a prime number?
False
Suppose -61*d + 52187770 + 9732808 = d. Is d a composite number?
True
Suppose 2*d = 4*d - 5216. Suppose 10*x - d = -6*x. Is x composite?
False
Suppose 5*q - 13 = 4*c + 27, 4*q - 32 = c. Suppose 115 = -q*s + 2571. Is s a prime number?
True
Let u = -47176 - -85135. Let p = u - 26054. Is p a prime number?
False
Suppose -3*n = -4*t + 31764, -5*n + 7241 = -3*t + 31075. Suppose -5*j = -a - 2*a + t, a + j = 2654. Suppose -5*k - 4*s + a = -6*s, -6 = 2*s. Is k prime?
False
Suppose -280*d + 177768 = -278*d + 2*l, 5*d - 444432 = -l. Is d a composite number?
True
Let w(f) = 404*f**3 - 6*f**2 + 91*f - 17. Is w(10) a composite number?
True
Suppose -4*v + 208 = 3*o, o + 277 = 5*o + 5*v. Suppose c = -o + 187. Suppose 3*x + c = 752. Is x prime?
True
Suppose -31 - 5 = -t. Suppose 0 = 6*l - 2*l - t. Suppose -r + 8 = -4*s - l, -3*r + s + 95 = 0. Is r composite?
True
Let z(i) = 9407*i - 1993. Is z(6) composite?
False
Let q(x) = -522*x + 3. Let f(o) be the second derivative of -o**3/6 - 9*o. Let u(c) = -f(c) - q(c). Is u(2) composite?
True
Let c be (18/(-3) - -7) + 3. Suppose 3*v + 3548 - 255 = c*n, 4*n + 3*v - 3275 = 0. Is n a prime number?
True
Let k(y) = -y**3 - 21*y**2 - 20*y + 6. Let d be k(-20). Suppose 250 = 5*v + 5*m, -4*v - d = -m - 216. Suppose 0 = v*f - 51*f - 1055. Is f a composite number?
True
Let t(p) = -19*p**3 + 15*p**2 - 14*p + 3. Let w(z) = -17*z**3 + 14*z**2 - 13*z + 3. Let q(i) = 4*t(i) - 5*w(i). Is q(4) a composite number?
False
Let j be (-5 + -35 + -2)/((-4)/236). Suppose -j = -12*m - 2*m. Is m composite?
True
Suppose -13*j - 20 = -124. Suppose -j*f + 61 = -11. Suppose f*c + 4*w = 4*c + 699, w + 290 = 2*c. Is c prime?
False
Let r(l) = -4*l - 40. Let f(b) = -4*b - 40. Let o(k) = 4*f(k) - 5*r(k). Let t be o(0). Suppose -t*u = -39*u - 466. Is u a prime number?
False
Suppose 4*d - l + 6*l - 1654 = 0, 3*l - 828 = -2*d. Let q be d/(0 + -4 - (-118)/28). Suppose 13*z + q = 15*z. Is z composite?
True
Let n = -2 + 4. Let p = -157 - -157. Suppose n*q - 4878 = -2*t, p = q + q - 4. Is t a prime number?
True
Let p(f) = 106*f + 46. Suppose 3*l - 15 = 0, -x + 21 = 2*l + l. Let s be p(x). Is (s/(-3) + 5)*-3 prime?
False
Let f(s) = s**3 - 29*s**2 + 31*s + 47. Suppose 3*t + 501 = 2*z, -4*z + 1080 = -t + 73. Suppose 21*m = 30*m - z. Is f(m) prime?
True
Let q = -58841 - -139476. Is q a composite number?
True
Let i(w) = 1122*w**3 + 2*w**2 + 37*w - 44. Is i(5) prime?
False
Suppose -338965 = 174*c - 229*c. Is c a composite number?
False
Let g(t) = -3*t**3 + 5*t**2 + 7*t + 434119. Is g(0) composite?
True
Let c = 2692 - 2679. Let g(k) = -18*k**3 + 2*k**2 - 1. Let b be g(-1). Suppose -b*s + 318 = -c*s. Is s a composite number?
False
Is ((-5)/2 - -4)/((-4)/(41336/(-3))) prime?
True
Let i = 46302 + -25169. Is i composite?
True
Let t(k) = -k**2 + 7*k + 9. Let q be t(-5). Let n = 55 + q. Suppose 656 = n*d - 1572. Is d a composite number?
False
Let l = -31 - -28. Suppose 0 = -36*u + 28*u + 32. Is 3 - (-1 - l)/(u/(-112)) a composite number?
False
Let r = 141 + -151. Let o(w) = -8*w**3 - 7*w**2 - 22*w - 19. Is o(r) prime?
False
Let t(h) = -h**3 - 4*h**2 + 10*h + 28. Let p be t(-5). Suppose -5*b - 2*z + 33308 = -3*z, p*b - 19996 = -5*z. Is b prime?
False
Suppose r - 60868 = -118*o + 116*o, -12*r = -o + 30359. Is o composite?
False
Let f = 784 + -1155. Let o = f + 1992. Is o a prime number?
True
Suppose -5*g - 4*s + 6314 = 0, -4*g + 5*s - 789 = -5832. Is g - (16 - 20)*3/(-4) a prime number?
True
Suppose 30*f + 33*f = 2456181. Is f prime?
False
Let g be -4*(118/4 - -1). Let l = -119 - g. Suppose l*z - 5*k - 4794 = 0, -4*k + 6409 = 4*z - 5*k. Is z composite?
True
Let r(f) = 11168*f + 69. Is r(10) a composite number?
True
Suppose 2*i = -4*a - 30, 8*a - 12*a + 3*i = 25. Is 3974*((-3)/(-6))/(a - -8) a prime number?
True
Suppose 5*h + 0 = 20. Let l(c) = 3*c - 1. Let z be l(h). Suppose 0 = z*u - 13784 + 1233. Is u prime?
False
Let z be 8*8/(-20)*-15. Is 4/z*-3 + (-3629)/(-4) a prime number?
True
Let y = 3693 + -901. Is y - (-5)/((-5)/3) composite?
False
Suppose -38*z - 33 = 43. Is 51741/18*z*(1 + -2) a prime number?
True
Suppose 5*f - 16 = 3*h, 3*h + 2*h + 2*f = -6. Let r(o) = -24*o + 25 - 2*o - 8 - 10. Is r(h) prime?
True
Let s(f) = f**3 + 23*f**2 + 23*f + 27. Let q be s(-22). Let n(w) = -19*w + 13*w**2 + q*w + 23*w - w**3 - 15. Is n(8) a prime number?
False
Let j(s) = 6744*s + 5543. Is j(14) prime?
False
Suppose -12*c - 490 = 2*c. Is (-9)/15 + (-125006)/c a composite number?
False
Let t(x) = x**3 + 11*x**2 - 7*x + 25. Let g be t(-12). Let n(u) = -65*u + 216. Is n(g) prime?
False
Is (75/150)/((0 - 3)/(-202074)) a composite number?
False
Suppose -5*q = 2*b + 5, 2*b - 3*b - 3*q = 4. Is (b/(-10))/(2/(-214012)) a composite number?
False
Suppose -15143603 = 69*j - 200*j + 24*j. Is j a prime number?
True
Let l(r) = r**3 + r**2 - r + 37. Let y be (-1)/(-3) - (-201)/(-9). Let m = y + 22. Is l(m) composite?
False
Let w(s) = 5 - 3*s**3 - 10 + 3*s**3 + 7*s**2 - s**3. Let a be w(5). Suppose 41*g = a*g - 6412. Is g a composite number?
True
Let p(z) = -4*z**2 - 1 - 4*z + 4*z**2 + 3*z**2 + 3*z. Let u be -5 + 1 - (-18 - -2). Is p(u) a composite number?
False
Suppose 8163*c - 8283*c + 19937640 = 0. Is c composite?
False
Suppose -2*g = -6*g + 248. Let x(a) = 188*a - g*a + 34 - 9. Is x(11) prime?
False
Let o(d) = 41*d**2 - 2*d - 24. Let t be o(5). Suppose v - 4*u - 1 - 2 = 0, -4*v + 12 = -3*u. Suppose 4*k - t = v*k. Is k composite?
False
Let f = 5 + 7. Let r be ((-16)/32)/(1/(f + 0)). Is 1*3/r - (-1692)/8 prime?
True
Let k(l) = 338*l**3 - l**2 + 2*l - 3. Let o be k(2). Suppose -o = -j + 2*u, 1 = -4*u + 9. Is j a prime number?
False
Suppose 140*h - 91*h - 84*h + 474355 = 0. Is h a prime number?
True
Suppose 148*h = 67*h + 63*h + 523170. Is h prime?
False
Suppose 15*c - 6*c = 71244. Let t = -3243 + c. Is t prime?
True
Let n be 2/(-16) - 945/120. Let v be (n/(-5))/(-4 - (-83696)/20920). Is ((-9)/6)/((-2)/v) a composite number?
True
Is ((-262952)/(-10))/(21/(-28) - (-23)/20) prime?
False
Suppose 4*t - m - 532314 = 789916, 4*t - 1322232 = 2*m. Is t a composite number?
False
Let n = 207 + -217. Is (-183042)/(-10) + -10 + (-8)/n prime?
False
Let q = 15402 - 10310. Let v = -3029 + q. Is v prime?
True
Let g = 115 - 112. Suppose -g*r + 6627 - 780 = 0. Is r a composite number?
False
Suppose -2*f - 7399200 = -144*f + 20718646. Is f a composite number?
False
Is (8*70/160)/((-3)/1396188*-6) prime?
False
Suppose 53310 = 21*w - 6*w. Let f = 8887 - w. Is f composite?
False
Let u(k) = 3382*k - 85. Let a be u(5). Suppose 26*i - a = i. Is i a composite number?
False
Let n = 903 - -63. Suppose -33*y + 80*y = -7097. Le