e number?
True
Let g = 45 + -18. Let p = g + -2. Is p a prime number?
False
Let n be (2/6)/((-1)/(-99)). Let d = n - -158. Is d prime?
True
Let a(d) = 69*d + 2. Is a(7) prime?
False
Let f(k) = 39*k**2 + k + 5. Is f(4) composite?
True
Let c = -4 - 2. Let q(u) = 5*u**2 - 4*u + 9. Is q(c) prime?
False
Suppose 5*w = -5*r + 10, r - 6*r = 2*w - 19. Suppose 3*x + 4*f - 153 = 0, -4*f = -r*x + 63 + 192. Is x prime?
False
Let z = -310 + 521. Is z prime?
True
Suppose 0 = 4*f - 9*f + 40. Is (-5025)/(-20) - 2/f a prime number?
True
Is 5/(-25)*5/1 + 254 composite?
True
Let z be (-5)/(-4) + 24/32. Suppose 5*x - 286 = z*s, 0*s + 5*s - 10 = 0. Is x composite?
True
Suppose l = -z + 8, z = l - 3 + 1. Suppose -9 = 3*t - 3*h, -l*t + 2*h + 0*h = 6. Is 230 - (-1 + t + -2) prime?
True
Suppose x + 5 = 2*c - 6, -4*c + x + 25 = 0. Let b(g) = -g**2 + 4*g + 5. Let h(n) = n**2 - 4*n - 6. Let p(a) = c*b(a) + 6*h(a). Is p(2) a composite number?
False
Let k(v) = -v + 13. Let w be k(14). Suppose 0*q + 30 = -q - 3*n, -q - 30 = -n. Is w/6 + (-4775)/q a composite number?
True
Suppose j = 3*t - j - 17, 3*j = 6. Let w(x) = x**3 - x**2 - 2*x + 7. Is w(t) a composite number?
True
Let z(r) = -5*r - r + r - 3 - r**2 + 2. Let q be z(-4). Suppose -3*k = q*y - 4*k - 219, -2*k + 6 = 0. Is y prime?
False
Let w = 271 - 154. Suppose j = -2*j + w. Is j a composite number?
True
Let w be 7/28 + 2/(-8). Let z = w - -49. Is z a prime number?
False
Let j be 226/6 - (-6)/18. Suppose -j = -w - 1. Is w a composite number?
False
Suppose 8*l = 855 + 1249. Is l a composite number?
False
Let y = 114 + -35. Is y a prime number?
True
Let w be (-503)/4 - (-4)/(-16). Let j = w - -190. Let d = j + 27. Is d a prime number?
False
Let f(p) be the second derivative of p**7/2520 - p**6/720 - 3*p**5/40 - p**4/3 - 2*p. Let i(c) be the third derivative of f(c). Is i(8) a composite number?
False
Suppose 2*x + 2*f = 3*x + 62, 0 = -5*x + f - 310. Suppose 0 = -9*q + 14*q - 10. Is q - x/2 - 0 a prime number?
False
Let i be ((-3)/2 + 2)*4. Suppose 2*n + i = 0, -2*n + 23 = 2*b - 19. Suppose p - b = -7. Is p prime?
False
Suppose 2194 = 5*u + r, -3*u + 2*u + 5*r = -418. Suppose 0 = 2*l - 4*z - u, 3*z + 12 = -0*z. Is l a prime number?
True
Let u = 6 - 4. Suppose u*m - 11 = 21. Let w = m - -19. Is w a composite number?
True
Let i = -104 - -195. Is i prime?
False
Let v be 26/(-8) + 2/8. Let o(l) = -7*l + 2. Let x be o(2). Is ((-69)/12 - v)*x composite?
True
Let q = 4 + -2. Let d be (-1 + 1)*(2 + -1). Let v = q - d. Is v a composite number?
False
Let c(t) = t - 3*t + 19 + t. Is c(9) composite?
True
Let x be (1 - (1 - -1))*173. Suppose -l = 2*l - 27. Is (-2)/9 - x/l prime?
True
Suppose -w + 1645 = 4*w. Is w a composite number?
True
Let o be ((-4)/(-6))/((-1)/(-6)). Let i(r) = 4*r**2 - 2*r + 2. Is i(o) composite?
True
Let z(r) = 480*r**2 - 2*r - 1. Is z(-1) a prime number?
False
Let x(c) = -2*c**3 + 4*c**2 - 3*c + 2. Let u be x(2). Let g(f) = -f**3 - 4*f**2 - 2*f - 4. Let m be g(u). Suppose -m*l = l - 155. Is l a composite number?
False
Let o be (4/2)/((-4)/26). Let n = o + 28. Let j = n - -7. Is j composite?
True
Let q = 1696 - 717. Is q composite?
True
Suppose 1294 = 2*l - 810. Suppose -n - 279 = 3*r - l, 5*r - 1287 = -n. Is r a prime number?
True
Let b be ((-5)/15)/((-2)/12). Suppose 2*p + b = 0, -4*a + 272 + 185 = -5*p. Is a a prime number?
True
Let a = -4688 - -8889. Is a composite?
False
Let f be ((-44)/(-2))/((-4)/(-4)). Suppose 2*l = -0*l + f. Is l a composite number?
False
Let k(i) = -i**2. Let h be k(3). Let o(w) = -w**2 - 8*w + 7. Let t be o(h). Let x = 55 + t. Is x prime?
True
Let j(f) = 0 - 2 + 32*f**2 + 3. Is j(-1) prime?
False
Let n(a) = -20*a - 1. Let k be (-1)/(-3*3/(-36)). Is n(k) a composite number?
False
Suppose -3*m + 2 = -m, 5*k = 3*m + 45452. Is k a composite number?
False
Let j = -5 - -10. Let u = 4 - j. Is (-5 - -2)*(u + -2) a prime number?
False
Let k = 4 + -29. Is 10/k - (-617)/5 prime?
False
Let t = -3 - -7. Suppose -v = v - 3*i - 265, t*v + 2*i = 570. Is ((-7)/4)/((-5)/v) prime?
False
Let p = 368 - 114. Is p prime?
False
Suppose -g + 0*g - i - 5 = 0, -5*g + 3*i = -15. Is (-2 + g)/((-6)/357) a prime number?
False
Suppose l + 2*q + 0*q - 1193 = 0, 4*l - 5*q - 4772 = 0. Is l a prime number?
True
Let o(d) = 14*d + 7. Let s be 12/(-3)*1*-2. Is o(s) a composite number?
True
Let b be (-80)/(-36) + 2/(-9). Let q be (12/10)/(3/80). Let y = q + b. Is y a prime number?
False
Let x be (-8284)/(-14) - (-16)/56. Suppose -q + 3*b = -128, -5*q + 2*b - 3*b = -x. Is q prime?
False
Suppose 2*b = 3*b - 127. Is b a prime number?
True
Let l be 2/5*(-1 - -6). Suppose 0*m - 8 = -l*m. Let q = m + 21. Is q prime?
False
Let g = 14 - 12. Suppose -3*y - i + 425 = 0, -g*i = 2*y + 2*i - 280. Is y composite?
True
Suppose -2*w + 3*w - 22 = 2*x, -5*x = 20. Is w prime?
False
Let y = 698 - 405. Is y a prime number?
True
Let x be (-8)/(-2)*-7*2. Let j = x + 147. Is j prime?
False
Let t(z) = -5*z + 841. Is t(0) a composite number?
True
Let q be (4 - (2 + -2)) + -1. Suppose 4*v - 204 = 16. Suppose -2 = -q*s + v. Is s prime?
True
Suppose d - f + 0*f = 7, 5 = -f. Suppose 3*c + 2 = -1, 4*n - 410 = -d*c. Let p = n - 48. Is p a composite number?
True
Let o = 5 - 1. Suppose -3*l = -4*d + 21, 8*l = -4*d + o*l. Suppose -95 = -2*x - d*x. Is x a prime number?
True
Let q(v) = -v**3 - 13*v**2 - 6*v + 19. Is q(-13) composite?
False
Let k(u) = 494*u + 4. Let w be k(2). Is 6/9 - w/(-6) composite?
True
Let b = 8 - 16. Let g = b - -301. Is g a prime number?
True
Let c = 170 - -166. Suppose 2*k - k + 2*z - 73 = 0, -3*z = -4*k + c. Let b = k - 55. Is b prime?
False
Let p(y) = 49*y**3 + 2*y**2 - 2*y + 1. Let w be p(1). Suppose -i = w - 15. Let o = -24 - i. Is o a prime number?
True
Suppose -4 = -u - 0*u + 4*p, -4*u = -p - 1. Suppose 3*n + 0*n - 120 = u. Suppose 0*w - n = -4*w. Is w a composite number?
True
Suppose 4*a + 4 = 0, 2670 = 4*m + 4*a - 6*a. Is m composite?
True
Suppose 4*c - 145 = -21. Let m = 50 - c. Is m a composite number?
False
Suppose -q - 2*u + 32 = 4*q, 0 = -2*q - u + 13. Suppose -7*v + 3*v + 24 = 0. Suppose -4*w + v = -q. Is w a composite number?
False
Suppose 6*m + 309 = 9*m. Is m a prime number?
True
Suppose -7*t + 3*t + 44 = 0. Is t prime?
True
Let a(w) = w**2 + 7*w - 7. Is a(-11) composite?
False
Is -1*2*(-1481)/(-2)*-1 a composite number?
False
Suppose r - 11 = 4*b - 818, 2*b = -4*r + 408. Suppose -798 = -3*t - 2*f - 191, -t - f + b = 0. Is t composite?
True
Let c(p) be the second derivative of p**5/20 - p**4/3 + p**3/2 - 2*p. Let k be c(3). Suppose k = -h - 1 + 12. Is h a prime number?
True
Let d be (-24)/(-9)*57/2. Let c = d - 39. Is c composite?
False
Let n = 624 - 371. Is n a composite number?
True
Suppose -386 + 1376 = 5*q. Suppose q - 1036 = -2*g. Is g a composite number?
False
Let p(g) be the first derivative of -9*g**2 + g + 1. Suppose 0 = -2*m + 7*m + 5. Is p(m) prime?
True
Suppose 0*k + 360 = 2*k. Suppose -k = -h + 5. Is h composite?
True
Let f be 5/(-2)*(3 - 5). Let y(w) = w**3 - 3*w**2 - 6*w - 2. Let j be y(f). Let c = j + -11. Is c a composite number?
False
Let f(h) = -h + 2. Let k be f(2). Suppose 2*v - 3*v + 3 = k. Suppose v*b = -b + 156. Is b composite?
True
Suppose 5*n - 12 = 4*z, -4*n = -7*n - z - 3. Suppose -2*d + n*d = 0. Suppose d = -0*f + f - 11. Is f composite?
False
Suppose 3232 = 3*a - 5*q - 2877, -6113 = -3*a + q. Is a prime?
False
Suppose 0 = u - 5 - 2. Let f = u + -1. Is (f/(-15))/(2/(-30)) a composite number?
True
Suppose 2*p + 0 - 8 = 0. Let d(m) = 3*m**2 - 3*m + 5. Let a be d(6). Is p/2 - a*-1 composite?
False
Let m(b) = 365*b - 4. Let x be m(7). Is 3/24 - x/(-8) prime?
False
Suppose 0*m + 1 = m. Suppose 0 = i - m. Is 9 - i - (2 + -3) a composite number?
True
Suppose 2*y + 483 - 2005 = 0. Is y a composite number?
False
Suppose -6 = -h - 3. Suppose -h*b = 26 - 359. Is b composite?
True
Let g(q) = -q**2 + 6*q. Let r be g(6). Suppose 5*a = -r*a. Suppose a*k + 4*x - 69 = -k, 0 = k - 5*x - 33. Is k prime?
True
Let a = 22 - -105. Is a composite?
False
Let x(r) = 2*r - 6. Let d be x(4). Let i be ((-59)/(-2))/(d/(-20)). Let g = -198 - i. Is g a composite number?
False
Let n(j) = 3*j + 19. Let m(p) = p + 6. Let q(h) = -11*m(h) + 4*n(h). Let z be q(-5). Suppose -2*l + 28 = 4*a, 0 = -4*l - 5*a + 55 - z. Is l a comp