 = -130 + 612. Let d = b + -168. Is d a composite number?
True
Let b(p) = -81*p - 1. Let t be b(1). Let c = t - -139. Is c a composite number?
True
Suppose 2*x = 2*k + 4, 0 = 6*x - x + 3*k + 6. Suppose x = 3*g + p - 2699, -2691 = -6*g + 3*g + 3*p. Is g a prime number?
False
Let z be (-2 - -4) + 2*-197. Let w = z - -657. Is w composite?
True
Let r(z) = -z**3 - 5*z**2 + 6*z + 5. Suppose -2*j + 2 = 0, 4*j = -3*c + j - 21. Is r(c) a prime number?
True
Suppose 2*g = 2*r + 1896, -g + 218 = 4*r - 725. Let t = g - -27. Is t prime?
False
Let k(x) = 4*x**3 - x**2 + 5*x**2 - 7*x**2 + 4*x + 0*x - 2. Is k(5) a prime number?
True
Suppose 5*i = -0*i. Let x be ((-3)/(-3) - -7) + i. Suppose x*b = 3*b + 1015. Is b composite?
True
Let c(t) = 237*t - 94. Is c(23) prime?
False
Suppose -6794 - 7715 = -k + 2*b, -k + 5*b = -14521. Is k a composite number?
True
Suppose -290 = 10*l - 0*l. Is ((-1)/(-2) - 23/2)*l composite?
True
Suppose 0 = 2*x - 3*x - 27. Let l = x + 136. Is l a prime number?
True
Let n(p) = -2*p**3 + 8*p**2 - 8*p + 5. Is n(-9) composite?
True
Suppose -5*s + 1730 = k, 2*k = -5*s - 2*k + 1715. Let p be 3*(1 + (-1)/(-3)). Suppose w - 339 = -3*w - 5*c, -p*w + s = -3*c. Is w composite?
True
Let m(w) be the first derivative of -w**2 - 7*w - 3. Let q = 14 + -21. Is m(q) a composite number?
False
Suppose -4*v = -3*v + 3*q - 713, 0 = -2*v + q + 1426. Is v composite?
True
Suppose -3*b - 4 + 19 = 0, -p - 2*b = -1107. Is p composite?
False
Let y = 71201 - 17724. Is y composite?
True
Suppose 4*t = 31 + 21. Let g = 20 - t. Is 7/(g/146) - -3 composite?
False
Let k(h) be the third derivative of 229*h**5/60 + h**4/12 - h**3/6 + 9*h**2. Is k(-2) a composite number?
False
Suppose -1280 = 35*o - 25*o. Is (1838/8)/((-32)/o) a prime number?
True
Let z be 1040/32*(-22)/(-5). Let p = z + -90. Is p composite?
False
Let d be 4/(-6) + 8/3. Suppose -5*c = -4*w - 0*c + 43, 4*w + d*c - 22 = 0. Is w a prime number?
True
Let s = 141 - -106. Is s a prime number?
False
Let t = 4019 - 326. Is t a prime number?
False
Let o = -12820 - -23349. Is o prime?
True
Let x = -121 - 92. Let l = x - -125. Let o = l + 215. Is o a prime number?
True
Suppose 9*k = -39551 + 240800. Is k a composite number?
True
Let f(n) = 549*n**2 + 33*n + 3. Is f(9) prime?
False
Let j(b) be the first derivative of -103*b**4/4 + b**3/3 - b - 10. Is j(-1) composite?
False
Let t = -5049 - -32476. Is t composite?
False
Let y = 245 + -625. Let n = y + 709. Is n a prime number?
False
Let i be 1 + (-2 + 0 - -3). Suppose -3*p + z + 72 = 0, z - 31 = -2*p + 12. Suppose p = i*h - 189. Is h composite?
True
Let t be -3 + 6/(-14) + 6/14. Is (-18 - -125)*(2/(-2) - t) prime?
False
Is (1 + (-5 - 0))*(-93)/12 a prime number?
True
Let j(l) = -l**2 + 17*l + 10. Let b be j(15). Let y = b - -327. Is y composite?
False
Suppose 0 = -j - 135 - 116. Is (-8 + 9)*j/(-1) a composite number?
False
Suppose 3*x + t + 12 = 64, -2*x = -t - 33. Let w(z) = z**3 - 5*z**2 + z - 1. Let i be w(7). Let d = x + i. Is d composite?
True
Is ((-4)/12)/((-1)/(-3555)*-3) a prime number?
False
Let d(i) = 2*i**2 - 4*i - 6. Let h be d(8). Let n = -266 + h. Let w = n - -253. Is w a prime number?
False
Let w(v) = 345*v + 31. Is w(24) prime?
True
Suppose 0*t + 746 = 3*t + 4*l, 3*t - 4*l = 778. Let i be -11*((-8)/132)/((-3)/(-9)). Suppose -t + 24 = -i*m. Is m a prime number?
False
Let g(m) = -m**2 - 2*m + 2. Let d be g(-2). Suppose -w = -5*o + 21, -o + 17 = 4*w - w. Suppose d*p - 9 = o. Is p a prime number?
True
Is 7333/5 - 6/10 - -5 prime?
True
Let f(c) = -2*c**2 - 11*c + 3. Let b be f(-6). Let l(u) = 5*u**2 + u - 3. Is l(b) a prime number?
False
Let m(n) = -4*n - 9*n - 9*n**2 + 11*n**2 - 9. Is m(19) composite?
True
Suppose 3*z - u = 24445, -32117 = -4*z + 3*u + 483. Is z a composite number?
False
Suppose -5*a = 3*q - 15036, 5*q + a + 0*a - 25082 = 0. Is q a prime number?
False
Suppose -5*u = -3*b + 83561, -4*b = -8*b - u + 111453. Is b a composite number?
True
Let i be 11 + 0 - (-6 - -4). Suppose -6 = 3*y - 18. Suppose y*t + 1 = i. Is t composite?
False
Suppose 2*i = -5*f + 66267, 6*i + 39754 = 3*f + i. Is f a prime number?
False
Let i(z) = -2*z + 10. Let f be i(0). Suppose 0 = -13*b + f*b + 573. Is b a prime number?
True
Suppose -21693 = -5*h + 3*j - 3353, -18335 = -5*h + 4*j. Is h prime?
True
Let l = -154 - -153. Let b = 162 + l. Is b prime?
False
Suppose -5*w + 36 = 4*q, -6*q - w + 12 = -4*q. Suppose -4*t + 0*v - 2 = -2*v, 2*t = -q*v + 24. Suppose -5*f - 93 = -t*y, 2*y + 2*f - 5*f = 83. Is y composite?
True
Suppose 3*l - 2426 = -z, 2*z + 12150 = 7*z - 5*l. Is z composite?
True
Let j be (-32)/12*(-2820)/8. Suppose -2*h + j = -0*h. Suppose 6*s + h = 11*s. Is s prime?
False
Let v(t) = -570 + 230*t + 236*t + 572. Is v(6) a composite number?
True
Let s = -3362 - -7189. Is s composite?
True
Suppose -25*t + 29*t = 0. Suppose o + 2 = t, 3*j + 2*o + 2*o = 1615. Is j prime?
True
Let i(d) = -d**3 - 10*d**2 - d - 12. Let r(h) = h**3 + 5*h**2 + 3*h + 5. Let t be r(-5). Let z be i(t). Is (6 + z)*249/12 a composite number?
False
Suppose 18 - 6 = -3*k. Let l(z) = -2*z + 8 - 1 - 18*z - 10. Is l(k) composite?
True
Let z = -34 - -37. Suppose 3*q + 4*x = 753, 0*x + x - 753 = -z*q. Is q a composite number?
False
Suppose -i - 720 = -d, -5*d + 5279 = 4*i + 1688. Is d composite?
False
Let d = -26 + 16. Let m be (0 - 1) + d/(-10). Suppose -5*a - 6*g + g + 320 = m, -3*a + g + 212 = 0. Is a a composite number?
True
Let k = 875 - -1458. Is k composite?
False
Let b = 191 + 506. Is b composite?
True
Is (28/(-12))/(7/(-5271)) prime?
False
Suppose 3*a - 29 = 10. Let d = a - -27. Let s = d - -367. Is s a composite number?
True
Let n be (-1 + 1 + 20)/(1/6). Suppose -3*b - 511 = -2*a, b + 904 = 3*a + n. Is a a prime number?
True
Suppose -4*q + q - 2*u = -653, 4*q = u + 878. Let t = -136 + q. Is t a composite number?
False
Let i(z) = -2*z - 21 + 19*z - 2*z. Let h be i(12). Is h/2*(-12)/(-18) composite?
False
Suppose 0 = -3*p - p - 40. Is (1282/5)/((-4)/p) a composite number?
False
Suppose -m + 457 + 1200 = 0. Is m a prime number?
True
Let c(p) = 192*p**3 - 9*p**2 + 13*p - 115. Is c(9) prime?
True
Let d = 10 + -5. Suppose -d*s + 117 = -78. Is (-2061)/(-39) + 6/s a prime number?
True
Let s be -2 + (-1 - 4) + -3. Let f(l) = 31*l - 10. Let t be f(s). Let i = -117 - t. Is i composite?
True
Let o = -15 + 8. Let w(m) = -40*m - 13. Is w(o) composite?
True
Suppose -3*b - 67 = 3*w - 1, -5*b - 3*w = 114. Let j be (12/b)/(2/(-12)). Suppose -235 = -j*n + 212. Is n prime?
True
Let u(k) = -22 + 1 + 32*k + 3*k**2 - 2 + k**2. Is u(-15) composite?
False
Suppose -23*x = -147 + 515. Let t(l) = -7*l - 21. Is t(x) composite?
True
Suppose -6*d + d + 2339 = 4*s, -2*s + 3*d + 1197 = 0. Is s prime?
False
Let u(i) = 34 - 19*i + 10*i + 3 + 7*i**2. Is u(15) a prime number?
False
Let p(r) = 84*r**3 + 14*r**2 + 21*r - 19. Is p(8) a prime number?
True
Suppose 196 = -2*a - 208. Let i = 601 + a. Suppose 0 = -b + 4*b - i. Is b a prime number?
False
Let v(f) = 5*f - 20. Let y be v(3). Is (2 + 3)/(((-5)/193)/y) composite?
True
Let k(r) = 33*r**2 + r - 5. Let w = -11 - -39. Let t be -3 + (w/4 - 1). Is k(t) prime?
False
Is 74364/30 + 2/10 a prime number?
False
Is 2 - 173*28/(-4) composite?
False
Let t = -24 - -27. Suppose d + t*y - 743 = -209, -d + 541 = -4*y. Is d prime?
False
Suppose -4*d - 4*r + 28 = 0, -4*d = 5*r - 26 - 7. Suppose d*v = 6*v + 3*p - 2, -3*p = -4*v + 14. Suppose o = v*o - 127. Is o prime?
True
Let c be 2/(10/(-5) - -4). Suppose 5*l + c = -2*u, -4*u + l + 1 = -8. Suppose 715 = u*t + 129. Is t composite?
False
Suppose 55*d - 49*d = 2910. Is d a composite number?
True
Let l(f) = -f**3 + 2*f**2 + 6*f + 1. Let n be (-276)/34 - 2/(-17). Is l(n) a prime number?
True
Let n(b) = b**3 + 8*b**2 + 2*b + 6. Let s be n(-8). Is (95/s - -4)*(-10 + 0) a composite number?
True
Let j(q) = q**2 - 7*q. Let z be j(7). Suppose -5*d = -4*w - 455, 5*w + 2*d = -z*w - 544. Let o = -43 - w. Is o a prime number?
True
Let t(v) = -2*v. Let p be t(-1). Let b(x) = 9*x**p - 5*x**2 - 4*x**3 + 9*x**2 + 9*x + 3*x**3 + 10. Is b(13) prime?
True
Let z be (-2)/10 + 10/50. Suppose z = -2*v + m + 10, -4*v + 0*m + 20 = m. Suppose -v*r = 2*t - 387, 0*t - 5*r = -t + 216. Is t a prime number?
False
Let o(w) = 277*w - 10. Let c(u) = -555*u + 20. Let i(g) = -4*c(g