 0 = 2*l. Let y = 12 - l. Suppose -5*p - 10 = 0, -4*c - 5*p + y = -30. Is c a multiple of 7?
True
Does 12 divide 36*2*(-3)/(-9)?
True
Suppose 4*u = -3*m - 26, 0*u = -2*u - 10. Let d(p) = 9*p**2 - p - 1. Is 16 a factor of d(m)?
False
Let v(b) be the third derivative of b**5/60 - b**4/24 + 9*b**3/2 + 3*b**2. Let d = 1 + -1. Is v(d) a multiple of 11?
False
Let a(g) = 6*g - 1 - 10*g - 30*g. Let q(r) = r**2 - 10*r - 1. Let t be q(10). Is 14 a factor of a(t)?
False
Suppose -2*l + 37 + 3 = -2*o, 3*l + 3*o = 60. Is l a multiple of 4?
True
Let m be (-2)/((12/21)/2). Let s(i) = -3*i - 3. Does 6 divide s(m)?
True
Let d(m) = m + 12. Let t be d(-10). Suppose 9 = -i - 3*c, t*i + c + 23 = -0*c. Does 5 divide (-3)/12 - 123/i?
True
Let v = 2 - -3. Suppose -4*n - b + 59 = 0, 2*n = 4*n - v*b - 13. Is 14 a factor of n?
True
Let z = -16 + 28. Let v be (8/(-10))/((-1)/10). Let l = z - v. Is l a multiple of 4?
True
Suppose -c + 7 = 4*m, c = -c + m + 5. Let o(y) = -4*y**2 - y**3 + 0*y**c + 2*y**3 + 7 - 5*y. Is o(5) a multiple of 6?
False
Let r(k) = 4*k**2 - 8*k + 9. Does 11 divide r(4)?
False
Is 13 a factor of 7 + -10 + -1*(-203)/1?
False
Let h(k) be the first derivative of -k**3/3 + 6*k**2 + 15*k + 3. Is h(7) a multiple of 18?
False
Let f(x) = 4*x**2 + 4*x. Suppose 0 = -n - 4*n - 15. Is f(n) a multiple of 24?
True
Let z(n) = 2*n**3 - 2*n**2 - 2*n + 5. Let s be z(4). Suppose -b + s = -f, -3*f - 2*f = 15. Suppose 0*o = -3*o + b. Is 15 a factor of o?
True
Let s(b) = -14*b - 1. Let l(n) = -n. Let x(o) = -3*l(o) - s(o). Is 15 a factor of x(1)?
False
Suppose 4*d = 170 + 134. Is d a multiple of 23?
False
Suppose 3*r - 165 = 2*r. Suppose 10*d - 5*d = r. Suppose -d - 54 = -3*y. Is y a multiple of 11?
False
Suppose 0 = -4*c - 1 + 17. Let b = -57 - 179. Is 10 a factor of c/10 + b/(-10)?
False
Let z = -1 - -57. Does 14 divide z?
True
Let k = -60 - -123. Is 7 a factor of k?
True
Let u = 7 - 7. Suppose u = -3*q - q - 116. Let x = q + 53. Is x a multiple of 12?
True
Let x(j) = j**2 - 7*j + 6. Let i be x(6). Is 7 a factor of (16 - (0 - i)) + -2?
True
Let k(s) = 5*s**2 + 4*s - 1. Does 2 divide k(-2)?
False
Suppose -4*p + p - 63 = 0. Let a = p + 30. Does 9 divide a?
True
Let w = -54 - -151. Is 20 a factor of w?
False
Suppose 0 = -h - 4*c + 20, 13 + 4 = h + c. Is h a multiple of 4?
True
Is ((-16)/(-5))/(165/(-175) - -1) a multiple of 15?
False
Let h = -12 - -27. Suppose -22 = -3*p - 4*n, -p - 3 = -5*n + h. Does 2 divide p?
True
Let s be (-10 + 8)*2/4. Is s*(-1)/((-2)/(-86)) a multiple of 9?
False
Let l be -2 - (-1)/((-3)/(-6)). Is (-3 + l)/(-1) + 41 a multiple of 22?
True
Let s = -42 + 120. Is 26 a factor of s?
True
Suppose 36 = -4*c - 32. Let b = 2 - c. Does 8 divide b?
False
Suppose -2*j + 2*r + 447 = 3*r, -3*j + 2*r + 667 = 0. Let c = 351 - j. Suppose t + 3*t = c. Is 15 a factor of t?
False
Suppose -7*w + 10*w = 336. Is 16 a factor of w?
True
Suppose 0 = 3*p + 4*a - 44 - 19, -a = 0. Is p a multiple of 12?
False
Suppose 5*p + 0 - 9 = w, -2*w - 2*p + 18 = 0. Suppose -c = -w*c. Suppose 0 = -3*k + 2*j + 91, c = 5*k - 5*j + 3*j - 145. Is 17 a factor of k?
False
Let q = 5 - -1. Suppose 2*a - q - 4 = 0. Let i = a + 12. Is 8 a factor of i?
False
Suppose 93 = 3*r - 5*m - 122, 371 = 5*r - 2*m. Let t = 45 - r. Let p = t + 55. Does 7 divide p?
False
Let o(d) = -d**2 + d - 1. Let s be o(2). Let j be (-1)/((3/2)/s). Suppose 3*i + 2*k - 13 = -j*k, -5*i = 5*k - 25. Is 3 a factor of i?
False
Is 30*(-9)/(-24)*4 a multiple of 15?
True
Let r be 8/(-12) + (-148)/(-6). Suppose 5*d = -4*o + r, 0 = -3*d + 2*o + 3 + 7. Suppose d*w - c = 49, -2*w = w + 5*c - 31. Does 12 divide w?
True
Suppose -64 = -4*t + 3*t. Is 27 a factor of t?
False
Suppose 3*r = 5*z, 0*z - 3*z = -3*r. Suppose -4*a + 10 + 30 = r. Is 3 a factor of a?
False
Suppose o + 3*o = 4. Is 16 a factor of (-2)/(((-1)/8)/o)?
True
Suppose 2*k + 141 = 5*a, 3*k + 2 = 8. Is a a multiple of 3?
False
Let l be (-2)/(-9) - (-636)/54. Is 14 a factor of 63/((-2)/((-16)/l))?
True
Let w = -10 - -13. Suppose -5*x = -g - 1, 2*g + x - 21 = -w*g. Does 9 divide (182/(-21))/(g/(-6))?
False
Suppose q - 2*q + 28 = 3*n, -5*n + 98 = 4*q. Suppose z = 3*r - 10, 5*z + 28 = 5*r - 2. Suppose -r*h - 1 = -3*y - q, 0 = -5*h - 3*y + 42. Is h a multiple of 7?
False
Is 0*1/(-5) + 22 a multiple of 11?
True
Suppose 0 = -3*v - 101 - 139. Let a = v - -43. Let u = 13 - a. Is 25 a factor of u?
True
Let p(t) = t**3 - 2*t**2 - 5*t - 8. Is 25 a factor of p(6)?
False
Suppose -4*x = -14 + 6. Suppose 52 = 3*o + x*n, -5*n = -1 - 9. Suppose 5*s - o = s. Does 4 divide s?
True
Let v(c) = -c**3 + 5*c**2 - 2*c - 5. Let j be v(4). Let f = 5 - j. Suppose -f*m + 0*m = -68. Does 17 divide m?
True
Let t(l) = 2*l + 11. Is 29 a factor of t(9)?
True
Suppose 0 = -r + 5 - 0. Suppose r*p = 19 + 16. Suppose p*w - 3*w - 32 = 0. Does 3 divide w?
False
Let p = 12 - -10. Is 7 a factor of p?
False
Suppose 4*u + 87 = -365. Let b = -80 - u. Is 10 a factor of b?
False
Let a = -53 - -106. Is 38 a factor of a?
False
Let m be (30/8)/(4/(-16)). Let g = -6 - m. Is 3 a factor of g?
True
Suppose 4*p - 10 - 30 = 0. Is p a multiple of 9?
False
Let h(o) = -4*o**3 - 7*o**2 + 2*o - 13. Let g(u) = -3*u**3 - 7*u**2 + 2*u - 12. Let j(t) = 5*g(t) - 4*h(t). Is j(7) a multiple of 4?
False
Suppose 3 + 1 = -4*c. Let y be (c + (1 - 0))*1. Suppose 3*w + 0*w - 87 = y. Does 10 divide w?
False
Let j(n) = n**2 - 5*n + 2. Let z be j(4). Let r be 2 + (-2 - z) + 0. Suppose -r*o - 4 = -20. Does 4 divide o?
True
Suppose 2*h - 15 = -3*f + 3*h, h + 5 = f. Suppose 9 = -4*u - 11, f*r - 145 = -4*u. Does 13 divide r?
False
Suppose -3*s + 4 = -2. Suppose -s = -4*d + 2. Does 20 divide d/(1*2/80)?
True
Let w(g) = -g**3 - 8*g**2 + 5. Let y(k) = k**3 + 5*k**2 - k - 2. Let b be y(-5). Let d be 50/(-6) + 1/b. Is w(d) even?
False
Let k(o) = 6*o**3 + o**2 + 4. Is 11 a factor of k(2)?
False
Let j(d) = -4*d**3 + 3*d**2 + d - 1. Is 13 a factor of j(-2)?
False
Suppose 2*n + 5*j - 79 = 0, 5*n + 3*j - 174 + 24 = 0. Does 9 divide n?
True
Suppose 2*h - 21 = 7*r - 4*r, 3*h = -4*r + 57. Suppose 2*b + h - 39 = 0. Does 3 divide b?
True
Let v(n) = -30*n**3 + n**2 - n - 1. Let h be v(-1). Let y(a) = -a - 5. Let d be y(11). Let c = d + h. Does 15 divide c?
True
Suppose -5*g = 2*c + c - 560, -3*g + 5*c = -336. Is 8 a factor of g?
True
Let b = 20 + -12. Is b a multiple of 4?
True
Let l = 49 - 117. Let t = 117 + l. Is 25 a factor of t?
False
Let i(a) = 3 + 10 + a - 2. Let d be i(-7). Suppose 2*n + d*l - 49 = 5*l, 0 = l + 1. Does 9 divide n?
False
Suppose 5*p - 65 = -15. Does 10 divide p?
True
Let n be 0/(-3 + 2)*1. Suppose 0 = -5*x + h + 299, -3*x + 3*h = -n*h - 177. Suppose 3*i - x - 45 = 0. Is i a multiple of 17?
False
Let w(b) = b**2 + 11*b + 3. Let p be w(-11). Suppose 17 = -4*f - p. Is 2 a factor of (-23)/(-5) - 2/f?
False
Let z(w) = -w**3 - 4*w**2 - 3*w + 1. Let a = -39 + 21. Let n be a/4 + (-2)/(-4). Does 7 divide z(n)?
False
Is 6 a factor of (590/4)/5 + (-3)/6?
False
Suppose -2*r = -4*u - 4*r + 14, -3*u - 3*r = -6. Suppose 0 = -u*l - 4*i + 14, -2*i - 5 = -l + 9. Let o = 46 - l. Is o a multiple of 15?
False
Let m(t) be the third derivative of -t**6/8 + t**5/60 - t**3/6 - t**2. Is m(-1) a multiple of 13?
False
Let m be (-5 + 2)/(1*-1). Suppose 0 = -4*q - l + 189, m*q = 4*q - l - 41. Is q a multiple of 13?
False
Let r be 7 + (-3 - 0 - 0). Let j(a) = -a**2 + 3*a**2 + r*a + 1 + a**3 + 4*a**2. Is j(-3) a multiple of 8?
True
Let g = 53 + -6. Let f(u) = -28*u**3 - u**2 + u - 1. Let x be f(1). Let j = g + x. Is j a multiple of 10?
False
Let u = -26 - -49. Suppose 4*q - 29 = u. Does 8 divide q?
False
Suppose 199 = 10*r - 311. Is 12 a factor of r?
False
Suppose -3*y - 148 = -4*x, -5*y = 4*x - 42 - 138. Is 10 a factor of x?
True
Let l = 6 + -1. Is 2 a factor of l?
False
Let p be 2 - -3*(-2)/(-3). Let v(o) = 8*o - 5. Is v(p) a multiple of 9?
True
Let c(r) = -3*r**3 - 3*r**2 - 4*r - 3. Let m be c(-3). Suppose -3*l + 5*q + 132 = 0, -2*l + 2*q = 7*q - m. Does 21 divide l?
False
Suppose -2*d + 86 = -22. Let v = 0 + d. Is 18 a factor of v?
True
Suppose -4*p - 40 = -3*p. Let f = p + 63. Is 19 a factor of f?
False
Let c(g) = g**2 + 5*g - 2. Let a be c(-6). Suppose x + x - a = 0. Suppose x*l + 74 = 4*j, 5*j - 4*l - 8 = 4*j. Does 19 divide j?
False
Let u(i) = i**3 + 2*i**2 - 5*i + 2. Let s 