mber?
True
Let b(g) = 264*g + 14. Let y be b(2). Let h = -339 + y. Is h composite?
True
Suppose 0 = 4*w - 20, -5*u + 4*u + 5*w = 21. Is 247/(-2)*u/(-2) a composite number?
True
Suppose -51374 = -37*n + 3*n. Is n composite?
False
Is 12873/28*(11 - 7) a composite number?
True
Let x(m) = 212*m**2 + 30*m + 83. Is x(-11) prime?
False
Suppose h - 86 = -p - 3*p, -3*h = p - 27. Suppose 36 + 34 = 7*z. Suppose 5*o = -z, -3*q + 2*o + 40 + p = 0. Is q prime?
True
Let u(g) = g**2 - 21*g + 4. Let y be u(7). Let n = y - -203. Is n prime?
True
Let s(v) = -v + 2. Let r be s(-7). Is 6/r - (-18700)/12 prime?
True
Let b(p) = -2846*p**3 + 5*p**2 + 25*p - 1. Is b(-3) composite?
True
Let a(u) = 27*u + 1. Let k be 5/2 + 3/6. Suppose 0 = l - 2*n - 6, l = -k*l - 4*n + 12. Is a(l) composite?
False
Suppose 0 = 2*c - c + 4188. Is c/(16/(-4))*1 prime?
False
Let b(s) = s**2 + 2*s + 3. Let f be b(0). Suppose 0 = y + f*y - 36. Suppose y*k = 2*k + 6055. Is k a composite number?
True
Let j(y) = -62*y**3 - 3*y**2 - 14*y - 9. Is j(-4) a composite number?
False
Let w(n) = 12*n**2 + 8*n - 37. Is w(10) prime?
False
Let d(a) = 366*a + 55. Is d(38) a composite number?
False
Let a(o) = -2*o**2 + 13*o + 19. Let f(k) = 3*k**2 - 25*k - 38. Let v(q) = -5*a(q) - 3*f(q). Let m be v(14). Is 2*m - (-5 + 6) a prime number?
True
Let m(y) = -y**3 + 4*y**2 + 28*y + 13. Is m(-16) prime?
False
Suppose -5*d + 11 = -34. Suppose y + 9 = -2*z, 5*y - 16 = d. Let s(c) = -10*c + 7. Is s(z) a composite number?
True
Suppose 2*s = 5*y - 23, -3*y = -0*y - s - 13. Suppose -y*d + 501 = -1170. Is d a composite number?
False
Let q = -7 + 53. Suppose -4*y = -30 - q. Is y a prime number?
True
Suppose 0 = 23*u - 5*u - 15030. Is u composite?
True
Let t(f) = 2125*f**2 - 60*f + 121. Is t(2) composite?
False
Let y be 9/4 - (-2)/(-8). Suppose -18 - 4 = -y*i. Let g(f) = 12*f + 14. Is g(i) a composite number?
True
Let n = 5 - 1. Suppose 30 = -z - n*z. Is 64/6 - (-4)/z a composite number?
True
Let b = 34 - 36. Is b/5 - 12228/(-20) a prime number?
False
Suppose 0*b + 3*b - 270 = 0. Let s be 2/4 - b/(-12). Suppose -6*o - 52 = -s*o. Is o composite?
True
Let b(p) = -8*p**3 - 3*p**2 - 2*p + 1. Suppose -h = 4*m + 10, -2*m - h = -3*m. Is b(m) composite?
True
Suppose 0 = 3*v, -2*f = -3*v - v + 3226. Let y = -882 - f. Is y a composite number?
True
Suppose d = -4*d - 5*g + 19250, 4*g = -2*d + 7706. Is d composite?
False
Let d = 82 - -809. Let x = d - -260. Is x a prime number?
True
Let v = -5038 + 7757. Is v a composite number?
False
Let g(u) be the second derivative of 53*u**4/4 + u**3/3 + 3*u**2/2 - 8*u. Is g(-2) prime?
False
Let k(j) be the second derivative of j**7/252 - 11*j**6/720 - j**5/12 + j**4/6 + 5*j. Let f(r) be the third derivative of k(r). Is f(9) a composite number?
False
Let l(p) = 186*p + 3. Let t(b) = 372*b + 7. Let s(n) = 9*l(n) - 4*t(n). Is s(2) a composite number?
True
Suppose -3*q + 3*c + 462 = 2*c, -3*q + 5*c + 474 = 0. Let p be (-9)/6 + q/2. Suppose 247 = 2*l - p. Is l a prime number?
False
Is -3 - (-11285 + (-6 - -15)) a prime number?
True
Let w be 2 + (-26)/(-91) + 79/(-7). Is 290/(-8)*w/(54/24) prime?
False
Suppose 4*j + 17 + 24 = 3*k, -18 = k + 5*j. Let f = 160 - 40. Let t = k + f. Is t prime?
True
Suppose -19*k = -11*k - 7144. Is k composite?
True
Let u(a) = 15*a**2 - 8*a - 1. Let i(g) = -16*g**2 + 9*g. Let j(f) = 3*i(f) + 4*u(f). Is j(5) a composite number?
False
Let q = 2297 - 1116. Let u be (2/(-3))/2 - 39510/54. Let w = u + q. Is w a composite number?
False
Let i = -6687 + 14186. Is i prime?
True
Suppose -7*y + 96884 = -3*y. Is y a prime number?
False
Let z(h) = -2*h**3 - 5*h**2 - 4*h - 2. Let v = 11 - 9. Suppose 18 = -5*t + 3*y, 2*t = -v*t + y - 13. Is z(t) composite?
False
Let v be 0 - 9/(18/4). Let n = 1212 + -352. Is 2*(v + n/8) composite?
False
Let d = -3788 - -6349. Is d prime?
False
Suppose p + 3*r = 60, p - 3*r - 60 = -0*p. Let s = p - 91. Let n = s + 44. Is n a composite number?
False
Let a(g) = g**3 + 3*g**2 - 3*g - 1. Let i be a(-3). Let k = 8 - i. Suppose -3 = r, k*l + 3*l + 5*r = 96. Is l composite?
False
Suppose 0 = 5*w + c - 9305, 5*w + 6*c = 3*c + 9305. Is w a composite number?
False
Let m(u) = u**2 + 11*u + 7. Let t be m(-10). Is (-5826)/(-4)*(-2)/t prime?
True
Let l be (1 + 0 - 0)*(0 - 0). Suppose 0 = 12*s - l*s - 19788. Is s a prime number?
False
Let u = 36872 - 21567. Is u a prime number?
False
Is ((-3122)/(-12))/(6/(-72)*-2) a composite number?
True
Let r = -268 - -383. Is r composite?
True
Let n(g) be the third derivative of g**5/60 + 5*g**4/12 + 11*g**3/6 - 5*g**2. Let y be n(-9). Is y/(-11) + 585/11 prime?
True
Is 25062 - -1 - (-6 - 0)/(-1) composite?
False
Let f = 61430 + -23157. Is f a prime number?
True
Is 12/(-9) + 1 - (-23188)/3 a composite number?
True
Let t = 410 + -154. Let l = 597 + t. Suppose 0 = -5*k + 162 + l. Is k a prime number?
False
Let n be 11/(-33)*(2 - 4193). Suppose 13*t = 2*t + n. Is t prime?
True
Let f(n) = 321*n**2 - 2*n + n - 322*n**2 - 2. Let l be f(-2). Is 2/l + (-3117)/(-6) a composite number?
True
Let g be 5/15*6/1. Let d be 0*(1/2)/(-6 + 5). Suppose d = g*b, j - 31 = b + b. Is j prime?
True
Suppose -39155 = -5*j - 5*v, 0 = 7*v - 10*v + 6. Is j a prime number?
True
Let u = 118 + -108. Is (u/(-8))/(10/(-6280)) a prime number?
False
Suppose -4*f - n = -3*n - 898, 0 = -n - 3. Suppose 0 = 5*m - b - 1051, m + 2*b = -b + f. Is m composite?
False
Let y = 9625 - 5183. Is y composite?
True
Let v(f) = -7032*f**3 + 2*f**2 - 1. Is v(-1) composite?
True
Let y = 23027 + -16113. Is y a prime number?
False
Let z(q) = -22*q**2 - q + 15. Let w be z(10). Let y = 3676 + w. Is y composite?
False
Suppose -2*h + 5*h + 9 = k, 4*k = -4*h + 4. Suppose -3*f + 2*t = -k*t - 12122, -2*f = -4*t - 8082. Is f a composite number?
True
Let n be (6/(-4) - 0)*-2. Suppose 0 = -0*q + n*q - 12. Suppose -w = -q, -4*m + 307 - 79 = 4*w. Is m composite?
False
Let g(n) = 7*n - 1 + 2 - 2. Suppose -o - 7 = -5*o + 5*w, -4*o - 4*w + 52 = 0. Is g(o) prime?
False
Let y(p) = -19 - 19*p - 25*p + 18 - 70. Is y(-5) composite?
False
Let j(w) = -w**3 - 17*w**2 - 17*w - 15. Suppose -2*k - 4*c = 2*k + 44, 4*c = 4*k + 84. Let r be j(k). Is (-10 - -311) + -2*r a composite number?
True
Is (-56955)/(-6) + -10 + 119/14 a prime number?
True
Is (-52)/208 + 0 + (-67421)/(-4) prime?
False
Let c(v) be the third derivative of 13*v**5/40 - v**4/24 - v**3/6 + 2*v**2. Let j(z) be the first derivative of c(z). Is j(6) a composite number?
False
Let k = -799 - -1932. Is k prime?
False
Let v(l) = l**3 - 5*l**2 + 3*l. Let k be -21*(3 + 40/(-12)). Let n be v(k). Suppose -2*d + d = -n. Is d a composite number?
True
Let m = -10 + 17. Is (2/(8/(-2)))/(m/(-16114)) a prime number?
True
Let u(k) be the first derivative of -k**4/4 - 5*k**3/3 - 5*k**2/2 + k - 4. Let r be u(-4). Suppose 5*h = v - 36 - 51, r*v = h + 315. Is v a prime number?
False
Let k = -23 - -396. Is k composite?
False
Let c(t) = -t**2 - 9*t - 10. Let g be c(-7). Suppose g*i = 639 - 43. Is i a composite number?
False
Suppose 2*t + 21 = 15. Is 635 - (3 - 3 - (3 + t)) a composite number?
True
Suppose 0 = -2*f - 2*r + 844, 0 = -4*f + f - r + 1262. Suppose -1315 = -5*h - f. Suppose -2*c + h = -339. Is c a prime number?
False
Let l = -24 - 13. Let k be (l/4)/((-1)/12). Let z = k + -44. Is z prime?
True
Let l(i) = i + 1. Let o(c) = 290*c - 3. Let x(u) = -5*l(u) - o(u). Is x(-1) prime?
True
Let s be (-1 - 245)*(-36)/(-24). Let a = 60 - s. Suppose 0 = 5*d - 4*v - a, 2*v = -2*d - 0*v + 186. Is d prime?
True
Suppose t = 5*o - 23, -3*t + 31 = 2*o + 3*o. Is 2521/t + (3 - 18/4) prime?
True
Let r(w) = -w**3 + 14*w**2 - 14*w + 15. Let n be r(13). Is (-36456)/(-21) - n/(-1 + 3) composite?
True
Let d = 10 - 8. Suppose d*i = -4*l - 3*i - 5, -3*l + 2*i = -25. Suppose -l*q + 74 = -261. Is q a composite number?
False
Let k(c) = 924*c**3 + 2*c**2 - 3*c - 3. Let f be k(-1). Let y be (-1)/((-632)/(-631) + -1). Let x = y - f. Is x a composite number?
True
Let f(s) = -16952*s + 13. Is f(-2) a composite number?
True
Suppose 4*t + 132 = -2*t. Let n(p) = -19*p + 1. Is n(t) prime?
True
Is (-95)/(-38) + (-43565)/(-2) composite?
True
Suppose 3 = -k + 6. Let b(l) = -2*l - l - 4*l**2 - k*l**2 - 2*l**3 + 8 + l. Is b(-7) a prime number?
False
Suppose -6*y = -10109 + 3803. Suppose y = 5*u - 1814. Is 