). Suppose -26 - 239 = -5*l. Let c = t - l. Is c composite?
True
Suppose 3*t + 10 = 4. Let d(i) be the first derivative of -17*i**4/4 - i**3 - i**2/2 + i - 1. Is d(t) prime?
True
Let t = 478 - 277. Let u = t + -62. Let g = u - 70. Is g composite?
True
Let b(o) be the third derivative of -o**6/120 + o**5/6 - 3*o**4/8 - 3*o**3/2 + 12*o**2. Let h(s) = -s**2 - 6*s + 3. Let x be h(-5). Is b(x) prime?
True
Suppose p - 4*n = 69, 5*p + 3*n = -0*p + 437. Let l = p - 47. Suppose u = -u + l. Is u prime?
True
Suppose 0 = -5*w + a + 50 + 25, -2*w = 4*a - 30. Suppose -3*q - w + 219 = 0. Let l = 93 + q. Is l composite?
True
Suppose -5*q + 2 + 7 = -3*p, 2*q - 12 = -3*p. Suppose -17 = -p*x + 13. Is x a composite number?
True
Suppose -17 = 5*w + 3. Let v(b) = b + 8. Let j be v(-6). Is 194*(-1)/w*j composite?
False
Let x = -819 - -1376. Is x prime?
True
Let l = -905 - -2159. Suppose -5*q = -c - l, -4*c + 313 = 2*q - 193. Is q prime?
True
Let q be (1 - -270) + (4 - 2). Suppose 211 = 4*u - q. Is u a composite number?
True
Let n be (2/6)/(2/24). Suppose -n*w + 270 = w. Let i = 133 - w. Is i prime?
True
Let x be (-2 + (-24)/15)*-5. Is ((-4764)/x)/((-2)/3) prime?
True
Let x(k) = 34*k + 4. Let r be x(-3). Let o = 144 + r. Is o a prime number?
False
Suppose -2*y - m = -3*m + 228, -570 = 5*y - 3*m. Let z = 197 + y. Is z prime?
True
Suppose 5*l = 3*b - 37, 0 = 2*b + 2*l + 3 - 1. Suppose -j + 204 = 4*p - 374, -2*p + 298 = -b*j. Is p prime?
False
Let q be (-25)/20 + 1/4. Is 1/(q + (-45)/(-42)) a composite number?
True
Let k be (-5)/10 - (-45)/2. Suppose 0 = -0*u - u + k. Is u a composite number?
True
Let y(l) = 2*l**3 - 5*l**2 - 4*l + 4. Let o(x) = -x**2 + 13*x - 7. Let s be (-23)/(-2) - (-3)/6. Let r be o(s). Is y(r) a prime number?
True
Let m(z) = z**2 + 10*z + 3. Let t be m(-10). Suppose t*h + 3*d = 3, -2*h - 2*d - d - 3 = 0. Suppose h*v - 110 = v. Is v a prime number?
False
Is (38/(-8) + -3)/((-3)/12) a composite number?
False
Suppose -2*f + 15 = 3*f. Suppose 2*c + 3*k = -102, -f*k - 273 + 75 = 4*c. Let s = c - -85. Is s prime?
True
Suppose -4*l + 4*n = -3936, -2*l + n + 876 + 1091 = 0. Is l composite?
False
Let x be (2/4)/((-1)/12). Is x/(-15) + (-483)/(-5) prime?
True
Let q(y) = y**2 + 2*y + 215. Let f be q(0). Suppose -f = -g + 272. Is g composite?
False
Let r = 11 + -7. Suppose -6*p + r*p = -106. Is p composite?
False
Let k(u) = -u - 1. Let m be k(2). Is m/(-5) - (-107)/5 a composite number?
True
Suppose -4*i + 390 = -i. Let x = 253 - i. Is x a composite number?
True
Let r(h) = 16*h**2 + 34*h + 13. Is r(-12) composite?
True
Suppose 2*j - 3*b - 192 = 0, -3*j - j + b = -394. Suppose -123 = -2*f + j. Let x = f + -74. Is x a composite number?
False
Suppose -x + 3*z = -126, -2*z - 136 = -x - z. Is x composite?
True
Suppose -4*s = -5*s + 33. Is s composite?
True
Let f(n) = -23*n - 5. Let a be f(5). Let k = 169 + a. Is k a prime number?
False
Suppose 3*f = 4*f - 443. Is f a composite number?
False
Suppose -2 = -2*s + 2, 0 = 4*k + s - 550. Let h = k + -64. Suppose 249 + h = 2*c. Is c a prime number?
False
Is 25/10*(1 + 225) composite?
True
Suppose -2*k - y = -7 - 4, 4*y = -2*k + 20. Suppose -k*m = -2*m. Suppose m = -9*p + 4*p + 335. Is p prime?
True
Let m(k) = 0 - 3 + 3*k**2 + 20*k**2 - 3*k - 2. Is m(-3) prime?
True
Let z(s) = 5*s**3 - 3*s**2 + 4*s - 2. Let g(d) = d**3 + d. Let l(p) = 6*g(p) - z(p). Let u be l(-2). Suppose 6*k = -m + u*k - 1, 5*k + 25 = 0. Is m composite?
False
Let v = -119 + -23. Let l be (-15)/(-3)*v/(-5). Suppose -123 = -5*x + l. Is x composite?
False
Let p = -9 + 172. Is p composite?
False
Is (10/(-7))/5 + (-11160)/(-7) a prime number?
False
Let o be (-2)/(-12) - 22/(-12). Let k be (5/2)/(1/o). Suppose 0 = -s - 2*t - 5 + 16, -k*t + 11 = s. Is s prime?
True
Let g = 1330 - 767. Is g a composite number?
False
Let s(p) = p - 1. Let i(h) = -38*h**2 + h. Let t(f) = -i(f) + s(f). Let y be t(1). Suppose 3*l - y = -4*v, 5*l - 1 = -3*v + v. Is v a prime number?
True
Let s = 1037 + -451. Is s composite?
True
Let d(y) = -y. Let s(k) = -44*k**2 + 6*k + 1. Let v(g) = -6*d(g) - s(g). Is v(1) a composite number?
False
Suppose -559 = -7*o + 862. Is o composite?
True
Suppose -4*p - 134 = -42. Is -1 + -1 + p/(-1) a prime number?
False
Let z(k) = k**2 - 10*k + 6. Let g be z(9). Let t(a) = 45*a**2 + 4*a + 2. Is t(g) a composite number?
True
Suppose -3*a + 3*q = -q - 1249, 0 = -5*a - 4*q + 2039. Is a prime?
False
Suppose -1649 = -5*z + a, 874 = 4*z + 2*a - 448. Let f = z + -139. Is f a prime number?
True
Suppose 0 = -12*r + 4*r + 6136. Is r a composite number?
True
Suppose y + 4*g = -y + 16, -2*y + 14 = 3*g. Suppose 12 = -y*h + 96. Is h a composite number?
True
Let l(m) = -6*m + m - 15*m - 7 + 2*m. Is l(-5) a composite number?
False
Let i = -80 + 129. Suppose s + i = 2*s. Is s composite?
True
Let b(z) = -z**3 + 8*z**2 - 6*z + 1. Let p be b(7). Let s = 5 - p. Let w(o) = -2*o. Is w(s) composite?
True
Let m(p) = -5*p**3 - 17*p**2 - p + 2. Let y(i) = -11*i**3 - 35*i**2 - 3*i + 5. Let t(c) = -13*m(c) + 6*y(c). Is t(9) a composite number?
True
Suppose -2*y + 95 + 647 = 0. Is y a composite number?
True
Suppose 3*o - 12 = -3*o. Is o/8 + 1035/4 composite?
True
Let y be 3*2/(-3) - -187. Suppose 15 - y = -5*x. Is x composite?
True
Suppose 5*f + u - 8166 = 2*f, 4*u = -f + 2733. Is f a prime number?
False
Let g be (-4)/(-3) + (-4)/(-6). Suppose -j + 168 = g*j - 3*b, -4*j + 242 = 2*b. Is j a composite number?
False
Let w = 5 + -3. Suppose -o = -w*x - 31, -77 - 19 = -3*o + 5*x. Is o a composite number?
False
Let x be (4/(-6))/((-10)/2355). Let g = x + -28. Suppose -3*j = -0*j - g. Is j a prime number?
True
Let z(i) be the third derivative of i**4/24 + 5*i**3/6 + 2*i**2. Let r be z(-5). Suppose r = -2*l - 2 + 176. Is l composite?
True
Let m be 1*5/(5/9). Suppose -2*q + 15 = -m. Suppose -3*g + 2*w + q = -w, -4*w + 32 = 4*g. Is g prime?
False
Let l(i) = 4*i**2 + 5*i - 2. Suppose -z + 2*g = -2*z - 17, -6 = -2*z + 4*g. Is l(z) composite?
True
Suppose 0 = o - 13 - 8. Is o prime?
False
Suppose 4 = 5*r - 11. Let f(b) = b**2 - 8*b - 4. Let h be f(8). Is h/r*(-21)/2 prime?
False
Suppose -q = 2*v - 1341, 0*v = -2*v + 4*q + 1326. Is v a prime number?
False
Let d be (2 - 13 - 1) + -2. Let j = d + 35. Is j prime?
False
Let f be -1 + 7/(-1) + 2. Let a(v) = -59*v - 13. Is a(f) a composite number?
True
Let r = 3 + 92. Suppose 0 = -5*g + 75 + r. Suppose -4*d - g + 142 = -4*f, 128 = 5*d + 2*f. Is d prime?
False
Let s be (-1866)/(-15) + (-6)/15. Suppose -3*q - 22 = -s. Is q composite?
True
Let g(o) = 4*o**2 - o + 1. Let x(n) = n - 13. Let c be x(15). Is g(c) a prime number?
False
Let k(u) = -557*u - 25. Is k(-4) prime?
True
Suppose y + 2*y = 0. Suppose -d + 4 - 3 = y. Is d - (-77 - (3 + -2)) prime?
True
Suppose 3*k - 745 = 4*a, k + k + 4*a - 490 = 0. Let w = k + 90. Is w a prime number?
True
Let s = -10 - -87. Is s composite?
True
Let f = -3401 - -5370. Is f a composite number?
True
Let o = 2 + -1. Let j(s) = 0 + 5 + o + s. Is j(0) composite?
True
Suppose 0*a - 2*a + 6 = 0, 1990 = 4*t + 2*a. Let j = t + -279. Is j composite?
True
Suppose 2*j - 8 - 16 = 0. Let b be (-2)/(3 - (-69)/(-21)). Let f = b + j. Is f prime?
True
Let p be -7 - 2*1/(-2). Let a(v) = -v**3 - 7*v**2 - 5*v + 3. Let y be a(p). Is 0 + 3/y - -8 a composite number?
False
Suppose 0 = 5*m - 5 - 15. Let l(n) = -n**3 + 5*n**2 - 4*n + 4. Let s be l(m). Let q = 99 - s. Is q composite?
True
Suppose 5*h - 439 - 661 = 0. Suppose 3*g = -i + h, -2*i + 624 = i - 3*g. Is i prime?
True
Let y(n) = 2*n**2 - 9*n - 4. Let d be y(8). Suppose 2*m = -0*m + d. Is m a prime number?
False
Let s be (-2)/(-8) + (-46)/(-8). Let i(a) be the third derivative of -a**6/120 + 7*a**5/60 + a**4/3 - 7*a**3/6 + a**2. Is i(s) composite?
True
Let a be 0 + (2 - 1)*5. Suppose -a*i + 4*i + 161 = 0. Is i composite?
True
Suppose 5*t - 7 = 13. Suppose t*g = -0*g + 3360. Suppose 4*c = -4*u + 632, -7*c = -2*c - 5*u - g. Is c prime?
True
Let w be (1/(2/(-6)))/(-1). Let s = -23 - -25. Suppose s*v = -w*v + 395. Is v prime?
True
Suppose s + 1 - 3 = 0. Suppose -s = 2*r - 0, 0 = -2*d + r - 15. Let l = 29 + d. Is l prime?
False
Let j(s) = 23*s**2 + 9*s - 7. Is j(5) a composite number?
False
Is -1535*(-5 + (5 - 1)) composite?
True
Let j = 3245 - 2304. Is j a prime number?
True
Let f be 4/(-6)