 -j*o - 0*o. Suppose i = 3*i - o. Is i a prime number?
False
Suppose 5*r - 19658 = 3*r - 3*k, -r + 4*k = -9829. Is r prime?
True
Let p be ((-64)/10)/((-10)/(-50)). Let o = p - -47. Let f = o - -8. Is f composite?
False
Suppose 3*s - j - 26 = 0, 5*j - 3*j = -4*s + 18. Let b(p) be the first derivative of p**4/4 - 3*p**2 - 8*p - 1. Is b(s) a prime number?
True
Suppose -5*w + f = -0*w - 21004, -3*w + 2*f + 12601 = 0. Is w prime?
True
Suppose -12*x = -13*x - 150. Let g = x - -263. Is g a prime number?
True
Suppose 0 = -15*h + 12*h + 873. Is h composite?
True
Is 0 + -3 - (-18612 + (10 - 14)) a prime number?
False
Suppose -3104 = 6*u - 10598. Is u prime?
True
Let u(i) = 31*i**2 - 5*i + 6. Let b be u(-8). Let x = b + -1077. Is x prime?
True
Let s = 612 - 336. Let u = -17 + s. Is u a composite number?
True
Suppose 3*y - 3*n = 1215, 1622 = 15*y - 11*y - 3*n. Is y prime?
False
Suppose 3*k = -4*s - 175, -205 = 3*k - s - 35. Let x = k + 116. Is x a prime number?
True
Suppose 9*y - 10*y = 0. Suppose i = -4*z + 2*i + 2302, -i - 2 = y. Suppose 2*o - z = -3*o. Is o prime?
False
Suppose -4*x + 3800 = -16148. Is x a prime number?
True
Let j(v) = v**2 + 14*v - 11. Let l be (1 - 4/(-2)) + -18. Let m be j(l). Let z = 3 + m. Is z prime?
True
Suppose 11*c - 15 = 16*c. Let x(q) = -q**3 - 2*q**2 - 5*q - 2. Is x(c) a composite number?
True
Is 20324 - 2 - 2 - -3 prime?
True
Let q(g) = 3*g - 12. Let k be q(5). Suppose 0 = a + k*a - 884. Is a a composite number?
True
Let s = -44 - -27. Let y = s + 22. Suppose 0 = -3*h - u + 909, y*h + 2*u - 1066 = 450. Is h composite?
True
Let k(z) = 2*z. Let f be k(6). Suppose 0 = -2*x + 5*x - f. Suppose 4*u - x*q = 276 + 172, 339 = 3*u - 2*q. Is u a composite number?
True
Let g = -225 + 845. Let f(b) = 7*b**3 - 6*b + 5. Let k be f(4). Let i = g - k. Is i a prime number?
True
Let y(z) = z**2 + z + 142. Let s be y(0). Let d = 661 - s. Is d prime?
False
Let x(f) be the second derivative of -f**3/6 + 5*f**2 + 2*f. Let o be x(8). Suppose o*y - 116 - 54 = 0. Is y a prime number?
False
Let f(g) be the second derivative of 40*g**3/3 + 2*g**2 - g. Let a be f(9). Let z = a - 461. Is z a prime number?
True
Let r(u) = -7701*u + 2. Is r(-3) a prime number?
False
Suppose 14 = 8*w + 46. Is (-10544)/(-48) - w/(-6) a composite number?
True
Let n = -6639 - -12986. Is n composite?
True
Let g(v) = -6*v**3 + 7*v + 5. Suppose 7*k + 4 = -24. Is g(k) a composite number?
True
Let f(c) = -2*c**2 + 6*c + 7. Let s(k) = -k**2 + 3*k + 4. Let z(h) = -6*f(h) + 11*s(h). Let v be z(2). Suppose x - 14 - 209 = v. Is x a prime number?
True
Let f = 401 - 223. Let w = 1525 - f. Is w a prime number?
False
Suppose -8*o = -4*o - 26044. Is o prime?
False
Suppose 0 = 3*p - 0*p + 24. Let h = 5 - p. Is h a prime number?
True
Suppose 2 + 19 = -5*k - 3*j, 3*k = -4*j - 6. Let p = k - -10. Is (-2338)/p*(0 + -2) a prime number?
False
Let x = -272 - -339. Is x composite?
False
Let x = 766 - 531. Is x a prime number?
False
Let r(h) = -h + 8. Let w be r(6). Let v(c) = c**2 - 7*c + 6. Let d be v(6). Is d + w + 175/5 a composite number?
False
Let r(f) = f**2 - f + 1. Let x(m) = 17*m**2 - 3*m + 1. Let n(w) = 2*r(w) - x(w). Let j be n(3). Is (j/3)/(4/(-12)) a composite number?
False
Let u(l) = l**2 - 2*l + 1. Let z be u(1). Let k(g) = -g**2 - g + 1. Let m(i) = 6*i**2 + 4*i - 1320. Let r(q) = -5*k(q) - m(q). Is r(z) prime?
False
Let k(w) = -w**2 + 9*w - 6. Let q be k(8). Suppose -q*d + 60 = -572. Suppose 5*o - 9*o = -d. Is o prime?
True
Let h(i) = i**2 + 11*i + 19. Let n be h(-4). Is ((-282)/9)/(11/n + 1) prime?
False
Let f(u) be the third derivative of u**5/60 + 42*u**3 - 4*u**2. Let x be f(0). Suppose 5*y = x - 77. Is y a composite number?
True
Let q(m) = m**3 - 7*m**2 - 5*m - 10. Let r be q(8). Suppose 2*j + 6 = r. Suppose j*n = 8, -5*i - 286 = n - 923. Is i a prime number?
True
Let r = -3 + 6. Suppose 2 = -r*j + 11. Suppose -813 - 193 = -j*x + 2*m, 0 = -4*m - 8. Is x composite?
True
Let u be ((-11)/2 + 4)*-2. Suppose 0 = 8*f - 3*f + 25, u*l - 3*f = 24. Suppose -l*i - 2*i + 775 = 0. Is i prime?
False
Suppose -5*c = -b - 51503, 5*c = -5*b + 9446 + 42069. Is c composite?
False
Let b be (-25)/(-10) + (-2)/4. Let f(y) = -2*y - b + 3 + y**2 + 68*y**3 + y**2. Is f(1) composite?
True
Suppose -4 = 2*d + 14. Let r = 12 + d. Suppose r*z = 2*z + 14. Is z composite?
True
Let z = 229 - 11. Suppose 2*y - 4*q - 190 = 0, 5*q - z = -4*y + 123. Is y prime?
True
Suppose -4*b + 247 = 5*h, -4*h + 2*b + 288 = 106. Suppose -h*k = -44*k - 4395. Is k composite?
True
Let b be (-9)/(-2) - 7/(-14). Suppose b*k = k + m + 2759, -5*m = 5*k - 3480. Is k a prime number?
True
Suppose 0 = -3*j + 4*x + 2, -5 = -4*j - 2*x + 5. Suppose 0 = 5*l - f - 1252, -j*f = l - 149 - 108. Is l a prime number?
True
Let r(h) = -h**2 + 5*h + 9. Let z be r(8). Let o(t) = -11*t + 26. Is o(z) composite?
False
Is ((-6082)/8)/(11 - (-540)/(-48)) a prime number?
True
Suppose p - 70 = 2*c + 112, 4*c = -5*p + 952. Is 0/(1/1) - (-3 - p) composite?
False
Let q = -15 + 12. Let f be 0 + -9890 + q + -3. Is 1/7 - f/14 prime?
False
Let i be ((100/(-14))/5)/((-1)/7). Is -26*(2/10 + (-267)/i) composite?
True
Suppose 2*v - 20 = -2*s, 3*s - 24 = v + 2. Suppose -5*b + s*b = 372. Is b composite?
True
Suppose 0 = -u + 3*u - 4. Let b be (-7)/u*4/(-7). Suppose 99 = b*x - 19. Is x prime?
True
Suppose -m = -5*a - 28886, -738 = -m + 4*a + 28151. Is m a composite number?
False
Suppose 2097 = 3*h + 3*x, 0 = h - x + 3*x - 702. Suppose 3*c + 4*q = -901, 3*c + 674 = q - 222. Let p = h + c. Is p a composite number?
False
Suppose 14*t - 145 = -33. Suppose t*l - 26548 = 35572. Is l composite?
True
Let a(o) = 5*o**2 + 8*o + 18. Is a(-5) a composite number?
False
Let u be (5 - 0) + 1*-3. Is -249*u/(-2)*(-5)/(-15) a composite number?
False
Let o be (0 - 0 - -4)/2. Let p = -1453 - -2568. Suppose -o*a = -p + 353. Is a a composite number?
True
Let x(a) = 4*a - 6*a - 9*a + 0*a - 86. Is x(-15) composite?
False
Let i(l) = -7*l**3 + l**2 - 11*l - 17. Let x be i(-9). Suppose -d + x = d. Is d composite?
False
Let m = -4 - -4. Suppose -v + 11*v - 19850 = m. Is v composite?
True
Suppose -4*q + 6920 + 8192 = 0. Is q prime?
False
Let r(s) = 6*s**2 - 10*s - 17. Let g be r(14). Let p = g - 622. Is p a composite number?
False
Suppose 46857 = 4*x - 4475. Is x a prime number?
False
Let d = 116 + -114. Suppose 3*h - 3239 = -d*m, 3*m + 3*h - 136 = 4724. Is m a prime number?
True
Suppose 4*u = 3*c + 2, -6*c - 10 = 4*u - 3*c. Is (3 + u)*(-892)/(-8) composite?
False
Let w(b) = -24759*b - 10. Is w(-1) a composite number?
False
Let a(p) = 2*p**3 + 34*p**2 + 36*p - 6. Let u(m) = -3*m**3 - 51*m**2 - 54*m + 9. Let v(n) = 7*a(n) + 5*u(n). Is v(-16) prime?
False
Suppose 5*v + 1196 + 739 = 5*u, -1527 = -4*u - 3*v. Let y = 1094 + -451. Let j = y - u. Is j composite?
True
Let i(k) = 45*k**2 + 2*k + 28. Is i(-15) a prime number?
False
Suppose 3*x - 28055 = -3*z + 146572, 5*z + x = 291045. Is z prime?
False
Suppose 3*a - a - 2*t = 54, t = -4*a + 123. Suppose 0 = -a*g + 33*g - 2607. Is g prime?
False
Suppose 10*q - 7406 = 2024. Is q a prime number?
False
Let i = -47 - -32. Is (101295/(-6))/i*(1 - -1) a prime number?
True
Let x = 467 - 0. Is x composite?
False
Let g(c) = 4*c + 4. Let u be g(6). Let d = u - -51. Is d a prime number?
True
Suppose -7*n = 5*a - 3*n + 6, -2*a + 4*n - 8 = 0. Is 4 + (3 - 102/a) prime?
False
Let o be 3 + (2 - 5 - -4). Suppose -4*i = -5*s + 615, o*s + 2*i - 67 - 425 = 0. Is s prime?
False
Let s(t) = -16*t**2 - 8*t - 11. Let n(j) = -16*j**2 - 8*j - 11. Let o(l) = 4*n(l) - 5*s(l). Is o(-5) prime?
False
Let w(j) be the second derivative of -j**5/20 - 3*j**4/2 + 2*j**3 - 8*j**2 + 21*j. Is w(-21) a composite number?
True
Suppose 0 = -1540*x + 1544*x - 67684. Is x a prime number?
True
Let y(x) = 63*x + 12. Let v be y(10). Suppose 145 + v = m. Is m a composite number?
False
Let l = 2237 - 1245. Let t be (1 - (-3)/3) + 499. Let a = l - t. Is a composite?
False
Suppose 21938 = 5*l - 4*l + 3*o, 4*l - 87787 = -5*o. Is l a composite number?
True
Let w be 80766/49 + 2/(-7). Let t = 3777 - w. Is t a composite number?
False
Let i be 5 + ((-9)/(-3) - 4). Let t be (i - 3)/(1/6). Suppose -k + 85 - t = 2*v, -237 = -3*k + 4*v. Is k a prime number?
True
Let g(y) = -y**3 - 2*y**2 - y + 2. Let c be g(-2). Let b