*u, 4*s - b = -5*u. Is s a composite number?
True
Let g(y) = -2*y - 10. Let k be g(-6). Is -1*2/k*-769 a composite number?
False
Suppose 10*w - 3*w = 0. Let k = -9 + 11. Suppose w = k*t + 3*u - 407, -3*u + u = -2. Is t a prime number?
False
Suppose 4*y + 14 - 22 = 0. Suppose -q - 839 = -5*q + x, 4*q - y*x = 834. Is q a prime number?
True
Is (-43)/(-86)*(8971 + 1) a prime number?
False
Suppose 5 = -2*w + 2*l + 1, l = 2*w. Let h be 118/4*(2 + w). Let z = -81 + h. Is z a composite number?
False
Let p(l) = -l**3 + 3*l**2 + l. Let b be p(2). Suppose -q - 3 = -b. Let f(y) = 13*y**2 + 2*y - 4. Is f(q) composite?
True
Suppose 59*i - 2024 = 51*i. Is i a prime number?
False
Suppose 4*m - 32 = -s, -3*s - s = -5*m + 61. Suppose 11851 = -2*q + m*q. Is q a composite number?
False
Let z be 5*(-3)/(-15)*2. Let t be (36/(-21))/(z/(-35)). Suppose -4*u - 2*h = 3*h - t, 4*h + 8 = 0. Is u a composite number?
True
Let p(x) = x**2 - 48*x + 3019. Is p(0) a prime number?
True
Let k = 2414 + -2109. Is k composite?
True
Suppose 0 = y - 23 + 19. Suppose 13*h = 8*h + y*n + 1589, -2*n - 319 = -h. Is h a composite number?
False
Let d = -723 - -1094. Is d prime?
False
Suppose 0 = -5*s - 0*s + 30. Let a be s - (-2 + 3 - -2). Suppose a*r = -b - r + 45, -b - 5*r = -40. Is b prime?
False
Let p(s) = -2*s + 14. Let i be p(5). Suppose 223 = d - i*v, 0 = -7*d + 2*d - 2*v + 1049. Is d composite?
False
Suppose 0 = -5*g + 3*k + 217, -3*g + 10 = 2*k - 124. Let w(r) = 30*r**2 - r + 1. Let o be w(1). Let l = g - o. Is l prime?
False
Suppose -5*m + 12 = -2*m. Suppose j = 2*j + 3*a - 3065, -m*a - 6130 = -2*j. Is j a composite number?
True
Let a(g) be the third derivative of 59*g**6/180 - g**5/60 - g**4/24 - g**3 - g**2. Let w(i) be the first derivative of a(i). Is w(2) a composite number?
False
Let k = -44199 - -75506. Is k a prime number?
True
Let q(z) = z**3 - z**2 - 2*z + 2. Let d = -1 - 4. Let f = d - -8. Is q(f) composite?
True
Is 3871/21 - 2/(-3) composite?
True
Is ((-176)/33 + 6)/((-4)/(-118194)) prime?
True
Let l = 7947 + -4628. Is l prime?
True
Let n = 40 - 35. Suppose -n*a + 2475 = -680. Is a prime?
True
Suppose 0 = p + 4*m + 238, -3*m + m + 1124 = -5*p. Is p/(-6) - 40/(-30) a composite number?
True
Suppose 7*d - 2*d + 5*t = 30, 2*t = 2*d. Suppose -d*u - 2*u - 4*l = -1273, -4*u + 5*l = -1002. Is u prime?
False
Suppose 53542 = 7*a + 14909. Is a a composite number?
False
Is 21618/33 - (-21)/(-231) prime?
False
Suppose -31706 + 9459 = -m. Is m prime?
True
Let g(y) = -y - 24. Let q be g(-11). Is 2/2*(-13559)/q prime?
False
Is 10/5 - (2 - 16411) composite?
False
Let m(h) = -1414*h - 53. Is m(-5) a prime number?
False
Let w be 54/(-189) - (-1102)/(-14). Let r = w + 293. Is r a prime number?
False
Let t = -46 - -5885. Is t prime?
True
Suppose -63*o + 19*o = -1118612. Is o prime?
True
Let i(a) be the third derivative of 7*a**2 + 1/20*a**5 - 5/6*a**3 + 1/120*a**6 + 0 - 1/12*a**4 + 0*a. Is i(6) composite?
False
Suppose -15*b = -14*b + 5. Let q(z) = 31*z**2 + 7*z + 3. Is q(b) prime?
True
Let k = 102 + -11. Suppose 0 = -23*r - 8*r + 1705. Let b = k + r. Is b a composite number?
True
Let a = -724 + 1096. Suppose -a = -2*v + 170. Is v composite?
False
Suppose 0 = -4*y + 12, 4*y + 32504 = 4*f - 35840. Is f a composite number?
True
Let b be (1/2)/1*-16. Let n(f) = -2*f**3 + 3*f**2 + f - 1. Let c be n(b). Suppose 4*a - c = -9*d + 4*d, -4*d - 2*a = -962. Is d composite?
False
Let b be (-3 - -5) + (7743 - 1). Suppose i + b = 4*l, 3*l = 5*i - 1956 + 7747. Is l a prime number?
False
Suppose 0 = 5*y - 5*x - 92720, -92729 = -32*y + 27*y - 4*x. Is y composite?
True
Suppose -v + 1 = -2*v. Let s be (v - 0) + 2 + 211. Suppose 0 = -0*m - 4*m + s. Is m a composite number?
False
Let f = 8182 + -3537. Is f a composite number?
True
Let q = -20 + 20. Suppose 3*a - 4*x - 5183 = q, 0 = -0*a + 3*a - 2*x - 5173. Is a composite?
False
Let q(y) = 4*y + 1. Let g be q(-1). Let j be (28/12 - 0)*g. Let i(r) = -16*r + 9. Is i(j) a composite number?
True
Suppose -16*y + 4*c + 5778 = -14*y, 5*c - 11608 = -4*y. Is y a prime number?
True
Let l(a) = 13*a**2 + 3*a + 9. Let o(k) = -27*k**2 - 6*k - 19. Let c(r) = 5*l(r) + 2*o(r). Let z(h) be the first derivative of c(h). Is z(5) a composite number?
False
Let d = -9002 - -16657. Is d prime?
False
Suppose -2*t = 5*t - 1519. Suppose -937 = -4*v + 5*c, -3*v = -4*c - 486 - t. Is v a prime number?
True
Let c = 0 - 0. Is c/2 - 2826/(-6) a composite number?
True
Let i = -11 + 15. Suppose -g - i*g = -185. Is g a prime number?
True
Suppose -19 = 2*c + c - 2*p, 0 = -5*c + 5*p - 35. Let b(y) = -38*y + 1. Is b(c) a prime number?
True
Let r(v) = -3*v + 7*v + v - 4*v. Let k be r(4). Suppose k*w = w + 201. Is w a prime number?
True
Suppose 0 = -8*a + 9*a - 309. Let l = 872 - a. Is l a composite number?
False
Let h = 3047 - 229. Is h composite?
True
Suppose 3*k - 4*c - 10139 = 0, 4*c - 533 = k - 3918. Is k a prime number?
False
Let a = -3283 + 5888. Is a a composite number?
True
Let k = 55528 + -29475. Is k composite?
False
Let f = 1153 + -651. Let n = -345 + f. Is n a prime number?
True
Let d be 80/24*(-36)/(-10). Let g be (-290)/26 - d/(-78). Let m(b) = -25*b + 18. Is m(g) prime?
True
Suppose 18*r - 10 = 13*r. Let i be (1 - 1 - -13)/1. Suppose r*n - i = 1. Is n prime?
True
Suppose -7*g = -8*g + 3. Let p(r) = 149*r**3 + 4*r**2 - 5*r + 1. Is p(g) composite?
True
Let r(z) = -33*z - 7. Let w(m) = -m**3 - 6*m**2 - 5*m - 6. Let k be w(-5). Is r(k) prime?
True
Let y = -18 + 26. Suppose 0 = -4*i - y - 8, 2*a - 3*i = 18. Suppose a*o = v - 253, -o - 377 = -3*v + 398. Is v composite?
True
Suppose a - 98 = 8*a. Let x(s) = s**3 + 17*s**2 + 2*s - 3. Is x(a) a composite number?
False
Let x(t) = 4*t**3 + t**2 + 2*t + 4. Let q = 17 + 4. Let l be 6*(4 + q/(-6)). Is x(l) composite?
False
Suppose -4*z + 23943 = 4*d + 5379, 13937 = 3*d - 4*z. Is d prime?
True
Is ((-9)/(-6))/(-3 - 195540/(-65176)) a prime number?
True
Suppose 4*a - 19 = -5*y + 7*a, -2*a = 4*y - 2. Suppose 3*l - 2*h - 6991 = 0, -5*h - 4679 = -y*l - 0*h. Is l a composite number?
True
Let o = 0 + 3. Suppose 846 = 7*m - 3*m + 2*k, -3*k + o = 0. Is m a composite number?
False
Suppose s + 8 = 15. Suppose 0 = -s*z + 1983 + 4226. Is z prime?
True
Let b(z) be the first derivative of 14*z**3/3 - 5*z**2/2 + 2*z + 8. Is b(3) composite?
False
Suppose f + 33 = 4*s, -s + 7 = -0*s + f. Suppose s*q = 7*q + 284. Suppose -2*h - q = -6*h. Is h composite?
False
Let s = 314 + 7667. Is s a prime number?
False
Suppose -5*h = -10*h + 2*u + 28655, -28655 = -5*h + 3*u. Is h a prime number?
False
Let k = -698 - -1239. Is k prime?
True
Let t be (14/4)/((-3)/(-36)). Let u = -20 + t. Is u prime?
False
Let y(z) = 5*z - 4. Let n be y(2). Is (21/n + -3)*934 composite?
False
Suppose -2*x + 2926 = v + 603, -3*x - 9347 = -4*v. Is v composite?
False
Let t(l) = -210*l + 27. Suppose -10*k + 3*k - 70 = 0. Is t(k) composite?
True
Let d = 32279 - 17202. Is d a prime number?
True
Let z(w) = -9*w**3 - 3*w**2 - 3*w - 8. Let t be z(-3). Suppose 2*m + 201 = n, -n + t = 2*m - 0*m. Is n prime?
False
Suppose -102 = 4*w - 4*q - 414, 4*w + 4*q = 304. Let j(l) = 5*l - 9. Let x be j(-7). Let r = w + x. Is r a prime number?
False
Let h(k) = -k**3 - 2*k**2 - 2*k + 3323. Is h(0) a composite number?
False
Is 60/8*8/(-12) - -30868 prime?
False
Suppose 412*k + 79295 = 417*k. Is k a prime number?
True
Suppose -7*x + 2*x + 15 = 0. Suppose -3*c - u = -290, 6*u - 3*u = -x. Is c prime?
True
Let o(y) = -100*y**2 + 5*y + 5. Let t be o(-3). Let n = 2091 + t. Is n a composite number?
False
Let u = -1105 - -2268. Is u prime?
True
Let g(p) = 175*p**3 - 6*p**2 + 25*p + 9. Is g(4) prime?
True
Let z(h) = 21*h**2 + 21*h + 27. Is z(13) prime?
False
Suppose 0 = 2*n + 6, -3*n + 0*n = -5*u + 60044. Is u a composite number?
False
Suppose -7*o - 2242 = -8675. Suppose 4*x = -5*j + o, 0*x - 927 = -5*j - 2*x. Is j composite?
True
Let p(g) = 18*g**3 + 4 - 7*g**2 - 9*g**3 + 2*g + 7. Is p(5) a prime number?
True
Is (1*-10102)/(1 - 3) a composite number?
False
Let t = -881 + 5490. Is t a composite number?
True
Let v(t) = -1013*t - 4. Let s be v(-2). Suppose -4*y - 2*y + s = 0. Is y prime?
True
Suppose 0 = 2958*r - 2956*r - 20486. Is r composite?
False
Is (2/(-3))/(5*4/(-1515390)) a composite number?
False
Suppose 2*d - 10925 = 2081. 