- 3*b**2 - 2. Is t(-6) composite?
True
Suppose -y + 4*c = -0*c + 45, -3*y + 3*c - 90 = 0. Let f = 26 - y. Is f a composite number?
True
Let v(n) = 2*n**2 + 5*n - 10. Let o(d) = -2*d**2 - 6*d + 11. Let x(j) = 3*o(j) + 4*v(j). Is x(-6) a prime number?
True
Suppose 0 = 5*h - 7589 - 5016. Is h a prime number?
True
Let l = -3 + -1. Let n = -1 - l. Is n a composite number?
False
Let k(n) = -4*n - 1. Let r = 9 + -14. Let j(b) = -b. Let i(u) = r*j(u) - k(u). Is i(6) composite?
True
Let n(m) = 2*m**2 + 4*m + 2. Let y be n(4). Suppose 0 = l + 13 - y. Is l prime?
True
Is (-2 - -4) + 1061 + -2 a prime number?
True
Let d = 2 + 0. Suppose 5*q - 15 = d*q. Suppose -4*l - n + 55 = -72, q*l - 164 = -3*n. Is l composite?
False
Let a(o) = o**3 - 4*o**2 - 3*o. Is a(5) a composite number?
True
Is (8417/57)/((1 - -1)/6) a prime number?
True
Let j = 0 - -2. Let v be (-2)/6 + (-580)/(-12). Suppose 4*u - 2*x - v = -0*u, -j*u = 4*x - 34. Is u a composite number?
False
Let j(k) be the first derivative of 2*k**3/3 - 3*k**2/2 + 2*k - 5. Is j(11) composite?
False
Let k(b) = b**2 + 6*b - 8 + 8 - 5*b**2 + b**3. Is k(5) prime?
False
Let x = 100 + -15. Is x a prime number?
False
Let c be 7/7*(475 - -1). Suppose 0 = -4*s - 0*s + c. Is s prime?
False
Let n(t) = t**2 - 6*t + 2. Let z be n(6). Let f = 1 + z. Is (76 - -2)*1/f a prime number?
False
Let l(b) = b**3 - 5*b**2 + 3*b + 4. Suppose 8 = -2*m + 18. Is l(m) composite?
False
Let f(q) be the second derivative of -q**5/20 - q**4 - 5*q**3/3 - 11*q**2/2 + 2*q. Is f(-12) prime?
True
Let h(d) = 56*d - 7. Let p = 6 - 0. Is h(p) composite?
True
Let o(b) = -20*b + 5. Suppose -5*m + 1 + 4 = 0. Let y be m*(0 + -1) + -3. Is o(y) prime?
False
Let v = 9 - 6. Suppose 4*i - 5*b + 1 = 0, v*b = -2*i + 5 + 22. Is i a prime number?
False
Let z = 284 + -53. Suppose 3*m = 2*u - z - 17, 0 = -u + m + 123. Suppose 0 = r + u - 450. Is r a composite number?
True
Suppose 3*d = -3*b + 24, -b = -d - 2*d + 16. Is 4/8 - (-15)/d a prime number?
True
Suppose p - 4*p + 1449 = 4*i, 2*i = -5*p + 735. Suppose 10*n = 5*g + 5*n - i, -315 = -5*g - 4*n. Is g a prime number?
True
Let n(c) = c**2 - c + 3. Let h be n(0). Let v(u) = 17*u**2 + 2*u - 3. Let z be v(h). Is z + 2/4*2 a composite number?
False
Let j(r) = r + 8. Is j(13) a composite number?
True
Let s(g) be the third derivative of -g**6/120 - g**5/12 - 7*g**4/24 - g**3 + g**2. Suppose 0 = 2*l - 6, -l + 7 = -3*h - 8. Is s(h) a composite number?
True
Suppose 3*h + 1024 = -3*z + 4*z, -4*z - 5*h + 4113 = 0. Is z prime?
False
Suppose 4*p + 16239 = 4*a + a, 2*a - 6486 = 4*p. Is a a composite number?
False
Let p = 276 - 93. Let o = p + -94. Is o a prime number?
True
Let m = -85 + 58. Let y = m + 50. Is y composite?
False
Let b(n) = 118*n + 17. Is b(11) composite?
True
Suppose 0 = -2*n + 129 + 275. Is n a prime number?
False
Suppose 4*r = 2*r + 4. Suppose 4*g + 2*m = 134, -r*m - 125 = -4*g - 7*m. Is g prime?
False
Suppose 0 = 5*c + y - 4*y - 40, 16 = 2*c + 5*y. Let m = 13 - c. Suppose -m*g + 10*g - 295 = 0. Is g prime?
True
Let p = 358 - 180. Suppose 0 = 2*j - p + 12. Is j a prime number?
True
Let w(l) = 75*l - 13. Is w(8) composite?
False
Let y(f) = f**2 + 2*f - 2. Let u be y(-2). Let m(g) = 2*g + 1. Let c be m(u). Is (-22)/3*(c + 0) composite?
True
Suppose 14*p = 4*p + 7910. Is p prime?
False
Let h = 14 - 10. Suppose -5*p - 2*d + 3151 = -h*d, 2*d - 4 = 0. Is p prime?
True
Let d(n) be the second derivative of -n**5/20 + 5*n**4/12 - n**2/2 - n. Let c be 1 - 1 - (-3 - -1). Is d(c) a composite number?
False
Let a = -62 - -49. Suppose -5*o + 268 + 12 = 0. Let u = o - a. Is u a prime number?
False
Let j(s) = 31*s**2 + 4*s. Is j(-5) prime?
False
Suppose -5*x - 6 - 28 = -n, -5*x - 40 = 5*n. Let y(p) = p**3 + 7*p**2 + p + 10. Let h be y(x). Suppose -24 = -h*q + 117. Is q a composite number?
False
Suppose -4*l - j + 24 = 0, 13 = l + 4*l - 3*j. Let r = l + -3. Suppose 0*g + r*g = 66. Is g a composite number?
True
Suppose o - 2*o = -157. Is o composite?
False
Let v(x) = -x**3 + 5*x**2 - 3*x + 1. Let b be v(-5). Suppose -4*z - n + 1121 - b = 0, z - 200 = -3*n. Is z a prime number?
False
Let s(u) = -36*u - 3. Let a be s(-2). Suppose -a = -3*j + 3*c, 5*j + 21 = 4*c + 134. Is j a composite number?
True
Suppose -3*c - 5 = 2*m, -4*c + c - 35 = -4*m. Suppose 5 = -5*q + m*j, 2*j - 5 = 2*q - q. Suppose 4*d - 705 = -5*r + 2*d, -q*r = -5*d - 454. Is r prime?
False
Let y = 1474 - -695. Suppose 6*h - y = 2*h + i, 3*h - i - 1628 = 0. Is h prime?
True
Suppose -4*t + 187 = -3*t. Is t a prime number?
False
Suppose -9*a + 4*a = -6995. Is a composite?
False
Suppose 2*w = -5*s + 29, w = -s + 3*s - 8. Suppose -c = -s*c + 268. Is c composite?
False
Suppose -6092 + 833 = -3*k. Is k a composite number?
False
Let h(w) = -2*w + 4*w**2 + 1 + 0 - 2*w. Let y be h(-6). Suppose 4*g - 147 - y = 0. Is g composite?
False
Suppose 0*d + 4*d = 0. Suppose 4*o - 2 - 2 = d. Is 1/((1/19)/o) a composite number?
False
Let d = -1021 + 2076. Is d a composite number?
True
Suppose -1455 = 92*s - 97*s. Is s a prime number?
False
Let c be 37/7 + (-18)/63. Let l = 40 - c. Is l prime?
False
Let o(v) be the first derivative of v**4 + v**3/3 - v**2/2 - 5*v + 3. Is o(4) a prime number?
True
Suppose 0 = 2*x + 3*w - 1156, -2*x - 3*w = 2*w - 1160. Let k = -180 + x. Is k composite?
True
Let k be (-6)/9 + (-164)/(-3). Suppose 0 = 3*w - k - 237. Is w composite?
False
Let b be (-66)/(-154) + (-186)/(-7). Let y be 2/(-2)*14/(-1). Let v = b - y. Is v a prime number?
True
Let r(j) = -18*j - 1. Let l(v) = -4 + 2 + 6 + 5 - 2*v. Let m be l(6). Is r(m) prime?
True
Let r be (-16 - -21)*(-2)/(-10). Is 5/((3/291)/r) a prime number?
False
Let l(i) = i**2 + i + 90. Let n be l(0). Let t(v) = 4*v**2 - 7*v - 2. Let k be t(7). Let h = k - n. Is h composite?
True
Let a(t) = -t**3 - 6*t**2 - 13*t + 1. Is a(-8) a prime number?
True
Suppose -b = 4*m + 4, 3*b = 3*m - 35 - 7. Let v be b/(-16)*4/1. Suppose 4*r + 3*s - 150 = 65, 0 = -v*r - s + 160. Is r a composite number?
False
Let d be (-36)/(-2)*6/4. Suppose 0 = k + 3, -r + 2*k - d - 132 = 0. Let h = -112 - r. Is h a composite number?
False
Suppose 4*z = 2*a + 4554, a - 3396 = -3*z - 4*a. Is z a composite number?
True
Let t(b) = -85*b + 1. Let n be t(1). Let g = n - -177. Is g composite?
True
Let o(a) = 385*a**2 + a + 2. Is o(-1) prime?
False
Let t(v) = -v**3 - 4*v**2 + 2*v - 2. Suppose -n + 3*c + 5 = 0, c - 43 + 2 = -5*n. Let y(q) = -q + 3. Let g be y(n). Is t(g) composite?
False
Let m be 6/2 - (0 + -713). Suppose 4*p - m = 168. Is p prime?
False
Let c(v) be the second derivative of v**7/840 - v**6/360 + v**4/24 + v**3/3 + 2*v. Let h(g) be the second derivative of c(g). Is h(4) composite?
True
Let k = 408 + -73. Is k a prime number?
False
Let v(n) = n**2 - 6*n - 5. Let y be v(7). Suppose 0 = -y*s - t + 660, 2*s + 243 - 895 = 3*t. Is s composite?
True
Let o(j) = 119*j - 12. Let a be o(8). Suppose -5*h + a - 45 = 0. Is h a composite number?
False
Suppose -p - 4 = 4*h - 23, -3*h + 9 = -p. Suppose -h*o + 123 = -353. Is o a composite number?
True
Suppose -29*r = -25*r - 2532. Is r a composite number?
True
Let w = 139 - -72. Is w a prime number?
True
Let r(s) = 2*s**2 - 6*s + 4. Let v(q) = -q**2 + 5*q - 3. Let c(h) = 2*r(h) + 3*v(h). Is c(6) a composite number?
False
Suppose 4*d + 3*h - 11 = 0, h = -2 + 7. Is (130 + 0)*d/(-2) a prime number?
False
Suppose -3*n + 2*c = -2011, 2*c - 677 = -n + 4*c. Is n a prime number?
False
Let n = -36 + 107. Suppose -5*b + q + 470 = 91, 0 = -b + 5*q + n. Suppose 3*k - 191 - b = 0. Is k a prime number?
True
Let i(o) = -o + 8. Let k be i(6). Suppose 2*p + 439 = 5*w, -5*w + 442 = -3*p + k*p. Is w prime?
True
Let c(m) = 9*m + 1. Suppose -2*r + 7 + 1 = 0. Suppose r*j + 10 = 34. Is c(j) a prime number?
False
Suppose x = -4*x + 10. Suppose 3*q = -x*q + 185. Is q a prime number?
True
Suppose 0 = -s + 4*s. Suppose 5*l - 4 - 6 = s. Suppose -1 = -i + 3*k - 5, 3*k - 2 = l*i. Is i composite?
False
Let h(a) = 200*a - 127. Is h(6) a prime number?
False
Let g(a) = 101*a + 4. Let o be g(10). Suppose 3*y = o + 123. Is y a prime number?
True
Let x(s) = -s + 19. Let h = 3 + -3. Is x(h) prime?
True
Suppose -4*m = -0*m. Suppose -3 = h - 5*v - 5, m = -h - 4*v + 2. Suppose 5 = h*o - 65. Is o composite?
True
Suppose 4*a - 705 = 619. Is a a composite nu