rime?
True
Let m = -1095 + 17038. Is m composite?
True
Let c(d) = d**3 + 18*d**2 - 21*d - 30. Let h be c(-19). Let m(p) = 549*p - 1. Is m(h) composite?
False
Let i(r) = 2*r**2 - 9*r + 7. Let j be i(6). Suppose y - 5*h + j = -3*y, 2*y + 3*h - 15 = 0. Suppose y = 3*l - 0*l - 285. Is l prime?
False
Suppose -2*a + 1920 = -5498. Is a composite?
False
Let h(z) = 152*z**2 - 10*z + 14. Let d be h(-8). Suppose m + 2477 = d. Suppose -5*p + m = -0*p. Is p prime?
False
Let x be ((-16)/16)/((-1)/10). Let f(g) = -17*g**3 + 2*g**2 + 2*g - 1. Let z be f(2). Is (z/x)/(2/(-4)) a composite number?
True
Let b(d) be the first derivative of 3*d**4/4 - 4*d**3/3 + 3*d**2/2 + 5*d - 13. Let y be 8 - (5 - 2 - -1). Is b(y) a prime number?
False
Let u be (2 - (-10)/(-4))*0. Let s be (-8)/20 + 10088/20. Suppose u = -5*l + 541 + s. Is l a prime number?
False
Let d(i) = -93*i**3 + 2*i**2 - 1. Suppose w + 5*b = 13, -2*b - 1 + 13 = -3*w. Is d(w) composite?
False
Suppose -3*d + 3 = 0, 2*t = 6*t - 2*d - 38. Let h(u) = 3*u**2 + 5*u + 13. Let x(o) = 5*o**2 + 10*o + 26. Let n(z) = 7*h(z) - 4*x(z). Is n(t) prime?
True
Let r(n) = 86*n**2 - 2*n + 19. Is r(8) a prime number?
True
Suppose o = -8 + 3. Let s be (-1)/4 + o/(-20). Suppose -1714 = -5*z + 3*d + 1218, -5*z - d + 2936 = s. Is z prime?
True
Let k(g) = -284*g - 233. Is k(-8) a prime number?
True
Let o be ((-1)/(-3))/((-5)/45). Let a be 0/((-10)/(-2) + o). Suppose -v = -4*q + 34 - 117, 3*v - q - 238 = a. Is v a prime number?
True
Let f(s) = -3658*s + 66. Is f(-4) a composite number?
True
Let t(f) = -9*f + 18. Let z be t(2). Is (-2 + z)*-586*1/4 a prime number?
True
Let j(b) = -4*b**2 + 6*b + 2. Let a be j(5). Let m be ((-18)/4)/(2/(-44)). Let c = a + m. Is c prime?
True
Suppose -2407284 = 8*m - 44*m. Is m prime?
False
Suppose -4*w - 32 = -7*w - 5*r, w = -3*r + 16. Is (1964/(-6))/(w/(-6)) prime?
True
Let s(m) = -m**3 - 5*m**2 - 5*m - 4. Let d be s(-4). Suppose 4*y + 5*f = 3504, 3*y = -d*y + 5*f + 2593. Is y a composite number?
True
Let u(g) be the third derivative of -79*g**4/24 - 5*g**2. Let o = -2 - -1. Is u(o) prime?
True
Let z = -16772 - -29311. Is z composite?
False
Suppose -36 = 10*h - 4*h. Let r(v) = 5*v**2 - 5. Let k(m) = -4*m**2 + m + 6. Let o(w) = -4*k(w) - 3*r(w). Is o(h) composite?
True
Suppose 5*s = 2*s. Suppose 0 = 5*b - 4*r + 92, -3*b - 2*r + 7*r - 63 = s. Let l = 71 - b. Is l prime?
False
Let z(v) = -v**3 - 8*v**2 - 12*v. Let j be z(-6). Suppose j = -4*g + 20, 3*n - 665 = -3*g + 805. Is n prime?
False
Let v = 4 - 4. Suppose 2*d = 2*k + 124, -5*d - 2*k - k + 334 = v. Is d a composite number?
True
Let a = -456 + 1007. Let j = a + 4782. Is j a composite number?
False
Let y be 2 + -3 + 10/2. Suppose y*a - 1022 = -2*m + 284, -2642 = -4*m + 2*a. Is m composite?
False
Suppose -5*d + 56560 = 5*z, -41*z + 38*z = -2*d - 33931. Is z composite?
False
Suppose -3*k = -k - 138. Is ((-200)/60)/((-2)/k) composite?
True
Let j be (3 + 9/(-3))/4. Suppose -f - 2*i = -917, 0 = 3*f + 4*i - j*i - 2741. Is f a composite number?
False
Let w(s) = -s**3 + 10*s**2 - 10*s + 5. Let k be w(9). Let q be (-19132)/(-16) + 3/k. Suppose -950 = -4*y + 2*p, 2*p + 2*p + q = 5*y. Is y a prime number?
False
Suppose c - 2*c - 17 = -5*u, -c - u + 1 = 0. Let p be 6/2 + (-17 - c). Is (4 - (-100)/p)*-33 a composite number?
True
Is -3 + 3916 - 7 - -1 prime?
True
Let i be 88/(-14) - 5/(-70)*4. Let j(b) = 5*b**2 - 12*b + 11. Is j(i) a prime number?
True
Let q(w) = 1 + w + 293*w**2 - 2*w - w + w. Suppose 0 = 3*t, 4*d - 5*t = 3*d + 1. Is q(d) composite?
False
Suppose 33 - 321 = 3*x. Let y = x - -199. Is y a prime number?
True
Suppose 5*f - 5013 = 202. Is f prime?
False
Let j be ((-132)/20 - -4 - 3)*-40. Let n = j - 85. Is n prime?
True
Suppose 0 = 8*b - 3*b - 40. Let o(j) = 2*j**2 + 4*j**3 - 9*j**2 + 5*j**3 + b*j**2. Is o(1) prime?
False
Let u(d) = 11*d**2 + 12*d + 2*d - 18 + 25. Is u(-6) composite?
True
Let c = 24 + -9. Let b(m) = m**2 + 19*m - 23. Is b(c) a prime number?
True
Let y(s) = 2*s**2 - 9*s - 10. Let p(t) = 29*t**3 + t**2 - 1. Let k be p(-1). Let o = k + 24. Is y(o) composite?
True
Let q = 4 + -9. Let i(h) be the third derivative of -25*h**4/12 + h**3/2 - 581*h**2. Is i(q) composite?
True
Suppose -48844 = -b - 5*w, -7*b + 286442 = w - 55432. Is b a composite number?
True
Suppose 5*n = -2*n + 17941. Let l = 142 + n. Is l composite?
True
Suppose 842*m = 840*m + 125798. Is m prime?
False
Let v = 4906 + 1207. Is v composite?
False
Let x = -26 + 22. Let k = 234 + x. Suppose -3*a + 8*a - k = 0. Is a a composite number?
True
Let y(t) = -t**3 - 23*t**2 - 27*t - 7. Let m be y(-22). Let i = m + 546. Is i a prime number?
False
Let d be (1 - 0)/(3/3). Let k = -106 + 103. Is d/k - (-11936)/24 composite?
True
Is (-955)/(((-10 + 4)/(-6))/(-1)) a prime number?
False
Let f(h) = h**2 - 2*h. Let n be f(3). Suppose 0 = -k + n*k - 4*r - 182, -k + 85 = -4*r. Is k prime?
True
Let d(q) = -q**3 + 3*q**2 + 5*q - 2. Let g be d(4). Suppose -1 = -g*b + 5. Is ((-2)/(-6))/(b/441) a prime number?
False
Suppose -50 = -5*a - 5*v, -3*a = -2*v - 9 - 6. Suppose -175 = a*m - 2*m. Let g = 12 - m. Is g a prime number?
True
Is (-44083)/5*-4 + 6/10 a composite number?
False
Let p(r) = -r**2 - r + 1. Let x be p(-3). Let f be (-23)/x + 6/15. Is -78*(-3 + f/2) prime?
False
Let i be (-2580)/(-40)*(-10)/(-3). Let r = 78 + i. Is r composite?
False
Let z be 2/(-5) + 22/5. Suppose 0 = 3*f - 4*i + 20, z = 5*i - 6. Is ((-127)/(-2))/((-2)/f) composite?
False
Let h(d) = -25*d**3 - 11*d**2 - 20*d + 1. Is h(-5) a composite number?
True
Let s = 75071 + -36132. Is s a prime number?
False
Let s(g) be the second derivative of -g**4/12 - g**3/6 + 3*g. Let u be s(-3). Let h(m) = 8*m**2 - 4*m - 5. Is h(u) a composite number?
False
Let h be (-3)/12 - (-42)/(-16)*-2. Suppose -1590 - 875 = -h*y. Is y prime?
False
Let z(j) = 4*j - 4*j - 22 - j + 26. Let o be z(-2). Is (o/4)/(2/4) a prime number?
True
Suppose -5 = 9*s - 10*s. Suppose -s*i = -2*i - 261. Is i prime?
False
Let z(t) be the third derivative of -t**8/20160 - 19*t**7/5040 - 19*t**6/720 + t**5/10 - t**2. Let b(a) be the third derivative of z(a). Is b(-13) prime?
True
Suppose 256 = 6*c - 5*c. Suppose -123 - c = -a. Is a a composite number?
False
Suppose 2*a + 30 = -4*v, 3*v = -2*a + 6*a - 6. Let f(h) = 5*h**2 - 2*h**2 - 8*h + 1 - 6 + h**2. Is f(v) a composite number?
True
Let a be 768*(1 + (-3)/(-1) - 1). Suppose -6266 = -2*m - 3*o - a, -5*o = 20. Is m a prime number?
True
Suppose -88*z + 34*z + 806706 = 0. Is z composite?
False
Let p = -27 - -15. Let i = p + 10. Is i/(-6) - (-1806)/9 composite?
True
Let v be (4/3)/((-4)/630). Let d = 1279 + v. Is d composite?
False
Suppose 2 = 5*m - 23. Let q(j) = 80*j - 11. Is q(m) prime?
True
Let q(f) = 355*f**2 - 34*f - 196. Is q(-5) composite?
False
Suppose -3*i = -3*p + 118011, 3*i = -5*p + 2*i + 196673. Is p a prime number?
False
Suppose -33*c + 2265440 = -c. Is c a prime number?
False
Let w(x) = x - 6. Let q be w(-8). Let a = q - -58. Is (1 - a)*(-20 - -19) composite?
False
Let q(c) = 77*c + 44. Is q(9) composite?
True
Let g = 88 + -39. Let o(y) = 3*y**3 - 5*y**2 + 3*y - 2. Let h be o(1). Is (g - 0)/(h + 2) composite?
True
Suppose -203 = 2*o - 2*b - 1493, -o + 625 = 4*b. Is o composite?
False
Let y = -21 - -17. Let o be ((-4)/6)/(y/90). Suppose m = c + o + 115, m - 139 = -2*c. Is m prime?
False
Suppose 0 = 4*y + 3 - 27. Suppose -y = -3*a + 3. Suppose s - a*s = -466. Is s a prime number?
True
Let w = -89 - -357. Let i(p) = -p. Let b be i(0). Suppose b*f + 272 = 4*f - 3*k, 0 = 4*f - 4*k - w. Is f prime?
True
Let l(w) be the second derivative of w**3/3 - 2*w**2 - 5*w. Let a be l(2). Suppose -h + 0*n + 4*n + 161 = a, h + 2*n - 161 = 0. Is h composite?
True
Suppose -3*a - 5*u + 14251 = 0, 242*a - 9510 = 240*a - u. Is a prime?
False
Suppose 2*l + g = -g + 27338, 0 = -4*l - 3*g + 54676. Is l a prime number?
True
Let p(x) = -x**2 + 12*x + 4. Let h be p(12). Suppose h*v = v - 153. Is 6/v + 18965/85 a prime number?
True
Let m = 9018 + 34405. Is m a prime number?
False
Suppose -16*k + 11*k + 50885 = 0. Is k a prime number?
True
Let y = -12059 - -42082. Is y composite?
True
Let v be 6/14 + 300/35. Let s(m) = 5 + 120*m**2 + 7*m - v*m - m. Is s(2) a prime number?
True
Suppose 0 = -4*x - 0*p + p + 7, -3*p + 7 = 2*x. Suppose -6 = x*t 