+ 28*d - 23. Let k(l) = 5*f(l) - 2*v(l). Is k(10) composite?
True
Let q = 261 + -148. Suppose -3*c + 178 = 3*l - 2*l, 0 = -2*c + 5*l + q. Is c a composite number?
False
Let r(k) be the second derivative of 0*k**3 - 1/2*k**2 - 2*k + 1/6*k**4 + 0. Is r(-4) a prime number?
True
Let m(a) = -126*a + 91. Let o(q) = 25*q - 18. Let d(n) = -4*m(n) - 21*o(n). Is d(-5) composite?
True
Suppose -2*z - 2691 = -5*u, 0*u + 1083 = 2*u - 3*z. Is u composite?
True
Suppose 0 = -k - v + 804, -2*v - 4006 = 2*k - 7*k. Is k composite?
True
Let z = -100 + 311. Is z a composite number?
False
Let i(z) = z**3 - 4*z**2 + z + 3. Let u be i(3). Let q(n) = n + 5. Is q(u) composite?
False
Suppose -2*u + 2*d + 10 = 4*d, 0 = -4*u + 3*d + 20. Suppose -u*g + 4*b - 220 = -745, 5*b - 25 = 0. Is g a prime number?
True
Suppose 13081 = 5*r + 696. Is r a composite number?
False
Suppose 2*x - 7*x = -25. Suppose -5*u + 730 = 3*i, -3*u + x*i = -2*u - 174. Is u prime?
True
Suppose -5*x + 3*y + 1643 = -x, x - 5*y - 432 = 0. Is x a prime number?
False
Let y = -5 + 14. Let f = 20 - y. Is f composite?
False
Suppose -4*k = -7*k + 15, -5*a + k = 5. Suppose -5*s + 5*z + 20 = a, -4*z + 9 - 20 = s. Is 7 + -2 + 1 + s a composite number?
False
Let r be (-191)/(-2) + (-2)/(-4). Suppose -36 = -4*q - 3*l + 25, 4*q - 4*l = r. Is q a composite number?
False
Let w(b) = 41*b + 4. Let v be w(5). Let n = v - -54. Is n prime?
True
Let x = 130 - 233. Suppose 5*f - 54 + 4 = 0. Let m = f - x. Is m prime?
True
Let n(d) = d**2 + 6*d - 1. Let o be n(-7). Let v be o/9*(-54)/(-4). Let g = v + -3. Is g a prime number?
False
Let q = -873 - -1780. Is q a composite number?
False
Suppose 0 = 3*i - g - 36 + 6, 3*i - 45 = -4*g. Is i composite?
False
Is 529 - ((0 - -3) + -1) a prime number?
False
Let z(w) = -3*w**2 + 8*w - 5. Let v(c) = 4*c**2 - 8*c + 6. Let m(q) = 4*v(q) + 5*z(q). Is m(-10) a prime number?
True
Suppose -5*d - 69 = 5*u - 1624, u - 4 = 0. Is d a prime number?
True
Suppose 0 = 5*j + 116 - 3481. Is j composite?
False
Let v = -1698 - -3083. Is v composite?
True
Let m(r) = 17*r - 1. Let c be m(2). Let h be 3/(6*-1)*-4. Suppose c - h = y. Is y prime?
True
Suppose 0 = 6*w - 4912 - 1382. Is w a prime number?
True
Let c(f) = f**3 - f**2 - 2*f - 3. Suppose -2*z = -0*z - 2. Suppose -z = -4*w + 11. Is c(w) prime?
False
Let t(h) = -h + 24. Let u be t(10). Let o(w) = 4*w**2 - 10*w - 9. Is o(u) a prime number?
False
Is (-47)/((-14)/(-4) - 4) a composite number?
True
Let q be (2/(-3))/(6/(-144)). Let s(u) = u**3 + 15*u**2 + 11 + q*u + 0*u**2 + 4*u. Is s(-13) prime?
True
Suppose p + 1 = -0, 5*p - 559 = -4*l. Is l a composite number?
True
Let x(t) = 3*t**2 - 2*t + 2. Let h be (-3 - -3)*3/(-6). Suppose -4*j + 23 + 7 = -2*c, h = 2*j + 3*c + 5. Is x(j) prime?
True
Suppose -f = -d - 3*f + 7, 4*f - 24 = -4*d. Suppose -78 = -l - l. Is l - (-1 + d - 2) a prime number?
True
Let h be (0/3 - -1)*-4. Let o be (h - -3)/(1/(-3)). Suppose 0 = 3*g + m - 88, 6*g - o*g - 108 = 3*m. Is g a composite number?
False
Suppose 12*t = 6*t + 4764. Is t prime?
False
Is ((-12)/30)/(1 - 8448/8445) a composite number?
True
Let l(r) = r**3 - 7*r**2 + 1. Let v be l(4). Let j = -26 - v. Is j a prime number?
False
Is 11/22 - 781/(-2) prime?
False
Let y = -6 - -9. Let m be (-118)/4*(-6)/y. Let d = m + 6. Is d composite?
True
Suppose -5*s + 3*z + 2 + 11 = 0, 2*z - 3 = s. Suppose 0 = 4*o - 5*y - 25, -3 = s*y + 22. Suppose o = 2*n - 133 + 23. Is n a composite number?
True
Let x(p) = 36*p**2 - 1. Suppose -b - 7 = -0*l + 2*l, 0 = l + 5. Let f be -1 - (5 - b)/(-1). Is x(f) a prime number?
False
Suppose 492 = 5*b + 37. Is b a prime number?
False
Let s be 2 + 54*(5 - 2). Suppose -3*d + s = 5*v, -5 + 3 = d. Is v composite?
True
Let q(m) = -2*m**3 - 12*m**2 - 9*m - 19. Is q(-10) composite?
True
Let q = -109 + 516. Is q composite?
True
Suppose -3 = w - 2*w. Suppose 3*s = -5*f + 304, 0 = -4*f - 0*s - w*s + 242. Is f prime?
False
Let p(n) = 84*n**2 - 5*n - 24. Is p(-7) prime?
True
Suppose -p = -0*p. Suppose -3*a + p = -6. Suppose -a*t + 48 = -134. Is t a prime number?
False
Suppose -u + 1394 = -5. Is u a composite number?
False
Is (-2)/(-7) + (-3)/(21/(-14285)) prime?
False
Let x(c) = c**2 - 4*c + 2. Let v be x(4). Let k(u) = u**2 - u. Let j be k(v). Is 44/j - (1 + -2) composite?
False
Let l(h) = 23*h**2 - h + 1. Let d be l(-2). Let t = 3 + -11. Is d/2 + 4/t composite?
False
Let m(d) = 70*d**2 + d. Suppose 5*h + 1 = -4. Is m(h) a composite number?
True
Suppose 0 = -3*j - 3*j - 12. Let x(u) = -2 - 11*u - 3 + 2. Is x(j) a composite number?
False
Let r(q) be the first derivative of -q**6/120 + q**5/6 + 2*q**4/3 - q**2 - 3. Let h(d) be the second derivative of r(d). Is h(11) composite?
True
Let v(x) = x + 9. Let g be v(-10). Let t = g - -80. Is t composite?
False
Suppose -2*f + 5 = -5. Suppose -o + 3*i + 28 = 0, f*o + 2*i - 3*i - 112 = 0. Is o a composite number?
True
Let u be ((-36)/15)/((-2)/20). Suppose 3*c = m + 48, -u = -5*c - 5*m + 36. Is c composite?
True
Let f(n) = -185*n**2 + 4*n - 2. Let t(v) = -185*v**2 + 3*v - 1. Let r(i) = 2*f(i) - 3*t(i). Is r(-1) a composite number?
True
Let d = -964 - -1431. Is d a composite number?
False
Let z be (-2390)/14 - (-10)/(-35). Let r = z - -794. Is r composite?
True
Let h = -125 + 246. Is h prime?
False
Let n(k) = -k**3 - 11*k**2 - 13*k + 15. Let u(t) = t**3 + 10*t**2 + 11*t + 7. Let g be u(-9). Let p be n(g). Suppose -p = -z - z. Is z composite?
False
Suppose -4*g = -4*x + 4, 0 = -3*g - 2*g + 10. Suppose 16 = -4*u, f - 2*f - 12 = x*u. Suppose f*q - 53 = -q. Is q a prime number?
True
Let g(p) = -p**2 - 7*p - 4. Let f be g(-5). Is (f + -4)*185/2 prime?
False
Suppose -d = -4*o - 3*d + 238, 0 = 2*d - 2. Suppose -2*w = -79 - o. Is w composite?
True
Let x(k) = 42*k + 2. Let t(r) = -63*r - 3. Let u(w) = -5*t(w) - 7*x(w). Is u(6) prime?
True
Let y(p) = p**2 + 5*p - 10. Let w(b) = b**2 + 6*b - 7. Let o be w(-6). Is y(o) a composite number?
True
Let x(o) = 26*o**2 - 1. Let t be x(3). Suppose 4*u = 8*u - n + 638, u + 161 = n. Let w = u + t. Is w composite?
True
Is (-3022 + (-4 - -9))*-1 prime?
False
Let j = -444 - -1117. Is j a prime number?
True
Let j = -2 + -4. Let m = -20 - j. Is (-466)/m + (-4)/14 prime?
False
Let t(f) = -f**2 + 8*f - 9. Let l be t(6). Suppose 0 = -4*z + l*z + 110. Suppose -4*k = k - z. Is k a composite number?
True
Let u be (3 - (-3 - -9)) + 5. Let j(d) = 83*d**2 - 4*d + 5. Is j(u) composite?
True
Suppose 0 = -p - 5*p + 1122. Is p prime?
False
Suppose 0 = -n + 6*n - 1535. Is n a prime number?
True
Let y = 244 - 86. Suppose -y = -0*k - 2*k. Is k a prime number?
True
Suppose -4*b + 343 = 6*v - 3*v, -2*v - b + 237 = 0. Is v prime?
False
Suppose -h = -3*v + 4*h + 4, -h = 4*v - 36. Let f(x) = -3*x**2 + 3 + 4*x**2 - v + 8*x. Is f(6) a prime number?
True
Let l = -12 + 9. Is 158*l/(-6)*1 prime?
True
Let f(b) = 4*b**2 - 7*b - 9. Is f(8) prime?
True
Let j = -65 + 120. Is j composite?
True
Is (-503 + -5)*10/(-8) a prime number?
False
Suppose -5*r + 0*r = -90. Let t be 13 - (-2 - (-1 - -1)). Suppose -3*l + t = -r. Is l composite?
False
Suppose 2*c - 453 + 127 = 0. Suppose 4*j = 97 + c. Is j prime?
False
Let b be 2/1*(-5)/(-2). Let w(r) = 2*r**3 - r**2 - 2. Is w(b) prime?
True
Suppose 635 = 5*s - 2*t, -3*t + 103 = s - 24. Is s a prime number?
True
Suppose 5*l + 3*m - 4 = 2, -5*m - 6 = 3*l. Suppose -4*z - 4*p + 1773 = -z, l*p = 2*z - 1165. Is z a composite number?
False
Let c = 18 - 61. Let x = 76 - c. Is x a prime number?
False
Let x(b) = -b**2 + 4*b - 1. Let g be x(3). Let v be (3/6)/(g/(-12)). Let z(o) = -4*o**3 - 2*o**2 + o + 4. Is z(v) prime?
False
Let m = 27 + -12. Suppose -5*y - 4*w + 11 = -119, -3*w + m = 0. Is y a prime number?
False
Let w(f) = 2*f**3 + 3*f**2 + 4*f - 5. Let o be w(5). Suppose o = -r + 5*r. Is r composite?
True
Let h = -752 - -23. Is 8/28 + h/(-21) composite?
True
Let r be 2/9 - (-11)/(-9). Let b be r + 2 - (-3)/1. Suppose 2*p + p + 74 = 2*o, -b*p - 78 = -2*o. Is o prime?
True
Let h be 137*(1 - (-3 - -5)). Let t = h - -54. Let i = -48 - t. Is i a composite number?
True
Let k(s) = -17*s + 4. Let x(a) = a - 8. Let g be x(8). Suppose w + 2*w + 9 = g. Is k(w) composite?
True
Let q(i) = 34*i - 7. Suppose 0 = l + l - 5*u - 6, 4*l = -4*u + 40. Is q(l) a prime number?
False
Suppose 0 = 38*a - 33*a - 8105. Is a a 