**2 - 50*b + 12. Is l(5) a prime number?
True
Let o = -16652 + 25819. Suppose n = -3*i - 5292 + 14461, -2*n + o = 3*i. Is i composite?
True
Suppose 0 = -9*q + 877 + 320. Is q a prime number?
False
Let p(s) = -s + 9. Let q be p(5). Let b = q - 3. Is 673/(2 + (-1)/b) prime?
True
Suppose -4 + 14 = 2*q. Let u(t) = -74*t + 3. Let v be u(q). Let j = v - -570. Is j prime?
False
Suppose 3*s + 3*d - 12 = 0, 0*s - 10 = -4*s - d. Is (-3)/s - (-378)/4 a composite number?
True
Let q(c) = -689*c**3 - 8*c**2 - 2*c + 2. Is q(-3) prime?
True
Suppose -2*f = -19 + 21. Is -9 + 42/7 - f*1166 composite?
False
Let w = -6 - -11. Suppose 4*g - 2*g - z = -1790, 0 = w*g + 4*z + 4501. Let y = 1510 + g. Is y prime?
True
Suppose 580*f - 570*f - 487310 = 0. Is f a composite number?
False
Let y be (84/18)/((-2)/(-3)). Suppose 4*d - 3723 = 2*i - y*i, 2*d = 2*i - 1482. Is i a prime number?
True
Let x(p) = 9*p**3 - 2*p + 1. Let b be x(1). Let s(c) = c**3 - 4*c**2 - 3*c**2 - b*c + 1 + 4*c. Is s(9) composite?
False
Is 4/2*8301/6 composite?
False
Let r be -2*3/(-12)*0. Suppose 7*d - 6*d - 2 = r. Suppose 22 = d*f - 24. Is f prime?
True
Let t = -17 - -17. Suppose -2*b + t*z - 4*z - 8 = 0, 34 = -b + 4*z. Is 4/b + 2673/21 a composite number?
False
Let x(u) = 7*u - 25. Let s(i) = -4*i + 13. Let r(w) = -5*s(w) - 3*x(w). Let g be r(10). Suppose g = 3*a + 13 - 106. Is a composite?
False
Let l = -7645 - -11928. Is l a composite number?
False
Let l be (-16)/72 - 20/(-9). Suppose 0*m + m = l*r - 1401, -2*r - 5*m = -1407. Is r composite?
False
Is -11 - (7 - (20071 - 2)) a composite number?
False
Let i(v) = 5*v**2 - 13*v - 9. Let s be (-33)/7 - (-4)/(-14). Let m = s + -3. Is i(m) prime?
False
Let g(s) = -508*s + 27. Is g(-2) composite?
True
Suppose 4*s - 86 = -2*o, 0 = 5*o - 0*s + 2*s - 175. Suppose -4*w + q + 39 = -3*w, o = w + 2*q. Is w prime?
True
Let a(c) = -507*c + 46. Let x = 152 - 161. Is a(x) a composite number?
True
Is 10/(-4)*(293769/(-35) - -1) a prime number?
True
Let p(h) = 642*h**2 + 3*h + 8. Let j be p(-2). Suppose 0 = -2*s - 0*s + j. Is s a composite number?
True
Is -45 - -6867 - (-2 - (-2 + 1)) composite?
False
Suppose 4*a = 2*z - 34258, -11520 = -z - 5*a + 5616. Is z composite?
True
Suppose 7*b = -6066 + 25197. Is b a composite number?
True
Let m be -6661*4/(-20)*-5. Let o = m + 10026. Is o prime?
False
Let y = 11901 + -16. Is y a composite number?
True
Let d be (-13980)/(-21) - 8/(-28). Let v be (-8)/12*d/(-4). Suppose -4*g = -g - v. Is g a composite number?
False
Let p(t) = 30*t**2 + 3*t + 2. Let u be p(-5). Suppose x = 4*x + j - 1114, 2*x - 5*j - u = 0. Is x prime?
False
Is 1717 - ((-3 - -10) + -7) composite?
True
Let x(h) = -h. Let s be x(2). Is (-3 - (1 - s - 4)) + 1659 composite?
False
Suppose 2*y = 3*k - 25, 5*y - 14 = k - 2*k. Let v = 55 - k. Is v prime?
False
Suppose 13*o - o - 84 = 0. Let l be (-4)/(-6) + 5726/6. Suppose -2*w + o*w = l. Is w composite?
False
Suppose i - 19 = -3*f + 5*f, 3*f + 11 = 5*i. Is 0*(-4)/f + 843 a prime number?
False
Suppose -4*i + 2*m = 148, -4*m + 8*m = -5*i - 185. Let z = 214 - i. Is z a composite number?
False
Let j = 248 - 173. Is j + (-5)/(15/(-6)) a prime number?
False
Let s(c) = -12*c - 1 - 1 + c - 40*c. Let n be s(1). Let i = 234 - n. Is i composite?
True
Let h be 1 + (8 + -2)/3. Suppose l - n = -4*n + 100, -h*n = -3*l + 336. Is l prime?
True
Let w = -3128 - -5889. Is w a composite number?
True
Let k(d) = d. Let m(p) = p**2 - p + 5. Let b(c) = 6*k(c) + m(c). Let g be b(-5). Suppose -330 = -5*u + g*z, 3*u - 2*z = -5*z + 204. Is u a prime number?
True
Suppose -5*f + 390 = -4*j, -f + 112 - 23 = -3*j. Is f prime?
False
Suppose 11*x + 189 = 35. Let u(p) = p**3 + 15*p**2 + 9*p + 4. Is u(x) a prime number?
False
Let v be -6 + 0/(-2) - (-13 + 9). Is v*(-2 + 3 - 8) a composite number?
True
Let j(h) = -h + 24. Let t(x) = 11*x - 3. Let z be t(2). Let v be j(z). Suppose 3*g + 4*d - 479 = 0, g + 4*d + 620 = v*g. Is g a prime number?
True
Let s be (-1 - 0)/((-2)/(-10)). Let t(q) = 2*q**2 + 9. Is t(s) a composite number?
False
Suppose -11*j + 7*j + 26 = 2*v, 0 = 3*j + 2*v - 22. Is -2*(-1721)/j*14/7 a prime number?
True
Let d = 803 - 1476. Let j = -162 - d. Suppose 2*m - j = 7. Is m prime?
False
Let g(s) = -s**2 - 9*s + 947. Is g(0) a prime number?
True
Let q(x) = 90*x + 3. Suppose 2*f - 3*f = -4. Let v be q(f). Suppose v + 1345 = 4*n. Is n prime?
False
Let w be (-1 + -1)/(4/(-6)). Suppose 0 = -p - 3*p + 8. Suppose -8 = -p*a - 4*i + 2, a - w*i - 10 = 0. Is a a composite number?
False
Suppose 3*g - 43499 = -4*k, 14*k = -4*g + 13*k + 58003. Is g a prime number?
False
Suppose -4*h - 3*o + 22921 = 0, 2*h + 2*o + 1522 - 12982 = 0. Is h a composite number?
True
Let j(c) = -c**3 - 9*c**2 - c - 7. Let d be j(-9). Suppose -d*z = -4*z + 154. Is z a prime number?
False
Let d = 100 + 1273. Is d a prime number?
True
Let l be (-7)/(196/(-40))*(-27 - -34). Let a(g) be the third derivative of g**6/120 - g**5/10 - g**4/12 - 7*g**3/2 - g**2. Is a(l) a prime number?
True
Suppose -j = -4*j + 30. Suppose -j = -9*p + 4*p. Suppose 0 = 4*u + p*u - 636. Is u a prime number?
False
Let i = -7006 + 10365. Is i composite?
False
Let u(d) = 73*d**2 - 45*d - 1. Is u(3) prime?
True
Let q(h) = -5*h - 38. Let l be q(-10). Is 2 - 16/l - 1885/(-3) a prime number?
False
Suppose 5*h + 3*l = 19031, l = -2*l + 6. Is h a composite number?
True
Let b = 10955 + -6822. Is b a prime number?
True
Let v(g) = g**3 - 2*g**2 - 5*g + 1. Let i be v(3). Let r(m) = -m**3 + m**2 - 2. Let y be r(i). Suppose -3*w + 409 = y. Is w a composite number?
True
Let h = 10555 + -4940. Is h prime?
False
Suppose 5*s - 56 + 16 = 0. Let p = 13 - s. Let z(r) = 2*r + 9. Is z(p) a prime number?
True
Suppose 0 = -4*u + u - 3*s + 16890, u - 5642 = -5*s. Is u a composite number?
True
Let g = 10926 + -4679. Is g a composite number?
False
Suppose 5*i = 2*i. Suppose i*s + s - 4 = 0. Is ((-776)/(-20))/(s/10) prime?
True
Let b be -2*2/12*-51. Let g = b - 16. Is ((-20)/(-16))/(g/356) prime?
False
Let o(a) = -53*a - 34. Let w(s) = -211*s - 135. Let q(n) = -9*o(n) + 2*w(n). Is q(11) composite?
False
Let x(y) = -150*y**2 + 6*y - 1. Let a(i) = i**2 + i. Let q(r) = 6*a(r) - x(r). Is q(-1) a prime number?
True
Is (6 - -2) + (17390 - -3) a prime number?
True
Suppose -8 - 2 = -5*b. Suppose 0 + b = -q. Is 1/(q - 39/(-19)) composite?
False
Suppose -14*o - 2*f = -13*o - 3625, -3*f = 9. Is o a prime number?
True
Suppose 3*q = -2*c + 777, -q - 3*c = -42 - 217. Is q a prime number?
False
Let a(z) = -z**2. Let n(m) = 5*m**2 - 3*m - 677. Let w(s) = -4*a(s) - n(s). Is w(0) composite?
False
Let j(n) = 26*n**3 + 6*n**2 + 4*n - 5. Is j(5) a prime number?
False
Suppose 4*y - 15189 + 5885 = 0. Is y a prime number?
False
Suppose -23*j = -28*j - 2*x + 271260, 0 = x + 5. Is j composite?
True
Let i(o) be the third derivative of o**6/120 + 3*o**5/20 + 7*o**4/24 - o**3/2 + 4*o**2. Let q be i(-8). Suppose -q*r = -0*r - 1325. Is r composite?
True
Suppose -10495 + 70736 = 5*x - f, -2*f - 12041 = -x. Let c = x - 7140. Is c a composite number?
False
Suppose 0 = -3*f + 5*v + 29528, -5*f - 23391 = -2*v - 72598. Is f a prime number?
False
Let z = 91 - 84. Let l(p) = 98*p**2 + 19*p + 2. Is l(z) a prime number?
True
Let x = 1057 + -1617. Let a = x + 1303. Is a a prime number?
True
Let j = 9837 - 6820. Is j composite?
True
Let a(g) = -445*g + 74. Is a(-3) a composite number?
False
Is ((5536314/(-27))/(-14))/(3/9) a composite number?
True
Suppose -5*q + 0*q = -35. Suppose 2 = -w + q. Is -1 + w - 3 - -32 a prime number?
False
Suppose -2*o + 3*d = -3420, -2*o - 3448 = -4*o - 4*d. Is (-1)/(-3 - o/(-573)) prime?
True
Suppose 0 = 2960*q - 2958*q - 6268. Is q composite?
True
Suppose -20 = -5*b - y - 8, 4*b = y + 15. Let a(i) = b*i - 2*i + 6*i - 2*i. Is a(13) a composite number?
True
Is (1405*20/(-80))/(1/(-4)) a composite number?
True
Let d be 22/(-6) + 3/(-9). Let b be (-1230)/12 - (-6)/d. Let y = b - -193. Is y a prime number?
True
Is ((-534822)/(-21))/((-82)/(-287)) a prime number?
True
Let i = 9222 + -2993. Is i composite?
False
Let d = -5162 + 3636. Is 5/(-30) - d/12 prime?
True
Let c(f) = -f**3 - 4*f**2 + f + 5. Let a be c(-4). Let p = -23 - -77. Is p + a - (1 - -1) prime?
True
Let v(n) = n**2 - 14*n + 28. Let c(k) = -k**2 + 15*k - 29. Let h(t) = 5*c(t) + 6*v(t). 