- r. Let n be (-1)/2 + (-6)/(-4). Let a be j(n). Suppose 0 = -3*p + 15, -a*i - p + 32 = 3*p. Is i composite?
True
Let u(w) = w**3 + 9*w**2 + 7*w - 5. Let x be u(-8). Suppose 0 = -x*a - 0*j + 5*j - 2, 0 = 4*a - j + 14. Is (a/12)/((-2)/222) a prime number?
True
Suppose -5*g + 25 = -2*k, 3*g - 3*k - 25 = -2*g. Suppose -g*t + 924 + 31 = 0. Is t a composite number?
False
Let h(w) = -4*w - 13. Let c(o) = -17*o - 53. Let r(s) = -2*c(s) + 9*h(s). Is r(-9) composite?
False
Let x(q) be the third derivative of q**5/20 + 3*q**4/8 + 5*q**3/6 - 2*q**2. Is x(-9) composite?
False
Let v = -8 + 3. Let f(m) = -7*m**2 - 6*m + 11. Let c(p) = -p**2 - p + 1. Let a(x) = 5*c(x) - f(x). Is a(v) a prime number?
False
Let o(k) = 2*k**3 + 5*k**2 - 4*k + 1. Let b be o(3). Suppose -b - 637 = -5*u. Is u composite?
True
Let h(u) = 15*u - 1. Is h(8) composite?
True
Let d(j) = -j**2 - 5*j - 3. Let m be d(-3). Let x(z) = z**3 - 3*z + 1. Is x(m) prime?
True
Let x(q) = 3*q - 6*q - 6*q + 2*q**2 + 2. Let n(f) = f + 7. Let h be n(0). Is x(h) composite?
False
Suppose -5*g + 4253 = h, 3*g = -4*h + 1736 + 809. Is g a prime number?
False
Let a = 4996 + -2537. Is a a prime number?
True
Let m be -1 + 1 + (-5)/(-1). Suppose -p + 85 = 5*c - 662, -5*c = m*p - 755. Is c composite?
False
Suppose 2*x - x = 0. Suppose -2*i + 44 = -x*i. Is i composite?
True
Let y = 16 - 11. Let r(x) = -x + 7. Let d be r(y). Suppose -19 = -d*b + 27. Is b prime?
True
Let h(x) = -6*x + 49. Is h(-7) composite?
True
Let o(k) = k**3 + 5*k**2 + 2*k - 2. Let n be o(-3). Suppose 4*b + 82 = -n. Let q = 37 + b. Is q a composite number?
True
Let y = 1776 + 3395. Is y a prime number?
True
Let g = 148 - -275. Suppose -2*q = q - 3*f - g, 2*f = 4. Is q prime?
False
Let b(l) = -9*l - 2. Let w(m) = -8*m - 1. Let c(x) = 2*b(x) - 3*w(x). Suppose 2*a = 4*a - 4. Is c(a) a prime number?
True
Suppose n = 2*n + 4. Is n/(-22) - (-5580)/44 a prime number?
True
Is 788*-2*15/(-24) prime?
False
Let p = 7 + -11. Let u(t) = 4*t**2 + 7*t + 6. Let f be u(p). Suppose -2*c + f + 284 = 0. Is c a composite number?
False
Let k = 15 - 11. Suppose 2*j + k*u = -j + 20, u - 5 = j. Suppose j = -s + 5*d - 3, -3*d + 0*d - 22 = -4*s. Is s a composite number?
False
Let c(l) = -l**3 - 2*l**2 + 10*l + 8. Is c(-5) a prime number?
False
Suppose 4*i = 20, i - 3*i = 5*c - 1500. Is c composite?
True
Let r(v) = 5*v**2 + v + 11. Is r(-8) composite?
True
Let x(o) = -130*o + 41. Is x(-9) a prime number?
False
Is 3/((4/(-8))/((-1174)/12)) prime?
True
Let v(d) = -d - 6. Let r be v(-4). Is (-3 - (r - 264)) + 2 composite?
True
Suppose 2*o = -o - 4*l + 11701, 2*l = -10. Is o composite?
False
Suppose 8 = 3*v - 121. Is v a prime number?
True
Let m = -7 - -1. Let f = 9 - -6. Is m/f + (-374)/(-10) composite?
False
Suppose 150 = -2*o - o. Let j(b) = b**3 - 8*b**2 + 10*b - 9. Let c be j(8). Let d = c + o. Is d composite?
True
Let i(c) = -41*c - 20. Let y be i(-14). Let n = y + -337. Is n composite?
True
Is 179*(3 + -1 + -1) a composite number?
False
Suppose 120 = -7*b + b. Let l be -1 - (-1 + -42) - 1. Let z = b + l. Is z a prime number?
False
Let d(t) = t**2 - 8*t - 6. Let l be d(9). Suppose -4*b + l*m - 5*m + 2302 = 0, 1 = -m. Suppose 5*a = -181 + b. Is a composite?
False
Let c(d) = -6 - 2*d**2 + 6 - d**3. Let p be c(-2). Suppose 0*b + 2*b - 66 = p. Is b a prime number?
False
Let v(u) be the first derivative of -23*u**2/2 + 4. Is v(-5) composite?
True
Let t(j) be the first derivative of j**4/4 + 3*j**3 - 9*j**2/2 + 5*j + 2. Is t(-7) a composite number?
True
Let z(t) = t**3 - 3*t**2 + 4*t - 2. Let a be z(2). Suppose -5*d - 3 = -0*d + f, a*f + 6 = d. Suppose 3*o - 2*r - 505 + 116 = 0, -r + 2 = d. Is o prime?
True
Let c(l) = l**3 - 3*l**2 - 9*l - 7. Let o(k) = -2*k**3 + 7*k**2 + 18*k + 15. Let s(g) = -13*c(g) - 6*o(g). Is s(-6) a composite number?
True
Let g(r) = 31*r - 6. Let c be 2/(-5) - (-4)/10. Let a be -1 + 8 + (0 - c). Is g(a) prime?
True
Suppose -2*p = x + x - 16, -x + 20 = 4*p. Suppose -p*k + 340 = -184. Is k a prime number?
True
Let j(h) = 4*h**2 - h. Let r be j(1). Suppose -d = -3, r*f + 15 = -0*f + 4*d. Is (4*12 - 0) + f prime?
True
Let b(d) = 2*d**2 - 2*d - 3. Is b(-4) composite?
False
Suppose -2*v = -3*s + 16, s - 3*v + 3 = 13. Suppose 7 - 163 = -s*d. Is d composite?
True
Suppose 21 = -3*m + 3. Let j = -4 - m. Suppose i + 252 = 5*i + j*q, 0 = 3*i + 5*q - 175. Is i a composite number?
True
Let k = -3 - -6. Suppose -k*g = -0*g. Suppose -b - b + 158 = g. Is b prime?
True
Suppose -2*v - 3*v = -25. Suppose 28*y - 29*y + 131 = 0. Suppose k - 4*k + 151 = v*w, -3*k + 5*w + y = 0. Is k a composite number?
False
Suppose l = 4*p - 320, -4*l = 5*p - 2*l - 387. Is p prime?
True
Let c(w) = -w**3 + 5*w**2 + 5*w - 4. Let k be 3/(-6)*-8 - -1. Is c(k) composite?
True
Let d be -70*(-3)/6*7. Suppose 2*h = 5*s + 215 + d, 5*s = -h + 200. Let q = h - 141. Is q a composite number?
False
Let y(q) = q + 3. Is y(6) a prime number?
False
Let m be (-33)/2*(-16)/(-24). Let g = 7 + m. Let s(y) = 3*y**2 - 6*y - 5. Is s(g) a composite number?
False
Let f(z) = -z**3 + 2*z**2 - 3*z + 2. Let q be f(-4). Suppose 9*p + 365 = 14*p. Let t = q - p. Is t prime?
True
Let a(l) = l - 3. Let k be a(3). Let p(i) = -3 + k*i**2 + 0 + 6*i**2. Is p(-3) composite?
True
Is (1 + -2)*2 - (-564 + -11) a prime number?
False
Let y(b) = -b + 210. Let t be y(0). Let x = t - 138. Let p = x + -51. Is p a composite number?
True
Suppose 0 = -0*p + 4*p + 3*d - 1436, 3*p + 4*d - 1077 = 0. Is p composite?
False
Let h = -23 - -16. Is (-359)/h + 4/(-14) composite?
True
Suppose -3*l - 2*a = -2*l - 4223, 5*l - 2*a - 21055 = 0. Is l a prime number?
False
Let c(s) = 38*s**2 - 6*s + 7. Is c(3) a prime number?
True
Let t = 7 - 4. Suppose -t*i = -2*i - 47. Is i a prime number?
True
Let w(p) = 2*p**3 - 2*p**2 + 2*p - 1. Let q be w(1). Is (106/(-6))/(q/(-3)) a prime number?
True
Let y be (1 - 0)/((-2)/(-10)). Suppose -l = -0*l + 2*i - 191, y*i = 10. Is l composite?
True
Let x be (2*-3)/3 - -2. Suppose m = 3*g - 13, x = -4*g - m + 24 - 2. Suppose -18 = -g*o + 3*j + 104, -o = j - 18. Is o a composite number?
True
Let n be ((-2)/(-1))/2*46. Suppose -k - n = 126. Let b = -93 - k. Is b a prime number?
True
Suppose 2*l + l = 5*q + 1715, 5*q + 20 = 0. Is l composite?
True
Let j be (-2)/(-3) - 12/18. Suppose 3*l + 2*l - 10 = j. Suppose 2*x + 434 = l*q, 0 = -x + 6 - 2. Is q composite?
True
Suppose 3673 + 2962 = 5*o. Is o composite?
False
Let t(u) = u**3 + 6*u**2 + 4*u + 6. Suppose 2*k = -3*v + k + 32, 2*k + 68 = 5*v. Let w = 7 - v. Is t(w) composite?
False
Let q be (9/(-12))/(1/(-84)). Let p = q - -60. Let f = p - 4. Is f a composite number?
True
Suppose 0 = -5*x + p - 7, -8 = p - 5*p. Let w = 34 - x. Is w prime?
False
Let u(f) be the second derivative of 55/6*f**4 + 1/3*f**3 - 2*f + 1/2*f**2 + 0. Is u(-1) a composite number?
False
Suppose -3902 + 449 = -3*s. Is s a composite number?
False
Let s(p) = 14*p - 3. Suppose 4*c - 18 = 2. Is s(c) a composite number?
False
Let t = 308 - -213. Is t composite?
False
Let t(b) = -b**3 - 11*b**2 - 10*b + 4. Let s be t(-12). Suppose -4*d - 137 = -3*d. Let m = s + d. Is m prime?
True
Let m(b) = 4871*b**2 - 2*b + 2. Is m(1) composite?
False
Let w(i) = -105*i + 1. Let j(z) = -z. Let t(h) = -3*j(h) - w(h). Is t(4) composite?
False
Suppose 4*h - 8*o - 11235 = -5*o, -2814 = -h - o. Is h a prime number?
False
Let b(l) = -10*l**3 - 4*l**2 - 4*l - 2. Let c be b(-3). Let y = -41 + c. Is y a prime number?
False
Suppose -4*t = -33 - 15. Let a = -7 + t. Suppose -j - a = -42. Is j a composite number?
False
Let t = 2514 - 857. Is t composite?
False
Let b be 2 - 101/(-2)*4. Let l = b - -113. Is l prime?
True
Let r(c) = c**2 + 2*c - 3. Let w be r(2). Suppose -g - 2 + w = 0. Suppose 0 = -g*u + 23 + 88. Is u a composite number?
False
Suppose 202 = 3*o + o - 2*a, 5*a + 81 = 2*o. Is o composite?
False
Let i(c) be the first derivative of 4*c**3/3 - 2*c**2 - 5*c - 2. Is i(7) a prime number?
True
Let o(z) be the third derivative of 41*z**4/24 - 5*z**3/6 - 6*z**2. Is o(4) prime?
False
Let s(z) = -3*z + 6. Let h = 4 + 0. Suppose -h*k - 18 = -2*k. Is s(k) a composite number?
True
Suppose 5*f + 5*c = 1135, -2*f - 4*c = 155 - 619. Let v = f + -108. Let a = v - 37. Is a a prime number?
False
Let b be 4/6 + (-25)/(-3). Let n = b - -1. Is n + 2/