+ 54. Let n be g(-6). Let p = n - s. Is p a prime number?
True
Suppose 5*t - 116153 = k, 5*t - 8*k + 5*k - 116149 = 0. Let p = t - 14800. Is p prime?
True
Let d(m) = -9*m - 59. Let p be d(-7). Suppose 0 = v + 4*u - 893, 0 = p*v - 0*v + u - 3557. Is v composite?
True
Let q(k) = 2*k**3 + 745*k**2 + 16*k - 127. Is q(-66) a prime number?
False
Let o(l) = 79*l**3 + 3*l**2 - 13. Suppose -29*f + 32*f - 9 = 0. Is o(f) a composite number?
True
Let i(k) = 70*k**2 + 21*k + 249. Is i(-10) a prime number?
True
Suppose 4*f + 7 = i - 6, 4*i + 4*f = -8. Let t be (-16)/36*6*-3*i. Suppose -t = b - 5*k - 416, 0 = -3*b + 5*k + 1234. Is b a prime number?
False
Let a be 14169/12 - (-4)/16. Let v(k) = -125*k + 17. Let f be v(5). Let q = f + a. Is q prime?
False
Let g(x) = 887*x**3 + 5*x**2 + 16*x + 7. Let r(b) = -443*b**3 - 2*b**2 - 9*b - 4. Let z(l) = 3*g(l) + 5*r(l). Is z(3) composite?
False
Let a(q) = 38606*q**2 + 781*q - 1563. Is a(2) a composite number?
False
Let r(q) = 62*q + 2. Let j be r(5). Let d(h) = 244*h - 729. Let y be d(3). Suppose -5*c + 3*c = k - j, y*k = c - 163. Is c prime?
True
Let r = 1042562 + -684531. Is r composite?
False
Let n be 52/((-11)/((-10758)/12)). Suppose 19*p + 7*p - n = 0. Is p a prime number?
True
Let j = -19735 - -42774. Is j a composite number?
False
Suppose 20050 = -5*h - 4*b, -3*b + 10 + 5 = 0. Let p be 1/((-2)/h) + 2. Suppose -4*v = -1347 - p. Is v a composite number?
False
Let v(i) = i**3 - 5*i**2 + 8*i - 4. Let f be v(3). Let d(u) = 3*u**2 + 5*u**f + 16 - 4*u - 3*u**2. Is d(-5) a prime number?
False
Let x = 466 - 457. Suppose 7*h = -3*v + x*h + 1451, -v = -2*h - 481. Is v composite?
True
Let w = 293303 - 162100. Is w a composite number?
False
Suppose -6 = -2*u + 496. Suppose -482 = -v + 5*f, 2*f - 1024 = -2*v - 3*f. Let d = v - u. Is d prime?
True
Suppose -13*a + 22053 = -282868 + 34664. Is a a prime number?
True
Let w(d) = d**3 - 3*d**2 + 10*d + 3. Let p be (48/(-4))/4 + 4 + 10. Is w(p) a composite number?
True
Let v(b) be the third derivative of 2*b**5/5 - 17*b**4/24 - 9*b**3 - 3*b**2 - 39*b. Is v(-5) a composite number?
False
Let l be (-6)/4*(-70)/21. Suppose -1064 = -5*z + l*q + 1031, -3*z + q = -1249. Let r = z + -230. Is r prime?
False
Suppose 6*p - 519 = 801. Let d = p + -71. Is d a prime number?
True
Suppose 6*h = 20*h - 56. Let z(x) = 252*x**2 - 2*x - 15. Is z(h) a composite number?
True
Let s(w) = -9*w - 8. Let l be s(2). Let n = l + 29. Suppose 0 = -n*p + 68 + 37. Is p composite?
True
Let p(m) = m**3 - 4*m**2 + 2*m - 9. Let z be p(4). Is 143 - (3 + -8 + z) composite?
False
Suppose 7*q - 95 = -11. Suppose 3*c = a + 35335, 11*a = q*a + 4. Is c composite?
False
Let j = 175756 + -115037. Is j prime?
True
Let v be ((-55)/(-10) - 5)*66/3. Let b(i) = 580*i + 41. Is b(v) a composite number?
False
Suppose 3*a + 5623 = 2*i - 13324, 3*i + 2*a = 28388. Suppose 10*n + 23636 = 5*n - 2*f, -2*n + 5*f - i = 0. Let u = n + 8569. Is u a composite number?
True
Let q(d) = -564*d**3 + 11*d**2 + 25*d + 121. Is q(-7) prime?
True
Let v be 6/1 - (-4 + (0 - -1)). Suppose 44 = v*g + 8. Suppose 5*u = 4*t + 1495, 394 + 833 = g*u + 3*t. Is u prime?
False
Let a = 37632 - -208364. Suppose 38*u - a = 187242. Is u a prime number?
False
Let z = 18399 - -1629. Suppose 0 = -4*c - z + 79096. Is c a composite number?
False
Suppose 0 = 16*u + 24*u - 128560. Let k = -1558 + 2971. Let h = u - k. Is h a composite number?
False
Suppose -46*g - 47946 = -333928. Is g a prime number?
True
Suppose -5*h + 29 = -26. Let l(f) = 40*f + 53. Let u be l(h). Suppose -80*i + 79*i = -u. Is i prime?
False
Let b(q) = 2998*q**2 + 60 - q + 3*q - 57. Let d be b(-1). Suppose 5*s = d + 496. Is s a prime number?
False
Let k be -3*1/(-8) + (-3)/8. Suppose k*q = 2*q - 3*s - 8165, 4*q + 3*s = 16357. Is q a composite number?
True
Let z(a) = 5*a**3 + 12*a**2 + 4*a + 4. Let l be z(-8). Is 8 + (-2 - 3) - (l + 0) composite?
False
Let m = 24 - 10. Suppose m = 9*n - 7*n. Suppose -2*z = -n*z + 13025. Is z a composite number?
True
Let l = 136841 - 80671. Suppose 37*u - l = 27*u. Is u a prime number?
False
Let z(i) be the third derivative of 63*i**5/20 - i**4/8 - i**3/6 - 88*i**2 + i. Is z(-1) composite?
False
Let v(q) = -6*q - 45. Let f be v(-8). Suppose f*t + 7 = -4*u, 4*t + 5*u = 2*t. Let l(p) = 33*p**2 - 2*p. Is l(t) prime?
False
Suppose -6 = -3*u + b + 9, -2*u + 5*b = -23. Suppose -3*h - 14051 + 2022 = -2*o, -u*o + 24013 = 3*h. Is o prime?
True
Let u(i) = -48*i**3 + 22*i**2 + 28*i - 25. Is u(-8) composite?
True
Let f be ((-36)/(-60))/((-2)/(-30)). Let v(x) = 73*x - 14. Let n be v(f). Suppose 5*r + g + 81 = 1138, -3*r - 5*g = -n. Is r a composite number?
False
Let c(g) be the first derivative of g**6/360 - 17*g**5/120 - 47*g**4/24 + 38*g**3/3 - 31. Let n(f) be the third derivative of c(f). Is n(-25) a prime number?
False
Let q = 25 + -23. Suppose -q = -a - 14. Is a/(-24)*(7 + -1) prime?
True
Let y = -521 + 496. Let r(d) = 13*d**2 + 19*d - 8. Is r(y) a composite number?
True
Let z(a) = -13*a**2 - 31*a + 30. Let p be z(1). Let x(b) = 9*b - 77. Let f(c) = -5*c + 39. Let i(j) = 5*f(j) + 2*x(j). Is i(p) a prime number?
True
Suppose 5*j = 2*j + 18015. Suppose j = 9*s + 182. Is s prime?
True
Suppose 0 = 2*z - 3 - 3, -t - 13 = -5*z. Let l be (-3129)/t*(-150)/45. Suppose 7*c = 12*c - l. Is c a prime number?
False
Suppose -2*r + 18816 = -4*w, 6*r - 5*w - 9405 = 5*r. Suppose -2*v - 3*v + r = 0. Is v a prime number?
False
Suppose 3*h = 4*a - 4669, -5*h - 5*a + 1784 = 9624. Let k = 7880 + h. Is k composite?
False
Let x = 26653 + 34640. Is x a composite number?
True
Suppose -2934*g - 15656526 = -2952*g. Is g composite?
False
Let b(l) = 13292*l - 249. Is b(8) a composite number?
False
Suppose 5*t + 3*l + l = 42, 3*t - l - 32 = 0. Suppose -r - 330 = t*r. Is ((-85356)/r)/((-2)/25*-5) a prime number?
False
Is 4/28 + (-12 - 866525/(-35)) prime?
False
Let v = -47 - 115. Let x = 625 - v. Is x composite?
False
Let v(n) = 11*n + 115. Let p be v(-10). Is 40/p + -13 + 2258 a composite number?
True
Suppose -4*g - 13*g - 68 = 0. Is g/((-36)/(-2661))*-3 a composite number?
False
Suppose 0 = 4*o + 2*t - 42, -10 = -3*o - 4*t + 24. Is o/(40/25426)*2 a prime number?
True
Let u(o) = -9*o - 18 + 8*o**2 - 15 - o**2. Is u(-8) prime?
True
Let j(p) = -10*p - 190. Let m be j(-19). Let q(g) = 2*g**3 + 3*g + 2183. Is q(m) prime?
False
Suppose -299*h + 302*h - 1030783 = -5*g, 4*g + 3*h - 824630 = 0. Is g a prime number?
True
Suppose 252 = 25*b - 11*b. Suppose -762 = b*q - 20*q. Is q composite?
True
Let l(o) be the third derivative of 5*o**4/24 - o**3/2 - 13*o**2. Let i be l(1). Suppose 469 = i*m - m. Is m prime?
False
Let t(f) = f + 17. Let a(i) = 2*i + 18. Let v(q) = 2*a(q) - 3*t(q). Let k be v(7). Is (-15)/25 + 937*k/(-10) prime?
False
Let q(x) be the second derivative of x**4 + 4*x**3/3 + 17*x**2/2 + 6*x - 3. Is q(-10) a prime number?
False
Let h(a) = 135*a**2 + 14*a + 15. Let t(v) = 90*v**2 + 9*v + 10. Suppose -p - g = 6, p - 4*g = g - 12. Let q(m) = p*t(m) + 5*h(m). Is q(-4) a prime number?
False
Suppose 30*j = 34*j - 16. Suppose 0*b + 4*b + 2*t = 586, -2*b + j*t = -318. Is b a composite number?
False
Let c(l) = 56*l**3 + 22*l - 13. Suppose -5*s = -8*s - 3*z + 21, -4*s + 5*z = -1. Is c(s) a composite number?
False
Suppose 0*h + 832 = 2*h. Suppose -h = -c + 3*i, -5*c + 2*i = -3*i - 2100. Is (2/4)/(1/c) a composite number?
False
Let i = 47158 - 33413. Is i a prime number?
False
Let n(j) = -531*j - 475. Let w(y) = 796*y + 711. Let k(b) = 7*n(b) + 5*w(b). Is k(39) prime?
True
Let i be 1 - (-41296 + 20/(-4) + 9). Suppose -i - 27547 = -8*k. Is k a prime number?
False
Let y(f) = 5183*f - 1361. Is y(9) a composite number?
True
Let v(b) = 1 - 25 + b + 0*b**2 + 3*b**2 + 8*b. Let j be v(11). Let f = j + -151. Is f composite?
True
Is 945434*(50/20 + -2) prime?
False
Let c(i) = -42531*i**3 + i**2 + 126*i + 243. Is c(-2) a composite number?
True
Suppose v + 4*y - 6103 = 7071, -y = -v + 13194. Suppose -8*p - v = -10*p. Is p a composite number?
True
Let o be 2 + -7 + 2 + 4. Let k be 1918 - (3 + -5 + o). Let v = -448 + k. Is v composite?
False
Let m(j) = 180*j - 319. Let a be 9/36 - 67/(-4). Is m(a) a prime number?
True
Let t(a) = -9930*a + 227. Is t(-60) a prime number?
True
Suppose 0 = -42*j + 16*j + 130. Suppose -q = 2*p - 90924 - 29