 = -5*j + 12. Let i(d) = -6*s(d) + 5*x(d). Let p be i(-9). Is (-19002)/(-24) + p/4 a composite number?
True
Suppose -15*w - 20 = -16*w. Let r be ((-60)/(-16))/(15/w). Suppose r*g - 4*z - 825 = 0, 4*g - z = 444 + 227. Is g prime?
False
Is ((-35338)/(-14))/((-3 + 4)/7) a composite number?
False
Let p = -29 + 31. Suppose -4*s = p*j - 990, 0 = -4*j - s - 0*s + 1973. Is j prime?
False
Let r = -10 + 20. Let l = -8 + r. Is ((-38)/(-6))/(l/42) a composite number?
True
Let g = 1135 + -1766. Is (2/(-6) + 4/(-6))*g a prime number?
True
Let z = -48 + 46. Is 5304/14 - z/14 a prime number?
True
Let s(t) = -t**3 - 5*t**2 - 3*t + 4. Let x be s(-3). Let i be (-14)/x*7*-5. Is (-6)/(7/(i/4)) prime?
False
Let b(o) = o**2 - 4*o + 3. Let j be b(7). Let c = j - 28. Is (-1986)/(-4) - c/8 composite?
True
Let o(u) = u - 36. Let v be o(-11). Let a = 270 - v. Is a a composite number?
False
Let i = -3137 - -6026. Let t = i + 654. Is t a composite number?
True
Suppose -33*k = -35*k - 56. Let f = k - -119. Is f prime?
False
Suppose -21*x = -63087 - 38994. Is x a prime number?
True
Let w be (14 + 5)/((-2)/(-12)). Suppose -w = -o + 173. Is o a composite number?
True
Let v be (-7599)/(-15) - (-2)/5. Suppose -1056 = -5*o + 2914. Let w = o - v. Is w composite?
True
Suppose -3*v = -4*g + 29402, 0*g + 22057 = 3*g - 5*v. Is g a prime number?
True
Suppose 4*y + 5 = 1. Let f(g) = 12*g**3 - g**2 - g. Let q be f(y). Is q*-29*(-2)/(-8) a prime number?
False
Suppose 0 = -h + 3*g + 2120, -52*h - 3*g = -54*h + 4249. Is h prime?
True
Let f be (44 - 53)/(1*(-2 - -1)). Suppose f*w = w + 5416. Is w a prime number?
True
Let g = 0 + 16. Let w(q) = -2*q + g*q + 7 + 0*q. Is w(6) a composite number?
True
Let s be 2/14*((-2 - -5) + 4). Is s/(5*(-3)/(-3075)) composite?
True
Let z(p) = -606*p - 5. Is z(-6) a prime number?
True
Let c = -349 + 335. Let g = 354 + -219. Let d = g - c. Is d a prime number?
True
Let k(b) = 10*b + 4109. Is k(0) composite?
True
Let g(y) = -y**3 - 13*y**2 - 13*y - 4. Suppose -3*o - 15 = -4*h + 21, -h = 0. Let k be g(o). Suppose k*a - 1477 = a. Is a a composite number?
False
Let q = 1930 + -1013. Suppose f - 3*v - q = 408, 0 = -4*f - 2*v + 5356. Is f a composite number?
True
Let v(x) = -3*x - 9. Let g(z) = z + 1. Let b(a) = -4*g(a) - v(a). Is b(-8) prime?
True
Suppose -2*h - 378 - 186 = 2*b, -4*b + 12 = 0. Let x = h + 59. Is (1 + 0)/((-2)/x) a composite number?
False
Suppose -2*b + 43446 = 4*q, 32*b = 37*b - 5*q - 108675. Is b prime?
False
Let i be (-3*(-33)/27)/(8/384). Suppose 3*k - 1410 = -3*v, -3*v + k + 1230 = -i. Is v prime?
False
Let r(h) = -6*h - 2. Let b be r(-2). Suppose 5*l = b, -2*d + 4*d + l = 840. Is d composite?
False
Let u = -16101 + 25546. Is u prime?
False
Let y(i) = 2*i**3 - 6*i**2 - 15*i + 16. Let u be y(9). Suppose 0 = -3*n + u + 368. Is n composite?
True
Suppose 5*z + 22 = 16*z. Let l be (-1 + 3 - 0) + 1. Suppose -z*c - l*c + 1475 = 0. Is c a composite number?
True
Let l(q) = -q + 1. Let m be l(-5). Suppose m*d = 2412 + 4110. Is d prime?
True
Let y = 164 - 112. Suppose -8 = 3*j + y. Is 13 + 5/(j/12) a composite number?
True
Let t(g) = -g**3 - 7*g**2 - 7*g - 1. Let i be t(-6). Let s(q) = q**2 - 7*q + 10. Let j be s(i). Suppose j = 15*w - 13*w - 814. Is w prime?
False
Suppose -7*q = -2819 - 3530. Is q prime?
True
Let d be (7 - -111922)*2/2. Is d/133 + 4/(-7) prime?
False
Let g(a) = -a + 15. Let b be g(6). Suppose -b*z = -8*z - 499. Is z a composite number?
False
Let w(d) = 54*d + 1. Let u(p) = p**3 - 2*p**2 - 2*p + 2. Let q be u(3). Suppose q*j = 4*j + 3. Is w(j) prime?
True
Let s(p) be the second derivative of p**4/12 - 2*p**3 + 3*p**2/2 + p. Let i be s(12). Suppose -h + i*h = 92. Is h composite?
True
Suppose 100*o - 119*o + 134501 = 0. Is o a prime number?
True
Suppose -2*w - 2*w = d - 14, 5*d = 4*w - 2. Suppose a = d*a. Is (-83)/((3 - a)/(-3)) a prime number?
True
Let x = -11 + 21. Let k(t) = 2*t**2 + t. Let l be k(1). Suppose -3*y + 628 + x = 4*o, 5*y = -l*o + 473. Is o a prime number?
False
Let y be ((-1074)/15 + 1)*-5. Suppose -5*l + 0*t + 3*t + 22 = 0, -3 = -3*t. Suppose l*a - y = 292. Is a a composite number?
True
Let x be 1*8*(4 + 35/(-10)). Is 1*x + -3 + 5 + 1532 a prime number?
False
Suppose 3*u - 1117 = -2*l - 184, 3*u - 3 = 0. Suppose -4*p = -0*d + d + l, 4*p - 918 = 2*d. Let g = -300 - d. Is g a prime number?
False
Suppose -15*p + 22215 = -0*p. Is p a prime number?
True
Suppose -9*m + 665034 = 223107. Is m a composite number?
False
Let u(c) = c**2 - c + 2. Let f be u(2). Suppose -2*y + 2 = -3*y, -f*y - 11 = -v. Suppose h - 59 = -v*w, 0*w = -4*h + 2*w + 208. Is h a prime number?
True
Let i(p) = 6*p + 26. Let y be i(-5). Is ((-2)/y + -1)/((-39)/272298) composite?
False
Let i = 14 - 9. Let b(m) = -6*m + i*m - 13 - 7*m. Is b(-13) composite?
True
Let p(c) = -6*c**3 - 2*c**2 - c. Suppose 3*y - 2*y = -1. Let d be p(y). Suppose -5*l - 85 = -g, g + d*l = 3*g - 170. Is g prime?
False
Suppose 49302 = -2*q + 8*q. Let i = q - 5674. Is i a prime number?
True
Let z be 8 + (3 - 2 - 3). Let c be (-69)/(-21) + z/(-21). Is (-1528)/(-16) + c/(-2) a prime number?
False
Suppose 5*h = 925 + 815. Suppose 25 = -s + h. Is s composite?
True
Let j(y) = y**2 + 5*y + 5. Suppose -1 = z - 18. Suppose -18 = 5*a + z. Is j(a) a composite number?
False
Suppose -5*h + 4*h + 3 = 0. Suppose h*x - 2*x - 10 = 0. Let u(w) = w**2 - 5*w - 11. Is u(x) a composite number?
True
Let p(x) = 202*x**2 + 23*x - 89. Is p(6) a composite number?
False
Let d = -2804 - -4777. Is d a prime number?
True
Is 1/3*((-56)/8 - -39106) a prime number?
True
Let x(v) = v**3 - 6*v**2 - 7*v + 4. Let t be x(7). Suppose -5*u = -0*i + t*i - 989, -4*u + 741 = 3*i. Is i prime?
True
Is (-6034)/8*40/(-10) a prime number?
False
Let x(s) = s**3 + s**2 + 13*s + 10. Suppose -2*u = -5*k + 18, 4*u - 4*k = -5*k - 36. Let o be x(u). Let v = o - -1462. Is v a composite number?
True
Suppose -5*p = -5*x - 36840, -2*p - 14766 = -4*p - 4*x. Suppose 0 = 2*u + 5*m - 2974, 0 = 5*u - 10*m + 7*m - p. Is u composite?
True
Suppose -12*j = 19196 - 125384. Is j a prime number?
True
Let s = -19002 - -32651. Is s a prime number?
True
Is 4/((-24)/(-898)) - 4/6 composite?
False
Let k = -65 - 33. Let m(x) = x**3 - 7*x**2 - 11*x - 7. Let u be m(10). Let i = u + k. Is i prime?
False
Let q(o) = -7*o - 7. Let y be q(6). Let p = 11 + y. Let x = 59 - p. Is x prime?
True
Suppose 0 = 5*d - 5*p - 0*p - 2000, -4*d = p - 1580. Is 1/(2/d) - -1 composite?
False
Let n(w) = 4391*w + 56. Is n(3) composite?
False
Let c(b) = 4*b**3 + 5*b**2 - 10*b + 12. Let y(u) = 7*u**2 - 4*u + 4. Let d be y(1). Is c(d) a prime number?
True
Let y = -3734 - -8163. Is y a composite number?
True
Suppose -8*o = -170399 - 86185. Is o prime?
False
Let w(k) = 8*k**2 + 6*k - 14. Let m be w(9). Let v = m + -117. Is v composite?
False
Let v(o) be the third derivative of 5/24*o**4 + 0*o + 4*o**2 + 1/6*o**3 + 0 + 1/60*o**5. Is v(9) a composite number?
False
Let f = -32 + 32. Suppose 2*d + f*d = -6. Is (d/6)/((-2)/508) a composite number?
False
Let x(c) = -c + 3. Let k be x(5). Let j be 0/k*(-2 - -3). Is (j - 3) + (-92)/(-1) composite?
False
Suppose -3*o - 12 = 0, 0 = -2*k - 3*o - 22 + 8. Let c be 5 + -3 + k - -17. Suppose 2*j = -j + c. Is j composite?
True
Let c = -5892 + 11161. Is c a prime number?
False
Suppose -171 - 83 = -y. Suppose a = -a + y. Is a a prime number?
True
Let d(b) = 39*b**2 - 7*b - 9. Let c be d(-6). Suppose -7*k = -6*k - c. Is k a composite number?
True
Let j(s) = -7*s**3 - 2*s**2 - s. Let f be j(-1). Let z be -6*(-3)/12*2. Suppose f*i - 1401 = z*i. Is i a prime number?
True
Let r(q) = -q**3 + 5*q**2 - 2*q - 7. Let u be r(3). Suppose 0 = -4*h + 3*s - 2*s + 8379, -u*h + 10478 = 3*s. Is h composite?
True
Suppose 3*d - 76873 = 2*i, -2*d + 7*d = -i + 128100. Is d a prime number?
True
Let v be ((-84)/8)/(4/(-8)). Let c = 10 - 4. Is c/14 - (-2658)/v prime?
True
Let i(o) = -7433*o**3 + o**2 + 2*o + 2. Let u be i(-1). Suppose d - 3*x = 2470, -3*d + 4*x = 3*x - u. Is d a composite number?
True
Let o = 8038 + -3831. Is o a composite number?
True
Suppose -c = 5*k + 6 + 12, -4*c = -4*k. Is (1/5 - 6372/(-15)) + k a composite number?
True
Let k(i) = i**2 + 33*i + 34. Let x be k(-32). Suppose -6079 = -x*s + v, -s - 2*s + v + 9116 = 0. Is s a composite number?
False
Suppose -12256 =