+ 3*s = -4228, x - 3*s - 503 = 1614. Is x composite?
False
Let f = 78983 - 33712. Is f prime?
False
Let g be -9*(-9)/324 - 1093/4. Let y = g + 496. Is y composite?
False
Let v = -39 - -34. Is -493*(2 + 2 + v) prime?
False
Let y be 188/(-2 - (-8)/3). Let v = 149 - y. Let z = 294 + v. Is z a composite number?
True
Let k be ((-20)/45)/(6/(-27)). Suppose k*q = -2*u + 4, -2*q - 3*q = -4*u + 35. Suppose u*a - 211 = 19. Is a composite?
True
Suppose 20*f = 19*f + 14. Let t(p) = p**3 - 7*p**2 - 9*p + 45. Is t(f) a composite number?
False
Suppose 5 = -4*w - 7. Let n be (2/w)/((-10)/7515). Suppose 5*f - 1099 = 4*h, 4*f + h - n = 395. Is f composite?
False
Let r(k) = 22*k + 3. Suppose u = 2*u. Suppose u = y + 1, 4*l - 3 = y + 18. Is r(l) a prime number?
True
Suppose -7*s = -6*s. Let i be (1 - s) + (-108)/18. Is 212/(-2)*i/10 a prime number?
True
Suppose 2*t - 32274 = -5*r, 2*t + 45*r - 32234 = 50*r. Is t a prime number?
True
Let m(j) = 35*j**3 + 2*j**2 + 6*j + 6. Is m(4) composite?
True
Let a(f) = -43*f**3 - 8*f**2 - 4*f - 16. Is a(-7) prime?
True
Suppose 3*d + 4*i + 3103 = -1198, -i + 5760 = -4*d. Is 36/(-45) + d/(-5) a prime number?
False
Suppose 133660 = 27*a - 59471. Is a prime?
False
Suppose 4*k - 6 = l, 2*k + 0*k = -2. Let d(h) = -h**3 - 10*h**2 - 2*h - 9. Is d(l) a composite number?
False
Suppose u = -2*m + 2514, -5*m + 2*u = -m - 5044. Is m prime?
True
Let r(g) = g**3 + 1. Let p be r(1). Let d be (12/(-28) - 0)*-7. Suppose -u = p*k - d*k - 91, 0 = 3*u + k - 281. Is u a composite number?
True
Let q = -21145 - -31790. Is q prime?
False
Let m be (-216)/27*((-1)/2 + 0). Let c = -20 + 14. Is 12/m*(-278)/c a prime number?
True
Let y = 11492 - 7933. Is y a prime number?
True
Suppose 4*j = -3*c + 3*j + 406, 4*j = -8. Let x = 213 - c. Is x a prime number?
False
Let g = 7 + -1. Let v(c) = -c**3 + c**2 - c + 1247. Let u be v(0). Is (-4)/g + u/3 a prime number?
False
Suppose -34843 = -35*d + 140052. Is d composite?
True
Let t = -1114 - -1770. Suppose 7*a - 3*d = 3*a + t, -2*a = -4*d - 318. Is a a composite number?
False
Let w be 0 + 2 - (0 - 0). Suppose -12 = h - w*h. Is 20/(-6)*(-1602)/h a composite number?
True
Suppose 2*w + 2 = 2*a, -2*w - a = -6*w + 5. Suppose -3*h - 17 = 3*t + w*t, h - 2*t + 2 = 0. Let q(s) = -62*s - 9. Is q(h) prime?
True
Suppose -10*g = -15*g + 12895. Is g a prime number?
True
Suppose -2*x + 11131 = -10*s + 13*s, -4*x = s - 22267. Is x prime?
False
Is 856315/35 - (144/28)/(-6) composite?
True
Suppose 0 = 4*t - g - 218, -3*t + 2*t = -g - 53. Let c be (-20)/100 + (-101)/(-5). Is (t/2)/(10/c) a prime number?
False
Let i(s) = -3*s**3 - 11*s**2 + 5*s + 11. Let h be 0 + 0/(-1) + -9. Let d be i(h). Suppose -3*a = -a - d. Is a composite?
False
Let c(n) = 726*n - 395. Is c(27) composite?
False
Suppose 6*s - 222 = 3*s. Suppose -3*l + s = -55. Suppose -9 = m - l. Is m prime?
False
Let y(d) = 7*d - 15 - 3*d - 6*d**2 + 21*d**2 + 3*d. Is y(5) composite?
True
Suppose 572*o - 562*o - 93350 = 0. Is o composite?
True
Let v(y) = -y - 2. Let d be v(-6). Suppose 901 = 5*r + 2*l, 0 = -d*r - 3*l - 2*l + 714. Let m = r + -86. Is m a composite number?
True
Suppose -39317 = -15*w + 109798. Is w a composite number?
False
Let o = 40 + -317. Let u(h) = 2*h**3 + 5*h**2 - 9. Let w be u(-5). Let s = w - o. Is s a composite number?
True
Let v be 4/(-14) - (-9)/7. Let q(f) = 7904*f**2 - 3*f + 2. Is q(v) a composite number?
True
Suppose 7*f - 19032 - 28421 = 0. Is f prime?
True
Suppose 20*m - 33*m + 87217 = 0. Is m a prime number?
True
Let l be (-8)/10*90/12. Let k be (-1 - l/4)*8. Suppose 4*d = -5*f + 12, -f + 6 = 2*d - k*f. Is d a composite number?
False
Let l(q) = -2387*q + 15. Is l(-2) a prime number?
True
Is 4530720/168 + (-3)/(-7) a composite number?
True
Let p = 1747 + -119. Suppose -4*a + 8*a = -p. Let j = -202 - a. Is j a prime number?
False
Let i = -17 + 26. Suppose 0 = -s + 12 + i. Is s composite?
True
Let w be (24/(-28))/(4/(-28)). Is (2 - (-11982)/27) + w/27 a composite number?
True
Let f(x) = 52*x**3 + 2*x**2 - 3*x + 1. Suppose 0 = -5*d + 5*b + 5, -4*b + 4 = 0. Is f(d) prime?
True
Let h = 5 - 2. Suppose 0 = h*d - 0*d - 12. Suppose 357 = -t + d*t. Is t composite?
True
Let z = 38 - 72. Is (92/(-8) - 4)*z a prime number?
False
Let m be 16/6 - ((-20)/6 + 4). Is (-4 - -213)/(m - 1) a composite number?
True
Let c(j) = -j**2 - 11*j + 5. Let n be c(-11). Suppose 2*l = 4*x + 1414, -n*x = 2*l - 7*l + 3520. Is l prime?
True
Let d = 3055 + 240. Is d a composite number?
True
Suppose -k = 5*q - 15, -3*q = 5*k + 2*q - 15. Suppose k = -a + 1258 - 449. Is a prime?
True
Let c = -210 - -93. Let f = 214 - c. Is f prime?
True
Let s(g) = 543*g**2 + 2*g - 2. Let t be s(-2). Let p be t/(-27) - (-8)/36. Let y = -27 - p. Is y a prime number?
True
Let c(p) = 7*p**3 + 22*p**2 - 5*p + 11. Let j(d) = 6*d**3 + 21*d**2 - 4*d + 11. Let o(y) = -5*c(y) + 6*j(y). Is o(-13) a prime number?
False
Let u = -37 + 40. Suppose -4*q + 2232 = 5*z, u*q + 4*z - 658 - 1017 = 0. Is q prime?
False
Let u(p) = -12*p**3 - 2*p**2 + 8*p - 1. Let o(a) = 11*a**3 + 3*a**2 - 9*a + 2. Let g(n) = 4*o(n) + 5*u(n). Is g(-2) prime?
True
Let v be 466 + 1 + (1 - (0 + 2)). Is ((-2)/(-8)*v)/((-2)/(-12)) composite?
True
Let s(y) be the first derivative of y**4/6 + 7*y**3/3 - 5*y**2/2 + 5*y + 2. Let f(x) be the first derivative of s(x). Is f(-11) a composite number?
False
Is (-77135)/(-5) - 7 - -1 composite?
True
Suppose -8*d + 9*d - 3 = 0. Suppose -d*l - 5*q = -q - 10163, -2*l - 4*q + 6778 = 0. Is l a prime number?
False
Let u = 60 + -58. Suppose -5*p + 295 = 5*c, -8 - 111 = -u*p - 3*c. Is p a prime number?
False
Suppose 43*y + 34390 = 45*y - 4*w, 0 = -2*w + 8. Is y a prime number?
True
Suppose -21*g = -15*g - 108348. Is g prime?
False
Suppose 4*t + 0*t = -5*y + 125, 6 = y - 3*t. Suppose 0 = 3*q, -2*b + 2*q = -y + 5. Suppose b*x - 3*x = 1055. Is x composite?
False
Let d(u) = 575*u**2 - 19*u - 33. Is d(-8) a composite number?
False
Let h be (-35)/(-20) - 2/(-8). Suppose 10 = q + 4*p, -h*q = -p + 2*p - 13. Is 1*(-2)/q*-195 a composite number?
True
Let q(h) = 157*h - 1. Let o be q(1). Let a = 1 + 2. Is (o + a)/3*1 composite?
False
Let x(d) = d**2 - d - 2. Let l be 1 + -6*(2 - 1). Let f be x(l). Is 3 - (-3 - -1 - f) a prime number?
False
Let x = -14440 - -20381. Is x prime?
False
Let n(q) = 48*q**3 + 4*q**2 - 4*q - 1. Let g be -1 + 1 - (6 - 8). Is n(g) a composite number?
True
Is (12583*1/(-4))/((-11)/44) composite?
False
Let c = -9 - -10. Let i be c*6*219/3. Is i/12 - (-3)/(-2) a prime number?
False
Suppose -4*q = f - 1813, -14*f - 1789 = -15*f + 4*q. Is f prime?
True
Suppose -4*q + 24 = 4*t, -q - t - 4 = -2*q. Suppose 0 = 4*y + 5*m - 293, q*y = 2*y + 4*m + 243. Is y a prime number?
False
Let t(d) = 25*d**2 + 15*d + 289. Is t(-16) a composite number?
False
Suppose 0 = -6*p - 287 - 535. Let o = 556 + p. Is o composite?
False
Let j = 19556 + -13225. Is j prime?
False
Let g(n) = 5*n + 2*n - 2*n - n**2 - 1 - 1. Let y be g(4). Is y*(609/6 + 4) composite?
False
Suppose 3*t - 3*j - 6 = 3, -5*j = 4*t - 3. Let p(m) = -m**3 + 7*m - 8*m**2 + 4*m**3 + 9*m**t - 16. Is p(5) a composite number?
False
Let s(v) = -v. Let d be s(-7). Suppose -54 = -d*c + 44. Is c prime?
False
Let j = 8 - 0. Let m(x) = x**2 - 9*x + 9. Let n be m(j). Is 3/(2 + n) - -118 a composite number?
True
Let p = 534 - -131. Suppose 4*a + 3*a = p. Is a composite?
True
Suppose 21 + 9 = -6*z. Is -1 + (10/z - -136) a prime number?
False
Let v = -27 - -24. Let g = -8 - v. Is 50/4*(-4)/g a prime number?
False
Let o = 42 + 562. Let f = 1103 - o. Is f a composite number?
False
Let g = 2369 - 1263. Suppose -287 = -7*v + g. Is v a prime number?
True
Is 223*(-6 + 10 + 7) composite?
True
Suppose -g - 3*s + 15 = -0*g, -2*s + 17 = 3*g. Suppose 253 = g*p - 2*j, 5*j = 4*p - 277 - 65. Is p a composite number?
False
Suppose 5*u = 3*v - 32, 3*u + 2*u + 8 = -3*v. Suppose 4 = t, -v*f + 5*f - 4*t = 4921. Is f a prime number?
True
Suppose -4*q + 65 - 1733 = -4*x, -3*q - 1255 = x. Let a = -117 - q. Is a a prime number?
False
Suppose -5*f = -4*u + 61220, -4*u + 4*f + 42568 = -18652. Is u prime?
False
Let m = 69961 + 1392. Is m a prime number?
True
Is (-9 + (8 - -28052))/1 a composite number?
False
Suppose 4*d = 2*c - 1734, d - 2*d = 3*c - 2629. Let h = c + 316. Is h composite?
True
Let n = 21