) = 2*y**2 + 4. Let a be q(5). Let c = -20 + a. Is c a composite number?
True
Suppose n + 2*b - 269 = 0, 4*n + 2*b = 6*b + 1016. Is n prime?
False
Suppose 18*q - 12 = 16*q. Let v(x) = 4*x**2 - 2*x - 7. Let f(s) = 7*s**2 - 5*s - 14. Let l(m) = -4*f(m) + 9*v(m). Is l(q) a prime number?
True
Suppose -2*m = -0*m. Suppose -5*h - 5*a = -5, m = -5*h - a + 6*a - 5. Suppose 2*i + h*i - f = 73, -2*f = -2. Is i a prime number?
True
Suppose -f + 240 = 3*f. Is f/(0 - -3) + -1 prime?
True
Let z(o) = 17*o**2 + 10*o + 10. Is z(9) composite?
True
Let l = 8 + -37. Let r = 49 + l. Suppose -22 - r = -2*d. Is d composite?
True
Suppose a - 3*k - 361 = 0, -3*a + k = -2*a - 369. Is a composite?
False
Let r(y) = y**2 - 15*y + 6. Let j(d) = -d. Let b(o) = j(o) - r(o). Is b(7) prime?
True
Suppose f = 3*f - 44. Is f prime?
False
Let t(b) = -b**3 - 7*b**2 - 5*b + 8. Let p = -3 + -3. Let w be t(p). Suppose -3*u - 3*f = -u - 24, 5*u - w*f - 22 = 0. Is u composite?
True
Suppose -3*j = -4*j - 4. Let r(m) = -2*m**3 - 4*m**2 + 5*m + 4. Let d be r(j). Suppose -2*t = -2*x + d, t = 5*x + 5*t - 129. Is x prime?
False
Suppose 5*z = 3*z - 160. Let o(n) = -156*n + 1. Let v be o(-1). Let l = v + z. Is l prime?
False
Suppose -b + 0*b - r + 20 = 0, 3*r - 45 = -2*b. Is (0 + b/(-2))*-2 a composite number?
True
Is 2/(-4)*(-1 + (-425)/5) a composite number?
False
Suppose 3*w + 3331 = 4*x, 3*w = 1 - 16. Is x a composite number?
False
Is 2044/16 + 6/(-8) prime?
True
Suppose 3 = 3*z + 12, 266 = 4*q - 2*z. Suppose -2*a - 3*a + q = 0. Is a prime?
True
Let o(x) = -x**3 - 5*x**2 + x + 3. Let b be o(-5). Is 14*(b + 15/6) composite?
False
Let h(t) = 264*t - 17. Is h(8) a prime number?
False
Let q = -15 - -7. Let j be 5/(10/q)*1. Is (121/j)/(3/(-12)) composite?
True
Let j = 15 - -46. Suppose 3*f = 2*f - 30. Let u = j + f. Is u a prime number?
True
Let f(w) = w**3 - 3*w**2 + 2*w - 2. Let l be f(3). Suppose -l*b = -4*s + 280, 4*s - 4*b + 5*b = 285. Suppose 3*u - 46 = s. Is u composite?
True
Let u(i) = -34*i - 1. Let w be u(5). Let s = w + 312. Suppose 2*a = 2*f - 86, 4*f - 23 = 2*a + s. Is f a prime number?
False
Suppose 2*p = p + 83. Is p a prime number?
True
Suppose 8*z = 3*z. Suppose 2*g - 5*j - 70 = z, 3*g + 2*j - 105 = -3*j. Is g a composite number?
True
Let v = 3535 + 734. Is v prime?
False
Let h(j) be the second derivative of 13*j**4/12 + j**3/2 + j**2/2 + j. Suppose u + 1 = -1. Is h(u) a prime number?
True
Let f be (4 - 3)/((-1)/(-2)). Suppose -468 = f*b - 5*b. Suppose -b = -4*s + 28. Is s a prime number?
False
Let n = 203 - 33. Suppose p = -m + 64 + 112, p - m - n = 0. Suppose -5*z = -4*c - 437, -5*z + c + p = -3*z. Is z a prime number?
False
Let m(w) = -4*w**3 - 9*w**2 - 8*w - 4. Is m(-7) a prime number?
True
Let w(c) = -c**2 + c - 1. Let p(y) = -4*y**2 - 10. Suppose -18 = 5*v + 7. Let z(a) = v*w(a) + p(a). Is z(-7) prime?
True
Is (-6)/2*(806/(-3) + 3) a prime number?
True
Suppose k - 5*k = -2*a, 2*k = 5*a - 16. Let z be 1/(-2) + (-279)/k. Let d = -91 - z. Is d a prime number?
False
Suppose -29 = 2*j - 163. Is j a prime number?
True
Suppose 21*j - 27*j = -6618. Is j a composite number?
False
Suppose -2*o = -5*m - 0*o + 400, 5*o + 303 = 4*m. Is m prime?
False
Suppose -5*u = -2*u - 2127. Is u composite?
False
Let q(s) = 45*s**2 - s + 2. Let o be q(2). Suppose -3*k + 4 - 7 = 0, 5*k = -5*p + o. Is p prime?
True
Suppose r + 4*m = 1 - 5, -r = 3*m + 3. Suppose r = 4*f + 3*h - 232, -107 = -4*f + h + 125. Is -4 + f - (-1 - 0) composite?
True
Suppose -76*z - 1354 = -78*z. Is z prime?
True
Let n = 16438 + -9165. Is n prime?
False
Suppose -1 = -m + 2. Suppose 0 = p - 5*n - 134, -19 = -p + m*n + 121. Is p composite?
False
Suppose 0 = -f - l + 8, 0 = 5*f - 5*l - 60. Is f/(-15) - (-197)/3 a composite number?
True
Let u(w) = w + 2. Let l be u(0). Let h = l + -2. Suppose f + 7*x - 2*x + 2 = h, -5*x = -2*f + 71. Is f a composite number?
False
Let a(u) be the third derivative of -u**4/8 + u**3 - 4*u**2. Is a(-9) a prime number?
False
Suppose 5148 = 2*h + 2*u, -7*u + 3*u - 20 = 0. Is h a prime number?
True
Let s = 182 + -37. Is s composite?
True
Let v be (-12)/4 - -1 - -2. Suppose v = -5*a + a + 28. Is a prime?
True
Let r(t) = 92*t + 1. Suppose -q - 2 = -3*q. Is r(q) a prime number?
False
Let f(n) = -n**2 + 4*n + 447. Is f(0) a composite number?
True
Suppose 6 = j + 2. Let p(w) = w**2 - 8*w + 4. Let f(b) = b**2 - 9*b + 3. Let c(u) = j*p(u) - 5*f(u). Is c(6) a prime number?
True
Suppose z - 213 = -c, 0 = 3*z - 5*z + 2*c + 438. Let a = z + 33. Is a a prime number?
False
Let k(x) be the third derivative of -x**6/120 - x**5/30 + 5*x**4/24 + 2*x**3/3 + 2*x**2. Let a be k(-3). Is 39/a*(-2)/3 a composite number?
False
Let s = 3 + 1. Suppose s*k - k = 0. Suppose v - 2*a - 29 = k, 0 = v - a - 0*a - 32. Is v composite?
True
Suppose 4 + 8 = 3*m. Let w(c) = -3*c**3 - c**2 - 5*c. Let b(l) = 4*l**3 + l**2 + 5*l + 1. Let o(a) = m*b(a) + 5*w(a). Is o(5) a prime number?
True
Suppose 23 = 5*l + 168. Is 2*(2 + l/(-2)) a prime number?
False
Let y be 1*(2 + -4) + 4. Suppose 0 = -5*c + 3*l + 284, -12 = y*c + 2*l - 116. Is c a composite number?
True
Suppose 1 = -3*t - 41. Is 14/(-49) + (-2678)/t a composite number?
False
Let c(y) = -112*y**3 + 5. Is c(-2) composite?
True
Let p(u) = -52*u - 3. Let m be p(-2). Suppose 3*a = 4*a - 46. Let n = m - a. Is n prime?
False
Let r be (-898)/22 - (-6)/(-33). Let u = r + 60. Is u a prime number?
True
Let l(t) = -54*t + 1. Is l(-10) prime?
True
Let v = 2008 + -458. Suppose 0 = -5*t + 275 + v. Is t a composite number?
True
Suppose 10*f = 5*f + 635. Is f composite?
False
Suppose -m - 1086 = -2*p, 0 = -2*p + 7*p - 4*m - 2715. Is p a composite number?
True
Let l(c) = -c**3 - 5*c**2 - c - 2. Let q be l(-5). Let y be ((-2)/q)/((-4)/18). Suppose -195 = -y*t - 2*t. Is t prime?
False
Let l(w) = 3*w + 7. Let o be l(-5). Is 31/2 - o/(-16) composite?
True
Let l = 645 + -264. Is l/(-2)*10/(-15) prime?
True
Let y(f) = -f**2 + 4*f - 1. Let p be y(-3). Is (-1 + -10)/(2/p) prime?
False
Let j = 8 - 4. Suppose 2*f - 102 = -2*q + 70, -j*f + 2*q + 362 = 0. Is f composite?
False
Let k be ((-57)/(-76))/((-1)/(-24)). Suppose 4*h = 2*a - 749 - 1007, -3560 = -4*a - 4*h. Is a/k - (-6)/(-27) prime?
False
Suppose 0 = -4*m, -3*v = -0*v - 3*m - 222. Is v prime?
False
Is ((-30591)/(-15) - (-12)/(-30)) + 2 composite?
True
Let n(c) = 54*c**2 - 14*c + 5. Is n(3) prime?
True
Let q(z) = z**2 + z + 5. Let a = 17 - 12. Is q(a) a composite number?
True
Suppose u = -0*u. Suppose f - y - 14 = u, 5*f - 4*y - 58 - 10 = 0. Let s = 33 - f. Is s prime?
False
Suppose -16*j + 19*j - 1119 = 0. Is j prime?
True
Let c = 1470 - -801. Is c a prime number?
False
Let f be -1 + 2 + -1*15. Let p = f - -141. Is p composite?
False
Suppose -5*h + 1253 = 328. Is h prime?
False
Let u = 330 + 419. Is u a composite number?
True
Let w be ((-1)/3)/(3/(-5697)). Suppose -4*y = -7*y + w. Is y prime?
True
Is (1 + -3 - 29)*-1 a prime number?
True
Let w = -4 - -6. Let s be w/8 + (-2265)/20. Let l = 232 + s. Is l composite?
True
Let l(d) = -d**3 + 1. Let u be l(0). Let y(o) = -1 + 35*o - 1 - u. Is y(2) composite?
False
Suppose 0 = -3*y + 4*g - 7, y + 13 = 5*g - g. Suppose -3*m = -6, -2*h + 3*h - y*m = 63. Is h prime?
False
Suppose 2*l + 24 = -3*d, -3*l = -2*d + 4 + 6. Let w be (-4)/l + (-14)/(-6). Let t(o) = 6*o**2 - 5*o + 4. Is t(w) a composite number?
False
Suppose -u = -8 + 1. Let b(f) = -2*f + 17. Let c be b(7). Is (u/3)/(c/117) composite?
True
Suppose -6*w + 3*a + 10519 = -2*w, -4*a + 10512 = 4*w. Is w composite?
True
Let f = 2389 + -1028. Is f a prime number?
True
Let n(j) be the second derivative of j**4/6 + 5*j**3/3 - 3*j**2/2 - j. Let p(f) = f - 2. Let x be p(-5). Is n(x) a composite number?
True
Let j(d) = -d**2 + 6*d + 7. Let q(w) = -2*w**2 + 12*w + 13. Let p(b) = -9*j(b) + 4*q(b). Let r be p(8). Suppose r*x + 0*x - 185 = 0. Is x prime?
True
Let a(h) = -7*h**3 + 3*h**2 + 5*h + 3. Let m(q) = -6*q**3 + 3*q**2 + 5*q + 2. Let o(p) = 5*a(p) - 6*m(p). Let x be o(4). Is (x - -16) + 0/(-1) a prime number?
False
Let l(o) = 2*o - 5*o**2 - 2 + 3*o - 3 - 2. Let h be l(6). Is (h - 1)*(-8)/16 a prime number?
True
Suppose -k = -2*k + 2. Suppose 2*r - k*n - 2*n + 38 = 0, -n = 4*r + 58. Is (66/(-10))/(3/r) a composite number?
True
Let h = 1 + 1. Suppose -h = g, -g = 3*q - 