= 4*f + g*v, -5*f = 4*v - 3053. Is f a prime number?
True
Let z = 25812 + -14905. Is z composite?
True
Let o be 3/1 - (14 - 16). Let k be o*7/((-140)/(-12)). Suppose -4*r = -5*x - 1363, -2*x + 1679 = 2*r + k*r. Is r a prime number?
True
Is ((-51)/(-85))/((-2)/(-29690)) a prime number?
False
Let i = 12 + -18. Let t = i - -8. Is 3745/(-20)*(-8)/t prime?
False
Suppose 4*k - 284649 = 2*k - 3*u, 5*k + 5*u = 711620. Is k composite?
True
Let k = 4722 - 2653. Is k prime?
True
Let g be (-2)/(-11) - (-35)/(-11). Suppose -l = a + 3 - 1, 0 = -2*a - 10. Is 213 + l/g*2 prime?
True
Suppose -v - 154 = v. Let n = v + 183. Let p = n + -29. Is p prime?
False
Suppose -2*b = 5473 - 19021. Suppose -4*h + c + b = -c, 3*c = -3. Is h a prime number?
True
Is 1*-11579*(3 + (-68)/17) a composite number?
False
Let i(h) = -44*h**2 - 5*h - 1. Let x(j) = 219*j**2 + 26*j + 6. Let p(d) = -11*i(d) - 2*x(d). Let z be (3/(-2))/((-69)/(-92)). Is p(z) a composite number?
True
Suppose 3*z - 1652 = 2806. Let w = 2237 - z. Is w a prime number?
True
Let s(b) = 9*b**2 + 86*b + 33. Let l(q) = -3*q**2 - 29*q - 11. Let m(i) = 11*l(i) + 4*s(i). Is m(-16) composite?
False
Suppose 0*d - 3*n + 806 = 2*d, -4 = n. Is d a composite number?
False
Let j = -51 - -53. Suppose -413 = x - j*x. Is x prime?
False
Suppose 5*w + 2 = 6*w. Suppose -w*v - 4*f - 100 = 4, 2*f = -4*v - 202. Let l = v - -137. Is l composite?
True
Let w(d) = d**3 - d**2 - d - 2. Let l be w(0). Let g(m) = 16*m - 3*m - 9*m + 41*m**2 + 2. Is g(l) prime?
False
Let p(a) = 2*a**2 - a**2 - 3*a**3 + 0*a**2 - 3*a**2 + 4*a. Is p(-5) a composite number?
True
Suppose -4*f = 3*s + 435 - 60, 0 = -s + f - 118. Let l = s - -170. Let r = -2 + l. Is r composite?
False
Suppose 0 = -5*z - 4*p + 56, 8*p - 44 = -3*z + 3*p. Suppose 5*o - z = 17. Suppose 6*u - o*u - 709 = 0. Is u a composite number?
False
Suppose -h + 10 = 3. Let i(f) = f - 5. Let r be i(h). Is 2870/(3 + r) + -1 prime?
False
Let z(u) = 5*u**2 + 65*u + 36. Let l(p) = p**2 - 3*p + 9*p - 5*p + 7 + 12*p. Let i(c) = -11*l(c) + 2*z(c). Is i(-5) a composite number?
True
Let q = 21397 + -5970. Is q composite?
False
Let a = -25803 - -41248. Is a composite?
True
Suppose -4*z + 5*u - 1458 = 0, -2*z + 2*u = 4*u + 738. Let r = z - -630. Is r prime?
True
Suppose 0 = -f + 9 - 8. Let l = -4 + f. Is ((-158)/(-10))/(l/(-15)) composite?
False
Suppose -2*i = -5*b - 206, 2*i - 92 = i - 3*b. Suppose 0 = 2*x + 3*p - i, 3*p + 89 = 4*x - 89. Is x prime?
False
Let b(r) be the first derivative of 311*r**3/3 + r**2/2 + r + 5. Let d be b(-1). Suppose -3*i = -8*i + 4*g + 781, 0 = 2*i - 3*g - d. Is i a composite number?
False
Let i = 67 - 65. Suppose i*a - 4*q + 3*q = 428, 0 = 5*a + 2*q - 1061. Is a a composite number?
True
Suppose -c + 105 = -g + 23, 3*c = -2*g + 241. Suppose 0 = 5*d + 4*z - 793, -d + c = z - 78. Is d a prime number?
True
Let h = -1817 - -2922. Let k be (-2)/4 + (-25)/(-2). Suppose -4*v = -0*v - k, -4*v - h = -y. Is y prime?
True
Suppose -3*c = -3*j - 6*c + 39, 0 = -3*j - c + 43. Is 13 - j - (0/1 + -615) composite?
False
Let d = -44 + 44. Suppose 2*x + d*i - 158 = 4*i, 79 = x + 3*i. Is x prime?
True
Is 2606 + (-6)/(5 + 1) a prime number?
False
Let v be 2 + -16 - (-3 + 1). Let t(f) = -f**2 - 13*f - 9. Let d be t(v). Suppose -d*w + 154 + 95 = 0. Is w a prime number?
True
Let n be (12/7)/(6/21). Let p(c) = 11*c**3 - 4*c**2 + 7*c - 10. Let y be p(n). Suppose -3*x - l = -y + 291, 0 = -5*x - 5*l + 3275. Is x composite?
False
Suppose 0 = x - 4*s - 1065, -2*x - 3*s - 5359 = -7*x. Is x composite?
True
Let a = 56 - 38. Let h be 45/(-6)*(-12)/a. Suppose 2*s + 102 = h*v - 2207, v + 2*s = 469. Is v a composite number?
False
Let a(k) = -4*k**3 - 14*k**2 - 32*k + 31. Is a(-12) composite?
True
Suppose 0 = 5*o - 15, -2*d - d + 15 = 5*o. Suppose s - 12 = -l + 105, 2*l - 8 = d. Suppose -s = -5*j - 4*v, -2*j = -5*j - v + 65. Is j a composite number?
True
Suppose -578*q + 573*q + 1105 = 0. Let l be (1 - (0 + 0))*412. Let k = l - q. Is k a composite number?
False
Suppose 0 = -0*x + 23*x - 86963. Is x prime?
False
Let w = 4669 + 3742. Is w composite?
True
Let l(f) = -26*f**2 - 6*f + 2. Let o(i) = -9*i**2 - 2*i + 1. Let c(z) = -5*l(z) + 14*o(z). Let v = -437 - -440. Is c(v) prime?
False
Let l = 12 + -9. Suppose -9 = l*m - 3*q, -7*q + 2*q = -10. Is (-163 + 3 + m)/(-1) prime?
False
Let t = -727 + 492. Let m be (-18)/(-12) + 3933/(-6). Let z = t - m. Is z a composite number?
False
Suppose 0 = -3*a + 22 + 14. Suppose -2*m = 2*f, 2*f - 2*m = -0*f + a. Suppose -2*x = -4*x + f*p + 145, 5*x - 394 = -3*p. Is x a composite number?
True
Is (16 - 14)*((-86367)/(-6) + 0) prime?
True
Let p(a) = a**3 - 6*a**2 + 5*a - 10. Let c be p(7). Suppose 0 = -2*b - 3*b + 15. Suppose -x - c = -b*x. Is x a prime number?
True
Is 54992/12 + (-10)/(-30) a prime number?
True
Let g(c) be the first derivative of -c**4/4 - 5*c**3/3 + c**2/2 - 7*c - 9. Let u be g(-5). Is (-737)/(-6) + (-2)/u composite?
True
Suppose -1147*v - 382291 = -1154*v. Is v a composite number?
True
Is -64*-2*372 + (-14)/2 a composite number?
False
Let q(g) be the first derivative of -5 + g**3 + 21/4*g**4 - g**2 + g. Is q(2) a composite number?
True
Let u(z) = z**3 + 17*z**2 - 11*z + 20. Let r be u(-15). Suppose -p - r = -6*p. Is p composite?
False
Let x = 0 - -7. Suppose 2*w = x*w - 15, -5*q = 2*w - 1021. Is q + (1 - 1 - -2) a prime number?
False
Let b(c) = -c**3 - 3*c**2 - 3. Let j be b(-3). Let q(a) = a + 5. Let k be q(j). Is 89/1*(k + -1) prime?
True
Let f(j) = 36 - j - 163*j - 37. Is f(-1) a composite number?
False
Suppose -7*a + 34 = 13. Suppose a*u - 173 = 496. Is u a composite number?
False
Suppose -12*t + 85892 = -52504. Is t a prime number?
False
Let o = -16 + 19. Suppose o*p + 2*j - 9 = 0, 0 = -3*p - p - 4*j + 8. Suppose -3*g - 333 = -5*n - g, p*g - 139 = -2*n. Is n a composite number?
False
Let r(u) = -6*u**2 - 4*u - 7. Let j be r(5). Let s = 366 + j. Suppose 0 = 4*c - 127 - s. Is c a composite number?
False
Let t(z) be the third derivative of -z**6/120 - z**5/12 - 2*z**4/3 - 19*z**3/6 - 17*z**2. Is t(-13) a prime number?
False
Let a(g) = 4 - 14 - 5 - 199*g - 31*g. Is a(-10) composite?
True
Is 29/(-58)*(-6752 - (4 - 2)) a composite number?
True
Let f = -12 - -16. Let u be (-4)/(-18) + f/(-18). Suppose -y = -u - 21. Is y a composite number?
True
Let s = 8 + -12. Is (-2)/5*(-5 - -10825)/s composite?
True
Let v(u) = -u - 8. Let q be v(-12). Suppose -q*j + 5*g + 3121 = -2330, -2*g = -10. Is j a composite number?
True
Let s(m) = -m + 4. Let t = -24 - -24. Let a be s(t). Suppose -a*p + 385 = -379. Is p a prime number?
True
Let y be 4/(-3)*(18 + -927). Let l = y - 86. Is l a composite number?
True
Suppose -k + 5*s + 166 = -0*k, 4*k - 3*s - 630 = 0. Let n = k - -880. Suppose -4*d + 3*a = a - n, 5*a - 494 = -2*d. Is d composite?
False
Let u(i) = 1665*i + 154. Is u(8) prime?
False
Let f(a) = 5*a - 32. Let p(x) = 6*x - 32. Let l(o) = 3*f(o) - 4*p(o). Is l(-11) prime?
True
Suppose -2*f + 10 = 0, -2*a + 5*f + 265 = -104. Suppose -1213 = -6*c + a. Is c a prime number?
False
Suppose 0 = -331*m + 323*m + 19848. Is m composite?
True
Let z = -6 - -14. Suppose -z*x - 9 = -11*x. Suppose -3*f - 2*q + 15 + 196 = 0, -3*q = -x*f + 186. Is f composite?
False
Suppose 3*k + 981 = -354. Let y = 782 + k. Is y composite?
False
Let b be (5 + -15)*70/(-4). Let j = 366 - b. Is j composite?
False
Let o(p) = 1166*p**2 - 7*p - 11. Is o(4) composite?
False
Let i(h) = -2*h - 75. Let r be i(0). Let p be r/15 + 0/(-2). Is (-1 - -4) + p + 145 composite?
True
Suppose -8*d + 3*d - 30 = 0. Let t = 131 - -260. Let z = t - d. Is z a prime number?
True
Let s = -2236 + 4389. Is s a composite number?
False
Let n(b) = 284*b**2 + 3*b. Suppose -w = 13 - 11. Let y be n(w). Let x = y - 711. Is x a prime number?
True
Suppose 18 + 0 = 9*r. Let u = -224 + 1016. Suppose 0*c - u = -3*x + 3*c, 0 = 2*c - r. Is x prime?
False
Let x = -1204 - -3725. Is x a composite number?
False
Let o(x) = -x**3 + x**2 + 3*x - 2. Let d be o(2). Suppose -3*v + 1965 + 2574 = d. Is v prime?
False
Let d(c) = 5*c + 47. Let l be d(-9). Suppose 6810 = 5*r - t, 0 = -l*r + r - 3*t + 1346. Is r prime?
True
Suppose 445 = 5*v + 5*u, -5*v = -3*u - 0*u - 469. Suppose -v = -2*a - 2*a. Is 4*2/8*a a composite number?
False
Is ((-38694)/(-12))/(22/(-4) + 6) prime?
