mposite?
True
Suppose -2*m + 2796 = 2*b, -259*b + 261*b - 5*m = 2789. Is b a composite number?
True
Let j(z) = 11*z + 276. Let r be j(-11). Suppose 0 = -156*l + r*l + 2371. Is l a prime number?
True
Suppose 3*z - 4*o - 130018 = 390253, 173445 = z + 4*o. Is z composite?
False
Let n = 5179 + 10024. Is n composite?
True
Let v(g) = -80*g**2 + g - 15. Let i(x) = 119*x**2 - x + 22. Let b(t) = 5*i(t) + 7*v(t). Is b(-4) a composite number?
False
Is (252/210)/(12/2)*8122655 composite?
True
Suppose -11*q = -3*i - 6*q + 299827, 3*q = -5*i + 499757. Is i a composite number?
True
Let t = 30183 + -7390. Is t prime?
False
Let z(y) = 81*y + 141. Let t be z(-12). Let u = 1500 + t. Is u a prime number?
False
Is (159950/5)/2 - (-14 - -18) a composite number?
False
Let t(z) = -12103*z - 505. Is t(-6) a composite number?
True
Let a be 6*(20/(-15))/(-2). Suppose -z - 1589 = -n - 0*z, z = a*n - 6344. Suppose -2*k = -7*k + n. Is k prime?
True
Let t(f) = -11*f + 691. Let l be t(62). Suppose -4 + 23 = k. Suppose -l = -22*h + k*h. Is h composite?
False
Let s(l) = -l + 2. Let t be s(-3). Suppose u + 875 = g, -5*g + u = t*u - 4393. Is g a prime number?
True
Let b(c) = 12*c**2 + 3*c + 13. Let i(u) = 325*u**2 + 80*u + 350. Let s(y) = -55*b(y) + 2*i(y). Let n(w) be the first derivative of s(w). Is n(-6) prime?
False
Let u = -77015 + 671872. Is u prime?
True
Let f = 13 - 15. Let y be -3 + 8 - (f/2 + 4). Suppose y*u - 5*c - 449 - 539 = 0, -1998 = -4*u - c. Is u a composite number?
False
Is -87*((-3 - 3) + (-2578180)/132) a prime number?
False
Let t(k) = -476*k - 23. Let q be t(-17). Let n = -4612 + q. Is n a prime number?
True
Let c(b) = -11*b**3 + 15*b**2 - 10*b - 40. Let s be c(-7). Let n = s - 3135. Is n composite?
True
Suppose 342*b = 340*b. Suppose b = -7*s - 39*s + 176318. Is s a prime number?
True
Is (-1567794)/(-4) + -8*(-10)/160 a composite number?
True
Is (3/3 - 1)/2 - (-32110 + 3) a prime number?
False
Suppose 25*t - 7*t = -42*t + 4555860. Is t composite?
False
Let b(l) = 28*l**3 + 14*l**2 + 42*l - 23. Let a(h) = -10*h**3 - 5*h**2 - 14*h + 8. Let y(n) = -11*a(n) - 4*b(n). Is y(-15) a prime number?
False
Let q be (-30)/(-5) + -3 - 0. Suppose -x - 7542 = -q*k + x, 2*k + 4*x = 5044. Suppose -4*d + 4308 + k = 0. Is d a prime number?
False
Let j be (6 + -3)*4*5518/12. Suppose 0 = 5*y - 3*y - j. Is y a composite number?
True
Suppose -3*s + 2*m = -1181223, 0 = 3*s - 523*m + 518*m - 1181214. Is s a prime number?
False
Let q(k) = -1190*k**2 - 2*k + 1. Let o be q(1). Let z = o + 2840. Is z a composite number?
True
Suppose 80 = -6*v + 2*v. Let h be ((-3690)/(-75))/(6/v). Is (-1)/8*22*h a prime number?
False
Let r = -75 + 111. Suppose -5*d + r + 14 = 0. Is ((-15)/d)/((6/212)/(-3)) composite?
True
Let z = 4041 - -14170. Is z prime?
True
Is -5 - 20772/(-18)*(75 - -2) a composite number?
False
Suppose -4*l - 104 = -4*y, -5*l + 3*l - 30 = -y. Is -3*((-139132)/(-18))/(y/(-33)) composite?
True
Let q(g) = -g**3 + 8*g**2 + 7*g + 20. Let y be q(9). Let f be y/(-3) - (-35500)/60. Suppose 373 = 3*u - x - 3*x, -5*u = x - f. Is u composite?
True
Let o(d) be the second derivative of -d**5/20 - 2*d**4/3 + 8*d**3/3 + 27*d**2/2 - 125*d. Let r = -33 - -19. Is o(r) composite?
True
Let z = -184 + 1167. Is z prime?
True
Suppose 3*p + 4*r = -2537, -42*p + 4*r + 3380 = -46*p. Let k = p + 1586. Is k composite?
False
Suppose 2*t + 32 + 60 = 0. Let g = 45 + t. Is (-3 - g)/(4/(-1774)) a composite number?
False
Let x(z) = 7239*z - 2. Suppose 13*c - 43 = -30*c. Is x(c) composite?
False
Suppose 3*m - 61541 = 86*s - 82*s, -m = 3*s - 20544. Is m a prime number?
False
Let k(h) = 4*h**2 - 21*h + 9. Suppose 6*j = 5*j + 2. Suppose -w + 8 + 16 = j*o, 5*w - 22 = -3*o. Is k(o) prime?
True
Let z be 17*-1 - (4 + (-6 - -1)). Is (-5 + 10306 - 2) + z/8 prime?
False
Suppose 60072*y - 60059*y - 512317 = 0. Is y prime?
True
Let y(k) = -k**3 - 19*k**2 + 10*k - 25. Let r be y(-23). Suppose -5*t + 3158 = 3*p, -3*t + r = -p - 31. Is t a composite number?
False
Let u be 1*(-27059 + -6 + 1 + 1). Let w = -14452 - u. Is w a prime number?
True
Suppose -7*m + 37000 = 3*m. Suppose 3*z - 695 - m = 0. Is z a prime number?
False
Let a(d) = -3*d**3 + 2*d**2 + 5*d + 2. Let g be a(-5). Let m(u) = -195*u + 283. Let r be m(0). Let p = g - r. Is p prime?
False
Let g = 411 + -375. Suppose 5*w = -g*w + 48421. Is w composite?
False
Let l(q) = 3*q**2 - q**3 - 4*q + 10 - 6 + 7*q. Let n be l(4). Suppose n*d - 4*d = -9332. Is d a composite number?
False
Suppose -16 = -21*o + 13*o. Suppose 0*w + 41349 = 5*t + o*w, 3*t - 24803 = 2*w. Is t composite?
False
Suppose -423*h - 436*h + 150053657 = -248*h. Is h prime?
True
Let w(l) = 86*l**3 + 3*l**2 + 2*l + 2. Let i be w(3). Let f(q) = -2 + 2*q - 200*q**2 + i*q**2 + 980*q**2. Is f(1) composite?
False
Let h(k) = -k**3 + 14*k**2 - 15*k + 3. Let v(a) = -a**2 - 22*a + 11. Let j be v(-13). Let g = j - 116. Is h(g) composite?
True
Suppose -2*u - 5*s = -20136, -5*s + 78 - 88 = 0. Is u a prime number?
False
Suppose -2*i + 8285 = -3*o + 2449, -i + 2*o = -2917. Is i composite?
True
Let x be 4/((-16)/(-4))*596. Let z = 136 + x. Let s = -317 + z. Is s a prime number?
False
Suppose 76260602 + 4044969 + 23266419 = 230*z. Is z composite?
True
Let t be 8 + -7 - (2 - (-1190 - 0)). Let q = 280 - t. Is q composite?
False
Is (-8194467)/(-30) - -6*(-12)/(-720) composite?
False
Suppose q - 38697 = 4*z, 2*z + 49395 = 4*q - 105379. Is q composite?
False
Suppose n + 3*n - 3*l = -11, 3*l = 2*n + 13. Is -6 + 0 + 1181 - n a composite number?
True
Let w(q) = -8*q**2 - 10*q + 3. Let m be w(8). Let u = -92 - m. Is u composite?
True
Let q(k) = 60*k - 13. Let d(w) = -119*w + 25. Let v(m) = -3*d(m) - 5*q(m). Let x = -23 + 26. Is v(x) composite?
True
Suppose 3*c - 14 = 1. Suppose -216 = -p + 3*f, -c*p - 6*f + 1099 = -2*f. Suppose -2*v + 4*v + 2*r - 432 = 0, 0 = v - 2*r - p. Is v prime?
False
Suppose 100663 = 14*i - 76339. Is i a prime number?
False
Let l be -11*(-1)/(-2)*8. Let i = 44 + l. Suppose 4*o + i*o - 236 = 0. Is o a composite number?
False
Suppose -511 = 2*b - i + 1374, i + 2835 = -3*b. Let x = -80 + 1. Let y = x - b. Is y prime?
False
Let l = -3574 + 8126. Let z = -2843 + l. Is z composite?
False
Let k(z) = -z**3 - 2*z**2 - 16*z - 23. Let l(t) = t**3 - 12*t**2 + 10*t + 1. Let m = 36 + -25. Let q be l(m). Is k(q) a prime number?
True
Let n = 75 + -48. Let o be (-12)/8*2490/n*-12. Suppose -3*a = d - 334, 4*d - 5*a = 9*d - o. Is d composite?
False
Suppose 0 = -39*c + 31*c - 16. Is (-2 + (-1 - c))/(9/(-17541)) prime?
True
Let m be (-1 + 0)/((-4)/53860). Suppose w - q = -0*w + 2703, -5*w = 5*q - m. Suppose -6*l + 18004 = w. Is l a prime number?
True
Let i(f) = 5*f**2 - 13 + f - f**3 - 20*f**2 + 12*f**2. Let k be i(-4). Is (-1)/((-2)/(-10522)*k) a prime number?
True
Let o(n) = -n**3 + 38*n**2 - 110. Let x be o(32). Suppose 25*i = x + 3241. Is i a prime number?
False
Let k(u) = u**2 + 26*u + 57. Let r be k(-24). Suppose -1867 = -r*w + 11462. Is w a prime number?
True
Suppose 2*g + 5*w - 4292 = 0, 16*g = 13*g - 7*w + 6441. Is g composite?
False
Suppose -2*c + 5*b - 6*b = 1, -4*c - 3 = 3*b. Suppose 4*g + 2863 - 7627 = c. Is g prime?
False
Suppose 31 = 3*u + 4*y, -5*u + 107*y + 41 = 111*y. Let m = 4106 - 1511. Suppose -a + 124 + m = 4*s, 3*s = -u*a + 13544. Is a prime?
True
Let j be -3 + (1*-27)/(-3). Suppose 2730 = k + j*k. Suppose 8*r + k = 9838. Is r a prime number?
True
Is -3 - -207915 - 110/(-10) prime?
True
Let x(i) = -2990*i + 3963. Is x(-25) prime?
True
Let h = -1230 + 1927. Suppose -v - 2*j + 1470 = 0, 5*v - 226 - 7100 = 2*j. Let a = v - h. Is a a composite number?
False
Suppose 0 = 24*f - 1667931 + 673011. Let p = -29258 + f. Is p a composite number?
False
Let d(s) = 4*s + 41. Let g be d(-9). Suppose -g*b = 5*w - 1375, 3*w + 5*b - 325 = 502. Is w prime?
False
Let b = -28929 - -58124. Is b prime?
False
Suppose 5*l - 10*c - 8747 = -6*c, c = -5*l + 8707. Let b(q) = -261*q**2 - 3*q - 2. Let u be b(-2). Let n = u + l. Is n a prime number?
False
Let c(n) = 46412*n**2 + 78*n - 13. Is c(4) a composite number?
False
Suppose 4*a + 7*j - 3*j = 463856, -j = 5. Is a a prime number?
False
Let o be (4/(-4) - -5)*-3. Suppose -16*h = -18*h + 136. Is (-87)/(-2)*(h/o + 7) composite?
True
Let d(x) = 31*x + 1469. Let p(y) = -8*y + 3. Let u(o) = d(o