). Let m(q) = 2*q**2 - 12*q + 3. Is m(h) composite?
True
Let r = -5 + 6. Is r/((-3)/(-183)) + -2 a composite number?
False
Suppose 3*n - 99 = 12. Is n composite?
False
Let y(v) = 68*v**2 + 3*v + 2. Is y(3) a composite number?
True
Let w(v) = v**2 + v. Let t(k) = -k**2 - k. Let z(c) = -19*c**2 - 8*c + 5. Let o(d) = -4*t(d) + z(d). Let q(b) = -o(b) - 6*w(b). Is q(4) prime?
True
Let m(x) = -x**3 - 5*x**2 + x + 7. Let c be m(-5). Suppose -r - 4*r + 2*p = -727, -c*p - 147 = -r. Is r composite?
True
Suppose 5*q - q - 148 = 0. Suppose -5*k + q = 2*t - 292, 0 = -4*k - 5*t + 253. Is k a prime number?
True
Let a(p) = p**3 + 7*p**2 + 6*p + 6. Is a(-5) prime?
False
Let j(b) = 22*b**2 - b - 1. Let l be -2 + 2 - (-1 + 2). Is j(l) a prime number?
False
Suppose 3*p - 151 = 302. Suppose 2*u + p = -25. Let t = 3 - u. Is t composite?
True
Let t be -1 + 81/(-6)*-30. Let j be 6081/27 + 6/(-27). Let r = t - j. Is r composite?
False
Suppose w = -4*o - 3*w + 3192, 2*w - 8 = 0. Is (-4)/10 + o/10 prime?
True
Is (696/(-10))/(-4)*5 prime?
False
Suppose 14*t = 15*t - 251. Is t a composite number?
False
Suppose 17 = -3*p + 4*p. Suppose p = 5*h - 13. Let i(u) = 2*u**2 - 3*u - 1. Is i(h) composite?
False
Suppose -2*n = 3*n. Suppose n = 5*k + 5*y - 430, -5*y + y + 262 = 3*k. Is k prime?
False
Let a(b) = -14*b**2 + b + 2. Let c(h) = -h + 1. Let j(p) = -a(p) + c(p). Let y be 0 - -1 - (3 - 1). Is j(y) prime?
False
Let a = 83 - 34. Is a composite?
True
Let g(k) be the first derivative of -3*k**3 + k**2/2 + 4*k + 2. Let j be g(3). Let v = j - -107. Is v prime?
False
Let w(t) = t**2 + 5*t - 4. Suppose 5*m + 30 = 3*v, 0*m + 30 = -5*m + 2*v. Let o be w(m). Suppose -3*x + o*x = -37. Is x composite?
False
Let r = 9 + -6. Let g(m) = -2*m - m**3 + r*m - 6*m**2 - 9 + 2*m. Is g(-7) prime?
True
Suppose -f = 5*l - 0*f + 14, -4*l - 4*f - 8 = 0. Let p be (-2 - l)*1*38. Let r = p + -23. Is r a composite number?
True
Suppose -7 = -l - 0. Let u(w) = 2*w**2 - 11*w + 9. Let i be u(l). Let b = -15 + i. Is b a prime number?
False
Let q(g) = g**2 - 4*g + 8. Is q(-5) composite?
False
Let p be 13/3 + 2/(-6). Suppose -h - p*m = -357, -3*h + 5*m + 301 = -838. Is h prime?
True
Suppose -1875 = -9*w + 1734. Is w composite?
False
Suppose -2*c + b + 107 = -0*b, -150 = -3*c - 2*b. Suppose 2*d - 18 = c. Is d composite?
True
Let l = 12 - 2. Let s be (-12)/l*(-10)/4. Suppose m - 444 = 3*c - 1344, -s*m = 3*c - 912. Is c composite?
True
Let o = 193 - 88. Suppose -a + 4*a = o. Is a composite?
True
Suppose -2*k - 15 = 5*u, 0 = 4*k + 4*u + 15 - 3. Let i = k - 8. Is 16/7 + i/28 composite?
False
Let f(i) = i**3 + 2*i**2 - 5*i - 3. Let c be f(-3). Suppose -4*l - 1021 = -8*l - c*w, l = 3*w + 274. Is l a composite number?
True
Is (674/(-8) - 4)/(1/(-4)) prime?
True
Let d(p) = 3*p**3 - 2*p**2 - 4*p + 2. Let n(h) = h**2 - 12*h + 14. Let v be n(11). Is d(v) a composite number?
False
Let u = 1 + 1. Suppose u*h - 23 = h. Is h composite?
False
Let z be -2 + (-7)/(14/(-4)). Suppose 0 = -2*d + a + 114, -d + 2*a + 54 = -z*a. Is d a prime number?
False
Suppose -o + 3944 = -3*d, 0 = -o + 2*d + 5112 - 1169. Is o a prime number?
False
Suppose -2 - 2 = -l. Suppose 0 = l*a - 4, -2*a = -3*w - 0*a - 53. Let j = w + 24. Is j a composite number?
False
Let h(k) = -k**3 + 13*k**2 + 20*k + 5. Is h(14) a composite number?
False
Suppose 3 = 5*x - 67. Let l = x - 9. Suppose -j - d - 738 = -l*j, 0 = 5*d - 10. Is j a composite number?
True
Suppose -3*s - 2*r - 2 = 0, 0*s - 2*s - 5*r - 5 = 0. Is 124/8*(s + 2) prime?
True
Is (3346/3)/(((-48)/18)/(-4)) a composite number?
True
Suppose -4*m - 104 = -5*m. Let z be ((-40)/(-16))/(10/8). Suppose m = z*j - 14. Is j a prime number?
True
Suppose 0 = -2*m - 2*s + 8, m + 2*s + 0*s = 8. Let c(q) = 26*q - 2. Let v be c(3). Suppose m = 2*r + 2*r - v. Is r a prime number?
True
Let t(j) = 5*j**2 + j + 1. Let i = 2 - 0. Suppose 2 = 5*c + 2*b - 4*b, c + i*b = 10. Is t(c) composite?
False
Let h = -141 + 590. Is h a composite number?
False
Let g = 5 + -4. Let m be 4/4 + 30/g. Let p = m + -16. Is p a prime number?
False
Let a(u) = u**2 + 16*u - 13. Is a(12) composite?
True
Suppose -3*r + 2230 = 4*n + 638, -4*n + 5*r = -1560. Is n prime?
False
Is -4 - (-16)/4 - (-187 - 0) prime?
False
Let d(q) = -q**3 - 8*q + 11. Is d(-8) composite?
False
Let s(r) = 78*r - 7. Is s(4) a composite number?
True
Let h(v) = 2*v**2 - 1. Let r = 2 + -9. Is h(r) a prime number?
True
Suppose 2*z - 4 = -4*u, -3*u + z - 6*z = 4. Let q = 234 - 123. Suppose c - q = -u*c. Is c a composite number?
False
Suppose 3*m = 5 + 10, 2*m = 3*k + 1. Let t be k/1 + (1 - 1). Let x(b) = 8*b**3 - 5*b**2 + 2*b + 2. Is x(t) a composite number?
False
Suppose -5*z - 4075 = -5*l, 0 = -5*l - 3*z - 0*z + 4075. Let g = l + -136. Is g a prime number?
False
Let u(r) = 5*r**3 - r**2 + r - 1. Let f be u(1). Suppose -f*l = -0*l - 1012. Let h = l + -140. Is h prime?
True
Let o(h) = 4*h**3 + h**2 + 9*h - 9. Let c(d) = -d**3 - 3*d + 3. Let i(a) = 7*c(a) + 2*o(a). Is i(4) composite?
True
Let w(o) = 29*o**2 + 4*o + 4. Let r be w(-3). Suppose -2*s - s + r = -4*k, -5*k = -25. Suppose -c - 33 = -s. Is c prime?
False
Let v = -63 + 98. Is v a composite number?
True
Suppose -3*k - 20 = 2*k. Let p = -3 - k. Let m(z) = 37*z**3 - z**2 + z. Is m(p) prime?
True
Let g(m) be the first derivative of -1/4*m**4 - 1 - m**3 + 7*m + 5/2*m**2. Is g(-6) prime?
False
Is (2/(-4))/((-1)/402) composite?
True
Suppose -11 = q - 4*v, 0*q + 4*q + 4*v - 16 = 0. Suppose 3 + q = 4*f. Suppose -f = 4*t - 77. Is t prime?
True
Suppose -6 = -2*w, 0 = 4*m + w - 10 - 9. Suppose m = 5*n + k, 3*n - 5*k + 6 = 14. Is (0 + -2)*n/(-1) prime?
True
Suppose 1705 = 5*b - 5*x, -4*b - 4*x + 0*x = -1348. Suppose r = -2*d + 42 + 616, 2*r = d - b. Is d a prime number?
True
Suppose -5*g + 1080 + 3115 = 0. Is g a composite number?
False
Let k = 1928 - 985. Is k composite?
True
Let p(a) = 2*a**3 - 10*a**2 - 2*a - 9. Let s be p(7). Suppose u - s = -2*r, 0 = -r + 2*r - u - 94. Is r prime?
True
Let g(u) = -u**3 + 5*u**2 + 6*u + 5. Let o be g(-4). Suppose 6*k = k + o. Is k prime?
False
Suppose -5*t + r + 1953 = -185, 3*r + 1717 = 4*t. Is t a composite number?
True
Let y = 260 + 1139. Is y composite?
False
Let l = -2 + 2. Let t = 21 + -2. Suppose t = -l*f + f. Is f a composite number?
False
Is 1/(-6) - (-2803)/6 a composite number?
False
Let y(x) = 789*x**2 + x - 1. Is y(-1) a prime number?
True
Let c(k) = -k**3 + 11*k**2 - 12*k + 4. Let j be c(8). Suppose 3*x - j = x. Suppose 3*v + x = 3*q - 202, v = 5. Is q prime?
True
Let g = 1575 + -880. Is g composite?
True
Let q = -711 + 1084. Is q composite?
False
Let u(n) = 15*n**2 - 5*n - 6. Let x(v) = -v**2 + v + 1. Let i(h) = u(h) + 5*x(h). Is i(-2) a composite number?
True
Let w(m) = m + 9. Let t(n) = -1. Let x(f) = 36*t(f) + 4*w(f). Let j be x(-1). Let s(c) = -8*c + 2. Is s(j) a composite number?
True
Suppose 3*l = 6*l + 15, -2*l = 5*o - 165. Is o prime?
False
Suppose n - 3*n + 1146 = 0. Is n a prime number?
False
Let y(r) = -22*r + 17. Let a(b) = 385*b - 297. Let t(w) = -5*a(w) - 88*y(w). Is t(8) a prime number?
False
Let m = 2518 - 1053. Is m prime?
False
Let p(b) = -b**3 + 3. Let w be p(0). Suppose w*a + 0 + 459 = 0. Is a/(-2) - 1/(-2) a prime number?
False
Let n(i) = i**2 + 3*i - 14. Is n(9) a composite number?
True
Suppose 0 = 2*u - 6*u + 20. Let r be (u + -4)/(1/5). Suppose r*z - 2*y = 25 + 16, -31 = -3*z - 2*y. Is z prime?
False
Suppose -5*g + 1115 = 5*n, -2*g = 5*n - 110 - 999. Is n a composite number?
True
Let c be 548/(-12)*-3*1. Let y = -90 + c. Is y a prime number?
True
Suppose 0 = 5*g - 3*g. Is (0 - -2) + 33 + g prime?
False
Let q be (212/10)/(2/10). Let b = q - 71. Is b prime?
False
Let i(h) = -2*h - 6. Let l = -2 - 2. Let v be i(l). Suppose 0*o - v*o = -98. Is o prime?
False
Suppose 0 = -2*c + 3*a + 19, 85 = 5*c + 3*a + 2*a. Let b be 1*(0 - 0 - -9). Let g = c + b. Is g a prime number?
True
Is (10/4)/5*222 composite?
True
Let p(i) be the third derivative of i**4/24 + 7*i**3/6 - 3*i**2. Let z be p(-5). Suppose 2*d - 106 = 4*c, -4*d + 0*d + 242 = z*c. Is d a prime number?
True
Suppose 0*j = -5*j + 2*d + 50, d = 0. Suppose 3*v = -j - 14. Let f = 3 - v. Is f composite?
False
Let i = -13 - -20. Suppose 3*o = i + 2. Is o prime?
True
Suppose 6*s - 3*s - 259 = 5*z, -2*z - 97 = s. Let p(v) 