 multiple of 8?
False
Let o(l) = 6*l - 18. Does 9 divide o(15)?
True
Let u be (-5 + -1)/((-6)/20). Let q = 75 - 63. Let m = u + q. Is 16 a factor of m?
True
Let k be 4/(-14) - (-132)/21. Suppose -28 = -n + k. Does 17 divide n?
True
Suppose -q = -6*q. Suppose -2*c - 1 + 15 = q. Is 4 a factor of c?
False
Let k(x) = x**3 + 9*x**2 + 5*x + 18. Does 14 divide k(-8)?
True
Suppose 4*p - 58 = 10. Does 12 divide p?
False
Suppose 92 = 4*y + 8. Let q = 49 - y. Does 15 divide q - 0 - -2*1?
True
Let p(t) = 58*t - 85. Is 27 a factor of p(7)?
False
Is (-314)/(-6) + (-8)/24 a multiple of 17?
False
Suppose 6*h = 310 - 100. Does 7 divide h?
True
Let q = 11 + -8. Does 2 divide q?
False
Let c be (1*3)/(18/120). Let s = c + -1. Suppose 4*b + 3*q - 51 = 0, -34 - s = -4*b - 5*q. Is 12 a factor of b?
True
Suppose -5*v + 4*y + 1126 = 0, -2*v + 5*v - 3*y - 678 = 0. Does 37 divide v?
True
Let u(n) = -4*n**2 - n - 1. Let s be u(-1). Let g be (-1)/(-1 + 1/2). Is (-2)/s*g*20 a multiple of 8?
False
Let d(n) = 11*n + 2. Let k be d(-5). Let j(p) = -2*p - 3. Let x be j(7). Let t = x - k. Is t a multiple of 18?
True
Suppose -3*b - h = -7, b + 17 = 4*b - h. Let w(r) = 0 + 1 + 3*r + 8 - b*r. Is w(4) a multiple of 2?
False
Let y(i) = 2*i**2 - 16*i - 21. Is y(12) a multiple of 15?
True
Suppose -t = -3*d + 1196, 5*t = -d + 357 + 63. Is 50 a factor of d?
True
Let b be -1 - 0 - (-2 - 2). Suppose 3*t + a + 15 + b = 0, 0 = -4*t + a - 17. Let r(s) = -6*s + 1. Is 9 a factor of r(t)?
False
Let a = 10 + -6. Suppose 4*v - 72 = 5*s, 16 - 88 = -4*v - a*s. Is 6 a factor of v*2*2/8?
False
Let v(c) = -4*c + 4. Is v(-11) a multiple of 23?
False
Suppose 0 = -2*r + 5*x - 80 + 289, 3*r = 2*x + 308. Suppose r - 6 = 2*m + 2*p, 0 = -2*m + 3*p + 106. Is 25 a factor of m?
True
Is 3 a factor of 16 + -1 - (-8)/(-2)?
False
Suppose -4*f - 11 = q + 7, 3*q + 5*f + 61 = 0. Let r be (q/8)/(2/(-8)). Suppose r = d - 9. Is 10 a factor of d?
True
Let d be (-177)/(-4) + (-2)/8. Suppose -5*a + n - d = 0, -n - 7 = -2*a - 24. Let w = a + 15. Does 6 divide w?
True
Suppose 7*n - 2*n = 0. Is 2 a factor of (1 + 1 + n)*1?
True
Let f = 8 + 5. Suppose 0 = s - 20 - f. Is s a multiple of 11?
True
Let p = 7 + -5. Suppose 3*f - 154 = -5*x + 21, 210 = 4*f + p*x. Does 25 divide f?
True
Suppose 4*p + 32 = 8*p. Let o be (-65)/(-7) + p/(-28). Suppose 0 = 4*a - o*a + 160. Does 13 divide a?
False
Let r = 7 - 13. Let j(a) = -5*a - 9. Does 8 divide j(r)?
False
Suppose -4*q + 22 = c - 0*q, -5*c - 5*q + 35 = 0. Let f(g) = -g**2 - g + 1. Let w(i) = 7*i**2 + 6*i - 3. Let p(n) = 5*f(n) + w(n). Is p(c) a multiple of 6?
True
Let o be (6/(-9))/((-2)/120). Is o/(-16)*(-28)/10 a multiple of 7?
True
Let t(q) = q**3 - 3*q**2 + q - 5. Let o = 3 - -1. Does 14 divide t(o)?
False
Suppose -4*c + 1 - 21 = 0. Let b = c - -7. Suppose -2*l = b*l - 60. Does 12 divide l?
False
Let k(r) = -7 - 23*r - 3 + 3*r**2 - 9. Let l(v) = -v**2 + 11*v + 10. Let s(g) = 2*k(g) + 5*l(g). Does 4 divide s(-8)?
True
Suppose -388*y = -385*y - 1122. Does 44 divide y?
False
Let x be -3 + 4 + 0 + -47. Let o = x - -78. Does 16 divide o?
True
Let l(d) = -d - 4 - d**2 + 0*d + 4*d + d. Let c be l(-6). Let f = -44 - c. Is 7 a factor of f?
False
Let n = -149 + 215. Suppose 5*j - q + 178 = 0, 2*q - 15 = -3*q. Let a = n + j. Is 11 a factor of a?
False
Suppose 3*l - 6*l - 4*x - 10 = 0, 2*x + 6 = -l. Let w be (0 - -1) + l + 1. Suppose 3*q = -2*b + 12, 0 = -w*b + b + 5*q + 18. Is b a multiple of 5?
False
Let q(y) = 5*y**2 - 4*y + 3. Let f be q(2). Let w = f - 5. Does 10 divide w?
True
Let a(g) = -g**2 + 9. Let v be a(0). Suppose v = -3*p + 30. Is p a multiple of 7?
True
Let o(v) = -26 + 0*v + 2*v + 16. Is o(8) even?
True
Suppose t - 18 = 2*a - 5*a, 0 = t - 4*a - 18. Does 15 divide t?
False
Suppose v - 3*v + 12 = 0. Is 4 a factor of v?
False
Let s = 23 + -5. Does 18 divide s?
True
Suppose -7*i + 355 - 33 = 0. Is i a multiple of 4?
False
Let f(g) be the second derivative of 3*g**3/2 - 3*g**2 - 3*g. Is 24 a factor of f(8)?
False
Let t be ((-4)/(-3))/((-2)/6). Is t/16 + 109/4 a multiple of 10?
False
Is (3/(-3) - -346)*2/6 a multiple of 23?
True
Is 2 a factor of (-1)/(-2)*6 - -2?
False
Suppose 7*u - 828 = 2*u - 2*r, -3*r = 5*u - 832. Is 41 a factor of u?
True
Let b = 89 - -151. Is 24 a factor of b?
True
Let k(s) = s**2 + 4*s + 7. Does 7 divide k(-8)?
False
Let k = 33 - 21. Is 3 a factor of k?
True
Let m(s) = s**3 + 6*s**2 + 5*s + 3. Let g be m(-3). Suppose -d = -4*d + g. Suppose -18 = 3*i + d*k - 2, 2*k = -10. Is i even?
False
Suppose -3*p = 3*m + 12, -7*m = -3*m + 16. Suppose p = 5*t, -2*w + 4*t = -3*w + 37. Does 16 divide w?
False
Does 19 divide (-2 + 3)/((-2)/114*-3)?
True
Is (159/9)/(1/3) a multiple of 20?
False
Suppose 5*o = 3*u - 372, 4*o = -u + 101 + 23. Does 14 divide u?
False
Let a(x) = -4*x + 4. Let o(g) = 2*g + 6. Let p be o(-5). Does 12 divide a(p)?
False
Is (-6)/(-15) - 1666/(-35) a multiple of 9?
False
Let z(s) = 9*s**2 - 3*s + 5. Let m be z(2). Let q = m - 20. Is q a multiple of 5?
True
Let j(p) be the second derivative of -5*p**3/2 + 2*p. Let o be j(-6). Suppose 0 = s + s - o. Does 18 divide s?
False
Let z(p) = -6*p**3 + p**2 - 2*p + 1. Let x be 5/3 + (-2)/3. Let u be z(x). Is 6 a factor of 94/6 + (-2)/u?
False
Let v = 350 + -147. Does 29 divide v?
True
Is 6 a factor of (-27)/15*(-20)/3?
True
Is (63/(-28))/(1/(-32)) a multiple of 18?
True
Let x be (-2 - -2) + 3 + 3. Suppose -2*z - 4 = -x*z. Is 12 a factor of ((-8)/(-24))/(z/51)?
False
Let f be (3/9)/(2/42). Suppose 11 = d - f. Is 5 a factor of d?
False
Let l(c) = 3*c**2 - 2*c - 2. Let p be l(-2). Suppose -s + p = -34. Let v = s + -16. Does 24 divide v?
False
Suppose j = -j. Let t(r) = -r. Let z be t(j). Suppose z = -4*g + g + 21. Does 3 divide g?
False
Let t = -1 - -2. Let y = -5 + 7. Does 5 divide t*y + (6 - 2)?
False
Does 6 divide ((-39)/26)/(3/(-10)) - -1?
True
Suppose 2*s - s - p = -8, -3*p + 20 = -2*s. Let o(d) = -6*d - 6. Let b be o(s). Suppose -52 = -5*t + b. Is t a multiple of 14?
True
Suppose -3*g = -5*g - 16. Let a(v) = 1 + 3 - v**2 - 9*v - 2 - 4. Is 6 a factor of a(g)?
True
Let y(p) = -p**3 + 9*p**2 + 10*p - 3. Does 19 divide y(9)?
False
Suppose 0 = -h + 28 + 39. Is h a multiple of 7?
False
Suppose h + 4 = 13. Does 4 divide h?
False
Suppose 5*b + 170 = -4*v, 4*b - 2*b = 4. Let h = 20 + v. Is 11 a factor of (-2 + (-12)/(-15))*h?
False
Let l be -4*(2 + -33*1). Does 9 divide l/12 + 1/(-3)?
False
Let d be (-1)/(3/(1 + 8)). Is ((-51)/(-12))/(d/(-12)) a multiple of 12?
False
Suppose -12 + 3 = -u. Let g be 3/u*(-19 - 2). Is 7/(g/(-36)) + 0 a multiple of 18?
True
Suppose -35 = -9*q - 17. Is 2 a factor of q?
True
Let o = 334 - 236. Is 12 a factor of o?
False
Suppose -98 = g - 5*c, 0 = -2*g + 4*c - 0*c - 190. Let p = -60 - g. Is 10 a factor of p?
False
Suppose -2*y = 3*j - 62, -2*j + 133 = 5*y - 0*y. Let f = y - 12. Suppose -4*c + f + 3 = 0. Is c a multiple of 3?
False
Suppose 0 = -0*v + 3*v - 84. Is v a multiple of 28?
True
Let k = 285 + -179. Suppose 0 = -x - 4, 30 + k = 2*p - 2*x. Does 32 divide p?
True
Let w(i) = i - 3. Let n be w(2). Is (-3 - n)*(-17)/2 a multiple of 3?
False
Suppose -l + 49 = -4*h, 5*h - 2*h = -4*l + 158. Is 10 a factor of l?
False
Let n(w) = 4*w**2 + w + 4 + 2*w + 0*w**2 - w**3. Is 13 a factor of n(4)?
False
Let n = 29 - 16. Is 8 a factor of n?
False
Let g be (-1 - 6/(-2))/2. Let q be 4/6*(g - -2). Suppose -33 = -2*h - 5*y, -4*h + 68 = h - q*y. Is h a multiple of 8?
False
Let t(g) be the third derivative of -g**6/120 + 13*g**5/60 + g**4/12 - 2*g**3/3 - 10*g**2. Suppose 3*q - 2*q = 13. Does 22 divide t(q)?
True
Let c(z) = -z**2 + 6*z + 9. Let f be c(7). Suppose 5*k - f = 103. Does 8 divide k?
False
Suppose 2*c = 5*j - 66 - 93, 0 = -2*j + 4*c + 54. Is 5 a factor of j?
False
Suppose -o + 5*o + 12 = 0, 0 = 2*h - 3*o - 199. Is 38 a factor of h?
False
Let w(c) = -4*c**3 + c - 7. Let v(s) = -7*s**3 + 2*s - 13. Let m(l) = 6*v(l) - 11*w(l). Let i be m(1). Suppose -i*z = -z - 30. Is 15 a factor of z?
True
Let b = -44 + 79. Does 7 divide b?
True
Suppose -3*t = -6*t - 15. Let v(d) = 2*d**2 - 6*d - 4. Let z be v(t). Suppose 0 = -3*q, -3*a + 2*q + z = -a. Is a a multiple of 19?
True
Let m = 301 - 97. Does 24 divide m?
False
Let a(i) = 50*i - 2. Is a(2) a multiple of 13?
False
Let a(c) = -5*c + 2. Suppose -12 = -4*b + 8. 