e number?
True
Let s = 2112 - -4375. Is s a composite number?
True
Suppose -4*m + 2*o = -56, 0*m - 5*o = -m + 5. Let b be ((-6)/(-6))/((-3)/m). Let g(l) = l**3 + 7*l**2 + 7*l + 7. Is g(b) prime?
False
Let h be (-14736)/(-22) - (-12)/66. Let i = -23 + h. Is i prime?
True
Let c = 231676 + -151539. Is c composite?
True
Suppose 4*j - 4*r + 6 = -r, 0 = 3*r + 6. Is (-7483)/(-3) + ((-8)/j - 2) prime?
False
Let t = 88971 - 3640. Is t a prime number?
True
Suppose -3*w - 4818 = 5*q + 2647, 0 = w - 5*q + 2495. Let n = 3709 + w. Is n prime?
False
Suppose -6*d = -0*d - 864. Let k = -89 + d. Is k prime?
False
Let l(w) = -w**3 - 7*w**2 + 7*w - 6. Let h be l(-8). Suppose -2*d - 270 = h*x - d, -3*d = 4*x + 536. Let i = 240 + x. Is i a composite number?
False
Suppose -223 = -2*v + 3821. Suppose -v = 2*c - 8*c. Is c a composite number?
False
Is (-115)/20*(-3 - 2249) a prime number?
False
Let o = 0 + 5. Suppose -2*v - v = 3*i - 354, 572 = o*v - i. Suppose -4*f = f - v. Is f a prime number?
True
Let n = -2270 - -3255. Is n a prime number?
False
Suppose -4*k = -7*k - 36. Let m = 15 + k. Is (74*m/6)/1 a composite number?
False
Let a be ((-592)/10)/(1 + (-548)/540). Suppose 10*j - 1794 - a = 0. Is j a composite number?
True
Let k = 25482 + -17128. Is k a prime number?
False
Let v(p) = -174*p - 101. Is v(-12) prime?
True
Let v be 4 + -4 - -2 - -47. Is 4/1 + (v - 10) prime?
True
Suppose 2*f - 4 = -g + 3*f, 2*f + 8 = 0. Suppose 2*v + 215 = 3*a - 932, g = -5*a + v + 1907. Is a a composite number?
True
Let t = 199 - 954. Let o = t + 1288. Is o a prime number?
False
Let g(s) = -s**3 - 5*s**2 - 8*s + 8. Let k be g(-7). Let p = k - 321. Let u = -32 - p. Is u a prime number?
True
Let b = -51 + 167. Let q = b + -379. Let k = 590 + q. Is k a prime number?
False
Let v be (230/3 - 0)*(-36)/(-8). Suppose -3*j + 1002 + v = 0. Is j prime?
True
Let y(p) = 3*p**2 - 8*p + 382. Is y(-24) composite?
True
Let r(o) = 50*o. Let n be r(2). Suppose -3*j = -q + j + n, -3*q - 5*j = -283. Let x = q - -245. Is x a prime number?
False
Let p = -646 + 3707. Suppose 3*m + 4*x - 1823 = 0, 0*m = 5*m + x - p. Is m a composite number?
False
Let y(i) = 25*i**2 - 21. Let u = -12 - -8. Is y(u) prime?
True
Let v(r) = 24232*r**3 + 2*r**2 - 7*r + 6. Is v(1) a prime number?
False
Let x(u) be the first derivative of 41*u**2 + 2*u - 3. Let z(i) = 164*i + 5. Let h(n) = -5*x(n) + 3*z(n). Is h(3) composite?
False
Let n = -47 - -37096. Is n composite?
False
Let i be 2/(-6)*-16 - (-1)/(-3). Suppose 2*k - 3512 = -4*b, -i*k + 0 = -10. Is b a prime number?
True
Suppose -3*v + 5*w = -11, -4*v + 4*w + 24 = 2*w. Is (3 + -2 - -66 - 0)*v a composite number?
True
Let r be (5/(-15))/(1/(-6)). Suppose r*x - 402 = -x. Let s = x + 57. Is s prime?
True
Let w be 467 + -5 + (-4)/(-4). Let k = w + -117. Is k a prime number?
False
Let p be (-70)/42*(-1 - 2). Let k be 72/(-3)*8/(-6). Suppose -k = s + p*l - 368, 326 = s - 5*l. Is s prime?
True
Let p be (-3)/(-7) + 6/(-63)*-48. Suppose 8*a - 561 = p*a. Is a a composite number?
True
Let c = 21 - 16. Suppose 3651 = v + 2*v + 5*p, 0 = c*v + 3*p - 6085. Is v a composite number?
False
Let t be 0 + 6/15 - (-3864)/15. Is (9 - t)*(-1 + 0/1) a composite number?
True
Let u(i) = i**2 + i - 16899. Let h be u(0). Is (-38)/(-8) - 4 - h/12 prime?
True
Suppose 3*o = -5*u + 15763, 3*o + 4*u = 8627 + 7140. Is o composite?
False
Suppose 13*q = 17*q - 3476. Is q a prime number?
False
Let d = -4259 + 6322. Is d prime?
True
Let x = 2287 + -1603. Suppose 3*v + 0*l + 1021 = -5*l, -4*l - x = 2*v. Is (v/(-16))/(-1)*-4 prime?
True
Let k(l) = 2*l**3 + l**2 - 24*l - 4. Is k(9) prime?
True
Suppose 250723 = 122*t - 1072611. Is t a prime number?
True
Suppose -110*h = -102*h - 292280. Is h a composite number?
True
Let j(a) = 909*a**2 - 25*a - 15. Is j(-4) composite?
False
Let t(b) = -877*b + 5. Is t(-2) a prime number?
True
Let n(k) = 1811*k - 135. Is n(14) composite?
False
Let u = -17 - -110. Let x = 298 - u. Is x a prime number?
False
Let g = -388 + 1203. Is g a prime number?
False
Let w(v) = -v**3 + 11*v**2 + 9*v - 6. Let i(f) = -f**3 + 6*f**2 + 6*f. Let j be i(5). Suppose o = -5, -4*o + 0*o - j = -5*c. Is w(c) a composite number?
True
Let i = 16 + -11. Suppose -i*q = -4*m - 1127, -2*m = -q + 39 + 190. Is q a composite number?
False
Let g be -8 - -2*(-3)/(-2). Let b(s) = 1 + 4 + 25*s**2 - 1 + 0 - 4*s. Is b(g) composite?
True
Let r(g) = -g**3 - 11*g**2 + g + 16. Let j be r(-11). Suppose -5*n + 6130 = j*n. Is n composite?
False
Let l be (-4)/8 + 1/2. Let a = 62 + -59. Suppose l = -y + a*y - 242. Is y composite?
True
Let z = 3832 - 405. Is z a prime number?
False
Let b(z) = -z**2 + 7*z - 7. Let g be b(3). Suppose 7 = 3*k - 209. Suppose 2*l = 3 - 1, 3*l + k = g*s. Is s a prime number?
False
Suppose 2*u - u - 20825 = 3*g, -3*u + 34711 = -5*g. Is g/22*(-1 + -1) a prime number?
True
Let f = -21 + 34. Let n = f + 25. Suppose 0 = 34*h - n*h + 2884. Is h prime?
False
Suppose 1 = -5*b + 21. Suppose -b*h - g - g = -144, -3*g = h - 31. Is h a prime number?
True
Let s = 10864 + -437. Is s a composite number?
False
Let i = 24278 + -6163. Is i composite?
True
Suppose 0 = -0*u + 2*u - 2. Let s be (-352)/(-33)*(u - -2). Let a = 23 + s. Is a a composite number?
True
Let u(y) = 2*y**3 - y**2 - 4*y + 4. Let v be u(2). Let f(z) = z**3 - 9*z**2 + 14*z + 1. Is f(v) composite?
True
Let i(h) = 24*h - 5. Let u(t) = -47*t + 11. Let x(k) = -13*i(k) - 6*u(k). Let s = -3 - 2. Is x(s) a prime number?
True
Suppose -4*t = -w - 633148, 5*w + 62838 = 2*t - 253736. Is t a composite number?
True
Let y be (-12)/16 - (-69)/12. Let h(q) = 89*q. Let f be h(y). Suppose -3*l + f = 2*l. Is l a composite number?
False
Suppose 4*q - 36 = -5*m, -15 = m - 5*q + 1. Let w = 53 + m. Is w a composite number?
True
Suppose 6*o - 19 = -79. Is 5/o - (-663)/2 prime?
True
Suppose -13 = -2*v - 25. Let c be -3 + -1 + (-24)/v. Suppose -5*f + 2084 - 129 = c. Is f composite?
True
Suppose 10*o - 7*o - 12 = 0. Suppose -2*p + 610 = -0*i + 4*i, o*i - 299 = -p. Is p composite?
False
Let d(x) = -9661*x**3 + 4*x**2 + x - 3. Is d(-1) prime?
True
Suppose 10*o - 13 = 11*o + 2*a, a - 18 = 3*o. Let c(r) = -5*r**3 + 2*r**2 + 15*r + 3. Is c(o) a composite number?
True
Let l(s) = 13*s**2 - 2*s - 10. Let m(g) = g**3 - g**2. Let t be m(2). Suppose 0 = t*p - 5*r, 7 - 3 = r. Is l(p) composite?
True
Let o = -3500 - -6681. Is o a composite number?
False
Let t(k) = -5*k**2 - k + 5*k**2 + 0*k - 5 + 17*k**2. Is t(4) composite?
False
Suppose -8 = -13*x - 47. Is x*(16/(-12) - -1) - -3384 a composite number?
True
Let k = 47 + -47. Suppose k = -5*w + 3300 + 155. Is w composite?
False
Suppose -c + 15548 = 5*y, 3*y - 4243 = 4*c + 5072. Is y a prime number?
True
Suppose -2*f - 10 = -0*f. Is f/(-15) + 9272/3 a composite number?
True
Suppose -4*g - t = g - 13, 2*g + 2*t = 10. Suppose y - 3 = -q + 2, 0 = g*q - 4*y + 14. Is (190 + -3 + 4)/q a prime number?
True
Suppose 0 = 36*t - 24*t - 48516. Is t prime?
False
Let w be 0 - 4/(4/(-3)). Suppose -s + w + 2 = 0. Suppose i + s = 87. Is i composite?
True
Let z = 1356 + 181. Is z prime?
False
Let r be -7 + 4 - 2*-1353. Let g = r - 1694. Is g composite?
False
Is 5260/1 + (13 - 7) composite?
True
Let j be (-4323)/(-6) - (-1)/2. Suppose -3*p - 6*o + j = -2*o, -1008 = -4*p + 4*o. Suppose 0*n - p = -n. Is n prime?
False
Suppose 5*i + 2*d = -22, 2*i - 8 = -0*i - 5*d. Let s be 39*1 + i + 7. Let w = s - -11. Is w prime?
False
Suppose 3*m = 4*z - 77, -2*z + m + 35 = -4*m. Let t(o) = 71*o - 23. Is t(z) composite?
True
Suppose a - 1452 = -3*g, -3*a = 2*g + 2*a - 968. Suppose -13*n - g = -17*n. Is n a composite number?
True
Let g(o) = -3 + 2*o**3 - 3*o**3 - 4 + 4*o + 6 + 13*o**2. Is g(12) prime?
True
Suppose -f = 2*v - 9564, -1 = -4*f - 9. Is v a prime number?
True
Let t = 11 + -9. Suppose t*k - 536 = 14. Suppose 2*r + r = -a + k, 2*r - 202 = 4*a. Is r a composite number?
True
Suppose 3*r + 0*u + 4*u + 2 = 0, u = 1. Let g(q) = q**3 + 11*q**2 + 9*q - 12. Let x be g(-10). Is 649 + (-4 - x)*r prime?
True
Suppose 12795 = 2*b - 3*h, 6390 = b - 10*h + 11*h. Is b a composite number?
True
Let r be (-2 - 3/(-2))*2. Is (412 - 15)*(-1)/r prime?
True
Let t be 3 + -1 + 170 + 4. Let y = 330 - t. Suppose -1159 + y = -3*i. Is i composite?
True
Let g = -15 - -15. Suppose g = -2*q + 127 + 25. Su