n = 199 - 61. Let q = 127 + n. Suppose -42 = p - q. Is p prime?
True
Suppose -3*n = -5*n + 568. Suppose -13*t - 870 = -7*t. Let c = n + t. Is c a prime number?
True
Let c(h) = -5*h**3 - h**2 - h - 5. Let o be c(3). Let s = o + 401. Is s prime?
False
Let m = -49 - -51. Suppose 0 = -z + m*x + 443, -3*z = -7*z - 5*x + 1811. Is z a prime number?
True
Let m(o) = -62*o - 17. Let y be (-2)/(-6) + 83/3. Suppose -4*u = -g + 11, 0 = 5*g - 2*u + 7 + y. Is m(g) a composite number?
False
Suppose -4*q = -y - 25, 0*q - 2*y - 15 = -3*q. Let n be (12/5)/(q/(-105)). Is 767/4 + n/48 prime?
True
Suppose -u = -5*g, -3*u + 4 = 3*g - 14. Suppose -5*m + 1286 = -p + 3*p, -3*p = u*m - 1919. Is p composite?
True
Suppose 102*a + 17464 = 110*a. Is a a prime number?
False
Let o be (-5)/50*-2*15. Is o/(-2 + 12145/6065) a composite number?
False
Is ((-6733)/(-3))/(3/9) a prime number?
True
Suppose q = -2*z + 31091, -3*z = 4*q + 21257 - 67896. Is z prime?
False
Let f be ((-18)/4)/(21/(-28)). Let s(g) = 2*g**3 - 10*g**2 + 10*g - 9. Is s(f) a prime number?
False
Suppose -2*h + 12 - 2 = 0. Let n(v) = v**3 - 6*v**2 + 6*v - 1. Let j be n(h). Suppose -2*o + 461 = j*d - d, -4*d = -20. Is o a composite number?
False
Let j = -3 + 10. Let t = j + -2. Suppose 0 = 2*z - 2*n - 106, t*z + 123 = -5*n + 388. Is z composite?
False
Let t(j) be the third derivative of 17*j**7/2520 - j**6/80 - j**5/20 + 2*j**2. Let u(d) be the third derivative of t(d). Is u(4) a prime number?
True
Suppose -3*j = w - 27349, -w = 3*j + 4*w - 27365. Is j composite?
True
Suppose t + 97 = 1434. Is t composite?
True
Suppose -115694 = -i - 3*v, 36*i + 4*v = 31*i + 578503. Is i a composite number?
True
Let q(j) = j - 8. Suppose 6 = 2*d - 16. Let f be q(d). Is f/((-2)/(664/(-12))) prime?
True
Let z(x) = 144*x**3 + x**2 - 2*x + 1. Let g be z(1). Suppose w - 3*u - 2*u = -g, 288 = -2*w - u. Let o = w + 515. Is o a prime number?
False
Let u(z) = z**3 + 1. Let o(p) = 7*p**3 + 3*p**2 - 4*p + 9. Let k(c) = o(c) - 5*u(c). Is k(7) prime?
True
Suppose -p - p = -2*c - 3084, 3*p - 4606 = -2*c. Is p a prime number?
False
Suppose 4*j = 5*r - 440325, -j + 189469 = 3*r - 74743. Is r composite?
False
Suppose 12*u - 9*u - 6278 = 5*a, 0 = -4*a + 20. Is u a composite number?
True
Suppose -4*q + 2*w = -6548, -11288 = -5*q + 2*w - 3101. Let v = q + -1134. Is v prime?
False
Let t = 1677 + -154. Let z = -932 + t. Is z prime?
False
Suppose -4*x = -2*f - 56, -2*x + 5*f + 1 = -11. Suppose 0 = -l - 5 + x. Is l composite?
False
Suppose -4*z + 5055 = -5*c - 3667, 2*c - 5*z + 3499 = 0. Let h be (c/(-39))/((-2)/(-6)). Suppose -y = -3*y + h. Is y a composite number?
False
Let a(m) = 2*m**2 - 3*m - 13. Suppose 0 = 2*i - 6*g + g - 15, -2*i + 18 = -2*g. Is a(i) a composite number?
False
Let p(u) = 7194*u. Let r be p(1). Suppose z = -4*q + 2659, -2*z = -q - r + 1903. Is z a composite number?
False
Suppose 0 = 221*y - 225*y + 36508. Is y composite?
False
Let q = 4 - -2. Let n(i) = 11*i**2 + 3*i + 1. Let k be n(-2). Suppose -q*r + k = -75. Is r a prime number?
True
Let q(u) = -2*u**3 - 34*u**2 + 23*u - 32. Is q(-18) prime?
False
Let o be 1/((-26)/25 - -1). Let b be (-15)/o + (-56)/10. Is 58*(4 + b/2) composite?
True
Let x(j) = -9*j**3 + 19*j**2 - 31. Is x(-9) a prime number?
True
Let i(m) = -102*m**3 + m**2 + 2*m. Let h be i(-3). Suppose -3*n = j - h, 4*n - 3*j - 2221 = 1455. Is n composite?
False
Suppose 3*g + 26 = 5*x, -x - 3*g - 10 = -2*x. Suppose 5845 = 11*r - x*r. Is r a prime number?
False
Suppose 10*g - 3 = 7*g. Is -2*(3 - g) + 311 prime?
True
Let j(y) = 3*y**3 - 18*y**2 + 12*y - 22. Is j(13) a prime number?
False
Suppose 0*w = -2*z - 4*w - 38, 3*z = 4*w - 7. Let p = 9 + z. Suppose 5*m - 195 - 200 = p. Is m prime?
True
Let d = 10249 - 3962. Is d a composite number?
False
Let m = 52084 + -24197. Is m prime?
False
Let d be (-2 + 1)/1 - 14. Suppose -192 = c - 4*c. Let u = c - d. Is u composite?
False
Suppose 0 = 30*a - 39*a + 58761. Is a prime?
True
Let h(d) be the first derivative of d**3/3 + d**2 + 4*d - 1. Let j be h(4). Suppose -4*k + j = -2*k. Is k prime?
False
Suppose 2*z - 5 = z. Let y be ((-9230)/(-15))/((-2)/(-3)). Suppose 4*r = z*r - y. Is r prime?
False
Suppose 0 = 10*x - 6181 + 1391. Is x a composite number?
False
Let z(a) = -a**3 - 5*a**2 + 8*a - 13. Is z(-17) a composite number?
False
Is 6 - -16636 - (1 + 4 - 0) prime?
False
Suppose 4*w + 2*v = 2, -2*w - 2*v - 2 = -0*w. Suppose 4*b = -4*g + 196, w*b + 255 = 7*b + 3*g. Is (-7)/((-7)/b) - -1 a prime number?
False
Let l be 3/(-15) + (-3)/(-15). Let i(v) = -v**3 - v**2 - v. Let t be i(l). Suppose -c + t*c = -91. Is c composite?
True
Suppose 5*w = -2*t + 20, -5*t - 8 = -5*w + 12. Suppose t*u = -4*u + 16. Is u - (139*-4 + 3) a prime number?
True
Let f be (-4 - -7) + -7 + 19. Let a = 4 + f. Is a prime?
True
Let z = -618 - -1572. Let f = -331 + z. Let s = f - 432. Is s composite?
False
Let o(z) = -6957*z + 14. Is o(-7) a prime number?
False
Let t be 12/(-6) + (13 - 1). Let y(i) be the third derivative of i**5/60 - 5*i**4/12 + 7*i**3/6 - i**2. Is y(t) a composite number?
False
Suppose -3*n = 2*u + 3, n - u - 2 = 3*n. Let h be n*(-4 + 0 + -1). Suppose -5*t = h*i - 50, -5*i + 43 = -t - 7. Is i a composite number?
True
Let r(p) be the third derivative of 37*p**5/30 - p**4/24 + p**3 - 6*p**2. Let f(z) = -74*z**2 + z - 5. Let j(x) = -5*f(x) - 4*r(x). Is j(-2) composite?
True
Suppose 0 = -4*y + 951 + 241. Suppose -3*w + 665 = -y. Is w a composite number?
True
Suppose 5*d - 133 = 77. Let n be 28194/d - (-4)/(-14). Suppose 5*y = 794 + n. Is y a prime number?
True
Let f = 12423 + -1450. Is f a composite number?
False
Let o(p) = p**2 + p + 4. Let n be o(3). Let w = n + -12. Is w prime?
False
Let n be (0/(-3))/(-4 + 3). Suppose 5*p - 5*k + 5 = n, -4*p + 23 = -k + 6*k. Suppose -94 = -p*r - 0*r. Is r prime?
True
Suppose 660*f - 657*f = 9255. Is f a prime number?
False
Suppose r - b + 62 = 4*r, 58 = 3*r + 5*b. Suppose r = -h + 818. Is h prime?
True
Suppose -3 = -i - 20. Let o = 20 - i. Is o a prime number?
True
Let c(j) be the first derivative of -j**3/3 - 7*j**2 + 13*j + 1. Let z be c(-14). Let y(u) = 41*u + 4. Is y(z) prime?
False
Suppose -4*d + 12 = 4*k, 4*k + 0*k - 12 = 2*d. Suppose 0 = k*s - 268 - 314. Is s a composite number?
True
Let q(w) = -w. Let t(c) = -213*c + 7. Let k(m) = -5*q(m) - t(m). Is k(1) prime?
True
Let k(x) = -x**2 + 6. Let l be k(6). Let u be (2/4)/((-4)/(-24)). Is (-1)/u + (-2020)/l a prime number?
True
Is 65090/14 + (-42)/147 a composite number?
False
Suppose -4*s + 4*j - 699 = 10265, -5*j = 5*s + 13695. Let y = s - -4251. Is y a composite number?
False
Let n be 5704/(-6) + (-10)/(-15). Let a = 2295 + n. Is a a composite number?
True
Suppose v = g + 7979, -2*g + 39895 = 18*v - 13*v. Is v a prime number?
False
Let n = 21 + -16. Suppose -y + 2620 = -3*j, n*y + 4*j - 14793 = -1788. Is y prime?
False
Suppose -3*r = -48922 - 101411. Is r composite?
False
Let t(o) = 628*o**3 + 3*o**2 - 3*o. Let w be t(2). Let r = w - 2737. Is r a composite number?
False
Let t(h) = 11*h**2 - 29*h + 13. Suppose -14*s = -2*s - 144. Is t(s) a prime number?
True
Suppose -3*s = -0*s - 81. Is 44745/s + 2/(-9) prime?
True
Let m be 38 - 4/(1 + -3). Is m/(-16)*222/(-5) composite?
True
Let q = 306 + -135. Let z be ((-3)/3 - 48) + (7 - 6). Let k = z + q. Is k composite?
True
Let x be 879/7 - (-28)/(-49). Let j = 54 + x. Is j prime?
True
Suppose 8*c - 276 - 1228 = 0. Let h(u) = u - 1. Let q be h(5). Suppose -c = -q*k - 5*l + 9, -l + 262 = 5*k. Is k a composite number?
False
Let d = 280835 - 198478. Is d prime?
False
Let k = 678 - -2701. Is k a composite number?
True
Is (-3)/12*0 + 6247 a composite number?
False
Let w = -5740 + 14241. Is w a prime number?
True
Suppose 0*c + 111 = -c + 2*j, 4*c - 4*j = -452. Let v = 374 + c. Is v a composite number?
True
Is 3/(-1)*2719/(-3) a prime number?
True
Let q = 162 - -129. Is q composite?
True
Is (5 + (-67661)/2)*(0 - 2) composite?
False
Suppose 3*v - 1402 = -2*u, -8*u + 13*u - 3500 = -5*v. Is u a prime number?
False
Suppose -1598*h + 1602*h = 14044. Is h a prime number?
True
Suppose 4*u + 11340 = 3*i + i, u + 2 = 0. Is i a prime number?
True
Is 3*(-3)/27 + (-10256)/(-6) a composite number?
False
Let t be (-930)/((-6)/(-2)) + 0. Let n = -151 - t. Is n a composite number?
True
Supp