 10/(-6))*-6?
False
Is 2/(-6) + (-1)/((-3)/109) a multiple of 6?
True
Let k(i) = i**3 - 17*i**2 + 18*i. Is 19 a factor of k(16)?
False
Let z(d) = 9*d - 4. Let h(j) = 6*j - 3. Let u(a) = -7*h(a) + 5*z(a). Let m be u(1). Is 23 a factor of (m/(-3))/((-8)/276)?
True
Let n(f) = -f**2 - 5*f + 1. Let o be n(-5). Let w(j) = 2*j - 1. Let p be w(o). Does 13 divide -21*p*12/(-14)?
False
Suppose 3*b + 3*i = 24, -b - 6 = -2*i - 2. Suppose -2*y = -3*n - 13, 2*n + b - 7 = -y. Is 3/(-5) + 43/y a multiple of 3?
False
Let b(m) = 44*m**2 - m. Let o be b(1). Let g = o + -19. Is 7 a factor of g?
False
Let i = 37 - 9. Is i a multiple of 15?
False
Let w = 98 - 47. Let k = w - 30. Does 8 divide k?
False
Suppose 0 = 3*o - 42 - 12. Let z = 27 - o. Is z a multiple of 9?
True
Let n(d) = d**2 - 3*d - 10. Let o be n(7). Let b(q) = -q**3 - 5*q**2 - 2*q - 4. Let g be b(-4). Let k = o + g. Is 3 a factor of k?
True
Let w = 25 + -13. Is 7 a factor of w?
False
Let o(p) = p + 4. Let f be o(5). Suppose 7 = 4*j - f. Is 3 a factor of j?
False
Let v(l) = l**3 + 10*l**2 + 6*l - 12. Let q(t) = -t + 1. Let b(i) = -6*i - 2. Let o be b(-2). Let m be q(o). Is v(m) a multiple of 15?
True
Let i(c) = -c**3 - 6*c**2 + 5*c + 3. Let f(b) = -b - 15. Let q be f(-8). Is 17 a factor of i(q)?
True
Suppose 3*d - 7 = 2. Let a = d - 6. Does 6 divide (5 - 1)/((-2)/a)?
True
Suppose -4*q = w - 25, 5*q + 4*w = 3*w + 31. Suppose -q*h = -4*h - 44. Does 11 divide h?
True
Suppose 3*h - 30 = -2*h. Suppose 2*d - h*d = -24. Is 3 a factor of d?
True
Let x be (-1*2)/(6 - 7). Suppose -3*c = -3*h + h - x, -4 = -3*h + c. Suppose h*n = -4*g - g + 16, 4*g = -5*n + 6. Does 4 divide g?
True
Suppose 76 = 4*c - 2*y, -2*y = -5*c + 2*y + 92. Let b = -6 + c. Is 7 a factor of b?
True
Let p = -88 + 138. Is 24 a factor of (160/p)/(1/15)?
True
Let k(x) = 3*x + 7. Let l(h) = -2*h - 5. Let f(v) = 5*k(v) + 7*l(v). Suppose 2 - 5 = -r. Does 2 divide f(r)?
False
Let r(z) = -z**2 + 1. Let c(v) = v**2 - 7*v - 4. Let g(i) = -c(i) - 2*r(i). Is 20 a factor of g(6)?
True
Is 7 a factor of 0 - (-1 + (-82)/2)?
True
Let z(l) = -l**3 - 4*l**2 + 9*l + 6. Let t be z(-7). Suppose 3*n + 0*n = t. Is n a multiple of 14?
False
Suppose -4 = -2*r + r. Let i(z) = 0*z + r*z - z - 8. Is 5 a factor of i(6)?
True
Suppose 3*v - 5*v + 4 = 0. Let m(t) = v - t + t - 7*t. Is m(-2) a multiple of 6?
False
Suppose -2*v + 7*v = j - 141, 4*j = 4*v + 644. Suppose 20 = 5*l - q - 13, -l = q - 3. Is (-10)/15 + j/l a multiple of 9?
True
Let y(s) = -6*s**2 + 19*s + 11. Let x(h) = -3*h**2 + 9*h + 5. Let u(p) = -13*x(p) + 6*y(p). Let m(z) be the first derivative of u(z). Is m(3) a multiple of 8?
False
Suppose 0 = -2*q - 0*q + 56. Suppose 0 = 4*o - 20 - q. Is 12 a factor of o?
True
Let p be (-2)/12 + 722/12. Suppose -d + p = d. Let a = d + 32. Is 21 a factor of a?
False
Does 4 divide (-5)/(-8)*22 + 3/12?
False
Let i(l) = 2*l**2 + 7*l - 1. Is i(-7) a multiple of 16?
True
Let o = 197 + -49. Let j = -258 + o. Does 9 divide (-2)/6 + j/(-6)?
True
Let w(s) = s**3 - 8*s**2 - 8*s - 11. Let o be w(9). Does 2 divide (-2)/o*(-1 - -3)?
True
Let o(x) = 12*x + 2. Suppose -4*k + 15 = k. Is o(k) a multiple of 19?
True
Let h(u) = 11*u - 4. Let j be h(-8). Suppose 0 = -3*d + 6*d - n + 18, 6 = -d - 4*n. Does 7 divide (-9)/(-6)*j/d?
False
Suppose 3*t = -3*k + 3, 0*k = 4*t - 4*k - 44. Is 2 a factor of t?
True
Let d(t) = 7 - 6 - 9 - 3*t. Is 5 a factor of d(-6)?
True
Let j(y) = -y**3 + 10*y**2 + 2*y - 3. Let r = -3 - -5. Let m(b) = 5*b**2 + b - 2. Let n(h) = r*j(h) - 5*m(h). Is n(-3) a multiple of 8?
True
Suppose 0 = -2*b + 5*a - 9 - 18, -5 = -a. Is (2 + b)/1 + 42 a multiple of 13?
False
Suppose 53 = 2*n - c, 4*n = -3*c - 2*c + 71. Does 8 divide n?
True
Suppose -4*p + 24 = 4*o, 2*p - 6 = 2*o - o. Let d = 0 + 2. Suppose -2*w = 0, -o*x + 3*w - d = -22. Does 5 divide x?
True
Suppose -3 + 35 = -2*l + 4*i, -3*l = 4*i - 2. Let u(b) = 2*b. Let x(r) = -4*r - 1. Let w(o) = -9*u(o) - 4*x(o). Is 16 a factor of w(l)?
True
Let z be ((-1)/3)/((-2)/(-6)). Let t be (z - -1)/(2*-1). Suppose t = 4*m - 8 - 4. Is m a multiple of 2?
False
Let t(x) = 5*x**2 + 7*x - 5 - 3*x**2 + 10. Is t(-4) a multiple of 5?
False
Let b(j) = -j**3 + j**2 + 8. Let l be b(0). Let a(v) = -v - 6. Let q be a(l). Let d = -3 - q. Does 4 divide d?
False
Let s = -46 - -66. Let z = 56 - s. Does 18 divide z?
True
Let p = -20 + 93. Does 12 divide p?
False
Let a(x) = -9*x + 9. Let y be a(5). Let i = y - -52. Is i a multiple of 13?
False
Let u(i) be the second derivative of -i**6/120 - 13*i**5/60 + 5*i**3/6 + i**2/2 - i. Let g(z) be the first derivative of u(z). Is 4 a factor of g(-13)?
False
Let s = 103 - 43. Suppose c - s = -4*c. Does 4 divide c?
True
Suppose 4*p + p - 25 = 0. Suppose 3*i - 138 = -5*c + 2*c, -3*i = -3*c + 126. Suppose -b - c = -p*b. Does 10 divide b?
False
Suppose u = x - 28, -3*u + 2*u = -5*x + 132. Does 2 divide x?
True
Suppose 3*s - 9 = -0*s. Suppose 27 = s*b - 2*u, 0*u + 4*u = -3*b + 27. Does 7 divide b?
False
Let z = 9 + -6. Suppose -4*l + 14 = -z*l. Does 5 divide l?
False
Let p(w) = 11*w**2 + 6*w - 11. Does 29 divide p(2)?
False
Suppose -5*i + 2 = -8. Suppose -31 = i*c - 13. Does 5 divide (-8)/(-3)*c/(-4)?
False
Let a be 13/3 + (-1)/3. Suppose -x + r - 2 = 0, 3*x - 5*r = a - 2. Is 14 a factor of (x - 13)*(-3 - -1)?
False
Let q = 8 + 0. Suppose 16 = 5*s - 2*o, 0*s - 3*s + 2*o = -q. Is 2 a factor of s?
True
Suppose -10 + 2 = -2*j. Suppose l + 32 = 2*n - l, 5*n + j*l = 35. Is 8 a factor of (-14)/77 - (-90)/n?
True
Let m(k) = -k + 6. Let w be m(4). Suppose 0 = 5*r - 4*d + 21, 0*r + 3*r - 5 = -w*d. Is -1*(-31 - (r + 0)) a multiple of 15?
True
Suppose 2*l + 2*v = 144, 3*v = l - 0*v - 76. Is l a multiple of 9?
False
Suppose 117 = -o + 4*o. Is 22 a factor of o?
False
Let f(c) = -10*c**3 - 3*c - 2. Let u be f(-2). Suppose -4*t = p - 23, t + 3 = -0*t. Let d = u - p. Is 16 a factor of d?
False
Let z be 2/(-4*(-3)/18). Let f be (z + -2)*(10 + 1). Suppose 33 + f = 4*c. Is c a multiple of 11?
True
Suppose 4*a + 154 - 618 = 0. Is 8 a factor of a?
False
Let g = 6 - 6. Let n be 1/(4/2)*g. Suppose -3*q - 4*h + 2*h + 4 = n, -5*q = 2*h - 12. Does 2 divide q?
True
Let x(l) = -3*l + 3*l + 0*l - l. Does 3 divide x(-7)?
False
Let g(j) = -j**2 - 4*j + 1. Let n be g(-5). Let c = 7 + n. Suppose 0 = 5*l - 3*s - 16, s - 1 = -c. Does 2 divide l?
True
Let m(v) = -5 + 16 - 4*v + v - 4*v. Does 18 divide m(-9)?
False
Let q(x) = 17*x**2 + x - 1. Suppose -c - 2 = 4. Let r be (1/2)/((-3)/c). Is 10 a factor of q(r)?
False
Is -144*21/7*(-2)/8 a multiple of 27?
True
Let m(g) = g**3 + g + 33. Is 11 a factor of m(0)?
True
Suppose -147 = -3*v - 0*v. Is 13 a factor of v?
False
Suppose -3 = -3*l, 0 = -2*o + 6*o - 2*l - 254. Is 4 a factor of o?
True
Let k be 16/(3 - 2 - 2). Let s = 11 - k. Does 14 divide s?
False
Let a = 7 + -5. Suppose -4*z + 30 = a*n - 26, -3*z - 28 = -2*n. Is n a multiple of 11?
False
Suppose -276 = 13*q - 1238. Is q a multiple of 5?
False
Suppose -3*k + 135 = 2*k. Is 6 a factor of k?
False
Let n(z) = -z**2 + 11*z - 13. Let q be n(9). Suppose -4*g - 20 = y, -3*g - q = -5*y - 2*g. Does 3 divide -1 - 8*(-1 - y)?
False
Let i be ((-3)/(-9) + 0)*9. Does 5 divide i + (-7)/((-14)/36)?
False
Let y = -7 - -21. Is 7 a factor of y?
True
Is 2 a factor of (-2)/3*(459/6)/(-3)?
False
Let z be 3*(-67)/(-3) + 2. Is 13 a factor of ((-1)/3)/((-1)/z)?
False
Suppose -2 - 3 = -5*k, -k + 14 = z. Suppose -z - 17 = -2*s. Is 15 a factor of s?
True
Let p(w) = 2*w**2 - 2*w. Suppose 3*r = -3*m + 7*r + 22, r = -2*m. Let n be p(m). Suppose n*l - 65 = -q, -25 - 28 = -4*l - 5*q. Is l a multiple of 17?
True
Let p = 4 + -4. Suppose 25 = -5*d - p*d, 5*d = 3*v - 127. Is v a multiple of 13?
False
Let i(s) = s**3 - s**2 - 2*s - 1. Let t be i(-1). Let p be 18/3*(3 + t). Does 6 divide 152/p + (-4)/6?
True
Let o(p) be the third derivative of 11*p**5/30 + p**4/12 - p**3/6 - 3*p**2. Suppose -2*c + 5 = 3*c. Is o(c) a multiple of 17?
False
Let h(c) = -2*c + 2. Let g be h(-6). Let i = g + 4. Is 18 a factor of i?
True
Let b = -3 + 7. Suppose -c + 5 + 22 = 5*d, b = -3*c + 2*d. Is 5*1*c/2 a multiple of 3?
False
Suppose 2*w = 6 + 4. Suppose 6*h - 5*u = h + 115, w*h - 109 = 2*u. Let x = h - 10. Does 7 divide x?
False
Let r = 3 + 0. Suppose -8 = -r*g - g. Is 0 - (60/(-3) - g) a multiple of 11?
True
Let l