uppose 4*o + 528 = y*g + 1680, -5*o = -2*g - 1441. Is o prime?
False
Let q = 743 + -103. Let p = -137 + q. Is p prime?
True
Let n = -4323 + 6424. Is n a prime number?
False
Suppose 4*w - 4*d + 3*d = 49, 4*w - 5*d - 37 = 0. Suppose g + 5*i = w, -3*i = -2 - 1. Let r = g + 3. Is r composite?
False
Let n be 243 - (-5 - -2)/(-3). Suppose -n = -0*i - 2*i. Is i a prime number?
False
Suppose -5*t - 8*c + 441423 = -9*c, 3*t - 4*c = 264847. Is t composite?
True
Let v(b) = 257*b**2 + b. Let x be v(-1). Suppose -y + x = y. Let u = y - 46. Is u prime?
False
Let r(h) = -942*h - 383. Is r(-41) composite?
False
Suppose -h = -2*m - 33, 4*h - m + 51 - 183 = 0. Is (-31716)/(-44) - (-6)/h a composite number?
True
Let i(r) = -r**2 - 12*r + 4. Let n be i(-13). Is 5*1167/n*-3 prime?
False
Suppose 4*l = r - 27771, -5*r + 205346 = -l + 66510. Is r prime?
True
Suppose -6*w - 6 - 6 = 0. Is (1/(-2))/(w + (-2147)/(-1074)) prime?
False
Let p = -7835 - -13909. Is p prime?
False
Let i = 25 - 25. Suppose 0 = -5*c - j + 1256, i*c + 497 = 2*c - 5*j. Is c prime?
True
Suppose 0 = 5*b - x - 2371, -3*b - 5*x + 925 = -520. Let t = b + -318. Suppose -2*u = -273 - t. Is u composite?
True
Suppose 5*a - 9*a + 5*m = -11256, 2*a = 4*m + 5622. Is a composite?
False
Let t(m) = -3*m + 7. Let x be t(0). Suppose -x*o = -2*o - 25335. Suppose -4*a + o - 599 = 0. Is a composite?
False
Let h = 7374 - -5933. Is h composite?
True
Let g be 3 + (-3 - (0 + 2)). Is 0 - (3 + g) - 2232/(-2) a composite number?
True
Let q(u) = -4*u**2 - 2 + 0*u**3 - 2*u**3 + u**2 - 3*u + u**3. Let h be q(-2). Suppose -29*i + 32*i - 633 = h. Is i a prime number?
True
Let c(q) = q**2 - q + 6. Let n be c(0). Suppose 4*f + 37 = 5*u, f + 17 + n = 4*u. Is f/(-9)*127*9 a prime number?
False
Suppose 3*f - 60 = -2*f. Suppose -q + f = 2*p, -5*q - 5*p = -4*p - 51. Suppose -q*x - 105 = -13*x. Is x prime?
False
Let l = -263 + 479. Let d = -22 + l. Is d a composite number?
True
Let p be 0 - -13*(0 + 35). Suppose -2700 = -5*m + p. Is m a composite number?
False
Let u = -9 - -4. Let l(f) = -4*f**3 + 6*f**2 + 6*f + 9. Is l(u) a composite number?
True
Is 0 - -11282 - (-9)/126*-14 composite?
True
Suppose -g = -5 + 15. Let f = -1 - g. Is f prime?
False
Suppose 2*h = 3*b + 3*h - 11, 0 = 2*b + 3*h - 5. Let c be (1 + -3)*(-458)/b. Suppose -2*k - c = -863. Is k composite?
False
Let q(o) = 19*o**2 - 66*o + 25. Is q(22) composite?
True
Let p be ((-1)/2 + 1)*10. Let c be (6/p)/(12/40). Is c/10 - 2409/(-15) a prime number?
False
Let o(j) = 7*j**2 - j - 11. Suppose 2*b = -3*b + 5, -5*c + 22 = 2*b. Suppose -c*y = -h + 25, 4*y - 5*h = 5*y + 1. Is o(y) a prime number?
False
Suppose 0 = 5*l + 4*d - 35331, 10*l = 8*l - 5*d + 14146. Is l composite?
True
Suppose -c + 5*c - b - 7 = 0, b = 2*c - 1. Suppose k + 3*y = 789, -y + c*y = 2*k - 1578. Is k a composite number?
True
Suppose -147*o + 130*o = -1123445. Is o a composite number?
True
Suppose 3*h - 1246 = -u + 1675, 0 = -2*h - u + 1947. Is h a composite number?
True
Let m(c) be the second derivative of -c**3/3 + 5*c**2 - 14*c. Let i be m(6). Let n(j) = 19*j**2 - 4*j - 2. Is n(i) a prime number?
False
Let f = -2084 + 3702. Is f prime?
False
Let l(b) = 16*b**2 - 2*b + 1. Let h = 10 + -12. Let s be l(h). Suppose -s = -2*w - 3. Is w a composite number?
True
Let b = -17794 + 113091. Is b composite?
True
Let j(h) be the second derivative of -h**4/12 - 5*h**3/3 - 5*h**2 + 4*h. Is j(-7) composite?
False
Let f(i) be the first derivative of 93*i**2/2 - 7*i + 1. Is f(8) a composite number?
True
Suppose 2*i + 3*q - 3889 = 0, -6*i - 1235 = -4*q - 12889. Is i a composite number?
True
Suppose 3*h = -2*s + 5*s + 12, 0 = 5*s. Suppose h*i + 6 = 2*d, d = -4*i - d + 6. Suppose i*a - 4*a + 1052 = 0. Is a a composite number?
False
Suppose 0*x - 4*x = -68. Suppose 135 = 12*n - x*n. Let d = n + 89. Is d composite?
True
Suppose -w + 3073 = -3*l, -9195 = -0*w - 3*w + 3*l. Is w a prime number?
True
Let m(y) = -4*y - 1. Let p be m(-1). Suppose 224 = 7*v - p*v. Let c = 895 - v. Is c a prime number?
True
Suppose -5*s + y + 4 = 0, -5*s + 3 = 3*y - 5. Let x(z) = 2 - 1 + 61*z - 24*z + 0. Is x(s) prime?
False
Let d(m) = -2*m**2 - 3*m - 7*m**3 + 8*m**3 - 3*m**3 + 17. Is d(-10) composite?
False
Let g(f) = f - 1. Let p be g(9). Suppose 0 = 3*s - 7 - p. Suppose 0 = s*k - 2590 + 545. Is k a prime number?
True
Let p(k) = 5*k**3 - 3*k**2 + 18*k - 21. Is p(7) prime?
False
Suppose -6*i + 6 = -3*i. Suppose -3*c + 5*c = 0, -2*c - 10785 = -5*m. Suppose 5*s - 2*v = m, -i*s + 1079 = 5*v + 222. Is s composite?
False
Is 3/(-5) - 257336/(-10) prime?
True
Let b(z) = -z**2 + 8*z + 5. Let t be b(8). Let x(h) = 117*h + 4. Is x(t) a composite number?
True
Let y be (-2 - -2)*5/(-5). Suppose y = -3*i - s + 4*s + 1677, 4*i + 5*s = 2281. Suppose -56 = 4*v - i. Is v composite?
False
Let f be (-7)/14*(0 + 0). Suppose 5*b - 15 = -f. Suppose -2*d = b*v - v - 30, 0 = 2*v + d - 28. Is v a composite number?
False
Suppose 4*u = -2*d, 5 = -3*u - 0*d - 4*d. Let f(w) = 6*w**2 - 2*w + 1. Let s be f(u). Suppose -2*m = -4*o + 314, -s*o + 376 = 4*m - m. Is o prime?
False
Is (-6189)/(-4 - 7/(-7)) a prime number?
True
Let p be (-4740)/(-14) - (225/(-35) + 6). Suppose 2*z - 270 = -4*k - 0*z, 5*k + 2*z = p. Is k prime?
False
Suppose -6*z = 20*z - 777842. Is z composite?
False
Let i = 53 + -39. Is (16 - i)*127/2 a prime number?
True
Suppose 4*d - 30 = 9*d. Let s be 3*-2*d/(-9). Is (186/9)/(s/(-6)) prime?
True
Let v(h) = -32*h**3 + 2*h**2 - 1. Let d = 21 - 22. Is v(d) a composite number?
True
Let h(x) = x**3 - 5*x**3 + 5*x**2 + 3*x**3 - 8 + 3. Let z be h(5). Let l(a) = -20*a + 9. Is l(z) prime?
True
Let g(v) = v**3 - 16*v**2 - 25*v - 9. Is g(37) a prime number?
False
Let v = 60 - 340. Let w = 183 - v. Is w a prime number?
True
Let c(u) = -u**3 + 3*u**2 + 2*u - 6. Let r be c(3). Suppose f - 4*x - 871 = r, -504 - 1282 = -2*f - 3*x. Is f a composite number?
False
Let k(n) = 132*n - 19. Is k(8) prime?
False
Let u(l) = -3055*l + 34. Is u(-11) prime?
False
Suppose 2350279 = 86*s + 251277. Is s composite?
False
Let v(n) = n**3 - 25*n**2 + 25*n + 29. Is v(24) a prime number?
True
Let c be 498 - (-1 - 0/2). Let v = 1077 + -1072. Suppose v*k = 4*w - c, -3*w + 0*k + 351 = 4*k. Is w a prime number?
False
Suppose 0 = 4*r - 6*r + 8. Let v be (2/8 + -1)*r. Is (-1376)/(-12) + v/(-9) prime?
False
Let g be (-31*1)/(1/(-11)). Suppose -g = -7*v + 1416. Is v a composite number?
False
Let t = -36 - -38. Suppose t*h + 3*v = 5*v + 1010, -2*h - 2*v = -998. Is h prime?
False
Suppose x - 4 = -5*n - 0*x, 20 = 2*n + 5*x. Suppose 0 = -4*j - 12, u + 0*u + 2*j + 6 = n. Suppose 4*a - 1754 - 18 = u. Is a a prime number?
True
Suppose -15*s - 42695 = -138290. Is s prime?
True
Suppose -3*g - 7 + 22 = 0. Suppose 0 = g*f - 770 - 425. Is f a composite number?
False
Let k = -281 - -440. Is k a composite number?
True
Is ((6 - 1) + -76)*(-1 + -12) a prime number?
False
Let r(b) = b**3 - 7*b**2 - 10*b + 12. Let n be r(8). Let a(w) = w**2 + 4*w. Let i be a(n). Suppose 4*u - 454 - 6 = i. Is u composite?
True
Let g be ((-15)/(-6) + -2)*4. Suppose -218 = -g*s + 626. Is s composite?
True
Let f = -27 - -15. Let y(c) = c**2 + 5*c - 5. Is y(f) prime?
True
Let s = 84 + -89. Let i(a) be the third derivative of -a**6/60 - a**5/12 - a**4/8 + 17*a**3/6 + a**2. Is i(s) a composite number?
False
Let s be 9/21 - (-6)/(-14). Is 47*(s - -4 - -1) composite?
True
Let x(g) = g**3 - 6*g**2 - 8*g - 1. Let d be x(7). Let z(q) = q**3 + 10*q**2 + 7*q - 7. Let h be z(d). Let r = h + 90. Is r a composite number?
True
Let z(g) = 13*g**3 + 5*g**2 - 4*g + 3. Let c be z(4). Suppose 3*y - c = 2*y. Let t = -346 + y. Is t a composite number?
True
Suppose -2*h = -8*h + 48. Let x be 6/h + (-850)/(-40). Let y = x + 183. Is y prime?
False
Let d(s) be the third derivative of 13*s**5/5 - s**3/6 - 13*s**2. Let j(k) = k**2 - 6*k + 6. Let x be j(5). Is d(x) a composite number?
True
Let x(p) = 3*p**3 - 9*p**2 + 7*p - 13. Is x(10) prime?
False
Is 10/(-4)*884036/(-290) a prime number?
True
Let t(s) = s**2 - 4*s - 16. Let r be t(-5). Let g be -24 + 2 + -1 + -1. Let d = r - g. Is d a composite number?
False
Suppose 39001 = 65*t - 22*t. Is t a prime number?
True
Let j(i) = 2 - 2*i + 7*i - 7*i + 82*i**3 - 2*i**2 + 3*i**2. Let x be j(1). Suppose l - 66 = x. Is l prime?
True
Is