+ 0*o - 5*l - 34 = 0, -4*l = 2*o - 16. Is 4 a factor of o?
True
Suppose 0 = -w - 5*q + 34, -43 = -w + 4*q - 0*q. Does 15 divide w?
False
Let o(g) = 21*g**3 - 2*g**2 - 2*g - 1. Let f = -2 - -1. Let d be o(f). Let z = -14 - d. Does 5 divide z?
False
Suppose 0*o - 4*o = 0. Let m = 18 + 1. Is 7 a factor of ((1 + o)*m)/1?
False
Suppose 9*w - 188 = 5*w. Does 14 divide w?
False
Suppose -5*o = 2*z - 29, 3*z + 4*o - 21 = 5. Is 3 a factor of z + -4 + -2 + 8?
False
Suppose -8*w + 19 = -3*w + 4*y, w - 3*y = 0. Suppose -k - 32 = -2*k + w*b, -k = -b - 24. Is 4 a factor of k?
True
Let d(p) = p**3 + 6*p**2 - 7*p - 4. Is d(-4) a multiple of 15?
False
Let h = 52 + 63. Is h a multiple of 14?
False
Let q = -1 - -1. Suppose q - 6 = -m. Is 6 a factor of m?
True
Suppose 199 = 9*d - 161. Is d a multiple of 10?
True
Suppose -16*b + 20*b = -52. Suppose 0*q - 86 = -2*q. Let c = b + q. Is 10 a factor of c?
True
Let m(t) = t + 6. Let u(x) = 3*x**3 - 2*x**2 - 2*x - 1. Let s be u(-1). Let z be m(s). Is 8 a factor of (3 - 2 - z)*-16?
True
Suppose -y + 2*y = -4*w - 18, -3*w - 23 = -4*y. Suppose -29 = -y*l - l - 2*r, r = l - 18. Does 5 divide l?
False
Suppose 4 = -2*v - 62. Let a = 75 + v. Suppose 4*j - 114 = a. Is j a multiple of 13?
True
Let z = -17 + 17. Suppose -3*o + 95 + 103 = z. Is 22 a factor of o?
True
Suppose 56 = 2*j - 26. Is j a multiple of 6?
False
Suppose x - 8 + 88 = 3*o, 22 = o - 5*x. Does 3 divide o?
True
Suppose 0 = 5*l + 5*m - 984 - 121, -12 = -4*m. Is l a multiple of 32?
False
Let n be 1 + -3 + -6 + 11. Suppose n*b = -0 + 6. Suppose b*l = -0*l + 24. Does 12 divide l?
True
Let f = 12 - 7. Suppose -234 = -f*c - 59. Is 7 a factor of c?
True
Suppose 0 = 5*i + 25, -212 = -2*f - f + 4*i. Is 21 a factor of f?
False
Let p be ((-4)/6)/((-6)/18). Suppose 4 = -5*z + 5*c + 314, 0 = -p*c + 2. Does 21 divide z?
True
Let l(y) = -5*y**3 + y. Let x be l(-1). Suppose 5*k + 0*k = -x*o + 90, k - 5*o + 11 = 0. Does 14 divide k?
True
Let r(p) = -p + 7. Let o be r(-5). Is ((-68)/o)/(1/(-3)) a multiple of 13?
False
Suppose 3*h + 0 + 9 = 0. Is h - (0 + 0) - -75 a multiple of 22?
False
Let r(c) = 4*c + 2. Suppose 3*n + 64 = 5*a, -50 = -3*a - 0*a - 4*n. Let h = a - 10. Does 9 divide r(h)?
True
Let n(m) = 19*m. Let h be n(4). Suppose 4*r + 5*k + 41 = -h, -4*r - 114 = 2*k. Let s = r + 40. Is s a multiple of 6?
True
Let u be 1 - (-1)/((-3)/33). Is (-24)/u*35/14 a multiple of 6?
True
Let r(w) = 4*w - 8. Is 12 a factor of r(5)?
True
Suppose 5*a = 3*v - 230, 2*v + 44 = -3*a + 191. Does 22 divide v?
False
Let k = 1 + 0. Let r = k + 7. Let c = r - 3. Is 5 a factor of c?
True
Let w(m) = 3*m + 8*m**2 - 4*m + 0*m. Is w(-3) a multiple of 15?
True
Suppose -4*o = -11*o + 763. Does 31 divide o?
False
Suppose -2*u + 58 = -0*u. Is u a multiple of 4?
False
Let m be ((-1)/2)/(2/16). Let r be (-66)/m + 1/(-2). Suppose 2*k - 32 = r. Does 12 divide k?
True
Let i(q) = 6*q**2 + 7. Let m(o) = 6*o**2 + 6. Let r(c) = -3*i(c) + 4*m(c). Is r(3) a multiple of 19?
True
Suppose w - 28 = -5*y - 0*y, 16 = 2*y + 2*w. Is 19 a factor of (y/(-10))/((-2)/152)?
True
Let j(d) = d**3 - 4*d**2 + 4*d - 3. Let h be j(3). Suppose h*p = -p. Let g = 14 + p. Does 7 divide g?
True
Suppose 147 = 2*b + 3*o, 4*b - 6*o + o = 327. Is 26 a factor of b?
True
Is 9 a factor of -5*(-18 + 0 + 5)?
False
Let o be (1 - -7)*(-15)/12. Let u be (15/o)/((-1)/2). Suppose 2*x - 43 = u*p, 0 = -4*x - p + 28 + 65. Is x a multiple of 10?
False
Suppose p = 2*w - 2*p - 510, 3*p = w - 255. Does 15 divide w?
True
Let o(l) = 3*l**2 - 2 - 2*l**2 - 1. Let y(a) = a**2 + a - 4. Let x(c) = 5*o(c) - 4*y(c). Does 6 divide x(6)?
False
Let v(a) = -a + 19. Does 10 divide v(-11)?
True
Suppose t - 24*t = -207. Is t a multiple of 3?
True
Suppose -8 = 2*a - 4*a. Suppose -8 = q + 3*n + 5, -a*q + 5*n + 33 = 0. Is q even?
True
Suppose 2*z + z + u + 42 = 0, 0 = 2*z - 2*u + 28. Suppose 0 = 2*g - 0*g + 48. Is 4 a factor of (-2 + 9)*g/z?
True
Let d be 1/(-6) + 124/24. Suppose -2*v = -d*v + 18. Let z(i) = i + 5. Is 3 a factor of z(v)?
False
Let a(m) = -m**3 - 13*m**2 - 16*m - 16. Let x be a(-12). Let d(u) = u**2 + 6*u + 3. Let i be d(-6). Suppose 7*n - i*n = x. Is 8 a factor of n?
True
Is (-15)/(4/(-4))*2 a multiple of 7?
False
Let d = -8 + 18. Let g(r) = 3*r**2 - 23*r - 10. Does 21 divide g(d)?
False
Suppose s - 2*g - 8 = -4*s, 2*g + 8 = -s. Let m(z) = 2*z + 2*z + s*z. Is m(9) a multiple of 13?
False
Suppose 5*o = 4*a + 55, 0 = 2*o + o - 2*a - 35. Is 15 a factor of o?
True
Let r(m) = 2*m**2 + 4*m + 3. Let n be r(-2). Suppose -n*c = -c - 124. Suppose 4*g = f + 2*g - c, 5*f - 275 = 3*g. Is f a multiple of 15?
False
Let j be 12/24 + (-143)/(-2). Suppose -5*h + 2*h = -j. Is 24 a factor of h?
True
Let c(r) be the first derivative of -1/2*r**2 + 0*r + 7/3*r**3 + 1/4*r**4 - 4. Does 19 divide c(-5)?
False
Is (-8 - -70) + 0 + -2 a multiple of 20?
True
Let p be 1/((-3)/(-6)*1). Suppose 0 = 5*h + 2*v - 200, 71 = p*h - 0*h - v. Suppose -y - 3*u = -h, 0 = 4*y - 2*u + 6*u - 144. Is y a multiple of 13?
False
Suppose -75 = -2*c - 7. Let p = -22 + c. Suppose 4*z - 4 - p = 0. Is z a multiple of 2?
True
Let b be (24/(-10))/(6/(-20)). Let q = 9 - -2. Let l = q - b. Is l a multiple of 3?
True
Let c(s) = -s**3 + 7*s**2 + 9*s + 3. Suppose -t + 2*t = -5*m - 12, 5*t = -3*m + 6. Suppose w = -0*w + 5, 2*j + t*w = 31. Does 11 divide c(j)?
True
Let d be (1 + 0)/(3/78). Let i = 88 + -42. Let u = i - d. Does 10 divide u?
True
Let z(j) be the third derivative of 25*j**4/24 + j**3/3 - 2*j**2. Let w be z(-3). Does 16 divide (-1)/3 + w/(-3)?
False
Let m be 27 - (3 + 0/1). Suppose 3*w + 3*u = 6*u + 27, m = 4*w + 2*u. Is w even?
False
Let a = 6 + -4. Let v(u) = 2*u**2 - 2*u**a + u**2 - 11 + 2*u. Does 18 divide v(-9)?
False
Suppose 2*u + u = 0. Suppose u*r = -r + 10. Is 10 a factor of r?
True
Let x = 8 + -4. Let o = x - 3. Is 4 a factor of ((-3)/(-3))/(o/9)?
False
Suppose 520 = 3*y + 2*y. Suppose 2*d - y = 2. Does 13 divide d?
False
Suppose -2*a - a = -6. Suppose 4 = a*f - 14. Does 5 divide f?
False
Let w(d) = 2 - 2 - 2*d. Let j = -12 - -5. Is w(j) a multiple of 4?
False
Suppose i - 12 = -i. Suppose -3*m - n - 29 = -i*m, n + 37 = 4*m. Does 8 divide m?
True
Let w be 2 - (-5 + 1/(-1)). Let j = w + 1. Is 12 a factor of ((-108)/(-21))/(j/42)?
True
Let p be (-8)/(2 - 3 - 1). Suppose 3*j = -5*b + 7*j + 260, 5*j = p*b - 199. Is 14 a factor of (-9)/6*b/(-6)?
True
Suppose 4*h = 0, -2*h = y - 21 - 14. Is 30 a factor of y?
False
Let m(h) = 7*h**2 - 11*h + 10. Let a(g) = -6*g**2 + 10*g - 9. Let r(b) = -6*a(b) - 5*m(b). Does 3 divide r(5)?
False
Let s be ((-10)/8)/5*-16. Suppose -s*v + 6*g + 120 = 2*g, 3*g - 78 = -3*v. Is 14 a factor of v?
True
Let n(x) = 2*x**2 - 2*x + 1. Let u be n(1). Let p(b) = 6*b**3 - 2*b + 1. Let i be p(u). Suppose -3*y = -i*z + 139, 3*z - 101 = -z - y. Is 13 a factor of z?
True
Let g = -9 + 12. Suppose g*l + l - 156 = 0. Does 19 divide l?
False
Suppose 0 = a + 2*z + 8, 4*a - 2*z = -a - 16. Let m be (a - -1)/(6/4). Is m - 1/((-3)/90) a multiple of 10?
False
Let y = -10 - -10. Let g(a) = a**3 + a**2 + 23. Does 9 divide g(y)?
False
Let a(v) = v**2 + 12*v + 15. Let b be a(-11). Suppose -b*h = -h - 27. Suppose -h - 21 = -3*s. Does 7 divide s?
False
Let i = 9 - 10. Let r be (-6)/(-10)*(i - -6). Suppose -r*p + 203 = -25. Is 20 a factor of p?
False
Suppose 4*p - p = 21. Let x be 2/p + (-8)/28. Suppose x = -l + 3*l - 38. Does 9 divide l?
False
Suppose -2*y + 0*y = -8. Suppose -y*d - 121 = 2*x + 55, -3*d + x = 132. Is 8/d + 488/22 a multiple of 11?
True
Suppose -2*q + 2*u = u - 230, -4*q = u - 466. Is q a multiple of 15?
False
Suppose 0*x - 4*x + 2 = -b, -3*b - 6 = -2*x. Let n = -5 - b. Is 264/18 + 2/n a multiple of 6?
False
Let o(f) = 15*f - 3. Is 3 a factor of o(1)?
True
Suppose -25 = -5*y - 0. Suppose 2*t - 2 - y = b, 0 = -4*b - 4. Suppose -t*x = 4*o - 34, -3*o = x - o - 10. Is 6 a factor of x?
False
Is 5 a factor of 16 + (6 + -5)*-2?
False
Suppose -4*u - v + 4*v = -57, -5*v + 33 = 4*u. Let w be 0 + 0 + 35/7. Suppose -w*j = -6*j + u. Is 12 a factor of j?
True
Let a = -313 + 457. Is 16 a factor of a?
True
Let b(g) = -g**3 - g**2 - g. Let q(u) = -4*u - 4. Let d be q(-3). Let y = d + -11. Is b(y) a multiple of 19?
False
Suppose -17*v + 12*v = 110. Is 13 a factor of 2/(-11) + (-290)/v?
True
Let y be (-2)/3 + 22/6