
Let r(j) = -j**3 + 16*j**2 - 16*j + 15. Let x be r(15). Suppose -5*q + 15 = x, -4*c + 342 = -c - q. Let h = c - -96. Is h prime?
True
Let i(x) = -2160*x - 3. Is i(-4) composite?
True
Suppose 0 = 2*g, 393 = -3*f + 4*g - 2034. Let c = f + 3142. Is c a prime number?
True
Let b(n) = 440*n + 26. Let i(v) = 439*v + 27. Let c(p) = -6*b(p) + 5*i(p). Is c(-4) composite?
False
Is (((-68)/8)/17)/(1/(-662)) composite?
False
Let z be (-2)/8 + 33555/(-20) + -2. Let k = 5473 + z. Is k a composite number?
False
Let a(h) = 412*h - 1. Let p = -14 - -16. Let s be a(p). Suppose 373 = 4*t - s. Is t prime?
False
Suppose -3*n + 6 = 3*j - 5*n, -4*n = -3*j. Let x be -2*(-3)/((-6)/j). Is x + (-2)/(2/(-165)) prime?
False
Let w = 23697 + 10544. Is w a prime number?
False
Let g be 1002 + 2/4*-4. Let p = g - 89. Is p composite?
False
Suppose -x - 4711 = -8*x. Is x prime?
True
Suppose 2*w - 20125 = 104293. Is w a composite number?
True
Suppose 0 = 3*w - 4*x + 340, 4*w - 3*w + 116 = 2*x. Let c = 176 + w. Suppose -3*i + 133 = -c. Is i a composite number?
False
Suppose 2*o = 3*x - 36589, 70*x + 4*o = 65*x + 60989. Is x prime?
True
Is 21/(-28)*-4 + 8264 prime?
False
Suppose -7 = -2*p + 7. Let d(x) = -28 - p*x - 6*x**2 - x**3 - x**3 + 21. Is d(-4) composite?
False
Suppose -7*v + 2230 = -2*v. Let k = v + -182. Let a = k + 41. Is a prime?
False
Let s = -190 - -272. Is s a composite number?
True
Let i(o) = -23*o**2 - 11*o + 16. Let b(m) = -34*m**2 - 17*m + 24. Let p(x) = 5*b(x) - 8*i(x). Let h be p(2). Is ((-2962)/(-6))/(18/h) a prime number?
True
Suppose 2*h - h = 2110. Suppose -h = -18*y + 13*y. Is y a prime number?
False
Let x(y) be the second derivative of y**5/120 + y**4/6 + y**3/6 - 3*y. Let n(v) be the second derivative of x(v). Is n(7) a composite number?
False
Suppose 0 = 4*u + 6*u - 3430. Let t = 994 + u. Is t composite?
True
Suppose -4*z - x - 597 - 533 = 0, -3*x - 6 = 0. Let j be z/(-2)*(-1)/3. Let c = 130 + j. Is c prime?
True
Let n(k) = -k**2 + 12*k - 13. Let p be n(11). Let a(z) = 48*z**2 + 2*z + 2. Let f be a(p). Suppose -f = -20*b + 15*b. Is b composite?
True
Suppose -4*h = -x - 3, -h - 28 = -5*h - 4*x. Suppose o - 1313 = -0*f - h*f, 1323 = o - 3*f. Is o a prime number?
False
Let m = 52300 + -27311. Is m prime?
True
Let c(v) = -64*v - 1. Suppose -2*h = -4, 3*x + h + 7 = -0*h. Is c(x) a composite number?
False
Suppose 3*z + 0 = -2*p + 7, -5*z = 2*p - 5. Let l(a) = 19*a - 2. Let s be l(4). Is (s/4)/(p/10) a composite number?
False
Let z be ((-1)/(-2))/(9/1872). Suppose 3*l + z = 668. Suppose -72 = -q - 3*a, 5*a - l = -5*q + 222. Is q composite?
True
Let a(v) be the first derivative of -23*v**7/840 + v**6/360 - v**4/24 + 5*v**3/3 + 1. Let t(q) be the third derivative of a(q). Is t(-1) a prime number?
True
Let v = 826 - 2700. Suppose 8*y = 11*y - 3*i + 3, 3*y - 4*i = -7. Is (3/(-2))/y*v prime?
True
Suppose -3*l = -l - 14. Suppose l*g - 12*g = 20. Let q(s) = 4*s**2 + 3*s - 3. Is q(g) a composite number?
True
Let q = 20 + -12. Let m(r) = 773*r - 41. Is m(q) a prime number?
True
Let w(b) = b**3 + 16*b**2 - 20*b - 31. Is w(-12) a prime number?
False
Let d(o) = 12*o**2 + 7*o - 7. Suppose -5*a + 30 = 2*h, 3*a + 4*h - 24 = -a. Is d(a) prime?
True
Suppose 2*o - 1272 = -2*c, -2*c + 2*o + 3*o + 1307 = 0. Is c prime?
True
Suppose 12*c - 114220 = 151472. Is c composite?
True
Suppose h = 2662 + 1284. Is (-8)/(32/6)*h/(-3) prime?
True
Suppose -r + 2*x = 6*x - 8, -3*r + 4*x + 40 = 0. Suppose 4*n + 1288 = r*n. Is n composite?
True
Suppose 0 = 904*l - 915*l + 760067. Is l a prime number?
False
Let f(j) = -244*j + 101. Is f(-8) prime?
True
Let h be (4/3)/(5 + (-76)/15). Is 8/20 - 1/(h/11652) a prime number?
False
Suppose 4 = -4*t, -3*n + 1 + 1 = 4*t. Suppose -n*m + s = -1396, -m = -0*m - s - 699. Is m prime?
False
Let z be 2 + (0 - 17*-5). Is (-1 - -2) + (z - -1) a prime number?
True
Is -1*(-7 + 4) + 2424 a prime number?
False
Suppose -2*y + 5*y + 126 = 0. Suppose -v - 17 = b - 3*v, -b = -v + 20. Let l = b - y. Is l a prime number?
True
Let x be (-1)/1 - 3*(-6)/18. Suppose -4*s + x*s = 0, 3*p = 4*s + 99. Is p composite?
True
Suppose 4*n - 22 - 14 = 0. Suppose -n*y = -14*y + 1435. Is y a composite number?
True
Suppose 2*q - 25 = 51. Suppose -12770 = -q*n + 33*n. Is n a composite number?
True
Suppose 0 = 2*q + 4*u - 16, 5*q = -3*u + 12. Suppose 11*w - 3*w - 6704 = q. Is w a prime number?
False
Let l(r) be the first derivative of r**3/3 + r**2/2 + 11*r - 1. Let w = 6 - -2. Is l(w) composite?
False
Let b = 1435 - 263. Is (1 - 4)/((-12)/b)*1 a composite number?
False
Suppose v - 5*v = 4. Let m(g) = -3260*g + 3. Is m(v) prime?
False
Let t(x) = x**3 + 8*x**2 - 2*x - 11. Let q be t(-8). Suppose 7*i - q*i - 78 = 0. Is i prime?
False
Let o(d) be the first derivative of -259*d**2/2 - 27*d + 21. Is o(-4) a composite number?
False
Suppose -l - 2*l + 4 = 2*w, 5*w = -5*l + 5. Suppose 5*h = -l*c + 4911, 0*h = -3*h + 2*c + 2953. Is h a prime number?
True
Let h(a) = -a**3 - 10*a**2 - 9*a - 4. Let l be h(-9). Is (-2)/l - (-9345)/42 composite?
False
Suppose 21*f - 25*f = -12. Suppose -p - p = -4*n + 7578, f*n + 3*p = 5706. Is n a composite number?
True
Let v = -4440 + 6953. Is v a composite number?
True
Let w be (133 - 12/3) + 1. Suppose -5*d + 255 = -w. Is d composite?
True
Let p = -1656 - -2329. Is p composite?
False
Suppose -4*s - 3*y + 97442 = 0, -4*s + 4*y - 18921 = -116349. Is s prime?
True
Suppose 22*d - 5464 = 18*d + 3*c, 16 = 4*c. Is d prime?
False
Let r = 6 + -5. Is r/(4/(7725 - 1)) composite?
False
Suppose -5*c - 4*i = -10990, c - 2*c + 2174 = -4*i. Is c/2 - (18 + -18) a prime number?
True
Let r(o) = 18*o**2 + o - 2. Suppose -6 = -4*c + 14. Let a = c + -2. Is r(a) a prime number?
True
Suppose 15 = 2*g - 5*w - 5, 4*w = 5*g - 67. Let t(y) = 5 + 10*y + 20*y**2 + 13*y - 29*y + g*y. Is t(-8) prime?
True
Let m be 20/6*(-6603)/(-62). Let g = 14 + -9. Suppose g*d = -4*z + m, d + 0*d = -5. Is z composite?
True
Let v be ((-2304)/(-15))/(2/10). Let j = 1105 - v. Is j prime?
True
Let x(s) = 21*s**2 + 7*s - 7. Let w(y) = -20*y**2 - 6*y + 7. Let p(i) = -5*w(i) - 4*x(i). Is p(3) a prime number?
False
Let f(a) = 96*a**2 - 13*a + 24. Is f(7) a prime number?
True
Suppose 3*j = 5*k + 24982, 3*k + 41642 = 4*j + j. Is j a composite number?
False
Suppose -5*x + 2*x = -5*x. Suppose -m - 55 + 346 = x. Is m composite?
True
Let s(o) = o - 12. Let f be s(15). Suppose 11 = 3*c + 4*a, 4*c + f = -4*a + 19. Suppose -5*j + 0 + c = 0, -5*j = 2*b - 439. Is b a composite number?
True
Is (-77800)/(-16) + 10/(-4) + 1 prime?
True
Let i(b) = -34*b**3 + 18*b**2 - 20*b + 29. Is i(-15) composite?
False
Let q(b) = 3*b. Let s be q(4). Let t be (-1011)/(-12) + (-3)/s. Let j = t + -58. Is j prime?
False
Let h = 95793 - 40744. Is h a prime number?
True
Let c = 9 + -7. Suppose -l - c*l + 12 = 0, 4*l - 8 = 4*i. Suppose -i*m + 0*m = -62. Is m prime?
True
Is ((-6)/8)/(102/(-73576)) a composite number?
False
Is -97 + 1460 - 6*1 a prime number?
False
Let u = 18 - 21. Is u*((-3)/(-3) + -12) a composite number?
True
Let z(v) = v**3 + 26*v**2 + 24*v - 13. Let i be z(-25). Is 584 + i/(-3 + -1) prime?
False
Let w = -415 + 146. Is 0 - 8/4 - w a prime number?
False
Suppose -837 = 2*u - 225. Is 6/(-6)*(-1 + u) composite?
False
Let k(g) = -1984*g - 8. Let x be k(1). Let q = x + 3463. Is q prime?
True
Let b = 3917 + 6570. Is b prime?
True
Suppose -m - m = 20. Let r = m - -16. Suppose 2*c - r = -0*c. Is c prime?
True
Suppose -2*x + 0*x = -26. Suppose 0 = 5*o - x - 12. Suppose -h + 2 = 0, 0*h + 79 = 3*i + o*h. Is i a prime number?
True
Suppose 20601 = 4*h - 2*k - 28397, -2*h - 5*k = -24469. Is h a prime number?
False
Suppose 12 = -4*z, 0*m - 3*z = -2*m + 189. Is 40428/m - (-1)/(-5) a composite number?
False
Let i(j) = -j**2 + 30*j + 2. Let d = 55 + -30. Suppose 5*s - 35 = 5*o + d, 34 = 3*s - 4*o. Is i(s) composite?
True
Let d(a) = -10*a**3 + 2*a**2 + 19*a + 38. Is d(-7) a composite number?
False
Suppose 0 = 5*p - 10*p + 11060. Suppose -4*q = -h - 4*h - p, 4*h - 1106 = -2*q. Is q composite?
True
Suppose 177*f - 146684 = 173*f. Is f a composite number?
False
Suppose -2*b = 3*s - 2*s - 29, -5*b = -3*s - 56. Let j = -160 - -185. Let h = b + j. Is h prime?
False
Let g(w) = -721*w + 444. Is g(-5) a composite number?
False
Suppose -5*w = -g - 32180, -3*w - 257