 a composite number?
True
Suppose -74*o + 52713 = -71*o. Is o composite?
True
Let j = -186 + 612. Suppose -3*u - 129 = -g + u, 4*g - j = -2*u. Let n = -30 + g. Is n composite?
False
Let i(x) = -12*x + 28. Let q be i(-7). Suppose q + 270 = 2*n. Is n prime?
True
Let o(u) = 1. Let b(q) = -q + 6. Let s(t) = -b(t) + 6*o(t). Let d(n) = 7*n**2 - 3*n + 7. Let w(f) = d(f) - 6*s(f). Is w(6) prime?
False
Suppose 11*k - 69279 = -10*k. Is k prime?
True
Let d(i) = i**2 + 10*i + 15. Let j be d(-10). Suppose 0 = p + 5, -3*m = -8*m - p + j. Suppose -m*l + 3*k = -51, l - 3*k = -2*l + 36. Is l prime?
False
Let o(f) = 8*f**2 + 10*f + 23. Is o(-6) a composite number?
False
Suppose c - 80 = 38. Let v = 69 + c. Is v a composite number?
True
Let f(t) = 16*t - 25*t - 34*t - 46. Is f(-17) a composite number?
True
Let r be 4/7 - 4164/(-14). Let q = r + -171. Is q composite?
False
Suppose 2*x + 2*x + 20 = 0, -5*x = 3*k + 19. Suppose 2*u - k*n - 3*n = 1266, -5*n = 0. Is u a prime number?
False
Let g(o) = o**2 + o + 4. Let t be g(0). Suppose -3 = -y, 4*m + 5*y - 7 = -t. Is (3/2)/(m/(-446)) a prime number?
True
Suppose 0 = -2*p + 2202 + 1684. Is p composite?
True
Let h(u) = 24*u + 11. Suppose -3*g + 32 = -2*y, -y - 19 - 12 = -3*g. Is h(g) composite?
False
Let x(z) = -11*z**3 + 5*z**2 + 4*z + 3. Let o be x(-4). Suppose 2*r = v + 5, -3*r + 4*v + 12 - 2 = 0. Suppose r*k - 5*k = -o. Is k a prime number?
True
Suppose -18*q = 6*q - 175416. Is q a prime number?
True
Suppose 3*i - 9488 - 2746 = 0. Suppose -i = -4*a + 5962. Suppose 2*o - a = -3*o. Is o a composite number?
True
Let n(k) = 27*k + 11. Let r be n(-5). Is (-7 - -1)*r/8 a prime number?
False
Let r(i) = 7*i**3 - 10*i**2 + 171 - 208 + 13*i - 6*i**3. Is r(12) prime?
False
Suppose -2*c - c + 3*l = -9, l = -3. Suppose c = r - 729 - 1661. Is r/18 + 14/63 composite?
True
Let p(d) = 2800*d - 87. Is p(4) composite?
False
Let c = -3195 - -8974. Is c a composite number?
False
Let g be (-10 + 7)*2*-2. Let r(a) = 3*a - 30. Is r(g) a composite number?
True
Let d(r) = -247*r**3 + r**2 + 6*r + 4. Let k be d(-2). Let i = k - 713. Is i prime?
True
Let p = 541 + 240. Is p a prime number?
False
Let c(h) = -h**3 - 2*h + 4. Let w be c(0). Suppose 3*r = -w - 5, 1212 = 3*z + 5*r. Is z composite?
False
Suppose -14*i + 42991 + 149355 = 0. Is i a composite number?
True
Let a be 6/(-30) - 714/5. Let p = 259 - a. Is (p - (-1 - -2))*1 a composite number?
False
Suppose -2*q + 277 = -67. Suppose -3*h + 919 = q. Is h a prime number?
False
Suppose 4*f - 14 - 34 = 0. Let u be (-1)/4*-2*0. Suppose u = -2*a + 50 + f. Is a composite?
False
Suppose -11*v + 666 = -10*v. Let r = -173 + v. Is r prime?
False
Let p(s) = -3*s - 1. Let c be p(-3). Let z = c + -13. Is (-1026)/z + (-6)/30 a composite number?
True
Let p(w) = w**2 - 5. Let q be p(0). Let t be (0 + q)*(-6 - -5). Suppose 4*k - 62 = 2*c, 0*k - t*c = 5*k - 55. Is k composite?
True
Let j = 9064 + 5619. Is j prime?
True
Let g = 49 + -49. Suppose -7*l - 4*l + 5951 = g. Is l a prime number?
True
Suppose -5526 = 15*l + 48129. Is (2 - 1)/((-7)/l) composite?
True
Let x(a) = -a**2. Let d be (8/(-12))/(4/6). Let g(u) = -87*u**2 + 3*u + 1. Let l(s) = d*g(s) - 6*x(s). Is l(-2) a composite number?
True
Let b(q) = 153*q**2 - 56*q - 26. Is b(9) prime?
True
Let d = 3582 - -2939. Is d composite?
False
Let x = -148 + 493. Let i = x - 11. Suppose -2*y + 0*y = -i. Is y a composite number?
False
Suppose -16 = 4*q, q = -2*o - 2087 + 6485. Is o a composite number?
True
Let l = 1249 + -129. Suppose 3*w = -n + 1715, 2*w - 46 = 5*n + l. Is w a prime number?
False
Let y(i) = i + 11. Let d be y(-8). Suppose 5*q = -4*f + 2353, -2*f - d*q - 525 = -1702. Is f a prime number?
True
Suppose -t + 15 = 4*t. Let c(w) = -2*w + 2. Let i be c(t). Is 2/i - 270/(-4) composite?
False
Let q(d) = 1643*d**2 + 14*d - 8. Is q(-5) composite?
True
Suppose 14*q = -84552 + 285718. Is q prime?
True
Let v(h) = h**3 - 10*h**2 + h - 11. Let x be v(10). Is ((-401 - -4)*1)/x a prime number?
True
Let y = 0 + 5. Suppose 4*c = -16, 4*f + 0*c - c = 2356. Suppose -f = -4*a - 3*v - v, 2*a - y*v - 280 = 0. Is a a composite number?
True
Let g = 19543 - 9582. Is g a composite number?
True
Let m(l) = -l**3 - 6*l**2 - 38*l + 44. Is m(-19) composite?
True
Let l(d) = d**2 - 13*d + 17. Let k be l(12). Suppose -543 = -8*i + k*i. Is i a prime number?
True
Suppose j - 3*j = -5*g - 17297, -j + 3*g = -8648. Is j a prime number?
False
Let a(b) = 6*b**2 - 3*b + 1. Suppose 0 = -3*k, -2*h + h - 6 = -3*k. Let s = h + 8. Is a(s) composite?
False
Suppose 6*h = 4*h + 10. Suppose -24 = -4*m - 4*n, 0 = 4*m - h*n - 2 - 4. Suppose -3*t + 995 = m*w, 6*w - 1010 = 2*w + 2*t. Is w a composite number?
False
Let w(h) = 5*h**2 + 6*h - 5. Suppose -v = g - 4, 5*g - 3 + 7 = -v. Is w(v) composite?
False
Let x = -10553 - -17176. Is x a composite number?
True
Let y = 121 + -125. Is 116200/130 - y/26 - -1 a prime number?
False
Let k = 42 + -68. Let w = 36 + k. Is w prime?
False
Let p(t) = -t**3 - 6*t**2 + 4*t - 2. Let d be p(-6). Is (4/(-6))/(d/3315) a composite number?
True
Let o = -2101 + 5022. Is o composite?
True
Suppose -9*a + 4 = -11*a. Let q be a + 323 + -2 + 0. Suppose -24 = 5*o - q. Is o composite?
False
Let n(b) = -364*b - 111. Is n(-19) composite?
True
Let t(k) = k + 17. Let z be t(-7). Is 199/(z/(-6) - -2) composite?
True
Let c be -2 - (2 + (-68)/(-1)). Let q = -59 - -162. Let p = q + c. Is p a composite number?
False
Let n(w) = -w**3 + 9*w**2 - 10*w + 10. Let r be n(8). Let k be -3 - (r + 2 + -4). Is 19 + 8*k/10 a prime number?
True
Suppose 2*f = -2*w + 2, 2*w + f = 6*w - 19. Suppose 5*z + 1287 = 2*q, z + 2529 = w*q - 0*z. Is q prime?
True
Let o(y) = y**2 - 9*y - 3. Let m be o(-13). Suppose -4302 = -7*p + m. Is p a prime number?
False
Let h = -1242 + 4753. Is h a prime number?
True
Suppose 5*u - 27 = -2*h, -2*h + 5 = 3*u - 12. Suppose v - u*v = -16. Let b(m) = 9*m + 1. Is b(v) a prime number?
True
Suppose -3*o + 13 = -4*g, -7*o - 2*g = -2*o - 13. Suppose 2*k - 5*n - 298 = 0, 2*k = k - o*n + 127. Is k a composite number?
False
Suppose -85*a - 31206 = -91*a. Is a prime?
False
Let m(o) = o**3 + 6*o**2 + 10*o + 6. Is m(5) a composite number?
False
Let g(t) = t. Let p(y) = -3*y**2 - 20*y - 13. Let z(r) = -g(r) - p(r). Let m = 13 - 25. Is z(m) a prime number?
False
Let l be (9/18)/(1/2). Let c(w) = 385*w**3 - w. Let h be c(l). Let b = 641 - h. Is b prime?
True
Let m(n) be the third derivative of 0*n - 2/3*n**4 - 7*n**2 + 0 + 19/6*n**3. Is m(-12) prime?
True
Suppose 9020 = 2*o - 4*l + 2*l, -9011 = -2*o + 5*l. Suppose 3*d + 4488 = 3*f, -3*f + 4*d = 6*d - o. Is f composite?
True
Let a(x) = 54*x + 20. Let d(r) = 53*r + 19. Let j(p) = -5*a(p) + 6*d(p). Is j(9) prime?
False
Suppose 3*y = -b - 2, -2*y + 75 = 5*b - 4*y. Let o(w) = w**2 + 6*w + 8. Let r be o(-6). Suppose -3*p = -r - b. Is p a prime number?
True
Let n(t) = t**3 + 13*t + 14. Let x be n(10). Let o = 1767 - x. Is o a composite number?
True
Suppose -7204022 = -13*f - 21*f. Is f prime?
False
Is 1/((-141966)/17746 + 8) a prime number?
False
Let v = 7129 + 24232. Is v a prime number?
False
Suppose -4*j = 8*j - 23388. Is j prime?
True
Let t(h) = 8 - h**2 - 3*h + 2*h**2 - 9*h. Let u be t(11). Let a(y) = -56*y - 5. Is a(u) a prime number?
True
Suppose 5*o = -0*o + 10. Suppose 4*h + 4*h = 3*h. Suppose 3*s = -2*q + 59, 69 = o*q - h*q + s. Is q a prime number?
True
Let h be ((-20)/(-30))/(4/18). Suppose -h = 4*n - 35. Suppose 0 = -4*z + n, -c + 6*c = -5*z + 165. Is c a prime number?
True
Suppose -5*y = 4*s - 97, -21 - 18 = -3*s + 3*y. Let f = s + 19. Is f a prime number?
True
Is 36620/(-30)*9/(-6) composite?
False
Let a(n) = n + 16. Let o be a(-4). Suppose -z - o = -4*z + 3*w, 3*w - 16 = -z. Suppose 3*u + 121 = r, -z = 4*u + 1. Is r prime?
False
Let b = -5134 - -12737. Is b a prime number?
True
Let p(x) be the third derivative of 0*x + 8*x**2 + 0 + 2/3*x**3 - 93/8*x**4. Is p(-5) composite?
False
Suppose -10*i + 5782 = 4*i. Is i composite?
True
Let t(a) = a - 1. Let p(f) = 26*f + 7. Suppose -o = 2*u + 3, -2*o - u = -0*o + 3. Let g(c) = o*p(c) - 6*t(c). Is g(-4) composite?
False
Let c(p) = p**3 + 6*p**2 - 8*p + 9. Let x be c(-7). Let w be 3*17/6*x. Is (3 - 0)*-1 + w a composite number?
True
Suppose -5624 - 2392 = -3*q + 3*r, 4*r = q - 2675. Is q a prime 