 composite?
True
Let s = -2880 - -11233. Is s composite?
False
Let f = -150 + 156. Let v(r) be the third derivative of r**5/60 + 7*r**4/24 + r**3/6 + 2*r**2. Is v(f) a prime number?
True
Let s(v) = 2*v**2 - 2 - v - 2 + 5 + 2*v**2. Let m be s(1). Suppose -2*h + 2*r + 516 = 0, 5*h + 318 - 1607 = m*r. Is h composite?
False
Suppose q - 4*q + 448 = 4*w, 0 = -3*q + 5*w + 493. Suppose -q - 134 = -2*r. Is r composite?
True
Let q(s) = -9*s**3 + 4*s**2 + 2*s - 3. Let f be q(-5). Let x be f/8*(-4)/3. Let o = -128 - x. Is o a composite number?
True
Is (-208362)/(-330) - (-1 - (-14)/10) a composite number?
False
Is ((-12)/(-18))/(-1 - (-2962)/2958) a composite number?
True
Suppose 0 = 2*p - 3*d - 280, -4*p - 33 = 4*d - 613. Is p prime?
False
Let w = 720 - -691. Is w composite?
True
Let j(z) = -z**3 - 7*z**2 + 9*z + 48. Is j(-17) a prime number?
False
Suppose 2*u - 10 - 4 = 0. Suppose -6*a = -u*a + 1371. Is a a prime number?
False
Let m be 26/((-6)/15*-5). Suppose 1808 = m*r + 3*r. Is r a prime number?
True
Let u(n) = 18130*n + 47. Is u(3) a prime number?
True
Let f(l) = 0*l**3 - 7*l**2 + 5 - 10*l + 9*l**3 - 36*l**3. Is f(-6) a prime number?
False
Let h(j) = -4*j**3 - 13*j**2 + 64*j + 43. Is h(-18) prime?
False
Let u be (168/(-3))/4 + -3. Let g = u + 22. Suppose -203 = -g*k + 3*m + 1283, -2*k = -3*m - 589. Is k a composite number?
True
Let f(c) = 2*c - 4. Let y be f(3). Let k be 5272/28 + y/(-7). Let j = -57 + k. Is j a prime number?
True
Let j = -15 + 14. Let w be (-1)/1 - (j - 5). Suppose 0*o = 2*o - 4*v - 174, 435 = w*o + v. Is o a prime number?
False
Let s(k) = 15*k + 1. Let r(z) = -46*z - 3. Let o(p) = -6*r(p) - 17*s(p). Suppose m + i - 1 = 0, -2*m - 1 = -3*m - 4*i. Is o(m) prime?
False
Let y(c) = 20*c**3 + 4*c**2 + 3*c - 2. Let p be y(4). Suppose -g + 3*g = p. Is g a composite number?
False
Let a = -97 - -99. Suppose 3*i = 5*j + 5*i - 16761, a*j + 4*i = 6698. Is j a prime number?
False
Let s(m) be the first derivative of -m**4/2 - m**3 + 2*m**2 + 19*m + 20. Is s(-6) composite?
True
Let o(p) = 2*p**2 - 7*p + 9. Let v(a) = -a**3 + 12*a**2 + a - 8. Let t be v(12). Is o(t) a prime number?
True
Suppose -352*o = -354*o + 3482. Is o a composite number?
False
Suppose -12 = -9*w + 6. Suppose l - 6 = -w*l. Suppose -3*i = -l*i - 1067. Is i prime?
False
Suppose 4*x = 7*x - 3*v - 129123, 3*x - 129139 = -v. Is x a composite number?
True
Let s(w) be the second derivative of -w**5/20 + 2*w**4/3 - w**3 + w**2/2 - 3*w. Let z be s(6). Suppose 5*c - z = 1498. Is c a composite number?
False
Suppose 19*y - 14484 - 219463 = 0. Is y a composite number?
True
Let r(n) = n**2 - 2*n + 2. Let v = 9 - 6. Let z be r(v). Suppose 0 = z*w - 19 - 1156. Is w a prime number?
False
Let o be (4/10)/((-26)/224510). Let a = o - -6585. Is a prime?
False
Let t be (-5)/((-15)/909) - 2. Let r be (-2)/18*3*0. Suppose r*i - i + t = 0. Is i prime?
False
Suppose 3*o + 21 = 3*a, a + o - 1 = -0*o. Suppose -v = -a*v + 2367. Is v prime?
False
Is 2 + -15 + 6 - -2486 prime?
False
Is 19/(((-6)/(-927))/(2/3)) a prime number?
False
Let a(u) = -u**2 + 8*u - 1. Let c be a(7). Suppose 0 = -4*o - c - 2. Is 2 - (-5*29 - o) a composite number?
True
Suppose 0 = -67*x + 62*x + 54715. Is x a prime number?
False
Suppose u - d = -5*d + 10733, 0 = -5*u - 2*d + 53593. Is u a prime number?
False
Suppose -41*q + 72*q = 1964594. Is q a prime number?
False
Is 24963 - ((4 - 6)*3 + 4) composite?
True
Let s = -2081 - -4479. Suppose -5*v + 5970 = 5*g, -2*g - 5*v + s = -v. Is g prime?
False
Suppose 347*p - 344*p - 14163 = 0. Is p a prime number?
True
Let f = -525 - -1024. Suppose n - f - 1486 = 0. Is n a composite number?
True
Let p be ((-4)/(-22))/1 - 9102/(-33). Suppose 5*d = 140 - 885. Let s = p + d. Is s a composite number?
False
Let v(q) = q**3 + 31*q**2 - 58*q - 35. Is v(-32) prime?
True
Suppose 0 = -2*g - a - 2*a - 3, -4*g + 2*a = -18. Let f be 8/(-12) - 7/g. Let i(t) = -392*t - 5. Is i(f) a composite number?
False
Suppose 0 = 5*k - 4*n - 14, -28 = -2*k - 4*n - 0. Is k/(-21) + (-10490)/(-14) a composite number?
True
Let x(c) = c**3 + c**2 + c + 98. Let y be x(0). Let h = 139 + y. Is h a composite number?
True
Suppose -3*m + 4551 = z - 2*m, 3*m = -z + 4559. Is z composite?
False
Let r = 856 - 281. Let t = r + -370. Is t a prime number?
False
Suppose -374 = -3*f + 19. Suppose 2*l - 104 = b, -4*b + 3*l + 2*l = 401. Let m = b + f. Is m prime?
True
Is (-4)/(-22) - (-438110)/110 a composite number?
True
Suppose -h + 14 = 5*i, 2*h = 2*i - i - 5. Let v be (9 - h)/(6/(-144)). Let s = -17 - v. Is s a prime number?
True
Let m be (-28 - 2)*10/15. Let i = m + 22. Suppose i*c = 4*r - 708, 1395 - 516 = 5*r - 4*c. Is r composite?
False
Let l(q) = -41*q - 14. Let v(y) = 20*y + 7. Let d(x) = -2*l(x) - 5*v(x). Is d(-5) prime?
True
Let s = 30 + -22. Is 9/(-72) - (-2409)/s a composite number?
True
Let u(l) = -l - 10. Let w be u(-10). Suppose w*j = -5*j + 370. Is j a prime number?
False
Let i = 26 + -14. Suppose 5*o + 4*r - i = -0, -4*o - 3*r + 9 = 0. Suppose -3*j + 3*b - 49 = -4*j, -5*b + 10 = o. Is j composite?
False
Let o(t) = -3*t**3 - 14*t**2 - 4*t - 6. Let k(w) = -w**3 - w**2 + w - 1. Let b(c) = c**2 - 1. Let z be b(0). Let i(h) = z*o(h) + 2*k(h). Is i(-5) prime?
True
Let x(b) = -b + 6. Let l be x(6). Let c(o) = o**2 + o + 35. Is c(l) prime?
False
Let m(q) = -q**2 - 2*q + 373. Let t(c) be the second derivative of c**5/20 - c**4/6 - 2*c**3/3 + 3*c**2/2 - 11*c. Let u be t(3). Is m(u) a composite number?
False
Let w = 514 + 2685. Is w composite?
True
Let c = 122 + -48. Suppose -2*m + c = -3*z, -m - 3*m + 148 = 2*z. Is m composite?
False
Let a(z) = -z**2 - z - 1. Let r be 21/(-7) - (2 + 1). Let i(q) = 2*q**2 - 3*q + 5. Let y(k) = r*a(k) - i(k). Is y(-7) a composite number?
True
Let n(t) = 38*t**3 - 2*t**2 + 2*t - 1. Let z = -7 + 8. Is n(z) a prime number?
True
Let w(j) = j**3 + 1. Let m(h) = 5*h**3 + 4*h**2 + 4*h + 6. Let a(v) = -m(v) + 6*w(v). Let o be a(5). Suppose -12 = -o*p + p. Is p a prime number?
True
Suppose -4*d - d = -4*n - 148, 2*d = n + 34. Let b be (-5)/(-25) + n/10. Let o(f) = -50*f - 9. Is o(b) composite?
False
Let b = 23 + -7. Suppose b = -12*x + 8*x. Is 211*(-2 + -2)/x a composite number?
False
Let s(w) = -w**3 + 12*w**2 + 3*w - 11. Let y be 8/2*36/16. Is s(y) a composite number?
True
Suppose -3*o - 4*d + 21635 = 2*o, -d - 21635 = -5*o. Is o prime?
True
Suppose -64942 = -43*w + 5*w. Is w composite?
False
Let n = 18495 - 12748. Is n a composite number?
True
Let a be (1/(-1))/((-1)/3). Let k(z) = z - 2 + 3*z**a + 3 - 4*z**3 - 10*z**2. Is k(-11) a prime number?
False
Let u = -24 - -26. Suppose 0*o = u*o - 1490. Is o a composite number?
True
Let z(j) = -j**3 - 3*j**2 + 4*j + 3. Let y be z(-4). Let i be -6 + y/1 - 1. Is -1*4/(i/19) a composite number?
False
Let d(x) be the second derivative of -x**5/20 - x**3/2 - 5*x**2/2 + 22*x. Is d(-3) prime?
True
Let f(u) = -u**2 + 2*u. Let s(m) = -2*m**3 + m + 1. Let p be s(-1). Let j be f(p). Suppose -20 = -5*t, -4*n = -j*n - 3*t - 124. Is n a prime number?
False
Let d(k) = 3*k + 11. Let g be d(-3). Is g + -1 + -2 + 322 composite?
True
Let u = -14 + 8. Let s be (104/u)/((-4)/78). Let d = s - 241. Is d prime?
True
Let i(p) = 664*p - 709. Is i(45) prime?
False
Is 23/(23/5076) - (-1 + -2) a prime number?
False
Let g be -6*(-2 - 15/(-9)). Suppose -4*t = -2*p + 5374, -10718 = -2*p - g*p - 2*t. Is p a prime number?
False
Suppose -8*d = -47 - 57. Suppose -2*r + 319 = -d. Is r a composite number?
True
Suppose -y = -3*y + 408. Let s = 322 - y. Is s a prime number?
False
Suppose 7*w - 2057 = 1457. Is w prime?
False
Suppose 0 = -2*i - 0*i + 20880. Suppose -i = -7*a + 641. Is a a prime number?
True
Let l be 1*(2 - 70)*-1. Suppose -33*k - 2*c = -38*k + 705, -4*k + 552 = -4*c. Suppose -k = -u + l. Is u a composite number?
False
Let d(x) = x**2 - 3*x - 2. Let z be d(4). Suppose -1200 + 494 = -z*f. Is f composite?
False
Let a = -4 - 6. Let j = -27 - -18. Is a/45 + (-479)/j a composite number?
False
Suppose -5*a - 2*d + 2051 = 0, -7*d + 8*d = -a + 412. Is a a prime number?
True
Suppose 0 = -59*s + 57*s + 10. Is ((-7719)/(-415))/(((-1)/s)/(-1)) a prime number?
False
Suppose 0 = 8*t + 34 + 22. Is -74*(t/5)/(12/30) a composite number?
True
Let b be -2*((-12825)/(-6))/(-3). Suppose -b = -4*h + k, 3*k = 2 - 