**3 - 5*s**2 + s - 3. Let j be l(5). Let b(r) = 47*r - 1. Is b(j) prime?
False
Let n(c) = -7*c - 1. Let j be n(-2). Suppose 4*d = -j + 113. Is d a prime number?
False
Let m(f) = 13*f**2 + 3*f - 3. Is m(-6) a composite number?
True
Let m(i) = 4*i**2 + 4*i - 4. Let x be m(4). Suppose -101 = -3*l + x. Is l prime?
True
Suppose -r + 0*r + 4*u - 15 = 0, -32 = 4*r - 2*u. Let x(l) = -l**3 - 8*l**2 - 10*l - 2. Is x(r) a composite number?
False
Suppose 2*x + 0*x + 5 = -5*t, -x + t = -8. Let y = 588 - 206. Suppose x*n = -y + 1377. Is n a prime number?
True
Let y(v) = v**3 - 3*v**2 + 2. Let j be y(3). Let d = -17 - j. Let r = -8 - d. Is r a prime number?
True
Let l(q) = q**2 + 9*q + 3. Let k(y) = 2*y**2 + 10*y + 4. Let v(j) = -2*k(j) + 3*l(j). Let b be 8 + -1 - 4/2. Is v(b) a prime number?
True
Suppose -2*l + l + 2 = 0. Let t(w) = 1 + w**2 - 4 + 4*w + l. Is t(-8) prime?
True
Suppose 8*i - 3*i + 25 = 0. Let r(o) = 0*o + 7*o + o**2 - o**3 + 0*o. Is r(i) prime?
False
Suppose 2 = 2*r - r. Is (-5188)/(-28) + r/(-7) prime?
False
Suppose 4*s - 168 = 4*u, -4*s - s - u = -192. Let r be (32/3)/(4/(-12)). Let w = s - r. Is w prime?
True
Let l be ((-50)/(-4) - 2)*18. Suppose 5*d = 4*u - 2*u + l, 0 = -5*d + 5*u + 195. Suppose 2*f = 3*f - d. Is f prime?
True
Suppose -5*s - 3*x + 1030 = 0, 4*s + 104 = 5*x + 891. Is s composite?
True
Let p be ((-24)/36)/(2/(-6)). Suppose -4*b + i = -80, 4*i - 9 = -p*b + 13. Is b a composite number?
False
Let z(f) = -31*f + 28. Let l(n) = -15*n + 14. Let b(g) = -5*l(g) + 2*z(g). Is b(7) a composite number?
True
Let k = 103 + 236. Suppose -2*a - 5*s = -k, 3*s - 204 = -2*a + 125. Is a a prime number?
True
Let z(y) = 5*y + 2. Let h be z(6). Let v = 22 + h. Suppose 4*q - v = 46. Is q prime?
False
Suppose 0 = -3*t - 2*q - 603 + 2684, 0 = -t + 5*q + 671. Is t a prime number?
True
Suppose -x - 17310 = -7*x. Is x composite?
True
Suppose m + 5*t = 2*m - 668, 0 = m - 2*t - 671. Is m prime?
True
Let q = -727 - -484. Suppose 3*a - 263 = -743. Let v = a - q. Is v a composite number?
False
Let o = 325 - 149. Suppose 3*u = -5*f + 389, u - o = -5*f - 33. Is u a prime number?
False
Let b(o) = 329*o - 8. Let z(x) = x**2 - 3*x - 13. Let s be z(6). Is b(s) prime?
True
Let b = 107 - 54. Is b a prime number?
True
Let w be 234/1 + 3*1. Suppose -c - 2*c = -w. Is c a composite number?
False
Let q(v) = 3*v**2 - 28*v - 25. Let f(j) = -j**2 + 9*j + 8. Let l(r) = 8*f(r) + 3*q(r). Is l(-8) a composite number?
False
Let s(f) be the third derivative of f**5/60 + f**4/12 - 11*f**3/6 - 3*f**2. Is s(-10) a prime number?
False
Let t(h) = h**3 - 5*h**2 + 5*h - 5. Let o be t(4). Let j be (2/(-5))/(o/5). Suppose -j*b + 37 = -b. Is b prime?
True
Let k = -95 - -134. Let r be (-2 - 16/(-3))*k. Suppose -2*t = 3*t - r. Is t prime?
False
Suppose 0 = -u - 4*a + 15, -4*a + 15 = 3. Suppose -7 - 173 = -4*i. Suppose -u = 3*f - i. Is f a prime number?
False
Let f = 7 + 15. Let j = 24 - 22. Is f + (j - 2)/3 prime?
False
Suppose 2125 = 3*c + w, 5*c + 2*w = -0*w + 3543. Is c a prime number?
False
Let y be 2/(-4)*0/15. Suppose 0 = l - 4, -3*u = -y*u - l - 377. Is u prime?
True
Let q(s) = s**2 - 2*s + 18. Let v be q(14). Let h = v + -112. Is h a composite number?
True
Suppose 6*q = -201 + 735. Let s be (-30)/8 - (-1)/(-4). Is 9/12 - q/s prime?
True
Let d be (-6)/10 + (-3864)/(-15). Suppose 0*n - n + d = 0. Is n prime?
True
Suppose 2*b + 581 = 39. Let z = b - -398. Is z prime?
True
Let h(a) be the second derivative of -19*a**3/3 - a**2/2 + 20*a. Let w = -2 + 1. Is h(w) a prime number?
True
Let m = -1343 - -3126. Is m prime?
True
Let m(w) = w**3 - w**2 + w - 730. Let y be m(0). Suppose -3*a + 2 = -a. Is a/3 - y/15 composite?
True
Let y = 0 + -3. Let t = y + 14. Is t prime?
True
Let m be (-1 - -6)*24/20. Let g(h) = -1 + 2*h**3 - 2*h + 2*h - 6*h**2 + m. Is g(4) prime?
True
Suppose 5*b = 4*x + b - 20, 0 = x + 4*b. Is (1 - 221/x)*-4 a prime number?
False
Let a(o) = 89*o - 75. Is a(13) composite?
True
Let b = 2 - -1. Let v(z) = -3*z + z**2 - 4 + z + 8. Is v(b) a composite number?
False
Is (127 - -3)/1 - -1 composite?
False
Let d be (33/9)/((-1)/(-3)). Let f = -9 + d. Suppose 5*b + 0*a - 475 = -f*a, b = a + 102. Is b a prime number?
True
Is (-1 - 0) + (4 + -9 - -14963) a composite number?
False
Suppose -5*x - 520 = -j - 0*j, -1540 = -3*j - 5*x. Is j a composite number?
True
Is 1 + 222/(-1 - -2) prime?
True
Let m = -1 + 4. Is m composite?
False
Let p = 2260 - 899. Is p composite?
False
Let n(r) = 180*r - 61. Is n(21) composite?
False
Let j be (1 - 0)/((-2)/(-550)). Suppose 0 = 3*l + 2*l - j. Is l a composite number?
True
Suppose -u + d + 3345 = -2318, 0 = -d. Is u prime?
False
Let q(l) = -l + 4. Let p be q(0). Suppose t - p*t = 0. Suppose t*c - 4*c = -232. Is c composite?
True
Let k(f) = 2*f**3 + 4*f**2 - 3*f + 13. Is k(6) a prime number?
True
Let m = -79 + 112. Suppose -2*s + 4*y - 8 + 74 = 0, 3*s = 5*y + 102. Suppose 2*u = -z + s, 0 = z - 0*z - u - m. Is z a composite number?
True
Let o(w) = 4*w**2 + w + 7. Let q be o(6). Let i = q + -74. Is i composite?
False
Suppose -2*k = 4 + 20. Is 33/(-6)*k/2 composite?
True
Suppose 0 = 4*w + 7*w - 37147. Is w a prime number?
False
Suppose -4*v = 0, 2*f = -v + 81 + 679. Suppose 2*d + 3*q = -q + 198, -f = -4*d - 4*q. Is d composite?
True
Let d = -2 - -33. Let v = 60 - d. Suppose -i + v + 6 = 0. Is i a composite number?
True
Let m be (5 - -1) + (1 - 2). Suppose -m*v = -154 - 1341. Is v composite?
True
Let d = -222 + 421. Is d a composite number?
False
Let o = 72 - 44. Let t = o + -17. Let z = t + 10. Is z a composite number?
True
Let w = 5 - 3. Suppose -2*u + 5*f + 3 + 5 = 0, 0 = -2*u - w*f + 8. Suppose 3*q + q - 176 = u*g, -3*q - g + 128 = 0. Is q composite?
False
Suppose 0 = -3*o - 3 - 15. Let q = o - -11. Let i = 12 - q. Is i composite?
False
Let t = 281 + -199. Is t composite?
True
Let h(o) = 2*o - 1. Let r(f) = -f. Let u(p) = -6*h(p) - 7*r(p). Let w be u(-7). Suppose w = 4*j - 3. Is j a prime number?
True
Suppose 0 = -4*n + 3 + 5. Is (39/12)/(n/56) prime?
False
Suppose 3*i + i - 1184 = 0. Let f be ((-21)/14)/((-6)/i). Suppose m + m = f. Is m composite?
False
Is (162 + 0 - -2)*5/4 a composite number?
True
Suppose -2*g + 3 + 67 = -2*r, -155 = 5*r - g. Is r/70 - 766/(-7) prime?
True
Let m(g) = g**3 - 4*g**2 - 5*g - 4. Let k be m(5). Let q = -1 - k. Is q composite?
False
Suppose -3*b - 5 = -2. Let u(g) = 173*g**2 - 1. Let m be u(b). Suppose v = -4*o + m + 149, -o + 4*v = -59. Is o composite?
False
Let k = -1331 + 1866. Is k composite?
True
Let q be 122 - (-1)/(3/(-6)). Suppose 16 = -4*s + q. Is s composite?
True
Let x be (-3)/(38/(-16) - -2). Suppose -n = -x*v + 3*v - 26, 0 = 3*n - v - 134. Suppose -3*m = 5*g - 41, 7 = 5*g - m - n. Is g a composite number?
True
Suppose q + 3*c = 148, 2*q = 3*c + 435 - 112. Is q prime?
True
Suppose -2*m - 4*x + 8*x + 720 = 0, -1087 = -3*m - x. Suppose -1006 + m = -2*i + 2*c, 4*i - c - 1291 = 0. Is i a prime number?
False
Let b(z) = z**2 - 10*z + 10. Let p be b(-9). Is (-3)/(-6) - p/(-2) a prime number?
False
Suppose 0 = 13*b - 15*b + 5866. Is b a composite number?
True
Let q = -51 + 88. Is q prime?
True
Suppose -23*c + 29*c = 42. Is c composite?
False
Let z(o) = -10*o - 3. Let f be (2/4)/(7/112). Let d = -17 + f. Is z(d) prime?
False
Let h(z) = 42*z + 11. Is h(6) a prime number?
True
Let y = -59 - -186. Is y a prime number?
True
Suppose -76 = -4*j + 200. Let o = -22 + j. Is o a composite number?
False
Is 224543/165 + (-2)/(-15) a composite number?
False
Let f(l) = -2*l. Let w be f(-3). Is 6*(w/4 + 2) composite?
True
Let w(a) be the first derivative of 3*a**2 + a - 3. Is w(3) a composite number?
False
Let m = 0 - 11. Let i = 20 - m. Is i a composite number?
False
Let i(b) = -b**2 - b + b - b + 2*b**2. Is i(3) a prime number?
False
Suppose -4*q - 320 + 1484 = 0. Let b = q - -64. Is b a prime number?
False
Suppose 4*p + 435 = 3*c, 5*c - p = 2*p + 725. Is c composite?
True
Let m(r) = r**3 + 8*r**2 + 7*r + 2. Let p be 8/(-20) + 33/(-5). Let v be m(p). Suppose -2*j + 3*a = -127, -v*a = -4*j - 4*a + 262. Is j prime?
False
Let j = -128 + 467. Is j prime?
False
Let n(a) = -a + 15. Let l be n(15). Suppose l*g - 2*g = -230. Is g a prime number?
False
Let h = 2906 - 1395. Is h a composite number?
False
Suppose 2*l = -f + 1145, -3*f - f +