 Suppose 5*k + 24 = -r*p + 4*p, -10 = 3*k + 5*p. Is (k + 3)*67/(-2) a prime number?
True
Let m(q) = 407*q + 1. Let c(w) = 406*w + 1. Let o(k) = 3*c(k) - 2*m(k). Let v be o(-1). Let u = -218 - v. Is u a composite number?
True
Let l(g) be the third derivative of 3*g**6/40 - g**5/60 - 5*g**4/24 - g**3/2 + g**2. Let s be l(-3). Let t = s - -457. Is t a composite number?
True
Suppose -3*m - 3 = 3*u, 3*u - 4*m + 3*m = 9. Let n be (5/u)/((-3)/6). Is n/(-15) + 148/6 prime?
False
Is 12494*((-42)/12 + 4) a composite number?
False
Suppose -j = 3*p - 9, p - 21 = -3*j - 2*p. Suppose -t = -j*t + 185. Is t a composite number?
False
Let q(i) = i**3 + 5*i**2 - 7*i - 1. Let j be q(-6). Suppose -892 = -4*n - 2*l + j*l, 1115 = 5*n + 5*l. Is n a prime number?
True
Suppose w - 5*i = 64, -4*w = -3*w - 3*i - 68. Suppose -w - 402 = -4*q. Is q a prime number?
False
Suppose 3 = -4*s + 9*s - 4*t, 18 = s + 5*t. Suppose -8*z + s*z = -k - 1025, -5*z + 1025 = -2*k. Is z prime?
False
Suppose -5*l + 8*l - 2118 = 0. Is l a composite number?
True
Let g = 14 - 26. Is (-1 - (-3)/(-4))*g prime?
False
Let f = -14 - -19. Suppose f*p + 72 = q, -3*p + 4*p = -4*q + 183. Is q a prime number?
True
Let t = 380 - -2. Is t a composite number?
True
Suppose -5*k = -g + 5, -4*g + 10 = -2*g - 3*k. Let s(r) = 18*r - 3. Is s(g) prime?
False
Let g(a) = 3*a - 1 - 4*a**2 + 3*a**2 + 0. Let f be g(3). Is -2 - f/((-3)/(-15)) a composite number?
False
Let y(j) = j**3 - j**2 + 5*j - 2. Let b be y(3). Suppose -3*v + b = h - 28, 2 = v. Is h a composite number?
False
Let l(j) = -19*j - 6. Suppose 3*w + 12 = -3*s, w = -2*s - 0*w - 11. Is l(s) composite?
False
Let x(w) = w**3 - 10*w**2 + 2. Let n be x(10). Suppose -t + n*d + 73 = 0, -3*t - d - d + 187 = 0. Suppose o - t = -0. Is o prime?
False
Let i = 33 - 23. Let x(o) = o - 10. Let l be x(i). Suppose -2*z + 1409 = 3*d, -1878 = -l*d - 4*d - 2*z. Is d a composite number?
True
Let r = 1126 - -93. Is r composite?
True
Let u(y) = 6*y**2 - 3*y - 2. Let s be u(-1). Let f(h) = 2*h**2 - 6*h + 2. Is f(s) a prime number?
False
Let a = -6 - -18. Let u = a + -8. Suppose -u*g + 2*g + 2*h = -264, 0 = -4*g - h + 503. Is g composite?
False
Suppose 0 = -k + 197 + 50. Is k prime?
False
Suppose -5 = c, 0 = 2*h - 0*h + 2*c - 242. Is 2 + 0 + 3 + h a prime number?
True
Let w(d) be the first derivative of d**6/120 - 7*d**5/60 + d**4/12 + 7*d**3/6 - d**2/2 - 1. Let c(o) be the second derivative of w(o). Is c(7) a prime number?
False
Suppose 27 = 3*v - 0. Suppose 4*m = -2*i - 60, -4*i - 2*m + 114 = -v*i. Let j = 47 + i. Is j composite?
False
Let y = 37 + 46. Is y a composite number?
False
Let k(s) = -3*s**2 - 11*s + 22. Let f = 1 + 4. Let q(r) = 2*r**2 + 6*r - 11. Let o(c) = f*q(c) + 3*k(c). Is o(9) a prime number?
False
Let y = 6 - 1. Suppose 2*g - 3 = y. Suppose -g*d + 3*l + l = -128, d = 4*l + 26. Is d prime?
False
Let j(a) = a**3 - 8*a**2 + 7*a - 10. Let d be j(8). Let y = 1 + d. Is y a prime number?
True
Suppose -5*t + 153 = -2*t - 3*s, 3*t + s = 137. Is t a prime number?
True
Suppose 9*o = 3*o + 12270. Is o a composite number?
True
Let x = -3 + 5. Suppose -x*c - 113 = -3*b, -3*b + 145 = b + 3*c. Is (b/(-4))/(4/(-16)) prime?
True
Let o = -3696 - -6053. Is o a prime number?
True
Is (-1148)/(-6) - (-6)/(-18) prime?
True
Let i = -2 + 7. Is (944/(-20))/((-2)/i) a prime number?
False
Let z(c) be the third derivative of c**6/10 - c**5/60 - c**4/8 + c**3/2 + c**2. Suppose 4*s - 10 = -s. Is z(s) composite?
False
Let i be 2/(-4)*28/(-2). Let p(g) = -g**3 + 6*g**2 + 7*g + 3. Let d be p(i). Suppose -34 + 1 = -d*a. Is a a prime number?
True
Suppose -5*r + 9*r - 1960 = 0. Suppose 5*b = 5*z - 0*b - r, -3*b - 9 = 0. Is z composite?
True
Let y(g) = 7 + 24 + 28 + g. Suppose d = 6*d. Is y(d) prime?
True
Let a = 4124 + -1555. Is a composite?
True
Suppose 0 = -3*d + 26 + 112. Is d a composite number?
True
Let a(h) = -37*h - 27. Let o(m) = 19*m + 13. Let y(z) = 6*a(z) + 13*o(z). Is y(12) a prime number?
True
Is (-919)/(-2)*20/2 a composite number?
True
Suppose x = -x + 8. Let d be 806/(-18) + x/(-18). Let w = d - -176. Is w composite?
False
Let k(z) = -7*z**2 + z - 2. Let f(u) = 2 + 2*u**2 - 17*u**2 - 7 + u. Let n(w) = -6*f(w) + 13*k(w). Is n(6) composite?
True
Suppose -5*j + 6*j - 386 = 0. Is j a composite number?
True
Let r = 174 + -50. Let m = r + -44. Let n = m + -15. Is n prime?
False
Let q = 76 - 43. Suppose 3*t = -5*n - 27 - 42, -5*n - 105 = 5*t. Let s = t + q. Is s a composite number?
True
Let q = 20 - 38. Is 5365/45 - (-4)/q a composite number?
True
Suppose -5*a = -252 - 543. Is a a prime number?
False
Let z(r) = 7*r**2 + 4*r - 9. Let t(x) = 20*x**2 + 12*x - 26. Let l(m) = -6*t(m) + 17*z(m). Let o be l(-6). Let h = 16 + o. Is h prime?
True
Let s(w) = w - 8. Let m be s(6). Let n be -24 + 1 - (0 + m). Is -10*(n/6 + 0) composite?
True
Let m = 1810 + -153. Is m composite?
False
Let z be (-4)/14 + (-16)/(-56). Suppose 2*g - 212 = -4*x + 230, z = 2*g - 4*x - 410. Is g prime?
False
Suppose 0 = -2*l + 3*b - 5, -3*l - 5*b + 9 = -6*l. Suppose 5*c - 765 = -y - 4*y, l*y + c = 310. Is y prime?
True
Let t(c) = c**3 - 5*c - 2. Let q be t(4). Let r(z) = 1 + 2*z - 4 + q*z. Is r(2) composite?
True
Let q = -5426 + 18943. Is q prime?
False
Let j(m) = m + 0*m**2 - m**2 - 7 - 11*m. Suppose 6*f = 3*f - 21. Is j(f) a prime number?
False
Let h be ((-30)/8)/(3/(-72)). Suppose -185 = -3*t + u + 65, -t = -2*u - h. Is t composite?
True
Suppose 3*k + 2*t + 2 = 4*t, t = -3*k + 1. Let s be k/1 + 0/1. Let a(r) = -r**2 + 3. Is a(s) prime?
True
Let f = 6 - 4. Suppose -2*n = c + c - 2, -f*c + 5 = -n. Is c a prime number?
True
Let q(d) = 111*d - 3. Is q(2) prime?
False
Let g = 10 - 4. Let a be 10/(-3)*g/(-4). Suppose 2*d - 2*p = -a*p + 41, -4*p + 85 = 5*d. Is d composite?
False
Suppose w + 0 = -4. Let u be 1626/(-4)*w/6. Suppose -2*n + u = -3*y, -y + 2*y + 527 = 4*n. Is n a prime number?
True
Let r(g) = 2*g - 3. Let d be r(3). Suppose 0*j + 165 = d*j. Is j composite?
True
Suppose 3 = 3*g - 6. Suppose -17 = -g*o + 94. Is o a prime number?
True
Let a be (4 - 4) + (4 - -72). Let m = 51 + a. Is m a composite number?
False
Let p = 5 + -3. Let w = p + -4. Is (3/(-6) + -1)*w a composite number?
False
Let g = 0 + 0. Suppose -z + 4*u + 98 = g, -z + 3*z - u = 189. Suppose 0 = j - 3*j - 4*q + 32, 4*j - 2*q = z. Is j a composite number?
True
Let s(z) = 6*z**2 - 7*z + 3. Is s(8) a prime number?
True
Let d = 1427 + -574. Is d prime?
True
Let j be (-1)/(24/(-9) + 3). Let y(o) = -18*o**2 - 5*o + 13. Let s(c) = 9*c**2 + 2*c - 6. Let u(h) = 5*s(h) + 2*y(h). Is u(j) prime?
False
Suppose 0*x + 3*x = -18. Let s = x - -44. Suppose -w = w - s. Is w prime?
True
Let i = 95 - 40. Let m = 72 + i. Is m a composite number?
False
Suppose -2*k + 4 = -0*k. Suppose k*n - 268 = 3*x + 92, -533 = -3*n + x. Is n prime?
False
Let d(r) be the first derivative of 35/2*r**4 + 0*r - 1/3*r**3 + 0*r**2 - 1. Is d(1) a prime number?
False
Let w(z) = z - 2. Let f be w(2). Let j be -2*(0 + 1 + f). Let k(t) = 9*t**2 - 2*t - 3. Is k(j) a composite number?
False
Let d be (-868)/(-2) - (3 - 1). Suppose -2*l + 0*c + 3*c = -437, -2*c - d = -2*l. Is l a prime number?
True
Let x = 26 + -19. Is x prime?
True
Let l(d) = -d**2 + d + 2. Let n be l(0). Suppose 0 = n*u + u - 1239. Is u prime?
False
Let v(k) = -k + 11. Let g be v(9). Suppose -g*i + 524 = 2*i. Is i composite?
False
Suppose -4*t + l - 5*l = -12, -2*t = -l + 3. Let y(n) = 16*n**2 + 2*n. Let o be y(2). Suppose -2*f - 2*f = -4*c + o, 2*c + 3*f - 44 = t. Is c prime?
True
Let w(d) = -7*d**3 - 2*d**2 - d - 3. Let g be w(-3). Suppose 4*y = 7*y. Suppose 4*i - i - g = y. Is i prime?
False
Is (155/5)/(0 - -1) composite?
False
Let y(i) = -2*i. Let m be y(-1). Suppose -m*n + 15 = n. Suppose -3*z + 161 = n*b - b, -2*z = -4*b - 94. Is z a composite number?
True
Let u be (6/4)/((-4)/8). Let t(l) = -8*l. Let i be t(u). Is i + 1 + -1 + -1 prime?
True
Is (-741)/(-9) + 6/9 a prime number?
True
Let f(o) be the second derivative of -o**3/3 + 2*o**2 - 3*o. Let w be f(-5). Suppose p = -p + w. Is p a prime number?
True
Let x(o) be the second derivative of -10*o**3/3 - o**2/2 - 2*o. Is x(-1) a composite number?
False
Suppose -3*x = 5*i - 18, 0*x + 3 = 3*x. Suppose 4*n = 8*n. Suppose -i*g - 2*f + 23 = n, -3*g - 43 = -8*g - f. Is g prime?
False
L