*x - 16 = -3*n, x = n + 4 - 1. Is ((-31)/4)/(n/(-8)) a prime number?
True
Let w = 262 + -96. Is w a composite number?
True
Let m = 20 + -8. Suppose 0*v + m = g - 3*v, -2*g = -5*v - 27. Is g a prime number?
False
Let a = 10 + 11. Is a a composite number?
True
Is (-6)/(-6) + -5 - -4671 a prime number?
False
Suppose -3*k - 9 = -5*q, 0 = -2*k + q - 2*q + 7. Is (33/5)/(k/10) a prime number?
False
Let j = 4 + -2. Let c = 0 + 0. Suppose h + c*h - 23 = -5*w, 0 = h - j*w + 5. Is h prime?
True
Let w(k) be the second derivative of k**5/120 + k**4/3 + k**3/6 + 2*k. Let n(o) be the second derivative of w(o). Is n(6) a prime number?
False
Suppose 0 = 4*b - 0 + 4. Let o be 4/8 - b/2. Is (-12)/(-1) - (o - 2) a composite number?
False
Suppose 0 = -2*v + 2*m + 4, 2*m = -3 - 1. Suppose -2*q + v*q = -5*n + 115, 4*q - 70 = -2*n. Is n prime?
False
Let x = 0 + -2. Let o = x - 0. Is (13/o)/((-4)/8) a prime number?
True
Suppose -2*x = 3*x, 0 = 5*d - x + 1325. Let k = d + 380. Is k a prime number?
False
Let z(o) = 27*o - 16. Is z(15) a prime number?
True
Let g = 44 + -21. Is g prime?
True
Suppose 179 = 3*l - s, 15 = -6*s + 3*s. Is l a prime number?
False
Let g(f) = 6*f + 2*f - 5 - f**2 - 3. Let n be g(6). Suppose 5*j - 37 = n*j. Is j a prime number?
True
Suppose 5*u = -3*h - 1 + 11, 2*h + 2*u = 0. Let j = h + 12. Is j composite?
False
Let r(t) = -t**3 - 12*t**2 - 4*t + 13. Let q be r(-12). Suppose 307 = 4*m - q. Let a = 47 + m. Is a a composite number?
False
Let i be -3 - (0 + -5)*12. Suppose i = 3*z - 0*z. Is z a prime number?
True
Suppose 4*m = 3*l + 500, 2*l + 5*m = -298 + 3. Let n = l - -235. Is n/2 - (-1)/(-2) a composite number?
False
Let o be 99 + 2 - 2 - -1. Suppose -d = -4*k + 16, 4*d - 2*d = 5*k - 17. Suppose -x + 59 + 16 = d*r, 5*x + o = 5*r. Is r prime?
True
Let x be 0 + 1 + -3 - 9. Let y = 51 + x. Let r = y - -7. Is r a composite number?
False
Let u(p) = -3*p - 3. Let x be u(-5). Let k be (1 - 2)/((-3)/x). Suppose -k = -4*m + 184. Is m prime?
True
Let z = -4 - -7. Suppose -3*d - z*n = -153, -n = -2*n + 2. Is d a composite number?
True
Is 0 + -5 - -5 - -39 composite?
True
Let q(x) = 12*x**3 + 3*x**2 + x - 1. Is q(2) prime?
True
Let j = -3 - -18. Let s = j + 4. Is s prime?
True
Let f be 4/(1 + 3) + 1. Suppose 411 = j + 2*t, 4*j - 828 = f*j - t. Is j composite?
True
Let f(k) = -2*k. Let v be f(-2). Let n be 1 + 0 - v/(-2). Suppose -15 + n = -4*t. Is t a prime number?
True
Let h(z) = z**3 + 9*z**2 + 3*z + 11. Let f = -11 + 3. Let w be h(f). Let r = w + -30. Is r composite?
True
Let b(h) = -2*h - 7. Let p be b(-6). Suppose f = p*f. Suppose k - 108 = -2*n + 17, f = -k + 4*n + 143. Is k a prime number?
True
Let l(d) = d**2 - 2*d + 2. Let q be l(3). Suppose 0 = q*r + k - 93, -r + 2*k = k - 21. Is r prime?
True
Let a be (-6)/(9/3) - 16. Let s = 73 + a. Is s prime?
False
Let t(q) = q**3 + 9*q**2 + 7*q - 6. Let x be t(-8). Suppose -v - x*v + 3*j = -132, 3*j = v - 54. Is v prime?
False
Let v = -4319 + 6370. Is v prime?
False
Suppose -5*n + 40 = -v + 16, 0 = -v + 2*n - 9. Let l(i) = 3 - 3 - 2 + v + 14*i. Is l(6) a composite number?
False
Let k(j) = -4*j - 5. Is k(-10) a composite number?
True
Let b = 1154 - 1725. Let v = 1133 + b. Suppose -5*l + v = h, -h = -4*l + 8*l - 449. Is l prime?
True
Let g(c) = 4*c**3 - 2*c**2 - 5. Let y(d) = -3*d**3 + 3*d**2 + 4. Let a(z) = -2*g(z) - 3*y(z). Let r(s) be the first derivative of a(s). Is r(7) composite?
True
Let d be (0 - -1) + (-1 - -3). Suppose 0*x - d*x + 471 = 0. Is x a prime number?
True
Suppose 7*l = 2*l + 20. Suppose -l*c + 770 = 5*x, -5*c - 612 = -5*x + 203. Suppose 316 = 4*t - b, -4*t + 2*t - 4*b + x = 0. Is t a prime number?
True
Is (-6686)/(-4)*(-8)/((-24)/6) prime?
True
Let v be (-6)/(-9) - 595/(-3). Suppose 3*k - v = 47. Let c = 120 - k. Is c composite?
True
Suppose 0 = -4*b + 5*v + 37, -b = -4*b - 3*v - 6. Suppose 515 = b*g - 226. Suppose -2*l - 17 + g = 0. Is l prime?
False
Let q be 0*1/(-2)*1. Let b(g) be the first derivative of -g**2/2 + 37*g + 1. Is b(q) composite?
False
Let j = 11 - -92. Suppose -5*b = -87 - j. Is b a prime number?
False
Suppose z - 4*j - 28 = 0, j + 45 = 3*z + 2*z. Let h = z - -26. Is h composite?
True
Let f(w) be the first derivative of w**4/4 - 4*w**3/3 + w**2 - 4*w + 5. Is f(5) a prime number?
True
Let w = -8 - -12. Suppose -w*b = -b - 174. Is b a composite number?
True
Suppose i - 213 = -5*p, 0 = -0*i + 5*i + 2*p - 1019. Is i composite?
True
Let t = -460 + 690. Let k(i) = -4*i**2 - i - 15. Let j be k(-6). Let s = t + j. Is s a composite number?
True
Suppose -1 = q - 3. Suppose -q*o + 168 = 2*o + 4*i, 2*i - 47 = -o. Is o composite?
False
Let j = -150 - -547. Is j composite?
False
Suppose l + 0 = 10. Is (-1643)/(-7) - l/(-35) a prime number?
False
Let y(n) = 38*n + 17. Is y(9) a prime number?
True
Is (-8)/6 + 14347/(-9)*-3 a composite number?
True
Let w(i) = 10*i**3 + 1. Let c be w(-1). Let q(y) = 2*y + 8. Let r be q(c). Let n = r - -24. Is n prime?
False
Let o(r) = -r - 2. Let c be o(-4). Suppose 0 = 3*k + 2*s + 18 - 48, -c*k - 4*s + 12 = 0. Is (-8)/k*1*-3 a composite number?
False
Suppose -3*s - 2*s - 100 = 4*m, -5*m = 4*s + 89. Is (s/24)/((-1)/57) a composite number?
True
Let s(q) = -q**2 - q + 2. Suppose 0 = 5*a - 10*a. Let f be s(a). Suppose 100 = f*v + 2*d, 3*v - 5*d + 0*d - 174 = 0. Is v composite?
False
Let f = -19 - -24. Let b(w) = 61*w**2 + 3*w. Let g be b(-3). Suppose 4*n = 3*q + n - 342, -f*q = n - g. Is q a composite number?
False
Is (-3 + 0 - -2)/((-2)/1298) prime?
False
Suppose 10*h - 39879 = 41471. Is h a prime number?
False
Let t = 653 - 280. Suppose 2*h - h = 2*o - 189, -t = -4*o - 3*h. Is o a composite number?
True
Let g be (83 - 2)/(11/(-33)). Suppose 2*h + 120 = -r, -r - 3*r = -5*h + 506. Let u = r - g. Is u composite?
True
Let f = -425 - -796. Is f a composite number?
True
Suppose -2097 = 3*q + 2*q + v, q + 413 = 3*v. Is 9/6 - q/2 composite?
False
Let y = 6 + -7. Is y/(-4) + (-441)/(-12) prime?
True
Let n be (-11)/77 + 785/7. Let v = 351 - n. Is v prime?
True
Let q(f) = -f**3 + 2*f**2 - f - 1. Let h be q(2). Let t = h + 40. Is t a prime number?
True
Let n(p) = -1 + 0*p**2 - 5*p - 8*p + 2*p**2. Suppose 0 = -0*y + 3*y - 30. Is n(y) composite?
True
Let a(l) = -7*l - 5 + 0*l - 2*l + 4*l. Let d = 5 + -11. Is a(d) composite?
True
Suppose 1987 = -5*g - 773. Let y = 38 - 56. Is g/y - 2/(-6) a prime number?
True
Suppose -w = -3*w - 30. Let a = 22 - w. Is a prime?
True
Let g(j) = 13*j**2 - j - 3. Suppose -5*h - 7 = v, -v - 2 = -2*h - 9. Is g(v) composite?
True
Let j be (10/6)/(12/324). Suppose a + 10 = 2. Let i = j - a. Is i a composite number?
False
Let q(z) = z**2 - 5*z - 6. Let r be q(5). Let l = r - -4. Is ((-54)/4 - l)*-2 prime?
True
Suppose 0 = -2*w - w - 6, b + w - 1161 = 0. Is b prime?
True
Suppose 4*s = -33 - 3. Suppose -u - 4*u = -110. Let w = u + s. Is w prime?
True
Let a = 4 + -166. Let j be ((-32)/(-6))/((-4)/a). Suppose -3*u + 3*t = -j, -3*u - 7*t + 176 = -2*t. Is u composite?
False
Let r(i) = -i**2 - 4*i + 7. Let a be r(-5). Suppose -376 = -4*y + 4*u, a*y + 5*u - 205 = 4. Is y composite?
False
Suppose 40 = -3*p + 7*p. Suppose 4155 = -7*s + p*s. Is s prime?
False
Let a be -1*(-76)/(2 + 0). Let c = -7 - -30. Let b = a - c. Is b prime?
False
Suppose -309 = 2*j - j. Is (-2)/(-3) + j/(-9) prime?
False
Suppose -4*v + 598 = -2*v. Is v a composite number?
True
Let y = -1071 - -2548. Is y a prime number?
False
Let x be 0/2 + (0 - -6). Suppose 0*q + 3*n + x = -2*q, -q - 2*n - 4 = 0. Is q/3 + (77 - 0) prime?
False
Let i(s) = s**3 - 9*s**2 - 15*s + 6. Let j be i(10). Suppose 0 = 2*t - 10. Let q = t - j. Is q a composite number?
True
Suppose -5*r = -4*f - 6991, -5*f - 1585 + 191 = -r. Is r prime?
True
Suppose 3*r = -4*f + f + 192, -3*r - 9 = 0. Is f a composite number?
False
Let f = -50 + 34. Is (-1)/(-2) + (-12488)/f prime?
False
Suppose -3*g = -p - 64 + 255, 5*g = -2*p + 382. Is p composite?
False
Let z(p) be the first derivative of 1/2*p**2 - 1 - 2*p. Is z(5) a prime number?
True
Suppose -3*r + 1946 - 260 = 0. Is r a prime number?
False
Let i(x) = -4*x + 7. Is i(-3) composite?
False
Let y(m) = -15*m + 28. Is y(-15) a composite number?
True
Suppose -266 = 5*z + 4*o, -2*o = 3*z - 0*o + 158. Let t = 43 - z. Is t a prime number?
False
Let b(c) = c**2 + 3. Let a be b(0). Su