l = 2*f. Is (-12 + 3)*67/l composite?
True
Suppose 0 = 13*w - 8*w + 50. Is w/(-85) - 4/(68/(-18987)) a prime number?
True
Let k(a) = 647*a**2 - 5*a + 3. Is k(2) a composite number?
True
Suppose -3*w - 2344 = -5*w. Suppose c = 5*c - w. Suppose 4*n - c + 57 = 0. Is n prime?
True
Let l be (2/4)/(-1 - 28/(-24)). Suppose -l*j + 73 = -566. Is j prime?
False
Is 16701/3*(-8)/(-16)*2 composite?
True
Let p(k) = -k + 14. Let r(v) = 5*v - 71. Let l(u) = -11*p(u) - 2*r(u). Let s be l(10). Is (-44)/s*(-44)/(-8) a composite number?
True
Suppose -6*q + 432112 = -2*y, 0 = 11*q - 6*q + 5*y - 360100. Is q a prime number?
True
Suppose 181475 - 34500 = 25*u. Is u composite?
False
Is (-7120 - 3)*-1 + -7 + 5 a composite number?
False
Suppose 9 = -2*l - 15. Let z be (l/(-18))/(4/5526). Is z/6 - 15/(-10) a composite number?
True
Let u(n) = 18*n**3 + 4*n + 4. Let z(r) = 17*r**3 - r**2 + 3*r + 3. Let s(f) = -2*u(f) + 3*z(f). Is s(2) a composite number?
True
Let s(n) = 2*n**3 + 13*n**2 - 2*n + 52. Is s(7) prime?
True
Let q(s) = 10*s. Let b be q(2). Suppose 3*r + 2*r = b. Suppose -r*z - 211 = -5*z. Is z composite?
False
Suppose 17*z = -295783 + 962030. Is z prime?
True
Let j(a) = a**3 - 5*a**2 - 7*a + 9. Let y be j(6). Suppose 351 = y*n - 4*l - 557, 1240 = 4*n + 2*l. Let v = -165 + n. Is v composite?
True
Suppose 19*j + 6409 = 55638. Is j prime?
True
Let r = 36 - 22. Suppose -18*z + 764 = -r*z. Is z a composite number?
False
Suppose 4*b = 3*h + 1670 + 106, 0 = 2*h - 8. Is b composite?
True
Suppose 5*r - 29*t = -25*t + 605, 605 = 5*r + 3*t. Is r prime?
False
Let f(y) be the third derivative of y**6/60 + y**5/10 - y**4/24 - y**3/3 - 6*y**2. Is f(7) a prime number?
True
Let u(c) = -14*c**3 + 9*c**2 + 29*c + 7. Is u(-8) a prime number?
False
Suppose 0 = 2*t + n + 4*n - 761, -5*t + 5*n + 1990 = 0. Is t a prime number?
False
Let q(d) = 14*d**2 - 6*d + 5. Let l be q(3). Suppose -2*i = -3*i + l. Is i a composite number?
False
Suppose -8106*o + 135805 = -8101*o. Is o a prime number?
False
Suppose -4*b = -11142 - 574. Is b composite?
True
Let c(f) be the first derivative of -f**4/4 - 14*f**3/3 - 15*f**2/2 - 19*f - 2. Let h be (-159)/12 - (-5)/(20/(-3)). Is c(h) prime?
True
Let z(f) = 14*f**3 + 6*f**2 - 2*f + 11. Suppose -23*n + 25 = -18*n. Is z(n) a composite number?
False
Let f(c) = c**3 + 9*c**2 - 8*c + 4. Let g be f(-9). Suppose b = 13 + g. Is b a composite number?
False
Let j be 10036/6 - 4/(-12). Let b = 2847 - j. Is b prime?
False
Suppose -1602 - 746 = -4*v. Is v composite?
False
Suppose -5*q - 14 = 4*t - t, 6 = q + 5*t. Let h be (-2)/q - (-1391)/26. Suppose a - h = -7. Is a a composite number?
False
Let l(y) = 308*y**2 - 5*y + 46. Is l(-7) composite?
False
Suppose -5*z + 39933 = 263. Suppose 3*c - 523 = z. Is c prime?
True
Let v(c) = 4*c**3 - 3*c**2 - 23*c + 13. Is v(6) composite?
False
Let r = 10 - 14. Let u be 6/r*64/(-6). Suppose -l - 10 = 2*a - 7*a, 2*l - a = u. Is l prime?
False
Let u be -2 + (-9)/2*-4. Let d be -1*(-5 + 2 + -2). Suppose -u = -t + d*t, -2*k = t - 594. Is k a composite number?
True
Let j be 14/(-21) - ((-60)/9 - -1). Suppose 5247 = 4*l + j*l. Is l composite?
True
Let n = -1301 + 2700. Is n a prime number?
True
Let q = -3555 - -5684. Is q a composite number?
False
Suppose 4*z - 3*k = 8032, 3*z = -32*k + 30*k + 6007. Is z a composite number?
True
Let y(b) = 192*b**3 - 2*b**2 + 3*b - 4. Is y(3) prime?
True
Suppose -35745 = -5*r + 28900. Is r a prime number?
False
Suppose 0 = 10*i + 3*i - 78. Suppose i*u - 3701 - 19741 = 0. Is u a composite number?
False
Let v(f) = 249*f - 185. Is v(18) a composite number?
False
Suppose 8*j - 1371 - 63373 = 0. Is j composite?
False
Let z(u) = -5*u + 4. Let m(t) = -t - 7. Let l be m(0). Let r = l - -5. Is z(r) a prime number?
False
Let b be (-6345 - 3)/(-2) - (0 - -1). Let p = b - 1920. Is p composite?
True
Suppose -2*m - 2 = 0, -m - 9 = -n + 3*m. Suppose -5*y = 2*q - 1574, n*q - 4*y - 2947 = 1054. Is q prime?
True
Let p be (-14)/(-49) + 52/14. Suppose -3*s = -2*s - p. Suppose 3*h + 2*h - 10 = s*u, -4*h + 4 = -4*u. Is h composite?
True
Is -3*(-130091)/117*3*1 composite?
False
Suppose -4*c + 4*b = -8*c + 34036, 0 = -2*c - 3*b + 17014. Is c composite?
False
Let p(o) = o + 19. Let l be p(-10). Let f = 11 - l. Suppose 3*c = c - 3*g + 169, 85 = c + f*g. Is c a prime number?
True
Let y(v) = 16*v**2 - 21*v - 2. Is y(3) a prime number?
True
Suppose -12*r = -8*r + 8. Is 1577/2 + 3/r - -2 a prime number?
False
Let g(t) = -37*t - 7. Let q(b) = 37*b + 6. Let n(j) = 5*g(j) + 6*q(j). Let s be 4/(-6)*6/(-4). Is n(s) composite?
True
Let j(r) = r**3 - 22*r**2 + 20*r - 82. Is j(25) a composite number?
False
Let v = -12 - -10. Let x be ((-298)/v)/(-1)*-1. Let j = x - -68. Is j prime?
False
Let l(z) = 2 - 13 + 19*z - 13 + 22*z. Is l(13) composite?
False
Let c(s) = 21*s**2 - 5*s + 303. Is c(-25) composite?
False
Suppose b + 11*y = 13*y + 4755, -3*b - 3*y + 14247 = 0. Is b a prime number?
True
Let f be 4/6 + 698/6. Suppose -6693 = -10*n - 1553. Let a = n + f. Is a composite?
False
Suppose -3*k - 3*r = 45, -k + 2*k + 23 = -3*r. Let j(f) = f**3 + 16*f**2 + 16*f + 2. Let o be j(k). Suppose 3*t + 86 = o. Is t a prime number?
False
Let o(x) = x**2 + 3*x - 4. Let k(y) = -11*y**2 - 9*y - 30. Let q(n) = -5*n**2 - 5*n - 15. Let p(s) = -4*k(s) + 9*q(s). Let d be p(-6). Is o(d) a prime number?
False
Let b(t) = 9*t - 4*t + 9 - 2*t**2 + 3*t**2 + 7*t**2. Is b(4) a composite number?
False
Suppose 1369 = w - 189. Suppose -o - 2*x = 3*o - w, -5*x + 1172 = 3*o. Is o composite?
False
Let d be ((-18336)/(-20))/6 + 1/5. Suppose 2874 = 3*z - d. Is z a prime number?
True
Suppose -4*k - 2*y - 20 = 2*y, 0 = 5*k - y + 25. Is (k + 10)*((708 - -2) + -1) prime?
False
Let t = -38463 + 65054. Is t a composite number?
False
Suppose -6*f + 4755 = -2*f + 5*z, f + z - 1188 = 0. Suppose -2*l + 7*l + 5*a + f = 0, -489 = 2*l + 5*a. Let k = -117 - l. Is k prime?
False
Suppose -4*k + 3*r = -1627, k - 2*r - r - 400 = 0. Suppose -10*i + 5*i = -1090. Let m = k - i. Is m a prime number?
True
Let b be (-6)/(-4) + 4/(-8). Let w = b + 1. Suppose 0 = -w*c - c + 9. Is c a prime number?
True
Suppose -26*d + 27*d - 1222 = 0. Suppose 9*k = 7*k + d. Is k prime?
False
Suppose 60 = 4*r + f + 24, -5*r = f - 45. Let m be r + (2 - 3 - 0). Suppose -m*n = -9*n + 553. Is n composite?
True
Let t(x) = 5*x**2 + 0*x**3 + 110 + x**3 - 116 + 4*x. Let a be t(4). Let y = -87 + a. Is y composite?
False
Suppose 4*x = 2 + 10. Suppose 5*y = 4*q - 4, x*y - 2 = 6*y - 2*q. Suppose -b + 54 - 1 = y. Is b composite?
False
Let y be (-6)/27 - (-38)/9. Suppose -y*l = -0*l. Suppose l = -5*o - 30 + 295. Is o a composite number?
False
Let a(w) = 8*w**3 - 4*w. Let v be a(-3). Is (2/4)/(v/208 + 1) a prime number?
False
Suppose -3*b + 1701 = -1119. Let t = b + 333. Is t a prime number?
False
Let w = -101 - -46. Let r = w + -97. Let j = 213 - r. Is j a prime number?
False
Let n(k) = 1965*k**2 + 3*k + 5. Is n(-1) prime?
False
Let y(t) = -t**3 - 3*t**2 + 5*t + 5. Let p be y(-4). Suppose 4*w - 132 = -2208. Is p/3 - w/9 composite?
True
Suppose l = 7*l - 21534. Is l composite?
True
Suppose 0*u - 3*w + 17 = u, -4*w = -20. Is (u/6)/((-2)/(-132)) composite?
True
Let v = -3750 + 5286. Let c = v - -361. Is c prime?
False
Suppose 0 = 5*w + 3*w - 56. Suppose -u + y = -550, -2*u - 3*y + 1094 = -w*y. Is u prime?
False
Suppose 0 = 2*u + a + 52, 5*u - a - 41 = -171. Suppose -c = -0*c - 5*i - 4, 0 = 5*c - 5*i - 20. Is (u/c)/(3/(-114)) a composite number?
True
Let s be (-1 + (-797 - 2))*-1. Suppose -2*q = 3*t - 337, 2*q + 3*q - t = s. Is q prime?
False
Let w(d) = -d**2 - 23*d - 32. Let f be w(-21). Suppose -f = -5*i, -i - 7191 = -5*z + i. Is z a composite number?
False
Let r = 8137 - -20314. Is r a composite number?
True
Suppose -3*b + 8 = -1. Suppose -4*f + 2 = -b*f. Suppose 3*q - 4*q - 5*w = -94, 4*q + f*w = 304. Is q composite?
True
Suppose -9 = -l - 10. Let q = -4 - l. Is (-4)/12*1683/q composite?
True
Suppose 5*o + 2*b = -2136 - 3533, -1132 = o + b. Is (-2)/((-2265)/o - 2) prime?
False
Let d(v) = -v**3 - 19*v**2 + 7*v - 103. Is d(-24) a composite number?
False
Suppose -4*w = -4*v - 672, -5*w = -w + 4*v - 656. Let x = w + 213. Is x a composite number?
False
Let n be 3 + 244/2 + 2. Suppose -t = -0*t - n. Is t composite?
False
Let c(n) = n**3 + 