pose -f - 25908 = -13*f. Is f prime?
False
Let l be 2/12 - 1/6. Suppose f + 2*u - 1149 = l, 4*f - 2*u = 3*f + 1165. Is f a composite number?
True
Let x(n) = 2*n - 77. Let d(u) = -8*u + 307. Let s(y) = -2*y - 9. Let c be s(0). Let w(t) = c*x(t) - 2*d(t). Is w(0) composite?
False
Let j = -93 - -46. Let a(r) = -2*r**2 + 5*r + 9. Let c be a(-7). Let g = j - c. Is g a prime number?
False
Let h be (5/(-3)*-6)/((-2)/(-316)). Let l = 1153 + h. Is l prime?
False
Let d(a) be the third derivative of 7*a**6/60 - a**5/20 + a**4/6 - 4*a**3/3 + 2*a**2. Is d(3) a composite number?
True
Suppose -3*j - 39 = 51. Is (6/15 - 278/j)*39 prime?
False
Let w = -56923 + 108116. Is w a composite number?
False
Is (-85920)/(-10) + (7 - 2) a composite number?
False
Let u(b) = -b**2 - 13*b - 5. Let f be u(-13). Let c be 2/(-1) + (-718 - f). Let v = -408 - c. Is v composite?
False
Let k(d) be the first derivative of 85*d**2/2 + 7*d + 2. Let j be k(-7). Let v = 1257 + j. Is v prime?
False
Let b(l) = l**3 + l + 2. Let m be b(0). Suppose -5*q + m*q = -2463. Is q a prime number?
True
Let u(q) = 66*q**2 + q - 1. Suppose 0*d + d = c - 2, -5*d - 3 = 2*c. Let j be u(c). Suppose 0 = r + j - 215. Is r a prime number?
True
Suppose 15*v - 26087 - 41938 = 0. Is v a composite number?
True
Let f(j) be the third derivative of 9*j**5/20 - 3*j**4/8 + j**3/3 - j**2. Let n be f(7). Suppose -4*y + n = -2*y. Is y prime?
True
Let q be 1/(-5) + (-2102)/(-10). Suppose -i - 841 = -q. Is i*(4 + -1)/(-3) a prime number?
True
Suppose p = -3597 + 12548. Is p prime?
True
Suppose 5*y - 122362 = -4*w, -5*w + 152955 = 6*y - y. Is w composite?
False
Let u = 19775 - -41046. Is u composite?
False
Suppose b - 2250 = -5*b. Let x = b + -244. Is x a composite number?
False
Let u = -61623 - -140002. Is u composite?
True
Let s = 9105 + -3566. Is s prime?
False
Let f(t) = -t - 26 + 8*t**3 - 2*t + 2*t + 14*t**3. Is f(5) a prime number?
True
Suppose 4*a = 13*a - 2808. Suppose 0 = -5*j + 23 + a. Is j composite?
False
Suppose 0 = 27*m - 700855 + 209428. Is m a composite number?
True
Suppose 2*l - 2*z = -2, 5*l + 0*z - 2 = -2*z. Suppose l = 5*w - 8 - 2. Suppose w*k + 4*p = 774, 4*k + 4*p = -287 + 1823. Is k a prime number?
False
Let m(c) = c**2 - 5*c - 9. Let p be m(5). Let j = -15 - p. Let s(x) = -2*x - 2. Is s(j) composite?
True
Let g = 8848 + 8443. Is g prime?
True
Suppose -p - 46736 = -4*c, c + p - 7423 = 4256. Suppose -4*n - l + c = 0, 8*n + 2*l = 11*n - 8765. Is n prime?
False
Is 12/66 + (130258/(-11))/(-2) a composite number?
True
Suppose 0 = -5*i + 5*f, -5*f - 6 = i - 30. Is (-3 - -182)*1 - (-6 + i) a prime number?
True
Suppose -d + 768 + 1031 = 0. Is d prime?
False
Let j = 23 - 20. Suppose 1370 = -n + j*n. Is n composite?
True
Let v(a) = 57*a + 8. Let b(g) = -56*g - 9. Let p(k) = 6*b(k) + 7*v(k). Suppose 0 = -2*c - 6 + 12. Is p(c) a composite number?
False
Suppose -3*w + 8*w = -2*q + 57563, -5*w + 86332 = 3*q. Is q a prime number?
False
Suppose 0 = 2*b + 4*f - 20742, 13*f = 5*b + 8*f - 51825. Is b a composite number?
True
Let p be 1 + 0 - -4*1. Suppose 0 = 5*j - 0 - p. Is (304/(-4))/(-1) + j a composite number?
True
Suppose -u + 2919 = -4*b, -4*b - 10 = -2*b. Is u composite?
True
Is 5 - 2 - 51184/(-14) composite?
False
Is 14/(-3)*((-2574)/(-12))/(-13) prime?
False
Let o(l) = -l**2 + 11*l + 14. Let b be o(12). Suppose -h + 287 + 242 = 4*n, -4*n = b*h - 1070. Is h composite?
False
Suppose 3*o + 3 = -3*b, -5*o - 14 = 3*b - 5. Let z(h) = -22*h**3 - 3*h**2 + h - 1. Is z(o) a composite number?
False
Suppose -36414 - 33288 = -6*n. Is n composite?
False
Suppose 3*k - 11 = -2. Suppose -r = v - 302, 3*r = v + k*v + 878. Is r a prime number?
False
Let g(w) = 1791*w**2 + 28*w - 55. Is g(2) a prime number?
False
Suppose 16*h + 10138 - 45066 = 0. Is h composite?
True
Suppose -16986 - 19182 = -24*b. Is b composite?
True
Let d = -293 - -1989. Suppose 2831 = 3*h - d. Is h a composite number?
True
Let q(a) = 4 + 7 + 2*a**2 + 2 - 15*a + 19*a. Is q(-11) prime?
True
Suppose 0 = -5*k, 4*o - o = -3*k. Suppose -f + o*u - 2*u + 120 = 0, f - 116 = -3*u. Suppose 2*y - f = 566. Is y prime?
True
Suppose 5*q - 15 = -4*g, -5 = -2*q + g + 1. Let y(w) = w**2 - 4*w + 1. Let u be y(q). Is ((-5)/4)/(u/488) composite?
True
Let w = 1442 - 999. Let z = w - -564. Is z a composite number?
True
Let x(k) = k**3 + 10*k**2 - 10*k + 9. Let w be x(-11). Is 1*(-1 - (w - 58)) a composite number?
False
Is ((28/(-8))/(-1))/(4/24872) composite?
True
Suppose 5*a - 2*h - 4648 - 5181 = 0, 3*h = 9. Is a a prime number?
False
Suppose w - 1 = 0, 2*r - 7*w + 11*w - 25922 = 0. Is r prime?
True
Suppose k - 60 = -2*k. Let f = k + 113. Is f a composite number?
True
Suppose q - 5 = -l + 4*l, 2 = 2*q + 2*l. Suppose 3*a = -2*a - q*i + 20, -16 = -4*a - 5*i. Is ((-6)/9)/(a/(-1062)) composite?
True
Suppose 6*q - 5*q = -1401. Let z = 638 - q. Is z a prime number?
True
Let g = -2 - -5. Suppose 9 = g*j - 3. Suppose -2*d = -8, 3*d + d = -j*c + 28. Is c a composite number?
False
Let g(z) = -702*z - 5. Suppose 3*v + 5 - 2 = 0. Is g(v) a prime number?
False
Let c(i) = -244*i - 4. Let v be c(-2). Suppose m - 4*m - q = -v, -3*m = 4*q - 469. Is m prime?
True
Let f(i) = -35*i**2 - i + 4. Let q be f(-2). Let k be ((-28)/7)/((-2)/q). Let w = 377 + k. Is w composite?
False
Let r(v) = 157*v - 2. Let h be r(2). Suppose t - 5*z = 177, 0 = -3*t + t - 4*z + h. Let d = t + 16. Is d a prime number?
False
Let t(a) = -a**2 - 64*a + 0*a**2 + 32*a - 49. Is t(-20) a prime number?
True
Let b(m) = -m**2 + 7*m + 4. Suppose -7 = -2*f + 4*i - 1, -29 = -5*f + 3*i. Let g be b(f). Suppose -t = -g*t + 429. Is t prime?
False
Let h = -5897 - -8940. Is h a composite number?
True
Let f = 8 + -5. Suppose -23 = -5*o - f. Suppose 674 = o*b - 906. Is b a prime number?
False
Suppose 17*x = 24*x - 23695. Is x composite?
True
Let p(q) = 96*q**3 + q**2 - 1. Let y(r) = -r**3 - 11*r**2 - 6*r + 4. Let w be y(-11). Let x be (-24)/(-10) - 28/w. Is p(x) composite?
True
Let r be (27762/15)/2 - 6/(-10). Suppose -4*y + 5542 = 4*w + r, -3*w = -3*y - 3444. Is w composite?
False
Suppose z - 510 = -33. Suppose -2*v + 5*x = -z, -5*v + 5*x + 361 = -869. Is v a prime number?
True
Is 1/(-6*6/(-900)) prime?
False
Let z = -25261 - -42510. Is z a prime number?
False
Let x(s) = -41*s - 5. Let r be x(-2). Let q = 288 - r. Is q composite?
False
Suppose 409*p + 410056 = 417*p. Is p composite?
False
Let p = 1470 - 227. Let q = -549 + p. Is q a prime number?
False
Suppose -2*i - 6*d + 3*d = -1561, 4*i + 2*d = 3110. Let p = 2144 - i. Let t = -754 + p. Is t composite?
True
Suppose x = -0 + 4. Suppose 0 = 5*i, x*f - 5*i + 1 - 9 = 0. Is ((-3)/f)/((-4)/40) a composite number?
True
Let k(m) = -m**2 + 35*m - 321. Let p be k(15). Suppose 24 = -5*b - 11. Is (-1731)/b - (-6)/p prime?
False
Suppose -3*c = -t - 4*t + 3, t = c - 1. Suppose a - 3 = -c. Is (-753)/a*(-4)/(-12) composite?
False
Let x = -136 - -139. Suppose -10 = -5*d + 5, x*b - 2*d - 11367 = 0. Is b prime?
False
Suppose 5*k - 178 + 53 = -3*s, 0 = -s - 2*k + 43. Let h(l) = 6*l - 2. Let q be h(3). Suppose -58 = -5*n + 2*t + s, n - q = 3*t. Is n composite?
False
Let k(q) = q - 1. Let z(v) = -9*v + 9. Let b(h) = -33*k(h) - 4*z(h). Let m be b(2). Suppose m*a = -a + 268. Is a a prime number?
True
Let u(s) = 16*s**3 - 3*s**2 + 9*s - 2. Let g(f) = -8*f**3 + 2*f**2 - 5*f + 1. Let b(i) = 7*g(i) + 4*u(i). Is b(4) a composite number?
False
Let u(a) be the third derivative of 5*a**6/3 - a**4/12 + a**3/2 - 18*a**2. Is u(1) a prime number?
False
Let a = -70 + 78. Suppose 4*l + a = 0, -5*s + l + 639 = -l. Is s prime?
True
Suppose 164 = w + 3*k, 0 = 5*w - 3*k - 275 - 563. Is w a prime number?
True
Let q be 5 - 5 - 5*39. Let v = q + 758. Is v a prime number?
True
Let o(a) = 238*a**2 + 30*a + 163. Is o(-10) composite?
False
Let q(w) be the first derivative of -35*w**4/4 + w**3 + w - 2. Let s(y) = y**2 - 3*y. Let g be s(1). Is q(g) composite?
False
Let v(h) = -h**3 + 3*h**2 + 2*h + 5. Let z(a) = -a**2 + 7*a - 6. Let i be z(5). Let l be v(i). Let c(j) = -9*j + 4. Is c(l) prime?
True
Let y(p) be the third derivative of 17*p**6/120 - p**5/20 + p**4/6 + 5*p**3/6 - 3*p**2 - p. Let j = -5 - -9. Is y(j) a composite number?
False
Let x(a) = 26*a**2 - a - 7. Suppose -25*j + 20*j = 20. Is x(j) composite?
True
Let j(x) = 98*x + 5