-59 - y. Does 19 divide l?
True
Let p(o) = 1 + 4*o + 8 - 2*o**2 - 3 + 3*o**2. Is 8 a factor of p(-6)?
False
Suppose -4*k + 1113 = 213. Is (6/5)/(6/k) a multiple of 8?
False
Let x be -4*((-18)/4 + 0). Suppose -5*m + x = -2. Suppose 0 = -0*i + m*i - 3*a - 23, -2*i + 19 = a. Does 2 divide i?
True
Suppose -3*x + l - 3*l + 49 = 0, -2*x = -2*l - 36. Suppose -148 = 13*m - x*m. Is m a multiple of 8?
False
Let r be ((-25)/10)/(2/4). Let y be (-4)/(-10) - 8/r. Let m(l) = 3*l**2 - 2*l + 1. Is 9 a factor of m(y)?
True
Let a(i) = -i**3 + 6*i**2 - i + 12. Let h be a(6). Suppose 5*u - h*u + 117 = 5*q, q - 3*u - 33 = 0. Is q a multiple of 9?
False
Suppose 0 = 3*m - 18 + 9. Suppose 0 = m*b - 2*b - 19. Is 10 a factor of b?
False
Let f(q) = 15*q**2 + q. Suppose 2*y + 0*i - 39 = 5*i, -4*y + 111 = i. Let u = y + -28. Does 14 divide f(u)?
True
Suppose -4*m + 68 = -0*m. Let l = m + -12. Suppose r - 24 = -x, -x + l*r + 3 + 3 = 0. Is 5 a factor of x?
False
Let d(i) = i**3 + 22*i**2 + 38*i - 18. Does 9 divide d(-20)?
False
Let v be (56 + -1)/((-18)/(-216)). Suppose -2*z + v = 4*z. Is 13 a factor of z?
False
Suppose -545 = -3*u + 373. Does 51 divide u?
True
Let q(l) = 5*l**2 + 5*l + 2. Suppose 3*m = 4*m + 5. Is q(m) a multiple of 32?
False
Is (77/2)/((-95)/(-30) - 3) a multiple of 7?
True
Suppose 4*y = 73 + 7. Suppose 0 = -2*o + 2*l + y, -2*o = -4*l + 1 - 13. Is 11 a factor of o?
False
Suppose -2*b - 80 = -3*b. Let v be ((-56)/(-10))/(32/b). Let h = v - 2. Is 3 a factor of h?
True
Suppose 0 = 15*g - 18*g - 21. Let n be (1068 + -1)/(g - -8). Does 8 divide (-4)/(-6) + n/33?
False
Suppose 5*r - 32144 = -36*r. Does 8 divide r?
True
Suppose 5*a - 194 = 3*a. Suppose -2*t - 29 + a = 0. Suppose 2*i + 2 = 0, 2*i - t = 3*w - 6*w. Is w a multiple of 3?
True
Suppose 2*n = 6*n - 24. Let r(b) = 11*b + 12. Is r(n) a multiple of 32?
False
Let f be 6/(-57) - 6452/76. Let g = 118 + f. Is 33 a factor of g?
True
Let o(m) = -9*m - 1. Suppose -4*j + 173 = 45. Suppose 5*f = f - j. Is o(f) a multiple of 26?
False
Let v(n) = 98*n + 165. Does 17 divide v(7)?
False
Let o be (-8)/20 + (-34)/(-10). Suppose -o*z - 59 + 9 = -5*j, -j - 2*z = -10. Does 9 divide ((-36)/j)/(6/(-45))?
True
Let d = -64 - -9. Let p = d + 100. Is 19 a factor of p?
False
Does 10 divide (1 - 7/49)/(1/315)?
True
Suppose -5*t = 2*g - 1430, -2*t + 4*g + 510 = -86. Is 48 a factor of t?
True
Let h = 11 - 1. Let k(a) = -39*a + 11*a**2 + 14*a - a**3 + 9 + 15*a. Is k(h) a multiple of 9?
True
Let f(c) = 56*c**2 - 13*c + 32. Is 37 a factor of f(3)?
False
Let f(a) = a**3 + 9*a**2 - 5*a + 8. Let y be f(-7). Suppose x = -5*d - 0*d + y, 8 = -2*x. Suppose -3*z + 19 = -d. Does 8 divide z?
True
Let i = -59 + 102. Is i a multiple of 15?
False
Let p = -17 + 12. Let u = p + 29. Is 12 a factor of u?
True
Let s = 5 - 3. Suppose 18 = 4*z - s*g, -7*z = -2*z + 5*g. Suppose -x - 124 = -z*x. Is 31 a factor of x?
True
Suppose 4*j + 20 = -2*l, -j + 3*l = -0*j - 2. Let g be 2*(0 - 166/j). Let w = 128 - g. Is 15 a factor of w?
True
Let b(r) = -19*r - 14. Let n be b(-10). Suppose -8*p - n = -10*p. Suppose 0 = 4*k - p + 4. Is 21 a factor of k?
True
Let y = 67 + -60. Suppose -y*u - u = -1624. Does 29 divide u?
True
Let k = 4 - 7. Let m be (37/(-2))/(1/2). Is 17 a factor of k + (1 - 1) - m?
True
Let l be (14 + 1 - 1)*(-2)/(-7). Suppose -7*k + 2*k - 4*r + 186 = 0, -5*r = l*k - 156. Is 3 a factor of k?
False
Is 19 a factor of (-4 - -10)/((-6)/(-494))?
True
Let l(g) = -2*g**3 + 99*g**2 - 9*g + 28. Does 12 divide l(49)?
False
Suppose -4*u = 5*k - 186, -4*k + 4*u + 94 + 62 = 0. Suppose 3*m = -h + 47, -3*h + 33 + k = -5*m. Does 16 divide h?
True
Suppose -16 = -3*n + 38. Let k = n - 3. Is k a multiple of 3?
True
Is 303/21 + -15 + 1544/7 a multiple of 22?
True
Let a be (1 - -3)*20/4. Is 5 a factor of 1*13 + 20/a?
False
Suppose -q + 266 = -5*b + 2245, q - 1971 = -5*b. Is 5 a factor of b?
True
Let x(p) = p + 1. Suppose -1 = 3*w - 4. Let v(u) = 2*u**2 + 5*u - 4. Let l(z) = w*v(z) - x(z). Is 23 a factor of l(-8)?
False
Suppose 3*i + i = s - 180, 4*s + 225 = -5*i. Let r = 13 - i. Let y = -8 + r. Does 22 divide y?
False
Is 960/20 - 15/6*2 a multiple of 2?
False
Suppose 0*d - 2*d = -8. Suppose 0 = -d*a + 460 - 120. Does 17 divide a?
True
Suppose 0 = -3*l - l + 16. Let n be l/14 + (-264)/(-7). Let f = -1 + n. Is f a multiple of 12?
False
Suppose 5*u = -v + 18 + 86, -20 = -5*u. Is (5*v)/4 + 2 a multiple of 14?
False
Let s(i) = -i**3 - 9*i**2 + 10*i. Let u be 2*(-10)/(-5) + -14. Let m be s(u). Let v(c) = c**2 + 2*c + 16. Is v(m) a multiple of 4?
True
Suppose a = 3, 3*p = -0*p - 2*a + 1518. Is p a multiple of 21?
True
Let i = -772 + 1289. Is i a multiple of 47?
True
Let q(o) = -o**2 + 3*o - 3. Let x be q(1). Let p(u) = -17*u**3 + 2*u**2 + 3*u + 1. Is 2 a factor of p(x)?
False
Let b(g) = -g**3 - 8*g**2 - 12*g + 2. Let n be b(-6). Is (144/20)/(69/30 - n) a multiple of 6?
True
Let f be 3*64/104 - 2/(-13). Suppose -7*q + 3*q = -s + 82, -2*s + 140 = -f*q. Is s a multiple of 6?
True
Let u(k) = -6*k - 2. Suppose -d + p + 4 = 0, -3*d - 2*d + 3*p + 22 = 0. Suppose -4 = c + 5*w, -2*c + 7*c = d*w - 20. Does 11 divide u(c)?
True
Let x(f) = -f**3 + 2*f**2 - 4*f + 2. Let o be x(2). Let w be (4 - 1)/((-9)/o). Does 10 divide (4/1)/(w/15)?
True
Let c = 20 + -26. Let d be 0 - (c/(-3) + -4). Suppose -80 = -6*m + d*m. Is 5 a factor of m?
True
Let t(g) be the first derivative of -g**4/4 + 11*g**3/3 + 3*g**2/2 + 6*g + 14. Does 10 divide t(11)?
False
Let r(q) be the second derivative of q**7/840 - q**6/240 + q**5/120 - q**4/6 + 3*q. Let h(i) be the third derivative of r(i). Is 13 a factor of h(3)?
False
Let q(b) = 21*b**2 - 31*b - 56. Is 65 a factor of q(8)?
True
Suppose 0 = -30*k - 24*k + 83754. Does 47 divide k?
True
Let l = -2038 - -3297. Is l a multiple of 14?
False
Let q be (-4)/18 + (-195)/(-27). Suppose 4*y - 5 = -b, q*b = 3*b - 5*y + 31. Suppose 0 = 3*c - 63 + b. Is c a multiple of 9?
True
Let y(z) = 2 - 4*z**3 + 5*z**3 - 13 - z - 2 + 9*z**2. Is y(-8) a multiple of 25?
False
Let r = -12 - -10. Let c = r - 2. Does 31 divide (27 - -2) + c/(-2)?
True
Let h be (0 - 2)/(12/102). Is 3 a factor of (1/2)/(h/(-374))?
False
Suppose 5*h - 2 = -2*m - 8, -h = -5*m + 12. Does 48 divide (-142)/m*-1 - (-10 - -12)?
False
Let n = 824 - 559. Let b = 65 + -62. Suppose -5*u = 5*m - n, 2*m - 63 = m - b*u. Does 14 divide m?
False
Suppose 0 = y - 6 - 34. Is 220/y*14*1 a multiple of 11?
True
Let p(h) = -h**2 - 9*h - 10. Let t be p(-5). Suppose -4*f + 50 = t. Is 4 a factor of f?
False
Let b(r) = -r**3 - 5*r**2 + 22*r. Is 14 a factor of b(-9)?
True
Let m(d) = 156*d + 141. Is m(8) a multiple of 9?
False
Let a = 5095 + -3401. Is 7 a factor of a?
True
Let z(j) be the third derivative of -j**5/15 - j**4/2 + 3*j**3/2 + 5*j**2. Let w(v) be the first derivative of z(v). Is 13 a factor of w(-8)?
True
Suppose 4*s + 4*n = 756, -3*s - 2*n + 2 = -561. Is s a multiple of 8?
False
Suppose -2*c = 2*g + 10, 2*c = 2*g - 3*c + 31. Let o(h) = h**2 - h - 1. Let b(w) = -4*w**2 - 7*w + 10. Let k(t) = -b(t) - 2*o(t). Is k(g) a multiple of 8?
True
Let l(u) = -4*u + 341. Does 113 divide l(47)?
False
Let z(r) = 21*r - 8. Let u be z(11). Suppose 5*o = -5*d + 215, 0*o + 5*o + 3*d = u. Suppose -m + o = -8. Is m a multiple of 11?
True
Is 27 a factor of -1004*6/(-8) + 3?
True
Let d = 3 + 1. Suppose -d = 4*r, 3*w = 5*r - 0*r - 85. Does 8 divide (22/5)/((-12)/w)?
False
Is (-12 - 45/(-5)) + 264 a multiple of 9?
True
Let j(l) be the second derivative of l**6/120 + l**5/20 - 7*l**4/24 + 5*l**2/2 + 3*l. Let b(a) be the first derivative of j(a). Does 4 divide b(-4)?
True
Suppose 3*f - 6*r = -3*r + 582, f + r - 200 = 0. Is 9 a factor of f?
False
Suppose -2*i - 4*j - 3620 = -5*i, 0 = -5*i - 3*j + 6072. Suppose 0 = -3*m + 2*h + 1194, -i = -6*m + 3*m - 4*h. Is 40 a factor of m?
True
Let j(u) = -u**3 + 17*u**2 - 15*u + 16. Is j(16) a multiple of 3?
False
Let l = 457 + -316. Suppose 5*c - l = -2*p, 4*c = 2*p + 2*p - 212. Is p a multiple of 7?
False
Let a = 26 + -25. Let h be (-48)/(-6)*a/2. Let w(s) = 2*s**2 - 6*s + 7. Is 7 a factor of w(h)?
False
Let o = 1747 + -846. Is 53 a factor of o?
True
Let p(w) = 3*w**2. Let s(o) = o + 5. Let c be s(-6). Is p(c) a multiple of 3?
True
Suppose 0 - 5 = w. Let m(t) = -2*t**2 + t + 2. Let l be m(w). Is 13 a factor of 0 - (