uppose -1417 = -10*l + 1013. Let q = l - 20. Is q composite?
False
Suppose 2*z + 6*k = 9*k + 24997, 4*z = -2*k + 49954. Is z composite?
False
Let w(z) = 34*z - 6. Let d be w(-3). Is (-24)/d - (-662)/18 composite?
False
Let i be 1/((-1)/(-1 - 0)). Suppose 2*o - 3*r + 4 = i, -2*o - 3*r = -15. Suppose 496 = 4*l + o*z, -z = -0*l - l + 131. Is l a composite number?
False
Let j be 92/20 + 6/15. Suppose -j*r + r = -912. Suppose -2*v = -5*v + 5*t + 169, 4*t + r = 4*v. Is v composite?
True
Let w be ((-7)/21)/((-1)/102). Let n(f) = w*f**2 - 2*f + 0 + 345*f**2 + f - 1. Is n(-1) composite?
False
Suppose -7*y = -17*y + 13190. Is y prime?
True
Suppose 0 = 2*c + c + 3*y - 9, 1 = 3*c - 5*y. Is 9435/21 + c/(-7) a prime number?
True
Suppose 0 = -4*v + 46 - 2. Let q(d) be the third derivative of -d**6/120 + d**5/5 + 11*d**4/24 - d**3/2 + 5*d**2. Is q(v) composite?
False
Suppose 6*s + 248 - 13550 = 0. Is s composite?
True
Let t(m) = 3*m - 19. Let s be t(8). Suppose 0 = s*p - 3*u + 5*u - 664, -5*p - 4*u + 658 = 0. Is p prime?
False
Let i(t) be the second derivative of t**4/6 + 4*t**3/3 + 5*t**2 - 3*t. Let p be i(-7). Suppose 0 = -5*d - 4*l + 165, d - 2*l - p = l. Is d composite?
False
Suppose 3*g - 10370 = -y, -5*g + 9*y + 17288 = 6*y. Is g a composite number?
False
Let d = -6194 - -15897. Suppose y - v - 976 = 2260, 4*v + d = 3*y. Is y composite?
True
Suppose -5*t = 249*f - 248*f - 207902, t = 5*f + 41596. Is t prime?
False
Let q(b) = -b**3 - b**2 + 3*b + 2. Let d be q(-2). Suppose 28 = m + w - 3*w, -w + 4 = d. Suppose 4*s = -m + 192. Is s a composite number?
True
Let b(h) = 147*h**3 - 2*h**2 - h + 6. Let m be b(2). Suppose -m = -7*t + 3*t. Is t prime?
True
Let y(v) = -v**3 + 5*v**2 + 10*v - 8. Let d be 3/(-1) + (0 - -9). Let c be y(d). Suppose 3*u = c - 4. Is u prime?
False
Let m be (-77)/55 + 3/(-5). Is (-3 - m) + (-2 - -1352)*3 prime?
True
Let c(k) = -k**3 - k**2 + 630. Let w be c(0). Suppose -s - s = -w. Let i = -106 + s. Is i a composite number?
True
Suppose 2*k + 3*k - 4*f = 32, k - 5*f = 19. Suppose 0 = k*a, 2*j - 5*a = 398 + 864. Is j prime?
True
Let y be (30/(-105))/((-2)/(-14)). Is y/(-2)*-74*(-134)/4 composite?
True
Let w be 27/2 - (-4)/(-48)*6. Suppose -70 = -15*n + w*n. Is n a composite number?
True
Suppose -3*p + 253 = 5*o, -5*o - p = -392 + 131. Let f = o + 170. Is f a composite number?
False
Suppose l - 5*t - 35 = 0, 3*t + 45 = -l + 4*l. Let j(o) = 3*o**2 + 4*o - 21. Is j(l) composite?
True
Let j = 35628 - 4841. Is j composite?
True
Let m(i) = -13*i - 43*i - 84*i - 1. Is m(-3) composite?
False
Let l(v) = -v**3 + 3*v**2 + 2*v. Let b be l(3). Let z be (3 + -9)*(-3)/b. Suppose -3*u - 2*o + 491 = 0, -4*u - z*o + 818 = u. Is u a composite number?
False
Suppose -6*f = f - 6587. Is f prime?
True
Let s = -12 + 6. Let d be (2150/15)/((-4)/s). Let f = -133 + d. Is f prime?
False
Suppose -80 = 4*w - 5*x, 36 = -3*w + 4*x - 24. Let y be (128/w)/((-2)/(-20)). Let l = 110 + y. Is l composite?
True
Suppose 20*c - 10908 = 24*c. Let v = c - -4664. Is v a prime number?
False
Let p(a) = 2*a**2 - 14*a - 177. Is p(-10) composite?
False
Let q(w) = 14*w**2 - 44*w + 1. Suppose -136*d - 56 = -140*d. Is q(d) composite?
False
Suppose -p = -3*j + 13427, -2*p + 7986 - 25892 = -4*j. Is j a prime number?
False
Let j = -91 + 96. Suppose 0 = 6*q - 4*q - j*a - 1252, 0 = q + 3*a - 637. Is q prime?
True
Let q = -1201 + 2218. Suppose 5*w + 4*x - 906 = 4157, w - q = -3*x. Is w composite?
True
Let j = -6 - -9. Suppose 0*g - d = -5*g + 106, j*g + 4*d = 59. Is g prime?
False
Let g be 3/(-7) + (9375/(-7))/(-3). Suppose 6*n - 8*n = -g. Is n prime?
True
Let y(k) = 322*k**3 - 21*k + 33. Is y(4) composite?
True
Let h = -464 + 950. Suppose 5*d - 484 = -2*z, -753 - h = -5*z + 2*d. Is z a composite number?
True
Suppose 0 = -4*z + 9*z + 13890. Let y = z + 4751. Is y a composite number?
False
Suppose 5*n + 4*n = 17541. Is n composite?
False
Suppose 3*q - 11 + 32 = 0. Let n(h) = -h**3 - 5*h**2 - 4*h + 16. Is n(q) prime?
False
Suppose 25*f + 54885 = 40*f. Is f prime?
True
Let l(q) = -q**3 + 4*q**2 + 2*q - 7. Let h be l(3). Suppose h*i - 948 = 580. Is i prime?
True
Suppose 4*p + 236 = -4*y, 3*p = -y - 0*p - 59. Let s = y + 96. Is s prime?
True
Suppose -51*h - 13265 = -538004. Is h a composite number?
False
Let x(b) = -86*b**3 - 8*b**2 - 7*b - 8. Suppose 3*s = -15 + 6. Is x(s) a composite number?
True
Suppose 12*l + 658707 = 33*l. Is l a composite number?
True
Let s = 1536 + 2453. Is s composite?
False
Let b(v) = v**2 + 6*v + 7. Let k be b(-5). Suppose -8 = -2*i - k. Is (i + -2)/((-2)/(-514)) prime?
True
Let q(l) = -l + 11. Let g be q(4). Let a = g + -2. Suppose a*o + 15 = 2*t, 4*t + 4*o - 31 - 13 = 0. Is t composite?
True
Let c = 1252 + 12057. Is c a composite number?
False
Let q = 8369 + 2112. Is q a prime number?
False
Let j = -234 + 129. Let u = 40 + j. Let o = 192 + u. Is o a composite number?
False
Suppose 6*y = y - 40. Let b be 25 + 0 + (y - -6). Suppose -4*o + z = -b, 4*o + z + 4*z = 53. Is o prime?
True
Is 3/6*2*(-4 + 4551) a prime number?
True
Suppose 0 = -5*w + 28*w - 508461. Is w composite?
True
Let m be 299/(2 - 3/2). Let v be -6 + 24 + (-2 - -1). Suppose 5*c = v + m. Is c prime?
False
Let l be (-84)/(-9)*(-18)/(-12). Suppose -7*n = 7 + l. Let t(h) = h**2 + 2*h + 4. Is t(n) composite?
False
Let b = -8 + 8. Suppose 4*z + 4*x - 56 = b, 4*x - 19 = -2*z + 19. Suppose 5*r = -z + 194. Is r a composite number?
False
Let y = 16624 - 9831. Suppose 5*r - y = 4*c, -3 + 0 = -c. Is r a prime number?
True
Let s = -1 - 14. Is (-6290)/s - 5/15 a prime number?
True
Suppose 0 = 12*c - 45 - 255. Let u(f) = -f**3 + 25*f**2 + 4*f + 55. Is u(c) composite?
True
Suppose 5*b = -g + 6*g - 10565, 0 = 5*g - 4*b - 10563. Is g a prime number?
True
Let s = 85 + -193. Let y = s - -19. Let i = y - -216. Is i a prime number?
True
Suppose -4*t - 20 + 4 = -3*c, -5*c = -t - 21. Suppose 0 = 5*k - b - 1354, 0*k + 1088 = c*k + 4*b. Is k composite?
False
Suppose 3*h = 2*l + 1238 + 8465, -3*h + 9693 = 3*l. Is h prime?
False
Suppose 17*i = 13*i + 4*t + 11728, 3*i - t = 8790. Is i a composite number?
True
Let b = -3 + 6. Let q(n) = 6*n**3 - 7*n**3 + 4*n + 3*n**3 + 1 + b*n**2 - n**3. Is q(3) composite?
False
Let l = 17002 + -8365. Is l a composite number?
True
Let c = 90637 - 39822. Is c a composite number?
True
Suppose 6*f - 9613 = 86855. Is f a prime number?
False
Let b(w) = -16*w**2 - 5*w - 5. Let f be b(-12). Let l = -1240 - f. Is l prime?
True
Let z be -904 - (-2)/(4/(-10)). Let a = z + 2176. Is a a composite number?
True
Suppose -5*z = 14 + 1. Let j(h) = -65*h - 1. Is j(z) composite?
True
Let k(y) = -3319*y - 20. Let s be k(-4). Suppose s = 47*w - 43*w. Is w composite?
True
Suppose 3*l - 19 = 2*i, -5*l - 4*i = i + 10. Suppose l*w - 6 = -3*w. Is ((-1)/w)/(6/(-498)) prime?
True
Suppose -3*t - 5*b = -37, -5*b = 3 - 28. Suppose -2607 = -4*h + h + 5*m, -t*h = 5*m - 3476. Is h a prime number?
False
Let k = 186292 + -88211. Is k a composite number?
False
Is (-10546)/(-8) + (-3)/12 + 0 prime?
False
Suppose h - 4*g - 98 = 0, -4*h + 288 = -2*g - 90. Let c be (23 - 32)/((-4)/(-28)). Let u = h - c. Is u composite?
False
Let i(v) be the first derivative of -177*v**2/2 - 5*v - 12. Is i(-3) prime?
False
Suppose -30*t + 31*t = 0. Is t + -3 + 1516 + -14 prime?
True
Let t(h) = 2*h - 7. Let k be t(5). Suppose k*f = 250 + 203. Let u = f - -10. Is u composite?
True
Let z(r) = 1303*r**3 - r**2 + 4*r - 1. Is z(2) composite?
False
Let i = 3028 + 3471. Is i composite?
True
Let a = -1479 + 2308. Let g = a + -420. Is g composite?
False
Let r(t) be the third derivative of -t**6/120 + t**5/5 + t**4/8 + t**3/2 + 8*t**2. Is r(11) a composite number?
False
Suppose -j - 9056 = 3*d + 4*j, 15106 = -5*d - 2*j. Let l = d - -4807. Is l/12 - (-1)/4 prime?
True
Let y = -10 - -10. Suppose 4*k + 177 = l, l - 4*l + 3*k + 504 = y. Suppose -8*m + 5*m = -l. Is m prime?
False
Let f be ((-12)/18)/((-4)/18). Suppose -4*q + u = -3*u + 52, -12 = -f*u. Is (-1037)/q - 10/45 composite?
True
Let d be -1 - (-5 + 3) - -8. Suppose -d*b + 1240 = -b. Is b a prime number?
False
Is (371*13/(-182))/(1/(-958)) a composite number?
True
Suppose 4*r = 0, 4*c - 12 = 2*c + 3*r. Suppose c*v - 2*v + 3*h = 23, 4*h - 9 = -v. Suppose 0 = v*o + p - 959, 5*o - 5*p - 261 = 674. Is o prime?
True
Let