 = i - z. Is b a composite number?
False
Let s = -8116 + 14275. Is s composite?
True
Suppose -1 = h - 5. Let i = h + 6. Suppose -d = -i*d + 981. Is d composite?
False
Let h(c) = -c**3 - c**2 + 3*c + 3. Let o be h(-2). Let n(s) = -33*s + o - 85*s + 16*s. Is n(-3) a composite number?
False
Suppose -27*f - 4*h = -29*f + 75474, -2*f = 4*h - 75458. Is f a composite number?
True
Let p(m) = -m**2 - m + 4. Let a be p(4). Let l(v) be the third derivative of v**6/120 + v**5/4 - 3*v**4/4 - 19*v**3/6 - 2*v**2. Is l(a) a composite number?
False
Let d(n) be the first derivative of -8*n**2 + 4*n - 13 - 18*n**2 - 13*n + 6*n**2. Is d(-10) prime?
False
Suppose 3*l + 2 + 26 = 5*d, 4*l = -d + 24. Let g(t) = t + 172. Let s be g(0). Is 12/d*s/6 prime?
True
Let g(d) = 4*d**2 - 7*d + 157. Is g(33) a composite number?
True
Let g = 226 - 149. Let q = -291 + g. Let n = 51 - q. Is n a composite number?
True
Suppose -5*k + 3823 = -7042. Suppose -4*a = -k + 585. Is a a prime number?
True
Let g(l) = -114*l - 11. Is g(-12) a prime number?
False
Let o = 68 - 27. Suppose -47*g + o*g = -2874. Is g a prime number?
True
Let t be (-4)/10 - 462/(-55). Is 3598/t - (-12)/(-16) a composite number?
False
Let n(l) = -4*l + 1. Let m(s) = -3*s + 2. Suppose -2*a + 8 = 3*o, 4*a = -5*o + 2*o + 16. Let z(h) = a*n(h) - 3*m(h). Is z(-3) a composite number?
False
Let f(h) = 118*h + 77. Is f(54) composite?
False
Let g(f) = f**3 - 12*f**2 + 7*f - 6. Let m be g(11). Let w be (-20)/m + (-94)/10. Let o(v) = 6*v**2 + 7*v - 1. Is o(w) a prime number?
False
Let f be (-25092)/(-14) + 2/(-7). Let s = f + -2713. Is 2/((-1848)/s - 2) prime?
True
Let w(c) = 566*c - 7 - 10 - 568*c + 12*c**2. Is w(-5) prime?
True
Suppose z + 3*z + 179 = -5*p, -5*p + 5*z - 170 = 0. Is 13350/14 - (-20)/p composite?
False
Let r(h) = -6*h**2 - 8*h + 6. Let n(q) = -q**2. Let a(y) = 4*n(y) - r(y). Let o be (-50)/(-40)*(-6 - -2). Is a(o) prime?
False
Let a = 23 + -15. Suppose 0 = -3*f - 4*p - 6, a = -3*f - f - p. Is (16 + f)*1/2 prime?
True
Suppose w - 362 = 517. Is w a prime number?
False
Let y be 4/(-12) - 6/9. Let r = -1 - y. Suppose r = 3*q - 197 - 916. Is q composite?
True
Suppose -22 + 121 = 3*q. Let a be (-1)/1*q/(-1). Suppose 5*p + a = 3*z + 1073, 0 = p - 3*z - 220. Is p prime?
False
Let v = 24913 + -17630. Is v a composite number?
False
Suppose 6 = 2*h + 4. Suppose 0 = -0*u - u + h. Is (422/(-3 + u))/(-1) prime?
True
Let g = 14331 + -4534. Is g a composite number?
True
Let r(s) = 216*s - 67. Is r(4) prime?
True
Let l = -392 - -385. Let y(r) = -8*r**3 - 19*r**2 + 53*r - 45. Let t(u) = -2*u**3 - 5*u**2 + 13*u - 11. Let z(a) = 9*t(a) - 2*y(a). Is z(l) composite?
False
Let l = 6 - 14. Let o be (94 + -10)*(-18)/l. Suppose 20 = 5*x, r - 4*x = -0*r + o. Is r a composite number?
True
Let p = 17 + -12. Suppose 4*r - 6*r + 11 = p*j, 4*r + 14 = 2*j. Is (-264)/r + (-7 - -6) composite?
False
Let t(j) = -2*j**3 - 15*j**2 - 15*j - 57. Is t(-11) composite?
True
Let o(g) = 1008*g**2 - 11*g - 31. Let b be o(-8). Is 8/52 - b*2/(-26) a prime number?
True
Let g(h) be the first derivative of 8*h**3/3 - 13. Let v be g(-1). Suppose v*c = 5*c + 633. Is c composite?
False
Suppose 61302 = 8*a - 4802. Is a prime?
True
Suppose 0*h = -5*h + 4*y + 14, -h - y = -1. Suppose h*i - 676 = 4*n, -i - n = 4*i - 1657. Suppose -l - i = -5*l. Is l prime?
True
Suppose 0 = -3*d + 2656 - 601. Let w = -354 + d. Is w a prime number?
True
Let b(f) = 481*f - 786. Is b(19) prime?
True
Let b be 3*-502*(-4)/12. Suppose i + 2*p - p - b = 0, -2*i - 4*p = -1006. Is i composite?
True
Let a = -34971 - -49556. Is a a prime number?
False
Suppose -5*r = -10*r + 25. Suppose 0*w + 1 = w, w + 321 = 2*y. Suppose r*z - 9 = y. Is z a composite number?
True
Let i(h) = -13*h + 13. Let q be i(5). Let m(z) = -6*z - 2. Let g be m(2). Is (q/6)/(g/147) composite?
True
Let b be (-18)/15*-3804 - (-2)/10. Suppose z = 12*z - b. Is z composite?
True
Suppose i + 808 = 3*i. Let k = -225 + i. Is k a prime number?
True
Let d(o) = 1927*o - 144. Is d(13) composite?
False
Suppose i - 20 = -3*i. Suppose 0 = 5*y - 3*y + 6, 4*d + 1301 = i*y. Let m = d + 660. Is m a prime number?
True
Suppose -5*k = -24 + 9. Suppose 0 = k*c - z, 2*z + 5 = -c + 4*z. Is (-4)/(-8)*934/c composite?
False
Suppose 5*g = 6*g - 4. Suppose 1 = -2*r - 2*x - 5, g*x + 18 = -r. Suppose 3*s - 797 = -4*n, n - r*n + 208 = -s. Is n a prime number?
False
Is (104/208)/(2/156836) a composite number?
False
Suppose 0 = 3*z + 5*k - 523270, 4*z - 220614 - 477056 = -2*k. Is z composite?
True
Let s(l) = l**3 + 4*l**2 - 4*l - 3. Let r be s(-3). Let w be (-114)/(-27) + (-4)/r. Suppose -c = -w*c + 282. Is c composite?
True
Let r = 6075 - 3513. Let q = -1097 + r. Is q prime?
False
Suppose 0 = v - 60 - 359. Let j = -141 + v. Is j a composite number?
True
Suppose 0 = -0*h + 3*h - 12. Suppose 2*l - 299 = -5*v + 108, 3*v + h*l = 233. Suppose -v - 35 = -2*w. Is w a prime number?
True
Let b = -25624 + 36507. Is b a composite number?
False
Suppose b + 17 = 3*r, 2*b = 5*r + b - 25. Suppose -a + 2*f = -2219, -5*f - 4478 = -2*a - 9*f. Suppose r*n = n + a. Is n a prime number?
True
Let j be ((-48)/(-10))/((-30)/(-7300)). Let k = 25 + j. Is k a composite number?
False
Suppose 2*v - 4 = 0, 4*d = 5*v - 46 - 20. Let s = d - -19. Suppose -s*c - 2*b + 269 = 0, 0 = -c - 0*c + 2*b + 49. Is c a prime number?
True
Let g = -1 + 3. Let d be (g - 44/(-8))*2. Suppose 12 = -l + 3*v, 5*l = -5*v - d + 55. Is l a composite number?
False
Let m be 75/6 + (-3)/6. Suppose -m = 4*b, j + 4*b = -j + 1326. Is j a composite number?
True
Suppose -2*i - 7 = -13. Suppose -i*b = -b - 382. Is b composite?
False
Suppose 5*k - 141 = 5*b - 2726, -3*b = 4*k - 1579. Is b a prime number?
True
Let p = -24 - -28. Suppose 2*w - 9455 = -3*v, 0 = -v + 2*v + p*w - 3135. Suppose x - 6*x = -v. Is x composite?
False
Suppose 36 = 2*u - 2*d, -3*d = -u + 4*u - 24. Suppose -4*y + u*y - 2871 = 0. Is y a prime number?
False
Let u(b) = b**3 - 2*b**2 - 2*b - 11. Let l be 4/8 + 44/8. Is u(l) prime?
False
Suppose -20 = -8*w + 4*w. Suppose 0*d + w*x = 2*d - 20, 4*x = -5*d + 116. Is 2/10 - (-1936)/d a prime number?
True
Let y = 2593 - 611. Is y prime?
False
Suppose 23 = -6*j + 5*j. Let m = j - -25. Suppose -m*o - 3115 = -7*o. Is o prime?
False
Suppose -5*t = -3*p - 630, -3*p + 4*p = t - 126. Suppose 3*g - t = b + 2*b, -g + 17 = 4*b. Is g prime?
True
Is 5753 + 2 + 6 - 2 a composite number?
True
Let i be 2/((-4)/30*-3). Suppose -g + 62 = i*b, 3*b - b + 2 = 0. Is g a composite number?
False
Let z(k) = k**2 + 8*k - 11. Let b be z(-10). Suppose 5*c - b*c = -20. Suppose 2*n - u - 88 = -3*u, n - c*u = 56. Is n a composite number?
True
Suppose 0 = 5*b - 2*d - 2611, -45*b - 3*d - 2093 = -49*b. Is b prime?
True
Suppose 0 = -9*x - 32 + 41. Let a(j) be the first derivative of 358*j**3/3 + j**2 - j + 1. Is a(x) a prime number?
True
Let w(z) = -18 + 27*z + 2 + 40*z + 70*z. Is w(7) a prime number?
False
Suppose -3*q + 214 = 5*y, 0 = 4*q - 4*y + 52 - 380. Suppose 2*z + z - 336 = -3*c, -2*c + 4*z + 206 = 0. Let s = c - q. Is s prime?
True
Suppose -22*a - 14*a + 34380 = 0. Is a prime?
False
Suppose 3*r - u = 12, -5*r - 4*u = -6*u - 20. Is 7185/r - (33/(-12) - -2) a prime number?
False
Is ((-4)/(-16))/(8 + 242013/(-30252)) a composite number?
False
Let l(q) = -q**3 - 4*q**2 + q + 4. Let j be l(-4). Suppose s - 6*s - 3*a + 142 = j, 3*a = 3*s - 66. Is s composite?
True
Suppose -z + 7 = -2*m - 4*z, 0 = -2*m + 4*z + 28. Suppose -4*l - 35 = -m*i + 37, -i = -3*l - 18. Is (16 - i)/(2/(-139)) a prime number?
True
Let h(a) = 2*a**3 + 2*a**2 - 2*a + 4. Let i(x) = -x**3 - 2*x**2 + 2*x - 3. Let d(z) = -4*h(z) - 6*i(z). Let v be d(2). Is -114*56/v + -3 a prime number?
True
Let q = -1 + 4. Is (-2 + q)/(-1)*-211 prime?
True
Is 46*(-6)/8*590/(-15) a composite number?
True
Suppose -7 - 21 = 4*m. Let y(r) = -499*r + 21. Let s be y(m). Suppose 6*h - s = 4652. Is h prime?
True
Let w(r) = r**2 + 3*r + 1. Let u be 1*(2 - -2) - -1. Suppose -3*f = i + f + u, -6 = -4*i - 3*f. Is w(i) a prime number?
True
Let h = -44 - 6. Is (804/(-10))/(20/h) a prime number?
False
Let i = 23 - -26. Let k(t) = -2*t**2 - 24*t + 130. Let a be k(-16). Let m = a + i. Is m composite?
True
Let s(j) = -6*j**2 - 55*j - 11. Let q be s(-9). Is (-558)/(-4) + (-3)/q composite?
True
Is (-59298)/