 Suppose 4*b + 0*b + 4 = 4*j, -5*j = -4*b - 10. Let g = 1 - j. Is n(g) prime?
True
Suppose 2*l + 348 = 946. Is l composite?
True
Let f(r) = 540*r + 7. Is f(2) a prime number?
True
Let o(z) = -4*z - 58. Is o(-20) prime?
False
Let g(u) = -u**3 - 7*u**2 - 5*u + 8. Let d be g(-6). Suppose 0*a + 8 = 2*a + d*f, f + 14 = 5*a. Is 13*7 + 6/a a prime number?
False
Let l(n) = 130*n - 1. Is l(5) prime?
False
Let w be 11/4 - (-3)/12. Suppose -10 = -w*o + 104. Is o composite?
True
Suppose -o - 4*v = 2*o - 8, -3*o - 3*v = -12. Let y(j) = 2*j + 4*j**2 - 2*j**2 + 2 - o. Is y(-5) composite?
True
Suppose -4*y = 5*a - 46479, 0*a - 5*a = y - 46491. Is a a composite number?
True
Let i = -339 + 686. Is i a composite number?
False
Let c(v) = v**3 - 3*v**2 - 5. Let x(g) = -2*g**3 + 5*g**2 + g + 10. Let k(f) = 5*c(f) + 3*x(f). Is k(-4) prime?
False
Suppose 0 = 2*j + 2*l - 750, 2*j - 5*l = -3*l + 742. Is j prime?
True
Suppose 2*k - 2020 = 2*g, -3*k + 6*k - 5*g = 3036. Is k a prime number?
False
Let h(c) = -35*c - 7. Is h(-4) a prime number?
False
Let r(d) = -56*d**2 + 1. Let s be r(1). Let b = 105 - s. Let c = b - 95. Is c a prime number?
False
Suppose 4 = 2*j, 2*v + 3*j + 4 = 7*j. Suppose 0 = -v*w + w + 4. Suppose 2*i - w*l = 54, -3*i = i - 2*l - 84. Is i a composite number?
False
Suppose -5*c - 25 = b, 2*b + 1 = c + 6. Is (b + 2 - 3) + 204 a prime number?
False
Let r(y) = -y**2 + 7*y. Let w be r(6). Let b be (-94)/(-18) + w/(-27). Suppose -186 = -b*l + 3*d, 3*d + 0*d + 30 = l. Is l a composite number?
True
Let b be 2*(-1)/(-1) - -2. Suppose 18 = b*r - 2. Suppose l = 2*t - 74, -t + 2*t - 15 = -r*l. Is t composite?
True
Let s(q) = 4*q - 1. Let d be s(-2). Is 2*2*d/(-12) composite?
False
Let c(y) = y**2. Suppose -z = 5*h + 3*z + 21, 5*h + z + 9 = 0. Let f be c(h). Let m(i) = 11*i**3 + i - 1. Is m(f) composite?
False
Let u(g) = -10*g**2 - g - 4. Let j(i) = 11*i**2 + i + 3. Let k(v) = -6*j(v) - 5*u(v). Let d(x) be the first derivative of k(x). Is d(-1) a composite number?
False
Let c(z) = 2*z**2 - 7*z. Let g be c(7). Is (-3 - -4)/(1/g) a prime number?
False
Let a be 292 + (1 - (-1 + 1)). Let s = a + -208. Is s a composite number?
True
Suppose 0 = -3*n, 2 = z - 0*n + 5*n. Suppose 8 = -z*b + b + 5*g, 0 = -5*g + 10. Suppose 3*w - 57 = -b*d, -3*d - 7*w + 2*w + 84 = 0. Is d a prime number?
False
Is (-29)/((1/(-3))/1) a composite number?
True
Suppose -5*a + 25 = 5*s, 5*a = -2*s - s + 15. Let w(f) = -3 + 3*f + a + 1. Is w(3) a composite number?
False
Suppose -2*y + 2*w + 11 = -3*y, -4*w = -5*y - 13. Let a be 4/(-20) - 1/y. Suppose 2*n - 2*m - 84 = 3*m, -n + m + 39 = a. Is n a prime number?
True
Let y = 2 - 0. Let d be 3/5 + 3/(-5). Suppose d = -3*r + y*r + 53. Is r composite?
False
Suppose x - 1373 = 2568. Is x composite?
True
Let m(d) = d + 5. Let x be m(0). Suppose 3*o + 5*h + 19 = 0, h + 0 + x = 0. Is (-1)/(2/(-67))*o a composite number?
False
Suppose 4*u - 12 = 5*r, 28 = u + 4*r + 4. Suppose -j + 98 = n - u, 3*j - 421 = -4*n. Is n composite?
False
Let r = -3 - -5. Let d be 1 - 6/r - -2. Suppose 11 = -d*y + y + n, 0 = 4*n - 16. Is y a composite number?
False
Let h be 21/4 + 1/(-4). Let y(p) = 5*p - 9. Let t be y(5). Suppose 3*k - 4*l = -k + t, -5*l - h = 0. Is k prime?
True
Let h = 18 + -13. Suppose -114 = -h*q + 6. Suppose q = x - 9. Is x composite?
True
Let q = 108 - -229. Is q a composite number?
False
Let k = 2542 - 1145. Is k prime?
False
Let i(a) = a**2 + a + 4. Let u be i(11). Suppose -5 = -5*d, -2*b + 2*d + u = -2*d. Is (b/(-3))/(12/(-18)) prime?
False
Let u be (1 + (-1 - -1))*0. Suppose -4*b = -u - 128. Suppose 37 + b = i. Is i a prime number?
False
Let w = -100 + 1359. Is w a composite number?
False
Let d = -2 + 11. Suppose 2*b + d = 79. Is b a composite number?
True
Let o = 65 - 101. Is (-6)/(-27) - 2656/o composite?
True
Let q(r) = r**2 - 2. Let g be q(-2). Suppose -k + 5*v + 20 = 0, -3*k - 2*v = -g*k - 13. Is k a prime number?
False
Suppose -6*h + 5*c = -2*h - 823, 3*c = 2*h - 411. Is (1/(-3))/((-3)/h) prime?
True
Suppose 2*z + 3 = -33. Is (-6)/4*168/z a composite number?
True
Let o(p) = 6*p**3 - 4*p**2 + 7*p - 1. Is o(4) a prime number?
True
Let c(u) = -30*u - 4. Let m be c(-5). Let d = m + -15. Is d prime?
True
Let n(v) = 16*v**2 - 20*v + 13. Is n(8) prime?
True
Is ((-11)/(-4))/(4 + 3004/(-752)) a composite number?
True
Suppose 49 = 3*o - 14. Let g be (-176)/(-3) - 2/(-6). Let h = g - o. Is h a prime number?
False
Is (-6)/(-33) - 1162/(-22) prime?
True
Let x(t) = -t**3 + 2*t**2 - t + 3. Let o be x(3). Is 3/o - 772/(-3) prime?
True
Let g(d) = 76*d + 57. Let l(c) = c + 1. Let y(a) = -g(a) + 57*l(a). Let b = 16 - 17. Is y(b) prime?
True
Suppose 5*b + 6 = 21. Is -2 - -1 - (-66)/b prime?
False
Suppose -17 = -4*u + r, 3*r - 2*r = 5*u - 20. Let t(i) = i**2 - u*i + 2*i - 2*i. Is t(5) a prime number?
False
Let w(b) = 2*b**3 - b**2 - b + 6. Let g be w(5). Suppose g + 130 = 4*z. Is z a prime number?
True
Let a(j) = j**3 + 28*j**2 - 35*j + 59. Is a(-29) composite?
False
Let x(z) = z**3 - 3*z**2 + z + 5. Let y be x(4). Let c = 34 - 32. Suppose c*p = p + y. Is p prime?
False
Suppose -3507 = 4*a - 7*a. Is a prime?
False
Let o = 3731 - -510. Is o a prime number?
True
Let w = -30 + 64. Is w a prime number?
False
Suppose -7*k + 444 = -3*k. Is k a prime number?
False
Suppose -2*o - o = -12. Suppose u - o = 11. Is u a composite number?
True
Let t be (-1 + 9 + -3)*1. Let k = t - 3. Suppose -44 = k*c - 222. Is c a prime number?
True
Suppose 38 = -4*n + 3*t, -4*n = n - 4*t + 48. Is (-314)/n + 2/(-8) a prime number?
False
Let c = 583 - 24. Is c a composite number?
True
Let s(c) = -38*c - 1. Is s(-7) a prime number?
False
Let f(q) = q**3 - 11*q**2 + 11*q + 12. Let c = 28 + -18. Is f(c) composite?
True
Suppose i - 5*i = -1512. Suppose 3*u = 5*f + i, -2*u + 396 = u + f. Is u composite?
False
Let d(j) = -52*j**2 + 2*j + 1. Let o be d(-1). Let z = o + 150. Is z composite?
False
Suppose 2*t - 3*h = 0, 4*t - 4*h = -0*h. Suppose t*g - g - 4*u = -17, -5*g + 22 = -u. Suppose 4*b - g*b + 201 = -2*j, 2*j - 563 = -3*b. Is b composite?
False
Let k = -31 - -110. Is k composite?
False
Let m(c) = 28*c - 1. Is m(8) composite?
False
Let s(i) = -i**3 + 4*i**2 + 3*i - 3. Let z(n) = n + 4. Let p be z(-7). Is s(p) composite?
True
Suppose -10012 = -108*x + 104*x. Is x a composite number?
False
Let t(y) = y**3 - y + 1. Let s be t(0). Is 61 - (1 - (s + -2)) prime?
True
Let j(c) = -c**2 + 6. Let u(b) = -2*b**2 - b + 12. Let w(i) = 5*j(i) - 2*u(i). Let q be w(7). Let g = q + 62. Is g a prime number?
False
Let z be (1 + -2)/((-2)/4). Suppose 3*j = -z*j + 415. Is j a composite number?
False
Let b be (-7)/(7/2) + 62. Let v = 173 - b. Is v a prime number?
True
Let b(s) = -s + 14. Let u be b(13). Is u/1*(0 - -53) a composite number?
False
Suppose n = 4*y + 679, 1494 = 3*n + 5*y - 577. Is n composite?
True
Let r = -1 + 5. Suppose -r*d + 5*y = -313, -3*d + 309 = 4*y + 82. Is d composite?
True
Let v(n) = 1 - 3 + 4 - n**3 + 11*n**2 - 9*n. Is v(9) prime?
True
Let w(u) = u - 1. Let d(n) = -10*n**2 - 4*n + 1. Let h(y) = -d(y) - 2*w(y). Is h(-2) composite?
False
Let x be (-15 - 1)*712/(-32). Let m = 505 - x. Is m composite?
False
Let a(m) be the third derivative of -103*m**6/120 + m**5/60 + m**4/24 + 5*m**2. Is a(-1) composite?
False
Let w be (-2)/6 - (-7)/3. Suppose 3*h + 167 = 2*d, -h - w*h + 228 = 3*d. Is d prime?
True
Suppose 0 = -2*z + 5*z - p + 5, -2*p - 4 = z. Is 2 + (z*552)/(-4) a prime number?
False
Let m(c) = -c + 1. Let b be m(2). Let g = b + -12. Let j = 36 + g. Is j a prime number?
True
Let p(r) = -r + 2. Let i be p(3). Let u(a) = -54*a**3 - 1. Is u(i) a composite number?
False
Let z = 1116 + 675. Suppose 0 = -5*l - 2*m + z, 2*l - 2*m - 607 - 115 = 0. Is l composite?
False
Let x = 11 - 8. Suppose x*u - 1475 = -2*u. Is u a composite number?
True
Is (-6)/(-15) - 288/(-5) prime?
False
Let f(h) = -15*h - 4. Let c(y) = y + 1. Let b(q) = -c(q) - f(q). Let d be ((-3)/(-3 + 0) - 3) + 6. Is b(d) prime?
True
Suppose -3*h - 271 - 317 = 0. Let p = 275 + h. Suppose u - 2*u = -p. Is u a prime number?
True
Let z = 262 - -67. Is z prime?
False
Suppose -29 = -3*g + 7. Let y be (-2 + 3)/((-2)/g). Let m = y - -57. Is m prime?
False
Let x be 56 + 3*(2 - 3). Suppose -26 = -2*n - 0*n + 2*f, -4*n + x = -3*f. Is n a composite numbe