 prime?
False
Let r(s) = 9937*s**2 + 171*s - 99. Is r(7) a prime number?
True
Let y(i) = -17*i**3 + 8*i**2 - 5*i + 385. Let a(s) = -6*s**3 + 3*s**2 - 2*s + 128. Let l(k) = 11*a(k) - 4*y(k). Let r be l(0). Let m = 290 + r. Is m prime?
False
Let v(z) = -162055*z - 1473. Is v(-2) a composite number?
True
Let y be (15/(-6))/(1/(-938)). Suppose -2*k - 5*s + 4*s = -y, 3*s + 2341 = 2*k. Suppose 4*x = -4*j + k, 0 = 3*x + x + 2*j - 1176. Is x composite?
True
Is (-260346)/(-4) + (-105)/12*82/(-287) prime?
True
Let f(s) = -12*s**2 - 5*s - 3. Let i be f(4). Let m = i - -1114. Is m a composite number?
True
Let s(i) = 26687*i - 24. Let o be s(14). Suppose 24*r - o = -2*r. Is r a prime number?
True
Let l(k) = -31789*k - 20. Let h = 41 - 42. Is l(h) a prime number?
True
Let j(t) = -t**3 + 47*t**2 + 40*t + 57. Is j(37) a prime number?
True
Let s be 251/2*(0 + 2). Let f = 546 + s. Is f a prime number?
True
Suppose 0 = -5*a - 0*a - 20. Let u(s) = -26 + 43 + 6 - 380*s. Is u(a) composite?
False
Suppose 4*x + 12 = 0, 5*x - 9*x - 101006 = -2*p. Is p prime?
True
Let m(o) = -2*o**2 + 9*o + 19. Let k be m(6). Is (1 + (-12)/(-9))/(k/51) prime?
False
Is (-15)/(-65) - (-2273341)/91 composite?
True
Suppose 5*q + 3*o = 1057718, 336*q - 335*q - 211538 = 5*o. Is q prime?
True
Suppose -4 - 2 = -2*n. Suppose -3*z = -5*c + 10629 - 2757, -n*c - z + 4712 = 0. Suppose 6174 = 4*d - 2*s, 2*d - 4655 + c = -3*s. Is d composite?
False
Suppose -1 = 2*i + 5*v, -4 + 9 = 2*i - v. Is (1/(-4))/(5/(-121480)*i) a composite number?
False
Let o(v) be the first derivative of 7*v**5/60 - 11*v**4/24 + 37*v**3/6 - 21*v**2/2 + 46. Let q(u) be the second derivative of o(u). Is q(8) a prime number?
True
Let n = -7 - -17. Let u(v) be the first derivative of 10*v**2 - 9*v + 127. Is u(n) a prime number?
True
Let t(g) be the first derivative of -2*g**2 + 16*g - 19. Let k be t(5). Let p(d) = -183*d - 11. Is p(k) a prime number?
False
Let r be 100/8*(-10)/(-25). Let a(n) = 1096*n - 19. Is a(r) prime?
False
Let u(g) = 208*g + 73. Let n(p) = -832*p - 292. Let d(y) = -2*n(y) - 9*u(y). Is d(-15) composite?
True
Suppose 2*q + o = 177783, q = -11*o + 14*o + 88888. Is q a composite number?
True
Let w(u) = u**2 + 17*u + 21. Let d be w(-16). Suppose -d*q = 35*q - 25880. Is q prime?
True
Suppose -38 = -6*q + 10. Suppose -m + q = m. Suppose -m*u - 415 = -4*x + 365, 0 = -3*u - 12. Is x composite?
False
Suppose 2*p + p = -i + 1909, 2*i - p = 3790. Let o = 4817 - i. Suppose 16117 = 3*t + o. Is t a composite number?
True
Let q(y) = -y - 1. Let u = -132 + 126. Let x be q(u). Suppose x*d - 904 = 726. Is d prime?
False
Let p = 19316 - -11616. Let g = p + -20001. Suppose g + 2718 = w. Is w composite?
False
Suppose 4*b + 43882 = 177842. Suppose -h = 10877 - b. Is h a composite number?
False
Suppose 5*d = s - 41190, -s + 12060 = 4*d - 29085. Is s composite?
True
Let v(l) = -3*l - 30. Let n = 48 + -57. Let c be v(n). Is (0 + 3)/9 + (-5126)/c composite?
False
Let r be (30/(-2 + 4))/(24/(-16)). Let s(z) = z**2 + 11*z + 7. Let q be s(r). Is 1805 + q + 2 + -3 a composite number?
False
Let r(h) = 33*h + 2648. Is r(-29) composite?
True
Is 509715 + 16/10*11/((-176)/40) a prime number?
False
Is (-20)/(-2) + (220629 - -72) a composite number?
True
Suppose 151941 + 1757670 = 9*u. Is u a prime number?
False
Let p(u) = 51*u - 24. Let g(n) = n**3 - 22*n**2 + 21*n + 5. Let i be g(21). Let q be p(i). Let s = 1634 - q. Is s composite?
True
Let v = -615565 - -1160202. Is v prime?
False
Suppose 79*u + 45*u - 163923908 = 148115768. Is u prime?
False
Let s = -3 + 7. Let j be (20/s)/5*-5. Let k(z) = -211*z + 24. Is k(j) a prime number?
False
Suppose -y + 363474 = -18629. Is y composite?
False
Let k(z) = -2*z - 27. Let r = -91 + 82. Let a be k(r). Is 3/a + (-616)/(-3) a prime number?
False
Suppose -232300 = 5*p - 1433257 - 565018. Is p prime?
False
Suppose -f - 14 = -3*s, 4*f + 0*f = 3*s - 47. Let z(c) = c**2 + 9*c - 17. Let o be z(f). Suppose -4*u = -o*u + 211. Is u composite?
False
Let v(m) be the first derivative of -30 + 35*m + 1/2*m**2 + 1/3*m**3. Is v(-23) a prime number?
True
Suppose 3*y + 85041 = 3*i + 6*y, 10 = -5*y. Let j = -18238 + i. Is j prime?
True
Let g be -5*(-9)/(180/16). Suppose 4*v = w - 13967, -2*w + 27923 = -v + g*v. Is w prime?
True
Let l = 128112 + 2191. Is l composite?
False
Suppose -2*v - 2*b = -5*b - 32379, 3*v = 3*b + 48576. Is v a prime number?
False
Suppose -69 = -7*a + 4*a. Let j = a + -23. Suppose j = -r + 842 + 717. Is r prime?
True
Let o(n) = -n - 10. Let u be o(-13). Suppose -16 = -u*q + 8. Suppose 9*p = q*p + 1499. Is p composite?
False
Let w = 221 + -219. Suppose -w*m = -3702 - 4952. Is m prime?
True
Is 9 - (-397658 - (-16 + 4)) a composite number?
True
Let i = 469 + -475. Let y(d) = 593*d**2 + 47*d - 9. Is y(i) prime?
False
Suppose -12*w + 3 = -11*w. Suppose 5*a = -w*t - 8, t + 9*a = 11*a + 12. Suppose -9*c = -t*c + p - 7040, -7035 = -5*c - 2*p. Is c a composite number?
False
Suppose 6466 = q + 2289. Is q a composite number?
False
Suppose -182*h + 911970 = -178*h - d, d = -3*h + 683981. Is h a composite number?
False
Let s(k) = -792*k + 751. Is s(-15) prime?
False
Let v(h) = -h**2 - 6*h + 24. Let p be v(-11). Let l(a) = a**3 + 33*a**2 + 18*a + 59. Is l(p) composite?
False
Suppose -4428 = -7*z + 10545 + 3080. Is z composite?
False
Let g = 38 + 3765. Is g composite?
False
Suppose 9*a - 12*a + 3 = 0, -3*a + 1731 = 2*c. Let t = -348 - -655. Let g = c - t. Is g a composite number?
False
Let r(t) = -4*t**3 - 2*t**2 + 3*t - 2. Let z be r(2). Let p be (-1 - 3)*27/z. Is p/12*1*1556 prime?
True
Let o = 72 - 69. Suppose o*q - 4*j = 3 - 2, -q = -5*j + 7. Is 10*4/72*q*111 a prime number?
False
Let o = 290641 + -99338. Is o prime?
False
Let a(h) = 31*h - 7. Let u be a(1). Is 70410/u - 6/8 a composite number?
True
Let d(z) = 4*z**2 - 4*z + 19. Let c = -78 + 84. Suppose -2*y + 14 = -c. Is d(y) prime?
True
Suppose 0 = 5*p - 16*y + 17*y - 568926, 0 = -2*p - 4*y + 227574. Suppose -24*m + p = 9793. Is m prime?
False
Let v(z) = -9164*z**3 - 34*z**2 - 100*z - 13. Is v(-3) prime?
True
Let s(u) = 18*u**2 + 17*u**2 - 77*u**2 - 48*u**3 + 29*u**2 - 1 + 7*u + 10*u**2. Suppose 0 = -4*x - d - 16 + 3, 5*x = 3*d - 29. Is s(x) a prime number?
False
Let h be -26 + 3 + 17 + -12. Is 157996/(-6)*27/h composite?
False
Let o(t) = -1177*t**3 + 1179*t**3 + 72 - 6*t**2 - 30*t - 13. Is o(18) a composite number?
False
Is ((-3134)/8)/(9/(-1044)) - (-4 + -2) composite?
True
Let n(v) be the first derivative of -43*v**3/3 + 3*v**2/2 - 5*v - 1. Let m be n(4). Let j = 1304 + m. Is j a prime number?
False
Let m(f) = 730*f - 2101. Is m(72) a composite number?
False
Suppose p = 2*q - 21, 0 = 3*q - 0*q + 5*p + 1. Suppose 24 = -8*h - q. Is (2 + (-834)/8)*h a prime number?
True
Let o be 12/(-18)*(-19 - (1 - -1)). Is ((-35)/o + 3)*1042 a prime number?
True
Suppose -4*q + 5*t + 74598 = -151903, -2*q + 2*t + 113252 = 0. Is q a prime number?
True
Suppose 4*k - 76335 = -5*m + 50353, 0 = 4*k + 2*m - 126700. Is k a composite number?
True
Suppose 2*d - 48*g - 31898 = -52*g, 5*d + 3*g = 79710. Suppose d = s - 2*u, -31868 = -2*s + 5*u - 3*u. Is s a composite number?
True
Let d = 59 + 200. Suppose 0 = 265*z - d*z - 109194. Is z composite?
False
Let t be (-5786)/(-33) + 4*1/6. Let y = t - 103. Let i = -39 + y. Is i composite?
True
Let d(c) = c**3 + 6*c**2 + 5 + c**3 + 45*c - 47*c. Is d(5) prime?
False
Suppose 24 = 7*r - 8*r. Is ((-20144)/r)/(4/6) a prime number?
True
Let u(j) = -j**3 + 4*j**2 + j + 2. Let r be u(4). Suppose r*n - 10 = n. Suppose 3*f - 124 = -5*t + 309, 5*f = -n*t + 158. Is t composite?
False
Suppose 4*a - 526 - 2806 = 0. Let i = a - 304. Is i prime?
False
Let f(w) = 15*w**3 - 11*w + 8. Let v(g) = 44*g**3 + g**2 - 32*g + 24. Let b(q) = -8*f(q) + 3*v(q). Is b(5) a composite number?
False
Let c = -4 - -2. Is (18536/16)/((-1)/c) prime?
False
Let v = -275 - -278. Suppose 28536 = 3*j + v*d, d - 38045 = j - 5*j. Is j a composite number?
False
Suppose 3*w + 20784 = 4*w + 3*o, -2*o - 104005 = -5*w. Suppose h + 2*c - 20791 = 0, h - 18*c + 22*c - w = 0. Is h a composite number?
True
Let x(j) be the third derivative of 1/60*j**5 + 0 + 0*j + 203/6*j**3 - 6*j**2 - 1/12*j**4. Is x(0) a composite number?
True
Let y(k) = 4*k - 2. Let c be y(1). Suppose 5*z = -2*q + 30, -6*z + 3