l + 22. Suppose 4*i + 5*q = 8*i + 3, -l*i - 3 = -4*q. Let h(s) = 12*s**3 - 3*s**2 + s + 7. Is h(i) a prime number?
True
Let d(a) = -5*a + 1693. Is d(0) prime?
True
Suppose 10*j - 43270 = -0*j. Suppose 2*g = 3*z - j, -z + 3*z - 4*g = 2898. Is z a prime number?
True
Let u = -19 + 5. Let m = u + 739. Suppose v + m = c - v, 2*c - 1432 = -2*v. Is c composite?
False
Suppose 0 = 15*x - 63852 + 4137. Is x a composite number?
True
Let h = -30 - -34. Suppose 0 = 3*n + 12, 0 = -h*f - 0*f + 2*n + 1516. Is f prime?
False
Let f = 64123 + -43080. Is f composite?
True
Let h(p) = -23*p. Let o(b) = 2*b + 28. Let t be o(0). Let j be t/(-6) + (-6)/18. Is h(j) a composite number?
True
Suppose 0 = -3*s - 9, -4*s = -3*i - 0*s + 39. Is 668 + i + 6/(-2) a composite number?
True
Let a(f) = 2*f**3 - 17*f**2 - 13*f + 3. Let q(p) = -5*p - 1. Let c be q(-3). Is a(c) a composite number?
True
Is 1358 - -6*6/(-36) a composite number?
True
Is (-11)/(11/(-7)) + 11542 composite?
False
Suppose 121*f - 133*f = -115932. Is f composite?
False
Let i(k) be the first derivative of -k**7/210 - 7*k**6/180 - 13*k**5/120 - 5*k**4/12 + 2*k**3 - 8. Let a(b) be the third derivative of i(b). Is a(-9) composite?
False
Suppose -o + 1841 = -n + 6840, -o + 2 = 0. Suppose 4*d - 13477 = -5*b - 942, 2*b = d + n. Is b a prime number?
True
Let r(n) = -n**3 + 6*n**2 + 3*n - 6. Let g be r(6). Suppose -12 = 4*o + g. Let x(d) = d**2 + 2*d + 9. Is x(o) a composite number?
True
Let a = 18 - 12. Let f(p) = 8*p - 11. Let r be f(2). Suppose -43 = r*c - a*c. Is c a prime number?
True
Suppose 3*j - 120 = 237. Let v = 208 + j. Is v a prime number?
False
Let j(s) = -6*s**3 + s**2. Let y be j(-1). Suppose -4*o + y*o = 510. Suppose -5*v + o = -0*v. Is v a composite number?
True
Let i(c) = 223*c - 9. Let p(n) = -n + 1. Let b(g) = -i(g) + 2*p(g). Is b(-6) a prime number?
True
Is ((-8)/6)/((-172)/6862929) a composite number?
False
Suppose -25580 = -7*d + 152283. Is d a composite number?
False
Suppose 0 = 5*w - 25, -i - 2*w - 2*w = -4603. Is i a composite number?
False
Suppose 5*k = 21910 - 1985. Suppose 3*x = 4*q - k, -3*q = 2*q + 2*x - 4987. Is q prime?
True
Suppose -v + 1098 = -5*y, -3*y = 4*v - 0*y - 4415. Suppose -u = 100 - v. Is u composite?
True
Let o(f) = 5*f - 1. Let z(k) = -6*k + 2. Let p(g) = -5*o(g) - 4*z(g). Let r be p(-7). Is 69*r/((-8)/(-2)) a composite number?
True
Let y(h) = 2*h - 7. Let i be y(6). Suppose -15*d + i = -1270. Is d composite?
True
Suppose -106 = -3*w + 170. Let u be (-3 - -5) + 3 - 2. Suppose -c + w = u*c. Is c a prime number?
True
Let a(t) = 6*t**2 + 13*t + 7. Let o(n) = -7*n**2 - 14*n - 7. Let s(j) = 6*a(j) + 5*o(j). Suppose -8 = -f + 2*f. Is s(f) a composite number?
False
Let s be 26*(-1)/(-2)*(2 - 1). Suppose s*z - 10768 = 5*z. Is z a composite number?
True
Let v(s) = 8*s - 11*s**3 + 7 + 12*s**3 + 3*s + 11*s**2. Let l be v(-10). Is (-2)/l - (-206)/6 composite?
True
Let r(c) = 2*c - 8. Let m be r(6). Suppose -m*b - 5*p = 11, -3*p = b - 6*b - 23. Is (-145)/(-1) + (-6 - b) a prime number?
False
Let l(c) = -2*c - 7 - 17*c**2 + 31*c**2 + 5*c**2 + 37*c**2. Is l(7) a prime number?
False
Let t = 7555 + -3991. Suppose 0 = 4*a - u - 2975, -4*u - t = -5*a + 163. Is a a composite number?
False
Suppose 8585 + 40199 = 16*v. Is v a composite number?
False
Suppose -5*r + s = -1918, 0 = -2*s + 3*s - 2. Let k = 1101 - r. Is k a prime number?
False
Let p(v) = 2*v**3 - 11*v**2 - 9*v + 29. Is p(13) a composite number?
False
Suppose 3*v + 0*l - 5*l + 4790 = 0, 3*v = -4*l - 4835. Let b = v - -2344. Is b a prime number?
True
Suppose -4*c - 16 = -8*c. Suppose -c*s + 13884 - 2675 = 5*l, 3*l = -4*s + 6719. Is l a prime number?
False
Let g = -24051 - -46220. Is g a composite number?
True
Let s(y) be the first derivative of 25*y**3/3 - 3*y**2 - 5*y + 24. Is s(6) a prime number?
True
Let y be (-2)/((-5720)/(-2865) - 2). Suppose 4*o - y = o. Is o prime?
True
Let g(k) = 38*k**2 + 29*k + 203. Is g(-6) composite?
True
Suppose -2*q = q - 3894. Let m = q + -411. Is m prime?
True
Let i(d) = 0*d + 55*d**3 - 61*d**3 + 0*d + 1 - 3*d. Let b = 2 + -6. Is i(b) a prime number?
True
Let j(o) = o**2 - 22*o - 113. Is j(-8) a composite number?
False
Suppose 5*j = 5*o + 3200, 5*j + 3*o - 3924 + 740 = 0. Let q = 1629 - j. Is q a prime number?
True
Let z(s) = 10*s - 2. Let v(j) = 24*j**2 - j - 1. Let l be v(-1). Suppose -4*m = -2*m - l. Is z(m) a composite number?
True
Let j = 33 + -28. Suppose 2726 = v + j*d, -2*d + 6340 = -5*v + 19916. Suppose -5*q + 9*q = v. Is q composite?
True
Suppose 2*s + 3*v = s + 624, -s + 616 = -v. Suppose l - 3*l + s = 0. Is l composite?
True
Suppose -3*i = -i. Suppose 2*a + 3*z = -i*z + 3656, -3*a = 3*z - 5487. Let o = -1034 + a. Is o a prime number?
True
Is (-19)/(-38) + (-18762)/(-4) prime?
True
Suppose 3*x + 0*x = i, 20 = 2*i + 4*x. Suppose -m - 4*d = -2*m - i, 4*m - d = 6. Is (-3 - -632 - 0) + m a prime number?
True
Let l be (-7 - 2185/25)*5*-1. Let j = l + -163. Is j prime?
False
Suppose -5*i - 201 = -2*u, -6*i = -3*u - 4*i + 307. Is u composite?
False
Suppose 3*l - 7 = x + 9, -2*l = 4*x - 6. Let q = -957 - -1610. Suppose -2*p + 5*o = p - q, -l*p + 1051 = o. Is p a composite number?
False
Suppose 3*i + 7*l - 12*l = 5779, 5*i + l = 9641. Let t = 6669 - i. Is t composite?
True
Is 6/(-5) + 11021/5 a composite number?
False
Let q = 5 + 2. Let i(p) be the second derivative of 3*p**4/4 + p**3 - 5*p**2 - 149*p. Is i(q) a composite number?
True
Suppose -s - 4*g = 2*s + 6, -4*g = -2*s + 16. Suppose -l = 2*p - 387 - 504, -5*p - s*l = -2225. Is p a prime number?
True
Suppose 0 = -64*p + 74*p - 8350. Is p composite?
True
Let u be ((-2298)/(-4))/((-3)/(-8)). Let l = 2499 - u. Is l composite?
False
Let g(i) = -3*i**3 - 6*i**2 + 4*i - 5. Let n be g(-6). Let r = n - 288. Is r a prime number?
False
Let b = 531 - 44. Is b a prime number?
True
Suppose -78 - 49 = -o. Is o composite?
False
Let x = -5 - -8. Let q be (x - 2)*47*1. Suppose t - q = 112. Is t prime?
False
Let n(j) = 59 - 58 + 8*j + j. Let q be n(-1). Is (-4)/1*322/q a composite number?
True
Let u(p) = 111*p**2 + 5*p + 43. Is u(-15) composite?
False
Suppose -r = -2*i - 11, -2*i + 19 = 4*r - 5. Let g(p) = -117*p - 5. Let n be g(-9). Suppose -n = -t - r*t. Is t a prime number?
True
Let t be (-29 + (-9)/3)/(-2). Suppose d = 3*b + 17, -4*d + 4*b + 12 + t = 0. Suppose -d*z - z = -63. Is z prime?
False
Suppose 0 = 2*d + 3*d - 2*v - 39, 2*d - 3*v - 20 = 0. Let q = d + -4. Suppose -q*b + 806 = -55. Is b a prime number?
False
Let i = 5085 + 2836. Let w = -3882 + i. Is w composite?
True
Suppose 0 = -y - y + 608. Suppose 0 = 2*t - 2*f - 596, -t + 2*t - y = 3*f. Suppose -a = -4*k - 135, -3*a + 3*k = -a - t. Is a prime?
False
Let l = 6 + -3. Let t(u) = -40*u + 8. Let k(a) = a. Let q(w) = l*k(w) + t(w). Is q(-2) a composite number?
True
Let j(z) = 21*z**3 - z**2. Let v be j(-1). Is (6 + (543 - 7))/((-4)/v) composite?
True
Let z be 4/(-6)*30/(-4)*13. Suppose t - 65 = -2*s + z, 2*t - 274 = 3*s. Is t prime?
False
Let m be (-1)/(-2) + (-243)/(-6). Suppose 0 = 8*s + m - 337. Is s composite?
False
Suppose -180*x = -176*x - 114212. Is x prime?
False
Let v(s) = 147*s**2 + 25*s + 107. Is v(-4) a composite number?
True
Let m = -297 + 119. Let z = m + 498. Suppose -z = -3*v + 289. Is v prime?
False
Let r(y) = -7*y**3 + 7*y**2 + 5*y + 1. Let q be r(-5). Let p = q - 632. Suppose 3*o + p = 5*t, t = -0*t + 4*o + 89. Is t a composite number?
True
Suppose 25*h - 7890 = 22*h. Let p = h + -1716. Is p a prime number?
False
Is (-147)/(-14)*(4548/9 + 2) composite?
True
Suppose 4*x + 4*s - 228 = 0, -4*s = 2*x - 7*s - 119. Suppose -3*b + 5*u = -6*b + x, -3*u + 102 = 5*b. Is b prime?
False
Suppose 77925 + 17427 = 24*s. Is s a prime number?
False
Let h be (-2)/(-5) + (-10)/25. Suppose l - 5*l - k - 337 = h, -2 = 2*k. Is 625/7 - (-24)/l composite?
False
Let i(r) = -r + 1 + 202*r**2 + 2*r - 200*r**2. Let g be i(-5). Suppose 2*a - 126 - g = 0. Is a a composite number?
True
Suppose 2*x = -3*x - 3*y + 79583, 3*x - 4*y = 47773. Is x composite?
False
Let v(s) = -1786*s + 15. Is v(-2) a composite number?
True
Suppose 0 = 8*g + 3*g + 22528. Let r = g + 3433. Is r composite?
True
Is 15568 - -3*26/6 prime?
True
Let j(r) = r**3 + 20*r**2 + 75*r - 19. Is j(-12) a composite number?
False
Suppose u - 4*u = -189