 z composite?
False
Let d = 4 - 2. Let y be (0 - 5)/(-2 - -1). Suppose d*r = y*r - 987. Is r a composite number?
True
Suppose 0 = -2*u - 75 + 21. Is (236/6)/((-18)/u) prime?
True
Suppose 0 = -2*z + o + 2364, 5*o = -0*z - 3*z + 3533. Is z a composite number?
False
Suppose 8 = 4*y - 0. Suppose -y*q = 4*z + 128, 5*z + 106 + 67 = 4*q. Let u = -7 - z. Is u composite?
True
Let u be 8/(-6)*6/(-4). Suppose -b + 66 = u*m - 10, 3*b - 3*m - 219 = 0. Is b a prime number?
False
Suppose -4*t - 270 = -5*s, 0 = 2*t - 4*t + 10. Suppose 5*z + 58 = 173. Let v = s - z. Is v a prime number?
False
Let x(i) be the first derivative of 0*i - 1/2*i**2 + 0*i**3 + 3 + 55/2*i**4. Is x(1) a composite number?
False
Let w(q) be the third derivative of 7*q**5/60 - q**4/12 - q**3/2 - q**2. Let l be w(-4). Let b = 172 - l. Is b composite?
True
Let s(c) = -c + 4. Let l be s(4). Suppose -n + 33 = -4*n - v, l = -5*n - 4*v - 48. Is 166/12 + (-2)/n composite?
True
Let a be (-4 - -4) + (1 - -1). Suppose -5*v - 135 = -j - v, -a*j + 240 = -2*v. Is j a prime number?
False
Let k(a) = 3*a - 5. Let c be k(8). Suppose -3*i + o + 57 = 4*o, c = i - 5*o. Is i a prime number?
True
Let d(o) = -23*o + 1. Let k be d(-2). Let x = 15 + -27. Let a = x + k. Is a a prime number?
False
Let v = 1 + -2. Let o be 2 + (-3)/v - -2. Is (-4)/(-14) + 131/o prime?
True
Is (-1814*2)/((-6)/3) a composite number?
True
Suppose -4*d - 199 = -579. Is d prime?
False
Let z = 2 + -3. Let y be (-2)/2*3*z. Is y/(3/1) - -20 composite?
True
Let q(w) = -w**2 - 9*w - 9. Let g be q(-8). Let n be 2 - (-1 + 809)/g. Suppose 5*b - m = -2*m + n, 2*m = -10. Is b prime?
True
Let a be (4/10)/((-2)/(-20)). Suppose -a*x + 345 = x. Is x a composite number?
True
Suppose 4*h - 4 = -0*h, -2*b = 3*h - 181. Is b a prime number?
True
Suppose 4*j + 40 = -j. Let i = 1 - j. Is i prime?
False
Let v(c) = c**3 - 9*c**2 + 10*c - 12. Let u = -1 + 9. Let z be v(u). Suppose -z*g + 95 = g. Is g composite?
False
Is (126/27)/((-2)/(-6)) a composite number?
True
Let g(r) = -r - 10. Let c be g(-9). Let f(y) = 258*y**2 - y. Is f(c) a composite number?
True
Suppose 0 = -0*v - 5*v - 10, -3*q = -5*v - 22. Suppose -q*l + 155 = -49. Is l a composite number?
True
Suppose -9*g = -322 - 371. Is g prime?
False
Let p(q) = 64*q - 1. Is p(3) a prime number?
True
Let y = 9 - 4. Let s(o) = o - 1. Let v be s(y). Suppose 107 = v*m + m - 3*t, 4*t - 41 = -3*m. Is m a prime number?
True
Suppose -8*o + 5589 = 125. Is o composite?
False
Suppose -4*m = -4*q + 260, -3*m + 16 + 104 = 2*q. Let a = 139 - q. Suppose 0 = -0*b - 4*b + a. Is b a prime number?
True
Suppose 5*g - 176 - 59 = 0. Is g a composite number?
False
Let a = 6 + -3. Suppose -3*y = -x + 113, 7*x - a*x - 2*y - 452 = 0. Is x composite?
False
Suppose 2*m - 4*b - 929 = 165, 0 = -m - 5*b + 582. Is m prime?
True
Suppose -5*a + 3*h = 1183 - 9958, 0 = -2*a + 5*h + 3491. Suppose 0 = 7*d - d - a. Is d prime?
True
Suppose f = -4*i + 507, 0 = i - 0*f + 3*f - 124. Is i a prime number?
True
Let c(k) = 115*k**2 - k + 11. Is c(4) a composite number?
False
Suppose -50 = -2*h + 16. Is h a composite number?
True
Let r(n) be the second derivative of 11*n**7/2520 + n**5/60 - n**4/3 - n. Let d(x) be the third derivative of r(x). Is d(-2) a composite number?
True
Suppose 4*p = -21 - 3. Let g(z) = z**2 + 13*z - 6. Let a be g(p). Is (0 - -2) + a/(-2) a composite number?
True
Suppose 3048 + 6137 = 11*h. Is h a prime number?
False
Let l be (-2)/(-7) - (-26)/7. Suppose 475 = l*j + j. Is j composite?
True
Suppose 1959 - 191 = 8*a. Is a a composite number?
True
Let r = 1 - -3. Suppose r*t + 1927 = 9627. Is t/20 + (-3)/(-4) composite?
False
Suppose -4*f + 2*s = -20, f + 7 = 3*s + 2. Suppose 4*z + f = 51. Suppose -z = 3*q - 2*q - 5*i, 5*i - 56 = -4*q. Is q a composite number?
True
Suppose -a + 285 = 5*l + 56, -l - 5*a + 65 = 0. Let h be (-2 - l/(-2))*12. Suppose -2*c + 151 = -5*z, 6*c - 3*c - z = h. Is c composite?
False
Let k be 3/(-6) - 22/(-4). Suppose 0 = 4*w + k*b - 141, -3*b + 7*b - 4 = 0. Is w a composite number?
True
Let b(l) = l**3 - 2*l + 6. Is b(9) a prime number?
False
Suppose 0 = -3*t + 4*y - 7*y + 60, 5*y = 3*t - 36. Suppose -5*i - t = -q, 5*q + 35 = -2*i + 228. Is q composite?
False
Let i(h) = h + 8. Let s be i(-6). Suppose -184 - 814 = -s*j - 4*n, -4*j = -5*n - 2035. Is j prime?
False
Let f(s) = s**2 - 2*s - 5. Is f(6) composite?
False
Suppose -20 = 5*b, 2*b = 4*c - 0*b - 20. Suppose -4*n + 134 = -i, c*n - n - 76 = 5*i. Is n composite?
True
Let n = -3619 + 5118. Is n a prime number?
True
Let x(d) = d**2 + 1. Let p be x(2). Suppose p*a = 4*b + 387, -b = -2*a + 141 + 15. Is a prime?
True
Suppose 5*g - 3*g - 4*u - 14 = 0, 0 = 2*g - 2*u - 12. Suppose g*c - 4*c = 0. Is (-19)/((-1 - c) + 0) a prime number?
True
Let s(c) = c**3 - 9*c**2 - 14*c - 9. Is s(11) prime?
True
Is (1/3)/(8/7176) a prime number?
False
Let a(o) = -o**3 + o**2 + o. Let u be a(-1). Let m = -6 + u. Is (-51)/m - (-1)/(-5) prime?
False
Let l(b) = 25*b**2 + 3*b + 3. Is l(3) composite?
True
Suppose 5*r + 391 = 3*l, 4*r = 2*l - 4*l + 224. Is l a prime number?
False
Let k = 81 + -16. Is k prime?
False
Let g be 1 + 0 + 28/(-7). Is g/(6/422)*-1 a prime number?
True
Suppose -283 = 2*a - 703. Suppose 3*u + 1 = 16, -a = -r + 5*u. Is r composite?
True
Suppose -p + 3 = -14. Suppose -5 = -4*f - p. Is 1 - (-1 - f) - -70 a composite number?
True
Let i = -9 - -68. Is i composite?
False
Suppose -3*h = 2*h + 25. Let b = 11 + h. Is (-47)/(-3)*b/2 a composite number?
False
Suppose -k + p = -117, 0 = -5*k - 0*p - 4*p + 594. Suppose -5*s + 3*s - 149 = -5*q, 2*s = 4*q - k. Is q a composite number?
False
Let r(v) = -2*v**3 - 6*v**2 - 25*v + 23. Is r(-14) a prime number?
False
Let x(l) = 5*l**3 + 12*l**2 + 10*l - 7. Let g(j) = 4*j**3 + 11*j**2 + 9*j - 6. Let d(o) = 6*g(o) - 5*x(o). Is d(6) prime?
True
Let v be 3 + (-504)/(-1) - -4. Suppose 85 = 4*p - v. Is p composite?
False
Let x(c) be the third derivative of 3*c**5/20 - c**4/6 + c**3/2 - c**2. Let k = -17 - -19. Is x(k) a prime number?
True
Let a(d) = 3*d**2 - 46*d - 8. Is a(-19) prime?
True
Suppose -3*f + 8 = -7. Suppose 0 = -3*a + 9, 53 = f*y - 2*a - 836. Is y a prime number?
True
Suppose 5*k + 4*z = 45, -3*k - 3*z + 11 = -19. Suppose -3 + 1 = -r + 2*g, -k*g - 15 = 0. Is 1/r - (-9)/4 composite?
False
Let s(y) = 20*y**3 - 2*y**2 - y - 1. Let u be s(-3). Let r be 1*-1*1 - 778. Let a = u - r. Is a composite?
False
Let q(v) = v**3 - 6*v**2 + 6*v - 2. Let l be q(5). Suppose -l*y + 348 = 5*n, -4*y = -2*n - y + 135. Let i = n + -46. Is i composite?
False
Suppose -f - 4 = -6. Is -74*(3/f - 2) composite?
False
Let q = 6 - -37. Suppose -4*s - q = -127. Is s prime?
False
Is (-3 - (-1 - 0))/(5/(-85)) prime?
False
Let i(h) = -h. Let p(b) = 9*b**3 + 8*b + 1. Let s(x) = -5*i(x) - p(x). Is s(-2) a composite number?
True
Is ((-118)/4)/((-5)/10) composite?
False
Suppose -5*h + 537 = 4*f, -3*f + 4*h - 669 = -8*f. Is f prime?
False
Let c be 4/(-6)*(-1 + -182). Suppose -5*p + c = 2*s + 2*s, -p + 32 = -3*s. Let z = p + -5. Is z a composite number?
True
Suppose 5*n + 2*y = 8107, -4*y - 1617 = -n - 0*y. Is n a composite number?
False
Let r(f) = -f**2 - 23*f - 2. Let s be r(-12). Suppose -520 = -4*y + 5*a - s, 3*a + 101 = y. Is y prime?
False
Suppose 3*q + 5*x - 1303 - 3664 = 0, -q + 2*x + 1641 = 0. Is q prime?
False
Suppose -c - 3*v + 0*v = 3, 4*v + 4 = -3*c. Suppose c*y - 4*y + 181 = 5*x, -2*x + 2*y = -58. Is x a composite number?
True
Let y(j) = 44*j**3 - 5*j**2 + 5*j - 7. Is y(3) a composite number?
False
Let x = -8 - -8. Let p(r) = r**3 - r**2 - r + 35. Is p(x) prime?
False
Suppose -y - 2*m + 177 = 0, -5*m = -m. Suppose 3*h + 0*h = y. Is h prime?
True
Let n = 1098 + -409. Is n a prime number?
False
Suppose -475 = -f + 216. Is f prime?
True
Suppose 0 = -3*f - 7*f + 14090. Is f a composite number?
False
Let h be 5 + (1 - 4) + 2. Suppose h*z + 0*z - 16 = 0. Suppose 215 = 4*b + u - 65, 154 = 2*b + z*u. Is b a prime number?
False
Let u be 3*4*7/3. Suppose -2*z + 10 = -5*o + u, -4*o + 3*z = -13. Is (2 - 1)*28/o prime?
True
Let y(z) = -z**3 - 4*z**2 + 3*z - 17. Is y(-13) composite?
True
Let w(r) = 15*r**3 - 3*r**2 - 2*r - 1. Is w(3) a prime number?
False
Suppose -2 = -r + 2*r, -2*i = 3*r + 4. Let n(g) = 61*g**2 - 9*g + 11. Let j(b) = -30*b**2 + 4*b - 5. Let z(y) = 