-25*l + 5. Let r(j) = -51*j + 11. Let n(d) = -13*b(d) + 6*r(d). Is n(4) composite?
True
Let f = 19 + -13. Let n = f - 4. Suppose 4*h - 44 = n*h. Is h prime?
False
Suppose -n + 3 = 3*c, -5*c + 5*n - 1 = 14. Suppose -2*v - j + 33 = c, 4*j = -5*v + v + 60. Is 22/(-3)*v/(-4) a prime number?
False
Suppose 4*v + 0*v - 1052 = 0. Is v a composite number?
False
Suppose 0 = -4*r - 4*a + 40, -2*r - 3*a + 0*a = -16. Suppose j = 2*j - r. Is j composite?
True
Suppose -3*a = -4*m + 1208, m - 353 + 56 = 2*a. Is m prime?
False
Let m = 275 - 155. Suppose -t + 2*u = -39, -3*t + 4*u = -m + 7. Suppose -q = -6*q + t. Is q a composite number?
False
Let g be (-210)/(-55) - 2/(-11). Let a = -1 + 4. Suppose 2*r + g*w - 66 = 0, a*w = -r + 21 + 9. Is r prime?
False
Let t(v) = -v**2 - 6*v + 2. Let w be t(-4). Is 262/w + (-4)/20 a prime number?
False
Suppose -i + 2 + 3 = 0. Suppose -4*p + 3 = -i. Suppose -4*h = -p*h - 44. Is h a prime number?
False
Suppose -3*s - 4*b = -8, s + s + 5*b + 4 = 0. Suppose s*t - 175 = 3*t. Is t a prime number?
False
Let q(s) = 7*s - 6*s**2 + 1 - 2*s**3 + 3*s**3 + 0*s**3. Is q(5) a prime number?
True
Suppose -6*n = 433 - 8227. Is n composite?
True
Suppose l = -3*u + 1594, -l + 3*u - 2*u + 1590 = 0. Is l a prime number?
False
Let t(d) = 45*d - 2. Let q be t(4). Let y(f) = f**2 + 63. Let n be y(0). Let i = q - n. Is i a composite number?
True
Suppose 4*c - 3*c - 185 = 5*u, -4*u - 182 = -c. Suppose -c = -5*t + 15. Is t a composite number?
False
Let p(c) = -c**3 + 3*c**2 - 2*c + 3. Let t be p(2). Suppose 11 = -t*m + 5*g, 9 = -3*m + 4*g - g. Is m + (2 - 3*-13) composite?
True
Is (174/4)/(12/16) composite?
True
Let r(z) = z**3 + 5*z**2 - 3. Let u(j) = 2*j - 1. Let a be u(-2). Let v be r(a). Let k(p) = -10*p + 3. Is k(v) a composite number?
True
Suppose -4*l + h + 9 = -0*h, -4*h - 4 = 0. Let y be l/(-9) + 2/9. Suppose 2*w = -y*w + 62. Is w a prime number?
True
Suppose 0 = 3*j - 2*n - 106, -17 = -3*j + 5*n + 86. Is (12/j)/((-1)/(-33)) composite?
False
Let l = -4 - -3. Is (1 - l)*(-596)/(-8) composite?
False
Let k(z) = 11*z**2 + 4*z + 14. Is k(-9) composite?
True
Suppose 3*a = 2*a + 3. Let v be a*(3 + 3 + -11). Is (-3)/(-2)*(-1630)/v a composite number?
False
Let j = -583 + 1172. Is j prime?
False
Let g = 10 - 6. Suppose j = -z + g*z + 11, 0 = -4*j + 2*z + 14. Suppose 4*b - 3*q = -0*q + 89, j*b = 4*q + 32. Is b prime?
False
Let t(l) = -l**2 + 9*l + 8. Let o be t(10). Is 3 + (-104*4)/o a prime number?
True
Let d be (-54)/12*(-2)/3. Let z(c) = -c - 16*c - 11*c - d*c. Is z(-1) composite?
False
Is 20581/13 - 30/195 a prime number?
True
Let s = -1 - -1. Suppose s = 2*z + 3*z - 295. Is z composite?
False
Let v(o) = -11*o**3 + 4*o**2 - o + 1. Is v(-3) a composite number?
False
Let w(j) = 5*j**3 - 5*j**2 + 6*j - 10. Is w(4) a prime number?
False
Suppose -4*n - 3*i + 2 = -10, 0 = 4*n - 5*i - 12. Suppose 0 = -n*a + 201 + 66. Is a composite?
False
Let d be 378/35*(-5)/(-2). Suppose d + 8 = q + 5*y, -2*q = y - 25. Is q a composite number?
True
Let g be -28 - ((-4)/(-2) - 1). Let s = 21 + g. Is ((-371)/(-28))/((-2)/s) a prime number?
True
Suppose 2*p = -4*y + 468, 3*y + 0*y + 5*p - 351 = 0. Let x = -2 + y. Is x a composite number?
True
Let q be 4/8 + 154/4. Let g = 8 + q. Is g a composite number?
False
Let a(m) = 259*m**3 - m**2 + m. Let t(v) = 2*v + 13. Let y be t(-6). Is a(y) composite?
True
Let i(r) = 2*r**2 + 8*r + 4. Let c(o) = -o**2 + 4*o + 8. Let s be c(7). Let g = s - -6. Is i(g) a prime number?
False
Suppose -5*u = -3*s + 292, 3*u = -3*s - 0*s + 252. Is s a prime number?
True
Let z = 4 - 2. Suppose -2*l - 4 = b - z*b, 13 = 5*b - 3*l. Suppose -2*q - b*q = -220. Is q prime?
False
Let m be (-8)/(-12) - 143/3. Let z = m + 68. Let v = z - 8. Is v a prime number?
True
Suppose 4*t - 381 = 1231. Is t a composite number?
True
Is -4 - (30/(-10) - 12*11) a prime number?
True
Suppose 3*l = 12*l - 5607. Is l a composite number?
True
Let x be (-30)/(-7) + 2/(-7). Let g be (0 - (-1 - -3)) + x. Is (-30 - g/2)*-1 a prime number?
True
Let j(l) = -l**3 + 6*l**2 - 6*l + 3. Let n be j(4). Let b(s) = -3*s - n*s - 2 + 3*s. Is b(-3) a prime number?
True
Let f = -70 + 449. Is f a composite number?
False
Is (6/24)/((-3)/(-6492)) a prime number?
True
Suppose 1274 + 911 = 5*g. Is g composite?
True
Is 946 - 2*(-25)/(-10) composite?
False
Let m(y) = -13*y**3 + 9*y + 1. Is m(-4) a prime number?
True
Let y be 1/(4/40) - 2. Suppose -453 = -5*x - y. Is x a composite number?
False
Suppose 11*z - 5300 = 827. Is z a composite number?
False
Let a(o) = 8*o**3 + o + 2. Let p be a(2). Suppose 0 = -0*m - 2*m + t + p, 5*t - 23 = -m. Is m composite?
True
Let p(i) = 4*i**2 + 6*i + 3. Is p(8) composite?
False
Let t = 6075 - 4022. Is t a composite number?
False
Let g(q) = 9*q**2 + 8*q**3 + 4*q**2 + 1 - 7*q - 7*q**3. Is g(-6) prime?
False
Let a(m) = m**3 - 15*m**2 + 19*m + 13. Is a(14) a prime number?
True
Suppose 4*p - 412 = 3*w, -3*p + p + 206 = -3*w. Let k = p + -52. Is k composite?
True
Suppose -5*f - t + 221 = 0, -2*f + 6*t = 2*t - 84. Let b = f + -31. Is b a composite number?
False
Let o = -3 + 7. Suppose -o = -4*r + 2*r. Is (148/12)/(r/6) a composite number?
False
Let r = 147 - 64. Is r a composite number?
False
Let t(o) = o - 12. Let a be t(0). Let c(i) = -7 - 13*i - 4 + 11*i**2 - 3*i + i**3. Is c(a) prime?
True
Let n = 42 - 11. Is n prime?
True
Let p(a) = -296*a**2 - 5*a - 7. Let f(y) = -148*y**2 - 2*y - 3. Let i(w) = -5*f(w) + 2*p(w). Is i(1) composite?
False
Let g(u) = u**2 + 6*u - 4. Let f be g(-6). Is (-102)/f + (-2)/4 composite?
True
Let t(q) = -36*q**2 - 2*q + 7. Let l(c) = -71*c**2 - 3*c + 13. Let w(b) = -6*l(b) + 11*t(b). Is w(3) a prime number?
True
Let i(w) = -2*w. Let b be i(-1). Suppose -d + b*d = 0. Suppose d = 2*u - 4, -2*x - u = -3*u - 24. Is x a prime number?
False
Is (-4)/((-8)/(-6)) + 1239 + 7 a composite number?
True
Let l(q) = q**2 - 3*q + 1. Let j be l(1). Is (2 + j)/((-8)/(-1480)) a prime number?
False
Let g = 1125 - 754. Is g composite?
True
Suppose -2*n + 4 = -6. Suppose -n*q = -357 - 338. Is q composite?
False
Suppose -377 = -3*d - 77. Suppose -32 - d = -4*v. Is v prime?
False
Let r = 132 + 377. Is r prime?
True
Let a = 1297 - 926. Suppose 5*m - 3*t - 1113 + a = 0, -5*t + 750 = 5*m. Is m a prime number?
True
Suppose -3*q + q = -3*n + 7, 3*n + 3*q + 3 = 0. Let k = 14 - n. Is k prime?
True
Let f be -2 + (2 - (-617)/1). Let l = -430 + f. Is l a composite number?
True
Let s be (-84)/(-16) + (-2)/8. Is (-2)/5 - (-267)/s a composite number?
False
Let g be (24/9)/((-4)/(-36)). Is 318/g*2*2 a composite number?
False
Let h(l) be the second derivative of l**5/20 + 2*l**4/3 + 4*l**3/3 + 5*l**2 - 3*l. Let n be h(-7). Suppose n*c = 121 - 22. Is c prime?
False
Suppose 0 = -5*k - 4*o + 135, 0*k - 3*k - o + 74 = 0. Is k prime?
True
Suppose 7*f - 841 = 720. Is f prime?
True
Suppose 0*m - 2*m + 3 = 5*q, -3*q + 17 = 5*m. Suppose m*s - 1143 = 725. Is s a prime number?
True
Let l = 50 - 35. Is l composite?
True
Is (-4767)/(-18) + 4/24 a composite number?
True
Let d(y) = -44*y + 3. Is d(-4) a composite number?
False
Let t(h) = 7*h**2 - 15*h + 37. Is t(12) prime?
False
Let a(g) = 2*g**3 + 3*g**2 - 3*g + 2. Is a(3) composite?
True
Let p(a) = 59*a + 11. Is p(13) a prime number?
False
Let z(p) = -4*p**3 + 2*p**2 - 4*p - 11. Let u(t) = 7*t**3 - 3*t**2 + 7*t + 21. Let y(v) = -3*u(v) - 5*z(v). Let d be y(0). Is 155/2 - (-4)/d a prime number?
False
Let t(u) = 4*u**3 - 13*u**2 + 14*u + 3. Is t(10) prime?
True
Suppose -5*y + 45 = -5*q - 0*y, 4*y = 3*q + 30. Let t = -6 - q. Is 1 + 18 + (t - 0) a composite number?
False
Suppose 4*l - 12 = -4*t, -6*t + 3*t = 2*l - 4. Suppose 3*d + 139 + 120 = l*w, 257 = 5*w - 4*d. Is w prime?
True
Let f(c) be the third derivative of 5/24*c**4 + 1/60*c**5 + 0 - 11/6*c**3 - 2*c**2 + 0*c. Is f(-9) a prime number?
False
Suppose -x = -2*z + 3 + 2, -2*z - 5 = -3*x. Suppose -6*k = -z*k - 35. Is k a prime number?
False
Suppose -3*h - 5*h = -20552. Is h composite?
True
Let p(l) = -36*l**3 - 2*l**2 + 1. Suppose 7*b - 2*b + 5*s = -20, -2*b = s + 6. Let j be b/(-13) + 30/(-26). Is p(j) a composite number?
True
Suppose 3*g - 8 = -g. Is (1/(-1))/(g/(-172)) prime?
False
Let i(v) = 675*v**3 - 2*v**2 + 3*v - 2. Is i(1) composite?
True
Let t(u) = u**2 + 7*u + 9. Let b be t(-6). Suppose