8) a multiple of 11?
True
Let z be (-2)/6 + (-86)/(-6). Suppose 4*n = 2*n + z. Let y = n - 3. Is 2 a factor of y?
True
Let r = -123 - -179. Does 14 divide r?
True
Suppose 4*x = 4*k - 12, -x = -2*k + 2 + 4. Suppose -3*q + 8 - 2 = x. Suppose q*l = -9 + 55. Is 23 a factor of l?
True
Does 12 divide 4 - (-4 + (4 - 32))?
True
Let x be -132*1/(5 - 3). Is x/(-1) + -3 + 0 a multiple of 21?
True
Suppose 6*v - 10 = -4*v. Let y(o) = 16*o**2 - 5*o + 5. Let t(z) = -48*z**2 + 14*z - 14. Let b(d) = -4*t(d) - 11*y(d). Does 8 divide b(v)?
True
Let z = -16 + 8. Let m be ((-7)/(-4))/((-3)/(-24)). Let j = m + z. Is j a multiple of 6?
True
Does 28 divide (-388)/(-14) - (-22)/77?
True
Suppose 0 + 12 = -2*l. Suppose 2*a - 436 = -0*a. Is 15 a factor of a/6 - 4/l?
False
Let b = -96 - -34. Let g = -41 - b. Does 7 divide g?
True
Let w = -11 + 34. Is 4 a factor of w?
False
Suppose -16*i = -9*i - 840. Is i a multiple of 44?
False
Let j = -48 - -78. Is 10 a factor of (-6)/j - (-71)/5?
False
Let x = -16 + 4. Is 7 a factor of (-1)/2 + (-114)/x?
False
Is 14 a factor of (45 - 0/2) + 4?
False
Let s = -134 + 180. Does 46 divide s?
True
Let a = -4 + 7. Suppose 5*s + 26 = a*g + s, -4*s - 20 = 0. Suppose -3*m - 33 = -k - m, k = -g*m + 33. Does 14 divide k?
False
Suppose -t - 4*i + 23 = 0, i = 4*i - 15. Suppose t*f + 0*f = 9. Does 10 divide (14/(-4))/(f/(-12))?
False
Let u(v) = v + 10. Let z(l) = -l - 10. Let m(y) = 5*u(y) + 4*z(y). Is 3 a factor of m(0)?
False
Suppose -240 = 3*w - 6*w - 4*c, 4*w - 3*c = 295. Does 16 divide w?
False
Let x = -5 - -5. Suppose -2*r = -3*v - 3*r + 42, x = -3*v + 4*r + 42. Does 5 divide v?
False
Let a(o) = -o**3 + 2*o**2 + 2*o - 2. Let u be a(2). Let g be u/(-2)*-1 + -38. Let v = g + 54. Does 17 divide v?
True
Let r(h) = -h**2 + 5*h. Let z be r(4). Let u be (z/2)/(2/9). Let m = 1 + u. Is m a multiple of 8?
False
Let f be (1/3)/(5/30). Let j = 10 - f. Is j a multiple of 4?
True
Let a(d) = 3*d - 2. Let f be a(2). Is (f/2)/(8/76) a multiple of 9?
False
Suppose -233 = -5*d + 367. Does 24 divide d?
True
Let l = 74 + -27. Does 3 divide l?
False
Suppose 3*w + 48 = -w. Let q be w/5 - 3/5. Does 14 divide ((-28)/5)/(q/15)?
True
Let i = -20 - -30. Suppose 7*o = 2*o + i. Suppose -o*h + 36 = -58. Does 17 divide h?
False
Suppose -z = 5*z - 48. Let d(c) = 7*c**2 - 3 + 7*c + 5*c - 5 - c**3. Is 8 a factor of d(z)?
True
Suppose -7*k + 2220 = 3*k. Is k a multiple of 10?
False
Suppose 54 = 4*u + 2*u. Does 9 divide u?
True
Let o(d) = -40*d + 1. Is 49 a factor of o(-8)?
False
Let t(g) be the first derivative of -3*g**4/4 + g**3 + g**2/2 + 2. Does 17 divide t(-2)?
True
Suppose 3*p + 5*w = 2*w + 120, 0 = -2*p + w + 83. Let x = p - 26. Does 4 divide x?
False
Is 7 a factor of -1 + 4 - (-38)/1?
False
Let b be (-4)/2 + -2 + 12. Suppose -w + 4*k = -k - b, w - 3*k - 14 = 0. Does 19 divide w?
False
Suppose -4*k + 43 = 3*c, 3*c - 2*k = -2*c + 89. Suppose t - c = 15. Is 10 a factor of t?
False
Let n be (-1346)/(-8) - 3/12. Is 5 a factor of 36/7*n/36?
False
Let d be ((-8)/6)/((-4)/(-6)). Let s be d/(-7) - 316/28. Let n = -8 - s. Is n even?
False
Let r = -7 - -11. Suppose -r*b + 60 = b. Is 6 a factor of b?
True
Let p = 2 + 62. Let r = p + -33. Is r a multiple of 26?
False
Suppose -21 + 1 = -4*d. Suppose -1 = -b - d. Let j(o) = -6*o - 2. Is 11 a factor of j(b)?
True
Suppose -3*x + 2*s = -5, 0 = 5*x - 3*s - 2 - 7. Let m = x + 1. Suppose -3*p - 9 = -m*p. Is 7 a factor of p?
False
Let l(v) = 2*v**3 - 2*v**2 + 3*v - 2. Let h be 46/10 - 4/(-10). Suppose -4*f - f + 5*n = -30, 0 = h*f - 3*n - 22. Is 12 a factor of l(f)?
True
Let q be (-3)/9 + 13/3. Let y(w) = w. Is y(q) even?
True
Is ((-1)/(-2) - -1)*34 a multiple of 33?
False
Let y = 530 - 371. Is y a multiple of 12?
False
Suppose -3*r + r + 5*y - 14 = 0, -8 = -2*y. Suppose 4*w = u + 7, u - r*u = -2*w - 4. Is 3 a factor of w?
True
Let l be (2/(-6))/(3/63). Let i(z) = -5*z - 10. Does 11 divide i(l)?
False
Let q = 3 + -9. Is 22 a factor of ((-4)/10)/(q/390)?
False
Suppose -3*s + 77 = -73. Is 10 a factor of s?
True
Let x(r) = 2*r - 1. Let b be x(3). Let f = 5 - b. Suppose 0 = -y - p + 4, -y - y - p + 10 = f. Is y a multiple of 3?
True
Suppose 6*f = f + 65. Is f a multiple of 7?
False
Let i = 207 - 115. Suppose -6*h + i = -2*h. Is 23 a factor of h?
True
Let z be (2 - 4)*1 - -1. Is 7 a factor of -2*((-23)/2 + z)?
False
Suppose -3*u - 34 = -4*u. Is 6 a factor of u?
False
Let t(j) = j**3 - 11*j**2 + 11*j + 1. Does 31 divide t(11)?
False
Suppose -4*m + 20 - 4 = 0, 13 = 3*i + 4*m. Is 0 + 32 - (-2)/i a multiple of 8?
False
Let g(b) = -b**3 + 9*b**2 + 10*b + 6. Let y be g(10). Suppose -180 = -y*n + n. Is 18 a factor of n?
True
Let p be (4/(-6))/((-5)/(-30)). Let j = p + 0. Does 7 divide ((-6)/j)/((-6)/(-56))?
True
Suppose -f + 6*f = 25. Let n(x) = x - 2. Let q be n(3). Let d = q + f. Is 3 a factor of d?
True
Suppose 0 = -2*s + 219 - 39. Suppose -5*m = -5*l + 25, 5*m + l + 3 - 8 = 0. Suppose -2*p + m*p = -s. Does 15 divide p?
True
Suppose f = 4*r + 5 - 0, 5*r + 4 = -f. Is 12 a factor of (32/(-20))/(f/(-15))?
True
Let z(j) = -j + 1. Let u(o) = -o**2 + 6*o - 4. Let n(x) = -u(x) + 3*z(x). Does 17 divide n(10)?
True
Let d = -177 + 452. Suppose 5*b + 3*c = -21 + d, 4*b - c = 193. Let j = -28 + b. Is 6 a factor of j?
False
Let l = 0 - -1. Suppose d - 3*r - l = 0, -2*d + 4*d + 5*r = 57. Is 7 a factor of d?
False
Let m(o) = -o**2 + 4. Let c be m(-5). Let z = 11 + c. Let u = 20 + z. Is u a multiple of 9?
False
Let c = 2 - 2. Suppose -5*l + 2 = 2*s + 6, c = -4*l - 8. Is s a multiple of 3?
True
Let z = 8 - 7. Let s be -2*z + (-1 - -30). Let p = s + -6. Is 7 a factor of p?
True
Let n be 2/(-4) - 2/(-4). Suppose n = 2*h - 0*h - 112. Is 12 a factor of h?
False
Let r(c) = 5*c + 20 - 23 + c**3 - 2*c + 8*c**2. Is r(-6) a multiple of 17?
True
Suppose 3*c + 5*s - 26 = 0, -20 = -4*c - 2*s - s. Let n(t) = 5 + t + 0*t**c + t**2 + 0. Is 2 a factor of n(0)?
False
Suppose -5*w + 7 = -2*k + 16, 1 = -w. Does 2 divide 1/(1/k - 0)?
True
Let y(q) = 9*q - 15. Does 12 divide y(7)?
True
Suppose 7*s - 218 = 223. Suppose -2*l + s = 5*y - 25, y = 4. Does 17 divide l?
True
Suppose -63*v + 455 = -58*v. Is 9 a factor of v?
False
Let y = 1 - -1. Suppose 2*t - 8 = -y*t. Suppose 0*u = t*u - 72. Is 13 a factor of u?
False
Let q(k) = k**3 + k**2 + 22. Let x be q(0). Suppose -5*v - 6 - 4 = -5*h, -v + 5*h = x. Suppose s - 2*s + v = 0. Does 2 divide s?
False
Suppose -b + 6 = -3. Let h = b - 6. Suppose 49 = -h*m + 115. Does 11 divide m?
True
Let h = 0 + 1. Let i(x) be the second derivative of 13*x**4/12 - x**3/6 + x**2/2 - 5*x. Is 5 a factor of i(h)?
False
Let t = -5 + 9. Suppose p = 4*j - t*p - 13, -3*j = 5*p - 1. Let o(u) = 11*u - 2. Is o(j) a multiple of 10?
True
Suppose 3 = f + 4. Does 3 divide (5/(-10))/(f/18)?
True
Suppose -5*r - 16 = -4*p + 9, 7 = p - r. Is p a multiple of 5?
True
Let k(a) = a**3 - 2*a**2 - 2*a. Let w be k(3). Suppose 4*c + 16 = 4*g - 36, 5*g = w*c + 67. Is 6 a factor of g?
False
Suppose -2*c - 2 = -0. Does 21 divide (c - (-88)/2) + -1?
True
Suppose 4*m = 4*d - 712, -3*d + m = 58 - 596. Is 30 a factor of d?
True
Let v(m) = 7*m - 3. Let k be v(2). Let q = k + 2. Does 7 divide q?
False
Let z = -6 - -6. Suppose z = -0*l - 5*l - 15. Is 3 a factor of ((-15)/(0 - l))/(-1)?
False
Suppose 67 + 35 = 2*o. Is o a multiple of 17?
True
Let b(v) = v**3 + 5*v**2 - 4*v. Let p be b(-5). Is 18 a factor of p - (2 - -4)/3?
True
Suppose -s - 2*a = 1 + 1, -3*s - 4*a - 6 = 0. Let c be (5/(5/2))/s. Is 17/((c - 0) + 2) a multiple of 17?
True
Let m(v) = v**3 + 3*v**2 + 3. Let q be m(3). Suppose 3*l = 6*l - q. Is l a multiple of 9?
False
Let c = -109 + 181. Does 18 divide c?
True
Suppose -50 = -0*v - 5*v. Let s = 14 + v. Suppose 7*a - s = 3*a. Does 6 divide a?
True
Let p = 20 - 15. Suppose 5*w = u + u - 55, u = -5*w + p. Is 4 a factor of u?
True
Let u = -11 - 3. Let s = u + 20. Is s even?
True
Suppose 3 = -z + 1. Let n(s) be the second derivative of -3*s**5/20 - s**3/2 - s**2/2 - s. Does 18 divide n(z)?
False
Let t(r) = r**3 - 17*r**2 + 20*r + 10. Is t(16) a multiple of 19?
False
Let g be 24/16*(-8)/(-6). Suppose y + 4*t - 72 = -2*y, 72 = 3*y + g*t. Is y a multiple of 15?
False
Let c = 9 - 15. Suppose 3 = -3*u, -3*y + 78 = 5*u + 20. Let d = c + y. Is 15 a factor of d?
True
Suppose 2*w = -0*w - 6, 2*w + 