 - 96822. Is b composite?
True
Let s(b) = -b**3 + b**2 + 1. Let h(w) = 5*w**3 + 5*w**2 + w - 15. Let q(v) = h(v) + 6*s(v). Let t be q(11). Suppose 37 = t*m - 15. Is m prime?
False
Suppose 13*l = i + 15*l - 4864, -2*i + 5*l = -9773. Is i composite?
True
Let q = -2 - 10. Let u be (0 + 3)*q/(-12). Is 260/3 - (-1)/u composite?
True
Let h = -102371 - -145458. Is h a prime number?
False
Let x = -3 + 3. Let d(g) = g**3 - g**2 - g + 157. Let i be d(x). Let o = i - 70. Is o a prime number?
False
Suppose -2*k + 15 = 5. Suppose 712 = 4*p - k*f - 1075, 2*f = -6. Is p a composite number?
False
Suppose 1078573 = 227*r - 208*r. Is r prime?
True
Let v(n) = 125*n**3 + n**2 + 3. Is v(2) prime?
False
Suppose 3*h = -2*i + 126812, i - 36303 - 27102 = -2*h. Is i prime?
True
Suppose 9*k - 12*k + 12 = 0. Suppose 4*i - 2*i - k*q - 616 = 0, -i + 4*q + 318 = 0. Is i a prime number?
False
Suppose 2*d = -3*d + 5. Suppose 4*a = 4*j - 492, -2*a + 7 = -d. Is j composite?
False
Suppose 2 - 1 = -p. Let f(s) = -s - 16. Let a(w) = -w + 1. Let h(m) = p*f(m) - 5*a(m). Is h(7) prime?
True
Let r be 17/(-3) + (-2)/(-3). Is (-778)/r + 1 + 14/35 a composite number?
False
Let z = 38 + -34. Suppose -z*f + 781 = -3*p, -6*p + 418 = 2*f - 2*p. Is f a prime number?
True
Suppose 4*w - 3*w - 5 = 0. Suppose 689 = w*d - 1356. Is d prime?
True
Let q = 18 + -13. Let x(y) be the third derivative of 4*y**5/15 - 7*y**4/24 + y**3 - 130*y**2 - 2*y. Is x(q) prime?
False
Suppose 4*l + 6 = -3*h + 2*l, -3*h - 6 = l. Is ((-8338)/(-33))/(h/(-6)) prime?
False
Let v = 10251 - 3652. Is v a prime number?
True
Let n = -31 + 36. Is 230*(-1)/(-10)*n a composite number?
True
Suppose 27*a - 25*a = 14152. Suppose -2*j - a = -5*j - 5*w, -5*j = -2*w - 11783. Is j prime?
True
Suppose 3*x = 0, 2*k - 5398 = 4*x + 44992. Is k a prime number?
False
Suppose -11 = -h - 7. Suppose -h*s - 2*g = -828, s + g - 4*g = 193. Is s composite?
True
Let n = -21478 + 58649. Is n composite?
False
Let d(z) = 136*z - 17 + 10 + 4. Is d(4) prime?
True
Let n = -6 - -8. Let d be 14 - (3 + 0/n). Is (14/(-4))/(d/(-154)) a composite number?
True
Let n(y) = 34*y**2 - 3*y + 2. Suppose 0 = 2*f - 3*f. Suppose f = -0*r + 3*r + 9. Is n(r) prime?
True
Let s(d) = 125*d**2 - 47*d + 5. Is s(12) prime?
False
Let y(s) be the first derivative of 3*s**2 - 20*s + 11. Is y(13) a prime number?
False
Suppose 6*z - 7*z + 4063 = 0. Is z a prime number?
False
Suppose 8*c = 4*c. Suppose c = 5*k - 3*u - 13, 2*u + 8 = 3*k + 1. Let h(m) = m**3 - m**2 + 3*m - 6. Is h(k) composite?
False
Let m(v) = 7*v**3 + 4*v**2 - 9*v + 1. Is m(2) composite?
True
Let r(t) = 12*t - 9*t - 4*t - 9. Let p be r(-13). Suppose 2*k - 714 = -p*k. Is k a composite number?
True
Let u be (-4)/30 - 231/(-45). Suppose u*y - 5*f = 2 + 33, 0 = -y + 4*f + 19. Suppose -4*p + 3*b = -1067, -y*p - 5*b - 116 = -880. Is p a prime number?
True
Let k(u) be the second derivative of 5*u**4/6 + 4*u**3/3 - 3*u**2/2 - u. Suppose 1 = h - 4*b, 3*b - 6 + 5 = h. Is k(h) composite?
False
Let c(v) = 272*v - 74. Is c(18) composite?
True
Let q(z) be the third derivative of -7*z**4/8 + z**3/6 - 4*z**2. Is q(-10) a composite number?
False
Let h(b) = -6 - 3*b + 0 - 41*b. Is h(-5) a composite number?
True
Let k be ((-10)/6)/(3/(-414)). Let q = 383 - k. Let a = q - 4. Is a prime?
True
Let h = -84 + 86. Is h/3 - (-11875)/57 composite?
True
Suppose 0 = -2*a - m + 1230, 0 = -a - 2*m - 0*m + 618. Is a a composite number?
True
Let z be ((-6)/(-4))/(15/(-1960)). Let q = z + 558. Suppose -2*h + 5*r - 74 = -q, 5*r - 10 = 0. Is h prime?
True
Suppose -i = -3*u + 226261, 82*u - 84*u + 150850 = -3*i. Is u prime?
False
Let z(s) = -s**2 + 4*s. Let b be z(4). Suppose b = 2*d + 2*d - 16. Suppose 0 = d*p - 210 - 266. Is p prime?
False
Let a be (-1)/3*-9 + -1. Suppose 0 = a*f + 4*f - 24. Suppose -4*o = -s + 1609, 0 = -f*o - 9 - 11. Is s prime?
False
Is (-36)/(-30) - 83916/(-20) a prime number?
False
Let n(h) = h. Let j(b) = 5*b**2 + 13*b - 5. Suppose -5*c - 63 + 13 = -4*x, 2*x - 28 = 3*c. Let q(y) = c*n(y) + j(y). Is q(8) a composite number?
True
Suppose 0 = 4*u + u - 10. Let i(d) = 5 + 6 + 53*d + u. Is i(6) a composite number?
False
Suppose -9*k + 4916 = -5*k. Suppose -2*f - 409 - 2 = -a, k = 3*a - 2*f. Is a composite?
False
Let r(d) = 3*d**2 + 40*d + 17. Let l be r(-13). Suppose -c = -3, 0 = l*g - 4*c - 5599 + 1319. Is g a prime number?
False
Suppose 3*w - 6*w + 3*a + 18312 = 0, -4*a + 18291 = 3*w. Is w prime?
True
Suppose -w - m + 9 = -16, -93 = -4*w + 3*m. Is (-9)/w - 19672/(-64) a composite number?
False
Let v = 153 + -86. Suppose -4*b = 7 - v. Is 6/4*460/b prime?
False
Suppose l - 71081 = 2*g - 25682, g = 5*l - 226986. Is l a prime number?
False
Let a(y) = -2*y + 14. Let k be a(7). Suppose -8*q + 1164 + 2092 = k. Is q composite?
True
Is -5 + 783 + 0 + 3 composite?
True
Let y(k) be the second derivative of 29*k**4/3 - k**3/6 - 4*k**2 - 15*k. Is y(-3) a prime number?
True
Let q be (12/10)/(235/50 - 5). Let o(h) = 25*h**2 - 3*h + 7. Is o(q) composite?
False
Suppose -4*a + 2*v = -v - 9, 3*v - 15 = 0. Suppose -a*f = -3*f - 7899. Is f a composite number?
False
Suppose -2*b + d + 10 = 1, 5*d = -4*b + 11. Let z(u) = 32*u**2 + 3*u + 5. Is z(b) a composite number?
True
Let q(f) = f**2 + 4*f - 17. Let m be q(21). Suppose -3*y = -5*y. Suppose -8*z + 4*z + m = y. Is z a composite number?
False
Let d = 2167 + -1314. Is d composite?
False
Let y(i) = -5*i + 5. Let l be y(4). Let p = l + 16. Is 8/(-4) - p - -82 a prime number?
True
Let w(c) = 2*c + 3. Let b be w(-7). Let j(a) be the third derivative of a**6/120 + a**5/5 + a**4/4 + 5*a**3/3 + a**2. Is j(b) a composite number?
True
Is (2439/(-45) - 11)/(2/(-15)) a prime number?
False
Is 4/10 - 2337/(-95) a prime number?
False
Suppose -88017 - 35909 = -22*j. Is j prime?
False
Suppose 3*w - 4*w + 17699 = 2*s, 2*s = -8. Is w a composite number?
False
Let a(m) = -68*m**3 + 4*m**2 + 8*m + 19. Is a(-3) prime?
True
Let p(n) = -27*n + 15727. Is p(0) composite?
False
Suppose -1055*l + 26294 = -1053*l. Is l a prime number?
True
Suppose 4*s = 43*s - 76011. Is s a prime number?
True
Suppose -391 = -8*u + 7*u. Let k = u + 2. Is k composite?
True
Let i = -10 + 12. Let t be (-6)/2 - (-610)/i. Is -4 + 1 + (t - 6) a prime number?
True
Let o(a) = 6*a**2 - 13*a + 183. Is o(16) a composite number?
False
Let z(u) = 10*u**2 + 35*u + 200. Is z(63) prime?
False
Suppose -7*s = -2*s - h - 78, 2*s + 5*h - 42 = 0. Let f = -14 + s. Is (-303)/(-1) - 8/f a composite number?
True
Suppose 0 = 5*p + 5*r + 15, 11 = -0*p - 3*p - 2*r. Let w be (56/p)/((-2)/(-10)). Let g = -33 - w. Is g a prime number?
True
Let w(u) = -2*u**3 + 97*u**2 - 39*u - 157. Is w(47) prime?
True
Let p(k) = -6*k**3 + k**2 + 5*k - 1. Suppose -2 = -3*y - a - 18, -5*a = -5*y. Is p(y) prime?
True
Let g(n) = -11*n**3 + 9*n**2 + 8*n - 6. Let w be g(-6). Let k = w - -35. Is k a composite number?
True
Suppose 4*w = -i + 18672, 0 = 5*w + i + 7666 - 31005. Is w a prime number?
False
Let b be (-45)/(-5) + -3 + -2. Is 5 - b - (-6546)/(9/3) a composite number?
True
Let c = -5170 - -8627. Is c prime?
True
Let w(q) = 9*q**2 + 28*q + 188. Is w(39) a composite number?
False
Let g(s) = 50*s**3 + 8*s**2 - 34*s + 9. Is g(5) composite?
True
Let u(v) = v**3 - 6*v**2 - 9*v + 5. Let n be u(7). Let l = -4 + n. Let f = l - -126. Is f prime?
True
Suppose 6*q = 9 + 21. Suppose q*h = -149 + 1404. Is h composite?
False
Suppose 11*t = -35 + 57. Let p be 5 + (-2 - -2) + -1. Suppose -t*n + 58 = -p. Is n prime?
True
Let f(k) = -5*k**2 - 6*k + 8. Let n(z) = 6*z**2 + 6*z - 9. Let l(q) = 4*f(q) + 5*n(q). Is l(-9) prime?
True
Suppose 110 = -2*s + 2*d, -3*s - 5*d = 102 + 95. Let i = s + 166. Let f = -24 + i. Is f composite?
False
Let o(j) = -j**2 - 9*j - 2. Let c be o(-8). Suppose -c*t + 12 = -6. Is ((-254)/(-4))/(t/6) a composite number?
False
Let f = 2 + -4. Let g = 6 + f. Suppose 0 = -p - 5*c + 73, -g*p = -c + 6*c - 232. Is p a composite number?
False
Let w = 10517 - 6180. Is w a prime number?
True
Suppose f + 2 = -2*n - 6, -f - 4 = n. Suppose -2*o - 3*o + 1105 = f. Is o a composite number?
True
Suppose 5*p + 2558 = 3*q, -3*q + 3*p - 663 + 3219 = 0. Is q composite?
True
Suppose 8 = -4*t - 5*b, -35 = -10*t + 5*t + 5*b. Is (5 - t)/(-2) - -614 composite?
False
Let z = -19 + 19. Suppose 4*n + z*n - 10 = -x, 2*x