True
Let w(f) = 30*f**2 + 5*f + 4. Is w(-3) composite?
True
Is 23/(4*(-3)/(-60)) composite?
True
Suppose 3*y - 692 + 9342 = 5*i, 2*y = -4*i + 6942. Is i a prime number?
True
Suppose 0 = 4*c - o - 22593, -4*c = 4*o - 15857 - 6711. Is c prime?
True
Let q(g) = 142*g + 3. Is q(1) a composite number?
True
Suppose 0 = 6*g - g. Suppose -k + 0*k + 55 = g. Is k a composite number?
True
Let f(x) = -x**3 - 7*x**2 + x - 10. Let z(d) = -2*d + 9. Let w be z(8). Let l be f(w). Let a = l + 54. Is a composite?
False
Suppose 27 - 22 = -5*r. Let v(l) = -129*l - 2. Is v(r) a composite number?
False
Let v = -13 - -63. Suppose 3*x + 360 - v = 2*i, -x = i - 155. Is i a composite number?
True
Suppose -2*f + 3 = x + 2, x + 13 = 5*f. Suppose 1356 - 320 = f*p. Let k = p + -313. Is k prime?
False
Suppose 4*d + 4*q - 23112 = 0, -2*q + 2 = 4. Is d prime?
True
Let q(v) = 4*v**2 - 2*v + 3. Let g be (0 + 1)*(-5 + 0). Is q(g) a composite number?
False
Is 15/10 - 75/(-6) composite?
True
Is (-293)/1*1/(-1) prime?
True
Let d(u) = -7*u. Suppose 0 = -v + 4. Let q be d(v). Let r = q + 197. Is r composite?
True
Suppose 0 = g - 0*g - 2. Suppose 0*r - g*r = 0, 2*r = 4*h - 976. Is (-1)/4 - h/(-16) a composite number?
True
Let l be (-3)/(-3)*0*1. Let f be -2 + (l - -6)/1. Suppose 24 = f*s - 2*i, 0*s - 13 = -s - 3*i. Is s prime?
True
Let z(b) = -b**3 + 9*b**2 + 11*b - 12. Let n be z(9). Let o = n + -54. Is o composite?
True
Suppose -2*d + r = -2452, -4*d = r + 2*r - 4914. Is d prime?
False
Suppose -6*s + 2*s - 4*i + 1500 = 0, -5*i = -20. Is s composite?
True
Let o(n) = 10*n**2 + 1. Suppose 0 = -y + 2. Suppose -5 = -y*c - 3. Is o(c) prime?
True
Is (-188)/3*27/(-18) a composite number?
True
Let v be (2 + -1)/(7/63). Suppose 110 + v = s. Is s a prime number?
False
Let g(d) = d**3 + 9*d**2 + 7*d + 6. Let i = 30 + -15. Suppose i = -f - 4*l, -f = -4*l - 2 + 1. Is g(f) a prime number?
False
Let m = 10 + -5. Is 7 + 1 + -6 + m prime?
True
Is 813 + (-2 + 4)*-2 a composite number?
False
Suppose 4*f - 3841 + 77 = 0. Is f prime?
True
Let n(p) = 9*p - 1. Let u be n(4). Let c = -14 + u. Suppose f - 5*s = c, -4*f + s + 24 = -2*f. Is f a composite number?
False
Suppose -2*f - r = 3*f - 67, -f = 2*r - 17. Suppose -2*l = -83 + f. Is l prime?
False
Suppose 4*u + 1062 = 3*w, 0*u = -2*w - 3*u + 725. Is w a composite number?
True
Let y = -81 - -208. Is y prime?
True
Suppose 0 = -5*i + 5*f + 45, -4*i = -f - 34 + 13. Let x be (-33 + i/(-2))*-3. Suppose 0*v = 5*v + 4*g - x, -5*g = 0. Is v a prime number?
False
Let i be 21/5 + 4/(-20). Suppose -10 = -4*c + 2*l, i*c - 7 = -l - 0*l. Is (c/(-4) + 1)*12 a composite number?
True
Let b be -2*-89*3/6. Let d = b - 64. Is d composite?
True
Let o(r) = 47*r. Let x(w) = 3*w - 3. Let j(y) = -4*y + 4. Let n(m) = -4*j(m) - 5*x(m). Let a be n(2). Is o(a) prime?
True
Let w = -2 + 5. Suppose 4*b + 2*t - 1094 = 0, -2*b = -0*b + w*t - 545. Is b prime?
False
Suppose x + 0*b + 4*b - 1429 = 0, -5*x - 2*b = -7181. Is x a prime number?
False
Let f(a) = -a + 37. Let l = 4 + -4. Let w be 0 + (-1)/3*l. Is f(w) prime?
True
Suppose 9 = 4*b - 15. Let w be 28/b - (-1)/3. Suppose -5*x + w*z = -180, x + 0*z + 5*z - 42 = 0. Is x prime?
True
Let n(s) = s + 1. Let r be n(-4). Let m(y) = -2 - 22*y + 4*y + 5*y. Is m(r) a composite number?
False
Suppose 4*d - 5*m - 13 = 0, 0 = -3*m + m - 2. Suppose d*t - 240 = -t. Suppose 2*x = -4*f - 3*x + 107, 4*f - 4*x - t = 0. Is f composite?
False
Let r = -72 + 211. Is r composite?
False
Suppose -q - q = -4*n + 3124, -2*n = -4*q - 1562. Is n a composite number?
True
Suppose 55 = 2*r - 43. Suppose 116 + r = 3*u. Is u composite?
True
Let x(z) = z**2 + 5*z + 5. Let h be x(-4). Let s be (2/(-6))/(h/(-669)). Suppose -n + 0*a + 81 = -3*a, -s = -3*n + 4*a. Is n composite?
True
Let y be 4/(-14) + 536/14. Let g = 130 - y. Suppose 3*d = -3*s + 48, 4*s + d = -s + g. Is s composite?
False
Suppose -61 = -4*q + 83. Let y be 1/6 - 78/q. Is (-1 - -143) + 3 + y a composite number?
True
Let j(b) be the third derivative of b**5/15 + b**4/12 + b**3/6 - 2*b**2. Let z be j(-1). Is ((-3)/2)/(z/(-44)) composite?
True
Let c(s) = -s**3 + 3*s**2 + 6*s - 6. Let p be c(4). Let r(f) = f**3 - 4*f + p - 9 - f + 6*f**2. Is r(-6) a composite number?
False
Suppose 0 = 3*u - 45 + 306. Let s = u + 122. Is s prime?
False
Let o be (-2556)/(-10) + (-4)/(-10). Suppose 3*r = 7*j - 3*j - o, -3*j + 4*r + 199 = 0. Let w = -15 + j. Is w prime?
False
Suppose 0 = -5*b + 2*f + f - 2158, 4*f = -4*b - 1720. Let h = b - -164. Is 3/(18/h)*-2 a prime number?
True
Let k(q) = -69*q**3 - 2*q**2 - q - 5. Is k(-2) a composite number?
False
Let l(a) = a**3 - 6*a**2 + 6*a - 2. Let w be l(5). Suppose t + 12 = w*t. Is (92/t)/(6/9) a composite number?
False
Suppose -2 = 5*m - 7. Let x(b) = 55*b**2. Is x(m) a composite number?
True
Let c(y) = 2*y**2 - 16*y - 13. Is c(12) prime?
True
Let w(h) = -4 + 0*h - h**2 + 6*h - 1 + 3*h. Is w(5) composite?
True
Let f(s) = s**2 - s + 10. Suppose 0 = 4*r - 8. Suppose 2*n - 10 = -2*b, 5*b - r*n = 2*n - 20. Is f(b) a composite number?
True
Is ((-2)/(-3) - (-20062)/21) + 2 composite?
True
Let b = -686 + 1525. Is b a composite number?
False
Let s be ((-4)/(-12))/((-1)/(-27)). Suppose 0 = -4*v - 3*x + s, -4*v + 4 = x + 1. Suppose v = 4*k - 706 + 134. Is k a composite number?
True
Let t(d) = -d**3 - d**2 + d + 53. Let l be t(0). Suppose m = -m + 2*z + 48, 3*z + l = 2*m. Is m a prime number?
True
Let l(c) = -6*c**3 - 2*c**2 + 2*c + 1. Let h be l(-3). Suppose 3*z - 2*z - h = 0. Is z prime?
True
Suppose 3*u + u = 5*v + 2, 0 = v - 3*u + 7. Suppose -402 - 124 = -v*o. Is o a prime number?
True
Let l(t) = -t - 4*t**2 + 0*t + 1 - 4*t**3 - 6*t**3 + 2*t**3. Let c(n) = -23*n**3 - 11*n**2 - 3*n + 3. Let a(x) = 4*c(x) - 11*l(x). Is a(-2) composite?
True
Let n(b) = -b. Let u be n(-1). Is 1 - u/(2/(-72)) a prime number?
True
Let j(b) = -120*b + 5. Let x be j(-4). Let t = -198 + x. Is t composite?
True
Suppose 4*u - u - 1153 = -4*a, 2*a = -4*u + 574. Is a prime?
False
Let a be (-10)/(1 - (-14)/(-10)). Let m = 80 + -75. Suppose 19 + 4 = 2*i - v, i - a = m*v. Is i prime?
False
Let d(x) = 6*x**2 - 2*x + 20. Let l(v) = 5*v**2 - v + 19. Let z(u) = 6*d(u) - 7*l(u). Let b be 78/8 + 2/8. Is z(b) composite?
False
Let o = -368 + 869. Is o prime?
False
Suppose 0*d - 4*d + 2 = 5*b, 12 = 2*b - 4*d. Suppose b*u - a - 506 = 0, 2*u - 2*a = -0*u + 506. Is u composite?
True
Let l = -3 - -6. Suppose l*v + 48 = 3*p, 0 = -2*v - 1 - 1. Let b = 62 - p. Is b prime?
True
Let z be (6/3 + 201)*3. Suppose 0*i = 3*i - z. Is i a composite number?
True
Let d(n) = n**3 - n + 1. Let y be d(1). Is -3*(y - 40/3) prime?
True
Is (-4 - 1)*(-71)/5 prime?
True
Is (25689/21 - 4) + 6/(-21) a composite number?
True
Let r = -570 + 824. Is r a prime number?
False
Let k be -1 - (-1 + 2)*-3. Suppose 2*h + 2*h = 16, k*i - 58 = 4*h. Suppose -v - i = -f, -2*f - f = 5*v - 95. Is f a prime number?
False
Let u(p) be the second derivative of -4*p**3/3 - 9*p**2/2 + 7*p. Is u(-13) a prime number?
False
Let x(p) = -p**3 + 2*p**2 + 5*p - 3. Let w(i) = 2*i**2 + 1. Let y be w(-1). Let g be x(y). Suppose 3*r + 173 = 2*s, 264 = g*s - 2*r - r. Is s a prime number?
False
Let g = 2015 - -138. Is g prime?
True
Let z(n) = n**3 + 21*n**2 + 17*n + 31. Is z(-16) a composite number?
False
Let h = -17 - -13. Is (-2)/h + (-9583)/(-14) composite?
True
Suppose 0*j = 4*j - 20. Suppose 0 = -3*v - y + j + 7, v - 4 = 3*y. Suppose -a + v = 1. Is a a prime number?
True
Let f = 362 - 258. Let a = f - 51. Is a a prime number?
True
Let j = -14 + 8. Let p(b) = -b**3 - 6*b**2 + 2. Let u be p(j). Let w(n) = 3*n**3 + 2*n**2 + n - 1. Is w(u) a prime number?
False
Suppose 0 = -4*a + 2*d + 782, 4*d - 594 = -3*a + 3*d. Let p = a - 388. Let k = p - -274. Is k composite?
False
Let t(h) = h**3 + 6*h - 7. Let p be t(5). Is 2/(-1)*p/(-8) a composite number?
False
Suppose -3*d - 8 = d. Is d*-131*2/4 a prime number?
True
Let o(i) = -101*i + 4. Is o(-11) prime?
False
Suppose 2*z = -8, 5*f - z - 9 = 5. Suppose -w - 57 = -f*w. Is w prime?
False
Let a(q) = q + 10. Let r be a(-5). Let g be (2 - (-24)/(-10))*r. Is 1*g*63/(-6) prime?
False
Let x(v) = -v**2 + 8*v + 3. Let o be x(8). Suppose 4*l - o*g - 205 = 120, -l - 5*g = -64. Is l prime?
True
Suppose 2*k = 2*f + k - 55, 4*f - 4*k - 100 = 0. Is 1*62*15/f a prime 