m - g. Is n a prime number?
False
Let x = -95 - -185. Suppose 35 = -m + x. Is m composite?
True
Suppose -b = 2*j - 451, 5*b = 4*j - 604 - 263. Is j a prime number?
True
Let o(w) = -71*w. Is o(-11) a composite number?
True
Suppose 3*k - 27 = -4*s, 3*s + 0*s = -5*k + 12. Let f = 582 - s. Is f prime?
False
Suppose -3*i + 0*u + 2*u + 11 = 0, 5*i = -2*u + 29. Suppose -3*x + 253 = i*k, 2*k - 6*x - 126 = -x. Is k a prime number?
True
Let g be ((-4)/(-3))/((-16)/(-24)). Suppose -2*o - 2*p + 66 = 0, 5*o - 167 = g*p + 33. Is o a prime number?
False
Suppose -b + 9 = -s + 2*b, -6 = 2*s - 2*b. Suppose s = 3*u + 284 - 1289. Is u composite?
True
Suppose 452 + 36 = 4*d. Is d a composite number?
True
Let m(b) = -b**3 - b + 3. Let u = -4 + 4. Let i be m(u). Suppose 5*q - 254 + 34 = -5*g, 2*q + i*g - 93 = 0. Is q a prime number?
False
Let i(b) = b**3 - 2*b**2 - 2*b + 3. Suppose -4*k - 3*o + 5 = 0, k + o + 1 = -2*o. Let d be i(k). Is d/((-1761)/879 + 2) a prime number?
True
Suppose -b - 1 = -9. Suppose 0 = 3*z + z - b. Let m = 23 - z. Is m a composite number?
True
Suppose -9*g + 12*g = 615. Is g composite?
True
Let q(n) = 15*n**2 - 9*n - 7. Is q(5) a prime number?
False
Let x = 1315 - 660. Is x a composite number?
True
Let i = 1 + -9. Let c = -3 - i. Suppose 0*f = -4*f - b + 270, -c*b = f - 77. Is f a prime number?
True
Let x(n) = 50*n + 2 + 91*n - 3. Is x(4) a prime number?
True
Let c = 0 + 4. Suppose 4*t + c*d - 3 - 57 = 0, 4*t - 58 = -3*d. Is t composite?
False
Let j be 0/((-1 - 0) + -1). Suppose j = -l + 8 - 1. Suppose -3*b + 50 = -l. Is b a composite number?
False
Suppose 5*i = i + 916. Let r = i - -40. Is r prime?
True
Let u = 36 + -26. Is u prime?
False
Suppose 2*g - 5*g = -12. Let c(q) = 9*q**2 + 2*q + 9. Let f(h) = h**2 + h + 1. Let m(n) = c(n) - 6*f(n). Is m(g) composite?
True
Let f(m) be the second derivative of -m**3 + 3*m**2/2 - m. Let l(b) = -7*b**2 + b. Let y be l(-1). Is f(y) composite?
True
Suppose -4*w = w - 25. Suppose 0 = 6*c - w*c - 47. Is c a composite number?
False
Suppose 0 = 4*x + 2*c - 4320 - 3834, -6088 = -3*x + 4*c. Is (-6)/10 + x/10 a prime number?
False
Is -1 - 2 - (-908)/2 composite?
True
Suppose 3 = 14*x - 1327. Is x a composite number?
True
Let d = 4 - 7. Is 2/d - (-5224)/24 a composite number?
True
Let g be (2 + -9 - -1)/(-2). Let y be -102*(6/3)/(-2). Suppose o + g*l - 34 = 0, -7*o + 2*o + 2*l + y = 0. Is o a prime number?
False
Let t(i) = -8*i + 11. Let x be t(-12). Suppose -x = -b - 28. Is b composite?
False
Suppose -3*d - 55 = -8*d. Let p = d - 7. Suppose c + 21 = p*c. Is c prime?
True
Let p(f) = -f + 1. Let v be p(6). Let o = v - -8. Is (-80)/(-1) - (4 - o) a composite number?
False
Suppose 0 = -7*g + 2*g + 25. Suppose -3*k - 2*y + 555 = 2*k, -g*y = 4*k - 461. Is k a prime number?
True
Suppose -2*a + 2 = -4. Let f(w) = 2*w**2 - w**2 + a*w**2 - 3. Is f(3) a composite number?
True
Let w(o) = -4*o**2 - 3*o. Let n be w(-2). Let a be ((-4)/n)/(1/5). Suppose 3*q - a*z = 709, 4*q - 300 = -z + 627. Is q a composite number?
False
Let j be 2/3 + (-830)/(-6). Suppose 3*y - 8*y + j = 2*q, 5*q = 2*y + 333. Is q a composite number?
False
Let g = 6 - -139. Is g prime?
False
Let x = -4 + 25. Is 12024/x + 15/35 a composite number?
True
Let p(f) = f**3 + 14*f**2 + 4. Let h be p(-14). Suppose h*i = -1172 + 3904. Is i a prime number?
True
Let n(a) = -5*a**3 - 3*a**2 - 10*a + 1. Let u(p) = -p**3 + p**2 - p + 1. Let o(v) = -n(v) + 4*u(v). Is o(-5) composite?
False
Let j = -147 + 166. Is j prime?
True
Let y be 6/(-21) - (-23)/7. Suppose -4*c + 4*l - 36 = -0*c, 0 = c - 5*l + 29. Is (413/c)/(y/(-12)) composite?
True
Let c be 1*9*(3 + 1). Let u = 7 + c. Is u composite?
False
Suppose 8*l - 11901 = 5*l. Is l composite?
False
Let n(b) = -b**3 + 19*b**2 + 5*b - 1. Is n(18) composite?
True
Suppose 4*a - 840 = n, -4*n = -2*n - 8. Let r = 546 - a. Is r composite?
True
Let o be 4*((-687)/(-6) + -1). Let m = o + -243. Is m a prime number?
True
Suppose 3*w - 593 = -5*o, -4*w + o = -2*w - 378. Is w a composite number?
False
Let t be 2/4 + 5/(-10). Suppose t = 4*z - p - 1107 - 777, 4*z + p = 1892. Suppose -w - h + 51 = -66, -4*w - 5*h + z = 0. Is w prime?
True
Let s(j) = -j**2 + 3*j + 7. Let b be s(5). Let q = b - -4. Is (q/1)/(1/11) a prime number?
True
Let v = 1 + -1. Suppose 2*h - 4*a + 28 = -v, -4*h - 1 = 3*a. Is (-338)/h + 2/4 a prime number?
False
Suppose -2*q = -3*q + 4. Suppose -q - 155 = -3*j. Let o = j + -22. Is o prime?
True
Let v(n) = -4*n**3 - 8*n**2 - 8*n + 4. Let d be v(-6). Suppose d = 2*h + 2*h. Is h prime?
True
Let t(b) = b - 1. Let s be t(1). Suppose -j - 4*w = s, 5 = 2*j - 0*j + 3*w. Suppose -33 = -j*p + 163. Is p a composite number?
True
Let j = 4 - -4. Let z(q) = -5 + 0*q + q**2 - 2*q - 4*q. Is z(j) prime?
True
Let j(a) = 2*a - 9. Let l be j(7). Suppose -l*s = -w - 2*w + 742, -978 = -4*w + s. Suppose -4*f + 16 = -w. Is f composite?
True
Let a be (3/(-9))/(2/(-654)). Suppose -a = -4*b + 535. Is b a prime number?
False
Suppose 0 = -8*p + 10*p - 66. Is p prime?
False
Suppose 3*l = 6*l - 549. Is l prime?
False
Let d = 1869 - 883. Suppose 4*o - 186 = d. Is o a prime number?
True
Let w(y) be the third derivative of -7*y**4/3 - y**3/6 - 9*y**2. Let i be (0 - 5)*4/10. Is w(i) prime?
False
Let i(f) = f**3 + f**2 - 42. Let z be i(0). Let k = z + 65. Is k a prime number?
True
Let g = 7 - 5. Suppose -m + 30 = 3*o, -43 = -2*m - g*o - 3. Is m a prime number?
False
Let v(w) = 32*w**3 - w**2 - w + 1. Is v(3) a prime number?
True
Suppose -193 = -3*m + 1046. Is m a composite number?
True
Let m be (3 - 5 - 0)*-1. Suppose m*d + 35 - 673 = 0. Is d prime?
False
Let d(t) be the first derivative of t**3/3 - 3*t**2 - 3*t + 1. Is d(-4) a prime number?
True
Suppose 0 = 2*l - 6*l - 28. Suppose 64 = 3*s + s. Let x = l + s. Is x a composite number?
True
Let t = 26 - -11. Is t a composite number?
False
Let q(z) = 19*z - 7. Let h(i) = 28*i - 11. Let o(r) = 5*h(r) - 8*q(r). Suppose 4*g + 16 = -a, -2*g + 2*a - 2 = a. Is o(g) prime?
True
Suppose -2*a - 2*f = -12, -4*a + f = -3*a. Suppose -a*g + 1780 = 5*r + 24, -1 = r. Is g a composite number?
False
Suppose 5*s - 34 + 9 = 0. Suppose -64 = -5*f + s*z + 421, 2*z = -4*f + 388. Is f a prime number?
True
Let w = 13 - -12. Let y(o) = 0*o + w*o - 1 - 5*o. Is y(4) prime?
True
Suppose 2*c + 3*z = 59, c + 5*z = 2*c - 36. Suppose 6*w = -5*v + 5*w + c, 5*w = -v + 11. Is v prime?
False
Let k be (-98)/(-8) - (-2)/(-8). Is 4395/(-2)*(-8)/k a prime number?
False
Suppose 0 = 5*h - 20, 2*h - 3*h = -5*u + 2351. Is u a prime number?
False
Suppose -2*w = -53 - 13. Suppose -2*s - w = -5*s. Is s a composite number?
False
Let r(c) = c**3 - 8*c**2 + 10*c - 14. Is r(7) a prime number?
True
Let a(d) = 3*d**2 - d - 5. Is a(-4) a composite number?
False
Is 13/(-91) - 2150/(-7) composite?
False
Is (-1087)/(-2)*-9*14/(-63) a composite number?
False
Let c(r) = r**2 - r + 1. Let t(v) = -7*v**3 + v**2 - v + 2. Let l(o) = 2*c(o) - t(o). Let w be l(2). Is (w/8 + 2)*4 composite?
False
Is 1 + 289 + 24/8 a prime number?
True
Let j(x) = 15*x**2 + x. Let c be ((-3)/(-9))/((-2)/12). Is j(c) a composite number?
True
Suppose 0*k + k = -r + 97, r - 3*k = 97. Is r composite?
False
Suppose -k + 1317 = b, -5*k + b = -2638 - 3959. Is k a composite number?
False
Let i(w) = -w. Let x(v) = -v**3 - 14*v**2 + 2*v - 5. Let z(s) = -i(s) - x(s). Is z(-14) a composite number?
False
Suppose -6*c = -50 - 154. Suppose 0 = -5*a + x + 3930, 0 = 2*a - 5*x - 1561 - c. Is a prime?
False
Let u(v) = 134*v**3 - 3*v**2 + 3*v - 1. Is u(1) composite?
True
Is 373/(-4)*(120/5)/(-6) a composite number?
False
Let h = -91 + 282. Is h a composite number?
False
Let m(f) = 2*f - 12. Let i be m(9). Is 2/3 + 974/i prime?
True
Suppose -3*d = -1055 - 382. Is d a composite number?
False
Suppose -2*l + 3021 = w + 1150, 6 = 2*l. Is w a composite number?
True
Suppose -5*p = i + 29, i - 4*p = -0*i + 7. Let m = 46 + i. Is m composite?
False
Let q = 5 - -5. Is q a composite number?
True
Let a = -2109 + 3206. Is a composite?
False
Suppose 4*v + 724 = 8*v. Is v prime?
True
Suppose -3*j - 2*j = 2*m - 33, -j + 17 = 3*m. Suppose -v = 4 + m. Let x(t) = -2*t + 5. Is x(v) composite?
True
Let q(h) = h**2 + 2*h + 1. Let u be q(-3). Suppose u*z - b = 75, -5*b + 39 + 23 = 3*z. Is z composite?
False
Suppose 2*q + 5*k = -0