e number?
True
Suppose 0 = -4*a + 4, -5*k + 6*a = a - 66780. Suppose 0 = -12*c + 32807 + k. Is c a prime number?
True
Let s be (-549)/(-18) + 3/(-2). Suppose j = n - 166, -5*n = -j - 137 - s. Let w = j - -329. Is w a prime number?
True
Let x = -2523 - -6572. Is x a prime number?
True
Suppose 0 = -i + 1, 4*i - i = -5*f + 18. Suppose -6*p + f*p + 603 = 0. Is p composite?
True
Let o = 22 - 19. Suppose 5*v + 19 = -3*p, 0*v + 5*v + 31 = o*p. Suppose -p*t + 15 = -5. Is t a prime number?
False
Suppose t - 4 + 0 = 0. Suppose t*l - 10 + 2 = 0. Suppose -2*d + 286 = 4*i, -d - 6*i + 137 = -l*i. Is d prime?
True
Let w(v) = v**3 + 9*v**2 - 9*v + 14. Let r be w(-10). Suppose 36 = r*f - 5*g, -6*g + 3*g = -2*f + 20. Let s(n) = 4*n**2 + 4*n - 3. Is s(f) a composite number?
True
Let o = -11 - -16. Let z(n) = n**2 - 3*n - 5. Let b be z(o). Let k(u) = 16*u + 9. Is k(b) composite?
False
Suppose -5*u + 470 = -1470. Let b = -95 + u. Is b a composite number?
False
Let h = -3 + -3. Let o be ((-4)/h)/(2/(-9)). Is 402/9*o/(-2) prime?
True
Let n(m) = 26424*m - 181. Is n(2) composite?
False
Suppose 15*p = -3*y + 19*p + 2893, 5*y - 5*p - 4825 = 0. Is y a composite number?
False
Let l = 69 + -66. Suppose -2*v - 922 = -l*v - 5*b, -3*v = -5*b - 2746. Is v a composite number?
True
Let h(l) = -342*l**3 + 8*l**2 + 9*l - 7. Is h(-6) a prime number?
True
Let o be (-9)/7 - 4/(-14). Let x be 3 - -398 - (o - -1). Let w = x - 268. Is w composite?
True
Is (-1)/(-1) + 4161 + 51 composite?
True
Suppose 3*t = -5 + 11. Let y(u) = 25*u**2 - 7*u**2 + 0*u**2 - 3. Is y(t) a composite number?
True
Let r = 1902 + 6131. Is r composite?
True
Let s = 0 - -12. Let j = -8 + s. Suppose i + 4*a = j*i - 51, -4*a = -2*i + 38. Is i a prime number?
True
Suppose 0 = -3*i + 8*i - 4925. Suppose 4*v + i + 361 = 2*d, 3*v = d - 671. Is d composite?
False
Is (-2)/3 + 120092/12 a composite number?
False
Suppose 0 = -3*w + 9 - 0. Suppose -2*c + 847 = -3*x, -6*x - 2113 = -5*c - w*x. Suppose 3*b - c = b. Is b a prime number?
True
Let j(p) = 22*p - 6. Let h be j(5). Suppose h + 256 = 5*w. Suppose 1916 + w = 4*f. Is f composite?
True
Let h be (-4)/22 - 92496/(-44). Let g = -465 + h. Is g a prime number?
True
Suppose 70*y - 43*y - 433539 = 0. Is y a prime number?
True
Let b = 680 - 349. Is b a composite number?
False
Is 15/(-9)*(-290817)/15 a composite number?
True
Let h be ((-54)/(-45))/(4/10). Suppose -h*t = -5*t + 1010. Suppose -t = -4*b + 19. Is b a prime number?
True
Suppose j - 522 = -3*f, 6*j - f = 4*j + 1051. Let m = 1654 + j. Is m a composite number?
False
Let z(r) = -r - 1. Let x be z(-3). Let t be 14*3/(21/x). Suppose -t*p - 2*o + 1032 = -320, o = -5*p + 1687. Is p composite?
False
Suppose -p + 4*q = 3*p - 144732, q + 180931 = 5*p. Is p composite?
False
Let o = -376 - -117. Let a(f) = -54*f - 8. Let b be a(-7). Let k = o + b. Is k a prime number?
False
Suppose -2*n = 2*m - 29172, m + 13 = 8. Is n a prime number?
True
Suppose -1 - 8 = -3*n. Let h(t) = t - 1. Let r(g) = 125*g. Let j(f) = -2*h(f) + r(f). Is j(n) composite?
True
Suppose -5*w = 5, 0 = -3*q - 2*w - 6 + 4. Suppose 4*n - v = 1009, 2*n - v + 2*v - 497 = q. Is n composite?
False
Suppose 3*t = -4*b + 15745, 0 = -b + 2*t + 2025 + 1914. Is b a composite number?
True
Let q(o) = o + 12. Let d be q(-12). Suppose d = 6*n - 10*n + 284. Is n prime?
True
Let x be 152 + (4 + -9 - -2). Let n = x - 90. Is n prime?
True
Let d = 12 + -12. Let n = d - 4. Is ((-38)/(-4))/((-2)/n) composite?
False
Is ((-4)/12*3)/((-1)/3635) prime?
False
Let g(j) = -8*j**3 - 5*j**2 + 9*j + 13. Let i(b) = 6*b**3 - 2*b**2 - b + 1. Let q be i(-1). Is g(q) a prime number?
False
Is (-2)/13 + (-1792040)/(-104) prime?
True
Let k(i) = 2*i**2 + 8*i + 2. Let w be k(-6). Let v = w + -81. Let c = v + 92. Is c composite?
False
Let t(h) = -497*h + 25. Is t(-6) a composite number?
True
Let f = -169 - -283. Suppose f = 2*s - s + 2*v, -3*v = -s + 104. Let c = 153 + s. Is c a prime number?
True
Let o(s) = 62*s**2 + 14*s - 13. Is o(-10) prime?
True
Suppose -8 = 4*n, 38 = 5*l - 4*n - 0*n. Suppose 2*q + l = 0, -2*c - q - 3151 = -0*c. Is 2/(c/1578 + 1) prime?
False
Suppose -2*i + 20 = 3*i. Let w(m) be the second derivative of 3*m**5/20 - 5*m**4/12 + m**3/2 + 3*m**2/2 - 205*m. Is w(i) a prime number?
True
Is 82*((-58)/(-4))/(21 + -20) prime?
False
Is (12/(-3) + -12369)/(-1) a composite number?
False
Let w = 51454 + 29617. Is w a prime number?
True
Let q be (-27)/12 + (-3)/(-12) + 903. Let n = q + -132. Is n composite?
False
Suppose -5873 = 9*j + 3712. Let y = j - -5902. Is y a composite number?
True
Suppose 0 = -3*k + t - 4, 0 = 4*k + 2*t - 3*t + 7. Let q(o) = -35*o**3 + 2*o**2 + o - 1. Is q(k) composite?
True
Suppose 2*o = -3*k + 4, -2*o = -o + 1. Suppose -4*q + 1267 = r, -4*r - k*q + 5046 = 3*q. Is r a composite number?
False
Suppose 7*z = 5*z. Suppose z = 5*i + 3*l - 443 - 3366, 3*i - 2*l - 2293 = 0. Is i a prime number?
False
Suppose -5*l = -4*f - 3*l + 8664, 0 = f - 5*l - 2157. Is f composite?
True
Suppose 0 = -r + 5*n + 15 + 12, 0 = n + 5. Suppose -r*j = -j - 941. Is j a composite number?
False
Suppose -5*l + 17 = -5*s + 47, 0 = -2*l - 5*s - 26. Let d be 1*(l + (-8)/(-4)). Is ((-60)/8 - -4)*d prime?
False
Let s = 327 - -1491. Let x = s + -161. Is x a prime number?
True
Let u = 14 + 209. Is u prime?
True
Let l(t) = -12*t + 11. Let n(c) = 36*c - 33. Let x(i) = 17*l(i) + 6*n(i). Is x(11) a composite number?
True
Let c(p) = p**2 - 7*p - 7. Let y be c(8). Is 16/(-8)*(y + 766/(-4)) a prime number?
False
Let l(z) = 32*z + 29. Let i(j) = -j**2 - 11*j + 5. Let a be i(-10). Is l(a) a composite number?
False
Let n be 5819/22 + 1/(-2). Let u = n - 70. Is u prime?
False
Let v(w) = -14264*w + 221. Is v(-1) a composite number?
True
Let n(w) = -3*w + 5*w - w - 6 + 22. Let d be n(-5). Let r = d + 3. Is r a composite number?
True
Is 57320/60 - (-1)/(-3) a prime number?
False
Let i be (-69)/(-7) + 2/14. Suppose i*c - 335 = 5*c. Is c a composite number?
False
Let r(o) = -o**2 + o + 1. Let v(g) = -23*g**2 - 4*g - 2. Let b(u) = -5*r(u) - v(u). Let x be b(-2). Let i = x - 64. Is i composite?
False
Let g = 36 - 32. Let f be ((-147)/(-6))/(3/18). Is f/g + 10/40 composite?
False
Suppose 0*f - 4 = -f. Suppose 757 = -d + 2*d + f*w, 3*w = 3*d - 2271. Is d a composite number?
False
Is (4036/3)/((-32)/(-24)) a prime number?
True
Let y = -806 + 12769. Is y composite?
True
Let i(u) = u**2 + 12*u + 24. Let v be i(-4). Let j = v + 150. Is j a composite number?
True
Let d(c) = -c + 10. Let f be d(5). Let l be (24/f)/(2/560). Let x = l + -905. Is x composite?
False
Suppose -4*h = -2*l + 5*l - 60, -60 = -4*h - l. Suppose -4*y - h = y. Is -46*(y/(-2) - 2) prime?
True
Let d be 3608/2 + 36/(-9). Suppose v + 1802 = 4*k, 0*k + 4*k - 2*v - d = 0. Is k a composite number?
True
Let c(t) = -t**2 - 3*t - 4. Let d be c(-3). Let w(g) be the third derivative of 7*g**5/60 - g**4/24 - g**3/6 + 13*g**2 - g. Is w(d) a composite number?
True
Let m be 7909/5 - 1/(-5). Suppose -16*s + 14*s = -m. Is s a composite number?
True
Suppose -5*b + 4*b = -4855. Is b composite?
True
Let h(r) = 3*r**3 - 3*r**2 + 3*r - 4. Suppose -1 = 2*c - 9. Let m be c + 4/(-8)*2. Is h(m) a composite number?
False
Let u(n) = 5*n**2 + n + 8. Let p be (-6)/(-27) - (-268)/9. Let g = p - 24. Is u(g) prime?
False
Let m = -504 - -2813. Is m a prime number?
True
Let u = -2893 - -5175. Suppose u = 2*o + 5*k, -2*k = -4*o - 6*k + 4564. Is o composite?
True
Suppose -3*z - 29724 - 4119 = -2*f, -3*f + 5*z + 50766 = 0. Is f a composite number?
True
Suppose 2*r + 2*n = -2*r - 6, r - 3 = -2*n. Let z = -4 - r. Is ((0 - 4) + z)*-17 prime?
False
Let r(y) = 324*y**2 - 232*y + 29. Is r(-33) composite?
True
Let i(w) = 211*w**2 + 0 - 210*w**2 + 14*w**3 - 4 + 2*w. Is i(3) composite?
False
Suppose 12*x = 36*x - 651576. Is x prime?
False
Let r = 45 - 46. Is 3/3 - (r - 2 - 1477) a prime number?
True
Suppose 3 = -2*s + 6*s - 5*v, 3*v = 5*s - 7. Let d(m) = -m - 11. Let z be d(-14). Suppose 3*y + 2*h - 1618 = -z*h, s*y - 5*h = 1087. Is y prime?
True
Let l be (-5)/20 + (-1)/(-4). Suppose l = -5*i - 0*i + 10. Is (168/6)/(i + 0) composite?
True
Let d be 3/24 + 60/32. Let b = 2 - 5. Is (b + d*-53)*-1 a prime number?
True
Suppose 11*p + 2973 = -217. Is p/8*(4 + -8) prime?
False
Let x(a) = -5*a + 33. Let c be x(7). Is 