pose -5*c + 258 = -347. Is c a composite number?
True
Suppose -2*d = d - 825. Let n = -30 + 277. Suppose 0 = 5*t - 5*g - d, -4*g - n = -3*t - 80. Is t prime?
True
Suppose -15 = -t + c + 237, -t + 257 = 4*c. Is t a composite number?
True
Suppose 0 = -4*t - 20, -3*p - p - t + 187 = 0. Suppose -2*o = 5*v - p, -2*o - 3*o - 2*v = -99. Is o composite?
False
Let h(s) = 68*s + 11. Let d be h(-6). Let b = -212 - d. Is b composite?
True
Let h be (-25)/(-5) + 0 + 1. Let k(d) = d**2 - 4*d - 7. Let i be k(h). Suppose 5*c - 540 = i*u, 0*c + u - 437 = -4*c. Is c a prime number?
True
Suppose 178 = 6*x - 56. Suppose -2*t - 26 = -5*y - 0*y, 4*t = y - 16. Suppose -y*w + w = -x. Is w a prime number?
True
Is -1 - -1 - (-2233 + 4 + -8) a composite number?
False
Is 1 - 0 - 1*-1042 a composite number?
True
Let v(p) be the second derivative of -p**5/20 - 5*p**4/12 - 5*p**3/6 - p**2 - 2*p. Is v(-7) a composite number?
False
Suppose 2*z = z. Suppose z = -3*g + 2*g + 22. Is g a prime number?
False
Is (-1)/2 - (-3)/6 - -713 prime?
False
Suppose -3*a = 5*o - 640, -3*o = 6*a - a - 1072. Is a composite?
True
Let z(i) be the third derivative of i**5/60 + 3*i**4/8 + 2*i**3/3 - 3*i**2. Is z(-11) prime?
False
Suppose 0 = -2*v - k + 191, -3*v = -2*v - 4*k - 73. Is v a prime number?
False
Let d = -74 - -52. Let b = 47 + d. Suppose -2*s - 31 = -4*i - 7*s, b = 3*i + 2*s. Is i a prime number?
False
Let n = 109 - -946. Is n composite?
True
Let k be 388/(-8)*51*2. Is 2/13 - k/39 a prime number?
True
Let p(a) = -252*a + 2. Is p(-1) composite?
True
Suppose -h = h + 24. Is (6/h)/((-2)/12) a prime number?
True
Let g(n) = n**3 + 5*n**2 + 3*n - 4. Let u be g(-4). Let o be 24/(-20)*(u - -5). Is -2*9/o + 88 a composite number?
True
Let l = -51 + 269. Is l prime?
False
Let h = 1 - 1. Suppose 21 = -h*f + f. Is f a composite number?
True
Let q = -63 - -120. Is q a composite number?
True
Let f(i) = i - 4. Let b be 3*12/9 + 1. Let k be f(b). Is k - 2 - (0 + -20) prime?
True
Let q(o) = 5*o**2 - 3*o - 2. Let h be q(-2). Let r = h - -229. Is r composite?
True
Suppose 5*o + 0*o = 150. Suppose 3*z + o = 8*z. Is 124/z + 1/3 composite?
True
Let r(a) = 9*a**2 - 10*a - 2. Let m be r(7). Suppose -5*i = -2*i - 4*p - 15, -5*p - 5 = -i. Suppose -h + 57 = s, -i*s - 4*h - 82 = -m. Is s prime?
True
Let m = -87 - -136. Is m composite?
True
Let y = 692 - -3093. Is y a prime number?
False
Let s be ((-9)/6)/(6/(-8)). Let h(b) = 24*b**2 + 2*b - 3. Is h(s) prime?
True
Is 3/9 - (-496)/6 a composite number?
False
Let h(o) = 112*o + 9. Is h(13) prime?
False
Suppose 4*a - 68 = -4*u, 4*u - 3*a - 64 = -5*a. Let w be (-2)/7 + (-32)/(-14). Suppose 0 = w*y - 53 + u. Is y a prime number?
True
Let w(x) be the second derivative of x**4/2 + x**3/2 + 3*x**2/2 + 5*x. Is w(-2) a composite number?
True
Let y be (2 + -5)/((-3)/4). Is y/6*(-2538)/(-12) a composite number?
True
Is 4/(-32)*134*-4 a composite number?
False
Suppose 0 = u + 141 - 11. Let k = u + 239. Is k a composite number?
False
Let w = 469 - 144. Suppose 34 = -3*f + w. Is f prime?
True
Let f = -93 + 148. Suppose v = -i + f, -35 = -2*i + i + 4*v. Is i composite?
True
Suppose -20 = -2*d + 4*w - 2*w, 35 = 2*d - 5*w. Let s be (-18)/4*(-186)/9. Suppose -22 = -d*t + s. Is t composite?
False
Let q(a) = 112*a**3 + 2*a**2 - 1. Is q(1) composite?
False
Suppose 13 = 5*a + 63. Suppose 0 = 2*l - 6*l - 20. Is a/(-25) + (-383)/l a composite number?
True
Suppose 5*h + 3*p + 4 = -5, 4*h + p = -3. Let z(y) = y**2 + 257. Is z(h) prime?
True
Let a be (-6 - -7)/((-2)/12). Is (-1308)/(-8)*a/(-9) a prime number?
True
Let m(t) = -13*t**2 + t + 3. Let d(i) = 7*i**2 - 2. Let n(p) = -11*d(p) - 6*m(p). Is n(-5) composite?
False
Let j(z) = 89*z**2 - 2*z + 3. Let x be j(-5). Is (x/18)/((-1)/(-3)) a composite number?
False
Let v be 3/12 + 7/4. Suppose 4 - 6 = v*o. Let b(s) = -19*s. Is b(o) composite?
False
Let c(b) = b + 2. Let v be c(6). Suppose -3*r = 5*h - 310, 0 = 3*h - v*h + 5*r + 270. Is h a prime number?
True
Let t = 152 + -85. Is t a composite number?
False
Let h be -2*(1 + 0) - -4. Suppose -h*u = -0*u - 158. Is u composite?
False
Let s = -12 - -26. Suppose 0 = 2*f - 6*f - 3*v + 160, -5*f + 173 = -3*v. Let t = s + f. Is t a composite number?
True
Let z be (20/(-3))/(16/(-72)). Suppose -z = -2*x + 8. Is x composite?
False
Let j(q) = q**2 + 3*q**2 - 3 + 2. Let x be j(-1). Suppose x*g + 3*c - 50 = g, 5*c + 100 = 4*g. Is g composite?
True
Let k = 2 - 0. Suppose 4*u + 2 = -k. Let g = u - -8. Is g a prime number?
True
Let z(c) = 3*c**3 - 3*c**2 + 4*c + 1. Is z(4) composite?
True
Let u(p) = -26*p - 8. Let g be -1 + 1 - (-20)/(-4). Is u(g) prime?
False
Let m(c) = -7*c**3 - 3*c**2 - 9*c + 11. Let y(u) = 10*u**3 + 5*u**2 + 13*u - 16. Let l(v) = -7*m(v) - 5*y(v). Let z be (-7 + 9)*4/(-2). Is l(z) a prime number?
True
Let y(w) = w**3 + 2*w**2 - 5*w - 2. Let h be (-26)/(-6) - (-1)/(-3). Is y(h) a composite number?
True
Let p be -1399 - 2*(3 + -2). Is (p/6)/(5/(-10)) a prime number?
True
Let s(t) = 41*t + 11. Is s(6) a prime number?
True
Suppose -4*z = 16 - 0, -z = -2*l - 14. Let d = 48 + l. Is d prime?
False
Suppose -3*l - 3475 = -2*d + 2*l, -5*d + 2*l + 8677 = 0. Is d a composite number?
True
Suppose 4*n - 3*b = 2767, 0 = -5*n - 0*b + 5*b + 3455. Is n a composite number?
True
Suppose 77 = -3*b + 290. Is b prime?
True
Let z(c) = 40*c + 6. Is z(1) a prime number?
False
Is (-8)/(-28) - ((-7188)/14)/2 prime?
True
Suppose -2 - 4 = 5*k - 4*t, -5*t = -20. Suppose k*m + x - 6*x - 6 = 0, 0 = -2*x + 4. Let d = 6 + m. Is d prime?
False
Suppose -b + 0*b + 161 = 0. Let k = -24 - -12. Let v = b + k. Is v prime?
True
Suppose 2*t = 4*t - 154. Is t a prime number?
False
Let u(s) = s**3 - 7*s**2 + 8*s - 9. Let y be u(6). Suppose 59 = 2*f - y*l, -4*f + 3*l - 5*l = -158. Let j = -4 + f. Is j a composite number?
True
Suppose 8*q = 37275 + 4061. Is q a composite number?
False
Suppose 0 = r + 3*a - 21, -3*a - 10 = -5*a. Suppose 3*z - z - r = 0. Is z a composite number?
False
Is -3 - -2877 - (-5)/1 composite?
False
Suppose -k - 4*a + 71 = 0, -2*k - a + 166 = -11. Is k composite?
True
Let a be -10*2*3/(-15). Suppose -5*h - 5*y + 0*y + 70 = 0, 4*h - 96 = a*y. Suppose 2*k - h = 9. Is k composite?
True
Let h(r) = -7*r + 5. Is h(-12) prime?
True
Suppose -a = -2*w, 0*a - 4*a = -16. Suppose -2*v = b - 49, 4*v + 17 = w*b - 97. Is b prime?
True
Let t be (-3)/(-1*(0 - -1)). Suppose -4*x + k + 0*k + 80 = 0, -5*x + 83 = t*k. Suppose x = -5*p + 194. Is p a prime number?
False
Let m(w) = w**2 - 2*w + 2. Let q be m(-4). Let l = q + 9. Is l composite?
True
Let h(g) = 16*g - 21. Is h(16) prime?
False
Let y(t) = -t + 4. Let i be y(5). Let j = -1 - i. Suppose b - 2*w - 47 = j, b + 0*w - 50 = -w. Is b prime?
False
Let x(w) = -w**3 - 4*w**2 + 2*w + 5. Let i(q) = -q**3 - 3*q**2 + 2*q + 4. Let m(k) = 6*i(k) - 5*x(k). Is m(-4) a composite number?
True
Let v = 145 + 38. Suppose -2*u + u + v = 4*h, -u - 185 = -4*h. Is h composite?
True
Let t(l) = -8*l + 19. Let p be t(-6). Is 1*p/2*14 composite?
True
Let t = 65 - -158. Is t a prime number?
True
Let h = -586 + 293. Let u = 268 + -710. Let o = h - u. Is o a composite number?
False
Suppose 5*c + 2 - 17 = 0. Suppose c*h = 2*i + 2497, -2*h - 4*i + 1690 = i. Is h a composite number?
True
Let g = 268 - 173. Suppose 4*c - 9*c + g = 0. Is c composite?
False
Suppose i + 6 = -5*q - 11, 0 = -5*q - 15. Let w = -12 + 21. Let k = w + i. Is k a composite number?
False
Let i be -48*(-3)/((-2)/2). Let w = i - -235. Suppose -4*q + 6*h - h = -w, 0 = 4*h + 12. Is q composite?
False
Let i = 218 + 45. Is i a composite number?
False
Let h = 539 + 404. Is h composite?
True
Let o(s) = 0*s**3 + 2 - 5 - 2*s**3 - 1 - s. Is o(-5) composite?
False
Let l(n) = -14*n**2 + n + 9. Let z(q) = -13*q**2 + 8. Let i(b) = 6*l(b) - 7*z(b). Let t be (-4)/(-6)*(-15)/(-2). Is i(t) a composite number?
True
Let g(n) = -n**3 - n**3 + 3*n**3 + 8*n + 2*n - 9*n**2 + 2. Let q be g(8). Let h = q + 49. Is h a composite number?
False
Let d(s) = -s**2 - 6*s - 7. Let q be d(-5). Let r be 14/(-4)*(q - 0). Let b(i) = 2*i - 5. Is b(r) a prime number?
False
Is 3165/60*(4 - 0) a composite number?
False
Let n = 9 - -57. Let k = -35 + n. Suppose -3*v - h - h = -k, -43 = -4*v - h. Is v a composite number?
False
Suppose 2*i - 25 = 7*i, 1914 = 2*v + 4*i. Is v composite