et g be l(-1). Is 4/g*2*-1258 composite?
True
Let v be (-4 + 20/6)/((-1)/3). Is 3/v + -1 + 657/18 prime?
True
Let k = 18 - 14. Suppose -m - 100 = k*m. Is (-1885)/m + (-2)/8 composite?
True
Is (1 - 1) + 2 + (303 - -2) composite?
False
Let b = -14779 + 25976. Is b a composite number?
False
Suppose 48 = u - 124. Suppose -3*r - u = -745. Is r a composite number?
False
Suppose 4*w - 22171 = -5*o, -w - 4*o - 22144 = -5*w. Is w a composite number?
True
Let j = -1411 - -2074. Suppose 0*d = 3*d - j. Is d prime?
False
Let t(l) be the second derivative of -13*l**3/6 + 7*l**2/2 + l. Let x be ((-40)/56 - -1)*-14. Is t(x) prime?
True
Let j(a) = 22*a - 183. Is j(26) a composite number?
False
Let z = 0 + 5. Let m(k) = -k**3 + 5*k**2 - 4*k + 20. Let d be m(5). Suppose -z*g + 4*b + 473 = 0, d = -4*g + g + b + 281. Is g a composite number?
True
Let g = -66 + 66. Suppose 3*p = 5*m - 2782, 5*m - 2*p - 1809 - 974 = g. Is m composite?
False
Suppose 6 + 9 = -3*x + k, 9 = 3*k. Let q be -9*x/(-8)*28. Let w = q - -257. Is w a composite number?
False
Let i(v) = 446*v**2 - 19*v - 74. Is i(-5) a composite number?
False
Let s(y) = 16*y**2 - 12*y - 15. Let k be 1/(-2)*(-4 - 16). Is s(k) a composite number?
True
Suppose -5*s - 2*a = 9, -2*a + 12 = s + 3*a. Is s + (6 - (-1 - -3)) + 1948 prime?
True
Let a(s) = 2*s**2 + 11*s + 16. Let u(q) = q**2 + 1. Let j(l) = -a(l) + 5*u(l). Is j(-17) prime?
False
Suppose -37480 = -32*x - 1800. Is x a composite number?
True
Let p(f) = -7*f - 49. Let r be p(-8). Is (3798/(-18))/((-1)/r) a composite number?
True
Suppose 75*y - 87883 = 52*y. Is y composite?
False
Suppose -2*x - 26 = -4*c + 10, -x + 3 = c. Suppose 7*i - c = -0. Is 4/i - -203 - -4 a prime number?
True
Let y(l) = -17*l**3 + 4*l**2 + 7*l + 15. Let m(k) = -k**2 + 9*k + 16. Let z be m(11). Let j be y(z). Is j - (6 - (-8)/(-2)) a prime number?
False
Let m = 9826 - 5280. Suppose 4697 = 9*d - m. Is d prime?
False
Suppose 13*a = 15*a + 2, -3*a + 12775 = 2*q. Is q a composite number?
False
Is (-1012)/(-3) + 2/(-6) a prime number?
True
Suppose 57 = -4*b - 23. Is b/(-10) - (-5266 + (2 - 3)) composite?
True
Let v(l) = -l**3 + 6*l**2 - 5*l + 3. Let i be v(5). Let u(w) = w**3 + 8*w**2 + 4*w + 9 - 16 + 0*w**i. Is u(-7) a composite number?
True
Let h(d) = 152*d + 181. Is h(35) a prime number?
True
Let l be ((-9)/4)/((-19)/228). Suppose -31*z + 7132 = -l*z. Is z a prime number?
True
Let r be 8/(2 - (0 - 0)). Suppose 8 = 2*f, 2*h - 2 + 6 = r*f. Let z = 17 - h. Is z prime?
True
Let d = -85 + 90. Let c(y) = 152*y - 59. Is c(d) prime?
True
Let x(o) = -o + 2. Let a be x(-1). Suppose -5*t + a + 24 = -g, -4*t + g + 21 = 0. Is 3676/(-10)*(-15)/t a composite number?
False
Suppose 6*m - 2*m - 16 = -2*b, 23 = 3*b + 5*m. Suppose 4*k = 5*z - 0*z - 15, -3*k + 15 = 5*z. Is z/b*(-1 + 195) prime?
True
Suppose 3*f = 3*y - 6 - 0, 3*f + 10 = 5*y. Suppose y*r - 3 = 5. Suppose -w + 103 = r*g, -668 + 107 = -5*w + 3*g. Is w a composite number?
True
Suppose -f - h = -2408, 2184 - 9404 = -3*f + h. Is f a prime number?
False
Let f(v) = 7*v**2 - 2*v - 1. Let x be f(2). Suppose z = 3*z + 3*u - x, 44 = 3*z - 5*u. Is 2 - 3 - -20*z composite?
True
Let r be (-1 + -20)/(6/(-10)). Is 16665/21 + (-20)/r composite?
True
Let g = 41841 - 27548. Is g prime?
True
Let h(f) be the first derivative of -f**6/60 - f**5/15 - f**4/3 - 5*f**3/6 - 3*f**2/2 - 3. Let q(p) be the second derivative of h(p). Is q(-6) a prime number?
True
Let q be (-16)/(-6)*(-9)/(-12). Let j be 0/2 - (q - 3). Is (0 + j)/((-10)/(-3370)) prime?
True
Let d(z) be the third derivative of z**5/6 + z**4/8 + z**3 + 19*z**2. Is d(4) a prime number?
False
Suppose 11*r + 14044 = u + 14*r, 4*r = 3*u - 42067. Is u a prime number?
True
Let m(n) = 28*n**2 + 5*n + 5. Let w(h) = h**2 - 17*h - 12. Let l be w(18). Is m(l) prime?
False
Suppose 0 = q + 3*q - 16. Suppose 3*d = -3*a - a + 6, -6 = -3*d + 4*a. Suppose 4*u + 72 + 171 = c, -q*u = d*c - 426. Is c prime?
True
Suppose -3*m - 5*s = -26812, 0 = 3*m - 3*s - 0*s - 26796. Let w = 1578 - m. Is (-4)/(-6)*w/(-8) prime?
True
Let z(l) = 2293*l**2 - 4*l + 11. Let h be z(2). Suppose 10*s + h = 15*s. Is s prime?
False
Let q be (10/4)/(2*(-6)/(-48)). Suppose -q*a = -2*a - 1480. Is a prime?
False
Let n be 4/48*4*0. Suppose -12*l + 1603 + 2633 = n. Is l a prime number?
True
Let w = -321 + 578. Let j(f) = f**3 + 15*f**2 - f - 11. Let c be j(-15). Is (c - 0) + -10 + w prime?
True
Suppose o - 687 = 9058. Is o composite?
True
Let v = -13967 + 27528. Is v composite?
True
Let d = -5 + 4. Let j(b) = 4*b**3 - b**2 - b. Let x be j(d). Is 3*((-56)/6)/x composite?
False
Let l = 3 - -4. Suppose 5*d - 4*x - 30 = 0, 4*d + 3*x = 31 - l. Suppose 2*o - 23 = 3*i + d, 2*o - 64 = -4*i. Is o a composite number?
True
Suppose -3*u + 2 = 4*y + 3, -u = -y - 2. Let b(o) = -210*o**3 - 1. Is b(y) a prime number?
False
Let j = -5287 + 9272. Is j a composite number?
True
Let l be ((-1)/6 - 46/12) + 0. Suppose 0 = 6*y - y - 15. Let n = y - l. Is n prime?
True
Suppose 5*h - 1516276 = -3*b, 0*h + h + 5*b - 303242 = 0. Is h a composite number?
False
Let u(n) = 69*n**3 + 2*n**2 + 3*n + 3. Let t(a) = a + 11. Let q be t(-8). Let x be u(q). Suppose c = -2*c + x. Is c a composite number?
False
Let b(x) = x**3 + 6*x**2 + 5*x - 2. Let z be b(-5). Let p = 4 - z. Suppose -4*m = 3*y - 129, 0 = -m - m + p. Is y a composite number?
True
Suppose -2*b + 4 = -0. Let o be (-33)/b*56/6. Let p = o - -389. Is p composite?
True
Let g be (-33)/((-5)/((-40)/(-12))). Let a be 35/((-6)/(-2) - 2). Suppose 3*x - a = g. Is x a prime number?
True
Is (-11)/((-66)/74190) - 4 a prime number?
False
Let f(w) = 149*w**3 - 2*w**2 + 18*w - 53. Is f(6) a composite number?
True
Let z(w) = w**2 - 5*w - 5. Let d be z(5). Let s(l) = -82*l + 12. Let f be s(d). Suppose -3*b = n - f, 5*b = -0*b - 5*n + 720. Is b a composite number?
False
Let n(m) = 19*m**3 + 21*m**2 - 129*m - 4. Is n(5) composite?
False
Is 10532*9/(-180)*-35 a prime number?
False
Suppose c + 954 = 4*c. Suppose -4*y + d = -d - 1162, -y = 5*d - c. Suppose 4*i - 937 = -y. Is i composite?
True
Let b = -4588 + 14469. Is b a prime number?
False
Suppose 0 = m, -4*m = -5*f + 9 + 11. Suppose -f*h + 4 = -0*h. Is h*6*130/20 composite?
True
Let v(x) be the first derivative of 4*x**3 - 7*x + 1. Let m be 2 - -4 - (3 - 2). Is v(m) prime?
True
Let o(x) = -64*x**3 - 21*x**2 - 144*x - 13. Is o(-14) composite?
True
Suppose -10 = -5*s + 5*d, s + 3 = d + d. Suppose -2*m - s = -3*m. Suppose -165 = -m*i + 4*i. Is i prime?
False
Let s = 277 - -334. Is s composite?
True
Suppose 12 = -2*l + 6*l. Suppose 11 = -l*i + 59. Suppose -17*p = -i*p - 59. Is p composite?
False
Let l = 46747 - 19800. Is l composite?
False
Suppose -9 = -3*n + 3. Is 3/4 + 473/n prime?
False
Suppose -5*j - 4002 = -11*j. Is j prime?
False
Let s = -438 - -132. Suppose 2*g = 2*o - 6*o + 1706, g = 4*o + 835. Let j = s + g. Is j prime?
True
Suppose -8587 - 2690 = 7*h. Let f = -976 - h. Is f prime?
False
Suppose 8*b + k = 12*b - 11369, 3*k + 5677 = 2*b. Is b prime?
True
Let c(n) = 4*n**2 + 5*n + 11. Suppose 5*y - 12 = 13. Suppose -y*x = -x - 32. Is c(x) a composite number?
False
Suppose -4*z - 28 = -2*c, 0 = 2*z - 3*z. Let g(u) = c*u + 6*u - 13 + 16*u. Is g(6) a composite number?
True
Suppose -5*h + 18*l = 20*l - 8097, 3246 = 2*h - l. Is h a prime number?
True
Is (18194 + 1 + 0)*(-5)/(-15) a composite number?
True
Suppose p - 81 - 42 = 0. Let x = 191 + p. Is -1 + -3 + -3 + x a prime number?
True
Let d = -13 - -13. Suppose -3*m - 5*f + 1488 = m, d = 2*f. Let p = m - -1. Is p a prime number?
True
Let f be 3/(-4)*-4 + 1. Suppose -3*x + 42 = -2*v - 203, v = -f. Is x a prime number?
True
Let j(v) = -117*v**3 + 6*v**2 + 7*v + 53. Is j(-5) a composite number?
True
Let r(j) = -j**3 + 35*j**2 - 19*j - 143. Is r(24) a prime number?
True
Suppose x + 2*a + 1240 = 5*x, -1244 = -4*x + a. Let m = x - -485. Is m a prime number?
True
Let l = -31742 - -44800. Is l composite?
True
Suppose 3*m + 4*x - 431 = 0, 2*m + 4*x = 4*m - 274. Let g = m - 82. Is g a composite number?
False
Suppose -5 + 127 = f + 3*b, 0 = 5*b + 10. Let n = 89 + f. Let q = 308 - n. Is q composite?
True
Let i(g) = 238*g**2 - 4*g + 59. Is i(-11) composite?
False
Suppose 0 = 39*c - 123*c + 1027068. Is c a prime number?
True
Let m = 17589 + 7438. Is m a prime number