 -4*s - 3*g - 1868 + 9586 = 0, -2*s + 4*g = -3870. Is s composite?
False
Let m = 5762 + 7977. Is m a prime number?
False
Suppose 5*k + 0*h - 2*h + 4 = 0, 0 = -2*k - 3*h + 6. Suppose c + 2*p + 0*p + 474 = k, p - 477 = c. Let l = -171 - c. Is l prime?
False
Let w(g) = -16*g**2 - 2*g + 136*g**2 + 3*g. Let d(t) = -t**2 - 16*t + 16. Let q be d(-17). Is w(q) a prime number?
False
Let n = 75 + -76. Is (-374)/n - (-6)/4*-2 a composite number?
True
Let b(u) be the first derivative of -u**3/3 - 3*u**2 + 3*u - 2. Let f be b(-6). Suppose 964 - 211 = f*m. Is m a prime number?
True
Suppose 0*l - l + 4143 = 2*z, 4*l - 8280 = -4*z. Is z a composite number?
True
Let p = -45 + 47. Suppose 87 = p*j - 51. Is j composite?
True
Suppose -9*w = -31 + 67. Let v(x) = 16*x + 8. Let y(s) = 31*s + 15. Let f(j) = 5*v(j) - 3*y(j). Is f(w) a composite number?
False
Suppose 0 = 5*a + 4*g - 18, -2*a = a + 4*g - 14. Suppose c = a*c - 835. Is c a prime number?
False
Suppose -1508*v + 1511*v - 58701 = 0. Is v a prime number?
False
Suppose 0 = a - 190 - 61. Let z = 158 + a. Is z composite?
False
Suppose 4*l - 2*m = 16, 2*m + 12 = -m. Let t(h) = 2*h**3 - 4*h + 1 + 6*h + 15*h**3 + h**l. Is t(2) composite?
True
Let d(i) = 3 + 7*i + 22*i**2 + 0 - 2. Suppose -6*f - 5 = -35. Is d(f) a composite number?
True
Let q = 11312 - 7414. Is q a composite number?
True
Is 2/(6/24 + 11244/(-45104)) a prime number?
True
Let s(u) = 2*u**2 + 23*u + 6. Let d be s(-16). Let g be -22 - 1/((-3)/9). Let w = g + d. Is w prime?
True
Let y be 140/(-63) - (-5)/(90/4). Let u(c) = -124*c + 6. Is u(y) composite?
True
Suppose 3*g = 11 - 5. Let t be (-135 - (g + -3))*1. Let l = -13 - t. Is l a composite number?
True
Let n = 1997 - 1044. Is n prime?
True
Let f = 1696 - -643. Is f composite?
False
Let f be -12*(10/(-4))/5. Suppose 3*c = -2*o + 31, 35 = 2*o + c + f. Suppose -12*v + o*v - 1738 = 0. Is v a prime number?
False
Suppose -6893 = -5*b - 843. Suppose a + 4*o + 169 - b = 0, -4*a = 4*o - 4224. Is a prime?
True
Let w(d) = 836*d**2 - 1. Let c = 18 + -17. Is w(c) a composite number?
True
Is 22/33 + 25639/3 + 2 a prime number?
False
Let b(x) = 16*x**3 + x**2 - 2*x + 1. Let i be b(1). Suppose -2*m - 15 = 5*o, -3*o - 6 = -o - 3*m. Is -7*((-9)/o - i) a composite number?
True
Let a(m) = -429*m**3 + 11*m**2 + m - 4. Is a(-5) a composite number?
False
Let o(k) = -30*k + 19. Suppose -2*d + 7*d = 5*r - 70, -73 = 5*d - 4*r. Is o(d) prime?
False
Let t(u) = u - 1. Let k be t(-3). Is -19*(k + (5 - 2)) composite?
False
Let b(h) = -h - 2. Let x be b(10). Let s be x/(-8)*-49*6. Let i = -208 - s. Is i a composite number?
False
Let d = 113 - -2503. Suppose 0 = 2*o - 2*a - 1830, 794 = -2*o + 4*a + d. Is o prime?
True
Is 1890 + 5*(27/15 + -2) prime?
True
Is (-6 - -1620)*(-7)/(-14) composite?
True
Let h = -214 + 1005. Is h a prime number?
False
Let j(h) = -24 + 3*h**3 - 2*h**3 - 4*h**3 + 4*h**3 + 27*h + 21*h**2. Is j(-13) prime?
True
Suppose 0 = 68*w - 46*w - 103114. Is w prime?
False
Let l be ((-6)/(-1))/(1 + 1). Let h(m) = 60*m**2 - m - 4. Is h(l) prime?
False
Suppose 8*b = 5*b + 48. Suppose -8365 = -b*v + 11*v. Is v prime?
False
Suppose o = d - o - 57517, -5*o = -3*d + 172550. Is d a prime number?
False
Suppose 0 = -2*x + 5*t - 10 + 45, -5*x - t + 20 = 0. Suppose 0 = -10*m + x*m + 15. Suppose 3*z - 4*l = 871, 3*l = m + 3. Is z prime?
True
Let n(g) = -977*g - 7. Let a be n(-6). Suppose t - 6*t = -a. Is t composite?
False
Let p(f) be the third derivative of -47*f**4/8 + f**3/6 - 2*f**2. Let t be p(-2). Let m = 52 + t. Is m a composite number?
True
Let c(m) = m**2 - m - 4. Let s be c(-3). Suppose -s*b - 2559 + 8935 = 0. Is b composite?
False
Let s = 75 - 73. Is s*(-1468)/(-10) + (-30)/50 composite?
False
Suppose 0 = 27*k - 39*k + 473268. Is k a composite number?
False
Suppose -3*u + 50 = 2*u. Suppose -2*r + u = -6. Is (r - -2)*38 - 3 a composite number?
True
Let d = 25 + 6. Suppose 8*m - d = 1. Suppose -15 = 3*u, 9*u = -2*g + m*u + 237. Is g composite?
False
Let n = -83 - -83. Suppose n = -15*l + 16*l - 862. Is l prime?
False
Suppose 3*l - 23 + 17 = 0. Let d(g) = 552*g**2 - 7*g + 1. Is d(l) a prime number?
False
Let m(k) = -12*k**2 + 4*k + 31. Let l be m(-8). Let x = 1746 + l. Is x prime?
True
Let m(p) be the second derivative of p**4/3 + 4*p**3/3 - p**2/2 - 20*p. Let w = -5 + 11. Is m(w) prime?
True
Let v be 2/(-10) - 114647/65. Let w = v + 3917. Is w prime?
True
Let c(f) = f**2 + 13*f + 4. Let h be c(17). Let z = h + -83. Is z a prime number?
True
Suppose -2*f + q + 3 = 0, -4*q + 14 = -0*f + 5*f. Suppose -w + 32 + 125 = 0. Suppose -f*r + r = -w. Is r composite?
False
Suppose -34414 - 358768 = -58*q. Is q composite?
False
Let x(y) = 67*y**2 - y - 5. Let v(m) = -68*m**2 + m + 4. Let l(i) = -7*v(i) - 6*x(i). Let h(s) be the first derivative of l(s). Is h(3) a composite number?
False
Let i = -87 + 3. Let m = 47 - i. Is m composite?
False
Let p(c) = c**3 - 7*c**2 - 3*c + 6. Let y be p(6). Let v = 67 + y. Suppose 14*a + 1735 = v*a. Is a a composite number?
False
Let f(j) = 102*j**2 - 11*j - 45. Is f(-10) composite?
True
Let s be 13*5*(-5 + (-162)/(-30)). Suppose 5*a = -s + 451. Is a composite?
True
Suppose 3*g = 4*n - 57, -5*n + 5*g = -3*n - 11. Let k(t) = t**3 - 17*t**2 + 18*t - 17. Is k(n) a prime number?
True
Let c(q) = 87*q**2 - 9*q + 85. Is c(6) a prime number?
True
Let f be 4*(15/(-4) + 4). Is (f - (-20)/(-15))/((-2)/2286) composite?
True
Let l be (-2)/(-7) + (-576)/(-42). Let y(x) = -3 - l*x - 7*x - 3*x - 2. Is y(-8) composite?
True
Suppose 0 = -5*n, -n + 0 = -3*b - 3. Is (5245/(-30)*-3)/(b/(-2)) prime?
True
Is 4461 + 19/((-38)/16) a prime number?
False
Let o be (-3)/(-12) + (-1179)/(-4). Let j be o/(10/4 - 2). Suppose 5*p - 10*p + j = 0. Is p a composite number?
True
Suppose -7 = -u - 5. Let t = u - -5. Suppose -t*r + 4*r = -477. Is r composite?
True
Suppose 5312 = 5*f - 3318. Suppose -2*w = -4*w + f. Let s = -492 + w. Is s prime?
False
Let m(f) = -f - 8. Let b be m(-3). Is (-157)/b + 16/(-40) composite?
False
Let a(b) = 11*b**2 + 12*b + 20. Is a(-9) prime?
False
Is ((29347/2)/((-3)/(-6)))/1 composite?
False
Let w = -415 - -749. Suppose -u + w + 643 = 0. Is u a prime number?
True
Suppose 0 = -5*x + 46 + 14. Let f = x - 9. Suppose 2*p - f*h = 368, h - 189 = -p - 0*p. Is p a prime number?
False
Let n(k) = k**2 + 6*k + 15. Let w be n(-5). Is 216/1 + w + -5 prime?
False
Suppose 23*d + 3*u + 410373 = 26*d, -4*d + 547156 = -2*u. Is d a composite number?
True
Suppose -4*j + 28 = 2*v, -5*j = 5*v - 5 - 40. Suppose -j*i + 15 = 5, 2*o - 5420 = -5*i. Is o a prime number?
False
Let y = -14 - -29. Let w(k) be the first derivative of k**2/2 + 8*k + 6. Is w(y) a composite number?
False
Let w(l) = 20*l**3 + 5*l**2 + 2*l + 1. Is w(4) composite?
True
Suppose 48*p + 955 = 53*p. Is p prime?
True
Is -123*(-50)/15 - -3 - 4 composite?
False
Let b be (-14)/3*(-3 - 39/(-2)). Let d = 136 + b. Is d a prime number?
True
Suppose -5*u = -2*i - 5587, 3*u + 53*i - 55*i = 3353. Is u a prime number?
True
Suppose -5*z + 5*l + 21955 = 0, 4*l - 1947 - 6835 = -2*z. Is z composite?
False
Suppose -t + 6 = -5*u + 3*t, -5*t = 2*u - 24. Suppose -u*y + c + 56 = 5, -2*c = 5*y - 123. Is y prime?
False
Let c(r) = -2*r**3 - 22*r**2 - 28*r - 1. Is c(-14) prime?
True
Let k(a) = 13*a**3 + a**2 + 4*a - 3. Let z be k(2). Let p = 198 - z. Is p prime?
False
Suppose 3*m = -10*h + 9*h + 5220, 2*h + 6 = 0. Is m a prime number?
True
Let r(b) = -b + 4. Let m be r(2). Let z = m - -16. Let v = 395 + z. Is v prime?
False
Let w be -2*(-1 + 2/4). Let x be 0 + (12/4)/w. Suppose -x*g = -12, 2*g = a - 6*a + 813. Is a a composite number?
True
Suppose -2*x - 2*b = -1070, -4*x + 14*b + 2146 = 15*b. Is x composite?
True
Let o(d) = -11*d**3 + 4*d**2 + 12*d - 10. Is o(-5) a prime number?
False
Suppose -2*v = v - 9, 3*v + 141 = -2*j. Suppose a - 4*c - 436 = 0, -a + 2*c - c + 445 = 0. Let p = j + a. Is p prime?
True
Let k = 23911 + -11380. Is k a composite number?
True
Is ((-11)/(165/(-10)))/((-8)/(-76620)) a prime number?
False
Is (-6)/(-12)*-12514*2/(-2) composite?
False
Let u be 2/(2/5)*92. Suppose 3*f = 761 + u. Is f prime?
False
Suppose -5*g = 1355 + 1040. Is (10 + g)*(0 + -1) prime?
False
Let t(b) = 31*b**3 - 7*b**2 - 5*b + 4. Is t(7) a prime number?
True
Let h(s) = -61*s + 268. Is h(-31) a comp