-2*o + 4 = -4*o. Is 547/6 + o/12 a composite number?
True
Let j(t) = 2*t**3 - 8*t**2 - 19*t + 14. Is j(9) composite?
False
Let z(t) = 2*t**2 + 4*t + 1. Let g be z(-3). Let b(h) = 19*h - 6. Is b(g) a composite number?
False
Suppose 0 = 3*b + 5*i - 859, 3*i + 313 = b - 2*i. Is b a composite number?
False
Let t(n) be the third derivative of -n**6/120 - n**5/20 + 7*n**4/24 + n**3 - n**2. Let w be t(-5). Suppose 5*k - w = -3*y + 11, 4*y - 41 = -5*k. Is y composite?
True
Let i(s) = -25*s**3 - s**2. Let p be i(-1). Suppose 3*c = 2*j - p, -7*c + 2*c - 65 = -5*j. Suppose 0 = -4*f + 3*f + j. Is f a prime number?
False
Let r be 2/4 - 225/(-18). Let m(u) = 2*u**2 - 17*u + 4. Is m(r) composite?
True
Suppose -3*x + 9 + 0 = 0. Suppose 0 = -x*a + 7*a - 12. Suppose 203 = a*y - 466. Is y prime?
True
Is -3*6/((-90)/6805) prime?
True
Suppose -2*x + 5*x = 2613. Is x prime?
False
Suppose -4*d - 3 = 5. Let s(u) = -2*u**3 + 2*u**2 + 2*u + 3. Is s(d) composite?
False
Suppose 1002 = -2*g + 3*g. Suppose g + 106 = -2*w. Is (-2)/11 + w/(-22) composite?
True
Suppose v - 221 = -3*n, n - 3*v = 2*n - 71. Suppose 4*g - 216 = -4*b, -b = 8*g - 3*g - n. Is b a composite number?
True
Is (3816 + -2)/((-14)/(-49)) prime?
False
Suppose w - 6*w + 4385 = 0. Is w a prime number?
True
Let o(k) = 77*k**2 - 3*k + 9. Is o(-4) composite?
True
Suppose 1542 - 7757 = -5*d. Is d prime?
False
Let b(h) = -h**3 + 7*h - 8. Let i be b(-6). Suppose 3*z + k - 4*k - 162 = 0, k - i = -3*z. Is z prime?
False
Suppose 3*z - 26 = 2*d, 0*z = -3*d + 5*z - 40. Let s be (36/(-10))/(1/d). Is -2 + (s - (-1 + 0)) a prime number?
False
Suppose 2*s - 404 = -2*s. Suppose 0 = 2*y + 3*y - 3*t - s, 5*t - 28 = -2*y. Is y prime?
True
Suppose -2112 = -3*b - 513. Is b a composite number?
True
Suppose -24 = 5*b - 2*b. Let o = b - -10. Suppose 4*a - 44 = o*a. Is a composite?
True
Let m = -1013 + 1890. Is m prime?
True
Suppose 4*u = 4*a + 36, 3*a = -4*u - 0 + 8. Suppose -p + u*y - 3 + 45 = 0, 2*p - 2*y = 76. Is p a composite number?
False
Let k = 78 + 85. Is k prime?
True
Suppose 0 = -13*m + 28905 - 3646. Is m a prime number?
False
Suppose -p = -5*k - 1091 - 2063, 3*p + 5*k - 9442 = 0. Is p a prime number?
False
Let m = 22 - 19. Suppose 21 = v + z - 19, 5*z = -m*v + 126. Is v a composite number?
False
Let w(n) = 2*n + 13. Is w(10) prime?
False
Suppose -5*d = -2*l - 1584 - 2610, 2*d = 5*l + 1686. Let b = -573 + d. Is b a composite number?
True
Let q(f) = 3*f - 4*f - 4*f + 13 + 2*f. Is q(-6) a prime number?
True
Suppose -n - 20 = -3*n. Suppose a = n - 0. Is a a prime number?
False
Is (4 + -2)/(2/541) prime?
True
Suppose -3*y = -4*y. Let n be (4 - y)*6/(-12). Is 47/n*(6 + -8) composite?
False
Is 37807/21 + 2/3 a prime number?
True
Suppose 8*u - 3*u - 1295 = 0. Is u a composite number?
True
Suppose -2*g + 4*g + 26 = 2*a, -4*a - g + 67 = 0. Let z be 10/(-4)*a/(-10). Suppose -12 = -z*k + 88. Is k a prime number?
False
Suppose 3*k + 0*x + x = 9, -x - 15 = -5*k. Suppose -2*a + 2*p = -186, k*a - p = 4*a - 101. Is a a composite number?
False
Suppose -3*g = -a - 4 - 1, -a - 5*g - 21 = 0. Let r = a + 15. Suppose 1345 = r*h + 197. Is h prime?
False
Let v = -11 + 21. Suppose 0 = z - 2*d + 5, -6*d + v = z - 3*d. Suppose -4*t + 41 = z. Is t a composite number?
True
Let f(g) = -3*g**2 - 9*g + 1. Let r(n) = 3*n**2 + 10*n - 1. Let i(m) = -7*f(m) - 6*r(m). Suppose 3*d - 4 = 4*d. Is i(d) composite?
True
Suppose -323 = -11*s + 612. Is s composite?
True
Let t = -161 - -364. Is t a composite number?
True
Suppose -5*p + 6*p - 17 = -3*d, -9 = -3*d - 3*p. Suppose 2*t + 295 = d*t. Is t composite?
False
Let t(p) = 7*p**3 - 8*p**2 + 3*p + 11. Is t(5) prime?
True
Let g be 0 + -3 + 16 + -6. Let d(q) = q**3 - 8*q**2 + 7*q + 2. Let k be d(g). Is (k/6)/(2/306) a prime number?
False
Suppose 4*u - 19 = 381. Suppose 2 + 18 = 5*q. Suppose -q*p + u = 4*c, 4*c = 2 - 6. Is p composite?
True
Suppose -17*m + 2692 = -13*m. Is m a prime number?
True
Suppose -2*i = i - 141. Suppose 0 = t + r - 5*r - 62, -5*r = 3*t - 271. Let v = t - i. Is v composite?
True
Let d(j) = 4*j**3 + 3*j - 3*j + 1 - 2*j - j**2 + 3*j. Is d(3) prime?
True
Suppose 0 = 5*a - 4*d - 947 + 14, -3*d = 6. Is a composite?
True
Let l(d) = d**3 - 13*d**2 + 19*d - 15. Is l(14) a prime number?
False
Let v be 120/(-10)*(4 - 1). Let s = v - -118. Is s prime?
False
Let d(i) = -334*i + 1. Let a be d(-1). Suppose 6*q - a = q. Is q composite?
False
Let p(r) = 36*r + 41. Is p(7) a composite number?
False
Let a be -1 - (1 - (-3 + 8)). Suppose -5*q - 3*j + 15 = -6*j, a*j + 15 = -3*q. Suppose 5*t - 4*p - 951 = q, 3*p + 761 = 3*t + t. Is t a composite number?
False
Let x = 10 + -6. Suppose x*f = 3*z + 2228, 2*f - 662 = -z + 452. Is f a composite number?
False
Suppose -743 = r - 6*r - o, 0 = -4*r - 3*o + 590. Is r composite?
False
Let i = 273 + -150. Is i composite?
True
Let n(z) = 2*z**3 - 6*z**2. Let v be n(4). Let c be 86/(-1) + 0 + -1. Let s = v - c. Is s a composite number?
True
Let q(a) = a**2 - 10*a + 6. Let n be q(16). Suppose -5*s + 223 + n = 0. Is s composite?
True
Suppose 53 = 2*i - 393. Is i prime?
True
Is ((-170)/(-6))/((-5)/(-15)) composite?
True
Suppose 2*s - 41 = 4*a - 1, 3*s - 12 = 0. Let u = a - -3. Let i = 40 + u. Is i a composite number?
True
Let r(z) = -8*z**3 - 6*z**2 + 9*z - 2. Let d(b) = 15*b**3 + 11*b**2 - 17*b + 3. Let y(k) = -4*d(k) - 7*r(k). Suppose -2*o = 2*o + 12. Is y(o) a prime number?
False
Let z(d) = 3785*d + 2. Is z(1) a prime number?
False
Suppose 3*n - 635 = 2*f, -4*n - 5*f - 174 + 1013 = 0. Is n a composite number?
False
Let j(u) = 43*u - 6. Is j(13) a composite number?
True
Let s(h) = -h**3 - 7*h**2 - 6. Let u be s(-7). Is u/8 - 5915/(-20) prime?
False
Let u(c) = c**3 + 10*c**2 + c - 5. Let y be (1 - 2) + 1*-1. Let l be y/4 - (-30)/(-4). Is u(l) a composite number?
True
Suppose -w = -586 - 1131. Is w a prime number?
False
Let t(b) = -b**2 - 6*b - 2. Let m(u) = u**2 + 5*u + 1. Let h(r) = -4*m(r) - 3*t(r). Let i be h(-3). Is i/(-2) + (-153)/(-2) a prime number?
False
Let r = 673 + 238. Is r prime?
True
Let s(j) = 2*j**3 - 4*j**2 - 4*j - 11. Is s(5) a prime number?
False
Suppose 3*u + 0 = 624. Let g = u + -59. Is g a prime number?
True
Let k(z) = -4*z + 18. Let r(t) = t - 6. Let w(g) = -2*k(g) - 7*r(g). Let i be w(-7). Is ((-12)/(-10))/(i/(-5)) composite?
True
Let j = 21 + -16. Suppose -5*s = -4*f - s + 3132, f + j*s = 807. Is f prime?
True
Suppose 0 = -s - 3*u + 698 + 214, -4*s + 3733 = -5*u. Let q = s - 548. Is q prime?
True
Let v(b) be the second derivative of b**5/20 - 7*b**4/12 + b**3/6 - b**2/2 - 3*b. Let q be v(7). Suppose -q*d = -2*d - 56. Is d composite?
True
Let q(f) = 21*f**2 + 2*f + 1. Let o be q(-1). Suppose -2*u + 5*d + 126 = 0, -5*d = 2*u + 3*u - 280. Suppose -2*t = o - u. Is t a composite number?
False
Suppose 5*j - 62 = 3*j. Is j prime?
True
Let y(k) = 10*k**2 + k + 4. Is y(-3) a prime number?
False
Suppose 3*j - 1288 = -5*r, 0 = 9*r - 5*r + 4*j - 1032. Is r a composite number?
False
Is 1/(-6) - (-2)/(48/2284) a prime number?
False
Let a(x) be the second derivative of x**4/12 + x**2/2 + 3*x. Let r(b) = 7*b**3 + b**2 + b + 2. Let c(d) = 3*a(d) - r(d). Is c(-2) composite?
False
Is (4/((-32)/(-1838)))/((-2)/(-8)) a composite number?
False
Is (810/(-4) - -1)*-2 a composite number?
True
Let m = -13 - -19. Is 262*3/m - 0 a composite number?
False
Suppose -4*n = 5*g - 2083, -1664 = -4*g - n - n. Is g composite?
True
Let u = -25 + 17. Is ((-142)/u)/((-2)/(-8)) a prime number?
True
Suppose n - 8 = -0*n. Suppose 12*i - 196 = n*i. Suppose 6*g = 5*g + i. Is g a prime number?
False
Let m = -7268 + 13771. Is m composite?
True
Is ((-6)/(-9) + -1)*(-2466 + 3) a prime number?
True
Let s(u) = u**3 - 9*u**2 - 9*u. Let l be s(10). Let t(r) = r + 2. Let o be t(5). Let y = l - o. Is y a composite number?
False
Suppose 2*u - 1914 = 584. Is u composite?
False
Is (-2)/4 - (-19539)/26 composite?
False
Let g(s) = 37*s**2 + s - 41. Is g(-6) composite?
True
Let d = -412 + 793. Is d prime?
False
Let p be 957/(-5) - (-12)/30. Let x = p + 358. Is x composite?
False
Let l(k) = k**2 - 2*k + 875. Let u be l(0). Suppose -5*m - 2*i + u + 300 = 0, -m + 235 = -3*i. Is m composite?
True
Is (-27)/(-15) - 1/(-5) - -53 prime?
False
Let a = -5 - -7. Is (0 + a)/(-2) - -624 composite?
True
Suppose 3*l - 75 = -b,