- 14*d. Let w be x(13). Let h(o) = -14*o + 9. Is h(w) prime?
True
Let u = 62 + -27. Let g = u + -21. Is g a prime number?
False
Let j = -8279 - -15250. Is j prime?
True
Let b(f) = -1. Let s(l) = 23*l - 5. Let c(o) = -b(o) - s(o). Let p be c(-11). Suppose 2*x - w - p = 0, 3*x + 3*w - 148 - 218 = 0. Is x prime?
True
Suppose 2145 = -4*p + p. Let c = p + 1200. Is c a prime number?
False
Suppose 10*a - 615 = 5*a. Suppose a = -0*s + s. Suppose i + 4 = 0, 0*p - i = p - s. Is p prime?
True
Suppose -y + 4*c = -37725, y - 3*c - 16183 - 21540 = 0. Is y a prime number?
True
Let g(c) be the third derivative of -c**6/120 + c**5/12 + 5*c**4/24 + c**3/2 - c**2. Is g(-4) a composite number?
False
Is 25393 - (-17)/(153/72) a composite number?
True
Let x(c) = 174*c - 5. Let i(z) = 5*z**2 - 8. Let s(k) = -k**2 - k. Let w(h) = i(h) + 4*s(h). Let d be w(6). Is x(d) a composite number?
False
Let a(f) = 2*f**2 - 39*f + 13. Let q be a(19). Is (-50967)/12*2*q/9 composite?
True
Suppose h + 33194 - 9168 = v, 96144 = 4*v + 4*h. Is v a composite number?
True
Suppose 5 + 9 = -2*u + 2*h, 0 = -5*u - 4*h - 35. Is (u - (-4 + -1)) + 73 a prime number?
True
Let g(v) = -220*v + 115. Is g(-36) a composite number?
True
Let k = -30 + 20. Let r = k - -15. Let q = r + 114. Is q a prime number?
False
Let o(x) = -x**2 + 20. Let m be o(4). Suppose 3*q + 1034 = 2*v, 0*v - 2064 = -m*v + 5*q. Is v a prime number?
False
Suppose 5*d = 89 - 9. Let q be 3/(-6) - (-7400)/d. Let w = -193 + q. Is w a prime number?
True
Let g(y) be the second derivative of -2*y**3 + 47*y**2/2 + 4*y. Is g(-6) a prime number?
False
Let y be 1/(40/12 - 3). Suppose 4*o = 8*o + 2*c - 7026, -o + 1744 = y*c. Is o composite?
False
Is (3194 - -11) + 0 + -2 prime?
True
Let f(y) be the first derivative of -y**4/4 - 5*y**3/3 - 5*y**2/2 - 9*y - 35. Let o be (-4)/(-14) - 116/14. Is f(o) a prime number?
True
Let s be 94/10 + (-10)/25. Is 3972/4*3/s prime?
True
Suppose -3*z - 1017 = -4*x, -4*x + 0*z - 2*z + 1022 = 0. Suppose -x = -9*b + 6*b. Is b a composite number?
True
Let k be (6130/(-8))/(8/(-3 - 29)). Suppose r - 5*r - 4 = 3*p, 3*r + 24 = 3*p. Suppose p*d = -d + k. Is d a prime number?
True
Suppose -37482 = 359*r - 365*r. Is r prime?
True
Suppose -101 - 13 = -2*v. Suppose v = 10*n - 1123. Is n prime?
False
Let c(a) = 34*a**2 - 76*a + 43. Is c(-23) composite?
False
Let k = 513 + -141. Suppose 0 = 4*s - 4*x - k, -2*s + 3*x = 2*x - 190. Is s a prime number?
True
Let d = -58 - -23. Let s be ((-40)/d)/(6/21). Suppose -s*b = -b - 201. Is b a composite number?
False
Let b(t) be the second derivative of -13*t**3 - 5*t**2/2 + 18*t. Is b(-4) a prime number?
True
Suppose b = 2*b + 6. Is 1/b + 7693/42 prime?
False
Let k = -10605 + 35872. Is k a composite number?
True
Let r = 5372 - 3109. Let v = r + -104. Is v a prime number?
False
Let y(k) = -k**3 + 5*k**2 - 2*k + 12. Let x be y(5). Suppose -c + f = -375, -4*f - 746 = -x*c - f. Is c a prime number?
True
Suppose 2*d - 5*c = 311, 2*d = 7*d - 5*c - 755. Let t = 439 + d. Is t a prime number?
True
Let n(z) = -z**2 - 7*z + 6. Let q be n(-6). Suppose -q = -w + 131. Let g = 210 - w. Is g prime?
True
Is 19/((-228)/(-84960)) - 9 a composite number?
True
Suppose -25*r = -27*r + 7382. Let l = r + -1890. Is l composite?
False
Suppose -a + 0*m = 5*m + 909, 3*a - 2*m + 2676 = 0. Is 4/6*a/(-4) composite?
False
Let z(f) = -2603*f**3 - f**2 - f - 2. Let s be z(-1). Let h = s - 840. Is h a prime number?
False
Let v(h) = h**3 + 6*h**2 + 4*h - 2. Let x be v(-5). Let i be 106 + (-1)/(2 - x). Let r = -60 + i. Is r a composite number?
False
Suppose -4*v - 4 = 0, 5*x = 2*x + v - 32. Let m = -5 - x. Suppose -4*c - 1085 = -3*j, -j = c - m*c - 380. Is j a prime number?
False
Let w(b) = 2*b**2 + 4*b - 1. Let a be w(-3). Suppose a*h = -4*n + 15, h + 2*h - 9 = 2*n. Suppose -4*k + 109 = h*g, 3*g - 2*g = 4*k - 129. Is k a prime number?
True
Suppose 15*n - 20*n = -1735. Is n prime?
True
Suppose 0 = 5*g + 3*o - 19, -g - 2*o = 3*o + 5. Suppose 0 = a - g*a - 3*u + 733, -925 = -5*a - 2*u. Is a composite?
True
Is (-6)/(-12)*-284*194/(-4) prime?
False
Let z = 542 + -1092. Suppose -2508 = 13*x + 2575. Let r = x - z. Is r a composite number?
True
Let f be ((986/8)/1)/(2/8). Suppose -f - 298 = -y. Is y prime?
False
Is -1*9*10/(-30) + 3830 a composite number?
False
Let r(m) = 581*m**2 + 2*m + 1. Is r(4) a prime number?
False
Suppose 35*q - 585511 = 12*q. Is q composite?
False
Suppose -5*x + 2766 = 3*q, -6*x - 3653 = -4*q - x. Is q prime?
False
Suppose -36 = -4*r + 3*l + 92, 4*r - 128 = -3*l. Let v = 25 + r. Suppose -i + v = -26. Is i a composite number?
False
Let o(d) = 53 + 2*d + 2*d - 20*d - 4*d. Is o(-22) a prime number?
False
Let l(a) = 45*a**2 + 40*a - 59. Is l(-18) composite?
True
Suppose -73*b = -78*b + 342885. Is b composite?
True
Let t = -10 - -16. Suppose -t*m + 17 = -19. Suppose 2*o = 4*g + 266, -3*o + 2*g = m*g - 389. Is o prime?
True
Let z(k) = k**2 - k - 7. Let d(b) = -b + 7. Let u be d(-4). Suppose -12*x + u*x = -7. Is z(x) composite?
True
Let t = 19 + -15. Suppose 39 = -t*s + 5*s. Let m = -2 + s. Is m composite?
False
Suppose 2*a - 4 = 4. Suppose 3*f + 3 = 0, a*s + 3*f = 2*f + 2563. Is s composite?
False
Let g = -59 - -3346. Suppose h = -2*c + 1095, -5*c = 2*h + h - g. Is h composite?
True
Suppose -229*k - 1925035 = -264*k. Is k a composite number?
False
Let i(v) = -2*v**3 - v**2 - 4*v - 6. Suppose -7 = -2*n + 4*a - a, 6 = n + a. Let c(q) = -2*q**2 + 8*q + 5. Let p be c(n). Is i(p) composite?
False
Let i(v) = -v + 59. Let f = 15 - 18. Let x be 0/(f + 1 + 3). Is i(x) composite?
False
Suppose q - 2923 = -3*a + 2*q, 0 = -2*a - q + 1942. Let s = a + -428. Is s composite?
True
Suppose -2504 = 2*h + 6034. Let d = -34 - -79. Is h/(-45) + 6/d composite?
True
Let a(s) = 0*s - s + 2*s + 4*s. Let r be a(2). Is r/15 + (-967)/(-3) a prime number?
False
Let y = -55 - -1. Let f = y + -56. Is (f/15)/(6/(-63)) prime?
False
Is (670 - -1) + (9 - 13) composite?
True
Suppose 4*x - 489 - 947 = 0. Let u = 8 - 6. Suppose -u*p = -231 - x. Is p prime?
False
Suppose -i + 55 = -2*g + 339, 156 = g + 3*i. Let m = 293 - g. Is m prime?
True
Let j = -53 + -164. Is (0 - j) + 20/(-5) a composite number?
True
Let p be 6/(-1)*670/(-4). Let j = p - 135. Suppose 3*h + h - 2*l - j = 0, 453 = 2*h + 5*l. Is h composite?
True
Let c be (-116)/(-14) + 6/(-21). Suppose p = -5*q + 450, -4*q + c*q = 3*p + 341. Suppose 0 = m - 0*m - q. Is m prime?
True
Let r(d) = -d + 9. Let m be r(-7). Let p be -23*1 - (m + -15). Is 12750/16 - 3/p a prime number?
True
Is -2*(-50)/20*(-2813)/(-5) prime?
False
Suppose 0*s = 4*s - 20. Suppose -j = 5*f - 1228, -4*j + 4802 = 3*f - s*f. Is j composite?
True
Let x be (-10)/(-4)*(-60)/(-75). Suppose -5*a + 220 = -x*s - 585, 2*a - 4*s - 322 = 0. Is a a composite number?
True
Suppose 992 = -4*x + 4112. Let c = -1016 + 2863. Let t = c - x. Is t composite?
True
Let i(j) = 4*j**2 - 19*j - 7. Let s be i(15). Suppose -1190 - s = -2*n. Is n prime?
False
Is ((-37 - -8)/1)/((-1)/239) composite?
True
Let b(s) = -s**2 - 2*s + 6. Let c be b(-4). Is (-2290)/(-12) + c/(-12) a composite number?
False
Let j = 224 + -88. Let f = -74 - 4. Let t = j + f. Is t composite?
True
Suppose 19 = -5*z + 29. Suppose -v - 319 = 4*g - 3*g, z*v - g + 641 = 0. Let w = v + 702. Is w composite?
True
Suppose -3*z = 2*k - 2904, 18 - 6 = -3*z. Let v = k + -955. Is v a composite number?
False
Let r(l) = 3*l + 11. Let z be r(-5). Is (-26)/((z*(-4)/(-76))/2) a composite number?
True
Let y = -10853 - -15406. Is y composite?
True
Suppose -5*d - 2*d = -14. Let a = d + 119. Is a prime?
False
Let a = -25535 - -46492. Is a a prime number?
False
Suppose 4*z + z = 7675. Is z a prime number?
False
Let v(q) = 0 - 4 + 3 - 10*q. Suppose -4*j - 20 = j, 3*c - 5*j - 14 = 0. Is v(c) composite?
False
Let c(n) = 36*n**2 + 18*n + 5. Let x be c(6). Let d = x + -796. Is d prime?
True
Let t = 7 - -6. Let p(n) = -n**2 + 800. Let x be p(0). Suppose x = b + t. Is b prime?
True
Let g be (3 - -2)*16/20. Suppose -h = g*h - 1115. Is h a prime number?
True
Let g(o) = 2*o - 5. Let s = 14 - 11. Let m be g(s). Is 19 - m/(-3)*0 composite?
False
Let i = 638 - 7. Is i composite?
False
Suppose 8814 = 3*t - 3*g, 0 = 4*t + 3*g - 9626 - 2147. Is t composite?
True
Suppose -3*k + 2*d = -2354, -3925 = -7*k + 2*k + 