t w = -443 - -123. Let t be (-1)/(-4) + 161/28. Is t/(-9) + w/(-3) a composite number?
True
Let i = -86 - -145. Is i prime?
True
Let i(s) = 36*s - 13. Is i(4) a composite number?
False
Let o(i) = 6*i**2 - 6*i + 7. Is o(4) a composite number?
False
Let x = -146 + 66. Let m = x + 119. Is m a composite number?
True
Suppose -9*f + 17*f - 49864 = 0. Is f a composite number?
True
Let y = 186 + -100. Is y prime?
False
Let y(k) = k**2 - 10*k - 8. Let t = 6 + 0. Let g be -6*(-3)/t - 12. Is y(g) prime?
True
Suppose -912 = -v - 310. Let u = -349 + v. Is u a prime number?
False
Let t(j) = -j**3 + 5*j**2 + 6*j + 2. Let q be t(6). Let f(z) = z**2 - 5*z - 3. Let h be f(4). Is -1 - (h + (q - 3)) a composite number?
False
Let d = 7 + -3. Suppose d*j - 17 = 31. Suppose -j - 7 = -c. Is c composite?
False
Let l = 127 - 40. Is l composite?
True
Let z = -32 - -145. Is z a composite number?
False
Suppose -f - 5 + 16 = 0. Let a = f + -7. Is (a/(-2))/((-2)/65) a composite number?
True
Suppose 0*a = 5*a - 485. Is a a prime number?
True
Suppose 0 = -5*w - 5*g + 35, 0 = 3*w - w - g - 5. Suppose v + w*v - 425 = 0. Is v a composite number?
True
Let s(l) = -1 + 35*l - 69*l - 32*l. Is s(-1) prime?
False
Suppose -301 = -4*u + 4*s + 203, 5*s = -25. Is u a prime number?
False
Suppose 5*w - 1505 = -0*w. Is w a composite number?
True
Suppose 4*u - 9 = 111. Suppose -6*h - u = -h. Let y(a) = -14*a - 5. Is y(h) composite?
False
Let d be 6/(-2) - 358/(-1). Suppose -5*w - 159 = -2*t, 5*t - d = 3*w + w. Is t composite?
False
Suppose -2*v + u = -572, -3*u + 288 = 3*v - 552. Suppose 889 = 5*g - 1106. Let x = g - v. Is x prime?
False
Let j = -548 - -945. Is j composite?
False
Suppose -4*h = 2*u - 598, 2*u = -0*u + 6. Suppose -3*l + n + 252 = 19, -2*l = 3*n - h. Is l prime?
False
Let h = 596 - -71. Is h composite?
True
Is ((-3)/3)/(1/(-259)) prime?
False
Suppose 4*p = 4*f + f - 15, -3 = 4*p - f. Suppose p = -4*t + 56 + 20. Is t prime?
True
Suppose 2 + 3 = q. Suppose -3*h + q*h - 136 = 0. Suppose 0 = k + b - 20, 3*b + h = 3*k - 2*b. Is k prime?
False
Is 78/(-2)*(-50)/30 a prime number?
False
Suppose -29*v + 16 = -25*v. Suppose -119 = -r + 2*p, v*r = -4*p + 39 + 485. Is r a prime number?
True
Suppose -3*c + 100 = -r, 2*c = 7*c - 2*r - 166. Suppose 4*s - 490 = -d - 0*d, -4*s = -d - 494. Let q = s - c. Is q composite?
False
Let v be (-2)/(-6) + (-320)/(-12). Let j = 75 - v. Let g = -14 + j. Is g composite?
True
Let d = -11 + 43. Suppose -b + d = b. Suppose -40 + b = -4*k. Is k composite?
True
Let t(z) be the first derivative of -z**4/4 - 7*z**3/3 + 6*z**2 - 5*z + 2. Is t(-9) composite?
True
Suppose 2*x + 85 - 7 = 0. Let n = 70 + x. Is n composite?
False
Let b(v) = -2*v - 1 + 0*v**3 + 3*v**2 - 12*v**2 + 2*v**3 - v**3. Is b(10) a prime number?
True
Suppose 5*q - 17 = -l, 3*l + 2*q - 4*q = 0. Let u be ((-5)/10)/(l/(-16)). Suppose -u*t + 5*t = 21. Is t a composite number?
True
Suppose 152 - 567 = 5*b. Let a = b + 118. Is a a composite number?
True
Let f(u) = -u - 4. Let z be f(-6). Suppose -588 = -z*c + g + g, c - 295 = 2*g. Is c composite?
False
Let x(h) = -h**3 - 17*h**2 - 23*h - 1. Is x(-16) a composite number?
True
Let w = -314 - 4. Is (5 - 7)*w/4 a composite number?
True
Suppose 5*q - 347 = 23. Let c = 108 - q. Let u = 73 - c. Is u a prime number?
False
Let d(q) = 10*q**3 - 3*q**2 + q + 3. Let a be d(3). Is 6/3 - (0 - a) a composite number?
False
Let t = 216 - -377. Suppose 0*r + 3*r - 578 = p, -4*p - t = -3*r. Is r composite?
False
Let x be (0 - 14)*(-18)/4. Let d = 130 - x. Is d a composite number?
False
Let o be (4/(-6))/(4/(-6)). Suppose b = 54 + o. Is b composite?
True
Let l be (12/(-10))/(6/(-20)). Let x = l + -4. Suppose 0 = -x*w - 5*w + 155. Is w a composite number?
False
Let c(d) = 6*d**3 - 3*d**2 + 10*d - 3. Is c(4) composite?
False
Suppose 0 = -0*k + 3*k. Let d = k + 0. Is 1/1 - (d + -34) a prime number?
False
Suppose 3*m - 2*i + 18 = 7*m, 29 = 2*m + 5*i. Suppose -56 = -z - m*v + v, -2*v - 53 = -z. Is z prime?
False
Suppose 0 = d - 5*z - 213, -33 = -3*d + 4*z + 584. Is d composite?
True
Suppose 9 = -0*j + 3*j - 3*n, 4*j + 2*n - 18 = 0. Suppose j*f = 40 + 196. Is f prime?
True
Let h = -3 - -2. Is ((-549)/(-15))/(h/(-5)) composite?
True
Let x(j) = j + 2. Let q be x(-2). Let c(z) = z**3 + z**2 + 37. Is c(q) a prime number?
True
Is 5726/10 + (-14)/(-35) prime?
False
Suppose -3*t + 2 = -4. Let c be (-1 - -1)/t + 5. Suppose -32 = -4*q + q + c*h, 0 = 4*q + 4*h - 96. Is q composite?
False
Let p = 737 + -332. Suppose -2*l = -3*b - l - p, -2*b + 4*l - 280 = 0. Let m = -45 - b. Is m a prime number?
True
Suppose 0 = 5*b - 11256 + 2081. Is b a composite number?
True
Let x be -5 + 223 - (-2 + 1). Let n = x - 145. Is n a prime number?
False
Let w(f) = -f**2 + 9*f + 3. Let o be (7/14)/(2/20). Is w(o) prime?
True
Let p = -18 + 224. Suppose 2*a = 84 + p. Is a composite?
True
Is ((-20)/(-25) + -1)*-335 prime?
True
Let j(k) = k - 5. Let r be j(5). Suppose -n = -3*o + 24, -4*o + 3*n + 12 + 25 = r. Is o a prime number?
True
Suppose -2*s + g = -963, 3*s + 2*g - 1624 = -197. Is s composite?
False
Let r(c) = -2*c - 12. Let i = 7 + -18. Is r(i) a prime number?
False
Suppose 0 = x - 4*f - 327, -f + 1593 = 5*x - 0*f. Is x a prime number?
False
Let q(c) = -c**2 - 3*c + 1. Let u be q(-2). Suppose 5*l = 10, -2*l = -u*g - 0*l + 605. Is g composite?
True
Let o be -1*1*-23 - 0. Suppose 14 = b - o. Let y = b + -6. Is y a composite number?
False
Suppose -4*n + 2*w + 510 = 0, 3*n + 33 = 4*w + 418. Is n a composite number?
False
Let w = 6 + 2. Let y = w + -1. Is y composite?
False
Let y be (-10 - -10)*(-1 + 0). Suppose y = -j + 4*l + 859, 1663 = 2*j + 2*l + l. Is j a composite number?
False
Is (128 - -2) + (-8 - -5) a prime number?
True
Let b = 3585 + -2308. Is b a prime number?
True
Let y be ((-2)/2 - -3) + 2. Is (-332)/(-2)*2/y a prime number?
True
Suppose 4*o - 2*p - 22 = 0, -4*p - 4 = -0*o + 2*o. Suppose -o*s + y + 46 = -34, -3*s + 60 = 3*y. Suppose k - s - 69 = 0. Is k a composite number?
False
Let v(s) = -8*s**3 + 3*s + 1. Let t be v(-2). Suppose 4*f - t = 281. Is f prime?
False
Suppose 4*y - 5*q - 1972 = 0, 0 = 6*q - q. Is y prime?
False
Let m(x) be the third derivative of 2*x**5/15 + x**4/24 - x**3/6 - 5*x**2. Is m(6) composite?
False
Suppose 0 = -5*p + 410 + 190. Suppose 0 = 3*y + 3*b - 276, -203 = -4*y + 5*b + p. Is y composite?
True
Let x(m) = 35*m**3 - m**2 + 2*m - 3. Let r(g) = g + 2. Let d be r(0). Is x(d) prime?
True
Let v be (-3)/2*20/(-6). Suppose o - 26 = 3*a, o - 6*o = v. Is ((-138)/a)/((-2)/(-21)) prime?
False
Let b = -6 - -28. Let w = 43 - b. Is w a composite number?
True
Let o(n) = -14*n + 4. Let m be o(2). Is 16/m - (-118)/6 composite?
False
Suppose -5*o = -2 - 23. Suppose q - 9 = -0*q - o*p, -2*p + 72 = 4*q. Is q composite?
False
Let i(t) = t**3 + 10*t**2 + 9*t + 4. Suppose -4*z + 14 = 50. Let k be i(z). Is 179/2 - k/8 a composite number?
False
Let o(z) = z + 5. Let k be o(-5). Suppose 5*i = r - 20, -2*r - 5*i + 0*i - 5 = k. Suppose 0 = q - 5, 2*s - s + r*q - 122 = 0. Is s composite?
False
Suppose 0 = -i + 38 + 255. Is i composite?
False
Suppose 4*a - 12 = 0, -a + 400 = x + 2*a. Is x composite?
True
Let u(b) = -3 + 3 - b + 4. Let z(l) = l**2 - 11*l + 9. Let v be z(9). Is u(v) composite?
False
Suppose -2 = 4*d - 38. Suppose -15 = -7*h + 2*h, 4*k - 118 = -2*h. Let m = k - d. Is m prime?
True
Suppose 4*r = 0, 5*w - 454 = 3*r + 111. Suppose -2*j - 5*y + w = -8*y, 0 = -3*y - 3. Is j prime?
False
Let i(w) = -5*w**3 + 4*w**2 + 6*w + 10. Let y(c) = 9*c**3 - 9*c**2 - 12*c - 19. Let f(k) = 7*i(k) + 4*y(k). Is f(11) a composite number?
True
Let v(o) = o**3 + o**2 - 3*o + 2. Let z be v(-3). Let j(w) = w**3 + 9*w**2 + 10*w + 9. Is j(z) prime?
True
Suppose -4*n + 574 + 78 = 0. Is n prime?
True
Suppose 3*l - 16 = -5*z, 12 = 5*z + 4*l - 3*l. Let m(o) = 6*o - 3*o**2 + 5 - o**z + 6*o**2 - o**3. Is m(-4) a composite number?
True
Suppose 0 = 5*p + 3*u - 918, -6 = -p - 2*u + 179. Is p prime?
False
Let p(o) = 47*o**2 - 14*o + 12. Let l(w) = -16*w**2 + 5*w - 4. Let x(s) = 11*l(s) + 4*p(s). Is x(-3) a composite number?
True
Let l = -16 - -19. Suppose -l*y + 5*y = 1126. Is y a composite number?
False
Let q(t) = -3*t - 3. Let y be q(-3). Let x be 9*(3 + (-20)/y). Is 1 - (-52 - (x + 3)) a composite number?
False
Supp