e number?
True
Let a(r) = -15*r**3 - 4*r**2 + 67*r + 49. Is a(-15) a prime number?
False
Let h = -9953 - -14280. Is h a composite number?
False
Let r = -9978 + 16915. Is r a composite number?
True
Is 2/19 + 4/304*367756 a composite number?
True
Suppose 2*i = -5*o + 70, -4*i + o + 140 = 3*o. Let p = i + 92. Is p a prime number?
True
Let r(b) = -b**2 + 8*b + 13. Let o be r(9). Let x be o/(4/1)*2. Suppose -857 = -y - x*s, y + 0*s = 4*s + 833. Is y prime?
False
Suppose 70 = -8*z + 9*z. Let c = z + 9. Is c prime?
True
Let y = 1033 - 392. Is y a composite number?
False
Let c be ((-18)/15)/(12/(-40)). Suppose 0*u - 4*u = -5*v - 1983, 1985 = c*u - 3*v. Is u a composite number?
True
Suppose -3*z = -x - 10, 3*z = -z + 4*x. Suppose -z*q - 3*g + 1462 = 0, -3*q - q - g + 1171 = 0. Is q composite?
False
Let d(f) = 6035*f + 404. Is d(5) a prime number?
False
Let d(n) = 77*n**2 + 8*n. Let r be d(-16). Suppose -r = 6*v + 2*v. Let x = v + 3785. Is x composite?
True
Suppose 5*f + 0*d = -2*d + 34, 2*f = 2*d + 8. Suppose -p = 4*t - f, -t + 3*p = 8 - 3. Is (-1)/(t/2) - -355 a prime number?
True
Suppose 4*f + 1502 = -1694. Let l = f + 1542. Is l a prime number?
True
Let c(q) = q**3 - 3*q**2 + 2*q - 13. Let d be c(6). Suppose 0 = -3*j + k + d + 111, 5*j - 350 = 5*k. Is j a composite number?
True
Let q(h) = -294*h - 16. Is q(-1) a composite number?
True
Let s(y) = y**2 + 8*y - 15. Let a be s(-9). Is (60354/315)/(a/10 - -1) prime?
True
Let l = -1424 + 4129. Is l prime?
False
Let a(i) = -13*i**2 - 2*i - 1334. Let b(p) = 7*p**2 + p + 667. Let x(c) = -6*a(c) - 11*b(c). Let t be 1 + -2 + 7 + -6. Is x(t) a prime number?
False
Suppose -418 = 3*p - 2*h, h = 2*p - 0*h + 279. Let l = 339 + p. Is l a prime number?
True
Suppose -11647 = 7*g - 26*g. Is g a composite number?
False
Let m(l) = -l**2 + 4*l + 8. Let n be m(5). Suppose 2336 = -0*a + 5*a - n*w, 5*a + 3*w = 2354. Is a composite?
True
Let a = 7333 + 2160. Is a a prime number?
False
Is (-4109 - -6 - -2)/(-3) a prime number?
True
Suppose -4*j - 28 + 1 = -x, -5*j + 4*x = 42. Let a(r) = -r**2 - 11*r + 9. Is a(j) a composite number?
True
Let a(l) = -29*l + 4. Suppose 7 = j + 3. Suppose j = -p + v, -3*v + v = p + 7. Is a(p) a composite number?
False
Suppose -4*d = -3*u - 2408, 3*d - 3037 = -2*d - 3*u. Let k = 142 + 62. Suppose r + k = o + 2*r, -3*o = -4*r - d. Is o composite?
True
Suppose -3*o - 37193 = -4*i - 3126, -3*i + 25534 = o. Is i a prime number?
True
Let j be 3/(-9)*-9957 - -5. Let y = j - 1633. Is y a prime number?
False
Suppose -29*c = -141086 - 73833. Is c a prime number?
True
Suppose 4*n + z = 2, -3*z - 11 = -2*n - 3*n. Let d(f) = 0*f + 0*f + 14 - f + n. Is d(12) prime?
True
Let d(a) = 14*a - 10. Let q be d(7). Suppose -3*k - k = -q. Let s = 59 - k. Is s composite?
False
Let h(l) be the first derivative of 95*l**3/3 + l + 10. Is h(-2) a composite number?
True
Let k = -23 - -29. Let o(i) = 62*i - 17. Is o(k) a composite number?
True
Let w(h) = 8640*h**2 + 5*h + 30. Is w(-5) prime?
False
Let t(g) = g**3 - g**2 + 52*g + 97. Is t(30) prime?
False
Let f(z) be the first derivative of -46*z**4 - 5*z**2/2 + 2*z + 2. Let i be f(2). Let h = -923 - i. Is h composite?
False
Suppose 2610 = -2*f - 9738. Let a = f + 2888. Let u = -2171 - a. Is u composite?
True
Suppose 0 = 2*s - 8*s - 13356. Let l = s + 3609. Is l a composite number?
True
Let u(c) = c**2 - 10. Let m be u(0). Let k be 12/20 - (-6)/m. Suppose w = y + 2*y - 333, 2*y + 3*w - 222 = k. Is y prime?
False
Suppose 4*z = -7*l + 4*l - 24, 3*l = z + 21. Let j = 22 + z. Suppose -3*q + 5*f + 396 = 0, -4*f - 660 = -5*q - j. Is q prime?
True
Let m = -964 + 2447. Is m prime?
True
Let t = -25 + 21. Is (-4 + 70/21)/(t/2082) a prime number?
True
Let k(r) = 258*r + 19. Let p = 26 - 14. Let i be k(p). Suppose -4*o = o - i. Is o prime?
False
Let m = 398 + -109. Let s = -170 + m. Is s prime?
False
Let h(o) = -o + 1. Let r(b) = -13*b - 18. Let d(f) = -4*h(f) - r(f). Let n be ((-1)/2)/(6/(-84)). Is d(n) a prime number?
False
Suppose 90 = 3*t - 2*r, 79 = -t + 3*t + 5*r. Let z = 34 - t. Suppose 4*h - 188 = -z*k - 42, 0 = -3*k + 9. Is h composite?
True
Suppose 0 = -2*y + 8, -4*q + 6*q - 18838 = 3*y. Suppose -q = -3*g - 2780. Suppose 5*m = 5*d + g, -3*d = 3*m - 4*m + 437. Is m a prime number?
False
Let s = 6 - 4. Suppose -5*u = -2*t + 121, -s*t - 3*u + 5*u + 136 = 0. Suppose -443 = -4*x + t. Is x a prime number?
False
Let g(v) = v**3 - 6*v**2 + 4*v. Let l be g(5). Let s(h) be the third derivative of h**5/10 - h**4/6 - 7*h**3/6 - 2*h**2. Is s(l) a composite number?
False
Let v = -25 - -25. Let l be (v - 0)/(0 + 2). Suppose -2*c + 2*s + s + 2122 = l, -3*c + 3173 = -2*s. Is c a prime number?
False
Let f(o) = 133*o**3 + 3*o**2 - 9*o + 6. Let y be f(3). Let i be 3310/4 + 1/(-2). Suppose -2*r - i = -y. Is r prime?
False
Is (-21718130)/(-175) + (-9)/15 prime?
False
Suppose -5*p = -7*p - 30. Let n = 18 + p. Is (-1974)/4*(-2)/n a composite number?
True
Let k(t) = -t**3 + 15*t**2 + 6*t + 21. Let f(s) = s**3 - 16*s**2 - 6*s - 20. Let g(l) = -4*f(l) - 3*k(l). Is g(19) composite?
False
Let f be (3 - 3 - 3)*-1. Let z(v) = -v**2 + 10*v. Let c be z(10). Suppose -i + g + 46 = c, 0 = -2*g - f + 9. Is i a prime number?
False
Suppose 2*h - 4 = 2*q - 0, 5*q - 3*h = 0. Suppose q*g - 231 = -0*g. Is g composite?
True
Suppose -2*a + 7 = v, -5*v - 13 = -2*a + 12. Suppose -a*k + 780 = -1925. Is k composite?
False
Let p(n) = 6*n**2 - 3*n - 46. Is p(17) a prime number?
True
Let v = -135027 - -202006. Is v a composite number?
True
Let l = 5 + -1. Let g(k) = 2*k**2 - l*k + 2*k**2 + 12 - 3*k**2. Is g(-9) composite?
True
Let a = 2218 - 1418. Let n be (-3)/(-18) + 3857/42. Suppose 4*y - n = a. Is y a prime number?
True
Let a = -3 - -5. Suppose 4*i + 384 = 4*t, -2*i + 166 + 30 = a*t. Is t a composite number?
False
Suppose 5*f - 9 = 1. Suppose f*y + 48 = 622. Is y a composite number?
True
Suppose u = -5*o - 2*u + 68, 0 = 2*o + 2*u - 28. Suppose o*s - 17*s = 252. Let p = 194 - s. Is p a prime number?
True
Let s = 2044 + -1343. Is s prime?
True
Let m = -3930 - -2186. Is ((m - 1)*1)/(-1) composite?
True
Let h = 31 - 13. Let w be h/(-12)*(-716)/(-3). Let k = 569 + w. Is k a composite number?
False
Let s(w) = -37*w**3 - 3*w**2 - w. Let x(m) = -74*m**3 - 7*m**2 - 3*m + 1. Let k(u) = -7*s(u) + 3*x(u). Is k(2) a composite number?
True
Suppose -32*h = -336541 - 91011. Is h a composite number?
True
Let v be 1 + (0 - (-2 - -1)). Let h(u) be the third derivative of 13*u**5/30 + u**4/8 - u**3/6 + 46*u**2 + 1. Is h(v) prime?
True
Suppose 2*r - 46671 = -3*w, w = -r - 3*r + 15547. Is w prime?
True
Let j = 10864 - 213. Is j composite?
False
Let v = -57 + 63. Suppose 21579 - 52605 = -v*k. Is k composite?
False
Let v be (24/(-60))/(1/(-5)). Suppose -v*p = 5*r + 6497, p + 3241 = -r - 0*r. Is (5/(10/p))/(-2) prime?
True
Suppose -5*p + 3*v - 6 = -3, 2*p = 4*v - 4. Suppose 2*c = -10, p*t = -3*t - 3*c + 6. Is (-8)/(-28) - (-1041)/t a prime number?
True
Suppose 0 = a - 4*l - 16797, -2*a + 5*l + 10671 = -22911. Is a composite?
True
Suppose 5*t + 17541 = 5*y - 34674, 4*t + 20890 = 2*y. Is y composite?
True
Let x be 1*(-9)/3 - -13. Let p = -11 + x. Is 3*(-79)/3*p a composite number?
False
Is (((-120)/18)/(-10))/(2/35727) a prime number?
True
Suppose 0 = -5*m + n + 15, -2*n - 2 = -0*m + 4*m. Suppose -4*q - m*q + 474 = 0. Is q prime?
True
Let o(w) = 6*w - 41. Let x be o(6). Suppose -2*g + 203 = 5*d - 227, 0 = -4*d - 3*g + 351. Let s = x + d. Is s composite?
False
Let u(t) = t**3 - 3*t**2 - 5*t + 5. Let z be u(4). Let d be z/((-4)/436) + 1. Let b = 79 - d. Is b prime?
False
Let h be (1 - (-5)/(-3))*-3. Let d(p) = -p**2 - 18 - 2*p + 4*p**h + 20. Is d(5) prime?
True
Suppose 53113 + 89490 = 59*z. Is z a composite number?
False
Suppose 4*c + 0 = -12. Let o(b) = -14*b**3 - 2*b**2 - b + 4. Is o(c) prime?
True
Suppose -9 = -0*q - 9*q. Suppose -9 - q = -b. Suppose 13*g = b*g + 501. Is g a composite number?
False
Is ((-23)/3)/(31660/(-6330) - -5) a prime number?
False
Let x = -33 + 33. Suppose x = -f + 281 - 100. Is f prime?
True
Let j(y) = 21*y**3 - 3*y**2 + 15*y + 15. Let l be j(9). Suppose -5*t + l = -12319. Is t prime?
True
Suppose 2*o = 3*y - 4, 3*y + 0*o + 2*o - 20 = 0. Suppose 4*a - y*h - 718 + 258 = 0, -4*h = 5*a - 575. Is a a prime number?
False
Suppose 