e q*z + 113 = 435. Is z a composite number?
True
Suppose 0 = 2*g - 7*m + 4*m - 1724, -5*m = -3*g + 2585. Is g prime?
False
Suppose 3 = 2*o - 3. Suppose 3*z + f = 7568, -2*z + 5067 = 2*f + o*f. Is z a prime number?
True
Is (1 - 10/1) + 17830 a prime number?
False
Suppose -2721 - 18164 = -5*m. Is m composite?
False
Let o(z) = -10*z - 11. Let r be 36/60 + (-4)/(-10). Let m = r + -10. Is o(m) prime?
True
Suppose j + 0*j = -2*y + 556, -2*j + 1098 = -3*y. Suppose 5*v - 550 = -5*t, -4*t + j = -5*v + 121. Is t a prime number?
True
Suppose -s = -5*s - 16. Let v(r) = r**3 + 6*r**2 - r + 3. Let m be v(-4). Is ((-6)/s)/(m/4810) composite?
True
Let l = 1669 - -3203. Suppose 0 = -3*n + l + 1479. Is n a composite number?
True
Let q(r) = -25*r**3 - 10*r**2 + 2*r + 50. Is q(-11) a prime number?
False
Let d(m) = m**3 + 15*m**2 - 17*m - 4. Let f be d(-16). Suppose 0*o - f*o + 2148 = 0. Is o composite?
False
Let h(w) = -217*w - 26. Let j be h(-12). Suppose 4*i - 1040 = -2*o + j, 5*i = -3*o + 4520. Is i a composite number?
False
Suppose -s = -5*s, 0 = f - s - 2. Suppose -3*q + 574 = 5*o, f*o + 0*o - 217 = 3*q. Suppose -p = 0, 2*n = -p + 305 + o. Is n composite?
True
Let p(c) = -c**2 + 5*c - 6. Let j be p(4). Let a = 305 + -140. Let w = a + j. Is w a prime number?
True
Suppose 0*y + 2*y - 10 = 0. Suppose -12*x - 4*m = -7*x - 327, 2*m + 138 = 2*x. Suppose 4*o + x = y*o. Is o prime?
True
Let f(r) = 226*r - 55. Is f(14) composite?
False
Let c(w) = -3*w**3 - w**2 - 6*w - 7. Let p be c(-6). Let k be (6/(-4))/((-6)/1720). Let d = p - k. Is d composite?
False
Let n(i) = 3*i - 18. Let k be n(6). Suppose -h - 42 = -k*h. Let q = h + 88. Is q composite?
True
Let r(h) = -7*h + 3. Let o be r(-11). Suppose o = 4*q + 436. Let i = q - -352. Is i prime?
True
Suppose -3*r + 4*v = -4*r + 1189, 0 = -4*v. Is r a composite number?
True
Let q = -66 + 87. Let r(n) = 81*n - 8. Is r(q) a composite number?
False
Let h(b) = -10 - 394*b - 3 - 1. Let a(j) = -131*j - 5. Let f(m) = -11*a(m) + 4*h(m). Is f(-2) a prime number?
True
Let z(x) = x**3 + 9*x**2 + 6*x - 11. Let f be z(-8). Suppose q - f*q = -32. Let o(l) = l**3 - 13*l + 11. Is o(q) composite?
False
Let a(b) = -3*b + 20. Let v be a(8). Let p = 0 - v. Suppose -3*m + 435 = -3*h, p*m + 2*h = 315 + 289. Is m a prime number?
True
Let u = 13 + -7. Let z = -3 + u. Suppose -1093 = -z*v - 52. Is v a composite number?
False
Let l = -121 + 178. Let r = 16 - 42. Let i = l + r. Is i composite?
False
Suppose 7 = 3*z - 11. Let a be (-85)/(-15) - 4/z. Suppose 0*d + a*d = 915. Is d composite?
True
Suppose -x = w - 3007 + 1155, 0 = 4*w - x - 7413. Is w composite?
True
Let j be 6/(3 + 0) - (7 - 7065). Suppose -11*y = -15*y + j. Is y a prime number?
False
Let h = -14 + 6. Let j = h - -10. Suppose -y = -x + 2*y - 4, -5*x + 45 = -j*y. Is x a prime number?
True
Let c = -668861 - -941574. Is c a prime number?
False
Suppose b = 2107 + 1051. Let a = b - 679. Is a composite?
True
Suppose 10*b - 4939 = -1869. Is b a composite number?
False
Let r(a) = a**2 + 6*a. Let u = -10 - -4. Let n be r(u). Let c(x) = -x + 83. Is c(n) a composite number?
False
Suppose -4*c + 2 + 18 = 0. Suppose 2808 + 607 = c*y. Is y a composite number?
False
Let r(y) = -y**2 - 10*y + 14. Let l be r(-11). Suppose -l*o + 306 = -2*o. Suppose 5*w - o = 64. Is w prime?
False
Let m be (-2551)/3 - 4/(-3). Let h = -1256 - m. Let v = -280 - h. Is v prime?
True
Suppose -7313 = -10*k + 687. Suppose -4*y = -2*v - 618, 2*y + 3*y = -3*v + k. Is y composite?
False
Suppose 0*p + x + 815 = 4*p, -4*p = x - 809. Let t be -1*((2 - 3) + -2). Suppose p = t*n - 718. Is n composite?
False
Suppose 0 = -10*s - 270 + 27580. Is s prime?
True
Let x(l) be the second derivative of l**5/5 - l**4/12 + l**3/2 + 5*l**2/2 - l. Let d be (8/(-5))/(8/(-20)). Is x(d) prime?
True
Let s = 1 - -16. Suppose 2 = -h - 1, -5*h + s = -4*a. Is (-6)/8 - 2542/a prime?
True
Suppose 9492 + 65870 = 14*o. Is o prime?
False
Suppose 9*h = 6*h + 45. Suppose -11*n + h*n - 2796 = 0. Is n a composite number?
True
Let k(x) = -63*x + 95. Is k(-9) a prime number?
False
Let y be -4*((3 - 1) + -3). Suppose 0 = -y*p - 3*p + 1526. Is p composite?
True
Let s(d) = -d**3 - 10*d**2 - 19*d - 8. Let r be s(-8). Let j(a) = -3 - a + 29*a - 4*a + r*a. Is j(8) a composite number?
False
Suppose -4*l + 36128 + 8660 = 0. Is l a composite number?
False
Suppose 0 = 2*f - 36 - 34. Suppose -2*o = -o + 5*d + 57, o + 4*d + 54 = 0. Let b = f - o. Is b composite?
True
Is (-1)/(-3) - 22900/(-15) a composite number?
True
Let c be 680/(-18) - (-16)/(-72). Let t = -26 - c. Suppose -40 = -2*d - t. Is d a prime number?
False
Let a = 19778 + -6985. Is a composite?
True
Let g(n) = -8 + 3 - 26*n + 3 - 59*n. Is g(-3) a composite number?
True
Let j(y) = -y**3 + 78*y**2 - 102*y + 51. Is j(56) composite?
False
Let o = 1157 + 905. Is o a prime number?
False
Let r = 676 + -250. Suppose 3*p - 7*p - 1196 = 0. Let s = p + r. Is s composite?
False
Suppose -18*k + 14*k - 63666 = -2*l, -3*l = 3*k - 95508. Is l composite?
True
Let q = -3211 + 5233. Suppose 0*z - q = -3*z. Is z a prime number?
False
Let q = 18 - 12. Suppose -1079 = -q*w + 1813. Is w composite?
True
Let z(h) = -h**3 + 15*h**2 - 4*h - 13. Let o be (4/14)/(19/399). Is z(o) prime?
False
Let k be -2 + 12/3 - 1. Let u be (-6)/2 + 4 + k. Suppose -3*r - u*z + 109 = 0, -2*r - 38 = 2*z - 110. Is r a prime number?
True
Let w be 171/(-4)*(-16)/(-3). Is -1 - ((-4)/(-1) + w) composite?
False
Suppose 3*y - 25048 = u - 66246, y = 2*u - 82421. Is u prime?
True
Let v(l) = 239*l + 184. Is v(17) a composite number?
True
Suppose 0 = 4*f + 3*z - 29, 0 = 3*f - 3*z - 2*z - 29. Let j(m) = -m**3 + 9*m**2 - 2*m + 19. Is j(f) a prime number?
True
Suppose -2*c - 121*l = -126*l - 6141, 4*c - 5*l = 12307. Is c a composite number?
False
Let z(c) = c - 2. Let f be z(6). Suppose f*x - 9*x = -4535. Is x a composite number?
False
Is (-42228231)/(-651) - ((-2)/7 + 0) composite?
True
Let l(b) = 21*b. Let w(n) = -5*n. Let z(d) = 2*l(d) + 9*w(d). Let o be z(8). Let r = 35 - o. Is r a prime number?
True
Let z(m) be the first derivative of -m**4/4 + 11*m**3/3 - 5*m**2 + 15*m + 19. Is z(8) prime?
True
Suppose -r - 6*r + 28 = 0. Suppose -r*q = -4*p + 1320, 5*p - 318 = q + 1336. Is p a composite number?
False
Is ((-224)/896)/((-1)/126668) prime?
True
Let f(s) = -491*s. Let m be f(-3). Is (-1)/(-3)*(m - 0) prime?
True
Let w be (-4)/10 + 228/95. Is (465 + 2)*(w - 1) composite?
False
Let p(c) be the first derivative of -88*c**2 - 2*c + 4. Is p(-3) a composite number?
True
Suppose -6*a + 348355 = 29*a. Is a a prime number?
False
Let r = 17 - 14. Suppose -r*k = -6*k + 111. Is k prime?
True
Let f = 8907 - 5092. Let a = -2280 + f. Is a composite?
True
Let d = -12 + 8. Let c be (-266)/(-57) - d/(-6). Is (14/(-7))/(c/(-174)) prime?
False
Suppose 15*v - 9*v = 18. Suppose -b + l = v*l - 219, 4*b = -2*l + 882. Is b prime?
False
Let b = -11340 + 20669. Suppose -w + b = x + 3*x, w = 3*x - 7002. Is x a prime number?
True
Let l(h) = -40*h - 1. Let k be ((-2)/(-3))/((-8)/36). Let r = 1 + k. Is l(r) a prime number?
True
Let j be 27/2*(-1692)/(-27). Let w = j + -467. Is w a prime number?
True
Let y be 13*(-1)/(-3) + 2/(-6). Suppose 161 = y*a - 75. Is a a prime number?
True
Suppose v + 3*v = 96. Let i be (-1)/(-2) - 19/(152/132). Is (1 + -52)/(v/i) composite?
True
Let w = 33 - 3. Let r = 23 - w. Is (1 + -24)/(r/91) composite?
True
Let v(a) = 11*a**2 + 2*a - 1. Let k be v(1). Let c be 6/(-14) - k/(-28). Suppose -f + 2*f + 5*r - 442 = c, 0 = 5*r + 25. Is f prime?
True
Suppose 0 = 2*b - 4*x - 157426, 0*b = 5*b + 5*x - 393520. Is b composite?
False
Let i(c) = 190*c**2 + 2*c - 1. Let x be ((-1)/5)/((-5)/25). Is i(x) a prime number?
True
Let p = -270 + 949. Suppose 0 = 2*x - p - 439. Is x a prime number?
False
Is -5 - (26254/(-4) - (-16)/(-32)) prime?
False
Let h(b) = 852*b - 95. Is h(4) composite?
False
Let p be (-5 - -1 - -6)*760. Suppose 8*g + 328 = p. Is g composite?
False
Let h = 48 + -48. Suppose -3*m + h*d + 1931 = -4*d, 5*m = -3*d + 3257. Is m a prime number?
False
Let l(s) = -205*s**2 + 3*s - 1. Let b be l(-3). Let i = -384 - b. Is i composite?
False
Let f = 120 + 29. Suppose -2*j - 5*i + f = 0, -4*j + 166 = -j - 4*i. Is j composite?
True
Suppose -5*l + 4 = -3*n, -2*n + 2*l + 6 = 3*n. Suppose 