 9. Is l(4) composite?
True
Suppose -5*c + 14 = -21. Suppose -x - c = -5*a + 18, -2*x + 2 = 3*a. Is a/(-2) - 35/(-1) a prime number?
False
Let r be (-5 + 0)/(-1 + 2). Let k(s) = -s**3 - 3*s**2 + 2*s + 3. Is k(r) a composite number?
False
Let n(s) be the first derivative of -4*s**2 + 9*s + 2. Let c = -7 + 0. Is n(c) a prime number?
False
Let q = 6 - 6. Suppose q = 2*z - 0*z - 4. Is z a composite number?
False
Suppose -3*g - 2*g = -20. Suppose 3*t = -g*l + 668, 305 = t - 5*l + 114. Suppose -5*k + 276 = 5*o - 2*k, -4*o - 4*k = -t. Is o a composite number?
True
Let k = -30 + 44. Is 0 + 743 - (14 - k) a composite number?
False
Let b = -877 + 1584. Is b a prime number?
False
Let d(u) be the first derivative of 11*u**3 + u**2 - u - 2. Is d(1) a composite number?
True
Suppose 63 - 160 = y. Let f = y + 216. Is f a prime number?
False
Suppose -3*s = i - 54, -2*i + 127 = i + 2*s. Is i prime?
False
Let b(p) = p**2 - 5*p + 13. Let d be b(9). Suppose -396 = -5*c + d. Is c a prime number?
True
Let j(d) = 5*d**3 - 2*d**2 - 2*d + 2. Is j(3) composite?
False
Let l = 231 + 322. Is l prime?
False
Is -1 + (-8285)/(-5) + -1 composite?
True
Suppose 17 - 192 = -5*n. Is n a prime number?
False
Let f be (-2724)/(-8) + (-6)/(-4). Let v = -43 + f. Is v composite?
True
Let k(c) = 55*c - 3. Let s be k(3). Suppose s = 5*n - 93. Is n a prime number?
False
Suppose -g = -0*g. Let q be (5 + -8)*(107 - g). Let y = 464 + q. Is y a composite number?
True
Let p(b) = 4*b**2 - 3*b - 7. Let c be p(5). Suppose -3*i - c = -n - 4*i, -2*i - 259 = -3*n. Is n prime?
True
Let u be 1/((-2)/6) + 11. Let x(q) = q**2 + 10*q + 8. Let s be x(u). Suppose 0 = -3*z + s + 7. Is z prime?
True
Let j = -1144 - -2421. Is j composite?
False
Let v(r) = -28*r**2 + 15*r - 11. Let p(w) = -7*w**2 + 4*w - 3. Let s(t) = -9*p(t) + 2*v(t). Let o be s(5). Let l = o + -81. Is l a prime number?
False
Suppose 172 = -3*x + b + 568, 4*x - 5*b = 539. Suppose -5*t = -x - 144. Is t composite?
True
Let h(m) = 53*m**2 + m + 1. Let a be 1 + 1 - (-12)/(-4). Is h(a) composite?
False
Let j be (-7527)/(-6) - 1/(-2). Suppose -6*x + x = -j. Is x a prime number?
True
Let u = -12 + 2. Is 5/(u/(-4)) + 29 a composite number?
False
Suppose -4*v + 2695 + 2341 = 0. Is v a composite number?
False
Let b(y) = 75*y - 1. Is b(4) a prime number?
False
Let o be (4 + -2)*(-3)/(-2). Suppose 5*b - t - o = 0, 0*t - 6 = -2*b - 2*t. Is (-1)/((-2)/60) + b a prime number?
True
Let v(s) = s**2 - 4*s - 6. Let c be v(5). Is 1/(c + 2)*11 prime?
True
Suppose 0 = v + 15 - 148. Let q = -18 + v. Is q a composite number?
True
Suppose -f + 21 = -0*k + 4*k, 4*f = 2*k + 12. Let x be (2/(-5) - 0)*f. Is 20*x/12*-3 a prime number?
False
Let t(k) = 4*k**2 - 4*k. Let m be t(-4). Let o = m - -70. Suppose o = 4*f + 18. Is f composite?
True
Let a(k) = k + 8. Let t be a(-6). Let s be t + 0 + -2 - -2. Is (-144)/(-3) - (-2)/s composite?
True
Is (-15)/(-10)*(-38)/(-3) a composite number?
False
Let c(o) = o**3 + 6*o**2 - 3*o + 1. Let w(s) = s**3 + 7*s**2 + 5*s - 1. Let m be w(-6). Let f be (15/(-2))/m*2. Is c(f) composite?
False
Let x(z) = 193*z + 2. Let r be x(2). Suppose -r = a - 5*a. Suppose 0 = 3*g + 4*b - a, 2*g + 2*g - 146 = 3*b. Is g prime?
False
Suppose 0*o + o - 2 = 0. Suppose -o*q = 5*u - 17 - 9, 0 = 3*u - 5*q + 3. Suppose u*w - 70 = -w. Is w a composite number?
True
Suppose -4450 = -4*b + 10. Is b a prime number?
False
Suppose 7*m = 11*m. Suppose m = -6*v + 4*v - 2*u + 156, -4*v + 315 = u. Is v a prime number?
True
Let q = -29 + 84. Is q a prime number?
False
Suppose -528 = -3*x - 0*x. Let u = x - 107. Is u a prime number?
False
Let f be 3/(-12) + 85/20. Let q(x) = -x**3 - 6*x**2 - 8*x - 6. Let b be q(-6). Suppose f*i - i = b. Is i composite?
True
Suppose 15 = 4*g - g. Suppose -b + 3 = -0*b, 23 = 2*s - g*b. Is s prime?
True
Let g(u) = u**2 + u + 11. Let r(d) = d**2 + 2*d + 10. Let y(h) = -3*g(h) + 4*r(h). Is y(12) prime?
True
Let z(b) = 2*b**3 + 9*b**2 + 5*b + 8. Let q be z(-7). Let p = q + 387. Is p a prime number?
False
Suppose -12*p - 4533 = -15*p. Is p a composite number?
False
Suppose 2*c + 3*c = 15. Suppose 3*f - c*o - 609 = -o, -2*o = 0. Is f a composite number?
True
Let o(c) = 5*c**3 + 11*c**2 - 2*c - 3. Let y(z) = -4*z**3 - 11*z**2 + 2*z + 4. Let g(f) = 3*o(f) + 4*y(f). Is g(-12) prime?
True
Let x(t) = -8*t**2 - 6*t + 7*t - 4 + 7*t + t**3. Is x(7) a prime number?
True
Suppose w - 4 = -2. Suppose 3*p - w = 7. Suppose -p*b + t = -571, -b + 6*b = -t + 957. Is b composite?
False
Suppose 5*v = -4*n - 36, -1 = -2*n + v - 19. Let z(s) = s - 8 - 6*s + 2*s. Is z(n) a composite number?
False
Let y(k) be the first derivative of -k**2/2 + 118*k + 3. Let w be 1/(-2)*(-2 - -2). Is y(w) a prime number?
False
Suppose c + 0 = 4. Let z(l) = 3*l**3 + 5*l**2 - 4*l - 3. Is z(c) a prime number?
False
Suppose -4*l - 310 = -2*k, -4*k + 6*l = l - 623. Is k prime?
True
Suppose -524 = -4*v - 5*c, -c = -4*v + 712 - 188. Is v a prime number?
True
Suppose -5*t = -7*t + 1774. Is t composite?
False
Let p be 1 + 0 - (-2)/(-2). Suppose 3*o - 30 + 6 = p. Is ((-62)/8)/((-2)/o) a prime number?
True
Suppose 3*k + 5*z + 19 = 0, -5*k + 3 = -z - 12. Is k + 290 + (-3)/(-3) a prime number?
True
Let u = -5 - -9. Suppose -54 = -l + f + 89, 576 = u*l - 2*f. Is l a composite number?
True
Suppose 0 = 4*p + 3*h - 27, 5*h - 48 + 8 = -5*p. Let d(f) = -2*f - 2. Let n be d(p). Let a = 23 + n. Is a prime?
False
Let l be (6/(-15))/((-2)/10). Suppose -l*c - 5*u - 51 = -3*c, -c + 2*u + 39 = 0. Is c composite?
False
Suppose 2*l + 4*t = 1694, -t = -3*l - 0*l + 2513. Is l a composite number?
False
Let f(i) = 119*i**3 - i + 1. Let m be f(2). Suppose -2*x = -5*x + m. Is x composite?
False
Suppose -3*z + 53 + 2074 = 0. Is z composite?
False
Suppose -4*i + 1055 = i. Is i a composite number?
False
Let l = -57 + 18. Let w = l - -65. Let a = w + 41. Is a a composite number?
False
Let w(n) = -2*n + 1 + 11*n**2 + n**3 + 1 + 4 + 1. Let l(o) = 2*o**3 + 23*o**2 - 4*o + 14. Let k(d) = 6*l(d) - 13*w(d). Is k(-7) composite?
True
Let a(f) = -f**2 - 4*f + 7. Let g be a(-6). Let t(k) = k**2 + 4*k + 5. Let p(y) = -2*y**2 - 8*y - 10. Let c(v) = -3*p(v) - 5*t(v). Is c(g) a prime number?
False
Let x(n) = n**3 + 23*n**2 - 5*n + 43. Is x(-18) a composite number?
False
Suppose 9*r - 4*r = 1055. Is r prime?
True
Is -2 + (0 - -3) - -66 prime?
True
Let s = 2 + 0. Suppose -18 - 2 = 2*k + g, -3*k = -s*g + 16. Is (-4)/5*140/k prime?
False
Let x = 105 - 66. Is x prime?
False
Let m = 13 + 2. Is (-40)/m*(-18)/8 composite?
True
Suppose 5*n = -t - 20, -2*t + 10 = -3*n - 2. Suppose -231 = -3*k - 2*u, -k + u + t*u = -82. Is k a composite number?
False
Suppose 5*k = 21 + 9. Suppose s - k = 13. Is s a composite number?
False
Let y = 26 - 14. Suppose 5*g = -3*h - 6 - y, 5*h = -5. Is 2/(-6)*g*22 composite?
True
Is (-343)/(-3) + 14/21 composite?
True
Suppose -5*v = 5*y + 5, 2*v = -v + 5*y + 37. Suppose 4*r - 44 = -5*p, 0*r - 3*p + 30 = 3*r. Suppose v*i - r*a - 114 = -a, -3*a = -6. Is i prime?
True
Suppose 0 = -6*b + 3*b. Let w be (-3 + 1)*(-1)/2. Suppose n - w - 9 = b. Is n prime?
False
Let h(c) = c**2 - 7*c. Let n be -3 - 0 - (-14 - -4). Let w be h(n). Suppose w = -x + 20 + 39. Is x a composite number?
False
Let b be (-82)/((3 - 1)/(-2)). Suppose 0 = -u + 33 + b. Is u a prime number?
False
Let h(y) = 2*y**2 - 8*y + 3. Is h(9) a prime number?
False
Let x(a) = -a**2 - 7*a + 3. Let s be x(-7). Suppose 4*p - 4 = 0, 0 = c + 4*p - 7 + s. Is 0 - (2 + c) - -17 composite?
True
Let w = 1 + -1. Suppose w = -r + 3*r - 18. Is r composite?
True
Let r(s) = s**3 + 7*s**2 - 8*s + 5. Let o be r(-8). Suppose -o = -v - 1. Suppose 4*h - v*q = -q + 244, 54 = h + q. Is h a prime number?
False
Let k(z) = -7*z**3 - 2*z + 1. Let n be k(1). Let s = 3 - n. Is s a composite number?
False
Let h = -4 - -2. Let v be (-18084)/78 - h/(-13). Let f = -75 - v. Is f a composite number?
False
Let x(p) = -8*p**3 - 3*p**2 - p - 1. Is x(-3) a prime number?
True
Suppose f + 8 = g, -5*g + 37 = -4*f - 0. Let h = 3 - g. Let k(p) = -11*p. Is k(h) composite?
True
Is 1539 + ((-16)/(-10))/((-18)/45) prime?
False
Let z be 1/(2 + (-23)/11). Let o = -14 - -12. Let a = o - z. Is a a prime number?
False
Let x be (6/(-5))/((-8)/20). Suppose -21 = -x*f + 21. Is f prime?
False
Let u(t) = -344*t + 13. Is u(-9) c