 v = 4 - i. Is 4 a factor of v?
False
Let l(k) = 9*k + 10. Let o be l(10). Let r = o + -43. Is 19 a factor of r?
True
Suppose 44 = m + 3*j, -3*m = -2*j + 6*j - 107. Does 18 divide m?
False
Let n(g) = -g - 1. Let w be n(-8). Let r = w + 23. Does 15 divide r?
True
Let l(z) = z**3 - 4*z**2 + 5*z + 7. Let g = -9 + 14. Is l(g) a multiple of 17?
False
Suppose -4*l = -28 - 88. Does 10 divide l/2 - (-6)/(-12)?
False
Is (-60)/24*16/(-2) a multiple of 20?
True
Let v be (0 - -1) + (-2 - 58). Let g = v - -91. Does 16 divide g?
True
Suppose x + x + 3*v + 18 = 0, -5*x = 4*v + 31. Let q = x + 4. Is (1 - q) + 28/1 a multiple of 14?
True
Let p(h) = h - 1. Let y be p(6). Suppose -2*o + b = -y*o + 52, 2*b = 4*o - 56. Is o a multiple of 8?
True
Let u = 118 - 94. Does 24 divide u?
True
Let t(p) = 16*p - 6. Is t(4) a multiple of 9?
False
Let c(z) = -28*z**3 + 2*z**2 - 1. Let x = -3 + 2. Does 13 divide c(x)?
False
Let g(y) be the third derivative of y**4/8 - 4*y**3/3 - 3*y**2. Let f = -6 + 12. Is 8 a factor of g(f)?
False
Suppose -51 = -5*n - c, c + 15 = -0*n + n. Suppose -l + n = -39. Is 23 a factor of l?
False
Suppose 15 = 7*h - 384. Is 12 a factor of h?
False
Let o = -32 + 120. Suppose -2*y + o = 2*y. Does 10 divide y?
False
Let j = 3 + 11. Does 5 divide j?
False
Let m be 163/11 - 8/(-44). Let g = m + -11. Let k = 22 - g. Is k a multiple of 8?
False
Let t(l) = 2*l**2 - 10*l - 11. Does 11 divide t(8)?
False
Suppose -11*k = -14*k + 150. Does 5 divide k?
True
Let n be 50 + 2 + 1 - -2. Let u = 133 - n. Is 18 a factor of u?
False
Suppose -5*y = -2*y + 4*i + 26, -2*y - 2*i = 14. Is y + -28*1/(-2) a multiple of 12?
True
Let f(z) be the second derivative of z**5/20 + z**4 + 5*z**3/3 - z. Suppose -2*j = 2*j + 44. Does 7 divide f(j)?
False
Suppose -5*h - 2*a + 14 = 0, 0 = -h - 5*a - 2 - 9. Suppose -o - 2 = o - 4*g, h*g = -3*o + 37. Is ((-4)/14 - -2)*o a multiple of 12?
True
Let w = 21 + -18. Suppose -6*n + w*n = -60. Is n a multiple of 8?
False
Let o be (-2 + 0)/(-1 + -1). Let q be 2*o/6*129. Let c = q + -15. Is 14 a factor of c?
True
Suppose -38 = 8*q - 7*q. Let t = -27 - q. Does 4 divide t?
False
Let g(d) = -2 - 4*d - 2 - 5. Suppose -14 = y + y. Is g(y) a multiple of 19?
True
Let h(d) = -d**3 - 7*d**2 - d - 5. Let i be h(-7). Suppose i*x = 7*x - 110. Is 8 a factor of x?
False
Let o = -121 - -281. Suppose 42 = 4*b + 3*c, 2*b + 3*c = -0*b + 24. Is 9 a factor of 2/b - o/(-9)?
True
Let m(p) = p**2 - 4*p + 3. Let b be m(3). Suppose 0 = -h - 0*h - 2, b = 3*k - 3*h - 6. Suppose 5*t + k = 3*n + 6, -4*t = 2*n - 18. Is n a multiple of 3?
True
Let y = 9 + -1. Suppose 5*w + 28 = -2. Is 4 a factor of (y/(-6))/(w/45)?
False
Suppose n = -3 + 10. Suppose 2*d - 19 = 3*o + n, d + 4*o = 2. Does 6 divide d?
False
Let a(u) = u**2 - u - 24. Is a(6) even?
True
Does 7 divide 192/20 - 4/(-10)?
False
Let n = -172 - -260. Let a = -19 + n. Is 17 a factor of a?
False
Let m(g) = -5*g - 6. Let y be m(-5). Suppose -2*z = k - 16, -z + 0*z = -4*k + y. Suppose -5*u + k*t - t = -45, u = 3*t + 15. Does 2 divide u?
True
Let a(y) = -y**2 + 3*y + 5. Let l be a(4). Let p be 2/l + (-24)/(-3). Let o = 10 + p. Is 10 a factor of o?
True
Suppose 4 = d - 2*u, -d - 2*u = -4 + 16. Let x = d - -6. Suppose c - 22 = -i + 21, -2 = -x*c. Is i a multiple of 14?
True
Let f = 260 - 80. Is 20 a factor of f?
True
Suppose -6*y = -y. Suppose y*l = 2*l + 5*x - 60, -5*x = -l. Is 14 a factor of l?
False
Suppose 8*x = -9 + 25. Let b(l) = -2*l**3 + l**2 - 2*l - 1. Let a be b(-2). Suppose x*m - a = 49. Is 12 a factor of m?
True
Let d(u) be the third derivative of u**5/15 + 5*u**4/24 + 2*u**3/3 + 5*u**2. Is 24 a factor of d(-4)?
True
Suppose 6 = 4*u - 6. Suppose z + u = 6. Suppose -z*o + 0*o = -39. Is 6 a factor of o?
False
Let t be -8 - -2*1/(-2). Let o = t + 14. Let d(g) = -g**2 + 5*g + 2. Is d(o) a multiple of 2?
True
Let o be -20*(2/8 + -1). Let t(j) = j**2 - 8*j - 7. Let i be t(9). Suppose o = i*u - 13. Does 14 divide u?
True
Let g(z) = -3*z + 6*z - z. Suppose 5 - 20 = -3*h. Is 10 a factor of g(h)?
True
Let p be 8 - (-1 - -2) - -1. Suppose -2*c + 0*c = -p. Suppose 0 = -4*o + c*z + 32, o - 2*z - 18 = -3*z. Does 13 divide o?
True
Suppose 0 = a - 0 + 1. Is 8 a factor of -4 - -28 - (a - 0)?
False
Suppose 2*x - 4*x - 10 = 0. Does 10 divide x + 3 + 58/2?
False
Let c = -12 + 20. Suppose -3*o = -c*o + 290. Is 16 a factor of o?
False
Let r be 6/9*33/2. Does 5 divide -1 - r/(1/(-1))?
True
Let o = -2 - -1. Does 3 divide o*1/2*-12?
True
Let x = 128 + -82. Is 4 a factor of x?
False
Suppose 2*p = 3*p - 13. Let i = -79 - -111. Let g = i - p. Is g a multiple of 8?
False
Let b be 3/4 + 2/8. Does 3 divide (b - 3)*(-14)/4?
False
Let u(v) = -v**3 - 6*v**2 - 5*v. Let z be u(-5). Suppose -2*d + 31 = -5*k, d + 2*k = -z*k + 20. Does 14 divide d?
False
Is -7 - -1 - -42 - (0 + 4) a multiple of 9?
False
Suppose t + 2*b + 20 = 3, 0 = 4*t - 2*b + 18. Let d(c) = -c**3 - 7*c**2 - 4*c - 7. Does 8 divide d(t)?
False
Suppose 4*g - 60 = 2*g. Let t be g/(-9)*54/(-1). Suppose -3*d - 2*d = -t. Does 13 divide d?
False
Suppose -2*c + 4*c = 8. Suppose -6 - 14 = c*k. Let q = k + 12. Is q a multiple of 3?
False
Suppose -2 + 4 = b. Let j(g) = 4*g**2 + 2*g - 1. Does 19 divide j(b)?
True
Let b = 50 + -26. Is 8 a factor of b?
True
Let m(v) = 4*v**2 + 9*v + 3. Let k(r) = -5*r**2 - 10*r - 2. Let w(u) = 2*k(u) + 3*m(u). Let d(z) = -z - 9. Let a be d(-4). Is w(a) a multiple of 10?
True
Let o(c) be the third derivative of -c**6/120 + 2*c**5/15 - 3*c**4/8 + c**3 - c**2. Let x be o(7). Let s = x + 18. Is s a multiple of 10?
True
Let l(k) = 6*k**2 - 2 - k**2 + 6*k**2 + k**2 + 2*k. Is 19 a factor of l(-2)?
False
Let m = -28 - -19. Let c = m - -19. Is 5 a factor of c?
True
Suppose 11 = 5*y + 1. Suppose -y*r - d = -3, r - 4*d = 5*r - 4. Suppose 0 = l + r - 4. Is l a multiple of 2?
True
Let h be 87/27 - (-4)/(-18). Let n(j) = j**2 + 4. Let l be n(h). Suppose x = 5*v - l, -x + 10 = 2*v + x. Is v even?
False
Let l(j) = 1 + 3 - 9 + j**2 + 3*j. Let r be l(-5). Suppose 5*y = -4*h - 0 - 1, r*y + 25 = 0. Is h a multiple of 2?
True
Let g be -1*(11 - 0/1). Is (-2)/((-6)/9) - g a multiple of 7?
True
Let m(f) = -4*f + 6. Let d be m(-6). Suppose 2*a + d = 5*a. Suppose 0 = -h + a + 4. Is h a multiple of 14?
True
Let y be -4 + 5 - (-7 + 1). Let a(u) = u**3 - 6*u**2 - 4*u + 5. Is a(y) a multiple of 12?
False
Suppose -3 = -3*z, -2*z = -t - z. Is 8 a factor of 40/50*(71 - t)?
True
Suppose -20 = -3*u + 4. Suppose 51 = 4*y + 19. Let b = u + y. Is 8 a factor of b?
True
Let n(m) = m**2 - 11*m + 17. Let d(h) = h**2 - 11*h + 16. Let c(z) = -6*d(z) + 5*n(z). Is c(8) a multiple of 6?
False
Let j(g) = 2*g - 8. Let f(z) = -2*z + 7. Let y(a) = 3*f(a) + 2*j(a). Is 21 a factor of y(-8)?
True
Let w(z) = z**2 + 7*z + 1. Let n be w(-8). Suppose -14 = 2*u + v - 3, 5*v + 10 = 5*u. Is u/n*-8*3 a multiple of 4?
True
Suppose -156 = -4*c - 3*d, 5*d = c - 0*d - 39. Let q = 11 - c. Let s = q - -43. Does 15 divide s?
True
Let z = 139 + -79. Is z a multiple of 20?
True
Is 18 a factor of (-6)/(-8)*(95 + 1)?
True
Suppose 3*k = -4*h + 147, -2*h - 12 - 47 = -k. Let w = -31 + k. Is w a multiple of 11?
True
Let p(b) = -b**3 + 6*b**2 - 4*b + 6. Let o be p(5). Suppose 0*g = g - o. Is 11 a factor of g?
True
Let b be 28/(-6 - -3 - -5). Let r = b - 10. Suppose 0*y + 5*k + 5 = -2*y, -r*y + 32 = -4*k. Is y a multiple of 5?
True
Let y = 93 + -41. Is 13 a factor of y?
True
Let o = -9 - -10. Let x be -3*o + 111/3. Is (x/4)/((-3)/(-6)) a multiple of 17?
True
Let x = 0 + 4. Suppose i + 5 = x. Does 14 divide i/2*2 - -36?
False
Let c(f) be the first derivative of f**3/3 + f**2/2 + 44*f - 3. Is 10 a factor of c(0)?
False
Let n = 8 - 6. Suppose 3*r = -n*r + 130. Does 13 divide r?
True
Suppose 0 = -2*o + 6 + 4. Suppose -g - 9 = 2*g, -o*y - 175 = -5*g. Let f = -24 - y. Is f a multiple of 10?
False
Suppose -74 = -h - 22. Suppose -h + 10 = -2*g. Is g a multiple of 5?
False
Suppose 193 = 2*k + 35. Let l = -56 + k. Does 10 divide l?
False
Let x(q) = 2*q - 3. Let t(b) = -3*b + 6. Let v(j) = 3*t(j) + 5*x(j). Let u be v(0). Suppose d + 10 = u*d. Is d even?
False
Suppose -3*a + 0 + 3 = 0. Let z(g) = 5*g**2 - g + 1. Let v be z(a). Suppose v*i = 5 + 70. Is i a multiple of 15?
True
Let m(t) = -t**2 + 5*t - 1. Let q be m(5). Let h be q*-17*(0 - -1). Suppose 0 = 3