)/24 - 18390/(-16) a prime number?
False
Let o(h) = -74*h**3 - h**2 - 10*h. Is o(-3) a prime number?
False
Let z(f) = -f**3 - 5*f**2 - 5*f. Let i be z(-4). Suppose 5*c + 125 = 4*w, i*w - 75 = -c - 4*c. Is w composite?
True
Let x be (-5)/(632/(-210) + 3). Suppose -q + 2*v + 704 = 3*q, -x = -3*q + 3*v. Is q a composite number?
True
Let g = 106 - 176. Let o(f) = -17*f**3 - 3*f**2 - f + 1. Let b be o(-2). Let h = b + g. Is h a composite number?
True
Suppose 5*x - 1036 = -3*i, x - 2*i = -i + 212. Is x composite?
True
Suppose -1790 = -0*b - 10*b. Is b a composite number?
False
Let m(y) = -y**3 - 6*y**2 + 4*y + 2. Let l be m(-7). Suppose d - l = 15. Is d prime?
False
Suppose -j = 2*j - 18. Suppose -3*c = -3*m - 9, 4*m = j*m - 4*c + 8. Is 1/(m/106)*-1 a prime number?
True
Suppose 2*n = 37 + 35. Is (-4)/4*(-1 - n) prime?
True
Let v = -211 - -412. Is v a composite number?
True
Let y(k) = 5*k**3 + 29*k**2 + 8*k - 3. Suppose -2*f = -3 - 13. Let a(s) = -2*s**3 - 10*s**2 - 3*s + 1. Let u(p) = f*a(p) + 3*y(p). Is u(3) prime?
False
Let s be (27/12 - 2)*4. Suppose 4*i = -n + 528, -s = -n - 5. Is i composite?
True
Let u(f) = 11*f**2 + 5*f - 7. Is u(-9) composite?
False
Let c(z) = 4*z. Let d be (4/6)/(2/3). Let i be c(d). Suppose -u + 4 = 0, u - 112 = -i*t + 4*u. Is t prime?
True
Let j be 39/15 + (-4)/(-10). Let u(t) be the second derivative of t**5/20 - t**3/6 - 3*t**2/2 - 2*t. Is u(j) a composite number?
True
Let s(q) = 38*q. Is s(1) composite?
True
Suppose 0 = -2*b, b - 328 = 4*k - b. Suppose 3*g = 0, 3*a + g + 9 = -6. Let x = a - k. Is x a composite number?
True
Suppose -4*i = 2*s + 114, -8*s - 2*i - 246 = -4*s. Is -1 - (s + -1 + 1) a prime number?
False
Suppose -4739 = -0*c - 7*c. Is c prime?
True
Suppose 3*a - 25 = p - 5*p, -2*p + 23 = 5*a. Suppose 0 = -2*b + a*b. Suppose b = -4*t + t + 66. Is t prime?
False
Let m(z) = -36*z**3 - z**2 - z - 1. Let f(k) = k**2 - k - 1. Let p be f(3). Let c = -6 + p. Is m(c) a composite number?
True
Is (2 - 1)/(6/1074) a composite number?
False
Suppose -9*d + 16465 + 8798 = 0. Is d a composite number?
True
Suppose 2403 = -2*s + 7*s - 2*y, -4*s + 3*y = -1921. Is s prime?
False
Suppose 4*b = 5*m + 9, 3*b - 11 = -3*m - 38. Is ((-43)/4 + -3)*b composite?
True
Let f be 3/2*(-1 + -1). Let p(u) = u**3 - u**2. Let j(x) = 3*x**3 - 6*x**2 - x - 1. Let y(w) = j(w) - 5*p(w). Is y(f) prime?
True
Let w = -267 + 514. Is w composite?
True
Let r(n) = -n**3 + n**2 + n + 10. Let p = -4 - -4. Let l be r(p). Let k = 29 - l. Is k a prime number?
True
Let g = 7 + -4. Let q(k) = -3*k + k**3 - 2*k + g - 5*k**2 - 2. Is q(6) a prime number?
True
Let t be (0 - 1)/((-13)/(-182)). Is 2/4 - 3507/t a prime number?
True
Let m(p) = 58*p**3 - p**2 + p. Suppose 4*s = s + 3. Is m(s) a composite number?
True
Let t be 444/(14/4 - 2). Suppose q = -3*q + t. Is q a prime number?
False
Let y(l) = 3*l**2 - 6*l + 10. Let p(a) = a**3 + 6*a**2 - 6*a - 2. Let q be p(-7). Is y(q) composite?
False
Let p = 7 - 2. Suppose -3*k + 5 = -p*m, -2*k - 5 = 4*m - 9*m. Suppose -3 = -w + k. Is w a prime number?
True
Let x be (2 - -16)/3 - 1. Suppose -4*s = -x*q + 532 - 193, -4*s = 4. Is q a composite number?
False
Let x = 3 - -77. Suppose 3*q - 239 = 2*n, q + 4*n - 5*n = x. Is q a prime number?
True
Let u be 21/2*22/11. Let m = u + -7. Is m composite?
True
Suppose 2*o = o - 3. Is o*15/(-36)*12 prime?
False
Let r = 147 + -26. Is r a prime number?
False
Let f be -1*(1 + -1 + 0). Suppose 32*d + 3 = 33*d. Suppose 2*x + d - 41 = f. Is x a composite number?
False
Let z be 3/15 - (-2)/(-10). Suppose 5*m - 10*m + 35 = 5*t, -25 = -5*t. Suppose z = 4*r - 4*q - 148, 0 = -r - m*q - 2*q + 37. Is r composite?
False
Suppose -5*u = -3*o + 24, 0 = -3*u + 3*o - 5*o - 3. Let t = -36 - -26. Is t/(1 + u)*31 composite?
True
Let b be (-40)/(-22) + (-6)/(-33). Let m be b - 1*12*-7. Suppose -90 = -4*s - 2*k, 6*s = 2*s + 2*k + m. Is s prime?
False
Suppose 2*h + 2454 + 935 = 5*m, -3*m + h + 2034 = 0. Is m composite?
True
Let y be -3*(-2 + 1 + 0). Suppose -y*s = -4*r + 302, -2*r - r + s = -229. Is r composite?
True
Let p = -997 + 1974. Is p composite?
False
Suppose 0 = 3*f + 5*n - 2059, 0 = 4*n - 8. Is f composite?
False
Let c = -346 - -495. Is c composite?
False
Let j be (0 + 26/1)*-1. Let n = j - -49. Is n prime?
True
Let k(u) = u**2 - 7*u + 5. Let v be k(7). Let h(i) = 2*i. Is h(v) a prime number?
False
Suppose 3*v + 0 - 3 = 0. Let y = v + 9. Is y a composite number?
True
Suppose -3*z - 169 = -3*s + z, 4*s - 2*z - 212 = 0. Is s a composite number?
True
Suppose 4*u = 8*u + 20. Let m be (-3)/u*10/2. Suppose m*q - 6 = 33. Is q a composite number?
False
Suppose 4*d = z - 6243, 2*z - d - 5817 = 6697. Is z a composite number?
True
Is 276/9 + ((-20)/12)/(-5) prime?
True
Let a = -68 + 115. Is a a composite number?
False
Let v(y) = y**2 - 6*y + 2. Let w be v(6). Let j(u) = u**3 - 2*u**2 + 2*u - 2. Let l be j(w). Is 1/((-450)/226 + l) prime?
True
Suppose -5*n + x - 217 = 129, x + 284 = -4*n. Let w = 8 + -5. Is (w - 4)/(2/n) prime?
False
Let c = 1625 - 726. Is c a composite number?
True
Suppose 2*y = 203 + 1991. Is y prime?
True
Let u(r) = -r**3 - 18*r**2 - 5*r + 35. Is u(-19) a composite number?
False
Let h(i) = 22*i - 13. Is h(6) a prime number?
False
Let i = -10 + 5. Let s = 5 + i. Suppose f + 2*f - 30 = s. Is f composite?
True
Let w be (-3)/(-2)*(-20)/(-6). Let r(y) = y**2 + 3. Let s be r(w). Suppose x - 85 = -3*x + 3*a, -s = -x + 3*a. Is x composite?
False
Suppose 3*y = -4*x + 247, 5*x - 270 = 5*y - y. Is x composite?
True
Suppose -4*a + 3235 = a. Is a a composite number?
False
Suppose 5*h = -2*t + 1 + 43, 0 = -4*h + 4*t + 52. Is h composite?
True
Suppose 4*j - m = 3*j + 1, -5*j - 2*m = -12. Suppose g = j*g - 143. Is g a prime number?
False
Let w(d) = -d**2 + 3*d - 3. Let c be w(4). Let r(o) = -o**3 - 4 - 7*o**2 - 1 + 4 + 5 - 9*o. Is r(c) prime?
True
Let q(y) = -3*y - 5*y + 2 + 0*y + 2*y + 5*y**2 + y**3. Is q(-6) a prime number?
True
Is (-1115)/(-10) - (1/2 + 0) composite?
True
Let k(u) = 10*u**3 + u**2 - 4*u. Let n be k(3). Suppose -6*j + n = -3*j. Is j a prime number?
True
Let v(z) = 7*z**3 + 18*z**2 + 6*z - 12. Let n(w) = -20*w**3 - 53*w**2 - 19*w + 36. Let h(j) = 6*n(j) + 17*v(j). Is h(-11) a composite number?
False
Suppose -o - o + 4 = 0. Suppose 3*r = -o*r + 4835. Is r composite?
False
Let p(u) = 14*u**3 - u**2 + 1. Let k be p(-1). Let s = 0 - k. Is 6/21 + 2082/s a prime number?
True
Let y(x) = -x**3 + x**2 + x - 26. Let l be y(0). Let q = 65 + l. Is q a composite number?
True
Let y = 42 - 0. Is y/(-15)*10/(-4) a prime number?
True
Suppose 0 = -g - 0*g. Suppose g = -u - 2*m - 2, 3*u - 2*m = -3*m - 6. Is ((-1)/(-2))/(u/(-212)) composite?
False
Let y = 6 - 2. Suppose -i + 4*f + 4 = 0, -4*i + 8*f = 4*f - y. Suppose i*r = 5*r - 65. Is r prime?
True
Let y = 17 - 8. Suppose y*o = 11*o - 134. Is o prime?
True
Let x = -2641 + 4022. Is x a prime number?
True
Suppose 0 = -3*d - 5*h + 277, -5*h = -h - 8. Is d a composite number?
False
Let j(c) = 67*c - 17. Is j(16) composite?
True
Suppose 90 = d + d + 4*a, 4*d - 2*a = 140. Suppose 4*j = 4*r - 13 + 65, -4*j = r - d. Is j prime?
False
Suppose -72 = -x - 3*x. Suppose -x = t + t. Is (-2)/6 - 714/t composite?
False
Suppose u - 3*w = 2, 3*w + 0*w - 2 = -u. Suppose -u*b - 2*t + 124 = 0, -b + 3*t + 25 = -25. Is b composite?
False
Let a be (-1)/(-2 + 47/24). Is 0 + -2 + 1 + a prime?
True
Let a(y) = y**3 - 5*y**2 + 5*y - 2. Let r be a(4). Let g be (11/r + 2)*2. Suppose 7*n = 2*n + g. Is n a prime number?
True
Let a(x) be the second derivative of 11*x**4/12 + 4*x**3/3 - 5*x**2/2 + x. Is a(-8) prime?
False
Suppose 4*l = h + 2, -2*l + 0*l - 44 = -5*h. Suppose -2*q + 84 - h = 0. Is q a prime number?
True
Suppose 0 = -5*g + 13764 + 5731. Is g composite?
True
Suppose -7*h = -2*h - 3*d - 10, -2*d - 8 = -4*h. Is (-37)/h*4/(-2) a composite number?
False
Suppose -5*n - 15 + 370 = -4*c, 4*c - 142 = -2*n. Is n a composite number?
False
Suppose 1778 = 4*l - 2*r - 0*r, -l + 449 = -5*r. Let w = l - 261. Suppose 5*k - 62 = w. Is k composite?
True
Let f = -245 - -390. Is f a prime number?
False
Let g be (1*1025)/1 - 0. Suppose 6*b - b = g. Is b composite?
True
Suppose 3*r + 2036 = 4*h - 2*r, r = 0. Is h a composite number?
False
Let c = 30 - 15. Is c a composite number?
True
Let b(c) be the f