 -2*m + 3*s + 17632, 12294 + 14167 = 3*m + 2*s. Is m composite?
False
Let t = 498 + -311. Suppose -5*v + 2307 = 4*q, 398 + t = q + 4*v. Is q a composite number?
True
Let x(p) = -2*p**3 - 5*p**2 - 5*p + 7. Suppose r - 15 = 4*r. Is x(r) a prime number?
True
Let j = 79 + -36. Suppose -j = -4*m + 17. Suppose m = 2*r - r. Is r a composite number?
True
Suppose -3*r - 3*i + 2*i = 197, -3*i - 266 = 4*r. Let p = r + 98. Is p a prime number?
False
Suppose -3*y = -5*r + 470, 3*r - y - 480 = -2*r. Is r composite?
False
Is -2 + 1 + -1 + 147 a prime number?
False
Let g(t) = -3*t**2 - 8*t - 9 + 0*t**2 + 2*t**2. Let b be g(-7). Let s = 17 + b. Is s composite?
True
Let x be (-3)/(2 + -5)*-13. Let d = x - -24. Suppose -5*h - d = -346. Is h composite?
False
Let o(m) = -10*m**3 - 31*m**2 - 30*m - 20. Let f = 10 + -17. Let j(d) = -3*d**3 - 10*d**2 - 10*d - 7. Let z(u) = f*j(u) + 2*o(u). Is z(-6) a prime number?
False
Let a be (6/9)/((-1)/12). Let p(l) = l**2 + 10*l + 10. Let u be p(a). Is (0 + (-74)/u)*3 a composite number?
False
Let i = -287 - -594. Is i a prime number?
True
Let d(h) = 33*h**3 - 2*h**2 + 3*h - 3. Let q be d(2). Suppose -3*s + 8*s = -5*k + 1295, 2*k = s - q. Is s a composite number?
True
Is (-13476)/(-24)*(3 - 1) a composite number?
False
Suppose 286 = 2*b - 0*b. Is b prime?
False
Let m = -6 + 9. Suppose -2*g - 434 = -4*j + 3*g, 0 = m*j + 3*g - 312. Is j composite?
True
Let x(u) be the first derivative of -u**2/2 + 13*u + 2. Let v be x(10). Suppose 4*d = -v*h + 463, -d = 6*h - h - 120. Is d a composite number?
True
Let k(p) = 68*p + 1. Let g be (-8)/(-40)*(-1 - -6). Is k(g) a composite number?
True
Suppose -o = -0*o + 2. Let l(r) = r**3 - 5*r**2 - 7*r + 5. Let b be l(6). Is (14 + 5)/(b - o) a composite number?
False
Suppose -10 = -5*t, 0 = -3*p - p - 2*t + 11456. Is p composite?
True
Suppose 2*p + 4*t = 12, -7*p + 3*p = 4*t - 4. Let c = p - -8. Is c*-10*3/(-8) prime?
False
Let y(r) = 59*r**3 - r**2 + 2*r + 1. Is y(2) prime?
False
Let n be 1*(-2 - -3)*15. Suppose 2*t = -5*j + t + n, -5*t = 2*j + 17. Suppose -y - j*y = -255. Is y a composite number?
True
Let v(m) = 2*m**3 + 2*m**2 - 4*m + 2. Suppose 2*g + 9 = 5*r - 4, 0 = 5*g - 3*r + 23. Let w be v(g). Let n = -47 - w. Is n prime?
True
Let n = -182 - -337. Suppose 0 = -5*l + 10 + n. Is l prime?
False
Let u be (-4372)/(-20) + 4/10. Suppose u = d + 4*o, d + 3*o - o = 215. Is d prime?
True
Let g(k) = -3*k**3 - 3*k**2 + 3*k - 1. Let j = -2 - 2. Let h(i) = 2*i**3 + 3*i**2 - 2*i + 2. Let r(x) = j*h(x) - 3*g(x). Is r(6) prime?
True
Let x be -3*(-5)/3 + -2. Suppose 8*h = x*h + 65. Let d = h + -3. Is d a prime number?
False
Suppose -28 = -4*p - 0*p. Let d = p + -4. Suppose 5 = -4*i - m + 22, 0 = 3*m - d. Is i a prime number?
False
Suppose 764 = 4*u - 14936. Suppose 5*h = -4*l + 3943, 4*h - 5*l - u = -h. Is h prime?
True
Suppose 0 = -5*w + 4*m + 178 - 15, -4*w - 5*m = -114. Is w a composite number?
False
Let a be (-1)/((-1)/2 + 0). Suppose -a*x = -0*x. Suppose x*i = i - 23. Is i composite?
False
Suppose 10*q - 5274 - 3016 = 0. Is q a composite number?
False
Let v = -2 + -4. Suppose -90 = 7*a + 29. Let f = v - a. Is f composite?
False
Suppose -6*x + 14 = -4*x. Suppose h - 2*u = 31, 5*h + x*u - 168 = 4*u. Suppose -5*v + h = -62. Is v a composite number?
False
Let a(g) = 3*g**3 - 2*g**2 - 3*g - 1. Let o be a(3). Let u = o + -19. Is u composite?
True
Suppose -w + 8 = w. Suppose -4*m - 2*n = -636, 5*m - w*n - 697 - 72 = 0. Is m a prime number?
True
Let l be 4/6 + (-448)/6. Let t = 151 + l. Is t prime?
False
Let l = -10 - -13. Suppose 4*t = 5*n + 63, -n + 0*n + 71 = l*t. Is t composite?
True
Let g be ((-3)/(-2))/((-15)/(-1060)). Suppose 3*i - g = i. Is i a composite number?
False
Let g = 18 + 208. Suppose -n - 4*f + 66 = -2*f, -3*n + f = -g. Is n prime?
False
Let q be 1/((-21)/12 + 2). Suppose q*i + 70 - 18 = 0. Is 2/(2/2) - i composite?
True
Suppose -1594 + 542 = -2*w. Is w a prime number?
False
Suppose 1160 = 3*i + 2*i - 5*c, 0 = 5*i + 2*c - 1174. Suppose -5*t + t = 2*b - i, -5*t = 15. Is b/4 + (-2)/(-8) a composite number?
False
Suppose 0 = 3*x + 4 + 8. Let t = x + 26. Is t a composite number?
True
Suppose 0 = -5*y - 15 + 45. Let i = 2 + y. Suppose -210 = -i*b + 3*b - 5*d, 4*d = -b + 57. Is b a prime number?
True
Let y(g) = 10*g + 19. Is y(6) composite?
False
Let b(g) = 45*g**2 + g - 1. Let j be b(1). Let i = j - 31. Is i a composite number?
True
Suppose 3*u - i = 2797, -u + 50 + 881 = -i. Is u composite?
True
Let y(h) = -236*h - 23. Is y(-4) prime?
False
Let f be 894 - 1 - (11 + -11). Let x = 1450 - f. Is x prime?
True
Is 3/1 + 140 + 0 a prime number?
False
Let i(a) = -1. Let l(b) = -73*b - 6. Let o(v) = -2*i(v) + l(v). Is o(-3) a prime number?
False
Let y(c) = 61*c**2 - 14*c - 10. Is y(-7) prime?
False
Let j be 2/(-4)*(2 + -6). Suppose -b - 3*v + v = -165, 2*b - 300 = j*v. Is b composite?
True
Let m = -601 + 908. Is m composite?
False
Suppose -3*s + 50 + 154 = 0. Let a = 109 - s. Suppose 3*h = m - a, 0 = -m - h - 0*h + 57. Is m composite?
False
Let p(f) = f**2 + f + 7. Let x be ((-6)/7)/((-4)/(-28)). Let l(k) = k + 6. Let y be l(x). Is p(y) a prime number?
True
Suppose -r - 27 = -4*i, 4*i + 4*r - 7 = 5. Suppose -i*x = -x - 425. Is x a composite number?
True
Suppose 5*l - 1488 = 3*l. Suppose -2*j - l = -2*q, q - 3*j + 129 = 503. Is q a composite number?
True
Let n(x) = -3*x - 1. Let h(d) = 3*d + 2. Let l(s) = s - 4. Let t be l(8). Let w(g) = t*h(g) + 5*n(g). Is w(-4) prime?
False
Let t(d) = d**3 + 11*d**2 + 11*d - 10. Let a(f) = f**3 - 2*f**2 - 5*f - 5. Let x be a(5). Suppose 0*j - x = 5*j. Is t(j) prime?
True
Let c be (-24)/(-9) - 2/3. Suppose 4*p - 3*p - 3 = -c*g, -5*g = -2*p - 30. Suppose g*w - 21 = 3*w. Is w prime?
False
Let d be (2 - -2)*(15 + -5). Let o = 193 + d. Is o a composite number?
False
Suppose -a - 4 = -5*a. Suppose -a + 16 = 5*u. Suppose 92 = 7*y - u*y. Is y composite?
False
Let a(g) = -13*g - 11. Is a(-18) a prime number?
True
Suppose 0 = 2*t - 3*t + 5*y + 487, -2*y + 974 = 2*t. Is t composite?
False
Suppose 0*x + 6*x - 54 = 0. Let i = 4 - 2. Suppose -5*y = 5*p - 630, -i*p + x*y + 259 = 4*y. Is p prime?
True
Let d = -2 + -4. Let k(i) = -19*i + 4. Is k(d) prime?
False
Let b = 847 - 487. Suppose -4*r + 128 = -3*s - b, s - 591 = -5*r. Suppose -36 = -c - 3*h, -4*h + 14 = 3*c - r. Is c composite?
True
Let v = 5 - 7. Let c be (2/(-4))/((-1)/(-2)). Is c*(-77)/(-2)*v prime?
False
Let v = -4 + 4. Suppose v = 3*n + 10 - 271. Is n prime?
False
Let m(c) = -51*c - 13. Is m(-6) a composite number?
False
Let w(t) = -2*t**3 - 2*t**2 - 10*t - 9. Is w(-7) prime?
False
Let a(p) = 22*p**2 + p - 4. Let b = -16 + 13. Is a(b) prime?
True
Suppose 1607 = u + 4*u - 3*s, -319 = -u + 3*s. Suppose -2*n + 0*n + u = 0. Is n prime?
False
Let q = 7 + -15. Let u(s) = s**3 + 10*s**2 + s + 7. Is u(q) a composite number?
False
Suppose 3*w = -2*u + 78, -4*w + 7*w + 4*u = 78. Is w a prime number?
False
Let d(c) = c + 6*c + c**2 - 2*c - 2*c - 1. Is d(-4) composite?
False
Let g(c) = -c - 1. Let b(o) = -22*o + 9. Let f(u) = b(u) + 4*g(u). Is f(-10) a prime number?
False
Let s(j) = -j + 6. Let f be s(6). Suppose 5*p - 24 - 206 = f. Is p a prime number?
False
Suppose 2*g = -44 - 12. Let y be (-6)/21 + (-8)/g. Suppose -5*o + y*o = -15, 0 = -3*d - o + 360. Is d prime?
False
Let h be -8 + 7 + (-1 - -2). Suppose h = 5*s - y - 15, -3*y = -3*s - 2*y + 11. Is s a composite number?
False
Let h(d) = 8*d**2 + 2*d + 3. Suppose -t - 1 = -6. Let s = t + -7. Is h(s) a composite number?
False
Suppose 5*k + 34 = 9. Let t = k - -15. Let y = t + 43. Is y a composite number?
False
Let i(d) = -7*d + 4 - 3*d - 4*d**2 + 5*d**2. Is i(13) a prime number?
True
Let m be 0 + -2 - (1 + -5). Suppose -m*t + 24 = 4*u, 4*t - 1 - 12 = -u. Suppose 0 = -c + 2*v + 5 + 26, u*c = -4*v + 183. Is c a composite number?
True
Let j be (12/(-30))/(2/(-20)). Suppose 0*h = 3*h + k - 635, j*k - 1063 = -5*h. Is h a prime number?
True
Suppose -2*v = -2*f - 24, 0 = 4*v - v - 2*f - 33. Suppose 4*u - u - 5*y - v = 0, 12 = 4*u + 5*y. Suppose 2*l + 4*b = 98, u*b = 3*l + 2*l - 297. Is l composite?
True
Let b(q) = 206*q**2. Let u be b(-1). Is u/1 - (0 + 3) prime?
False
Let s(v) = 9*v - 22. Is s(9) prime?
True
Let c(j) = 2*j**3 - 9*j**2 - 5*j - 23. Is c(7) a composite number?
True
Is (143