omposite number?
False
Let b(u) = -u**2 + 12*u - 9. Let g be 9*(-1 + (4 - 2)). Let d(q) = q - 1. Let c be d(g). Is b(c) prime?
True
Is (-8)/14 + ((-10890)/(-21) - 1) a composite number?
True
Suppose -l - l + 16 = 0. Suppose 3*r = 37 + l. Is r composite?
True
Let i(a) = -a. Let v(z) = -19*z - 2. Suppose 5*w - 6*w = 1. Let r(f) = w*v(f) + i(f). Is r(4) prime?
False
Let q(j) = -j**2 - 3*j. Let b be q(-3). Let a be 1 - (b + -62 + -1). Suppose w + 137 = 4*t, -2*t - w + a = -3*w. Is t a prime number?
False
Let n(h) = h + 2*h + 3*h + 3 + h**2. Let r be n(-6). Suppose -69 = r*k - 6*k. Is k a composite number?
False
Suppose -5*n = 5*b - 6040, 0 = -b - 2*n - 433 + 1642. Suppose 4*w - b = -155. Is w composite?
False
Let s = -796 + 257. Let y = s - -808. Is y composite?
False
Is (4 - 8) + 817 + -4 a composite number?
False
Suppose 3*g - 2357 = -x + 5*x, 2*g = 5*x + 1583. Is g a composite number?
True
Suppose -24 + 5 = -v. Let s = 9 - v. Is 42/15 - 2/s prime?
True
Let x = 3 + 1. Suppose -x*k = -3*a - 248, -2*k + 122 = -0*k - a. Is k a prime number?
True
Suppose 1166 = -52*p + 54*p. Is p a composite number?
True
Let b(m) = 2*m. Let k be b(-3). Let s = 0 - k. Is 477/(-6)*s/(-9) prime?
True
Suppose 11*q - 2*q - 19161 = 0. Is q prime?
True
Let w(i) = 5*i**3 + 41*i**2 - 21*i + 61. Let v(o) = o**3 + 10*o**2 - 5*o + 15. Let p(b) = -9*v(b) + 2*w(b). Is p(9) a composite number?
True
Let y(h) = h**2 - 7*h + 8. Let o be y(6). Suppose o*b + 2*d = 40, 2*d + 0*d - 84 = -4*b. Is b prime?
False
Let y(d) = d**2 - 5*d - 9. Let s be y(7). Let g(w) = 5*w**2 + 3*w + 5. Is g(s) composite?
True
Is 2 + (1 - 5) - -33 a prime number?
True
Suppose 4*f - 4*d + 8 = d, -3*d + 6 = -2*f. Suppose 582 = f*c - c. Is c a prime number?
False
Let b(z) = 2*z**3 - z**2 - 5*z - 3. Is b(4) composite?
False
Let a = -7144 - -10067. Is a prime?
False
Is -4 + ((-4155)/(-12))/(3/12) composite?
False
Suppose 79 = v - 10. Is v composite?
False
Let t(m) = 6*m**2 - 5*m + 1. Suppose -i + 21 = 5*f, 0 = -7*f + 4*f + 4*i + 8. Is t(f) composite?
True
Let d = 15 - 10. Suppose 0*m - 5*m + 279 = -x, 5*m - 295 = d*x. Is m a composite number?
True
Let p = 14 - 10. Suppose -2*l + 7 = -k, -k = p*k - 3*l. Suppose h + k*h = 52. Is h a composite number?
False
Let i be -9 - 3/(-2)*2. Let l(o) = -22*o - 5. Is l(i) a composite number?
False
Let q = -70 + 121. Is q a prime number?
False
Let o = 8 - 4. Let f = 4 - o. Suppose f = -5*m - 0 + 95. Is m composite?
False
Let d(z) = 91*z**2 + z - 1. Let x(j) = 2*j**2 - j. Let q be x(1). Is d(q) prime?
False
Suppose 2*z - 3*z = 3*f - 2, -4 = -2*z - f. Let k be 17 - (-3 - (z - 4)). Let v = k - 8. Is v a prime number?
False
Suppose -2*f + 2*b + 3152 = 0, 3*f - 2*b - 7874 = -2*f. Is f/10 + 30/(-75) composite?
False
Let o(z) be the first derivative of -z**4/4 + 11*z**3/3 - z**2 + 11*z + 3. Suppose v = 18 - 8. Is o(v) composite?
True
Let m(u) = 31*u - 12. Is m(5) prime?
False
Let g(z) = -12*z**3 - 9*z**2 + 2*z - 2. Is g(-3) a composite number?
True
Suppose 3477 = 5*r - 1778. Let b = -714 + r. Is b composite?
False
Suppose 0 = -b - 2*b + 216. Suppose k + b = 5*g, k = 3*k - 6. Is g a composite number?
True
Let r = 269 + -140. Is r a composite number?
True
Let x(t) = 7*t**3 + t**2. Let c be x(-1). Let m(a) = a + 15. Is m(c) a prime number?
False
Suppose 878 + 3366 = 4*u. Is u a prime number?
True
Let z = -386 + 1747. Is z a composite number?
False
Suppose 2*d + d = 879. Is d prime?
True
Suppose 6 = 3*p - 0*p. Suppose -6*l = -9*l + 12. Suppose l*k - 18 = -p*t, 5*k + 4 = k. Is t a prime number?
True
Let w(y) = -y**3 + 3*y**2 - 1. Suppose -2 = 5*d - 12. Let a be w(d). Let o = 10 - a. Is o composite?
False
Suppose 16*m - 2353 = 6207. Is m composite?
True
Let a(z) = -40*z - 19. Let c(w) = -60*w - 29. Let q(n) = 8*a(n) - 5*c(n). Is q(-7) prime?
False
Let g = 74 + -49. Suppose r + 4 = g. Is r a prime number?
False
Let o = 3 - 3. Suppose o = b + b. Suppose -3*q + 3*l + 51 = b, q + 4*q + 5*l = 55. Is q a composite number?
True
Suppose 3*h - 68 = 1. Let r = h + 8. Suppose 0 = 3*v + 5*n - r - 31, 4*n + 54 = 5*v. Is v a composite number?
True
Let j(p) = -4 + 1 - 2 - p. Let m be j(-6). Is 90/8 + m/(-4) prime?
True
Suppose 7 = -u + 4. Let f be 187 - (-3 + u + 3). Suppose -2*m + 5*d = -190, 0*m - d = -2*m + f. Is m a composite number?
True
Let o = 37 + -26. Let s(c) = c - 11. Let m be s(o). Suppose -2*k + 7*k - 70 = m. Is k a prime number?
False
Let k(c) = 7*c**3 + 7*c**2 + 5. Let q(z) = -z**3 - z**2 - 1. Let l(m) = k(m) + 6*q(m). Let p be l(2). Is 722/22 + 2/p a prime number?
False
Let k be 1 - (0 - -1) - -10. Suppose 10 = i - y, i + y + 4*y = k. Let u = i + -3. Is u composite?
False
Suppose o - 94 = -19. Suppose 5*b + 5 = -o. Let u = b + 51. Is u composite?
True
Let w = 1410 - 827. Is w a composite number?
True
Let c = -3 - -1. Is -166*c/4*1 a composite number?
False
Suppose 0*d + 16 = y + 2*d, -6 = 3*d. Let a be (-38)/(-8) - (-5)/y. Suppose -i = -2*z - z + 662, a = 5*i. Is z composite?
True
Suppose -3*h + 81 = 3. Suppose h - 1 = t. Is 1*(-4 - -2) + t a prime number?
True
Suppose 0 = -2*p - 1 + 15. Let h(a) = 1 - a - a + p. Is h(-7) a prime number?
False
Let t = -503 - -829. Suppose 3*x - t = x. Is x a prime number?
True
Let p(s) = s**3 - 5*s**2 + 3*s - 3. Is p(6) composite?
True
Let r(k) be the third derivative of -1/3*k**3 + 0*k + 0 - k**2 - 1/12*k**4 + 1/20*k**5. Is r(-2) composite?
True
Suppose -10*r + 1043 = 3*p - 8*r, 5*r = -3*p + 1046. Is p a prime number?
True
Suppose -117 = -l + 2*x, -5*l - x + 563 = -0*x. Is l composite?
False
Let d(i) = 79*i**2 + 2*i - 5. Is d(-6) a composite number?
True
Let l be (-2)/10 - 168/(-40). Is (l/(-2))/(-4)*298 composite?
False
Suppose -15 = 8*s - 13*s. Let w(g) = 15*g**3 - 3*g**2 - 3*g + 4. Is w(s) composite?
False
Let i = 5897 + -3984. Is i a prime number?
True
Let z(s) = 8*s + 2*s + 5 + s. Let f = 4 - -3. Is z(f) a prime number?
False
Suppose 0 = 5*l - 8*l + 2307. Is l prime?
True
Let h(k) = -k**3 - 6*k**2 + 3*k + 7. Let z(n) = -6*n**3 - n. Let q be z(1). Let a be h(q). Is 3206/a + 6/(-10) a composite number?
True
Let f = 13 - 9. Suppose 0 = -v - 5*p + 20, f*v + 0*v = -2*p + 8. Suppose o - 53 = 5*g + 25, g + 5 = v. Is o a prime number?
True
Is ((-6)/(-4))/((-27)/(-15354)) prime?
True
Suppose 0 = 6*k - 4*k - 6. Suppose -3*i = 3*q - k, -11 = -4*i + 5*q + 2. Suppose -i*w = 2*w - 196. Is w a prime number?
False
Let r = -16 + 47. Is r composite?
False
Suppose 0*u - u + 2 = 0. Let k(a) = 32*a**2 + 3*a - 3. Is k(u) a prime number?
True
Suppose -5*s + 242 = -z - 350, 4*z - 5*s + 2338 = 0. Let d = -191 - z. Is d a composite number?
True
Is (159/(-6))/((-1)/26) prime?
False
Suppose 4255 = 8*v - 14009. Is v a composite number?
True
Let n(t) = -14*t + 3. Let l be n(-4). Suppose -52 - l = -3*o. Is o composite?
False
Suppose -4*v = -16542 + 2698. Suppose 3*i - 8*i = 2*o - v, -i = -2*o - 685. Is i a composite number?
False
Is 5 + 212*(5 - -13) composite?
False
Suppose x - 5*o - 21 = 0, 2*o - 5*o - 31 = 4*x. Let w(i) = 7*i**2 + i + 5. Is w(x) a prime number?
True
Let q(z) = -1 - z**2 + 2 + 5*z - 8*z**3 - 4*z. Let b be q(-1). Suppose 2*u = u + b. Is u a prime number?
True
Suppose -5*d + 5*n - 27 + 87 = 0, 0 = 2*d + 3*n - 44. Suppose 3*k = -4*l + d, 0 = 3*k + l + l - 8. Suppose k = 4*s - 0*s - 28. Is s a composite number?
False
Suppose -g + 5*g = 4404. Is g prime?
False
Let k be 8/(-60) + 6/45. Let o = 1 - -3. Suppose 567 = o*m - k*u - u, 3*m - 444 = -3*u. Is m a prime number?
False
Let m(v) = -2*v**2 + 17*v - 1. Let a be m(12). Let i = 334 - a. Is i a composite number?
False
Suppose -3*p + 4 = -2*p. Let x be p/(-18) - (-4810)/18. Suppose 200 = 5*b + 5*q, 76 = -5*b - 2*q + x. Is b prime?
True
Suppose -y + 239 + 96 = 0. Is y composite?
True
Let k(r) = 3*r + 1. Let x(t) = 2*t + 2. Let b(l) = -5*k(l) + 4*x(l). Is b(-4) a composite number?
False
Suppose 5*q + 2*u + 2585 = 0, -u - 2*u = -3*q - 1572. Let o = -328 - q. Is o composite?
False
Let d(y) = y**3 + 8*y**2 + 7*y. Let p(v) = -v**3 + 6*v**2 - 8. Let g be p(6). Let x be d(g). Let k = x - -109. Is k a prime number?
True
Let x be 0 - (0 + 0) - -65. Let i = x - 6. Is i a prime number?
True
Let i(a) = 1. Let o(g) = -1. Let q(p) = -i(p) - 2*o(p). Let w(y) = 7*y - 7. Let z(h) = 3*q(h) + w(h). Is z(5) a composite number?
False
Suppos