g prime?
False
Suppose -28*b + 2450076 = -3686936. Is b a composite number?
True
Suppose m - 2 = -f, -3*f + 3 + 7 = 5*m. Suppose -2455 = -7*a + m*a. Is a a composite number?
False
Let t = 243 + -258. Is ((-2270)/t - -4)/((-2)/(-177)) a composite number?
True
Let t(f) = -175*f + 2. Let q(b) = -4*b - 43. Let z be q(11). Let v = 82 + z. Is t(v) a prime number?
True
Let z be (4 + 0)*20*584/128. Let p(t) = -5*t**3 + 4*t**2 + 8*t - 10. Let b be p(4). Let o = z + b. Is o prime?
True
Let l = 19162 - 11179. Suppose -11*w = -2*w - l. Is w composite?
False
Let n(d) = -d - 3. Let o be n(-5). Suppose 3*k = 2*c + 34301, -2*k - 3*c + 22899 = o*c. Is k composite?
False
Let x be 424/(-159)*(-1 + (-40354)/8). Let q = x + -977. Is q composite?
True
Suppose 0 = 3*y - y - s + 14057, -4*y = 3*s + 28139. Let t = 12240 + y. Is t a composite number?
False
Let r(q) = q**2 + 3*q - 7. Let j be r(-5). Suppose 4*h + 5 = 3*l, -4*h - 49*l = -51*l + 6. Is j - (2 - h)/((-7)/4669) a composite number?
False
Let n = 7185 + 832184. Is n prime?
True
Let h = -197863 - -552396. Is h a composite number?
False
Let l(a) = 5*a**2 - 4*a + 3. Let w be l(2). Suppose 74*m = 86*m - 42060. Suppose -m = 10*i - w*i. Is i composite?
False
Let j = 3 + -1. Let u(z) = 94*z**3 - z + 1. Is u(j) a prime number?
True
Suppose -3*h + j = 5, -6*h = -3*h + 3*j - 15. Suppose -u + 7*u - 666 = h. Suppose 0 = -0*z + z - 2*t - u, 234 = 2*z + 2*t. Is z prime?
False
Let n(z) = 38*z**2 + 5*z + 66. Let p be n(15). Is p/(-2)*(-16)/24 composite?
False
Let j = -214 - -212. Is ((-2479)/(-111))/(j/(-6)) a composite number?
False
Let i(z) = -2*z**2 + 3*z + 3. Let j be i(2). Let n be (12/15)/(9/(-15) + j). Is (8/24)/(n/1986) prime?
True
Let o(w) = -9*w - 12. Let h be o(5). Let f = h - -61. Suppose -f*v - 2*j = -3158, 0*v + 3*v - 2351 = 2*j. Is v composite?
False
Let c(x) = -97469*x + 1636. Is c(-9) a composite number?
True
Suppose 3*c = -5*n + 30, -5*n - 2*c + 30 = -0*c. Suppose -n*q + q + 120 = 0. Suppose q*o - 165 = 21*o. Is o prime?
False
Let w(h) = 13*h**2 - 75*h - 63. Is w(-50) prime?
True
Suppose 52367 = 2*i + w, 0*i + 3*i = w + 78548. Suppose -18*f = -i - 17899. Is f composite?
True
Let y be (-4 + 3)*(-238 + (-1)/1). Let j = y + -355. Let m = 271 + j. Is m a composite number?
True
Is 7 + (55958 + -7 - 9) composite?
False
Suppose 0 = 5*d - 4*d + 73. Let s(z) = 3*z + 198. Let k be s(26). Let q = d + k. Is q composite?
True
Suppose -463*m + 1147642239 = -102292470. Is m a prime number?
False
Let u = 367183 - 226860. Is u prime?
False
Let q(b) be the first derivative of -377*b**2 - 17*b - 27. Let u be q(-8). Suppose 2*m - 4*s = -0*s + 2382, -5*m - 2*s = -u. Is m prime?
True
Suppose -97*z - 3736336 = -60*z - 53*z. Is z a composite number?
True
Let u(b) = 5 + 96 - 25 - 662*b + 68 - 69*b. Is u(-7) a composite number?
False
Is 2226/(-795) + (-169999)/(-5) prime?
True
Let b(j) = -j**3 - 12*j**2 + 18*j + 39. Let f be b(-13). Is (39/f)/(3/(-1266)) prime?
False
Suppose 6*r + 3 = 9. Suppose -z = -r, 2*h + 2*z + 11045 = -z. Is (h/(1 - -3))/(-1) a prime number?
True
Suppose 6*k - 237162 = -41712 + 259452. Is k a composite number?
True
Suppose -2*n = 3*n - 20, -3*n = q + 2. Let w(b) = -2*b**3 - 21*b**2 - 33*b - 11. Is w(q) a composite number?
False
Suppose 0 = -4*l + 21 + 7. Suppose -l*i = -9*i - 1520. Let k = 1479 + i. Is k composite?
False
Let p = 3 + 2. Let k be (20/(-12))/p*-18. Suppose k*z - 9*z = -1011. Is z composite?
False
Suppose -3*n + 2*f = -190051, 4*f - 190021 = -25*n + 22*n. Is n prime?
True
Let k be (34/6)/1*3. Suppose 2*d = -k + 23. Suppose q = d*q - 662. Is q prime?
True
Let p = 1422720 - 506429. Is p prime?
True
Let l = -2250958 + 3438729. Is l prime?
False
Let k(m) = -290*m + 307. Let a = -325 - -293. Is k(a) prime?
True
Let j(s) = 4579*s - 509. Is j(10) a prime number?
True
Suppose -41*j + 44*j = 21. Suppose -5*i + x = -39200, -j*x + 15702 = 2*i - 3*x. Is i composite?
False
Is (4 - (-231)/(-56)) + (-1)/(-8) + 383519 a composite number?
False
Let s(m) = m**3 - 17*m**2 - 6*m - 1. Let v(q) = -4*q + 3. Let y be v(-12). Let i = 71 - y. Is s(i) prime?
False
Suppose -3673891 - 9198474 = -8*s - 4463397. Is s prime?
False
Let r(w) = -1310*w + 139. Let q be (-1)/(6 - 7)*-12. Is r(q) a prime number?
True
Suppose 0 = -k - 2*l - 40 + 52, -4*k - 2*l = -30. Suppose k*c = 12896 - 4430. Is c composite?
True
Let q = 24 + -27. Let n be 1522 - (q + 9/3). Suppose 17*h + n = 19*h. Is h composite?
False
Let k(d) = -6*d**2 + 12*d. Let c(n) = -7*n**2 + 13*n + 1. Let v(w) = -5*c(w) + 6*k(w). Let i be v(9). Is (-2)/(0 + 1) - 2967/i prime?
True
Let i be 12/54*3*(-30)/(-4). Suppose f - 201 = -2*f + z, -i*z = 4*f - 287. Is 1477/17 + ((-16)/f)/(-2) a composite number?
True
Let c(h) = 550*h - 89. Let y(p) = 1102*p - 179. Let n(q) = -13*c(q) + 6*y(q). Is n(-5) a prime number?
False
Let u(k) = 14 - 43 + 70*k + 5. Let t be u(-8). Let g = -253 - t. Is g composite?
False
Suppose -g - 5*n - 14 = -4, -8 = g + 3*n. Is (3/6)/(g/(-12490)*1) a prime number?
True
Let y = -574252 + 1285703. Is y a composite number?
True
Is 30/(-165) - (-4)/44*147171 prime?
False
Let a(x) be the second derivative of -247*x**3/2 - 5*x**2/2 - 3*x + 52. Is a(-2) composite?
True
Let i = -1904 + 2717. Let u = i + 244. Is u a prime number?
False
Let g(b) be the first derivative of b**4/2 + 71*b**3/3 - 18*b**2 - 11*b + 29. Is g(-35) a composite number?
True
Suppose 333*q - 38*q - 105423850 = -55*q. Is q prime?
True
Suppose -223*q + 5491090 = -113*q. Is q composite?
False
Let f = 75145 - 53118. Is f a composite number?
False
Let x(r) = -r**2 - 6*r. Let b be x(-2). Suppose -b*k = -1 - 7. Let v(g) = 284*g + 9. Is v(k) a composite number?
False
Let o(t) be the first derivative of 5*t**2/2 - 60*t + 42. Let s be o(12). Suppose -44*w + 49*w - 7815 = s. Is w a composite number?
True
Let p(c) = -70*c + 22. Let t(y) = 71*y - 23. Let i(l) = 6*p(l) + 5*t(l). Let v be i(-7). Suppose -z - 3*z + v = 0. Is z composite?
True
Let z = -10451 + 48078. Is z prime?
False
Suppose 0 = -71*b + 285713 + 6991574. Is b composite?
False
Let j = -4881 + 3035. Let y = j + 27239. Is y prime?
False
Let x(g) = 19*g - 2. Suppose 7*t = -0*t - 14. Let l(k) = -19*k + 3. Let p(u) = t*l(u) - 3*x(u). Is p(-7) prime?
False
Suppose -2*f - f = 5*p + 1, p = -5. Let j(m) = 2*m**2 + 6 - f*m + m + 13*m**2 - 1. Is j(-6) prime?
True
Let h(x) = -11*x + 7. Let t be h(0). Is 26875/t - ((-57)/21 - -3) composite?
True
Let y = -83016 + 143849. Is y a composite number?
True
Suppose -4*h = -3*b - 0*b - 42776, 42776 = 4*h + 2*b. Suppose -h + 1136 = 9*c. Is (-1 - 0)*(-7 + c) + 4 prime?
False
Let t(z) = 2832*z + 635. Is t(23) a prime number?
False
Is 13/(-273) + (-14420010)/(-63) a prime number?
False
Suppose 36*v - 72 = 42*v. Let z be (4 - (-28)/v)*42. Suppose 3682 = -z*b + 72*b. Is b a composite number?
True
Let q be (-3)/(-15) + (-138)/15. Let z be (-9)/2*6/q - -1. Suppose 3*c + 2*c + 25381 = z*u, 2*u + 2*c - 12704 = 0. Is u composite?
True
Let h(j) = 7*j - 44. Let n be h(9). Suppose 20 = -4*u + 5*c, n - 7 = -3*u + 3*c. Suppose u = 5*p, -5*v = -p - 2*p - 155. Is v a composite number?
False
Let c be 279292/65*10/4. Let f = c - 6255. Is f prime?
False
Suppose -14*i - 552 = -4302 - 4510. Let l be ((-726)/(-8))/(2/24). Let v = l - i. Is v a composite number?
False
Let c be -1966 - (-2 + (-14)/7). Let y = 647 - c. Is y a composite number?
False
Let d be -3 + (-1 + 3)/(1/11). Suppose d = 9*g + 1. Is -2 + g/(0 + 4/786) prime?
False
Let s(v) = 18*v - 9*v**2 + 27*v**3 - 18 + 26 - 13 - 8*v**3 + 10*v**3. Is s(4) a prime number?
False
Is 2/27 + 7909/(-54)*-4538 composite?
True
Suppose 0 = -5*t + 5*v + 107025, -4*t + 89383 = -2*v + 3767. Is t composite?
True
Suppose 0*n - 2480 = 3*n - 4*r, -4105 = 5*n - r. Let x = n - -1185. Is x a prime number?
False
Let a(d) = 177*d**2 - 18*d - 5. Let l be a(-5). Let t = -873 + l. Is t a prime number?
True
Let k(w) = 44066*w + 367. Is k(5) a composite number?
True
Let y = -114 - -96. Let j(w) = -3*w - 8. Let v be j(y). Suppose r - 161 = -3*i, 2*i = -r + 62 + v. Is i a composite number?
False
Let b be ((-108)/4)/(6/5706*-1). Let x = -11680 + b. Is x prime?
True
Let n(y) = 8*y**2 - 11*y - 6. Suppose 0 = 4*z, z + 3*z - 4 = l. Is n(l) composite?
True
Let a(i) = 2687*i - 11017. Is a(30) prime?
True
Is ((-78)/78)/((