rue
Let c = -16 + 10. Let d be ((-8)/(-12))/(c/9). Is -1095*d/(-3)*-1 a composite number?
True
Let c = 663 + -1545. Is ((-4)/6)/(12/c) prime?
False
Let j(s) = 21 - 29*s**3 - 22*s + 19*s**2 + 28*s**3 - 4. Is j(15) prime?
True
Suppose -5*b - 261 = v - 2102, 5579 = 3*v + b. Let q = 62 + v. Is q a composite number?
True
Let w(o) = -o**2 - 132. Let s be w(0). Suppose -5*j = 3*n - 0*n - 607, -n + 195 = -2*j. Let f = n + s. Is f a composite number?
False
Suppose -i = 2*w + 34, -3*i + 13 = 4*w + 77. Let j = -18 - w. Is (-3)/(-6)*(j + 157) a composite number?
False
Suppose 113*n - 179486 = 96*n. Is n composite?
True
Let g = 1 - -2. Let j be (-5 - -6)/(g/5373). Let u = -1068 + j. Is u a composite number?
True
Is 51/(-85) + 30624/15 prime?
False
Let q = -1143 - -485. Let r(o) = -7*o**2 - 14*o + 6. Let j be r(7). Let p = j - q. Is p a composite number?
False
Suppose 0 = -4*x - 5*d + 65 + 217, -5*x = d - 363. Let v = x + 138. Is v composite?
False
Suppose -23*q + 16824 = -8683. Is q prime?
True
Let t(f) = -5570*f - 1349. Is t(-11) composite?
False
Let s(c) = -c - 6. Let l be s(-4). Is (16/(-8))/(l/631) a prime number?
True
Suppose -1103 = -n - 4*h, -2*h - 5455 = -5*n - 7*h. Is n a composite number?
False
Let g(v) be the first derivative of v**3/3 - 7*v**2 - 8*v - 3. Is g(-17) a prime number?
False
Let w(h) = -72*h**3 + 8*h**2 + 36*h + 25. Is w(-9) composite?
False
Let i = -15 - -13. Let q be (-2 + -12)/(-1 - i). Is (-12)/(-42) + (-1662)/q prime?
False
Suppose 1193 = 2*v - 7349. Is v composite?
False
Let i = 51 - 36. Is 5/((-340)/1825 - (-3)/i) prime?
False
Suppose 28*p - 172267 = 7017. Is p composite?
True
Let p(c) = c**3 + 9*c**2 - c + 3. Let y(a) = 9*a. Let h be y(-1). Let d be p(h). Is 1/((-8)/(-82))*d prime?
False
Let d(q) = -24*q**3 - 7*q**2 + 11*q + 25. Is d(-8) composite?
False
Let g = 328 - 179. Is g prime?
True
Suppose -20 = -3*r - 3*o + 703, 238 = r - 2*o. Suppose 8*z = 2*z + r. Let y = z - 9. Is y prime?
True
Suppose 2*n + 3*v = -67, -3*v + 49 = 2*n - 4*n. Let d = 118 + n. Is d composite?
False
Suppose 2*q + 2*b + 2616 = 55720, -4*q = -4*b - 106248. Is q prime?
True
Let a(c) = 7*c + 4. Let q(v) = 4*v + 2. Let y(i) = -6*a(i) + 11*q(i). Let u be y(-5). Let j = u - -67. Is j a prime number?
False
Let r = -6817 + 9889. Suppose -3*s + 3405 = -r. Is s composite?
True
Let l = -290 + 136. Let j be 852/3 + 1 + 0. Let i = l + j. Is i a composite number?
False
Let h(x) = 725*x - 23. Is h(6) a composite number?
False
Suppose 3*n - 3105 = -3*w, 58*n = -w + 55*n + 1027. Is w a prime number?
True
Let p = 79628 - 26275. Is p a composite number?
False
Suppose 3*z = -r + 1736, -3*r = -2*z - z + 1716. Suppose 0 = 4*p - z - 1099. Is p a prime number?
True
Suppose -3*n + v + 15446 = 0, 3*n + 3*v - 4550 = 10876. Is n a prime number?
True
Let q = -1 + 5. Suppose -n - k + q - 1 = 0, 5*n + 2*k = 18. Suppose -n*y + 201 = -y. Is y prime?
True
Let t(w) = w**3 - 3*w**2 + 4*w - 3. Let n be t(2). Let j be 2 - (97 + n/1). Let i = 65 - j. Is i prime?
False
Let c(j) = -321*j - 6. Let p be c(-3). Let i = 1510 - p. Is i prime?
False
Suppose 0 = -0*i + 2*i - 6. Is (-3838)/(-8) + (-1 - i/(-12)) prime?
True
Let u = -10 - -15. Suppose -4*t - 23 = -3*a, -29 = -4*a + u*t - 0*t. Is (-5 + 4)/(a/(-223)) prime?
True
Let w(x) = -x**2 - 23*x - 5. Let u = 13 - 27. Is w(u) composite?
True
Let a(w) = -74*w + 5. Let t(h) = 148*h - 11. Let q(n) = -13*a(n) - 6*t(n). Is q(2) a prime number?
True
Let x = -12 - -20. Let w = 11 - x. Suppose 0 = w*u - 0*u - 279. Is u composite?
True
Let y(o) = 2*o + 21. Let q be y(-18). Is (-95868)/(-60) - (-12)/q a composite number?
False
Suppose 34935 - 3142 = y. Is y a composite number?
False
Let c = -1472 + 2121. Is c prime?
False
Suppose 846 = 2*u + 4*x, 2*u + 6*x = 4*x + 852. Let q = u + -192. Suppose f - 321 = -p + q, -2*f + 559 = p. Is p a prime number?
True
Let z(t) = -70*t - 95. Is z(-25) a composite number?
True
Suppose 3*n + 2*n = -90. Let l = n + 20. Is (l - -82*1) + -1 a composite number?
False
Let z be ((-16)/(-12))/(4/30). Is 471 - (-9)/(45/z) prime?
False
Let s(l) = -121*l**3 + l**2 + 2*l + 1. Let a be s(-1). Is (-22)/a + (-774)/(-22) composite?
True
Let t(f) = f**3 - 7*f**2 + 9*f - 7. Let m be t(6). Suppose 1 = 3*o - m. Suppose 2*d - d + 5*w = 28, -o*w = 8. Is d a prime number?
False
Let u(c) = 211*c**2 - 15*c + 27. Is u(8) a prime number?
True
Let f be 3/2 + (-24)/(-16). Suppose -f*o + 1 + 11 = 0. Suppose -o*v + 1012 = 4*s, -v - 3*s + 245 = -0*s. Is v prime?
True
Suppose 15 = 4*x + 3. Suppose 27 - x = 2*v. Is (254/(-8))/((-3)/v) prime?
True
Suppose -7*d + 6424 = 551. Is d prime?
True
Suppose -t - 348 = 85. Let o = 840 + t. Is o a prime number?
False
Let o(d) = d**3 - 3*d**2 - 5*d + 7. Let l be (17 - -5)/2 - (-3)/(-1). Is o(l) a composite number?
True
Let c(f) = 8*f**2 - 5*f + 1. Let u be 6 - ((-4)/(-4) - -1). Suppose 0*i - 16 = u*i. Is c(i) a prime number?
True
Suppose -26*q = -442648 - 54394. Is q prime?
False
Let m = 2193 - 1272. Is m prime?
False
Let m = 70887 + -18730. Is m composite?
True
Suppose 0 = 12*c - 85174 - 15062. Is c composite?
False
Let n(a) = 3*a - 7. Let m be n(3). Suppose -5*t = g - 951, -m*g - 153 = -2*t + 237. Is t a composite number?
False
Let b(c) = -c**2 - 13*c - 8. Let y be b(-11). Suppose v = y - 6. Is 118 + 1 - (v - 7) composite?
True
Let h(d) = 28*d**2 + 3*d - 2. Let z be h(2). Let g = z + -27. Is g composite?
False
Let u(p) = -14*p**3 + 10*p**2 + 17*p - 120. Is u(-13) composite?
True
Let n(j) = 293*j**3 + 14*j**2 - 14*j - 2. Is n(3) a composite number?
False
Suppose -28*p = -6*p - 476234. Is p a composite number?
False
Let d(f) = 2*f**2 - 4*f + 6. Let x(m) = -m**2 + 5*m - 7. Let j(c) = 2*d(c) + 3*x(c). Let t be j(10). Let l = t + -110. Is l composite?
True
Suppose 3*d - 6494 = -2*z, 17*d = -5*z + 20*d + 16235. Is z composite?
True
Let p = -23 - -7. Let s = p - -12. Is (-4 + 8)*(-94)/s composite?
True
Suppose -2*d = -3*d + 4. Is (-5 + d - -154) + -4 prime?
True
Let v(x) = 465*x + 10. Is v(23) composite?
True
Let k = -19 - -19. Suppose 3*p + 0*p - 12 = k. Let b(i) = 4*i**3 + i**2 - 3*i - 7. Is b(p) a prime number?
False
Let a = -2267 - -17804. Is a prime?
False
Suppose 0 = -0*i + 5*i + 25. Suppose 3*v - 2*v - 3*q + 276 = 0, -5*q - 252 = v. Is 1 - (v - (i + 2)) composite?
True
Let z(s) = -s**3 + 18*s**2 - 14*s + 14. Let f be z(17). Let x be (-26)/f + 23/(-5). Let w(k) = -117*k + 2. Is w(x) composite?
False
Suppose 10*m = 12*m. Suppose b - 350 - 617 = m. Is b a composite number?
False
Suppose 4*g = 5*c - 1146, 2*g - 424 - 38 = -2*c. Let v = c + 1297. Is v a composite number?
True
Let o = -747 + 1414. Let w = o - 338. Is w prime?
False
Let p(a) be the first derivative of a**4/4 - 5*a**3/3 - 5*a**2/2 - a - 3. Let z be p(6). Suppose 3*o + y - 5*y - 1325 = 0, z*o - y = 2214. Is o prime?
True
Let o be ((-10)/4)/(-5) - (-7389)/18. Let z = -139 + 897. Let c = z - o. Is c prime?
True
Let h = -6 + 13. Let i = h + -9. Let f(b) = -30*b - 5. Is f(i) a composite number?
True
Let y(r) = 28*r**2 + 4*r - 5. Let s(u) = -55*u**2 - 8*u + 10. Let k(a) = -6*s(a) - 11*y(a). Is k(-6) composite?
True
Let t(s) = -32*s + 39. Let x(v) = 16*v - 20. Let w(l) = -3*t(l) - 5*x(l). Is w(4) a prime number?
True
Let j(s) = 29*s**2 + 6*s - 9. Suppose -v - 6 = -2*d - 0*v, -4*d - 3*v = -22. Is j(d) prime?
True
Let y = 85 - 56. Let n(x) = 5 - 3 - y*x + 1. Is n(-4) composite?
True
Let n = 1 + -7. Let f = n - -3. Is 19 - (f - -3)/2 composite?
False
Suppose -5*q + t - 623 = -0*q, 506 = -4*q - 3*t. Let y = -74 - q. Is y a composite number?
True
Is 2/8 - (-4 + (-439005)/60) a composite number?
False
Suppose -4*q + 745 - 241 = 0. Let m = -43 + q. Is m a composite number?
False
Let p(o) = 4*o**2 - 14*o**2 + 18*o + 4 + 11 + 5*o**3. Let z(b) = 2*b**3 - 5*b**2 + 9*b + 7. Let c(l) = -3*p(l) + 7*z(l). Is c(-7) prime?
False
Let v be (-133)/21 - (-2)/(-3). Let t(m) = -m**3 - 4*m**2 + m - 9. Is t(v) prime?
True
Suppose 2*c + 35569 = 5*v, -2*c + 5*c + 6 = 0. Is v a prime number?
False
Suppose -4*x + 5*t = -4311, 2417 = 2*x + 4*t + 255. Is x a composite number?
True
Let c(s) = 5*s**2 - 2*s + 1. Let n(p) = 6*p**2 - p. Let a(v) = 5*c(v) - 4*n(v). Let o be a(5). Suppose o = f - 56 - 209. Is f a prime number?
False
Let d = -11 + 12. Is (-599 + 12)*(d - -1)/(-2) a prime number?
Tru