 2. Let h be c(6). Suppose 0 = h*f - 0*f - 8. Suppose -f*p + 45 = -79. Is p prime?
True
Suppose -i + 5*i = 5*c - 8107, 1633 = c + 5*i. Is c a composite number?
True
Let u(m) = m**2 - 11*m + 34. Let l be u(8). Suppose l*y - 44012 = -12502. Is y a composite number?
True
Suppose 0 = -0*o - 4*o. Suppose -q + 3*x - 132 = -o*x, 4*x = -4*q - 480. Let h = 205 + q. Is h a prime number?
False
Let f(i) = -i**3 - 7*i**2 - 9*i - 7. Let v be f(-8). Let o = v - -1218. Is o a composite number?
True
Suppose 955725 = 47*g - 938516. Is g a prime number?
False
Let j = 426 + -35. Let q = j + -204. Is q a prime number?
False
Suppose 2*j + x - 12100 = 0, 3*j + j - 24198 = -3*x. Suppose 5*a + 911 = h, -j = -5*h - 3*a - 1440. Is h a prime number?
False
Is 60568/14 - -1 - 42/147 a prime number?
True
Let g = -27 - -32. Suppose 0 = -b + 4*x + 157, -g*b - x + 592 + 151 = 0. Is b prime?
True
Let z be ((-4)/10)/(1/(-5)). Let s = z - -2. Suppose -5*k = -5, -s*k + 87 + 65 = 2*w. Is w composite?
True
Let m(j) = 803*j + 119. Is m(12) prime?
False
Let d = -922 - -1799. Is d composite?
False
Suppose m - 6*m + 20 = 0. Let v = m - 4. Suppose -3*h = -v*h - 465. Is h composite?
True
Let u(m) = 104*m**2 - 7*m + 40. Is u(-13) composite?
False
Is 2/(-3) + 239818/114 composite?
True
Let n = 12775 - 5706. Is n prime?
True
Let u(g) = g**2 + 5*g - 15. Let m be (-6)/5*((-3 - -18) + -5). Is u(m) a composite number?
True
Let m be (-1662)/(-15) + 1/5. Suppose n + 46 = m. Is n a composite number?
True
Suppose -5*k + 17150 = -3*h, h = -k + 4*k - 10286. Suppose 5*l + o = k, 2*l - 2*o - 1374 = -4*o. Is l composite?
True
Let b(j) = 29*j**2 + 34*j + 19. Is b(-14) a composite number?
False
Let p(o) = -2*o + 3. Suppose 7*m - 6*m - 5 = 0. Suppose 3*s + 43 = -5*r, 2*s - m*s = -12. Is p(r) prime?
False
Let o(d) = -2*d**2 + 12*d - 3. Let l be o(5). Suppose l*z = 5*z + 778. Is z a prime number?
True
Let n be (103/3 - 0)*-3. Suppose f - 166 = 4*q, 0*f - 4*f + 646 = 2*q. Let t = f - n. Is t composite?
True
Let m(y) be the first derivative of y**3 + 3*y**2/2 - 3*y + 9. Is m(9) a composite number?
True
Suppose 0 = -12*i + 2516 + 9088. Is i a prime number?
True
Suppose -4*t + 3*q + 63631 = 0, -6335 = -t - 4*q + 9568. Is t a prime number?
True
Suppose 436 = -u + 158. Let c = 675 + u. Is c a prime number?
True
Suppose -5*v - 23291 = -73886. Suppose -10111 = -2*s + 3*k, 2*s - 4*k = -9*k + v. Is s a prime number?
False
Suppose -4*n + 214 = -1110. Is n prime?
True
Suppose 4*k = k + 18. Suppose k*a + 1 = -5. Let i(x) = -77*x + 2. Is i(a) a composite number?
False
Let h = -1958 + 6608. Suppose -g + 0*i + 2321 = -3*i, h = 2*g - 4*i. Is g composite?
False
Is (-17 + -1546)*(0 + (-3)/9) a composite number?
False
Let p(v) = -826*v - 311. Is p(-12) composite?
False
Let g = -5 - -4. Let b = g + 10. Is -158*(1 - b/6) composite?
False
Let u(o) = 109*o**3 - 4*o**2 + 14*o + 18. Is u(5) prime?
True
Let z = 63 - 5. Let j = 2 - -3. Suppose -p - 350 = -3*s, j*s - 4*p - z = 537. Is s prime?
False
Let g = -6 - -12. Let i(v) = 2*v**3 - 5*v**2 - 1. Is i(g) prime?
True
Let c be ((-2)/5)/((-2)/10). Let q be 4/8 - (-346)/4. Suppose c*b + q = 3*b. Is b a composite number?
True
Let y(d) = d**3 + 9*d**2 - 3*d - 2. Suppose 5*f + 27 = 3*t, -t - 4*f + 4 = 3*t. Suppose -t*i + 3*i = 9. Is y(i) composite?
True
Let y = 613 + -97. Suppose 4*i + 104 = y. Is i prime?
True
Let x(a) = -15 - 30*a + 20 + 481*a. Is x(2) a composite number?
False
Let b = -24 - -27. Suppose -b*x = 5*i - 10739, -i + 4*x = 4*i - 10753. Is i composite?
True
Suppose -5*v - 3 = -6*v. Suppose 2*h = -5*q + 271, 0*q + v*h = q - 44. Is q a composite number?
False
Let a = -17653 - -32220. Is a a composite number?
True
Is (-2)/4*(-8 + -7082) composite?
True
Let q(y) = 363*y**2 - y - 9. Let k be q(-4). Suppose 2*z = u + k, -3*u - 2176 = -z + 738. Is z prime?
False
Let i(d) = 471*d + 63. Is i(8) composite?
True
Suppose -8 = 2*z, 0 = 4*m + z - 4*z - 172. Suppose -m = -3*i + 83. Is (-14 + 0)/((-2)/i) a composite number?
True
Let c be 1*(-3 + (-10)/(-2)). Suppose 1888 + 194 = c*w. Is w prime?
False
Let v = 3287 + -1074. Suppose -3*s + 6307 = 2*p, 108 - v = -s - 2*p. Is s a prime number?
False
Let b(y) = -3*y**2 + y + 269. Is b(0) prime?
True
Let x be -4 + 5/1 + 1. Suppose -4*q + 14 + 9 = 5*h, x*h - 4 = q. Suppose -57 = -h*p + 60. Is p composite?
True
Suppose 3*v + 2*x - 3 = -2, 4*v - x - 16 = 0. Is 352 + -18 + (0 - v) a composite number?
False
Suppose -3 = u - 6, -3*i = -5*u - 522. Is i a composite number?
False
Suppose -3*l + 115303 = -4*p, 37*l = 38*l - p - 38433. Is l prime?
False
Let w be 3 + 4*((-5)/(-2) + -2). Suppose 0 = -5*r - 2*j - 204 + 2441, r + w*j = 429. Is r a prime number?
True
Suppose -3*b + 12 = 0, 3*h = -4*b - 0*b + 514. Let t = h - 36. Suppose -124 = -2*w + t. Is w prime?
True
Suppose 4*x - 72 = -2*t, 4*t - 100 = -4*x - 36. Suppose -x = 4*a, 5*a - a = -5*v + 1005. Is v a composite number?
True
Let w = -160 + 56. Let g be (0 + 15/(-6))*w. Suppose -g = -2*m + 186. Is m a composite number?
False
Let m be (2*(-1359)/6)/((-12)/32). Let q = m + -567. Is q prime?
True
Let s(p) = -41*p - 14. Let j be s(-13). Is -6*(-3 - j/18) prime?
True
Suppose 5 = -v, v = 2*t + 6*v - 91. Let h = 150 - t. Suppose -5*z + h = -613. Is z a prime number?
False
Let i = 855 + -155. Let o = i - -451. Is o a prime number?
True
Suppose 4*x - 52 = -12. Suppose -2*a = 2*h - h - 6, 4*a = -h + x. Suppose 1375 + 551 = a*d - 2*i, -4*i = d - 953. Is d prime?
False
Suppose -4*t - 879 = -x + 5568, -4*t = x - 6487. Is x a composite number?
True
Let w(x) = -x**3 + 4*x**2 + x - 2. Let g be 10/35 + 26/7. Let r be w(g). Suppose -8 = 2*m, -3*u + r*u - 2*m + 23 = 0. Is u a prime number?
True
Let n(a) be the first derivative of a**4/4 - 10*a**3/3 - 13*a**2/2 + a + 10. Let r be n(12). Suppose 2*y = -3*h + r, y - 4*h = 10 + 51. Is y prime?
False
Suppose 4*w - 40 + 242 = -j, 5*w + j + 252 = 0. Let b be w/5*22/(-5). Suppose q - 141 = -b. Is q prime?
True
Let u(l) = 10*l**2 + 12*l - 17. Let f = -46 + 31. Is u(f) a composite number?
False
Let t = -18 + 38. Suppose -v + 5*v - t = 0. Suppose -79 = -u - 3*b - b, -v*u - 5*b + 395 = 0. Is u prime?
True
Let i be 4*(-4 + 3) + -841. Let d = 174 - i. Is d a composite number?
False
Let i = 1 - -20. Let l = i - -32. Is l composite?
False
Suppose -2*b = -l - 46, 0 = -b - b - 4*l + 66. Let s = -20 + b. Suppose -3*h + s*h = 742. Is h composite?
True
Let t = 60 + -15. Suppose d + 2*x = 10 - 22, -4*d - 5*x - t = 0. Is -35*((-8)/d)/(-2) composite?
True
Let b(t) = -t - 1. Let k be b(-8). Let l(j) = -10*j + 0*j - k + 7*j - 25*j. Is l(-6) composite?
True
Let q = 7 - 3. Suppose -q*s - 10 = -2. Is 2/(2/125) - s prime?
True
Let x be 5*-1*36/(-45). Suppose -2*q + 3*s - 22 = -7*q, x*s - 11 = -3*q. Is (10/6)/q*1137 a composite number?
False
Let h = 5718 + -1726. Suppose 3*j - 4089 = -3*z, 5*j - h = 4*z + 2805. Is j composite?
False
Suppose 4*y = 3*h - 19, 0 = -h - h + 2*y + 10. Let f(s) = 109*s**2 - 2*s + 2. Is f(h) composite?
False
Let k(f) = 5*f - 10. Let v be k(-5). Let i = 596 - v. Is i composite?
False
Let l = -21 + 27. Suppose -2*j = 2*m - l, 3*j = 5*m + 4*j - 15. Suppose 3*q = 3*o + 495, 0 = -0*o - m*o - 12. Is q prime?
False
Let t = -871 - -12138. Is t prime?
False
Let q(x) = -77*x - 9. Let v be q(3). Let m = 123 + v. Let z = m + 172. Is z a composite number?
True
Let j(k) = 24*k + 303 - 44*k + 21*k. Is j(0) a composite number?
True
Is (-3)/9 - (-14 + (-469126)/21) composite?
True
Let b be (-2892)/(-6) - (-5 + 2 + 0). Suppose 4*v + v - b = 0. Is v prime?
True
Let c be (6/4)/((-11)/(-22)). Suppose c*a + 2360 = 3*q + 8*a, 0 = 4*a - 4. Is q composite?
True
Let t(o) = 159*o**2 + 5*o + 1. Let y(h) = -319*h**2 - 11*h - 2. Let j(p) = 9*t(p) + 4*y(p). Is j(1) a composite number?
False
Let l be 1 + 1172 - (-9)/(-3). Is l/4 + (65/10)/13 a prime number?
True
Let q(l) = -2*l**3. Let a be q(-1). Let p be (3 - (a - 0))*-1. Is 5384/16*(p - -3) composite?
False
Let g = 2762 - 1494. Suppose 0*a - g = -4*a. Is a composite?
False
Let d = -683 - -1624. Is d prime?
True
Let d = -12421 - -17772. Is d composite?
False
Suppose -12*x = -x - 50017. Is x a composite number?
False
Let p be -1 - 1*-4*1. Suppose 2*o = p*k + 357, 3*o = -3*k + 105 + 408. Suppose 484 = 2*l + o. Is l a prime number?
False
Let r(o) = 612*o + 