a composite number?
True
Let c(j) = -1435*j**3 - j**2 - 2*j + 5. Is c(-3) a composite number?
False
Let o = 426469 + -187508. Is o a composite number?
True
Suppose 27*l = 15*l + 48. Is l/(-8) + (-14301)/(-18) a composite number?
True
Is ((-929428)/(-18))/((-41)/((-3690)/20)) a prime number?
True
Let m = 304176 - -115237. Is m a composite number?
True
Let h(o) = 218*o**2 + 163*o - 1136. Is h(7) prime?
True
Suppose -1926711 + 778414 = -31*w + 1527716. Is w composite?
False
Suppose 0 = -2*u - 5*v + 13, 6*u = u - 5*v + 25. Suppose u*i + 447 = -3*w + 1853, -i + 347 = 3*w. Is i a prime number?
True
Let k be (-2)/(-20) + ((-790)/(-100) - -2). Is 9424/40 + (-6)/k prime?
False
Suppose 29*j = 35*j + 534. Let k = -60 - j. Is 2*k*92/8 prime?
False
Let o(t) be the first derivative of t**4/4 - 7*t**3/3 - 21*t**2/2 - t + 8. Let m be o(13). Suppose j = 3*b + 169, -5*j + 5*b + 65 = -m. Is j composite?
False
Suppose 0 = -5*x - 2*g - 5258, 4*x + 4*g - 3134 = 7*x. Let r = -10 + 6. Is (-4 + x/r)*2 composite?
True
Let h be (-2)/(-3) - (-4)/12. Is -15969*(2/6)/(h - 2) composite?
False
Let p(d) = -80*d**2 + 14*d - 13. Let g(t) be the second derivative of -20*t**4 + 41*t**3/6 - 20*t**2 - 9*t. Let o(v) = -6*g(v) + 17*p(v). Is o(10) composite?
True
Let m(x) = 87*x**3 - 7*x**2 + 10*x + 1. Let b(a) = -a**3 - 17*a**2 + 38*a + 3. Let f be b(-19). Is m(f) a composite number?
True
Let l = -1989 - -11098. Let k = -5463 + l. Is k prime?
False
Let v(d) = 6*d - 31. Let q be v(7). Suppose 0 = -q*p - 62 + 348. Suppose 109 + p = 15*o. Is o a composite number?
True
Let g = -37424 - -94171. Is g prime?
True
Let v(s) = 53*s**2 - s + 7. Let m be (3 + -1)/(25/10 - 2). Suppose -3*d - 5 = m*a, -5*a + 0*a + 8 = -d. Is v(d) a composite number?
False
Suppose -2222 = -3*k + 7483. Let f = 733 + -716. Suppose k = 22*b - f*b. Is b prime?
True
Suppose 4*y = -4*m + 36, 4*y - m = -4*m + 40. Suppose 3*n - y*t + 17*t - 7363 = 0, 0 = 5*n - 3*t - 12262. Is n composite?
True
Let s(r) = -r**3 + 15*r**2 + 10*r + 12. Let u be s(16). Let g be (-12)/u - 44/14. Is g + 1158 + -1 + -3 composite?
False
Suppose -3*v = -3*t + v - 10, -4*v + 18 = t. Suppose -t*i + 0*i = 0. Suppose i*u - u + 127 = 0. Is u a composite number?
False
Let u = 129358 - -115479. Is u prime?
True
Suppose -89*u - 95*u + 17957974 = -27*u. Is u composite?
True
Let j be ((-6)/(-4))/(123/328). Suppose 4*s + 374 = -j*u + 27594, 2*s + u = 13608. Is s prime?
True
Suppose a + 4*h = -4, -42*a + 40*a - 2*h - 2 = 0. Suppose a = b - q - 3717, 3*b - 37*q = -41*q + 11186. Is b prime?
False
Let l(f) = 6918*f**3 - 18*f**2 + 91*f + 48. Is l(5) prime?
True
Suppose -46*y = -17*y - 3277. Is 0 + -4 - y*-37 composite?
False
Let p = -92733 + 947962. Is p a prime number?
True
Suppose -3*m + 18 + 3 = 0. Suppose 0 = m*p + 5*p - 93684. Is p prime?
False
Let o(r) = 17006*r - 9027. Is o(26) composite?
True
Suppose 5506 = -28*z - 5358. Let b = 147 - z. Is b a prime number?
False
Let s be 264/48 - (-3)/(-2). Suppose 4*z = 3*c + 15, 3*c + 2*z + 9 = s*z. Let f(k) = -4963*k - 6. Is f(c) a composite number?
False
Suppose -2*v = -2*p, p + 12 = -2*p. Let k be v*(-12)/8 - 3. Is (k - (-7)/(-2))*(-423 - -1) a prime number?
True
Let c(i) = 57*i**2 - 340*i - 17. Let a be c(6). Let m(t) = 0 - 1 - 2 + 25*t**2 - 5*t. Is m(a) a prime number?
True
Let z = 646838 + -345811. Is z a composite number?
False
Let h = -883 - -864. Let s(c) = 18*c**2 + 29*c + 174. Is s(h) a composite number?
False
Suppose -86*h = -88*h + 37120. Is h - ((-48)/(-8) - 9) composite?
True
Let c(f) = -f**3 - 8*f**2 - f + 4. Let h be c(-8). Suppose -h*k = -14*k. Suppose 4*l + m - 4194 = -m, k = 5*l - 2*m - 5229. Is l a composite number?
True
Suppose 16*x - 56*x = -440. Suppose x*b - 28904 - 9453 = 0. Is b a prime number?
False
Let m(h) = 2033*h**2 + 4*h - 46. Is m(3) prime?
False
Let o = -306 + -22. Let m(j) = -2*j**2 + 3*j + 10. Let z be m(-15). Let n = o - z. Is n composite?
False
Let n(u) = 921*u**2 + 36*u - 236. Is n(7) a composite number?
True
Let i(r) = -1157*r - 44. Let a be i(-7). Let h = a - 4264. Is h composite?
True
Let x(u) = -6887*u - 907. Is x(-30) prime?
True
Let d(l) = -3*l**2 + 78*l - 57. Let r be d(25). Suppose -29*p + r*p = -46145. Is p a prime number?
False
Let s(v) be the second derivative of v**3/6 - 4*v. Let t be s(3). Suppose -442 = -t*w - 5*q, 2 = -5*q - 3. Is w prime?
True
Suppose 15*i - 18*i = -2*w + 36394, -w - 3*i + 18179 = 0. Is w a prime number?
True
Let g be ((-8)/5)/(18/(-45)). Suppose 2*d + 3*z = 7500, -g*d - 2*z - 1429 + 16421 = 0. Is d a prime number?
False
Let t = 25186 + -4505. Is t a prime number?
True
Let c = 50 + 0. Let z = c - 41. Is 38*z/12*2 a prime number?
False
Let i = 49 - 41. Let l be 2/((-2)/i*1). Let k(a) = -a**3 - 9*a**2 - 8*a + 7. Is k(l) composite?
False
Suppose -8*h - 3069 = -9*h. Let u = h + 6586. Is u a prime number?
False
Let a be 2568 - ((0 - 0)*1)/1. Suppose -347 - a = -5*w + 5*b, 5*w - 3*b - 2923 = 0. Is w prime?
True
Let f(c) = -36*c - 301. Let k(q) = -7*q - 60. Let p(b) = -2*f(b) + 11*k(b). Let n be p(-22). Let t = 71 - n. Is t a composite number?
False
Let i = 67318 - 42771. Is i composite?
False
Let k = 700475 - 347644. Is k composite?
False
Suppose -2*o = -5*g + 809835, -5*o - 127401 = -g + 34543. Is g a prime number?
True
Let d(l) = 4*l + 33. Let b be d(-7). Suppose -876 = -p + 2*o, -4*p - b*o + 3178 + 339 = 0. Is p prime?
False
Let u be 0*(-6)/(-18) + 1*3. Is u/(2 - 39006/19506) a prime number?
False
Suppose -2*g + 0*s + 11 = -s, -21 = -3*g + 3*s. Suppose -4*k - 1981 = p - 104, -4*k = g*p + 7532. Let u = 2778 + p. Is u a composite number?
True
Let w(m) = 13160*m**2 + 380*m + 21. Is w(-5) a prime number?
False
Let h(m) = -m + 21. Let l be h(5). Suppose -c = -18*u + l*u + 7479, -u = -5*c - 3744. Is u composite?
False
Suppose -w = 5, 4*l - 2*l = -4*w - 4. Let d be (-4 - (-45)/10)*l. Suppose -5*a = -d*h - 5831, 4*a = a - h + 3485. Is a composite?
False
Let r = -462064 + 902265. Is r composite?
True
Let r(u) = u**2 + 5*u + 1. Let y be r(-7). Let k = 15 - y. Suppose -2*g - 8 = 0, g + 1762 = 2*o - k*o. Is o prime?
False
Suppose 4*q = -5*z - 17, -2*q + 0*q = -z + 5. Let d(b) = -940*b + 25. Is d(q) composite?
True
Suppose 3*m + 15 = -0*l + l, -2*l = 4*m + 20. Let u be 6 - (-2 + 0 + 0). Suppose u*o - 8936 + 3328 = l. Is o a prime number?
True
Suppose -4*r + 5*k + 8 - 1 = 0, -3*k = 4*r - 15. Let u(v) = -166*v - 5. Let q be u(r). Let l = 790 + q. Is l composite?
True
Let u be 12/(-138) - (-213)/69. Suppose 0 = -5*a - w + 34735, u*w = -14*a + 15*a - 6947. Is a composite?
False
Let i(q) = q**3 - 17*q**2 - 18*q + 27. Let a be i(18). Let r be 60*(a/4 + -1). Suppose 0 = 5*j - r - 70. Is j composite?
False
Let j = -834681 - -1234648. Is j prime?
False
Let s(k) = 20*k**3 - k - 15. Let t be (-3 - (0 - -5))*1/(-2). Is s(t) a prime number?
False
Let s = -280 - -742. Is (32 - 1)/(42/s) prime?
False
Is (75751 - -1) + (-509 - -500) a composite number?
False
Let r(l) = 2*l + 10*l**2 - 15*l**2 + 6*l**2. Let f be r(-3). Suppose n - 6*p + 4*p = 43, 0 = -f*n - 2*p + 105. Is n composite?
False
Let y(j) = 24*j + 67. Let l be y(-3). Let c(k) be the first derivative of -394*k**2 + 3*k - 8. Is c(l) prime?
True
Let z(r) = -16 - r - 20 + 7 + 3*r. Let v be z(18). Suppose -3*l + v*l - 7468 = 0. Is l a composite number?
False
Suppose 5832834 = 173*t - 131*t. Is t prime?
False
Suppose 4*c - 3*h - 63239 = 0, -h + 15774 = c - 34. Is c a prime number?
True
Let z = 233002 + -131099. Is z prime?
False
Let r(f) = -f**3 + 17*f**2 - 3*f - 36. Let u be r(25). Let h = -3565 - u. Is h a composite number?
True
Let y = -8054 + 3346. Let z be (-22)/(-55) + y/(-5). Suppose z + 1109 = 7*k. Is k a prime number?
True
Suppose 157*m - 8610840 = 4332545 + 7255764. Is m composite?
False
Suppose -132617 + 16004 = -9*v. Is 9 - 9 - 4/((-12)/v) a composite number?
True
Let v(y) be the third derivative of 11*y**5/60 - 7*y**4/24 - 19*y**3/6 + y**2 - 7. Suppose 26 = -5*b + d, 4*d - 2 = b - 12. Is v(b) a prime number?
True
Let a be (-12)/(-30) - 460/25. Let d(w) = -154*w - 209. Is d(a) prime?
False
Suppose -f - 3 = 0, -r - 3*f - 2204 = 639. Let h = 3605 - r. Is h a prime number?
False
Let b be (-7 + (11 - 6))*(-3)/(-1). Is b/((-24)/(-20)) - (-2 + -1864) composite?
False
Let u = 30948 - -3365. Is u prime?
True
Suppose 