umber?
True
Let w be 24/(-84) + 648/14. Suppose w = 2*m + 16. Let j(u) = u**3 - 14*u**2 - u - 19. Is j(m) composite?
False
Let d(x) = 5*x**2 + x. Let r be d(-1). Suppose -5*j - 8 = -0*j + r*n, 5*n + 10 = 3*j. Suppose 0*q + 5*q - 725 = j. Is q prime?
False
Is (-15 - -1720) + 5 + 1 a composite number?
True
Suppose -220*a = -209*a - 68563. Is a composite?
True
Suppose -4*c - 838 = -2*b + 888, 5*c = -10. Is b composite?
False
Let p(m) = m**2 - 3*m + 3. Let l be p(3). Suppose n = l*w + 3*n - 13, -24 = -5*w - n. Is (-555)/(-25) + (-1)/w a composite number?
True
Let d(v) = 13*v - 3. Let u be d(4). Let f = 886 - 622. Suppose -f + u = -5*m. Is m a prime number?
True
Let w(i) = -2*i + 9. Let m be w(-7). Let r = -21 + m. Suppose -401 + 13 = -r*v. Is v composite?
True
Let v(p) be the third derivative of p**5/30 - 5*p**2. Let n be v(-1). Suppose 137 = n*j - 161. Is j prime?
True
Let i(v) = 3226*v**2 + 4*v - 1. Is i(-1) composite?
False
Suppose 0*w + 2*w - 5771 = 5*v, -w = 4*v - 2905. Is w a prime number?
False
Suppose 14865 = 3*j + 2*g, -3*j - 5*g + 2*g = -14862. Is j composite?
False
Let m(x) be the first derivative of x**6/120 + x**5/20 + 11*x**4/24 + 2*x**3 - 1. Let i(k) be the third derivative of m(k). Is i(8) a composite number?
False
Let h(c) = 5*c - 36. Let f be h(14). Let b = f - -157. Is b prime?
True
Let c(x) = -7*x + 2. Let r be c(-2). Let g(w) = -14*w**2 + 7 - 8 + r - 24*w - w**3. Is g(-12) a prime number?
False
Let t(w) = -w**3 - w**2 - 2*w + 169. Is t(0) a composite number?
True
Suppose 5*c - 407 = 4*c + 5*k, 20 = 5*k. Is c a composite number?
True
Let t be (-8)/((-64)/6) - 122/(-8). Is 174/8 - (-4)/t a composite number?
True
Suppose -4*p + 34095 = p + 5*c, 4*c + 6809 = p. Is p a composite number?
True
Suppose -61*y - 178514 + 585567 = 0. Is y a prime number?
True
Let m be -2 + (-3)/(-9)*21. Let d(q) = -57*q + 22. Let x be d(-7). Suppose 0 = -3*w - p + x, -3*w + m*p = 3 - 400. Is w prime?
True
Suppose 3*n + 5*k = 225508, 0*n + 3*k - 150337 = -2*n. Is n composite?
False
Let m(x) = -259*x - 24. Let y be m(-13). Suppose -j + 3*t = -t - y, -4*j = 4*t - 13392. Is j prime?
True
Let q(p) = -8*p - 4. Let g be q(3). Suppose 7*f = 45 - 31. Is (g/(-35))/(f/395) a composite number?
True
Let a(o) = -9693*o - 17. Is a(-2) a composite number?
True
Suppose -1437 = 9*o - 167532. Is o prime?
False
Suppose 3*b + 6 = 4*x + 1, -5*b - 5 = -5*x. Suppose 5*n = -4*z - 13, 17 = -4*n - 3. Suppose -v + 51 + 288 = -5*i, -x*v + z*i = -678. Is v prime?
False
Let p = 7086 - 3772. Let o be (21/6)/7*p. Let k = o - 1074. Is k a prime number?
False
Let w(t) = 120*t**2 - 5*t - 3. Suppose -v = 2*r + 12, -2*v + 3*v + 22 = -4*r. Is w(v) a prime number?
True
Suppose 377 = -y + 1660. Let m = -624 + y. Is m a composite number?
False
Suppose -3*n - 3*x + 18678 = 0, -6*n + 11*n + x = 31134. Is n prime?
False
Is 1770608/208 - 18/(-39) composite?
False
Let w be 0*(-3 - 20/(-8)). Suppose 20*m - 15*m - 3595 = w. Is m composite?
False
Let d = 2476 - 1457. Suppose -2*x + d = -n - 883, -4*n = -4*x + 3796. Is x prime?
True
Let z = 14 + -9. Suppose j = z*j - 4. Is (-2 - j - 319)/(-2) composite?
True
Let w = 13 - -17. Let h = 83 - w. Is h a prime number?
True
Let n be -2263 - (-3)/(9/(-3)). Is ((-70)/(-40))/((-2)/n) prime?
False
Let i = -4035 - -8146. Is i composite?
False
Let p(w) be the first derivative of 4*w**2 - 4 - 15*w - 5*w**2 + 10 - 3*w**2. Is p(-8) a prime number?
False
Let b be 0 + (-10)/(-8 + 3). Suppose -b*l + 2597 = h - 5*l, -h + 2569 = 4*l. Suppose t = -4*t + h. Is t prime?
False
Let g(a) = 24*a + 3. Let z be g(-1). Let u = 12 - z. Is u prime?
False
Suppose 1 = -3*c - 5. Is c + 35/7 + 0 + 5024 prime?
False
Is (4 + 745/(-15))/((-4)/132) composite?
True
Let w be (3 - 18/2)*-1. Let u(d) = -7*d**2 - 21*d - 20. Let i(q) = 6*q**2 + 20*q + 20. Let h(g) = w*i(g) + 5*u(g). Is h(-14) prime?
False
Suppose 9*z + 264 = 12*z. Let v = z + -12. Suppose -5*a + 9*a - v = 0. Is a prime?
True
Let n(p) = 4*p - 6*p - 2*p - 4. Let g be n(-4). Let f = 167 - g. Is f composite?
True
Suppose -10059 = 10*c - 17*c. Is c prime?
False
Suppose 6*p + 2*p = 6824. Suppose -5*t + 2*d + 2*d = -4265, t = -3*d + p. Is t a prime number?
True
Let k = -511 - -979. Suppose -4*s + 2550 = 5*x, -k + 2365 = 3*s - 4*x. Is s composite?
True
Let z be -9*-2*2/4. Let d(q) = 2*q**3 - 10*q**2 - 5*q - 25. Let l(s) = -s**3 + 5*s**2 + 2*s + 13. Let t(u) = 3*d(u) + 5*l(u). Is t(z) prime?
True
Suppose 4*v + 0*v - 27827 = 5*t, -4*v = 3*t - 27803. Is v a composite number?
True
Let k(b) = -25*b + 12. Let i be k(3). Let f = 100 - i. Is f a prime number?
True
Let n(j) = -1784*j - 91. Is n(-3) a prime number?
True
Let l(q) = 13*q**3 - q**2 + 6. Let d(v) = 25*v**3 - 2*v**2 + 13. Let t(h) = -6*d(h) + 13*l(h). Let x be t(-1). Let j = 39 + x. Is j a composite number?
False
Suppose -5*c - 4 + 94 = 0. Suppose 6*s = 12*s - c. Suppose 5*w - 2*g = 137 + 126, 3*w = -s*g + 162. Is w prime?
True
Is (895/(-10))/(1/(-6)) prime?
False
Suppose 4*k + 5 = -19. Is ((-3)/k)/(1/218) a composite number?
False
Suppose -6*c = -8*c - 4*g + 5718, -2*c - 5*g + 5717 = 0. Is c prime?
True
Suppose 12*h + 295711 = 821947. Is h prime?
True
Let j = 1850 - 1257. Is j prime?
True
Let d(y) = -28*y + 3. Suppose 0 = -24*v + 29*v + 5. Is d(v) prime?
True
Is -1553*-15*(-2)/(-6) a prime number?
False
Suppose -2*s + 5 = 2*b - 5, 0 = -5*b - s + 13. Is 1259 - (1 - (b - 1)) a prime number?
True
Let o(q) = -46*q + 20. Let w = -12 + 18. Let d be o(w). Let i = 369 + d. Is i a prime number?
True
Let a(l) = 98*l + 103. Is a(5) composite?
False
Let y(q) be the second derivative of -13*q**4/24 + q**3/3 + 9*q**2/2 + q. Let t(v) be the first derivative of y(v). Is t(-11) a prime number?
False
Let u(d) = -2*d + 8. Let b be u(4). Suppose -j + b*j + 222 = 5*g, 2*j - 2*g - 432 = 0. Is j a composite number?
True
Let k(w) = 15*w + 4. Suppose -19*z = -20*z + 10. Let r(g) = -g**3 + 10*g**2 + 2*g - 7. Let v be r(z). Is k(v) a composite number?
False
Let r(h) = -70*h + 97. Is r(-3) prime?
True
Let y(d) = -129*d - 6. Is y(-3) composite?
True
Suppose -4*a = -2*k - 8690, 3*a - k + 3*k = 6521. Is a a prime number?
False
Suppose 0 = 4*b + 3*u - 0*u + 12, -2*b = -5*u + 6. Let i = -16 - b. Is 1*1543 + i + 13 a prime number?
True
Let i = -28 - -31. Let j be (0*i/(-9))/1. Suppose r = -2*l + 1673, l + 5019 = 3*r - j*r. Is r a composite number?
True
Let r be 5870/(-22) + (-2)/11. Let f be -3*8/(-12) - r. Let t = f - -50. Is t prime?
False
Suppose 4*d + 672 = -2*p, 5*d = -0*p - 3*p - 1004. Let w = -1326 - -727. Let x = p - w. Is x a prime number?
True
Let j = 2666 + 9531. Is j a composite number?
False
Suppose 4114 = q - 5*m, 0 = -4*q + 4*m - 6*m + 16566. Is q composite?
False
Suppose -a + 2*a = -4*l - 1815, 4*l = 3*a - 1819. Let h = 541 - l. Is h composite?
True
Is 9 + (-18)/3 + (9016 - 2) a prime number?
False
Suppose d + 0*v - 2434 = 3*v, 5*v - 9804 = -4*d. Let h = d - 1349. Is h composite?
False
Let n = 439 - 757. Let p = n + 481. Is p a composite number?
False
Suppose -3*p - 2*o = 2*o - 73, 0 = -4*p + 2*o + 112. Suppose 3*v - p = -0*v. Suppose 4*m + 195 = v*m. Is m a composite number?
True
Let d = 2624 + -1177. Let f = 2504 - d. Is f a composite number?
True
Let w(p) = 57*p**3 + 2*p**2 - p - 5. Is w(4) a composite number?
False
Suppose -4*r - 11604 + 29636 = u, -8 = -2*u. Is r a prime number?
True
Let p be (-2)/(-4) - (-88)/16. Suppose -5*d + 2*d + p = 0. Suppose 3*h = d*h + 545. Is h prime?
False
Let h(k) be the third derivative of -k**4/24 + 13*k**3/6 + 6*k**2. Let o be h(7). Is (33/(-5))/(o/(-30)) a prime number?
False
Let y(c) = 14*c - 2. Let v = -22 + 24. Suppose -a + 4*l = -10, 0*a = -2*a + v*l + 8. Is y(a) a prime number?
False
Let l = 3 - 4. Let y be (l/2)/((-2)/(-4)). Is 0/4 + 12 - y a composite number?
False
Let t(f) = -f + 16. Let m be t(7). Let n = m + 10. Is n a prime number?
True
Let q be (-925)/35 - (-3)/7*1. Is (3 - (-146)/(-4))*q prime?
False
Suppose -10*i - 11882 = -12*i + 4*z, 11880 = 2*i - 2*z. Is i a composite number?
False
Is -1*(-16732)/(-12)*-3 a composite number?
True
Let x be 8/28 + (-216)/(-28). Suppose 7*k + 10 = x*k. Is 3/2 + 3795/k composite?
True
Let j = 2746 + 1467. Is j prime?
False
Let k = 4364 + -2541. Is k composite?
False
Let m(l) = -l**3 + 6*l**2 + 7*l - 2. Let s(d) = -2*d