 b**4/2 + 2*b**3 - 3*b**2. Let p be k(-12). Let t = 22 - p. Is t a composite number?
True
Let i = 166 - 97. Is i a composite number?
True
Let m(x) = x**3 - x**2 - 9*x + 1. Is m(6) a prime number?
True
Suppose 2202 - 23 = y. Is y prime?
True
Suppose 32 = -a - 3*w, 132 = -2*a - a + 3*w. Let o = 80 - 1. Let f = a + o. Is f a prime number?
False
Let o = -5062 + 9053. Is o composite?
True
Let x = -136 + 813. Is x a composite number?
False
Let j(r) = -9*r + 3. Let m be (9/(-4) - -1)*-4. Suppose 21 + 5 = -4*o - 5*x, 0 = -m*x - 10. Is j(o) a prime number?
False
Let w(u) = -759*u**2 - 15*u + 2. Let c(k) = 379*k**2 + 7*k - 1. Let x(b) = 13*c(b) + 6*w(b). Is x(1) prime?
True
Is ((-15570)/27)/((-2)/3) prime?
False
Suppose 2*i = 5*s + 1226, 2*i + 4*s - 1254 = 2*s. Is i composite?
True
Let w be (4 - 5) + 1 + 72. Suppose 3*x - 236 = a, -x = 2*a - a - w. Is x a composite number?
True
Let l(d) = 11*d**3 - 14*d**2 + 10*d - 8. Is l(5) prime?
False
Suppose -5 - 23 = -4*q. Let w = 3 + 0. Suppose -35 = -w*f + q. Is f prime?
False
Suppose -8*j - 2186 = -18610. Is j a prime number?
True
Let m(u) = 3*u + 9. Let d(c) = 13*c + 35. Let w(q) = 2*d(q) - 9*m(q). Let z be w(-6). Let h(n) = -n**3 - 4*n**2 + 4*n + 2. Is h(z) a prime number?
True
Suppose -2*u + 30 = u - 4*i, -5*i = -15. Let v = u - -41. Is v a composite number?
True
Suppose -3*x + 3*j - 2 = 1, -j + 21 = 4*x. Let u be x/(-2) + (-4)/(-2). Is (u - -2)/(2/19) a prime number?
True
Let u(m) = m**3 - 4*m**2 + m - 5. Let y be u(5). Suppose -3*s + 5*j + y = 2*s, 4*s - 2*j = 18. Suppose 0 = -0*r - s*r + 260. Is r a composite number?
True
Let p be (-6)/(-4)*(-2002)/(-1). Suppose -720 = 3*i - p. Is i a composite number?
False
Let g(p) = -p - 1. Let z be g(-5). Suppose -z*s + 3*s + 101 = 3*h, -4*s - 3*h = -368. Is s a composite number?
False
Suppose 0 = -2*o + 3*v + 11, 4*o + v - 5*v - 28 = 0. Suppose z = -5*q + 55, 2*z = q - 1 - o. Is q a prime number?
True
Let v = -100 + 228. Suppose 361 + v = 3*f. Let n = f + -74. Is n prime?
True
Let q = 1 - 1. Let d(c) = c - 1. Let p be d(q). Is (-106)/(-4)*(1 - p) a prime number?
True
Suppose t - 2*p + 4 = p, -4*t = -4*p + 8. Let h = t + 7. Suppose h*a = a + 30. Is a prime?
False
Suppose -g = 5*u - 27, -u - g + 1 + 6 = 0. Suppose 5*r - 5*p = 270, -3*p = u*r - 6*p - 268. Is r composite?
False
Let a be (2 + -1)*(0 + -6). Let i be (-12)/(-15)*(-1545)/a. Suppose -5*j + 2*l = 6*l - 1011, i = j - 3*l. Is j composite?
True
Let k = 246 + 385. Is k a composite number?
False
Let s be ((-12)/10)/(2/(-20)). Let k be 6/(-27) - 11/(-9). Is k/(-2) - (-30)/s a prime number?
True
Let m be 4*(2 - 12/8). Let o = 55 - m. Is o prime?
True
Let a = 0 - 3. Let y(z) = 17*z**2 + 2*z + 2. Is y(a) prime?
True
Suppose 19*s - 26*s = -805. Is s composite?
True
Let t be ((-6)/8)/((-1)/8). Let z = t + -4. Is 15/6 + z/4 prime?
True
Let x(g) = 20*g - 5. Is x(5) prime?
False
Let i(o) = 52*o**3 + o. Is i(1) composite?
False
Let k = 41 - -48. Is k composite?
False
Suppose -6*b = -2*b + 4. Is ((-921)/(-3))/(0 - b) composite?
False
Suppose -4*x - 5890 = -2*j, -j - 10*x + 2973 = -5*x. Is j a prime number?
True
Let v(d) = -383*d - 3. Is v(-2) prime?
False
Suppose 3*u + 132 = -5*m, -3*m + 2*m = 5*u + 220. Let p = 97 - u. Is p a prime number?
False
Suppose n - 63 = t, -4*t + 66 = n - 2*t. Is ((-2)/(-2) + n)*1 prime?
False
Suppose -5*d = -3*h - 16, 4*h - 16 = 2*h - 2*d. Suppose 449 = h*u - 2*k, -4*k + 0*k - 749 = -5*u. Is u composite?
False
Suppose 0 = y + y. Suppose y = 4*b - 2*b - 166. Is b a prime number?
True
Suppose 0 = k - 2*k + 5*h + 20, -2*h = 8. Let o(q) = q**3 - q + 89. Is o(k) composite?
False
Suppose 3*b - 1163 = -5*w, -325 + 78 = -w + 3*b. Is w composite?
True
Suppose -5*q = 2*n - 4*q - 662, -1657 = -5*n - 3*q. Is n a prime number?
False
Is (-1)/6 - 399/(-18) prime?
False
Is 3/(6/2)*409 composite?
False
Suppose -8*g = -5*g. Suppose 6 = -5*s + 21. Suppose -s*b - 4*z + 91 = g, -10 - 12 = -b - 3*z. Is b prime?
True
Let x(g) = -19*g**2 - 7*g - 10. Let j be x(-4). Let m = j + 1181. Is m a composite number?
True
Let k(b) = -2*b**2 + 1 + b + b**2 - 2 + 0. Let r(o) = o**3 - 9*o - 4. Let j(y) = 4*k(y) + r(y). Is j(6) a prime number?
False
Suppose 3*m - v + 6*v - 15 = 0, 3*m + 9 = 3*v. Suppose 0 = -m*d + d + 876. Is 9/15 + d/(-15) a composite number?
False
Let o(g) = -g + 467. Is o(0) a prime number?
True
Suppose a + n + 2 = 0, 0 = -a + 2*a + 2*n + 7. Let p be 0 - a/((-6)/112). Let l = -19 + p. Is l a composite number?
False
Suppose -5*g + 2454 = t, 0 = -3*t + g + 1859 + 5423. Is t a prime number?
False
Suppose 3962 = 4*k - 3*o + 5*o, 4*k + 4*o = 3960. Is k prime?
True
Let f(s) = 40*s + 3. Is f(5) a prime number?
False
Let d(q) = -205*q - 34. Is d(-21) prime?
True
Suppose 4*n = n - 132. Let z = 72 + n. Let w = -13 + z. Is w a composite number?
True
Let r(b) = b**2 - 4*b + 2. Let s be r(3). Let p(v) = -v - 1. Let q(k) = -3*k - 6. Let x(y) = s*q(y) + 2*p(y). Is x(7) a composite number?
False
Let v = 4 - 1. Suppose -6*c = -7*c + v. Suppose c = w, -2*h - 3*w + 0*w + 59 = 0. Is h composite?
True
Suppose 27*k = 26*k + 2447. Is k composite?
False
Suppose -4*j - 11 = 17. Let d(v) = -2 + 0*v + 8*v - 4*v**2 - v**3 - 4. Is d(j) composite?
True
Let x be (-48)/3*2*-8. Let m = x - 143. Is m composite?
False
Let y = -8 - -45. Is y a composite number?
False
Let b = -66 + 128. Let l = -47 - -83. Let y = b - l. Is y a prime number?
False
Suppose -4*z - 9*z = -7423. Is z a composite number?
False
Let f be (-4)/(-18) - 792/(-81). Let w(x) be the second derivative of 5*x**3/3 - 9*x**2/2 + 2*x. Is w(f) a prime number?
False
Let q = 226 + -71. Suppose -4*l - l = -q. Is l prime?
True
Let y be ((-2)/(1 + 1))/1. Is -9*((-14)/3 - y) composite?
True
Suppose 3*h + 0 = 6. Suppose 0*j - 4 = h*j. Is 4/(24/(-39))*j composite?
False
Suppose -3*c = -3*d - 3015, -3*d + 3010 = -6*d + 4*c. Let a be (-1)/6 - d/12. Let l = -31 + a. Is l prime?
True
Let k = 8 - 11. Let r = k - -6. Is 17/r + 1/3 a composite number?
True
Suppose 1382 = 4*c - 13254. Is c a composite number?
False
Suppose 2*b = -0*b + 2534. Is b a prime number?
False
Let a = -9 - -9. Suppose -3*c = -a*c. Suppose -5*n + 163 - 68 = c. Is n a composite number?
False
Suppose 3*k + 3*w - 2 = 2*w, -4*w = 4*k - 8. Suppose -4*h = -2*c + 138, -4*c + h - 3*h + 316 = 0. Suppose -c = -k*o - o. Is o a prime number?
False
Let a(n) = -n**2 - 7*n + 5. Suppose -4*q - 15 = 13. Let h be a(q). Suppose -h*x = -62 + 7. Is x a composite number?
False
Suppose 12*o = 8*o + 4. Let c be 13/o + 1 + -4. Suppose 3*a - c - 56 = 0. Is a composite?
True
Let v = 17 - 8. Let j = 30 - v. Is j composite?
True
Suppose -6*b + 2*b = -4072. Is b composite?
True
Let z = 191 - 102. Is z a composite number?
False
Let q(b) = 18*b + 14*b - 6*b + 1. Is q(2) a composite number?
False
Is (-4 - (-8 - -4))/(-1) - -2611 composite?
True
Let p(b) = b - 3. Let f be p(7). Suppose 0 = -5*h - 5*q + 50, 1 = -3*h + f*h - 2*q. Let g = 16 - h. Is g a composite number?
True
Let y = 1204 - 695. Is y prime?
True
Let g(d) = 8*d**2 + 9*d - 10. Let y be g(-9). Suppose -i - 2*t = i - 226, 0 = -5*i - 3*t + y. Is i a composite number?
False
Let i = -49 + 32. Let u = 6 - 2. Let g = u - i. Is g prime?
False
Is -2 + 7 + -4 - -354 a composite number?
True
Suppose 2*w - 12 = -2*w. Is (-181)/(-4) - w/(-4) a composite number?
True
Let i(o) = -16*o - 1. Let g(q) = q - 1. Let m(h) = -4*g(h) - i(h). Is m(7) prime?
True
Let g(n) = -n - 5. Let l be g(-5). Suppose 0 = 3*b - 5*b - 3*r + 16, 3*b + 4*r - 26 = 0. Suppose 0 = v + v + o - b, l = 4*v - o - 22. Is v composite?
True
Let v(u) = -4*u + 6. Is v(-7) a prime number?
False
Suppose 0 = -v - 3*p + 251, -4*p + 8 = -8*p. Is v composite?
False
Suppose 6*m - 10 = m. Suppose s - 6*s + 171 = -m*u, 2*s - 78 = 4*u. Is s prime?
False
Let j(g) = 13*g**3 - 2*g**2 + 2*g - 1. Let k be j(1). Is 82/k - 1/(-6) a prime number?
True
Suppose -6*c + 9*c = 15. Suppose c*v = -2*o - o + 232, 0 = -o - 5*v + 74. Is o composite?
False
Let t(n) = n**3 + 11*n**2 + 10*n + 2. Let l be 4/(0 - 4/10). Let p be t(l). Is (p/5)/(1/25) composite?
True
Let l(v) = v**3 - 2*v + 1. Let u be l(4). Suppose -2*j + s + 93 = 0, -2*j + 4*s = -u - 21. Suppose -2*w + j = -29. Is w composite?
True
Suppose -86 + 565 = k. Is k composite?
False
Let h = 10 + -6. Suppose 0 = -4*l + h 