k - 5*o = -0*k - 5734. Is k prime?
False
Let a = 20626 + -8015. Is a composite?
False
Suppose -3*d + 11*d = -9088. Let i = d - -1989. Is i prime?
True
Suppose 3719 = 3*t + s - 688, 4*t + s = 5876. Is t prime?
False
Let b(i) be the first derivative of -i**4/4 + 5*i**3/3 + 5*i**2/2 + 8*i + 8. Let x be b(5). Is (x/(-6))/((-2)/188) prime?
False
Suppose 0 = -r - 4, -2*y + 9352 = -2*r - 92070. Is y a prime number?
True
Let j = 8 + -3. Suppose 39*f = 73*f - 7854. Suppose -2*w + j*w = f. Is w a prime number?
False
Let k(b) = 6. Let c(x) = -1. Let d(p) = -5*c(p) - k(p). Let h(l) = l + 2. Let n(u) = -4*d(u) + h(u). Is n(7) composite?
False
Let b(s) = 20*s**2 + 1. Let q be b(-1). Suppose 4*r - q = 31. Let m = r - -114. Is m a composite number?
False
Let v(b) = b**3 + 8*b**2 - 5. Let o be v(-8). Let p be o*((-4272)/5)/6. Suppose -178 = 4*l - 5*l - 5*m, 4*l = -3*m + p. Is l composite?
True
Let j = 2726 + -1023. Is j a composite number?
True
Let n = -11014 - -21311. Is n a prime number?
False
Let q(a) = 5*a**2 + 4*a + 2. Let o be q(-1). Suppose -5*p - 2*g + 1657 = 0, 0*p + 2*p = o*g + 659. Is p prime?
True
Suppose -2*f + 3*p + 2*p = -14, -3*p = 5*f - 4. Suppose -1516 = -f*a - 38. Is a prime?
True
Suppose 3*x = 2002 - 61. Is x prime?
True
Suppose 5*u + 33143 = 280438. Is u prime?
True
Suppose -4 = -k - 1, 3*r = 5*k - 51. Let v = r + 20. Suppose -2*p + v = 0, -3*b + 810 - 187 = 2*p. Is b a prime number?
False
Suppose -2406 = 4*m - 6*m. Let i = m - -80. Is i a prime number?
True
Is (29/(-6))/((-20)/8040) composite?
True
Suppose 3*m + s - 35 = 0, m + 3*s - 7 = -2*s. Let j be m/(-8)*1*142. Let l = j - -404. Is l composite?
False
Is ((-89441)/(-44))/(-6 - 100/(-16)) a composite number?
True
Let d(s) = -27*s + 152. Is d(-5) a composite number?
True
Let n(f) be the second derivative of f**5/20 + f**4 + f**3/6 + 3*f**2/2 + 3*f. Is n(-4) composite?
False
Is ((-1344)/(-256))/(6/9208) a composite number?
True
Let r(l) = 2*l**2 - 4 + 3 - l**2 - 4*l. Let d be r(5). Let a(j) = 4*j + 3. Is a(d) prime?
True
Suppose -20 = -3*x - 2*x, 2412 = 4*z + 5*x. Suppose 0 = -c + 3*c + 4*r - z, 3*c - 899 = -5*r. Is c prime?
False
Suppose -t + 8 = 2*a, -t - t + 3*a = -30. Suppose 0 = x - 0*x + 4*j + t, x - 12 = 2*j. Suppose x*p = 361 + 147. Is p a composite number?
False
Let f be (-2 - 0) + 2 - 1. Let q be (164 + f)/(2 - 3). Let s = 174 - q. Is s prime?
True
Let m(x) = 98*x**2 - 1. Let c(d) be the second derivative of d**3/6 - d**2 - 5*d. Let w be c(3). Is m(w) prime?
True
Let c(v) = 12*v**2 + 23*v - 12. Let m(o) = 13*o**2 + 24*o - 13. Let k(a) = 4*c(a) - 3*m(a). Is k(-22) prime?
True
Let k be 16/6*(-27)/(-18). Is 249 - (2 - (4 - k)) a composite number?
True
Suppose -54 = -3*n - v, -5*n + 83 = 5*v - v. Let q = n + 16. Is q prime?
False
Suppose 0 = 12*t - 7*t - 10. Suppose t*f = -f - 3*k + 2184, 0 = 2*f + 3*k - 1451. Is f a composite number?
False
Suppose -9*m + 7391 = -47680. Is m a composite number?
True
Let w(t) = 6*t + 111. Is w(11) a composite number?
True
Let b(s) = 3666*s**3 - 2*s + 3. Is b(1) a prime number?
False
Let p = -911 - -567. Let a = 491 + p. Suppose -a = -3*g + 18. Is g a prime number?
False
Suppose 0*o - 4*o = -3*n + 35763, 5*o = 2*n - 23849. Is n a composite number?
True
Suppose 70610 + 163835 = 5*z. Is z prime?
True
Let v be 1*(-2 - 5)*80/(-4). Let h be (-1 - -92)*1/1. Let n = v - h. Is n prime?
False
Is (-24 - 100563)/(3/(-1)) a prime number?
True
Let a(w) = -2*w**3 - 2*w**2 - 53. Is a(-34) a composite number?
False
Suppose 7*s - 23 - 61 = 0. Suppose -14*z - 2 = -s*z. Is 3/(-6)*(z + -373) a composite number?
True
Let h be (278/4 + 4)*16/1. Let q(x) = x + 7. Let b be q(-4). Suppose -3*g = -b*i + 3468, -i + 0*i + 5*g + h = 0. Is i prime?
True
Let k be (-18)/4*(-8)/6. Let g be 1 + (-6)/(k/2). Let v(q) = -71*q**3 - q**2 - q. Is v(g) a composite number?
False
Suppose v = -4*v + 125. Let b(k) = -k**2 - 15*k - 44. Let f be b(-13). Let g = v + f. Is g a composite number?
False
Let b(g) = 178*g**2 + g - 3. Suppose 5*a = -5*f + 15, -4*a + f + 30 = -f. Let u be (-20)/(-4)*a/(-15). Is b(u) prime?
False
Is 6/2*(-118821)/(-9) prime?
True
Suppose 223*u - 56799 = 214*u. Is u a composite number?
False
Let r be (0/(0 + 3))/2. Suppose -10 = 5*p, -a - 5*p - 21 = -r*a. Let c(k) = -5*k + 10. Is c(a) prime?
False
Let d = 94 + -51. Suppose -3*a + 0 + 0 = 0. Suppose a = -2*u + d - 13. Is u prime?
False
Let r(b) = 38*b**2 + 71*b - 52. Is r(-27) prime?
True
Let h = 14673 + -10252. Is h prime?
True
Let c(u) = -u**2 + 3*u**2 - 7 - 10*u + 12. Is c(8) prime?
True
Suppose 3*d - 5*s = 33, -3*d = -4*s - 8 - 28. Suppose p = 3*r + 14, 2*r - 1 + 9 = 0. Suppose -3*g - g + d = 0, 0 = p*i - g - 510. Is i a composite number?
False
Suppose -l + 2562 = t, 0 = -5*t + 2*l + 7698 + 5091. Is t prime?
False
Suppose -10*y + 6 = -8*y. Suppose -5*f = -y*h - 1939, 0 = 3*f - 5*f - 5*h + 757. Is f a composite number?
True
Suppose -100 + 34 = j. Is (514/3)/((-44)/j) a prime number?
True
Suppose -y + 66080 = 5*u, -u - 4*y = 4911 - 18108. Is u composite?
False
Let q(m) = 155*m + 2. Is q(1) a composite number?
False
Suppose -3*f = f - 28. Let z(n) = 2*n**2 + n - 1. Let s(k) = -9*k**2 + 8*k - 6. Let x(q) = -s(q) - 3*z(q). Is x(f) a prime number?
True
Let x(m) = -m**2 + 5. Let n be x(0). Let q(c) = 462*c + 14. Let p(y) = -154*y - 5. Let s(v) = 17*p(v) + 6*q(v). Is s(n) prime?
True
Let s(w) = -3*w**3 + 5*w**2 - 4*w + 13. Suppose -k + 5*z = 3, -4*k - 36 + 9 = -5*z. Is s(k) prime?
True
Let b = -18 - -22. Suppose g + r = 6*r + 49, 2*g - 80 = b*r. Is g composite?
True
Suppose -23276 - 6456 = -4*c. Is c composite?
False
Suppose -h = -2*h - 9. Let l(f) = 8*f**2 + 2*f - 7. Let k be l(h). Let s = k - 364. Is s prime?
False
Suppose 7 = -3*m - 4*m. Let t(y) = -52*y - 1. Is t(m) composite?
True
Let v(j) = -2*j**3 + 13*j**2 + 21*j - 11. Let p be v(8). Is (2 - (p + 2)) + 5 + -3 prime?
True
Let w be (-19 - -25)/(3/(-2)). Is 9177/(-1 - w) - -4 a prime number?
False
Let f = -2 - -8. Let i(h) = -55*h - 17. Let z(m) = 82*m + 26. Let r(n) = 7*i(n) + 5*z(n). Is r(f) a composite number?
True
Let i(g) = 3117*g**2 + 17*g - 75. Is i(4) a prime number?
False
Suppose 0 = 5*l - 38424 - 2921. Is l a composite number?
False
Let a(o) = -o**3 - 12*o**2 - 13*o + 11. Let k be a(-15). Let i = -462 + k. Is i prime?
True
Let l(z) = z**2 + 5*z + 5. Let r be l(-5). Let f(k) = 286*k - 5. Let m(b) = 191*b - 3. Let u(o) = -5*f(o) + 8*m(o). Is u(r) composite?
False
Suppose 2761 + 2123 = 6*r. Suppose -r = -q - 0*q + 3*t, -3*q + t = -2450. Is q composite?
True
Let z(r) = -722*r - 3. Is z(-7) a composite number?
False
Let y(c) = -68*c - 1. Let t(n) = n**3 + 4*n**2 + n - 4. Let m be t(-4). Let a = m - -5. Is y(a) prime?
False
Suppose 28*w + 172690 = 415086. Is w prime?
False
Suppose 2*a + 8 = 0, -f - a - 25 = -0*f. Let n be (-3619)/f + 4/6. Suppose -4*h = -n - 95. Is h composite?
False
Suppose -17 = -5*b - 4*h, 0 = 2*b + 4*h - 17 + 3. Is ((-15)/12)/(b/(-596)) a prime number?
False
Let o(i) = -i**3 - 3*i**2 + 2*i**2 + 6 + 0 + 11*i - 8*i**2. Let j be o(-10). Is 1*84 - j/(-4) a prime number?
True
Let w(b) = b**2 - 43 - b**2 + b**3 + 0*b**3 + 16*b - 9*b**2. Is w(18) a prime number?
False
Let w be 2 - -1 - (-3)/((-12)/(-8)). Is w/(-15)*-1983 + 1 composite?
True
Suppose -4*u + 12 = -u, -4*u + 29004 = 4*d. Is d a composite number?
False
Suppose 11 = 5*k - 4. Let b be 5*(1 + 6) + k. Is b/((-2 - -8)/3) composite?
False
Suppose 56846 = 5*o - j, 19*o + 2*j - 56843 = 14*o. Is o prime?
True
Let s be (-85)/10 - (-6)/(-4). Let y(w) = w**2 + 11*w + 15. Let b be y(s). Suppose 4*g - 5*m - 493 = 0, b*m + 17 = 2*g - 232. Is g a prime number?
False
Suppose -4*i + j + 101 = 0, i + i - 3*j = 63. Suppose -v = 3*v - i. Suppose 0 = -v*o + 9*o - 165. Is o a prime number?
False
Suppose -3*l = -l - 1724. Suppose -l = -2*w - w - g, 3*g = 4*w - 1158. Suppose 5*v - i = 341, -v = -5*v - 3*i + w. Is v a composite number?
True
Let h(j) = 15*j**2 + 7*j - 14 + 5*j - 3*j + j**3. Is h(-11) composite?
True
Let g(p) = 3*p + 17. Let z be (-2)/5 - (-3)/((-15)/(-62)). Is g(z) a prime number?
True
Suppose -3*g + 5852 = -g + 5*t, -2*g + 5*t + 5892 = 0. Suppose -b = -5*q + g, 0*q - b = 5*q - 2934. Is q prime?
True
Let m be (0 - 1)*(-1 + -3). Suppose -3*g - g = -m*f + 12, -g = 1. Is -1*f/2*-407 prime?
False
Suppos