ite?
True
Let l(a) = -a**3 + 9*a + 13 - 4*a**2 + 5*a + 2 + 4. Is l(-8) a prime number?
True
Suppose 0 = r - 3*r - 12. Let s = r + 19. Is s composite?
False
Let f(y) = 17*y - 4. Let d be f(4). Let n = d - -29. Is n a prime number?
False
Suppose 0 = j + 4*j - 10. Suppose -3*l + 71 = 3*g - 2*g, -58 = -2*l + j*g. Suppose 0 = s - 4*z - l, 0 = 5*s - 3*z - 30 - 27. Is s a prime number?
False
Suppose 7 = -a - 4*i, -4 = 2*i - 0. Let m = 8 - a. Is m prime?
True
Let b be (4 - 9)*(-4)/(-10). Let s be (-3)/((-45)/(-21) + b). Is 1 + (2 - 2 - s) a prime number?
False
Is 3342/(-4)*(-18)/27 composite?
False
Let v(s) = 366*s**2 - 1. Let t = -7 - -8. Is v(t) a prime number?
False
Let f be (-12)/8 + (-295)/(-2). Let b = -79 + f. Is b composite?
False
Suppose 2*y - 1199 = 539. Is y a prime number?
False
Let v(b) = b**3 - 9*b**2 + 17*b - 35. Is v(10) composite?
True
Let l = -4 - -7. Let m(d) = -4*d + 3 + l*d - 1. Is m(0) a composite number?
False
Let z = -2507 - -5526. Suppose -3*c = 154 - z. Is c a prime number?
False
Let l = 3 - 5. Is (2/(-2))/(l/106) composite?
False
Suppose 0 = -4*g - 3*w + 787, -811 = -4*g + 4*w + w. Is g composite?
False
Let h(t) = 2*t**2 + 9*t + 20. Is h(-15) composite?
True
Suppose -3460 = -15*h + 11*h. Is h composite?
True
Let i be (4/3)/((-2)/(-3)). Suppose -3*z = 5*n - 78, -i*n - z = -n - 16. Is n a composite number?
True
Let c = 13 + -3. Suppose 2*n - n = c. Is (n - -1) + 0 + 2 a composite number?
False
Suppose 216 = -5*d + 2*d. Let c be 125 + -2 + (4 - 2). Let n = c + d. Is n prime?
True
Let g(b) be the first derivative of b**3/3 - 5*b**2/2 - 33*b - 1. Let x(k) = -k**2 + 6*k + 33. Let p(z) = -5*g(z) - 4*x(z). Is p(0) a prime number?
False
Let c(n) = 24*n**2 + 2*n + 5. Is c(4) a prime number?
True
Let x(y) = -y**3 + 3*y**2 - 4*y - 1. Let b = 6 - 10. Is x(b) composite?
False
Let y = 73 - 41. Suppose -3*b + y = b. Let h(x) = 2*x**2 - 5*x - 3. Is h(b) composite?
True
Let l be 3/(2*(-4)/800). Suppose -2*c = 2, 0 = 2*p + 3*p + c - 2114. Let j = l + p. Is j a composite number?
True
Let z(m) = -2*m + 0*m - m + m - 18. Let y(k) = -k - 18. Let l(a) = -3*y(a) + 2*z(a). Is l(8) a composite number?
True
Suppose -t - 2*t + 685 = -5*f, 0 = -4*t - f + 944. Is t a prime number?
False
Let a = 5230 - 2713. Is a prime?
False
Let z = -21 - -21. Suppose z*v - 2*v = -938. Is v a prime number?
False
Suppose 2*m + 1 = 13. Suppose 124 = -2*d + m*d. Is d a composite number?
False
Let g(p) = -4*p. Let k be g(-6). Suppose -3*t + 5*t = k. Suppose 3*x - 161 = -0*x - 4*w, -t = 3*w. Is x a prime number?
True
Suppose -g = -0*g. Suppose 5*k - 56 + 6 = g. Is k composite?
True
Let i(m) = m**2 - 4*m - 4. Let o be i(7). Let u be (-2)/5 + o/5. Is (-6160)/(-21) - 1/u composite?
False
Let f(n) = -21 + 5*n + 7*n**2 + 16 + 0*n. Is f(4) a prime number?
True
Suppose -k + 5*m = -132, m - 278 - 102 = -3*k. Is k composite?
False
Is (2/(-4))/(3/(-354)) a composite number?
False
Suppose -474 + 1740 = 6*i. Is i prime?
True
Let l(r) = 2*r**2 - 3*r + 1. Let s be l(3). Suppose s*h = 8*h + 574. Is h a composite number?
True
Let n be 4/(-2*1) - 60. Let r = 158 - 43. Let t = n + r. Is t a prime number?
True
Let l(f) = 201*f**2 + 5*f + 5. Is l(-2) a prime number?
False
Suppose 0 = -5*q + 4 + 6. Suppose -5*a = -q*a - 615. Suppose -4*b - g + 820 = g, b - a = -5*g. Is b a prime number?
False
Suppose 4*i - 417 = -u, 5*i - 1613 = 3*u - 7*u. Is u prime?
True
Suppose -p + 142 = 5*b - 0*p, 3*b - 3*p = 96. Let d = 62 + b. Is d composite?
True
Let p(t) = 2*t + 18. Let m be p(-8). Suppose -5*y + 364 + 221 = m*o, 4*y + 935 = 3*o. Is o a prime number?
False
Suppose 0 = q + r + 8, -8 - 12 = 5*q + r. Let v be q/4 - 42/8. Is 2*(0 + (-237)/v) composite?
False
Is 1/(2 - 4873/2437) composite?
False
Let i(q) = -q + 10. Let w be i(8). Let x be (-15)/9 - w/6. Is 414/12 - x/4 a composite number?
True
Is -2*(-1 + (-4825)/10) a composite number?
False
Suppose 0*a + 5*a = -100. Is a/2*(-33)/6 a composite number?
True
Let i(b) = 46*b**2 + 2*b + 1. Let o(f) be the first derivative of -137*f**3/3 - 3*f**2 - 4*f + 2. Let x(z) = 7*i(z) + 2*o(z). Is x(1) prime?
False
Let b = -1794 - -3093. Is b a composite number?
True
Suppose -4*m + 414 + 250 = 0. Is m a prime number?
False
Let j = 869 - 620. Is j prime?
False
Let f(d) = -1. Let j(l) = -8*l + 4. Let g(q) = -6*f(q) - j(q). Let c(t) = t. Let h(m) = 3*c(m) - g(m). Is h(-5) a prime number?
True
Let m = 9 - 6. Suppose -2*c - 2*v = -128, -v = 5*c - m*v - 355. Is c composite?
True
Let x be ((-16)/(-10))/(4/10). Suppose -a - x*a - 10 = 0. Is (3/9)/(a/(-318)) prime?
True
Let m(l) = -l**3 + 13*l**2 + 8*l + 27. Is m(13) prime?
True
Let q(p) = -p**3 - 6*p**2 - 2*p - 5. Let n be q(-6). Let a = -5 + n. Is 38/(3/(3/a)) prime?
True
Let v(y) be the first derivative of -y**3/3 - 4*y**2 - 2*y + 2. Is v(-6) a prime number?
False
Let z(q) be the second derivative of q**4/6 - 7*q**3/6 - q**2/2 - 4*q. Is z(-6) prime?
True
Let f(o) = -o**3 - 22*o**2 + 38*o + 38. Is f(-27) prime?
True
Let n(v) = 2*v**3 - 11*v**2 - 14*v + 7. Is n(10) a composite number?
True
Suppose 139 + 1106 = 5*d. Is d composite?
True
Let h = 78 - -79. Is h composite?
False
Let j(v) = v**3 + 15*v**2 - 12*v - 1. Is j(-9) prime?
True
Suppose 3*c + 3*l = 48, -4*c + c = 5*l - 54. Let w = c - -6. Is w composite?
False
Is (-4)/(-2)*(-3609)/(-18) composite?
False
Let k(c) = 15*c + 28. Is k(7) a prime number?
False
Let f = -3 - -4. Let j = 1 - 1. Is 1/(f/22 + j) a composite number?
True
Suppose 0 = -2*z - 5*z + 847. Is z composite?
True
Is 9/6*(-15786)/(-27) a prime number?
True
Let v(f) = 240*f**2 + 2*f - 5. Is v(-3) composite?
True
Let c(b) = -1. Let x(y) = -4*y + 2. Let l(r) = 2*c(r) + x(r). Let q be l(-2). Let d(p) = 6*p + 5. Is d(q) a prime number?
True
Let j = 268 + -141. Is j a composite number?
False
Suppose -5*f = k - 43 - 1239, f - k - 260 = 0. Suppose -4*o - 3*m = -f, 8*o - 4*o - 258 = -2*m. Suppose o = 3*t - 52. Is t prime?
False
Suppose 0*z + 2 = z. Suppose 3*j = z*g - 0*j - 86, 45 = g - 2*j. Is g a composite number?
False
Let y(x) = -2*x**2 + 2*x - 4. Let w be y(3). Let o = 47 + w. Is o prime?
True
Let c = 3243 + -2272. Is c a composite number?
False
Suppose 4*z = -12 + 32. Let n(r) = 2*r - 6*r**3 + 7 + z*r**2 + 5*r**3 + 4*r. Is n(6) prime?
True
Let y(x) = -x**2 - 7*x - 10. Let g be y(-4). Suppose -2*s - 13 + 172 = 3*b, -2*s + 6 = 0. Suppose b = -j + g*j. Is j composite?
True
Let z = 746 - 489. Is z a composite number?
False
Let a(n) = 2*n - 1. Let v be a(1). Let x be v + -1 + 5 - 0. Suppose p = x*p - 92. Is p a prime number?
True
Let b be 70/4*4*-1. Let h be -5*(258/5)/(-2). Let t = b + h. Is t composite?
False
Suppose 5*i - 892 = -b, -3*i - 2*b + 565 = 34. Is i a composite number?
False
Let v = 10 - 17. Let w = 70 - v. Is w prime?
False
Let w(q) = -q**2 + 13*q - 10. Let j be w(12). Suppose -j*u + 30 = -44. Is u a prime number?
True
Let a(c) be the second derivative of c**4/3 - c**3 - 5*c**2/2 - 3*c. Is a(5) a composite number?
True
Suppose 0 = 2*l - 1 - 1, y - 54 = 5*l. Is y a prime number?
True
Suppose 29 = 2*v - 3*v. Let p = 9 - 1. Let c = p - v. Is c a prime number?
True
Let b be 2/4*(-24)/(-4). Suppose -689 = -b*r - 266. Is r prime?
False
Let t be (-3)/9 + 51/(-9). Is (212/5)/(t/(-15)) a prime number?
False
Let o(d) be the third derivative of -d**5/60 - d**4/6 + 7*d**3/6 - d**2. Let y be o(-7). Is 51*(y/(-6))/1 prime?
False
Suppose 5*o + 16 = -2*g, -g - o + 3 = 5. Suppose -g*k = 3*v - 1169, v + 2*k - 386 = 5. Is v prime?
True
Let o(z) = -z**2 + 7*z + 4. Suppose -f - 3*b = -6, 3*f - 2*b = b + 18. Is o(f) composite?
True
Suppose -s - 25 = -10*a + 5*a, -3*a - 4*s = -15. Suppose 3*g + 825 = 7*g - 5*u, a*u + 5 = 0. Is g prime?
False
Suppose -14*f + 1257 = -11*f. Is f a composite number?
False
Suppose -y = p - 24, 2*p + 3*p = -2*y + 117. Suppose -p = 3*m + h - 84, 3*m + 3*h = 69. Is m composite?
False
Suppose 177 = -4*i + 7*i. Is i a prime number?
True
Is 538/6 - (-18)/(-27) prime?
True
Let a(f) = 3*f**2 - 11*f - 17. Is a(7) a composite number?
False
Suppose 12 = -3*c + 3*f, -5*c - 3*f = 44 + 8. Is (-16)/6*12/c a prime number?
False
Let i be (-4)/(-2) - (3 - 10). Suppose h = 4*h + i. Is (-101)/h + 2/6 a composite number?
True
Let q(o) = 12*o**2 + o - 5. Is q(3) a prime number?
False
Suppose -14 + 11 = -3*c, 1485 = 4*h 