 w = 11002 - r. Is w composite?
False
Let k = 1751 - 834. Suppose -9*o + k = -2*o. Is o composite?
False
Let f(a) = -57*a + 5. Let u(g) = 1936*g - 173. Let p(x) = -5807*x + 520. Let i(d) = 2*p(d) + 7*u(d). Let v(h) = 171*f(h) + 5*i(h). Is v(-1) a prime number?
False
Let o = -914 - -1591. Is o a prime number?
True
Let o be ((-905)/(-10))/((1/(-44))/(-1)). Suppose 5*b = 1723 + o. Is b a composite number?
True
Let o(u) = 673*u**2 + 37*u + 9. Is o(10) a prime number?
True
Suppose 4*n + 3*p = -28, -6*p + p - 36 = 4*n. Is -835*(n - (3 + -6)) composite?
True
Let d(g) = g**2 - 23*g - 19. Let r be d(24). Suppose 57005 = 18*n - r*n. Is n a composite number?
True
Let c = 5483 + -2580. Is c a composite number?
False
Suppose -10*q + 3*q + 35 = 0. Suppose r - 578 = -5*i, q*r + 2*i - 2121 - 654 = 0. Is r composite?
True
Let f = 567 - 912. Let n = f + 677. Suppose 4*a - 8*a = -n. Is a composite?
False
Suppose 5*b = -0*b + 10, 34 = 3*w + 2*b. Suppose w*x + 9 = 13*x. Suppose x*p - 69 - 24 = 0. Is p composite?
False
Let s(g) = -19*g - 55. Let y be s(-10). Let v = y + -96. Is v a prime number?
False
Let n(y) = -y**3 + 9 - y**2 - 8*y - 7*y**2 - 4. Let f be 3 - 2 - (1 - -8). Is n(f) a composite number?
True
Let i(f) be the second derivative of -8*f**3/3 + f**2 + 2*f. Let q be i(2). Is 3 + (0 - q) - 2 a composite number?
False
Let r = -9 - -9. Suppose 2*a - 5*y = -19, -5*a + 4*y - 5 = -r. Suppose 2*d = -c + d + 833, a*c - 5*d - 2483 = 0. Is c prime?
False
Let d(w) = -4*w**3 + 7*w**2 - 4*w - 9. Let u(h) = 7*h**3 - 13*h**2 + 9*h + 18. Let n(m) = -5*d(m) - 3*u(m). Is n(-8) a prime number?
False
Suppose 3*y - 5*j - 20 = -j, -y = j - 2. Suppose y*z + 2*d + 3988 = 0, 0*z = -5*z - 2*d - 4984. Is (6/18)/((-2)/z) a prime number?
False
Suppose 72118 + 9329 = 17*h. Is h composite?
True
Let z(f) = -91*f + 1889. Is z(0) a composite number?
False
Let v(c) = -c**2 - 4*c + 4. Let h be v(-4). Suppose 5*r = 3*o - 1025, -4*o + h*r + 1352 = r. Suppose 2*m - 139 = o. Is m a prime number?
False
Let k = 13 + -10. Suppose 5*a - 3*d = -d + 37, 0 = 5*a + k*d - 32. Suppose -4*m + a*m = 438. Is m a composite number?
True
Is 110 - 112 - (1 + -61862) a prime number?
False
Let s(n) = 2*n**2 + 22*n + 9. Is s(-31) a prime number?
True
Let k = 3332 + -1735. Is k a prime number?
True
Let z(p) = p**2 - 16*p + 18. Let a be z(15). Suppose 314 = q + a. Is q a prime number?
True
Is ((-75)/(-2))/((-7)/(-1974)) + 2 prime?
False
Let h = 3806 + -2115. Is h prime?
False
Suppose 30707 = 8*g - 31293. Suppose -j + 5*d = -g, j + 2*d = 3*d + 7746. Is j prime?
False
Let d = -166 - -546. Let w = -3 + 234. Let b = d - w. Is b a composite number?
False
Let u = 1315 + -761. Is u a prime number?
False
Let j(l) = 3*l + 5. Let d be j(-4). Let w = 13 - d. Suppose -5*y = -w, -3*y = -3*k + 5*k - 136. Is k prime?
False
Let o(t) be the first derivative of 1/4*t**4 + 119*t - 1/2*t**2 + 1/3*t**3 - 5. Is o(0) a prime number?
False
Suppose 0 = -z + 2*n - 2 - 8, 5*n + 5 = -5*z. Is z/(-6)*1233/2 a composite number?
True
Suppose 0*i - 3*i = 483. Let g = -652 + 288. Let o = i - g. Is o prime?
False
Suppose 5*s - 4*s = 153. Suppose -115 = -4*b + s. Suppose 3*l - 538 = -b. Is l prime?
True
Suppose -4*y + 5334 = -2*y. Suppose -3*p = -6*p + y. Is p a composite number?
True
Suppose -5*y + 19782 = 3*h, -41*y + 2*h = -45*y + 15826. Is y a prime number?
False
Let z be (70 + (1 - 5))*(-1)/(-3). Suppose -18*k = -z*k + 7292. Is k a composite number?
False
Let i = 14 + -7. Let m(o) = 10*o**3 - 2*o**2 - 8*o - 9. Let v be m(i). Suppose 3*t + 5*f = 1634 + v, 4*t - 2*f - 6552 = 0. Is t a composite number?
False
Is (-240)/((-2)/1) - (-15)/5 prime?
False
Suppose -3*i = -4*i + 94. Let z = 2673 - i. Is z a composite number?
False
Let c = -57 + 89. Suppose c = 6*q + 2. Suppose q*r + 1283 = 3888. Is r a composite number?
False
Suppose 5*k = -2*d + 115, k + k + 4*d = 46. Let u be (k + -1)/((-2)/9). Let i = u - -230. Is i composite?
False
Let p = 1220 + -1733. Let i = p - -730. Is i a prime number?
False
Let b = -16 + 24. Let a be 12/b*8/3. Suppose -8*h = -4*h - 2*v - 350, a*v + 442 = 5*h. Is h prime?
False
Suppose -4*g = -2*g - 230. Let h(i) = -i**2 - 6*i + 10. Let n be h(6). Let d = g - n. Is d a composite number?
True
Let p = 1770 - 578. Suppose 1783 = -3*j + 2*f, 3*j - 2*f = j - p. Let i = -388 - j. Is i a prime number?
False
Let w(s) = -s**2 - 13*s. Let k be w(-11). Suppose -20*p = -k*p + 638. Is p a prime number?
False
Suppose 2*j - 3*l = j - 8, j - 5*l + 14 = 0. Suppose 7 = 4*a - j. Suppose 5*f = a*v + 2901, -3*f - 98 + 1845 = 2*v. Is f composite?
True
Suppose 22067 = 5*c - 2*o + 3852, 0 = 4*c - 4*o - 14584. Is c composite?
True
Suppose 1088 + 260 = 4*m. Is m a prime number?
True
Suppose 2399 = 2*i - 5*n, 6*i + 2364 = 8*i + 2*n. Is i composite?
False
Let s = 20 + -6. Let k = s - -5. Is k a prime number?
True
Suppose 36*t - 71183 = 29*t. Is t a composite number?
False
Let f(z) be the first derivative of 7*z**5/6 - z**4/12 - z**3/6 + 3*z**2/2 - 5. Let u(c) be the second derivative of f(c). Is u(3) a prime number?
False
Suppose 126640 = 266*g - 250*g. Is g a prime number?
False
Suppose -35*o + 40*o = 25. Suppose 0 = o*c + 2*v - 13795, -v - 5036 = -5*c + 8774. Is c prime?
False
Suppose 6*s = 2*s - 3*z - 12, -38 = 5*s - 2*z. Let h be -5*-6*s/20. Is ((-57)/h - 4)*21 a prime number?
False
Suppose -5*r - 308 + 8 = 0. Let v = 92 - r. Suppose -2*z + g - 301 = -4*z, g = -z + v. Is z composite?
False
Let k(i) = -i. Let c = -7 + 9. Let t be k(c). Let u(d) = -33*d - 1. Is u(t) a composite number?
True
Let a = -2721 + 5011. Let i = a + -345. Is i composite?
True
Suppose -b - 184 = 3*p - 7*p, -2*b = 2*p + 388. Let r = 571 - b. Is r composite?
True
Let g(u) be the second derivative of -71*u**6/360 + u**5/40 + 5*u**4/12 - 7*u. Let p(j) be the third derivative of g(j). Is p(-5) a prime number?
False
Let g(p) = 725*p - 101. Is g(6) prime?
False
Let j(c) = 85*c**2 - 6*c - 70. Is j(15) a prime number?
False
Let y(b) = 955*b**2 + 8*b + 9. Let h(z) = -1909*z**2 - 15*z - 17. Let c(o) = -3*h(o) - 5*y(o). Is c(-1) composite?
False
Let f = -31307 + 47488. Is f a prime number?
False
Let h(c) = 51*c**2 + 9*c + 13. Is h(-3) a prime number?
False
Suppose 2*u = 7*u + 5*j - 22415, 3*j = 5*u - 22399. Is u prime?
True
Let k be 26/8 + 21/28. Suppose 3*q - 1783 = 2*t, -2*t = -k*q + 1219 + 565. Is (-2)/(1/t*4) prime?
False
Let w = 267 + 2726. Is w prime?
False
Let t(a) = 2*a**3 - 2*a**2 - 12*a - 3. Suppose h + 15 = 23. Is t(h) a composite number?
False
Suppose 19*o - 1019525 = -6*o. Is o a composite number?
True
Let j = 5805 + 60882. Is j composite?
True
Suppose -5*k = -4*r - 3*k + 9788, 0 = -4*k + 16. Is r prime?
False
Let y(x) be the first derivative of x**3/3 + x**2/2 + 5*x + 6. Let w be y(-7). Let k = 106 - w. Is k composite?
False
Let d = -13 - -22. Suppose 3*q + 39 - d = 0. Is (q - -13) + 217 + 1 a composite number?
True
Let l(j) = 9*j**3 + j**2 - j - 31. Is l(6) a prime number?
False
Suppose 2*t + 50 - 46 = 0. Is (230/(-20))/(t/116) a composite number?
True
Let m(a) = -112*a**3 - 12*a**2 - 19*a - 10. Is m(-3) prime?
True
Suppose 4*w + m = 4, -4*w + 3*m - 2 = 10. Suppose f + 3*f - 1436 = w. Is f a composite number?
False
Let p(u) = 4941*u**3 + 3*u**2 - 9*u + 9. Is p(2) a composite number?
True
Let y(u) = u**3 + 4*u**2 + 1. Let a be y(-2). Let d(b) = -7*b - 3. Let o(q) = -6*q - 4. Let g(l) = -3*d(l) + 2*o(l). Is g(a) prime?
False
Let u(o) = 4*o - 103. Let y be u(24). Let w(i) be the second derivative of -3*i**3/2 - i**2/2 - i. Is w(y) composite?
True
Is (-20)/(-270) - -158*(-19334)/(-108) prime?
False
Suppose -4 = -0*n + 4*n. Let r(a) = -644*a - 3. Is r(n) composite?
False
Suppose 2*i = 5*i - 2*r - 12383, 3*i + 4*r = 12377. Is i a prime number?
True
Is (3 + 1)*(-6)/12 + 9031 prime?
True
Suppose 1136234 = -503*r + 525*r. Is r prime?
True
Let m(b) = 42*b - 103. Is m(20) a prime number?
False
Let w(g) = g**3 - 29*g**2 - 33*g + 47. Is w(33) prime?
False
Let p = 75 + -48. Let a = 43 - p. Suppose 5*j - 4*g = 1071, -2*g - a = 2*g. Is j composite?
False
Let u(r) = -r**2 - 12*r + 7. Let c be u(-10). Let i be 20/(-6)*c/(-15). Is i/9*(-4221)/(-6) prime?
False
Suppose -49 + 3237 = 4*g. Is g composite?
False
Let o(k) be the second derivative of -2/3*k**3 - 7/2*k**2 + 3/4*k**4 + 0 + 2*k - 1/20*