e
Suppose -4*w - 124 = -2*a - 2*a, 0 = -a + 3*w + 35. Suppose -a - 166 = -5*h. Is 9 a factor of h?
False
Is 4*17 + (-5 - -9) a multiple of 12?
True
Suppose 2*i - 2 = -d, i - 3*d = -0*i + 15. Suppose -2*g = i*m - 34, -g + 0*m + 4*m + 28 = 0. Suppose 2*f = c + 59, 3*c + g = -f + 67. Does 16 divide f?
True
Let s = 160 + -88. Does 12 divide s?
True
Let g be (-3 - 0)/(6/(-8)). Suppose 3*y - 1 = 5*a - 7, 5*a - g*y - 3 = 0. Suppose 9 = -4*u + a*u - 5*f, -2*f = -5*u + 63. Is 11 a factor of u?
True
Let p(m) = -5*m - 5. Does 10 divide p(-5)?
True
Suppose 3*h = 6*h - 12. Suppose -5*d + h = -4*d. Suppose -26 = -d*t + 14. Is 9 a factor of t?
False
Let y(d) be the third derivative of -d**6/120 - d**5/10 - d**4/3 - d**3 - 3*d**2. Is 4 a factor of y(-5)?
False
Suppose -2*d + 15 = -15. Suppose d = 5*x - 5. Suppose 69 = -r + x*r. Is 6 a factor of r?
False
Let v(q) = -4*q - 3. Let k be v(-11). Let c = -13 + k. Is 14 a factor of c?
True
Let w(r) = -r**3 - 6*r**2 - 2*r + 17. Is w(-7) a multiple of 16?
True
Suppose -2*f + 2*s = 2*f - 54, 79 = 4*f + 3*s. Suppose -j = 1 - f. Suppose 3*q - 66 = -j. Does 10 divide q?
False
Let o(p) = -2*p**3 + 2*p**3 - 7 + p + 6*p**2 + p**3 - 4*p. Is o(-6) a multiple of 4?
False
Let x(g) = -g**3 - 3*g**2 - 2*g + 2. Suppose 4*m - 2*c - 3 = 1, -4*c = -16. Let j(u) = u**2 - 1. Let s(r) = m*j(r) - x(r). Is 10 a factor of s(-5)?
True
Suppose -147 = -6*k + 117. Is 11 a factor of k?
True
Let g = -2 - -6. Suppose -g*n + 144 = 28. Does 12 divide n?
False
Let w = 6 + -35. Let c = w + 49. Is 10 a factor of c?
True
Is 12/(-18) - (-256)/6 a multiple of 14?
True
Let x = -67 + 84. Does 17 divide x?
True
Let b(a) = a**3 - 3*a**2 - 3*a. Let k be 99/12 - (-4)/(-16). Let z be (6/12)/(1/k). Is 4 a factor of b(z)?
True
Let m(d) = 10*d - 16. Is m(14) a multiple of 20?
False
Is (5 - 75/5)/((-2)/20) a multiple of 25?
True
Suppose 92 = 3*j - j. Is j a multiple of 13?
False
Let m = -60 - -108. Does 11 divide m?
False
Let o(n) = -n**2 - n. Let k be o(2). Let z(f) = -f - 1. Let m be z(k). Suppose m*b - 2*a - 128 = 0, 0 = -4*b + a - 38 + 138. Does 22 divide b?
False
Let w = 3 - -17. Does 7 divide w?
False
Let c = -26 + 48. Suppose -4*f = 12, k + 2*k - 2*f = -3. Does 13 divide (c + k/1)/1?
False
Suppose -38*n + 43*n = 210. Is 7 a factor of n?
True
Suppose q - 3*q = -3*s, 2*s = q - 1. Does 17 divide ((-3)/q)/((-1)/(-34))?
True
Suppose 3*a = -a + 160. Suppose 0 = -3*c - 6, 0 = 4*d + c - 34 - a. Does 4 divide d?
False
Suppose 2*i - i = 0. Suppose -4*r + 2*b + 2 = 0, -5*r + 3*b - b = i. Is (-10)/6*(r + -1) a multiple of 2?
False
Let s = -3 - -8. Let h = s - -27. Let f = 46 - h. Is f a multiple of 10?
False
Let d(i) = -3*i**2 + 29*i + 11. Let k(o) = -o**2 + 10*o + 4. Let w(m) = -6*d(m) + 17*k(m). Let a be w(4). Is -34*a*2/(-8) a multiple of 12?
False
Let v = -44 - -87. Let d = v + -11. Is 14 a factor of d?
False
Let g(i) = 3*i - 19. Let o(d) = -7*d + 37. Let u(y) = -5*g(y) - 2*o(y). Does 21 divide u(0)?
True
Suppose 0 = -3*b + 36 - 12. Is 2 a factor of b?
True
Let t(q) = q**3 - 11*q**2 + 3*q - 16. Let o be 2/4 - (-63)/6. Does 17 divide t(o)?
True
Is 7 a factor of (-5)/(3 + 2) - -15?
True
Suppose -15*i + 4*i = -2926. Is 18 a factor of i?
False
Suppose -6*p + 324 = -642. Does 11 divide p?
False
Let t = 241 - 157. Let v = t + -41. Is v a multiple of 17?
False
Let y = 38 - -18. Is 8 a factor of y?
True
Let l = -24 - -23. Let v = l - -14. Does 13 divide v?
True
Let w(f) = f**3 + 4*f**2 + 2*f + 6. Let t(u) = u**3 + 3*u**2 + 2*u + 5. Let b(x) = 6*t(x) - 5*w(x). Does 15 divide b(3)?
True
Let t = -5 - -3. Let y(h) = -h**3 + h**2 + 3*h + 1. Is y(t) a multiple of 7?
True
Suppose -2*k - 5*j + 15 - 2 = 0, 4*k = -5*j + 41. Suppose -6 - k = -d. Let n = 2 + d. Is n a multiple of 11?
True
Does 5 divide (-55)/(-10)*2 + 1?
False
Suppose -169 = -4*t + 287. Suppose -2*l + t = 30. Is l a multiple of 24?
False
Suppose 2*a + 6 = 18. Suppose b = 3*p - 2*b + a, -3*p = 2*b + 26. Is 1 + 2/(-3)*p a multiple of 5?
True
Suppose 7*d - 345 = -2*z + 4*d, 0 = -3*z + d + 523. Is z a multiple of 29?
True
Let m = -5 + 2. Let w(z) = z**3 - z**2 + z + 1. Let a(r) = 4*r**3 - 12*r**2 + 6*r - 6. Let c(x) = m*w(x) + a(x). Is c(9) a multiple of 9?
True
Let x be ((-20)/(-8))/((-2)/4). Let m = -3 - x. Suppose -4*y - 5*r + 58 = 0, 5*r = 4*r - m. Is 9 a factor of y?
False
Let m(t) = 3*t + 2. Let s(n) = n**2 - 5*n + 2. Let k be s(4). Let y be m(k). Is 1 + 9 + (y - -2) a multiple of 4?
True
Let a be 7 + -1 - (-7)/(-7). Suppose -53 = -3*o + 4*v, a*v = 3*o + o - 72. Does 6 divide o?
False
Suppose 2*m = 4*o, 3*m - o + 0 = -15. Is 15 a factor of 135/30*(-40)/m?
True
Let n be (-1)/(26/(-8) + 3). Suppose -48 = -n*x + 24. Does 11 divide x?
False
Is 3 a factor of 4/(-12)*-8*3?
False
Let n(s) be the third derivative of -3*s**2 + 1/60*s**5 + 0*s + 0 - 5/24*s**4 - 5/6*s**3. Is n(7) a multiple of 7?
False
Let h(f) = -f**2 + 13*f. Does 15 divide h(10)?
True
Let g(z) = z**3 - z + 13. Is 5 a factor of g(0)?
False
Let a = -26 - -47. Let u = a + -3. Is 9 a factor of u?
True
Suppose 3*d = 12 - 0. Suppose 4*r = 2*m + 8, 2*m - 5*r + 7 = -d. Is m a multiple of 2?
True
Let p(s) be the first derivative of s**6/18 + s**4/24 - s**3/3 + 2. Let o(u) be the third derivative of p(u). Is o(1) a multiple of 14?
False
Let k(q) = q + 3. Let o be k(4). Suppose 3*j - o*j + 76 = 0. Is j a multiple of 4?
False
Let m(w) be the third derivative of w**8/20160 + w**7/840 + w**6/144 - w**5/30 + 2*w**2. Let y(t) be the third derivative of m(t). Does 5 divide y(-6)?
True
Let x(n) = -n. Let h(k) = 4*k + 5. Let a(z) = -h(z) - 5*x(z). Is 2 a factor of a(9)?
True
Let y(k) = k**2 - 7*k + 2. Let t be y(6). Let v = 21 + t. Is v a multiple of 11?
False
Suppose 5*p - 200 = -4*o, 4*o - 213 = 2*p + 15. Is o a multiple of 13?
False
Suppose 123 = 10*d - 7*d. Is d a multiple of 3?
False
Let f = -3 - -2. Is 7/(-2)*(-5 + f) a multiple of 21?
True
Let x be -16*(1*-2 - 0). Let k be (-44)/66 + (-40)/(-6). Suppose -5*a = -k*a + x. Does 16 divide a?
True
Let z(b) = 3*b - 3*b + 3*b. Does 10 divide z(7)?
False
Suppose -10*r + 6*r + 52 = 0. Does 3 divide r?
False
Let q be (0 - 0) + -1 + 4. Suppose -f = -q*p, -3*f - 3*p + 44 = -p. Is f a multiple of 6?
True
Suppose 5*v - 5 = 5*q, -5*q - 2*v + 35 - 5 = 0. Does 15 divide ((-3)/1)/(q/(-20))?
True
Let d = 3 + -9. Let u = 0 - d. Suppose 4 = 2*f - u. Is f a multiple of 3?
False
Is 2 a factor of (-4)/(-1) + (11 - 8)?
False
Let p(l) be the first derivative of 1/3*l**3 - 8*l + 4*l**2 + 3. Is p(-10) a multiple of 12?
True
Suppose 15 = -n + 3. Let t = n + 20. Is 4 a factor of t?
True
Suppose 0 = -4*y + 6 + 2. Suppose y*i - 3*d - 36 = -0*i, i + 3*d = 18. Is 9 a factor of i?
True
Let y be (-19)/(7/(-2) - -3). Let r = y - -25. Does 12 divide r?
False
Let f = -105 + 199. Does 6 divide f?
False
Let f(z) be the second derivative of z**4/12 - 2*z**2 - 2*z. Is 7 a factor of f(-4)?
False
Let c(m) = -m**3 + 7*m**2 - 5*m + 8. Let t be c(6). Is 15 a factor of t/(-35) - 414/(-10)?
False
Suppose -2*x - 18 = -0. Let f = 41 + x. Does 8 divide f?
True
Suppose -v + 10 = -0*v. Suppose -3*k + k = v. Is 3 a factor of (-52)/k + (-9)/(-15)?
False
Suppose -2*j + 18 = -12. Is j a multiple of 7?
False
Suppose 54 = 3*u + 5*g + 8, 4*g + 72 = 4*u. Let c(t) = -4*t**2 - 1. Let k be c(-1). Let d = k + u. Does 11 divide d?
False
Let k(b) = 30*b. Is k(1) a multiple of 16?
False
Let j be 4/14 + 348/(-42). Let a(g) = -g + 26. Let w be a(0). Let h = w + j. Does 7 divide h?
False
Let j = 10 + -6. Suppose -j*b + 12 - 86 = -s, -64 = -s - b. Does 22 divide s?
True
Let f = 52 - 3. Does 17 divide f?
False
Let y be -2*2*-8*1. Suppose -2*g - 46 = -4*q, -4*g + y = 2*q - 2*g. Is q a multiple of 4?
False
Let d(x) = x**2 + x - 4. Let q be d(0). Let h = q + 4. Suppose h = -f - f + 52. Is 13 a factor of f?
True
Let m be (-174)/24*16/(-2). Suppose w - m = -w. Is 7 a factor of w?
False
Let z(b) be the second derivative of b**3/3 + 3*b**2 - b. Does 20 divide z(7)?
True
Suppose -3*v = -5*w - 159, -2*w = 3*w - 15. Is v a multiple of 19?
False
Suppose -5*f = -8*a + 4*a + 303, -4*f - 390 = -5*a. Let v be 3*-2*(-6)/9. Suppose v*b - a = 2*p, -3*b + 6*p + 44 = p. Is b a multiple of 9?
False
Suppose 0 = 4*l - 18 - 6. Suppose v - 4 = l. Is 4 a factor of v?
False
Suppose 2*h = 4*h + 5*y + 20, 4*h - 3*y = 1