l + 4*m, -14 = -l + 4*m. Suppose -5*t = -4*x + 29, 2*x - 47 = -l*x - t. Is x a multiple of 5?
False
Suppose -3*g - 2*g + 375 = 0. Is g a multiple of 15?
True
Let l(w) = w**2 - w - 3. Let d be 15/6*6/5. Let t be l(d). Suppose -5*m - 3*x + 86 = 0, m + 2*x = t*m - 28. Does 16 divide m?
True
Let k(v) = 7*v**3 - v**2. Let o be k(-1). Let d(f) = -5*f + 2. Is 14 a factor of d(o)?
True
Let z = 12 + -6. Suppose -z = v + 3*j, 26 = 5*v + 2*j + 4. Let c = 10 - v. Is c a multiple of 4?
True
Let b(z) = 2*z**2 + z - 2. Suppose -4*m - 4*y + 10 = 22, 5*m + 11 = -y. Let k be b(m). Is 6/((-1)/(-2)*k) a multiple of 3?
True
Let b be ((-20)/(-6))/((-3)/27). Does 17 divide (-1790)/b + 1/3?
False
Let w(d) = d**3 + 6*d**2 + 5*d + 3. Let u be w(-7). Let c = u + 135. Does 14 divide c?
False
Let f(y) = y**2 - 4*y - 5. Let k be f(6). Let h = k - -12. Is 13 a factor of h?
False
Let t be (-448)/(-12) + (-2)/6. Is (7 - t)/(6/(-4)) a multiple of 9?
False
Let t be (0 + (-6)/(-15))*-2350. Let w be (-6)/4 + t/(-8). Suppose 3*a - w = 4*q, 3*a = -3*q + 20 + 61. Is a a multiple of 16?
True
Let y(r) = r**2 - 11*r - 17. Let h = 19 - 6. Is y(h) a multiple of 3?
True
Suppose -2*b = -h - 9, 8*b = -3*h + 3*b + 17. Does 13 divide (h/2)/(8/(-832))?
True
Does 3 divide 34/8 - 12/(-16)?
False
Is 225/12 + 9/(-12) a multiple of 9?
True
Let d(w) = w**2 - 8*w + 4. Is d(8) even?
True
Let k be (8 - 14) + -1 + 2. Is 5 a factor of 4/(16/k)*-12?
True
Suppose -5*o - 15 = 0, 3*j + 20 = 4*j - 5*o. Suppose 0*c + 120 = j*c. Is 12 a factor of c?
True
Suppose 2*y - 6 = -2*d, -3*d = -y - d. Suppose y*t = 2*s - 36, -2*s + 9*t = 4*t - 36. Does 18 divide s?
True
Let m = -4 + 18. Is m a multiple of 7?
True
Let u = -8 - -47. Does 13 divide u?
True
Suppose 0 = 4*q - 158 - 10. Is 31 a factor of q?
False
Suppose -3*j - 5*f + 2 = -5*j, f = 0. Let w be j/((-2)/(84/1)). Is 3 a factor of w/8 + 3/(-12)?
False
Suppose 2*a + 5*o = 4*o + 12, 4*a - 44 = 3*o. Let n be -21*1/(-3) + -1. Suppose -n*k = -5*k - a. Does 4 divide k?
True
Suppose 3*k + 0*k = 3*p, -3*p - 3*k = -18. Suppose -t + h + 4 = 0, -h + p = 5. Suppose u + 19 = 3*i, 39 = 7*i - 2*i + t*u. Is i a multiple of 7?
True
Let p = 4 - 0. Let w(i) = 2*i**2 - 2*i + 2. Is w(p) a multiple of 12?
False
Let r be (-3 + 2 - -1) + 33. Suppose -r = -4*v + 3*v. Let h = 56 - v. Is 9 a factor of h?
False
Let a(v) = v**3 - 3*v**2 - 4*v + 3. Let k be a(4). Suppose -2*u = -k*u + 13. Is 13 a factor of u?
True
Let d = -265 - -436. Suppose -x + 4*c = -c - 43, c + d = 3*x. Does 14 divide x?
False
Let q = 8 + -4. Suppose -13 = -5*k - q*l, 0 = 3*l + 8 + 1. Is 5 a factor of k?
True
Suppose -v + 12 + 16 = 0. Let r = 73 - v. Is 10 a factor of r?
False
Suppose d - 25 = 2*c - 117, 5*c - 5*d - 220 = 0. Is 25 a factor of c?
False
Suppose -4*f = f + 10. Let v be (-4 - -2 - f)/(-1). Suppose 5*n - 20 = v, 4*n + 29 = 5*b - 0*n. Is b a multiple of 9?
True
Suppose -5*z + 27 + 176 = -4*q, z + 4*q - 31 = 0. Suppose z = 3*w - t, 20 = 3*w - 5*t - 31. Suppose -5*x - w = -32. Is 2 a factor of x?
True
Suppose -52 = -h - h. Is 13 a factor of h?
True
Suppose 2*a - 27 = -k, -24 = -2*a + k - 5*k. Is a a multiple of 2?
True
Let m(u) = 2*u**3 - 10*u**2 + 4*u + 1. Is 15 a factor of m(7)?
True
Let z be -9*2*(-5)/10. Suppose 4*a - 20 = 4*c, 0 + 8 = -4*c + a. Is (-6)/(c*z/6) a multiple of 4?
True
Let l(v) be the first derivative of v**4/4 + 5*v**3/3 - v**2 - 4*v + 1. Let g be l(-5). Let j = g + 5. Does 11 divide j?
True
Let r be 3/6 - (-3)/2. Let c(n) = -n**2 + 4 + n + 3*n**r - 8. Is 8 a factor of c(-4)?
True
Suppose -4*k + 268 - 108 = 0. Does 8 divide k?
True
Let y = -9 + 11. Suppose v = 5*v + y*s - 178, -5*v = -s - 205. Is v a multiple of 14?
True
Let z = 5 - 5. Let a be ((-4)/(-1))/(z + 2). Suppose -a*v + 34 = -14. Does 12 divide v?
True
Let l(o) = -11*o + 1. Let f be l(-4). Let c = f - 26. Does 19 divide c?
True
Let f = 1 - -2. Suppose j + 5*n + 4 = f*n, -2*j + n = -2. Suppose j = -z + 3 + 4. Does 7 divide z?
True
Let c(k) = -k**2 - 8*k + 10. Is c(-8) a multiple of 2?
True
Let m(j) = 2*j**2 + 3*j + 6. Let t be m(-4). Let y = t + 2. Does 16 divide y?
False
Let f be 2/4 + 15/6. Suppose 0 = 6*s - f*s. Suppose 0 = 5*y, 3*w - 24 = -s*w - 2*y. Does 4 divide w?
True
Suppose 4*z = 2*z - 14. Let t(d) = d + 15. Is 6 a factor of t(z)?
False
Suppose -5*o + 6 = -2*q + q, 0 = -2*o + q. Suppose -3*d + 105 = 3*b, -o*d = -2*b + 3*d + 49. Suppose -8 = -2*p + b. Is 10 a factor of p?
True
Let g(u) = u. Let m be ((-2)/(-4))/((-2)/(-4)). Let p be g(m). Suppose -i - 2 = -p, -4*c = 4*i - 52. Does 7 divide c?
True
Suppose b - 42 = -2*b. Is b a multiple of 10?
False
Let j = 10 + -8. Let a = 28 - j. Is a a multiple of 10?
False
Let u(d) = -54*d**2 + 6*d - 11. Let o(f) = 11*f**2 - f + 2. Let g(x) = 11*o(x) + 2*u(x). Is g(-1) a multiple of 12?
True
Let n = 36 - -29. Suppose -9 = -2*q + n. Is 11 a factor of q?
False
Let v = -58 + 214. Does 12 divide v?
True
Let w = 1 + 2. Let d = 23 - w. Does 10 divide d?
True
Suppose -8 = 4*u + 12. Does 4 divide ((-5)/(-1))/(u/(-15))?
False
Suppose 0 = -4*v + 4*j - 280, v + j = -2*j - 70. Let w = 108 + v. Suppose -h = h - w. Is h a multiple of 19?
True
Suppose -2*v - 4 = p - 4*p, -2*p + 12 = v. Suppose 5*q - 24 = 3*q + 4*j, 0 = 4*q - p*j - 28. Suppose 0 = -q*t + 7 + 9. Is 8 a factor of t?
True
Let n(w) = w + 3. Suppose 4 = 4*q - 5*q. Let o be n(q). Is -1 + o + (-42)/(-3) a multiple of 12?
True
Let z(u) = 7*u - 42. Is 3 a factor of z(12)?
True
Suppose 0 = -2*j + 2*q + 8, -20 = 6*q - q. Suppose o = -j*o - w + 60, -4 = -4*w. Does 12 divide o?
False
Is 10 a factor of (3 - 8 - 0)*-16?
True
Let f(n) be the third derivative of -n**4/24 - 2*n**3/3 - n**2. Let k be f(-3). Is (-8 + k)*(-3 - 0) a multiple of 10?
False
Let l(d) = 4*d. Let o be l(1). Let x(r) = -r**2 + 5*r - 2. Let b be x(o). Suppose 4*w = b*v + 126, -5 - 13 = -w - 4*v. Is 15 a factor of w?
True
Suppose 2*c - 10 = 5*d + 11, 0 = 2*c + 2*d. Suppose -y = c*y. Is 22 a factor of ((-132)/(-9) + y)*3?
True
Let k be (4/((-12)/21))/1. Let i = k + 11. Suppose 3*t + i = 19. Is t a multiple of 2?
False
Let b = -36 + 116. Suppose -4*r + b = r. Does 8 divide r?
True
Let b(p) = p**2 - 7*p - 8. Let c be b(8). Suppose -v + c*v = -31. Does 15 divide v?
False
Let a(c) = -2*c**2 - 7*c - 1 + c**2 - 2. Let f be a(-6). Suppose 0 = l + f*l - v - 69, -5*v = -2*l + 57. Is 8 a factor of l?
True
Suppose 0 = -4*z - 138 - 1890. Let o be (-6)/(-27) + z/(-27). Let w = -12 + o. Is 4 a factor of w?
False
Let g be (-56)/9 - (-4)/18. Let m = 1 - g. Is m even?
False
Let m = -9 - -13. Suppose 19 = v + b, v - 2*b = -m*b + 16. Is 11 a factor of v?
True
Let k(a) = -a**3 + 3*a**2 - 3*a + 2. Suppose 2*o - 4 = 2*p, -o - 1 - 3 = -4*p. Let t be k(p). Suppose 220 = 5*n - t*n - b, 0 = 4*b - 20. Is 15 a factor of n?
True
Let b = -53 - -78. Suppose 4*z = b + 59. Does 9 divide z?
False
Suppose -110 = -4*z - 0*w + w, -3*w + 34 = z. Is z a multiple of 10?
False
Let w = -1 + 4. Suppose w*z + 0*z - 9 = 0. Is z even?
False
Suppose 4*g = 7 + 5, -5*g = 4*a - 43. Suppose a*c - 65 = 2*c. Does 11 divide c?
False
Let q(y) = 2*y**2 + 8*y - 17. Is 25 a factor of q(-7)?
True
Suppose -8*w = -5*w - 342. Is 38 a factor of w?
True
Let r be (3/3 - 2)*-3. Let p be (r/(-4))/((-3)/144). Suppose -h + 4*h - p = 0. Is 6 a factor of h?
True
Let v = 9 + -7. Suppose -v*w + 34 = w - 4*u, -3*w + u + 22 = 0. Is 6 a factor of w?
True
Let a be 1/(-2) - 1/2. Let j be (5 + -7)*(a - -2). Let w = 12 - j. Does 14 divide w?
True
Let h = 62 + -38. Does 6 divide (-20)/1*h/(-30)?
False
Suppose 2*v - 5*j = -3*j + 92, -130 = -3*v - 5*j. Is v a multiple of 7?
False
Let a(c) = -9*c**2 - 6*c - 5. Let k(n) = -8*n**2 - 5*n - 4. Let m(i) = 6*a(i) - 7*k(i). Is m(4) a multiple of 8?
False
Suppose 50 = 5*f - 5*a, 0*a = 4*f + a - 25. Let u = 122 + 219. Does 15 divide u/f + 4/14?
False
Suppose -59 = -4*u + r, 0*u + 29 = u - 5*r. Is 7 a factor of u?
True
Suppose 3*n - 14 - 9 = 4*m, n + 5*m = -5. Suppose 4*i + 8 = -3*y + 1, -i + n*y = -27. Suppose -5*o - i*s = -185, 0*o = 2*o - 2*s - 88. Is 15 a factor of o?
False
Suppose 2*b - 2 = 46. Suppose 26 + b = 5*z. Is 10 a factor of z?
True
Suppose 0 = 4*s + 505 - 1225. Is s a multiple of 30?
True
Let j = -27 - -23. Let b(r) = -r**2 - 2*r + 2. Let i be b(5). Let g = j - i. Does 12 divide g?
False
Suppose 3*i - 45 = -0*