o). Let y be k(-8). Suppose -w - 5 = 0, 4*n - y*w - 628 = 12. Is n composite?
True
Let g(v) = v - 5. Let r be g(5). Suppose r*k = 4*k - 72. Suppose k = 2*h - 50. Is h composite?
True
Suppose 5*l = 0, 3*l + 2*l + 5 = w. Suppose 0 = -5*q - w*u + 25, -4*q - 2*u = -8*q + 44. Suppose -3*z - q = -2*b - 72, 3*b = 5*z - 106. Is z prime?
True
Suppose -5*l + 2*x + 57 - 6 = 0, -3 = x. Let g be 1280 - 4/((-12)/l). Suppose -3*c + g - 62 = 0. Is c a prime number?
False
Let h(m) = m**3 - m**2 + 1. Let q(g) = -23*g**2 - 6*g + 13. Let y(b) = 3*h(b) + q(b). Is y(11) prime?
True
Let a be 1/1*2 - -2068. Let o = a + -615. Suppose -3*k + 0*k + o = 0. Is k composite?
True
Is 11*(11 + -5 + 205) composite?
True
Suppose -16*h + 347267 - 76723 = 0. Is h prime?
False
Suppose 0 = -18*l + 19*l - 3409. Is l prime?
False
Suppose -2*c + 4*k - 18 = 0, -4*k + 2*k = 5*c + 45. Let h = 3 + c. Is 1983/6 + (-3)/h a composite number?
False
Let f(d) = 55*d**2 - 17*d + 71. Is f(5) a composite number?
False
Let h(v) = 6*v**2 - 7*v + 6. Let f(a) = -a**2 + a - 1. Let c(i) = -5*f(i) - h(i). Let g be c(2). Is 214*(-20)/8*g a prime number?
False
Suppose -i + 2*a + 2487 = 0, 9*i = 10*i + 5*a - 2452. Is i prime?
True
Let y(l) = l**2 + l - 2701. Let p be y(0). Let r = -1505 - p. Let t = -561 + r. Is t a prime number?
False
Is (25793/(-7))/((-32)/224) a composite number?
False
Suppose -209*x + 204*x = -97705. Is x composite?
False
Is (-21 - -5456)/(-2 + 7) prime?
True
Suppose -12 = 26*x - 23*x, 2*x - 903 = -c. Is c a composite number?
False
Let a be 0 + 5/10*0. Suppose -3*w = -a*w - 5*n - 1669, 5*w - 2759 = -3*n. Is w prime?
False
Let c(t) be the first derivative of -t**4/4 + 5*t**3/3 + 5*t**2/2 + 3*t - 7. Let a be c(6). Is (2/a)/(7/(-1113)) a prime number?
False
Let u be 5/(3 - 2) - 3. Suppose 5*v = 6*v + u. Is (-3)/6*251*v prime?
True
Suppose 4*p + 2*f - 38094 = 0, 4*f = -10*p + 15*p - 47585. Is p a composite number?
False
Let h = 111 + -99. Is ((-1518)/h)/(1 + (-9)/6) a composite number?
True
Let f(b) = -b**3 - 6*b**2 - 4*b - 20. Let t be f(-6). Let q(a) = 9*a + 38. Is q(t) composite?
True
Suppose -6*u + 3147 = -3219. Is u composite?
False
Let q = 10413 + -7280. Suppose -q - 2448 = -l. Is l a composite number?
False
Suppose -q + 7 - 8 = 0. Let r be q/(-4) + (-161)/(-28). Is (-23 - r)*(-39)/3 prime?
False
Let u(d) = 40*d**2 - 2*d + 4. Let s be u(-3). Let z be s/(-8) - 9/12. Let n = z + 69. Is n composite?
True
Let p(x) = x**3 + 9*x**2 - 11*x - 5. Let s be p(-10). Is s + 21889/28 + 2/8 a prime number?
True
Let z be 2*2 + 21/(-7). Let p be 2*-2*(z + -2). Is (5/(-15))/(p/(-3228)) prime?
True
Let u = 80405 + -35566. Is u a prime number?
True
Let b = 12 + -8. Suppose b*k - 2*m - 276 = -0*m, 0 = 5*k - m - 351. Is k a composite number?
False
Let w be -4 + 2 + 0 - (-1 - 5). Suppose 2*j - 2086 = x, -x - 2175 - 1993 = -w*j. Is j prime?
False
Suppose 33*a + 22709 = 60692. Is a prime?
True
Suppose -2*g = -5*g + 12. Suppose -a - g = y - 37, a - 25 = -5*y. Is a a prime number?
False
Let b(s) = -30*s - 3. Suppose 3*k = -2*w + 25, -4*k + 0*w - 3*w + 35 = 0. Let z(a) = -29*a - 4. Let m(g) = k*z(g) - 4*b(g). Is m(-9) a prime number?
False
Is 234175/95 - 5/(5/6) prime?
True
Is ((-1)/(20/4390))/((-1)/2) a composite number?
False
Let k = -3 + 7. Suppose -i + 3*p - 4*p = -5, 4*p + 4 = 4*i. Suppose -87 = -5*q + k*n, -5*q = -i*n - 81 - 8. Is q prime?
True
Let t = -1820 - -9021. Is t composite?
True
Let s(j) = -j**3 + 28*j**2 - 55*j + 25. Is s(11) prime?
False
Suppose 20*u + 1104 = 17*u. Let i = 1027 + u. Is i a composite number?
False
Suppose 14724 = 8*w - 27860. Is w a composite number?
False
Suppose 3*y + 10*y - 1196 = 0. Is y/(-12)*3*-1 a prime number?
True
Let u(w) = w**3 + 14*w**2 + 11*w + 5. Let z be u(-13). Suppose -44 = -b - b. Let x = z + b. Is x a prime number?
True
Suppose -3*t = 4*q - 15, 0 = 3*q - 0*q - 2*t - 24. Suppose -q*w + 926 = -40. Is w prime?
False
Suppose 45*z - 47*z = -5646. Is z a composite number?
True
Suppose f + 10 = 3*t, f = 5*t + 2*f - 22. Let r(b) = 28*b**2 - b - 1. Is r(t) a prime number?
True
Let i be 0 + -3 + -35 + (3 - 1). Is 4148/36 + ((-16)/i)/(-2) a prime number?
False
Let a be (4/(-1) - (-1351)/7) + 1. Suppose -a = -i - 61. Is i a composite number?
True
Let y = -26 - -41. Suppose -4*v = -v - y. Suppose -v*p + 296 = -p. Is p composite?
True
Let i(m) = -380*m - 137. Is i(-11) prime?
False
Let o = 28 - 19. Let m = o + 170. Is m a composite number?
False
Let i = 12 + -41. Let p(g) = -g**2 - g + 80. Let t be p(0). Let b = t - i. Is b a prime number?
True
Let t(p) = -p - 87. Let v be t(0). Let b = 120 - v. Suppose -4*h + 329 = 3*q, -5*h = 5*q - b - 203. Is h a composite number?
False
Suppose 0 = -5*x - y + 6250, -5*x = -4*x - 2*y - 1261. Let w = -746 + x. Is w composite?
True
Let m(f) = f**3 + 4*f**2 - 6*f + 5. Let r be m(-5). Let u(h) = -h**3 + 10*h**2 + 1. Let p be u(r). Let k(b) = 65*b + 2. Is k(p) a composite number?
False
Let g be 5*((-12)/20 - -1). Let m(o) = 4*o**2 + 8*o**3 + 0 - 9*o**3 - o**g + 1 + 4*o. Is m(-4) a composite number?
False
Let r(c) be the first derivative of 107*c**4/4 - 3*c**2 + 7*c - 21. Is r(2) a composite number?
True
Suppose 2*a - 55 - 33 = 0. Let h be (-8)/a - (-40)/(-22). Let j = h + 33. Is j a composite number?
False
Let i(a) = 2*a + 9. Let w be i(6). Let j be (-6)/w - 74/(-14). Suppose 0 = -j*o + 3*q + 133, o + 5*q - 47 = -o. Is o a prime number?
False
Suppose 0 = -3*r - r + 8. Suppose -2*c + 7*c = 0. Suppose c = r*s - 180 + 62. Is s composite?
False
Suppose -3*z + 25105 = -4*x, 9*x + 41831 = 5*z + 5*x. Is z a prime number?
True
Suppose h + 31*h = 149216. Is h a composite number?
False
Let d(o) be the first derivative of o**4/4 + o**3 + 1. Let j be d(-3). Suppose -p = -j*p - 213. Is p a prime number?
False
Let w(i) = 12*i**3 - 2*i**2 + 3*i - 3. Let u be w(3). Is (u - -2)*(-21)/(-14) prime?
False
Let p be (-6)/10 - (-5890)/25. Let b be 0 + 6/3*2. Suppose -12 = -b*q, 4*v + 6*q = q + p. Is v prime?
False
Let x(i) = -1064*i**3 - i**2 + i + 1. Let r be x(-1). Let d = r + -177. Is d a prime number?
False
Suppose 2*u = 3*h - 8 + 1, 0 = -2*u - 5*h + 33. Suppose -i = -2*t + 2657, -t - 2*t + 3993 = -u*i. Is t a composite number?
False
Let j = 1409 + -2370. Let a = 2211 + j. Is (a + 1)*1/3 composite?
True
Let d(a) = -4195*a**3 - 2*a**2 - a + 1. Is d(-1) composite?
True
Let b(k) = -7*k**3 - 3*k**2 - k - 2. Let g be b(-2). Suppose 3*p = 2*p + g. Let d = p + 9. Is d prime?
True
Let d = -2746 - -11093. Is d composite?
True
Let q = 3379 + 10384. Is q composite?
False
Let z = 34 + -30. Suppose 2*q = -4*a + 9292, z*a = 3*q - 8*q + 9304. Is a a composite number?
True
Let h = -25 + 21. Is (h - (2 + -8)) + 411 a composite number?
True
Suppose -17*l + 15 = -12*l. Suppose -4*u = -l*u - 3. Suppose 2158 = 2*m - x, 2*m = -m - u*x + 3219. Is m composite?
True
Let i = -294 - -448. Suppose 5*t = -i + 24. Let m = t - -45. Is m composite?
False
Suppose -101 = 2*p - 315. Suppose -102*s - 2245 = -p*s. Is s composite?
False
Let r be (3 + -1)*(6 + -2). Let l(v) = 2 - r*v + 8 - 4 + 1. Is l(-6) prime?
False
Suppose -7*t = 3*t - 40. Is (-1 + t - (-3 + 5))*251 prime?
True
Suppose -2*m + 3 = 4*q + 1, -3*q - 5 = -5*m. Let p be (m/(-3))/(2/(-2130)). Suppose -6*j = -j - p. Is j a composite number?
False
Suppose 0 = 158*t - 167*t + 274923. Is t composite?
True
Let z(m) be the second derivative of m**5/20 - 2*m**4/3 + m**3 + 9*m**2/2 - 4*m. Let b be z(7). Suppose -s - b*j = -209, -5 = 3*j - 2. Is s a composite number?
False
Let i(o) = -167*o + 590. Is i(-7) prime?
True
Let r = -383 + 1792. Is r prime?
True
Suppose 0 = 100*g - 93*g - 57449. Is g prime?
False
Let y = 1642 + -591. Is -3 + (4 - -3) + y a composite number?
True
Let m = -5004 + 42235. Is m a composite number?
True
Let w = -1520 + 2370. Let q = -239 + w. Is q prime?
False
Let r = -17 - -19. Let j(m) = -m**3 - 6*m**2 - 4*m + 11. Let g(n) = -3*n**3 - 12*n**2 - 9*n + 23. Let l(w) = r*g(w) - 5*j(w). Is l(4) a composite number?
False
Suppose 0 = v + 4*v - 35. Suppose 4*r - v*r + 1773 = 0. Suppose 0*y + l - 744 = -5*y, -4*y - 5*l + r = 0. Is y a prime number?
True
Let m = -2958 - -5361. Let c = m + -939. Is (28/(-6))/((-16)/c) composite?
True
Suppose -49010 = -5*w - b, 5*w - 2*b - 9687 - 39308 = 0. Suppose -4*k - y - 6 = 0, -11*y - 8 = k -