 c = j - -20. Is 26 a factor of c?
True
Let m(s) = -6*s + 2. Let w be m(2). Let j = 12 + w. Suppose -j*o - 1 = -23. Does 5 divide o?
False
Let f be 0/(-2 + 2/(-2)). Let m = f + -23. Let i = m + 53. Does 22 divide i?
False
Let r(h) be the first derivative of h**2/2 + 5*h - 7. Let l be r(-5). Suppose 0 = 2*o - 3*w - 109, -w + 67 = o - l*w. Is o a multiple of 18?
False
Let x be -1 + 5*8/20. Let c = 5 - x. Suppose -c*n + 3*a = -37, -4*n - a + 0*a + 57 = 0. Is 11 a factor of n?
False
Suppose -g - 3 = f, 0 = g - 6*g + 5*f - 15. Is g - 14/(-2) - -102 a multiple of 16?
False
Suppose 12*x - 2057 + 365 = 0. Does 49 divide x?
False
Let i = 22 - 5. Let m = i + 9. Is 8 a factor of m?
False
Let x(a) = 9*a**2 + 13*a + 116. Is x(-8) a multiple of 21?
True
Let u = 70 + -2. Is u a multiple of 31?
False
Let y be 16 - -1*4/(-1). Let f = 15 - y. Suppose -r = r + f*b - 50, -4*b = 0. Does 5 divide r?
True
Let q(b) = -9*b**3 - b**2 - b + 1. Let n be q(2). Let l = -35 - n. Is l a multiple of 7?
True
Let b(s) = -s**3 + 3*s**2 + 8*s - 2. Let d be b(6). Let a = -44 - d. Does 6 divide a?
True
Let j = 59 - 59. Suppose 2*h - 46 - 46 = j. Is h a multiple of 6?
False
Let j(y) = -y**3 + 15*y**2 - 11*y - 16. Let a = 15 + -5. Let k = a + 4. Is 13 a factor of j(k)?
True
Let s be (27/(-12))/(6/(-16)). Let k be s/2 - 0/6. Suppose k*a - 216 = -a. Is 27 a factor of a?
True
Let v be (6/(-4))/((-9)/468). Suppose 4*b - 21 = 2*u + 77, -3*b - 3*u = -v. Is 5 a factor of b?
True
Let n(h) be the third derivative of h**4/24 + h**3/2 - 2*h**2. Let t be n(3). Suppose -v - 5*g = -t*v + 15, -5 = -2*v + 3*g. Is 3 a factor of v?
False
Let z be (-783)/(((-63)/24)/7). Is 29 a factor of z/16 - (-2)/4?
False
Let f(t) = 58*t**2 - 8*t - 2. Let l be f(-2). Suppose 18*n = 24*n - l. Is 8 a factor of n?
False
Suppose -3*t = 0, 0*t = -3*j - 4*t - 96. Let o = j - -56. Is o a multiple of 13?
False
Suppose -5*i = -5, -3*m + 7799 = -2*i + 4*i. Is m a multiple of 113?
True
Let j(a) = -a**3 + 13*a**2 + 19*a - 10. Is 12 a factor of j(14)?
True
Let b(q) = -7*q + 65. Is b(-17) a multiple of 4?
True
Let q be (6/7)/((-6)/(-42)). Suppose 6*o = q + 204. Does 5 divide o?
True
Let t(a) be the second derivative of 0 - 9/2*a**2 - 1/6*a**4 - 7/6*a**3 - 1/20*a**5 + 5*a. Is 17 a factor of t(-4)?
True
Suppose 5*j = 2*q + 6*j - 3, -3*q + 6 = j. Suppose -5*c = -q*m - 300, 7*c = 3*c - 3*m + 213. Is c a multiple of 6?
False
Is 41 a factor of (-49120)/60*3/(-4)?
False
Suppose -3*r + 12 = -2*g, 4*g - 4*r = -g - 16. Does 6 divide 51 - (g - 4 - 0)?
False
Let b be (108/297)/(2/11). Suppose -b*w - 2*w = -i - 108, 5*w = 2*i + 132. Is 4 a factor of w?
True
Let j be 10/(-2) - (1 - 2). Let w(g) be the second derivative of -g**3/6 + 5*g**2/2 + 43*g. Does 2 divide w(j)?
False
Let z(a) = -a**3 - 17*a**2 - a - 11. Let t be z(-17). Let i(w) = 2 + 10*w + 4 + 0. Does 11 divide i(t)?
True
Let r = -4 + 6. Let u be -6 - -3 - (0 - 0). Is 11 a factor of (u/(-6))/(r/44)?
True
Let t(r) = r**2 + 17*r + 7. Let f(l) = l**2 + l - 1. Let w(m) = -2*f(m) + t(m). Does 2 divide w(15)?
False
Suppose 0 = 5*m - 0*m - 5, 0 = -y - 3*m + 163. Suppose -4*h = -8 - y. Is h a multiple of 9?
False
Let h(x) = x**2 - 4*x. Let v be h(9). Suppose j = -3*i + i + 22, 3*j - i = v. Suppose -4*b - j = -68. Is 4 a factor of b?
False
Let j(m) = -m - 2. Let d be j(-1). Let t(q) = q**2 - 9*q + 9. Let v be t(8). Does 18 divide v + 62/(-2)*d?
False
Suppose -8*v + 30 = -2*v. Suppose v*t - 120 = 135. Is 17 a factor of t?
True
Let v be (10 - -6) + -3 + 2. Is (v/(225/84))/((-4)/(-30)) a multiple of 5?
False
Let c be (1 + -1)/(-66 - -68). Let a(o) = o**2 + o - 3. Let b be a(-3). Suppose b*y - 4*y + 129 = c. Is y a multiple of 22?
False
Suppose 18*k = -14*k + 32256. Does 36 divide k?
True
Let x(c) = -11*c + 27. Let z(h) = 5*h - 13. Let y(v) = -4*x(v) - 9*z(v). Let u be y(5). Is 15 a factor of u/(-3)*33/(-2)?
False
Let d(b) = -522*b**2 + 4*b + 2. Let y be d(-1). Does 16 divide (-5)/(20/y) + -3?
True
Let u(r) = -r**2 - 6*r + 5. Let o be u(-7). Let n(b) = -10*b**2 - b - 2. Let k be n(o). Let m = 138 + k. Is 31 a factor of m?
False
Let o(j) = j - 2. Let g be o(2). Suppose -f + 0 + 40 = g. Does 3 divide f?
False
Let q(c) = 8 - c + c**3 + 4*c - 10*c**2 + 0*c**2 - 2*c. Is q(10) a multiple of 6?
True
Is 44 a factor of 14/(-10) + 1 - 20232/(-30)?
False
Let c(s) = 8*s - 8. Let a(z) = -z + 1. Let x(t) = 21*a(t) + 3*c(t). Suppose 8*w - 60 = 3*w. Is 13 a factor of x(w)?
False
Let l(p) = -p**2 + 9*p - 4. Suppose -2*d = 26 + 4. Let a = d + 21. Is 7 a factor of l(a)?
True
Let c(m) = m**3 - m. Let v be c(2). Let f be 3*(-6)/(-27)*v. Suppose -5*a - 7*t = -2*t - 35, 2*a - f*t - 20 = 0. Is 3 a factor of a?
False
Suppose 0 = -4*n - 12, 2735 = -4*s + 9*s - 5*n. Does 68 divide s?
True
Let n(u) = 30*u**2 - 18*u + 144. Does 78 divide n(14)?
True
Let i(b) = 55*b**3 - 9*b**2 - 2*b + 27. Is 57 a factor of i(3)?
True
Suppose 2*t = -0*t + 8. Suppose -16 = -3*w - 4*c, -t*w + 8*w - 2*c - 14 = 0. Suppose -25 = 5*s, w*s - 229 = -5*m + 36. Is m a multiple of 14?
False
Let o(g) = g**3 + 28*g**2 + 35*g - 24. Let f be o(-25). Let u = f + -696. Is u a multiple of 14?
True
Suppose 7*r = 4*r - 3*d + 21, 25 = 3*r + 4*d. Suppose 2*f - 248 = 3*n, -484 = -9*f + 5*f + r*n. Is f a multiple of 59?
True
Let p(t) = -59*t. Suppose 3*d - 5 = 2*q, d - 2*q - 2 = 1. Let c be p(d). Let y = c + 93. Does 16 divide y?
False
Suppose -4*o = -4*q - 2*o + 262, -q + 3*o + 58 = 0. Is 13 a factor of q?
False
Let l = 23 + -19. Suppose -l*q = -q. Suppose q = -3*m + m + 8. Does 3 divide m?
False
Let m = 82 - 76. Let z(s) = 34*s + 14. Is 26 a factor of z(m)?
False
Let d(t) = t**3 - 9*t**2 - 1. Suppose -51 = -5*z - 2*i, -3*i = 5*z - 44 - 10. Let h be d(z). Let y(c) = -5*c**3 - c**2 - 2*c - 1. Does 5 divide y(h)?
True
Let u(f) = f**2 + 17*f + 27. Is u(18) a multiple of 9?
True
Suppose 5*h - 29*i + 25*i - 17278 = 0, 3*i + 3449 = h. Is h a multiple of 14?
True
Let a = 5 - 3. Let j(g) = -g + 2. Let p be j(a). Is 9 a factor of (7 + -27)*(p - 1)?
False
Suppose -2*k + 2*g + 10 = 6*g, 0 = -2*k - g + 25. Let m be (-1)/(-3) - (-1705)/k. Let c = -64 + m. Is c a multiple of 9?
False
Suppose -4*l + 5045 = 5*u, 0*u - u = 4*l - 1009. Is 7 a factor of u?
False
Suppose 9*l + 40 = l. Let v = l + 49. Is v a multiple of 15?
False
Suppose -4*b + 4077 = 4*k - 5*b, -4*b = 4*k - 4092. Is 10 a factor of k?
True
Let l be 730 + (-4)/4*3. Suppose 0 = 4*p + 151 - l. Suppose -3*k + p = k. Is 6 a factor of k?
True
Let f(j) = 5*j + j + 3*j + 7*j**2 - 5 - 8*j**2. Suppose 0 = 5*y - 7 - 28. Does 4 divide f(y)?
False
Suppose 3*u + 6 = 0, 5*t - 16 = u - 3*u. Let j(w) = 17*w + 3. Let g be j(t). Suppose -3*q = 3*i - 51, -5*i + q + g = -q. Is 11 a factor of i?
False
Let q(j) = -115*j**2 - 8*j + 5. Let k be q(6). Let r = 6039 + k. Is (-3)/(-15) + r/20 a multiple of 34?
False
Let v = -584 - -1060. Is v a multiple of 33?
False
Suppose 1 + 1 = f. Is 48 a factor of f/(-8) - (-3844)/16?
True
Suppose -2*s = 3*h - 113, -2*h + 0*s + 76 = s. Suppose -h - 93 = -4*v - 3*j, -3*v = -3*j - 78. Is 4 a factor of v?
False
Let o be (2/(-3))/((-4)/648). Let d be ((-5)/10)/((-2)/o). Suppose 2*p = 5*p - d. Is p even?
False
Let v(c) = -1. Let w(r) = -r**3 + 10*r**2 - 11*r + 14. Let k(l) = -v(l) - w(l). Let q be k(9). Suppose -18 - 36 = -q*p - 3*u, 0 = 2*u - 6. Is p a multiple of 3?
True
Let r(a) = -a**3 - 23*a**2 + 22*a - 41. Let g be r(-24). Let q(d) be the first derivative of d**4/4 - 7*d**3/3 + 3*d**2/2 - 9*d - 2. Is q(g) a multiple of 4?
True
Suppose -5*i + 1681 = -1124. Does 33 divide i?
True
Suppose -6*v = -3470 + 1340. Is 5 a factor of v?
True
Let n(j) = 32*j**3 - 10*j + 1 - 5*j**2 - 5 - 34*j**3 + 0*j**2. Does 14 divide n(-4)?
True
Suppose -5*k = 2*i - 10, -k - 3 - 3 = 2*i. Let q be (-790)/110 - k/(-22). Let l = q - -16. Does 7 divide l?
False
Is (0 - 2 - -46)*35/20 a multiple of 7?
True
Let b(d) = d - 7. Let r be b(5). Let i = 2 - r. Suppose 0 = -2*h + x + 123, -2*h - 2*h + i*x = -256. Is 15 a factor of h?
False
Let y(n) = n**2 + 21*n + 60. Is y(-20) a multiple of 40?
True
Let x(y) = -123 - 8*y**2 + 21*y**2 + 137 - 14*y - y**3. Let o be x(12). Does 10 divide (-14)/35 - 144/o?
False
Is 12 a factor of 69 + (-1 - -8) + -4?
True
Let s(w) be the first derivative of -w**2/2 - w - 5. Let b be s(-5). Suppose 4*t + 8*y - 3*y