vide g(u)?
False
Suppose -l - 2*i - 5 = 0, -4*l - 1 = -i - 8. Let t(n) = 1 + l - 3*n - 10*n. Is 14 a factor of t(-2)?
True
Suppose -2*g + 130 = g - o, 8 = 4*o. Suppose -g = -y - 5*k, -k = 4*y - 6*k - 126. Is 18 a factor of y?
False
Suppose -2*c + 0*i = 5*i - 95, 5*i = -c + 35. Let n be 2 - 0 - c/(-2). Suppose -5*b - f = -80, -5*f = -0*b + 2*b - n. Is b a multiple of 16?
True
Suppose 2*m - m = 60. Is m a multiple of 15?
True
Let x(u) = u**2 - 9*u + 2. Is 2 a factor of x(9)?
True
Let r(g) = -g**2 + 3*g + 4. Let b be r(4). Suppose s + l = 6 + 3, l + 5 = b. Does 13 divide s?
False
Let y(w) = -w - 5. Let z be y(-5). Suppose -3*r - 5*a + 20 = z, -r - 3*a + 4*a - 4 = 0. Suppose r = 4*l - 32 - 60. Is l a multiple of 23?
True
Let k = 5 - -2. Suppose -4*s - k + 27 = 0. Let x(z) = -z**3 + 7*z**2 - 2*z. Is 20 a factor of x(s)?
True
Is 4 a factor of (-5)/(-10) + 39/6?
False
Suppose 3*q = x - 0*x - 24, 5*x - 3*q - 60 = 0. Suppose -m + x = -11. Is 10 a factor of m?
True
Let s(l) be the third derivative of -l**6/120 + 11*l**5/60 - 3*l**4/8 + 5*l**3/6 - 2*l**2. Suppose 3*p - 1 = 5, -4*y + 50 = 5*p. Is s(y) a multiple of 14?
False
Let n be (-3)/(-1 + (-61)/(-64)). Let k = 1 - -2. Suppose k*c = -c + n. Is c a multiple of 16?
True
Suppose -10 = 4*y + 6. Let q = -2 - y. Suppose 3*i - q*a = 6*i - 73, 2*i + a = 48. Is i a multiple of 11?
False
Let s(t) = -6*t - 1 - t - 5*t + 0*t. Suppose 6*z + 10 = z. Is s(z) a multiple of 8?
False
Suppose 5 = u, -r = 4*r + 4*u - 75. Let q = 17 - r. Does 4 divide q?
False
Let t(i) = i - 5. Does 5 divide t(10)?
True
Let m(w) = 2*w - 7. Let z be m(6). Suppose -z*a - 2*f - 17 = -7, 4*f = -20. Suppose a = o - 3*o + 12. Is 4 a factor of o?
False
Suppose 3*p + 0*r + 2*r = 34, 0 = r + 1. Does 2 divide p?
True
Let p(q) = -q**3 + 16*q**2 - 15*q + 8. Is 2 a factor of p(15)?
True
Suppose 3*v - 15 + 6 = 0. Suppose l + v*l = 80. Is l a multiple of 15?
False
Let l(w) = 2*w**2 - 5*w - 7. Is 30 a factor of l(11)?
True
Let j(f) be the first derivative of -f**4/4 + 10*f**3/3 - 7*f**2/2 + 10*f - 2. Is 19 a factor of j(9)?
False
Suppose -4*j = 4*m + 76, 2*j - 13 - 15 = m. Let a be 31/(-11) + 4/m. Let h = a + 12. Is 9 a factor of h?
True
Let m = 1 + -5. Let p be (-6)/(-15) - m/(-10). Suppose 4*a - 3*d - 25 = 0, p*a - 14 = -2*a + 2*d. Is 3 a factor of a?
False
Suppose -f = h + 6, -2*h = -2*f - 1 - 7. Let k be 3*-3*h/9. Let w = 12 - k. Is 11 a factor of w?
True
Let b be 2/((-5)/(615/(-6))). Suppose -5*h + b = 4*s, 3*h + 2*h - 13 = 3*s. Suppose h*g - 65 = 3*w, -2*w + 5 = -w. Is 8 a factor of g?
True
Let b = -99 + 157. Is b a multiple of 14?
False
Is 27 a factor of (-1)/(8/(-1086)) + 6/(-8)?
True
Let k(d) = d + 3. Suppose -5*o = -28 - 7. Let m = 15 - o. Is 11 a factor of k(m)?
True
Is 17 a factor of (-446 - 1)*3/(-18)*2?
False
Suppose 0 = a + 2*p - 113 + 39, 0 = -4*a + 3*p + 329. Is a a multiple of 20?
True
Let n = 263 + -108. Does 31 divide n?
True
Let i(n) = 2*n**2 - n + 2. Let p be i(4). Let l be ((-4)/10)/(3/p). Is (-2 - -24)*(-2)/l a multiple of 8?
False
Let p(v) = 2*v + 7. Is 31 a factor of p(12)?
True
Suppose -3*l - 9 = 0, -4*l - 132 = -5*d + 95. Let h(r) = -r**3 + 4*r**2 + 2*r - 5. Let p be h(4). Suppose p = -5*y + d. Is y a multiple of 4?
True
Let x(c) = 0 - 2 + 22*c - 2. Is x(4) a multiple of 28?
True
Let p be ((-12)/9 + 0)*-69. Suppose 5*c - p = -12. Is c a multiple of 8?
True
Let j be 2*(-12)/16*-2. Suppose 5*g + 4*f = 18 + 40, j*g - 26 = 2*f. Does 4 divide g?
False
Let p be (-1 - -2)*(-15)/(-3). Suppose -3*b - 38 = -4*b - p*y, 3*b + y = 86. Is b a multiple of 14?
True
Suppose 4*i = 3*c + 88, 3*i - 6*i + c + 66 = 0. Is i a multiple of 22?
True
Suppose -21 = -3*s - 6. Suppose -r + 5*x = -47, x - 14 = s*r - 153. Is r a multiple of 9?
True
Suppose -2*c + 9 = x, 3*c - 5*x = -2*c + 15. Suppose -4*m - 2 = 3*o + 2*o, -2 = -c*o - 5*m. Is 24/18*(-45)/o a multiple of 15?
True
Let b(q) = q**2 + 9*q + 9. Let r be b(-10). Let c = r - -11. Is 12 a factor of c?
False
Let q be ((-44)/(-10))/(2/20). Let x = q + -25. Is x a multiple of 19?
True
Suppose -w - 3*q + 196 = -6*q, -2*w = 4*q - 352. Is 23 a factor of w?
True
Let w be 5/10 - 5/2. Let j be (4/w)/((-4)/22). Suppose -v - j = -0*z - z, -8 = 2*z + 4*v. Does 5 divide z?
False
Let r be 21/(-35) - (-86)/10. Suppose 0 = -2*l + 94 + r. Does 17 divide l?
True
Suppose -9 = m - 3. Is 29 a factor of m/9 - 89/(-3)?
True
Let k(f) = 2*f**2 - 9*f + 1. Is k(-5) a multiple of 14?
False
Let j = -47 + 227. Does 15 divide j?
True
Let z = -39 + 72. Suppose 3*n = 72 + z. Does 15 divide n?
False
Suppose 4*c = 17 + 59. Does 9 divide c?
False
Let w(s) be the third derivative of s**4/24 + s**3/2 - 3*s**2. Is w(9) a multiple of 6?
True
Let o(m) = m**3 + 6*m**2 - 5*m - 1. Let i be o(4). Let d = -89 + i. Does 12 divide d?
False
Let n(v) = 3*v**2 + 7*v - 1. Let j(f) = f**3 + 2*f**2 + 8*f. Let r(k) = 2*j(k) - 3*n(k). Let z be r(5). Suppose -5*d - 13 = -z. Is 8 a factor of d?
False
Suppose -19*y + 13*y = -816. Is 15 a factor of y?
False
Let r(a) = -a**3 - 7*a**2 + 11*a - 9. Does 5 divide r(-9)?
False
Suppose -6 = m - 0*m. Let f(u) = -u**3 - 3*u**2 + 7*u + 1. Let b be f(m). Is 16 a factor of (-3)/9 + b/3?
False
Let b(l) = l**2 + l. Let y(a) = 8*a**2 + 2*a - 2. Let f(g) = -6*b(g) + y(g). Does 7 divide f(-3)?
True
Let m(k) = 5*k - 39. Is 3 a factor of m(16)?
False
Let t(u) be the third derivative of 0 - 1/12*u**4 - 1/120*u**6 - 1/2*u**3 - 3*u**2 - 1/12*u**5 + 0*u. Is 4 a factor of t(-5)?
False
Let t(p) = p + 8. Let b be t(-6). Suppose 5*f + 2*r - 185 = 0, -b*r - 85 = -3*f + 26. Does 21 divide f?
False
Let k(n) = n**2 - 12*n + 10. Let y be k(12). Let i(q) = q**3 - 10*q**2 + 7*q + 11. Is 19 a factor of i(y)?
False
Does 28 divide ((-12098)/(-69))/(0 + (-4)/(-6))?
False
Suppose 3*r + 3*m = 204, -2*r + 3*m = -r - 80. Is 16 a factor of r?
False
Let a = -42 - -48. Is a a multiple of 3?
True
Let r(q) = -51*q - 1. Let m be r(1). Let i = 80 + m. Is 14 a factor of i?
True
Suppose 4*i + 248 = -2*y, i - 505 = 2*y + 2*y. Let t = y - -75. Let o = 81 + t. Does 9 divide o?
False
Let s(f) = 33 - f**2 + f**2 + 2*f**2 - f**2 - f. Does 9 divide s(0)?
False
Suppose 4*n = -3*y + 311 + 66, 0 = -n - 4*y + 78. Is n a multiple of 17?
False
Let h be 12/(-10)*(-20)/6. Suppose -k + h*q = -14, k - 2*k - 4 = 2*q. Suppose -3*g + 2*g = u - k, -5*u = -5*g - 60. Does 7 divide u?
True
Let a = 3 - -2. Suppose 0 = a*c + 5, -22 = -3*x - 5*c + 12. Is x a multiple of 13?
True
Let p(w) = -w**3 + 4*w**2 - w. Let d be p(3). Suppose 0 = -4*y + d*y + 3*l - 143, 2*l + 310 = 5*y. Is 21 a factor of y?
False
Suppose 9 = -3*b + 3*y, -5*b - 3*y + 4 = -5. Suppose 2*j + b*j - 88 = 0. Does 22 divide j?
True
Let b be -4*(106/4 + 1). Let t = -27 - b. Let k = t + -43. Is 20 a factor of k?
True
Suppose -2*m + 108 = 2*m. Does 6 divide m?
False
Suppose -2*y - 16 = -80. Suppose 48 = 2*x - 4*q, 3*x + q = -q + y. Does 7 divide x?
True
Let l be (-6)/(-2) + -2 + -5. Let b = l - -4. Suppose -w - 4*x + 14 = b, 3*w - 112 = -w - 2*x. Does 10 divide w?
True
Let z be (6/4)/((-3)/(-4)). Is 12 a factor of (-708)/(-20) - z/5?
False
Let a = -5 + 7. Suppose 5 = -a*q + 3*q. Is 20 a factor of 592/20 + 2/q?
False
Let p = 1 - -1. Suppose 0 = -5*a - 3*k + 116, k - 128 = -5*a + p*k. Suppose a = v + 4*u, u + 3 - 2 = 0. Is v a multiple of 11?
False
Suppose -c = 2 - 6. Let z be (-1 - 1 - -4) + 3. Suppose -f + 33 = 2*y + c*f, -5*f + z = 0. Is 14 a factor of y?
True
Is 32 a factor of ((-28)/(-3))/(6/63)?
False
Let b be (-748)/20 - 2/(-5). Let g = b - -9. Is (-23)/(-7) - (-8)/g a multiple of 2?
False
Suppose 7*i - 177 = 4*i. Is 23 a factor of i?
False
Is 18/(-15)*4/((-4)/205) a multiple of 38?
False
Suppose 0*a + 2*a - 30 = 0. Suppose -j + a = 2*j, -j = 3*f - 47. Does 14 divide f?
True
Let q be 2 - 1*(-3)/3. Let w be 10/(-15) + (-118)/q. Let h = -24 - w. Does 16 divide h?
True
Let n = 45 - 25. Suppose -i = 3*b - n, 42 = i - 5*b - 10. Is i a multiple of 17?
False
Let d(u) = -u**3 - u**2 - 4*u + 2. Is d(-4) a multiple of 33?
True
Let s(f) = f**3 - 5*f**2 - 5*f - 6. Suppose 8 = -5*q + 38. Let z be s(q). Suppose 2*l + 28 = b - z*b, 0 = 3*b + 5*l - 128. Is 13 a factor of b?
False
Suppose -5 + 2 = -j. Let d be (-3 + j + 1)*-1. Is (16/(-5))/(d/5) a multiple of 6?
False
Suppose 3*i = -3*b + 225, 0 = i + b - 3*b - 87. Suppose -3*l = 