 -197. Let t = 9 - m. Is t a composite number?
False
Let f(d) = d**2 + 5*d + 8. Let t(c) = 1. Let b(z) = f(z) - 4*t(z). Let n(x) = -2*x. Let g be n(3). Is b(g) a prime number?
False
Suppose 2045 = -6*v + 7*v. Is v a prime number?
False
Let v(m) = 3*m**2 - 3*m - 5. Let p = -1 - 5. Let i be (-4)/3*27/p. Is v(i) composite?
True
Let c(q) = 7*q**2 - 2*q - 4. Suppose 2*j = 8, -2*a - 3*j = -a - 7. Let z = 2 + a. Is c(z) a prime number?
False
Is (5 + 1089)*(-4)/(-8) composite?
False
Suppose 0 = -f + d + 241, -3*f + 4*f - 229 = -5*d. Suppose 3*j + 2*u - 468 = f, -3*j + 705 = 3*u. Suppose -6*i = -3*i - j. Is i prime?
True
Suppose -2*y + 0*y + 22 = 0. Let a(m) = -m**3 + 11*m**2 + m - 7. Let v be a(y). Suppose v*z = 2*z + 182. Is z a composite number?
True
Let q(l) = -20*l**2 - 7*l + 5. Let r be q(5). Let w = -243 - r. Is w a prime number?
False
Let m(a) = 2*a + 2. Let v be m(0). Suppose v*k - 4*k + 178 = 0. Is k a composite number?
False
Let u(q) = 30*q**2 + q + 13. Let w be u(6). Let o = w - 780. Is o a composite number?
True
Let o = 1275 + -646. Is o a prime number?
False
Let b(q) = -q - 10. Let a be b(-5). Is (38 + a)/(1/1) a composite number?
True
Let w(a) be the first derivative of -a**3/3 + 5*a**2 + 10*a + 5. Is w(7) a prime number?
True
Let m(t) = -t**2 + 9*t + 10. Let n be m(10). Suppose n + 2 = 2*h. Is (-128 + 1)*-1*h composite?
False
Suppose -2*m - p + 5 = -6, m - p - 10 = 0. Suppose i - m*r = -2*r + 30, 2*i + r - 16 = 0. Is i a prime number?
False
Let f = 0 - 27. Let u be f/(-5) + 2/(-5). Suppose -791 = -u*w - 66. Is w composite?
True
Let r(b) = -b**2 + 8*b - 8. Let i be r(6). Suppose 1 + 3 = -i*t, 0 = 2*s - 4*t + 46. Let x = 44 + s. Is x composite?
False
Suppose 5*l - 4 = 3*d + 3, 3*l = d + 9. Let s(h) = 30*h + 11. Is s(d) prime?
True
Suppose -593 = -2*w - 147. Is w composite?
False
Let a(c) = c**2 - 2*c - 3. Let v be a(4). Let n be v/3 - 2/(-6). Suppose -51 = -n*q - 5*l, 0 = 2*q - 2*l - 26 - 46. Is q prime?
False
Let c(x) = 2*x - 2. Let q be c(-2). Is 37 + (-2)/(-4)*q a composite number?
True
Suppose -2*d - 2*r + 106 = 0, -156 = -3*d - r - r. Suppose 0 = -2*b + 180 - d. Is b a prime number?
False
Is 20911/99 + (-4)/18 a composite number?
False
Suppose 2*f + 8 = -4*s, -2*s - 6*f = -3*f + 12. Let c = 19 - s. Is c a composite number?
False
Suppose -400 = -4*p - 5*f, p - 5*f - 71 = 4. Is p composite?
True
Let v = 417 + 11. Suppose -7*x = -5*x - v. Is x prime?
False
Let g = 12 - 23. Let n be 1 - (-238)/12 - (-37)/222. Let s = n + g. Is s a prime number?
False
Suppose 10 = d - b, -3*d + 28 = 2*b + 3. Let g = d + -13. Is (52/8)/((-1)/g) a composite number?
True
Suppose 4*n + 2*s - 1269 = -3*s, 4*n = 4*s + 1224. Is n a prime number?
True
Let p be (-2)/(-3) - (-44)/6. Suppose 15 = -p*s + 13*s. Suppose 4*x - 51 = s*c - 12, -4*x - c + 19 = 0. Is x a prime number?
False
Let l be (4/6)/(2/6). Is (-223)/((-2)/(4/l)) a prime number?
True
Let q(k) = -162*k - 5. Is q(-2) prime?
False
Let l(j) = 4*j**3 + 3*j**2 - 2*j - 2. Is l(3) prime?
True
Suppose 0 = u + u + 3*i - 508, 2*u = -i + 516. Let l = -183 + u. Is l composite?
True
Let q(s) = -s**3 - 7*s**2 + 1. Is q(-10) a composite number?
True
Is (-11*3)/(-3 - -2) prime?
False
Let a be 4/(-2) + -4 + 6. Let n(d) = -d**3 + d**2 + d + 53. Is n(a) composite?
False
Let u = -3 + -5. Let g be ((-212)/6)/(u/12). Suppose -g = k - 2*k. Is k composite?
False
Let f(h) = h**2 + h - 11. Let v(p) = p**2 + p - 11. Let c(g) = -4*f(g) + 3*v(g). Suppose -n - 3 = -4*s, -5*n = 4*s - 2*s + 15. Is c(s) a composite number?
False
Suppose 5514 = 4*z - z. Is z/14 - 8/28 a prime number?
True
Let a(v) = -v**3 - 4*v**2 - 2*v. Let z be a(-6). Is 44*(z/(-16))/(-7) a composite number?
True
Let a be (-10)/(-20)*(-1)/((-2)/528). Suppose v - 73 = 2*v + 2*p, -4*v - 4*p = 296. Let j = v + a. Is j a composite number?
True
Let n(t) = -448*t**2 + t. Let z be n(-1). Is 8/(-4)*z/2 a composite number?
False
Let p = 180 - 91. Suppose -2*u + 3*u - p = -4*d, -u + 111 = 5*d. Is d prime?
False
Let t(l) = -l**3 - 2*l - 5*l**2 + 0*l**3 + 7 + 0*l**2. Is t(-6) composite?
True
Is (((-4146)/(-4))/(-3))/(-1)*2 composite?
False
Let g(k) = k + k - k + 0. Let z(a) = -5*a - 2. Let o(h) = -6*g(h) - z(h). Is o(-5) a prime number?
True
Suppose 3*w = 5*c - 827, 3*c - w = 2*w + 501. Let x = c + -94. Is x composite?
True
Suppose 0*g + 3*g = n + 5684, 15 = -3*n. Is g a composite number?
True
Let o(m) = m**3 - 5*m**2 + 3*m + 4. Let n be o(4). Suppose 2*i + i - 111 = n. Is i a composite number?
False
Let n(t) = -t**2 - 4*t + 7. Let a be n(-3). Suppose -2*y = 2*y - 208. Suppose y = 2*l + a. Is l a composite number?
True
Let v = 1066 - 27. Is v composite?
False
Suppose 0 = -3*j - 2*j + 3*z + 8261, j = -5*z + 1641. Is j a prime number?
False
Let s be 33/4 - 1/4. Is s/(-12) + 11/3 composite?
False
Suppose v + 2*v = 12. Let k = v - 5. Is 3 + k + (1 - -12) prime?
False
Let n(z) = 15 - z + z**2 - 15. Let r(v) = v**3 - 4*v**2 + 6*v + 4. Let t(q) = 4*n(q) + r(q). Is t(3) composite?
False
Let u(t) = 2*t + 62*t**2 + 2*t + 1 + 30*t**2 - 6*t. Is u(2) composite?
True
Let d be (10 + 2)*(-1)/(-3). Suppose d*z - 28 = 4*a, 0 = 5*z + 2*a + 14 - 70. Suppose 27 = q - z. Is q a composite number?
False
Let y(g) = 28*g + 3. Let o(u) = 27*u + 4. Let l(a) = -2*o(a) + 3*y(a). Is l(1) prime?
True
Let t be (-4)/16 - (-2)/8*-119. Let a(j) = 8*j**3 + 2*j - 1. Let n be a(2). Let v = n + t. Is v a composite number?
False
Let r(w) = w**3 - 8*w**2 + w - 4. Let d be r(8). Suppose -d*b = -p + 3*p - 516, -397 = -3*b + p. Is b prime?
True
Suppose 0 = -4*m - 5*w + 255, 0 = m + 2*w + 19 - 85. Suppose -u - 2*u = m. Is (-1095)/u + (-2)/(-8) prime?
False
Is (1 - 0)*(-13 - -1004) a prime number?
True
Suppose 2*z = -2*z + 8. Suppose 34 = j - 4*d + z*d, -j + 30 = -4*d. Is j a composite number?
True
Suppose -24 = -5*j - 4. Suppose 2*m = j*m - 222. Is m composite?
True
Let l = 474 + -259. Is l prime?
False
Let y(k) = 3*k. Let u be y(1). Let j(i) = 3*i + 1. Is j(u) composite?
True
Let d = -14 - -22. Let h be (-2)/d + (-65)/(-20). Suppose 0 = 2*z - h*z + 19. Is z prime?
True
Let u be 371/77 - (-4)/22. Suppose -2*n + 230 = -0*n + 2*y, u*n - 573 = -4*y. Is n composite?
False
Let k(y) = y**2 - 8*y - 12. Let z be k(10). Let j(p) = z - p - 1 - p. Is j(-7) composite?
True
Suppose -w = -5*w - 4, -7 = -2*p + 3*w. Is p + 63 + (-2)/(-1) composite?
False
Suppose -w - 3745 = -4*g + 126, -2*g = w - 1931. Is g composite?
False
Let l(f) = -35*f**2 + 3*f + 2. Let t be l(-2). Let u = t - -292. Let b = -89 + u. Is b a prime number?
True
Suppose -3*p + 7*p - 10856 = 2*d, 3*d - 13592 = -5*p. Suppose -p - 35 = -3*x. Is x prime?
False
Suppose -4*v + r + 24 = 3*r, -3*v + 18 = 2*r. Let y = v + 3. Suppose u = -0*u + y. Is u composite?
True
Suppose 0 = 5*w + 3*n - 2*n - 55, 35 = 4*w - n. Let r(x) = x**3 - 8*x**2 - 10*x - 7. Is r(w) composite?
True
Suppose 3*v + v - 9 = 5*i, 4*v - 3*i = 7. Is (115/20)/(v/20) prime?
False
Is (555 - -2)*1 + -4 a composite number?
True
Let b be 40/16*(-4)/(-5). Suppose 5*i - 5*x - 290 = 60, i - 73 = 4*x. Suppose -t + i = b*t. Is t composite?
False
Suppose i + 29 = 5*r, 0*r - 2*i = -2*r + 10. Is (447/r)/((-2)/(-4)) prime?
True
Suppose -2*v = -7 - 7. Is v a prime number?
True
Let t = -195 + 292. Is t composite?
False
Let h(o) = 15*o**2 + 7*o - 7. Is h(3) prime?
True
Let r(m) = 10*m**2 - 2*m - 2. Let z be (-4)/(1 - -1 - 4). Let a be r(z). Suppose 2*t - t = a. Is t a composite number?
True
Let v = 97 - -34. Is v a composite number?
False
Let w(b) = 110*b**2 - b - 4. Is w(3) prime?
True
Suppose 18 = -2*m + 5*y + 95, 0 = -m - y + 49. Is m composite?
True
Let k(o) be the third derivative of -o**5/30 + o**4/24 + o**3/3 + 2*o**2. Let z be k(2). Let y(f) = -54*f + 1. Is y(z) a prime number?
False
Let w(q) = -11*q**3 + 3*q**2 + 5*q - 2. Is w(-3) prime?
True
Let c(i) = i**3 - 14*i**2 - 15*i - 2. Let r be c(15). Let w(j) = -95*j - 3. Is w(r) composite?
True
Let u = -28 + 42. Let w(z) = z - 2. Let b be w(5). Suppose -b*f + 16 = -u. Is f a composite number?
True
Suppose -x = -6*x. Let p be x + 4*(0 + -2). Let v = p - -23. Is v prime?
False
Is 6477/2*(-6)/(-9) a prime number?
False
Let f be 1*(1 - 2) + 3. Suppose f*i - 12 - 154 = 0. Is i a composite number?
False
Let y = -1 - 2. Let b = 28 - y. Is b prime?
True
Let r = 41 + -93. Let y =