c = o + -48. Is c a composite number?
True
Suppose 4*m - 3*q = 182, -84 = -2*m + 7*q - 2*q. Suppose 0 = -2*h - m - 245. Is 1/2 - h/4 prime?
True
Is (-4)/(-14) - 309/(-21) a prime number?
False
Is 23 - 0 - (2 - 0) a composite number?
True
Let i = -5 + 9. Suppose i*c = 5*z - 445, -c + 89 = -3*z + 4*z. Is z composite?
False
Let b(n) be the first derivative of 86*n**3/3 - 3*n**2/2 - 2*n + 8. Is b(-1) prime?
False
Let d = -138 + 209. Is d a prime number?
True
Let i(q) = -5*q + 4. Let f(h) = 6*h - 3. Let g(p) = 3*f(p) + 2*i(p). Is g(15) prime?
False
Suppose 0 = 5*p - 63 - 37. Let m be 30/4*p/3. Suppose -2*c + 3*c = -4*l + 55, c = 3*l - m. Is l a prime number?
False
Let d(v) = -v**2 + 46*v + 5. Is d(12) composite?
True
Suppose -70 = 5*y + 70. Is y/(-12) + (-1)/3 composite?
False
Suppose 3*x = 0, f - 226 + 35 = -2*x. Is f composite?
False
Let x(c) = c**3 - c**2 - 2. Let o be x(0). Let l be o/(-8) - 1996/(-16). Let t = l - 60. Is t prime?
False
Let b(x) = -4*x - 11. Let v be b(-4). Suppose -a - 2*s = -83, -3*a + 6*a - v*s - 271 = 0. Is a a composite number?
True
Let h(f) = 125*f**2 + 2*f + 3. Is h(-2) a composite number?
False
Is 194/(((-50)/(-95))/5) a prime number?
False
Let u(l) be the second derivative of 29*l**4/12 - l**3/3 + l**2/2 - 3*l. Is u(2) prime?
True
Let a = 599 + -106. Is a a composite number?
True
Let q(u) = 2*u - 10. Let b(j) = -3*j - 5. Let v be b(-4). Let i be q(v). Suppose c + c = -i*f + 366, 2*c = 5*f - 471. Is f a composite number?
True
Suppose 0 = -3*p + 3*s - 858, -3*p + 4*s - 930 + 70 = 0. Let v be (-2)/6*169*3. Let r = v - p. Is r prime?
False
Let m = 0 - 7. Let a be (-2886)/(-42) - 2/m. Suppose -2*j + a = -j. Is j prime?
False
Let w = 41 + -4. Is w prime?
True
Let v = 0 + 10. Let a(x) = -2 + 2 + 1 - v*x. Is a(-7) a composite number?
False
Suppose -8*f - 5*v = -3*f - 1015, -5*v = -15. Let z = f + -55. Is z a prime number?
False
Let m(h) = -h**2 - 22*h + 6. Is m(-15) a composite number?
True
Let g be (-202)/8 + (-3)/(-12). Let n = -17 - g. Let j = n + -5. Is j a composite number?
False
Let u(h) = -h**3 - 3*h**2 + 3*h - 2. Let f be u(2). Suppose -3*v = -2*v + 1, -4*v + 6 = -2*r. Is (r/2)/(4/f) composite?
True
Let o(n) = n**2 - 4*n. Let g be o(4). Suppose g = -u - 4*k + 619, -4*u + 4*k + 3098 = 562. Is u a prime number?
True
Let u(p) = -p**3 - 8*p**2 + 10*p + 13. Suppose -i - 4*x = 18, 1 = -3*x - 5. Is u(i) a prime number?
True
Let w(b) = 6*b**2 - 26*b + 11. Is w(12) a composite number?
False
Let c(g) = 52*g**2 - 2*g + 1. Let f(s) = s**2 + 12*s + 2. Let a be f(-12). Is c(a) composite?
True
Is -2*(0 - (-1473)/(-6)) prime?
True
Suppose 0 = 2*l - 1 - 7. Suppose -7*b = 4*p - 4*b - 447, -4*b = -l. Is p a composite number?
True
Suppose 0 = -2*u - 792 + 3178. Is u a prime number?
True
Let q(v) = -v**2 - 5*v + 10. Let k be q(-6). Suppose 3 = -3*u, -4*m - k*u + 233 = -m. Is m composite?
False
Suppose 2*f - 9 = -f. Let m be (-33 + 2)/(f/(-9)). Suppose -4*y = 5 - m. Is y composite?
True
Suppose 0 = 7*t - 2104 - 14227. Is t a prime number?
True
Let m be -5*(-1 + (-3)/(-5)). Is (-10248)/(-16) + 1/m a prime number?
True
Let r be -3 + 4 + 6 - 3. Let s be (1 - 2)/((-1)/r). Suppose -4*b - 3*c = -3*b - 6, -s*c - 20 = 0. Is b prime?
False
Let g = 2 + 3. Suppose -l + 70 = -r, -6*r = -g*l - 2*r + 345. Is l composite?
True
Let h = 8 - 9. Is (-3 - h - -3)*13 prime?
True
Let x = 4348 + 979. Is x composite?
True
Let f(i) = i**3 - 7*i**2 - 6*i + 8. Let k be f(8). Suppose k = -3*x + 87. Suppose q + x = 56. Is q prime?
False
Suppose -4 = 5*n - 14. Let u(i) = -8*i - 5 + 7*i**2 - 3*i**n + 6 + 4. Is u(5) composite?
True
Let b = -138 + 241. Is b composite?
False
Suppose -d + 5*d - 6940 = 0. Is d a prime number?
False
Suppose 5*r = 5*h - 525, 4*h - 3*r + 7*r = 452. Let p = 240 - h. Is p a prime number?
True
Let i(b) = -18*b + 7. Let h(k) = -k. Let u(s) = -5*h(s) + i(s). Is u(-8) prime?
False
Suppose 4*m - 330 = r - 895, 2*r - m - 1095 = 0. Is r a composite number?
True
Suppose -2*t = 3*u - 2, 2*u + t = u - 1. Let h = -8 + 12. Suppose -h*m + u*p + 403 = p, 4*m + p - 383 = 0. Is m a composite number?
False
Let q(u) be the second derivative of -u**4/12 + u**3 + 3*u**2/2 + 4*u. Let k be q(6). Suppose k*d - 78 = -0*d. Is d prime?
False
Let l(p) = -9*p + 2. Let r(z) = -z + 21. Let b be r(0). Suppose 7 = -4*f - b. Is l(f) a composite number?
True
Let f(w) = w**2 + 3*w - 4. Let m be f(-5). Is 15/(-10)*(-436)/m prime?
True
Let w(q) = -3*q + 0 - 6 + 1. Is w(-10) a prime number?
False
Suppose -3*d = -4*w + 5*w - 6, 0 = 2*d - 5*w - 4. Suppose d*x + 70 = 4*x. Is x prime?
False
Let t(o) = 2*o**2 + 4*o + 5. Let k(u) = 2*u**2 + 7*u + 8. Let g be k(-4). Is t(g) prime?
False
Suppose -3*q - 1 = -4*i - 9, 0 = q + 2*i - 6. Is ((-14)/q)/(1/(-6)) a composite number?
True
Suppose -u + 3*u = 610. Is u composite?
True
Let b(f) = f**2 + 8*f + 3. Let x be b(-8). Is 2 - x - (-18 + -2) composite?
False
Let w be ((-2)/4)/((-3)/6). Let z(u) = 2*u**2 - 3*u + 2. Let j be z(-3). Suppose 2*h - w - j = 0. Is h a prime number?
False
Suppose 6*r = 2*r. Suppose 3*o - 2*a - 318 = r, 2*a = o - 163 + 57. Let c = o + -48. Is c a prime number?
False
Suppose -3*s = -2*g - 1215, -2*s = -g - 0*g - 809. Is s prime?
False
Let u be (-4)/(-2) - 4/2. Is (3 - u/(-2))*41 a prime number?
False
Let z be 2/7 + (-309)/(-21). Let b be (-5)/(z/(-9)) + -1. Suppose 3*u + 2*u = b*h - 30, -2*u + 83 = 3*h. Is h prime?
False
Let w(y) = 2*y + 36*y + 27*y + 6. Is w(5) a prime number?
True
Suppose 0 = -4*g + 8*g - 8. Suppose 6*j = g*j + 348. Is j prime?
False
Suppose -6293 = 20*h - 27*h. Is h a prime number?
False
Let r(b) = -b**2 + b + 35. Let m(v) = v - 5. Let n be m(5). Is r(n) a prime number?
False
Let l = 350 - -45. Is l composite?
True
Let a = 4 + 0. Let j(o) = -3*o**2 - o + 1. Let m(i) = i**3 + 3*i**2 + i. Let z(w) = 3*j(w) + 2*m(w). Is z(a) prime?
True
Is 4 - ((-93)/3 - -4) composite?
False
Suppose 2*y - 3*p = y - 6, 4*y - 3*p + 60 = 0. Suppose -2*o + d - 108 = -4*o, -2*o = -4*d - 118. Let h = y + o. Is h prime?
True
Let w(q) = q**3 + 4*q**2 + 8*q - 8. Is w(5) a prime number?
True
Let p be 4/(-18) + (-12)/(-54). Suppose -5*z + p*z + 15 = 0. Suppose -4*x = -3*x + b - 24, -4*b = z*x - 73. Is x prime?
True
Suppose 3*a - 112 + 34 = 0. Let d be (-6)/(-39) - (-74)/a. Suppose 0 = d*n - n - 746. Is n a prime number?
True
Suppose 293 + 9496 = 3*g. Is g prime?
False
Let v = 1023 - 401. Suppose 5*t - 51 + 223 = w, -4*w + v = 2*t. Is w a composite number?
False
Let n(h) = 2*h + 1 - 3 + 0*h - 2. Let k be n(4). Suppose -4*y - k*x + 168 = 0, -3*y + 3*x - 34 = -4*y. Is y prime?
False
Let a(i) = -19*i + 2. Let n(t) be the third derivative of -t**4/8 + 2*t**3/3 - 3*t**2. Let x be n(3). Is a(x) a composite number?
False
Suppose -4*x = -0*x - 2776. Is x composite?
True
Let n = 1344 + -671. Is n a composite number?
False
Let o(i) = -12*i**3 - 3*i**2 - 2*i. Let a be o(-2). Suppose v = 5*v - a. Let j = v - 12. Is j composite?
True
Let h(t) = -t**3 - 7*t**2 - 2 + 5*t**2 - t**3 + t. Is h(-2) composite?
True
Let l(m) = -2*m**3 + 6*m**2 + 4*m - 1. Is l(3) composite?
False
Suppose -r + 6*r = -15. Is 34*(-3 - -4) + r composite?
False
Suppose 3*u + 2*v - 15 = 0, 0 = -v - 3. Let z = 12 - u. Let m(w) = 2*w + 3. Is m(z) composite?
False
Let q(v) = -v**2 + v. Let m be q(-2). Is (45/30)/(m/(-508)) composite?
False
Let n(b) = b - 28. Let f be n(0). Let o be 105/(-2)*f/21. Let z = o + -33. Is z composite?
False
Let w = 293 - 199. Is w a prime number?
False
Suppose 11 = 4*x + 5*a, -3*x + 2*x - 3*a + 1 = 0. Suppose -3*o + 247 = -0*o - x*n, 2*o + 5*n = 203. Is o a composite number?
False
Let x = -1419 + 2746. Is x prime?
True
Let o be (8/3)/((-3)/(-99)). Suppose -5*q - o + 753 = 0. Is q a composite number?
True
Suppose 5*o - 3*a - 22 + 2 = 0, -4*o + 5*a = -16. Let n(v) = 2*v**3 - 6*v**2 + 6*v - 5. Is n(o) composite?
True
Let d = 5116 - 3645. Is d a composite number?
False
Let w(g) = g**3 - 4*g**2 - 5*g + 5. Let k be w(5). Suppose -5*i + 1137 = 2*s + s, -k*s - 3*i = -1895. Is s composite?
False
Is 1 - (-4 - -3) - -129 prime?
True
Suppose 0 = 5*z - s - 56, 4*s + 48 = 4*z + 16. Let o be (-3)/z*6*-2. Suppose -3*t = 5*p - 297, -3*t - o*p = 2*t - 479. Is t a composite number?
True
Let d(n) = -580*n + 27. Is d(-5) prime?
True
Let p = -11 + 16. Suppose -2*d - 2 = -