e
Let n = 373 - -168. Is n prime?
True
Let x = 16 + -14. Suppose 0*o + o - x*s = 169, 5*o = -4*s + 789. Is o a composite number?
True
Suppose -3*v + 5*t + 19364 = 0, 3*v - 11434 = -3*t + 7970. Is v a prime number?
False
Let i = 8 + -10. Is (-31 - 6)*2/i prime?
True
Suppose -2*w - w = -4737. Is w composite?
False
Suppose 4*y = 5*v + 835, 814 = y + 3*y + 2*v. Is y prime?
False
Let l(s) = -s**3 - 2*s**2 + s + 4. Let b be l(-3). Let p = b - 3. Is p composite?
False
Let c = -956 + 1835. Is c composite?
True
Suppose 3726 = 3*i - 411. Is i prime?
False
Let o(z) be the second derivative of 1/2*z**2 - 2/3*z**3 + z + 0. Is o(-3) a prime number?
True
Let c be (-1)/3 - (-1247)/(-3). Let m be ((-1)/2)/((-2)/c). Let o = -35 - m. Is o composite?
True
Let k(u) = u**3 + 6*u**2 - 6*u + 10. Let m be k(-7). Let c be -1 - 0 - (m + -4). Suppose -2*x + c*f = -3*f - 115, -330 = -5*x - f. Is x prime?
False
Suppose -5*a + 2*f = -417, 0 = -4*a - 5*f - 0*f + 327. Is a prime?
True
Let n = 5 + -3. Is ((-3)/(-3) - n)*-83 prime?
True
Let k(z) = 41*z**2 - 10*z + 34. Is k(5) a composite number?
False
Suppose 39684 = 7*y + 5*y. Is y composite?
False
Suppose p - 5*u + 2351 = 0, 0 = -3*p - 0*p + 4*u - 7031. Let q = -1571 - p. Suppose -4*k = -2*v - q, -4*k - 3*v + 564 = -k. Is k prime?
True
Suppose -l + 9 = -15. Suppose 2 = -2*i + l. Is i composite?
False
Is (2 - 4) + 28*3 composite?
True
Let b(h) be the first derivative of -h**2/2 + 8*h - 3. Let y be b(6). Suppose 7*f = y*f + 595. Is f a composite number?
True
Suppose -393 = 5*a + k, a = -2*k - 110 + 35. Let p be 0 - (11*a + 1). Suppose -4*c = -2*c, 4*o + 5*c - p = 0. Is o a composite number?
True
Suppose 0 = -0*y - 3*y - 153. Let p be 1*(-1 + 72) + 1. Let g = y + p. Is g composite?
True
Is (-1224)/(-40) + 2/5 a composite number?
False
Let s = -237 - -352. Is s a prime number?
False
Let n(v) be the third derivative of -17*v**4/12 + 7*v**3/6 + v**2. Is n(-5) a prime number?
False
Suppose 4*a - 9*a + 15 = 0. Suppose 0 = -h - s - 2, -a*s = 2*h - 1 + 9. Suppose 0 = -0*z - h*z + 190. Is z a composite number?
True
Let d = -45 - -12. Let p = 59 + d. Is p composite?
True
Suppose 6*a = -a + 5257. Is a composite?
False
Let l be (16/6)/((-2)/(-213)). Suppose -4*o + w = -1145, l = o - 0*o - w. Is o a composite number?
True
Suppose -6*v + 169 = j - v, 5*j - 753 = -2*v. Is j composite?
False
Suppose 4*o - 2*o - 6 = -p, -3*o + 11 = 2*p. Let r be 634/p + (-3)/6. Is (7 - 5)/(4/r) composite?
False
Let f = 307 + -188. Is f prime?
False
Let a(q) = 165*q**2 + 6 + 58*q**2 - q - 7. Is a(-1) a composite number?
False
Let r(n) be the second derivative of -37*n**5/5 + n**3/6 + n**2/2 + 3*n. Let p be r(-1). Suppose -3*i + p = i. Is i prime?
True
Suppose 0 = -4*m - 7 - 1. Let f be 3/m*12/(-9). Suppose -3*u + 1 - 4 = -4*b, f*u - b - 3 = 0. Is u a composite number?
False
Suppose 2*q - q = 467. Suppose -4*i + i + 108 = y, -4*y + q = 5*i. Is y a composite number?
True
Let s = -535 - -944. Is s a prime number?
True
Suppose -3*x + i + 3*i + 2649 = 0, -4*i = 3*x - 2673. Is x prime?
True
Suppose -j + 4*j - 171 = 0. Suppose 0 = -2*l + 5*l - j. Is l prime?
True
Suppose 2*k + 4*g = -2*k - 4, 3*g = -4*k - 3. Suppose k*a = 3*a. Suppose 5*v + 2*p - 41 = a, 2*p - 1 = v - 2. Is v composite?
False
Suppose o - 8 = 5*l, 2*l + 2 = -0*l. Suppose -3*w - 4*c + 639 = -2*c, 206 = w + o*c. Suppose -34 = -3*x + w. Is x a prime number?
True
Let v(a) be the third derivative of a**6/120 + a**4/6 - 2*a**3/3 + a**2. Is v(3) prime?
False
Let i(t) = t**3 + 11*t**2 - 18*t - 17. Is i(-12) a composite number?
True
Suppose g + 3 - 7 = 0. Suppose 0 = g*t + 3*h - 254, 3*t - 2*t - 75 = 5*h. Suppose 3*m - 5*m = -5*n - 43, 0 = 4*m - 3*n - t. Is m a prime number?
False
Let f = -18 - -87. Let v = f + -47. Suppose 4*t - 3*t - v = 0. Is t composite?
True
Suppose -4*x + 8*x = 0. Suppose x*h + 56 = h - 5*l, -5*l = -3*h + 118. Is h prime?
True
Let o(m) = 10 - 3 + 3 + m**3 - 9*m + 5*m**2 + 3*m**2. Is o(-9) a prime number?
False
Is (9/6)/(12/1688) prime?
True
Suppose r + 3*p = 8, r - 8 = -p - 4*p. Let o = r + 158. Is o a prime number?
False
Let i = -2340 + 4141. Is i a composite number?
False
Let d = -37 - -83. Is d prime?
False
Let k(h) = 14*h**2 - 2*h + 1. Is k(2) a prime number?
True
Let v(x) = 24*x**2 - 7*x + 8. Is v(9) prime?
True
Let x be (-1 + 0 - 1) + 0. Let y be (-9)/(-6)*x/(-3). Is (42/(2 + y))/2 composite?
False
Is (-1)/(3/(-2073)*1) prime?
True
Suppose 0 = 5*z + h - 718, 2*z - 66 - 217 = h. Suppose -c - z = 67. Let p = -121 - c. Is p prime?
True
Suppose 3 = y - 1. Suppose 3*n = 2*w + 273, 4*w - 182 = -y*n + 2*n. Is n composite?
True
Let p = -2078 - -3109. Is p a prime number?
True
Let b(c) = 78*c - 1. Let w = 5 + -4. Is b(w) a prime number?
False
Let a(g) = -2*g**3 - 11*g**2 - 4*g + 16. Is a(-7) a prime number?
True
Suppose 6*r = 3*r - 15. Is (-11)/(-55) - 1284/r a composite number?
False
Suppose -6 = -3*q - 0*q. Is (q/6)/((-3)/(-2007)) composite?
False
Let k(c) = 4*c**2 + c - 1. Let s be k(1). Suppose s*v - 889 = -5*i, 3*i - 666 = -3*v - i. Suppose 0*t = 2*t - v. Is t a composite number?
False
Let n(x) = 87*x**2 - 7*x - 31. Is n(9) a composite number?
True
Let o = 7 - 1. Suppose 4*f + 3*i = -24, 4 = -0*f - 4*f + 2*i. Let b = f + o. Is b a prime number?
True
Suppose 5*l - 296 = z, 2*l + 5*z = -0*l + 113. Let p(a) = -5*a + 9. Let w be p(7). Let s = l + w. Is s composite?
True
Let y(o) = -2*o - 3. Let a be y(-4). Suppose a*d - 387 = 28. Is d prime?
True
Let s(h) be the first derivative of 4*h**3/3 + 3*h**2/2 - 5*h - 1. Is s(-4) a composite number?
False
Let d be (2 - 1)/((-1)/(-3)). Suppose 0 = 5*m - h - 381, 0 = -d*m + 4*h + 61 + 154. Is m prime?
False
Suppose 0*q - 2 = 2*q. Let m be 423/6 - q/2. Suppose -5*z = -20, -2*p + 7*p = -4*z + m. Is p prime?
True
Suppose 2*o - 5*o = -18. Suppose 4*c = o*c - 254. Is c a composite number?
False
Let p(u) be the first derivative of -u**4/4 - 5*u**3/3 - 9*u**2/2 - 11*u + 5. Is p(-8) composite?
True
Is -2*691*(-2)/4 a prime number?
True
Let b be (-3)/18 - 58060/(-24). Suppose 2*p - b + 645 = 0. Is p a prime number?
True
Let z = -195 - -105. Is (-4962)/z - 6/45 a composite number?
True
Suppose 4 + 4 = 2*d. Is (68/(-17))/(d/(-298)) prime?
False
Let y be (-3)/(-1)*(-4)/(-3). Suppose -89 = y*h - 5*h. Is h composite?
False
Let d(n) be the second derivative of -7*n**3/6 - 2*n. Let h(a) = -5*a**2 - a - 1. Let z be h(-1). Is d(z) a prime number?
False
Let r(h) = -23*h - 5. Let j(g) = 6*g. Let f be j(-1). Is r(f) a prime number?
False
Suppose 3*y - 4*a = 248, -3*y - 268 = -6*y - a. Let v = y + 43. Is v composite?
False
Let h = -12 - -13. Suppose 0 = 3*z - 43 + h. Is z a composite number?
True
Suppose 2*c - c - 5 = 0. Let z = c - 3. Suppose z*x = q + 71, 0*q - 15 = -5*q. Is x composite?
False
Let z(b) = -b**2 - 4*b - 7. Let q be z(-7). Let y = q + 56. Suppose -v - y = -3*v - f, 3*v - 5*f - 42 = 0. Is v a composite number?
True
Let g(u) = -17*u - 4. Let o(v) = v**2 + 6*v + 2. Let k be o(-5). Let d be g(k). Suppose 0 = 5*i + d - 442. Is i composite?
False
Let h(p) = p**3 + 7*p**2 - 7*p - 7. Let v be (-5)/(-1)*(-12)/(-10). Is h(v) a prime number?
True
Let z be 178/6 - 2/3. Suppose 23 + z = 4*d. Is d composite?
False
Let c(p) = 3*p**3 + 12*p**2 + 2*p - 1. Let s(b) = b**3 + b**2 - 1. Let f(d) = -c(d) + 2*s(d). Is f(-10) a prime number?
True
Let w = 556 + -183. Is w composite?
False
Let d = -1 - -6. Suppose 0 = q + 5, -2465 = -5*z + d*q - 3*q. Is z a prime number?
True
Let r(q) = 6*q**2 + 4*q + 2. Let u be (-10)/4 + (-3)/6. Let i be r(u). Let x = i + -23. Is x a composite number?
True
Suppose y = -10 + 4. Let q(u) = -u**2 - 8*u - 6. Is q(y) a composite number?
True
Let s(h) = h**2 + 3*h**2 + 3*h + 4*h**2 - 3. Let d be s(-3). Let l = 127 - d. Is l a composite number?
False
Suppose 2*g - 27 = -0*g - 3*o, -5*o - 20 = -g. Let r be 7 - 3*(-3)/(-9). Let m = g + r. Is m a composite number?
True
Let d = 6 + -8. Is (-7)/(-7) + (34 - d) a composite number?
False
Let j(y) = y. Let u be j(2). Suppose u*k + 4*m - m - 68 = 0, -33 = -k - 2*m. Is k a composite number?
False
Suppose -5*v + 21 = 4*b, -6*v + 2*v = 5*b - 24. Suppose -b = -4*t + 8. Suppose -12 = 4*x, -4*a + x + 14 = -t*a. Is a prime?
True
Let s(h) = 13*h**2 - 13*h + 31. Is s(-19) composite?
True
Let n = -55 + 33. Let t be 10/