posite number?
True
Suppose 3*h + 5675 = 5*u, -49*u + 48*u + h + 1135 = 0. Let t = 2982 - u. Is t a prime number?
True
Suppose 14700 = 5*q - 108075. Suppose 44*c - 39*c - q = 0. Is c a composite number?
True
Let y = -664 + 1873. Let w = y + -818. Is w a prime number?
False
Let l = -3625 - -3625. Let t = -1 - -3. Suppose -3*h - 3*m + 1977 = l, t*m - 7 - 1 = 0. Is h prime?
False
Let t be (-32622)/14 + (-24)/28 - 2. Is t*(-2 - 6 - -7) a prime number?
True
Let m(u) be the first derivative of -121*u**2/2 + 28*u - 39. Is m(-3) a prime number?
False
Let a(p) = 614*p**2 + 21*p - 6. Let c be a(4). Suppose o - c = -5*z, 5*o = -3*z - 0*o + 5928. Is z prime?
False
Let u = 157 - 127. Suppose u*g + 104657 = 278027. Is g a prime number?
True
Let c(g) = 5*g - 3. Let n be c(1). Suppose -3602 = t - 4*s, 6*t = n*t + 5*s - 14364. Is 1/3*(-19 - t) prime?
False
Let j(d) = 6923*d**2 + 12*d + 11. Let w be j(-1). Suppose -4*z = 2*c - w, -z - 4854 = -2*c + 2048. Is c prime?
False
Let s = 12 + -17. Let c(p) be the third derivative of -p**4 + 7*p**3/6 + 2662*p**2. Is c(s) a composite number?
False
Let q(r) = r + 20. Let x be q(-13). Suppose x*s = 10*s + 1656. Let u = s + 1715. Is u a composite number?
False
Suppose 12*c - 118255 = 20813. Let h = 23452 - c. Is h a prime number?
True
Let t be (-1133910)/48 - 1/(-8). Let z = 34560 + t. Is z composite?
False
Let v(i) = 7*i - 17. Let n(r) = r + 6. Let c be n(-6). Suppose -3*u - 2*u - 2*x + 30 = c, 4*x - 16 = u. Is v(u) composite?
False
Let l(i) = -5*i**2 - i**3 - 5*i**2 - 5 + 5*i + 6*i**2. Let d be l(-5). Is 164/d*(2 + 18/(-4)) prime?
False
Suppose 2144 = -d + 3*d. Suppose -6*y + 12*y - 27*y + 42 = 0. Suppose -y*a - 4*x + 83 = -2103, -a + d = -5*x. Is a composite?
False
Let u(b) = -198*b + 5. Let i be -8 + 4 - (0 + -2). Let d be u(i). Suppose 5*k - 6*k + d = -h, -4*k + 1614 = h. Is k composite?
True
Suppose -4*m = -g - 23267, 3*g = -5*m - 48408 - 21444. Is g/(-9) + 52/117 prime?
False
Let z(s) = 559*s**2 - 364*s**2 + 3*s - 4 + 4 + 19. Is z(6) prime?
True
Let r(o) = 410*o - 49. Let j be r(10). Let g = 6000 - j. Is g prime?
True
Suppose -5*o = 7893 + 742. Let n = -1020 - o. Is n a composite number?
True
Let b = 41755 + 11356. Is b composite?
True
Suppose -14*f = -39 - 2117. Is (-2)/11 - ((-156646)/f - -8) composite?
False
Is (1277389/38)/(((-1)/1)/2 - -1) a prime number?
True
Suppose 0 = t - s - 38800, 0 = -5*t - 10*s + 5*s + 193970. Is t a composite number?
True
Suppose -7*k + 4 + 10 = 0. Is 3/((-21)/(-41587)) - k prime?
True
Let u(n) = 1765*n + 830. Is u(9) composite?
True
Let y(j) = -339*j - 9. Let g be y(-25). Suppose -15743 = -5*h - 2*q, 3*h - 985 = 4*q + g. Is h composite?
True
Suppose 0 = 10*d - 9 - 11. Suppose -5*g - 687 = -d*b + b, 4*b - g = 2672. Is b composite?
True
Let f(a) = 2*a**2 + 2*a - 8. Let r be f(2). Suppose -2*n - 17949 = -3*d - 0*n, -r*d + 23939 = -5*n. Is d composite?
False
Let z(c) = 96630*c + 671. Is z(2) composite?
True
Let a be (5 - -4 - 5)*-985. Let d = 8029 - a. Is d a prime number?
True
Suppose 5*n + 11 = -9, -4*l = -4*n - 119124. Suppose l = 15*v - 19933. Is v prime?
False
Suppose 109221 = -5*g - 2*v + 731032, g = 2*v + 124355. Is g a prime number?
False
Let k = -6 - -15. Let b(q) = 7 - 18 + 58*q + 10. Is b(k) a prime number?
True
Let u(b) = 30*b**2 - 74*b - 273. Is u(-45) composite?
True
Suppose 2*a - 2*b = 58, -2*a + 4*b = -5*a + 52. Suppose 22*f + 14794 = a*f. Is f a composite number?
True
Let k be (8/10)/((-15)/(-1125)). Suppose k*n - 13*n = 15557. Is n composite?
False
Let o(m) = -3*m + 60. Let t be o(20). Suppose 5*i - x + 2*x - 6809 = 0, -i + x + 1357 = t. Is i composite?
False
Let o(z) = 4896*z - 3703. Is o(95) prime?
False
Let u = -38 + 42. Suppose 1186 = 2*x - 2*o, -3*x - 2*x + 2970 = -u*o. Suppose 0 = 4*i - 4662 - x. Is i a composite number?
True
Let b(k) = -k**2 + 2*k - 2. Suppose 0*r = 3*r - 12, 0 = -5*i - 3*r + 12. Let a be b(i). Is (a + 1149/15)*5 prime?
True
Suppose -2*d - 111 = -113. Suppose 2*p + 81812 = 3*f + 3*p, 0 = p + d. Is f a composite number?
False
Suppose -2*j = -4*t + 136, -10 + 12 = -j. Is 27114/66 + 1/(t/6) a prime number?
False
Let s be 1/(-4) + (-46865)/(-52). Let c = s + -289. Suppose -c - 399 = -3*n. Is n prime?
True
Suppose -4*o + 3324107 = 49*o. Is o a prime number?
False
Let a(y) = -y**3 + 17*y**2 + 16*y + 36. Let q be a(18). Suppose 0 = -b + 2*c + 4057 + 6418, -3*b + 5*c + 31423 = q. Is b prime?
False
Suppose 795310 = 15*h - 9*h + 4*h. Is h a composite number?
False
Suppose 3*w - 5*w + 36 = -4*z, 2*w = 5*z + 37. Let l(d) = 504*d - 103. Is l(w) a composite number?
True
Let p = 31572 - -2477. Is p a composite number?
True
Suppose 2*z + 2*r = 468094, 3684*r = -5*z + 3681*r + 1170247. Is z composite?
True
Let k(g) = 7*g**2 - 72*g + 1228. Is k(77) composite?
True
Let c(v) = -4766*v**3 + v + 2. Let x be c(-1). Suppose 4*o - 7229 - x = 0. Is o prime?
True
Suppose 99*l = 102*l - 559173. Is l a prime number?
True
Let k = 104158 - -375051. Is k a composite number?
False
Let c = 668066 + -395655. Is c a prime number?
True
Let m(t) = 14*t**2 + 15*t - 237. Is m(-44) composite?
True
Let q be ((-34)/((-12)/(-6)))/(2/(-3352)). Suppose -q = -5*l + 98508. Is 64/(-28) - -2 - l/(-14) a composite number?
True
Suppose -137 = 4*w + 27. Let f = -38 - w. Is 470/(-5)*-47 + f prime?
True
Let d = -1149 + 2256. Let v = d - 550. Is v composite?
False
Suppose 104 = -7*f + 3*f. Let r be 4/8*f + -3. Is (-4)/r + -6243*(-3)/12 prime?
False
Suppose 2*t - 4*f - 220194 = 0, 19*t + f = 14*t + 550430. Is t prime?
False
Suppose 0 = -3*l + 4*l + 4663. Let d = l - -6564. Is d a composite number?
False
Let o = 18783 - 8121. Let x = -3883 + o. Is x a composite number?
False
Suppose 2*o + r - 8 = 0, 6*o + 10 = 5*o + 3*r. Suppose 3*v - 14694 = -2*x - 2*v, -x + 7349 = o*v. Is x composite?
True
Let c be 357804/(-216)*(-1)/((-1)/(-2)). Suppose 0*s + c = 3*s + p, -3*p = 5*s - 5527. Is s composite?
False
Let o(p) be the first derivative of -9*p**2/2 + 586*p - 30. Let x(l) = -1. Let h(d) = o(d) + 3*x(d). Is h(0) prime?
False
Suppose -3*k - 7 = -u, -2*k - 15 = -3*u + k. Suppose -u*c - 3*s + 3546 = -106, 1826 = 2*c - 5*s. Is c a composite number?
True
Let u(k) = 4*k**2 + 3*k - 425. Is u(-46) a composite number?
False
Suppose 5*x + 4*n + 2 = 16, 4*n - 8 = -4*x. Suppose -x*o = o - 22827. Is o composite?
True
Suppose -3757 = -5*r + 2*c, -4*r + 3*r - 5*c = -773. Suppose -3*p = -3*j + r, -p - 2*p + 9 = 0. Let w = j + 509. Is w prime?
False
Let v = -49 - -53. Suppose -v*a - 6 - 10 = 0, u + 13 = -5*a. Suppose u*m - 13605 = 2*m. Is m composite?
True
Suppose 16*l - 6314145 + 1571665 = 0. Is l prime?
False
Suppose -156*r + 72965020 = 184*r. Is r a prime number?
True
Let p be 32/144 + (1 - 34/(-9)). Suppose -31 = -p*g - 1. Suppose -b + 681 = -4*a, g*a - 3 = 3*a. Is b a prime number?
False
Suppose -14*q + 1305 = q. Is 1461*2/(18/q) prime?
False
Suppose -4*y + 77 = -27. Suppose -5*b + y = -6*b. Let g = -20 - b. Is g a composite number?
True
Suppose 6416 = 3*a + 725. Let u be (a/4)/((-2 + 0)/(-8)). Suppose -6*z + 617 + u = 0. Is z a prime number?
True
Let n = 416381 + -291442. Is n prime?
False
Let c = -37 - -44. Let d(t) = -t**2 + 8*t - 23. Let m be d(c). Is (-6 - m/4)*(-371)/2 prime?
False
Is (99/12 - 7) + (-3)/(-4) + 30015 composite?
True
Suppose -41002644 - 16733618 - 30001384 = -102*u. Is u a composite number?
True
Let y(r) be the second derivative of 9*r**5/10 - 7*r**4/4 + 29*r**3/3 + 13*r**2/2 - 176*r. Is y(10) a composite number?
False
Suppose -458*m = -450*m - 418216. Is m composite?
True
Suppose 4*i + 4*d + 8 = 0, -2*i - 3*d - 6 = -i. Let w(s) = s**3 - s + 65. Let n be w(i). Suppose -n*l + 4107 = -62*l. Is l composite?
True
Suppose -7*h = -28*h + 1218. Suppose 0 = 57*l - h*l + 1831. Is l composite?
False
Suppose 0 = 36*i - 458576 - 3240892. Is i a prime number?
True
Let d(c) = -2395*c + 3582. Is d(-13) a composite number?
True
Let x(r) = 534*r**3 - 12*r**2 + 21*r - 40. Is x(7) a prime number?
True
Let q(m) = 11*m**3 + 38*m**2 - 98*m - 79. Let p(n) = 5*n**3 + 20*n**2 - 49*n - 39. Let a(c) = 9*p(c) - 4*q(c). Is a(-28) composite?
True
Let m(l) = 64*l + 259. Let r be m(-4). Suppose r*i - 60979 = 2*z, 0 = 6*i - 4*i - z - 40651. Is i prime?
True
Suppose -4*a = h - 7*a - 15579, 2*a = -2*h + 31190. Is h composite?
True
L