*2 + 5*y + 8. Is s(-7) a prime number?
True
Is 22/(-4)*(-116)/2 prime?
False
Suppose 4*a = 5*a - 2. Let r(n) = 10*n**2 - n + 1. Is r(a) prime?
False
Suppose 7 = -2*l + 3*l. Suppose 0 = 3*m + l - 1. Is (2/(-4))/(m/476) composite?
True
Let d(w) = 2*w**2 + 6*w - 9. Let b = 23 - 16. Let v be d(b). Suppose v = t - 0*t. Is t composite?
False
Let r = -1535 - -2304. Is r a composite number?
False
Is 12 - (-5 - 6/(-3)) prime?
False
Let u(p) = 918*p**2 - 2*p + 3. Is u(1) composite?
False
Let q be ((-4)/(-3) + -2)*-6. Suppose 340 + 552 = q*k. Is k prime?
True
Suppose 2*z - 254 = 270. Let i = -156 + z. Is i composite?
True
Suppose -4*l + 202 = -94. Suppose l = -3*t + 5*t. Is t composite?
False
Suppose -3*w - 3 = -21. Is 4/w - 842/(-6) a composite number?
True
Suppose -30 = 4*a + 18. Let d be (5/(-3))/((-2)/a). Let j = d - -65. Is j a composite number?
True
Let v(b) = -50*b - 54. Let j(d) = 10*d + 11. Let p(w) = w**2 - 9*w + 3. Let m be p(7). Let n(y) = m*j(y) - 2*v(y). Is n(-9) a prime number?
False
Let q be 1/(-3) - 414/(-27). Suppose -2*j + q = 3*j. Is j composite?
False
Let l = 174 - -533. Is l a composite number?
True
Suppose 0 = 3*d + 2*r - 871, -7*d + r = -3*d - 1176. Is d composite?
False
Let u(r) = -r + 2. Let j be u(-2). Suppose 5*v + 11 = -j. Is (-1 - v)*(-46)/(-4) composite?
False
Is (2 + 1 - 4) + 356 composite?
True
Let h = 5 + 15. Suppose 2*x + 3*x + 2*f = 135, 4*f + 78 = 2*x. Let q = x - h. Is q a composite number?
True
Let k(a) = -a**3 - 5*a**2 - 2*a + 2. Let x(w) = w**3 + 3*w**2 - 4. Let t be x(-3). Let o be k(t). Is (-758)/o - 2/(-3) composite?
False
Let n(d) = -d**3 - 5*d**2 - 5*d - 1. Let j be n(-4). Suppose 192 = j*f - 3*x, 3*x = -0*f - 5*f + 328. Is f a prime number?
False
Suppose 487 = 3*k - 164. Is k a composite number?
True
Suppose 2*q = 5*w - 1, -5*q = 2*w - w + 43. Let g(r) = 56*r - 11. Let h(t) = 19*t - 4. Let m(z) = q*h(z) + 3*g(z). Is m(2) prime?
True
Let w = -7 - 3. Let v be -6*(-1)/(-10)*w. Is (28/v)/(6/9) a composite number?
False
Suppose c + 326 = a + 4*c, -4*a + 5*c = -1389. Is a prime?
False
Suppose -4*i + 0*i = -12. Suppose 2*u - 134 = 4*f, -5*u = -i*f - 310 - 25. Is u prime?
True
Let r(z) be the first derivative of -z**4/4 + z**3/3 + 127*z + 2. Is r(0) prime?
True
Let v = 3415 - 2372. Is v prime?
False
Let p(u) = 23*u**2 + 2*u + 1. Let b(r) = -4*r. Let s be b(1). Let f = -2 - s. Is p(f) composite?
False
Let w(j) be the second derivative of j**8/6720 + j**7/360 - j**6/180 - j**5/60 - j**4/6 - j. Let y(z) be the third derivative of w(z). Is y(-6) prime?
False
Let i = 35 - -18. Is i prime?
True
Suppose -i = -2*i + 4. Suppose i*w - 6 = -4*s + 3*s, -6 = 3*w. Is s composite?
True
Suppose 0 = -0*h + 3*h - 6. Let z be (-1)/(2/8) - -62. Suppose z = h*q - q. Is q composite?
True
Let w(x) = -20*x. Let t be w(-7). Let a = t + -75. Let u = a - 46. Is u prime?
True
Suppose -1516 = 32*y - 36*y. Is y a prime number?
True
Let r be (-8)/(7 - -25)*(1 - 13). Let f = 359 + -243. Suppose 2*x = r*t + 244, 0 = -2*x + 5*t + 132 + f. Is x prime?
False
Let t(h) = 5*h**3 + 15*h**2 + 7*h - 4. Let d(g) = -2 + 3*g**2 + 4*g**3 + 4*g**2 + 3*g - 2*g**3. Let q(n) = 7*d(n) - 3*t(n). Is q(3) prime?
True
Is (-3)/(-9) + 4 + 7168/6 prime?
False
Let h(c) = -48*c**2 + 9*c + 6. Let u(b) = 16*b**2 - 3*b - 2. Let i(w) = -6*h(w) - 17*u(w). Let z(g) = g**2. Let v(y) = i(y) - 4*z(y). Is v(-3) composite?
True
Let j(x) = 2*x + 1. Let a be j(-2). Let v be ((-129)/(-9))/((-1)/a). Suppose g - v = 8. Is g composite?
True
Let y = -9 - -15. Is (-9)/6*(-1636)/y a composite number?
False
Let s(g) = -2*g - 15. Let x(k) = 5*k + 30. Let d(i) = -7*s(i) - 3*x(i). Suppose 5*c - w = 3, -4*c + 4*w = -3 - 9. Is d(c) a prime number?
False
Suppose -2*w = -3*x - 42, -33 = -3*w + 5*x + 29. Is ((-2456)/w)/(2/(-6)) a prime number?
True
Let o be (-15)/(-2)*32/10. Let j = o - 8. Is (j + 1)*35/5 a prime number?
False
Let w(s) = -s**3 + 3*s**2 + 4*s + 2. Let r be w(4). Let z = r + -1. Let n = z + 2. Is n prime?
True
Let j(w) = w**2 + 9*w + 2. Let p be j(-8). Let l be 5*(p/(-3))/2. Suppose l*x = -3*s - 30 + 118, -3*s - x + 92 = 0. Is s a prime number?
True
Suppose -194 + 1359 = 5*f. Is f a composite number?
False
Let a(o) = 4 - 126*o - 7 + 0 + 15*o. Is a(-2) a prime number?
False
Suppose -1836 = x - 4*x + 3*l, 2*x = 4*l + 1226. Is x a prime number?
False
Let h(v) = 2*v**3 - 4*v**2 - 2*v - 5. Let s = 5 + -1. Is h(s) prime?
False
Is (-4)/(-14) - ((-16428)/7)/4 a composite number?
False
Let p = -3 - -1. Let s(d) = -7*d**3 + d**2 + d. Is s(p) a prime number?
False
Let j(y) = -866*y. Let p be j(-1). Let q = p - 561. Is q a composite number?
True
Let f = 5 + 53. Is f composite?
True
Suppose -z + 0 = -2. Suppose g = -z*g. Suppose g = -3*c - 2*c + 175. Is c a prime number?
False
Let q(f) = 5*f - f + 751 - f**2 - 5*f + 0*f. Is q(0) a prime number?
True
Suppose -2*t + 86 = p + 233, -91 = t - 3*p. Let u be 10/(-45) - t/18. Suppose u*w + 30 = 9*w. Is w a composite number?
True
Suppose 4*a - 732 = 328. Suppose n + a = 6*n. Is n prime?
True
Is 23/((-160)/(-53) - 3/1) a prime number?
False
Suppose -4*d - 8 = 0, 5*d + 8 = -g + 3*g. Let a(n) = 42*n**2 - n - 1. Let y be a(g). Suppose r = 3*v + y, 0 = 2*r - 2*v + v - 109. Is r composite?
True
Is (-4684)/(-10) + (-12)/(-20) a composite number?
True
Let z(m) be the second derivative of m**7/840 - m**6/240 - m**5/120 - m**4/6 + 3*m. Let h(q) be the third derivative of z(q). Is h(6) a prime number?
True
Suppose -5*d = 2*a - 3*a - 18, d - 2*a = 0. Suppose -d*l + l = 0. Suppose 0 = 4*o + 5*q - 235, l = 2*o - q - 110 - 25. Is o composite?
True
Let w = -166 - -84. Let d = w - -158. Suppose 4*x - 8*x + d = 0. Is x a composite number?
False
Suppose -3 = -o + 2. Suppose 1 = q - 2*u - 0*u, -o*u = -3*q. Let l(s) = 7*s**2 + s - 1. Is l(q) prime?
False
Suppose -4 = -5*u + 3*y, 3*u = -2*u + 5*y. Let b(k) = 26*k**2 + 4. Let m be b(3). Suppose 0 = -u*p - 4*d + 298 - 60, -m = -2*p + d. Is p a composite number?
True
Let z = 148 + 193. Suppose -2*r = -4*r - 368. Let n = r + z. Is n a composite number?
False
Let k(r) be the third derivative of r**6/360 + r**5/20 - 7*r**4/24 - r**3/6 + r**2. Let h(n) be the first derivative of k(n). Is h(6) composite?
True
Let j = -3 + 5. Let r be j*(-3)/(-6)*-39. Is r*(0 + -1) + -2 prime?
True
Suppose 0 = -5*y - 3*l + 25, 2*l - 5 = -4*y + 15. Let i = 51 - -87. Suppose -2*u + 78 = -2*a, y*u - u - i = -5*a. Is u prime?
True
Let a = -5 - -8. Let k be ((-1)/1)/(-1)*a. Suppose -m - 3*y + 59 = -80, -k*m + 4*y = -365. Is m composite?
False
Suppose -145 = 2*x - 3*x. Let t = -99 + x. Is t prime?
False
Let p be (-3 - -5)*(-29)/2. Let a = 44 + p. Is a a prime number?
False
Let p(g) = 5*g**2 + 2*g. Let h be p(-1). Suppose -h*f - 2*f + 545 = 0. Is f a prime number?
True
Suppose 3*x + 26 = 2*x. Let t be (-1 - -2) + 0 + -8. Let m = t - x. Is m a composite number?
False
Let j = 3 + -3. Suppose j*t = 2*t - 12. Suppose t*g - g = 0, -5*p - g = -110. Is p a composite number?
True
Let k(l) = 4*l**2 + 2*l + 5. Let i be k(4). Let o = -51 + i. Is o a prime number?
False
Let r = 7 - -12. Is r a composite number?
False
Let b(t) = -t**3 + 11*t**2 + 12*t + 7. Let g(p) = p**3 + 9*p**2 + 6*p - 5. Let z be g(-8). Is b(z) prime?
True
Let r = -7 - -15. Suppose -4*w = 4*m, r - 35 = -4*w + 5*m. Is 54 + (w + -2)*-1 a prime number?
True
Let y = 16 - 11. Suppose 0 = -2*a + y*k + 114, -5*a + 2*k + 3*k = -315. Is a composite?
False
Suppose 0 = 3*p - p + 26. Is (0 + 21)*(14 + p) a composite number?
True
Let k(o) = 2*o - 4*o**2 - 1 + o**2 + 2 + 4*o**2 - 203*o**3. Suppose 3*q = q - 2. Is k(q) a prime number?
False
Let b(a) = 177*a**2 + 10*a**2 + 1 - 2. Let t be b(1). Suppose 0 = 4*d - 2*d - t. Is d prime?
False
Suppose 2*s + 0 = 10. Suppose 0 = 2*j - j. Suppose 0 = 4*f + s*g - 104, f - 2*g = -j*g + 13. Is f composite?
True
Suppose -5*l - 3 = -g - 9, g + 2 = 3*l. Suppose -5*y - q + 16 = -g, -2*y = -3*q + 9. Suppose -y*f + 49 = 4*i - 41, 5*f - 115 = -5*i. Is i a prime number?
False
Let y = 1159 + -1639. Let f = -187 - y. Is f prime?
True
Suppose -3*o + 13 = -2. Suppose 0 = -3*n - 1 - o. Is 2/6*(n + 113) composite?
False
Suppose -5*c = 34 + 16. Is 166/4*c/(-5) a composite number?
False
Suppose -830 + 50 = -5*b. Suppose 6*k + b = 2*k. Let p = -20 - k. Is p a composite number?
False
Suppose -i 