**2 - 3*m + 1. Let p be o(4). Suppose -b - p*b = -2532. Suppose 4*d + 5*r - 419 = 0, -2*d - 2*r = 2*d - b. Is d a prime number?
False
Let h be (-26 + 31)*1*-1. Let o be 4 + (-4 - h) + 301. Suppose -8*m + 166 + o = 0. Is m a composite number?
False
Let h be 22428/27 - ((-10)/(-6) - 1). Suppose m - h = u + u, 4*m - 3348 = u. Is m composite?
True
Suppose 8*i + 11*i = -1425. Is (3781 - 1) + i/75 a prime number?
True
Let z be 20*4/32*6/5. Suppose 3*y - 8217 = 2*k, k - 5476 = -2*y + z*k. Is y a prime number?
True
Suppose 2*o - 5*u - 872900 = 0, 5*o - 2618760 = -o + 5*u. Is o a composite number?
True
Let n(a) = -a**3 - 16*a**2 - 17*a - 30. Let m be n(-15). Let z be (m - 691)*14*(3 + -4). Suppose 3*b + z = 5*b. Is b composite?
True
Suppose 11*c - 7*c = 1132. Let r = -985 - -1387. Let l = r - c. Is l prime?
False
Suppose -1 = -6*x - 1. Is (-6)/(-51) + x - 233129/(-221) prime?
False
Suppose 31*u - 36*u + 10 = 0. Suppose -286 = -u*k + 360. Is k a composite number?
True
Suppose -4*i - 5*u + 210 = -2*i, -5*u = -5*i + 595. Let p = i + -109. Is (1126 - -1) + -10 + p prime?
True
Let l(a) = 10*a**2 + 2*a + 32. Let i(j) = 3*j**2 + j + 11. Let n(x) = 7*i(x) - 2*l(x). Suppose 5*q - 35 = -5*f, 3 - 24 = -3*f + 2*q. Is n(f) a composite number?
False
Suppose -8 = 5*f - 23. Suppose -f*v + 12*v - 61515 = 0. Is v composite?
True
Let j(r) = 2*r**3 + 9*r**2 + 24*r - 146. Is j(11) a composite number?
True
Let v be (-15785)/(-165) - ((-2)/(-6))/(-1). Is ((-64)/v)/((-4)/58314) a prime number?
True
Suppose -s + 4 - 5 = -p, -2*p + 17 = 3*s. Is s + -8 + 4358*3 a prime number?
False
Let t = -1 - -10. Suppose -5*h = -t*h + 4. Is 2/((-2)/1*h/(-671)) a prime number?
False
Let s(v) = 733*v**3 - 2*v**2 - 6*v + 28. Let p be s(4). Suppose -10*g + p = 2*g. Is g prime?
True
Let v = 43 - 40. Suppose 0 = -x - v*n + 801, 6*x - x - 4*n = 3967. Suppose -x = -11*p + 8*p. Is p a composite number?
True
Suppose -80*a + 32619535 = -15*a. Is a prime?
False
Let i(u) = -u**2 + 13*u + 14. Let t = -20 - -34. Let z be i(t). Suppose 3*v - 1509 = -z*v. Is v prime?
True
Suppose 1218320 = -21*x + x. Let a = x - -90083. Is a composite?
False
Let v be 9/15*5 - 1. Suppose 2*m + 3*l = -v*m + 5109, -2547 = -2*m - 3*l. Suppose -6*t + 2*t = -2*p - 5128, -t + p + m = 0. Is t a composite number?
False
Suppose -5*d + 10*d + 8 = y, 5*d + 5 = 0. Suppose -3*p = -2*x - 4*p + 1503, 1513 = 2*x + y*p. Is x prime?
False
Let c be (16 + 0)*((-28)/8 - -4). Let x = c + -3. Suppose o = -x*n + 56, 2*o - 150 = -3*o + n. Is o prime?
True
Let b be 1436/(-28) - 1*(-2)/7. Let n = -11 - b. Is ((-16)/n)/(4/(-5210)) a prime number?
True
Let z = 451 - 373. Suppose -5*h + 131 = 2*g - 10*h, 0 = g - 5*h - z. Is g prime?
True
Let w(p) = -p**2 + 4. Let l be w(0). Let n(d) be the first derivative of 3*d**4/2 - d**3/3 - 7*d**2/2 - 9*d - 118. Is n(l) a composite number?
False
Let q(v) = -v**2 + 24*v - 14. Suppose 2*h + 3*s = 42, -h + 53 = 2*h + 2*s. Let u be q(h). Let z = 248 - u. Is z composite?
False
Suppose 23*q - 578126 = 658515. Is q composite?
True
Let u be ((-1)/(-3))/((-6 - -8)/270). Suppose 35 = t + u. Let p(g) = g**3 + 14*g**2 - 6*g + 7. Is p(t) prime?
True
Suppose -38*q + 277*q = 2413183. Is q a composite number?
True
Let z(q) = -2317*q**3 - 9*q**2 + 7*q - 3. Let u(h) = 2317*h**3 + 9*h**2 - 8*h + 3. Let x(g) = 4*u(g) + 3*z(g). Is x(2) composite?
False
Suppose 572 = 160*d - 173*d. Let p(w) = -w**2 - 60*w - 55. Is p(d) a prime number?
False
Let b(q) be the first derivative of 689*q**2/2 + 4*q - 57. Is b(5) prime?
True
Suppose 1252636 = 9*t + 29653. Is t composite?
False
Suppose 3*j = z - 334310, -44*z + 1337149 = -40*z + j. Is z a prime number?
True
Let m(x) = 2*x**2 - x + 16. Let f = -37 - -41. Suppose -40 = f*c + 44. Is m(c) prime?
True
Let m(r) = 866*r + 907. Is m(15) a composite number?
True
Let k(b) = 175*b**2 + 22*b + 259. Is k(-10) prime?
True
Let l(j) = -j**3 + 18*j**2 + 7*j + 1. Let s be ((-2)/(-4))/(5 - 98/20). Suppose 2*u - 28 = u + s*d, 0 = -3*u + 2*d + 58. Is l(u) prime?
True
Suppose -2*j + 5*q + 17 = -13, -4*j + 2*q = -28. Suppose -2*s = -3*x - 7561, 5*s - 16845 = j*x + 2055. Is s a composite number?
False
Let c = 13 - 21. Let u(j) = -3*j - 27. Let p be u(c). Is 67*(5 - (p + 7)) a prime number?
True
Suppose -t + 293 = -38. Suppose 0 = 18*q - t + 97. Let v(m) = 7*m**2 - 5*m - 1. Is v(q) a prime number?
True
Is (84121 - 0*(-4)/20)/(2 - 1) a prime number?
True
Suppose 37 + 80 = -3*h. Let p = 42 + h. Is (32 - p)/(2/82) a prime number?
False
Let x(b) = -26*b**2 - 78*b + 4. Let s be x(-3). Suppose 0 = -s*l - u + 84678, 63511 = 8*l - 5*l + 2*u. Is l a prime number?
True
Is ((-33)/(-9))/(-11)*(-135246)/2 a prime number?
True
Suppose 0 = 2*v - 3*v - 4, 3*i + 5*v = -2561. Let z = -414 + i. Let y = 662 - z. Is y a composite number?
True
Is 1 + (1098918/20 - 3/(-30)) a prime number?
False
Suppose -7*h = -35 + 7. Suppose i - h*j = 58 + 89, -4*i - 2*j + 570 = 0. Is i a prime number?
False
Let a(i) = -1183*i - 89. Let l be a(-11). Suppose -l - 36475 = -7*j. Is j composite?
False
Let s = -3 - -8. Suppose 0 = 5*f + 3*y + 20 - 23, 2 = -5*f + 2*y. Suppose -1010 = -n - 5*u, -s*u + 0*u + 15 = f. Is n prime?
False
Let w = 10881 - 6893. Suppose 2*b + 2801 = b. Let q = b + w. Is q prime?
True
Let v(q) = 3*q**3 + 837 + 11*q**3 - 12*q**3. Let j be v(0). Let d = -196 + j. Is d a prime number?
True
Is (5730/(-60))/((-9)/1854) prime?
False
Let n = -994334 + 1429243. Is n a prime number?
True
Suppose -2*w + 360 = 4*z, 2*z - 4*w + 180 = 4*z. Suppose -95 = -5*m + 5*q, -2*q + 6*q + z = 5*m. Suppose -120 - 3898 = -m*l. Is l a composite number?
True
Suppose -5596955 = 886*p - 921*p. Is p prime?
False
Let m = 133 - 129. Is (0 - (-298)/m)/((-57)/(-2622)) prime?
False
Let f(o) = 11128*o**3 - 85*o + 260. Is f(3) prime?
False
Suppose 5*s - 34*s + 85260 = 0. Suppose 0 = 2*x + f - 5222, -f = -x + s - 329. Is x a prime number?
False
Let s(w) = 57*w + 2695. Is s(102) a prime number?
False
Suppose -13 + 146 = 7*j. Suppose j = -14*d + 5. Is (-865)/(-5)*d/((-3)/57) composite?
True
Let t = 314511 - 161342. Is t composite?
True
Let u(f) = -2*f - 38. Let p be u(-20). Suppose 15 = 4*v + s, -p*s = 1 + 1. Suppose 2*h = v*h - 62. Is h a composite number?
False
Let w be 1*-246*2/(-4). Suppose 3*y - 282 = w. Suppose c + 3*m - y = 0, 5*c = c + 3*m + 570. Is c a prime number?
False
Suppose -5*f + 1352147 = 2*t, 2*t + 27*f = 30*f + 1352107. Is t a composite number?
False
Let c(q) = -180*q**3 - 32*q**2 - 50*q - 81. Is c(-15) a prime number?
False
Suppose 5*m + 2*s = -1504 + 9963, 8474 = 5*m - 3*s. Is m a prime number?
True
Let j(v) = 181*v**2 + 17*v - 397. Is j(-14) prime?
True
Let d(w) = w**2 - 10*w - 52. Let s be d(14). Is s + (87 - 1 - 5) a composite number?
True
Suppose 0 = 2*o - i, i + 4*i - 10 = 5*o. Suppose z + 360 - 4206 = 0. Is (0 + 3/9)/(o/z) composite?
False
Suppose -109*i - 1038264 = -34*i - 12120339. Is i prime?
True
Let v(u) = -6002*u + 297. Is v(-5) a composite number?
False
Let l(w) = w**2 + 6*w - 93. Let f be l(-13). Is f + 0 - (-723 - -2) prime?
True
Let h(x) = 27*x**2 + 44*x + 438. Is h(-59) a prime number?
False
Suppose -24 = 26*q + 2. Let u(s) = 2180*s**2 + 5*s + 4. Is u(q) composite?
False
Let j(r) = -4 - 28 + 258*r + 3 - 26. Is j(9) prime?
True
Suppose 2*l - 90 = -4*r, 177 = 5*l + 5*r - 48. Suppose 0*m = -3*m. Is m + 485 + l/5 + -9 a prime number?
False
Let m be ((-3)/(-2))/((-1052)/264 + 4). Let b = 170 - m. Is b composite?
False
Suppose -4*x + a = 30, 4*x + 2*a = 7*x + 30. Let t = -22 - -279. Let m = t + x. Is m a prime number?
True
Let y(w) = -w**2 + 9*w + 27. Let q be y(11). Suppose 3*g - 6 = -q*b + 11, -b + 3 = g. Is (-8)/1 + b*1 - -1173 composite?
True
Let n(t) = 3*t**2 + 5*t + 18. Let s be n(-4). Suppose -6*y = 4*p - y - s, 0 = 4*p - 2*y - 60. Suppose 13*u - p*u + 3371 = 0. Is u a composite number?
False
Let i(n) = -2*n**3 + 46*n**2 - 59*n + 284. Is i(19) prime?
False
Let n(y) = y**2 - y + 1. Let r(k) = -8*k**2 + 5*k - 23. Let l(g) = 3*n(g) - r(g). Let j be -3 - (0 - 3) - -13. Is l(j) a composite number?
True
Let c(w) = 211*w - 19. Let o(r) = -419*r + 38. Let v(q) = 13*c(q) + 6*o(q). Is v(10) a composite number?
True
Let r = -690856 - -1249143. Is r a prime number?
True
Let c(j) = 56*j**2 - 215*j + 10. Let d be 1 - (-51)/(-45) - (-1070)/150. Is c(d)