 - 98*r. Is j(-3) composite?
True
Let g be (-14518)/(-21)*18/12. Suppose 26*d - 6003 = -g. Is d prime?
True
Let b(i) = 75603*i - 509. Is b(2) a composite number?
False
Let b(a) be the third derivative of 115*a**4/8 + 137*a**3/6 + 2*a**2 - 7*a. Is b(8) composite?
False
Let q be ((-66)/24 - -2)/((-1)/(-12)). Let r(x) = -3*x - 22. Let i be r(q). Suppose 0 = i*f - l - 1380, -f = 2*f + 4*l - 851. Is f a composite number?
False
Let i = 24487 + -23270. Is i a composite number?
False
Let p(g) = -941*g - 5112. Is p(-49) a composite number?
True
Let d be 0*((-18)/(-4) - 10/2). Suppose d = -l + 3078 + 2677. Is l composite?
True
Let h = 53757 + 17896. Is h a prime number?
False
Is -1*(2 - (-12 - -1539861)) composite?
False
Is 346300 - (10/25 + (-68)/20) composite?
False
Let d(y) = y**3 - 7*y**2 + 15*y + 35. Suppose 3*i + 19 = -f + 2*f, -4*i - 4 = 0. Is d(f) a prime number?
True
Let v be (-9)/(-1) - (59 - 52). Suppose -v*z + 5*m = -42499, -5*z + 19*m - 18*m = -106236. Is z a prime number?
True
Let d = -105 + 109. Suppose -6*y + y - d*b + 8683 = 0, 2*y + 3*b - 3476 = 0. Is y a prime number?
False
Let q(u) = 7*u + 2. Let r be q(-4). Let v = r + 30. Suppose -v*m + 1227 = -m. Is m prime?
True
Let c(j) = 2*j**3 + 17*j**2 + 13*j - 297. Is c(26) composite?
True
Suppose -30 = -2*l + 5*n - 9, 87 = 5*l - n. Suppose -l*k - 43552 = -34*k. Is k a prime number?
False
Let l be (13/5 + -1)/(4/(-10)). Is (11 + l)*302 + -3 a composite number?
False
Let g be 14*((-16)/(-6))/((-6)/(-9)). Let a = g - 54. Let j(t) = 283*t**2 + 2*t + 5. Is j(a) composite?
True
Suppose 25*m + 120894 = 28*m + 3*t, 0 = 4*m - 5*t - 161219. Is m a prime number?
False
Let s = 43161 + 45992. Is s prime?
True
Let p(d) = -10 - 6*d**3 - 52*d**2 + 4*d**3 - 68*d + 1 - 8. Let u(o) = -3*o**3 - 78*o**2 - 102*o - 25. Let b(f) = -8*p(f) + 5*u(f). Is b(-24) prime?
True
Let g(w) be the second derivative of -17*w + 0 + 28/3*w**3 - 33/2*w**2. Is g(17) composite?
False
Suppose -3*t = -5*t + t. Suppose -2*z - 22 = 3*h, t*z - 3*h + 55 = -5*z. Let g(y) = y**3 + 17*y**2 + 7*y. Is g(z) composite?
True
Suppose 5*t = p - 127531 - 53195, 2*t - 361464 = -2*p. Is p a prime number?
True
Let i(j) be the third derivative of 1889*j**6/120 + j**5/15 - j**4/24 + j**3/6 - 5*j**2 + 3*j. Is i(2) a prime number?
False
Suppose 73*h - 41667611 - 24873860 = 0. Is h prime?
True
Is (-7 - 13616900/(-99)) + (-4)/9 a prime number?
True
Let w = 213838 + -123557. Is w composite?
False
Let v = 64223 - 42664. Is v prime?
True
Suppose -4*n - 3*z = -7*n + 10020, -2*z + 6 = 0. Is n prime?
True
Suppose 17*x = 18*x + 2. Let j be (-28)/(5 + -1)*x/7. Suppose -4*w - v + 682 = 31, -161 = -w - j*v. Is w prime?
True
Let z(y) = -29*y**2 + 14*y + 21. Let i(h) be the second derivative of -5*h**4/4 + 7*h**3/6 + 11*h**2/2 + 23*h. Let j(f) = 5*i(f) - 3*z(f). Is j(5) prime?
True
Let a be ((-20256)/72)/(2/(-6)). Suppose a = -34*w + 36*w. Is w prime?
False
Let s(o) = 1570*o - 125. Is s(22) prime?
False
Let q(n) = -n**2 + 2*n + 1. Let o be q(2). Let f(z) be the second derivative of 148*z**5/5 + z**4/12 + z**3/3 - z**2 - 922*z. Is f(o) prime?
True
Let p(n) = 22*n**2 + 2*n + 1. Let j be p(-1). Let q(g) be the first derivative of 7*g**2 - 40*g + 295. Is q(j) prime?
False
Is (-40)/140 + ((-10)/(-95) - (-14285953)/133) a composite number?
True
Let j = -204 - -462. Let x = 299 + j. Is x a prime number?
True
Suppose -4*w = -3*w - 9. Suppose 4*p - w = 11. Suppose 0 = -8*u + p*u + 114. Is u composite?
True
Let o(f) = 11076*f - 743. Is o(10) a prime number?
True
Let t(u) = 3*u**3 - 11*u**2 + 16*u - 147. Is t(45) prime?
False
Let k = 26601 - 17349. Suppose 2*b = 1510 + k. Is b a composite number?
False
Let f = 518581 + 91536. Is f composite?
True
Let n(i) = -332*i - 51. Let t be n(-16). Suppose 0 = -q + b + t, -3*b = -5*q + 5436 + 20879. Is q a composite number?
True
Is -1 + 100234 + 13*(-8)/(-26) a prime number?
True
Suppose 0 = 34*c - 7*c + 29*c - 5941768. Is c a prime number?
True
Suppose 152*z + 515099 = 41*z + 2888168. Is z a prime number?
True
Let z = 26 - 17. Suppose -3*q + 0*q + 5*u + 273 = 0, 0 = -3*u + z. Let m = q - 17. Is m a composite number?
False
Let w(s) = 10*s + 92. Let x be w(-9). Suppose x*y + 20*y - 33946 = 0. Is y a prime number?
True
Let q(b) = 7*b**2 - 8*b + 11. Let o be q(2). Suppose -4812 = -o*k + 140065. Is k a composite number?
False
Let o(i) = i**2 + 3*i + 7. Let a be o(-2). Suppose 0 = 2*p + 3*r - a - 9, 5*r = 3*p + 17. Is 2099/2 - (3 - p)/4 prime?
True
Let b(a) = -a**3 - 3*a**2 + 5*a + 9. Let o be b(-4). Let t(n) = n**2 - 15. Let z be t(o). Suppose 5*c + 658 = 3*h, 2*c + 0*c = -z. Is h composite?
False
Let t be (-2)/(-5) - ((-42)/30)/(-1). Let b(v) = 3408*v**2 + 9*v + 2. Is b(t) a prime number?
False
Let p be ((2 + -1)*-10)/(2/4). Let r = 22 + p. Is r + 3 + -3 + 4763 a prime number?
False
Let p(c) = c**3 - 12*c**2 + 4*c + 10. Let y be p(9). Suppose 0 = -3*o - 13 - 2, 2329 = -3*q + 4*o. Let m = y - q. Is m prime?
False
Let n = 1166264 - 629911. Is n a composite number?
False
Suppose 2455599 = -24*w + 75*w. Is w a composite number?
True
Let v(u) = -12304*u + 16. Let h be v(2). Let x = -10349 - h. Is x a prime number?
True
Let c(a) = -6 + 3*a - 11 - 56*a + a. Is c(-6) prime?
False
Suppose 4*k - j = 734531, -92 + 87 = -5*j. Is k a prime number?
False
Let t = -848159 + 1344282. Is t prime?
True
Let o(f) = -f**3 - 10*f**2 - 8*f + 13. Let w be o(-9). Suppose 0 = w*x - 46 - 38. Is (2811/(-4))/(x/(-56)) a composite number?
True
Suppose -d = -5*h - 29, 7*h = 4*d + 11*h - 140. Suppose -8873 = 15*z - d*z. Is z a prime number?
True
Suppose 0 = -2*g - 2, -3*a - 4*g = a + 756. Let m = -38 - a. Let f = m + -91. Is f prime?
True
Let h = -261 + 254. Is (h + (-185)/(-25))*3305 prime?
False
Suppose 0 = -2*u - 4*k + 14226, u - 4*k - 7123 = -k. Is u prime?
False
Suppose 0 = 2*t - 3*t + 410. Suppose t = -2*i - 2360. Let n = 2014 + i. Is n a composite number?
True
Let o = 54 - 58. Let i(b) = 179*b + 5. Let d be i(o). Let n = d - -1232. Is n composite?
False
Let f(s) = -6*s + 2803*s**2 + 5014*s**2 + 7 - s. Is f(1) a composite number?
False
Suppose l - 49 = -3*x - 3*l, -2*x + 26 = -4*l. Let w(v) = -2617*v + 6*v**2 + 0*v**2 - 23 + 2639*v. Is w(x) a prime number?
True
Is (12 - 2418/195)*(-1306810)/4 a prime number?
True
Let q = -379 - -234. Let g = 151 + q. Suppose 12*b - g*b - 8310 = 0. Is b a prime number?
False
Suppose 0 = n - 2*f - 1462708 + 444650, f + 5 = 0. Is n/192 + 4/6 + 0 a prime number?
True
Let i(v) = 130*v**2 - 9*v + 46. Let s = 495 + -492. Is i(s) a composite number?
True
Let f be (168/35)/((-6)/(-20)) - 0. Suppose -8*a = f*a - 12504. Is a a composite number?
False
Let b(a) = 3255*a - 2. Suppose -6*s - 30 = -36. Let c be b(s). Let q = -2286 + c. Is q prime?
True
Is 177/1239 - (781010/(-7) + 2) composite?
True
Suppose 88*l - 5786717 - 689155 = -1489880. Is l prime?
True
Let t be (-2)/4 - 4/(-8) - -11698. Let b = t + -3779. Is b a prime number?
True
Suppose 157 = 13*k - 129. Suppose 6*d - 8 = k. Suppose a - 6*a = j - 1352, 0 = -5*j + d*a + 6670. Is j a prime number?
False
Suppose -5*a = -2*t + 194993, 5*t = -5*a + 9*a + 487491. Is t a prime number?
True
Is 143/(-715) - (-2269012)/10 prime?
True
Suppose -435646 = -19*p - 136925 + 236490. Is p composite?
True
Let d(g) = g**3 + 5*g**2 - 3*g + 13. Let u be (-2)/(4/(-6) - -1). Let f be d(u). Let a(i) = -35*i - 6. Is a(f) a prime number?
False
Suppose -7 = 4*n - d, 0 = 4*n - n + 2*d + 19. Let l(f) = -f**3 + 0*f**2 + 3*f - 6*f - 4*f**2 + f**2 + 5. Is l(n) a prime number?
False
Suppose 0 = -3*m + 3*n + 17061, 3*m - 6*n - 17069 = -7*n. Let w = -3294 + m. Is w prime?
False
Let i = 126471 - 28160. Is i a composite number?
True
Let j(o) = -32*o + 1383. Is j(-5) a prime number?
True
Let r(p) = -157*p + 3. Let u = 44 - 26. Suppose 4*w - 2 + u = 0. Is r(w) a prime number?
True
Let k(h) = h**2 - 12*h + 5. Let s be k(12). Suppose 1 = -r + s. Suppose -230 = r*a - 6*a. Is a composite?
True
Let b = 21964 - 1199. Is b composite?
True
Suppose 2*g + 7*w - 2 = 8*w, -2*g - 3*w + 18 = 0. Suppose -674 = g*z - 4*z. Is z composite?
True
Let u = -44633 + 71674. Is u prime?
False
Suppose 49 - 9 = 4*x. Suppose 4*i = x - 2. Suppose 5*z - 181 = -5*h + 5139, 6 = -i*z. Is h prime?
False
Let c = -35 + 50. Suppose 9 = -2*p + c. Suppose -p*b + 1017