 z composite?
True
Let y(b) be the third derivative of b**5/60 + b**4/6 + b**3/3 + 3*b**2. Is y(7) prime?
True
Let w(q) = -17*q + 15. Is w(-10) composite?
True
Suppose -3*k + 5*v + 114 = 0, 0 = -2*k - v - 22 + 98. Let c = 17 - k. Is ((-8)/(-6))/((-2)/c) composite?
True
Let v be (1 - 3) + -1 + 5. Is (-4 - -139) + -1*v a prime number?
False
Let x(m) = -87*m**3 - 2*m**2 + 2*m + 1. Is x(-2) prime?
False
Suppose -5*s + 10775 = 5*i, 2856 = -3*s + 4*i + 9349. Is s prime?
False
Let b = -174 - -883. Is b composite?
False
Let l(j) = 15*j - 3. Let d(k) = 15*k - 3. Let t(f) = -3*d(f) + 2*l(f). Let i be t(-8). Suppose -m + i = 4. Is m a prime number?
False
Let b = 241 + 858. Is b a prime number?
False
Let f(c) = 9*c**2 - 13*c + 11. Is f(12) prime?
True
Let l(r) = 2*r**3 + r**2 - r. Let m be l(1). Suppose m*f = 4 + 10. Let h = 16 - f. Is h composite?
True
Let s(f) = -6*f - 6. Let b(k) = 5*k + 7. Let u(i) = 5*b(i) + 6*s(i). Is u(-6) a prime number?
False
Let z = 85 - 48. Is z composite?
False
Suppose -15 = -2*x - x. Suppose -2*b - o + 4*o = -17, 20 = x*b - 3*o. Suppose 46 = 3*t + 5*v, b = 2*v - 9. Is t a prime number?
True
Let z = 33 + -58. Let x = z + 68. Is x a prime number?
True
Suppose 5*j - f - 74 = 193, 6 = -3*f. Let w = j - -42. Is w composite?
True
Let u be ((-14)/3)/((-1)/3). Is (u/7)/(1/23) composite?
True
Let g be 1/(-2) - 718/(-4). Let p = g - 82. Is p a prime number?
True
Suppose 5*y - 2*w = -938, 2*w + 0*w - 8 = 0. Let l be y + 0 - (2 - 5). Is 0 - 1 - (l + -3) prime?
False
Is (69/18*-4)/((-4)/354) prime?
False
Suppose 5*p + 3*u = 2383, -4*p + 1896 = -0*p + 5*u. Is p prime?
True
Let v(k) = 21*k**3 - 5*k**2 + 4*k - 7. Is v(3) composite?
True
Suppose -o + 3*l = -397, 5*l + 151 = -o + 580. Is o a prime number?
True
Let h(v) = -26*v**3 - 7*v**2 + 7*v - 5. Is h(-6) a prime number?
False
Suppose -9*g = -7*g - 354. Is g a prime number?
False
Let p be (-11)/33 - (-3884)/6. Let z = p + -398. Is z a composite number?
True
Let o(w) = 21*w**2 - w - 1. Is o(-3) prime?
True
Suppose 0*f + 2*f = -4*w + 6466, 0 = -2*f - 3*w + 6469. Is f a composite number?
True
Let y be 145 - 3*(-2)/(-6). Let c(a) = -a**2 + 4*a + 1. Let b be c(-4). Let z = b + y. Is z a composite number?
False
Let j = -44 + 79. Is j composite?
True
Let m = 6 - 1. Suppose 7 + 13 = -m*h. Is (h + 17)*(0 + 1) composite?
False
Let z(x) = x**2 + x - 2. Let p be z(-3). Is (184/p)/((-2)/(-5)) prime?
False
Let m = 581 - -1266. Is m prime?
True
Suppose 4*a - 24 = 2*r, -2*r + 13 = a - 6*r. Suppose a*g + h - 423 = 0, 8 = g + 5*h - 67. Is g a prime number?
False
Let c(x) = -x - 5. Let b be c(-7). Suppose -3*q = -b*q - 152. Let i = -87 + q. Is i a composite number?
True
Let a(m) = -m**3 + 5*m**2 + m. Let d be a(5). Suppose -5*j - 10 = 0, 34 = d*k - 2*j - 15. Is k a prime number?
False
Let d be (1 + -34)*(9 + -8). Let h = 86 + d. Is h composite?
False
Suppose -16 = -5*g - 2*i, 10*i - 21 = -3*g + 5*i. Is g prime?
True
Is 3980/(20/5) + 4 + -2 composite?
False
Suppose -647 = -3*v - 74. Is v a composite number?
False
Let i(b) = b**2 + 5*b - 5. Let h(o) = -4 - 2*o**2 - 7*o**3 + o**2 + 3 - 2*o. Let a be h(-1). Is i(a) a prime number?
True
Let l be ((-2)/4)/(1/(-4)). Suppose -l*z + 34 + 60 = 0. Is z prime?
True
Let k(s) = -s**3 + 5*s**2 + 4*s - 5. Let h(c) be the second derivative of c**4/6 - c**3/6 - c**2/2 - c. Let o be h(2). Is k(o) composite?
True
Let d be 1 + 0 + 32/4. Let q = d - -5. Suppose 5*g = -q + 49. Is g a composite number?
False
Let d(h) = h + 6. Let i = 1 + -1. Let g be d(i). Is 314/(-3)*(-9)/g a prime number?
True
Suppose 2*r = -0*r - 6. Suppose 0 = -0*m - 4*m + 16. Let g = m - r. Is g a composite number?
False
Let h = 33 - 18. Is (-3)/h - (-744)/20 a prime number?
True
Let w(h) be the second derivative of 7*h**3/6 - 3*h**2/2 + 5*h. Let k(d) = -3*d - 4. Let q be k(-4). Is w(q) a prime number?
True
Suppose 4*c + 44 = 4*t, 2*c - 4 = -0. Let s = t - 6. Is s a prime number?
True
Suppose -5*c - 1239 = -269. Is (-3)/(-2)*c/(-3) composite?
False
Suppose 170 = 3*l + 5*w, 2*l - 3*w - 235 = -90. Is l prime?
False
Let f(q) = -2*q - 7. Let v be f(-5). Suppose g - 308 = -v*g. Is g a composite number?
True
Suppose -2*q = -q + 3*c - 8, -4*q = -4*c. Suppose -3*o + 259 = -r + q*r, 0 = o - 2. Suppose -6*w + 324 = -2*w + 2*l, 3*w = -4*l + r. Is w prime?
True
Let u = -9 - -22. Is u prime?
True
Suppose 3*t = 15 + 3. Is (-2)/(-3) - (-110)/t prime?
True
Suppose -6*q + 15*q - 37809 = 0. Is q prime?
True
Let k be (8 + -7)/(1/22). Is k/4*(5 - -5) composite?
True
Is (28/(-6))/(2/(-3)) a composite number?
False
Let z be 1/(3/3) + 396. Is (-1 + 1)/(-2) + z a composite number?
False
Let w(q) = 2 + 6 + 100*q - 85*q - 1. Is w(8) composite?
False
Let w = 4 + 34. Suppose 6*x - 4*x = w. Is x a composite number?
False
Let i(t) = 8*t**2 + 16*t - 1. Is i(-17) prime?
True
Let s(g) = -g + 107. Let m(p) = 2*p - 213. Let y(d) = 2*m(d) + 5*s(d). Let l be y(0). Let f = -72 + l. Is f a composite number?
False
Let v be (9/6 - 2)*2. Let k(x) be the first derivative of 32*x**3/3 + x**2 + x + 4. Is k(v) a prime number?
True
Suppose -k - 40 = 5*v, -3*v - 10 = k + 12. Let u(p) = -9*p - 2*p**3 - p**2 + p**3 - 6*p**2 - 8. Is u(v) a prime number?
False
Let m = 445 + 96. Is m a composite number?
False
Let w be 1 - 5/((-15)/(-9)). Let c(i) = 19*i**2 - i + 1. Is c(w) a composite number?
False
Let d(r) = -5*r**2 - 3*r - 7. Let l be d(-6). Let z = 284 + l. Is z prime?
False
Let h be (12 - -1)*24/(-4). Let s = -56 - h. Is s a prime number?
False
Suppose -12 = -5*w + 8. Suppose -2*t = -7*t - o + 283, 0 = -w*o - 8. Is t prime?
False
Suppose -5*y = 2*q - 538 - 444, -2*q = -5*y - 1002. Let r = q - 311. Is r composite?
True
Suppose r = 4*p + 28, -r - 3*p = 2*r - 24. Is (-654)/(-10) - r/30 a prime number?
False
Suppose 5*a + 520 = 1235. Is a a composite number?
True
Let p(q) = q - 1. Let u be p(0). Let c(f) = -5*f - 1. Let g be c(u). Suppose -4*z = 5*h - 97, 0 = g*h - 2*z - 3*z - 94. Is h a composite number?
True
Let b = 0 + -2. Let q be 33 - 2 - (-6)/(-3). Let u = q - b. Is u a prime number?
True
Suppose 0 = -7*f + 4*f - 18. Let h be 2/6 - 94/f. Suppose 2*c + h = 6*c. Is c a prime number?
False
Let q(k) = -2*k**3 - 3*k**2 + 2*k + 1. Let u be q(-4). Suppose -5*y - 2*t - 4 = 0, 3*t + 3 = 2*y + 16. Let z = u + y. Is z a composite number?
False
Let y(n) = n + 11. Let o be y(-7). Suppose -5*a + 0*a = -4*h + 19, -31 = -h - o*a. Is h prime?
True
Suppose -2*f - 5*t + 96 = 0, -f + 5*t = -0*f - 63. Is f a prime number?
True
Suppose 5*k - 587 = 4*k. Is k prime?
True
Let m(k) = 8 + 26 + 2*k + 5 + 14. Is m(0) composite?
False
Suppose 4*k + 226 = 6*k. Is k a composite number?
False
Let t(b) = 10*b + 3. Suppose 4*w = 12, 3*w + 27 = y + 3*y. Is t(y) composite?
True
Let w(i) = 4*i + 1. Let p be w(1). Suppose 3*x = -p*f - x - 679, -272 = 2*f + 2*x. Is f/(-2) + (-2)/4 composite?
False
Suppose 4*i = 7*l - 2*l + 15, -2*i - 4*l + 14 = 0. Suppose -3*a + 46 = i*m, 4*a - m + 3*m = 38. Is a prime?
True
Let r be ((-4)/(-3))/(16/168). Suppose 2*h + 2*h = o + r, -o = 2*h - 10. Is h composite?
True
Suppose -6 = -b + 3*b. Let j(a) = -7*a**2 + 4*a + 2. Let d(c) = -4*c**2 + 2*c + 1. Let g(n) = -5*d(n) + 2*j(n). Is g(b) composite?
False
Let r(u) be the second derivative of u**5/20 - 7*u**4/12 + u**3 + u**2/2 - 2*u. Let l be r(6). Let t(m) = 38*m**2 - 2*m + 1. Is t(l) a prime number?
True
Let q(f) = 3*f - 6*f + 2*f. Let w be q(-6). Let j(k) = 3*k + 1. Is j(w) a composite number?
False
Let x be ((-2)/4 + 0)*-12. Is 178/3 - 2/x composite?
False
Let y = 105 + 353. Is y a composite number?
True
Let p(c) = -c**3 - 10*c**2 - 16*c - 15. Is p(-10) a composite number?
True
Let m be 1122/5 + 8/(-20). Suppose -5*v + 699 = m. Is v composite?
True
Let d be (-4)/(-10) + (-7020)/(-75). Suppose -2*k = -4*p - d - 140, 5*k = -5*p + 660. Is k a composite number?
False
Let f(r) be the first derivative of -3*r**2/2 + r + 10. Is f(-12) a prime number?
True
Let d(b) = 8*b**2 + 32*b + 11. Is d(-7) prime?
True
Let s = -13 - -7. Let i = s + 9. Suppose -v = i*n - 252, 0 = 5*v - 0*v - 15. Is n prime?
True
Suppose -4*l = -3*l + 2, 5*x - 3*l = 7361. Is x prime?
True
Suppose 5*g - 540 + 85 = 0. Is g a composite number?
True
Suppose a - 4*a = -21. Suppose a*b - 177 = 4*b. Is b a prime number?
True
Let i(z) = -8*z - 1. Let j(u