 = 0. Let x = 5 + p. Is 3 a factor of x?
False
Suppose 0 = -2*v + 3*j + 13, 3*v - 2*j + 0 = 12. Suppose b = 3*w - 82, -3*b = 3*w - v*w - 24. Is w a multiple of 11?
False
Let j = -15 - -17. Suppose j*k + 32 = 6*k. Is k a multiple of 3?
False
Suppose 0*l = -4*l + 20. Let x = l - 4. Does 19 divide (3/(-2) + x)*-76?
True
Suppose 41 = 2*f - 7. Does 22 divide f?
False
Suppose -1 = -3*b - l, 2*l + 6 = b + 1. Let v be (-1 - (2 - 2)) + b. Suppose -2*t + 2*z = -t - 32, v = -4*t + z + 93. Does 11 divide t?
True
Let w(d) = d**3 + 13*d**2 + 11*d - 7. Let k be w(-12). Let u = k - 5. Suppose u = 4*z + 14 - 82. Does 5 divide z?
False
Let w(h) = -4*h + 4. Suppose 0 = p + 4*p - 45. Let l = p - 13. Does 10 divide w(l)?
True
Suppose 0 = 3*r + 18 - 135. Is 14 a factor of r?
False
Suppose 44 = w + 2*c, c + 112 = 3*w + 2*c. Is 3 a factor of w?
True
Suppose 0 = -f - 2 - 1. Let x be f - (-2 - 2) - 37. Let m = -21 - x. Is m a multiple of 8?
False
Let b = 91 + -41. Does 17 divide b/3 + (-6)/(-18)?
True
Let g(f) = -4*f + 1. Let i(q) = -8*q + 2. Let k(b) = -9*g(b) + 4*i(b). Let o be k(3). Suppose -o = 2*c - 47. Does 10 divide c?
False
Suppose -44 = 9*c - 143. Is c a multiple of 11?
True
Let v(p) = -11*p + 21. Let i(c) = 6*c - 10. Let a(m) = 5*i(m) + 3*v(m). Is a(-8) a multiple of 20?
False
Let v = -3 + 6. Suppose 2*o - 10 = 3*y, -o - 4*o = v*y - 4. Suppose q - 78 = -o*q. Is q a multiple of 13?
True
Suppose 0*y + 23 = 3*w + 2*y, 16 = 2*w + 2*y. Suppose 0 = 2*t - o - 2, 0*o - 14 = -5*t - 2*o. Let j = w + t. Does 6 divide j?
False
Let a = 0 - -4. Suppose -a*p = -140 + 20. Is 1*3/2*p a multiple of 22?
False
Let q = 269 + -529. Is 2/(-7) - q/28 a multiple of 5?
False
Suppose -4*p - 2 = -22. Suppose 0 = p*x - 15, -c - 4*x - 6 = -33. Is c a multiple of 15?
True
Suppose -188 = -2*b + 3*n, 0*n = -3*n. Let g = b + -19. Is 19 a factor of g?
False
Does 24 divide 43*(-1 + 3) + -2?
False
Let d(a) = -a**2 - a + 8. Let s(f) = -f**3 + 7*f**2 - 6*f. Let k be s(6). Does 3 divide d(k)?
False
Let y = 9 - 15. Let j = y - -8. Suppose 64 = j*n - 5*a - 2, -89 = -3*n + 5*a. Is n a multiple of 23?
True
Let a = 72 + -12. Does 55 divide a?
False
Let b(h) = h**2 - 9*h - 6. Let n be b(10). Suppose -43 = -2*r + i, n*i + i = -5*r + 145. Suppose r = f - 8. Is 16 a factor of f?
True
Let g = 17 + -5. Suppose 0 = -3*h + 6 + g. Is 3 a factor of h?
True
Let t = 4 + -8. Let f = t - -70. Is 22 a factor of f?
True
Let y = -6 - 1. Let a(o) = o**2 + 2*o - 6. Is 6 a factor of a(y)?
False
Let g be (-5)/(45/78)*3. Let d = -15 - g. Is d a multiple of 5?
False
Suppose 5*t = 3*q + 9 + 12, 24 = 3*t + 2*q. Let p be (2/t)/((-2)/(-6)). Let g(w) = 10*w**2 + 1. Is 7 a factor of g(p)?
False
Suppose -4*w = -3*w + 4*o - 164, -5*w + 5*o = -695. Does 16 divide w?
True
Let o(g) = -g - 1 + 2*g**2 + 3*g - 3 + 0. Does 12 divide o(-5)?
True
Let w(p) be the second derivative of 7*p**3/6 - p**2 + p. Let s = 8 + -6. Does 6 divide w(s)?
True
Does 5 divide 5/10 - 22/(-4)?
False
Let s = -46 + 99. Is s a multiple of 15?
False
Suppose a + q = 4*a - 38, 0 = -a + 2*q + 6. Is a a multiple of 14?
True
Let o(r) = 20*r - 10. Does 46 divide o(8)?
False
Suppose 2*k + 4*g - 32 = 0, -4*g = k + 2*k - 44. Is k a multiple of 3?
True
Suppose 8*k = 9*k - 35. Is k a multiple of 14?
False
Let h = -7 - -7. Suppose 3*r + r - 3*u - 64 = h, u = 2*r - 30. Is r a multiple of 4?
False
Suppose -172 = -4*r + 4*b, -4*r - b = -4*b - 167. Is 8 a factor of r?
False
Let r(x) = -x**3 - x + 175. Let d be r(0). Suppose 4*j = -12, -5*f - 2*j - 41 = -d. Suppose -3*g - 2*l - 3*l = -29, -2*g + f = -l. Does 13 divide g?
True
Let z(g) = 3*g + 4. Let w = 33 + -22. Let q = w + -6. Does 19 divide z(q)?
True
Does 15 divide (-6)/33 + 7926/33?
True
Let z be ((-6)/(-9))/(-1)*-96. Does 6 divide 2/(-5) - z/(-10)?
True
Suppose -2*z - 3 = 3. Let k = 6 - z. Is k a multiple of 3?
True
Let t(z) = z**3 - 8*z**2 + 3*z - 5. Let s be t(10). Suppose 2*l = 7*l - s. Is 9 a factor of l?
True
Let o be (5 + -2)/((-6)/(-8)). Suppose 16 = 4*d + 5*y, -12 = -o*d + 5*y + 4. Suppose 5*g = 4*v + 27, -g = g + d*v - 22. Is 5 a factor of g?
False
Is 25 a factor of (-2)/3 + (-2 - 1808/(-12))?
False
Suppose 5*g - 3*x = 225, 2*g - 212 = -2*g - 4*x. Is g a multiple of 13?
False
Let s(h) = 2*h + 2. Is 7 a factor of s(3)?
False
Let f = 2 - -34. Does 12 divide f?
True
Let h be 26/6 + (-1)/3. Is 6 a factor of h/14 + 164/14?
True
Let h = 14 + -19. Let k(c) be the first derivative of c**3/3 - 2*c**2 - 6*c - 2. Does 13 divide k(h)?
True
Let i(f) = 2*f + 3 + 4 + 1 + 2*f. Does 12 divide i(6)?
False
Let s = 132 + -54. Is s a multiple of 14?
False
Let w(n) = -n**3 + 10*n**2 + 2*n + 1. Let j be w(10). Does 14 divide j/(0 - (-2)/4)?
True
Suppose -5*u - 140 = -10*u. Suppose 2 = 5*m - 18, -5*z = -2*m - 82. Let j = u - z. Is 10 a factor of j?
True
Suppose -2*y + 214 - 4 = 0. Does 15 divide y?
True
Let z = -69 - -111. Is 14 a factor of z?
True
Let k be ((-1)/(-2))/((-4)/(-8)). Let z(u) = -2*u**2 + 2*u**2 + 11*u**2. Is 11 a factor of z(k)?
True
Suppose 0*b = -5*j - 4*b - 142, -5*j - 3*b = 139. Suppose 0 = -3*i - 6 - 15. Let r = i - j. Is 8 a factor of r?
False
Let f = -5 + 7. Suppose -u + 22 = b, 0 = -2*u + u + f*b + 34. Is u a multiple of 11?
False
Is ((-100)/24)/(4/(-24)) a multiple of 24?
False
Let a be (-72 + 0)*6/(-4). Let n(g) = -g**3 - 2*g. Let q be n(0). Suppose 2*o = -q*z + 5*z + 72, -4*o + a = -z. Is 13 a factor of o?
True
Suppose 0 = -0*v - 4*v + 5*u - 19, 4*v + 1 = -u. Let k(x) = -26*x - 1. Does 12 divide k(v)?
False
Suppose -4*c - 2*r = -148, -5 = -r - 1. Let t = c - 3. Does 14 divide t?
False
Let g(m) be the third derivative of 7*m**6/60 - m**5/60 + 2*m**2. Let t be g(1). Suppose -4*s + 19 = -t. Does 4 divide s?
True
Let m(s) = s - 2. Let o be m(5). Suppose 5*i - 5*z = 0, o*i + 4*z + 36 = -2*i. Is ((-24)/(-20))/(i/(-10)) a multiple of 3?
True
Let x(w) = 17*w**3 + w - 4*w**3 + 2*w**2 - 3*w**2. Let n be x(1). Suppose -77 - n = -5*v. Does 10 divide v?
False
Let w(s) = -37*s - 17. Does 5 divide w(-2)?
False
Suppose -7 = -2*l + 1. Suppose -k = -l*k + 24. Is k a multiple of 2?
True
Let c(v) be the first derivative of -v**4/4 + 3*v**2/2 - 4*v + 4. Let k be c(-3). Suppose -b + k = -4. Is b a multiple of 9?
True
Suppose -4*j + 2*t = -362, -5*t = -j - j + 185. Does 16 divide j?
False
Let d(s) = -2*s - 4. Suppose 0 = z - q - 3 + 7, 0 = -5*z + 3*q - 18. Let g be d(z). Let r = 19 + g. Is 13 a factor of r?
False
Let c = -21 + 34. Let p = 7 + c. Is p a multiple of 20?
True
Suppose -2*w = 2*w. Suppose w = -p + 6 + 2. Does 4 divide p?
True
Does 40 divide (132 - (-3)/(-1)) + -3 + 3?
False
Suppose 7 = -5*j + 3*t + t, 4*j - 4*t = -8. Let x(v) = -v - 1. Let p(m) = -7*m - 3. Let a(n) = j*p(n) - 2*x(n). Is a(-4) a multiple of 9?
False
Suppose -5*h - 81 = -3*r + 56, -4*h - 2*r - 92 = 0. Let w = h + 40. Does 11 divide w?
False
Let j = -2 - -23. Suppose -j - 33 = -3*a. Is a a multiple of 11?
False
Let f(l) be the second derivative of -l**4/3 + 2*l**3/3 - 3*l**2/2 - l. Let w be f(2). Let k = w - -31. Is 7 a factor of k?
False
Let s(v) be the first derivative of 5*v**2/2 + 2*v + 1. Does 11 divide s(4)?
True
Does 18 divide ((-58)/(-3))/(1/6)?
False
Let v be (-204)/26 - (-8)/(-52). Let l = 20 - -1. Let t = v + l. Is 13 a factor of t?
True
Suppose -5*o + 34 + 11 = 0. Suppose o*i = 7*i + 16. Is 5 a factor of i?
False
Let h = 244 - 140. Does 35 divide h?
False
Let n(w) be the third derivative of w**5/20 + w**4/12 + 2*w**3/3 - 3*w**2. Is 12 a factor of n(3)?
False
Suppose -m + 80 = 5*t, -184 = -3*m + t - 2*t. Does 12 divide m?
True
Suppose -5*q = -2*f + 160, -2*q - 262 = 2*f - 5*f. Is f a multiple of 9?
True
Let q be (2 - (-1)/(-2))*12. Let a(o) = -o**2 + 1. Let z be a(1). Suppose z = -4*v - q + 74. Is v a multiple of 14?
True
Let k(r) be the first derivative of r**5/40 + r**4/12 - r**3/3 + 1. Let g(q) be the third derivative of k(q). Does 7 divide g(8)?
False
Let d(j) = -j + 4. Let b be (-1 - -1)*(-1)/3. Let k be d(b). Is (-13)/(-2) - (-2)/k even?
False
Suppose -4*q = 14 - 2, 0 = 4*z + 3*q - 263. Is z a multiple of 16?
False
Suppose 0 = -11*p + 6*p. Does 6 divide -2*((p - 2) + -2)?
False
Suppose 0 = -x + 5*o, -3*o - 2 = -4*x + 3*x. Suppose -60 - 42 = -5*l + 3*v, 79 = 4*l - x*v. Does 12 divide l?
False
Let k = -6 - 1. Is 12 a factor of 14/3*(-54)/k?
Tru