 Let h be (v + -3)/(5 + -3). Is h - 2 - (-37 + 0) composite?
True
Suppose -2*g = -g - 3. Let r(q) = -q + 6. Let o be r(g). Is (903/14)/(o/6) a prime number?
False
Let w(i) = 14*i**2 - 17*i + 87. Is w(-16) a composite number?
False
Is (-3 + (-2)/(-1))*(-3244 - 25) a composite number?
True
Suppose 2760 = 179*h - 173*h. Suppose 4*z = -0*z + 20. Suppose -z*k - 3*w + h = 183, -3*k - 4*w + 175 = 0. Is k a prime number?
True
Let j(r) = -2 - 244*r - 4 - 214*r - 1. Is j(-3) composite?
False
Suppose 4*a = -z + 10551, -2*a - 3*z = -244 - 5029. Is a a composite number?
True
Suppose 28144 = 17*q - q. Is q composite?
False
Is (-17 - (70088 - -13))*1/(-2) a composite number?
False
Let c(v) = 2*v**2 - 8*v + 4. Let o(z) = z**2 - 9*z + 4. Let g(p) = 3*c(p) - 2*o(p). Is g(7) a prime number?
False
Suppose 502585 = 21*p + 73996. Is p a composite number?
True
Suppose y = 4*p + 10, 0*p - y = -5*p - 12. Let b be (-42*1)/(p/17). Let n = b - 200. Is n prime?
True
Let r be 4/6*(-36)/8. Let h = r - -6. Is 300/h + -2 + -1 a prime number?
True
Let j(h) = 3*h**2 + 3*h + 1. Suppose 39 = 4*l + 183. Let i = 33 + l. Is j(i) a composite number?
False
Suppose 2*r + 2*r = 16. Suppose 0 = -7*v + r*v + 93. Is v composite?
False
Let a(v) = -36*v + 33. Is a(-34) composite?
True
Suppose 0 = -k + 5*k - 2*z - 6698, -5*k = -4*z - 8377. Is k a composite number?
True
Let z = 116190 + -80939. Is z prime?
True
Suppose 4624 = -70*v + 86*v. Is v composite?
True
Suppose -4*z - 24 + 8 = 0, 0 = 3*q - 2*z - 21401. Is q composite?
True
Suppose 2*i = 8 - 2. Suppose 1 + 11 = i*g. Suppose -g*r = -0*r - 44. Is r a prime number?
True
Let p be ((-4)/(-1))/(-4) + 17. Let x be 21/((-60)/p + 4). Is ((-41)/(-1))/(12/x) a prime number?
False
Let f(l) be the first derivative of -77*l**2 - 2*l + 3. Let t be f(-1). Let d = -33 + t. Is d a composite number?
True
Suppose 2404 = -l + 183. Let z = 3424 + l. Is z composite?
True
Let n(s) = -s**3 + 17*s**2 - 24. Let c be n(18). Let r = -203 - c. Is r a prime number?
False
Suppose 0 = n + 4*g - 8829 + 3420, 2*n - 2*g - 10798 = 0. Suppose -3*l + 4*t = -n, 5365 = 3*l + 3*t + 2*t. Is l a prime number?
False
Let a(k) = -1878*k - 4. Let q be 16/(-14) - (32/(-28) + 1). Is a(q) composite?
True
Let f(t) = 2*t**3 - 11*t**2 - 10*t + 8. Let k be f(9). Suppose -k = 4*x - 2745. Is x a composite number?
True
Let r(p) = 11*p - 19. Let h be r(3). Let c = 143 + h. Is c composite?
False
Suppose -7*h - 20765 = -72838. Is h prime?
False
Let q(g) = -g**2 + 5*g - 2. Let i be q(5). Let t = -2 - i. Is (-1 - -1120)/3 + t composite?
False
Suppose -4*r = 641 + 827. Let u = r - -3306. Is u prime?
True
Let z(p) = 8*p**2 + p - 1. Let s be z(6). Suppose 0 = -37*i + 36*i + s. Is i a prime number?
True
Suppose 67*m - 55*m - 151464 = 0. Is m a composite number?
True
Let c(w) = 3*w**3 + w - 1. Let d = -10 - -11. Let b be c(d). Suppose -85 = b*a - 316. Is a prime?
False
Suppose -2*p = -0*p - 10606. Is p a prime number?
True
Let a(m) = m**3 + 5*m**2 - 12*m + 5. Let v be (0 + -12)*2/(-4). Is a(v) composite?
True
Let s = -22 + 22. Suppose s = -3*u + 9. Suppose 0 = -k + 5*y + 474, -3*y = -u*k + 2*k + 480. Is k a prime number?
False
Let j(r) = 5*r**2 - 2*r. Let n be j(-1). Suppose -4*g - 19 = -n, 5*g - 450 = -5*d. Is d a composite number?
True
Suppose 2*y - 21 + 93 = 0. Is (-54606)/y + 2/12 prime?
False
Let p(g) = g**3 - 6*g**2 + 5*g + 6. Let o be p(5). Let v be ((-51)/o)/((-1)/22). Suppose j - 148 = v. Is j prime?
False
Let p(z) = 73511*z + 25. Is p(2) composite?
False
Is ((-1247330)/(-42) + -7)*3/2 a prime number?
True
Let i(f) = f**3 - 5*f + 5. Let u be i(2). Is (-1)/(-4) - u*2177/(-4) composite?
True
Let a(m) = -m**3 - m**2 - m + 77. Suppose 0 = n - 4*n. Let y be a(n). Is y - (-2)/1 - 2 composite?
True
Let x be 1 + (-1 - 1) - -85. Let b be (27/(-6))/((-1)/x). Let t = -163 + b. Is t prime?
False
Let g = 36039 + -17698. Is g a prime number?
True
Let n(l) = 230*l**2 + 1. Let j(x) = -229*x**2 + x - 2. Let m(p) = 2*j(p) + 3*n(p). Is m(1) composite?
False
Let v be (-75 - -4) + (4 - 2). Let b = 45 + v. Is (-379)/2*b/12 prime?
True
Suppose -p = 10*p + 8*p. Let a = 10 + -7. Suppose -z = -2*g + 5*g - 196, p = -z + a*g + 214. Is z composite?
True
Suppose 4*r = 2*m + 12, m + 5*r = -3*m + 15. Suppose -9*p + 12*p - 3093 = m. Is p a prime number?
True
Suppose -1496 = -4*q + 2*o, -q + 268 = 5*o - 117. Let m = q - 124. Is m a prime number?
True
Let n be 6/(-33) - (-4998)/22. Let i be (-8)/(-16) - n/(-2). Suppose 3*w - i = w. Is w a prime number?
False
Let d(y) = -62*y + 5 + 62*y + 116*y**2 + 135*y**2. Is d(-2) composite?
False
Suppose 2*z = -q + 1 + 3, -4*z + 28 = -3*q. Is (-38323)/(-57) - q/6 prime?
True
Suppose 5*m + 6806 = -3*x + 19254, 4*m + 2*x - 9958 = 0. Is m prime?
False
Let j be 3206/10 + 21/(-35). Suppose -5*l - j = 1050. Let y = 407 + l. Is y a composite number?
True
Let z be 5 - (-197 - 1) - 3. Let o = z + -114. Is o prime?
False
Let x = -303 + 912. Suppose -2*a + x = 5*o, 5*a - 477 = -2*o - 2*o. Is o a composite number?
True
Let k(w) = -56*w + 96*w - 49*w - 3. Suppose 7 = -r + u, 5*u = -5*r - 37 - 8. Is k(r) prime?
False
Let y = 1466 - 363. Is y a prime number?
True
Let f(i) = -723*i - 106. Is f(-9) a prime number?
False
Let q(v) = -9*v**2 + 31*v + 25. Let z(h) = 17*h**2 - 62*h - 50. Let s(l) = 7*q(l) + 4*z(l). Is s(23) prime?
True
Let x(n) = 41*n**2 - 3*n - 1. Let d(r) = -40*r**2 + 3*r + 1. Let h(j) = -5*d(j) - 4*x(j). Suppose -23 = -2*t + 5*l, t + 5 = 3*l + 18. Is h(t) a prime number?
True
Let x(r) = 2*r**3 + 7*r**2 + 14*r + 6. Let k be x(-10). Let o = k - -2202. Let h = o - 365. Is h a prime number?
False
Suppose -5*g - u = 44, 2*u - 20 = 5*g + 12. Let r be (-11410)/(-8) + 2/g. Is 5/(-40) - r/(-16) a composite number?
False
Let g(w) = 74*w + 62. Let y be g(-22). Let i = y - -2228. Is i prime?
False
Suppose 2*s - 8 = 0, 4*s + 4 = 5*x + 5*s. Let g be (x + 51)*(-15)/(-5). Suppose -z + 0*z + g = 2*a, 0 = 4*a - 3*z - 331. Is a a composite number?
False
Suppose 0 = 2*b - 3*s - 6781, -2*s + 3535 + 3241 = 2*b. Is b prime?
True
Suppose r + m - 7 = 9, -m + 4 = 0. Suppose r*s - 8*s - 1004 = 0. Is s a composite number?
False
Suppose 5*o = -1748 - 2507. Let d = o - -1524. Is d a composite number?
False
Suppose -8350 = -5*s - 3*a + 2*a, 5*s = -2*a + 8345. Suppose -5*k + s = -2*k. Is k a composite number?
False
Suppose -40*g + 45*g - 15 = 0. Let t = 22 + -14. Suppose -i + 7 = a - 21, 0 = i - g*a - t. Is i a composite number?
False
Suppose -2*u + 4 = 2*r - 0*u, 5*r - u = 4. Suppose 4*n + s = 3*n - r, 0 = -4*n + 2*s - 10. Let j(z) = -37*z**3 - 2*z**2 + 1. Is j(n) composite?
True
Let m = -2127 - -7345. Is m a prime number?
False
Suppose -v = 2*v - 24. Is ((-20)/v - -3)*508 a prime number?
False
Let p(n) = 4278*n**2 + 10*n - 15. Is p(2) a composite number?
False
Let s = -129504 + 187307. Is s a composite number?
False
Let l = 10 - 5. Let s(b) = -b**2 + 7*b - 7. Let g be s(l). Let z(u) = 190*u + 1. Is z(g) a prime number?
True
Let q = 347288 + -216085. Is q composite?
False
Suppose -2*s + 4*f = -49362, f = s - 4*f - 24678. Is s a prime number?
True
Let y = 7995 + -4178. Is y composite?
True
Suppose 7164 = 5*i + 4*m - 14421, -15 = -3*m. Is i composite?
True
Let k(w) = 16*w**2 - 18*w + 16. Let y be k(-13). Is 3/(464/y - (-2)/(-14)) a prime number?
True
Let y(b) be the second derivative of -b**3/6 + b**2 + 12*b. Is y(-13) a composite number?
True
Let c(s) = 12*s**3 - 8*s**2 + 15*s - 38. Is c(11) a composite number?
False
Let d = -17 - -16. Is -2 - (d - 4) - -338 a prime number?
False
Suppose b - 5*x = -7301, -5*x + 8*x = -5*b - 36561. Is b/(-27) - 4/(-18) a prime number?
True
Suppose 5*l + 9 - 4 = 0. Let n(y) = 839*y**2 + 2*y + 2. Let r be n(l). Let z = 1250 - r. Is z a composite number?
True
Suppose -3634 = -7*n + 2169. Is n a composite number?
False
Suppose 0 = -5*w + 15, s - w - 3 = 0. Suppose -15 = 3*t + 4*d, -3*d - 17 = 2*t - s. Is 1*148 + (t - -2) a composite number?
False
Suppose y - 3 + 7 = 0. Is 53*y/8*-14 composite?
True
Let b = -17 - -27. Suppose 12*v = b*v + 422. Is v a prime number?
True
Let q(m) = 94*m**2 - 78*m - 6. Is q(8) a prime number?
False
Suppose -6*t - 17 = 37. Is 20/(-90) - 1064/t composite?
True
Let i = 2643 - 469. Is i prime?
False
Suppose 0 = -2*w - k + 78085, w + 3*k = 5*k + 39035. Is w prime?
Tru