t. Let v(g) = -4*g. Let o(c) = 4*i(c) + 6*v(c). Suppose -3*n + 2*n - 2 = 0. Is 8 a factor of o(n)?
True
Suppose 4*f - 60 = -r, 0 = -2*f + 18*r - 15*r + 44. Is 3 a factor of f?
False
Let m(i) = -i - 1. Let y(s) = s**2 - 18*s + 6. Let p(t) = -2*t**2 + 35*t - 13. Let r(l) = -3*p(l) - 7*y(l). Let d(n) = 5*m(n) + r(n). Does 13 divide d(11)?
False
Let r = -32 - -53. Let n = r + -6. Is n a multiple of 4?
False
Let t = 18 + -15. Suppose 3*l - 5*l = t*o - 37, -2*o + 3*l + 16 = 0. Is o a multiple of 6?
False
Let p(d) = 2*d**3 - 3*d**2 + 2*d - 1. Let x be (12 - 4) + (2 - 0). Suppose 0*u - 9 = -4*v + 3*u, -3*v - u = -x. Is p(v) a multiple of 15?
False
Let w = 196 - -4. Is 50 a factor of w?
True
Suppose -3*r + 3*a = 6, 2*r - a - 4*a = -19. Suppose r*q = 6 - 0. Suppose 2*p - 52 = -q*p. Does 13 divide p?
True
Let c be (2 - 3)/((-2)/84). Let r be c - 1*(-2 + 1). Suppose 3*a - 75 = -3*g - 27, -3*g - 2*a + r = 0. Is g a multiple of 4?
False
Let q be (-1)/(-5) - (-388)/10. Suppose m = -z + q, -11 = z - 2*m - 41. Is z a multiple of 9?
True
Let l(i) = -i**3 - 4*i**2 - i - 7. Is l(-5) a multiple of 4?
False
Let y be (-2)/(-1) - (-3 - 74). Let s = y + -52. Is 9 a factor of s?
True
Let d(z) = z - 5. Let x be d(7). Is x/(-4) + (-93)/(-2) a multiple of 23?
True
Let l = -113 + 146. Is 5 a factor of l?
False
Does 8 divide ((-2)/4 - 0)*-16?
True
Suppose 0 = 3*j + 2*j - 80. Does 4 divide j?
True
Suppose -2 = 3*r - 2*p, r = -2*r - 5*p + 26. Suppose 0 = -c + r*c - 4*g - 24, 4*g = -c. Is c a multiple of 6?
True
Suppose -3*p + 8 = -76. Suppose m + 1 = p. Does 9 divide m?
True
Let z be 4/(-18) - (-32)/(-18). Let s(r) = -3*r**3 - 2*r - 1. Does 14 divide s(z)?
False
Let z = 185 - 100. Is z a multiple of 9?
False
Suppose 221 = -2*n + 5*n - 5*t, 5*n - 351 = 4*t. Does 18 divide n?
False
Let p(q) = q**3 + 8*q**2 + 5*q - 10. Let g(z) = 6*z. Let j be g(4). Suppose 0 = 2*f - 10 + j. Is p(f) even?
True
Let f(w) = 2*w**2 - 9*w + 11. Is 5 a factor of f(5)?
False
Let n = 56 + -24. Let b = n + -16. Is b a multiple of 15?
False
Let x = 4 - 0. Is x a multiple of 2?
True
Let i(l) = -l**3 + 7*l**2 - 6*l + 9. Does 2 divide i(6)?
False
Suppose -48 = -5*i + 3*i. Is i a multiple of 4?
True
Let f be 1/(-1) - -57 - 4. Suppose -6*g = -f - 332. Does 11 divide g?
False
Let f(y) = 2*y**2 + 9*y - 8. Is f(-8) a multiple of 5?
False
Let n be (2 - (-3)/(-6))*4. Suppose 5*s - n*s = -4. Suppose 5*l + 4*d - 44 = l, s*l + 2*d = 34. Does 2 divide l?
True
Suppose 5*q - 58 = -4*s - 259, -3*s = -3*q + 171. Let u be (-66)/s - (-4)/(-18). Does 11 divide ((-34)/2)/(0 - u)?
False
Suppose -u + 177 = 5*f, 0 = -3*u - 11 + 2. Is 9 a factor of f?
True
Let n(y) = -y**3 - 16*y**2 - 14*y - 44. Does 9 divide n(-16)?
True
Suppose -m = -0*m. Suppose 6*b - b - 285 = m. Is b a multiple of 19?
True
Let x be (2/(-3))/(4/(-12)). Suppose x*j - 66 = -0*j. Is 12 a factor of j?
False
Suppose 16 = 5*g + 4*n - 40, -5*g + 3*n + 63 = 0. Does 3 divide g?
True
Let w(y) = -2*y**3 - 8*y**2 + 6*y + 8. Is 10 a factor of w(-5)?
False
Let h = 43 - 22. Does 3 divide h?
True
Suppose 56 = q + q. Let w = q - 11. Is w a multiple of 6?
False
Suppose -2*f + 91 = 31. Suppose -2*n - 2*o + 3*o = 14, -3*o - f = 3*n. Let v = 16 + n. Is v a multiple of 8?
True
Is (18/8)/((-20)/(-560)) a multiple of 8?
False
Let t(b) = b**3 + 6*b**2 + b - 6. Let q be t(-6). Does 6 divide (3 - q) + (-1 - -2)?
False
Suppose -2*o - 3*i = 169, -5*o - 4*i - 533 + 107 = 0. Let r = -50 - o. Does 7 divide r?
False
Suppose -14*q - 58 = -15*q. Is q a multiple of 5?
False
Suppose 4*o - 50 = -5*g - 0*o, -g - o + 11 = 0. Does 5 divide ((-35)/14)/((-1)/g)?
True
Let s(i) = -i**3 - 7*i**2 - 9*i - 3. Is 2 a factor of s(-6)?
False
Suppose 3*l - 75 = 5*m, 5*l + 2*m - 125 = -m. Does 12 divide l + 3*(-2)/2?
False
Is 11 a factor of 2/8 + 268/16?
False
Let m be 2 + (3 + -4)*5. Let t = 9 + m. Suppose 2*q - q = t. Does 6 divide q?
True
Let g(c) = c**3 - 5*c**2 - 7*c + 6. Is g(7) a multiple of 21?
False
Let k be (-2 - 5/2)*-30. Let j = k + -80. Does 16 divide j?
False
Let t = 6 - 1. Suppose -t*u + 16 = -9. Suppose -u*g - 44 = -4*n - 276, -g = 2*n - 52. Does 16 divide g?
True
Let n(b) = -b**2 + 3*b + 1. Let y be n(3). Let f be y - (9 - -2)*-1. Suppose -6*p + 4*d = -5*p - f, -2*p - d = -42. Is 9 a factor of p?
False
Suppose 3*f + 0 = -3, -2*z - f + 53 = 0. Is z a multiple of 13?
False
Let b be 3 + -1*(2 + -3). Is 4 a factor of b*3/6 - -10?
True
Let d(n) = n**2 - 4*n + 3. Let j = -7 - -10. Let o be d(j). Suppose o = w - 2*v + 7*v - 12, -w - 2*v + 9 = 0. Is 3 a factor of w?
False
Let h be 278/(-8) - 2/8. Suppose 3*d + 0*d + 51 = 0. Let n = d - h. Is 7 a factor of n?
False
Suppose 0 = -y - 2*y + 15. Suppose -y*r = -r - 96. Does 14 divide r?
False
Let j(b) = -6*b + 5. Is 18 a factor of j(-4)?
False
Let x(z) = -10*z - 62. Is 10 a factor of x(-12)?
False
Let r = -134 - -226. Is r a multiple of 32?
False
Suppose -z + 0*z = -5. Suppose 5*v + z - 35 = 0. Is v a multiple of 6?
True
Suppose -o + 102 = -4*o. Let y = -19 - o. Is 15 a factor of y?
True
Let f(k) = k + 2*k + 3 - 3*k - 3*k. Let q(x) = -3*x + 2. Let v(p) = -3*f(p) + 2*q(p). Does 10 divide v(5)?
True
Suppose 4*r = r + 18. Is r a multiple of 6?
True
Suppose v - 2 = 0, -5*b - 5*v - 101 = -311. Is b a multiple of 10?
True
Let m = -8 - -13. Suppose -x + 4*x = -l + 6, 5*x = -m*l + 20. Is 12 a factor of (6/4 - x)*48?
True
Suppose 0 = z - 7*x + 2*x - 7, -3*x = 4*z - 5. Suppose -96 = -4*i + z*c, -3*i - 5*c = 2*i - 120. Does 7 divide i?
False
Let a(u) = 16*u + 10. Is 19 a factor of a(3)?
False
Suppose -25 = -4*y - 3*t, -3*y + 10 = 2*t + 2*t. Is (8/y)/(6/165) a multiple of 11?
True
Let d be (-16)/6 - (-4)/(-12). Let t(u) = -u**2 - 3*u + 2. Let a be t(d). Suppose w = -a*w + 30. Does 10 divide w?
True
Let w(i) be the first derivative of 3*i**2 - 2*i + 1. Let y be w(2). Is 3 a factor of (y/(-8))/((-1)/4)?
False
Let l = 383 + -193. Suppose l = 5*t - 0*t. Is 13 a factor of t?
False
Let p(n) = -4*n + 3*n**2 + 0*n**2 + 3*n**2 - 5*n**2 + 5. Is 13 a factor of p(8)?
False
Let w(o) = 3*o - 2. Let a be w(3). Let v = a + -5. Is v a multiple of 2?
True
Let v be 2/5 - 1448/20. Let d = v + 123. Does 19 divide d?
False
Let o = -34 + 56. Let w = 46 - o. Suppose 2*n - 2*s - w = 0, 4*n + s - 23 = -0*n. Is n a multiple of 3?
False
Let x(s) = -8*s + 1. Let g be x(1). Let z = g + 16. Is 2 a factor of z?
False
Let t(x) = -9*x. Let c(v) = -55*v. Let y(d) = -4*c(d) + 25*t(d). Let o(f) = -f**2 + 2*f - 3. Let l be o(3). Is 15 a factor of y(l)?
True
Let z(r) be the second derivative of -r**3/6 + 7*r**2/2 + 2*r. Let q be 2 - (12*1 + -2). Is 14 a factor of z(q)?
False
Let t(b) be the first derivative of 3*b**3 + b**2/2 + b + 3. Is 13 a factor of t(-2)?
False
Let d(w) = w**3 - 19*w**2 - 14*w - 23. Does 25 divide d(20)?
False
Let r be (2/4)/(2/(-24)). Let n = 9 + r. Suppose 0 = 5*h - n*o - 152, 98 = 3*h - o + 6. Does 11 divide h?
False
Let m(b) = -b**2 - 4*b - 9. Let t be m(-6). Let k = t - -30. Is k a multiple of 4?
False
Let w(d) = -d**3 + 5*d**2 - 5*d + 3. Let o be w(3). Does 3 divide o/3 + 1/1?
True
Let f(r) = -5*r + 14 - 7 - 6. Let k be 1 - 2/(-3)*-3. Is 3 a factor of f(k)?
True
Let p = 1 - -3. Let o be (8/(-3) - -1)*-3. Suppose -p = -o*x + 31. Is 7 a factor of x?
True
Suppose k = -k + 68. Does 13 divide k?
False
Suppose -3*k + 15 = -0. Suppose b - k = 5. Is b a multiple of 5?
True
Suppose -5*s = -302 - 288. Does 12 divide s?
False
Let o(r) = 3*r + 4*r + 3 - 5*r - 2. Does 17 divide o(8)?
True
Let k = -1 + 1. Let t(p) = -3*p**3 - 2*p**2 - p + 1. Let m be t(-1). Suppose -4*a = a + 5*h - 155, k = m*a - 2*h - 68. Is a a multiple of 13?
True
Suppose -9 = v + 5*a, 0*v + 3*a = -v - 7. Let w = -6 - v. Is 8 a factor of 16 + -2 + (0 - w)?
True
Let k be (0*1/(-3))/(-1). Suppose -3*d + 1 + 2 = k. Suppose -r + 0 = -4*i - d, 0 = -5*r - 4*i + 53. Does 9 divide r?
True
Suppose -2*k = -4*y + 3*y + 89, -2*y = 5*k - 160. Suppose 0 = 4*s - 9*s - z + 70, 0 = 4*s - 5*z - y. Is s a multiple of 15?
True
Suppose 34 = -5*s + 4. Let z be 66/15 + s/(-10). Suppose 0*f + f - 16 = z*j, 3*f - j - 48 = 0. Is f a multiple of 6?
False
Let a = -4 + 4. Suppose a = 4*b + 4*m - 24, 5*m - 21 = -6*b + 4*b. Suppose -b*u = -1 - 32. Does 4 divide u?
False
Let s = -38 + 100. Does 12 divide s?
False
Does 7 divide (-6)/(-9) - (-11)/(165/125