+ 0*c + 1 + 2*c**3 + 0*c. Let u be w(1). Suppose -u*v + 308 + 288 = 0. Is v a prime number?
True
Suppose -3*x = -3665 - 1192. Is x a composite number?
False
Let l = 210 - 1. Is l composite?
True
Suppose 11*m = 19*m - 23512. Is m a composite number?
False
Suppose 3 = 2*o + 1. Let c be o/((-284)/(-282) - 1). Let b = c - 50. Is b a prime number?
False
Let y be ((-16)/(-2))/((-16)/(-152)). Suppose 10*u - 6*u - y = 0. Is u composite?
False
Is (-10469)/(-9) - (0 + (-8)/(-36)) a composite number?
False
Let f(y) = 3 + 2*y - 3. Let p be f(3). Let i(d) = 2*d**3 - 8*d**2 + 3*d + 1. Is i(p) composite?
False
Suppose 48 + 102 = 3*j. Suppose -j = -4*g + 2*g. Is g a prime number?
False
Suppose 0 = 5*n - 2*n - 3*v - 792, 0 = 5*n + v - 1290. Is n a prime number?
False
Suppose -2 = -2*k + 10. Suppose 5*w = k*w - 25. Is w a composite number?
True
Let j(y) = -7*y**3 + 2*y**3 + 3*y - 6 - 4*y**2 + 6*y**3. Let r(s) = -2*s - 6. Let d be r(-5). Is j(d) prime?
False
Let g = -30 + 84. Suppose 5*c + 10 = 0, -2*z - g = -3*c + 118. Let i = -52 - z. Is i a composite number?
False
Let z be 1*-2*(-7)/2. Suppose -a - 3*x + 10 = 0, 2*a - 2*x - x + z = 0. Is 36 + 1 + (a - 1) a prime number?
True
Let l be -1*8*(-3)/6. Let p be (l/12)/(1/(-3)). Is (-7)/(14/(-20)) - p composite?
False
Suppose -10 = f + w - 2, -f = 2*w + 11. Let t(l) = l**3 + 7*l**2 - 3*l - 7. Is t(f) a composite number?
True
Let k(l) = -3*l**2 + l - 1. Let h(g) be the first derivative of g**2/2 - g + 1. Let n(y) = 4*h(y) - k(y). Is n(2) a composite number?
True
Let t = -278 + 177. Let v = 156 + t. Is v a composite number?
True
Let j be (4/2 - 4) + -34. Let i = 59 + j. Is i a prime number?
True
Let c(q) = 2*q**2 + 15*q**2 - 7*q**2 - 1 + 14*q**2. Is c(-2) a composite number?
True
Let y(v) = 2*v**2 + 7*v + 14. Is y(-11) composite?
False
Let d be (-10)/(-35) + (-500)/(-14). Let u = d - -3. Is u a composite number?
True
Suppose x - 4830 = 6*x. Is (2/(-3))/(4/x) a prime number?
False
Let y = 0 - -2. Let s(v) = -v**2 + 7*v - 4. Let r be s(6). Is -1 - (y - 72/r) composite?
True
Let a(s) = s**2 - 7*s + 2. Let p(q) = q**3 + 4*q**2 - 2*q - 1. Let u be p(-4). Let d be a(u). Is d/7 - (-677)/7 a prime number?
True
Let o = 5 + -2. Suppose -16 = -4*f + o*j, f - 5*j - 5 + 1 = 0. Suppose -f*d + 2*d = -42. Is d composite?
True
Suppose 3 + 21 = 4*b. Suppose -2*f - 76 = -b*f. Is f a composite number?
False
Let g be (129 - 5) + 1 + 1. Suppose -2*b = 4*v - g, 9*b - 4*b = -3*v + 329. Is b a composite number?
False
Let v be (-14)/(-4)*(-60)/(-21). Suppose 9*s + 6 = v*s. Suppose 7*c - s*c = 79. Is c composite?
False
Let o(s) = -7*s**3 - 4*s**2 - s + 4. Let j be o(3). Let m = -105 - j. Is m composite?
True
Let a(f) be the first derivative of 133*f**3/3 + f**2 - f + 1. Is a(1) a composite number?
True
Let m be (-604)/(-6) + (-8)/12. Suppose 0 = 4*h - 12 - m. Suppose -w = -h - 49. Is w a prime number?
False
Let i(y) = 85*y - 2. Is i(3) a composite number?
True
Let u = -557 + 258. Let h = 456 + u. Is h prime?
True
Suppose u + 8 = 3*j + 23, -4*u + 34 = j. Is 416/6 - 3/u a composite number?
True
Let m(j) = 9*j**2 - 3*j + 4. Let q(w) = -w**3 - 5*w**2 + 8*w + 9. Let s be q(-6). Is m(s) a prime number?
False
Let t = -2 + 4. Let o(v) = 1 + v + 47*v**t - 3*v + v. Is o(1) prime?
True
Let l be 4/(-10) + (-12)/(-5). Suppose -l*n + 84 + 18 = 0. Is n a prime number?
False
Let l(o) = -3*o + 1. Is l(-1) prime?
False
Suppose 4*s + 4*x = 0, -5*s - x = 3*x. Let u = -22 - -162. Suppose 5*d - d - u = s. Is d prime?
False
Is 20876/51 - (-2)/(-6) a prime number?
True
Suppose -5*m + 3524 = -2021. Is m a prime number?
True
Suppose -2*v = 4*w - w + 55, 5*v - 2*w = -166. Let h = v - -55. Is h prime?
True
Let x(g) = -25*g**3 + 4*g**2 + 3*g + 1. Let v be (1 - 2)/((-2)/(-4)). Is x(v) a composite number?
False
Suppose -5 = 5*t - v + 6*v, 2*v - 14 = 2*t. Let c = t - -2. Is (-19)/(-4)*-2*c prime?
True
Suppose 7*m - 498 = 10*m. Is (m/(-4))/((-1)/(-2)) a prime number?
True
Suppose -4*w - 2*w = 108. Suppose 0 = -3*s - 75 - 36. Let c = w - s. Is c a composite number?
False
Let s be -51*-1*12/9. Is s/3 + (-4)/6 composite?
True
Let h(a) = a**2 - a + 2. Let c be h(0). Let f(x) = 0*x - x**3 - x - 11*x**c - 1 + 3. Is f(-11) composite?
False
Let r(i) = -249*i + 25. Is r(-2) a composite number?
False
Let d(f) = 11*f**2 + 4. Suppose w = -0 - 4. Let y be d(w). Suppose 4*g = y - 40. Is g composite?
True
Let s(b) = 30*b - 1. Let g(p) = -p**2 - p + 6. Let m be g(0). Is s(m) a prime number?
True
Suppose 2*q - 4*d = 1350, -q = -2*q - 2*d + 679. Is q composite?
False
Suppose -3*f = -11*f + 17848. Is f a composite number?
True
Let n(u) = 16*u**2 - 2*u + 3. Is n(3) a prime number?
False
Let k(p) = -6*p - 23. Is k(-11) prime?
True
Let g be (-1)/(-4 + 3)*2. Suppose -g + 0 = -r. Suppose 2*q = -2*t + 3*t + 161, r*q - 4*t = 146. Is q a composite number?
False
Let g be 0*((-9)/6 + 2). Suppose g*o + 4*o - 508 = 0. Is o a prime number?
True
Suppose -233 = -5*i + 57. Is i a prime number?
False
Suppose 0*l - 3*l + 12 = -r, -2*r = 0. Let h = l - 0. Let o = h + 6. Is o prime?
False
Let j be (-4)/(-7)*(-14)/(-4). Is (259/j)/((-3)/(-6)) composite?
True
Let n(l) = -l**3 - 11*l**2 - 12*l + 15. Is n(-10) composite?
True
Suppose -12 = -n - 0*n. Is -1 - 272/n*-3 prime?
True
Let l(j) = 54*j**2 + 1. Suppose -3 = 4*x - 19. Suppose k - s = -4, -k + 3*k + x*s = 10. Is l(k) composite?
True
Suppose -10 = 2*d, i - 3*d - 33 = 3*i. Let a(x) be the first derivative of 2*x**3/3 + 11*x**2/2 - 8*x - 1. Is a(i) a prime number?
False
Let s(p) be the first derivative of p**4 + p**3/3 - p**2/2 - 2. Let x be s(1). Suppose x*g - 9 = 179. Is g prime?
True
Let s(c) = 12*c**3 + 3*c**2 - 13*c + 5. Is s(4) a composite number?
False
Let u(x) = 4*x**2 - 11. Is u(5) prime?
True
Suppose o = 7*o - 3210. Is o prime?
False
Let f(n) = -n + 6. Suppose z = 4*z - 3. Suppose -z = q + 6. Is f(q) prime?
True
Let o = 729 - 410. Is o prime?
False
Let y(n) = 143*n - 7. Is y(4) prime?
False
Let h(w) = w**3 - 9*w**2 - 7*w - 27. Is h(12) a composite number?
True
Suppose 30*t = 26*t + 10204. Is t a composite number?
False
Let v(p) = -3*p - 6. Let r(n) = -n - 2. Let t(m) = 17*r(m) - 6*v(m). Is t(5) composite?
False
Is 18/9*911/(-4)*-2 composite?
False
Suppose -5*p = 2*t - 160, -3*p - 25 + 107 = 4*t. Suppose 0*f + p = 3*u - f, 5*u = -2*f + 75. Is u prime?
True
Suppose n + 0 - 3 = 0. Suppose 4*q - 2*q + i = 163, 0 = -2*q + 4*i + 138. Suppose 90 = 5*j + n*l, 5*j + l = j + q. Is j a composite number?
True
Suppose -4*j + 4*i = 2*i - 1080, j - i = 272. Let l = j - 109. Is l composite?
True
Let f be 57/21 + (-2)/(-7). Suppose 0 = -f*n + 268 - 31. Is n prime?
True
Let k(h) = -35*h - 2. Let y be k(-2). Let r = y - 35. Is r prime?
False
Suppose -v = 5*z - 1, -4*z + 0 = -2*v + 16. Let w be 13/(-4) - (-2)/8. Is (w + (-93)/v)*-2 composite?
False
Let i(a) be the third derivative of -17*a**6/120 + a**5/60 - a**4/8 - 5*a**3/6 - a**2. Is i(-2) a prime number?
False
Let d be (2 + 1)/(0 - -1). Suppose 10 = 5*a, -d*a - a - 3 = -p. Is p composite?
False
Let y be (-284)/(-5)*(-10)/(-4). Is ((-8)/8)/((-2)/y) a prime number?
True
Let p(j) be the first derivative of j**4/4 - j**3 - 5*j**2/2 + 6*j - 2. Let a be p(4). Let b = 125 + a. Is b a prime number?
True
Let c = -4 - -13. Let i = c + 6. Is (-10)/i + 113/3 a composite number?
False
Let y(g) = -3*g**2 + 4*g**2 - 8 + 3 + g - 7. Let k be y(9). Let x = -43 + k. Is x prime?
False
Suppose 0 = -4*q + 4*c + 10248, -3*c + c + 2 = 0. Is q prime?
False
Let s = 4277 - 2694. Is s a prime number?
True
Let k(g) = g**2 + g. Let i be k(0). Suppose 4*v - 20 = -4*a - i, 2 = -5*v + 4*a. Is 259 + -3 + (3 - v) a prime number?
True
Let o = -28 - -43. Is ((-6)/o)/((-2)/130) a composite number?
True
Suppose 3*h + 2273 = 4*h + 3*z, -4*h - 2*z = -9132. Is h a prime number?
False
Let i(u) = 8*u**3 - u**2 + 6*u + 7. Let d(m) = -7*m**3 - 6*m - 6. Let s be (-5)/1*(7 - 8). Let o(v) = s*i(v) + 6*d(v). Is o(-4) a composite number?
False
Suppose -3*l = 2*r - 5*r, -r = -5*l. Let z(t) = -t**3 + t + 80. Let q be z(r). Let i = q - 15. Is i a prime number?
False
Suppose -42 - 12 = -3*u. Suppose 4*p - u = -3*o + 21, 21 = 3*o - 2*p. Let h = -3 + o. Is h composite?
True
Let b be 5/2 - (-1)/(-2). Is ((-3)/b - -2)*114 prime?
False
Suppose 4*r = -f + 1946, 0*f - 2*f + 970 