g) - 15*u(g). Is y(9) a composite number?
True
Suppose 7*o - 58 = 243. Is o composite?
False
Suppose w - 3*c + 2455 = 5*w, -1 = -c. Is w a composite number?
False
Let v(o) = o - 3*o + 0*o. Let k be v(-10). Is 8/k + 33/5 prime?
True
Let a(l) be the second derivative of l**4/6 + l**3/3 - l**2/2 + 6*l. Is a(5) prime?
True
Let i(d) = -44*d**3 + 2*d**2 + 7. Is i(-3) composite?
False
Let a(x) = -x**3 + 6*x**2 - 5*x + 5. Let k be a(5). Let t be (-1)/1*k*-1. Suppose -t*o = -5*j - 0*o + 15, 0 = 2*j - 5*o + 6. Is j a prime number?
True
Suppose -2*i - 4 = -4*i. Let f(r) = -4*r + 9 - 2*r + 4*r + r**i. Is f(10) a prime number?
True
Let v = -181 + 438. Is v a prime number?
True
Let d be (-1 - -95)*25/10. Suppose -4*l - 63 = -d. Is l prime?
True
Suppose 4*i + 5*d - 2073 = 0, -4*i + 0*d + d + 2067 = 0. Is i a composite number?
True
Suppose -3*k = -643 + 142. Is k a composite number?
False
Let h be (-338)/(-8) + 12/16. Suppose -h - 225 = -4*v. Is v composite?
False
Let p = -939 - -1858. Is p a prime number?
True
Let i(o) = -3*o**2 - 2*o - 3*o - 5*o**2 + o**2 + 2*o**3 + 8. Is i(6) a prime number?
False
Suppose -11028 = -16*t + 4*t. Is t composite?
False
Let t = -40 - -65. Let y = -6 + t. Is y a composite number?
False
Let d be 1/((0 - -1)/5). Let n(c) = -c**3 + 5*c**2 + 6*c + 5. Let v(g) = -2*g**3 + 10*g**2 + 12*g + 10. Let p(y) = 9*n(y) - 4*v(y). Is p(d) prime?
False
Let a(t) = 5*t**2 - 97. Let u(s) = -4*s**2 + 96. Let p(k) = 3*a(k) + 4*u(k). Is p(0) a prime number?
False
Let b(o) be the second derivative of o**5/20 - o**4/3 + o**3 + 5*o**2/2 - 4*o. Is b(6) a prime number?
True
Suppose -j - 4*n - 8 = 0, 4 = j - 3*n - 2. Suppose 5*t + 269 - 1164 = j. Suppose -5*s + 5*v - 2*v + 215 = 0, 4*s - t = v. Is s a composite number?
True
Let l be ((-25)/2)/((-2)/16). Let w = l - 53. Suppose w = 4*v - 285. Is v prime?
True
Let r(w) = -7*w**3 + w. Let l = 4 + -3. Let i = 0 - l. Is r(i) a prime number?
False
Suppose -20 = -2*w + 7*w, 2*y + 8 = -3*w. Suppose -157 = -y*n + 1. Is n prime?
True
Is 1*(-5)/15 - 9202/(-3) a prime number?
True
Suppose -4*h + 6 = 5*i, -2*i = -i - 2*h + 10. Let j be i/(-6) + (-2)/6. Suppose 2*a + 3*a + 158 = 4*u, j = -4*a - 8. Is u prime?
True
Let n be (-2)/5 + (-84)/(-35). Let o(u) = 2*u**3 - 2*u**2 - u. Let m be o(n). Is (-1 + (-14)/(-4))*m a composite number?
True
Suppose 6 = -5*o - 3*r - 9, -4*r = -o + 20. Suppose -2*n + 0*n + 586 = o. Is n composite?
False
Let a = 10365 - 5768. Is a a composite number?
False
Suppose 0 = b - 158 - 179. Let q = -128 + b. Is q composite?
True
Let z be (1 + -2)/(1/(-2)). Suppose 153 = z*b + 5. Is b a prime number?
False
Let m(l) = 247*l**2 + 6*l - 4. Is m(3) prime?
True
Let j(g) = 436*g**2 - g + 2. Is j(1) composite?
True
Let m(n) = -36*n**2 - n + 6. Let r(z) = 73*z**2 + 2*z - 13. Let s(q) = -13*m(q) - 6*r(q). Let h(w) = w + 1. Let l be h(0). Is s(l) a prime number?
True
Let q(i) = i**3 - 2*i**2 + 4*i - 9. Is q(10) composite?
True
Let l be -2172*((-3)/(-2) - 2). Suppose -5*i - 167 = -3*b - l, 935 = 5*i + 5*b. Is i composite?
True
Let a(v) = -v**3 - 2*v**2 - 15*v + 13. Let w(c) = 6*c**3 + 9*c**2 + 76*c - 66. Let l(y) = 11*a(y) + 2*w(y). Is l(8) prime?
True
Suppose -s + 3*m + 747 = 2*s, 5*s = 3*m + 1253. Is s a composite number?
True
Let s = -1907 - -1147. Let q = 1119 + s. Is q a prime number?
True
Suppose s + 16 = 4. Let m be (-9)/s - 777/12. Let q = -27 - m. Is q a composite number?
False
Is (678/8)/(12/16) a composite number?
False
Let u be 3/2 - 1/(-2). Let r = 6 - u. Suppose -w + r = w. Is w a prime number?
True
Let m be (-42)/(-5) + (-6)/(-10). Suppose 3*o = 4*o - m. Is o a prime number?
False
Let u = -169 + 277. Suppose -4*i + 192 = -s + 5*s, u = 2*i - 2*s. Is i a composite number?
True
Let w = 51 - 11. Is 16/w + (-108)/(-5) a prime number?
False
Let d(h) = h**3 - 11*h**2 + 10*h + 5. Is d(12) a prime number?
True
Let d = 1909 + -1159. Suppose -2*t + d = 4*w - 122, 4*t = -2*w + 442. Is w a composite number?
True
Suppose -2 = -5*m + 148. Suppose -2*k = -44 - m. Is k composite?
False
Let q(v) = v**3 - 2*v**2 - 2*v + 2. Let h be q(3). Suppose 16 + 539 = h*r. Is r prime?
False
Suppose -2*f + 4*h = -406, -7*f + 839 = -3*f + h. Is f a prime number?
False
Let o = -3 - 2. Let f = o - -15. Is f prime?
False
Let m be (5373/(-36))/((-6)/16). Suppose -120 - m = -2*o. Is o a composite number?
True
Let o(z) = z**3 - 3*z**2 + z + 5. Let a(p) = -p**3 - 2*p**2 - 3*p. Let c be a(-2). Is o(c) prime?
False
Suppose -3*i = 2*i - 1680. Suppose -d = -3*h - 2*d - i, 5*d = -4*h - 437. Let l = -76 - h. Is l composite?
False
Is 464/6 + (-11)/33 composite?
True
Let g = -36 + 71. Is g composite?
True
Let a = 97 + -64. Is a composite?
True
Let v be 25/(-9) + (-2)/9. Let g be v/4 - (-2121)/12. Let p = -109 + g. Is p prime?
True
Is (2 - (548 + 2))*45/(-36) a composite number?
True
Let k = -205 - -752. Let v = 805 - k. Suppose 2*x = -2*s + v, 4*x = -2*s + s + 510. Is x a prime number?
True
Let v be (104/(-10))/((-16)/40). Is 0 + -5*(-3 - v) prime?
False
Is 0/(4 + -3) + (736 - -1) a composite number?
True
Suppose -6*w + 6022 = -1292. Is w a prime number?
False
Let m be 0/1 + (2 - 1). Let w be (7/(7/12))/2. Suppose -d = -m - w. Is d prime?
True
Let s be (5 - 56)*(-1 - 0). Let j be 16/12*s/2. Suppose 0 = -w - 5*f + j, 2*w + f = -w + 60. Is w composite?
False
Suppose 16 = 2*p + 2*p. Suppose -p*j + 155 = j. Is j a prime number?
True
Suppose 3 - 11 = -4*p. Let n(j) = 54*j**2 + 52*j**p + 1 + 12*j**2. Is n(1) composite?
True
Let t(h) = -4*h - 17. Let s be t(-9). Let m = 27 + -9. Let f = m + s. Is f prime?
True
Let z(r) = -r**3 + 11*r**2 + 4*r - 19. Is z(9) composite?
False
Let h = -44 - -8. Let o be 33/6*(0 - 10). Let p = h - o. Is p prime?
True
Suppose -2*b = -3*d - 0 - 2, 4*d - 8 = 0. Suppose -2*z - 2*f - f - 15 = 0, b*z = -f - 5. Is -2*(1 - z)*-2 composite?
True
Let r be (-12)/42 - 12554/14. Let z be 0 - 0 - 2 - r. Suppose -4*l + 141 = -z. Is l composite?
True
Let u(t) = t + 8. Let d be (-4)/14 + (-40)/7. Let l be u(d). Is (1 - 4)*l/(-3) a prime number?
True
Suppose q + 3*l - 5*l + 16 = 0, -5*q + 3*l = 45. Let x = 8 + q. Suppose 5*u - 331 = -x*f, -5*f - 4*u + 581 + 238 = 0. Is f a prime number?
True
Suppose 4*j = 2*r - 80, 2*j = -j + 4*r - 50. Let u = -11 - j. Is u composite?
False
Let d = -4 - -4. Suppose d*b + 3*b + 159 = 0. Let x = b - -90. Is x composite?
False
Suppose -5*q = -7 - 13. Suppose -3*v + j = -98, -q*v + 59 + 69 = -4*j. Is v composite?
True
Let b(a) = 53*a**3 - a**2 - 3*a + 2. Let r be b(2). Suppose -3*t - r = -7*t. Suppose t + 235 = 3*y. Is y a composite number?
False
Suppose -4*i = -0*i. Suppose -u + 72 + 37 = i. Is u a prime number?
True
Let h = -139 + 213. Is h a composite number?
True
Suppose -5*i + 47 = -88. Suppose -9 = 3*r, -17 = -5*d + 5*r + 73. Suppose i + d = 3*y. Is y a prime number?
False
Suppose -8*h + 7*h = -89. Is h a composite number?
False
Let m(j) = 28*j - 6. Let n be m(-5). Let i = n - -309. Is i prime?
True
Let f = -1 - 1. Suppose 0 = -6*w + w. Is 18/2 - (w - f) a composite number?
False
Suppose 4*b = 3734 - 1242. Is b composite?
True
Let h = -1 - 3. Let d(x) = x**2 - x + 6. Let s(i) = 3*i**2 - i + 13. Let r(n) = -9*d(n) + 4*s(n). Is r(h) composite?
True
Let j(z) = -z**2 + 3*z + 6*z**2 - 3*z**2. Is j(-3) a prime number?
False
Let b(i) = i**2 + 8*i + 3. Let n be b(-8). Suppose -l - 136 = n*k - 1599, -5*l + 984 = 2*k. Is k a composite number?
False
Let d(b) = -7*b + 2 - 4 - 7*b**2 - 2*b**3 - 5 + 0. Let p be d(-7). Suppose p = v + 4*v. Is v prime?
False
Let c = 21 - 73. Is 9/4*c/(-39) composite?
False
Is (-1)/(2/7)*-1*214 prime?
False
Suppose 4*s + 0*s - 16 = 0. Suppose -j + 150 = s*j. Is (-20)/j*222/(-4) prime?
True
Suppose -x + 4*h + 4421 = 0, 5104 = 2*x - 5*h - 3729. Is x a composite number?
False
Suppose 35 = -3*d + 2*y, 0 = -2*d + d - 2*y - 1. Let h be 3/(21/d + 2). Let u = h - -68. Is u composite?
False
Let f be -1 + 0 + (71 - 0). Suppose -4*b + 205 = -5*m, 0 = -b + 3*m - 8*m + f. Is b a prime number?
False
Suppose -3*j = j - 12. Suppose 0 = -j*m + 729 + 1398. Is m a prime number?
True
Let n(t) = 25*t**3 - 4*t - 7. Is n(4) a composite number?
True
Let g be ((-63)/(-28))/(3/8). Let h be 4/g*(-6)/(-4). Is 1*(h - 2 - -8) composite?
False
Let h be 13/(-4) - (-1)/4. Let z(j) = -j**3 + 4. Is z(h) composite?
Fals