?
True
Let i(g) = 16*g**3 + 6*g**2 - 10*g - 1. Is i(5) a composite number?
False
Let p(v) = 2 - 1 - 1 + 3 + 3*v**2. Is p(4) a prime number?
False
Suppose -6 = -5*l + 2*l. Suppose -4*d - 30 = 5*g - 3, 0 = -l*d - 5*g - 21. Let r = 6 + d. Is r a prime number?
True
Suppose -3*f + 4*i = -f - 40, 2*f - 5*i = 38. Let k = f - -211. Is k composite?
True
Let j = 329 + 897. Suppose -3*y + j = 431. Is y a composite number?
True
Let k = -1507 - -1012. Let b = 845 + k. Suppose -4*o - 5 = o, 5*o + b = 3*s. Is s composite?
True
Let p = 27 - -22. Let b be (-2)/2 + (-1 - 88). Let l = p - b. Is l a composite number?
False
Suppose 3*i - 2*i = -3*v + 1625, 2*i - 2168 = -4*v. Is v prime?
True
Suppose 354 = 5*h - 1321. Let u(y) = y**3 - 11*y**2 - y + 13. Let f be u(11). Suppose 2*r = -r + d + h, f*r - 4*d = 210. Is r a composite number?
False
Suppose -3*m + 22 - 7 = 0. Let s(p) = p**2 + 2*p. Is s(m) composite?
True
Suppose -4*n + 386 + 171 = 3*x, n = x + 148. Suppose 610 + n = 3*a. Is a prime?
True
Suppose 2*s - 3*s - 42 = 0. Let g = s - -91. Is g composite?
True
Let w(k) = -7*k - 21. Is w(-4) a prime number?
True
Let r be ((-2)/(-5))/(5/50). Suppose -r*c - 3*b = -348, -2*b + 0*b = -2*c + 174. Is c a prime number?
False
Suppose 5*p + 2 = 4*p. Let n(y) = -87*y - 1. Let i be n(-1). Is i/8 + p/(-8) composite?
False
Let b = -239 + 1953. Is b a composite number?
True
Suppose -3*a = -2*a - 5, -2*p - 4*a = -114. Is p a composite number?
False
Suppose 3*z - 4*i - 1375 = -424, 1585 = 5*z + i. Is z a composite number?
False
Let x = 2161 + -707. Is x prime?
False
Suppose -4*t + 5*t = 3*m - 4912, -5*t = -4*m + 6553. Is m a prime number?
True
Let u = 5 - 5. Suppose 2*j + 5*g = 46, -j + u*g + 23 = -3*g. Is j a composite number?
False
Let d(l) = 0*l + 18*l - 158*l + 1 - 146*l. Is d(-1) a composite number?
True
Let d = 3 + -4. Let k = -2 - d. Is 35*(0 - 1)/k a composite number?
True
Let d(c) = -8*c**3 + 7*c**2 + 10*c + 16. Let t be d(11). Is (-10)/55 + t/(-33) prime?
True
Let b be (0 - 122)*(-1 - -2). Is (3/(-3) - b) + 2 a prime number?
False
Let d(s) = -s**2 + s. Let q be d(1). Suppose 9*p - 7*p - 830 = q. Is p prime?
False
Suppose 4*q - 11 = 1. Let x = -1 + q. Is x composite?
False
Let f(p) = 13*p - 13. Let v(t) = -12*t + 12. Let c be 32/(-6) + (-2)/(-6). Let n(r) = c*f(r) - 6*v(r). Is n(6) a prime number?
False
Suppose -3*x + 2404 = -539. Let f = x - 238. Is f prime?
True
Let v = -239 + 336. Is v prime?
True
Suppose 6003 = -5*d + o + 14429, 0 = d - 3*o - 1674. Let x = d + -1187. Is x composite?
False
Let y(o) = o**3 - 2*o**2 - 4*o + 3. Let k be y(4). Let d = k - -16. Is d prime?
False
Let l(a) be the third derivative of -a**4/24 + a**3/2 - a**2. Let h be l(3). Is (53 + h)/(3 - 2) a composite number?
False
Suppose 88 + 98 = -2*m. Suppose -104 = 2*f + 5*a, -37 = 2*f - f - 5*a. Let s = f - m. Is s prime?
False
Suppose -7*x + 2*x = s - 6, -4*s + 5*x = 1. Let a = s + 21. Is a a prime number?
False
Is (0 + 9/(-6))*-254 prime?
False
Is (-5)/(-2)*1364/55 composite?
True
Suppose 2*h - 4*m + 2 = 6, 4 = h - 3*m. Is h/3*-111 + 3 composite?
True
Suppose -7583 - 16952 = -5*o. Is o composite?
True
Suppose -6*x + 2473 = -4049. Is x prime?
True
Suppose 0 = 7*p - 3*p + 28. Let y(o) = o**2 - 3 + 6 - 2 - 9*o. Is y(p) a prime number?
True
Suppose -5*a - 2250 = -405. Let n = a + 656. Is n composite?
True
Let u(d) = d**2 - d + 1. Let i(y) = -6*y**2 + 4*y - 2. Let r(f) = -i(f) - 3*u(f). Is r(-8) a composite number?
False
Let a(m) = -m + 8. Let k = -5 + 13. Let j be a(k). Is (-5)/(j + (-1)/7) a composite number?
True
Let n(i) = 3*i**3 - 10*i**2 + 4*i + 6. Let x(w) = w**3 - w**2 + w + 1. Let q(c) = -n(c) + 2*x(c). Suppose -15*j + 30 = -5*j. Is q(j) a prime number?
False
Let w(o) = -2*o + 1 + 4*o**3 - 2*o**2 - 4*o**3 + 2*o**3 - 2. Is w(4) a prime number?
False
Let b(o) = o**2 + 6*o + 34. Is b(-10) prime?
False
Let u(z) = 4*z**2 - 3*z + 9. Suppose r - 1 = -m, 2*m - 3*m = 2*r + 3. Is u(r) a composite number?
True
Suppose 11*m - 513 - 2842 = 0. Is m a prime number?
False
Let p be (0/3)/(0 + 1). Suppose x = -2, p*h = -h - 4*x + 113. Is h a composite number?
True
Suppose 5*n + 3*h - 698 = 0, -3*n - 5*h = n - 561. Is n composite?
False
Is ((-2)/16 + 65142/48)/1 prime?
False
Suppose -3*l + 11 = k - 80, 0 = 4*k - 5*l - 449. Is k a composite number?
True
Suppose -46 = 5*r - 201. Is r prime?
True
Suppose -3*c - 40 = -5*l + 25, -4*l - c = -52. Is l composite?
False
Let l(n) = -60*n + 4. Let v be l(-4). Let u = v + -33. Is u composite?
False
Suppose -3 = -2*k + k. Suppose -2*t = k*d - 61, 2*t + 53 = 2*d + d. Is d a composite number?
False
Let b = 1045 - 560. Is b a prime number?
False
Is -3 + (5 + -3)*14 a composite number?
True
Let k be 5*(9/15 + 0). Suppose -4*w + w = -s + 358, -k*s + 1109 = -2*w. Is s a prime number?
True
Let v(r) = 1 + 0 - 35*r + r. Let t = 2 + -3. Is v(t) composite?
True
Suppose 30 = l + 7*c - 2*c, -l - c = -10. Let m = l - 5. Is 2 + m*(-2)/2 a prime number?
True
Suppose 0 = 5*h + 10 - 0. Let w be h*(-2 + 1) - 0. Is w/4 - 13/(-2) a composite number?
False
Is (-2 + 3/1)/(2/2078) prime?
True
Suppose -b = 3*l - 958, 0 = -2*l - 2*b + 184 + 456. Is l prime?
False
Let i be ((-14)/6 - 1)*66/5. Suppose -5*t = 20, 0*w + w - 11 = -t. Let l = w - i. Is l prime?
True
Suppose 0 = -7*r + 9*r - 1814. Is r composite?
False
Let l = -130 + 75. Let w = 126 + l. Is w a composite number?
False
Suppose -2*j - 384 = -4*j. Suppose 5*f - j = 3. Is f prime?
False
Suppose -790 = -0*u - 2*u. Is u composite?
True
Let m(t) be the third derivative of -t**6/360 - t**5/120 + 77*t**4/24 + t**3/3 + t**2. Let b(l) be the first derivative of m(l). Is b(0) composite?
True
Let m = 83 - 175. Let r be (-2)/(-4)*(m - 2). Let u = -26 - r. Is u prime?
False
Let i be 0 + (1 - (-3 + 1)). Let f(t) be the second derivative of t**5/20 - 2*t**3/3 + t. Is f(i) prime?
False
Let l be (5/3)/((-2)/(-6)). Suppose 2*n + 3 = l, 0 = -3*b + 4*n + 14. Is 4/b + 111/9 prime?
True
Let c(f) = 3*f - 1. Let a be c(-3). Let o(s) be the third derivative of s**5/60 - 5*s**4/12 - 3*s**3/2 + 2*s**2. Is o(a) a prime number?
True
Let y = -264 - -390. Suppose -2*f = -y - 146. Is (-5)/(-2)*f/10 a prime number?
False
Let s(v) = 3*v**2 + 3*v - 5. Is s(-4) prime?
True
Let w be -105 + 2/(-4)*0. Let a be (-3)/6 - w/2. Suppose 2*v + 2*d + a = 6*v, -3*v + 4*d + 34 = 0. Is v prime?
False
Suppose 0 = -3*l + 9. Suppose l*m - 155 = -2*m. Is m a composite number?
False
Suppose 0 = -4*d + d + 645. Is d composite?
True
Let d(i) = 4*i - 2*i + i - 9*i + 1. Is d(-1) composite?
False
Is (-2 - -1)*(-125 - -10) prime?
False
Let r(l) = l**3 + 10*l**2 + 5*l + 1. Let g be r(-7). Suppose 4*v - 19 = g. Is v a composite number?
True
Let t(s) = -23*s - 7. Is t(-6) prime?
True
Let g = -2 + 3. Let u = 1 - g. Suppose 0*d - 4*d + 28 = u. Is d prime?
True
Let h = 418 + -165. Is h a composite number?
True
Let w = -6 - -8. Suppose w*g - 40 = 118. Is g a composite number?
False
Suppose 0 = -3*c + c + 6. Let v(b) = -b**2 + 5*b**2 + 2*b**2 - 2*b**2 - 2*b + 3. Is v(c) a composite number?
True
Let f(n) = 568*n - 1. Let z be f(1). Let y = -200 + z. Is y a composite number?
False
Let t = -5 - -18. Suppose 0 = 2*y - t + 1. Is y a composite number?
True
Let t(u) = -u**2 - 6*u + 7. Let r be t(-7). Suppose -4*c + 700 = -r*c. Suppose 4*l = c + 37. Is l composite?
False
Let o(n) = -44*n - 3. Suppose 4*p - 2*p + 6 = 0. Is o(p) a prime number?
False
Let m(d) = 2*d**2 + 20*d - 4. Let f(t) = 3*t**2 + 30*t - 6. Let j(o) = 5*f(o) - 8*m(o). Let n be j(-9). Let b = n - 7. Is b a prime number?
False
Let s = 40 - -79. Is s prime?
False
Suppose o - 2*i - 23 = -3*i, 2*i + 54 = 2*o. Let z = 4 - 10. Let w = o + z. Is w a composite number?
False
Let t be (-15)/3*1/(-1). Let x be (-1 + 1)/(5/t). Suppose 0 = -s - 0*f + 5*f + 23, x = -5*s + 4*f + 157. Is s composite?
True
Let d = -803 - -1184. Is d a prime number?
False
Let o(r) = -10*r**2 + 4*r - 1. Let k(g) = -19*g**2 + 9*g - 1. Let s(z) = 3*k(z) - 7*o(z). Let d be s(3). Is -1 + d + 6/3 a composite number?
True
Is (-3 + -2 + -1256)/(-1) a prime number?
False
Let u(r) = -r**2 - 19*r + 1. Is u(-13) composite?
False
Let m(d) = 23*d + 2. Let q(n) = 1. Let x(h) = m(h) - 4*q(h). Is x(3) a composite number?
False
Let j = -115 - -492. Is j prime?
False
Suppose -2*b - 620 = -4*q, 255 =