+ 3*c**2 + 3*c - 2. Let t be z(-3). Suppose -3*q - 2858 = 4*f, 0*q + q = -4*f - 2854. Is f/t + 2/11 composite?
True
Let r(l) = -8*l + 1. Let t be r(1). Let z(b) = -7 - 6*b - b + b. Is z(t) a composite number?
True
Let o(s) be the first derivative of -s**4/4 - s**3/3 + 4*s**2 + 11*s + 6. Is o(-9) a composite number?
False
Suppose -o + 0*o + 3 = 0. Suppose n + o + 0 = -2*q, 11 = 5*n - 3*q. Suppose 0 = -3*f + n + 20. Is f composite?
False
Let x(k) = k**2 + 2*k - 5. Let y be x(-4). Let a(o) = -4 + 0 - 10*o + y. Is a(-2) composite?
False
Let k(p) = 23*p**2 - 2*p - 17. Is k(6) a prime number?
False
Let d(x) = x**3 + 2*x**2 - 5*x + 3. Let n(f) = -3*f**3 - 4*f**2 + 10*f - 5. Let w(i) = 7*d(i) + 3*n(i). Is w(-5) prime?
True
Is 24/(-20)*5090/(-4) composite?
True
Let c(z) = 2*z**2 + 4*z + 5. Let n(r) = 4*r**2 + 9*r + 9. Let d(v) = 5*c(v) - 2*n(v). Suppose 2*q - 3 = -0*q - 3*s, 4*s = -20. Is d(q) composite?
True
Let m = 2687 - 1124. Is m a composite number?
True
Let n = 228 + -94. Is n prime?
False
Suppose 0*h + 4*h + 36 = 0. Let j = h - -6. Is 47/3 - (-2)/j composite?
True
Let z(j) = -j**3 - 12*j**2 + 13*j - 9. Is z(-14) a prime number?
False
Suppose 2*w + w = 5*p - 1726, 3*p = -3*w + 1050. Is p composite?
False
Let m(r) = -1 - 2*r**2 + 3*r**3 + 4*r - 2 + 1. Is m(2) a composite number?
True
Suppose u + 7 = 31. Suppose 5*t - 21 = 14. Suppose -3*s + t*s = u. Is s a prime number?
False
Let w(z) = -4 + z + 4 - 10*z + z**2 + 3. Let s be w(9). Suppose -6 = c - s*c. Is c composite?
False
Suppose 0*q + 2 = -2*q. Is q + 75 + 4 + -1 prime?
False
Let n be (-142)/(-2) - (-9)/3. Let q be 21 + (-2)/(1 - -1). Suppose -4*u + 120 = 4*i, 5*u = i - n + q. Is i a composite number?
True
Let k = -135 - -346. Is k prime?
True
Let n(t) = 40*t**3 - 1. Let y be n(1). Let x = 118 - y. Is x*-3*(-3)/9 a composite number?
False
Let u = -3507 + 5662. Is u a composite number?
True
Let n(z) = -10*z**2 + 0 + 8*z - 2 + 9*z**2. Let k be n(7). Suppose k*w + 0*w - 45 = 0. Is w a composite number?
True
Suppose 0 = 3*q + 3*y - 225, -q + y = -36 - 43. Is q prime?
False
Let g(d) = -2*d**3 + 4*d**2 + 2*d - 2. Is g(-2) a composite number?
True
Let h be (-2 - 0) + (-20)/(-4). Let y(i) = i**2 - i + 8. Let w be y(0). Suppose -m = h*m - w, 5*m + 43 = q. Is q prime?
True
Is 0 - 1 - (-2 + -370) a prime number?
False
Let u(x) = 38*x**2 - 1. Let i(c) = -c + 7. Let h be i(5). Suppose h*z - 1 = z. Is u(z) composite?
False
Let j be -7 - -11 - 1*-1. Suppose o - j*o = -56. Is o a prime number?
False
Suppose 3*v - 3 = 0, -2*v + 11 = 3*p - 0. Suppose -5*q = 3*b - 633, -p*b - b + 844 = -3*q. Is b a prime number?
True
Let s = 1 - -1. Suppose -s*i = -3*g + 29, 27 = g - 5*i - 0. Is g a composite number?
False
Let v(w) = 291*w + 6. Is v(3) a composite number?
True
Is ((-1)/2)/(3/(-1098)) prime?
False
Let n = 283 + -398. Let z = 232 - n. Is z a prime number?
True
Let j = -126 - -20. Let a = -51 - j. Is a prime?
False
Let v(o) = -o + 214. Is v(0) prime?
False
Let r be -2 + -1 - (0 - 6). Suppose 0 = r*i + i - 20. Suppose -4*n + 39 = -i*a - 60, 3*n - 2*a - 69 = 0. Is n a prime number?
False
Suppose 4*u - y - 472 = 0, 2*u + 2*u - 488 = 5*y. Suppose z = d - 54, 3*d = 4*z + 18 + 143. Suppose -4*v = -3*b - v + u, b - d = 5*v. Is b composite?
True
Let a(q) = q**2 - 9*q + 7. Let m be a(8). Is m*(660/(-2) - 1) a composite number?
False
Suppose -2*n - 2*n = 0. Suppose 2*t - 5*t + 30 = n. Is ((-4)/t)/((-5)/275) a prime number?
False
Suppose -5*o + 5*l = 3*l - 259, -3*o + 163 = -5*l. Is o composite?
True
Is (-3792)/(-10) + 6/(-30) a prime number?
True
Let z = 0 + 1. Let n(t) = 83*t**2 + t - 1. Is n(z) prime?
True
Let v(q) = q + 12. Let s be v(-10). Suppose -s*d + 1347 - 203 = 0. Suppose -2*l + d = 2*l. Is l a composite number?
True
Let p be -1*(1 + -3)/1. Suppose -6*i + 284 = -p*i. Is i composite?
False
Let z = -1237 - -4596. Is z prime?
True
Let d = 9 - 5. Suppose -282 = -d*r + 210. Is r composite?
True
Suppose -3*w + 33 - 9 = 3*q, -2*q + 22 = 3*w. Suppose w*x - 438 = 828. Is x composite?
False
Suppose -d = -0*d - 5, 2*g - 3*d + 31 = 0. Is 358/6 - g/(-12) a composite number?
False
Is ((-1623)/6)/(4/(-8)) a prime number?
True
Let r(a) = a**3 - 10*a**2 - 13*a + 11. Suppose -2*v - 4 + 28 = 0. Is r(v) a composite number?
True
Let h = 45 - -10. Is h composite?
True
Suppose -3*u + d = 176, 0*u + 48 = -u + 3*d. Let v be 3*(u/9)/(-5). Suppose v*g = n + n - 22, 3*n - 5*g - 34 = 0. Is n a composite number?
False
Let m be (-812)/(-8) - 1/2. Let i = m - -77. Is i a prime number?
False
Suppose -46 = -m + 39. Is m composite?
True
Is 2/(-8)*-2*298 a composite number?
False
Suppose c - 5*c + 3*c = 0. Let t(f) be the second derivative of f**3/6 + 83*f**2/2 - f. Is t(c) prime?
True
Suppose 0 = -2*j + 3*m + 6, 2*m - 1 = 5*j - 5. Suppose j*y + 5 = y. Suppose 2671 = y*k - 724. Is k a prime number?
False
Let a = -29 + 21. Let n = a + 14. Suppose f + 65 = n*f. Is f a composite number?
False
Let c(a) = -24*a - 1. Suppose 0 - 3 = o. Is c(o) a prime number?
True
Let t(x) = x. Let j(k) = 13*k**2 - k. Let b(c) = j(c) + t(c). Let v be b(1). Suppose 5*g - v - 85 = -3*q, 2*g + 44 = 2*q. Is q prime?
False
Let h = -297 + 776. Is h prime?
True
Let r be (-5676)/(-18) - (-2)/3. Suppose 0 = 6*t - 2*t - r. Is t composite?
False
Let b(i) = -9*i**2 + 2*i - 5. Let t(a) = -9*a**2 + a - 5. Let g(v) = -6*b(v) + 5*t(v). Is g(6) a composite number?
True
Let v(g) = 7*g - 1. Let n be v(1). Is (-1)/3 - (-68)/n prime?
True
Let i(n) = n. Let o(t) = -2*t - 1. Let v(m) = 2*i(m) + 2*o(m). Let u be v(-3). Suppose 74 + 74 = u*x. Is x a prime number?
True
Is ((-3)/(-9))/((-5)/(-5715)) a prime number?
False
Let z(u) = 33*u + 4. Let i(v) = 330*v + 39. Let j(f) = -2*i(f) + 21*z(f). Is j(9) composite?
True
Let f(d) = 15 + d**3 - 5 - 3*d - 8*d**2 + 3. Is f(12) composite?
True
Suppose -14627 = -m - 4*m - 4*o, -3*o = 6. Is m composite?
False
Is (-16423)/(-33) - 8/(-6) composite?
False
Suppose -5*o = -o - 3*i - 242, -i = o - 57. Is o a prime number?
True
Suppose -2*q + 6 = -2*u, q = -u - 0 + 3. Suppose 3*l - 12 = -3. Suppose -2*x - 4*y = -5*x + 29, 2*x - l*y - 18 = u. Is x a prime number?
False
Let h(u) = 24*u**3 - u**2 + u - 1. Let c be (-1 - 1)/((-4)/8). Let j = c - 3. Is h(j) composite?
False
Suppose 0 = 4*u + 2 + 2. Let s be (2/(-1))/(-2) + u. Suppose h + s*h = 19. Is h prime?
True
Let g be 3/1 + -1 + 4. Let q(m) = -m**3 + 8*m**2 + 8*m - 1. Is q(g) a composite number?
True
Let o = 181 - 21. Suppose 5*q - 65 = -3*f + 65, -4*q + o = 4*f. Is f a composite number?
True
Is 25/(-2)*-8 + -3 prime?
True
Suppose 5*d = 73 - 3. Let n be (-730)/(-22) - 10/55. Suppose -d = -f + n. Is f a prime number?
True
Let r = 3 + 4. Is 1423/r - (-2)/(-7) a composite number?
True
Suppose 0 = f + 2*f - 18. Suppose 0 = -2*i + f, -2*p = -3*i - 306 - 17. Is p a prime number?
False
Let a = 3146 + -1509. Is a composite?
False
Let r(i) = -i**2 + 125. Let s be r(0). Let j = 14 + s. Suppose v = -2*m + m + 72, 0 = -2*m - v + j. Is m prime?
True
Let g be (-24)/20*(-6 + 1). Suppose 3*j = 5*v + 116, 46 = j - 5*v - g. Suppose -10 = 5*b, 5*m - 777 = 2*b + j. Is m prime?
False
Let h = -72 - -192. Suppose h = p + 5. Is p a prime number?
False
Is ((-36)/(-48))/(1/4) prime?
True
Let y(g) = -5*g + 16. Is y(-6) composite?
True
Is -1*(4 + (-1 - 334)) prime?
True
Suppose -5*j + 2*h - 5*h = -3244, 4*j - 2594 = -2*h. Is j a composite number?
False
Let n(d) = 4*d**2 - d - 1. Let o(x) = 16*x**2 - 5*x - 4. Let y(i) = 9*n(i) - 2*o(i). Is y(1) a composite number?
True
Let x = 10 - -213. Is x prime?
True
Let z = -14 + -37. Suppose 5*d - 214 = 206. Let b = z + d. Is b prime?
False
Is (-764)/(-7) - 2/14 composite?
False
Suppose 7*j = 9*j - 302. Let m(o) = -11*o - 2. Let w be m(6). Let p = w + j. Is p a prime number?
True
Let m = 6 - 63. Suppose -20 = 4*b - 5*f, f + 2*f = b + 12. Is m/(-3) - (0 - b) composite?
False
Let r be -1 + -1 - (2 - 1). Let m be 2/r - (-3)/(-9). Is (6/(-5))/(m/5) composite?
True
Let y be (-1 - (-2 + 0)) + 1. Suppose 0 = k + 2*x - 13, k = 5*x - y*x - 7. Suppose 0 = -n + k*n - 52. Is n prime?
True
Let n(b) = b**2 - 13*b + 19. Is n(16) a prime number?
True
Let r(n) = -6*n - 7. Let t = -17 + 14. Is r(t) a composite number?
False
Let i be -4*1*249/6. Let l = i + 90. Let q = l + 125. Is q prime?
False
Suppose -9*f = f - 2540.