 = 23 + q. Is w a composite number?
True
Let b(p) = -p + 8. Let u be b(4). Let h(f) = -f**2 + f + 6. Let v be h(5). Is u/v + (-387)/(-7) composite?
True
Let h(w) = 3*w**2 - 2. Let k(l) = -l**3 + 5*l**2 + 6*l - 3. Suppose 2*b - 6 = a + 5*b, 4*b + 16 = 0. Let s be k(a). Is h(s) a prime number?
False
Let i(h) = 76*h + 17. Is i(6) composite?
True
Let k be 2/5 + (-2904)/(-15). Let w = k - 135. Is w a prime number?
True
Suppose -f = 2*p - 9562, -p + 4*f + 2921 = -1878. Is p a prime number?
True
Let z(q) = q**2 - q + 13. Let i be z(0). Let d = i - 39. Let o = 9 - d. Is o a prime number?
False
Suppose 2*o = -o + 999. Let l = o + -190. Is l composite?
True
Suppose 0 = h - 15 + 2. Is h prime?
True
Suppose 263 - 54 = p. Is p composite?
True
Suppose 4*l = -3*g + 4, -3*g + 4*l - 2 = 2*l. Let k(p) = 4*p + 9. Let j be k(7). Suppose -w + j = -g*w. Is w prime?
True
Suppose i - 84 = 5*p, 5*i + 0*i - 336 = 4*p. Suppose 3*o = 5*z + 101, -2*o + i = -4*z - z. Is o a composite number?
False
Suppose b - 33 = -4*c, -5*b + 2*c + 142 = -c. Suppose -3*q - 3*v + 210 = 0, -b = -q + 5*v + 23. Is q composite?
False
Let j(q) = q**2 + q - 2. Let f be j(0). Let r(i) be the third derivative of -i**6/120 - i**5/30 - i**4/12 - i**3/6 - 2*i**2. Is r(f) prime?
True
Suppose 0 = -g + 3, g - 11 = -4*q + 2*q. Let o be (-35)/(-2) - q/8. Let n = -3 + o. Is n composite?
True
Let h = 3 + 1. Let c be -2*(-1 - 6/h). Suppose -3*n - 14 = -c*n. Is n a prime number?
True
Let g = 6 + -3. Let q(z) = -3*z - g*z + 4*z + 14*z**2 - z + 3. Is q(2) a composite number?
False
Suppose 10 = -3*x - 14. Let u(i) = -i - 1. Is u(x) composite?
False
Let j(z) = -288*z**3 - 2*z**2 + 1. Is j(-1) a composite number?
True
Suppose 0*k - k - 6 = 0. Let y(h) be the third derivative of h**6/120 + h**5/10 - h**4/12 - 3*h**3/2 + 3*h**2. Is y(k) a prime number?
True
Let d be 4 + -3 + 1 + -3. Suppose 2*j - 2*y + 6*y - 2 = 0, -j + 17 = -2*y. Is (-2 - j)/d - 1 prime?
False
Let y = 156 - 89. Is y prime?
True
Suppose -4*a + 4*v - 2*v = 0, -2*a = -2*v. Let m(g) = g**2 - g + 34. Is m(a) a prime number?
False
Suppose -3 = b - 4. Let x = b + 2. Suppose 5*m - x*u - 42 = 0, m - 6*m - 5*u = -10. Is m prime?
False
Let m = 52 - 24. Suppose b + 9 - m = 0. Suppose j + 0*j - b = -r, j - 24 = -2*r. Is j a composite number?
True
Suppose -4 = 4*k, w + 2*k = 2*w - 4. Suppose -w*p = 3*p - 20. Is -4*((-135)/p - -2) prime?
True
Suppose 2*j - 6 = 0, -5*r - 5*j = -2162 - 88. Is r a prime number?
False
Let m(a) = 398*a - 5. Is m(2) composite?
True
Let z(u) = 163*u**3 + 5*u**2 - 6*u + 3. Is z(2) composite?
True
Let x(o) be the first derivative of o**3 - 2*o**2 - o - 1. Suppose 2 = 2*i - 6. Is x(i) a prime number?
True
Suppose -x = -2*x. Suppose x = -n - 7 + 18. Is n prime?
True
Let t(y) = -2*y**3 - 10*y**2 + 10*y - 5. Is t(-8) prime?
False
Suppose -3*i = -4*r + 3 + 8, -4*i + 37 = 5*r. Suppose i*h + 285 = u + 2*h, 0 = -3*u + 2*h + 857. Is u prime?
False
Let y(j) = 14*j**3 + j**2 + 2*j - 1. Let s(p) = -p**2 - 2*p + 3. Let i be s(-4). Let l be (-3)/(-1) + i + 4. Is y(l) a composite number?
True
Suppose 0 = 3*v - 4*v + 5*g - 19, 3*v = 3*g + 3. Suppose v*p - 39 = 3*p. Is p a composite number?
False
Let a = 839 - 586. Is a a prime number?
False
Is (-2405)/(-20) + (-6)/(-8) composite?
True
Let s(t) = t**3 + 15*t**2 + 9*t + 3. Is s(-8) prime?
True
Let c = -8 + 11. Suppose -4444 = -5*p + 3*o - 0*o, c*p + 4*o - 2649 = 0. Is p a composite number?
False
Is -1569*(3 + -3 - (-2)/(-6)) prime?
True
Suppose 4*a = -20, -2*v + a + 3*a + 1344 = 0. Is v prime?
False
Let q(x) = -3 + 3 - 53*x. Suppose -5*z = -12*z - 7. Is q(z) prime?
True
Let x(b) = -2 + b**2 + 4*b - 4*b - b - 3. Is x(-6) a composite number?
False
Suppose 4*v - 3*v - 2 = 0. Suppose -i = v*i - 15. Is i/(-2)*-13*2 a composite number?
True
Let c be -2 - (1 + 1)*-2. Suppose -5*p = 3*h - 426, 0 = p - c*h - 14 - 79. Is p composite?
True
Let h(z) = z**3 - 9*z**2 + 10*z - 11. Let f be h(8). Suppose 0 = 4*d + 2*k - 14, -f*k = -2*d + 3*d - 17. Suppose 0*g - 70 = -d*g. Is g a composite number?
True
Suppose -5*x - 26 = y - 3*y, 4*y - x = 16. Suppose y*s - 327 = -5*d, 3*d - 283 = -5*s + 262. Is s composite?
False
Let i(f) = 23*f**2 - 3*f - 3. Let q be i(-2). Suppose -q = -5*t + 4*t. Is t composite?
True
Let f be (1 + -2)*(0 - -16). Let w = f + 101. Is w prime?
False
Let g(c) = -c**3 - 6*c**2 + 7*c. Suppose -w = -1 + 8. Let f be g(w). Suppose f = 2*y - y - 305. Is y composite?
True
Let j be ((-6)/(-9))/(5/(-15)). Let l(i) = -205*i + 3. Is l(j) composite?
True
Let b(s) = s - 8. Let d be b(12). Suppose 0 = d*x + n + 4*n - 320, -4*n + 239 = 3*x. Is x a prime number?
False
Let z = -242 - -523. Suppose -1396 = -5*a - z. Is a a composite number?
False
Is 1/10*424*(-5)/(-2) prime?
False
Suppose -i = 3*p + i - 23, 5*p + i = 29. Suppose 0 = p*r - 32 - 18. Is r a composite number?
True
Let h(l) = 74*l - 3. Is h(4) a prime number?
True
Let y(o) = -66*o. Let h be y(-1). Let u = h + 13. Is u a prime number?
True
Let j be 1*(2 + -1)*26. Is (5 - 2)*j/6 composite?
False
Let f = 13 - 18. Let q(x) = 7*x**2 + 5*x + 7. Is q(f) composite?
False
Let i be (-1)/4 - 2/(-8). Suppose i*f = -2*f + 194. Suppose -k + f - 20 = 0. Is k a composite number?
True
Let v(h) = 29*h**2 + 10*h - 2. Is v(-5) a prime number?
True
Let r(i) = -3*i**2 - 7*i - 2. Let s(v) = v**2 - 1. Let a(x) = -r(x) - 4*s(x). Let l be a(5). Suppose 5*f = 3*g - 47, g + 4*f - 11 = l. Is g composite?
False
Let f(n) = -n + 3. Suppose -16 - 19 = -5*y. Let w be f(y). Let p = w + 10. Is p prime?
False
Let w be ((-2)/(-4))/((-3)/264). Let b = w + 97. Is b prime?
True
Suppose -5*c - 10 = q, -3*c + 3*q + 11 = 7*q. Is (c + 25)/(1 + 1) composite?
False
Suppose 2*v = 10, -7*m + 549 = -5*m - 5*v. Is m prime?
False
Suppose -3*x + 2111 = -0*x + n, -5*n - 3505 = -5*x. Is x a composite number?
True
Suppose -20*c = -17*c - 7185. Is c a composite number?
True
Suppose b - 13 - 1 = 0. Is b a prime number?
False
Suppose 4*n = -168 - 92. Is ((-12)/3)/(-2) - n a composite number?
False
Suppose 96 = 4*f - 3*l, 3*f - 2*l = -f + 96. Suppose 4*v - 3*q = f, -3*q - 14 = -2*v - q. Is v/(-4) + 405/12 a composite number?
True
Suppose 4*x - 10 = -34. Let z(l) = -l**3 - 4*l**2 + 8*l + 1. Is z(x) prime?
False
Suppose -6304 = -2*b - 2*b + 2*j, -3*j = 2*b - 3136. Is b a prime number?
False
Let d be 0/(-2) + (-13900)/(-4). Suppose 5*a = -690 + d. Is a composite?
False
Let w = -185 + 522. Is w composite?
False
Let w be -54*-1*39/6. Is w/6 - 1/2 composite?
True
Suppose 6*a + 2*g = 4*a + 690, a - 357 = 5*g. Is a a composite number?
False
Let r(o) = -56*o + 1. Let h be r(-1). Suppose -2*j - j = -h. Is j a composite number?
False
Let k(o) be the third derivative of -61*o**4/6 - o**3 + o**2. Let i be k(-5). Is i/22 - 4/22 a composite number?
True
Let v = 1729 - 851. Is v a composite number?
True
Let q(i) = -1. Let r(n) = 6*n - 8. Let o(b) = 3*q(b) - r(b). Let j(v) = -v. Let f(h) = 2*j(h) - o(h). Is f(6) a prime number?
True
Suppose 0 = -10*x + 5*x + 5. Is (-250)/(-2) - -2*x a composite number?
False
Is (-6)/(-21) + (0 - (-12297)/7) prime?
False
Suppose 3*v = 2*v + 49. Is v a composite number?
True
Let d(b) = b**2 + b - 1. Let h be d(-5). Let q = h + -12. Let m(r) = r**2 + 9. Is m(q) a prime number?
False
Suppose -57 = -k - 4. Is k a composite number?
False
Suppose -9*q = q - 13990. Is q prime?
True
Suppose -5*m + m + 4*k - 4 = 0, -3*k + 3 = 2*m. Let y(r) be the third derivative of -r**6/120 + r**5/60 - r**4/24 + r**3 + 2*r**2. Is y(m) composite?
True
Suppose 4*c + 10 - 94 = -r, -5*c = r - 105. Is 16620/c - 15/35 a composite number?
True
Suppose -3*r = -3*w - 357, 2*r - 91 = 3*w + 147. Is r a prime number?
False
Let x(u) = 29*u**2 - 2. Is x(-3) prime?
False
Suppose 4*h = 5*v - 31, 5*v - 4 - 7 = -h. Suppose -58 = -d - 5*z, 5 + 0 = z. Suppose v*x - 138 = -x + r, -x = -r - d. Is x a composite number?
True
Let a(g) be the first derivative of 4*g - 7/2*g**2 + 2/3*g**3 - 1. Is a(5) composite?
False
Let b(z) = 4*z**3 - 4*z**2 + z - 5. Suppose -2*w = -w - 4. Is b(w) prime?
True
Suppose -n - 24 - 63 = q, 186 = -2*q + n. Let v = q + 158. Is v prime?
True
Let d = 5 + -2. Let j(h) = -h**3 + 5*h**2 - 3*h - 2. Let f be j(d). Let a = f - -39. Is a a composite number?
True
Let j(f) = -2*f**3 - 6*f**2 - 8*f - 1. Is j(-6) prime?
True
Let g(j