 16*u + 5*p + 180, 0 = -3*u + 3*p + 261. Suppose 86*m - 1189 = u*m. Is m a composite number?
True
Let k = 73925 + -11346. Is k prime?
False
Let o(b) = 133*b**3 + 10*b**2 + 26*b + 78. Is o(11) a composite number?
False
Let c = 45 - 46. Is (c/((-3)/(-2)))/(68/(-273462)) a prime number?
False
Let o(k) = -k**3 + 25*k**2 + 22*k + 23. Let p be o(26). Let t(j) = 93*j - 35. Let u be t(11). Let h = u + p. Is h a prime number?
True
Suppose -m + 11*y = -108106 - 555368, -5*y + 2653847 = 4*m. Is m prime?
True
Suppose 0 = -339*w + 198833506 + 29017547. Is w a prime number?
True
Let l(s) = 304*s + 6. Let b be l(5). Suppose 0 = -2*y - 4*p + 5694, 760*p = 4*y + 764*p - 11372. Let r = y - b. Is r composite?
True
Is (27 + -19)*(-46482)/(-48) a prime number?
False
Let s(j) = -4*j**3 + 3*j**3 - 30 + 32*j**2 + 4*j + 96. Is s(23) composite?
False
Suppose 3*j = 5*w + 12575, 2*j + 3*w - 1420 = 6938. Let y = -2573 + j. Suppose -y = -0*r - 4*r - 4*n, 3*r + 2*n - 1207 = 0. Is r a prime number?
True
Let r(k) = -10*k**2 - 1213*k - 361. Let p be r(-121). Suppose 64 + 1391 = 3*b. Suppose p*a = b + 601. Is a prime?
False
Suppose 39 = 11*y - 16. Suppose y*z = -0*z + 2355. Suppose a + 2*a = z. Is a composite?
False
Suppose 15*b - b = -2660483 + 6433567. Is b prime?
False
Let k be 4/12 - (-17)/3. Let l(s) = -6 + 19*s**2 + 1 + 0 + 3*s - s. Is l(k) a composite number?
False
Let p = -94666 - -252225. Is p composite?
False
Let o(x) = -1296*x**2 + 22*x - 102. Let z be o(5). Let v = z - -51651. Is v a prime number?
True
Let a = 50943 - 18892. Is a composite?
False
Suppose -177892 = -3*c + 2*w, -4*c - 4*w = -9*w - 237180. Suppose 2*m - 3*m + 4*i = -c, -3*i = 3. Suppose 0 = 12*o + 21340 - m. Is o prime?
True
Let h = -4 - -3. Let i be (8782/(-2) - 4)*h. Suppose 5*x - i = -5*p, 2*x + 3*p - 1758 = 7*p. Is x a composite number?
True
Suppose -f - 7356 = 3*f. Let c = 12368 + f. Is c prime?
True
Let p = 325580 - 36377. Is p a composite number?
True
Is (-5703660)/(-120)*4/6 a prime number?
True
Let k = 99 - 101. Let f(c) = -12*c - 1. Let q be f(k). Let i(w) = 51*w - 50. Is i(q) composite?
False
Let k(w) = 3*w**2 - w - 7. Let r be k(-4). Let c be r/12*(-24)/(-9). Suppose 23 = -9*f + c*f. Is f composite?
False
Suppose 632*p - 527231440 - 266406984 = 0. Is p composite?
False
Let y(c) = c**2 - 3663. Suppose 0 = -10*m + 4 - 4. Let p be y(m). Let b = p - -5824. Is b prime?
True
Let a = -213 - -190. Let c = 217 + a. Is c a composite number?
True
Suppose 0 = -3*o - 32*s + 27*s + 851, 3*s + 867 = 3*o. Let t(g) = 9*g**2 - 5*g - 4. Let u be t(4). Suppose -u - o = -b. Is b prime?
False
Let a = 802 + -455. Suppose 0 = 67*n - 74*n + 35. Suppose 0 = l - 4*u - a, 5*u = -n*l + u + 1639. Is l a composite number?
False
Let d(t) = 36*t**3 - 2*t**2 - 7*t - 4. Suppose 3*f = 2*q + 5, -f = -6*f + 3*q + 10. Is d(f) a prime number?
False
Let g(y) = -2 + 5*y - 2*y - 8*y - 2*y. Let b be g(2). Is (b - -13)*((-1774)/(-3))/(-2) composite?
False
Is -108497*((-77)/11 - 9/(-3) - 3) prime?
False
Suppose -144 + 2979 = 21*g. Is (-60)/g*-9 - (-231 + 0) a composite number?
True
Is (-2 - (-1934)/(-4))/((-45)/4230) prime?
False
Let q(w) = 384*w + 82735. Is q(0) a prime number?
False
Suppose -u + 3*o = -82580, -4*u - 4*o = 24698 - 354970. Is u a prime number?
True
Suppose 0 = 2*c - 1587 + 545. Let a = c + -284. Is a composite?
True
Suppose 4*y - 2440 = -8*b + 3*b, 0 = -b - 2*y + 494. Let g = b + 247. Is g a composite number?
True
Suppose 4*h - 3*h + 1265 = 0. Let g = 294 - h. Is g a composite number?
False
Let v(w) = w**3 - 5*w**2 - 4. Let a be v(5). Let i be 4467*(a + -1)/(-5). Suppose -i = -4*y + 4865. Is y composite?
False
Let u = 8393 + -20729. Let q = u + 18317. Is q a composite number?
False
Suppose -13*b - 13*b = -8*b - 400230. Is b prime?
False
Let k = -77 - -77. Suppose 4*x + 2*g = -2, -2*g - g - 3 = k. Suppose x = 3*n - 322 - 1817. Is n composite?
True
Let y(w) = 29712*w**3 + w**2 - 16*w + 16. Is y(1) a composite number?
True
Let y(k) = -28*k**3 - 10*k**2 + 46*k + 947. Is y(-22) a prime number?
False
Is ((-122)/(-183))/(2/1350483) composite?
False
Let k = 427669 + -36882. Is k prime?
False
Let p(v) = -9*v**3 - 10*v**2 - v + 3. Let m(j) = 7*j**3 + 8*j**2 + 2*j - 2. Let x(u) = 5*m(u) + 4*p(u). Let a(i) = i**2 - 6*i + 5. Let g be a(4). Is x(g) prime?
True
Let n be (-637)/14*1*-1556. Suppose 2*c + 5*z = 3*c - 35415, -2*c + 2*z = -n. Is c prime?
False
Let l(y) = -2*y**3 + 3*y**2 - 1. Suppose 3*h - 12 = 0, 0 = -5*o + 5*h - 6 - 19. Let k be l(o). Suppose -4912 - 3012 = -k*a. Is a a prime number?
False
Let z be 25796 - ((-144)/(-27) + (-4)/(-6)). Suppose -4*p + 25794 = 2*r, 36*r - 34*r - z = -3*p. Is r a composite number?
False
Suppose -4*h - 7929 = 3*k + 30781, 0 = -5*k + 4*h - 64474. Is 2/12*k*-3 composite?
False
Suppose 0 = 3*x - 0*x - 231. Let z = x - -57. Suppose z = -5*b + 419. Is b a composite number?
True
Let b = -490 - 73. Suppose 2*t + t = 2826. Let w = b + t. Is w a prime number?
True
Let r(a) = 7*a**3 + 88*a**2 + 43*a - 79. Is r(20) prime?
False
Let c(h) = -3235*h - 1. Let b be c(-3). Suppose 354*l + 64 = 370*l. Suppose -l*n - b = -12*n. Is n composite?
False
Suppose -6*s = -2*s - 144. Let d be (1 + 0 + (-6)/12)*s. Is ((-2382)/(-4))/(d/12) prime?
True
Let w(n) = -135*n**3 + 5*n**2 - 7*n - 95. Is w(-6) prime?
True
Let g be 1/((-2)/(-18)*-3). Let u be (g + -1)/(1*-2). Suppose 0 = -5*q + 2*w + 1267, 3*w + 61 = -u*q + 564. Is q a composite number?
True
Suppose -2 = -2*k + 5*v + 9, 29 = 4*k - 3*v. Let d(t) = -22*t**2 - 21*t - 182. Let l(w) = 10*w**2 + 10*w + 113. Let s(i) = -3*d(i) - 5*l(i). Is s(k) prime?
True
Let v = 146 + -141. Suppose v*x - 61680 + 22175 = 0. Is x composite?
False
Let i(m) = 536*m**3 - 6*m**2 + 5*m - 9. Is i(4) a prime number?
False
Let w = 7503 + -40. Is w composite?
True
Let u(j) = 2*j**2 + 5*j - 8. Let n be u(3). Suppose 26*b = n*b + 568. Suppose -o + 31 = -b. Is o a prime number?
True
Let d(n) = n**3 + n**2 + n + 1. Let y(l) = -4*l**3 - 7*l**2 + 6*l - 48. Let i(v) = 6*d(v) + y(v). Is i(13) a prime number?
True
Suppose 0*n - p + 1 = -2*n, -3*p + 11 = -2*n. Suppose 0 = 5*w - z - 781, n*w - 4*w + 315 = -3*z. Suppose 31 = k - w. Is k prime?
False
Let d = 46048 - 2181. Is d composite?
False
Let k(c) = 120*c**2 - 2*c - 18. Let p be k(-8). Let y = -5292 + p. Is y a composite number?
True
Is (25125496/44)/(4/(-2) + 4) a prime number?
True
Let q(x) = 5020*x**2 - 78*x + 17. Is q(-6) prime?
False
Suppose 4*p = -7*o + 6*o - 76212, -p - o = 19050. Let i = 30027 + p. Is i a prime number?
True
Let m(q) = -13*q**3 + 8*q**2 + 9*q - 2. Let g be m(8). Let z = 10157 + g. Let s = -2798 + z. Is s a composite number?
True
Let r = -8933 - -56950. Is r composite?
False
Let j = 687 + -678. Suppose -11955 = -j*v + 6*v. Is v prime?
False
Let z(i) = 29*i**3 + 19*i**2 - 113*i - 26. Is z(17) prime?
True
Let q(n) = 83*n - 11. Let m(b) = -8 + 0 + 7. Let r(s) = 3*m(s) - q(s). Is r(-13) composite?
False
Let y = -24491 + 94992. Is y a prime number?
True
Suppose 7*u - 312268 = -15*u. Suppose 3*a = -5863 + u. Is a a prime number?
True
Let o(c) = -57997*c + 1155. Is o(-16) composite?
True
Let v(x) = 39*x**2 - 99*x - 13. Is v(30) prime?
True
Suppose m + 8 = 4*g, 5*m - 9 + 27 = -2*g. Let c(v) = -1357*v + 7. Is c(m) a composite number?
True
Let q = 6850 - 3630. Suppose 4*h = 3*o - 6699, 5*o + 5*h - q = 7980. Is o a prime number?
True
Let q(y) = -y**3 - 11*y**2 + 15*y + 162. Is q(-37) composite?
False
Let g(q) = 62*q**2 + 5*q + 14. Let s be g(8). Suppose 5*a - b + 4*b = s, a = 4*b + 809. Suppose -k + a = -888. Is k composite?
False
Suppose -w = l + 325 + 485, 1617 = -2*l - w. Suppose 24 = -3*t + 5*t. Is 3/t - l/4 a composite number?
True
Is ((-121154)/5)/((-330)/825) prime?
False
Let k be 5*(4 - (6 + -2 + -1)). Suppose 15*m - k*m = 4390. Is m a prime number?
True
Let q(v) = 20*v**3 + 2*v**2 - 8*v - 3. Let z be q(4). Suppose -29 = 6*j - 53. Suppose 0 = j*g - z + 97. Is g a prime number?
False
Let a(c) = -41*c - 3*c**3 + c**3 + 34*c**2 + 3*c**3 - 73. Is a(-28) a prime number?
True
Suppose 6 = 5*g - 2*k - 15, -g + 9 = -2*k. Let t(d) be the first derivative of 17*d**4/4 + d**3 + 3*d**2/2 - 6*d - 1. Is t(g) prime?
False
Suppose 5*n = v - 5, 2*v + 4*n - 2*n + 2 = 0. Suppose -m - 5*i + 5844 = v, i = m - 7814 + 1994. Is 5 - 72/15 - m/(-5) a compo