l - 1381 = -4163, 0 = -4*i - l + 2785. Is i a composite number?
True
Suppose -l - 796 + 3089 = 0. Is l composite?
False
Let g = 9 - 3. Suppose 0 = -n + 3*h + 17, 2*n + g = -3*h + h. Suppose n*t - 35 + 5 = 0. Is t prime?
False
Is (-6)/8 - 7623/(-36) prime?
True
Let t = -1979 - -3481. Is t a composite number?
True
Is 2772 - ((-18)/(-6) - 8) prime?
True
Suppose -4*b + 3*f + 4 = -9, -2*b - 4*f = -12. Suppose 277 + 425 = 6*i. Suppose i = b*p - 31. Is p composite?
False
Let h(z) = 231*z**2 + 10*z + 30. Is h(-5) a composite number?
True
Let s(r) = 13*r - 4. Let t be s(5). Let x = t + -40. Is x composite?
True
Let z be (12/(-10))/(2/(-10)). Let c = z + -14. Is c/20 + (-334)/(-10) a composite number?
True
Suppose -y - 5*k = -2*y + 23, 16 = -4*k. Let r = -4 + 53. Suppose -2*g = -y*j + 295, j - 50 = g + r. Is j prime?
True
Let s = 1208 - 581. Suppose 0 = 3*y - 3*n - s, 5*y + 3*n - 1061 = -0*n. Is y a composite number?
False
Let y = 201 + -23. Suppose 307 = 5*l - y. Is l prime?
True
Suppose 212 = 3*z - 232. Suppose -3*x = x - z. Is x composite?
False
Suppose 2*j + 274 = -2*q, -q = 2*q - 4*j + 390. Let t = -51 - q. Is t prime?
True
Let v = 4 + -5. Let o(k) = 7*k**3 + 2*k**2 + 2*k + 1. Let m be o(v). Let p(h) = -h + 8. Is p(m) prime?
False
Suppose -2*b + 2*x = 20, -5*b + 3*x = x + 41. Let u(m) = 10*m**2 + 2*m + 3. Is u(b) a prime number?
True
Suppose 4464 = 2*f + 994. Suppose 0 = 6*h - 11*h + f. Is h prime?
True
Suppose 2*l + 0*b - 6 = -b, 5*l = -4*b + 15. Suppose -2*p = -11 + l. Let k(j) = 3*j**2 + 2*j - 1. Is k(p) a prime number?
False
Is 14*2/(-4)*-31 composite?
True
Let y = 133 - 78. Suppose -76 = j - 5*j - 3*u, 0 = 3*u + 12. Let m = y - j. Is m a composite number?
True
Suppose 3*h - 537 = 648. Is h composite?
True
Suppose n = 3, 45 - 295 = -5*z + 5*n. Is z composite?
False
Is (-18)/(-9)*(-211)/(-2) a prime number?
True
Let n = -560 - -1029. Is n a prime number?
False
Suppose -293 = -5*c + 4*c. Is c a composite number?
False
Let g(x) = x**2 - x + 1. Let p(u) = -5*u**2 + 2*u - 2. Let z(v) = -4*g(v) - p(v). Is z(5) prime?
False
Suppose -2*t = -b + 502, b - 4*t - 691 + 189 = 0. Is b a prime number?
False
Suppose 2*p - 67 = 97. Is p a composite number?
True
Let n(l) = -4*l - 9. Let d be n(-6). Suppose g + p = 20, g - p = 3*p + d. Is g a prime number?
True
Suppose 4*j + j + l - 1017 = 0, 4*l + 398 = 2*j. Is j prime?
False
Let b(v) = 20*v**2 + 10*v - 25. Is b(-12) a composite number?
True
Is (-292 - 1)/(9 + -10) a prime number?
True
Let z = 109 + -63. Is z a composite number?
True
Let b = -581 - -1066. Is b composite?
True
Suppose -8*s = -15840 - 12328. Is s composite?
True
Let z = -41 + 74. Is z composite?
True
Suppose 0 = 5*f + 3 - 28. Suppose -i - f*z = -3*z - 117, 3*i + 4*z - 343 = 0. Is i a composite number?
False
Let k = -46 + 125. Let l = k - 46. Is (-1)/(-1) + l - 3 a prime number?
True
Let x(b) = 5 + b + 2 + 0*b. Let d be x(-5). Let o = 25 - d. Is o a composite number?
False
Is (3 + 4865/10)/(2/4) composite?
True
Suppose -28 - 12 = -5*a. Let o(n) = 29*n + 3. Let p be o(a). Suppose -2*z + p = 3*z. Is z a composite number?
False
Suppose 10 = 5*j, -5*p + 37 = 4*j - 21. Suppose -3*n = -4*n - u + 8, 0 = -n + 2*u + 11. Let z = p + n. Is z a composite number?
False
Let d be 58 + -2 + (-4 - -3). Suppose -v + 0*v = -d. Is v a composite number?
True
Let p = 5 - 1. Is 5/p*(3 + 5) a prime number?
False
Suppose 0 = 4*d - 6 - 10. Suppose 2*a - d = 2. Suppose 2*b - 88 = -i - a*i, -i = -5*b + 231. Is b a prime number?
False
Let u(v) = -112*v - 6. Let g be u(-5). Let m = g - 373. Is m a composite number?
False
Let b be 5/((-1)/(-1) - 0). Suppose -i + 29 = 4*d + 8, 5*d - 3*i = b. Suppose -d*u + 95 = p, -u = 3*p - 3*u - 285. Is p a composite number?
True
Suppose -2*l = 3*l - 20. Suppose -4*n - 5*w - 8 = -0, n - l*w - 19 = 0. Suppose 3*k = -n, 3*r = -2*r + 2*k + 97. Is r prime?
True
Suppose -5*q + 2*q = -15, 0 = 2*u - 4*q + 14. Suppose 0 = -5*l - u*a + 178, -l + 4*a + 136 = 3*l. Is l composite?
True
Suppose -o - 2*o = -3*v - 3222, 0 = -4*v - 20. Is o composite?
False
Suppose 0 = -w - 0*w. Suppose w = -4*x + 2*q + 186, -136 = -3*x - 0*q - 2*q. Is x a composite number?
True
Suppose 0 = 3*r + 15, -2*w - w - 4*r - 5 = 0. Let k(i) = 10*i + 1 - 13 + 8. Is k(w) composite?
True
Suppose -c - 4*v = -6797, 0*c + 6811 = c - 3*v. Is c a prime number?
False
Let c be (-14)/(-4) + 2/(-4). Let f(w) = 13*w**2 + 2. Is f(c) prime?
False
Let r(l) = 26*l + 3. Let t be r(1). Is t*6 + (-15)/(-5) a composite number?
True
Let n be (-11 + 2)*15/(-3). Let z be (-74)/10 + (-27)/n. Let l(x) = -x**3 - 3*x**2 + 7*x - 5. Is l(z) prime?
False
Let t(v) be the second derivative of -4*v**3/3 - v**2/2 + v. Is t(-4) prime?
True
Let j(m) = 4*m**2 - 8*m + 1. Suppose 0 = -w - 4*k - 1, 4*k + 14 = -5*w + 41. Is j(w) composite?
True
Let t = -2 + 35. Is t composite?
True
Suppose 2*g = g + 45. Suppose -185 = -4*k - g. Is k a prime number?
False
Suppose 2*q + 2 = 0, -q = -8*i + 3*i + 926. Is i a composite number?
True
Let b be -9*((-530)/3)/1. Suppose -2*y + 635 = 3*k, 2*y = -3*y - 5*k + b. Is y a prime number?
False
Suppose -3*u = u + 4, 5*t - 2*u - 1057 = 0. Is t composite?
False
Let c be 8/(-3)*(-6)/4. Suppose -5*u = -25, -4*l + 2*l = -c*u - 128. Is l prime?
False
Let l(f) = 2*f**2 - 5*f + 7. Suppose -4*a = -3*s + 16 - 36, -5*a = -3*s - 28. Is l(a) a composite number?
True
Suppose 17*j = -j + 1908. Is j prime?
False
Is ((-2706)/24)/((-1)/4) composite?
True
Suppose -4*v - 810 = -2*c, c + 5*v - 211 - 187 = 0. Is c a prime number?
False
Let s(j) be the third derivative of -j**4/12 - 11*j**3/6 - 5*j**2. Is s(-11) a prime number?
True
Suppose 10*h = 35359 - 3129. Is h a composite number?
True
Let j(x) = 2*x + 40. Is j(21) a prime number?
False
Suppose 0*s + 5*s - 15 = 0, -4*p + 4*s = -24. Let k(q) = q - 2 + 4 + p*q. Is k(2) prime?
False
Let j(k) = k**3 - 16*k**2 + k - 13. Is j(17) prime?
True
Is 2/8*-2*-1558 prime?
False
Let u = 102 + -53. Is u a prime number?
False
Suppose 4 = 2*r + 4*m, -2*m = r + 3*m - 8. Let j be (-120)/r*2/2. Suppose j = 3*s - 45. Is s prime?
False
Let w = 2 + 3. Suppose 3*s = w*s. Suppose 0 = 5*j - s*j - 175. Is j a composite number?
True
Let n(q) = q**3 - q - 37. Let l be n(0). Let b be 160/15 - (-2)/(-3). Let v = b - l. Is v a composite number?
False
Suppose -7*h + 2932 - 293 = 0. Is h a composite number?
True
Let g = 116 + 683. Is g a prime number?
False
Let w = -5 + 7. Suppose 75 = -w*f + 21. Let q = f + 58. Is q a composite number?
False
Let j = -4594 - -6797. Is j a prime number?
True
Suppose 0 = 3*f + 15, -2*o + 4*f + 29 = 3*f. Is 582/o*(-2)/(-1) composite?
False
Let l(a) = 19*a**2. Is l(-1) composite?
False
Let b(z) be the third derivative of -z**7/840 + z**6/36 - z**5/40 - z**4/8 - z**3/6 - 2*z**2. Let q(o) be the first derivative of b(o). Is q(9) composite?
True
Let y(v) = -v**3 + 13*v**2 + 2*v - 5. Is y(9) prime?
True
Suppose -3*i = -9 - 3, 0 = 5*f - 3*i + 12. Suppose 0 = -7*a - 0*a + 4585. Suppose 0 = 5*x + 2*t - a, f = 2*x - 6*x + 3*t + 547. Is x a composite number?
True
Suppose -3*v + 3 = -4*v. Let h be 4 + v + 1 + 3. Suppose 155 = -h*z + 3*d + 727, -118 = -z - 3*d. Is z prime?
False
Suppose -z - 41 = 3*a - 966, -2*z - 913 = -3*a. Is a composite?
False
Suppose 5*q - 1 = 4*q. Suppose q + 1 = t. Suppose -t*o = -63 - 7. Is o a prime number?
False
Let p be 14/8 - 5/(-20). Let b = p + -6. Is 3/b - (-430)/8 composite?
False
Suppose -8 = -2*l - 0. Suppose l*v + 184 = 8. Let c = v - -78. Is c a prime number?
False
Let l(n) = n - 2. Let x be l(5). Let k be 1 + 1/1*-1. Suppose k = -2*j + x*j - 97. Is j a composite number?
False
Suppose -5*x + 4*c - 55 = 0, x + 4*c - 17 + 4 = 0. Let z = 12 + x. Let y(d) = -d**3 + 6*d**2 + 8*d - 7. Is y(z) a prime number?
False
Suppose 12 = 3*z, 0 = 5*i - z - 4*z - 315. Suppose -l + 43 = -0*l - 4*w, 0 = l + 2*w - i. Is l composite?
False
Let h(b) = b**3 - 7*b**2 + 5*b + 2. Let a be h(6). Let n = -4 - a. Suppose -6*j + 5*j + 22 = n. Is j prime?
False
Suppose -6*m + 1082 = -208. Is m composite?
True
Let j(z) = -z**3 + 9*z**2 + 4*z + 13. Is j(7) prime?
True
Let q = 182 + -106. Suppose 3*f = -6, 4*j - q = 3*f + 54. Let r = j - 12. Is r a prime number?
True
Let l(z) be the first derivative of -47*z**2 - 1. Let a be l(-2). Suppose -16 = 4*r - a. Is r a prime num