300, -3*t - 7393 = -3*g - t. Is g a composite number?
True
Is (8388 - -14)/(1 + 1) composite?
False
Suppose 0 = 2*m - 5*m + 6, -t - 8 = -4*m. Let l = -42 - -47. Suppose -l*i + t*i = -1655. Is i prime?
True
Let t = -5972 + 9403. Suppose 1 = 3*s + 13, 0 = -5*g + 4*s + t. Is g a composite number?
False
Suppose s - 822 = -5*n + 1629, -4*s + 1948 = 4*n. Is n a composite number?
False
Let z = 14 - 14. Let f(w) = -29*w**3 + z*w - 45*w**3 - 1 - w. Is f(-1) a composite number?
True
Suppose 0 = -2*w + 4*k + 44062, 0 = -5*w + 3*k - 4*k + 110166. Is w prime?
False
Let h be (-74)/(-2)*35/7. Suppose -892 - h = -k. Is k a prime number?
False
Suppose 122*c - 129*c = -23289. Is c a composite number?
True
Suppose 10 = -2*d + 18. Suppose d*n = -0*n + 12068. Is n prime?
False
Let q(n) = -n + 8. Suppose 3*c = 3 - 6, -c + 24 = 5*k. Let z be q(k). Suppose z*a = 3084 + 645. Is a a composite number?
True
Suppose 4*n + 2681 - 8439 = -2*x, -4*n + 11516 = 4*x. Is x prime?
True
Suppose c = -i + 86959, -i + 39743 + 47216 = -c. Is i prime?
True
Is (-160806)/18*(1 - 4) composite?
False
Let j = -635 - -1389. Let w = j - 311. Is w a prime number?
True
Let h = -322 + 1683. Is h composite?
False
Let x be 0 + 9/4 - 10/40. Suppose -x*d + 55 = w - 32, 5*w - d - 391 = 0. Is w prime?
True
Let x(s) = 4267*s - 14. Is x(1) prime?
True
Let k(f) = f**2 + 19*f + 50. Let v be k(-16). Let t(u) = 184*u + 3. Is t(v) a prime number?
False
Let d(z) = -295*z - 4. Suppose -t - 3*f = -14, -f = -0*t + 2*t - 3. Is d(t) prime?
False
Suppose -p = 2*k + 2, -6 = 3*k + 3*p - 0. Suppose -4*v + 9242 - 3334 = k. Is v prime?
False
Let c = 3172 - 1000. Suppose 1193 = 5*n - c. Is n a prime number?
True
Suppose -259784 = -5019*r + 5011*r. Is r a composite number?
True
Let l(w) = 186*w**2 - 14*w - 7. Is l(-6) a composite number?
True
Let p(v) = 2*v + 5. Let n(s) be the first derivative of -s**3/3 + 9. Let z(l) = -4*n(l) + p(l). Is z(5) a prime number?
False
Let j = -24 - -33. Suppose 2*f - j = 7. Suppose f*l - 364 = 4*l. Is l a prime number?
False
Let k(j) = 5*j - 18. Let v be k(4). Is (-1)/((-5748)/(-2876) - v) prime?
True
Suppose 12*m - 6*m - 4200 = 0. Let q = m - -1567. Is q a composite number?
False
Let w be -1 + 4 + (-3 - (-1 + -2)). Suppose 4*q = -w*k - k + 1200, -3*k + q = -908. Is k prime?
False
Let y(g) = -5264*g + 33. Is y(-4) composite?
False
Let c = 38269 - 21210. Is c a prime number?
False
Let z(x) = -x + 8. Let v be z(6). Suppose -v*i - 10 = -7*i. Suppose -38 - 136 = -i*f. Is f composite?
True
Let m(j) = -j. Let k be m(-4). Suppose -3*a + 1521 = -3*z, -k*z + 2532 = -9*z + 2*a. Is (z/(-4))/(3/6) composite?
True
Suppose 4*g + 0*g = -4*y + 112, 0 = -5*y + 10. Is -235*(-2)/1 - (-26)/g composite?
True
Let p be 2 + 77/((-4)/(-4)). Let r = p + -26. Is r a composite number?
False
Suppose -5*d = -y - 74, -5*d + 72 = -0*y - 3*y. Suppose 879 = 18*u - d*u. Is u a prime number?
True
Let r(m) = 98*m + 151. Is r(5) composite?
False
Suppose 4*s = -19*f + 15*f + 1648, 4*f = -3*s + 1645. Is f prime?
True
Let n = 77 + -53. Suppose 11 = m + b, -2*m - 2*b + n = -b. Is 1*m*(24 - 5) prime?
False
Let b(y) = -y**2 + y. Let x be b(1). Suppose x = 3*h - 111 - 138. Is h composite?
False
Suppose 46416 = 13*q - 9*q. Suppose -5*m + q = 1879. Is m composite?
True
Let j = 23 + -9. Let m be (-12)/42 - (-6710)/j. Suppose -5*k + 1946 = -m. Is k prime?
False
Let w be 56/(-3)*(-105)/(-20). Let d = 245 + w. Let s = d - 60. Is s a prime number?
False
Suppose 8 = t + 4*l, 4*t = 6*t - 3*l - 16. Let h be t/10 - (-676)/(-20). Let z = h - -55. Is z a prime number?
False
Let f = 48 + -54. Let a(o) = 2*o**2 - 3*o + 7. Is a(f) a composite number?
False
Let d(x) = -7*x**3 + 2*x**2 + 6*x - 5. Is d(-8) a prime number?
True
Suppose -3*z + 731 = -67. Suppose -z = -5*r + 259. Suppose -a = -6*a + r. Is a composite?
True
Let x(c) be the first derivative of -291*c**2/2 - 22*c + 5. Is x(-4) a prime number?
False
Let k = 144 + -146. Is k/((-12)/42 - (-15304)/53662) a prime number?
True
Let a be (0 + 1)/(6/12). Let w = -2 + a. Suppose -q + 22 = -i - w*i, 5*i = 3*q - 64. Is q a prime number?
True
Let n(u) = -98*u**2 + 11*u - 2. Let y be n(-12). Let a be y/10 - 6/(-10). Let x = a - -2809. Is x prime?
False
Is ((-20)/350*-7)/((-6)/(-1870035)) composite?
False
Suppose 4 + 10 = 2*g. Let l(m) = -m**2 + 9*m - 10. Let x be l(g). Let w(s) = 29*s**2 - 4*s + 3. Is w(x) a prime number?
False
Let b(q) = 18*q**2 + 3*q + 1. Let t = 21 + -12. Let o = 7 - t. Is b(o) composite?
False
Suppose -208 = -j + 3*v, 0 = 16*j - 18*j - 4*v + 426. Is j a composite number?
False
Let y(t) = 903*t + 55. Let f be y(6). Suppose -f = -9*o + 7676. Is o a composite number?
True
Suppose 0 = 8*p - 22262 - 3930. Suppose c - p = -c. Is c prime?
True
Suppose 3 = -2*d + 3*d. Suppose 2*y + d = y. Let q(n) = 4*n**2 - 2*n + 5. Is q(y) a composite number?
False
Let a(y) = -y**3 + 13*y**2 + 18*y + 8. Let x be a(20). Is x/(-8) - 1/((-3)/(-3)) a composite number?
True
Let a(o) = 94*o**2 + 17*o**2 + 24 - 4*o - 21. Is a(2) prime?
True
Let q = 15 - 23. Let n = -24 - q. Let f(d) = -d**3 - 16*d**2 - 18*d + 11. Is f(n) a composite number?
True
Suppose -5*s = -3*r - 10, -5*r + 0*r = -5*s. Suppose -1384 = -r*q + 4751. Is q composite?
True
Let z be ((-1)/2)/(-4*(-7)/(-1467088)). Suppose -4*t + z = 4*l + 1458, 6165 = t - 4*l. Is t composite?
True
Is 625/(-250)*1754/(-5) a prime number?
True
Let y(k) = 124*k**3 - 4*k**2 + 2*k + 1. Let i be y(3). Suppose 4*o + 939 - i = 0. Suppose f - 2*r = -r + 142, 4*f + 5*r - o = 0. Is f composite?
True
Suppose -369971 - 316918 = -63*n. Is n a prime number?
True
Let g(v) = v**2 + 2*v. Let j be g(-2). Let c = j - 7. Let m(u) = u**2 + u - 4. Is m(c) composite?
True
Let q = -61 - -69. Suppose 143 = -q*m + 9*m. Is m composite?
True
Let x = 2108 + -679. Let n be -795 - ((3 - 0) + 0). Let o = x + n. Is o composite?
False
Let x = 11489 - 4992. Is x a composite number?
True
Suppose 3*n - 4*c + 5520 = -0*n, -3*n - 4*c - 5544 = 0. Let d = -651 - n. Is d a prime number?
True
Suppose -5*r - 4*h = -337497, -3*h - 135008 = -20*r + 18*r. Is r composite?
True
Suppose -23*a - 494 = -25*a - 5*d, -5*d - 534 = -2*a. Is a composite?
False
Let q = -125 - -303. Suppose -5*x + 497 + q = 0. Suppose 304 + x = m. Is m a composite number?
False
Suppose 43*l - 127653 = 26*l. Is l a composite number?
True
Let o = -30 - -36. Suppose 3*t = -3*w + 3129, -3129 = -3*w + 2*t - o*t. Is w prime?
False
Let b = 5602 + -2835. Is b prime?
True
Suppose -r - 5*f = -9773, -2*r = f + 4*f - 19556. Suppose r = 7*d + 2*d. Is d a composite number?
False
Let c be (-18444)/36 - (-8)/6. Let d(m) = -38*m**2 + 4*m + 4. Let z be d(-3). Let s = z - c. Is s a prime number?
False
Suppose 78 = 4*i - 70. Suppose -5*s = -5*r + 200, 0 = -2*s - s - 5*r - 80. Is (-21)/s*5*i composite?
True
Suppose 0 = 5*g + 25, -2*g + 3820 = 29*u - 24*u. Is u composite?
True
Suppose -3*f + 789 = -95082. Is f a prime number?
True
Suppose -23*w + 20*w = 0, 5*i - 79595 = w. Is i a prime number?
True
Suppose 16752 = -12*k + 103092. Is k a prime number?
False
Suppose 0 = -0*t + t - 4. Let a = 16 - t. Is a*((-60)/(-16) + -2) a prime number?
False
Let k(r) = r**3 + 69*r**2 - 40*r + 141. Is k(-69) prime?
False
Let a(f) = -f**3 + 7*f**2 - 5*f - 3. Let p be a(6). Suppose -3*t - 2*r = -649, -3*t + 436 = -t + p*r. Is t a composite number?
True
Let k = 32673 - 22772. Is k a composite number?
False
Suppose 72 - 288 = -2*a. Let b be a/(-6)*(-3 + 2). Is (-3)/(-2)*2532/b a composite number?
False
Suppose -9 = -2*f - 3*o, 2*f - 5*o + 7 = -24. Is (-2 + 480)*(f + 0)/(-6) a composite number?
False
Let c be 253/7 - (-3)/(-21). Let l = c - -25. Let t = l - -58. Is t prime?
False
Let r be 4/(-6) - (-8)/12. Let l(a) = -a**3 + r*a**2 + 3*a + 5*a**2 - 2 + 1. Is l(-4) prime?
True
Let j = -33 - -35. Suppose 4*k = -4*v + 476, j = -3*v - 13. Let q = 343 - k. Is q prime?
False
Suppose -4*j = 3*a - 2390, 374 = 3*j - 2*a - 1427. Let s be 78/65*2080/(-6). Let x = s + j. Is x a prime number?
False
Suppose q = 2*q + 4. Let a = 0 - q. Is (2/3)/(a/2226) a prime number?
False
Is -9*(-2)/(30/5) - -42304 prime?
True
Let r be 1 - ((-14)/(-7))/((-6)/(-9)). Is (-97)/r*(21 - -1) prime?
False
Let c(d) = -14*d**3 - 5*d**2 + 3*d - 2. Let x be c(8). Let v = x - -12013. Is v a prime number?
True
Suppose 4*p 