t(-1). Let n = 101 - 386. Let s = n + k. Is s a composite number?
False
Let n = 364 - 177. Let y = 438 - n. Is y a prime number?
True
Suppose -2*v + 3*v - 4*j = -16, -3*v = -4*j + 16. Suppose -b = k + b - 2783, 2*k - 2*b - 5554 = v. Is k a composite number?
True
Let h = 40 + -35. Let q be (6/h)/(2/5). Suppose -2392 = -q*b + s, 4*b + s + 2*s - 3185 = 0. Is b a prime number?
True
Suppose -16 = 4*y, 5*y - 53 = 4*f + 7. Let o = 53 - f. Suppose 0 = j - 4*v - o - 154, 2*v = -j + 221. Is j a prime number?
True
Suppose -2*i - 10*j + 20230 = -6*j, 5*j = -2*i + 20227. Is i a composite number?
True
Let p be ((-14927)/(-44))/(2/8). Let t = p - 792. Is t composite?
True
Let a(k) = 3*k - 4. Let j be a(3). Suppose -25 = -3*c + 4*c - j*d, 0 = -5*c - 5*d + 25. Suppose c = 4*q + 295 - 1299. Is q prime?
True
Let h = 14376 - 9755. Is h a prime number?
True
Suppose 2*h = -8, 2*y - 48*h + 45*h = 8758. Is y prime?
True
Let p(x) = 96*x + 11. Is p(6) a prime number?
True
Let y be (-231)/(-9) - (-8)/(-12). Let u = y - 16. Suppose -3*j - 2*q + u = -98, -q = -5*j + 187. Is j a prime number?
True
Let u(v) = -5*v + 5. Let n be ((-33)/(-22))/(1/(-2)). Let j be u(n). Is (j/(-8))/((-2)/116) a prime number?
False
Suppose 3*t - 971 + 167 = 0. Suppose 0*n - 141 = -n. Let q = t - n. Is q a prime number?
True
Let x(s) = -3 - 11 + s + 29*s. Is x(8) composite?
True
Let p be 2*((-13070)/4 + -1). Is (2 - p/(-3))/(-1) composite?
True
Let r = -9 - -13. Suppose -r*s = -3*s - 2, 3*s = 2*k - 68. Suppose 3*o = -9, 0 = -p + 2*o + 192 - k. Is p composite?
False
Let d be ((-27)/18)/(1/2). Is ((-75)/(-50))/(d/(-254)) a composite number?
False
Let z(h) = -7572*h + 113. Is z(-3) a prime number?
False
Let q(u) = u**3 + 56*u**2 + 140*u - 45. Is q(-52) a prime number?
True
Let i = 79 + -34. Let j = 512 - i. Is j composite?
False
Is 32599/9 + -1*13/117 a prime number?
False
Let p = -10 - 0. Let t be (12/p)/((-14)/35). Suppose -t*y + 33 = -120. Is y prime?
False
Let b(o) = o + 81. Let d be b(0). Suppose 2*t + 3*t + 5*h = 1280, 256 = t - 5*h. Suppose d + t = p. Is p a prime number?
True
Let i(r) = -66*r. Let g be i(-5). Suppose 3*x - y = -0*y + 493, y = 2*x - g. Is x prime?
True
Let c(l) = 30*l**3 + 8*l - 5. Is c(2) composite?
False
Suppose 2 = -5*s + 7. Let v be s*-3 - (-20)/4. Suppose v*g = -7*y + 3*y + 150, -3*y = 5*g - 130. Is y prime?
False
Is -2*(-5)/(-2) - 1500004/(-73) a prime number?
True
Let r be (-10)/35 + (-46)/(-14). Suppose 0 = -0*f + 2*f - r*q - 1499, 4*q - 733 = -f. Suppose -3*v - 2*v = -f. Is v a composite number?
False
Let h be (-540)/14 - (-60)/(-140). Let o be 12*h*3/(-27). Suppose 5*s - 43 = o. Is s a prime number?
True
Let b = -28182 - -74795. Is b a prime number?
False
Suppose -c + 13 = -1. Suppose -n + c = -21. Is n prime?
False
Let f(d) = 2*d**2 - 31*d + 19. Let h be f(15). Suppose 2172 = 4*k + 4*v, k = 2*v - h*v + 545. Is k composite?
False
Suppose 33*h = 43*h - 70370. Is h a prime number?
False
Let m = 5 + 80. Let o(v) = 11*v**2 + 4*v - 4. Let b be o(4). Let f = b - m. Is f prime?
True
Suppose 4*c = -c - 1905. Is c/((-3)/(-1))*(-6 + 5) a composite number?
False
Let m = -29901 + 42088. Is m a composite number?
True
Suppose 0 = 8*g - 7*g. Suppose -5*u - 11 = 14, g = c - 3*u - 467. Suppose -4*i + c = -296. Is i a prime number?
False
Let r(j) = -j**2 + 46*j - 35. Is r(22) a composite number?
True
Suppose -s - 1795 = -w - 3*s, -w = -5*s - 1767. Suppose -3*x + 496 = -2*m + w, -1270 = -2*m - 4*x. Is m a prime number?
True
Let y(u) = -2*u**3 - 7*u**2 + 6*u + 5. Suppose 5 = 4*n - 7. Suppose n*z - 8*z = 30. Is y(z) a composite number?
False
Let f(b) = -4*b**3 + 24*b**2 - 127*b + 71. Is f(-30) prime?
True
Let c(z) = 907*z + 8. Is c(15) a prime number?
True
Let u(r) = 4271*r - 152. Is u(3) a composite number?
True
Is 132/(-44) - (-18949 - 1) a prime number?
True
Suppose -1 = -2*o + 7, 5*o - 2 = 3*h. Is (573/h)/(6/36) composite?
True
Suppose 5*p + 2*s = 66, 4*p - 3 = 4*s + 33. Let k = p + -10. Suppose k*d - j - 985 = 0, 3*j - 2*j + 2464 = 5*d. Is d a composite number?
True
Let l(n) = -10*n + 1. Let j be l(3). Let s = 126 + j. Is s a prime number?
True
Let p be ((1/(-2)*0)/1)/2. Suppose 2*m + 4*u - 7762 = p, -4*m = -6*u + 3*u - 15535. Is m a composite number?
True
Let d be 24/(-20)*40/(-6). Suppose -4*r = -0*r - d. Suppose -3*g = -2*q - 494 - 89, -r*g + 367 = 3*q. Is g a composite number?
False
Suppose -33115 = -25*t + 59710. Is t prime?
False
Suppose -5*c + 7708 = 5*m - m, 5*m + c - 9635 = 0. Suppose 0 = -7*z + m - 191. Suppose -9*y = -5*y - z. Is y prime?
False
Suppose 5*m - 2006 = -3*a + a, 4*m - 5*a - 1618 = 0. Let b = m - 167. Is b composite?
True
Is (-4)/(-26) + (-2959896)/(-312) composite?
True
Let y be -2*3/12*-1412. Let b be (3*-113)/((-6)/(-8)). Let c = y + b. Is c a prime number?
False
Is ((-148926)/9)/((-8)/12) composite?
False
Let z(i) = -2*i + 2071. Let v be z(0). Suppose -8*r - v = -10719. Is r composite?
True
Suppose v - 6*v + 10 = 0. Suppose q - 321 = 5*x, v*x + 658 = 6*q - 4*q. Is q a composite number?
False
Let x(k) = 1287*k - 14. Is x(5) prime?
True
Let s(a) = -a**2 + 12*a - 14. Let q be s(10). Let r be 97/(q/3 + -1). Suppose g = -4*y + 644, -2*y + g - r + 419 = 0. Is y a composite number?
True
Suppose s - 5*s = 4*g - 28, 32 = 5*g + 4*s. Suppose -2530 = -2*y + g*r, -r + 6301 = 5*y - 3*r. Is y composite?
False
Suppose 2013 - 19973 = -20*o. Is o a composite number?
True
Suppose 3*d + 3760 = 3*x + 235, 5845 = -5*d - 5*x. Is (-5 - (-33)/6)/((-2)/d) prime?
True
Let f = 4445 + -2307. Suppose -3*g + 3428 + f = 5*y, -2227 = -2*y - g. Is y a composite number?
True
Let d(g) = -14789*g - 24. Is d(-1) prime?
False
Let q = 9 - 9. Suppose -18 = -3*i - q*i. Is 4/i - (-169)/3 a composite number?
True
Suppose 5*g + 20*g = 130525. Is g a composite number?
True
Let v(w) = w. Let r(z) = 12*z**3 + z**2 - 1. Let j be r(-1). Let g be v(j). Is ((-212)/g)/((-1)/(-3)) a composite number?
False
Let k = 24 + 16. Suppose k*n - 1973 = 39*n. Is n composite?
False
Suppose -3*w - 2*v + 8 = 27, 0 = 5*w + 3*v + 31. Let d be 1 - 2 - w - 2. Suppose -3*h + 335 = -d*h. Is h composite?
True
Let n = -5422 - -13569. Is n composite?
False
Suppose -3*v - 6195 = -5*i + 2*v, -4*v = i - 1229. Let u = i - 664. Is u a prime number?
False
Suppose -4*c + 8 = 0, -c + 9 = 2*g - 3. Suppose -g*d + 579 + 86 = 0. Is d a composite number?
True
Suppose -5*l + 28887 = 2*r, 5*l + 4*r - 36463 = -7584. Is l a prime number?
True
Let u(s) be the second derivative of 5*s**3/6 - s**2 + 5*s. Let i be u(1). Suppose 4*x - i*x - 211 = 0. Is x prime?
True
Suppose 12*t - 4792 = 4*t. Suppose -552 = -j + t. Is j a prime number?
True
Let a(r) = 16*r + 6. Let d be a(6). Suppose 4*o = -u - 159, u + d + 32 = o. Is u/(-4) - (-2)/8 a composite number?
True
Suppose -3*i = 0, -3*r + 3*i + 186 = -6*r. Let u = r + 253. Is u prime?
True
Let f(a) = 715*a + 24. Is f(2) prime?
False
Suppose 3*h + 0*h = 15. Suppose -h*g = -g - 740. Let p = -6 + g. Is p composite?
False
Suppose -4*c = -c + 5*h - 44, 5*h = c + 12. Let z = c + 3. Suppose -376 - z = -3*g. Is g composite?
True
Suppose 4*c + 5*d = -3846, -c - d - 966 = -2*d. Is (-40)/(-14) - 10/(-70) - c a composite number?
False
Let r(o) = o**2 + 6 - 3 - 2 + 8*o - 2. Let c be r(-7). Is (-1)/c + 5212/32 prime?
True
Let h(j) be the first derivative of -18*j**3 - j**2/2 - 5. Let x be h(-1). Let u = x + 138. Is u a prime number?
False
Let i(p) = -98*p**3 - 4*p**2 - 9*p - 2. Let w(b) = 195*b**3 + 7*b**2 + 19*b + 3. Let o(x) = 5*i(x) + 3*w(x). Is o(4) a prime number?
True
Let x be (-4)/(-3)*(-3286 - 5). Is x*((-8)/(-4) - 18/8) a prime number?
True
Let b be ((-165)/(-6))/(-5)*-2. Let p(h) = 2 + 198*h**2 + 14*h - 106*h**2 - b*h + 280*h**2. Is p(-1) a composite number?
True
Suppose m = -o - 82 - 49, -5*m - o = 651. Is ((-51)/2)/(39/m) a composite number?
True
Suppose -g + 5*p = -6924, 0 = 2*g + 3*p - 6*p - 13813. Is g composite?
False
Suppose w = -4*w + 2295. Suppose w = 5*h - 811. Is h a composite number?
True
Suppose -85*n + 1897638 = -39*n. Is n prime?
False
Suppose -4*j + 20830 = 6606. Suppose -j = -8*k + 4*k. Is k a composite number?
True
Suppose 2*b - k = 18, -4*k - k + 9 = -b. Suppose 3714 = b*p - 323. Is p a prime number?
True
Suppose 29 + 75 = 2*z. Suppose -1032 - z = -4*k. Is k composite?
False
Suppose 5*c 