c) = 6*c**2 - 11*c + 14. Let v(w) = -2*w**2 + 4*w - 5. Let r(u) = 17*v(u) + 6*y(u). Is r(h) prime?
True
Let p = 110 - -105. Is p prime?
False
Let t(j) = -j**3 + 10*j**2 - 8*j - 5. Is t(6) a composite number?
True
Let i = -23 - -51. Suppose 8*n - i = 4*n. Suppose 2*v - n*v + 115 = 0. Is v a prime number?
True
Let s = 14 + -10. Let v(p) = p**3 - 3*p**2 - p + 3. Let u be v(3). Suppose 0 = -2*c - u*c - 2*b + 72, -s*c = b - 153. Is c a composite number?
True
Let y = 610 - 302. Suppose -3*q + y = q. Is q composite?
True
Let a(b) = b**3 + 16*b**2 + 2*b - 8. Is a(-13) a prime number?
False
Suppose 5 = -g + 6*g + 5*s, -4*g + s + 19 = 0. Suppose -4*i - 4*d + d = -10, 5*i + g*d = 12. Suppose 0 = -7*l + i*l + 249. Is l prime?
True
Let p = -7 - -5. Let u = -11 + 5. Is (-3)/u*p - -35 composite?
True
Let z(q) = -13*q - 1. Let a be z(-1). Suppose 0 = 4*i + a + 4, -20 = -2*v + 5*i. Suppose v = 5*b - 3*b - 178. Is b a prime number?
True
Suppose 2*d - 7675 = -3*d. Is d composite?
True
Suppose 5*u + 8 = 93. Let c = u - 12. Suppose 2 = n - 5*b - 58, -155 = -c*n - 4*b. Is n prime?
False
Suppose -3*c + 0*c + 537 = 0. Is c a composite number?
False
Let j(i) = 10*i**3 - 28*i - 22. Let x(f) = -3*f**3 + 9*f + 7. Let k(n) = 2*j(n) + 7*x(n). Is k(-7) a composite number?
True
Let f(r) = 34*r**2 - 16*r + 5. Is f(-8) composite?
False
Let f = -4868 + 9045. Is f a composite number?
False
Let b = -33 + 5. Let w = 86 + b. Let y = w + -37. Is y prime?
False
Let f(z) = 3*z**2 + 35*z**3 + 1 - 4*z**2 + 3*z**3 + 0*z**2. Is f(2) composite?
True
Let f(w) = -w. Let o be f(-3). Suppose -2*v + 4*h = -54 - 6, 4*h - 70 = -o*v. Is v a composite number?
True
Let q(n) = 15*n**2 - 3*n + 7. Is q(4) a prime number?
False
Let x = 198 + -53. Suppose 0 = -5*r - 3*b + 1357, 5*r - 2*b = -225 + 1587. Let u = r - x. Is u composite?
False
Let p(c) = -20*c. Let s be p(3). Let w = -9 - s. Is w a composite number?
True
Suppose -z - 48 = -4*j + 45, 2*z - 78 = -3*j. Let n = 2 + 2. Is n/(j/75)*2 prime?
False
Suppose 0 = -i - 4*i - 10. Let z(o) = -10*o**3 + 2*o**2 - 8*o + 2. Let s(n) = 11*n**3 - 3*n**2 + 9*n - 3. Let w(v) = 5*s(v) + 6*z(v). Is w(i) prime?
True
Let u = -28 + 20. Let l(w) = -w**3 - 5*w**2 + 4*w - 5. Let f be l(u). Suppose 0 = -c - 4*c + f. Is c prime?
True
Let a(q) = 3*q**3 - 10*q**2 - 7*q - 1. Is a(8) prime?
True
Let l = 239 - 23. Is (-2)/(-4)*(l - -2) a prime number?
True
Is (38/4)/(18/1044) prime?
False
Let u = 272 + -145. Is u a prime number?
True
Is -13*97*(3 - 0)/(-3) a composite number?
True
Let h(w) = 3*w**3 - 10*w + 8. Let y be h(6). Suppose 2*g + 2*g = y. Is g a prime number?
True
Let v(y) be the first derivative of 7*y**4/3 - y**3/6 + 3*y**2/2 + 1. Let j(h) be the second derivative of v(h). Is j(1) a prime number?
False
Let w = -7 - -89. Is w composite?
True
Suppose -f + 0 + 3 = 0. Is ((-5)/f)/5*-153 composite?
True
Is 0/6 + (-1799)/(-1) a composite number?
True
Let i be (-1683)/4 + 2/(-8). Is i/(-9) + 4/18 composite?
False
Suppose 2*v + 2 = 4. Let w(h) = -6*h**2 - h. Let u be w(v). Let t = u - -17. Is t composite?
True
Let r = 36 - 6. Suppose 5*s - 19 = 3*s + d, s + 8 = -3*d. Let i = r + s. Is i composite?
False
Suppose 8 = -f + 27. Is f prime?
True
Let m be 0*3/(-6) - -2. Suppose m*d - 4 = 3*d - 2*u, -2*d = 4*u. Is (-2)/(0 + d/143) composite?
True
Let c(n) = n + 15. Let i(b) = -b**3 + 5*b**2 + 5*b + 7. Let x be i(6). Let j be 0/((-1)/1*x). Is c(j) composite?
True
Is 408 + (-1 - (-3)/3 - -1) prime?
True
Let k(q) be the first derivative of 161*q**5/20 + q**3/6 - q**2/2 + 2*q - 2. Let l(y) be the first derivative of k(y). Is l(1) composite?
True
Let l = 2503 + -864. Is l a composite number?
True
Let p = 5 + -3. Suppose -j = x - 87, p*j - 5*x - 162 = -x. Is j a prime number?
False
Let d(y) = 2*y**2 - 7*y + 4. Let g(t) = t**2 + 4*t - 5. Suppose 2*z + 0 = -12. Let x be g(z). Is d(x) composite?
False
Let u = 7 - 3. Suppose 195 = u*m + m. Is m a composite number?
True
Suppose -1493 = -c + 2*c. Let i = -936 - c. Is i a prime number?
True
Let d be (2 - 6 - -1) + 4. Is (d - (4 - 1)) + 95 a prime number?
False
Let y(n) = -n**3 - 6*n**2 - n + 1. Let p be y(-6). Suppose -3*d + 155 = -4*j, 0 = 7*j - 3*j + 20. Is p/(3*3/d) a composite number?
True
Suppose 2*p - p = 263. Is p a prime number?
True
Suppose 0 = h - 11043 + 1892. Is h composite?
False
Let u(q) be the first derivative of -q**3/3 - 9*q**2/2 - 9*q - 4. Is u(-6) prime?
False
Suppose -4*v = 738 - 2366. Is v a composite number?
True
Suppose -4*c + 112 + 220 = 0. Is c composite?
False
Let q = 28 + -16. Let f = 26 + -21. Let x = q - f. Is x composite?
False
Let d = -1880 - -2905. Suppose -3*v + d = 2*v - 2*x, 0 = -2*v + 5*x + 431. Is v composite?
True
Is 10/40 + (-2358)/(-8) a composite number?
True
Suppose 4*s + 4124 = -5780. Let r = s + 3813. Is r a prime number?
False
Suppose 66 = 3*q - 0*q. Is q a prime number?
False
Let n = -2 + 3. Is -158*n/4*-2 a composite number?
False
Let u(p) = -p**3 - 4*p**2 - p - 2. Let o(f) = f**3 + 3*f**2 + f - 1. Let z be o(-3). Let y be u(z). Suppose 7*i - 65 = y*i. Is i composite?
False
Is 272100/48 - (-2)/8 composite?
False
Suppose 0*m + 4*m - 92 = 0. Is m a composite number?
False
Let w be (-45 - 1)/(2/(-1)). Let j = -48 + w. Let k = 36 + j. Is k a composite number?
False
Let s(g) = 135*g + 17. Is s(4) prime?
True
Let z be 3*(5 - 9/3). Suppose -2*r + 0*r + z = 0. Suppose -5*y = t - 3*t - 1471, -5*y - r*t + 1456 = 0. Is y prime?
True
Let w be (-10)/(-35) - (-144)/(-14). Let c(l) = l**2 + 6*l - 12. Let v be c(w). Let z = 18 + v. Is z prime?
False
Let w(f) be the second derivative of -f**4/12 - 13*f**3/6 - 3*f**2/2 - 5*f. Is w(-8) a composite number?
False
Suppose -197 = -u - 32. Suppose -m = 2*m - u. Is m a composite number?
True
Suppose r = -5*t + 18, 2*t + 18 = 5*r + 3*t. Suppose 0 = -r*m - 5*s + s + 137, -s + 251 = 5*m. Is m prime?
False
Suppose 5*n + 0*g + 2*g = 350, 4*g - 88 = -n. Let s = n - -44. Suppose -273 - s = -5*a. Is a composite?
True
Suppose -s + 5*s = 3*k - 5667, -4*k + 5*s = -7556. Is k prime?
True
Suppose n = 2*n - 4. Suppose -3*k + t + 4 = 5, n*k - 4*t = -4. Is 14/(k - (-2)/5) a composite number?
True
Let y be 2 + 1 + 2*1. Let a(h) = 8*h + 2. Let o be a(y). Let n = 73 - o. Is n a composite number?
False
Suppose 13*y = 15*y - 62. Is y a prime number?
True
Let z be (12/(-15))/((-12)/(-90)). Is 3521/14 + (-9)/z prime?
False
Suppose -12 + 0 = 2*c. Let v(w) = -28*w + 21. Let p(g) = 19*g - 14. Let t(n) = 7*p(n) + 5*v(n). Is t(c) a composite number?
True
Let g(r) = -r**3 - 5*r**2 + 5. Let c be g(-5). Suppose c*i = 5, 4*a + i = 8*a - 1387. Is a a prime number?
True
Suppose -m + 314 = -21. Is m a composite number?
True
Let d be 6/9 + 69/(-9). Let n = d - -11. Suppose -9*h = -n*h - 455. Is h prime?
False
Let v = 223 + -74. Is v a composite number?
False
Suppose 2*w + 3*q = -q + 366, -5*w + 873 = -4*q. Is w composite?
True
Let w be 2*(-2)/4 + -2. Let c(u) = 18*u**2 + 2*u - 7. Is c(w) a prime number?
True
Let w = 228 + -71. Is w a composite number?
False
Let v(z) be the third derivative of -z**4/24 + 19*z**3/6 - 2*z**2. Let h be v(8). Is h + 5 + -2 + 0 a composite number?
True
Let z = -911 - -1928. Suppose 5*f - 462 = 3*x + 559, -x = -5*f + z. Is f prime?
False
Let i be 1 - (1 - (0 + 3)). Suppose -5*z + 4*d + 571 = 0, z - 424 = -i*z - 5*d. Is z a prime number?
False
Let g(a) = 23*a**2 + 2*a + 2. Let w be g(-2). Suppose -w = -5*r + 260. Let k = -27 + r. Is k prime?
True
Let j be (-1)/((4/(-16))/1). Is (j - 3)*(1 - -88) a prime number?
True
Is (-3)/(-2)*1268/6 composite?
False
Let w(h) = h**2 - 4*h + 1. Let p be w(-3). Let i = -37 + p. Let n = -8 - i. Is n composite?
False
Suppose 50 + 978 = -4*n. Let k be -3*(3 - n/3). Is 4/18 - k/18 prime?
False
Let g = 202 + -120. Is g a prime number?
False
Let d(i) = 11 - 14*i - 6*i - 8. Is d(-8) a composite number?
False
Suppose 6*c - c = 3*d + 325, 5*d = 3*c - 179. Is -1 + c*(-2)/(-4) prime?
False
Let y = 70 + -68. Suppose 7*s - 4*s + i = 2, -5*s - 3*i + 6 = 0. Suppose 0 = -s*b - y*b + 130. Is b prime?
False
Suppose 0 = 5*h - 3*h - 4. Suppose -48 = -h*y + 14. Is y a composite number?
False
Suppose 7*k - 8*k - 3 = 0. Let c(r) = -r**3 + r**2 - 5. Let x(m) = -m**3 - m**2 - m + 1. Let f(q) = c(q) + x(q). Is f(k) composite?
False
Let u(l) = 199*l - 10. Is u(3) a compos