ite?
True
Suppose 16*q + 382 = 18*q. Is q composite?
False
Let h(x) = x + 9. Let i be h(-4). Suppose d + 5*t - 88 = -d, 2*d = i*t + 108. Is d composite?
True
Is 149*(-2)/(1 + -3) composite?
False
Let a = 1038 - 559. Is a a prime number?
True
Suppose y = 0, 2 = -3*m + 2*y + 8. Let z = 0 + -3. Is m/(-6) + (-139)/z a composite number?
True
Let u be 8/(-6)*(-2 + -1). Suppose 2 = 2*a + t, 6 = -5*a + 5*t - u. Is 110/2 + (a - 0) a composite number?
True
Let u(k) = -k**3 + 7*k**2 - 7*k + 9. Let w be u(6). Let i(x) = x**w + 0 - 3 + 1 - 2*x + 5*x**2. Is i(-4) a composite number?
True
Is (-1 - (299/3 + -3))*-3 a composite number?
False
Suppose 0*n + 714 = 6*n. Is n a composite number?
True
Suppose -200 = -6*r + r. Suppose 0*q + 4*a - r = -4*q, 3*q + 5*a - 32 = 0. Suppose 0 = 2*c + q - 1, 0 = -4*m + c + 344. Is m a composite number?
True
Let t(b) = -b**2 - 8*b - 5. Suppose c = -r - 7 + 3, -2*c - r = 13. Let d be c/(-2 - (-7)/2). Is t(d) composite?
False
Suppose -5*x + 1699 = 4*t - 40, 1730 = 5*x - 5*t. Is x composite?
False
Let p be (3/9)/((-1)/(-21)). Let s = p - 5. Suppose -2*l - s*n + 68 = 2*n, 5*n = 0. Is l prime?
False
Let h(j) = -j**3 - 8*j**2 - 13*j - 1. Is h(-10) a composite number?
True
Let c(h) = h**2 - 2*h**2 + 4*h - 2*h**2 - 6 + h**3. Let z be c(6). Suppose -4*m - x = -z - 70, -m = -5*x - 49. Is m a composite number?
True
Suppose -4*v + 3 = -2*v - 5*w, 2*w + 10 = 3*v. Suppose -62 = -v*d - 1418. Is d/(-3) - (2 + -4) prime?
False
Let j(d) = 63*d**2 + 4*d - 2. Is j(-3) a prime number?
False
Suppose -s - 96 = -2*s. Suppose -162 = -2*j + s. Is j composite?
True
Let i = 575 + -312. Is i a prime number?
True
Let i(v) = 2*v**3 - 4*v**2 + 2*v + 5. Let p = -51 + 71. Suppose x + 4*x = p. Is i(x) a composite number?
True
Is 3024 - (3 + -1 + 3) a prime number?
True
Let t(v) = -10*v**2 - 7. Let n be t(-7). Let j = 711 + n. Is j a prime number?
False
Suppose -2729 = -x + 4*d, -6*d + d + 25 = 0. Is x prime?
True
Suppose 0*o - 3220 = -4*o + h, -2*o + 2*h + 1610 = 0. Suppose -6*k = -k - o. Is k a composite number?
True
Let b be 3/(6*-1)*2. Is b + -1 + 75 - -1 a prime number?
False
Let s(n) = -n**2 - 2*n + 2. Let g be s(-2). Suppose 0*i - g*i - 2*f = -68, -5*f - 20 = 0. Is i prime?
False
Let u be (28 + 0)/(2/5). Is (5 - 4) + u*1 a prime number?
True
Let y be 15 - (0 + -1) - 2. Suppose -k - 28 = 3*k. Let v = y + k. Is v a prime number?
True
Let t(y) = 8*y**2 - 32*y - 47. Is t(24) a composite number?
False
Let x(u) be the third derivative of -25*u**4/4 + u**3/6 - 3*u**2. Is x(-5) composite?
False
Let c = 12 - 9. Is c + 0 - 410*-1 a prime number?
False
Suppose g - 4*x - 1 - 13 = 0, 4*g - x - 11 = 0. Suppose -2*i + g*w = -3*i - 48, -3*w - 147 = 3*i. Let v = -27 - i. Is v composite?
False
Let z(k) be the second derivative of k**5/20 - 5*k**4/12 - k**3/3 + 3*k**2/2 - 2*k. Let a(g) = g**2 - g - 1. Let p(m) = 2*a(m) - z(m). Is p(6) a prime number?
True
Suppose 2*d - 4*d + 2348 = 4*y, 0 = 4*y - 4*d - 2372. Is y composite?
True
Let v(g) = 3164*g**2 - 1. Is v(-1) a prime number?
True
Is ((-502)/(-4))/((-2)/(-8)) composite?
True
Let y = 78 - -11. Is y a composite number?
False
Let t be 1 + 4/(-2) + 1. Suppose 3*c = -t*c + 45. Suppose 3*p - 53 = 4*m, 0 = -p + 2*m + c. Is p composite?
False
Suppose l - 7 - 23 = -5*j, 4*l = 2*j - 12. Is 11*(-2)/(-4)*j prime?
False
Let b(o) = o**3 - 6*o**2 + 26*o - 13. Is b(10) composite?
False
Suppose -d = d - 106. Is d a prime number?
True
Suppose 0 = 2*o + 8 - 58. Is o a prime number?
False
Suppose 2*f = -f - 6. Is (2/f)/(8/(-1784)) composite?
False
Suppose 0 = 3*r - 19 + 7. Suppose 3*u = -4*t - u + 120, 2*t - r*u = 90. Is t prime?
False
Let r be 1/3 - 1318/(-6). Let o = 500 - r. Suppose -5*f + 135 = -o. Is f prime?
True
Suppose 0 = -i - 2*i + 6. Suppose 111 = q + i*q. Is q a composite number?
False
Let t(j) = j**2 + 2*j + 1. Let d be t(-1). Suppose d = -5*i - 3 + 18. Suppose i*a = a + 50. Is a a composite number?
True
Let k(n) = 3*n**3 + 4*n**2 - 4*n + 2. Let t be k(-4). Let b = -73 - t. Is b prime?
True
Let y = 411 + 11. Is y composite?
True
Let t be 1*-4 + 12/4. Let h(u) be the third derivative of -5*u**6/12 - u**3/6 + 2*u**2. Is h(t) a composite number?
True
Let s(j) = j**2 - 4*j - 3. Let g be s(5). Let y(u) = 4*u**3 + 2. Is y(g) a prime number?
False
Let g(s) = 328*s**2 + s. Is g(1) a prime number?
False
Suppose 4*m = -4*d + 32, 2*d + 0*d = m + 4. Suppose -181 = -d*h + 115. Is h a prime number?
False
Let x = 5 + -7. Let j = 16 + x. Is j prime?
False
Let r(j) = -3*j**2 - 15*j + 14. Let u(w) = w**2 + 5*w - 5. Let k(y) = 6*r(y) + 17*u(y). Let f be k(-2). Is -8 + f + 4*17 a prime number?
False
Let l be (-1)/((1 - 2)/(-11)). Is 2/11 + (-2385)/l composite?
True
Let k be (-8152)/(-56) - (-8)/(-14). Let o be 0 + ((-20)/(-1) - -1). Suppose -o + k = 4*l. Is l a prime number?
True
Suppose -68 = -t - t - 2*i, -3*t - i + 112 = 0. Is t composite?
True
Let z be (-6 + 4)/((-2)/3). Let s(a) be the first derivative of 5*a**3/3 - a**2 - 2*a - 1. Is s(z) a composite number?
False
Let f(y) be the second derivative of y**4/3 + y**3/2 - 3*y**2/2 + y. Let v be f(2). Suppose v = 4*m - 41. Is m composite?
True
Let u = -331 + 603. Let d = u + -192. Suppose 0 = 2*x - d + 10. Is x a prime number?
False
Suppose v = 3*i - 753, -5*i + 761 = -3*v - 494. Is i a composite number?
False
Let q = -149 - -270. Is q a prime number?
False
Suppose -3529 - 10380 = -7*a. Is a a prime number?
True
Let y(x) = x**2 + 5*x + 4. Is y(-5) composite?
True
Suppose 5*g - 3*n = -9 + 78, -3*n + 15 = 2*g. Suppose 0 = 2*b - 4*b - g. Let k(v) = v**2 + 4*v + 7. Is k(b) a composite number?
False
Is -3 - (3 - (488 - -3)) a prime number?
False
Let l(x) = -x**2 + 6*x - 3. Let g be l(2). Let d(p) = 6*p + 2*p - g - p. Is d(4) a composite number?
False
Suppose 143 + 167 = 2*h. Is h prime?
False
Let x = -203 + 292. Is x a composite number?
False
Suppose 4*s + s = 5*j - 45, 5*s = j - 1. Is j prime?
True
Let o = -562 - -854. Suppose -5*u - o = -c, -4*c + 3*c + 316 = 3*u. Is c composite?
False
Let y(h) = 5 - 13*h + 4 + 11*h + h. Let j be (12/5)/((-4)/20). Is y(j) composite?
True
Let m be 1/(1/(-1)) - -72. Let n(t) = m + 8 + t - 2*t. Is n(0) a composite number?
False
Let m(t) = 21*t**2 + 5*t + 7. Is m(5) prime?
True
Suppose d = -4*d + 5. Is -1*(-1 - 70*d) a prime number?
True
Let w(z) = 35*z**2 + 4*z - 4. Is w(1) a composite number?
True
Let u(s) = -4*s - 1. Let h be u(-2). Let m = h - 2. Suppose k = m*q - 633, -4*k + 75 - 321 = -2*q. Is q composite?
False
Suppose 3*z = -z - 24. Let y(u) = -u**3 - 4*u**2 - 2*u - 5. Is y(z) a composite number?
False
Let g(c) = c**3 + 8*c**2 + 2*c - 5. Let z be (3/(-6))/(1/(-36)). Suppose 0*v + 3*v = -z. Is g(v) a prime number?
False
Let g = 4 + -2. Suppose -393 = -g*b - b. Is b a composite number?
False
Let d = -1459 - -2288. Is d a prime number?
True
Let k(w) = -w**3 - 6*w**2 - 2*w - 6. Let f be k(-5). Let g be (12/(-5))/(f/70). Is 118/(-8)*g/(-2) a composite number?
False
Let n(v) = v**3 + 3*v**2 + 3. Let s be n(-3). Suppose -c + 242 + 49 = -2*a, 0 = -s*c + a + 873. Is c a composite number?
True
Suppose 5*s - 4*c = -9*c - 10, 0 = 4*s - 2*c - 10. Let w(v) = 77*v**2 + 0 - 2 + 3*v - 4*v + 3. Is w(s) composite?
True
Let m(d) = 17*d + 15. Let q be m(-10). Let u = q + 522. Is u composite?
False
Let d = -519 - -806. Is d a composite number?
True
Let s = -313 + 61. Let f = s - -379. Is f composite?
False
Suppose -4*o + 2*j - 24 = 0, -4*o - 27 - 5 = 2*j. Let u = o - -11. Suppose -2*z + u*f + 62 = 0, 76 = 2*z + f - 1. Is z a composite number?
False
Suppose -4*i + 12 = -0*i. Suppose 10 = i*u + 2*u. Suppose u*f - 36 - 130 = 0. Is f composite?
False
Suppose -3 = -r + 1. Suppose -r*g + 0*g = -3*k + 71, -5*g + k = 97. Let m = g - -31. Is m prime?
True
Suppose -5*b = -83 - 27. Is b composite?
True
Is 985/7 - 2/(-7) composite?
True
Let u = -301 - -638. Is u a prime number?
True
Suppose -4*k + 5*x = -1503, -3*x + 4*x = 3*k - 1141. Is k a prime number?
False
Suppose -2*d = -3*v - 0*d - 7, -4*v - 4 = -4*d. Let f(o) = 6*o**2 - 6*o - 3. Let p be f(v). Let u = p - 108. Is u composite?
True
Let r(z) = z**3 - 5*z**2 + z - 7. Let y be r(5). Let n be y - -1 - (-4)/4. Suppose 0 = h + 4*p - 57, n*p + 143 = 3*h - 2*p. Is h a prime number?
False
Suppose 534 = -5*x + 7*x. Is x prime?
False
Let w(l) 