r = c + -16. Let g = 0 + r. Is g prime?
False
Let d = 1100 + -621. Is d a composite number?
False
Suppose -114 = 2*h - 292. Is h a prime number?
True
Suppose 3*h + 5 = 110. Is h a composite number?
True
Suppose f + 3*b = 455, 0*f = -3*f + 4*b + 1339. Is f a composite number?
False
Let u = -11 + 17. Suppose 2*c + u = 5*c. Suppose -3*n + 53 = -c*n. Is n a composite number?
False
Let b = -15 + 10. Is (-4)/20 + (-166)/b composite?
True
Let v be -1*3/(-6 - -3). Is v/(-3*(-1)/921) a composite number?
False
Let v be ((-9)/15)/(2/(-30)). Let i = v + 15. Is 1*(i + (0 - 1)) a composite number?
False
Let a(o) be the second derivative of 59*o**3 - o**2/2 + 8*o. Is a(1) prime?
True
Suppose -5 = 3*a + 5*l, a + 4*l + 2 + 9 = 0. Let y(q) = 4*q**2 + 3 - 1 - 9*q + a. Is y(6) a composite number?
False
Let i = 658 + -111. Is i a composite number?
False
Is -3 + (1 - 2)*-920 a prime number?
False
Suppose -16 = -5*h - 4*s, -3*h - h - 5*s = -20. Let c(f) = -f + 797. Is c(h) composite?
False
Let f = 117 + -62. Is f a prime number?
False
Suppose -r + 2 = 1. Let b(i) = -65*i - 1. Let v be b(r). Is (v/(-9))/(2/9) a prime number?
False
Let c be 192 + 5/((-10)/(-6)). Suppose -5*g + y + c = -y, -3*g - 4*y + 91 = 0. Is g composite?
False
Let h(n) be the second derivative of -n**4/12 + n**3/3 + 2*n. Let i be h(-4). Let z = i + 50. Is z a prime number?
False
Is 2/4*(9 + 269) composite?
False
Is 6/(-8) - (-1245)/12 a composite number?
False
Let d be -3 - (-33)/((-3)/(-1)). Is (0 + (-452)/d)*-2 a prime number?
True
Suppose 5*n - n = -12. Let r = 54 + -53. Let q = r - n. Is q a prime number?
False
Let x(i) = 3 + 11*i - 38*i - 4 - 10*i. Is x(-8) composite?
True
Let t(i) = -5*i**3 + 6*i**2 + 7*i + 3. Let z(v) = -v**3 + v - 1. Let f(o) = -t(o) + 4*z(o). Let x be f(7). Let d = x - 11. Is d composite?
True
Let b(g) = 59*g - 1. Suppose 4*m - 7 = -3. Is b(m) a prime number?
False
Is (-48)/20*10/(-4) a composite number?
True
Suppose 5*x = 3*x + 1582. Is x composite?
True
Let b = 78 - -8. Is b prime?
False
Suppose -2*c = 3*h - 0*c + 12, -4*h - 3*c = 17. Is (h + -2)*(-95)/20 composite?
False
Suppose 0 = x + 2*h - 10, -x - 2*h = 3*x - 16. Suppose 0 = x*r - 6*r + 1300. Suppose 5*w - 10 - r = 0. Is w a composite number?
False
Suppose 0 = -g, -10 = 6*s - 11*s + 4*g. Let l be (-114)/12 - 3/s. Let m = 78 + l. Is m composite?
False
Suppose -751 = -3*k + 200. Is k composite?
False
Suppose -5*r + 4 = -26. Suppose -a = -r*a + 415. Is a prime?
True
Suppose 0 = -0*r - 5*r - 205. Let a = 108 - r. Is a a composite number?
False
Let g(u) = 41*u. Let w be g(-1). Let d = w - -132. Let y = -65 + d. Is y a composite number?
True
Let p(x) be the second derivative of 0 - 1/12*x**4 + 1/3*x**3 - 1/10*x**5 - 3*x - 1/2*x**2. Is p(-2) a prime number?
True
Let z = 52 - 42. Is z composite?
True
Let c be (-1 + 0)/(2/(-10)). Let x = 16 - c. Suppose 0 = 5*f - 254 - x. Is f composite?
False
Let m = -475 + 920. Is m a composite number?
True
Let u be (0 - 2)/((-2)/(-3)). Let z = u + 5. Let p(n) = 9*n**3 + 3*n**2 - n + 1. Is p(z) prime?
True
Suppose 0 = -5*f + 3*y + 29, 3*f = 4*f + 3*y - 13. Let m = f + 2. Is m composite?
True
Suppose 5*f - 5 = -0*f. Suppose -f - 2 = -m. Is m composite?
False
Let k(c) = -7*c**3 + c**2 + 4*c + 3. Is k(-2) a composite number?
True
Suppose -h + 5 = 0, h - 2882 = -n - 2*n. Is n prime?
False
Let q(p) = -6 - p + 3*p**2 + 6*p + p**3 + 0*p**2 + 4*p**2. Is q(-5) a composite number?
False
Suppose -6*h + 2*h - 110 = 2*d, -5*d = h + 284. Let o = 148 + d. Is o composite?
True
Let c(j) = 8*j**3 - 6*j**2 + 4*j - 13. Is c(6) prime?
True
Suppose -5*a + 7*a = 706. Is a a composite number?
False
Let v(t) = t + 1. Let h be v(-6). Let s(n) = -2*n**2 - 6*n - 7. Let m be s(h). Let l = m + 60. Is l prime?
False
Let u be -4 - 79 - (-2)/2. Is u/(-12) - (-2)/12 prime?
True
Let u be 740/(-15)*(-3)/2. Suppose -5*g + 91 = -u. Is g a prime number?
False
Let x be 0/(-2) - (3 + -3). Suppose -2*u + 2*a + 29 = -u, -5*u + 2*a + 161 = x. Is u prime?
False
Let x = -15 + 28. Is x prime?
True
Suppose -y + c + 8 = 2*c, 2*c = 4*y - 14. Suppose -136 = 3*j - y*x - 761, 0 = -x - 2. Is j prime?
False
Let m(s) = -81*s + 4. Let j(p) = -2*p**2 + 3*p. Let n be j(2). Is m(n) composite?
True
Let i = -3 + 19. Suppose -g + 109 = 2*p, -311 - i = -3*g - 4*p. Is g composite?
False
Let k = 11 + -7. Suppose 0 = -k*z - l + 231, -4*z + 3*l + 155 = -96. Is z composite?
False
Let r be (-3)/(-2) - (-4)/8. Suppose h = -r*h + 6. Suppose 5*a - 105 = h*a. Is a prime?
False
Suppose 0 = -q + 33 + 94. Is q composite?
False
Let s(g) = -9*g - 4. Let w be s(6). Let z be (2 - w) + -3 + 2. Suppose -2*m = o - 31, 0 = 3*m - o + 5*o - z. Is m a prime number?
True
Suppose -2*l + 44 = -50. Suppose 2*w - l = w. Is w composite?
False
Let o = -310 + 536. Is o a prime number?
False
Let o be 6/(-33) + 158/22. Let u = o + -4. Is -19*u/(-6)*2 a prime number?
True
Suppose -4*h - 10 = -9*h. Suppose -4*t = 2*f - 1278, h = 5*f - 3. Is t a composite number?
True
Suppose -3*q = -6*q. Let f(o) be the second derivative of o**3/6 + 19*o**2/2 + o. Is f(q) composite?
False
Let y(d) = -3*d - 6. Let f be y(-6). Suppose -h = -a + f, 0 = a - 4*h - 6. Is a a prime number?
False
Let b = -801 + 1572. Suppose 9*c = 6*c + b. Is c a composite number?
False
Let h(t) = -25*t + 11. Is h(-8) composite?
False
Suppose -4*p + 4*s = -8, 4*p + s - 1 = -3. Let r(i) = i + 282. Let q be r(p). Suppose w - 99 = 2*o, w + 3*o = 4*w - q. Is w composite?
False
Let n(a) = a + 2. Let z be n(-4). Let b = 1 + z. Is ((-1)/(3/381))/b prime?
True
Suppose -6*q + q = 315. Let r = 182 - q. Let c = 354 - r. Is c composite?
False
Is 6/(-2) + 28 + -2 prime?
True
Suppose 3*c + 0*c = -6, 38 = 5*j - 4*c. Let k(f) = f - 2 + j + 3 + 3. Is k(0) a prime number?
False
Let w(n) = n**2 - 2*n + 1. Let g be w(1). Suppose -5*z + 2*t + 41 = 0, 5*z - 51 = -g*z - 3*t. Is z composite?
True
Is ((-5)/10*-586)/(1 + 0) a prime number?
True
Let y(i) be the first derivative of -i**3/3 + i**2/2 + 9*i + 4. Let d be y(11). Let c = 180 + d. Is c a composite number?
False
Suppose 3*s + 4 = 19. Suppose 185 = 5*q + s*w, 3*q + 2*q - 189 = -w. Suppose 0 = 4*c - 2*c - q. Is c a prime number?
True
Let o(x) = -x**3 - 4*x**2 - 3*x + 4. Let k be o(-3). Suppose -k*a + 4 = -4. Let y(s) = 10*s**3 + 2*s**2 + 3*s - 3. Is y(a) composite?
True
Let o(q) = q**3 - q**2 + 2*q - 4. Let r be o(2). Is r/(-6) + (-658)/(-6) a prime number?
True
Suppose 0 = 3*r + 72 - 513. Let p = 338 - r. Is p a prime number?
True
Is (1*-11)/((-7)/287) a prime number?
False
Let r be (2/(-4))/((-6)/72). Let d = -4 + r. Suppose 0 = -5*j + k + 416, -4*j + d*k - 43 = -377. Is j prime?
True
Suppose -p - 679 = -2*p + 5*y, -2*p + 4*y = -1334. Is p a composite number?
False
Let j be ((-57)/4)/(2/(-8)). Suppose 521 = 5*f - 179. Let k = f - j. Is k composite?
False
Suppose 12 = 14*p - 10*p. Suppose 0 = r + p*r - 436. Is r prime?
True
Suppose -4*g + 10 = 2. Suppose -g*f - 3*j - 3 = 0, 0 = f + 2*j - j + 1. Suppose u + f*w = 4*w + 6, 2*w - 74 = -3*u. Is u a composite number?
True
Suppose 0*t - 4183 = -3*g + 2*t, -3*g + 4203 = 3*t. Is g prime?
False
Let i(g) = 3*g**2 - 3*g - 5. Is i(-3) composite?
False
Let v = -140 + 286. Let d be (-5)/(-2)*v*1. Suppose 4*r - d = 143. Is r composite?
False
Let b(h) = -h + 53. Suppose -t - 2*t = 0. Is b(t) a prime number?
True
Suppose -53 = 5*v - 8. Is ((-6)/v)/((-2)/(-33)) a composite number?
False
Suppose -2*f = -4*b - 94, f - 2*f = 4*b - 17. Suppose -y = -f - 40. Is y a composite number?
True
Let q = 18 + -38. Is 79/7 + q/70 composite?
False
Let v = -2 + 5. Let m = v + 4. Let x(j) = 4*j - 6. Is x(m) a prime number?
False
Let f(h) = 82*h**2. Is f(-1) a composite number?
True
Let m = 335 - -12. Is m a composite number?
False
Let x(f) = -6*f. Let m be x(-1). Let z(w) = 7*w - 7. Is z(m) composite?
True
Suppose -1096 = -6*j + 2*j. Is j prime?
False
Let r(w) = 10*w**2 - 4*w - 5. Suppose -4*b - 6 = -5*b. Is r(b) a prime number?
True
Let v(f) = -6*f + f - 12 + 2*f. Let o = 4 - 13. Is v(o) a prime number?
False
Suppose 0 = 2*n - z - 3, 4*n + z - 7 = 8. Suppose 4*q = -5*x - 27 + 3, -n*q - x - 7 = 0. Is (-1)/q*22/1 prime?
False
Suppose 16 = -w - 4*a, 0 = 3*w - 2*w - 3*a - 12. Let q(f) = f + 26. Is q(w) prime?
False
Let m = 3 + -1. Is 476/8 - 1/m composite?
False
Suppose 3*f - 453