et x(q) = 4*q**3 + q**2 - q + 1. Let u be x(1). Suppose 4*o + 2*a = a + 641, 0 = 4*o + u*a - 629. Is o prime?
False
Suppose -18 = -4*a - 4*h - 2, 3*a = -2*h + 10. Suppose 4*u - a*u - 178 = 0. Is u composite?
False
Let m(f) = 5*f**3 + 3*f**2 - 3*f + 1. Let k be m(3). Suppose -2*v = -4*v + k. Is v a prime number?
False
Let f(y) = 4*y + 3. Let q(h) = h**2 - 5*h + 3. Let l be q(5). Is f(l) a composite number?
True
Suppose 3*d - 1945 = 2*m + 3*m, 5*d - 3291 = -4*m. Is d a composite number?
True
Suppose 0 = 2*z + 4*s - 64, 0*z + 4*s = z - 14. Is (z/(-4))/(6/(-12)) a composite number?
False
Is 1 - (21/(-49) + 5734/(-14)) a prime number?
False
Let i(g) = 128*g**2. Let b be i(-1). Suppose -s = 2*r + s - b, 2*s = -r + 66. Is r prime?
False
Let i(v) = 12*v**2 - 2*v - 3. Let w be i(-2). Suppose 2*l - w = 3. Suppose 0 = -3*x + l + 85. Is x a prime number?
True
Suppose 0 = -2*u + 7*u - 295. Is u a prime number?
True
Suppose 2*s - 3*k - 1 = -0, -k = s - 8. Let p(c) = -c**3 + 5*c**2 + 3*c - 5. Is p(s) prime?
False
Let x(d) = d**3. Let b(c) = -2*c**3 + c**2 + c - 109. Let u(q) = -q**2 - 2*q + 2. Let s be u(-3). Let a(n) = s*b(n) - x(n). Is a(0) prime?
True
Let r = 4 - 4. Let u(x) be the third derivative of x**4/24 + 7*x**3/3 + x**2. Is u(r) prime?
False
Let h be (-72)/(-42) + 2/7. Suppose 0*w = -w - h*n + 111, -4*w - 4*n = -460. Is w a prime number?
False
Suppose -5*y = -s + 15210, -3042 = -0*y + y + s. Let n = -2006 - y. Is (-1)/(-4) + n/16 composite?
True
Suppose -4 = -5*a - 14. Is 4/8 - 529/a a composite number?
True
Let j(a) = 21*a**2 + 5*a. Let l(m) = -m**2 + m. Let o(c) = -j(c) + 4*l(c). Let h be o(2). Let f = -35 - h. Is f prime?
True
Let w(a) = -a**3 - 3*a**2 + 4*a. Let t be w(-4). Suppose 4*r - 3 - 17 = t. Suppose 3 = 4*b - r. Is b prime?
True
Is -1*(3 - 0) + 404 a prime number?
True
Let l(p) = -74*p + 1. Is l(-2) prime?
True
Suppose -3*m + 290 = -m. Is m prime?
False
Suppose 0*w + d - 45 = -3*w, 5*d = -15. Let o = 7 + w. Is o prime?
True
Let m(y) = 19*y**3 - 4*y**2 + 4*y - 2. Is m(2) composite?
True
Let w be 7*1 + -2 + 0. Let y = w - -4. Is y a prime number?
False
Let i(x) = -89*x - 15. Let c be i(-7). Let t be 38/6 + 1/(-3). Suppose 2*q = -2*z + 306, t*z = 2*z - 3*q + c. Is z prime?
True
Let s = -1708 + 4241. Is s a prime number?
False
Suppose 2*y = -4, -4*r - 18 = -5*r + 5*y. Let o = -5 + r. Let j = 5 - o. Is j prime?
True
Suppose 2*u - t - 10 = 0, -3*u + 10 = -0*u + t. Suppose 2*d - 40 = u*l + 26, l + 183 = 5*d. Is d a prime number?
True
Let u = 7 - 12. Let g(h) = 0*h - 2 - 3*h + 0*h. Is g(u) a prime number?
True
Is 7/(12 + -5) + (-1656)/(-1) prime?
True
Let u(x) = -5*x**3 + 2*x**2 - 2*x - 2. Is u(-3) a composite number?
False
Let x = -6 - 0. Let u(g) = -80*g - 13. Is u(x) prime?
True
Suppose 0 = -4*i - 2 - 46. Let v = i - -17. Suppose 0 = -d - 5*f + 15, 3*d + v*f - f - 67 = 0. Is d composite?
True
Let k(f) = 64*f - 17. Is k(10) prime?
False
Let f(h) = h + 12. Let y be f(-6). Is y/(-2)*(-8)/4 a composite number?
True
Let c = 14 + -10. Let k = 4 - c. Suppose -q - 2*q + 111 = k. Is q composite?
False
Suppose -3*s - 2*j + 7 = -0, s = 2*j + 5. Let n be (-1 - 40) + (s - 4). Let z = 79 + n. Is z a composite number?
False
Let a = 2049 - -205. Suppose -3*o + 9*z = 4*z - 1345, -4*z = 5*o - a. Let w = -163 + o. Is w composite?
True
Let z(b) = 6*b**2 - 4*b - 15. Is z(-7) a composite number?
False
Suppose 5*b - 2*q = 25, 5*b - 3*b + 4*q = 10. Suppose 5 = b*j - 4*j. Let s(y) = 2*y**2 - 6*y + 5. Is s(j) a composite number?
True
Suppose -7*x - 2*d = -2*x - 16, -3*x + 2*d + 16 = 0. Suppose -5 = -3*y + 4. Suppose 0 = -z + 3*g + 20, -x*z + 24 = -y*z - 5*g. Is z a composite number?
True
Let g(f) = 34*f**2 - 3*f + 1. Let h be g(2). Suppose -5*q - h = -766. Is q a composite number?
False
Is (-74736)/(-78) + 6/(-39) prime?
False
Suppose 4*p = 2*r + 3*p - 39, 3*r + 3*p = 72. Let n = r + 58. Suppose 0 = -2*m - 27 + n. Is m a prime number?
False
Suppose 0*l + 2*l = 4. Suppose 0 = -g - m, l*g - 5*g - 5*m - 2 = 0. Is g - (-2 - 2*14) a composite number?
False
Suppose 0 = 5*k - 264 - 971. Let b = k - 158. Let i = b - 40. Is i prime?
False
Is (6 + -5)/((-2)/(-1994)) composite?
False
Let i(d) = 3*d**2 - 5*d + 4. Is i(-6) prime?
False
Is (4/2)/(4/46) a prime number?
True
Let s(z) = z + 14. Suppose -j - 3*j = 0. Is s(j) prime?
False
Suppose -3612 = -5*w + 273. Suppose 2*b + b = w. Is b a composite number?
True
Suppose 0 = -3*p + p + 8. Suppose p*y = -5*i + 494, y - 3*y - 2*i = -246. Is y prime?
False
Suppose -24 = -5*t + h - 6, -3*t = 4*h + 3. Let m(o) = 2*o**2 + 13*o + 8. Let f be m(-8). Suppose t*g - f = -4*n - 10, n + 3*g - 1 = 0. Is n composite?
False
Let k(h) be the second derivative of 5*h**3/2 + 3*h**2/2 + 2*h. Let u be k(6). Suppose -2*j + 65 = s, 4*j = 3*s - 288 + u. Is s a composite number?
True
Suppose -2 = -2*a + 2. Suppose -4*s + a*s = 0. Is 0 + 4 + s + -2 a prime number?
True
Let g = -796 + 1943. Is g composite?
True
Suppose -4*t - t - 2*p + 5 = 0, 3*t = -4*p + 17. Is (2 + t + 70)*5 prime?
False
Let q(s) = s**3 - 8*s**2 + 7*s - 7. Let v be q(7). Is (v/4)/(1/(-28)) a prime number?
False
Let u = 128 - 69. Is u a prime number?
True
Let b be (-38)/(-3) + (-10)/15. Let p be (7 - b) + 2 + 1. Let y(f) = 28*f**2 - 2*f - 1. Is y(p) prime?
False
Let r(p) = -p**3 - 5*p**2 - 11*p - 3. Let s(h) be the second derivative of -h**4/12 - 2*h. Let w(m) = r(m) + 3*s(m). Is w(-8) composite?
True
Suppose q = 2*w - 3, q + 3 - 21 = -5*w. Is 2*w/(-3) - -53 a prime number?
False
Suppose j = -2*j + 9. Suppose -j*w = -7*w - 120. Is (-5 - -4)*(w - 1) a composite number?
False
Let h = 7 - 4. Suppose 5*i - h*i = 8. Suppose 0 = -b + 19 - i. Is b a composite number?
True
Let b = 402 + 11. Is b a composite number?
True
Let o = 2 + 8. Suppose -3*l + 5 = 2*x, 3*x - 5*x - 4*l = -o. Is 2/x + (-501)/(-15) prime?
False
Let o = -34 + 19. Let a(h) = -21*h**2. Let l be a(1). Let s = o - l. Is s prime?
False
Suppose 242 = 2*h - 2*i, -h = -2*i - 3*i - 121. Is h a composite number?
True
Suppose j = 4*k - j + 2, -6 = -3*k + 4*j. Is k/(-10) - (-1392)/15 prime?
False
Suppose -3*n + 6 = 9. Is ((-25)/n)/(3 - 2) a prime number?
False
Let f(u) = -39*u + 35. Is f(-8) prime?
True
Let f = 720 + -179. Is f a composite number?
False
Let s(c) = 4*c**2 + 5*c - 8. Let a be s(-6). Is 2*a*(-11)/(-44) a prime number?
True
Suppose 479 = 2*u + 3*a, u + 2*a - 946 = -3*u. Is u prime?
False
Let v(x) = -x**2 + x + 83. Is v(0) prime?
True
Let k(v) = -v**2 - 4*v + 1151. Is k(0) a prime number?
True
Suppose n - 9*n = -1880. Is n composite?
True
Let b(u) = u**3 - 8*u**2 - u + 2. Let m be b(6). Is m/6*12/(-8) a composite number?
False
Suppose -5*y - 5*p = 345, 15 = 2*p + 3*p. Let o = -37 - y. Suppose w = 5*k - 2*w - 60, 5*w + o = 4*k. Is k a prime number?
False
Let q(p) = -136*p + 19. Is q(-10) composite?
True
Is 507/13*1/(3/2) prime?
False
Suppose 48 = -5*q - f, -3*q - 5 - 19 = 3*f. Let y be (-3)/15 + (-22)/q. Suppose 0 = y*l + l - 6. Is l a composite number?
False
Let f = -376 - -833. Is f a composite number?
False
Let r(y) = -113*y - 4. Is r(-3) a composite number?
True
Let g = -11 + 15. Let y(v) = -2*v + 2. Let k be y(g). Is 2*3/k*-163 prime?
True
Let o be 0/(-6)*(-2)/(-8). Is 222 + (3 + -2 - o) a composite number?
False
Suppose -4*n = -n - 1143. Is n composite?
True
Let g(k) = -421*k**3 - 5*k**2 - k. Is g(-1) prime?
False
Let m(o) be the second derivative of -13*o**3/6 + o**2/2 - 5*o. Is m(-4) a composite number?
False
Let c(q) be the third derivative of -q**5/60 - q**4/8 + 7*q**3/6 - 5*q**2. Let d be c(-5). Let v = 119 - d. Is v a prime number?
False
Suppose -2*a = 3*a + 665. Let w = -80 - a. Is w prime?
True
Let o be 295 - (-2 - -4)/2. Suppose 0 = 4*r - 154 - o. Suppose -j = 3*j + 4*n - r, 2*j - 77 = 5*n. Is j prime?
True
Let d(m) = m**2 + 1. Let h be d(-1). Suppose 0 = -h*s + 4*s - 150. Let a = -38 + s. Is a composite?
False
Is (-7 - 0)*1/(-1) a composite number?
False
Let a(h) = -h**3 + 8*h**2 - 7*h + 2. Let i be a(7). Suppose -2*l + i = -0, 2*l = 2*v - 168. Let d = 134 - v. Is d a composite number?
True
Suppose -2*o + 49 = s, 3*s + o = -4*o + 146. Is s prime?
True
Suppose 0*h = h - y - 707, -4*h + 2844 = 4*y. Is h composite?
False
Suppose 7*n = 2*n + 700. Let p = n + -27. Is p composite?
False
Let l(x) = 17*x + 9. Is l(4) a 