6*f**2 - 3*f - 10. Let p be o(5). Let u(d) = 2*d**2 + d + 1055. Is u(p) a composite number?
True
Is 1*1434/24*20 composite?
True
Suppose -6*n + 49 = -83. Is n prime?
False
Let f(k) = 15*k + 6 + 6 + 0 - 1 + 15*k**2. Is f(-10) a prime number?
True
Let z(i) = -2*i. Let k be z(3). Let u(v) be the third derivative of 7*v**5/60 + 3*v**4/8 + v**3/6 - 14*v**2. Is u(k) a composite number?
False
Is 1/(-2) + (-222309)/(-102) a composite number?
False
Is (97332/3)/(11 - 9) a prime number?
False
Suppose -2*u - 171 = -8*x + 3*x, u = x - 36. Let y = -31 + x. Suppose y*g - 62 = 56. Is g composite?
False
Suppose -5 = -6*s + 5*s. Suppose -3*v = s*d + 31, 2*v = 3*d - 4*d - 2. Let h(w) = -20*w + 1. Is h(d) a prime number?
False
Let i(k) be the first derivative of -k**3/3 + 7*k**2/2 + 2*k - 4. Let v be i(7). Suppose -4*f = -5*s + 310, 5*s + f = -v*f + 275. Is s a composite number?
True
Let c(y) = y**3 - 3*y**2 - 9*y - 5. Let i be c(10). Suppose -15 = -3*u, -s + i = -u + 4*u. Is (1/2)/(5/s) composite?
False
Let o = -29 - -31. Suppose 2*j + 4 = 0, -10 - 2 = -4*m + o*j. Suppose 4*n - 1159 = -3*r, -m*r - n = -280 - 496. Is r composite?
False
Suppose 9*b - 4136 - 9193 = 0. Is b a composite number?
False
Let w = 3736 - 2029. Suppose -2*r + n = -w, 2*n - 4*n - 10 = 0. Is r prime?
False
Suppose -11*z + 37357 + 26520 = 0. Is z a composite number?
False
Suppose -3*p = -4*y - 31 + 4, -2*p + 5*y + 25 = 0. Suppose -h = -4*g + 13, 10 + 15 = -p*h. Suppose 2*i + 75 = -3*d + 8*d, g*d - i = 31. Is d prime?
True
Suppose -t - 4*t + 4*r + 154 = 0, -2*r = 3*t - 88. Is (-5138)/(((-4)/10)/(6/t)) prime?
False
Let g be 4172/6*(-3 + 45/6). Suppose 0 = -3*l - 2*c + g, 1459 = 4*l - 4*c - 2713. Is l composite?
True
Is (-1)/((-6)/(-1 - -79303)) a prime number?
True
Let x be (-252)/(-6)*(-6)/(-7). Suppose -4*h + 4*f + 46 = -50, h - 4*f = x. Is (34/3)/(h/210) a composite number?
True
Let i be (-32)/12*(-9)/6. Suppose -373 - 875 = -3*m + i*u, 2*m - 2*u - 834 = 0. Suppose -4*f + 472 + m = 0. Is f a composite number?
False
Is (26116/14)/((-74)/(-14) + -5) composite?
False
Suppose -3*m - 2*g + 14193 = 3554, m = -4*g + 3553. Suppose -t - 24 = -m. Is t composite?
True
Let h(k) = k + 6. Let g be h(22). Suppose 5*b - g = 67. Is b a prime number?
True
Let c(k) = 148*k - 23. Let d(f) = 295*f - 46. Let i(y) = -11*c(y) + 6*d(y). Is i(9) prime?
False
Suppose -4*a - 35 + 10 = w, 5*a + w = -30. Let m(p) = -9*p + 9. Let u be m(a). Suppose 340 - u = 2*g. Is g a prime number?
False
Suppose 29*p + 75580 = 49*p. Is p a composite number?
False
Suppose a = -5*y + 53430, 0 = 3*y + 9*a - 6*a - 32046. Is y prime?
True
Suppose -2*l - l - 2*g = -19, l = g + 3. Suppose l*y - 12177 - 2798 = 0. Is y composite?
True
Let w = -41229 + 64970. Is w a composite number?
False
Is (6/3)/((-4)/(-9014)) composite?
False
Suppose a - 1 = 7. Let g(n) = -n**3 + 6*n**2 + 3*n + 6. Let u(c) = 3*c**3 - 19*c**2 - 8*c - 17. Let f(x) = a*g(x) + 3*u(x). Is f(10) a prime number?
True
Suppose -139684 = -18*o + 185054. Is o a composite number?
False
Let h = 1554 + -796. Is h a prime number?
False
Suppose 476742 = 12*y - 97830. Is y a composite number?
False
Let s = 57 - 55. Suppose -814 = -4*w + s*w. Is w prime?
False
Let t(r) = 768*r**3 + 9*r**2 - 3*r - 1. Is t(3) composite?
False
Suppose 3*t + 0*t - 6 = 0. Let v be 8*t/(-2 + 3). Suppose -2*d + 14 + v = 0. Is d a composite number?
True
Let l = -8 + 13. Suppose -9 = l*n - 4. Is (-44 - 3/1)*n a prime number?
True
Let r = -40 - -40. Suppose r = 3*m - 524 - 949. Is m prime?
True
Suppose 2*f = -53 + 215. Let l = -42 + f. Is l composite?
True
Let f be (-245)/35 - 6982/(-2). Let m(w) = -w - 2. Let u be m(-6). Suppose 0 = z, -u*z + 817 - f = -3*g. Is g a composite number?
True
Suppose -5*w - 7 = -j - 26, -3*j - w = 89. Let l = j - -84. Is l prime?
False
Suppose -5*r + 6*r - 5 = 0. Suppose 2*q - r*q = -411. Let a = q - -156. Is a a composite number?
False
Let x = 3423 - 6486. Suppose 1 = -l - 5. Is x/l + 1/2 prime?
False
Suppose 0 = -5*b + 2*b + 3513. Suppose -j = -3*i - 5*j + b, 5*j = 5*i - 1940. Is i a prime number?
True
Let l = 20 + -17. Suppose 203 = 5*v - 3*q, 199 = l*v + 2*v - 4*q. Is v a prime number?
True
Suppose -10*f + 12*f - 4 = 0. Suppose -4*q = 4*v - 10644, -5*v = -4*q - f*v + 10616. Is q composite?
False
Let t(k) = 17*k**3 + 14*k - 2. Let f(n) = -n**3 - n**2 + n - 1. Let c(h) = 5*f(h) - t(h). Is c(-4) a prime number?
True
Suppose 0*x + 12 = x + 4*z, 3*x = 2*z + 8. Suppose -3*v - 559 = -j, -x*j - v - 2236 = -8*j. Is j composite?
True
Let i be (8/(-6))/((-12)/2214). Suppose -k + i + 1415 = 0. Suppose 2*j = -2*v + 109 + 719, -4*v + k = 5*j. Is v composite?
False
Let f = -18613 + 33582. Is f prime?
True
Let o(n) = 4143*n + 658. Is o(13) prime?
True
Suppose 0 = 79*m - 35*m - 82676. Is m prime?
True
Let g = -573 + 576. Is g a prime number?
True
Let z(d) be the third derivative of d**5/10 - 13*d**3/6 + d**2. Let j be 12/(-15)*1 - 102/(-15). Is z(j) a composite number?
True
Let c(m) = -44*m + 1. Suppose 2*y - 14 = 4*q, 0 = 4*q + 3*y + 8 + 21. Let u(w) = 87*w - 3. Let o(l) = q*c(l) - 2*u(l). Is o(4) composite?
True
Let n = 16 - 9. Suppose n*z - 1556 = 3*z + 4*l, 0 = 2*z + 5*l - 792. Is z composite?
True
Suppose -11770 = -7*c + 928. Is c a prime number?
False
Let i(u) = 475*u**3 + u**2 - u. Let a be i(1). Suppose -3345 - a = -5*y. Suppose 8*f + y = 12*f. Is f composite?
False
Let t = 55 + -61. Is 1/(33/t) + 6969/33 a prime number?
True
Suppose -5*v = -15, -2*v = -2*x - 2*x + 6. Suppose 376 = 2*g - 2*s, -g - g + 379 = -x*s. Is g a composite number?
True
Let g(u) = -54*u + 5. Let x(b) = -217*b + 20. Let q(d) = 9*g(d) - 2*x(d). Is q(-6) a prime number?
True
Let n = 3201 + -806. Is n a prime number?
False
Let x(y) = 4*y**2 + 13*y - 19. Let j(m) = -3*m**2 - 13*m + 18. Let z(d) = 2*j(d) + 3*x(d). Is z(-11) a prime number?
False
Let x(f) = -f**3 - 4*f**2 - f - 2. Let u be 88/(-24) + 2/(-6). Let s be x(u). Suppose 3*k + s*a - 1231 = -0*a, 5*k + 5*a = 2055. Is k a composite number?
False
Let d be (6/8)/(3/44). Suppose 0*w + 10054 = d*w. Is w prime?
False
Let x(b) = 49*b**2 + 4*b**2 + 6 + 41*b**2 + 5*b. Let w(o) = 188*o**2 + 11*o + 13. Let k(s) = -6*w(s) + 13*x(s). Is k(-1) a composite number?
True
Is -1 - (-2019)/1 - 1 prime?
True
Let j = -3093 - -9732. Is j prime?
False
Let n(x) be the third derivative of -7*x**4/4 + x**3/6 + x**2. Let j(c) = 211*c - 6. Let a(o) = 2*j(o) + 11*n(o). Is a(-2) composite?
False
Let x = 281 + -81. Let s = x + 765. Is s a composite number?
True
Let a be 4*1/((-4)/248). Let j = 706 + a. Let w = 45 + j. Is w prime?
True
Let h = 161 + 301. Let t = h + -225. Is t composite?
True
Let u be 7/(-28) - (-2847)/12. Let n be (-27)/63 + 3/7. Is -14 + 16 - (n - u) a composite number?
False
Let d(t) = 112*t**2 + 19*t + 25. Is d(-6) composite?
False
Let f(j) = 249*j + 565. Is f(48) prime?
True
Suppose -20772 = -7*t + 29411. Is t composite?
True
Let q(s) be the second derivative of -3*s**5/10 + 5*s**4/12 - s**3/3 + 2*s**2 - 17*s. Is q(-5) composite?
True
Suppose y - 11 = -4. Let q = 10 - y. Suppose 0*h + q*h - 1173 = 0. Is h composite?
True
Let c(v) = -58*v + 58. Let z(p) = -1. Let f(n) = -c(n) + 3*z(n). Is f(18) composite?
False
Let x be 0/(3 - ((-4)/1 + 5)). Suppose f + 3*k + 2*k = 32, 25 = 5*k. Suppose 3*n + f = 4*n - 4*y, -3*n - y + 47 = x. Is n prime?
False
Let v(s) be the third derivative of -5*s**4/6 - s**3/6 - 4*s**2. Let x = 1 + -7. Is v(x) prime?
False
Let q(g) = -g**3 + 36*g**2 - 2*g - 1. Is q(12) composite?
True
Let b(i) = 678*i**3 - i**2 + 2*i. Let w = -19 - -20. Is b(w) composite?
True
Suppose -4*l + 2*g + 155 + 207 = 0, 4*l - 382 = -2*g. Suppose 6 = -3*i + 5*i. Suppose 2*k - m = 6*k - 134, -3*m - l = -i*k. Is k a composite number?
True
Let z = 11809 - -31794. Is z prime?
False
Let x = -87 - -33. Let f = -16 - x. Let q = f + 13. Is q a prime number?
False
Let b = -10 + 14. Let s(y) = -y**3 + 3*y**2 + 6*y - 4. Let d be s(b). Suppose -m + d*m = 111. Is m composite?
False
Suppose 0 = -i - 4*n - 4, -4*n + 0 = -3*i + 4. Suppose i = 5*h - 2*k - 297, 137 + 45 = 3*h - 5*k. Is h a composite number?
False
Suppose -5*p - 3*c + 15 = 2*c, -2*p + 2 = 4*c. Suppose -18 - p = -i. Suppose 125 - i = 2*s. Is s composite?
True
Let z(b) = 36*b**2 - 5*b - 2. Let x be z(8). Suppose m = 7*m - x. Is m compos