8 divide x?
True
Is 19 a factor of -3*(166/(-6) - 4)?
True
Let b = 168 + 30. Is b a multiple of 22?
True
Is 17 a factor of -4*4*(-4)/2?
False
Suppose 16 = -2*k - 3*k + 2*m, -2*k + 5*m = 19. Let r(z) = -3*z**3 - z + 1. Does 9 divide r(k)?
True
Let v(o) = o**2 - 2*o - 2. Does 12 divide v(6)?
False
Suppose -5*t = 2*i - 36, 4*t = 2*i - 0*i. Suppose 2*a + 2*a = 20. Suppose -7*c = -a*d - 3*c + 13, -i = -d - c. Is d a multiple of 5?
True
Is (4 + 295/25)*5 a multiple of 20?
False
Let w = -18 + 86. Does 8 divide w?
False
Suppose 12*c = 2*c + 510. Is c a multiple of 17?
True
Let r = 53 - 31. Is 22 a factor of r?
True
Let r be (9/(3/3))/(-1). Let j(a) = -14*a - 3. Let t be j(-2). Let l = r + t. Is 16 a factor of l?
True
Let v be (-3)/(-4)*2*2. Suppose v = -w + 6. Is 9 a factor of 57/w + 0 + -1?
True
Suppose -o - 2 = -4*j + 6, -2*o + 5*j - 25 = 0. Let z = 60 + o. Is z a multiple of 20?
True
Suppose 0 = -3*d + 9 + 3. Let t(a) = 3*a**2 - 3*a + 2. Is 14 a factor of t(d)?
False
Let c(g) = 76*g**2 + 5*g - 3. Let l be c(3). Is l/10 - (-30)/75 a multiple of 14?
True
Let l(a) be the third derivative of -1/2*a**3 + 1/60*a**5 - 5/24*a**4 + 0 + 0*a + 3*a**2. Is 4 a factor of l(7)?
False
Suppose 3*w + 2*x = 238, -2*w - 11*x + 6*x = -166. Does 14 divide w?
False
Let x be 8/8 + (2 - -397). Suppose -5*f - 90 + x = 0. Is 31 a factor of f?
True
Let u = -43 + -17. Let s = 96 + u. Does 7 divide s?
False
Suppose 218 = 2*a + 4*k, -4*a + 6*a - k - 238 = 0. Is 10 a factor of a?
False
Let u(a) = 2*a**2 + 6*a - 2. Does 18 divide u(4)?
True
Suppose p + 3 = 6. Suppose 0*a = p*a - 102. Suppose -5*w + a = -16. Does 7 divide w?
False
Let w = -13 + 19. Let b be (4 - 1)/w*10. Let i(v) = 6*v. Is 15 a factor of i(b)?
True
Suppose 0 = -4*s - 20, -3*q + q + 112 = -2*s. Does 12 divide q?
False
Let k be 1/(2/(-4)*-1). Let n = k - -3. Is 5 a factor of n?
True
Suppose 0 = 2*d - 3*n, -2*d + 5*n - 4 - 4 = 0. Is d a multiple of 6?
True
Suppose 0*f = 4*f + 20. Does 10 divide 339/15 - (-3)/f?
False
Let c(g) = -g**3 - 5*g**2 - 5*g + 1. Let a be c(-4). Let x(l) = l**2 - l - 5. Is 5 a factor of x(a)?
True
Let c = -14 + 16. Suppose -c*j - 152 = -4*a + 3*j, -5*j - 185 = -5*a. Is 10 a factor of a?
False
Let h = 312 + -78. Is 26 a factor of h?
True
Let d(u) = u**2 + u. Let z be d(0). Suppose p + 2*p = z. Suppose -b + 5*s - 2*s = -29, p = 3*b - 4*s - 87. Does 13 divide b?
False
Let m = 36 - 22. Is 4 a factor of 4/(-14) + 116/m?
True
Let w(q) = -q**3 - 13*q**2 - 5*q - 39. Does 5 divide w(-13)?
False
Let i = 14 - -21. Is i a multiple of 14?
False
Let h = -22 + 16. Let t(s) = 2 - 3 - 4*s + 0*s. Is t(h) a multiple of 15?
False
Let f(v) = 62*v - 1. Let c be f(-1). Is 12 a factor of 6/(-12) + c/(-2)?
False
Let b(k) be the third derivative of -k**5/60 - k**4/8 + k**3/2 - 3*k**2. Suppose 8 + 1 = -3*q. Is b(q) a multiple of 3?
True
Suppose -4*v - 3*i = -6*v + 6, 3*v - i = 2. Let j be -1 + 4 + v/(-1). Suppose -j*h - 21 - 3 = -3*m, 0 = 3*m - h - 32. Is m a multiple of 6?
True
Let y(b) = b**2 - 4*b - 72. Is y(12) a multiple of 11?
False
Let w(o) = -2*o - 3. Let k be w(-3). Suppose 0 = -k*y + 263 - 110. Is 17 a factor of y?
True
Let a(c) = -c + 1. Let f be 3 + -2 - (11 - 1). Let p be a(f). Is 4/p - 212/(-20) a multiple of 4?
False
Let m be (-6)/(-8) - (-627)/12. Suppose 3*f - 77 = -v, -2*f + 3*v - 2*v = -m. Is 18 a factor of f?
False
Let w(j) = j**3 + 15*j**2 + 6. Is 2 a factor of w(-15)?
True
Let o(s) = 304*s - 2. Let t be o(-3). Let v be 6/15 + t/10. Let h = -65 - v. Does 9 divide h?
False
Let n(w) = 9*w**2 + 5*w. Does 29 divide n(-5)?
False
Suppose 53 + 77 = 2*t. Is 13 a factor of t?
True
Let f(u) = 2*u**2 - 7*u + 5. Suppose -y + 5 = -q + 1, -y = 3*q - 12. Let l be f(y). Let g = l + -13. Does 13 divide g?
False
Suppose 4*q - 2*q - 36 = 0. Is q a multiple of 9?
True
Suppose 22 = 2*g - 20. Is 10 a factor of g + 1 - (-1 + 3)?
True
Let m(i) = -12*i + 3. Does 14 divide m(-1)?
False
Suppose 0 = -n + 154 + 52. Is n a multiple of 13?
False
Suppose 0*b + 12 = 3*b. Let p(t) = -b + 2*t - 15*t + 5. Is 14 a factor of p(-3)?
False
Is 9/(-2)*(5 - 9) a multiple of 10?
False
Let z(o) = -o**2 + 5*o + 2. Let a be z(6). Let b(k) = -k + 1. Let m be b(-1). Is ((-14)/4)/(m/a) a multiple of 2?
False
Is -11 + 11 + -1 + 57 a multiple of 8?
True
Let r(s) = -s + 5 + s**2 + 4*s - 3. Let a be 23/7 - 2/7. Is r(a) a multiple of 10?
True
Suppose 4*f = 12, 1 - 3 = s - f. Let o(k) = 42*k + 1. Does 21 divide o(s)?
False
Suppose -601 = -4*r - 5*t, -r + 3*t + 211 = 48. Does 14 divide r?
True
Let r(g) = -g**3 + 6*g**2 + 10*g - 2. Is 3 a factor of r(7)?
False
Suppose 4*z - 299 = -5*q + 216, -3*z - 282 = -3*q. Suppose -5 = -5*j, 4*j + j - 245 = -4*o. Let c = q - o. Does 13 divide c?
True
Suppose 2 = -4*v + 10. Suppose j = -5*l + 222, -v*l + 0*j = -j - 86. Does 24 divide l?
False
Let d = 1 - 14. Let u be d/(-5) - 4/(-10). Let r = u - -8. Does 9 divide r?
False
Suppose 36 - 12 = -2*j - 2*l, -5*j - 4*l - 55 = 0. Let d = j - -22. Let x = -9 + d. Is 3 a factor of x?
True
Suppose -2*h + 3*r + 13 = 0, 0 = 4*h - 5*r + r - 20. Let m be 1/h - (-2206)/4. Is (m/18)/(4/6) a multiple of 17?
False
Let l(i) = i**2 + 6*i + 4. Let r = 0 - 6. Let n be l(r). Suppose 20 = y + n. Does 8 divide y?
True
Let a = -1 + 4. Is 22 - (1 - -1 - a) a multiple of 14?
False
Let c(u) = -5*u**3 - 8*u**2 + 2*u - 4. Is 30 a factor of c(-4)?
True
Let j(v) = -v**2 - 2*v. Let t be j(-2). Suppose y = 0, t = 2*s - 5*y + 1 + 1. Let g(n) = -6*n + 1. Is 5 a factor of g(s)?
False
Let a(l) = l**2 - 2. Let g be a(2). Suppose 3*j + 7 = g*f - 0*j, 3*f - 15 = 3*j. Is 3 a factor of f?
False
Let g be (-11)/(-4) + (-3)/(-12). Suppose -3*u - g = 15. Is 12 a factor of (54/15)/(u/(-20))?
True
Is ((-8)/(-3))/(7/105) a multiple of 20?
True
Suppose 12 = 3*r - m, m - 6 = -3*r - 0*r. Suppose -20 = -5*a + 3*d - 2*d, -a - r*d = -20. Does 3 divide a?
False
Let o be (-12)/(-8)*(-16)/(-6). Suppose 2*p + 2*m - 16 = 7*m, 5*p - o*m = 57. Is p a multiple of 13?
True
Let u = 20 - -8. Is u a multiple of 14?
True
Suppose -2*i - 3*z + 67 = 0, -5*i = 4*z - 0*z - 185. Let y be 2/5 + 115/25. Suppose -y*a + i = -14. Does 10 divide a?
False
Let q = 17 - 15. Suppose -42 = -2*r + q*m - 0*m, r = 5*m + 21. Is r a multiple of 7?
True
Let f(v) = 5*v + 1. Let w(s) = -s. Let k(q) = f(q) + 6*w(q). Let o(m) = 3*m - 1. Let c(d) = 4*k(d) + o(d). Does 7 divide c(-4)?
True
Let a = 10 + 3. Is a a multiple of 7?
False
Let q(z) = 2*z**3 + 11 + z**3 + z**2 - 4*z**3. Let r(j) = -2*j. Let o be r(0). Does 9 divide q(o)?
False
Suppose u = -t + 5*u + 96, 5*t - 380 = -5*u. Does 20 divide t?
True
Suppose -5*s + 162 = 27. Does 6 divide s?
False
Suppose -3*d + d = -14. Let m(q) = -q**3 + 6*q**2 + 11*q - 8. Is m(d) a multiple of 10?
True
Suppose 4*w - 204 = -u - 2*u, 3*u + 3*w = 201. Does 16 divide u?
True
Suppose -2*h - 4*w + 22 = 0, -2*h + w + 27 = -0*h. Suppose -m = 2*c - 7, 5*c + 0 - h = -2*m. Is 8 a factor of m?
False
Suppose -2*p + 10 = 2. Suppose 5*t + 4*a - 29 = 0, 2*t = p*t + a - 11. Does 5 divide t?
True
Let b(r) = 176*r - 7. Is 12 a factor of b(1)?
False
Suppose 27*r - 29 = 26*r. Does 3 divide r?
False
Let k(p) be the first derivative of p**4/4 + p**3/3 - p**2/2 - 2*p - 8. Let b be (4/(-6))/((-2)/6). Is 8 a factor of k(b)?
True
Let c(i) = i**2 + 12*i + 18. Is c(-12) a multiple of 9?
True
Does 5 divide (-186)/(-9) + 4 + (-2)/(-6)?
True
Suppose -9*p + 6*p = -159. Does 15 divide p?
False
Suppose -b + 3*l = -20, 3*b = b - 4*l + 40. Let c be b + (-3 - (-1 + 0)). Suppose -c = -3*x + x. Does 9 divide x?
True
Let p be (-1)/2 - 11/(-2). Suppose 0*y - v = -y + 45, -v = -p*y + 245. Does 25 divide y?
True
Suppose 0 = 7*m - 10 - 214. Is m a multiple of 27?
False
Let j be (6/12)/(1/20). Is 16 a factor of (32/j)/((-5)/(-50))?
True
Let u(k) = 5*k**2. Let r be u(-1). Let a(g) = g**2 - 5*g - 2. Let l be a(r). Is (-21)/(-1) + 0 + l a multiple of 12?
False
Suppose h + 10 = 4*v, 6*v = 4*h + 4*v - 16. Let u(d) = -d**2 + 8*d + 3. Is 15 a factor of u(h)?
True
Suppose 0 = 20*k - 9*k - 165. Does 6 divide k?
False
Let b(t) = -t**3 + 7*t**2 + 2*t + 5. Let y = -31 + 46. Suppose -16 = -5*h - 4*u + y, 2*h + 3*u = 11. Is b(h) a multiple of 19?
True
Let r = -21 - -33. Is r a multiple of 3?
True
Let v(d) = -d**3 - 3*d**2 + 2. Let s be v(-3). Let u be ((-3)/(-2) - s)*-106. Suppose 3*