t) be the first derivative of o(t). Is m(-1) a prime number?
True
Suppose -x + 57 = -0*x. Suppose -4*k = 4*h + 188, 3*k + x = 4*h + 224. Is -2 - 0 - (h + -1) prime?
True
Suppose -650 = -2*w + 3*h, -w - w = -h - 658. Is w prime?
True
Is (-2)/10 + (-16126)/(-55) a composite number?
False
Let r(s) = 31*s**3 + 4*s**2 - 3*s + 1. Is r(2) prime?
False
Let r(f) = -f**3 + 3*f**2 + 3. Let x be r(3). Suppose -t + 45 = w - 6*t, -2*t - 187 = -x*w. Is w composite?
True
Let b(p) = -p**3 - 10*p**2 - 8*p + 6. Let m be b(-9). Let u(g) = -4*g**3 - 6*g**2 - 5*g + 2. Let i be u(-4). Let k = i - m. Is k a composite number?
True
Let y(n) = -5*n**3 + 2*n**2 - 8*n - 9. Let u(l) = 3*l**3 - l**2 + 4*l + 5. Let t(g) = -7*u(g) - 4*y(g). Let k be t(3). Let c = k - -90. Is c prime?
True
Suppose -3*s + 2*q = -3111, s + 0*s + 3*q = 1048. Is s a composite number?
False
Let q be ((-6)/(-4))/(7/14). Suppose 196 + 89 = -q*z. Is 1 + 2 - (z - -3) prime?
False
Suppose -5*t + 4*i = -17575, -5*i = t + 915 - 4401. Is t a prime number?
True
Suppose 0 = 3*y + 5*z - 765 + 230, -3*z = 4*y - 728. Is y a prime number?
False
Suppose 0 = -0*t + 5*t. Suppose 5*q = -t*q. Suppose -3*y + y + 298 = q. Is y prime?
True
Let x = -908 - -1543. Is x a composite number?
True
Let a(i) = 0*i + i + i**2 - i**3 + 0*i**3. Let m be a(0). Let d = 7 + m. Is d prime?
True
Suppose -28*s + 30*s = 658. Is s composite?
True
Suppose 0 = -2*f + 571 + 691. Is f a composite number?
False
Suppose -t + 44 = -79. Suppose t = -a - 2*a. Let h = -6 - a. Is h composite?
True
Let f be 2/7 - (-12)/7. Suppose -4*c - j = -3*j - 18, -c - 3 = -f*j. Is c prime?
True
Let w = 533 - 840. Is 6/10 + w/(-5) composite?
True
Suppose 3*c = 4*y - 2936, -2*y - 3*c = -5*y + 2199. Is y prime?
False
Let d = -24 + 26. Is 613/d - 9/(-18) a prime number?
True
Is 10/(-6)*(-3 + -234) a prime number?
False
Let y be 2/12 - 23/(-6). Suppose 3*q + 108 = -2*q - 2*f, -68 = y*q - 3*f. Let j = -9 - q. Is j prime?
True
Let r(c) = 2*c + 4. Suppose 7*m - 3*m + 5*i - 35 = 0, 0 = -3*m + 2*i + 9. Is r(m) prime?
False
Let z = 19 - -104. Is z a prime number?
False
Let g(l) = -26*l + 1. Suppose -f = -3*i - 6, 8 = -0*i - 4*i - 2*f. Let s be g(i). Suppose s = 2*t - t. Is t a prime number?
True
Let z = -5 - -3. Is 16*z/(-2) - 3 composite?
False
Let c(n) = n + 1. Let t(d) = -d + 4. Let l(k) = 2*c(k) - t(k). Let y be l(2). Suppose b = 0, -b + 24 = y*x + 2*b. Is x a composite number?
True
Suppose -q - 757 = -3*f, 6*f + q - 498 = 4*f. Is f prime?
True
Let y = 13 + -7. Let u(l) = -l**3 + 6*l**2 + 6. Is u(y) composite?
True
Let h be (-1 - (-3)/2)*0. Let j = -2 + h. Is ((-249)/(-6))/((-1)/j) prime?
True
Suppose 2345 = 2*n + 5*n. Is n a prime number?
False
Let s(l) = -l**3 - 3*l**2 + 9*l. Is s(-7) a composite number?
True
Let v be (-39)/(-9) + 2/(-6). Let w(t) = t**2 + 6*t - 73. Let m be w(14). Suppose 0 = -r + 4*i + m, -v*i + 5*i - 845 = -4*r. Is r composite?
False
Let w be 0/4*(-2)/(-4). Is (98/2)/(w + 1) prime?
False
Let k be 2/((8/45)/4). Suppose 3*q - k = 4*f, 2*f = 3*q - 4*q + 25. Is q a composite number?
False
Suppose 5*x = -40 - 50. Let f = x + 9. Is 6/f - (-70)/6 a composite number?
False
Suppose 5*u - 218 = -4*w - 0*w, -2*u + 5*w + 107 = 0. Let g be u/(-6) - (-6)/9. Let c(r) = -r**2 - 7*r + 2. Is c(g) a prime number?
True
Let h = -453 - -792. Let i = -136 + h. Is i a composite number?
True
Let i(f) = -13*f**2 + 2. Let m = 28 + -17. Let p(b) = 25*b**2 - 3. Let j(q) = m*i(q) + 6*p(q). Is j(-3) a composite number?
False
Suppose 7*t - 18 = t. Suppose 0 = -t*d - 0*d + 2*y + 5027, d = -4*y + 1657. Is d a prime number?
False
Let r(y) = -7*y**3 + 4*y**2 - y + 5. Is r(-4) a composite number?
False
Let n(p) = -278*p + 5. Is n(-3) a composite number?
False
Suppose 2*m + 4 = 16. Suppose m*c - 6 = 4*c. Suppose 2*q + 3*k = q + 112, c*k + 130 = q. Is q a composite number?
True
Suppose 2*h + 4*l + 7905 = 24563, -3*l = 3*h - 24987. Is h a prime number?
True
Let d = -5578 - -14511. Is d a composite number?
False
Let j be 4 - 2 - 1 - -2. Suppose k = 7 - j. Suppose -k*f - f + 815 = 0. Is f a prime number?
True
Let l(b) = -b**3 + 2*b**2 - 4*b - 1. Let y be l(2). Is 1317*(21/y)/(-7) a composite number?
False
Suppose -3*j + 3*l + 807 = 0, 3*l + 273 = -j + 2*j. Is j a composite number?
True
Suppose 486 = -0*f + 2*f - 4*a, -472 = -2*f - 3*a. Is f prime?
True
Let z(f) be the first derivative of -4 + 1 + 4*f + 5 - 3*f**2 - 3*f. Is z(-6) composite?
False
Let k = 243 + -137. Is 1*k*12/8 prime?
False
Let l(v) = -v**3 + 10*v**2 + 10*v + 8. Is l(9) composite?
False
Suppose -10 = -n - n - 4*m, 3*m - 18 = -5*n. Suppose t = -n*t + 2716. Is t prime?
False
Let v be (-1020)/8*(12 - 0). Is 1/(-4) + v/(-8) a composite number?
False
Let t = 106 + 111. Is t composite?
True
Suppose 3*i + 0*i = 0, y + 5*i = 299. Suppose 0*r + 1050 = 5*r. Let h = y - r. Is h prime?
True
Suppose -8226 = -32*f + 26*f. Is f a prime number?
False
Let j be (-914)/(-6) - 2/(-3). Suppose -2*q - q = -j. Is q a prime number?
False
Suppose 3*o = -o + 1460. Let c = -111 + o. Suppose -6*z + 4*z + c = 0. Is z a prime number?
True
Let n = 199 - 5. Let d = 17 + n. Is d a composite number?
False
Suppose -4*r + 708 = -320. Is r composite?
False
Let b be -1 + 2*(-258)/(-4). Let y = -81 + b. Is y a composite number?
False
Let h = 1 - -8. Is (-222)/(-4)*6/h composite?
False
Suppose 4084 = 3*d + 4*w - 3191, -2*w - 4864 = -2*d. Is d a prime number?
False
Let d(g) be the first derivative of g**6/120 + g**5/20 - g**4/8 + g**3/3 + 2. Let p(r) be the third derivative of d(r). Is p(-6) composite?
True
Let n(i) = 67*i**2 - i - 3. Let d be n(-3). Suppose 5*t - d = 392. Is t a prime number?
True
Is 134/(-3 - (-1 - 1) - -2) composite?
True
Let y be -9*(15/9 + 1). Let j = 31 - y. Is j composite?
True
Suppose -j + 1565 = -4*z, -3*j + 7801 = 2*j + 4*z. Is j composite?
True
Suppose 3*g = 373 + 884. Is g composite?
False
Let c(n) = -n**3 - n**2 + n - 330. Let x be c(0). Let p = -169 - x. Is p a composite number?
True
Let f(w) = -w**2 + 2*w + 6. Let g be f(4). Is ((-423)/3)/(3/g) a prime number?
False
Suppose -3*c + 2*c + 127 = 0. Is c a composite number?
False
Suppose p = -3*p. Is p + 0 + (-2 - -60) a composite number?
True
Let v(a) = 7*a**2 + 3*a**2 + a + 0*a - 1. Suppose 0 = -0*y + 2*y - 2. Is v(y) a composite number?
True
Let l = 8 - 4. Is ((-155)/l)/((-3)/12) a composite number?
True
Let q(c) = -c**3 + 9*c**2 - 8*c + 9. Is q(7) a composite number?
True
Let w(f) = -f - 4. Let t = 11 - 15. Let c be w(t). Suppose 2*k = 4*g - 1 - 91, -2*g + 3*k + 38 = c. Is g composite?
True
Let t be (0 - 2) + 109 - 1. Suppose 3*q + t = q. Let d = q - -100. Is d prime?
True
Suppose 5*q + 237 = 8*q. Is q a composite number?
False
Let b(m) = -107*m + 5. Let x be b(-4). Suppose 3*d + 38 = -x. Is 1 - d - (-1 + 2) composite?
False
Let z(a) = a + 1. Let o(u) = -20*u - 1. Suppose -4*t + 14 = 2*b - 0*b, 3*t - 5*b + 9 = 0. Let n(h) = t*z(h) + o(h). Is n(-3) prime?
False
Suppose -z = -4*z - 15. Let m(i) = -5*i - 3*i + 7 + 2*i. Is m(z) a composite number?
False
Suppose -3118 = -2*q + 4*n, -4*q = -3*q + 4*n - 1559. Is q a prime number?
True
Let w = 7 - 23. Let h = -3 - w. Is h composite?
False
Let d be (-10)/15*(-15)/2. Suppose -a - 81 - 13 = -2*n, d*n - 3*a - 233 = 0. Is n a prime number?
False
Is 1/(-4) - (-7860)/16 a prime number?
True
Suppose -4*i - 5*q = i - 95, 5*i = 2*q + 130. Suppose -3*h + 0*h + i = 3*l, 0 = 3*l - 3*h. Suppose 18 = l*a - 130. Is a composite?
False
Suppose 2*r - 3963 - 14155 = 0. Is r a composite number?
False
Let g(m) = 132*m**2 - m. Let j be (-6)/(-4)*2/(-3). Is g(j) prime?
False
Let l be (-1)/(-1) + (-1 - 14). Let r = l + 49. Is r composite?
True
Let v = -6 + 4. Is 107 + (0 - 4/v) prime?
True
Suppose 2*h = 3*h - 301. Let q(n) = n**2 + 7*n + 2. Let k be q(0). Suppose -k*d + i + 4*i + 143 = 0, 5*i + h = 4*d. Is d a composite number?
False
Suppose 4*o + j + 55 = 0, -5*o - 99 + 25 = 3*j. Is 6/2*o*-1 prime?
False
Let p(m) = -2*m + 5*m - 6 + 15. Is p(8) prime?
False
Let w = 549 + -328. Is w composite?
True
Let g(c) = -24*c**2 - c - 2. Let h be g(-2). Let v = h - -4. Let b = -25 - v. Is b a prime number?
True
Let a(c) = 9 - 7*c + 21*c - 4. Is a(6) a composite number?
False
Let v(u) = -383*u + 7. Let x be v(3). Is x/(-6) + 2/3 a composite number?
False
Suppose -4*k + 282