 - h = -42. Is n composite?
True
Let j be (-976)/6*(-3)/(-2). Let h = j - -1439. Is h prime?
False
Suppose -6*d + 4 = 130. Let u = 25 + d. Suppose -c + u*c = 759. Is c composite?
True
Let d(s) = 12*s - 17. Let w be d(8). Let x = 164 - w. Is x a composite number?
True
Suppose -9*v + 34916 = -119515. Is v prime?
True
Suppose -15*n + 12*n = -21. Suppose 3*g + 460 = n*g. Is g a prime number?
False
Is (-20)/(-25) + (-259928)/(-40) composite?
True
Suppose 3*t = 55 + 1226. Let w = t + -1355. Let z = -549 - w. Is z composite?
False
Let d(c) = 7*c**2 - c + 1. Let z be d(2). Suppose -3*m = -12, 0*m = -5*y - 3*m + z. Suppose 0 = k + 3*n - 4, k - 27 - 7 = y*n. Is k a composite number?
False
Suppose -12*r + 10*r = -482. Suppose -p + r = -706. Is p a composite number?
False
Let w = -68 + 70. Suppose 2018 = -w*v + 4*v. Is v composite?
False
Let t be (-1)/(0 - 1/(-11)). Is 10/(-55) + (-3225)/t a prime number?
True
Is (-14)/(-630)*15 - 138785/(-3) prime?
False
Suppose 3*p + 2*i + 2477 = 0, 5*i = -2*p + 5*p + 2491. Let v be (2 - 2) + -4 + p. Let q = v - -1238. Is q composite?
True
Let q(p) = p**3 - 14*p**2 - 23*p + 9. Let b be q(16). Suppose 3*a - 2*y = 791, a - 5*y = 395 - b. Is a a composite number?
True
Suppose -m - 3*n + 9536 = 0, 12*m - 4*n - 9529 = 11*m. Is m prime?
True
Let p = -316 + -334. Let v = 1447 + p. Is v composite?
False
Is ((-15)/20*-4)/((-6)/(-6098)) a prime number?
True
Suppose 38*f = -4*i + 39*f + 17577, -5*f - 4418 = -i. Is i a prime number?
False
Let m = 484 + -800. Is (48/32)/((-6)/m) a prime number?
True
Let v = -25 - -18. Let p = v - -3. Let x(t) = -26*t - 7. Is x(p) prime?
True
Suppose 1214 = 6*c - 5*c. Suppose -b + 438 = -5*g, 2*g = -3*b - 3*g + c. Is b a composite number?
True
Suppose -2*i + 492923 = 5*z - 0*i, -2*i = -5*z + 492927. Is z prime?
False
Suppose -11*b + 24891 = -14203. Is b a composite number?
True
Suppose -3*w + 9*w - 1110 = 0. Suppose -d - c = c - w, -3*c = -3*d + 519. Is d composite?
True
Suppose 4*f - 4212 = 568. Let g = -449 + f. Is g a composite number?
True
Suppose -22*f + 87366 = 29330. Is f a composite number?
True
Let l(s) = -8*s**3 + 3*s - 1. Let n be l(3). Let x = 484 + n. Let g = x + -97. Is g a prime number?
True
Let u(w) = -23*w - 21. Suppose -3*f + 15 = 39. Is u(f) a prime number?
True
Suppose -276335 - 235257 = -8*p. Is p a prime number?
True
Is (139648/16 + 19)*(0 + 1) a prime number?
True
Suppose -w + 16 = -3*w. Let q(s) = -5*s**2 + 8*s + 9. Let k(v) = -6*v**2 + 9*v + 10. Let y(g) = -6*k(g) + 7*q(g). Is y(w) a composite number?
True
Let i = -14505 - -21646. Is i a prime number?
False
Let r(q) = 857*q**2 - 134*q + 6. Is r(11) prime?
True
Suppose 2*o - 6*o + 2*b = -26, 2*o - 4*b - 28 = 0. Suppose 2*u - 3739 = -3*a, 4997 = o*a + 5*u - 0*u. Is a prime?
False
Suppose -5*i + 11245 = 4*k, -4*i - i = -5*k - 11290. Is 26/143 + i/11 composite?
True
Let j = 114 - 114. Suppose -5*p + 4*v + 70 = -643, j = 5*p + v - 728. Is p prime?
False
Suppose -j + 1418 = 486. Suppose 3*a - u + 5*u = j, 20 = -5*u. Suppose -m = -315 - a. Is m a prime number?
True
Suppose -115496 = -5*z - k, -23094 = -z - 140*k + 145*k. Is z prime?
True
Let l = 10 + 0. Suppose -4*k - 2483 = -5*q, -5*k + l = -5. Is q a composite number?
False
Let u = 13062 + -6239. Is u composite?
False
Let t(z) = 8*z**2 - z - 2. Let k(w) = 15*w**2 - w - 4. Let a(c) = 4*k(c) - 7*t(c). Let r(o) = 2*o**3 + 5*o**2 + 8*o + 7. Let h be r(-2). Is a(h) a prime number?
True
Let s be ((-16)/(-40))/((-1)/(-20)). Let o = 6 + -5. Let q = s - o. Is q a prime number?
True
Suppose 4*v + 641 = w, 5*w + v - 1416 = 1831. Is w composite?
True
Let o(r) = 34 - 7*r - 17 - 18 + r**2 + r**2. Suppose 24 = -h - 3*h. Is o(h) prime?
True
Let a = 58 + -55. Is (-3)/(-9) - (-2 - 4004/a) a composite number?
True
Suppose -2*q - q - 5*v = -70, 5*q + v = 80. Is (-7640)/(-25) - 9/q composite?
True
Let q(v) = 157*v + 19. Let j be q(-3). Let z = j + 895. Is z a composite number?
False
Suppose 3*z = 5*z + 16. Suppose -1 = 5*f - 21. Is f + 0 + z - -122 prime?
False
Let k(i) = 1932*i**2 - 2*i + 6. Let q(c) = -644*c**2 + c - 2. Let s(r) = -2*k(r) - 7*q(r). Let b be s(1). Suppose -385 - b = -4*f. Is f a composite number?
False
Suppose 0*b = 4*b - 6160. Let w = 45 + b. Suppose 6*d - w = d. Is d a composite number?
False
Is 2696 + (1/2 - 9/(-2)) a prime number?
False
Suppose -22 = 4*r + 2*x, 3 = 3*r - 5*x - 0. Is ((-184)/12)/(r/42) a prime number?
False
Let h = -483 - -1000. Is h composite?
True
Suppose -4*k = k - 13830. Suppose 2*s = 5*s - k. Suppose -4*p + s = 5*y - 621, -4*y - 5*p + 1238 = 0. Is y a composite number?
False
Suppose -w + 3 + 1 = 0. Let x be (3 - w) + -44*2. Let i = x + 235. Is i a composite number?
True
Let n = 8 + -8. Suppose 2*p - j - 12 = 0, 4 = 3*p + 2*j - n. Suppose -4*o = -p*x + 324, x + 2*x = o + 253. Is x composite?
True
Let q(l) be the third derivative of 7*l**4/24 + 11*l**3/6 - 11*l**2. Let b be q(7). Let t = b + 71. Is t composite?
False
Let c = -44 + 41. Let o(q) = 92*q**2 - 8*q - 13. Is o(c) a prime number?
True
Let j(s) = s**2 + 11*s + 7. Let y be j(-11). Suppose 15 - y = 4*f. Is (6/12)/(f/596) composite?
False
Suppose 0 = 3*j + 2 - 5. Is 159 - (-3 + j) - 3 a prime number?
False
Let a be (-3035)/(-9) + 2/(-9). Suppose -a = 5*d - 1272. Is d composite?
True
Let u(m) = m**3 + 6*m**2 - 6*m + 8. Let l be u(-7). Let w be (12/3 - l) + 1706. Suppose 0 = d + 1 + 2, -4*h + w = 5*d. Is h a prime number?
True
Suppose -8038 = -2*d - 2*i, -4*d - 7*i = -11*i - 16076. Is d composite?
False
Let o be (-1 - 12)*(-15 + 13). Is (487/2)/(13/o) a prime number?
True
Let w = 57 + -73. Let z(u) = -u**3 - 13*u**2 + 4*u - 23. Is z(w) a composite number?
True
Let u(y) = 4*y**2 - y**2 + 2*y - 10*y + y**3 + y**3 + 5. Let m be u(4). Suppose 14 + m = a. Is a a prime number?
True
Suppose 2*z = j - 13171, 0 = -j + 6*j + 4*z - 65869. Is j a composite number?
True
Suppose 0*f = 3*f - 1944. Suppose m - 5*b = f, 4*m - b + 618 = 5*m. Is m a composite number?
True
Suppose -2*b + 4842 = b. Suppose 0 = 4*g - 3*p - 6473, -g + p = -4*p - b. Is g a prime number?
True
Suppose -19 = 3*o + 11. Let h = o + 14. Is -3 - ((-888)/1 - h) a composite number?
True
Let n(z) = -z**2 + 14*z + 19. Let s be n(14). Suppose -4*p + s - 3 = 0. Suppose 3*g - 123 = p*t, -105 = -3*g - 2*t - 0*t. Is g composite?
False
Let x(o) = 3*o. Let t be x(-1). Let c = t + 5. Suppose -4*r = 5*d - 215, 3*d - 5*r = -c*d + 215. Is d prime?
True
Let f(z) = 23*z**2 + 11*z + 217. Is f(-19) a prime number?
True
Suppose 3*a = -4*l + 5941, -6*a + 1980 = -5*a + l. Is a prime?
True
Let r = 5610 - 3241. Is r a prime number?
False
Let r = 3 - 1. Let x(o) be the third derivative of 3*o**4 - o**3/2 - 2*o**2 - 4. Is x(r) a prime number?
False
Suppose -b + 10061 = -2880. Is b a prime number?
True
Suppose m - 171 = -0*m. Let h be 6/9 + (-3612)/(-9). Suppose -3*y = -h - m. Is y prime?
True
Let l(b) = 288*b**3 - 2*b**2 - 3*b - 12. Is l(3) a composite number?
True
Is (-1 + 0)*(-17601 + 22 + -8) a prime number?
False
Let j be 138/30 + 9/(-15). Let k be j/14 - 26/(-7). Suppose -3*b = 3*g - 7*g - 175, 228 = 4*b - k*g. Is b prime?
True
Suppose 8 = 5*l - 4*o, 2*l - 3*o + 5 = 4. Suppose -4*v - 765 = -9*v + 4*t, 4*v - l*t = 616. Is v prime?
True
Let v(j) = 170*j**2 - 7*j - 35. Is v(-10) composite?
True
Let z be ((-8022)/30 + 3)/((-4)/10). Let n = -306 + z. Is n composite?
True
Let k = 29 + -24. Suppose 3*h + k*i - 521 = 3*i, -4*h + 5*i + 687 = 0. Suppose 0 = -4*r + 5*z + 183 + h, 5*r = -2*z + 445. Is r a composite number?
False
Let j(b) = 15*b**2 + 23*b + 3. Is j(-14) composite?
False
Suppose 4*q = 325 + 835. Let z(p) = p**3 + 6*p**2 - 6*p - 10. Let y be z(-9). Let u = y + q. Is u prime?
False
Suppose 14*l = 16*l - 3*p - 4126, 0 = -4*l + p + 8252. Is l a composite number?
False
Let g = -25898 - -38341. Is g a prime number?
False
Suppose 5*z = h - 110297 + 298841, 5*h = 2*z - 75413. Is z a composite number?
True
Let r(t) = t**2 - 10*t - 38. Is r(-24) a prime number?
False
Let d(g) = -22*g + 142. Is d(-6) composite?
True
Let b be 355 - (2 + 4/(-1)). Suppose b = 2*y + y + 3*d, 601 = 5*y + 3*d. Let s = -69 + y. Is s composite?
False
Let w be 1523/((-5)/(-15) + 0 + 0). Let k = -2352 + w. Is k a composite number?
True
Let b(k) = -k**3 - 3*k**2 - 2*k + 1. Let w(p) = -4*p + 4. Let x be w(-