 - v*n + 125. Suppose -7*c = -2*c - b. Is c a multiple of 16?
False
Let x(b) = -b + 10. Does 7 divide x(-9)?
False
Suppose -5*g = 2*t + 189, -3*g + 93 + 120 = -2*t. Let a = 151 + t. Is a a multiple of 15?
False
Suppose -4*b + 4*c + 215 - 19 = 0, 3*b - c - 137 = 0. Is b a multiple of 11?
True
Let s(n) = 3*n - 23. Does 3 divide s(12)?
False
Let q = -601 + 344. Let o = -377 - q. Is 14 a factor of -3*(o/9 + 0)?
False
Suppose -4*r + 14 = -2*v, 4*r = -2*v + 3 - 1. Suppose 47 = 2*c + 5*d, c + 2 = 3*d - r. Is 4 a factor of c?
False
Let s be 6 - 9*2/6. Suppose 0*c - s*c = 5*m - 331, -2*m = 2*c - 134. Is 13 a factor of m?
True
Suppose -b - 7*v = -2*v - 26, -5*b - 5*v = -30. Let n = b + 80. Does 26 divide n?
False
Let m(g) = 3*g - 7. Let f be m(7). Let n be -5*(12/(-20) + -3). Suppose n = j - f. Is j a multiple of 11?
False
Suppose 6 - 3 = l. Let n(d) = 5*d - 5. Let m be n(2). Suppose -a - m*k + 1 = -l, 5*k = -20. Is 12 a factor of a?
True
Let p be (-243)/(-7) + (-2)/(-7). Suppose 5*h - 5*l = p, 3*l = l - 10. Suppose 6*w - 12 = h*w. Does 2 divide w?
False
Suppose 0 = -2*z - 2 + 20. Let t = 6 + z. Is 13 a factor of t?
False
Let f(x) = 8*x**2 + 7*x - 7. Let b(u) = -u**2 - u + 1. Let v(m) = 4*b(m) + f(m). Let z(a) = 3*a + 15. Let s be z(-6). Is 8 a factor of v(s)?
True
Let c = -4 + 29. Let w be 6/9 + (-7)/(-3). Suppose -5*y + 4*k = w*k - 255, -5*k = y - c. Does 25 divide y?
True
Let m(v) = -v**2 + v - 7. Let y(d) = d + 1. Let c(r) = -m(r) - 4*y(r). Let z = -6 + 11. Does 2 divide c(z)?
False
Suppose 0 = -u + g - 0*g + 15, -3*g = u + 1. Does 3 divide u?
False
Does 9 divide (-748)/(-28) + (-2)/(-7)?
True
Let a = -2 - -4. Suppose a*m + 51 = 3*w + 5*m, 4*m + 84 = 4*w. Suppose -3*b = -4*u, b + u = -4*u + w. Does 4 divide b?
True
Suppose 2*z = -z + 6. Is z/(-5) - (-81)/15 a multiple of 5?
True
Suppose 3*y - y - 38 = 0. Let j = 79 - y. Is j a multiple of 20?
True
Suppose -3*z + 15 = -k - 3*k, 0 = 5*k - 4*z + 19. Let s = k + 6. Is 20/(-6)*s/(-2) a multiple of 2?
False
Let x(u) = -3*u + 2. Let j be x(-5). Let l be -1 - j*(-1 + 0). Let s = l + -9. Is 3 a factor of s?
False
Suppose 89 - 338 = -3*b. Let j = b + -41. Does 14 divide j?
True
Suppose 269 = 11*t + 5. Does 3 divide t?
True
Let o be ((-12)/(-8))/((-2)/(-24)). Suppose -5*c - 7 - o = 0, 4*z = c - 3. Does 8 divide 2/(17/8 + z)?
True
Suppose 3*t + 3*v = 2*t - 7, -2*v - 18 = 2*t. Let y be 5/((-15)/6)*t. Suppose -3*m = -m - y. Does 7 divide m?
False
Suppose c - 9 = -2*c. Does 8 divide 19/1 - c/1?
True
Let n = -22 + 35. Suppose x + n = 17. Is x a multiple of 4?
True
Suppose n + n + 10 = -2*m, -2*m - 3*n - 9 = 0. Let t(o) = -4*o - 8. Does 4 divide t(m)?
True
Let b(m) = -9*m - 20. Is 11 a factor of b(-23)?
True
Let c(a) = a**2 - 3*a - 3 + 1 + 4*a. Let q be c(8). Let j = q + -50. Is j a multiple of 10?
True
Suppose -4*u + 17 + 11 = 0. Is 2 a factor of -6 + u + 3/1?
True
Suppose -5*l = -7*l + 418. Is l a multiple of 19?
True
Let p = 16 + -34. Let h = p - -31. Is 3 a factor of h?
False
Suppose -233 = -5*g - 38. Is g a multiple of 13?
True
Let y be (-283)/3*(-3 + 6). Let h = -199 - y. Suppose 2*a - h = -5*r, 3*a - 5*a + r = -60. Does 16 divide a?
True
Let v = 2 + 3. Suppose -5 = -3*q + 1, v*y = -q + 17. Suppose -y*f = 2*f - 90. Is 8 a factor of f?
False
Let j be 14/(-3)*(9 + -6). Does 9 divide (-60)/j*(-3 - -10)?
False
Suppose 2*i = 3*f - 27, 5*i + 10 = -4*f - 23. Let t(g) = g**2 - 1. Let z(a) = 5*a**2 + 14*a + 7. Let w(k) = 4*t(k) - z(k). Is w(i) a multiple of 14?
False
Let w(j) = 3*j**2 - 12*j + 39. Is 9 a factor of w(5)?
True
Suppose -2*p + 2*g = -g + 15, g - 5 = 5*p. Suppose z + 3*z - 132 = p. Is z a multiple of 7?
False
Let o(z) = 5*z + 22. Let g(x) = -9*x - 43. Let a(n) = -4*g(n) - 7*o(n). Does 3 divide a(-10)?
False
Let v = 1102 + -710. Does 49 divide v?
True
Let w(z) = -7*z**3 + 2*z**2 + 2*z + 1. Suppose q = -0*q - 2. Let n = q - -1. Is w(n) a multiple of 4?
True
Let q = -6 - -11. Suppose 3*v - o = 38, -o = q*v + 2*o - 82. Does 14 divide v?
True
Let w = -41 + 8. Let q = w - -48. Does 15 divide q?
True
Let l = 446 + -226. Is 20 a factor of l?
True
Let b be 8/(-12) + (-140)/(-3). Suppose -5*o - 4*p + b = 0, 0*o + o + 3*p = 7. Is o a multiple of 5?
True
Let f be 3 - -3 - (-1 + 3). Suppose -2*z = -2*n + f*n, 0 = -3*z + 4*n + 35. Suppose -z*d = -3*m - 4, -m - 50 = -6*m - 3*d. Is 5 a factor of m?
False
Suppose -5*n + 78 = -3*n. Let i = 65 - n. Is i a multiple of 9?
False
Suppose -g = 4*g. Let z = 3 - g. Suppose 0*l + 105 = 5*u + 2*l, -3*u - z*l = -72. Does 19 divide u?
True
Let l = 10 + -6. Let f be l/10 - 177/5. Is 14*1*(-120)/f a multiple of 14?
False
Let c = 19 + 7. Does 6 divide c?
False
Let x = -12 - -17. Is 6/(-15) - (-57)/x a multiple of 11?
True
Suppose 4*z = 4*n + 346 + 362, 3*n = 2*z - 352. Is z a multiple of 14?
False
Suppose 3*k - 4*k = 2*m - 10, -4*k - m = -19. Suppose k = 4*t - 2*t. Is ((-6)/15)/(t/(-130)) a multiple of 11?
False
Suppose -t = -s - 0*t + 55, 4*s - 5*t = 223. Is s a multiple of 12?
False
Let q(g) = -4*g**2 + 7*g + 1. Let f(o) = -9*o**2 + 13*o + 2. Let d(v) = -6*f(v) + 11*q(v). Is d(-1) a multiple of 3?
False
Let t(g) = -g + 31. Is 38 a factor of t(-13)?
False
Let x(z) = z**2 + 4*z - 5. Let w be x(-4). Let m(h) = -h**3 - 4*h**2 + 4*h + 2. Is m(w) a multiple of 7?
True
Let g be 1/(-2) + (-3)/(-6). Let i = 4 + g. Suppose -2*b - 33 = -3*f - b, -3*f + i*b = -24. Is f a multiple of 5?
False
Let a be (-2)/(-9) - 928/(-36). Is 25/2 + (-13)/a a multiple of 4?
True
Let c(r) = -3 - 2 - 2*r + 15*r**2 + 4. Let a be c(-1). Does 5 divide a - (3 - (-2 + 4))?
True
Is 4 a factor of (-134)/(-11) + 2/(-11)?
True
Let q be ((-3)/(-2))/(2/(-4)). Let n be (-8 + -1)*1/q. Suppose -t - n*v + 31 = 0, 10*t - 138 = 5*t + 2*v. Is t a multiple of 14?
True
Suppose 0 = -6*s + 2*s + 20. Suppose -s*q = -0*q - 860. Is q/6 - 8/12 a multiple of 14?
True
Let k(a) = -40*a + 6. Is k(-3) a multiple of 42?
True
Let q(i) = i**2 - 7*i + 2. Let j be q(7). Suppose 3 + 6 = -j*b + 3*o, -o = -3. Is 10 a factor of (-1 - b)/((-3)/51)?
False
Let j = 8 - -1. Let k = -1 + j. Is 8 a factor of k?
True
Let s be 4 + -7 - -1*16. Let p = s - 7. Is 6 a factor of p?
True
Suppose h = 2*h - 7. Does 6 divide h?
False
Let x(m) = -m**3 + 8*m**2 - 6*m. Suppose 3*n - 21 = -0*n. Is x(n) even?
False
Let f = 21 + -25. Let u(h) = h**2 - 1 - 7*h - 5 + h**2. Does 27 divide u(f)?
True
Does 9 divide 6/33 - (2 + (-2456)/44)?
True
Suppose -f + 8 = -u - 3*u, 0 = 2*f + 4*u - 52. Suppose -3*z + f + 46 = 0. Is z a multiple of 11?
True
Let n(w) = 7*w - 14. Let t be n(8). Let r = 14 + t. Is r a multiple of 20?
False
Let k(d) = -4 + 3*d + 0 + 2. Does 7 divide k(3)?
True
Let z be 11/(-3) - 1/3. Let t(o) = o**2 + 5*o - 3. Let a be t(z). Let x = a - -12. Does 4 divide x?
False
Let p(m) = m + 3. Let d be p(-9). Does 4 divide ((-8)/3)/(1/d)?
True
Let j be (1/2)/((-1)/(-2)). Suppose 3*w - 8 - j = 0. Suppose 10*o - 5*o - 35 = w*d, 5*o = -2*d + 60. Is o a multiple of 5?
True
Let m be (1 - (-9)/6)*8. Let j = -10 + m. Is j a multiple of 4?
False
Suppose 3 + 4 = z. Suppose -b - z = -35. Is b a multiple of 7?
True
Let c = -37 + 53. Is 4 a factor of c?
True
Suppose -2*w + 130 = -44. Is 29 a factor of w?
True
Is -1538*2/(-18) - 12/(-108) a multiple of 9?
True
Let a = 8 - 7. Is (a*-34 + -2)/(-1) a multiple of 10?
False
Let v = -119 + 186. Does 9 divide v?
False
Suppose 5*r - 12 = -2. Is 9 a factor of 0 + r + 0 + 40?
False
Suppose -11 = -d - 1. Is d a multiple of 3?
False
Suppose -5*l = -0*l - 5. Suppose 20 = t + l. Does 16 divide t?
False
Suppose -2*k + 8 = 0, -f + k - 5 = -23. Let q = 46 - f. Is 12 a factor of q?
True
Is 15 a factor of (-36)/4*(-10)/6?
True
Suppose 8*b - 29 = -n + 3*b, 0 = 3*n - 4*b + 8. Suppose -n*q + 89 = 5*x, 2*q - 11 = 3*x + 28. Does 21 divide q?
True
Let f(u) = -4*u - 2. Is 2 a factor of f(-3)?
True
Let j = -11 - -13. Suppose -5*r - 6*x + x + 175 = 0, j*r - 72 = -3*x. Is 11 a factor of r?
True
Suppose -d = 0, 4*l + 4*d = -d + 20. Suppose 2 = -2*f, 4*f + 448 = l*b + f. Is 19 a factor of b?
False
Let a(t) = 2*t + 77. Let f(b) = -3*b - 78. Let v(c) = 4*a(c) + 3*f(c). Is 15 a factor of v(0)?
False
Let f(z) = 2*z**3 + 5*z + 0*z - 3*z**3 + 16 - 9*z**2 - 6. Does 20 divide f(-10)?
True
Let w(y) = -8*y**2 - 2*y - 5. Let c(r) = -3*r**2 - r - 2. Let m(t) = -11*c(t) + 4*w(t). L