1118)/(-12) + (b - 3)/24?
True
Suppose -11*h = -10*h + 82. Let d = h + -6. Let p = 143 + d. Is 11 a factor of p?
True
Suppose 10*k = 5*k + 2*j + 5553, 0 = -k - 5*j + 1089. Is k a multiple of 3?
False
Suppose 0 = 1206*f - 1224*f + 3204. Does 9 divide f?
False
Let w be 40/6*(-75)/10*-1. Suppose -56*z = -w*z - 522. Does 10 divide z?
False
Let c = -722 + 2051. Does 8 divide c?
False
Let v = 53 - 61. Let i(p) = p**2 - 2*p + 11. Is i(v) a multiple of 13?
True
Suppose 0 = 3*v - l + 6 + 4, -4*v - 26 = 5*l. Let i = v + 7. Suppose 3*d + 3*f - 156 = 0, -18 = -d + i*f + 42. Does 19 divide d?
False
Let j = 38 - 20. Let v = 13 + -3. Let o = j - v. Is o a multiple of 4?
True
Suppose -2*k = 5*r - 3*k - 5, -3*r + 2*k = -3. Let l = 11 + r. Is (-88)/(-6) + (-8)/l a multiple of 14?
True
Suppose 0 = 3*u - 40*u + 68783. Is u a multiple of 16?
False
Let b(t) be the second derivative of -t**4/12 - 3*t**3/2 + 5*t**2 - 4*t. Let f be (-3)/15*-2*-20. Is b(f) a multiple of 18?
True
Suppose 5*s - 4 = -2*a, 2*a - 4*a - 6 = 0. Let b = s - 13. Let c = 6 - b. Is 8 a factor of c?
False
Let v(o) = 6*o**3 + 4*o**2 - 2*o - 3. Suppose -9*x + 21 + 6 = 0. Is 7 a factor of v(x)?
True
Let g = 112 - -239. Is 55 a factor of g?
False
Suppose 4585 - 711 = 13*j. Does 2 divide j?
True
Let i be -1 + (40 + 1)*-1. Let x(m) = 2*m**2 - 12*m + 7. Let d be x(6). Is (6/d)/((-3)/i) a multiple of 2?
True
Suppose 0 = -5*i - 4*f + 12 - 1, -3*f - 6 = -i. Suppose i*g - 1 + 4 = 0. Let m(z) = 8*z**2 + z + 1. Is m(g) a multiple of 6?
False
Let y be 3 + -3 - (-3)/(12/8). Suppose -3*l + 93 = 2*j, -5*l + 126 = -l + y*j. Does 8 divide l?
False
Let l be -2*1*(1 - 2). Let p(g) = 19 + g**l + 0*g**2 - 6 - 7*g. Is p(6) a multiple of 7?
True
Let w = 30 - 18. Suppose 9*k + 135 = w*k. Is k a multiple of 45?
True
Does 8 divide (-1256)/(-3) - 122/183?
False
Let u(k) = 14 + 31 + k**2 + k - 2*k**2. Suppose -82*l + 68*l = 0. Does 15 divide u(l)?
True
Let x = 84 - 79. Let c(a) = 3*a - 9. Let y be c(7). Is (6/x)/(y/390) a multiple of 13?
True
Does 12 divide ((-810)/24)/((-9)/96)?
True
Suppose -b - 1 = -q, -2*q + 5 = -4*b + 3*b. Suppose -5*f + 1610 = -5*l, -310 = -f + q*l + 3. Suppose s - f = -4*s - 4*k, 0 = 2*s - k - 117. Is 13 a factor of s?
False
Suppose -2*n - 2*x + 80 = 3*x, x - 88 = -2*n. Let w(i) = -39*i - 43 - 7*i + n. Is 12 a factor of w(-1)?
True
Suppose -3*j = -6, 6*j = -f + 3*j + 291. Does 5 divide f?
True
Let m(h) = 4*h + 14. Let z be m(-7). Is (-10)/(-35) - 458/z a multiple of 20?
False
Let h(f) = f**2 - 10*f - 11. Let s be h(10). Let r = 25 + s. Let z = r + 2. Does 16 divide z?
True
Suppose 12*t = 9*t. Suppose -19*o + 23*o - 168 = t. Is 14 a factor of o?
True
Is 86 a factor of 168/16*2064/28?
True
Suppose f - 30 = -5*k + 3*f, -4*f = 4*k + 4. Suppose -k*x + 4*s = -3*x - 16, 5*x - 205 = -5*s. Is 12 a factor of x?
True
Suppose 8*t - 1005 = 627. Does 51 divide t?
True
Let d = 291 + -165. Is 6 a factor of d?
True
Suppose 0 = -f - 2*t + 842, t + 2519 = -14*f + 17*f. Does 26 divide f?
False
Does 5 divide (-11)/((-22)/34)*2?
False
Let y(i) = 2*i**2 + 7*i + 111. Is 80 a factor of y(-7)?
True
Let i = -87 + 297. Let r(l) = 53*l - 9. Let h be r(3). Let g = i - h. Is 22 a factor of g?
False
Let c be (-9)/(-2) + (-2)/(-4). Let o = c - 6. Let d(x) = -52*x - 1. Is d(o) a multiple of 17?
True
Let r = 117 - -159. Suppose -4*o = -r - 64. Does 11 divide o?
False
Let h(a) be the first derivative of -3*a**2/2 + 51*a - 1. Let n = 1078 + -1078. Does 8 divide h(n)?
False
Let d(u) be the first derivative of u**4/4 + 7*u**3/3 - 3*u**2/2 + 13*u - 9. Is 17 a factor of d(-7)?
True
Suppose -589 = -4*f - 5*w, 5*w - 735 = -6*f + f. Does 46 divide f?
False
Suppose 31*y = 35*y - 780. Is 39 a factor of y?
True
Suppose -4*z + 884 = -d, -5*z + 706 = -2*d - 402. Is z a multiple of 22?
True
Let r(x) = x**3 + 2*x**2 - 8*x + 6. Let q be r(-4). Suppose 2*s - q*t + 11*t - 188 = 0, -4 = -t. Does 14 divide s?
True
Let h(f) = -f**3 - 11*f**2 - 14*f + 20. Is h(-12) a multiple of 41?
False
Let j(x) = -x**3 - x**2 - 4*x + 1017. Is 23 a factor of j(0)?
False
Let c(s) = -s**2 + 24*s + 223. Is 26 a factor of c(0)?
False
Let r(g) = g**3 + g**2 + 192. Is r(0) a multiple of 13?
False
Let s = 7 + -2. Suppose w - 49 = -s*m, -m - 4*w + 25 = -0*m. Is 9 a factor of m?
True
Let h be (-2)/(-10)*5/1. Let x = h - -9. Is 5 a factor of x?
True
Let g = 24 + -11. Let m = -4 + 44. Let o = m - g. Is o a multiple of 17?
False
Let n(a) = -a**2 - 25*a - 47. Let m be n(-23). Is 2 a factor of (-6)/(-2) + (1 - 2/m)?
True
Is 24122/49 - 16/56 a multiple of 33?
False
Suppose 2*h - 1445 = -3*u, 4*u + 3 = -1. Is h/5 + (-12)/15 a multiple of 17?
False
Let l = -346 + 656. Is l a multiple of 10?
True
Suppose -1724 = -98*b + 4646. Is b a multiple of 13?
True
Let j(o) be the third derivative of o**5/60 - o**4/24 - 5*o**3/6 + 3*o**2. Let v be j(-4). Suppose -v*d = -19*d + 20. Is 2 a factor of d?
False
Let u(f) be the second derivative of f**5/20 - 5*f**4/4 + 4*f**3 - 21*f**2/2 + 37*f. Is u(14) a multiple of 39?
False
Let b = 4 - 1. Suppose -5*j = 0, t = -0*j + b*j + 2. Suppose t*q = 3*c + 62, -2*c - 94 = -5*q + 50. Is 7 a factor of q?
True
Let j(h) be the first derivative of 8*h + 3*h**2 + 1/3*h**3 - 4. Is 18 a factor of j(-12)?
False
Let z(p) = 19*p - 14. Does 9 divide z(5)?
True
Let u be (128/20)/(3/75). Suppose -30*f + 32*f - u = 0. Is f a multiple of 20?
True
Let i(m) = -m - 23. Let u be i(-11). Let q be 471/15 - 2/5. Let r = u + q. Is r a multiple of 16?
False
Let d(q) = -q**3 - 21*q**2 - 18*q + 37. Is 18 a factor of d(-21)?
False
Is (-40596)/(-30) + (-4)/20 a multiple of 33?
True
Let o(t) = -6*t - 18. Let h be o(-3). Suppose -11*u + 3*u + 168 = h. Is u a multiple of 7?
True
Let x(q) = -q**3 + 44*q**2 - 17*q + 7. Is x(10) a multiple of 42?
False
Let x = 2983 + -2707. Is x a multiple of 23?
True
Let f(a) = 13*a + 13. Let u(w) = -14*w - 14. Let g(c) = -5*f(c) - 4*u(c). Let q be g(-7). Suppose -4*l - y = -71, 5*l - 46 - q = y. Does 9 divide l?
False
Suppose -4*k = z + 25, -z - 3*z - k - 130 = 0. Let w = z + 93. Suppose -4*r = 2*r - w. Is r a multiple of 10?
True
Suppose -3*c - 2*k + 4*k + 59 = 0, 2*k - 55 = -3*c. Is 14 a factor of c?
False
Let w(f) = 2*f**2 + 20*f + 76. Is w(-8) a multiple of 5?
False
Suppose 5*x = 3*b + 2793, 5*x - b - 1675 = 2*x. Is x a multiple of 22?
False
Let i(c) = -7*c + 0*c - c**2 - 2*c + c + 6. Is 12 a factor of i(-7)?
False
Let n = -2303 - -2465. Is 2 a factor of n?
True
Let m be (66/(-44))/(3/604). Let h = 456 + m. Is 25 a factor of h?
False
Let a(t) be the second derivative of -t**3/6 + 15*t**2 + 11*t. Does 5 divide a(10)?
True
Let r(x) = -x**3 + 7*x**2 - 3*x - 4. Let z be r(7). Let a = z - -35. Is a a multiple of 10?
True
Let f(k) = -69*k + 26. Let w be f(-10). Is 15 a factor of 1/(4 - w/180)?
True
Let c(g) = 40*g**2 + 2*g + 5. Let t be c(-2). Let u = t + -89. Is 31 a factor of u?
False
Let f(w) = 10*w**2 + w + 4. Let m be f(6). Suppose 3*s - 4*p - 373 = 0, 2*p = 3*s + p - m. Is 27 a factor of s?
False
Let z be (-12)/(-8)*-2 - -98. Let n = -35 + z. Is n a multiple of 15?
True
Does 2 divide (180/(-108))/(5/(-318))?
True
Let y = 3 - 10. Let n = 65 - y. Does 18 divide n?
True
Let n = -76 - -112. Let a = n + 9. Is a a multiple of 10?
False
Let k = 16 + -16. Let g = k + 3. Let x = g - -3. Does 5 divide x?
False
Let n(a) = a**2 - a + 44. Let b = 155 + -141. Is n(b) a multiple of 65?
False
Let u = -4 - -6. Let q be (184/(-10))/(u/(-5)). Suppose 3*v = 5*t - 219, -29 - q = -2*t - 3*v. Is 19 a factor of t?
False
Let j(c) = -c**2 + 2*c + 22. Is 2 a factor of j(0)?
True
Does 39 divide 23*((-5344)/(-4))/8?
False
Let o(g) be the third derivative of -7*g**4/8 + g**3/6 - 3*g**2. Does 20 divide o(-3)?
False
Let r = -77 + 169. Is 11 a factor of r?
False
Suppose -2*a - 4*h + h + 190 = 0, -5*a + 2*h + 456 = 0. Does 23 divide a?
True
Suppose 0 = 2*o - 34*z + 32*z - 1296, 5*o - 3*z - 3232 = 0. Does 92 divide o?
True
Suppose 0 = -5*a + 2*v - 417, 4*a + 2*v - v + 331 = 0. Let b = 121 + a. Suppose -4*c = 12, k = -0*k + 2*c + b. Does 32 divide k?
True
Suppose 0 = 3*o + 4*g - 11, -4*o + 10*g + 56 = 5*g. Let j be -3*(-3)/o*0. Suppose -w + 0*w + 10 = j. Is w a multiple of 4?
False
Let z = -1410 - -2169. Does 23 divide z?
True
Let n(v) = v - 12 - 4*v + 2*v. Let u be n(-9). Is 13 a factor of u