 2. Let t = -1 + -4. Is f(t) prime?
True
Suppose k - 12 = -l - 4, 2*l + 4 = 3*k. Suppose -l*t + 172 = -0*t. Is t prime?
True
Let o = 6 + -4. Suppose 4*z = k - 4*k + 67, k - o*z = 29. Let u = k - -24. Is u prime?
False
Let g = 4 + 6. Let o = -7 + g. Is 140/16*(1 + o) prime?
False
Let g(x) = 2*x**2 - 3*x - 4. Let j be g(3). Suppose 3*a + 12 = -2*q - 15, j*q + 5*a + 55 = 0. Is 1 - q - (-4)/2 composite?
True
Let m(w) = -13*w - 9. Let p(v) = 6*v + 5. Let b(k) = -4*m(k) - 7*p(k). Is b(2) a prime number?
False
Let f(k) = -2*k - 2. Let s be f(4). Let q = -10 - s. Suppose 140 = 4*d + r, -2*d + 4*r - 22 + 92 = q. Is d a prime number?
False
Is (102/(-27) - -4) + 59378/18 prime?
True
Let q be (-6)/9 - (-3257)/3. Suppose 3*s - 806 = 3*g - s, 0 = 4*g + 5*s + q. Let i = -181 - g. Is i prime?
True
Let w(x) = -x**3 + 3*x + 3. Let v be w(-2). Suppose 0 = v*l - l - 60. Is l a composite number?
True
Let v(d) = -d + 5. Let f be v(9). Let w be 10/(-8) + 3/f. Is (w/3)/(8/(-2148)) prime?
True
Let f(m) = -6*m. Let q be f(1). Let x be (2/q)/((-2)/12). Suppose 0 = -d + x*d, -5*i - 5*d + 95 = 0. Is i prime?
True
Suppose 4*r = 3*a + r - 9, -25 = -3*a - 5*r. Suppose a*v = 3*x + 153, -4*x = -0*v + v - 49. Is v a composite number?
True
Let j = 94 + -56. Let c be 858/14 - 2/7. Let n = c - j. Is n composite?
False
Let n(a) = -a - 43. Let s(b) = b + 42. Let d(x) = 5*n(x) + 6*s(x). Is d(0) a prime number?
True
Suppose -n = -3*y + 3122, 2*y - 1034 = y - n. Is y prime?
True
Suppose 3*f + 13 = -5*z, 2*z - 6*f + 30 = -f. Let d = z + 8. Suppose -5*r + 2*u = -123, 145 = 5*r - d*u + 18. Is r a composite number?
False
Let y(n) = 6 + n - 6 - 1 + 11. Let p be y(-5). Suppose 5*k + 4*w - 55 = 0, k - 6 = -4*w + p. Is k a prime number?
True
Let r = 8955 + -4488. Is r a prime number?
False
Suppose -816 = -2*n - 5*x, n + 102 = -x + 513. Is n composite?
True
Let v be (1 - 0)/((-2)/6). Is v + (-2 - 20)*-1 composite?
False
Let o(u) = 41*u**2 - 4*u + 1. Let l be o(3). Suppose -2*b + 24 = -l. Is b prime?
True
Let d(i) = 10*i + 4 - 1 + 0 + 4*i**2. Is d(-7) a composite number?
True
Let w(h) = 7*h**3 + h**2 + h + 4. Suppose 0*r = 4*r - 12. Is w(r) a prime number?
False
Suppose -4*h + 166 = v - 3*v, 4*h = 5*v + 181. Suppose -h = -r + 46. Is r composite?
True
Suppose -w = 4*w - 1475. Is w composite?
True
Suppose 0 = -p + 3*p - 138. Is p composite?
True
Let p be 7*-3*(-2)/3. Suppose 5*l - p - 1 = 0. Suppose 2*c = -l*s + 32, 0*c + 2*s - 53 = -3*c. Is c prime?
True
Is ((-844)/(-12))/(2/6) a prime number?
True
Suppose 12*l = 2*l + 3790. Is l prime?
True
Let c(x) = 1201*x - 10. Is c(3) a prime number?
True
Suppose -4*u - 5 = 5*a - 41, u + 3*a - 16 = 0. Suppose 5*n = 4*h + 347, u*n + 4*h = -102 + 394. Is n prime?
True
Let h be 3 + 1/2*6. Suppose -4*n = -6*n - h. Is 12*(-33)/36*n composite?
True
Suppose 3*t + 68 = -7. Let h = -12 - t. Is h prime?
True
Let m(i) = -5*i**3 + i**2 - i - 1. Let x = -2 + 1. Let g be m(x). Is ((-14)/g)/((-3)/63) prime?
False
Suppose -228 = v - 4*v. Suppose 2*q = -c + 5, -3*q - 2 = -2*q - 4*c. Suppose 0 = -q*k - 2*k + v. Is k a prime number?
True
Let j = 224 + -124. Suppose 3*g + g - j = 0. Is g a composite number?
True
Let m(b) be the second derivative of -11*b**4/6 + b**3/2 + 2*b**2 - b. Let d(q) be the first derivative of m(q). Is d(-8) a composite number?
True
Let y be (-2)/(-8) + (-47)/(-4). Is (-3)/y*(-511 - -3) a composite number?
False
Let b(k) = 3*k**2 - 9*k + 2. Let z be b(6). Suppose -w = -5*n + z, 3*n + 2*w = 15 + 16. Is n a prime number?
True
Let q(a) = -a**2 - 3*a + 4. Let f be q(-4). Let v(i) = -i**2 + i + 493. Is v(f) a composite number?
True
Let y be (-6)/(-8) - 39/(-12). Suppose 0 = i - y*p - 25, 0 = 5*i + p - 313 + 125. Let u = 72 - i. Is u a prime number?
False
Let c(v) = 2*v - 1. Suppose 3*u + 1 = -3*a + 4*a, 0 = -4*u + 4. Is c(a) prime?
True
Let p = -126 + 523. Is p a composite number?
False
Let p(c) = 3*c - 3 + 5*c - 4*c. Let d = -4 - -8. Is p(d) composite?
False
Suppose 400 = -x + 3*x - 3*w, 3*x = 4*w + 601. Is x a composite number?
True
Let w(g) = g**3 + 4*g**2 + 4*g + 3. Let v be w(-3). Suppose s + 0*s - 39 = v. Is s prime?
False
Suppose 5*z + 5*i - 170 = 0, 5*z - 4*z - 31 = -4*i. Is z a composite number?
True
Is -41*((-704)/40 - 6/(-10)) composite?
True
Suppose 2*c - 221 = v, -2*c + 206 = -4*v - 0*v. Is c a composite number?
False
Let a(u) = 37*u**2 - u + 2*u + 1 - 2*u. Let x = -12 + 13. Is a(x) composite?
False
Suppose -h - 2 = -4. Suppose h*b - 249 = -b. Is b prime?
True
Suppose 3*o + 10 = -2. Is (106/o)/(5/(-10)) a prime number?
True
Suppose -5*n + 394 + 3261 = 0. Is n a prime number?
False
Suppose 4*d + 4*z = 3140, 3*z - 4*z + 3146 = 4*d. Is d a composite number?
False
Suppose 4*v = -g - 299, -5*g + 10 = -15. Is v/(3 + -4 + -1) a prime number?
False
Let q = 28 + -18. Is 4/q + (-4126)/(-10) a prime number?
False
Let s be 3 + 0 + (-7 - -2). Let l be 5/(3/(s - -5)). Suppose -l*x - 118 = -7*x. Is x composite?
False
Suppose -2*f + 3 = 5*s - 27, -5*f + 24 = 4*s. Let r(j) = -j**2 + j + 1. Let p(x) = -6*x**2 + 11*x + 3. Let g(m) = -p(m) + 4*r(m). Is g(s) a composite number?
False
Suppose 2*s - 2*y - 768 = 0, 2*y + 3*y = 3*s - 1158. Is s prime?
False
Let k(d) = d**3 - 7*d**2 + 11. Let j be k(9). Let h = j - 99. Is h composite?
True
Let u(x) = 168*x + 1. Let a be u(6). Suppose 3*z = 4*c - a, 3*z - 2*z - 1 = 0. Is c a prime number?
False
Let i = -139 - -1116. Is i a composite number?
False
Let n = -10 + 14. Let g = -1 + n. Suppose 0 = a - q - 20 - 37, 163 = g*a + q. Is a prime?
False
Is 40/(-8)*2*(-1934)/4 composite?
True
Let u be (-1 - -12)/(4/4). Let c(m) = 8 + 25*m - 2 - m**2 - 3*m. Is c(u) a prime number?
True
Let c = -10 - -14. Suppose 0 = -4*n + n + 3, c*n + 2 = 2*b. Is b a prime number?
True
Let g = -1 - -1. Suppose g = 4*c - 2*c - 106. Is c a prime number?
True
Let r(z) = -z**2 + 3*z + 3. Let m be r(3). Suppose -s + 4 = -m*s, 4*s = -5*y - 78. Let q = y + 28. Is q a prime number?
False
Let x(n) = n**3 + 15*n**2 + 17*n + 1. Is x(-9) composite?
True
Suppose -3 + 28 = 5*o. Let q(r) = 12*r + 7. Is q(o) a prime number?
True
Let y = -650 + 972. Let g = y - 177. Let k = g + -52. Is k prime?
False
Suppose 0 = l - 6 - 1. Let u(z) = -z**3 + 7*z**2 + 2*z - 4. Let p be u(l). Let b = p - 1. Is b composite?
True
Let w = -95 - -213. Let i = w - 51. Is i prime?
True
Suppose 0 = -3*n - 5*y + 5 + 3, 4*n + 5*y = 9. Let q(h) = -49*h. Let g(i) = -3870*i. Let b(l) = -6*g(l) + 473*q(l). Is b(n) a prime number?
True
Let x(q) = -q**3 + 12*q**2 - 6*q + 8. Let v be 168/27 + 2/(-9). Let n be x(v). Suppose 2*i - 3*a = 94, 0*a + a = -4*i + n. Is i a prime number?
True
Suppose 184 = -2*y - 38. Is ((-6)/9)/(2/y) prime?
True
Let d = 12 - 18. Is (6/(-4))/(d/356) composite?
False
Let g(c) = 0*c - 5*c - c**3 - 2 - 2*c**2 + c. Is g(-3) a prime number?
True
Let b be 1/(-4) + (-25)/(-4). Suppose 0 = x + 3 + 1. Is 94/b - x/(-6) a prime number?
False
Let z(j) = -j**3 + 11*j**2 - 10*j - 5. Is z(9) prime?
True
Let a(r) = 32*r**2 - 28*r + 17. Is a(12) prime?
True
Is (-3524)/8*-4 + -3 prime?
True
Suppose 0 = 7*n - 10*n + 1677. Is n a composite number?
True
Suppose -19*v = -17*v - 5570. Is v a prime number?
False
Suppose -90 + 1833 = 3*h. Let w = -390 + h. Is w prime?
True
Suppose -5*q + 5*z + 401 = -394, 0 = 4*q + 3*z - 650. Is q a prime number?
False
Let d(w) = w**2 - 2*w - 2. Let q be d(-2). Let g(k) = k**2 - 5*k + 1. Is g(q) composite?
False
Let t(u) = -u**3 + u + 3. Let o be t(0). Suppose -4*v + o*n = -12, -3*v + 2*n = v - 16. Let s = v + 13. Is s a prime number?
True
Let t(p) = -p**3 + 5*p**2 + 7*p - 2. Let o be t(6). Suppose -m + o*w - 101 = 0, -4*m - 333 = -m + 3*w. Let i = 128 - m. Is i a composite number?
True
Let i be 4/(-18) - 2/(-9). Suppose 0*g = -o + 2*g - 217, 4*g - 16 = 0. Is i - (o + 2 - -2) a composite number?
True
Let l(y) = 38*y + 1. Is l(1) composite?
True
Let i(g) = 12*g - 2. Let q be i(2). Suppose -18 - q = z. Let x = z + 61. Is x composite?
True
Suppose -4*p + 5*u - 2*u = -347, -4*p = u - 343. Is p a prime number?
False
Let t(r) = r - 3. Let b be t(-4). Let h be (-2 - 1 - -1) + -132. Let p = b - h. Is p prime?
True
Suppose -2*u + 3424 = -4*m, m + 3*m + 3424 = 5*u. Let s be m/16 + 6/4. Let c = s + 89. Is c a composite number?
False
Is (3 - 4) + 2 + 8*44 prime?
True
Let p(n) =