 = -9*l + 682 - 43. Is l a multiple of 10?
False
Let f(m) = m + 18. Is f(-6) a multiple of 4?
True
Suppose -2*q - 16 = 3*l, -6*l + 2*l - 4*q = 28. Let x be (-1)/(1*(-1)/(-8)). Does 6 divide l/x + 23/4?
True
Suppose 0 = 3*y - u + 4*u - 33, -2*y - 5*u = -25. Suppose 3*a + h = 11, -4*a + 0*a + y = -h. Is 3 a factor of a?
True
Let m(r) = 3*r**2 + 9*r + 9. Is m(-5) a multiple of 14?
False
Suppose -r = -m - m + 45, -r + 5*m = 57. Let f be 1/(-4) + 51/(-4). Let z = f - r. Is z a multiple of 10?
False
Let h(c) be the third derivative of c**4/4 + 2*c**3/3 + 2*c**2. Is 15 a factor of h(3)?
False
Suppose 5*p - 66 = -16. Let a = -12 + p. Is 21 a factor of (8/6)/(a/(-75))?
False
Let o be (-6)/(-1) - (1 + 1). Suppose 5*y - 177 = -o*d, -2*y = -2*d - 7*y + 81. Is 24 a factor of d?
True
Let l = 14 + 1. Is l a multiple of 13?
False
Suppose i + 17 = 3*v, -3*i = v + 2*v + 3. Suppose v*y - q - 9 = 20, -y - 2*q = -14. Suppose 0 = -y*h + 3*h + 10. Is h a multiple of 2?
True
Suppose -20 = 5*s + 5*m, -2*s - 8 = -4*m - 24. Suppose s = -r + 5*r - 208. Suppose -5*l = 4*w - 29, 2*w + 2*w + r = 4*l. Is l a multiple of 4?
False
Let u be ((-5)/(-6))/((-15)/(-90)). Suppose -4*w - u*l + 151 = -27, -3*l = 5*w - 216. Is w a multiple of 14?
True
Is 8 a factor of (-1405)/(-25) + 4/(-20)?
True
Let r be 1/5 + (-42)/(-15). Suppose r*p = 2*p + 5. Suppose 0 = p*c + 3*n - 78, -4*c = -2*c - 3*n - 48. Does 8 divide c?
False
Is (18/(-9))/(1/(-24)) a multiple of 16?
True
Let m(i) = i**2 + 12. Is 13 a factor of m(-5)?
False
Suppose d - 2*k - 24 = 0, 2*d - 9 - 9 = -2*k. Let z be 2/7 - 718/d. Let t = z + 72. Is t a multiple of 21?
True
Suppose -2*o - 3*p + 4 = 0, 0 = 4*o - 6*p + 2*p - 48. Is o a multiple of 8?
True
Let i(b) be the first derivative of -29*b**3/6 + b**2/2 - 4*b + 4. Let a(j) be the first derivative of i(j). Is a(-1) a multiple of 11?
False
Suppose 5*w + 2*w - 1477 = 0. Is w a multiple of 9?
False
Suppose 3*u = 5*a - 1, -4*a = u + 4*u + 14. Let b be 3 - (a - (1 - 0)). Suppose -b*s + 4*s + 36 = 0. Is 18 a factor of s?
True
Let k(w) = -w**2 + 7*w - 4. Let a be k(6). Suppose 5*i = -27 + 7, -a = 3*z + 5*i. Let x = 12 - z. Is 6 a factor of x?
True
Suppose 0*g - 2*t + 43 = g, -2*g + 118 = -4*t. Does 17 divide g?
True
Let d(g) = -g**2 + 11*g - 10. Let q be d(10). Suppose q = -4*c + c + 117. Is c a multiple of 13?
True
Let u = -49 + 181. Is 6 a factor of u?
True
Let q be -128 - (4 - (4 - 0)). Let w = q - -231. Does 18 divide w?
False
Let t(x) = -3*x**3 - x**2 - 6. Does 11 divide t(-3)?
True
Does 8 divide (4/(-6))/(4/(-78))?
False
Let p = 59 - 22. Let d = 65 - p. Suppose d + 17 = 3*c. Is c a multiple of 8?
False
Let w = -91 + 191. Is w a multiple of 20?
True
Let d = 54 - 24. Let w = d + -18. Let z = w + -8. Is z even?
True
Suppose -136 = 5*g - 3*i, -5*g - 164 + 38 = 2*i. Let p = g - -40. Is 5 a factor of p?
False
Let l be 3*(2 - (-8)/(-6)). Suppose 5*f - 17 = 3*z + 1, 2*z + 14 = 4*f. Let m = f + l. Does 2 divide m?
False
Let q(r) = r**3 + 11*r**2 - 7*r + 13. Let w be q(-11). Let i = 130 - w. Is i a multiple of 16?
False
Let n(t) = t**2 - 1. Let o(k) = 48*k**2 - 6. Let c(w) = -6*n(w) + o(w). Let g be c(-1). Let h = -12 + g. Is h a multiple of 15?
True
Suppose -w + 1 = -2*n + 5, -w + n = 1. Let g be w/3 + (-20)/(-6). Suppose -3*y = -g*h - 24, 0 = 4*y + 4*h - 37 + 5. Is y a multiple of 5?
False
Is 3*(-5)/(-15)*5 a multiple of 5?
True
Let r(h) = 2*h**2 + 3*h. Let n be r(-2). Suppose 0 = w + n*w + 39. Let s = -2 - w. Is 7 a factor of s?
False
Suppose 0 = -2*w + 4*l - 4, -6*l = 5*w - l - 50. Let x be (-18 + 6)*2/6. Does 10 divide (-12)/x*20/w?
True
Suppose -2*c + 6 = c. Suppose -37 = -5*f - c. Is f a multiple of 5?
False
Let h = -2 + 10. Let l be 426/27 - 2/(-9). Suppose -c + 2*c + h = -4*x, 3*c - l = -2*x. Is 3 a factor of c?
False
Let b = 11 + -8. Let i(p) = -5*p**2 - 5*p + 0*p**2 + 0*p**2 - b + 4*p**2. Is i(-3) even?
False
Let j be (-12)/16 - 33/4. Let f = j + 26. Is 7 a factor of f?
False
Suppose -5*c + 5 = -5*u, -3*u - 4*c = 11 + 6. Let d be 81/2 + u/6. Suppose -2*t - 3*f = -d, t = -t - f + 48. Does 13 divide t?
True
Let b(l) = -l**3 + 6*l**2 - 5*l + 2. Let a = -5 + 10. Let c be b(a). Suppose -2*n + o + c = -11, 0 = o - 5. Is 8 a factor of n?
False
Suppose -4*d + 6*d - 10 = 0, 4*d = -5*j + 10. Let i be j/10 + 144/20. Suppose -4 = y - i. Is 3 a factor of y?
True
Suppose 0 = -2*q - 4 + 178. Let s = q + -51. Is 23 a factor of s?
False
Let a be (1/2)/((-1)/(-2)). Let y be 2/((-6)/(-9))*a. Suppose 4*p = -5*w + 2*w + 117, 2*w = y*p - 92. Is p a multiple of 15?
True
Let z(m) = m + 9. Let s be z(-15). Let l = 15 + s. Is l even?
False
Let m(s) = -s**3 + 6*s**2 - s - 3. Let q be m(5). Suppose k - 4*h - 23 = 0, 3*k - 2*h - q = 2*k. Does 5 divide k?
False
Let o = 236 - 130. Is 18 a factor of o?
False
Let j = 14 + 30. Suppose -4*h + 142 = 2*c, h + 16 - j = c. Is 11 a factor of h?
True
Suppose 4*q - 7 = 2*r + 3*q, -r + 3*q = -4. Let a(f) = -2*f + 4. Is a(r) a multiple of 7?
True
Let z(p) be the third derivative of -p**6/120 - p**5/30 - p**4/24 - p**3/3 + p**2. Is 6 a factor of z(-3)?
False
Suppose -5*a - 110 = -3*w, -2*a - 36 = -4*w + 8. Suppose -4*x + y - 67 = -0, -3*x - 45 = y. Let k = x - a. Is k a multiple of 3?
True
Let g = 65 + 15. Is g a multiple of 14?
False
Suppose 0 = 5*t + 2 - 12. Is 20 + (t - 1) + 0 a multiple of 10?
False
Suppose 12 = -4*v, i + v = -0*v + 29. Suppose -35 = 3*l - f - f, -2*f - 19 = 3*l. Let p = l + i. Is 14 a factor of p?
False
Let m(b) = b**2 - 3*b + 4. Let q(x) = x + 6. Let v be q(-3). Let j be m(v). Suppose 23 = 4*u + 5*w, 37 = j*u + w - 6. Does 6 divide u?
True
Let h be (-64)/12*27/12. Is 14 a factor of ((-8)/h)/(2/129)?
False
Let m be (-40)/(-6)*(-6)/(-4). Suppose 5*a - 5*b - m = 0, 2*a + 5*b - 2 = 16. Suppose a*c - 10 = 2*c. Is 3 a factor of c?
False
Suppose -4*y + 83 = -3*u, -2*u + 73 + 5 = 4*y. Suppose -2*f = -0*f - y. Is 4 a factor of f?
False
Let r = -27 + 55. Let c = -13 + r. Is 15 a factor of c?
True
Suppose 0 = 9*w - 6*w - 2*b - 214, 3*w - 5*b = 211. Is 27 a factor of w?
False
Suppose 3*y - 3*v - 24 = 0, 0*y = -3*y + 2*v + 25. Is y a multiple of 6?
False
Suppose -l + 3*l = -5*i + 53, 57 = 5*i - 2*l. Suppose 3*f = -2*n + i, -2*f - n - n = -10. Is f/2 - 22/(-4) a multiple of 5?
False
Suppose -r - 2*j = -7*j - 19, 4*j = r - 17. Is r a multiple of 2?
False
Let r be (-225)/21 + 2/(-7). Let b = r - -6. Let v = 22 + b. Is v a multiple of 17?
True
Suppose 0 = -2*x + o + 4*o + 4, x - 2 = -3*o. Suppose -i + x + 1 = 0. Suppose i*n + 3 = 69. Is n a multiple of 11?
True
Let u be ((-16)/(-12))/((-4)/(-102)). Let m be (-24)/9*(6 - 3). Let j = m + u. Is j a multiple of 13?
True
Suppose 2*k = -6 + 2. Let d(g) = -16*g - 2. Does 9 divide d(k)?
False
Let c = 15 - 10. Suppose 3*u = 3*q - 72, c*u - 3 = -23. Is 12 a factor of q?
False
Let u(k) = 2*k + 109. Does 28 divide u(0)?
False
Let y = 75 + 17. Let i be (-10)/(-2) + -2 - 1. Suppose 32 = -i*r + y. Is 15 a factor of r?
True
Let b = -75 + -8. Let q = b - -116. Is q a multiple of 19?
False
Suppose -3*x + 273 = -3*q, 5*q - 500 = -5*x + q. Is 12 a factor of x?
True
Suppose 8*v - 201 = 5*v. Does 3 divide v?
False
Let v(n) = n - 6. Let u be v(8). Let j(s) = s**3 + 5*s**2 + 2*s + 3. Let o be j(-4). Suppose o = b + u. Does 9 divide b?
True
Suppose -4*m = s, 0 = -3*s - 0*m + 2*m - 14. Let n(l) be the first derivative of -4*l**2 + 3*l - 1. Is 16 a factor of n(s)?
False
Let w be 2/7 + (-2164)/28. Let p = -51 - w. Is p a multiple of 13?
True
Let p be 4 + -4 + (-1 - 1). Let u be ((-3)/6)/(p/(-12)). Let i = u + 13. Does 5 divide i?
True
Let h(m) = 2*m**3 + 2*m**2 + 8*m - 7. Is h(3) a multiple of 34?
False
Suppose -2*h + 1 = -15. Let x be (-2)/(-8) + 150/h. Let u = x + -2. Does 6 divide u?
False
Let u(y) = -y. Let j(r) = -2*r + 9. Let k(t) = j(t) - 3*u(t). Let i = 0 + 0. Is k(i) a multiple of 9?
True
Suppose 5*h = 5, -h + 13 = 3*o + 3*h. Suppose 4*g - o*y = 128 + 19, 2*y = -2. Does 10 divide g?
False
Is (6/(-15))/(2/(-115)) a multiple of 23?
True
Let v(f) = 3*f - 1. Let g be v(-1). Is 2 + g + 7/1 a multiple of 5?
True
Let b(w) = -5*w**3 - 4*w**2 - w - 5. Does 6 divide b(-2)?
False
Suppose -4*b - 4*w + 880 = 0, -w = -0*w + 2. Is 18 a factor of b?
False
Let y(a) = -a + 26. Does 3 divide y(20)?
True
Suppose l + 0*p - 25 = 2*p, 50 = 2*l - 5*p. I