57*k**2 - 202*k - 28. Is l(25) prime?
True
Let w = 141141 - 8964. Is w prime?
False
Suppose 5292348 = -6700*q + 6712*q. Is q a prime number?
True
Let m = 43440 + -20042. Is m a prime number?
False
Let p(z) = 209*z**2 - 23*z - 11. Let y be (100/(-16))/5 + (-175)/(-28). Is p(y) a prime number?
True
Suppose -4*c - 460725 = -5*s + c, -s + 92133 = 5*c. Is s a prime number?
True
Let g(a) be the third derivative of 17*a**5/20 + 5*a**4/24 - 5*a**3/6 + 4*a**2. Let k be -3 + 2 - 4/8*10. Is g(k) a composite number?
False
Is ((-6623)/358)/(((-9)/(-5802))/(-1 - 2)) composite?
True
Suppose t + 4*t = -2*n + 4906, 3*n - 989 = -t. Suppose -34555 = -985*p + t*p. Is p a prime number?
True
Is 2/16 + 41/(-246) + (-388297)/(-24) a composite number?
True
Suppose 7*c = 2*c + 3*g + 161153, 0 = c - g - 32231. Suppose -374*f + 384*f = c. Is f composite?
True
Let d = -206891 - -292594. Is d a composite number?
False
Suppose -2*n = -2, 0 = 4*b - 44*n + 43*n - 9447. Is b a prime number?
False
Suppose 0 = -4*w - k + 1010, 5*w - k - 1254 = 2*k. Suppose 0 = 1353*t - 1356*t + 72. Suppose w + t = 4*s. Is s a composite number?
True
Let o(c) = 86*c**2 - 183*c - 6536. Is o(-39) a composite number?
True
Let o(r) = 8288*r**3 - 5*r**2 + 8*r - 7. Is o(2) a prime number?
True
Let s(y) = -1307*y - 42. Let g = -18 - -9. Is s(g) prime?
False
Suppose 0 = 56*c - 57*c + 5. Suppose -c*q = -25, 2*f - 5130 = q + 461. Is f a prime number?
False
Let x = 80324 - 114166. Let o = -22213 - x. Is o composite?
True
Is -3 - ((-382314)/2 + 1) - (17 - 23) a composite number?
True
Suppose 386*c - 488955 = 371*c. Is c composite?
True
Let o be 5 + (-12 - -3)/3. Suppose o*r = -4, 5*u = -r - 5810 + 548. Is u/(-8)*1 + (-1)/2 composite?
False
Suppose 0 = -19*j + 8*j + 3278. Let x = 439 + j. Is x a composite number?
True
Suppose 5*o = 8*o + 5*w - 32, 2*o + 2*w - 20 = 0. Let c(x) = 11 + 17*x**2 + 5*x - 3*x - o*x + 2*x**2. Is c(4) a prime number?
False
Suppose -5*c + 3*w = -2370124, -c + 44718 = -3*w - 429290. Is c a composite number?
False
Suppose -3*k + 11 = -301. Let l = 14 - 10. Suppose -k = -l*m - 0*m. Is m prime?
False
Suppose -3*p - 59 = -4*n, 2*n + 5*p - 22 = 1. Suppose 5*y = -5*h + 7705, -18*h + n*h + 6164 = -3*y. Is h composite?
True
Let j(b) = -7*b**3 - 2*b**2 + 1. Let l be j(-1). Let z be 0*3/l*1. Suppose 2*c + 2*g - 332 = z, -2*c - g - 3*g = -332. Is c a prime number?
False
Suppose 2167004 = 5*p - 163261. Is 7/((-140)/(-8)) - p/(-105) a composite number?
True
Let h = -501199 + 860525. Suppose 10*g = -12*g + h. Is g composite?
False
Let o(u) = u**3 + 19*u**2 + 2*u + 5. Let y be o(-13). Suppose 1655 = 5*s - 4*q - 0*q, -3*s + y = 3*q. Is s a composite number?
False
Let s(x) = 4*x + 6. Suppose 3*h - 1 = -p, 3*p + 5*h = -2*p + 45. Let o be s(p). Is ((-1 - -2)*17)/(2/o) prime?
False
Suppose -3073*c + 793955 = -3068*c. Is c prime?
True
Let o be 2 - 6/(-5 + 2 - -1). Suppose 5*w - 30 = -o. Suppose 265 = w*q + 2*z, -5*q + 2*z + 265 = -0*q. Is q a composite number?
False
Suppose 9*j - j - 80 = 0. Let c(u) = 21*u + 23. Let v be c(j). Is 2 - (0 - 1)*v a composite number?
True
Let j(y) = -29*y**3 - 16*y**2 - 15*y + 18. Let p be j(-14). Is (p/4)/3 - (3 + 1) a prime number?
False
Suppose 0 = -36*q + 35*q - 13. Let k(v) = -v**3 - 6*v**2 + 3*v + 13. Is k(q) a composite number?
True
Let j(o) = 1059*o**2 - 2*o + 2. Suppose 15*p - 24 = 3*p. Suppose 0 = -p*a + 5*s - 13, 0 = 4*a - 4*s + 10 - 2. Is j(a) composite?
True
Let p(j) = 1935*j + 536. Is p(7) composite?
False
Let n = 5890 - 303. Is n a prime number?
False
Suppose -u - 517 = -2*u + r, r + 1031 = 2*u. Let p(q) = -q**2 + q + 1. Let t be p(13). Let h = u + t. Is h composite?
False
Let h = -88 + 90. Suppose -6 - 4 = -h*y. Suppose y*l = -4*s + 4*l + 1231, -5*s + l + 1532 = 0. Is s a composite number?
False
Let r be ((2 - -7) + -8)/((-1)/2). Let o(q) = 37*q**2 - 6*q - 3. Is o(r) prime?
True
Suppose -302509 = -5*c + 4*t, -4*c + 242012 = -0*c - 4*t. Is c composite?
False
Let i be 9/((-36)/40)*-1. Suppose y - i = -4. Suppose n = y*n - 4105. Is n a composite number?
False
Is 8 + ((-1470325)/(-30) - 2/(-12)) a composite number?
False
Let l be 59/(-7) - (-148)/(-259). Is (-1)/l - (-250544)/63 a prime number?
False
Suppose k - 2*d = -7*d + 14, -4*k - 3*d + 73 = 0. Suppose 23*n - 80 = k*n. Suppose 0 = 5*o - n, -7*s = -2*s + 4*o - 4211. Is s prime?
True
Let r(g) = -4*g - 43. Let q be r(-11). Let a(w) = 2451*w**2 + 4*w - 2. Is a(q) a prime number?
False
Is (63/42)/(-1*3)*(3 + -344257) prime?
True
Is 3*((-12)/48*8 - (-24958)/6) composite?
False
Let j(s) = -2*s**2 + 31*s - 3. Suppose 3*y + 27 = 63. Let h be j(y). Let c = 292 - h. Is c prime?
True
Let y(r) = 3516*r**2 + 120*r + 461. Is y(-4) composite?
False
Is 97741/(((-2)/(-3))/(42/63)) prime?
False
Suppose 2*p - 5*g = -8*g, -4*p + 2 = 5*g. Suppose -i + 4*i - 2399 = 4*z, -p*i + 2387 = 2*z. Is i a prime number?
True
Suppose 0 = p - 1 - 4. Let r be (-35)/(-4)*12/30*1292708/917. Suppose -p*x + r = -4811. Is x a prime number?
True
Suppose o + 2*u - 942353 = 0, 0 = 2*o + 3*u - 1818585 - 66128. Is o a prime number?
True
Let d(j) = 6*j**2 - 11*j + 23. Let h be ((-9)/(-36))/(1/68). Let k be d(h). Suppose -3*p = -5*r - 932, 5*p - r = 4*r + k. Is p a prime number?
False
Let j be (-2 + -1)*(-5 + (-339888)/(-36)). Let o = j - -47832. Is o a prime number?
False
Suppose x + 4*x - 16 = w, -3*w - 3*x = 30. Let d(s) = 62*s**2 - 14*s + 67. Is d(w) prime?
True
Let w(z) = 58*z**2 + 8*z + 14. Let y(c) = -c**2 + c + 1. Let v(g) = w(g) - 12*y(g). Let p be v(-5). Suppose -4*b + p = -0*b. Is b a prime number?
True
Suppose -17*s + 24*s = 837228. Suppose 23*w - 11*w = s. Is w a composite number?
False
Suppose -5*v = -4*k + 436333, 4*k - 2*v - 218164 = 2*k. Suppose -14*q - 22907 = -k. Suppose 95*i = 100*i - q. Is i prime?
True
Let o(u) be the first derivative of -5*u**2/2 + 24*u + 1. Let r = -1284 + 1265. Is o(r) a composite number?
True
Let i be (2 + 8)*2/4. Suppose 3*z = -s + 11608, -23231 = -2*s + 4*z - i*z. Is s prime?
True
Suppose f = -2*g + 485 + 243, -4*g + f + 1450 = 0. Is (-2)/11 + 1304325/g a composite number?
False
Suppose -32001 - 38745 = -26*g. Is g composite?
True
Let n = 299 - 8. Let a = n - -4270. Is a composite?
False
Let b(f) be the first derivative of -538*f**3/3 - f**2/2 + 5*f + 22. Let p be b(2). Let z = -1178 - p. Is z composite?
False
Let p(k) = k**3 + 42*k**2 + k + 44. Let r be p(-42). Suppose -4*g + r*g + 3*w = -2683, -4*w = g - 1325. Is g composite?
True
Let v = -269325 - -777586. Is v composite?
True
Let f(y) = -y - 1. Suppose 4*r - 4 = -k + 5*k, 3 = 3*k - 5*r. Let p be f(k). Suppose -p*o + 1347 = -0*o. Is o a composite number?
False
Let v = -25 + 84. Let c = -57 + v. Is (c/10)/((-4)/(-13060)) composite?
False
Suppose -11*r + 8*r + 5*z = -709277, 0 = r - 4*z - 236421. Is r a prime number?
True
Suppose -8*s = -9 - 15. Suppose s*m = 2763 - 210. Is m composite?
True
Let u = 546137 - 347128. Is u a prime number?
False
Let n be 1205316/(-27)*(-18)/7. Suppose -3*z - 5*z = -n. Suppose x = 4*x - z. Is x a composite number?
False
Suppose 4*b - 2*y + 65 - 207 = 0, 2*b - 68 = 4*y. Suppose 39*q = b*q + 50223. Is q prime?
True
Let r(m) = -19*m**3 - 29*m**2 - 31*m + 113. Is r(-52) prime?
True
Is 1/(-15) + 210/(-225) + -6 - -311400 prime?
True
Suppose 0 = -3*t - 10*t + 156. Suppose 17*y = t*y. Suppose p + y*c = -3*c + 715, -2*c = 3*p - 2131. Is p a prime number?
True
Let k(t) = 13*t**2 - 42*t - 104. Let a be k(-33). Let h = a - 8970. Is h composite?
False
Let f(g) = 235*g**3 - 8*g**2 + 13. Let c be f(6). Suppose 26*r - c = 3*r. Is r prime?
False
Suppose 0 = 5*y - 14 - 21. Let d(n) = 3*n - 5 + 10*n**2 + n**3 - y*n + 10*n. Is d(-6) a composite number?
False
Suppose -4*l = 5*q - 2045039, 2*l - 45*q + 50*q = 1022517. Is l composite?
False
Let g be ((1 - -41) + -2)/(4/(-4)). Let o = g + 46. Is 2 + (-8)/o - 8070/(-18) a composite number?
False
Let t(m) be the third derivative of 25*m**4/24 + 17*m**3/6 - 5*m**2. Let i be t(6). Suppose -4*a + 463 - i = 0. Is a a composite number?
True
Let k = -390300 + 569803. Is k a composite number?
True
Let x(f) = 14*f + 32. Let s be x(-5). Let y be (-110)/s + 4/38. Suppose 0 = 5*n - 2*u - 2565, 500 = 5*n - 4*n - y*u. Is n prime?
False
Suppose 88*z = -2*d + 86*z + 20124, -3*d = -5*z - 30178. Is d composite?
False
Let