-4*o = -5*o + u. Does 8 divide o?
True
Suppose 31*i = 27*i + 88. Is 11 a factor of i?
True
Let j(p) = 11*p - 3. Let l be j(6). Suppose 3*d - 2*w = 169, -l + 230 = 3*d - w. Does 14 divide d?
False
Let r(p) = -p - 10. Let t = 10 + -15. Let c be r(t). Let v = c + 15. Is v a multiple of 10?
True
Let v = 4 + -3. Let t = v + 1. Suppose h - 5*h - 38 = -m, -t*m = 5*h - 37. Does 13 divide m?
True
Let d(a) = -a**3 - 4*a**2 + 3*a - 5. Let t be d(-5). Suppose -2*o + 39 = i, 4*i - 16 = -t*o + 89. Is 5 a factor of o?
False
Let k(b) be the third derivative of -b**6/120 + b**5/10 + 5*b**4/24 - b**3/6 + 5*b**2. Is k(5) a multiple of 27?
False
Suppose 9*i - 10*i + 34 = 0. Is i a multiple of 17?
True
Suppose -1 = 5*n + 4. Does 7 divide (21*2/(-2))/n?
True
Let g = 6 + -2. Suppose 0 = g*n - 64 - 32. Is n a multiple of 12?
True
Is 28 a factor of (3 + -3 + -14)*-4?
True
Let p be 3/(-2) + 18/4. Suppose -5*t = -n + 6, 0*t - p*t = -3. Does 11 divide n?
True
Let l(r) = -2*r - 9. Is l(-9) even?
False
Let k(u) = u**2 - 4*u + 4. Let a be k(4). Suppose -a = 4*z - 0. Is 10 a factor of ((-13)/(-3) + z)*3?
True
Suppose -5*m = -2*b - 1 - 2, 5*b = -2*m + 7. Let r(c) = -c**2 - 1. Let t(a) = -2*a**2 + 3. Let g(y) = b*t(y) - 3*r(y). Is 14 a factor of g(6)?
True
Suppose -4*r = -p - 91, p = -r - 104 - 12. Let l = -78 - p. Is l a multiple of 19?
False
Let b(a) = a**2 + a - 1. Let v(i) = 4*i**2 - i - 10. Let h(f) = 3*b(f) - v(f). Suppose 5*o - 17 = 4*g, -2*o - 3*o - 3*g = -31. Is h(o) a multiple of 2?
True
Let j be (-97)/(-4) + 4/(-16). Let p = -16 + j. Does 7 divide p?
False
Suppose -3*j = -j - 4. Suppose -j*u + u = -7. Is 4 a factor of u?
False
Let m(d) = d**2 - 6*d + 5. Let f be 2/(-2) - (-21)/3. Let i be m(f). Let o = i - -7. Is 4 a factor of o?
True
Let d(o) = -112*o**3 - 2*o**2 - o. Let j be d(-1). Suppose -2*m + j = 5*k - 0*k, -5*k + 108 = m. Is 8 a factor of k?
False
Let q(a) = a + 4. Let r be q(9). Let b(x) = x**3 - 3*x**2 - 4*x + 3. Let v be b(3). Let h = r - v. Is 16 a factor of h?
False
Suppose 4*c + 108 = 348. Is c a multiple of 15?
True
Suppose -4*m + 300 = 3*n, 4 + 525 = 5*n - 3*m. Does 19 divide n?
False
Suppose -4*g - 2*x + 48 = 0, 0 = 2*g - 2*x - 0*x - 24. Suppose -3*p - 3*y + g = -6*p, 3*y - 12 = 0. Suppose -a = -p*a - 6. Does 3 divide a?
True
Suppose j + j = -2*a + 12, 2*a + j - 9 = 0. Suppose -20 = 2*d - a*d. Does 5 divide 1/(1*2/d)?
True
Suppose 3*n = 3*t + 42, -3*t + 15 = -4*n + 55. Let x = 64 + t. Is 16 a factor of x?
True
Let q = 408 - 289. Is 39 a factor of q?
False
Let t(m) = m. Let w be t(0). Suppose -2*a + 1 + 33 = -2*x, 3*a - 4*x - 54 = w. Is 7 a factor of a?
True
Let q be (2/6)/(4/24). Suppose 2*u = 2, 0 = -s + 5*u + 8 - q. Does 4 divide s?
False
Suppose -5*t + 2*t + 12 = 0. Suppose 2*x = t*x - 38. Does 6 divide x?
False
Let c be 5/1*(0 + 1). Suppose -c*g = -y + 10 - 57, 3*y = -g + 19. Does 10 divide (-140)/4*(-8)/g?
False
Suppose 7*o = 3*o. Suppose -3*f - g + 22 = o, 0*f + 4*g + 29 = f. Is f a multiple of 9?
True
Let t(s) = s**3 + 10*s**2 - 21. Does 20 divide t(-9)?
True
Let x = -147 - -246. Is x a multiple of 4?
False
Let m(n) = -n**2 + 11*n - 9. Is m(9) a multiple of 9?
True
Does 28 divide (-14 - -22)/((-2)/(-42))?
True
Let u = 20 + -12. Let x(a) = a + 0*a - 5 + a. Is x(u) a multiple of 11?
True
Suppose 5*t - 2*t = 156. Is 9 a factor of t?
False
Suppose 2*k = 4*p + p - 30, 0 = -3*k - 15. Suppose 23 = g + b, p*g - 98 = -b + 3*b. Is g a multiple of 11?
False
Let i = 6 + 6. Let l = i + 6. Does 7 divide l?
False
Let t(p) = p - 17. Let q be t(7). Let i = q + 6. Let h(x) = x**2 - 2*x - 1. Does 9 divide h(i)?
False
Let m(n) = 5*n - 1. Let t be m(1). Let q be ((-36)/15)/(t/50). Let i = 62 + q. Does 14 divide i?
False
Is 15 a factor of 6/33 - (-4296)/88?
False
Suppose k - 75 = 13. Suppose -p = -3*p + k. Is 19 a factor of p?
False
Let i(c) = c**3 - c**2. Suppose -3 = -0*f + 3*f. Let n be i(f). Is 3/2*n - -37 a multiple of 17?
True
Let n = -16 - -34. Is n a multiple of 6?
True
Let w be (20/(-15))/(2/(-6)). Let v = -2 + w. Suppose -5*d + 5*a + 80 = 5, -18 = -v*d - a. Is 8 a factor of d?
False
Let p(z) = 2*z**3 - z**2 - 5*z + 2. Does 16 divide p(3)?
True
Let v = 0 + 30. Is 6 a factor of v?
True
Let v be 15/(-3) - (0 + 2). Let x = 7 - v. Does 14 divide x?
True
Let k = 12 - 8. Suppose -2*d + 30 = s, 3*s = k*d + d - 86. Does 8 divide d?
True
Let i(h) = -2*h**2 + 7. Let j be i(5). Does 15 divide 4/6 - j/3?
True
Let c(l) = 28*l. Let r be c(4). Let q = r - 13. Suppose -3*k + 132 = 4*y - 0*k, -3*y + 5*k = -q. Does 12 divide y?
False
Let j be -17 - 0 - (-6)/2. Let x be 1*(-12)/2 + -2. Let n = x - j. Is n a multiple of 6?
True
Let c(v) = -2*v - 4*v + 4 + 5 + v**3 - 5*v**2. Is 8 a factor of c(6)?
False
Let y be 8/(-12) + 34/6. Suppose -22 = y*r - 2. Let h = r - -12. Does 3 divide h?
False
Let b = -7 - 2. Suppose -5*s + 6*s - 1 = 0. Is 1 - b - (-2)/s a multiple of 8?
False
Let z = 12 + 38. Does 17 divide z?
False
Let q be 1/(0 - -3)*3. Suppose 5*b + q = d + 14, -3*d = 2*b - 12. Suppose 1 = b*a - 14. Is 5 a factor of a?
True
Let l(g) be the second derivative of -g**5/20 - g**4/3 - g**3/2 - 7*g**2/2 - 2*g. Let q be (5/2)/((-1)/2). Is 14 a factor of l(q)?
False
Let j be 2/4 - 21/(-2). Let i(s) = -3*s**2 - 3 + 4*s**2 + 13*s - j*s. Does 7 divide i(-6)?
True
Is 36/(1 - 0/(-4)) a multiple of 13?
False
Let d(l) = -l**2 - l + 43. Let x be d(0). Let f = x + -16. Is 9 a factor of f?
True
Let k(c) = 2*c**2 - 2*c + 4. Does 14 divide k(-3)?
True
Let c = 31 + -18. Suppose 0 = -4*m + c + 7. Suppose -m*s + 30 - 10 = 0. Is s a multiple of 2?
True
Let f(t) = 9*t**3 - 3*t**2 + 2*t - 2. Let x be f(2). Suppose 4*m - 2*m - 109 = -5*d, -m = 4*d - x. Does 21 divide m?
True
Let y be (-7)/(-1*2/(-6)). Let q be (-6)/y - 438/14. Let b = 48 + q. Does 17 divide b?
True
Let m = 67 + -37. Is 15 a factor of m?
True
Let f be 2*9/6 + 0. Let u = f - 1. Does 8 divide ((-6)/(-12))/(u/52)?
False
Suppose 5*a - 62 = -22. Does 4 divide a?
True
Suppose -9 = 3*f, 0 = -4*y + 5*f + 49 - 2. Suppose -3*v = -4 - y. Is 4 a factor of v?
True
Let z = 3 - -3. Suppose 4*y - 758 - z = -4*a, 3*a + y = 563. Is 10 a factor of a/9 - 2/3?
True
Let q(s) = -89*s - 1. Is q(-1) a multiple of 22?
True
Suppose -5*h - 197 = -u, 5*u + 5*h + 279 = 1114. Is 35 a factor of u?
False
Is (-3 + 9)*(-126)/(-4) a multiple of 21?
True
Let t(x) = -1 - 5*x + x**2 + 3 - 3. Let w = -68 + 76. Is 6 a factor of t(w)?
False
Suppose 3*u + 5*o = 35, -3*u + 26 + 1 = 3*o. Suppose -2*x - x - 3*b + 123 = 0, -25 = u*b. Let l = x + -32. Does 14 divide l?
True
Let h(f) = -f**3 + 3*f**2 + 4*f - 2. Is h(3) even?
True
Suppose 128 = s + y, -3*s - 384 = -6*s + y. Let m = s + -44. Let t = -48 + m. Is 18 a factor of t?
True
Let l(p) = -p**3 - 3*p**2 + 3*p - 4. Let v = 2 + -4. Let j(g) = g**3 + 3*g**2 - 4*g + 4. Let q(f) = v*l(f) - 3*j(f). Does 16 divide q(-5)?
True
Let l = 228 + -73. Let t = l - 91. Suppose 2*z = 6*z - t. Is z a multiple of 15?
False
Suppose 129 = 2*i - 3. Is i a multiple of 22?
True
Is (3 - 0) + 15*1 + -2 a multiple of 16?
True
Let y(v) = -v**3 - 15*v**2 - 15*v + 19. Is y(-14) a multiple of 11?
True
Suppose -133 = 5*p + 2*y, 5*p - 3*y = 2*y - 140. Let q be 3/(-6)*-2 + 66. Let v = p + q. Does 23 divide v?
False
Let o(n) be the first derivative of n**3/3 + 3*n**2/2 - 4*n + 5. Does 9 divide o(5)?
True
Suppose -5*l - 3*d + 41 = 0, -6 - 6 = 4*d. Let m = 21 - l. Does 8 divide m?
False
Is 22 a factor of 1/((-54)/(-12)) + (-817)/(-9)?
False
Is 1235/78 - 2/(-12) a multiple of 4?
True
Suppose 0 = -2*i - 3*n + 102 + 101, -i + 2*n = -84. Is 50 a factor of i?
False
Let s(c) = -c**3 + 6*c**2 + 8*c + 10. Is s(7) a multiple of 17?
True
Let k = 180 + 120. Is k a multiple of 28?
False
Let a = -3 + 4. Suppose -b - l = a, 2*b - 23 = -3*b + 2*l. Does 2 divide b?
False
Let k(c) = c**2 + 7*c - 8 - 3*c + c. Let i be k(-7). Let o(w) = -w**2 + 10*w - 8. Does 8 divide o(i)?
True
Let k = -5 + 11. Is k a multiple of 3?
True
Let c be -1 + 3 - 4/4. Let h = -7 - c. Does 18 divide 33 - (h + 3 + 2)?
True
Let q = 3 - 2. Suppose q = 5*o - 19. Suppose -14 = -o*k + 30. Is k a multiple of 11?
True
Let q be 4*(15/(-12) + 2). Let m be (2/q)/((-2)/72). Let h = 56 + m. Is 16 a factor of h?
True
Let d(h) = -6*h**3 + 5*h**2 - 2*h + 2. Let k be d(4). Is 13 a factor of (-8)/(-24) - k/6?
True
Let x(c)