, 280 = 4*m - 3*l. Is m a composite number?
False
Let t = 5 - 5. Suppose 5*q - 89 = -h, 4*h = -t*h + 2*q + 290. Is h prime?
False
Let s(w) = w**3 + 13*w**2 + 8*w + 8. Let g be s(-7). Let d = -76 + g. Let j = d - 49. Is j a prime number?
False
Let u(w) = 3*w**3 - 3*w**2 + 2*w - 2. Let l(q) = q**2 - 6*q - 5. Let f be l(7). Is u(f) a prime number?
False
Let i = 4 + 3. Let j = i + -3. Suppose -40 = -j*v + 828. Is v a composite number?
True
Suppose -4*p = -9*p - 4*w + 1523, -4*p + 1216 = 4*w. Is p a composite number?
False
Let i be (-6)/(-21) + 66/14. Suppose i*n - 18 = 87. Is n a prime number?
False
Let w(a) = a**3 + 6*a**2 - 7*a - 5. Let u = -5 + 4. Let y = -5 - u. Is w(y) composite?
True
Let t = -7 - -28. Is t prime?
False
Let a = 5 - 1. Let o = -3 + a. Is 0 + (57 - o) + -3 a composite number?
False
Let r(d) = d**3 + 3*d**2 - 2*d - 2. Let f be r(-2). Is f/3*59/2 a composite number?
False
Suppose 0 = 3*i + 290 - 1142. Let h = i + -151. Is h a composite number?
True
Let h(q) = q**2 - 2*q + 2. Let t be h(3). Suppose 2*b - 290 = 4*l, -t*b + 2*l + 696 = -45. Is b prime?
True
Let q = 1187 - 630. Is q a composite number?
False
Let b(y) = -y**3 + 3*y**2 + y. Is b(-3) a composite number?
True
Let p(w) = w**3 - 7*w**2 - 15*w + 9. Let m be p(11). Suppose 3*i - m = -91. Is i composite?
False
Let y(j) = -j**2 + 95. Let a(u) = 2*u - 3. Let o be a(4). Suppose -3*g - 2 = 2*z - z, 0 = -o*g - 4*z - 8. Is y(g) composite?
True
Is (4 + -6)*1599/(-6) prime?
False
Suppose -4*i + 1016 = 4*i. Is i composite?
False
Suppose n - q = 83, 0*n + 2*n - 4*q - 164 = 0. Suppose -2*u + n = 2*c, 4*u + 79 = 3*c + 233. Suppose 5*a - a = u. Is a composite?
True
Let n = 3194 - 1755. Is n a composite number?
False
Suppose -3*m - 44 = a, -5*m = -0*a + 4*a + 176. Is (a/6)/(12/(-54)) a prime number?
False
Suppose h = -5*b - 0*h + 4, -16 = -4*b - 4*h. Suppose b = 2*k - 6. Is 67 - (-3 - (2 - k)) prime?
False
Let x = 1173 - -694. Is x prime?
True
Let p be 38/9 + (-2)/9. Suppose s - p*s = -63. Is s a prime number?
False
Let d(c) = 332*c**3 - 2*c**2 + 1. Is d(1) a composite number?
False
Suppose 4*g + 19 = -13. Let r = g - -95. Let p = r - 54. Is p a prime number?
False
Let m(g) = -g**3 - 10*g**2 - 8*g - 15. Let j(d) = d**3 + 10*d**2 + 7*d + 15. Let k(a) = -5*j(a) - 4*m(a). Let o(x) = -x**2 - 1. Let b be o(3). Is k(b) prime?
False
Let k(q) be the first derivative of q**2/2 - q + 3. Is k(8) a composite number?
False
Suppose -166 = -2*i + 208. Is i a prime number?
False
Suppose -5*t = q - 674, 6*q + 5*t = 4*q + 1333. Is q a prime number?
True
Suppose g + s = -0*g + 7, -5*g - 2*s + 32 = 0. Suppose -4*i + 637 = r, 5*i - r - 797 = -3*r. Is ((-2)/(-1))/g*i prime?
True
Suppose 7 = v - 0. Let k(h) = -2*h - 1. Let b be k(v). Let u = b - -22. Is u prime?
True
Suppose 0*o - o - 14 = 2*x, 1 = -2*o + 5*x. Let b(y) = -3 - 4*y**2 + 6*y + 2*y**2 + 3*y**2. Is b(o) a composite number?
False
Suppose t = -5*j - 23, 28 = 2*t - 3*j + 9. Suppose -2*v + 54 + 208 = -4*y, -4 = t*y. Is v a composite number?
False
Suppose 0*a - 10 = 5*a. Let z(h) = 2*h - 2. Let f be z(a). Let q(j) = j**2 + 7*j + 9. Is q(f) prime?
True
Let a(g) = -2*g + 4*g + 2*g - 1. Is a(8) prime?
True
Let d(b) = 50*b**2 - 3. Is d(-4) a composite number?
False
Let x(g) = -g**3 - g**2 + 2*g - 3. Is x(-7) prime?
True
Let b be (-3 - -1)*39/(-6). Let y be (b + -1)/((-2)/(-10)). Let r = 109 - y. Is r prime?
False
Let w(c) be the second derivative of -41*c**3/6 - c**2 - 3*c. Is w(-3) a prime number?
False
Let q be (-2)/(-5) - (-184)/115. Suppose 5*n - 159 = 4*c - 0*c, 4*n + 5*c - 160 = 0. Suppose 0 = -q*m + n + 159. Is m a prime number?
True
Let u(o) = 6*o - 7. Let n be (-1)/(-1) - 2 - 25. Let p be n/(-4) - (-1)/2. Is u(p) a prime number?
False
Let x be -24 + (-1 - 0)/1. Let n = x + 36. Is n a prime number?
True
Let w(i) = 39*i - 8. Is w(6) a prime number?
False
Suppose -117*c + 22085 = -112*c. Is c prime?
False
Let t(w) = -2*w. Let s be t(-1). Suppose 3*m + s*g = 28 + 454, 12 = 3*g. Suppose 0 = -2*d - 2*h + 108, 2*d + h + m = 5*d. Is d a composite number?
False
Suppose -66 = -o + 19. Is o prime?
False
Let y be (-80)/14 + (-4)/14. Let j be 2/6 - 910/y. Suppose 3*p - j = -p. Is p composite?
True
Suppose -4*c + 5*d - 9 = 0, 0 + 3 = -c + 2*d. Is 3 + 7/c + 133 a prime number?
False
Suppose 5*n = 4*u + 674, -3*n + 2*n - 3*u = -131. Is n a prime number?
False
Let l(s) = s - 5. Let y = -1 - -6. Let r be l(y). Suppose -4*b + 3*t + 0*t + 1067 = r, 2*b - 521 = -t. Is b prime?
True
Let a = -863 - -1784. Is a a prime number?
False
Suppose -2*u + 2*x + 18 = 0, x = -3*u + 6*x + 37. Suppose -u*b - 3492 = -6*l + 2*l, -4*b = 2*l - 1722. Is l composite?
True
Suppose 0 = 2*k - l - 7, l = 3*k + 1 - 11. Suppose -5*u - o = 72, u + o + 18 = 2*o. Is k/(((-3)/1)/u) a composite number?
True
Let h be 0*(2 + (0 - 1)). Suppose 0 = -5*f + 4*t + 159, 4*f - 127 = -h*t + 3*t. Is f a composite number?
False
Suppose f + 2*l = 40, l + 104 = 5*f - 140. Suppose -b + 2 = w - f, 0 = 5*w - 3*b - 274. Is w a prime number?
True
Suppose -2*z - 2*g + 5 = -21, -4*z + 50 = 5*g. Is z prime?
False
Let h = -14 + 22. Is (h/12)/((-4)/(-3882)) a composite number?
False
Suppose 3*k + 2*k - 30 = 0. Suppose 355 = -5*q + k*q. Is q composite?
True
Suppose 0 = -11*j + 14*j - 753. Is j prime?
True
Is (-2 - -24) + -1 + -2 a composite number?
False
Suppose 1120 = 4*o + o. Suppose -4*m + o = -2*h - 0*h, 2*m = 2*h + 110. Is m a prime number?
False
Suppose 4*k - 3*a + 4 = -0, 3*k - 3*a + 6 = 0. Let r(j) = 74 - 3*j - 5*j**k + 2*j + 81 + 6*j**2. Is r(0) composite?
True
Suppose -3*r = -740 - 1129. Is r a prime number?
False
Suppose -4*x = -2*x - 4. Suppose 3*p - x*y - 109 + 40 = 0, p - y - 23 = 0. Suppose 3*v - 9 = 0, -l - 2*v - 8 = -p. Is l a prime number?
False
Let r(d) = 32*d - 2. Let k be r(5). Let s = k - 79. Is s a prime number?
True
Suppose 2*q = -p + 2477, -4*q + 2*q - 5*p + 2457 = 0. Is q prime?
False
Suppose -q + 21 = 4*o, -4*o - o = 3*q - 21. Let m(b) = b - 1. Let h be m(o). Suppose -h*r + 76 = -r. Is r prime?
True
Let h be (-3)/(-6) - (-16556)/8. Suppose 0 = 2*s + 4*x - 1020, 0*x + h = 4*s - 2*x. Suppose 3*c = 2*p + 781, -2*c - p + s = -0*c. Is c a prime number?
False
Suppose -v = -2*v + 467. Is v composite?
False
Let m be (7 - 4) + 11*-2. Let v = 16 - m. Is v prime?
False
Let u = 741 + 733. Suppose 2*f - 4*f - 2*r = -580, -5*f = -3*r - u. Suppose -4*h = -2*y - 2*h + 192, -4*h - f = -3*y. Is y a prime number?
False
Let w(g) = -g**3 + 3*g**2 - 1. Let k be w(3). Let d(h) = -3*h**3 - 2*h**2 - 2*h - 1. Let r be d(k). Suppose -r*o = -15 - 5. Is o composite?
True
Let d(s) = s - 8. Let g be d(8). Suppose g*h - 2*v = -h + 339, -2*v - 670 = -2*h. Is h prime?
True
Let k(t) be the first derivative of 239*t**2/2 - 2*t - 6. Is k(1) composite?
True
Let b be -64 + 2 - (-8)/4. Let l = b - -113. Is l a composite number?
False
Suppose -1018 = -3*c + 3*u + 2*u, -1349 = -4*c + 5*u. Is c prime?
True
Let r be (-2)/2 - (-27)/3. Let o(y) be the third derivative of -y**5/60 + 5*y**4/12 - 5*y**3/3 + y**2. Is o(r) a prime number?
False
Suppose 0 = -3*k + 1 + 5. Suppose 3 = k*p - 19. Suppose 2*w - 193 = -p. Is w composite?
True
Let a = 9 - 15. Let c be 6/(a/(-2)) + 145. Suppose 2*z + z - c = 0. Is z composite?
True
Let o(p) = 3*p**3 - 5*p**2 - 11*p + 5. Is o(6) a prime number?
False
Let o = 9 + -11. Is (o/3)/(4/(-222)) a composite number?
False
Is 16317/28 - (-2)/8 a prime number?
False
Let q = -1133 + 2271. Is q composite?
True
Let s(l) = l**2 + l + 21. Let a(g) = g**2 + 5*g + 4. Let h be a(-4). Is s(h) a composite number?
True
Let r(z) = -9*z**2 - 2*z - 4. Let u be r(-3). Let x = u - -176. Is x prime?
True
Let p = 3 - 6. Let s be (112/(-40))/((-24)/10 - -2). Let o = p + s. Is o a composite number?
True
Let p(n) = -14*n**3 + n**2 - n - 1. Let o be p(-1). Let g be (o/(-12))/((-1)/4). Suppose 0 = 2*u - u - 4*x + 2, -g*u + 22 = -4*x. Is u a composite number?
True
Let q be -1*0*(0 + -1). Suppose q*j - 3*j = -795. Is j a composite number?
True
Let r = 16 - -10. Let u = r - 8. Suppose 2*l + l - u = 0. Is l a prime number?
False
Let t = 513 + -36. Suppose 0 = -0*c + 3*c - t. Is c a prime number?
False
Suppose 0 + 5 = -4*k + 3*p, 0 = -2*k - 2*p - 6. Let t = k + 4. Suppose -6*a = -t*a - 228. Is a a prime number?
False
Let b(h) = h**2 - 6*h + 7. 