
Suppose -12 = -2*x + 4*r, -3*r + 2*r = -4*x + 24. Suppose 2*c = -5*l + 51, 0 = -x*c + 3*c - 2*l + 71. Is c prime?
True
Let s = 269 + -160. Is s a prime number?
True
Suppose 0 = 3*u + 430 - 2089. Is u a prime number?
False
Let w = 13 - -7. Suppose c - 49 = w. Is c a composite number?
True
Let h = 22 - 16. Let o(v) = v**3 - 4*v**2 - v - 1. Is o(h) a composite number?
True
Let s(g) be the second derivative of -g**4/12 - 10*g**3/3 - 2*g**2 - 2*g. Is s(-9) prime?
False
Suppose 7*g = 3*g. Suppose o - 2 - 1 = g. Suppose -342 = -3*f - 0*w + o*w, 0 = -5*f + 3*w + 580. Is f prime?
False
Let d = -3 - -4. Let k = d - 1. Suppose k = -a + 3*a - 178. Is a a composite number?
False
Let r(t) = 2*t + 22*t**2 - 3*t - 4 + 2*t + 0. Is r(-3) prime?
True
Suppose 3*o - 6*o = -2253. Is o a composite number?
False
Let j be -1*(-3 - -2)/(-1). Let l(b) = 4*b + 3. Let d(v) = -v - 1. Let m(s) = j*l(s) + d(s). Is m(-5) a composite number?
True
Let d be (-1 + -3 - 0)*6. Let m = -14 - d. Suppose 2*r - 4*u + 3 - 15 = 0, -m = -r + u. Is r composite?
True
Suppose 5*h - 2*u - 10 = -4*u, -4*h - 25 = -5*u. Suppose h = g + 4*g - 895. Is g composite?
False
Suppose 157 = h + 382. Let r = h + 320. Is r a composite number?
True
Let t(d) = d**2 - 8*d - 13. Let u be t(9). Let v(f) = -4*f**2 - 2 + 6*f**2 + 5*f + 0*f**2. Is v(u) prime?
False
Let t = -17 - -9. Let u be (68/t)/((-2)/116). Suppose -2*v + 2*k - u = -7*v, 0 = v - 5*k - 77. Is v composite?
False
Suppose -h + 4*q = -727 - 107, 0 = -2*h + 4*q + 1672. Is h composite?
True
Suppose 4*d - 16 - 12 = 0. Suppose 4*u - 1 - d = 0. Is (-3 + u)/(1/(-11)) prime?
True
Suppose 2*c - 10 = -2. Suppose 3*f - 27 = -5*v, c*f = -3*v + 6*v - 22. Is v prime?
False
Let w(i) = -i - i + 3*i + i. Let j be w(-1). Is (-8 - -1)/(j/38) composite?
True
Suppose -l = -0*l. Let n = 3 + l. Suppose -q = -2*i - n*q + 26, i = q + 15. Is i a prime number?
False
Let k = 17 - 15. Suppose 0 = k*r - 5*r + 222. Is r composite?
True
Let r = -6 - -9. Let w(g) = g + r + 0*g + g. Is w(4) a composite number?
False
Suppose -5*n + 1165 = -2*p, 4*p - 965 = -4*n - p. Is n a prime number?
False
Let n be (-148)/(-18) + 14/(-63). Suppose 7 + n = 5*u. Is u a prime number?
True
Let l = 227 - -5970. Is l composite?
False
Suppose -4*m = -9068 - 4224. Is m prime?
True
Let s(f) = -96*f**3 + 5*f**2 + f + 1. Let m(d) = 96*d**3 - 6*d**2 - d - 1. Let z(y) = 4*m(y) + 5*s(y). Is z(-1) a prime number?
True
Suppose s = -3*t + 56, 0 = -3*s + t + 2*t + 168. Let v = -25 + s. Is v composite?
False
Let j = -5 + 2. Let y = j + 4. Suppose b + y = -4*l - 0, 2*b - 5*l = 63. Is b prime?
True
Suppose 7*m = 4*m. Let g = 1 - m. Let q = 24 - g. Is q composite?
False
Suppose 2*f - 292 = l, 2*f + 2*l - 168 - 124 = 0. Suppose 8 = 4*o, 0 = -3*v - 5*o + 8 + f. Suppose -5*w + 533 = v. Is w prime?
True
Suppose 0 = 4*z - 2*y - 4, -4*z + z - y + 8 = 0. Is (4/(-4))/(z/(-42)) a prime number?
False
Suppose 2*l = -2*n - 40 + 1594, -2*l - 3913 = -5*n. Is n a composite number?
True
Let i = 64 + -41. Is i prime?
True
Suppose -2*x - x + 1314 = 0. Let b = x - 283. Is b a prime number?
False
Let f = -39 - -508. Is f prime?
False
Let r = 259 - -294. Is r a composite number?
True
Suppose -4*a + 505 = -99. Let l = 300 - a. Is l a prime number?
True
Let z = 154 - 80. Is z a prime number?
False
Let x(q) = -7*q**2 - 8*q - 7. Let j(v) = 3*v**2 + 4*v + 4. Let w(s) = -9*j(s) - 4*x(s). Is w(7) a prime number?
True
Suppose 0 = 5*d + 1087 + 2753. Is 1/5 - d/10 a prime number?
False
Let j = -10 - -7. Is (-3)/(j*2/124) a prime number?
False
Let j(m) = -2*m**3 + 4*m**2 + 5*m + 4. Let k be 4/(24/9)*-2. Let a(b) = -b**3 + 5*b**2 + 6*b + 3. Let i(g) = k*a(g) + 2*j(g). Is i(-6) a prime number?
True
Is 49 + (-4 + 6)*2 a composite number?
False
Suppose 2*n + j = 472, 4*n = n + j + 713. Is n a composite number?
True
Let y = -3 - 1. Let a = 8 + y. Suppose 119 = a*k - 5. Is k composite?
False
Suppose -3*p - 730 = -5*r + 1860, 0 = -4*p + 20. Is r composite?
False
Let t be 2/3*3 + 2. Suppose 5*j - 2369 = t*p + 4446, -5*j - 6825 = 4*p. Is (-2)/(-7) - p/35 a composite number?
True
Let x = 677 + -327. Suppose 3*a = x - 77. Is a a composite number?
True
Let v = 23 - -126. Is v a prime number?
True
Suppose -3*c + 2*a = 4*a - 2, -5*c = -2*a - 14. Let d(p) = 25*p**3 + 7*p**c + 0*p - 1 - 6*p**2 + p. Is d(2) a composite number?
True
Let g = -16 - -7. Let s(f) = 7*f**3 + 16*f**2 - 14*f - 6. Let i(n) = -4*n**3 - 8*n**2 + 7*n + 3. Let u(x) = -5*i(x) - 3*s(x). Is u(g) a prime number?
False
Let x = -20 - -12. Let s be (-4)/14 + x/(-28). Suppose -j - 2 + 33 = s. Is j composite?
False
Is 2899 - 0 - (0 + 6) prime?
False
Suppose 142 = -4*a - 22. Suppose 6*t - 3*t = 234. Let h = t - a. Is h a composite number?
True
Suppose 0 = 5*u - 5*d - 4390, 2*u + 0*d = -2*d + 1752. Is u prime?
True
Suppose -5*l + 3*d = 1503, 5*d = -l - l - 626. Let a = l + 179. Is (0 - -1)/((-4)/a) prime?
True
Let q = -14 + 23. Let m(l) = -l + 13. Let x be m(q). Suppose -x*d = -3*d - 55. Is d composite?
True
Suppose 2*g - 4*g = -10. Let q(w) be the first derivative of w**4/4 - w**3/3 + w**2 + 5*w - 2. Is q(g) composite?
True
Let b(r) = 16*r - 2 + 39*r + 3. Is b(2) a composite number?
True
Suppose 0 = -2*x + 4*p + 5142, -4*x = -x - p - 7733. Is x prime?
True
Suppose -3*v + 75 = -4*v. Let p(j) = -j**3 + j - 14. Let i be p(-4). Let y = i - v. Is y a composite number?
True
Let i(o) = 10*o**2 - 12*o + 7. Is i(9) composite?
False
Suppose -2 = 3*s + 16. Let z = -2 - s. Is 21 - 3 - (1 - z) a composite number?
True
Suppose -5*t = -4*t + 10. Let z = 17 + t. Let d = 13 - z. Is d a prime number?
False
Let y(s) = -s**2 - 1. Let r be y(1). Is (141/9)/(r/(-6)) a composite number?
False
Let h = -8 + 8. Let x be 5 - (3 + h) - 1. Suppose t = o + 113, o = 1 + x. Is t a prime number?
False
Let r be 2/((-3)/(1 - -2)). Let d be (-27)/12 + r/(-8). Is ((-83)/(-3))/(d/(-6)) a prime number?
True
Let s(y) = 210*y**2 - 2*y - 1. Let f be (-7)/((-1)/2*2). Suppose 5*k = 2 - f. Is s(k) a composite number?
False
Let v(s) = -s**3 + 6*s**2 + 8*s - 5. Let h(c) = -7*c - 1. Let u be h(-1). Is v(u) composite?
False
Suppose -7*t = 2*j - 2*t + 17, -2 = 2*j + 2*t. Let b(m) = 2*m + 4*m**2 - 5*m**2 + 2*m**2 - 3. Is b(j) composite?
True
Let c = 14004 + -5503. Is c a prime number?
True
Let h = 3 - 4. Is 77 + 1 + (h - -2) composite?
False
Suppose -2*v + 1 - 3 = -2*g, 0 = 4*g - v - 10. Suppose 2*n = -g*x + n + 114, -4*n = x - 27. Is x a composite number?
True
Let y = 6 - -3. Let k = 28 + y. Is k a prime number?
True
Let d(f) = f**2 - 4*f + 1. Let j be d(-4). Let n = j + 52. Is n a composite number?
True
Suppose -1 = 5*s + 3*h, -15 + 6 = -5*s + 2*h. Suppose -104 = -5*i + s. Is i a composite number?
True
Let s = -287 - -540. Is s prime?
False
Let o be -2*(-3 - (-39)/6). Let h(r) = -19*r - 10. Is h(o) a prime number?
False
Suppose -u = -5*u + 16. Suppose -u*l + 2*o + 212 = 0, o = -3*o - 16. Is l prime?
False
Suppose 5*f - 4*k - 16 = f, 0 = -5*f - 3*k + 52. Let d = f - 2. Is -2*3/d - -204 prime?
False
Let l(o) = o**3 - o**2 - 3*o + 1. Let y(v) = -v**3. Let z(m) = -l(m) + y(m). Suppose -67 + 76 = -3*i. Is z(i) a prime number?
True
Suppose 0 = -5*f - 10, 6 = -0*w - 2*w + 4*f. Let o(q) = 16*q - 3. Let m be o(w). Let a = -82 - m. Is a prime?
False
Suppose -3*f + 3 = 0, -3*n + 5*f + 10 = 3*f. Suppose 0 = n*c - 98 - 114. Suppose -2*u + 6*u - 5*p = c, 4*p = 4*u - 48. Is u prime?
True
Let f = -8 + 8. Suppose f = -0*q + 5*q - 10. Suppose -46 = -q*t + 232. Is t a prime number?
True
Let n = 2 - -2. Suppose -520 = -2*t + k, 2*t - 138 - 372 = -n*k. Is t composite?
True
Let t(b) = 7*b**2 + b + 5. Let a be 1/(0 - (-3)/(-18)). Let l(o) = -o**3 - 6*o**2 - o - 4. Let c(f) = a*l(f) - 5*t(f). Is c(1) a composite number?
False
Let j = -7 + 11. Suppose -j*q + 32 = -5*t, q - 5*t - 8 = 15. Suppose 0*f = 4*f - 16, -5*f = -q*n + 343. Is n composite?
True
Suppose 4*p - 8270 = -1642. Is p prime?
True
Let b = -4 - -14. Is b composite?
True
Let a = -6295 + 9836. Is a prime?
True
Let q be 32/(-20)*30/(-4). Suppose -3*p + 4*d + q = 0, 3*p + 16 = 7*p + d. Suppose p*c - 118 = 3*x, c - 3*x - 2*x - 21 = 0. Is c prime?
True
Let m(f) = 2*f**2 - 5*f + 1. Let r(o) = 5*o**3 - o. Let p be r(1). Is m(p) composite?
False
Suppose b = -2*b. Suppose -4*i - 4*u = -836, -5*u = -b*u. Is i composite?
