**2 - 13*r - 55 - 113 + 37. Is s(-7) a composite number?
True
Suppose 35 = -5*h + 5*k, 3*k - 40 = -25. Is 1/h*(-24 - 36770) a prime number?
True
Let g = 1777103 - 1249762. Is g prime?
False
Is (-30)/75*3011565/(-6) a composite number?
False
Let q(b) = 7*b**2 + 17*b + 253. Let m be q(-29). Suppose -w + 1168 = 5*o, -m = -4*w - o - 994. Is w prime?
True
Suppose -1681497 - 3147260 = -97*c. Is c a prime number?
False
Suppose 55*n - 20838506 = 41573459. Is n a prime number?
False
Suppose -2*y - 4 = 2*f - 0*f, 8 = f - 4*y. Suppose f*v = -v - 3862. Let w = -1703 - v. Is w a composite number?
True
Let s(a) be the second derivative of 545*a**3/6 - 2*a**2 - 27*a. Is s(3) a composite number?
True
Let r(j) = 4*j**2 + 32*j - 426. Let s be r(7). Let h(n) be the third derivative of -n**6/40 + 5*n**4/24 + 17*n**3/6 + n**2. Is h(s) prime?
False
Let j = -54480 - -101207. Is j composite?
False
Let w = -25875 - -37226. Is w composite?
False
Let j be 2/(((-24)/123)/4). Let x = j + 41. Is x - (8254/8)/((-4)/16) prime?
True
Is ((-4)/(32/(-26)))/(149235/37308 - 4) a prime number?
False
Suppose 33*q + 1146736 = 1809555 + 3033808. Is q a prime number?
True
Let a = 606152 - 232003. Is a a composite number?
False
Suppose -36*g + 819810 = -995202. Is g a prime number?
True
Let s(t) = -107*t**3 - t + 1. Let l be s(1). Suppose 6*z = -232 + 2380. Let h = l + z. Is h prime?
True
Let b be (0 - 18/(-45)) + (-8)/(-5). Suppose 20952 + 13884 = 4*w - 4*z, -17418 = -b*w + 4*z. Is w a composite number?
True
Suppose 4*c + 3126 - 1106 = 0. Let z = 217 - 924. Let s = c - z. Is s a composite number?
True
Let h(n) = 4*n + 18*n - 3*n + 12*n**2 + 8. Is h(9) composite?
False
Suppose 0 = 3*j + 12*u - 211965, -3*u = -j - 2*u + 70635. Is j a composite number?
False
Let n(t) = 28*t - 13. Let b be (-20)/((10/4)/(-5)). Suppose 0 = -5*s + b + 15. Is n(s) a prime number?
False
Let d(y) = y**2 - 7*y + 5. Let i be d(7). Is (i/7)/(-5) + (-1080)/(-14) prime?
False
Suppose 147*k + 1653 = 150*k. Suppose -4*f - h = -3505, 2*h - 1197 = -2*f + k. Is f a composite number?
False
Let o = -297 + 295. Is (12 + (-484 - 6))*1/o a prime number?
True
Let y(n) = -33*n**2 - 8*n - 5. Let h be y(-3). Let p be (-3648)/(-9) - (-1)/(-3). Let s = p + h. Is s a prime number?
True
Let c = 35077 - -34630. Is c a prime number?
False
Let x = -1635 - -2106. Is x prime?
False
Let y(z) = 4810*z**3 - 3*z**2 - 25*z + 73. Is y(3) a composite number?
False
Suppose 3*b - 17 = 2*g, 0 = -4*b + 2*g - 0*g + 26. Let q(v) = -v**3 + 22*v**2 - 10*v + 19. Is q(b) prime?
False
Let c = -4 + 6. Let j be c - ((-3)/21 + (-56)/(-49)). Let v(g) = 68*g**3 + g. Is v(j) prime?
False
Let d be 0/((-10)/5 - 0). Suppose d = -4*g - 4*a - 16, 5*a + 8 = 4*g - 6*g. Is (0/g - (-5 - -2))*293 a prime number?
False
Suppose -5*r + 8188 = m, 2*m + 3947 = 2*r + 667. Let x = -1136 + r. Let a = x - -17. Is a composite?
True
Suppose 0 = -3*c - 12, 5*z - 2*c - 76 = 17. Suppose -z*s + 9760 = -19803. Is s composite?
True
Suppose 0 = 7*b - 8*b + 26. Let s = 29 - b. Suppose -7*h + 7751 = -s*h - r, -5*r = h - 1964. Is h a prime number?
False
Let d = 24 + -17. Suppose -n + 3*n = l + 9104, 3*n - 3*l - 13650 = 0. Suppose -d*z + 1025 + n = 0. Is z a prime number?
True
Let q(d) = -231*d**3 + 5*d**2 + 3*d + 12. Let a be q(-4). Suppose -4*h + 19949 + a = 5*s, -3*h - 5*s = -26106. Is h a prime number?
True
Let u(i) = 18*i**2 - 2*i + 3. Let q(x) = x**2 + 16*x + 2. Suppose -2*f + 4*f + 23 = -3*m, m + 13 = -f. Let w be q(f). Is u(w) a composite number?
False
Let m be 14/2 + -3 + 6. Suppose 5*c - 25 = m. Suppose 4*r + 2410 = 2*y, -2*r - 5950 = -5*y - c*r. Is y composite?
True
Let a(o) = 1604*o**2 - 142*o - 1049. Is a(-8) composite?
True
Suppose -26*y + 1262731 = -2219075 + 571444. Is y prime?
False
Suppose -2*z + 44 = 66. Let i(g) = -37*g - 118. Is i(z) composite?
True
Suppose -3*a = -5318 + 1235. Suppose 16*s + a = 17*s. Is s a prime number?
True
Suppose -15*y + 63 = -12. Suppose 8*r - 3*r = 0. Suppose -5*a = -y*l + 8650, -3*l - 3*a + 4*a + 5196 = r. Is l composite?
False
Let p(k) = -10*k**2 - 13*k - 14. Suppose m = 2*m + 4*d + 24, -4*m - 2*d = 40. Let w be p(m). Is 0 + 1 - (-6 + w) a composite number?
False
Suppose 0 = 2*p + 14922 + 4634. Is 63/(-42)*p/3 a prime number?
True
Let r be ((-32)/(-10))/((-4)/50). Let v = r + 40. Suppose v = x, 0*m - 1439 = -m - 4*x. Is m a prime number?
True
Let y(i) = 13*i**2 - 8*i - 17. Suppose -4 = 5*n - t, -5*t = 5*n - 8 - 12. Suppose n*p + 3*p = 6, 5*m - 34 = 3*p. Is y(m) a composite number?
False
Suppose -4*k + 295865 = 5*x, -4*x - 15*k + 20*k = -236692. Is x prime?
False
Suppose h + 20 = 5*l, 5*h + 244 - 86 = -4*l. Is h/315 - (-40301)/21 a composite number?
True
Let p = 13059 - -2368. Suppose 4*t = -4*o + p + 7009, -o = 2. Is t a prime number?
False
Suppose 12*c - 5*c - 373072 = 0. Let b = -37473 + c. Is b prime?
True
Let d = -17448 + 150943. Is d prime?
False
Let v(n) = -n**2 - 10*n + 64. Let p be v(4). Suppose p*g + 3*s = 5*g + 57084, -19040 = -g + 3*s. Is g composite?
False
Let w be (16/(-28))/((-7)/((-49)/(-2))). Suppose -o + w = -14. Is (-2409)/(-12) - (44/o + -3) prime?
False
Let r = 1041905 + -395338. Is r prime?
False
Suppose 13*i = 17*i - 31312. Let u = i - 2681. Is u a prime number?
True
Suppose 2*h - 3925 - 4641 = 0. Is h composite?
False
Suppose y - 12 = -2*n, 12 = -0*y + 3*y. Suppose -4*p - 2612 = -3*k + 509, 2 = -2*p. Suppose 2*j + n = 0, 5*v + 2*j + j - k = 0. Is v prime?
False
Let a be 6/4*(-23420)/(-15). Let s = a - 945. Is s prime?
False
Suppose -3545904 - 18730910 = -58*m. Is m a composite number?
True
Let j(v) = -12*v**3 - 20*v**2 + 3*v - 24. Is j(-13) a prime number?
True
Let q(h) = -6*h**3 - 57*h**2 - 75*h - 103. Is q(-27) composite?
False
Let v be (-172)/(-10) - 3/15. Suppose 4*a = v - 1. Is (-2 - 0)*2*(-1657)/a a composite number?
False
Let d be -2 + (-3 - (-7 + 4)) - -8878. Let g(z) = -z**3 + 5*z**2 - z + 5. Let w be g(5). Suppose w = 10*s - 3714 - d. Is s composite?
False
Let v(g) = 6*g**3 - 7*g**2 + 7*g + 13. Suppose a = -22 - 103. Let q be (a/5)/5*-1. Is v(q) prime?
False
Suppose -5*c - 2*o + 90931 = 0, -3*o = 104 - 98. Is c prime?
False
Let o(z) = -158*z**2 - 41*z + 23. Let c(s) = 157*s**2 + 43*s - 25. Let j(n) = -3*c(n) - 4*o(n). Is j(-11) a prime number?
True
Suppose 2*t = -2*o + 32, -3*t + 3 + 65 = -o. Is 47955/6 + t/42 composite?
False
Let b(q) = q**3 - 6*q**2 + 12*q - 3. Let l be b(5). Let c be 9/1*(-2 - -1). Let f = l + c. Is f a prime number?
True
Let v = -514 - -520. Suppose -v*w - 3846 = -3*i - w, 0 = -5*w - 15. Is i a composite number?
False
Is 2/3*(-4019)/(3/603*-2) a prime number?
False
Let b = 209 + -226. Let n(i) = 34*i**2 - 6*i - 15. Is n(b) composite?
True
Suppose 92*u - 33235093 = 76*u - 115*u. Is u a composite number?
False
Let z(q) = 3*q**3 - q**2 + 2*q + 9. Let t be z(4). Let x = t + 104. Let c = 2630 + x. Is c a composite number?
False
Let u = -145 + 213. Let h = u + -66. Suppose -h*a + 638 = -428. Is a a prime number?
False
Let a = 673269 + -411388. Is a a prime number?
True
Let o(s) = 3*s - 1. Let h be o(1). Suppose 3*n - 13 = -5*u, 2*u + h*u = -2*n + 10. Suppose -5*x - u*g = -3661, -3*x + 4*g = 2*x - 3673. Is x a composite number?
False
Let j = -1121444 - -1961211. Is j a prime number?
True
Let n(s) = 164*s + 1. Suppose -4*w + 7*w = 6. Let k be n(w). Let j = 480 + k. Is j prime?
True
Let l(k) = 3513*k**2 + 6*k - 8. Let v be l(2). Let s = -5462 + v. Is s a prime number?
False
Let c(h) = -h + 14. Let t be c(16). Is ((-5)/(-30)*46983)/(t/(-4)) prime?
True
Let l be 6/(-4) + (-148)/(-8). Let w(m) = -m**3 + 20*m**2 + 9*m - 13. Is w(l) prime?
False
Let z(u) = -90*u**3 - 6*u**2 - 86*u + 53. Is z(-13) a prime number?
True
Let v = -236023 - -1553130. Is v prime?
False
Let i(t) = 172*t + 3. Suppose -28 = 20*o - 24*o. Is i(o) a prime number?
False
Let h = 407550 - 194287. Is h composite?
False
Let m be (-1)/(3/(-96)*-4). Let t = m + 13. Suppose -2*q + 1066 = q - t*z, -5*q = 2*z - 1725. Is q composite?
False
Let m(o) = 0*o**3 + 31*o**2 + 3*o - o + 4*o**3 - 34*o**2. Let z be m(1). Suppose k - 57 = -z*y, 5*y + 48 = 3*k + 143. Is y composite?
False
Let g = -169 + 185. Suppose 14*o = g*o - 786. Is o composite?
True
Suppose 7*n - 12341 = 20916. Is n prime?
True
Let g be -3 - 4/(-1) - -3. Let l be (g - -2)/(-5 + 7). 