 -4*a. Is x a prime number?
False
Suppose 3*n - 3736 = -14*y + 16*y, -3752 = -3*n - 2*y. Suppose -2*a = -2*t + 7142, -4*t - n = -3*a - 15532. Is t a prime number?
True
Let a(z) = 278*z**2 - 432*z + 213. Is a(-43) a prime number?
True
Let r be ((-4)/10)/((-9)/((-270)/(-4))). Suppose -5*j + 3*b = -3911, 2*j - 3903 = -r*j - b. Is j a composite number?
True
Let f be (4 - (-40)/(-4)) + 24. Suppose 2*g - 3585 = -y, -f*y = -19*y - 4*g + 3577. Is y composite?
False
Suppose -13*p + 28 - 2 = 0. Suppose -5*j + 4*x = 0, j - 5*x - 23 = -p. Is -1514*(-3 + 7)/j a composite number?
True
Let q(d) = -487*d + 113. Is q(-14) a prime number?
False
Let g be (-7)/((-35)/(-10)) + (2 - -5). Suppose 0 = -g*c - m + 5705, 4*c + m = -m + 4564. Is c prime?
False
Suppose -118 = 27*s + 287. Let u(c) be the third derivative of c**6/120 + c**5/4 - 13*c**4/24 - 5*c**3/3 - c**2. Is u(s) composite?
True
Let m be 31/11 - ((-60)/(-33))/(-10). Suppose -3*a - m*a = -24054. Is a a composite number?
True
Let b(u) = -u**3 - 9*u**2 - u - 16. Let f be b(-9). Let j be (-30)/70 - 87/f. Suppose 3*c - 33 = j. Is c prime?
False
Suppose 2*h = 5*m - 18859, -3*m - 6*h + 11303 = -h. Suppose -17*c + m = -8*c. Is c prime?
True
Let y be (3/2)/((-12)/(-4736)). Let x = -344 - -3. Let f = y + x. Is f prime?
True
Let s(w) = -w**3 - 7*w**2 - 4*w + 2. Let t be s(-6). Let b(j) = -4*j - 35. Let c be b(t). Is (-29424)/(-60)*c/2 composite?
True
Let f be 3/2 - (-3971)/38. Suppose m = 593 - f. Is m composite?
False
Suppose -4*w + 97022 = 2*a, 10*w = 9*w - 3*a + 24248. Is w composite?
True
Suppose 3*p + 70 = b - 4, -71 = -b + 2*p. Suppose -22*w = -27*w + b. Let n(l) = 2*l**3 - 18*l**2 - 16*l + 5. Is n(w) composite?
True
Suppose 3*s - 50 = 4*f, -6*s + 9*s = -3*f - 48. Let z(n) = -225*n - 137. Is z(f) composite?
True
Suppose -3*i + 8 = -4*v, v + i - 1 = 2*v. Is 1495*(66/(-15) - v) + 2 a composite number?
True
Let s be 2/6*12951/3. Is ((s + -3)/(-2))/(8/(-76)) composite?
True
Suppose 5*d + 4*u - 5*u = -19401, -4*d - 2*u - 15518 = 0. Let k = d - -9131. Is k composite?
True
Let a = -16 + 10. Let u be (-52455)/(-27) - a/27. Suppose -i = 4*v - u, v - 4*i = -0*i + 473. Is v a prime number?
False
Let y = 120 + -90. Suppose 35*f - y*f = -995. Let a = f + 668. Is a composite?
True
Let o(x) = 472*x**3 - x**2 - 55*x + 20. Is o(11) composite?
True
Let o = 154845 - 89168. Is o prime?
True
Let m(o) = -18*o - 41. Suppose 101*v - 75 = 104*v. Is m(v) prime?
True
Is (-195543 - -1)/((-534)/2937) prime?
False
Suppose 21*q - 31629 = 54576. Let z = q - 1676. Is z a composite number?
True
Suppose -11 - 44 = j. Let l = j + -12. Let p = 186 - l. Is p composite?
True
Let z be (1 + -879)*(-3 - 124). Suppose 0 = -29*y - z + 754987. Is y a prime number?
True
Let w(m) = 6*m**3 + 7*m**2 - 5*m - 5. Suppose 16*f = 18*f - 10. Let c be w(f). Suppose 807 = 2*a - c. Is a a composite number?
True
Suppose -3*g - 6 = 0, 2*f - 3354 = 5*g + 2652. Suppose -2*z = 2*j - f, 2*z - 3*j - 2998 = 2*j. Is z composite?
False
Suppose 4*a = 2*y - y - 35, -4*a = 5*y - 79. Suppose y = -s + 5*x, 3*s - x + 2*x = -9. Let w(p) = 113*p**2 + 4*p + 9. Is w(s) a composite number?
False
Let v be (-3 + 6)/(-1) + 33. Suppose 15 = 35*q - v*q. Suppose -3*c + 3858 = -3*r - 0*r, q*r = -9. Is c a composite number?
False
Suppose 4*y + m - 10 = 0, 3*m - 8 = -2*y + 4*m. Suppose 7 = -t - 3*f, -2*t - f = y*t - 35. Is ((-639)/(-6))/(6/t) prime?
False
Let i(p) = -p**3 - 2*p**2 + 5*p + 2. Let m(s) = s - 3. Let l be m(15). Suppose -22*w + 19*w - l = 0. Is i(w) a prime number?
False
Suppose -39*f - 14*f + 2680043 = -22*f. Is f a composite number?
False
Is 545937/6 - (-7 + 135/18) a prime number?
True
Suppose 66 = 2*b + 4*k, -93 = -3*b + k - 5*k. Let n = b - 36. Let m = n - -476. Is m a prime number?
True
Let d(u) = u + 1. Let m(i) = -65*i + 10. Let s(r) = -3*d(r) + m(r). Is s(-5) prime?
True
Let a(c) = -38 + 68 + 314*c - 38. Is a(15) composite?
True
Is 6/2 + 9 + 226801 a composite number?
False
Let i = 786 - 796. Is (i + -226136)*2/(-12) prime?
True
Let d(q) = 7043*q + 1877. Is d(12) a composite number?
True
Let h be 6/(-27) + (-13)/(-18)*10. Let w(i) = i**2 - 3*i - 28. Let c be w(h). Suppose -4*o - 5398 = -2*v, 2*v - 3*o - 5742 + 341 = c. Is v composite?
True
Let d = -15123 - -23025. Suppose -3*n + d = -6*c + c, 4*n + 5*c - 10501 = 0. Is n a prime number?
False
Let g(v) = v**3 - 8*v**2 - 26*v + 35. Let n be g(12). Is n - ((-7 - 6) + 5) composite?
False
Let o(s) = s**2 - 4*s**3 + 3*s**3 + 10*s - 12*s + 2785. Let l = 246 + -246. Is o(l) a composite number?
True
Let v be (-19)/(-5) + 2/10. Suppose v*z + 5 = -19. Let g(x) = -x**3 - 4*x**2 - 8*x + 1. Is g(z) a composite number?
True
Suppose -364598 = -14*r + 12*r - 4*l, r + 5*l = 182293. Is r prime?
False
Suppose -4532 = -4*g + y, -g - 11*y + 1124 = -9*y. Is g + (0 - -1) + (-6 - -8) composite?
True
Suppose r - x - 2 = 0, 5*r + 3*x = -x - 8. Suppose 17*h - 20*h + 2499 = r. Let v = -594 + h. Is v composite?
False
Let i(o) = -o + 8. Suppose 0 = -24*j + 19*j - 45. Let k = -4 - j. Is i(k) composite?
False
Is (-4 - 41615)*91/(-195)*5 composite?
True
Suppose 0 = -w + d - 73837 + 204571, 0 = -w + 5*d + 130754. Is w prime?
True
Suppose 3*o = -2*m + 6*o + 12604, -o - 12596 = -2*m. Let g = -267 + m. Is g composite?
False
Suppose -10995*w - 14850402 = -11037*w. Is w composite?
True
Suppose -5*w - 1700202 = -9*t + 1828285, -3*t + 1176157 = w. Is t composite?
False
Suppose 89*r - 658631 - 1745348 = 0. Is r a prime number?
True
Suppose -182*s + 4273352 + 11870579 = -13009375. Is s a prime number?
True
Suppose 0*b + 5*b = 0. Suppose b*n - 692 = -n + 3*g, -4*n + 2713 = -g. Let w = n + -210. Is w a prime number?
True
Let d = 5403 + 5404. Is d a prime number?
False
Suppose 254*w + 15479 = 253*w. Let z = -8676 - w. Is z composite?
False
Suppose -44 = -y - 17. Suppose -y*q + 3787 = -26*q. Is q a composite number?
True
Suppose -37*b = 45*b - 25396745 + 2862243. Is b a prime number?
True
Let x(c) = -15404*c + 531. Is x(-10) a prime number?
True
Let n = -64373 + 105744. Is n a composite number?
True
Let r be (-28)/7 - 1830/3. Let t = 166 + r. Let n = t - -671. Is n a prime number?
True
Is 1/(-7)*-49 - -58314 composite?
False
Suppose 219*w = 256*w - 14409169. Is w composite?
False
Let c(x) = -465*x + 111. Let a be c(-11). Suppose a = 15*t - 2589. Is t prime?
True
Suppose n = -v - 15352, 76720 = -5*n + 2*v + v. Let c = n - -23296. Is c prime?
True
Let g(m) = -51253*m + 255. Is g(-2) composite?
False
Let w(c) = c**3 - 8*c**2 - 63*c - 22. Let j be w(30). Let r = j - 5121. Is r a composite number?
True
Suppose 0 = -13*b - 3*b - 19*b + 30479365. Is b prime?
False
Suppose 97*k = 4*j + 100*k + 6881, -5*k - 8600 = 5*j. Let u be 1128/5*(-6 - -1). Let z = u - j. Is z a composite number?
False
Suppose 0 = -5*k + 75 - 10. Let i be -3*(-4 - k/(-3)). Is ((-42)/12)/(i/62) a composite number?
True
Suppose 579283 + 253691 = 14*h - 1108672. Is h a composite number?
True
Let t be -2 + -5 + (4972 - 5). Let u = t - 1739. Is u a prime number?
True
Suppose 4*s = 3*l - 220195, -37*s = 3*l - 32*s - 220186. Is l composite?
True
Is (1654516/14)/(5*(-5)/(-350)*4) composite?
False
Let b be 3 - (8/(-12) + (-4)/(-6)). Suppose 24232 = 4*p + b*x, -p + 0*x + x + 6051 = 0. Suppose z = -6*z + p. Is z prime?
False
Let y be (-3)/(-2)*(4 - (-4 + -36)). Is (6074/(-8))/(y/(-264)) composite?
False
Let l(t) = -47912*t**3 - 6*t**2 + 24*t + 57. Is l(-2) a composite number?
False
Let c(y) = 786 + 802 - 1559 + 904*y - 50*y. Is c(8) composite?
True
Is (-32)/(-4) + (-3)/((-15)/468895) prime?
True
Let x = -51030 + 79123. Is x prime?
False
Suppose 0 = 2*k - 4, 28*i + k = 31*i - 3402283. Is i a prime number?
False
Let t(k) = -2*k - 4. Let s be t(-2). Let j be (-1)/(s + (-3)/48). Suppose j*y = 19*y - 717. Is y prime?
True
Suppose 4*r + v = 788 + 780, -1584 = -4*r - 5*v. Suppose 37 = 2*s + 27, 0 = 4*y + 2*s - 10. Suppose -5*q + 4*q + r = y. Is q a composite number?
True
Let c(r) = -r**3 + r - 3*r - 1 - 2*r + 4*r**2 + 3*r. Let l be c(2). Suppose -4434 = -5*t - 2*u, -5*t + 5201 = -l*u + 781. Is t composite?
True
Suppose -5*d - 4 = -2*i + 1, -5*i = -3*d - 60. Suppose 5*o = -i, -6*o = 3*t - 3*o. Is (1346*t/6)/1 a prime number?
True
Suppose -4*s - 516 + 532 = 0. Suppose s*g - 55316 = -0*g. Is g a composite number?
False
Let r 