Let r = -74 - -128. Is 25 a factor of r?
False
Is 15 a factor of -9*(-2 + (-11 - 2))?
True
Let o(m) = -m + 10*m + 2*m - m**2 - 12. Is 6 a factor of o(9)?
True
Let a = 5 + 6. Does 11 divide a?
True
Let c be 0 - (-8 + -1)*-2. Let h = 42 + c. Is h a multiple of 11?
False
Suppose 4*i = 4*t - 0*i - 60, -4*i = -5*t + 75. Does 15 divide t?
True
Let k(h) be the second derivative of h**7/1260 - h**6/720 - h**5/30 - h**4/6 + h. Let t(p) be the third derivative of k(p). Is t(3) a multiple of 10?
False
Suppose 135 = p - 6*p. Let s = 40 + p. Is s a multiple of 3?
False
Suppose -o = -40 + 35. Does 3 divide o?
False
Let y be (-1 + -3)/(2 - 3). Suppose -5*a + 48 = -v + y*v, 16 = v + 3*a. Is 16 a factor of v?
True
Let p(x) = -x + 29. Does 15 divide p(14)?
True
Suppose -5 = 2*h + 5. Let f(o) = 2*o**2 + 5*o + 2. Let t be f(h). Let i = -18 + t. Is i a multiple of 5?
False
Is 7 a factor of (-6 - 1)/((-6)/24)?
True
Suppose 3*v - 8*v + 15 = 0. Suppose v*f - 2*f = 2. Is ((-5)/2)/(f/(-20)) a multiple of 14?
False
Let d(a) = 2*a - a + 13*a**2 - 1 - 4*a. Let s be d(-3). Suppose 3*k - 115 = 5*i, 5*k - k - i = s. Is 17 a factor of k?
False
Let s(a) = a + 12. Let j = 1 + -1. Is s(j) a multiple of 11?
False
Is 3 a factor of (4/(-2))/((-16)/64)?
False
Let p be (-2)/(-2)*(-6 - -4). Let z = p + 4. Suppose -o + h = -z*h - 55, -4*o - 3*h + 145 = 0. Is 21 a factor of o?
False
Let k = -9 + 9. Suppose k = -8*z + 3*z + 115. Is z a multiple of 18?
False
Let n = 8 + -5. Suppose 4*o - n*s - 287 = 0, 5*o - 4*s - 360 = s. Suppose o = 3*a - 19. Is 22 a factor of a?
False
Let c(o) = -o**3 + 10*o**2 + 12*o - 11. Let g be c(11). Suppose m - 1 = g, m - 1 = -3*s + 9. Is s a multiple of 3?
True
Let i(y) = y**3 + 6*y**2 - 6*y - 9. Does 14 divide i(-4)?
False
Let v(b) = 7*b**2 + 3*b + 8. Let k be v(4). Suppose -2*f - 2*l = f - 132, 0 = -3*f - 3*l + k. Does 22 divide f?
True
Suppose 0 = 2*n - 5*z - 13, -n - 3*z + 0*z = -1. Does 3 divide (n - -1)/(2 + -1)?
False
Let s = -2 - -6. Suppose i + 6 = s*i. Let p = i - -1. Does 2 divide p?
False
Let v = -52 - -31. Let u(m) = 42*m**2 + 2*m - 1. Let j be u(1). Let w = v + j. Does 13 divide w?
False
Suppose -30 = 2*r - 40. Is r even?
False
Let b be (-4)/14 + (-148)/(-28). Let z(v) = -v + 9. Let g be z(b). Suppose -24 = -u - 4*l, -2*l = -g - 0. Is 6 a factor of u?
False
Suppose -11*g + 27*g - 720 = 0. Does 9 divide g?
True
Let x(f) be the third derivative of f**4/24 + 8*f**3/3 + 2*f**2. Does 3 divide x(-11)?
False
Let q = 39 - 14. Suppose -5*v + w + q + 34 = 0, 0 = -4*v + 5*w + 64. Is 8 a factor of v?
False
Suppose -2*u + 3*u = -2. Suppose -5*l + 63 = -2*l - t, 5*l = t + 107. Let k = l - u. Is k a multiple of 12?
True
Suppose -2*n - 4*d + 32 = 0, 5*n - 40 - 52 = -4*d. Is 6 a factor of n?
False
Let m(y) = 3*y**2 + 3*y + 15. Does 14 divide m(7)?
False
Let l(a) = 10*a + 5. Does 21 divide l(4)?
False
Let c be (-2)/4*(2 - 0). Is 9 a factor of 1 - c - (-24 - 1)?
True
Let b(t) = -9*t + 2. Is 20 a factor of b(-2)?
True
Let o(c) = -2*c. Let j be o(-1). Suppose 1 + 12 = 2*u - i, 0 = j*u - 4*i - 28. Is u a multiple of 4?
True
Suppose -5*g + 44 - 9 = 0. Let t = g + 1. Is 4 a factor of t?
True
Let g = -7 + 14. Let c = g - 5. Suppose 5*m + c*f - 79 = 60, 4*m = 5*f + 131. Does 11 divide m?
False
Let h(m) = -m. Let s(b) = b**2 + 3*b + 2. Let u(l) = -4*h(l) + s(l). Does 7 divide u(-9)?
False
Suppose -3*k = -3*v - 0*v - 162, v = 2*k - 111. Is 0 - (k/(-3) - 2) a multiple of 21?
True
Suppose 0 = 2*k + v - 17, -2*v = -3*k + 2*v + 20. Suppose 0 = -i + k + 20. Suppose 2*s + i = 4*s. Is s a multiple of 7?
True
Suppose 3*p - 157 = q + 502, 0 = -3*q - 15. Suppose -2*r - 146 = -2*w, -5*r + p + 177 = 5*w. Suppose h - w = -h. Is 19 a factor of h?
True
Suppose 3*f = 7 + 2. Let d = 32 + -26. Suppose -g + f = -d. Is g a multiple of 4?
False
Let l = 190 - 53. Is l a multiple of 42?
False
Suppose -3 = y - 8. Suppose 2*r + 0*r = 142. Suppose 194 = y*c - r. Does 23 divide c?
False
Let a(h) = 15*h - 9. Let b(k) = -3*k + 2. Let g(n) = -2*a(n) - 11*b(n). Let x be g(6). Let d = x + 4. Does 9 divide d?
True
Let w be (-2 - 0) + (4 - 0). Suppose -3*s = -w*s - 4. Does 3 divide s?
False
Let q(u) = 11*u**2 + 4*u + 3. Let x be q(-2). Suppose 5*i + 6 = -3*c, 12 - 2 = -3*i - 5*c. Is x/3 - (i - -1) a multiple of 5?
False
Let b(g) = g**2 + 7*g + 6. Let l be b(-6). Let i = -103 + -3. Is i/4*(l - 2) a multiple of 21?
False
Let q = 9 + -9. Does 21 divide (0 - q) + 975/13?
False
Let g be (2/6)/(5/15). Let h be g/(-3) + (-21)/(-9). Suppose 4*l = -3*p + 84, h*l - 5*p + 3 = 19. Does 9 divide l?
True
Let f be (-26)/(-6) - 2/(-3). Let d(o) = 2*o**2 - 1 - 3*o**2 + 11*o - f. Is 11 a factor of d(7)?
True
Let g = 65 - 45. Let u be (-8)/g + 22/5. Suppose 52 = u*v - 92. Is v a multiple of 12?
True
Suppose b + 13 = 5*r, -2*r - b = -6*b - 19. Suppose 4*k + r*m - 102 = 0, 4*k + 4*m + m - 105 = 0. Let i = 42 - k. Does 8 divide i?
False
Let r be (16/10)/(5/300). Let i = 9 + -5. Suppose 2*x = -5*b + r, -i*x + 2*x + 5*b = -76. Does 16 divide x?
False
Let u be 1 - 2*(-3 + 1). Suppose f - 40 = -3*d + 5*d, 0 = u*f - 3*d - 179. Let b = f + 2. Is 18 a factor of b?
True
Let u(a) = 7*a + 61. Is 8 a factor of u(0)?
False
Suppose z + 3 = -3*g, -g = z + z - 19. Is 6 a factor of z?
True
Let f(b) = 2*b**2 + 4*b + 2. Let l be f(-2). Suppose 0 = -0*v - v, -2*v - 4 = -2*m. Is -6*(m + (-9)/l) a multiple of 15?
True
Let q(a) = -2*a + 3. Let c be q(0). Let k = c + 8. Is k a multiple of 7?
False
Let x(c) = -4 + c - 14 + c. Is 6 a factor of x(12)?
True
Suppose 3*u - 5*m + 8 = 0, u - 3*u - 4*m + 2 = 0. Let f = u + 34. Is 13 a factor of f?
False
Suppose -3*r - 4 = -3*i - 22, -3 = 2*r + 3*i. Suppose -3*a + r*q - 14 = -83, 3*a = -2*q + 74. Is a a multiple of 8?
True
Let g(o) = 3 + 17*o - 4 - o**3 + 13*o**2 - 1. Is g(14) a multiple of 20?
True
Suppose x + 0 = 1. Suppose -3*u = -7*u + 20, -2*u = 3*d - 22. Does 18 divide -1*x*-9*d?
True
Let l(c) = c**2 - 6*c - 2. Let o be l(7). Does 11 divide ((-68)/(-20) - -1)*o?
True
Let d = 193 - 28. Does 18 divide d?
False
Suppose -6*r + 8*r - 18 = 0. Is r a multiple of 3?
True
Let c(f) = f + 4. Let z be c(-2). Suppose 0 = -2*y - 8*g + 3*g + 65, 0 = -5*y - 4*g + 154. Is z/3*3 + y a multiple of 16?
True
Let i(f) = 2*f - 5. Let w be i(-6). Let k = 25 + w. Does 5 divide k?
False
Let a(w) = -w**3 + 3*w**2 - 1. Let u be a(3). Let p be (u + 4)/(-6)*-10. Suppose 59 + 1 = p*o. Does 12 divide o?
True
Let z(y) = 3*y**2 + 4*y + 7. Let l be z(5). Let x = l + -70. Is x a multiple of 13?
False
Suppose 0 = 2*v - 53 - 115. Does 21 divide v?
True
Let x = 2 - -6. Is 8 a factor of x?
True
Suppose 3*z - 41 = -j, j + 17 = z + 3*j. Is 3 a factor of z?
False
Let m = -20 + 20. Suppose -5*l + 10*l + 4*q - 171 = 0, l + 3*q - 32 = m. Is l a multiple of 10?
False
Let d(y) = -3 - 7*y + 3*y + 8*y. Is 2 a factor of d(2)?
False
Let c = -140 - 125. Does 16 divide (-2)/(-4) - c/10?
False
Let a = 37 + -22. Let p be (-3)/((a/2)/(-5)). Is 14 a factor of (13/p - 1)*4?
False
Suppose 0 = 2*n - 35 - 99. Is n a multiple of 16?
False
Suppose -70 = -k - 7. Is 15 a factor of 3006/k + (-2)/(-7)?
False
Suppose 5*k = -9 + 59. Suppose -k = -2*x + 30. Does 10 divide x?
True
Suppose 12 = -p + 5*p. Let x(l) = 14*l - 1. Is x(p) a multiple of 14?
False
Suppose -2*k = 2*q - 48, 4*q + 23 = -2*k + 119. Is 23 a factor of q?
False
Suppose 0 = -3*o + 14 - 2. Suppose -o*c - 73 = -289. Is 18 a factor of c?
True
Let m = 29 - 17. Suppose -p - 2*p = -m. Suppose -29 = -2*b + h, -2 = -2*h + p*h. Is b a multiple of 14?
True
Let k(v) = -45*v - 6. Let a be k(-5). Does 13 divide (-3)/(-15) + a/5?
False
Suppose -4*l + 70 + 274 = 0. Is 23 a factor of l?
False
Let v = -2 + -1. Let l be (2 - (-3)/v) + -1. Does 12 divide l + 2 - 2 - -12?
True
Let u(w) = 2*w**2 - 1. Let b be u(1). Is (4 - 4) + 10*b a multiple of 5?
True
Does 11 divide (-2)/10 - (-98)/(-35) - -190?
True
Let b = 1 + 1. Is 6*b*15/6 a multiple of 10?
True
Let w = 56 - 39. Is w a multiple of 17?
True
Let s(p) = -p**2 + 11*p - 7. Let c be ((-18 - 3)/3)/(-1). Let u be s(c). Suppose -f + 0*f + u = 0. Is f a multiple of 7?
True
Suppose 0 = 4*h + 3*s - 27, -5*s + 7 = -3*h - 9. Suppose -h*d = 3*b - 0 - 12, -4*d - 5 = b. Let x = b + 5. Does 6 divide x?
True
Does 22 divide 7416/32 - (-2)/8?
False
Let v(x) = -2*x - 9. Let f be v(-6). Supp