n) = -2*n**3 + 6*n**2 - 10*n + 1. Let l(a) = 3*w(a) - 4*y(a). Let g be l(-7). Is (-2)/((-4)/49)*g prime?
False
Let n = -223 + 334. Is n composite?
True
Suppose -1251 + 6243 = 4*c - 4*n, -3*c = -n - 3734. Is c composite?
True
Let x = 23 - 23. Suppose x*d - 2*g = -5*d + 115, -5*d + 115 = -3*g. Is d a composite number?
False
Let t be (6/(-4))/((-4)/72). Let g be (-4)/(-18) - (-534)/t. Suppose -4*d + g = 0, 0 = 3*m - 7*d + 3*d - 91. Is m a prime number?
True
Suppose 0 = -3*f + 4*t - 54 + 469, 2*f - 280 = 2*t. Is f prime?
False
Let f(b) = -b**2 + 20*b - 5. Is f(16) composite?
False
Let m(f) = 6*f**2 + f - 2. Let r be m(2). Let x(d) = d**2 + d + 45. Let p be x(0). Let l = p - r. Is l a composite number?
True
Let n be 1 - (-27 + (0 - 2)). Suppose -3*o + 2*o + g = -n, 3*o + g - 110 = 0. Is o prime?
False
Let q = 21 - 60. Let i = 134 + q. Is i a prime number?
False
Suppose 0 = -7*p + 4*p + 348. Let k = -39 + p. Is k a prime number?
False
Let o(f) = 2*f**2 + f + 1. Is o(6) composite?
False
Let r(b) = -10*b + 1. Let t = -5 + 3. Is r(t) composite?
True
Suppose -2*o + 4*o + 158 = 0. Let y be ((-2)/3)/(3/(-477)). Let n = y - o. Is n composite?
True
Suppose -4*j + 4683 = -j. Is j composite?
True
Let s(m) = -m**3 - 13*m**2 + 11*m + 1. Is s(-14) prime?
True
Suppose -3*x + 5*x = 6. Suppose -107 = x*i - 488. Is i prime?
True
Suppose -1335 = -5*j - 4*s, -4*j = -j - s - 818. Is j a prime number?
True
Suppose 4 = r - 0. Suppose 2*j = r*p + 259 + 1743, j = p + 502. Let a = -296 - p. Is a a prime number?
False
Let p = -5 - -123. Is p a prime number?
False
Let k = 69 + 472. Is k composite?
False
Suppose 0 + 2 = l. Suppose 0 = -3*n + o + l, 0*o - 2*o = -5*n + 2. Let d(i) = 9*i**3 + 3*i**2 - 4*i + 3. Is d(n) a prime number?
True
Suppose -5*v + 2030 = 3*p - 6*p, 5*v = 2*p + 2035. Is v composite?
False
Let k(r) = 2*r**2 - r - 23. Suppose -t = -3, 3*p + 18 = -0*p - t. Let i(j) = -j**2 + j + 11. Let b(h) = p*i(h) - 3*k(h). Is b(9) a composite number?
False
Let k(c) = -413*c + 3. Is k(-2) a prime number?
True
Is 33/(-22)*(-4388)/6 a composite number?
False
Let w(d) = -d**2 + 4*d + 3. Let f be w(-3). Let t = f - -44. Is (-2)/(-4)*t*3 composite?
True
Suppose -7*o + 5436 + 647 = 0. Is o prime?
False
Let a(o) = 234*o**2 + 3*o - 1. Is a(2) prime?
True
Is 0 - -36 - (-1 + -2) a prime number?
False
Let m = -321 + 595. Is m prime?
False
Let d be (0 - -1)/((-3)/33). Let u = d + 7. Let t(p) = p**2 + p + 2. Is t(u) composite?
True
Suppose -3*i - 5*a + 5566 = 0, 2*i - 3*i = a - 1852. Is i composite?
False
Let y be (-3)/((0 - 3) + 4). Let f(h) be the third derivative of 2*h**5/15 - h**4/8 + h**3/3 + h**2. Is f(y) prime?
True
Suppose -4*k = 6 - 22. Suppose l + n - k = 0, 3*l + 16 = n + 3*n. Let j = l + 35. Is j a prime number?
False
Let c = -5 - -7. Let t be 9/c*(-526)/(-3). Suppose -o - 4*v = -165, -3*o + t = 2*o + 2*v. Is o composite?
False
Suppose -2*z + 3*y - y = 0, 3*y = -4*z + 35. Suppose -c - c + z*h = -725, 4*c + h = 1417. Is c composite?
True
Let t(w) = w + 3. Let y = 15 + -8. Is t(y) prime?
False
Suppose 5*u - 5 = k + 2*k, -2*k + u - 15 = 0. Let r(m) = -m**3 - 11*m**2 - 9*m + 8. Let p be r(k). Let o = 1 - p. Is o a prime number?
True
Suppose -3*d + 6 = -3, -5*d = -3*b + 2175. Suppose 4*u - b = -u. Is u a prime number?
False
Suppose -6*k - 923 = -4*q - 3*k, 3*q - 684 = 5*k. Is q a composite number?
False
Is (-95)/(-19) + 1 + 97 prime?
True
Let a = -252 + 397. Is a prime?
False
Is 4196/10 - (-9)/(-15) a composite number?
False
Suppose -28 - 8 = -4*o. Suppose 4*a - 60 = -4*y, -a = -2*a + 2*y + o. Is a a composite number?
False
Let d = -5 + 7. Suppose -489 = -5*h + d*f + 444, 3*h = -4*f + 539. Is h a composite number?
True
Let v(h) = 2065*h - 2. Is v(1) a composite number?
False
Let i(m) = -2*m - 3 + m**3 - 2*m**3 - 3 - 3 - 3*m**2. Is i(-7) a prime number?
False
Let b(o) = 21*o**2 + 22*o - 12. Is b(-13) prime?
True
Let f(x) = 37*x**3 + 2*x**2 - x - 3. Is f(2) a prime number?
False
Let f be (8/(-6))/((-4)/(-66)). Let h = f - -47. Is h composite?
True
Let l(g) = 3*g**3 - 10*g**2 + g - 8. Let m(s) = 7*s**3 - 21*s**2 + 3*s - 16. Let a(b) = -5*l(b) + 2*m(b). Is a(6) composite?
True
Let m be (-141)/(-15) - 4/10. Let i = m - -118. Suppose -4*k = -21 - i. Is k a composite number?
False
Suppose -z + 742 = 3*d, -d = -5*z + 4*d + 3690. Is z a prime number?
True
Let d(c) = 1. Let x(u) = u**2 - 6*u - 2. Let r(a) = -3*d(a) + x(a). Let k be r(7). Suppose -k*f + 4*l = -106, -f + 4*f - l - 149 = 0. Is f a prime number?
False
Is (2 + -12 + -3)*-41 a prime number?
False
Let y(i) = -i**2 - 2*i + 5. Let t be y(-3). Is 121/t*(0 - -2) a composite number?
True
Suppose -2*o = -5*a - 7*o + 2960, 0 = 4*a - 2*o - 2350. Is a a composite number?
True
Let r = 1 - -1. Suppose 0 = -g - 4*g + r*m + 31, 2*g - 6 = 4*m. Suppose 0 = -3*p + 23 + g. Is p prime?
False
Suppose -4*g + 3*g + 216 = 0. Suppose -4*r - 5*a + a = -g, -4*a - 126 = -2*r. Is r a composite number?
True
Suppose 1123 = 8*k - 5989. Is k a prime number?
False
Let j = -833 + 1630. Is j composite?
False
Let y(m) = 2*m**3 - m**2 - m + 211. Is y(0) a prime number?
True
Suppose 5*k + 249 - 1345 = -3*i, 4*i - 2*k - 1418 = 0. Suppose 0 = p + 3, -4*o - 3*p + i = 2*p. Is o composite?
True
Suppose 0 = -3*j + 4*z + 3154, -2*j + 2097 = 4*z - z. Suppose -4*k = k - j. Is (k/8)/(-5)*-4 a prime number?
False
Let g(u) = 45*u**2 - 4*u + 4. Is g(3) a composite number?
False
Let x = 197 + -130. Suppose 0 = 3*l - 4*l + x. Is l composite?
False
Let c be (8/6)/((-6)/(-18)). Suppose -5*w + 3*t = -436, t = c*w - w - 264. Is w a composite number?
False
Suppose 3*p = 5*p. Suppose -3*z = -5*m - 189 + 514, 5*m + 2*z - 300 = p. Is m prime?
False
Let j = 145 + 397. Let s = j - 273. Let v = -78 + s. Is v prime?
True
Let u = -6 - -6. Let q be u + (2 - 0 - -1). Suppose -5*z + 2*i + 441 = 4*i, q*z = -4*i + 259. Is z composite?
False
Let f(m) = -21*m + 4. Let t be f(-1). Suppose 0 = -4*h + 2*h - 20. Let z = t + h. Is z a prime number?
False
Let f(m) = m**2 - m - 1. Let j(a) = 6*a**2 - 8*a - 8. Let l(y) = -5*f(y) + j(y). Is l(7) composite?
True
Let b be (-7 - -3)*(0 - 1). Suppose o - 4*g = 85, 20 = -b*g - 0*g. Is o a composite number?
True
Let v be (4/(-3))/((-14)/21). Let s(j) = 5*j**3 + 3*j**2 - 3*j + 1. Is s(v) composite?
False
Let p(b) be the first derivative of b**3 - b**2 + 2*b + 2. Let q be p(2). Let x = 89 - q. Is x composite?
False
Let z = -8 - -10. Let x = z + 45. Is x a prime number?
True
Is -14*(1663/(-6))/((-3)/(-9)) a composite number?
True
Let b = 11 - -26. Is b a composite number?
False
Let c(u) = 8*u**3 - 2*u**2 - 4*u - 3. Let n be c(4). Suppose -16 = -3*k + n. Is k a prime number?
False
Let d(p) be the second derivative of -5*p**3/3 - 11*p**2/2 - p. Suppose -2*c + 6*c + 36 = 0. Is d(c) a prime number?
True
Let i = 575 + -208. Is i a composite number?
False
Suppose -3 - 12 = -3*w. Let m(k) = -w + k**2 + 3*k + k**2 + 0*k**3 - k**3. Is m(-4) composite?
False
Let o = -2 - -6. Is 1/o + (-75)/(-20) composite?
True
Let v(h) = 7*h**2 - 35*h + 15. Is v(22) prime?
True
Let l = 546 + 148. Is l composite?
True
Suppose 5*m - 8*m = -93. Is m composite?
False
Is (-11610)/(-12) - (-15)/(-6) a prime number?
False
Let p(g) = -g**3 + 8*g**2 + 4. Let h be p(8). Let n be (-4 + 5)/(2/h). Suppose 5*i = -n*s + 55, -3*s = 5*i - 4*i - 11. Is i prime?
True
Suppose -t - 2 = -2*t. Is -2*((-174)/4 + t) a composite number?
False
Let z(i) = 19*i + 1. Let s be z(-1). Let q be (2/(-3))/(4/s). Suppose 0 = -q*a + 2*a + 26. Is a prime?
False
Suppose 8 = -4*f + 5*j - 5, -f - 5*j + 3 = 0. Let z = -4 - f. Is 56 + -1*(z - 1) composite?
False
Let y be -10*(3 - 9/5). Is (-1378)/y - (-4)/24 a composite number?
True
Let f(g) = g**3 - 7*g**2 + 1. Suppose -4*m + 13 = -15. Let o be f(m). Is (-2*o)/(8/(-76)) prime?
True
Suppose -4*j - 5*b = -1589, -5*j + b = -3*b - 1935. Is j a prime number?
False
Let d(n) = -n**2 + 11*n - 10. Let k be d(9). Let w be ((-623)/28)/(2/k). Is w/(2*-1 - -1) composite?
False
Let t(u) = 6*u**2 - 7*u - 10. Let f(y) = y**2 - 2*y - 6. Let r be f(5). Is t(r) prime?
False
Suppose -1034 = -2*f + 3*r, -7*f + 1534 = -4*f + 4*r. Is f a composite number?
True
Suppose 4*m - 519 = -a, 0*m + a = m - 136. Is m composite?
False
Let j(v) = -20*v**3 + v**2 + 2*v + 1. Is j(-2) prime?
False
Let y be (-4)/(6/(-