number?
True
Let s(c) be the second derivative of -2*c + 0 - 2/3*c**3 - 1/2*c**2. Is s(-6) a composite number?
False
Suppose -6 + 3 = -q. Suppose 0 = 3*j + f + 3*f - 2, -4*j - q*f + 5 = 0. Is 11/(j/(0 - -10)) a composite number?
True
Let k = 694 - -2816. Suppose -3*g + k = 651. Is g composite?
False
Let z(h) be the first derivative of h**3/3 - h**2/2 + 53*h + 1. Is z(0) a prime number?
True
Let o(f) = f + 10. Let v be o(-8). Let z(u) = 9*u**2 - u + 1. Let r be z(1). Suppose -r = -g + v. Is g composite?
False
Let g = -58 - -128. Suppose -3*q - g = -4*s, 2*s - q = q + 34. Is s a prime number?
True
Let i be ((-44)/5)/((-7)/35). Suppose 0 = 5*p + 15, -p = 2*j - 2*p - 13. Suppose 3*w + 101 = c, c + i = -j*w + 113. Is c a composite number?
False
Let i = 4 - 4. Let q be (0 - i) + -1 - -3. Suppose q*y = -a + 58, -27 = -2*y + y - a. Is y a composite number?
False
Suppose 0 = -3*q + 13 + 2. Suppose -866 = -q*s - 21. Is s a composite number?
True
Suppose 0 = -5*q + 25, 3*u = 2*u - q + 8. Is 1*-7*(-62 + u) a composite number?
True
Suppose 2*f = 5*f - 11361. Is f a prime number?
False
Let t be (-2)/(-1) + 4 + -5. Let o be 2/(3/2 - t). Suppose -123 = -r - m, m + 111 = r - o*m. Is r prime?
False
Suppose 4*o - v = -0*v + 7, -3*o + 4*v - 11 = 0. Let t be -1*(-1 + (o - 2)). Suppose b - 45 - 20 = t. Is b composite?
True
Let g(t) = -t. Let y(u) = -4*u - 5. Let r(m) = -3*g(m) + y(m). Let a be r(-5). Suppose -c - 3*c + 4*b + 256 = a, -5*c + 324 = -b. Is c a prime number?
False
Let f = 7 + -5. Let m(p) = -p**2 + 4*p + 7. Let a be m(5). Suppose -a*w = f*w - 204. Is w composite?
True
Let r(m) = -88*m + 1. Is r(-1) a composite number?
False
Suppose -45 = -5*a + 40. Let w = 5 - a. Is -2 + (-1 - 0)*w composite?
True
Suppose -m + 380 = 4*m. Suppose 2*r - m = 16. Is r composite?
True
Let o = 4 - 8. Is 1 + -1 + (-148)/o composite?
False
Suppose -m - 15 = -4*m. Suppose -270 = m*x - 7*x. Suppose -2*w + x = -163. Is w composite?
False
Let q(h) = -119*h - 35. Let n(b) = -10*b - 3. Let f(y) = 35*n(y) - 3*q(y). Suppose 4*v - 2*k - 3 - 3 = 0, 3*k = -4*v + 1. Is f(v) composite?
False
Let v(x) = x**3 - 7*x**2 + 7*x - 8. Let p be v(6). Let n be ((-14)/(-4) + -1)*p. Is (-33)/(-30)*-4*n composite?
True
Let f be 1 + (-2 - -3) + 0. Suppose 6*q = f*q - 8. Is 135/6 + q/(-4) composite?
False
Let o(l) = -l**2 + 2*l + 4. Let s = -6 + 12. Let q be o(s). Let r = -14 - q. Is r composite?
True
Let f(b) = b**2 - 2*b + 3. Let u be f(2). Let o be (1 - 0)/(u/(-24)). Let p = 11 + o. Is p prime?
True
Let r = -5 - -4. Let k be (3/(0 - 1))/r. Suppose -274 = -2*q - 4*o, -q + 81 = k*o - 61. Is q a prime number?
True
Is 183/6 + (-8)/(-16) a composite number?
False
Let d(i) = 3*i**3 + 3*i**2 + i - 6. Let o be d(3). Let l = o + 386. Is l a composite number?
False
Let w be -2*(-2 + 3/(-6)). Suppose -w*t - 2*n = -17, 4*t = -5*n + 15 + 2. Suppose 0*q + t*q = 12, -2*o - 4*q + 24 = 0. Is o a composite number?
True
Let b(v) = -9*v**2 - 7*v + 1. Let p be b(-5). Let z = 22 - p. Is z composite?
False
Suppose x + 3*c - 217 = 0, 4*x = x - 4*c + 661. Is x a prime number?
True
Suppose 0 = -0*f - 3*f + 6. Suppose f*d - 53 = -9. Suppose -4*x + d = -54. Is x prime?
True
Let p(f) = -35*f + 2. Is p(-1) prime?
True
Suppose -1 - 3 = -2*f. Suppose f*t + n = 164, 162 = 3*t - t + 2*n. Is t composite?
False
Suppose 0 = -0*c + 3*c. Let l(t) = t**2 + t + 7. Is l(c) a composite number?
False
Let j(o) = 2*o - 2. Let a be j(3). Suppose -u = u - a. Suppose 0 = u*v - v - 191. Is v prime?
True
Suppose -1 = 3*z - 7. Let j be z/(-10) + 80/25. Suppose -j*b + 13 = 4. Is b prime?
True
Suppose -2*s + 15 - 5 = 0. Suppose -s*t + 3*t = -20. Is t a prime number?
False
Suppose a = 5*o - 19, 5*o = 2*o + 4*a + 25. Let v = -23 - 5. Let m = o - v. Is m a prime number?
True
Let f be 4/14 - 342/21. Let k = 15 - f. Is k prime?
True
Let i(d) = 45*d - 71. Let f(x) = 9*x - 14. Let r(b) = 11*f(b) - 2*i(b). Is r(9) composite?
True
Let w(f) = 0 + f - 6*f**2 - 2*f**3 + 7 - f. Is w(-6) composite?
False
Suppose z - s - 25 = 0, 4*s = -s + 5. Let y = z + 32. Is y prime?
False
Let o = 1 + -8. Let g(c) = -22*c + 3. Is g(o) a composite number?
False
Suppose 741 = 2*a - 919. Suppose 2*i + 2*h = -0*h + a, -4*i - 5*h + 1665 = 0. Suppose 0*l + 2*l - i = 0. Is l composite?
True
Suppose -8*g - 875 = -3*g. Let v = 378 + g. Is v a composite number?
True
Let o(n) = n**2 - 5*n - 6. Let h be o(6). Suppose h = -5*i + 2*x + 576, -2*x - 112 = -i - 0*i. Suppose k - 3 - i = 0. Is k composite?
True
Let q = -10 - -13. Suppose 27 = 2*t + 5*h - 12, 2*h - 54 = -4*t. Is 147/4 + q/t composite?
False
Suppose -3*u = 3*j + 3, 2*j - 10 = -3*j - 2*u. Suppose 5*s - 1438 = -3*w, -5*s - 5*w + j*w = -1436. Is s a prime number?
False
Suppose 2*r + 0 = 4. Let i(d) = -d**2 - 4*d. Let u be i(-2). Is r/u + 292/8 composite?
False
Is 17 + -20 - 2*-256 a composite number?
False
Let s be (-252)/(-20) - (-4)/10. Suppose 0*l + s = 3*p - l, -5*l = -4*p - 1. Is p a composite number?
True
Suppose 0*s - s + 5 = 0. Suppose s*w = -2*w + 2065. Is w a prime number?
False
Let t be 1/(7/3 + -2). Suppose 0*a + 240 = 5*a. Suppose -a = -l + t. Is l a composite number?
True
Let k = 21 - 17. Suppose 5*u - 1330 = 3*f, -1320 = -u - k*u + f. Is u a composite number?
False
Is -2*-1405*(-4)/(-8) prime?
False
Suppose 909 = -7*r + 4402. Is r a composite number?
False
Suppose -4*a - 1382 = -9*a + 3*t, 5*a - 5*t = 1390. Is a prime?
False
Suppose -4*g - 3*v = 37, -3*g + 6 = -4*g - 4*v. Let u be 8/g*(-5)/2. Suppose -273 = -5*a - c, -335 = -4*a + u*c - 111. Is a a prime number?
False
Let f(m) = -10*m + 1. Let v(j) = -10*j + 1. Let z(k) = 2*f(k) - 3*v(k). Let t = -3 + 7. Is z(t) a composite number?
True
Let p be (-9)/6*(-2)/(-3). Let o be -1 + 1 - (-1 - p). Suppose 2*b = 5*b - 5*g - 167, 4*g + 16 = o. Is b composite?
True
Suppose -g + o = -14, 2*o - 24 = 5*g - 103. Suppose 0 = -4*f - g + 225. Suppose 3*v - f = 50. Is v prime?
False
Suppose -2*z + m - 4*m + 649 = 0, -3*m + 15 = 0. Is z a prime number?
True
Let j(l) = -4*l**3 + l**2 - l - 1. Let q be j(-1). Suppose 5*a - 1768 = 2*r - 673, -1120 = -q*a - 3*r. Is a composite?
True
Is 4/(-14) - (1 - 5147/7) a composite number?
True
Suppose 4*x - 652 = -4*q, -4*q - 2*x + 4*x = -652. Is q a prime number?
True
Suppose 3*s + 0*y = 4*y, 0 = -5*s + y. Suppose -4*m = -s*m - 308. Is m a composite number?
True
Let y be 1/5 + (-177)/(-15). Suppose -24 - y = -4*i. Is i prime?
False
Let l(t) be the second derivative of t**4/12 - 7*t**2/2 - 2*t. Let j be l(5). Suppose 2*m - 2 = j. Is m a prime number?
False
Let k be 8/20 + 16/10. Is ((-67)/k)/(5/(-10)) prime?
True
Suppose 4*f - 2236 + 712 = 0. Is f prime?
False
Suppose -4*y + 23 = -61. Let w = 11 + y. Let n = w - -83. Is n a composite number?
True
Let v(u) = -u**3 - 10*u**2 + 6. Let a be (-1)/((-2)/(-24)) + 2. Let f be v(a). Is 8/6*117/f composite?
True
Let i(s) = s**3 + 8*s**2 - 3. Is i(-7) a composite number?
True
Let t(m) = -m**3 - m**2 - 2*m - 1. Is t(-6) a composite number?
False
Let x be (-1)/(20/(-6) - -3). Suppose 3*j = 2*m - 169, -x*m + 4*m + 3*j = 98. Is m a composite number?
False
Let y = 4 + 0. Suppose x + 21 = y*x. Is x prime?
True
Is (-1)/(-1)*(0 - -5263 - 2) prime?
True
Let m be 1/(-3)*6/(-1). Let w(t) = 2*t + 2. Let i be w(m). Is 2/(-4) + 93/i a prime number?
False
Let l be -3 + (-1)/((-3)/15). Let r be 255/2 + (-1)/l. Let b = -62 + r. Is b prime?
False
Suppose -4*s - y + 245 = -1371, -s + 423 = 5*y. Is s a prime number?
False
Suppose s - 40 = -17. Is s a prime number?
True
Is 1/2 + (-2150)/(-4) a composite number?
True
Let d(b) = b - 10. Let g be d(5). Let z = 31 + g. Is z a composite number?
True
Suppose 54 + 10 = 4*o. Let z be (5*2)/(1*-1). Let s = o - z. Is s a composite number?
True
Suppose 167 = -i + 3*i + 3*v, 360 = 5*i - 4*v. Suppose 19 - i = -3*z. Is z composite?
False
Suppose 6 = 3*q, -m - q + 24 = -2*q. Let v = m + -16. Is 3186/15 + 6/v prime?
False
Is (4/(-6))/((-36)/17874) a prime number?
True
Let w(z) = 37*z**2 + 3*z - 1. Let c be w(2). Let f be 3 + 14/(-6) + (-1016)/12. Let j = f + c. Is j a composite number?
True
Let q be 4/6 - 12/(-9). Suppose -178 = -3*d + 3*c - 31, -q*d + 114 = 2*c. Is d a prime number?
True
Suppose 4*b + 1678 = 3*w, 1096 = 2*w - b + 4*b. Let t = -295 + w. Is t composite?
True
Let l = -484 - -782. Let n