5*r = -29. Is q(b) a composite number?
True
Suppose -12 = 3*h, 4*w = 3*w - 2*h - 26. Let x = w + 20. Suppose 3*k + 4*f = f + 1644, -x*f = -5*k + 2775. Is k a composite number?
True
Is (-10)/(-15)*4446324/24 a composite number?
True
Suppose -3*p + 4*i = 3*i - 82, -136 = -5*p + i. Let m be 16/9 - (-6)/p. Is (-1)/m*(-3 - 3) a composite number?
False
Let h = -1098 - -16259. Is h a composite number?
False
Let t(k) = k**3 + 23*k**2 - 25*k - 26. Let o be t(-24). Is (2 - o)/4 - (-298)/1 a composite number?
True
Suppose -5*m + 4*d + 28 = -m, 5*m = -5*d - 15. Let z be 13/1*m + -3. Let o = z + -2. Is o prime?
False
Suppose d = -4*m - 41, 3*d - m + 52 = -71. Let r = d + 26. Is r/25 + (-2334)/(-15) a prime number?
False
Suppose -4*i = -11*i + 24577. Is i a composite number?
False
Suppose -3*o - t + 12290 = 0, 0 = 2*t - 7*t - 5. Is o a prime number?
False
Suppose -4*w = -0*w + 12. Let g(c) = 130*c**2 + 4*c - 1. Is g(w) a prime number?
False
Let w(g) = -1381*g - 94. Is w(-9) prime?
False
Let u(j) = 2*j**2 - 5*j + 3. Let p be u(3). Suppose -5*g + 4*o - 8 = 0, -3*o + 6*o - p = 0. Suppose -4*v + 47 + 13 = g. Is v a composite number?
True
Let b = 13831 + -9718. Let m = b - 2420. Is m a prime number?
True
Let o(f) = f**3 - f**2 - f + 1. Let m be o(2). Let x be 2*-6*2/(-12). Suppose 2*h - x*z = 376, m*h - 306 = -5*z + 282. Is h a composite number?
False
Suppose -9330 = -4*g - v, -30*g - 5*v = -29*g - 2323. Is g a composite number?
False
Let c = -42385 + 86274. Is c a prime number?
True
Suppose 3*o - 8 = -2*h + 3*h, -2*h = -4*o + 10. Let n(x) = 2*x**3 + x**2 + 2*x - 4. Is n(o) prime?
False
Let s(y) = y**2 - 7. Let h be s(3). Let d(k) = 5*k**2 - 2*k - 1. Is d(h) composite?
True
Let t(b) = 5*b + 30*b - 5*b - 7. Let d be t(3). Suppose 4*z = -27 + d. Is z prime?
False
Suppose 0 = m + 3, 0 = -g + 3*g + 3*m - 4085. Is g a composite number?
True
Let i(r) = 3*r**2 - 128*r - 284. Is i(69) a prime number?
True
Suppose -d + 5 = -5*j - 14, -3*d + j = -1. Let v be (-1 - d)/(-2 - -4). Suppose v = 7*b - 4*b - 987. Is b composite?
True
Suppose -2*l = -3*a + 216, 0 = -5*a - 2*l + 585 - 209. Suppose 13 = 2*w + 63. Let b = w + a. Is b composite?
True
Suppose 6*z = -6*z + 361740. Is z prime?
False
Suppose -2*p + 6 = -0*p. Suppose t = -p*c + 5*c - 587, 0 = -5*c - 2*t + 1445. Is c a prime number?
False
Let s(t) = 754*t - 97. Let r = 160 - 149. Is s(r) composite?
True
Suppose 3*g + 5 = -10. Is (-3)/5 - 193/g prime?
False
Let v(r) = r**3 - 18*r**2 + 2*r + 31. Is v(18) composite?
False
Let i(a) = -7*a. Let s(q) = -3*q + 16. Let r be s(9). Is i(r) composite?
True
Let c be 2/(-10) + (-152)/40. Let w be (-1)/(c + 3) + -69. Let t = 187 + w. Is t a composite number?
True
Suppose 2*x - 6*x = -6028. Is x a prime number?
False
Suppose 5*y - 7 = 13. Let c(j) = -1 + y*j + 90*j + 2. Is c(1) composite?
True
Let n(g) = 1433*g + 176. Is n(7) a prime number?
False
Let u be 1/5 - (-189)/(-45). Is u/(-10) + 6438/30 a composite number?
True
Let i = 5 - 3. Suppose 4*b - 70 = i*b. Is b composite?
True
Let s = -40446 - -73433. Is s a prime number?
True
Let x be (1/2 - 0)*26. Let n = 19 - x. Let c(s) = 2*s**3 - s**2 - 7*s - 1. Is c(n) a prime number?
True
Let k(c) = -c - 131 - 41*c**2 + 198*c**2 + 137*c**2 + 129. Is k(-1) prime?
True
Is 1*(-485513)/(-7) - -12 prime?
True
Let k(a) = -a**2 + 7*a + 22. Let g be k(9). Let d(w) = -16*w - 3. Let z be d(-10). Suppose 5*f = -3*i + z, g*i - f + 49 = 289. Is i a composite number?
False
Let f = 115 - 244. Let x = f - -323. Is x a composite number?
True
Let j(z) = 238*z**2 + 8*z - 49. Is j(4) a prime number?
False
Let g be (28/42)/(4/18). Suppose -1017 = -3*m - 3*a, -393 = -g*m - 4*a + 619. Suppose -m = -5*q - 5*y + 1236, -318 = -q - 2*y. Is q a prime number?
False
Let u(i) = -i**2 - 5*i + 6. Let k be u(-6). Suppose 2*j - 468 + 136 = k. Suppose -j - 88 = -2*m. Is m a prime number?
True
Suppose 6*q - 4*q - 4084 = 0. Suppose 5*i - q = 3*u, -2*u = -2*i + u + 815. Is i a composite number?
False
Suppose 12 = 3*o + o. Suppose -58 = -22*p - 14. Suppose 0 = p*q - o*q + 127. Is q prime?
True
Let y = -30081 - -45052. Suppose 3*k - 10250 - y = 0. Is k composite?
True
Suppose -145*i + 140*i + 28190 = 0. Is i a prime number?
False
Suppose 0 = -3*x - 3*h + 1236, 5*x + h - 2054 = -2*h. Is x prime?
True
Suppose 69 = -5*h + 19. Let a be (-6)/h - 21/(-15). Suppose 2*t - 3*k = t + 110, a*k = -2*t + 244. Is t prime?
False
Let r = -840 + 368. Let o = r - -1427. Is o a prime number?
False
Let k(h) = 4*h**2 - 6*h + 4. Let g(i) = -3*i**2 + 5*i - 4. Let m(n) = 5*g(n) + 4*k(n). Let o be m(6). Suppose 187 - o = y. Is y a prime number?
True
Let d(r) = r**3 + 15. Let h be d(0). Let w = h - 13. Is (2/w)/((-3)/(-339)) a composite number?
False
Suppose 0 = 54*a - 52*a - 6. Suppose a*z - 1055 = -2*z. Is z a prime number?
True
Let k(o) = -20*o**3 - 25*o**2 - 6*o + 40. Is k(-11) a prime number?
False
Let y(h) = -h**2 - h + 1. Let s be y(-2). Is (1 + (-3600)/(-3))/s*-1 a prime number?
True
Let n(q) = -q + 27. Let u be n(0). Let v = 24 - u. Is 13/(v + (-70)/(-23)) composite?
True
Let k be (-9)/(-27) + (-28)/(-6). Suppose -2*s + 1372 = k*b, b = s - b - 677. Let t = s + -470. Is t prime?
True
Is (-4)/30 + 1911908/60 a prime number?
False
Let g(h) be the second derivative of h**5/60 - 5*h**4/12 + 11*h**3/6 - 4*h**2 - 6*h. Let z(j) be the first derivative of g(j). Is z(-8) prime?
False
Let a be 910 - (-2)/4*4. Suppose -3*s = s - a. Suppose -3*q + s + 111 = 0. Is q a prime number?
True
Let l = -1996 + 3455. Is l composite?
False
Let r be 1 - 8/6 - 53/3. Is (-9)/(r/4) + 629 a composite number?
False
Let l(d) be the first derivative of 0*d - 4 + 3/2*d**2 - 1/4*d**4 - 5/3*d**3. Is l(-7) composite?
True
Suppose -3*i + 7*i - 124 = 0. Let x be (-3 - -4)*(1 - i). Let n = 55 + x. Is n a prime number?
False
Suppose 5029 = 5*c + v, -1344 = -5*c + 3*v + 3669. Suppose 0*b - 5*j - 603 = -3*b, j + c = 5*b. Is b prime?
False
Let o(f) = -70*f**2 + 6. Let m be o(-2). Let s = m - -828. Is s a composite number?
True
Suppose -16 = -4*d, 2*o + 3*d - 2*d = 122. Suppose -5*a = -25, l - 25 = -a + o. Is l prime?
True
Let r = -314984 - -637153. Is r a composite number?
False
Suppose h = -4*k - 4, 5*h = h + 4*k + 44. Let x(o) be the first derivative of -o**4/4 + 13*o**3/3 - 9*o**2/2 + o - 1. Is x(h) composite?
True
Let p = 3185 - 1856. Suppose 2*r - r = p. Is r composite?
True
Is (5623/3)/(9/27) composite?
False
Suppose 9*i - 975 = 8*i. Suppose 37 = -4*l - i. Let f = l + 456. Is f a prime number?
False
Suppose -2*p = -7*p + 3045. Let n = -290 + p. Is n a prime number?
False
Let g(w) be the second derivative of w**5/20 - 2*w**4/3 + 4*w**3/3 + 15*w**2/2 - 14*w. Is g(8) a composite number?
False
Let h = 46750 + -14601. Is h composite?
True
Let m(x) = 11*x - 20. Let s(q) = 12*q - 19. Let a(n) = 2*m(n) - 3*s(n). Is a(-9) a composite number?
True
Let w = 238 - -2503. Suppose -u = 2*u + 3, t - w = -2*u. Is t composite?
True
Suppose -2*y - 3 = -11. Suppose 2*h + 3354 = y*w, -6*h + 3*h = 4*w - 3359. Is w prime?
True
Suppose -n - 4 = -2*o, -o - 2*o + 6 = n. Suppose -m = -0*m - 5*s - 1122, -o = 2*s. Is m prime?
True
Let l(r) = r. Let v be l(3). Is ((-2047 + -2)/v)/(-1) composite?
False
Let b = 1961 - 330. Let h = b - 688. Is h a prime number?
False
Suppose -12*b + 5*h = -15*b + 18792, 2*h = -2*b + 12524. Is b a prime number?
False
Let u(c) = 31*c - 2. Let a be u(10). Let d be -214*1 + (-9 - -12). Let h = d + a. Is h a composite number?
False
Let h(x) = 5*x**3 + 2*x**2 - 3*x - 2. Let p be h(3). Suppose -3 - 1 = 4*z. Is p + (-3 - 0)/z composite?
True
Let s(h) = -2090*h - 175. Is s(-6) a composite number?
True
Let a be 43 - (-2)/2 - 1. Let t = a + 810. Is t composite?
False
Let q(y) = 3*y**2 + 37*y + 311. Is q(-24) a composite number?
False
Suppose x - 9 = -5*o, -4*x = -0*x + 5*o - 81. Suppose 0 = 16*u - x*u + 7192. Is u a composite number?
True
Let q = 581 + -490. Is q a prime number?
False
Suppose 4*p + 4 = -2*y + 22, -4*y + 1 = p. Let j(a) = -a**3 + 5*a**2 + 3*a + 3. Let n be j(p). Let c = 1 + n. Is c prime?
True
Suppose -4*w = 2*l - 310, 2*l + 2*l + 3*w = 600. Suppose l = -4*h + 4103. Is h composite?
True
Suppose -2*t - 1777 = -257. Let h = 1211 + t. Is h a prime number?
False
Let k = 477 + 84. Suppose 0 = 3*g - 2*x - 1675, k = g - x - x. Is g p