m + 3*w + 14 + 4 = 0, m = 3*w. Let n(l) = -l**2 - 7*l - 3. Let r be n(m). Suppose -1 + 3 = c, 0 = -r*s - 3*c + 207. Is s a prime number?
True
Is (-24)/(-156) - ((-29788)/26)/2 composite?
True
Is (0 + -37)*(-8 - -6) a composite number?
True
Suppose 7*l = 2*l - 4*d + 533, -3*d = 9. Is l a composite number?
False
Let a be (-4)/(-20) - (-321)/(-5). Let c = 143 + a. Suppose -o = -84 - c. Is o a composite number?
False
Suppose 5*z + 3*l = 12307, 2*l + l = 12. Is z prime?
True
Let u be (-50)/(-1) - (2 + -1). Let c = u - 28. Is c a prime number?
False
Let b(a) = -4*a**2 - 4*a + 6. Let z be b(-6). Let t be z*(-2)/(-8)*-2. Suppose 4*u = u + t. Is u a prime number?
True
Suppose -9713 = -5*m - 4*f, -7786 = -m - 3*m + 2*f. Is m composite?
True
Is 2/6 - (-9776)/12 composite?
True
Let m be (-12)/18 - (-298)/(-3). Let o be m/8*28/5. Is (2 + 2)*o/(-8) a composite number?
True
Suppose -5*m = -3*d - 4397, -2*d + 192 = 2*m - 1554. Is m prime?
True
Let u(p) = 20*p - 58. Is u(6) composite?
True
Let x(s) = s**2 - 7*s - 2. Is x(8) prime?
False
Suppose 2*m - 254 = -2*d, 0 = m - 6*m. Is d a prime number?
True
Is -3 + (11467 + 1)/2 composite?
True
Let s = 36 - -5. Let l = 108 - s. Is l composite?
False
Let l be (-1)/(-2) + 5/(-2). Let c = 3 + l. Is 4/(-4) + c*11 composite?
True
Is (-16208)/(-9) + 1/9 composite?
False
Let n be -2 - (0 + 4*-2). Is (-2 - 1)/(n/(-110)) a prime number?
False
Let c be 1/(4 + (-247)/62). Suppose 4*m - c = 2606. Is m composite?
True
Suppose 0 = 2*t + 2*c - 172, t - 4*c - 27 - 54 = 0. Is t a composite number?
True
Let w be (-6)/15 - 1197/(-5). Let q be 1536/10 + 4/10. Let i = w - q. Is i composite?
True
Suppose -2*m - 2594 = -0*p + 2*p, 4*p - 2612 = 2*m. Let s = m - -1861. Suppose -176 + s = 5*v. Is v a prime number?
False
Let o(p) = p**3 - 15*p**2 + 3*p - 14. Is o(15) prime?
True
Let n = 9 - 4. Suppose 4*i = n*i - 19. Is i a composite number?
False
Let p(n) = 92*n**3 - n**2 + 4*n - 1. Is p(2) composite?
False
Suppose 2*u = u + 219. Is u a composite number?
True
Let x(t) = -2*t**3 - 16*t**2 - 10*t - 3. Let q be x(-11). Let b = 1354 - q. Is b composite?
False
Let x = 1 + 2. Suppose 0 = 6*g - 11*g. Suppose 0*m - x*m + 42 = g. Is m composite?
True
Let o(x) = -2 - 3*x**2 + 0*x + 6*x + 2*x**2. Is o(5) prime?
True
Let v(j) = -j**2 - j + 106. Let a be v(0). Suppose -2*d + 0*d - g + a = 0, -5*g = -d + 75. Is d prime?
False
Let k(p) = -p**3 - 2*p**2 - 3*p - 4. Let v be k(-6). Suppose 3*l + 11 = v. Is l a composite number?
True
Let m(t) = -t**3 - 6*t**2 + 6*t - 2. Let k be m(-7). Suppose k*i - 202 - 93 = 0. Is i prime?
True
Let p = -18 - -241. Is p composite?
False
Suppose 0 = 2*p - 2*i - 2, 0*i - 8 = p - 4*i. Suppose -k - 2*o = 7, 2*k + o - 5 = -p. Suppose -4*b + 46 = -k*b. Is b a prime number?
False
Is 7547/8 - 36/96 a prime number?
False
Let r(i) = 19*i - 5. Suppose -5*o + 16 = -o. Is r(o) a prime number?
True
Let n(k) = -k + 7. Let o be n(0). Let q = o - -26. Is q a prime number?
False
Let z(f) = f**3 + 12*f**2 - 13*f + 10. Is z(-11) a prime number?
False
Suppose k - 5 + 2 = 0, o = -3*k + 1730. Is o composite?
False
Let a = -80 + 229. Suppose 5*i - 3*n - 277 = a, 0 = n - 3. Is i a composite number?
True
Let x(j) be the first derivative of -3*j**4/2 - 5*j**3/3 - j**2 - 5*j - 2. Is x(-4) composite?
False
Let m be (2/(-2))/(1/211). Let j be ((-2110)/(-35))/(1/7). Let q = m + j. Is q composite?
False
Suppose 0 = 2*k - 5*k + 717. Is k a prime number?
True
Let n be 22*(-3 + 2)/(-1). Suppose -190 = -4*i + n. Is i a composite number?
False
Suppose w - 2*g - 6 = 0, 0*w + 2*w + 2*g = 0. Is (-6)/4 - (-49)/w composite?
False
Let a = 6 + -5. Is 710/8 - a/(-4) composite?
False
Suppose -5*d = -3*d - 3*h - 27, 4*d = 4*h + 48. Let j(i) = 7*i - 12. Is j(d) composite?
True
Let k = 146 + -100. Is k composite?
True
Let u = 1428 + 71. Is u composite?
False
Let u = -27 + 18. Let c be ((-39)/(-6))/((-1)/(-2)). Let m = c + u. Is m a composite number?
True
Suppose -5*u = -4*v - 811 + 124, 5*v + 546 = 4*u. Is u composite?
False
Suppose x + 1 = 3. Let q(i) = 21*i**3 - 2*i**2 - i - 1. Is q(x) a prime number?
True
Let o be (-5)/(-3) + 1/3. Suppose 4*t = -2 - o. Is (-250)/(-8) + t/4 a composite number?
False
Let j(g) = g**3 + 20*g**2 + 14*g - 16. Is j(-9) prime?
False
Is (-608)/16*(-5)/2 a composite number?
True
Suppose 0 = -3*v + 5304 + 369. Is v composite?
True
Let d = 171 + 40. Is d prime?
True
Let i be ((-2)/(-6))/((-2)/(-366)). Let y = -121 - -85. Let h = y + i. Is h prime?
False
Suppose -5*f = -3*f - 16. Suppose 4*a = f, -4*l + 94 = -0*l + 3*a. Is l a composite number?
True
Let z(o) = o**2 - 2. Let c be z(2). Let q be (-3 + 6)/(3/c). Suppose 2*v - 192 = -4*p, -7*v = -q*v + 10. Is p a prime number?
False
Let z(b) = 73*b + 36. Is z(7) a prime number?
True
Let g(n) = 72*n**3 + n**2 + n - 3. Let j(h) = -143*h**3 - 3*h**2 - 3*h + 7. Let c(l) = 5*g(l) + 2*j(l). Let m be c(-1). Let k = -8 - m. Is k a composite number?
False
Suppose -22 = -6*q - 4. Suppose q*g = 0, 3*m + 4*g - g = 633. Is m a composite number?
False
Suppose 0 = v - 5*o - 557, -4*v + 892 + 1336 = 3*o. Is v a composite number?
False
Let t(r) = -r**3 - 3*r**2 - 6*r + 5. Let y be t(-5). Suppose n = -4*l + 41, -5*n = -6*l + 2*l - y. Is n prime?
False
Let d(j) = 7*j**2 + 5*j + 3. Let p(y) = 13*y**2 + 10*y + 7. Let o(b) = -11*d(b) + 6*p(b). Is o(8) prime?
True
Let x(g) = 5*g**2 - g. Let s be x(1). Let m(k) = -k + 5 - s + 16*k. Is m(2) a composite number?
False
Let i(k) = k**3 - 6*k**2 + 2*k + 6. Let r be i(5). Let y = 28 + r. Suppose z = y + 6. Is z a composite number?
True
Let x = 2533 + -1448. Suppose -15 = -5*w, -5*m = -0*w - 5*w - x. Suppose 4*u = 2*o + 2*o - m, o = 3*u + 55. Is o prime?
False
Suppose -5*a + 3*a = -6. Let d(v) be the second derivative of 11*v**3/6 + v**2 + 2*v. Is d(a) composite?
True
Let i be 44/10 + 10/(-25). Let h be (i/(-6))/((-6)/27). Suppose -h*q + 82 = m, 3*m - 5*q = 7*m - 321. Is m a composite number?
False
Let n = 2084 - -81. Is n prime?
False
Let s(j) = -j - 1. Let t(x) = -2*x + 5. Let u(y) = -s(y) + t(y). Let k be u(6). Suppose 3*a - 141 + 36 = k. Is a a prime number?
False
Let d(y) = 32*y**2 - 2*y - 4. Let t(j) = 97*j**2 - 5*j - 11. Let a(z) = -8*d(z) + 3*t(z). Let n = 3 + -2. Is a(n) a prime number?
False
Let w(l) be the third derivative of 11*l**4/24 - 42*l**2. Suppose 2 = -b + 4. Is w(b) a prime number?
False
Let f be (7/((-14)/(-20)))/2. Suppose -3*i + 12 = 0, 0 = -f*l + 5*i + 12 - 57. Is (-1)/(-2)*l*-10 composite?
True
Let v be (-1446)/54 - (-4)/(-18). Let u = 38 + v. Is u a composite number?
False
Is (-12)/(-8)*(102 + 4) a composite number?
True
Let i be 6/(-15) + 4/10. Suppose -5*c = -0*c + x + 624, 3*c + 2*x + 373 = i. Let y = c - -270. Is y prime?
False
Suppose -4*l + 20 = -2*s, -4*l - 18 = 3*s - 7*l. Suppose -2 - 3 = 5*t. Is (3 + s + -38)*t composite?
False
Let r = -20998 - -12241. Is ((-2)/(-3))/((-6)/r) prime?
False
Let q(o) = 2*o**2 - 2*o + 1. Let w be q(2). Suppose 2*l - w*l = 2*p - 103, 0 = -3*l - 4*p + 101. Is l a composite number?
True
Suppose p = 5*p + g - 386, -4*g = 8. Is p a composite number?
False
Let y = 6 - 4. Let d = -3 + 7. Suppose 0*a + y*a = 4*k - 220, -2*a + 220 = d*k. Is k a composite number?
True
Let g = -127 - -75. Let x = 126 + g. Is x a composite number?
True
Suppose 0 = -5*n + 7*n - 38. Is n a composite number?
False
Suppose 0 = -8*l + 296 + 1584. Is l a prime number?
False
Let k(d) = d**3 - 3*d**2 + d + 2. Let l be k(3). Suppose -h + l = -6*h. Is (-18 + (-2)/2)*h a composite number?
False
Is 185/(-2)*(0 + -2) a prime number?
False
Let w(v) = -473*v - 2. Is w(-1) a prime number?
False
Let j(i) = i**2 + 5*i + 2. Let c(p) = p**2 + 5*p + 3. Let k(m) = -3*c(m) + 4*j(m). Is k(6) prime?
False
Let q(j) = 183*j**2 + 2*j - 2. Let m(r) = 2*r + 15. Let o be m(-7). Is q(o) composite?
True
Let t = -829 + 1384. Suppose 2*j - t = -j. Is j a composite number?
True
Suppose 4*g = 3*s + 1676, 838 = 3*g - g + 3*s. Is g a composite number?
False
Let a be (-21)/(-12) + (-3)/(-12). Let s = a - 0. Suppose -4*q + s*q + 18 = 5*r, -4*q = -4*r - 92. Is q prime?
True
Let m = -34 + 56. Let w = 16 - m. Is (-38)/1*3/w prime?
True
Let g(t) = -438*t**3 + 5*t + 5. Is g(-2) a composite number?
False
Let g(r) be the first derivative of r**3/3 - r**2/2 - r + 3. Let i be g(3). Suppose l = -