1584 = g, y = k - 3*g - g - 379. Is k a composite number?
True
Let t = 0 - 2. Let i = t + 205. Is i a prime number?
False
Suppose 3*r - 7*r = -472. Is r composite?
True
Let f(k) = -2*k**3 - 8*k**2 + 7. Let l be f(-6). Suppose 2*i - 153 = -2*d + l, -2*i - 5*d + 313 = 0. Is i a composite number?
False
Suppose -2*y + 277 = 3*y - 3*i, y - 4*i - 69 = 0. Is y prime?
True
Let u be -2*14/(-10)*-5. Let v = u - -33. Let w = v - 12. Is w composite?
False
Let b(s) = -s**3 + 18*s**2 - 18*s - 13. Let o be b(16). Is o - 1/(-4)*0 a prime number?
True
Let j = 397 - -445. Suppose -n + 0*n = -585. Let r = j - n. Is r a composite number?
False
Let v(g) = g**3 - 2*g**2 - 2*g. Let d be v(3). Let t(m) = -m - 10. Let b be t(-12). Suppose -d*h + 215 = b*h. Is h a prime number?
True
Suppose 2*o + o + 3*m = 6540, 5*o + 2*m = 10909. Is o a prime number?
False
Let p(k) = 2*k + 10. Let s be p(-7). Let f(v) = v**2 + 5*v + 6. Let w be f(s). Let x(q) = 124*q**2 + 3*q - 3. Is x(w) composite?
False
Suppose 4*v = 4*p - 384, 98 = -0*p + p + v. Is p prime?
True
Suppose -5*y - 119 = -6*y. Let v(o) = -2 + 2 - y*o. Is v(-1) prime?
False
Suppose -1615 = -7*u + 982. Is u a composite number?
True
Suppose 5*w - w = 18764. Is w composite?
False
Suppose -5*p = -0*p. Let o = 2 - p. Is 8/16 - (-41)/o a composite number?
True
Let a = 724 + -473. Is a composite?
False
Let c = -3 + 8. Suppose 2*r = 2*i + 126, -191 = r - 4*r + c*i. Is r a composite number?
True
Suppose -4 + 16 = -4*t. Let f(o) = -3*o**3 + 2*o**2 + 3*o + 5. Is f(t) composite?
True
Suppose -3*y - 20 = -5*y - 5*k, 0 = 3*y - 5*k - 5. Suppose -1120 = -5*j + y*l, j + 4*l = -j + 436. Is j/12 + (-2)/(-4) a prime number?
True
Suppose 0 = 4*d + t + 4*t - 27465, 5*t = d - 6860. Is d composite?
True
Let k(u) = 4*u**2 - 1 - u - u + 8. Is k(3) a prime number?
True
Is 51/2 - (-6)/12 composite?
True
Suppose d + a - 1333 = 0, 0 = -5*d - 3*a + 8050 - 1393. Suppose 2*p - d = -p. Is p prime?
True
Let n = -531 - -766. Is n a prime number?
False
Suppose 3*m + g = 8, 0 = 3*m - g - 2*g. Let l be 9/(-12) + 887/4. Suppose 0 = -3*t + i + 347, l + 17 = m*t - 4*i. Is t a prime number?
False
Let w = -119 + 198. Is w prime?
True
Let o(d) = d**3 - d**2 + 6*d - 3. Let r = -10 - -14. Suppose -2*v + r = -4. Is o(v) prime?
False
Suppose 0*y + 2895 = 5*y. Let m = -388 + y. Is m a prime number?
True
Suppose -5*s + 3412 = 477. Is s prime?
True
Suppose -4*k - 8 = -0*k. Is 446/5 + k/10 composite?
False
Suppose 3*d - 2106 = h, -2*d = -3*d - 3*h + 702. Suppose -i + d = 2*i. Suppose 86 = -4*j + i. Is j composite?
False
Suppose -3*g = -g. Suppose g = n + f - 10 - 0, -15 = -2*n - f. Suppose d + 185 = n*l + 6*d, 5*d = 20. Is l a prime number?
False
Let p = -739 - -1748. Is p composite?
False
Let x be 10/6 + (-1)/(-3). Suppose 2*q + 42 = 2*b - x*q, 4*q - 42 = -2*b. Is (-259)/(-3) - (-14)/b prime?
False
Let z be 18/8 + 1/(-4). Suppose 0 = 2*m - z*r - 14, m = -4*r - 13 + 5. Suppose -m*d + 0*d + 76 = 5*j, j + 10 = d. Is d prime?
False
Let j be (-2)/(-4)*-6 + 4. Let u(k) = 0 - 17*k - k - j. Is u(-5) a composite number?
False
Let q(z) = -z**3 + 5*z**2 + 7*z - 6. Suppose -4 = -2*k, 2*k + 2*k = 3*i - 10. Let x be q(i). Suppose 0 = -x*g - 3*g + 165. Is g a composite number?
True
Suppose -3*s - 5*x + 2 = -8, -2*s - 3*x = -6. Suppose s = -3*n + 2*n + 33. Let u = n + 4. Is u prime?
True
Is 9/6 - ((-29691)/(-6))/(-3) prime?
False
Let n = -98 - -255. Is n a prime number?
True
Let u = 224 - 131. Suppose 6*l + 280 = l. Let q = u + l. Is q a prime number?
True
Let t(m) = -m**3 + 13*m**2 - 12. Let u be t(13). Let r(b) = b**3 + 16*b**2 + 8*b + 5. Is r(u) a composite number?
True
Let k(q) = -12 - 87*q + 23 + 6*q. Is k(-6) prime?
False
Let q = 2476 - 155. Is q a prime number?
False
Suppose 3*i = -4*a + 27, -16 = -4*a + 3*i + 5. Let p be (-14)/(-8) + 1/4. Suppose -4*n = 5*v - 2*n - 71, p*n = a. Is v prime?
True
Let h = 3 - -2. Suppose 0 = 3*p - h*r - 1920, 5*p + 2*r - 616 = 2553. Is p composite?
True
Suppose -2*l = 3*u - 5211, 1742 = u - 2*l + l. Is u composite?
True
Suppose 5*w = 3*x + 1238, -4*x - 3*w - 1670 = -0*x. Let l = x + 723. Is l a prime number?
True
Suppose 0 = -3*a - b + 720, -3*a - 2*b = -0*a - 720. Let s = a - -34. Suppose -2*r + s = -4*j, -5*r - j - 3*j + 727 = 0. Is r prime?
False
Let y = 78 - -133. Is y prime?
True
Suppose -5*s + 3 + 37 = 0. Let i be (-4)/s - 218/4. Is (-1 - 0)*(i + 2) composite?
False
Let p(x) = 3*x**2 + 8*x + 7. Let b be p(-6). Let n be (20/12)/(2/6). Suppose -3*w = -n*l - b, 3*w - l - 21 = 2*w. Is w a composite number?
False
Suppose 5*n = 4*y + 97, -5*n - 5 = -2*y - 106. Is n a prime number?
False
Suppose 0*y - 4*y - 684 = 0. Let h = 304 + y. Is h a prime number?
False
Suppose -1 + 4 = -n. Is 1/n*1*-111 prime?
True
Suppose 4*m - 10 = -m. Let z be 15*(2 - -1) - m. Suppose 3*h + j = 94, -h + j + j = -z. Is h composite?
True
Suppose -7*r + 6*r + n + 185 = 0, n - 750 = -4*r. Is r a prime number?
False
Suppose 3*x = 2*o + 4969, 0*x + x - 1659 = 2*o. Is x a composite number?
True
Let o be 6/4*(-1 + 3). Suppose g = o*w - 44, 0*w - 4*w + 3*g + 67 = 0. Is w composite?
False
Is 2960 - (5 + -1)/4*-3 a prime number?
True
Suppose 0 = -2*t + 698 - 40. Is t composite?
True
Suppose -3*n + 32 - 11 = 0. Is 107/7 + (-2)/n a prime number?
False
Suppose -3*s = -2150 - 7291. Is s composite?
True
Let s = -6 - -7. Let g(n) = -123*n + 2. Let w(b) = -b - 1. Let d(c) = -g(c) - 3*w(c). Is d(s) prime?
True
Let m = 4 + 0. Suppose -f = 4*x - 216, 2*x - 4*f = m*x - 122. Is x a composite number?
False
Suppose 2*k - z + 15 = -4*z, 5*k - 5*z - 25 = 0. Suppose -2*l + 28 = -k*l. Is l a prime number?
False
Suppose 5*t - 370 = 3*t. Is t prime?
False
Let f(i) = i - 1. Let b be f(1). Suppose -r - 5*l - 2 = b, -r = 3*r + 3*l - 77. Is r composite?
False
Let d(t) be the first derivative of -t**4/4 + 10*t**3/3 + 11*t**2/2 + 3*t - 2. Let f be 3/(-2) - (-50)/4. Is d(f) a prime number?
True
Let z be (6/(-4))/((-9)/(-24)). Is ((-63)/14)/(3/z) a prime number?
False
Let o(k) = -k**3 + 9*k**2 - 7*k - 5. Let x(c) = c**2 + 2*c. Let j be x(-4). Is o(j) composite?
False
Let n = 1 - 4. Let h be (-8)/6 + (-1)/n. Let t(j) = 53*j**2 - j - 1. Is t(h) a prime number?
True
Let u(b) = -7*b**3 + 4*b**2 - 3*b + 2. Let a be u(2). Let f = a + 141. Is f a prime number?
True
Let c = 0 + 3. Suppose -952 = -5*d + t, -t + c*t = 6. Is d a composite number?
False
Let i be ((-10)/2)/(2/(-2)). Suppose 0 = 2*o + 3*l + 1, 2*o - 1 = -i*l + 4. Is -20*(5/2)/o a composite number?
True
Let w(o) = 3*o**2 + 32*o**3 + 47*o**3 - 2*o**2 - o. Is w(1) a composite number?
False
Let i(o) = -44*o - 2. Let z be i(4). Suppose d + 75 + 24 = 0. Let h = d - z. Is h a composite number?
False
Let j = 74 + 16. Is j + 2 - -1 - 0 a prime number?
False
Let p(k) = k**3 - k**2 + 2*k - 3. Let q be p(2). Let y = q + -12. Let b = y + 22. Is b a composite number?
True
Let p(k) = -21*k**3 - k**2 - 9*k - 3. Let w(c) = 20*c**3 + c**2 + 8*c + 3. Let d(z) = -5*p(z) - 6*w(z). Is d(-2) prime?
False
Suppose 9*p - 4915 = 4*p. Is p a composite number?
False
Is (1/2)/1*422 a prime number?
True
Suppose -4*y + 3*t - 4*t + 4022 = 0, 3*y - 4*t = 3026. Suppose 6*l - y - 1016 = 0. Is l a prime number?
True
Is (1 - 100)*7/(-21) prime?
False
Is (-20102)/(-18) + (-10)/(-45) a prime number?
True
Let b(s) = -s**2 + s - 1. Let c(w) = -5*w**3 - 4*w**2 - w - 2. Let m(z) = -b(z) + c(z). Is m(-3) a composite number?
False
Let h = -5 - -11. Suppose 2*n = 2*l - 546, h*l = 5*l - n + 275. Suppose -3*p = -329 - l. Is p a prime number?
False
Let a be ((-6)/(-9))/(2/12). Let m = a + -11. Let f(b) = -9*b + 4. Is f(m) prime?
True
Suppose -4*j + j + 113 = 5*k, 4*j + k = 162. Suppose -3*h = -250 - j. Is h composite?
False
Suppose 2 + 8 = -5*x. Let w = x - -6. Suppose -2*v + 160 = -w*r, -v + 5*v - 332 = 4*r. Is v prime?
False
Let g = 10 + -20. Is (-212)/g + 4/(-20) prime?
False
Let c be 12/5 - 6/(-10). Suppose k - 3*v = -c*k + 354, -3*v = 3*k - 255. Is k a prime number?
False
Let t = 157 - 126. Is t composite?
False
Let l(f) = -f + 6. Let b be l(7). Is (b - 0)*(-73 - 9) composite?
True
Suppose 3*a - 31 = -5*q, 4*q + a = 21 + 1. Suppose 5*c + 3 - 13 = 0. Suppose 3*y = -q*j, -y = 2*j + c*y + 9. Is j a composite number?
False
Suppose 0 = 260*t - 258*t - 3526. Is t a prime number?
False
Suppose 0 = 4*y - 3