e -2*d - 530 = -3*y, -2*y - 2*y + 704 = -o*d. Is y a prime number?
False
Suppose -5*c = 5*r - 2*r - 16, c + 5*r - 12 = 0. Suppose 2305 - 349 = 4*a - 4*t, t - c = 0. Is a a composite number?
False
Let x(a) = 87*a**2 - 5*a - 41. Is x(-4) prime?
False
Suppose -1321 = z - 12704. Is z composite?
False
Suppose 6 + 11 = -3*k + y, 5*k + 2*y = -10. Is (1/1 - -1)*(-5866)/k composite?
True
Let b(r) = 12*r**2 - 16*r + 21. Is b(-16) composite?
True
Is -6*(-8)/48 - -4416 a prime number?
False
Suppose -18 = -3*n + 3. Suppose -n*b = -p - 3*b + 387, 0 = -2*p + 2*b + 750. Is p a composite number?
True
Suppose 109*g = 122*g - 20813. Is g a composite number?
False
Let k(v) = -v**3 - 8*v**2 - v - 1. Let l be k(-8). Suppose 0 = l*j - 231 - 14. Is j a prime number?
False
Suppose -2*d - i + 11 = 0, -2*d + 0*d = 4*i - 26. Suppose d*x - 7*x + 160 = 0. Suppose -s = -149 + x. Is s composite?
False
Let t(g) be the third derivative of -g**6/120 + 13*g**5/60 - g**4/4 + 19*g**3/6 - g**2. Is t(10) a prime number?
False
Let j(o) = -o**3 + 4*o**2 - 2*o + 1. Let b be j(3). Suppose -47 = 4*l + i - 254, -195 = -b*l + 3*i. Let m = 236 - l. Is m prime?
False
Suppose 0 = -9*x + 4*x - 3*a, 4*a = -4*x. Suppose x*n = -3*n + 2325. Suppose 0 = -3*m + n + 1454. Is m a composite number?
False
Let w(y) = -2*y - 5. Let a be w(-4). Suppose -s + 3052 = -4*u + s, -a*u - 3*s - 2298 = 0. Is (-3)/9 + u/(-6) composite?
False
Let f(o) = -124*o - 59. Is f(-15) a composite number?
False
Let k be 24 - (5 + 4/(-4)). Is 6/(-10) - (-7832)/k a composite number?
True
Let c(y) = 39379*y + 36. Is c(1) prime?
False
Suppose 0 = 639*z - 641*z + 39322. Is z a composite number?
False
Let r be (-34)/(-9) + 2/9. Suppose 0*z + d + 263 = r*z, -3*d = -15. Is z composite?
False
Let i = -1800 - -994. Let s be i/(-4) + 2/(-4). Suppose 0 = -8*j + 5*j + s. Is j a prime number?
True
Let m = 2481 - 434. Is m a prime number?
False
Let i be (48/(-32))/(1*6/(-9320)). Let c = -1287 + i. Is c composite?
True
Suppose -2*h + 4*t = -h - 7724, -3*t + 38620 = 5*h. Suppose 34*v - 30*v = h. Is v a prime number?
True
Let l = 2401 - -29680. Is l prime?
False
Let v = 25 + -22. Suppose q = -v*q + 9332. Is q composite?
False
Suppose k - 26 - 1 = -4*h, 2*k - 18 = 4*h. Suppose 3*n - k = -2*w, -3*n + 2*w = -0 - 3. Suppose n*r - 162 - 281 = -f, -r = -4*f - 165. Is r a prime number?
True
Let n(h) = h**3 + 2*h**2 - 17*h + 15. Let x be n(9). Suppose -9*a + 6*a + x = 0. Is a prime?
True
Let n(g) = 16*g + 12. Let h(f) = -15*f - 13. Let x(z) = 3*h(z) + 4*n(z). Is x(8) composite?
True
Let j(t) = t**3 - 7*t**2 - 18*t + 4. Let b be j(9). Suppose 4*p = 5*r - 441, 3*r + b*p - 19 - 252 = 0. Is r prime?
True
Is 2 + 1 + -5 + 955/1 prime?
True
Suppose -3*h - 5*g + 7*g = 6, -5*h - 10 = -g. Let n = h - -1. Let s(x) = -19*x**3 - x - 1. Is s(n) a composite number?
False
Suppose 5*z = 3*a + 21, 3*z + 2*a - 1 = -2*a. Is z - 842/(-3)*6 a prime number?
False
Let g = 349047 + -188464. Is g a prime number?
True
Suppose 0 = -4*a - 8*a + 52620. Is a a composite number?
True
Let u = -428 + 1373. Suppose -6*d + u = -d + 5*f, -4*d - 2*f = -766. Is d prime?
False
Suppose -379544 + 1207884 = 20*h. Is h a prime number?
False
Let f(h) = 22742*h**2 + 8*h - 11. Is f(1) prime?
True
Is ((-125727)/42)/(1/(-2)) a prime number?
True
Let u(r) = -r**2 - 18*r + 4. Let g be u(-17). Let a = -9 + g. Suppose 3*p - 3 - a = 0, -b + 2*p = -59. Is b a prime number?
False
Suppose -3*s - 11594 = -5*a, -4643 = -0*a - 2*a + 3*s. Is a composite?
True
Suppose 9*h - 5*h - 4*x - 24016 = 0, -5*x = -2*h + 11999. Is h prime?
True
Let u(o) = 8*o - 1. Let g be u(2). Let c(p) be the third derivative of 5*p**4/24 + 7*p**3/3 + p**2. Is c(g) a prime number?
True
Let i = -39357 + 97906. Is i composite?
False
Suppose 7*f = 5*f - 22. Is -3*f/(-6)*-58 composite?
True
Let p = 0 - -1. Suppose j + p + 5 = 0. Is (2348/j)/(2/(-3)) composite?
False
Let u = 828 + -275. Let p = -234 + u. Is p prime?
False
Suppose 31*n = 2243 + 20046. Is n a prime number?
True
Suppose 6*k = 32 - 14. Let y(p) = 25*p**3 + 9*p**2 - 6*p - 1. Is y(k) a prime number?
False
Let p be (15 - -1)/(-2 - -1 - -3). Let h(j) be the third derivative of 23*j**4/24 + 9*j**3/2 + j**2. Is h(p) prime?
True
Let t = 915 - 104. Is t composite?
False
Suppose -24*c = -19*c - 5. Is c - -1 - (-618 + -11) prime?
True
Suppose 0 = -3*w - 2*w. Suppose 0 = y - w*y - 12. Let k = y + 41. Is k prime?
True
Suppose -9964 - 17845 = -3*f - 4*j, 3*j = 4*f - 37087. Is f composite?
True
Let n(g) = 18*g - g**3 + 10 - 3*g**2 + 2*g**2 - 4*g - 3*g**2. Let l be n(-9). Let m = l - 86. Is m composite?
True
Let t = 37 + -30. Let o(a) = 3*a**3 - 6*a**2 + 3*a - 17. Is o(t) prime?
True
Let c = 7822 + -2561. Is c composite?
False
Let m = 1271 - 685. Is m composite?
True
Suppose -5*u - 855 = -10*u. Suppose -3*z + u = -2*z. Suppose -z = -2*s - 5*n, -s - 2*n + 110 = 23. Is s composite?
True
Let x = -14 - -18. Suppose -x*n + 17 = -t, t + n + 1 = 3*t. Suppose t*r - 4*r + 439 = 0. Is r a composite number?
False
Let y(t) = 11*t**3 - 24*t**2 + 11*t + 1. Let v(f) = -5*f**3 + 12*f**2 - 5*f - 1. Let q(s) = 9*v(s) + 4*y(s). Is q(10) prime?
False
Suppose -3535 = -5*b + 6175. Is b prime?
False
Let c(k) = 3 + 2050*k**2 - 7 + 2 - 553*k**2 + 2*k. Is c(1) a composite number?
True
Let c be 4/(-14) + (-53700)/(-35). Suppose -3*o = -5*o + c. Suppose 5032 = 5*w + o. Is w prime?
True
Suppose -2*i = -3*i + 8. Is (7 - i)/(3/(-537)) prime?
True
Let f be (1 - 4/6)/((-7)/(-189)). Suppose -4*w + 2 = -w + 2*j, w - 5*j = -22. Is 6/f*(-3117)/w composite?
False
Let g = -2538 + 10055. Is g a composite number?
False
Suppose 2*p - 4*l - 16 = 0, -5*l = -5*p + 3*p + 20. Suppose -w + p = 2*g - 1, -2*w + 2 = 0. Suppose -2*c + 62 = -g*c. Is c a composite number?
False
Suppose 32 = -5*s + 47. Suppose s*b = 2961 + 2580. Is b a composite number?
False
Suppose 2*v - 31429 = -5*w - 5303, -2*v + 3*w = -26126. Is v a prime number?
True
Let j be -4426*(2/(-5))/((-24)/(-30)). Let f = j + -670. Is f composite?
False
Let b(i) = -145*i - 17. Let m be b(-5). Let h = m - 445. Is h composite?
False
Let l be (-15)/(-9) - (-5)/15. Suppose -3*w = 4*m + 28, l*m + 1 + 3 = -4*w. Is (-2)/m + 11788/35 composite?
False
Let p = 15 + -9. Let d(i) = -i**2 + 6*i - 5. Let l be d(p). Is (-18)/(-45) + (-663)/l a prime number?
False
Suppose -8*u = -4*u. Suppose i - 2577 + 19863 = 4*d, -4*d - 5*i + 17274 = u. Is d prime?
False
Let v = 8379 + -5566. Is v prime?
False
Suppose -3*w - 2*n = -31673, 2*w - 5*n - 12818 = 8310. Is w a prime number?
True
Let p = -84 - -182. Is -2 + p + -2*(-3)/(-6) a composite number?
True
Let d(i) = 37*i**2 - i + 4. Let f be d(-3). Suppose -7*p - w = -2*p - 282, 2*w + 6 = 0. Suppose -p - f = -s. Is s composite?
False
Suppose k + 564 = 3*m, m + k - 184 = -0*m. Is m prime?
False
Let b(r) = -19*r + 16. Let j be b(-5). Let x be (-1 - -4) + (-2 - -2). Suppose 0*o = -x*o + j. Is o prime?
True
Let b(z) = -243*z + 55. Let q(a) = -3157*a + 714. Let h(k) = -77*b(k) + 6*q(k). Is h(-4) prime?
False
Let y be (0 - -5)/15*10653. Suppose 2*u - 383 = y. Is u a prime number?
False
Suppose -15 = -4*f - t, 2*f = 3*f - 5*t - 9. Is f - (4 - 55 - 0) a composite number?
True
Let b(d) = -13*d**2 - 2*d - 1. Let v(u) = -u**2. Suppose 4*n + 3*g - 2 - 3 = 0, -2*n - 3*g + 7 = 0. Let p(l) = n*b(l) - v(l). Is p(-2) prime?
True
Let n(d) = -d**2 + 7*d + 6. Let c(z) = -z**2 + 14*z + 12. Let i(q) = 3*c(q) - 7*n(q). Let r be i(8). Let l = 343 - r. Is l a prime number?
True
Let y(q) = 59*q**2 - 80*q + 28. Is y(23) a composite number?
False
Let g(o) = 10*o**2 + 6 - o**3 - 4*o**2 + 0*o**2. Let r be g(6). Is (52/r)/(4/138) prime?
False
Suppose 27351 = 5*p - t, 7*t = -4*p + 5*t + 21892. Is p composite?
False
Suppose 4*i - 2*p - 6 = 0, 2*i + 5*p = 2*p - 1. Let j = i + 2. Suppose 0 = -0*b + 5*b + j*w - 1615, -646 = -2*b - 3*w. Is b a composite number?
True
Suppose -2*a = -2*x + 4, -8*x = -9*x - 4*a + 17. Suppose -2175 = -x*f - 4*v, 2*f - v = -2*f + 1719. Is f composite?
False
Let i(q) = q + 2. Let l be i(1). Suppose 0 = -d - 5*a + 197, l*d - 2*d - 4*a = 179. Is d prime?
False
Let b(l) = 291*l - 1. Let j(q) = q**2 - 8*q + 9. Let k be j(7). Is b(k) a prime number?
False
Suppose 3*r + 40 = -4*t, 0*t + 2*t = -2*r - 20. Let b = t + 11. Suppose 0 = q - 144 - b. Is q a composite number?
Tru