q = -5*n + 751, -n + 3844 = 5*q + 89. Is q a composite number?
False
Suppose -429*n + 15681 = -426*n. Is n a composite number?
False
Suppose 184 = r - 3*a, -3*r + 2*a = -3*a - 548. Let f = 292 - r. Suppose 384 - f = 3*d. Is d composite?
True
Let q(s) = s**2 - 4*s - 3. Let b = -15 - -20. Let x be q(b). Suppose 8540 = 4*h + 3*w + 2653, -3*h = x*w - 4415. Is h a composite number?
False
Let t(g) = 23 - 37 - 5*g - 41*g. Is t(-10) composite?
True
Let p be -1*1 - 3/(-1). Suppose a + 410 = 3*c, -2*a = p*c + a - 277. Suppose -2*x = -2*l + 258, 0*l = -l + 5*x + c. Is l a composite number?
False
Let l(b) = 822*b - 11. Let q(v) = -8220*v + 111. Let n(t) = -21*l(t) - 2*q(t). Is n(-5) a composite number?
True
Let w(d) = 13*d**3 + 2*d**2 - 1. Let x be w(-1). Is -1905*(1 - x/(-9)) composite?
True
Let s(l) = 34*l**2 + l. Let o be s(1). Let u(z) = -z**2 - 12*z + 2. Let x be u(-12). Suppose -5*m + 20 + o = 4*y, 0 = 2*m + x*y - 20. Is m a prime number?
False
Suppose 3*p + 22 = 1. Let h(f) = f**3 + 7*f**2 - 2*f - 10. Let r be h(p). Suppose -n + y + 968 = 0, 0*y = -3*n + r*y + 2901. Is n a composite number?
False
Let x(z) = z**3 + 6*z**2 - 5*z + 9. Let v be x(-7). Is 0 - (-1)/(v/(-995)) a prime number?
True
Let j = 2224 + -483. Is j prime?
True
Suppose 878 = c - 5*i, -3*c + 4*i - i + 2658 = 0. Suppose c = 4*b - 780. Is b prime?
False
Let w(d) = 500*d + 1. Suppose -5*m + t + 2 = -6, 5*m = -2*t - 1. Let a be w(m). Let v = -356 + a. Is v a composite number?
True
Suppose 3*d = -3*b + 27, b = 5*d - 32 - 25. Suppose 5*y - 9 = d. Suppose y*q - 542 = -18. Is q a prime number?
True
Suppose -z + 3*o - o = -4, -z + 6 = -4*o. Suppose -z*r + 260 = 2*r. Is r a composite number?
True
Let v = 321 - 40. Let h = 540 - v. Is h prime?
False
Suppose 0 = -5*c - x + 2*x + 11, x = 4. Suppose 4*q - 3 - 17 = -4*z, 4*z - c*q - 20 = 0. Suppose 0 = z*r - 97 + 2. Is r prime?
True
Let n be (837/(-6))/(2 + 5/(-2)). Let t = -96 + n. Is t a composite number?
True
Let i(n) = 53*n**2 + 15*n - 65. Is i(18) composite?
False
Let c be 1/((-2)/(-10)) - 873/(-9). Suppose 3*b + 0*i - 72 = -3*i, -4*b = 5*i - 99. Let z = c + b. Is z a prime number?
False
Let i be 4716/9 + ((-6)/2)/(-3). Let n(q) = 16*q**2 - 2*q + 5. Let t be n(-5). Suppose 4*b + 244 = 5*v - t, -i = -4*v + b. Is v a prime number?
True
Suppose 0 = -4*p + 5*a + 5946, -2*a + 1249 = 2*p - 1715. Suppose 0*d - p = -4*d. Is d composite?
True
Let s be -2102*2*(-12)/6. Let x = s + -5947. Suppose 0*c = 3*a - c - x, a - 5*c = 811. Is a prime?
True
Let u be 1 + -20 + 3 - -2. Suppose 0 = 5*z - 210 + 65. Let n = z + u. Is n a composite number?
True
Let m be 5/(165/(-237)) - 2/(-11). Is (-496)/(-9 - m) + (3 - 0) a composite number?
False
Let f(z) = -z - 8. Let b be f(-10). Suppose b*k - 4*k = -154. Is k a prime number?
False
Let f(y) = -185*y - 36. Suppose -60*o = -57*o + 15. Is f(o) prime?
False
Suppose -3*i = -2*i + 8. Let x(c) = -10*c + 3 + 5*c**2 - 1 - 3*c**2 - 1. Is x(i) a composite number?
True
Is (-166384)/(-6) + -1 + (-244)/(-183) a composite number?
True
Suppose 4*m = 6*m. Suppose m*o + 3*o = 3297. Is o composite?
True
Let x be 20/(-70) - (-37)/7. Suppose -x*m = -2*c - 69, 0*m - 3*c - 6 = -m. Is m a prime number?
False
Let w = 227 + 11594. Is w composite?
False
Suppose 0*d + 5*d - 5*c - 3145 = 0, 3*d = -2*c + 1872. Suppose -7*l + 781 = -d. Is l a prime number?
False
Suppose -4*g + 3*g - 5880 = -4*l, 4*g = 5*l - 7350. Let y = -761 + l. Is y prime?
True
Suppose 2*f + 0*f = 4. Let m(q) = 15 + 49*q**f - 15. Is m(-1) prime?
False
Suppose -9*t + 20 = -16. Suppose t*z - w - 2248 = 0, 0*z + 4*w - 1142 = -2*z. Is z a composite number?
False
Suppose 2*c - v - 315 = 0, 0 = 2*c - 0*v - 3*v - 325. Let m = 46 + c. Is m composite?
True
Suppose w - 2*r = 15, w + 0 = -5*r + 1. Let b = w + -12. Let y(d) = -51*d. Is y(b) a prime number?
False
Suppose 0 = 2*n + 3*j - 7145, -8374 = -4*n + 5*j + 5905. Is n a prime number?
True
Suppose -99*u - 4885 = -104*u. Is u prime?
True
Let n(l) = 4141*l - 8. Is n(1) prime?
True
Let k(s) = -15*s**3 + 19*s**2 - 10*s - 1. Let u(a) = 8*a**3 - 9*a**2 + 5*a + 1. Let p(x) = -6*k(x) - 13*u(x). Is p(-3) a composite number?
True
Suppose -k = -f - 3*k + 128, 0 = 3*k - 15. Suppose -4*q - 4 = 0, 2*u - 2*q - 2*q + 94 = 0. Let y = u + f. Is y prime?
False
Let u = 3 - 3. Let g be (-5 - 8/4) + u. Is 14/g + (-1 - -1484) composite?
False
Let n = 8 + -11. Let c be ((-2)/n)/(4/852). Suppose 0 = -5*f + 432 - c. Is f a prime number?
False
Suppose 98*n = 93*n + 25. Suppose -19145 = -3*i + n*q, 2*q - 6*q - 6377 = -i. Is i a prime number?
False
Let b(z) be the first derivative of -83*z**2/2 - 24*z - 16. Is b(-19) a prime number?
True
Suppose -3*i - 2*i + 2*a + 16459 = 0, 0 = 4*a - 12. Is i a prime number?
False
Suppose 14*z = 8*z + 6042. Let g = 1716 - z. Is g composite?
False
Suppose 5*u - 10 = 0, -3*u + 5*u + 647 = 3*l. Is l composite?
True
Is (-191)/(2 + 1 - 4) a prime number?
True
Let i = 82 - 112. Let x = 104 + i. Is x a prime number?
False
Let l = 1034 - -509. Is l composite?
False
Let p(x) = -2*x**3 + 56*x**2 + 23*x + 41. Is p(24) composite?
True
Suppose -5*w + 2*i = 0, -i + 12 = w + i. Let f(r) = -r**2 + w - 56*r + 2*r**2 + 57*r. Is f(-8) a prime number?
False
Is (5/25)/((-1)/5)*-2371 composite?
False
Suppose -y + 4 = 0, 3*y - 7*y - 215 = -a. Suppose p - a = 1115. Is p composite?
True
Let o(p) be the second derivative of -44*p**3/3 - 13*p**2/2 - 25*p. Is o(-3) prime?
True
Suppose 8*v - 4*v = 4. Is (-1*(-784 - 9/3))/v a composite number?
False
Suppose -3*d = -4*s + 1143, 5*d = 3*s - 2*s - 273. Suppose -m + s = -5. Is m a composite number?
False
Let u be (34/1)/((-6)/(-141)). Let s(n) = -24*n + 10. Let i be s(21). Let r = u + i. Is r a composite number?
True
Let r be (-858)/(-15) + 2/(-10). Suppose 10 = -5*z, -2*w + w + 2*z = r. Let s = w - -120. Is s composite?
False
Suppose 2*w + 16 = -2*w, 2*w - 62425 = -3*p. Suppose 63*g - 66*g + p = 0. Is g a prime number?
False
Is 16 + -16 + -3 + 6506 composite?
True
Let d(p) = p**3 - 3*p**2 - 12*p - 2. Let x be d(9). Suppose 2*v - x = 646. Is v a prime number?
False
Suppose i - r - 39183 = 0, -19*i - 4*r = -14*i - 195897. Is i composite?
False
Let m(b) = -b**3 - 16*b**2 - 4*b - 11. Let a = -5 - -6. Let q be -40*a/15*6. Is m(q) a prime number?
True
Let o be (3/18)/((-7)/(-42)). Let i(y) = y**3 + y**2 + 1. Let k(v) = -5*v**3 - 7*v**2 - 5*v - 3. Let x(a) = o*k(a) + 4*i(a). Is x(-4) a composite number?
False
Let g = -5 - -9. Suppose 0 = -6*l + g*l - 4. Is 10/15*(-57)/l a composite number?
False
Suppose 0 = -5*o + 20 - 5. Suppose -k + 3*p - 8*p + 241 = 0, -o*k + 747 = 3*p. Is k composite?
False
Let l = -44 - -30. Let i = 14 + l. Is (7 - 3) + (i - -253) composite?
False
Let y(f) = -f + 4. Let z be y(3). Let c(o) = 2*o**3 + 1. Let i be c(z). Suppose -2*l + 7*l - 1550 = i*d, -1248 = -4*l + 4*d. Is l a composite number?
False
Let g(l) = -l**3 + 2*l**2 + 5*l + 1. Let v(s) = -s**3 - 8*s**2 + 10*s + 5. Let a be v(-9). Let y be g(a). Is y/(1/(-3 + 4)) composite?
True
Suppose 0 = 20*j - 88081 - 158379. Is j a composite number?
False
Is 6/(-12) + 192801/14 prime?
False
Suppose 0 = g - 2 - 3. Suppose -g*d = -d - 56. Is 3098/d - 4/14 a prime number?
False
Suppose 2*d - 6*d = 4*r, 5*r + 6 = d. Is d*355 - (-4)/(-2) a prime number?
True
Suppose -32095 = 5*f + 5*o, 3*f + 27992 - 8714 = 4*o. Let s = 12489 + f. Is s composite?
False
Let k = 33074 + 16335. Is k composite?
False
Suppose -3 = -3*y, -n + 4*n = 2*y + 31420. Let d = n + -6827. Is d composite?
True
Let y(m) = m**3 - 6*m**2 - 24*m + 18. Is y(13) composite?
True
Let s(p) be the first derivative of p**3/3 - 2*p**2 - 2*p + 1. Let v be 4/(-14) - (-407)/77. Is s(v) a prime number?
True
Let k(s) = 84*s + 2 - 4 + 50*s - 44*s. Let r be k(7). Suppose -5*q - 782 = -2*t, 2*q = -3*t - r + 1763. Is t a composite number?
True
Suppose -t - 3*t - 5*q - 25 = 0, -20 = -5*t + 4*q. Let s be (-2 - t) + 3 + -13. Is -134*-2*(-3)/s composite?
False
Let n = 38 + -27. Suppose -116 = -6*o - 92. Is (n - o)*(-3 + 5) a composite number?
True
Suppose -9*y + 16301 = -16414. Is y a composite number?
True
Let p(s) = s**3 + 10*s**2 + 9*s + 1. Let x be p(-9). Let h be (-5 + 2)*x + -10. Let r = 27 + h. Is r a prime number?
False
Let w(c) = 7*c**2 - 3*c + 29. Is w(15) a composite number?
False
Let b(y) = 3*y