f = 4*f - 204. Suppose -f = -y - y. Is y composite?
True
Suppose -2*s = -6*s + 16. Suppose 2*i - 66 = -4*k, 132 = s*i + k + k. Is i composite?
True
Suppose -9*c - 73 = -2026. Is c a composite number?
True
Let i = 10 - 7. Suppose -2*f - 4*b + 12 = 0, 0*f - 2*f + 11 = i*b. Suppose -4*a + 143 = f*u - a, -u + 38 = 3*a. Is u composite?
True
Let f(c) = 2*c**2 + 2*c - 1. Let g = 9 + -3. Is f(g) a composite number?
False
Let o(t) = -22*t + 3. Is o(-4) a prime number?
False
Let o = 168 - 41. Is o prime?
True
Suppose -4*i + 275 = 3*z, 3*i - 2*i = 3*z - 265. Is z a composite number?
False
Let y be (1 + -3*2)*-3. Suppose 0 = 3*c + 2*c + y, -3*c = 2*b - 69. Is b a prime number?
False
Let i(x) = 6*x**2 - 3*x + 3. Let l be ((-4)/5)/((-5)/(-25)). Is i(l) a composite number?
True
Let d = -18 - -13. Let j be -2 - d/(10/8). Is 8 - (j*3)/3 a composite number?
True
Suppose -4*v + 820 = -3*i, 3*i - 292 = -4*v + 504. Is v prime?
False
Suppose f = 4*f - 21. Let t be 114/8 + 3/(-12). Suppose f = j - t. Is j composite?
True
Let l be 15/2*(-8)/5. Let u = l - -31. Is u prime?
True
Let w = 45 + -51. Let k(n) = 3 + n**2 + 6 + 10*n + 2*n**2. Is k(w) composite?
True
Let z(s) = -4*s**3 - 11*s**2 - 8*s + 15. Is z(-10) composite?
True
Suppose -3*f - 2*f - 20 = 0. Let l(t) = -11*t**2 + 17*t + 9. Let p(b) = 4*b**2 - 6*b - 3. Let q(z) = 6*l(z) + 17*p(z). Is q(f) composite?
True
Let i = 2 + 12. Let j = i + -7. Suppose 2*x - 4*z - 182 = 0, -j*x = -2*x - 4*z - 467. Is x a composite number?
True
Let n(r) be the third derivative of 2*r**4/3 + r**3/3 - r**2. Let p be -2 + (-2)/(-4)*8. Is n(p) a composite number?
True
Let k(a) = 177*a - 32*a - 2 + 3. Let f be k(2). Suppose -4*l + f - 87 = 0. Is l a prime number?
False
Suppose 0 = 5*h - 3*h - 4*n - 122, 56 = h - n. Suppose -p = 14 - h. Is p composite?
False
Suppose 2*y + 5 = -7. Let j be (y/(-10))/((-1)/(-5)). Suppose 3*k + 3*a - 129 = -a, j*a + 9 = 0. Is k prime?
True
Let k(u) = -9*u - 41. Is k(-18) a composite number?
True
Let o(g) be the second derivative of 11*g**4/4 - g**3/2 + g**2/2 + 4*g. Is o(2) composite?
False
Let g be ((-9)/6)/((-9)/12). Is g/(144/69 - 2) a composite number?
False
Suppose -2*y = 2*y - 20, -4*s + 2*y - 10 = 0. Suppose -581 = 2*i + 2*g + 875, 4*g + 16 = s. Is 1/(3 + i/242) composite?
True
Let r = -8 + 10. Suppose 0*a - 2*j = -5*a + 1285, -r*a + 508 = -2*j. Is a a prime number?
False
Let h(f) = 3*f**2 - 7*f - 8. Let r be h(7). Let d = r - 53. Is d a prime number?
True
Let b(j) = j**2 + 3*j + 21. Is b(15) prime?
False
Let p(v) = -3 + 4 + 0 + 3*v - 7*v - 9*v**2 - v**3. Is p(-9) a composite number?
False
Let s be 6*3*7/6. Let r = s - 13. Is (4/(-6))/(r/(-1884)) a prime number?
True
Let v be 6/(-24) - 1901/(-4). Suppose -v = -3*t - 163. Let k = -25 + t. Is k a prime number?
True
Suppose 116 = -2*a - 2*a. Let b = a - -9. Let s = b + 53. Is s a composite number?
True
Suppose -3*y + 4*y + 5*h = -241, y = -4*h - 239. Let j = -134 - y. Is j a composite number?
False
Let h(v) = 224*v**2 - 5*v - 1. Is h(4) composite?
True
Suppose 3*z = 4*z. Let t(g) = g**3 + g + 119. Is t(z) a composite number?
True
Suppose s + 36 = 5*p, 0*p + 3*p = -s + 28. Suppose 4*k - 2*k = p. Suppose 40 = 2*b + 3*h - 19, b - 2 = k*h. Is b a composite number?
True
Suppose 0*j - 5579 = -7*j. Let l = j + -240. Is l a composite number?
False
Suppose -2042 - 1673 = -5*c. Is c prime?
True
Suppose -m + 17 - 58 = 0. Let y = 60 - 0. Let h = m + y. Is h composite?
False
Let s(t) = -2*t**2 + 2 + 2*t**2 + t**2 - t**3. Let f be s(0). Is (f/(-5))/((-4)/140) a composite number?
True
Suppose -3*p - 1 = -2*p. Is (74/2 - p) + -1 composite?
False
Suppose -14*i = -18*i + 1228. Is i composite?
False
Suppose 2*w + 0*w = 4. Let k(t) = 3*t**3 - 2*t**3 - 3*t**3 - w*t + 5 - 2*t - 7*t**2. Is k(-4) prime?
True
Suppose -3*l = -0*l - 111. Let c = 72 - l. Is c a composite number?
True
Let y(m) be the third derivative of 4*m**5/5 + m**4/12 - m**3/6 + 8*m**2. Suppose 3*d - 8 = -5. Is y(d) composite?
True
Suppose 2*q + 4*w + 3739 = 1499, -4*w = -5*q - 5628. Is (q + 4/(-2))/(-2) composite?
False
Let b = -1 - -6. Let x(j) = -j**3 - 4*j**2 - j - 5. Let z be x(-4). Is 19 + (b - 2) + z a prime number?
False
Let n = 24 - 17. Suppose 2*o + 3 = r - n, 0 = -o - 4. Is r prime?
True
Suppose -6*o + 8*o = 602. Is o a prime number?
False
Let g(w) = w**2 + 6*w + 4. Let f be g(-6). Suppose 5*c + 13 = 2*r - 280, -4*r - f*c = -656. Is r a composite number?
True
Suppose m + 19 = 5*o, 3*o - 2*o = 3*m + 1. Suppose 5*x + 414 = -m. Let p = -52 - x. Is p a composite number?
False
Let q be (-1 - (2 + -2)) + -1. Let l be (4/(-6))/(q/6). Suppose -2*o = -5*a - 89, -4*o - 5*a = -l*o - 59. Is o composite?
False
Suppose 0 = -2*o + 5*o - 7563. Is o composite?
False
Let z = 24 + -5. Is z prime?
True
Let k(i) = i**2 + 4*i - 8. Let b be k(-6). Suppose 0 = -b*q + 976 + 700. Is q a prime number?
True
Let r(z) = -148*z**3 + 2*z**2 + 3*z + 19. Is r(-4) a composite number?
False
Let t(b) = 9*b**2 - 10*b - 5. Let y(w) = -w**3 + 6*w**2 + 7*w + 8. Let h be y(7). Is t(h) prime?
True
Suppose 0 = 8*k - 10*k. Is 465 - (-1 + (k - 3)) composite?
True
Suppose -o + 13 = -24. Suppose -3*g + 3 = 0, -3*c + o = 5*g - 79. Is c composite?
False
Let k(g) = 26*g + 4. Let l be k(4). Suppose -5*v + 15 = 0, -5*j - 2*v = -6*j - l. Let w = -28 - j. Is w a prime number?
False
Suppose 2 - 18 = -4*m. Is 148 - (-2 + -3 + m) a composite number?
False
Is (-2)/(-6) - 612/(-27) composite?
False
Let j(g) = 35*g + 10 - 7 + 10 + 1. Is j(7) a composite number?
True
Suppose 3*m - 1899 = -498. Is m a composite number?
False
Is (-1)/(-3) + 164/3 a prime number?
False
Let g = 28 - 23. Let o(f) = 4*f**2 + 4*f + 7. Is o(g) composite?
False
Let v(i) = -i**2 - 9*i + 2. Let s be v(-7). Let z = 351 - s. Suppose -g = 4*g - z. Is g prime?
True
Let n(p) = -7*p**2 + p + 1. Let q be n(-1). Let i be 10/(-35) + 5/(-7). Let m = i - q. Is m a composite number?
True
Suppose -2*a + 4*y - 16 = a, -2 = a + 2*y. Let h be (3 - 7) + (-1 - a). Is 0*h/3 + 91 prime?
False
Let j(f) = -f**3 + 9*f**2 - 11*f + 6. Let a be j(7). Suppose 1 = l - 5*z, 0*z + 3*z + a = 5*l. Suppose -l*d + 4*d + 178 = 0. Is d prime?
True
Suppose -w + o = -90 - 74, -2*o + 10 = 0. Suppose -2*d = -102 - 150. Suppose -w - d = -5*k. Is k composite?
False
Let f(u) be the third derivative of u**6/360 - u**5/30 - u**4/24 - u**3/6 - 2*u**2. Let d(i) be the first derivative of f(i). Is d(6) composite?
False
Let j(y) = y**3 - 4*y**2 - y + 4. Let u be j(4). Suppose -2*p - 2*h = h, -4*h = u. Suppose p*x - 164 = -2*x. Is x a prime number?
False
Suppose b + 5 = 47. Let c = 22 - b. Is (c/25)/((-2)/5) prime?
True
Suppose -6*x = -5*x - 4. Let j be x*(-2)/(-5 + 3). Is 298/4*(-2 + j) prime?
True
Let l(c) = -4*c - 1. Let v(g) = 5*g + 2. Let s(a) = -3*l(a) - 2*v(a). Let o be s(3). Suppose -658 = -5*x + 3*k, o*x - k - 660 = 4*k. Is x a composite number?
False
Let s(f) = 2*f**3 + 2*f**2 - 1. Let k be s(1). Suppose -o + 7 = x, 6*o - 15 = k*o + 3*x. Suppose o = 2*z, 3*v = -2*v - 4*z + 187. Is v a composite number?
True
Let w(c) = -c + 11. Let a be w(6). Suppose -4*t + 1270 = a*h - 2699, -4*t - 3204 = -4*h. Is h a prime number?
True
Suppose 33 - 80 = -s. Let k = s - 14. Is k composite?
True
Let o(f) = f**2 + 7*f - 2. Let n be o(-7). Let w be (-2)/4 - 3913/n. Is w/8*(-2)/(-3) a prime number?
True
Let g(x) = -404*x + 21. Is g(-4) a prime number?
True
Suppose -34 = 3*l + 83. Let h be 3/(l/21 + 2). Suppose -n + 0*n = -h. Is n composite?
True
Is -9705*((-35)/(-84) + (-6)/8) prime?
False
Let t be (0 + -4)/(5/80). Is (2 - t/(-6))*-3 a prime number?
False
Let l be (-9)/12 - (-22)/8. Let c(b) = 5 - l + 16*b - 4. Is c(1) a composite number?
True
Let f(k) be the third derivative of -k**6/120 + k**5/12 - k**4/12 - k**3/3 - 4*k**2. Let u be 6/(-1 - 1*-3). Is f(u) a composite number?
True
Suppose -2*w + 184 = -4*c, 0 = 3*c + 2*c - 5*w + 235. Let o be 58/18 - (-10)/c. Suppose 5*j - 251 = -2*f + f, -3*j + o*f + 165 = 0. Is j a composite number?
True
Suppose 3*g = 369 - 78. Is g a composite number?
False
Let l(j) = j - 3. Let g be l(3). Let i(n) = -n**2 + n + 2. Let f be i(g). Suppose -z - z = -f, z = 4*y - 23. Is y a prime number?
False
Let k(g) = -13*g + 8. Let c(v) = -25*v + 15. Let w(u) = 6*c(u) - 11*k(u). Is w(-5) a prime number?
True
Suppose -4*i -