 o a prime number?
True
Is (-1 + 7/2)*325596/430 prime?
False
Let g = -181 - -126. Let y(a) = a**3 + 8*a**2. Let w be y(-6). Let r = w - g. Is r composite?
False
Let v(y) = -y**3 + 2*y**2 - y + 2. Let f be v(2). Let p(m) be the second derivative of -m**5/20 - m**4/12 + 37*m**2/2 + 2*m. Is p(f) a composite number?
False
Let h(r) = -r**3 + 33*r**2 - 84*r - 33. Is h(26) prime?
False
Let j = 5194 - 3633. Is j a prime number?
False
Let p = 171 - 97. Let l(y) = y**2 - 3*y - 5. Let s be l(6). Let w = s + p. Is w composite?
True
Suppose 2*b + 23 = 5*n, 0 = 2*n - 4*n + b + 10. Suppose 5*x + 3*o = n, 6*x = 4*x - o + 2. Is 1*x*(-1043)/(-21) composite?
False
Suppose 0 = 3*s - 3, -3*k + 31 = 5*s - s. Suppose 0 = 3*l - 10 - 47. Let v = l - k. Is v a composite number?
True
Let f(c) = -41*c + 16. Suppose -u - 2*i = -1, 5*u + 58 = 4*i + 7. Is f(u) a composite number?
True
Let r(d) = -2*d - 5 + 1 - 1. Let t(p) = -p**3 + 5*p**2 + 4*p + 3. Let n be t(6). Is r(n) composite?
False
Suppose -2*g + 1775 = 2*y - 3*y, 0 = 3*g + 4*y - 2635. Suppose 4*n = -3*v + 2*v + g, 0 = -5*n - 2*v + 1107. Is n a prime number?
False
Suppose 0 = -17*b + 282830 - 43963. Is b prime?
True
Let x = -10 + 15. Suppose x*c = d - 54, 5*d - 5*c = -21 + 351. Is d a prime number?
False
Let l(h) = 0 + h**3 - 18*h**2 - 1 - 5 - 11 + 20*h. Let f be l(17). Let m = f + 37. Is m a composite number?
False
Suppose -43*m = -275468 - 368285. Is m composite?
True
Suppose 1988*y - 85432 = 1980*y. Is y a composite number?
True
Suppose -8*w = -w + 28. Is (-2874)/w + (-1)/(-2) a composite number?
False
Suppose -12 = 4*g + p + p, g + 2 = -p. Let z = g - -9. Suppose z*o = 4*o + 77. Is o a composite number?
True
Suppose 3398 = 2*a - 117144. Is a a prime number?
True
Suppose -221353 = -14*u - 19935. Is u composite?
False
Let z(w) = w**3 + 5*w**2 + 4*w. Let x be z(-4). Suppose -2*u - 5*a + 456 = x, -2*u + a = -112 - 332. Is u composite?
False
Let s(g) = -g**2 - 2*g + 3. Let a be s(0). Suppose 2144 = 2*n - 5*k + 6*k, -a*n = k - 3217. Is n a prime number?
False
Is 18969*-1*4/(-12) composite?
False
Suppose 0 = 2*w - 5*w + 18. Suppose -w = -2*v - 2. Suppose 4*b - 2*b + v*x - 1360 = 0, -5*b + 3392 = -3*x. Is b a composite number?
True
Suppose -202634 = -11*s - 5701. Is s composite?
False
Let d be (1 + 1)*(-2042)/(-4). Suppose g = -d + 5184. Is g a composite number?
True
Let z = -2 - -14. Let s be z/9*3/2. Suppose -m + 93 = s*m. Is m composite?
False
Suppose 10 = 30*o - 25*o. Is -2798*(5/o)/(-5) composite?
False
Suppose -b + 1 = z - 3, 5*z = 4*b - 25. Is z*4/6 - (-2529)/27 a composite number?
True
Let m be ((-110)/4 + 3)*-4. Suppose -k = -21 - m. Is k composite?
True
Let i = -5 + 6. Let u(m) = 156*m**2 + m - 2. Is u(i) a prime number?
False
Suppose -4*m + 7*m - 271 = -2*u, -275 = -2*u + m. Suppose -3*y + 10 = a, -5*a + 7 = -4*y - 5. Suppose y*p - u = 45. Is p prime?
False
Let a(t) be the third derivative of -5*t**4/6 - 2*t**3/3 - 5*t**2. Let y be a(-11). Let n = y - 59. Is n a composite number?
False
Let n(c) = 22 - 29 - c - 2*c. Is n(-15) a prime number?
False
Suppose 0*h = -h + 38. Let p(m) = -4 - 2 - 2 + h*m - 157*m. Is p(-5) a prime number?
True
Let n(k) = -76*k**3 - 7*k**2 - 7*k - 3. Is n(-5) prime?
False
Let c = 7 + -26. Let b = -14 - c. Suppose -168 + 13 = -b*x. Is x composite?
False
Suppose 0 = -2*q - 3 - 7. Let c be 4/10 + (-3)/q. Is 10/(c + (-45)/51) a prime number?
False
Let u = 1 - -1. Let n(y) = 8 - 18*y + 0 + 9 + u. Is n(-8) composite?
False
Let x be 4/14 + 6/(-21). Let z(d) be the first derivative of d**4/4 - d**2/2 + 85*d + 6. Is z(x) a prime number?
False
Suppose -5*r + 484006 = -3*j, -5*j = 9*r - 14*r + 484000. Is r prime?
False
Let j(p) = 14*p**2 + 13*p + 30. Let w be j(-7). Suppose -57 = 4*d - w. Is d a prime number?
False
Let a(k) = -k**3 - 31*k**2 - 20*k + 189. Is a(-31) composite?
False
Suppose k + 29302 = 14*k. Suppose -4*l + k = -s, -l - 3*s + s = -559. Is l a composite number?
False
Suppose -h - 6*b = -b - 8919, -h + 8909 = 3*b. Is h a composite number?
True
Let a(n) = n**3 + 23*n**2 + 43*n + 20. Let r be a(-21). Let b(w) = -w**3 - 5*w**2 + 7*w + 9. Let d be b(-6). Is -689*(-2 + d)/r a prime number?
False
Suppose 19*k - 20*k + 34 = 0. Suppose 37*z - k*z = 153. Is z a prime number?
False
Let m(g) = g - g**3 + g - g - 4*g**2 + 3*g**2. Let t(u) = 3*u**3 + 17*u**2 - 19*u + 3. Let l(r) = 2*m(r) + t(r). Is l(-16) prime?
True
Let z(v) = 58*v**2 + 3*v - 1. Let g be z(3). Suppose -3*n - 4*a + 5*a = -797, g = 2*n - a. Is n a prime number?
False
Let c be (-116)/(-6)*(-15)/2. Suppose -u = 4*u + 450. Let t = u - c. Is t prime?
False
Let j be -75*(96/(-15) - -4). Suppose 2*g + j = -440. Is g*((-28)/(-8) + -4) prime?
False
Let z = -10034 - -21217. Is z composite?
True
Let l(g) = g**3 + 5*g**2 - 5*g + 8. Let y be l(-6). Suppose -3*c = -y*h - 1091 + 4277, 3*h + 1051 = -c. Is -3*c/15 + 1 a composite number?
True
Let x(t) = t**3 + t. Let d(b) = -217*b**3 - 4*b. Let f(z) = -d(z) - 5*x(z). Let r(v) = -v**3 + 5*v**2 + 1. Let p be r(5). Is f(p) a prime number?
True
Let g be (-9)/6 - 14/(-4). Suppose 5*c - 22 = -4*a + g*c, -5*c - 10 = 0. Is (-623)/(-49) - (-2)/a composite?
False
Suppose 0 = 22*i - 27*i + 35335. Is i a composite number?
True
Let r(x) be the third derivative of 7*x**4/4 + x**3/6 - x**2. Suppose 0 = 295*v - 301*v + 12. Is r(v) a composite number?
True
Let a(c) = c**2 - 6*c + 4. Let f be a(5). Let r be (213/2 - f)*2. Let k = r + -106. Is k prime?
True
Let j be ((-403038)/(-24) - 7) + (-3)/(-4). Suppose j = 5*f + 2*r - 10750, -4*r = -2*f + 11010. Is f a prime number?
True
Let u(t) = -19*t - 8. Is u(-5) a composite number?
True
Suppose g + 20 - 37 = 0. Let d = 17 - g. Is (-1 - d)/(16/(-8368)) a composite number?
False
Let i = -13 - -13. Suppose i = -4*o + o + 3228. Suppose 4*k - o = -0*k. Is k prime?
True
Suppose 2*g = 4*u + 7 + 3, 0 = 5*u + 15. Let j(r) = -1315*r**3. Is j(g) a composite number?
True
Suppose 2*o - 40 = -4*j, -5*j - 39 - 19 = -2*o. Is 35464/o - 2/3 a composite number?
True
Suppose -4 = 2*g, -4*v - 1 = -5*g + 1. Is 1 + 220 + 0/v a composite number?
True
Suppose 3*a + 3030 = -27. Is a/(-8) - 9/24 a composite number?
False
Suppose 2*p + 2*p = 16. Suppose -12243 + 4904 = -3*z - p*b, -3*b = z - 2438. Is z a composite number?
True
Let l be 596 + (5 - 3) + (-3)/1. Suppose 13*m = 8*m + l. Is m prime?
False
Is 1065 - (-4 + 3 + -3) a composite number?
False
Let a(d) = 3989*d**2 - 6*d + 15. Is a(2) a composite number?
False
Suppose 0 = 2*s - 13685 + 3039. Is s composite?
False
Let m = -1172 - -1698. Suppose -3*q = -q - m. Is q prime?
True
Suppose -2*s - 12 = -0*s. Let u be (-8)/10*(-5595)/s. Is 2/(-7) + u/(-14) a composite number?
False
Let v(x) = -103*x + 42. Let y(m) = 104*m - 42. Let z(o) = -3*v(o) - 2*y(o). Is z(11) a composite number?
False
Suppose 0 = 3*s - 5*t - 838, -286 = -s - 2*t + 5*t. Let a = 151 - s. Let q = 319 + a. Is q a composite number?
False
Let u = 1653 - -2650. Is u a composite number?
True
Let d = 548 + 1501. Is d a composite number?
True
Let r be (21/(-3))/(-1) + 1. Suppose -r*w - 2910 = -18*w. Is w prime?
False
Let l(k) = -827*k**2 - 21*k - 19. Let r(h) = -414*h**2 - 11*h - 10. Let n(j) = -6*l(j) + 11*r(j). Let d be n(-3). Is (-18)/(-81) - d/(-9) a composite number?
True
Let f(u) = -u**3 - u - 1. Let z be f(-1). Let t(a) = 19*a**2 + 1 + 22*a**2 + 11*a**2. Is t(z) a composite number?
False
Suppose -4*k - 6*i + 2*i + 24 = 0, -k + 5*i = 18. Is (841/k)/(8/16) a composite number?
True
Suppose 0 = 4*m + 2*j - 14, -4*m + 2*j + 4 = -6. Let f(a) = 2*a**3 - 6*a**2 + 2*a + 3. Let s be f(4). Suppose -478 = -m*q - s. Is q composite?
True
Suppose -6*q = 3580 - 11146. Let b = q + -200. Is b prime?
True
Suppose -199 + 819 = 4*c. Is c a composite number?
True
Let p(b) = b**3 + 10*b**2 - 2*b - 2. Let z(y) = -3*y**2 + y**2 + 3*y**2 - 2*y**2. Let i be z(-3). Is p(i) a composite number?
False
Suppose 3*u - 33 = -3*g, -g = -4*g + u + 29. Suppose 0 = 3*o - 2*i + 4, -2*o + 0*i - 5*i = -g. Suppose o = 3*w - 4*h - 313, -2*h = -0 + 2. Is w composite?
False
Let h(l) be the second derivative of 4*l + 5/6*l**3 + 3*l**2 + 0. Is h(5) composite?
False
Let i = -2556 - -24097. Is i composite?
True
Suppose -55 - 16 = -y. Suppose 2*p = p + y. Suppose -70 = -n + 5*c + p, -4*n - 2*c = -520. Is n a composite number?
