Let b(h) = h**2 + 6*h - 8. Let y be b(-6). Suppose -3*z = -6 - 0. Is (-2 - y)*z - 2 a prime number?
False
Let o(p) = -7*p**3 + 3*p**2 - p - 1. Let z(n) = -15*n**3 + 7*n**2 - 2*n - 2. Let a(i) = 5*o(i) - 2*z(i). Let v be (-9)/3 + 4 + -2. Is a(v) a prime number?
False
Is (1 + -867)/(-1) + 0 + 3 a composite number?
True
Suppose 0*d - 151 = -d. Suppose -t + 133 = -3*f, 2*f + 23 - d = -t. Let i = t - 93. Is i a composite number?
False
Let y be (6/(-2))/1 - -6. Let x(w) = -7*w**2 + w + 3. Let v be x(y). Let l = -36 - v. Is l a prime number?
False
Let q be (45 - (1 - 3)) + -1. Suppose -59 = -5*g + q. Is g composite?
True
Let s(n) be the first derivative of n**4/4 - n**2/2 + n - 2. Let u(w) = 2*w**3 + 6*w**2 - w - 5. Let t(x) = -s(x) + u(x). Is t(-5) prime?
True
Let s = -317 + 657. Let v(o) = -o**3 + 8*o**2 + o - 5. Let g be v(8). Suppose x - s = -3*x - z, -255 = -g*x + z. Is x composite?
True
Let f(d) be the first derivative of 11*d**2/2 - d - 1. Let o(l) = l**2 + l - 2. Let k be o(2). Is f(k) a prime number?
True
Suppose 796 = -7*w + 11*w. Is w prime?
True
Suppose -3*f = -2*f - 419. Is f prime?
True
Let x(a) = 2*a**2 - a. Let f = -8 + 7. Let t be x(f). Suppose 0*p + t*p = 309. Is p prime?
True
Suppose 12*h = 13*h - 203. Is h a composite number?
True
Let p = -9 - -14. Suppose 5 = p*a, -2*d + 179 = 3*a + 2*a. Is d composite?
True
Let y(s) = -s**3 - 2*s**2 + 5*s + 5. Let t be y(-6). Suppose 3*p = 4*p - t. Is p a composite number?
True
Suppose -4*q + q = -2145. Suppose -5*n + 0*n = -q. Is n prime?
False
Suppose 155 + 481 = 4*p. Is p a composite number?
True
Let d = 754 + -255. Is d prime?
True
Let s = -3 + 6. Let x(y) = -s + y - 2*y + y + 3*y. Is x(6) prime?
False
Let m = -1 + 3. Suppose 5*a - m*j - 6 = 0, -4 = -3*a + 2*j + 2. Suppose o + 17 - 85 = -5*g, a = -4*o + 5*g + 197. Is o a composite number?
False
Let n be (0 + -2)*(-2)/(-4). Let w be 0/2 - n*45. Let v = 136 - w. Is v a composite number?
True
Let n(d) = -4*d + 2*d + 14*d**2 + 5 - 2. Is n(2) a prime number?
False
Suppose 3*k = f + 2*k - 30, -5*k + 25 = 0. Suppose -5*v + f = -5*n + 5, -4*n = 3*v + 17. Is (v - 2 - 0) + 36 prime?
False
Let n = -2876 + 6309. Is n a composite number?
False
Suppose -177 = 4*o - 681. Suppose 0*n + u = n - o, -2*u + 129 = n. Is n a composite number?
False
Let y(g) = -3*g + 7. Let d be y(6). Let u(f) = -39*f + 14. Is u(d) composite?
False
Let q(u) = 8*u - 1. Suppose 3 + 27 = 5*w. Is q(w) a prime number?
True
Suppose 5*x = 42 + 23. Let s = 34 - x. Is s a composite number?
True
Let p(q) = -q**2 - 9*q - 7. Let n be 1*5*56/(-35). Let o be p(n). Is ((-1)/o)/((-3)/111) a composite number?
False
Let b(w) = -3*w**3 + 6*w**2 + 11*w - 1. Let s be b(8). Let u(g) = g**3 - 2*g**2 - 5*g + 2. Let x be u(3). Is (x/(-6))/((-10)/s) a composite number?
False
Let r be (0/1 - -1)*83. Suppose -2*c = -c - r. Suppose -2*q + 2*j = -5*q + 265, q - c = -2*j. Is q composite?
True
Suppose l = -3*l + 180. Let q be (3/9)/(3/l). Suppose -q*j + 72 = -193. Is j composite?
False
Let n(t) = 2 - 3 - 6*t**2 + 5*t**2 + 11*t**2 + t**3. Is n(-8) composite?
False
Let r be 8/32 + 38/8. Suppose 0 = 6*a - 2*a - 3*k - 586, -a - r*k + 135 = 0. Is a a composite number?
True
Suppose 0 = -0*m + 5*m - 50. Suppose m + 32 = 3*a. Is a composite?
True
Suppose -102 - 1072 = -2*y. Is y composite?
False
Let s(j) = 13*j - 5. Let v be (-1 - 0)/((-1)/4). Let b be v/(0 + 1 + 0). Is s(b) a prime number?
True
Let t(g) = 1 + g**2 - 13 + 3*g + 5 + 2. Let k(h) = h + 10. Let b be k(-5). Is t(b) prime?
False
Suppose 4*t + 3*x - 6*x = 6248, 4661 = 3*t + 4*x. Is t a composite number?
False
Suppose -3*l = -3 - 6. Is 0 + 1 - (l - 33) composite?
False
Let x = 2037 + -970. Is x a composite number?
True
Let u = -14060 - -24907. Is u a prime number?
True
Suppose -r = 4*r. Suppose r = -o - 2 + 5. Is 13/(3*o/45) prime?
False
Suppose m - 5 = 1. Let c(f) = f**2 + 5*f - 2. Let v be c(-4). Is v/(-9) + 2018/m composite?
False
Suppose -2*l + 4*n - n = 13, -n = 4*l - 9. Is ((-5)/2)/(l/(-14)) prime?
False
Let h(i) = -5*i - 1. Let y(v) = 4*v**2 + v - 7. Let x(n) = -4*n**2 - n + 6. Let c(l) = 6*x(l) + 5*y(l). Let r be c(1). Is h(r) prime?
True
Let w = 226 + -47. Is w prime?
True
Suppose 0 = -5*h - 5*x + 15, 18 = h + 4*h + 4*x. Is 2 + 3/(h/70) composite?
False
Let l = -19 + 42. Suppose k - l = -0*k. Is k a composite number?
False
Let s be 4 - ((-290)/(-2) + -3). Let p = s + 455. Is p a prime number?
True
Suppose -4*f + 82 + 50 = 0. Is f a prime number?
False
Let n(i) = -i**2 - 10*i - 7. Let l be n(-9). Suppose -l*g - b = -g - 1, 0 = 5*g - 5*b - 55. Suppose 5*q - 80 = x - g*x, -66 = -3*q + 3*x. Is q prime?
True
Let y = -30 - -49. Is y composite?
False
Let q = 569 - 16. Is q a composite number?
True
Suppose 404 = 2*x + a, -a - 850 = -4*x - 48. Is x prime?
False
Let x(c) = -1002*c - 5. Is x(-6) composite?
False
Let p(v) = v**3 + 5*v**2 + 9*v + 7. Let f be p(-6). Suppose -8*j + 4*j = -480. Let m = j + f. Is m composite?
False
Suppose 4*x = 5*o + 1288, -4*o + 2*o - 8 = 0. Is x prime?
True
Let h = 9 - 3. Suppose y + 2 = -h*c + 3*c, 3*y - 6 = -3*c. Is 4*3 - (3 + c) a prime number?
True
Is (5033/42)/((-1)/(-6)) prime?
True
Suppose -3 - 265 = 4*c. Let s = c - -116. Is s composite?
True
Let k = -2937 - -5442. Is (-2)/7 - k/(-21) a composite number?
True
Suppose -4*y + 463 = 3*l, -181 - 407 = -4*l + 2*y. Is l a prime number?
True
Suppose 0 = -0*c + c + 3*s + 11, 2*s + 10 = 0. Suppose -5*h - 2*d = -0*d - 445, d - 356 = -c*h. Is h composite?
False
Let k = 7 - 2. Let j = 63 - 43. Suppose -2*x + j = b - k*b, 0 = -b. Is x composite?
True
Suppose 0 = 3*x + 4*f - 577, -2*f = -3*x + 167 + 440. Is x prime?
True
Suppose 5*f - 5 = 0, -4*b + 2*f + 131 = -51. Is b a composite number?
True
Suppose 365 = 4*m - s - 152, 0 = 2*s + 2. Suppose 14*h + 244 = 15*h. Let i = h + m. Is i composite?
False
Suppose 0 = 11*f - 16*f - 3*n + 9871, -4*n = -8. Is f a prime number?
True
Let n = -2 - -3. Suppose -2*y + y = -n. Is (45/(-6))/(y/(-2)) prime?
False
Let o(p) = 2*p**2 + 4*p + 5. Is o(-6) a composite number?
False
Let i(h) = -3*h - 3. Let f be i(-2). Suppose f*w + 7 + 23 = 0. Let m(z) = z**3 + 12*z**2 + 2*z + 11. Is m(w) composite?
False
Let u(n) = 4*n**3 + n**2 + n - 1. Let y be u(1). Suppose y = 3*w - 1. Is w prime?
True
Let j(k) = k + 2. Let q be j(6). Is (q/(-12))/(4/(-2514)) a prime number?
True
Let a be (-6)/(-27) + 480/27. Suppose -85 = 3*b + 2*p, -4*p - 2 = a. Is 1*(-2 + 1)*b composite?
True
Let b(z) = -z**2 - 6*z - 7. Let u be b(-5). Let i = 12 + u. Is i composite?
True
Let d be 0/(-1 - 1) + 7. Is 22/4*(d + 3) prime?
False
Suppose -2*y = -f - f + 44, 0 = -3*f + 5*y + 68. Is f a composite number?
True
Let k be (-2 - (0 + -1))/1. Let z = 2 - k. Suppose 0 = 4*m - z*m + 5*h - 23, 3*m = h + 69. Is m prime?
True
Let s = 16 + -11. Suppose -2*v - 52 = -2*a + v, -s*a + 130 = 5*v. Suppose -m + 11 = -a. Is m a composite number?
False
Suppose 0*r + 4*r = d, 0 = d + 3*r - 7. Let p be (-78)/d*(-4)/6. Let k = 20 + p. Is k composite?
True
Let c(y) = y**3 - 7*y**2 - 8*y + 2. Let a be c(8). Let w be a/9 + (-16)/(-9). Suppose 0 = w*u - 0*u - 154. Is u composite?
True
Suppose s + 2*v + 5 = v, -4*s = 2*v + 10. Suppose 2*f - 16 - 90 = s. Is f a prime number?
True
Let f(z) = -z**2 + 57. Is f(0) prime?
False
Suppose 6 = -3*p + p, 0 = j + 2*p. Suppose 23 = z - 3*r, -2*z - 41 = -4*z + 5*r. Is 278/j + z/12 a prime number?
True
Let a(c) be the first derivative of -13*c**2/2 - 8*c - 6. Is a(-15) prime?
False
Suppose -4*m = -2*k - 1782, 3*k + 1333 = 3*m + 5*k. Is m prime?
False
Suppose 0 = 3*m + 42 + 24. Is 11/((-3 - -1)/m) a prime number?
False
Let x(j) = 6*j + 3. Is x(15) prime?
False
Let p = 4 + -3. Let x(k) = 2*k**3 + 5*k**2 - 4*k. Let n(h) = h**3 - h**2 + h. Let m(y) = 4*n(y) + x(y). Is m(p) a prime number?
True
Let m(q) = -q - 4. Suppose 3*h = -3*j - 0*j, 2*j + 35 = 5*h. Let i be m(j). Is (1 + -2)*-179*i prime?
True
Let h(l) = 212*l**2 - 4 - 4 + 4 + 3. Is h(-1) a prime number?
True
Suppose -2*s - 14 = 2*t - 6*t, 4*t - 19 = 3*s. Let j be (-105 - -6)/(0 + t). Let k = j + 188. Is k prime?
True
Is (145/(-10))/((-2)/236) prime?
False
Let p = -5 - -219. Suppose 0 = -5*k - 19 + p. Is k composite?
True
Let k(d) = -32*d - 9. Is k(-4) composite?
True
Suppose -5*r - 44 = -14. Let c be 3/r + (-29)/2. Is (66/(-9))/(2