 2*r + 8. Let a be m(-7). Let t = a + 10. Let k(f) = 55*f - 9. Is k(t) a prime number?
True
Suppose -1586 = -2*r + 386. Suppose 4*q + r = 6846. Is q prime?
False
Is (12/(-8) + 1)/(10/(-27660)) a prime number?
False
Suppose -4*y - 5*w + 5032 = -2*y, 0 = -4*y + 5*w + 10094. Is y prime?
True
Let s(z) = 7*z + 3*z + 5 + 0*z - 1. Let b be s(-1). Is b/24*3568/(-4) a composite number?
False
Suppose -5*y + 6*y + 2*b = 12175, 48755 = 4*y - 3*b. Is y a composite number?
True
Let q(a) = -6*a + 3 - 17904*a**2 + 0*a + 17905*a**2. Is q(-8) a composite number?
True
Let z = -9280 - -13827. Is z a prime number?
True
Let r(w) = w**3 - 11*w**2 + 6*w + 1. Let h(i) = i**2 - i - 1. Let x be h(4). Let o be r(x). Suppose -4*z + o = -3*z. Is z a composite number?
False
Suppose -5*s = -d + 802, -665 - 933 = -2*d + 4*s. Is d a composite number?
False
Let j(v) = -4*v - 23. Let h be j(-7). Suppose -h*t + 185 = m - 133, -894 = -3*m - 3*t. Is m composite?
False
Suppose 0 = 360*u - 367*u + 70231. Is u a composite number?
True
Suppose 0 = 3*r - 2*p + 102, r + 6*p = 4*p - 26. Is r/(-32) + (2625 - 0) + 1 prime?
False
Let m be 0*(6/5 - 8/40). Suppose d - 1436 = -5*u, 3*d - 3*u = -m*u + 4326. Is d prime?
False
Suppose 0 = 87*z - 107*z + 89720. Is z composite?
True
Suppose -73612 = -12*f - 32*f. Is f a prime number?
False
Let m(u) = 28*u. Let k be m(4). Suppose 2*t - k = 4*s, -5*t + 251 = -t + s. Is t a prime number?
False
Suppose 2*j - 1663 - 8837 = 0. Suppose 4*r - 2*n - j = 0, 5*r - 5*n = 2*r + 3934. Is r a composite number?
True
Let b(z) = -8*z**2 - z + 7. Let w(m) = 7*m**2 + m - 6. Let o(t) = -6*b(t) - 7*w(t). Let a(q) = -6*q - 8. Let x(y) = a(y) - 2*o(y). Is x(5) a composite number?
True
Let s = 118043 - 77496. Is s prime?
False
Let u = 68 + -160. Let r be ((-3)/(-3))/(7/1939). Let s = u + r. Is s prime?
False
Let p(x) = -77*x + 6. Let c = 13 - 18. Is p(c) prime?
False
Suppose 0 = 4*g - z - 53760, 3*z + 40331 = 3*g + 5*z. Is g a composite number?
False
Let z(y) = 6*y**3 - 4*y - 1. Let h = -27 + 30. Suppose -h*d + 16 = 7. Is z(d) a prime number?
True
Let f be ((-132)/77)/(2/14). Is ((-771)/f)/((-3)/(-12)) prime?
True
Is (124/6)/(33/(214236/8)) composite?
True
Suppose -184648 = -8*f + 124864. Is f a prime number?
False
Is 147/(-245) - 47608/(-5) composite?
False
Is (-15)/(-6)*(-134662)/(-55) a composite number?
False
Let u be 6/(-39) + (-84)/(-39). Let v be 1781/u - (-6)/(-12). Suppose 0 = 6*x - 8*x + v. Is x composite?
True
Let i = 2 + -2. Suppose i*f + 25 = 5*f. Suppose -98 + f = -3*j. Is j composite?
False
Let y(m) = 1673*m**2 - m - 413*m**2 - 8 + 8 + 2. Is y(1) prime?
False
Suppose 0 = d + d - 8. Suppose -a + d*x + 12 = -8, 15 = -3*x. Is a*(2 + -3) + 65 a prime number?
False
Let x = 57416 - 29889. Is x a prime number?
True
Let d(z) = -z + 7. Let w be d(4). Let b be 2964/16 - w/(-4). Let k = -37 + b. Is k a composite number?
False
Suppose 2*m + 1801 = -4*z + 495, 327 = -z - m. Let f = z + 685. Is f a composite number?
False
Let z be -4 + 4 - 0 - -18809. Suppose -10*b = -2421 - z. Is b prime?
False
Suppose -3*z - 346 = -5293. Is z composite?
True
Suppose w + v - 719 = 0, w - v + 0*v = 717. Suppose -7*y + w = -1319. Is y prime?
False
Let g(w) = -w**3 - w**2 - 18. Let s(i) = -i**2 + 8*i - 12. Let y be s(6). Let m be g(y). Let p = m - -137. Is p composite?
True
Let d be ((-3)/(-2))/((-5)/600). Suppose -4*s + 2*s = -554. Let k = d + s. Is k composite?
False
Is (2/2 - -57932) + (-46 - -44) a composite number?
True
Suppose 2*h = 475 + 5871. Is h a prime number?
False
Let q = 778 - 1864. Let p be -13 + -1 + (-2)/(-1). Is q/p + 1/2 a composite number?
True
Let d be -4 + 21*(-2)/3. Let f = d + 20. Is 40*f + 4 - 1 prime?
True
Suppose -u + 0 = -2. Let l be 2/6 + 8/3. Suppose -l*b + 71 = -u*b. Is b composite?
False
Suppose -s + 5*f = 278, -f - 4*f = -2*s - 576. Is s*((-33)/6 + 5) composite?
False
Let m = -36 + 19. Let p = 17 + m. Suppose 2*v - 472 + 194 = p. Is v a composite number?
False
Let f = -1814 - -2674. Suppose -5*d - f = 5*w, -d + 2*w = 5*w + 168. Let j = 283 + d. Is j a composite number?
False
Suppose -2*n + 3*f + 5851 = 0, 4*n - f - 4848 = 6839. Is n prime?
False
Let j be 5*((-15)/(-25))/1. Is 0 - (0 + (j - 250)) a prime number?
False
Let p(d) = -54*d - 5. Let j(t) = -t + 5. Let b be j(9). Is p(b) composite?
False
Let p(b) = 36 + 2*b + 35 + 4*b**2 - 67 + 5*b**3. Is p(5) composite?
False
Suppose -1 + 11 = 3*v - r, -3*v + 16 = 2*r. Suppose y - 1238 = -v*d, 0*y - 2*d = 3*y - 3684. Suppose -y = -4*p - 286. Is p prime?
False
Let i = 12866 - 6833. Is i a composite number?
True
Suppose x + 20 = 6*x. Let o(b) = -x*b**2 + 470*b**3 + b + 16 + 3*b**2 - 17. Is o(1) a composite number?
True
Let b(y) = 4*y**2 - 5*y - 673. Let a(p) = -3*p**2 + 4*p + 673. Let i(d) = 3*a(d) + 2*b(d). Is i(0) prime?
True
Let t be ((-20)/8 + 2)*-2 - 5. Let w(p) = 21*p**2 - 12*p - 2. Is w(t) a prime number?
False
Suppose -l = -0*l + 15. Let n be ((-5)/l)/((-1)/(-3)). Is (758 + n)*(-10)/(-30) prime?
False
Let w = -2216 - -3512. Suppose -6*g + 3*g - 3*h + w = 0, g - 434 = -3*h. Is g a prime number?
True
Let l(v) = 2014*v + 189. Is l(8) composite?
False
Let w be (386/(-8))/1*-4. Let g = 67 - -97. Suppose -g - w = -3*o. Is o composite?
True
Let d = 12 - -27. Let l be d*(-1 + -3 + 6). Let s = l + -27. Is s composite?
True
Let k be 4 + 1 + (-6 - -3). Suppose 3*w + 0*s = -s + 7, k*s - 4 = -w. Suppose 5*c + 153 = w*r, -3*c = r + c - 70. Is r prime?
False
Let r(b) = -b**2 - 19*b - 3. Let j = 22 - -2. Let w be (-210)/j + (-3)/12. Is r(w) a composite number?
True
Suppose 3 = 5*y - 12. Let f(a) = 69*a - 3. Let s be f(y). Suppose -215 = -o + s. Is o a composite number?
False
Let h(c) = 35*c**2 - 7*c - 11. Let z(g) = 2*g**2 + 9*g + 2. Let b be z(-5). Is h(b) composite?
True
Suppose 5*m - 4 = 4*m. Suppose m*w = 3*a - 8881, -5*a + 3*w = -a - 11846. Is a composite?
False
Let r = 25 - 17. Suppose 3*o = r*o. Suppose -11*s + 8*s + 1461 = o. Is s a prime number?
True
Is 80460/28 - -5 - 8/14 a prime number?
False
Let h = 20 - 15. Suppose 0 = -5*o - 17 - 3, x + h*o = 63. Is x prime?
True
Suppose -9 = w - 24. Suppose w = -3*n, -5*o - n + 4440 = -0*n. Is o prime?
False
Suppose -5*g = -2*l - 7*g + 91504, 3*l - 137286 = 3*g. Is l prime?
True
Suppose -8*j + 13*j - 25 = 0. Suppose -2*w - 40 = 4*o, -j*o + 3*w = w + 32. Is (28/o + 2)*-22 composite?
True
Suppose 0 = t - 12 - 13. Let w(f) = t - 16*f - 2 + 1 - 7*f. Is w(-7) a composite number?
True
Let y(x) = 7*x**2 + 2*x - 9. Let m be y(-4). Let n = m - 26. Suppose g + n = b - 14, -3*b = -2*g - 251. Is b prime?
False
Is (-3)/(6/(-4))*(-3882)/(-4) composite?
True
Let d(o) = o**3 - 6*o**2 + 6*o - 4. Let z be d(5). Let f be z - 2 - (-8)/(-4). Is f/(-2)*(-76)/(-6) composite?
False
Suppose 4*i + 5*y = 201816, -30*y - 252229 = -5*i - 26*y. Is i a composite number?
True
Suppose -2*p - 12 = -2*l, -3*p = l - 5*p - 5. Suppose l*h = 8*h + 3. Let j(c) = 2*c**2 + 4*c - 2. Is j(h) a prime number?
False
Suppose -4 = 2*h, h - 2 - 4 = -2*y. Suppose -y*j + 499 = -1281. Is j composite?
True
Let n be 712*((-1)/2)/(-1). Suppose -5*q - n = -1486. Is q a composite number?
True
Suppose -2*k + 5*k - 5*m = 788, 2*k - 4*m = 524. Suppose 839 = 3*o + k. Is o a composite number?
False
Suppose 9*y - 14*y = 80. Is 2144/10 + y/40 prime?
False
Let f(x) = -x**3 - 11*x**2 - x - 9. Let l be f(-11). Suppose l*h + 2*o - 385 = 73, -4*o + 217 = h. Is h a prime number?
True
Suppose 0 = -5*y + 4153 + 13822. Is y a composite number?
True
Suppose 0 = -3*m - 2*m. Suppose -3*p + 138 = 2*p - 2*v, m = 4*p + 4*v - 88. Suppose -r - r = -p. Is r prime?
True
Suppose -l - 5 = 0, 0 = 2*c - 0*c + 3*l + 19. Let o be 4 + -3 + c + 1. Suppose o = 5*w - 983 - 882. Is w a composite number?
False
Let n(u) = -u**3 + 10*u**2 + 30*u - 15. Let w = -5 + 17. Is n(w) composite?
True
Let i be 433*(10 + -2 - 2). Let n be 19736/12 + (-3)/(-9). Let k = i - n. Is k composite?
False
Suppose -z = -11 - 9. Let l(j) = 10*j - 11. Let o be l(z). Let g = o + -98. Is g a composite number?
True
Suppose 10 = -2*i + 14. Is (4419/36)/(i/8) a composite number?
False
Let p(d) = -6*d**3 - 7*d**2 - 12*d + 5. Let y = 51 - 57. Is p(y) a composite number?
True
Suppose -3*z + 81912 = z - 2*d, 0 = -3*z + 5*d + 61441. Is z a prime number?
True
Let o be (-7 - -4)/(32/12 + -3). Let g(x) 