 8*g. Let d be i(1). Is 10/45 - (-52)/d a multiple of 5?
False
Suppose 4*x - 24 = 72. Is 8 a factor of x?
True
Suppose -5*n + 7 - 27 = 0. Let j be n*5 + (-1 - -1). Is (-10)/(-4)*(-208)/j a multiple of 13?
True
Suppose 0 = -4*p - i + 15, -2*p - 7 = -4*i - 1. Suppose -5*h = -p*v - 44, v = -3*h - 2*v + 36. Does 9 divide h?
False
Let a(s) = -s**3 + 6*s**2 + 6. Is 11 a factor of a(4)?
False
Is 1/(-3 - -4) + 62 a multiple of 20?
False
Let d = -1 + 0. Let o(x) be the first derivative of -17*x**4/2 - 2*x**3/3 - x**2/2 - 7. Is o(d) a multiple of 11?
True
Let u(t) be the second derivative of -t**3 + 4*t**2 - 2*t. Let f be u(7). Let w = -8 - f. Is w a multiple of 13?
True
Let i(r) = -r + 29. Let o be i(0). Suppose -94 = -3*q + o. Let w = 77 - q. Does 9 divide w?
True
Let m(g) be the first derivative of -g**3/3 + 9*g**2/2 - 4*g - 1. Is m(5) a multiple of 8?
True
Suppose -h - 2*h = -m + 2, 2*h = 2*m - 4. Suppose h*w + 2*w = 32. Does 8 divide w?
True
Let c(a) = 8*a**2 - a + 1. Suppose -4*h = -0*h + 4. Let t(x) = -2*x**3 + x. Let j be t(h). Does 8 divide c(j)?
True
Let p = 62 + -17. Is p a multiple of 11?
False
Let p = 1 - -1. Suppose -2*s + 79 = -i, -98 = -3*s - p*i + 17. Is s a multiple of 15?
False
Let b(w) = w**3 - 5*w**2 + 5*w + 3. Let n be b(6). Suppose -27 + n = 3*h. Is h a multiple of 13?
False
Let v = 2 - 11. Let k = -5 - v. Does 2 divide k?
True
Let y = 2 - -14. Let x = 27 - y. Is 11 a factor of x?
True
Does 51 divide (-4928)/(-20) - (-9)/15?
False
Suppose -a = -0*a. Let g(p) = 3*p + a*p - 7 + 2*p. Is g(5) a multiple of 9?
True
Let d be (-2 - -2) + -4 - -1. Let s be (3 + d)/(0 - -2). Suppose 3*i + f - 141 = -2*i, s = -4*f - 16. Does 13 divide i?
False
Suppose 0 = -l - 0*l + 5. Suppose -t - 8 = -l*t. Suppose 2*s = -2*x + 12 + t, 3*s + 28 = 4*x. Is x a multiple of 7?
True
Let s = -2 - -2. Suppose -3*m + 0*m + 81 = s. Suppose m = x - 13. Is x a multiple of 20?
True
Let h = 21 + 63. Does 28 divide h?
True
Let m(x) = 10*x + 27. Let n(f) = -3*f - 9. Let g(y) = -3*m(y) - 8*n(y). Let v be g(-7). Is 20 a factor of (-4)/(-22) + 1545/v?
False
Suppose -2 = v, 5*v = 2*s + v - 8. Let o be (8/6)/(2/39). Suppose 0 = -0*g + g - 4*y - o, s = 2*g + 4*y - 16. Is g a multiple of 7?
True
Let i(t) = 6*t - 24. Is 3 a factor of i(7)?
True
Let k = 4 + 48. Is 4 a factor of k?
True
Let x be 10/3*3/2. Suppose d + d - 123 = 5*c, -c + 267 = x*d. Does 18 divide d/1*(-2)/(-3)?
True
Let s(c) = -27*c - 12. Does 34 divide s(-8)?
True
Suppose -2*m = -3*i - 47, 0*m = -5*m - i + 160. Suppose 0 = -2*f - m + 89. Let h = -13 + f. Does 8 divide h?
True
Let x(q) = -q**3 - 6*q**2 + 3*q - 2. Is x(-7) a multiple of 10?
False
Suppose -3*l = -h + 94, 5*l = -4*h - 22 + 347. Does 11 divide h?
False
Let c(m) = 3*m**2 + m. Let w be c(1). Suppose 2*j + q - 8 = 0, j + 4*q - w = -0. Is 26/j - (-2)/(-4) a multiple of 6?
True
Let q(y) be the first derivative of -5*y**2/2 + y + 1. Suppose -2*w + 0 + 8 = 0, 0 = -t + 4*w - 20. Is 6 a factor of q(t)?
False
Let s(w) = 74*w**2 + 4*w - 4. Is s(1) a multiple of 11?
False
Let n(s) = -s**3 - 6*s**2 - 5*s + 7. Suppose -5*o - 10 - 35 = 0. Let q = o - -4. Is 7 a factor of n(q)?
True
Suppose -k + 0*m - 3*m = 9, 5*k - 3*m - 27 = 0. Suppose d = 2*h - 2, -h - k*h = -5*d + 2. Is 28/h + 6/3 a multiple of 8?
True
Suppose 0 = 5*s - 10 - 5. Suppose 0 = a - s*a. Suppose -4*k + a*k = -4*o + 76, k = -4. Is 9 a factor of o?
False
Let q be -1 - (-1 - 0)*1. Suppose -4*l + 3*l + 5*t + 11 = 0, q = 5*l - t - 55. Suppose 3*x + l = 4*x. Is 11 a factor of x?
True
Suppose -p - 4 = -0. Let l = p - -8. Suppose 4*k = -2*s + 100 + 40, 0 = l*k + 4*s - 144. Is 20 a factor of k?
False
Is (-25)/(-10)*108/10 a multiple of 25?
False
Let i be (-6)/(-9) + (-4)/(-3). Suppose 9 = 5*d - 3*c, -3*c - 9 = -i*d - d. Suppose -2*p + 4*a + 8 = d, 0 = -6*p + 7*p - a - 7. Is p a multiple of 10?
True
Let k(t) = t**2 + 6*t - 6. Let m be k(-5). Let a = -1 - m. Is 5 a factor of a?
True
Suppose 4*o - 2*c = 18, -o + 15 = -7*c + 3*c. Suppose i = o*n + 378 + 147, 3*i = -5*n - 889. Is n/(-5) - 4/20 a multiple of 15?
False
Suppose -u + 2*u = 2*l + 23, 3*l + 39 = -3*u. Let f = l - -10. Is ((-6)/(-9))/f*-105 a multiple of 15?
False
Let s be (-37)/2 - 6/(-4). Is 11 a factor of s*(-2 - (0 - 1))?
False
Suppose 3 = 4*c - 21. Let m(s) = -4*s - 6*s + 13*s. Is 9 a factor of m(c)?
True
Let g(x) = -x + x + 3 + 4*x - 11. Is 9 a factor of g(10)?
False
Suppose 14*m - 12*m = 20. Is m a multiple of 2?
True
Let o(d) = 2*d**2 - 7*d + 6. Suppose -i = 2*i - 4*w - 26, -i = 5*w + 4. Does 18 divide o(i)?
True
Let w(k) = 2*k**2 - 3*k + 4. Let t be w(-4). Suppose -j + 0 = -3. Suppose z + t = j*z. Is 12 a factor of z?
True
Let v be (0 - 21/9)*3. Let x = v - -11. Suppose x + 2 = a. Is 2 a factor of a?
True
Let s = -17 - -8. Let f be 1/(30/s + 3). Let r(u) = 4*u**2 + u - 3. Is 10 a factor of r(f)?
True
Suppose 294 = -15*n + 1494. Is n a multiple of 20?
True
Let s = 60 + -38. Does 11 divide s?
True
Let q = -5 - 15. Let d = 24 + q. Is 4 a factor of d?
True
Let d(h) = -h**3 - 7*h**2 - 4*h + 6. Let g be d(-4). Let b = 82 + g. Is 28 a factor of b?
True
Let n(f) be the third derivative of f**5/20 + f**3/2 - 2*f**2. Let r = 11 + -8. Is n(r) a multiple of 15?
True
Let q = 100 + -24. Let o be 4 - (-2 + 3)/1. Suppose -o*v = n - q, 3*v - 2*n = 4*v - 17. Does 9 divide v?
True
Suppose -68 = -5*l + 82. Is l a multiple of 6?
True
Let f = 29 + -20. Does 9 divide f?
True
Is 12 a factor of 606/15 - 2/5?
False
Suppose 2*l = l. Let b be 22/6*(l + -3). Is 12 a factor of b*(-1 + -1) + 2?
True
Let q(f) = 17*f**2 + 2*f - 3. Is 2 a factor of q(1)?
True
Suppose -5*y + 4*b = -7, -y - 4*b + 5 = -6. Suppose 0 = -2*g + y*g - 8. Is 8 a factor of g?
True
Suppose 2*m - 10 = 110. Is 34 a factor of m?
False
Suppose -2 = 2*d + 4, 0 = o - 3*d - 13. Is 4 a factor of o?
True
Let z = -39 + 45. Is z a multiple of 4?
False
Suppose 63 + 252 = 5*o. Is 17 a factor of o?
False
Suppose 4*t = 6 + 6. Let d(b) = b**2 - 3*b. Let x be d(t). Suppose x = -i + 2*i - 13. Does 6 divide i?
False
Let n = -13 - -140. Is 11 a factor of n?
False
Let q(d) = 2*d**2 + d - 1. Let y be q(1). Suppose y*s = -0*s + 12. Does 4 divide -1 - -4 - -2*s?
False
Suppose -7 + 19 = 4*a. Suppose 0 = -a*l - 5*v - 4, 0 = 2*l - 3*l + 2*v + 17. Does 4 divide l?
False
Let i be 48/(-40)*(-160)/6. Let z = i - -1. Is 11 a factor of z?
True
Suppose -2*c = -6 + 2, 3*z - 4*c + 152 = 0. Let x = -20 - z. Does 14 divide x?
True
Let f be (-6)/(-4) + (-42)/12. Let p = f - -3. Does 9 divide 30 + (p + 2)/(-1)?
True
Suppose -u = 3 - 7. Is 6 a factor of 62/u - (-6)/(-4)?
False
Let t(w) = -w**3 - 10*w**2 - 13*w - 2. Is 15 a factor of t(-9)?
False
Suppose -8 = 2*j - 3*q + 7*q, j + 4*q + 8 = 0. Suppose -2*g + j*g = -36. Is g a multiple of 18?
True
Let d(g) = g**2 + 4*g + 2. Let b be d(-4). Suppose -136 - 548 = -6*k. Suppose -b*t = t - k. Is t a multiple of 19?
True
Let s(d) = 6*d - 14. Is s(5) a multiple of 8?
True
Let z(u) be the second derivative of u**5/20 + 5*u**4/12 - u**3 + 7*u**2/2 - 2*u. Suppose 0*y - t + 17 = -3*y, 0 = 2*t - 4. Is z(y) a multiple of 10?
False
Suppose 7*u - 3*u = -48. Let d be ((-138)/(-8))/((-3)/u). Suppose 0 = -0*g + 3*g - d. Is g a multiple of 23?
True
Let f be (-4)/(-6) - 50/(-15). Suppose -5*r = u + 89, f*r + 60 = -u + 3*u. Let k = r - -34. Does 10 divide k?
False
Let v be 3/(0 - (1 - 4)). Let w be v - (-5)/((-5)/(-2)). Suppose -n = y - 8, n + 6 = w*y - 6. Is 3 a factor of n?
True
Let p = 9 - 15. Let h = p + 19. Is 8 a factor of h?
False
Let r be ((-6)/(-15))/((-1)/5). Let g = r - -4. Does 11 divide g/7 - (-152)/7?
True
Let h(o) = -2*o**3 - 3*o**2 - 2*o - 3. Let t be h(-2). Suppose 47 = t*l - 23. Does 14 divide l?
True
Let s(p) = p**3 - 7*p**2 + 6*p + 8. Suppose 5*j - 6 - 9 = 4*z, -j + 4*z - 13 = 0. Does 25 divide s(j)?
True
Does 2 divide ((-3)/2)/(6/(-8))?
True
Let n(r) = r**2 + 8*r + 14. Does 2 divide n(-10)?
True
Suppose 3*c - 52 = c. Is c a multiple of 13?
True
Let f = 56 - 6. Suppose 3*z - f = -v, 0 = v + v - 3*z - 55. Does 16 divide v?
False
Suppose -2*y - 6 + 0 = 0. Is y*(-3 - (-1 + 0)) a multiple of 3?
True
Suppose -3*b - i + 9 = 0, -5*i + 16 = 1. Suppose 0 = b*v - 4*v + 8. Suppose -20 = -u - m - 4, u + v = 4*m. Does 6 divide u?
True
Let f(m) be the first derivative of 2*m + 1/2*m**2 - 5/3*m**3 - 1 + 1/4*m**4.