 + 21, 5*l + h = 2*o. Is 6 a factor of o?
True
Let z(j) = -j**3 - 5*j**2 - 4*j - 4. Let n be z(-4). Let b = -2 - n. Let c = b - -7. Does 9 divide c?
True
Let r be 15/2 - (-1)/(-2). Suppose -5*u + 17 = -v - 2*v, 0 = 4*v - 4. Suppose -r*j = -u*j - 114. Is 19 a factor of j?
True
Let f = -121 - -209. Suppose q = -q + f. Does 16 divide q?
False
Let a(q) = 7*q - 1 + 0 - 7 + 6. Suppose 0 = 2*t - 6. Is a(t) a multiple of 7?
False
Suppose -8*o = -13*o + 40. Is o a multiple of 4?
True
Suppose -2*v + 6*v - 16 = -4*n, 2*v + 4*n = 4. Is (0 - 81/v)*-2 a multiple of 12?
False
Let w(n) = 7*n - 23. Does 9 divide w(11)?
True
Is 43 a factor of (-86)/(-1) + (5 - 5)?
True
Let k = 564 + -279. Is k a multiple of 19?
True
Is 25 a factor of (3 + (0 - 1))*47?
False
Suppose -2*l - 150 = -4*l. Is l a multiple of 18?
False
Suppose 4*o = -5*o + 504. Is 18 a factor of o?
False
Suppose 2*n + 32 = -5*w + 406, -4*w + 748 = 4*n. Does 24 divide n?
False
Suppose -6*z + 154 + 164 = 0. Is z a multiple of 6?
False
Let t(g) = 79*g**3 - g. Suppose -3*p + 11 = 2*j + 2, -j = -3. Is 12 a factor of t(p)?
False
Let p be -1*(-2 - (-2 + 3)). Suppose 0 = -0*y - p*y + 12. Does 3 divide y?
False
Let j be ((-11)/(-3) - 3)*-15. Let g = j + 30. Is 20 a factor of g?
True
Let j = 42 - -22. Let h = j + -43. Does 14 divide h?
False
Suppose 0 = -5*s - 2*u + 24, -2*s - 2*u - 8 + 20 = 0. Does 8 divide (-273)/(-9) + s/6?
False
Does 16 divide (-1)/(-1)*0 + 77?
False
Let s(a) = a**2 + 22*a - 70. Is s(-29) a multiple of 19?
True
Suppose v - t + 2*t = 19, 0 = 4*v - 3*t - 104. Suppose 3*i = -2*k - 126, 2*k - v - 27 = i. Let f = 78 + i. Does 15 divide f?
False
Let p = 16 + 11. Is 3 a factor of p?
True
Is (0 + 2 + 0)*665/14 a multiple of 7?
False
Is 20 a factor of (46/(-5))/((-18)/45)?
False
Suppose 0 = 5*a - 3*a - 5*c - 56, -2*c + 64 = 4*a. Is 3 a factor of a?
True
Suppose 3*c - 3*a = 2*a, 0 = -5*c - 3*a + 34. Suppose c*w - 90 = -0*w. Does 5 divide w?
False
Suppose 3*i = -4*c + 1 + 11, 2*i + 38 = 5*c. Does 2 divide c?
True
Suppose 0*l - 4 = -2*l. Let n = l + 4. Suppose -5*z - n = -s, 0*s - 3*z = -s + 12. Is s a multiple of 11?
False
Suppose -c - 27 = -5*c + 3*u, 5*c - 34 = 4*u. Suppose o = m - 4*m - c, 4*o = -2*m - 4. Let f(s) = -s**3 + s**2 + 16. Is 8 a factor of f(o)?
True
Let m = 5 - 5. Let i be m - (3 - 2 - 4). Suppose -3*a + 0*a - i*x = -123, 4*x + 4 = 0. Does 12 divide a?
False
Let j(u) = -3*u**2 - 16*u + 3. Let x(w) = -4*w**2 - 17*w + 3. Let m(h) = -5*j(h) + 4*x(h). Does 15 divide m(6)?
False
Let p(x) = -x**2 - 9*x - 4. Suppose -3*j - 2*j = 30. Is 6 a factor of p(j)?
False
Does 10 divide (-8)/(-2) - (-40 - -16)?
False
Suppose 0 = 10*s - 22*s + 1128. Does 9 divide s?
False
Let s(g) = -7*g + 6. Let q be s(4). Let o = 42 + q. Suppose -i - 2*u = -0*u - o, -i + 2*u = -16. Is 14 a factor of i?
False
Let v(m) = -m**2 - m + 1. Let a(i) = i**3 + 4*i**2 - 10*i. Let r(d) = a(d) - 2*v(d). Let n be r(-7). Suppose -n*p - 39 = -4*z, 0*p - p + 1 = 0. Does 4 divide z?
False
Is 6 a factor of (-2 - -29) + 24/(-8)?
True
Let r = -15 + 14. Does 28 divide 0/(-1) - 56/r?
True
Suppose -4*x - 56 = -5*x. Suppose -h - 2*h = -p - 26, 4*p = -4*h + x. Is 10 a factor of h?
True
Suppose 15*k - 46 = 13*k. Is k a multiple of 4?
False
Suppose 150 = 5*m - 160. Is 31 a factor of m?
True
Let h = 374 - 263. Is h a multiple of 27?
False
Let x be ((-6)/(-4))/(6/16). Let q be 0 - ((-2)/(-1) - -6). Does 5 divide (20/q)/((-2)/x)?
True
Suppose 3*l - 30 = -3*u - 2*u, -u - 3*l = -18. Let i be (-4)/3*u/(-2). Suppose s = i + 1. Is s a multiple of 3?
True
Let d(s) be the first derivative of s**3 - 7*s**2/2 - s + 4. Is 10 a factor of d(4)?
False
Suppose 0 = 2*w + 2*l - 80, -3*l - 138 = -5*w + 102. Is w a multiple of 15?
True
Suppose -x - 4*x + 30 = 0. Let l = -3 + x. Suppose -a + 8 = l*a. Is a a multiple of 2?
True
Let g(l) = l + 0*l + 0 - 3. Let v be g(5). Suppose 5*i = -3 - v, 5*i = 3*c - 38. Is 11 a factor of c?
True
Suppose -86 + 6 = -4*w. Is 4 a factor of w/(-130) - (-212)/26?
True
Suppose 0 = 3*p + p + 36. Let h(t) = t**3 + 9*t**2 + 1. Let r be h(p). Is ((-6)/(-3) - -9)*r a multiple of 11?
True
Let n = -3 - -9. Let m = 18 + n. Suppose -3*b = -b - m. Is 12 a factor of b?
True
Let t(i) = 3*i**2 + i**3 - i**2 + 2*i - 5*i**2. Let q be t(2). Suppose -b = -q*b - 2. Is 2 a factor of b?
True
Let r = -3 - -3. Suppose 4*q + 3*x - 5 = r, 4*x - 3 + 13 = -2*q. Suppose q = 2*i - 31. Does 9 divide i?
True
Let j = 368 - 222. Is 24 a factor of j?
False
Let z(j) = -3*j + 2. Let n be z(6). Let g = 30 + n. Is 5 a factor of g?
False
Let y = 431 - 243. Suppose -2*q - 2*q + y = 0. Let r = q + -31. Is r a multiple of 8?
True
Let s(w) = -4*w**3 - 3*w**2 - 2*w. Let i be s(-2). Suppose -5*t = -i - 16. Is t a multiple of 3?
False
Suppose 3*g - 4*p - 137 = 0, -3*p + 97 + 119 = 4*g. Is 27 a factor of g?
False
Suppose -2*c - 492 = -2*s, -2*s = c - 6*c - 492. Let y = s + -170. Suppose -j = -3*g + 46, 0*g - 5*j = -4*g + y. Is 14 a factor of g?
True
Let v be -4 + 0*(-4 - -3). Let k be 129/15 + v/(-10). Suppose -2*n - 2*x = -8, 3*x + k = 2*n - 4. Is 4 a factor of n?
False
Let f(k) = -k**3 - 5*k**2 - k + 6. Let n(j) = 3*j**3 + 9*j**2 + j - 11. Let z(m) = -5*f(m) - 2*n(m). Is 8 a factor of z(7)?
False
Let s(k) = -14*k**3 + 2*k**2 + 3*k - 2. Let h be s(2). Suppose -2*w + d = -d - 326, 2*w = -2*d + 318. Let t = w + h. Is 25 a factor of t?
False
Let n be (5*3)/((-12)/(-8)). Suppose 6*u - 56 = n*u. Is 4 a factor of (3 - 7)/2 - u?
True
Is (-11 - -8)*-6*3 a multiple of 18?
True
Suppose -31 + 7 = -w. Is 8 a factor of w?
True
Let v(r) = -2*r + 6. Let c = 3 + -24. Let u = -30 - c. Is 12 a factor of v(u)?
True
Let g(l) = 2*l**2 - 4*l + 5. Is g(4) a multiple of 7?
True
Let l(h) = -h**2 + 8*h - 9. Let f be l(7). Is 2 a factor of f*(1 - 2 - 0)?
True
Let h be 18*(-3)/((-9)/6). Suppose -2*s - 2*n = s - h, -26 = -s + 4*n. Is s a multiple of 7?
True
Let r(n) = -4 - n**2 + n**3 + 0*n**2 - 5 + 12*n**2 - 10*n. Let b be r(-12). Is 9 a factor of 5 + (1 - 4) - b?
False
Suppose 0*z + 2*z + 294 = 0. Let c = -93 - z. Is c a multiple of 18?
True
Let j = 11 - -31. Does 7 divide j?
True
Let w(z) = z - 6. Let g(k) = 3. Let c(t) = 6*g(t) + 3*w(t). Let r be (-18)/(-10)*(-10)/(-3). Is c(r) a multiple of 8?
False
Suppose -4 + 8 = l. Suppose -4*r + 3*v + 61 = l*v, -v - 3 = 0. Is r a multiple of 7?
False
Let i(a) = a**3 - 4*a**2 - 5*a + 6. Let d be i(5). Suppose 5*g = o - 146, 6*o = -5*g + 3*o - 162. Is (24/(-5))/(d/g) a multiple of 24?
True
Let f(d) be the third derivative of -d**4/4 + d**3/6 + 6*d**2. Does 22 divide f(-14)?
False
Let p(n) = n + 250. Let j be p(0). Suppose -2*c + j = 3*c. Let r = -34 + c. Is r a multiple of 13?
False
Let d be 112/(-18) - 10/(-45). Let h = d + 15. Is 2 a factor of h?
False
Suppose 2*h - 25 = -3*h, 2*c - 4*h = 12. Is 16 a factor of c?
True
Let c = 155 + -99. Suppose -3*v = 5*y + 5 - c, -4*y + 5*v + 63 = 0. Does 6 divide y?
True
Suppose 4*h + 3*l = 4*l - 34, -5*l - 10 = 0. Let r(y) = y**2 + 7*y + 12. Is 19 a factor of r(h)?
False
Let q be 2*(2 + 2 + -3). Suppose 0 = q*g - 0*g - 70. Does 15 divide g?
False
Let b(k) = 9*k + 3. Is 15 a factor of b(8)?
True
Let u = -29 + 43. Does 4 divide u?
False
Suppose 5*r + 53 = o + 2, 2*r - 72 = -o. Does 33 divide o?
True
Let g = 8 - 6. Suppose 9 = -g*m - m. Does 13 divide ((-23)/3 + -1)*m?
True
Suppose -3*l = -9, 0*y - 2*y = 5*l - 97. Let p = y - 24. Is p a multiple of 10?
False
Let t(g) be the first derivative of 1 - 2*g**2 + 1/4*g**4 + g + 1/3*g**3. Does 11 divide t(3)?
False
Let k(a) = -a**3 - 9*a**2 - 2*a - 7. Let d be 2/8*-9*4. Is k(d) a multiple of 3?
False
Suppose -b = -2*b + 97. Suppose -i + 4*i - b = 2*d, 3*i - 100 = -d. Is i a multiple of 11?
True
Let o(j) = -j - 43. Suppose r - p - 5 = 3*r, 3*r = -p - 5. Let v be o(r). Let f = 73 + v. Is 11 a factor of f?
False
Suppose -2*g = -r - 4*g + 145, -5*r - 2*g = -701. Suppose 82 = h + h - 2*j, -4*h = j - r. Does 22 divide h?
False
Suppose -282 = -5*h - 52. Does 14 divide h?
False
Is 6 a factor of 1 + 13 + (-1 - 1)?
True
Let s(q) = -q. Let r(g) = 13*g + 20. Let l(c) = 7*c + 10. Let o(j) = -5*l(j) + 3*r(j). Let y(t) = o(t) + 2*s(t). Is 17 a factor of y(8)?
False
Suppose -174 = 2*d - 198. Is 6 a factor of d?
True
Let l = 11 + -9. Suppose -o = -5*n + 11 + 21, -l*o = -6. Does 2 divide n?
False
Suppose