 a composite number?
True
Let z = 29 + 59. Suppose -2*u + z = -3*w - 2*w, 2*w - 191 = -5*u. Is u a prime number?
False
Let s(k) = -49*k - 1. Let f(r) = 24*r + 1. Let w(u) = 7*f(u) + 3*s(u). Is w(3) composite?
False
Let w(c) = c**3 + 7*c**2 + 8*c + 3. Let b be w(-6). Let x(m) = 11*m**2 - 3*m + 13. Let u(r) = 5*r**2 - r + 7. Let j(i) = 9*u(i) - 4*x(i). Is j(b) composite?
True
Let m(h) = 19*h**2 - 1. Let y be m(-1). Is 4550/y - 2/(-9) prime?
False
Suppose 30 = 3*h + 2*h. Suppose 4*y + 22 - h = 0. Is y*(1 + 95/(-4)) composite?
True
Let k(v) = -5*v + 4*v - 1 + v**2 + 3*v. Is k(3) prime?
False
Let x be -4*1/(-6)*396. Let y(r) = 21*r + 10. Let j be y(-7). Let o = j + x. Is o a prime number?
True
Is (0 - 154/(-4))*2 prime?
False
Is ((-6830)/(-12))/(6/36) a composite number?
True
Let u be (1 - 3)/(5/(-220)). Suppose -2*a = -m - a + u, 4*a = 5*m - 435. Is m prime?
True
Is (60/(-16))/((-6)/16) a prime number?
False
Suppose -366 = -3*r + 321. Let n = r + 66. Is n a composite number?
True
Let k(n) = -n**3 + 8*n**2 + 19*n + 11. Is k(-10) a prime number?
True
Suppose 5*w + 3*o - 6236 = 0, 0 = -w - 4*o + 667 + 570. Is w prime?
True
Let z = 9472 - 5223. Is z composite?
True
Suppose -24 = -3*y + 3. Let s be (-6)/y*(1 + -382). Suppose s = r + r. Is r a composite number?
False
Let c(i) = i**2. Suppose -2*w - 3*m = 19, 4*m + 11 = -9. Let z be c(w). Suppose -87 = -2*b + 5*j, 0 = -2*b + z*j + 104 - 22. Is b prime?
True
Let z(o) = -o**3 - 5*o**2 - 4*o - 5. Let l(r) = r - 1. Let c be l(-5). Is z(c) prime?
False
Let g = -3 - -5. Is g/(-10) - (-256)/5 prime?
False
Suppose -603 - 1140 = -3*j. Is j a prime number?
False
Let z be -107 + (1 - (-2 - -3)). Let r = z + 25. Let g = -57 - r. Is g a prime number?
False
Suppose -5*s - 243 = 1057. Let c be 2/(-4) - s/8. Let l = c + -18. Is l a prime number?
False
Let a(n) = n**3 - n**2 - n + 150. Let b be a(0). Let x = -23 + b. Is x a composite number?
False
Suppose 5*c = 25, -8 + 29 = -4*m + c. Let q = 15 - m. Is q prime?
True
Let r(s) = -6*s - 4. Let d be r(1). Let x = 37 + 31. Let j = d + x. Is j prime?
False
Suppose -q - 2*u - 12 = 0, 5*q - u = -6*u - 50. Is (1043/(-28))/(2/q) a composite number?
False
Let t = -40 - -575. Is t a prime number?
False
Suppose -4*g = -2*g - 3*y - 21, -y - 17 = -4*g. Suppose -4*n + g*n = -443. Is n a prime number?
True
Suppose -920 = 3*y + 823. Let k = -390 - y. Is k prime?
True
Is 0/(-5) + (1 - 1 - -3241) composite?
True
Let z = -829 + 1530. Is z a prime number?
True
Suppose -3*a = -2*n + 133, 5*n - 322 = 2*a - 5*a. Is n composite?
True
Let t = -4 - -7. Let u(k) = 1 - t*k + k + k**2 - k. Is u(5) a prime number?
True
Suppose 0*s + n + 5 = -3*s, n + 5 = 4*s. Let o = 113 - s. Is o a prime number?
True
Let u(r) = -85*r**3 + 3*r**2 - r + 8. Is u(-3) composite?
False
Let o(p) = -54*p - 1. Is o(-3) a prime number?
False
Let f = -2349 - -4006. Is f prime?
True
Suppose 3*b = 3*v + 1680, 0 = 2*b - 0*b - 4*v - 1114. Is b prime?
True
Let o be -1*1 - -1*83. Let g(r) = r**3 - r**2 + r + 15. Let y be g(0). Let s = o + y. Is s a composite number?
False
Suppose -6*b + 200 + 334 = 0. Is b a composite number?
False
Let m(b) = -54*b**2 + b + 103*b**2 - 1 + 108*b**2. Is m(1) prime?
True
Let n be 2 + 1 + -6 + 7. Suppose -2*i - 550 = -3*z, 5*z - n*i = -103 + 1019. Let x = z + 79. Is x prime?
True
Suppose 61 = j + v, 0*j = -2*j + 5*v + 108. Is j a composite number?
False
Let r = 76 - 31. Is 1 - (r*-1)/1 a composite number?
True
Let u = -1664 - -2631. Is u a prime number?
True
Let k(u) = 64*u + 7. Is k(6) composite?
True
Suppose 9*y - 12*y + 6759 = 0. Is y a prime number?
False
Suppose 0 = 7*w - 13 - 50. Suppose -w*g = -5*g - 764. Is g prime?
True
Let u be (-3622)/18 - (-6)/27. Let s = u - -127. Is s/3*(-3)/2 a composite number?
False
Let b(x) = -x**2 + 1. Let d be b(1). Suppose w = -d*w + 53. Is w composite?
False
Let y be (-3)/12*2*-28. Suppose 5*o - 109 = -y. Is o a composite number?
False
Suppose 5*l - 4*i - 32689 = 0, -3*l + 0*l - 3*i + 19635 = 0. Is l composite?
True
Suppose 5*q - 1274 = -t, 0 = -t + 3*q - 85 + 1319. Is t composite?
False
Let y be 38/14 - 2/(-7). Let a(l) = -2*l**2 + l - 2*l**2 + 12*l**2 + 2. Is a(y) prime?
False
Let x(z) = -4 + 0 + 3*z - 4*z. Let k be x(-7). Let c(j) = 3*j**2 + 5*j - 3. Is c(k) a prime number?
False
Suppose -36 = f - 5*f. Is f a prime number?
False
Suppose -3*j = i + 12, -j + 34 = -5*i + 6. Let v(m) be the second derivative of m**5/20 + 5*m**4/6 - 2*m**3/3 - 5*m**2/2 + 4*m. Is v(i) a composite number?
False
Let r(x) = 3*x - 1. Let i be r(2). Suppose -7*k + 826 = -i*k. Is k prime?
False
Let u(q) = 57*q - 3. Let g be u(6). Let f = g - 242. Is f prime?
True
Let a = 7 + -7. Suppose -4*k - i + 156 = 0, -5*k + a*i + 3*i + 178 = 0. Is k a composite number?
True
Suppose 0 = -3*p - 2*p. Suppose 0*l - 4*l + 8 = p. Suppose 3*b - b = -m + 14, -5*m = -l*b - 22. Is m prime?
False
Let u be 6*(1 + (-34)/4). Let a = -31 - -40. Is (-788)/(-10) - a/u composite?
False
Let d be 3/(-2)*(-12)/9. Suppose 90 = d*z - 388. Is z a composite number?
False
Suppose 6 = -8*j + 9*j. Let a(x) = x + 6. Let t be a(-3). Suppose s = t*s - j. Is s a prime number?
True
Let d = 8 + -7. Let o be -12 + 3 + -2 - d. Let f = o + 23. Is f a prime number?
True
Suppose -3*i + 5*i = 0. Suppose 5*q + 2*f = -i*q + 581, 2*f = 6. Is q prime?
False
Let o(g) = 14*g**2 + 2*g + 1. Let s(h) = h**2 + 4*h - 1. Let z be s(-4). Is o(z) composite?
False
Suppose -v + 5*i - 385 = -0*v, 5*v = 4*i - 1883. Let c = -218 - v. Is c prime?
True
Let z be -2 + (2/2 - -71). Suppose 3 = -h + 5. Suppose -b - b - h*i + z = 0, -b = 5*i - 23. Is b composite?
True
Suppose -4*a = -9*a + 35. Suppose -n + 7 = k, -k - a = 5*n - 38. Is n/4 + (-367)/(-2) prime?
False
Suppose -c - 40 = -5*c. Suppose c - 2 = -4*g. Is (g/4)/((-1)/14) composite?
False
Suppose 2*u = -0*u + 48. Suppose 3*m = -m + u. Suppose 0 = -x + m*x - 265. Is x prime?
True
Suppose 5*u - 5*g + 720 = 0, u + u - g + 283 = 0. Let w(c) = -c**3 + 6*c**2 - 7*c - 6. Let h be w(6). Let v = h - u. Is v a composite number?
True
Suppose -q = 2*i - 466, -2*q = -4*i + 6*i - 466. Is i a composite number?
False
Is (4 - 3)/((-1)/(-307)) prime?
True
Let l(m) be the third derivative of 3*m**2 + 0*m + 1/2*m**4 + 1/3*m**3 + 0. Is l(2) prime?
False
Let m be 20/4 - (-2)/(-2). Suppose 5*j - 160 = 3*p - 4*p, m*j = 2*p + 142. Is j a composite number?
True
Let u = 58 + 0. Is 10*2/8*u a prime number?
False
Let n(b) = -11*b + 2. Let w be n(-6). Suppose y - 22 - w = 0. Is (2 - 0)/(-2) + y a prime number?
True
Let y(u) = u**2 - 2. Let d be y(-9). Suppose s + 0*s - d = 0. Is s prime?
True
Let f(a) = 31*a**2 - 1. Let h be f(-1). Is (318/9)/(4/h) prime?
False
Let u(g) = g + 10. Let n be u(-7). Suppose p - 3*x = 59, n*p = -3*x + 4*x + 193. Is p prime?
False
Let c(z) = -27*z + 5. Let b be c(-10). Let w = 388 - b. Is w a prime number?
True
Suppose 65 = 4*m + 3*w, 0 = -5*m + 2*w + w + 61. Let g(j) = 30*j - 1. Is g(m) composite?
False
Suppose 0 = 5*s - 2*x - 690 - 983, -2*s + 2*x + 668 = 0. Is s + 0/(1 + 1) a prime number?
False
Let d(k) = -k**3 + 8*k**2 + 2*k - 12. Let l be d(8). Suppose -39 = l*h - 7. Is 8/2*(-238)/h a prime number?
False
Suppose 0 = 2*b - 59 + 1. Suppose -o + 19 = 2*h, 46 = 5*h - 0*o + 4*o. Suppose h = -i + b. Is i composite?
False
Suppose -f + 0*f = 8. Let j = 20 + -18. Let z = j - f. Is z composite?
True
Let q(u) = -u**3 - 2 + 2*u**2 - 2*u - 5*u**3 + u**3 + 0*u**2. Is q(-3) prime?
True
Is (23/(-69))/(1/(-13227)) prime?
True
Suppose -5*s + 4 + 11 = 0. Let x = 8 - s. Suppose -5*h = -z - 33, -4*z - 31 = -4*h + x. Is h a composite number?
True
Suppose 0 = -2*h - 4*s + 518, -5*h + 0*s - 3*s + 1330 = 0. Is h prime?
True
Let x = 23 + -12. Let n be (x - 1)*2/5. Suppose 6*h = n*h + 22. Is h composite?
False
Suppose -4*t = -f + 32, 4*f = -5*t + f - 23. Is ((-7)/t)/(2/182) prime?
False
Let z(a) = -32*a - 2. Let f be z(-8). Suppose 4*x = 1382 + f. Is x a composite number?
False
Let d(s) = -s**3 - 7*s**2 + 2*s + 6. Let i be d(-7). Let y = i - -13. Is 39 - (y + -3 + 0) composite?
False
Let q = -3360 + 6397. Is q prime?
True
Suppose -3*z - 6*s + 5*s + 14354 = 0, 4*s = -z + 4803. Is z composite?
False
Suppose 2*z - 438 = -0*z. Let q = z - -32. Is q composite?
False
Let t(i) = -3*i - 4. Suppose 5 + 0 = -z. Let g be t(z). Is (-8)/2*g