(-10)?
False
Let r = -38 + 63. Is r a multiple of 22?
False
Suppose 0 = -4*z + 4*i + 116, -3*z + 0*i = i - 67. Let d = z + -16. Does 5 divide d?
False
Suppose -2*k = 2*k - 36. Suppose 0 = 3*n - k - 3. Suppose -80 = -n*x + 4*c, -5*x + 25 + 25 = 5*c. Is x a multiple of 6?
False
Let u(k) = k**3 + 8*k**2 + 5*k - 11. Let b be u(-9). Let m = -72 - b. Let q = m - 31. Does 17 divide q?
True
Suppose -6*b = 14 - 128. Is 8 a factor of b?
False
Let f = 0 - 8. Let k(t) = t**2 - 4*t - 4. Is 15 a factor of k(f)?
False
Suppose -5*r = 5*d - 20, -5*r + 13 = 2*d - 4*d. Let o(m) = 38*m**3 + 2*m**2 - m. Is 13 a factor of o(d)?
True
Suppose -16 = 3*d - 100. Is 5 a factor of d?
False
Let z = 1 - -5. Let u(n) = -1 - 1 + 3*n - 1. Is u(z) a multiple of 6?
False
Let h = -87 + 44. Let b = h - -76. Suppose -4*y + 15 = -b. Does 12 divide y?
True
Let o(s) = 7*s**2 - 4*s + 3. Let f be o(3). Does 9 divide (f/(-4))/(2/(-4))?
True
Let t(u) = u**2 + u + 4. Does 27 divide t(7)?
False
Let y = 14 - 12. Suppose -y*q + 4*q - 37 = -5*u, -q - u + 14 = 0. Does 9 divide q?
False
Let b(c) = -6*c - 7. Is b(-6) a multiple of 16?
False
Does 18 divide (-96)/28*(-42)/4?
True
Let s be (-3)/2 + 147/6. Suppose -4*k + 5*u = -128, -4*k = 4*u - 105 - s. Is 12 a factor of k?
False
Suppose 5 = -u - 4*y + 16, 2*u + 3*y - 7 = 0. Let m be (13 - 3)/(u + 3). Let v(l) = 8*l - 7. Does 20 divide v(m)?
False
Suppose -2*o + t = -9, 0 = 2*o - 0*t - 2*t - 12. Suppose -o = -3*l + 3. Suppose -l*k = -5*k + 27. Does 4 divide k?
False
Let n(i) = 2*i**3 + 6*i**2 + 3*i + 4. Let t be n(-4). Let d = -14 - t. Is d a multiple of 21?
False
Let y = -11 + 98. Is y a multiple of 29?
True
Let b(w) = -2*w + 5. Let j be b(0). Let f(c) = c**3 - 4*c**2 - 3*c + 7. Does 5 divide f(j)?
False
Let d be (3/(-2))/(3/(-6)). Suppose f + 67 = 3*f - 3*b, 4*f - 125 = d*b. Is 16 a factor of f?
False
Suppose 0*v + 80 = 4*v. Suppose -4*a = -t + v, 4*a = -t - 0*a + 4. Is 12 a factor of t?
True
Suppose -r = -2*c + 259, 3*r = 3*c + 91 - 478. Is c a multiple of 13?
True
Suppose 4*d = 11*d - 1113. Is d a multiple of 22?
False
Let j = -87 + 39. Is (-4)/(-6) + (-1840)/j a multiple of 13?
True
Let z(m) = 5*m**2 + 6*m + 6. Suppose 5*g + 7 = 3*k - 6, 0 = 2*g - 2. Let x(j) = -4*j**2 - 5*j - 5. Let w(y) = k*x(y) + 5*z(y). Is w(-2) a multiple of 4?
True
Suppose 3*f + 2*g - 74 = f, 0 = -g + 4. Does 9 divide f?
False
Let w(r) = 24*r - 2. Let k be w(2). Suppose 6*a - 3*a - 177 = -5*n, k = 2*n - 5*a. Is n a multiple of 18?
False
Let p(u) = 141*u - 1. Let a be p(1). Let z be a/63 + (-4)/18. Suppose 4 = -z*t + 3*t. Is 4 a factor of t?
True
Suppose -2*u + 187 = 3*m - 501, -3*m = -u - 700. Is 32 a factor of m?
False
Let j = -58 + 106. Is 8 a factor of j?
True
Does 4 divide 25 + (-3 - -3) - 3?
False
Let g(d) = d**2 - 3*d + 1. Let k be g(5). Suppose -k - 10 = -3*s. Is 7 a factor of s?
True
Suppose 5*k + 20 = 3*k. Let q = -53 + k. Is (-4)/(-10) + q/(-5) a multiple of 13?
True
Suppose -n = -4*n + 33. Suppose -2*h + 3*h - 2*k = n, h - 23 = -k. Is 13 a factor of h?
False
Let y(s) = -s + 3 - 4 + 3 - 3. Let i be y(-6). Suppose -3*k + 21 = -4*c, -i*k - c = -2*c - 52. Is 11 a factor of k?
True
Let p be (3/(-3))/((-1)/(-4)). Let k = -64 + 56. Does 18 divide (p/k)/((-2)/(-96))?
False
Let p(j) = 4*j**2 + 9*j - 12. Let k be p(-8). Let b = k - 112. Is 20 a factor of b?
True
Suppose -2*i = -13 + 3. Suppose -i*q = -10 - 5. Suppose 5*a - p - p - 119 = 0, 0 = -a - q*p + 17. Does 10 divide a?
False
Suppose -5*x + 5 = -10. Suppose 0*o - 78 = -x*o. Suppose 3*r + u = o, 16 = -4*u - 0*u. Is r a multiple of 10?
True
Suppose 0 = 4*b + 1 + 3. Does 12 divide b + 62 + -6 + 4?
False
Let c = 1 + -2. Let m(q) = -3*q - 1. Let v be m(c). Suppose v*s - 3 = 5. Does 4 divide s?
True
Let n(w) = w**2 + 16. Let g be (7 + -8)*(-1 - -1). Does 16 divide n(g)?
True
Suppose 3*r + 2 = -2*k - 17, -4*r - 4*k = 32. Let y(t) be the third derivative of -t**6/120 - t**5/30 + t**4/12 + t**3/2 - 2*t**2. Is y(r) a multiple of 3?
True
Let l = -204 + 88. Is 19 a factor of l/(-3) + (-2)/3?
True
Let j = 119 - 26. Let b = 168 + -114. Let k = j - b. Is 20 a factor of k?
False
Suppose -2*h + 62 = 5*z, 5*h - 5*z - 141 = -21. Is 16 a factor of h?
False
Let x(p) = -p**3 - 3*p**2 + 2*p - 3. Let g be -3 - 0/3 - 1. Is x(g) a multiple of 4?
False
Suppose -g + r = 2*r + 6, g + 12 = 2*r. Let d be g/(-20) - (-36)/10. Suppose 2*q + 2*l = l + 15, 51 = d*q - 5*l. Does 9 divide q?
True
Let c(b) = -6*b + 4. Suppose -5*f - 2*j = 23, -4*f + 4*j = -f - 7. Is c(f) a multiple of 11?
True
Suppose -156 = -5*r + 159. Does 21 divide r?
True
Let r(i) = -i**3 + 6*i + 12. Is 64 a factor of r(-6)?
True
Let b = 12 - 10. Suppose -b*u + 216 = 4*s, -4*s - 5*u + 152 = -64. Is 12 a factor of s?
False
Suppose 0 = -4*c + 2*i - 98 + 388, -5*c = -4*i - 364. Let b = 64 - 61. Suppose c = -q + b*q. Is q a multiple of 18?
True
Let a(b) = b**2 + 6*b + 8. Does 3 divide a(-6)?
False
Suppose 372 = d + 3*d + 3*s, -4*d + 2*s = -372. Let l be (-1)/(-4) + d/12. Suppose -62 - l = -5*a. Is a a multiple of 5?
False
Let k be 2*(-2 + 1) - -2. Suppose -5*v = 3*h, k = 5*h + v - 9 - 13. Suppose h*u - 3*n - 1 - 74 = 0, 0 = 3*u + 2*n - 26. Is 12 a factor of u?
True
Let i(n) = n**2 - 3*n. Suppose k = -2*k + 12. Is 4 a factor of i(k)?
True
Suppose 6 = 2*a - 14. Is 2 a factor of a?
True
Let c be (-153)/(-5) + (-15)/25. Suppose -8 = -j + 2*g, -2*j - c = -4*j - 3*g. Is j a multiple of 11?
False
Suppose -4*o + 388 = 4*w, 6*w - 3*o = 4*w + 209. Does 10 divide w?
True
Suppose -a + 0 + 9 = 0. Suppose -3*b + 0*b + a = 0. Is b a multiple of 3?
True
Does 23 divide ((-23)/2)/((-570)/(-144) + -4)?
True
Suppose 0 = 3*t + 2*b - 236, 2*t = 2*b - 7*b + 150. Is 8 a factor of t?
True
Suppose 4*x - 2*x + 4*j = 8, -4*x = 4*j - 24. Does 8 divide x?
True
Is (-153)/(-6)*(2 + 0) a multiple of 12?
False
Suppose -5*o + 3*o = -4*b + 6, 4*b - 12 = 0. Suppose o*c = 49 + 176. Is c a multiple of 19?
False
Let o(f) = -f**3 + 16. Suppose a - 6 + 0 = 0. Let s = a + -6. Is o(s) a multiple of 16?
True
Let v be -2 - (-4)/2 - -2. Suppose 0 = -3*w + 2*r + 130, r + 107 - 22 = v*w. Is 3 a factor of w/(-6)*(-6)/5?
False
Suppose -3*n + 101 = 2*p, -p = -3*n + n - 33. Does 19 divide p?
False
Let n be -3 + (2/1)/(-2). Let i be (n/(-10))/((-2)/(-70)). Is (-3)/(2*(-1)/i) a multiple of 7?
True
Let o(i) = -i**3 + i**2 - 2*i + 40. Is 8 a factor of o(0)?
True
Let d(l) = 3*l - 3 + 1 + 3*l**2 + 6. Is d(-3) a multiple of 11?
True
Let w(f) = 2*f**3 - f**2 + 2*f - 2. Let z be w(2). Let o = z + -5. Does 9 divide o?
True
Let v = 42 + -15. Suppose 3*p = 4*p - v. Is 10 a factor of p + 3/3 + 1?
False
Let z be -9*4*(-4)/3. Suppose 7*v - 2*g - 64 = 3*v, 0 = -3*v + g + z. Is 16 a factor of v?
True
Suppose 20 = -4*s + 276. Does 16 divide s?
True
Suppose 3*d + d = 72. Suppose 0*q + d = q. Does 6 divide q?
True
Suppose -v - 8 = -3*v. Suppose 10 = -v*b + 5*b. Is b/(-15) + (-8)/(-3) even?
True
Suppose t = 3*t. Let y be t/(-2) + (-7 - 1). Let q = 13 + y. Is q a multiple of 2?
False
Suppose -i + 4*h = 32 + 12, -5 = -h. Let j be (1/2)/((-3)/i). Suppose -j*a = a + 5, 3*u - 4*a - 34 = 0. Is u a multiple of 10?
True
Let f(l) = -3*l + 5. Let o be f(-5). Let g = 29 - o. Does 8 divide g?
False
Let v(d) = -18*d - 38. Is 32 a factor of v(-7)?
False
Let d be (12/(-15))/(6/(-15)). Suppose -4*a = -3*a - 2*i - 16, a = 5*i + 31. Suppose -a*v = -d*v - 112. Does 14 divide v?
True
Let t(c) = -3*c**3 - 21*c**2 + 4*c + 21. Let h(l) = 5*l**3 + 32*l**2 - 6*l - 32. Let w(o) = -5*h(o) - 8*t(o). Let d be w(7). Is 6 a factor of (4/3)/(6/d)?
True
Let w be 1/((-1)/(-1))*-7. Let u = w - -11. Is u a multiple of 2?
True
Let l(h) = 6*h + 2. Let t be l(-4). Is 7 a factor of 1464/66 - (-4)/t?
False
Is (1 - (-4 - -5))/(-2) - -76 a multiple of 15?
False
Suppose 0 = -0*u - 3*u + 63. Let n = u + -8. Suppose 4*k - 49 = -n. Is 9 a factor of k?
True
Let o = 91 + -62. Is 15 a factor of o?
False
Suppose 5*m = -5*g + 395, -3*g = m + 2*g - 79. Suppose -2*j - 3*r + m = -0*r, -25 = -5*r. Let q = j - 19. Is q a multiple of 8?
False
Let d be 6/9 - 136/6. Let o = -14 - d. Is o a multiple of 4?
True
Suppose -5*r + 681 - 16 = 0. Is 19 a factor of r?
True
Suppose 0 = 3*o - 5*l - 348, -3*o + 8*o - 570 = 5*l. Is o a multiple of 30?
False
Suppose -231 = -12*m + 957. Is 11 a factor of m?
True
Let t(f) = 6*f + 