4 = 8. Let u = 2 - i. Does 6 divide u?
True
Let g = -11 + 81. Is g a multiple of 9?
False
Suppose 5*a - 22 - 13 = 0. Does 3 divide a?
False
Let l(s) = -11*s**2 - s + 1. Let o be l(5). Let w be o/(-6) - 6/4. Suppose -3*a + 0*a = -w. Does 6 divide a?
False
Let n(z) = z**2 - 4*z - 1. Let f(b) = -b - 1. Let v(m) = -4*f(m) + n(m). Does 10 divide v(5)?
False
Suppose -2*n + 511 = 3*d - 4*n, -d = -3*n - 182. Is d a multiple of 41?
False
Suppose 0 = -4*a + 4*f + 32, 3*a = -f + 5*f + 29. Suppose 3*j - 4*b = -2*j - 92, a*b + 86 = -4*j. Is 0 - (3 + -1 + j) a multiple of 10?
False
Let v be (6 + -3)*(-2)/(-2). Suppose 2*j - 18 = -2*j - 2*r, 13 = 2*j - v*r. Is 3 a factor of j?
False
Let x = 30 + 123. Is 9 a factor of x?
True
Let x(s) = -37*s. Let p be x(-2). Let r = 123 - p. Does 17 divide r?
False
Let y(z) = -12*z + 8. Is y(-6) a multiple of 40?
True
Suppose -10*w = -7*w - 183. Is 22 a factor of w?
False
Suppose -g - 4 = -3*g. Let o(m) = 2*m**2 - 3*m**g + 8*m + m**2 + 1 - m**2. Is o(4) a multiple of 5?
False
Let r(q) = q**3 - 6*q**2 + 10*q + 8. Does 15 divide r(5)?
False
Let t(c) = -8*c - 4*c**2 + c**3 + 0 + 3 + 2*c + 8*c**2. Is 6 a factor of t(-5)?
False
Does 41 divide (271/2)/(-6 - (-26)/4)?
False
Suppose -s = 4, 0 = -5*p + 2*s + 2*s + 86. Is p a multiple of 4?
False
Let v(z) = -1. Let f(a) = a**2 + a + 1. Let u(l) = f(l) + 6*v(l). Is u(-4) a multiple of 2?
False
Let z(o) = -o**3 + 12*o**2 - 8*o - 3. Does 15 divide z(11)?
True
Suppose -4*r - 25 = -5*n, -n - 5*r + 47 = 13. Suppose 3*h = 2*t + n, 3*h - 7 = t - 1. Let w(a) = 33*a**3 + 2*a**2 - 1. Is 17 a factor of w(h)?
True
Suppose 0 = p - 5*x - 83 - 77, 4*p = 3*x + 725. Does 37 divide p?
True
Suppose 320 = 13*b - 3*b. Is b a multiple of 8?
True
Suppose -w + 65 - 20 = -4*q, 2*q = 0. Is 15 a factor of w?
True
Suppose -k = -0*k - 13. Is 4 a factor of k?
False
Let g be 2/(-13) + (-12)/(-78). Suppose -3*u + 17 + 31 = g. Does 8 divide u?
True
Does 26 divide (-4 - -7) + 1*308?
False
Let z be 1*6/3 - 0. Does 17 divide (z - 5)/((-3)/34)?
True
Let t(n) = 2*n**2 - 9*n - 3. Is t(7) a multiple of 32?
True
Let r be 5/10*(12 - 0). Let o(m) = -m - 1. Let f(h) = 4*h + 8. Let z(k) = -4*f(k) - 24*o(k). Is 18 a factor of z(r)?
False
Suppose 2*c + 12 - 132 = 0. Does 10 divide c?
True
Suppose 0 = 4*a - 2*a - 4. Suppose 3*p + 2*n + 3*n = 205, 0 = a*p - 2*n - 126. Suppose -5*t - 10 = -p. Does 4 divide t?
False
Let h = -216 + 408. Is 15 a factor of h?
False
Suppose 102 + 42 = 4*a. Does 10 divide a?
False
Suppose -2*k = -4*k + 40. Suppose 0 = -5*r + 57 - 2. Let q = k - r. Is 4 a factor of q?
False
Let q = -23 - -71. Does 14 divide q?
False
Suppose -a = -0*a - 5*g - 3, 2*g - 15 = -5*a. Suppose -2*p - r + 8 = -27, -5*r - 46 = -a*p. Is p a multiple of 14?
False
Let f(u) = u**2 + 3*u + 11. Does 13 divide f(4)?
True
Let w = 3 - -28. Is w a multiple of 3?
False
Suppose 0 = -5*m + 112 + 88. Does 10 divide m?
True
Let k = -43 - -21. Does 11 divide k/6*6/(-1)?
True
Suppose -2*v - 2*v = p - 128, 316 = 3*p - 5*v. Is 4 a factor of p?
True
Let g = 86 + -59. Does 5 divide g?
False
Suppose 0 = 16*m - 14*m - 116. Is 30 a factor of m?
False
Let g(h) = -h**2 - h + 14. Let w = 0 - 0. Is 5 a factor of g(w)?
False
Suppose -4*h = 3*y + 21, 3*y - 2*h + 28 = -y. Let j(u) = u + 9. Let w be j(y). Suppose w*x - 6*x = -108. Is x a multiple of 9?
True
Let c(o) = -6*o - 5. Let r be (-11 + 5)/(6/4). Does 11 divide c(r)?
False
Suppose x + 24 = 5*n, -4*x - 32 = -5*n - x. Suppose -f + n = -0. Does 4 divide f?
True
Let n(g) = -g**3 - 11*g**2 - 15*g - 10. Let r = 4 - 14. Does 10 divide n(r)?
True
Let a = 4 + -1. Let z = 8 - 6. Does 3 divide 2*z - a/3?
True
Let j(c) = -5*c**3 + 3*c**2 - c - 4. Let n be 0/(-2 - 1) + 7. Let t(d) = -11*d**3 + 7*d**2 - 2*d - 9. Let q(k) = n*j(k) - 3*t(k). Is q(-3) a multiple of 19?
False
Let s(y) = -5*y + 1. Let t(f) = -4*f. Let a(r) = -5*s(r) + 6*t(r). Let m be a(5). Suppose -2*o + b = 15 - 43, o + b - 20 = m. Does 16 divide o?
True
Let z be (-2)/9*-6*294. Is z/35 - (-1)/(-5) a multiple of 6?
False
Suppose -3*l = 2*t - 655, 2*t - 243 = -2*l + 191. Is l a multiple of 13?
True
Suppose 3*t + t + 3*a = -1, -2*t = 2*a + 2. Suppose t*f - 102 = -q + 7, -3*f + 4*q + 136 = 0. Is 17 a factor of f?
False
Let t be ((-4)/(-6))/(2/9). Suppose 5*u - 30 = -4*m, -2*u - 11 = -t*m - 0*u. Let c = 1 + m. Does 3 divide c?
True
Suppose -4*u + 62 = q, -2*q - 4*u + 116 = -0*u. Does 18 divide q?
True
Let k(n) = n**2 - 3*n - 16. Is k(8) a multiple of 11?
False
Let m(x) = x**2 - 3*x - 4. Let l be m(4). Suppose -3*r + l*r = -126. Is r a multiple of 30?
False
Let j(u) = 3*u - 9. Let g be (-112)/(-12) + 4/6. Is 21 a factor of j(g)?
True
Let u = -2 + 5. Is 6 a factor of 12*(14/4 - u)?
True
Let k(z) = -3*z**2 + 10*z + 5. Let w be k(4). Let i(m) be the third derivative of m**6/120 + m**5/20 - m**4/6 - m**3/3 - m**2. Does 10 divide i(w)?
True
Let j(p) = p**3 - 8*p**2 - 4*p - 5. Is 20 a factor of j(9)?
True
Suppose -16*z - 6 = -19*z. Suppose -k = -z*d + 7*d - 14, d = 0. Is 7 a factor of k?
True
Let w = -20 - -10. Is 15 a factor of 202/5 - (-4)/w?
False
Let j(s) = s + 1. Let n be j(4). Suppose -n*o + 4*g - 10 + 3 = 0, -4*o - 18 = 3*g. Let b = o + 23. Is 11 a factor of b?
False
Suppose 2*v = -0*v - n + 97, -93 = -2*v + 3*n. Does 30 divide v?
False
Suppose 0 = 6*c + 771 - 3375. Is 31 a factor of c?
True
Let o be 2*(-2)/(-4) + -6. Let v = -2 - o. Does 3 divide v?
True
Suppose -5*d + 3*a = 15, -3*d + 5*a - 25 = -d. Suppose 2*c + d - 4 = 0. Is 9*c + 1 + -2 a multiple of 17?
True
Let o = -2 - -4. Suppose -5 = -a + o. Is 7 a factor of a?
True
Let p be (-5)/10*-1*4. Suppose -p*h - 2*n = -2, 0*h - 2*h + 14 = -n. Is h a multiple of 4?
False
Let z = -78 - -140. Suppose 5*l - 5*g = -3*g + z, 8 = 2*g. Is 2*l/2 - -1 a multiple of 6?
False
Suppose 18 = -3*y + 363. Is y a multiple of 18?
False
Suppose 0 = 2*z + 4, 2*a + 2*z + 8 = -0*a. Is (-56)/(0 + -1) - a a multiple of 16?
False
Suppose 0 = -4*r - 8. Let u = r - 6. Does 9 divide (1 - 0)/(u/(-144))?
True
Suppose 0 = -5*a + 29 - 9. Suppose a*q + 5*v = -q + 190, -3 = -v. Does 27 divide q?
False
Let v(i) = -i**2 - 2*i + 3. Suppose 2*w + 3*d + 12 = 0, 2 = -2*d - 2. Let y be v(w). Let t = y - -35. Does 17 divide t?
False
Let g be 0 + (6 - (0 - -1)). Let d be -2 + 0 + -2 + 43. Let t = d - g. Is t a multiple of 17?
True
Is 3 a factor of (-22)/121 + (-136)/(-22)?
True
Let u = -1 - -5. Suppose -u*x = -92 - 100. Is 30 a factor of x?
False
Let c = 96 - 160. Let x be c/(-20) + (-2)/10. Suppose -x + 19 = 2*r. Is r a multiple of 5?
False
Let g = -13 + 18. Suppose -5*h = -5*a - g, 2*a = -h - 5 + 3. Suppose h = -0*x - x + 14. Is x a multiple of 7?
True
Let t(f) be the third derivative of f**6/120 + f**5/12 + f**4/8 - 2*f**3/3 - f**2. Let q be t(-4). Suppose -y = -q*y - 16. Does 16 divide y?
True
Let t(b) = 8*b + 4. Is t(2) a multiple of 10?
True
Let j(d) = d**3 - 10*d**2 + 10*d - 9. Suppose -f + 0 = 4, 2*f = -5*w + 37. Let m be j(w). Suppose 2*z = -m*z + 48. Is z a multiple of 12?
True
Suppose 0 = -2*m + m. Let l(i) = i**3 + i**2 + i + 1. Let g be l(-1). Is g + m - -1 - -12 a multiple of 5?
False
Suppose -5*o - 5 = -0*o. Let c be 1 + -4 + 2 + o. Is 9 a factor of 6/(-4)*c*3?
True
Suppose 15 = 2*o + 3*o. Suppose 6 = o*s - 4*s. Is 17 a factor of (0 - 3/s)*66?
False
Suppose 2*i + i + 5*m - 7 = 0, -2*m + 10 = 3*i. Suppose -3*c + 64 = -2*q + 6*q, 0 = 5*c - i*q - 96. Does 7 divide c?
False
Suppose 0 = -z + 3*l + 42, 3*l - 130 = -5*z + 2*l. Is 9 a factor of z?
True
Suppose 5*r - 43 = 17. Is 5 a factor of r?
False
Let y(s) = 9*s**2 - 10. Does 46 divide y(5)?
False
Suppose -3*d + 6*d = 0. Let l = 7 - 5. Is 13 + -1 - (l - d) a multiple of 5?
True
Suppose 3*b = c - 542, -c = -5*c - 5*b + 2134. Is c/32 + 1/4 a multiple of 10?
False
Suppose 0 = 5*s - 0*s. Suppose s = -2*j - 3 + 7. Is 18 a factor of (-1)/(-2) - (-105)/j?
False
Suppose -3*w = 2*i - 76, -6*i + 169 = -i - 3*w. Does 17 divide i?
False
Let f(z) = 4*z + 4. Let r be f(-3). Let d = r - -29. Suppose 3*c + 5 = y + 5*c, -2*c - d = -y. Does 6 divide y?
False
Let p be (13 + -3)*(-12)/10. Let w(b) = -b**2 - 12*b + 10. Is 10 a factor of w(p)?
True
Let d(y) = -4 + 1 - 3*y + 4. Let h be d(-1). Suppose -125 = -h*g - 37. Does 10 divide g?
False
Let i(p) = -p**2 - 4*p + 2. Let g be i(-4). Suppose -2*h + g = -4*h + 2*