. Suppose 0 = -o - 66 - z. Is o/(-14) - 18/63 composite?
True
Let j(a) = a**2 - a - 3. Let d be j(3). Suppose 4*m + 1 = s - d, 3*m = 4*s + 10. Let g(b) = -295*b - 3. Is g(m) a prime number?
True
Suppose -3*b = 4*b + 14. Let o(x) = -42*x**3 - 2*x**2 - 2*x - 1. Is o(b) composite?
False
Let l(i) = -i**3 - 14*i**2 + 32*i + 6. Let h be l(-16). Suppose 14 = 2*k - 2*p, 21 = k - 3*p + 4. Suppose 3*c + h*f - 801 = k*f, 777 = 3*c - 4*f. Is c prime?
True
Let l be (2 + 0)*(165/10)/(-11). Is 250 + (-3 - l) + 3 a composite number?
True
Let p(t) = t**3 + 5*t**2 - 4*t. Let n be p(-5). Let j = 45 - n. Let k = -18 + j. Is k a prime number?
True
Is (-3 + 7 - 6)*(-1117)/2 prime?
True
Suppose -5*i + 20855 = 4*m, -3*i - 2*m - m = -12513. Is i composite?
True
Suppose 14*p - 6679 = 102367. Is p prime?
True
Let b(d) = 3*d**2 + 3*d + 2. Let w be b(-1). Suppose 0 = -w*o + 7*o - 15. Suppose -5*y = -3*p + 179, -101 = 3*p - o*y - 272. Is p a prime number?
True
Let r = 32883 - 15160. Is r a prime number?
False
Let a = 2 + -6. Let s = 6 + a. Let d(h) = 6*h**3 + 4*h**2 - 2*h - 2. Is d(s) composite?
True
Let d = 3 - 3. Let f be (-6 - -2)/(-4) + -1. Suppose f*u + u - 787 = d. Is u prime?
True
Suppose k - 4*x - 4849 = 0, -3*k - x + 14571 = -5*x. Is k a composite number?
False
Suppose -549*i = -544*i - 5585. Is i a prime number?
True
Let x = -370 + 1001. Is x composite?
False
Suppose -13*m + 27 = -16*m. Is (m/27)/(-1 + (-11044)/(-11046)) prime?
False
Is (-6924)/(-5) + 65/325 composite?
True
Let q be 21/(-9) + -2 - (-1)/3. Let t(m) = m**3 + 3*m**2 + 2*m + 1. Let n be t(-2). Is (77 + (-8)/q)/n prime?
True
Suppose 0 = -0*h + 3*h - 114. Suppose 3*m - 4*m + 38 = 3*l, m + 5*l = h. Let u = m + 41. Is u a prime number?
True
Let c = -58253 - -83682. Is c a prime number?
False
Let c(l) be the third derivative of -5*l**2 + 0*l + 0*l**3 + 1/24*l**4 + 14/15*l**5 + 0. Is c(-1) a composite number?
True
Suppose 0 = 4*m - 2*m - 5*m. Suppose -4*x + 711 = -5*i, 3*x - i = -m*i + 536. Is x a composite number?
False
Let m(o) = 8*o**2 - 8*o + 7. Let a = -29 + 34. Let w be -10*1/(5/a). Is m(w) prime?
True
Suppose 0 = s - 2*s + 475. Suppose -25*u + 30*u - s = 0. Is u prime?
False
Suppose -3*q + 0*q = 18. Is q/(-9) - (-4595)/15 a composite number?
False
Let d(z) = -2*z - 6. Let o be d(-14). Let w = 24 - o. Suppose 2*q - 109 = -3*p, -4*p = -0*p + w*q - 142. Is p a composite number?
True
Let i = 44 + -42. Suppose 113 = 3*r - i*r. Is r prime?
True
Let j = -22 + -23. Let q be (36/(-15))/(2/j). Suppose 0 = -t + q + 137. Is t prime?
True
Suppose 0 = -j + 13 - 0. Let d = 2 + j. Let h = 84 - d. Is h a prime number?
False
Suppose 0 = -6*c + c. Suppose 10 = 41*l - 36*l. Suppose 5*n + l*w - w = 631, 4*n + 4*w - 492 = c. Is n prime?
True
Suppose -145355 = 9*h - 415778. Is h a composite number?
False
Suppose 28*g - 23*g = 5. Is -2 + 2005 + g - -1 prime?
False
Suppose 0*h - 3*h + 3009 = 0. Suppose -4*m = -505 - h. Is m a prime number?
False
Let k be 12/5*40/12. Let l = -6 + k. Suppose -5*b - 2*y + 166 = y, 0 = -2*b + l*y + 76. Is b a composite number?
True
Let y be 104/1*12/(-6). Suppose -5*g - 5*b - 1865 = 0, 2*g + 2*b + 752 = -3*b. Let f = y - g. Is f a prime number?
True
Let h = 25297 + -8486. Is h a composite number?
False
Suppose 0 = -6*r + r + 20. Let f(x) = 2*x + 22. Let o be f(-11). Suppose 56 = r*y - o. Is y prime?
False
Suppose -5*w - 5*x + 4895 = -0*x, 1940 = 2*w - 4*x. Let t = w + -485. Is t prime?
True
Let i(s) = 28*s - 18. Let x(w) = 29*w - 19. Let q(p) = -4*i(p) + 5*x(p). Is q(9) a prime number?
False
Suppose -9968 = 4*t - 68780. Suppose 0 = 6*s - 3795 - t. Is s composite?
False
Let o = 57 - 48. Is (0 - 1)/(o/(-5679)) a prime number?
True
Suppose 13*z + 21536 = 29*z. Is z prime?
False
Suppose -12414 = 9*p + 13695. Let r = -1720 - p. Is r a composite number?
False
Let y(p) = -p**2 - 15*p - 9. Let u be y(-14). Suppose u*j - 756 - 719 = 0. Is j a prime number?
False
Let r(f) = f**3 - f**2 + f. Let j be r(2). Let t(s) = -s**2 + 7*s + 29. Is t(j) a composite number?
True
Suppose 0 = x - 0*h + 3*h - 3149, 0 = -5*h + 25. Is x composite?
True
Let x be (-1548)/54 - 2/6. Suppose -2*s + 21 + 111 = 0. Let w = s + x. Is w a prime number?
True
Let u(n) = 22*n + 15. Let p(m) = 2*m - 21. Let i be p(17). Is u(i) a prime number?
False
Let r = 2298 + -1147. Is r a prime number?
True
Let t = 18 + -15. Suppose 0 = -t*y - 2*y + 5. Is (y - 3) + 326/2 composite?
True
Suppose -4*j - 28 = -2*w - 2*w, 0 = -5*w + j + 15. Let q(a) be the first derivative of 49*a**3/3 - 3*a**2/2 + a - 7. Is q(w) prime?
True
Let u = 2526 - 1759. Is u a composite number?
True
Let o(b) = 0*b**3 + b**3 + 0*b - b + 15. Let i be o(0). Is 6/i + 566/10 composite?
True
Suppose -8*j + 5*j = 0. Is 1190 + 4*4/16 - j a composite number?
True
Let h(c) = -54*c + 6 + 4 - 3 - 24*c. Is h(-14) a composite number?
True
Let i(k) = -k**3 + 2*k**2 + k + 13. Let s be i(-21). Suppose s - 781 = 6*l. Is l a prime number?
True
Suppose -810 - 26841 = -3*x. Is x a prime number?
False
Let o(y) = -47*y + 2. Let t be o(5). Let z be 4/(-6) - (-8260)/(-21). Let k = t - z. Is k composite?
True
Let z = 53628 - 23599. Is z composite?
False
Suppose 43*g - 45*g + 9566 = 0. Is g a composite number?
False
Suppose 0 = 2*s + 4 - 10. Suppose -4*o + 3*j - 6*j = -533, -4*j = s*o - 398. Is o composite?
True
Let b = -33028 - -48519. Is b prime?
False
Let d(z) = 13*z**3 - 5*z**2 - 25*z + 1. Is d(10) a composite number?
False
Let m = 72096 - 48049. Is m a composite number?
True
Let n(o) = -2*o**3 - 3*o**2 - o - 1. Let a be n(-2). Suppose 4*g = -3*g + 21. Suppose g*b - 427 = -a*y, 3*b - 562 = -b - 3*y. Is b a prime number?
True
Let l be (0/2)/((3 - 4)*-1). Let s(f) = f**2 + f + 11. Is s(l) prime?
True
Let u be 2/1 + -1 + -1. Suppose r + r - d - 26 = u, d + 15 = r. Is r prime?
True
Let r = -73 + 152. Suppose -122 = -3*z + r. Suppose 2*c = -3*j + z, -4*j + c = -5*j + 23. Is j a prime number?
False
Let z(r) = 294*r + 3. Let s be z(-3). Let n = s + 1738. Is n prime?
True
Let g = -33 + 37. Suppose l = 5*i - 428, 2*l = g*i - 3*l - 355. Is i a prime number?
False
Let d(j) = -22*j - 1. Suppose 0 = 5*a + 28 + 42. Is d(a) a prime number?
True
Suppose -9*l = -6*l - 192. Let o = l - -85. Is o a prime number?
True
Let q(t) = 3*t**2 - 9*t + 12. Let z = 8 - 11. Let v(g) = 3*g**2 - 9*g + 11. Let h(u) = z*q(u) + 4*v(u). Is h(5) composite?
True
Let a = 7876 - -807. Is a prime?
False
Let h = 22 + -23. Is (7/(-28)*-1516)/(h/(-1)) a composite number?
False
Let i(t) = -t**3 - 5*t**2 + 5*t - 2. Let w be i(-6). Suppose j = -0*s + 2*s + 174, 3*s - 652 = -w*j. Let f = j + -81. Is f a prime number?
False
Let p be 78/15*(-110)/(-1) + -1. Suppose 2*s - p = 2451. Is s composite?
False
Let m(s) = 21*s**2 + 2*s + 1. Let z be m(-1). Let p = z + -16. Suppose p*o - 553 = 291. Is o a composite number?
False
Suppose -3*g + 1 = -2. Let v be 28 + 1 + (-2 - g). Let q = 36 - v. Is q a composite number?
True
Suppose 0 = -13*f + 9*f + 12. Let g be 13 - (f + 1) - -2. Is (-4)/(-1) - (-1661)/g prime?
False
Let b = -136 + 245. Let o = b + -51. Suppose 31 = h - o. Is h composite?
False
Suppose -5*q = 7*z - 10*z - 16267, 2*q - 4*z - 6518 = 0. Is q a prime number?
True
Let z(a) = -24*a**3 - 2*a**2 - a + 2. Let n be z(2). Let k = 391 + n. Is k a prime number?
True
Let u(k) = -k + 3. Let p be u(0). Suppose n = -p*n + 16. Is n/14 + (-3039)/(-21) prime?
False
Is (4328/32)/((-3)/(-12)) prime?
True
Suppose -v - 2*p = 27, 5*p = -0 - 20. Let l = 25 + v. Suppose -2*x = w - l*w + 2335, -4*w + 1868 = -x. Is w a prime number?
True
Suppose 13*b + 18918 = i + 18*b, i - 18903 = -2*b. Is i composite?
True
Let k be (-10)/(-3) - 4/12. Suppose -k*m = y - 7, 11 = -2*m + 6*m + 3*y. Suppose -5*t - u = -4*u - 491, m*u - 190 = -2*t. Is t composite?
False
Suppose -61986 = -8*j - 19130. Is j composite?
True
Suppose -2*s = -5*b + 72, -53 = 5*b + 4*s - 149. Let m be (b/10)/((-24)/(-60)). Suppose -2*h = 10, h = -2*i - m*h + 649. Is i a composite number?
False
Suppose -12*x = -6*x - 45618. Is x composite?
False
Let c(m) = m**2 + 4*m - 13. Let f be c(-6). Is f + (4 - 105)*-4 prime?
False
Let d = -7 + 1. Let o(s) = -12*s + 5. Let l be o(d). Let q = l - -10. Is q composite?
True
Let c = 238 - -57. Suppose -63 = -t - 2*n, 6*t = 3*t + 4*n + 179. Suppose -c = -2*k + t. Is k a comp