 + 46 = l. Does 23 divide f?
True
Suppose -24 = -3*r - 3*i, 19 - 51 = -5*r - 3*i. Suppose -2*w = -3*t + 7*t - 4, 4*t + r*w = -4. Suppose 3*h - 4*y = 4*h - 16, -2*h + t*y = -10. Does 4 divide h?
True
Let m = 28 + -1. Let d = 11 + m. Is 10 a factor of d?
False
Let d = 2 - 2. Suppose 4*k - 23 - 1 = d. Is k a multiple of 3?
True
Suppose 11*v - 351 = 8*v. Is 7 a factor of v?
False
Suppose -4*i + 15 = -0*i + l, 5*i - 35 = 2*l. Let j(h) = 3*h**2 - 4 + 3 - 3*h - 2*h**2. Is j(i) a multiple of 5?
False
Suppose -2*m + 22 = 4*w, -2*w + 2*m = -1 - 1. Suppose -w*o = -209 + 17. Is 12 a factor of o?
True
Suppose 0 = y - 2, 14 = -2*b - 4*y - 0*y. Is (b - -1)/(1/(-2)) a multiple of 14?
False
Suppose -3*j - 11 = v - 1, 0 = 3*v - j - 20. Let r be (-4 + 2)*v/(-2). Suppose -3*p + 40 + 20 = 3*q, r*p - 100 = 4*q. Does 10 divide p?
True
Is ((-128)/(-4))/2 + -4 a multiple of 8?
False
Let s = 20 + 5. Suppose -2*j + j + s = 0. Is 5 a factor of j?
True
Let x(g) = -5*g - 50. Let v(o) = 11*o + 99. Let l(t) = 4*v(t) + 9*x(t). Let p be l(0). Let r = p - -92. Is 13 a factor of r?
False
Suppose -4*c = 4*z + c - 19, 0 = 3*z + 2*c - 23. Let r = z + 5. Is 16 a factor of r?
True
Suppose -5*b + 29 = -221. Does 4 divide b?
False
Let l(r) = -r**2 + 9*r - 9. Let c be (2/(-1))/((-3)/12). Let m be l(c). Does 8 divide (m - (3 - 2)) + 13?
False
Let q be (24/18)/((-4)/(-6)). Let f be (-1)/(0 + (-3)/9). Suppose q*a - 12 = -f*y + y, 0 = 4*y + 8. Is 8 a factor of a?
True
Let f = -80 - -115. Is f a multiple of 6?
False
Suppose 0 = -3*o + 2*o + 5. Suppose 2*h - 14 = 2*j, -2*j + 4*j = -o*h + 21. Does 11 divide (1/j)/(5/(-110))?
True
Let l = -25 + 44. Is l a multiple of 18?
False
Suppose -22 = -3*c + b - 7, 3*b + 15 = 3*c. Suppose 2*x = c*x. Suppose 3*n - l + x*l - 25 = 0, -l = -4*n + 33. Is n a multiple of 3?
False
Suppose -111 = -5*o + 14. Let b = o - 36. Let s = 17 - b. Is s a multiple of 14?
True
Let x(c) = -c**2 + 2*c + 9. Let r be x(9). Let a = -33 - r. Is a a multiple of 21?
True
Let l(s) = -38*s - 9. Is l(-4) a multiple of 13?
True
Let p be 127/1*(5 + -4). Suppose 3*w + 28 - p = 0. Is 11 a factor of w?
True
Is 95/(-2)*((-1980)/50)/11 a multiple of 14?
False
Suppose -3*c + 6*c = 2*k + 71, -c = -k - 25. Is c a multiple of 6?
False
Suppose -z = 6 - 62. Suppose 5*p + 98 = -2*c, -p - 3*p = 16. Let o = z + c. Is 8 a factor of o?
False
Let d = -5 + 8. Let s(k) = -k**3 + d*k**2 - k**2 - 3*k**3 + 0*k**3 - 1. Is s(-1) a multiple of 2?
False
Is (-2469)/(-9) + (-10)/(-15) a multiple of 14?
False
Let h be (8 - (3 + -1)) + -2. Let m = -1 + h. Suppose -w - 2*w + 3*u = -45, -m*u = 0. Does 11 divide w?
False
Suppose 4*c - 19 + 7 = 0. Suppose c*n + 46 = 112. Does 8 divide n?
False
Suppose 3*u = -4*i + 185, u + 3*i = 26 + 29. Is 12 a factor of u?
False
Let b(w) = -w - 7. Let h be b(-9). Suppose t + h = 13. Is t a multiple of 3?
False
Let c(o) = 3*o**2 - 4*o - 3. Let k(y) = -y**3 + 7*y**2 + 1. Let v be k(7). Let d(j) = -j**2 + j. Let h(a) = v*c(a) + 2*d(a). Is 12 a factor of h(5)?
True
Let t = -20 + 92. Is t a multiple of 24?
True
Let b be 1/(-3 - -2) - -7. Is (b/(-9))/((-2)/36) a multiple of 5?
False
Suppose 4*d + 125 = 5*s, -2*d = -7*d. Is s a multiple of 5?
True
Let f = -111 - -194. Is f a multiple of 7?
False
Let h = 8 - 11. Does 18 divide (3 - (-34 - h)) + 3?
False
Let b(l) = 4*l - 16*l + 4 - 5. Is 20 a factor of b(-4)?
False
Let s(q) = q**2 + 2*q - 4. Does 4 divide s(-4)?
True
Let v = 6 + -3. Suppose 2*u - 52 = x - v*x, -72 = -2*x + 3*u. Does 10 divide x?
True
Let j(t) = -3 - 5*t - 3*t - t**2 - 5. Let b be j(-6). Suppose 0 = -b*d + 2*a + 3*a + 20, 2*d - 4*a = 4. Does 10 divide d?
True
Let l(n) = n**3 + 6*n**2 - 9*n - 5. Let o be 3/(-2) - (-2)/(-4). Let q be 2*7/4*o. Is 9 a factor of l(q)?
True
Is (-360)/(-26) + 4/26 a multiple of 3?
False
Let d(p) = 3*p + 3. Let a be d(-4). Let g(r) = -r**3 - 10*r**2 - 11*r - 1. Is 15 a factor of g(a)?
False
Let d = 6 - 3. Suppose d*m = 4*p - 97, -2*p = 2*m + p + 76. Let i = m + 60. Does 10 divide i?
False
Let b = -48 - -68. Let n = 30 + 16. Let o = n - b. Does 13 divide o?
True
Let k(q) = q + 13. Let o be k(-9). Is 4 a factor of o + 12/(-4) + 16?
False
Let i(l) = l**2 + 2*l - 3. Let y be i(5). Let p = y - 17. Does 15 divide p?
True
Suppose 3*m + 5*k = 127, m - 2*k = 2*k + 31. Does 13 divide m?
True
Is 12 a factor of 15/5 + 1 + 32?
True
Let w = -3 + 1. Let i be (w/(-4))/(5/60). Let j = 19 - i. Is j a multiple of 12?
False
Suppose -6*r = -11*r + 270. Is r a multiple of 40?
False
Let i be (-11)/(-3) - (-4)/(-6). Is 4 a factor of 36/i + -2 + -2?
True
Let x = -20 + -33. Let i = -27 - x. Is i a multiple of 13?
True
Let j(t) = 27*t - 6. Let m be j(3). Suppose -m + 423 = 4*y. Is 29 a factor of y?
True
Let a = 222 - 134. Suppose 3*r - 89 = a. Let h = r - 40. Is 13 a factor of h?
False
Let f = -32 - -54. Does 12 divide f?
False
Suppose 4*p + 9 = -43. Let k(l) = -4*l - 12. Is k(p) a multiple of 11?
False
Suppose -2*p + 5*w = 19 - 4, 4*w = 5*p - 5. Suppose p*d - 82 = 63. Suppose 26 = k - d. Is 15 a factor of k?
False
Let m(z) = z**3 - 5*z**2 + z. Let u be m(5). Suppose -u*h - 170 = -10*h. Is 15 a factor of h?
False
Suppose 0 = 4*v - 6 - 2. Let b(t) = 4*t**3 - 4*t**2 + 2*t. Is b(v) a multiple of 5?
True
Suppose 0 = r - 9*a + 4*a - 337, 0 = -4*r + 2*a + 1330. Suppose -3*m + 5*z + 148 = -m, -z - r = -4*m. Is m a multiple of 28?
True
Suppose 5*w + 19 = -16. Let m = 13 - w. Is m a multiple of 20?
True
Is 26 a factor of (-4689)/(-36) + (-3)/12?
True
Let t = 76 + 23. Does 9 divide t?
True
Let u be -1*6/(1 - 3). Suppose -4 = u*t + 5. Does 14 divide (-85)/t + (-4)/12?
True
Suppose -5*s = -5*q - 720, 0 = 2*s - 0*s + 4*q - 300. Is 12 a factor of s?
False
Suppose 2*n = -2*c - 4, 5*c = n + 3*n - 28. Let v be (6/n)/((-6)/(-152)). Let d = v - 44. Is d a multiple of 16?
True
Suppose 0 = x + 4, 3*u + 0*x - 303 = -3*x. Does 21 divide u?
True
Let a(g) = -g - 9. Let o be a(-6). Is 10 a factor of (-208)/(-12) + 1/o?
False
Let r be 44/10 - (-9)/15. Suppose 0 = r*w - 44 - 31. Let x = w - 0. Is x a multiple of 13?
False
Let i be (-10 - -5)*(-4)/10. Let t be (-1 - 4) + i + -4. Is 12 a factor of (-1250)/(-35) - 2/t?
True
Let v(y) = -y**2 + 14*y - 7. Is v(6) a multiple of 7?
False
Let l(j) = -16*j + 12. Is l(-4) a multiple of 24?
False
Let p = -6 + 3. Let w(f) be the third derivative of -f**6/120 - f**5/60 + f**4/12 + f**3/6 + 2*f**2. Is 13 a factor of w(p)?
True
Suppose 0*h - 4*u - 518 = -2*h, 0 = 3*u + 3. Is h a multiple of 50?
False
Let o be -1 + (3 - 0) + 0. Suppose f - 153 = o*f. Let t = -100 - f. Is t a multiple of 19?
False
Let z(l) = -l**2 + 4*l + 3. Let h be z(6). Suppose 0 = -5*x - 5*o + 65, 4*x = 2*o + 33 + 19. Let v = x + h. Is 3 a factor of v?
False
Does 12 divide 52/4 + (-2 - -1)?
True
Suppose 10*r - 12*r + 54 = 0. Suppose -r = -5*o - 2. Is 3 a factor of o?
False
Let p(j) = -j**2 + 8*j + 9. Let d = 5 - 3. Suppose d*t - 3*l - 17 = -2*l, -4*t = -3*l - 37. Is p(t) a multiple of 6?
False
Let j = -4 - -51. Let h = -29 + j. Does 9 divide h?
True
Suppose -5*x = 4*a - 5, 2*x + a - 2 = -3*a. Let o(c) = 3 + x - 3 + 8*c. Is 5 a factor of o(1)?
False
Suppose 0 = 5*o, b - 3*b - 3*o = -56. Suppose 4*m + g = 2*m + 1, m - g = 5. Suppose -4*s + 35 = w - 1, m*w = 2*s - b. Is s a multiple of 10?
True
Let r be (-249)/(-12) + 1/4. Suppose -5*x + 24 = -4*v, 5*v - 8*x + 30 = -3*x. Let w = r + v. Does 11 divide w?
False
Let j = 32 + -14. Is 6 a factor of j?
True
Suppose 2*f = 3*f - 9. Let d = -4 + f. Let m(w) = 2*w + 2. Does 4 divide m(d)?
True
Let j = 133 - 50. Is 9 a factor of j?
False
Suppose 16 - 4 = 5*g - 3*a, 5*a = 5*g - 10. Let p = -3 - 4. Let l = g - p. Does 5 divide l?
True
Let r(d) = 2*d**3 - 6*d**2 - 16*d + 16. Is 13 a factor of r(8)?
False
Let b(x) = -5*x. Let z(h) = -h**2 - 11*h - 9. Let i be z(-8). Suppose i = 2*t - 7*t. Is b(t) a multiple of 15?
True
Suppose -4*t + 27 = -t. Let s = t + -5. Suppose -l - s*l - 13 = z, z + 3*l + 3 = 0. Is 6 a factor of z?
True
Let o(r) = 84*r**3 - 5*r**2 - 7*r. Let s(a) = -42*a**3 + 3*a**2 + 4*a. Let j(b) = -4*o(b) - 7*s(b). Is j(-1) a multiple of 17?
False
Let n(p) = -p. Let i be n(-1). Suppose -3*l = -25 + i. Does 3 divide l?
False
Let w(b) = b**3 - 2*b**2 + 2*b + 1. Let t be w(2). Suppose k = 2*c - 44, -4*c + 37 = t*k - 79. Is c a multiple of 8?
True
Let r(f) = -f