4*i + 22599 = -u. Let t = i + 10684. Is t composite?
True
Let t(u) = u**3 + 10*u**2 - 3*u + 12. Let a be t(-10). Let b = 30 - a. Is 116/6 - (-4)/b a prime number?
True
Suppose b + 3*h - 22 = -0*h, b - 3*h - 10 = 0. Suppose -4 - b = -5*v. Suppose 0*w = -2*w + 5*q + 288, -3*w + v*q + 439 = 0. Is w composite?
False
Suppose 0 = 3*d + 4*a - 188 - 493, d + 2*a - 229 = 0. Is d a composite number?
False
Suppose 0*y = -4*y. Suppose 4*z - 20 = 0, y = 3*r + 3*z - z - 2203. Is r a prime number?
False
Suppose 996 = 2*a - 5*a. Let h = 567 + a. Suppose 3*f = -4*t + h, -1 = -4*t + 3*t. Is f a composite number?
True
Suppose 4*q - 58 = -5*r, -3*r - 7 = -5*q - 27. Let u = r - -75. Is u prime?
False
Suppose 2*z + b + 18 + 116 = 0, 0 = -3*z - 3*b - 201. Let m be -27 + 3 + (0 - 0). Let u = m - z. Is u a prime number?
True
Let c be -8*(2 - 15/10). Let s(z) = 8*z**2 - 4*z + 5. Is s(c) a composite number?
False
Suppose 0 = -5*i + 5, -4*i + 12767 = 2*s - i. Suppose 0 = -6*t + s - 1456. Is t prime?
True
Let b(z) = 3*z**2 + 11*z - 19. Let c be b(2). Is 3090/25 - 9/c prime?
False
Suppose 4*n - 4*f + 13 = -27, -n + 3*f - 18 = 0. Let v(q) = 6*q**3 + 4*q**2. Let u(p) = -5*p**3 - 4*p**2 + p - 1. Let a(w) = 5*u(w) + 4*v(w). Is a(n) prime?
True
Let m(z) = 429*z - 8. Is m(3) composite?
False
Suppose -4*i = 4*d - 17236, -3*i - 4*d = -2191 - 10733. Suppose i = 4*z + 804. Is z prime?
True
Let m(h) = -78*h - 14. Let o be (8/(-3))/(4*(-1)/(-6)). Is m(o) a composite number?
True
Let d(x) = -4*x**3 + 2*x**2 - 1. Let c be d(-1). Suppose c*s + 3*z = 1871, 744 = 2*s - 3*z + 2*z. Is s composite?
False
Suppose -10*n + 8749 = 3*n. Is n prime?
True
Let z(x) = 82*x**2 + 17*x - 41. Is z(12) prime?
True
Let v(h) = h**2 - h. Let k(m) = -4*m**2 + 13*m - 2. Let f(n) = -k(n) - 3*v(n). Let j be f(10). Is (-7 + -30)/(j/(-4)) a prime number?
False
Suppose -2*c - 1 = -11. Suppose 4*u + l = -1 - 18, 5*u + c*l = -5. Is 191*(-2)/u*3 a prime number?
True
Suppose -d - d + 5*f + 7 = 0, 2*d = 2*f + 10. Let n = 0 - d. Let b = 15 - n. Is b composite?
True
Suppose -16 + 24 = 2*q. Suppose -3*m = m - 8, -2*a - q*m + 3546 = 0. Is a a composite number?
True
Let q(t) = t**3 - 2*t**2 - 10*t - 11. Let j be q(5). Suppose j*x + 1556 = 18*x. Is x composite?
False
Let y(q) = 50*q + 9. Let p be (2/1 + -3)*0. Suppose -j + p*j + 8 = 0. Is y(j) composite?
False
Is -16982*(8 - (-34)/(-4)) a composite number?
True
Suppose 3 = 4*w - 5, -5*d + 4067 = -4*w. Is d prime?
False
Let t(j) = -78*j**2 + j. Let p be t(1). Let w be 1/(-5) + 219/(-5). Let u = w - p. Is u a prime number?
False
Let y be (-4)/24 - 13/(-6). Suppose 1 = -y*w - 3. Let x(p) = -25*p**3 - 2*p + 1. Is x(w) prime?
False
Let p = 373 + -116. Suppose p = -2*b + 669. Is b a composite number?
True
Let o = -117 - -122. Suppose -o*i = -2*b - 4459, -2*i + 3*b = 2*i - 3563. Is i composite?
True
Suppose 9124 = 3*z + c, 4*z - z - 9118 = 5*c. Is z prime?
True
Let b be 9/(-6) + 9/2. Suppose t - b = -0. Suppose 652 = 2*u + 5*n, -t*u + 1001 = -0*u - 4*n. Is u composite?
False
Suppose -331*v - 18854 = -342*v. Is v a prime number?
False
Let i = -466 - -718. Let l = -125 + i. Is l prime?
True
Is -1049*3/6*-2 a composite number?
False
Is (-9 + 3 - -1) + 3 + 4957 composite?
True
Let f = 7452 + -5081. Is f a composite number?
False
Let w(g) = -g**3 + g**2 + 3. Let c(v) = 7*v**3 - 4*v**2 - 9*v - 14. Let a(p) = -c(p) - 6*w(p). Suppose -2*i + i - 7 = 0. Is a(i) a prime number?
False
Let s be (-7 + 3)*(2 + -1). Let q be 1/((s - -5)/(-1)). Is q/(-3) - 1880/(-12) composite?
False
Suppose 2 = 3*b - 0*b - 2*q, 4*b + 5*q - 18 = 0. Suppose v + 2*k - 1208 = 0, -b + 17 = 5*k. Is v prime?
False
Let y(f) = 130*f + 69. Is y(13) composite?
False
Let f be -253*((3 - 6) + 0/(-1)). Let a = f - 128. Is a prime?
True
Let c = 1 + 3. Suppose -15*f = -13*f - 44. Suppose 2*j - c*j = -f. Is j a prime number?
True
Suppose 15*c - 16*c + 278 = 0. Let x = c + 344. Is x composite?
True
Let k(q) = q**3 + 2*q**2 + 2. Let v be k(-2). Let t be -1*(-16)/((-8)/v). Is 415 + -1 + (-4)/t prime?
False
Is 20/(-70) + -1 + 190096/14 composite?
False
Let m(z) = -z**3 - 8*z**2 + 4*z - 5. Let q = 3 - 14. Is m(q) a composite number?
True
Suppose 4*w - 2*q - 392 = 0, w + 2*q = 2*w - 101. Suppose 212 = w*n - 93*n. Is n prime?
True
Let v(w) = 8*w**3 + w**2 + 51*w - 7. Is v(8) prime?
True
Let s = -6725 + 10740. Let m = -2478 + s. Is m a prime number?
False
Suppose -g = 2*g + 4*s - 257, g - 4*s - 59 = 0. Suppose -5*o = -25, 2*n + 4*o - g = 19. Is n - (-1 + -1 + 4) prime?
True
Suppose 3*h = -a + 377, 4*h - 125 - 256 = -a. Is a composite?
True
Let m = 15 + -12. Suppose 0*q + q - 418 = g, -3 = -m*g. Is q a prime number?
True
Let x = 37 - 13. Suppose 2*h + k - 23 = 0, 2*h + h = 2*k + x. Suppose h*u - 161 = 5*u - 2*r, -3*r + 126 = 4*u. Is u composite?
True
Suppose q - 578 = 101. Is q a prime number?
False
Suppose 5*a + 10 = m - 2*m, 8 = -5*m - 4*a. Suppose -5*k = m, -3*s + 4*k - k + 1623 = 0. Is s a composite number?
False
Suppose -19388 = -90*f + 86*f. Is f a prime number?
False
Let v be -1 - (-1)/((-4)/(-12)). Let t(s) = 1 - 10 + v + 33*s. Is t(10) composite?
True
Let j = 79 + -77. Let f = 10 - 5. Suppose -j*a - 801 = -f*a. Is a a composite number?
True
Suppose 5*b - 1222 - 1742 = -f, -1776 = -3*b - 3*f. Let y = b + 878. Is y a composite number?
False
Let m = 58 + -54. Suppose 0 = m*x - 0*x + 16, -3*j - 5*x = -2701. Is j a prime number?
True
Let d(z) = -10*z**3 - 13*z**2 + 8*z - 19. Let t(x) = 9*x**3 + 12*x**2 - 8*x + 18. Let k(c) = 6*d(c) + 7*t(c). Is k(5) prime?
False
Let s(b) = b**3 + 9*b**2 + b. Let t be s(-8). Suppose -4*i - t - 244 = -4*o, -5*i - 5 = 0. Is o prime?
False
Suppose -r = 12 - 19. Let b(m) = -1 + m**3 - 3*m - 3*m - m**2 + 0. Is b(r) a prime number?
True
Is 26722/14 - 40/(-140) a composite number?
True
Let z(b) be the third derivative of 2*b**5/15 + b**4/24 + b**3/2 - b**2. Suppose 0 = 2*w - 6, 33*w - 35*w = 5*q + 14. Is z(q) prime?
True
Let f = 7953 - 5668. Let g = f + -1540. Is g a prime number?
False
Let c = -30091 + 52572. Is c a composite number?
False
Let b(c) = 45*c - 542. Is b(31) prime?
True
Let o be 16 - (0 - -4)/2. Let v(z) = 0*z + z**2 - z + 317 + o. Is v(0) a prime number?
True
Suppose -4*h - 5*u + 152146 = 0, 5*u + 38041 = h + 4*u. Is h a composite number?
False
Suppose -2*g + 21 = -21. Is 3782/3 + 7/g a prime number?
False
Suppose 4*d + 60 = d - 3*l, d = 4*l + 5. Is 3/15 - 2142/d a composite number?
True
Let l be (-1)/((26/117)/(2/(-3))). Suppose 3*w - 246 = -4*m - 0*m, -246 = -l*w - 3*m. Is w composite?
True
Suppose x = -p + 225, 2*p - 7*p + 2*x = -1097. Is p a prime number?
False
Let q = 17 + -24. Let h be 1 + 0 - (7 + q). Let o(n) = 221*n**3 + n**2 - 2*n + 1. Is o(h) a prime number?
False
Let h = 693 - -406. Is h prime?
False
Is 17554/201*138/4 composite?
True
Let k(m) be the first derivative of 47*m**3/3 - 5*m**2/2 - 23*m + 30. Is k(-5) composite?
True
Suppose 238 + 556 = 2*k. Is k composite?
False
Let p(y) = 69*y + 73. Is p(12) prime?
False
Let n(c) = 2 - 3 + 0 - 10 + 84*c. Is n(11) prime?
False
Suppose 396 = f + 51. Let d = -122 + f. Is d composite?
False
Let x(m) = -m**3 + 4*m**2 - 5*m + 6. Let y be x(3). Suppose -5*u + 25 = y, 2*z + 4*u = z + 507. Is z composite?
False
Let i(q) = -q**3 + 5*q**2 + 14*q + 4. Let j be i(7). Suppose 987 + 505 = j*o. Is o prime?
True
Let l = 21 + -18. Let k(c) = 5*c**2 + 5 + 2*c**3 - l*c + c**2 - c**3. Is k(5) a prime number?
False
Let k = -566 - -672. Is k a prime number?
False
Let l be 4 - (8 - (6 + -2)). Suppose 3*v - 8*v - 3*j + 5498 = l, 0 = 4*v + 5*j - 4401. Is v prime?
False
Let o = 84 - -393. Let f = 202 + o. Is f a composite number?
True
Suppose -g + 5*g = 4*h + 18380, 2*h - 13785 = -3*g. Is g composite?
True
Is (-28)/70 - ((-1288953)/15)/3 composite?
False
Suppose 109242 = l + 5*b, 5*l - 546100 = 23*b - 26*b. Is l a composite number?
True
Let v be -1089 + 7/(35/(-20)). Is v/(-4) - (-27)/36 composite?
True
Let c(l) = 246*l**2 + 7. Is c(-4) a composite number?
False
Is 599856/14 - (-10)/(-420)*-6 prime?
False
Let d(x) = 14*x**2 + 2*x + 1. Let k(q) = -2*q**3 - 3*q**2 + 5*q + 2. Let m be k(-3). Let w be 2/1 - m/(-7). Is d(w) composite?
False
Suppose i = -2, 411307 = 5*k + 5*i + 67882. Is k a composite number?
False
Let i = -639 + 1116. Let y = 2038 - i. Is y composit