uppose -7 + 3 = -v. Suppose -3*f + 3036 = 2*s - 0*s, -v*f = s - 1523. Is (s/3 + 0)/1 a prime number?
False
Suppose -8*k + 36125 + 50523 = 0. Is k prime?
True
Let r be -1 + (-12)/(-1) + 1. Suppose -11*k = -r*k + 422. Is k a composite number?
True
Let n be (-232)/(-20) - 6/(-15). Let v = 13 - n. Is v/4 + (-20312)/(-32) prime?
False
Let v(d) = d**2 - 7*d - 11. Let t be v(8). Let n(z) be the first derivative of 10*z**3/3 + 2*z**2 + z + 2. Is n(t) a composite number?
False
Let t(m) = -108*m - 25. Let j = -1 - 5. Is t(j) a composite number?
True
Let k be 5*(3*(6 + -8) - -7). Let p(n) = n**3 - 12*n**2 - n - 7. Let z(g) = 3*g**3 - 37*g**2 - 3*g - 21. Let h(c) = 11*p(c) - 4*z(c). Is h(k) prime?
False
Let p = 2953 - 752. Is p a prime number?
False
Let a(z) = -z**2 - 7*z + 1. Let r be a(-7). Let s(x) = x**2 + x. Let m be s(r). Suppose -3*h = -61 - m. Is h prime?
False
Suppose -14589 = -830*y + 821*y. Is y a composite number?
False
Let w = 2771 + -1479. Is 2/(-7) - (w/(-14) + 1) prime?
False
Suppose 3*u = 5*p + 109010 + 27171, -4*p + 181596 = 4*u. Is u a composite number?
True
Let a = -18 - -12. Let j(w) = w**3 + 6*w**2 + 2 - 2*w - 3 + 0 - 4. Is j(a) composite?
False
Is 2258 + -1*(-11 - -2) prime?
True
Suppose -5*u - 2 = -3*h, -3*h + 8*h - 18 = u. Suppose -22 - 40 = -u*w. Is w composite?
False
Let u = 500 - 221. Suppose -n + 360 = -p, 0 = -n - 2*p + u + 78. Is n a composite number?
False
Let u(a) = -a**3 + 11*a**2 + 15*a - 13. Let c be u(12). Let v = c + -20. Let m(d) = 46*d + 1. Is m(v) prime?
True
Let y = -2056 - -4324. Suppose -5*s + 13507 = -y. Is s prime?
False
Suppose -2*h - 4*x = -22, -h - 3*x + 2 = -4*x. Let i(g) = 185*g - 18. Is i(h) a composite number?
False
Let c be (5 + 22)/(2/2). Let f = 93 - c. Suppose a = -a + f. Is a prime?
False
Suppose 654 = 2*r + r. Let q = r - 27. Is q a composite number?
False
Let p = 32 + 96. Suppose -4*o - 4 = 0, -3*c - 5*o = -884 - p. Suppose g + 2*a - c = -0*a, 3*a + 650 = 2*g. Is g a prime number?
True
Let o(h) = 3*h**3 - 10*h**2 + 2*h + 11. Let m be o(-10). Let r = m - -7112. Is r prime?
False
Let a(c) = 6406*c - 3. Is a(1) a composite number?
True
Suppose -2*m = 4*p + m - 1069, 5*m = -4*p + 1067. Suppose 0 = -2*k + 714 - p. Let d = k - 134. Is d prime?
True
Let q be (-14)/56 + (-9)/(-4). Suppose -4*t = -q*t - 658. Is t composite?
True
Let v be (1 - 0)/(20/(-120)). Let z be (-2 - -1) + (1 - 0). Is -2 + z + (-750)/v prime?
False
Let z(h) = 32*h + 8. Let s(t) = 96*t + 23. Let f(i) = -3*s(i) + 8*z(i). Is f(-4) a composite number?
True
Let t be (-3)/4*(-16)/4. Suppose -5*c + t*c + 30 = 0. Is c prime?
False
Suppose -3*i - i = 1932. Let u = i + 1007. Is u/6*(-9)/(-6) prime?
True
Suppose -2*f = -3*i + 477 + 2226, 3*i + 4*f = 2703. Is i a composite number?
True
Suppose 66958 - 13420 = 4*l - 5*y, 2*l - 26764 = 5*y. Is l prime?
False
Let m(d) = 13*d - 48. Let p be m(5). Suppose -p*c = -c - 7472. Is c a composite number?
False
Let h(w) be the first derivative of -w**4/4 - 17*w**3/3 + 15*w**2/2 - 17*w + 3. Is h(-18) prime?
True
Let o(h) = 453*h**2 + 471*h - 8. Is o(-6) a composite number?
True
Let o(g) = -514*g - 2. Let p be o(-3). Suppose -z + 761 = -4*f, z + z + f - p = 0. Is z composite?
False
Suppose 4*w - 2*w - r = 13, -5*r = w + 10. Suppose 6*g + w*g - 35233 = 0. Is g prime?
True
Let n(d) = d**2 - 3*d + 3. Let l be n(3). Suppose -812 = -l*c + 6265. Is c a prime number?
False
Let j(g) = -1217*g**3 - 3*g**2 - g + 2. Is j(-1) a prime number?
True
Suppose -74 + 2288 = -3*w. Let r = w - -1240. Is r composite?
True
Suppose -5*s - 2 - 8 = 0, 3*s = -l - 4. Suppose h - 310 = d, -935 = -h - l*h + 4*d. Is h a composite number?
True
Suppose -21*i + 19*i + 1052 = 0. Suppose j - i = -j. Is j a prime number?
True
Suppose 3*f - s + 936 - 12200 = 0, f = s + 3756. Is f prime?
False
Let c(w) = -w**3 - 21*w**2 - 37*w + 49. Is c(-20) a composite number?
False
Suppose 2*b = 35 + 19. Let i(y) = 49*y - 4 + 1 + b*y. Is i(5) a composite number?
True
Let j(m) = -m - 15. Let w be j(-8). Let a = 5 - w. Suppose a*k - 1270 = 7*k. Is k composite?
True
Suppose 5*y = t + 557, -3*y + 6*y - 345 = -3*t. Is (-6)/(-14) + 130432/y prime?
False
Let v(h) = -h**3 + 9*h**2 - 10*h. Let k = -4 + 12. Let p be v(k). Is (1262/8)/((-4)/p) prime?
True
Suppose 8*x - 1139 = 2005. Suppose -3*i + 0*i + x = 0. Is i a composite number?
False
Let r = 555 + -310. Let n = 536 - r. Is n a composite number?
True
Suppose -4*x - 20 = -8. Let m be 12/36 - 14/x. Suppose 0 = m*r - 2*r - 561. Is r a composite number?
True
Is ((-6)/48)/((-5)/254920) prime?
True
Suppose b - 4*d - 112889 = -d, -4*b = 5*d - 451488. Is b composite?
False
Suppose 174*g + 823883 = 197*g. Is g a composite number?
True
Let s(r) = -13*r + 1 - 231*r - 47*r - 127*r. Is s(-1) prime?
True
Suppose 211026 = -9*z + 1189389. Is z a prime number?
True
Is (-4)/(-8)*((-231690)/3)/(-5) a prime number?
True
Let r = -67 - -46. Let j be r/(2/(4/3)). Is (-62)/((-2)/j*-2) a composite number?
True
Let u be -4 - (1474 + -1 + -2). Let w = 2661 + u. Is w prime?
False
Let l = -3781 - -11136. Is l composite?
True
Let o = -38 - -41. Suppose -h - 100 = -4*t, -o*h - 1 - 13 = -t. Is t a prime number?
False
Suppose -m - 1 = -4. Let o(k) = -k**2 + 4*k. Let x be o(m). Suppose 180 = x*n - 297. Is n prime?
False
Suppose -4*l - 4*x = 7912, -2*l - 5*x - 3964 = -7*x. Let n = 2904 + l. Is (-1)/(-4) - n/(-16) prime?
False
Suppose -r + 32 = 4*m, 3*m + 4*r = -r + 7. Suppose -6*q - m = -9*q. Let t = 118 - q. Is t a composite number?
True
Let t = 1685 - 1056. Is t a prime number?
False
Let q = 47 - 42. Suppose j = -3*f + 781, q*j - 3949 = -3*f - f. Is j composite?
True
Suppose 0 = -3*h - 6*h - 30564. Is (-2)/(2/h*4) a composite number?
True
Suppose 0*c = 5*c + 3*v - 28897, -4*c + 4*v = -23124. Suppose -5*i + 235 + c = 0. Is i a composite number?
True
Suppose 0*k - 4*b + 678 = k, -k + 680 = 5*b. Suppose -2*s + 536 = 4*u, -2*s - k = -5*u - 4*s. Is u composite?
True
Let c be (-2)/(-3)*27/6. Suppose -d - 4*l = -0*d + 9, -c*d = 5*l + 6. Suppose -4*u + 812 = -q, -u + d*q = 2*u - 609. Is u a composite number?
True
Let u(c) = 3*c**2 - 5*c + 15. Let x = 17 - 15. Let d be (-7)/(-4)*(x + 2). Is u(d) prime?
True
Suppose -9*u = -41 - 4. Suppose -2*w - u*a = 597 - 1635, -3*w + a = -1540. Is w composite?
True
Let s(a) = 102 - a + a**2 + 111 + 5*a**3 - 4*a**3. Suppose t - 11 - 4 = 5*g, -2*t = 3*g + 9. Is s(t) composite?
True
Suppose 5*h - 30197 = 3*g, 12*h + 2*g = 9*h + 18103. Is h prime?
True
Let q(g) = 94*g**2 - 4*g - 7. Let o(v) = -188*v**2 + 8*v + 13. Let t(r) = -4*o(r) - 7*q(r). Is t(-2) a composite number?
True
Let f(l) = 1494*l**2 + 34*l - 61. Is f(2) a prime number?
False
Suppose -3*z + 17 = 4*f + 2, -f = -5*z + 2. Suppose 14971 = 14*g - f*g. Is g prime?
True
Suppose -10*c + 23027 + 583 = 0. Is c prime?
False
Is (5937 - -1)*9/6 a prime number?
False
Suppose 1357 - 3987 = -5*l. Let t = -801 + l. Let w = -156 - t. Is w a composite number?
True
Let m(h) = 6*h**2 + 44*h + 113. Is m(-35) prime?
True
Let k(s) = -13*s**3 - 10*s**2 + 12*s + 19. Is k(-8) composite?
False
Let i be 90/8 - (-2)/(-8). Suppose 4*c - 3*o - 14 = 0, c + 3*o = -0*c + i. Suppose -c*s = -172 - 423. Is s a composite number?
True
Suppose 0 = -3*x - 0*x + 630. Suppose 0 = t - x + 34. Suppose -2*d + 148 = -3*v + 679, v - d = t. Is v a prime number?
True
Let k(d) = 31*d**2 + 11*d + 35. Is k(12) composite?
True
Suppose -6 + 0 = -k. Let z(u) = -23 + 11*u**2 + 11 + 6*u + 7. Is z(k) a prime number?
False
Is (32/48)/((-10)/(-42285)) prime?
True
Suppose 0 = -5*l + 947 - 4702. Let t = -428 - l. Is t a composite number?
True
Is 15/6*4553954/115 prime?
True
Let g = -92762 + 162375. Is g prime?
False
Let v(a) be the second derivative of a**5/20 - a**4/2 - a**3/3 + 7*a**2/2 + 2*a. Is v(8) a prime number?
False
Suppose 5*i = -0 + 5. Suppose -p + 3 + i = 0. Suppose 2*y = 6*y + 4*x - 1160, -p*y + 3*x = -1181. Is y prime?
True
Suppose -762564 = -2*g - 2*c, 3*g - 6*g + 9*c + 1143858 = 0. Is g composite?
True
Let z = -5017 + 9144. Is z prime?
True
Let v(h) = 2*h**2 + 11*h + 18. Suppose 0 = 7*u - 121 + 30. Is v(u) prime?
True
Suppose -11813 = -43*v + 4140. Is v a prime number?
False
Let t be -33 + (2 - 0) + 2. Let h = -26 - t. Suppose -h*r - 3*i + 1063 = -1235, -3*r + 2280 = -3*i. Is r a prime number?
False
Let r