t l = b - 7. Is 6 a factor of l?
True
Let g = -5 - -7. Let b(t) = 4*t**2 - 3*t + 2. Does 12 divide b(g)?
True
Does 13 divide (-7)/(28/12)*-12?
False
Suppose 5*f + 37 + 8 = -5*h, 2*h + 19 = -3*f. Let q = 8 + h. Suppose 3*p - 81 = -q*p. Is 9 a factor of p?
True
Let w = -1 + 0. Let v be (35/(-15))/(w/3). Let i = v - -1. Is i a multiple of 4?
True
Let q(w) = w**2 - 10*w + 10. Let c be q(7). Let i = 7 + c. Is 15 a factor of ((-68)/8)/(2/i)?
False
Let g(i) = i**2 + 5*i + 4. Let c be g(-3). Is 177/4 + c/8 a multiple of 15?
False
Suppose 3*f + 288 = 4*w, -w + 2*f + 67 = -0*w. Suppose w = -i + 4*i. Suppose i = r + 4. Does 10 divide r?
False
Suppose 0*p = 4*p - 404. Does 26 divide p?
False
Suppose -3*t - 1 = 2*h - 13, 15 = -5*h. Let o = t - 4. Is 3 a factor of o/(2*1/3)?
True
Suppose -4*z - 56 = -j, -5*j + 0*z = 5*z - 280. Let u be j/(-12) + 2/(-6). Does 14 divide u - (-3 - -1) - -31?
True
Let y = -34 - -50. Does 16 divide y?
True
Let w(h) = 0*h**3 - 3*h - 2*h**3 - 2 - 2*h**2 + 0*h**2 - 3*h**2. Is 10 a factor of w(-3)?
False
Is 13 a factor of (-48)/(-20)*(-435)/(-6)?
False
Let d(o) be the third derivative of o**4/24 + o**3/6 - o**2. Let a be d(2). Suppose 3*l = 2*t - 4*t + 40, -a*l = -3*t - 15. Is 5 a factor of l?
True
Suppose -3*i = 3*l - 171, -8*i + 120 = 2*l - 3*i. Let c(q) = 3*q - 2. Let j be c(6). Let u = l - j. Does 14 divide u?
False
Suppose 88 - 32 = 2*g. Is g a multiple of 3?
False
Let y = 31 - 19. Is y a multiple of 12?
True
Suppose 2*f + 3*f = 5*t - 410, -5*t + 3*f + 414 = 0. Is 12 a factor of t?
True
Suppose -4*k = -13 + 101. Is 0/(4/2) - k a multiple of 20?
False
Suppose -3*l - 6*h + 22 = -2*h, -l - 5*h = 0. Let v = 16 - l. Is v a multiple of 6?
True
Suppose r + 0*v - 4 = -v, -2*r + 5*v = 20. Let u be (0 + r)/(-3 + 2). Is u + -1 + -1 - -29 a multiple of 15?
False
Suppose 0 = 3*x + 2*r - 4*r - 152, 4*x + r = 210. Suppose -3*i + 4*s = 3*s - 27, -4*s = -5*i + x. Is 8 a factor of i?
True
Suppose 4*j - 5*j = -64. Is j a multiple of 16?
True
Let k(a) = -4*a - 3. Let n = 4 + -6. Let p be k(n). Suppose p*y - 2*l = 70, -7 = y - 2*y - l. Does 7 divide y?
False
Let i = -145 + 211. Is 20 a factor of i?
False
Suppose 0*f + 4*a - 11 = -f, -5*a = -5*f + 5. Is 2 a factor of f?
False
Let l = 3 - -21. Does 3 divide l?
True
Suppose 0 = -g - 3*g + 3*s + 232, g - 4*s = 71. Is g a multiple of 7?
False
Suppose -5 = -z + 9. Let y = 6 + z. Let m = y - 9. Is 6 a factor of m?
False
Suppose -5*q + 3*x - 1 = 0, 0*q + 2*x = -3*q + 7. Let j = q - -4. Is 10 a factor of j - -4 - (0 - 1)?
True
Let d be (-561)/(-7) - 4/28. Suppose -7 - 8 = 5*a, -a - 11 = -2*q. Suppose -q*z + 3*v + 84 = 0, -4*z + v + v = -d. Does 6 divide z?
True
Let h be -3*19 - (-1)/1. Let w be 4/(-6) + h/(-3). Suppose 0 = 2*d - 0*d - w. Is 5 a factor of d?
False
Let d(c) = -c**3 + 7*c**2 - 3*c + 30. Is 5 a factor of d(5)?
True
Let i = 10 + -21. Let q = 13 - i. Is q a multiple of 8?
True
Is 12 a factor of 4 + (-1 - -1 - -32)?
True
Let z(h) = 21*h - 3. Is 9 a factor of z(1)?
True
Let q(b) = b**3 - 4*b**2 - 3. Suppose 2*x + 4 = 3*x. Let c be q(x). Let l = c - -7. Does 2 divide l?
True
Let y be 4*(9*-2)/3. Let f = y - -37. Is f a multiple of 13?
True
Suppose 2*h = -5*z - 23, 3*h + 2*z = 4*z + 13. Let g(b) = h + 3 + 6*b - 3. Does 9 divide g(2)?
False
Let h(x) = x**3 + 8*x**2 - 8*x + 11. Let l(y) = -5*y + 1. Let t be l(2). Let q be h(t). Suppose -q = 3*g - 26. Is g a multiple of 7?
False
Let k(n) = -n**3 - 6*n**2 + n - 6. Let w(h) = h - 20. Let b be w(13). Does 13 divide k(b)?
False
Let a(m) = m**3 - 4*m**2 - 5*m + 5. Let n be -2*(1 - -2)/6. Let x be n + (-2*1 - -8). Is a(x) a multiple of 3?
False
Let l be (-18)/30 - 1014/(-15). Suppose -7*b - 3*y + l = -2*b, 4*y + 4 = 0. Does 10 divide b?
False
Let m(i) = 4*i**2 + 6*i - 3. Does 20 divide m(-5)?
False
Suppose 107 = -5*w - 8. Let d = 39 - w. Is 14 a factor of d?
False
Let m = 10 - -60. Does 14 divide m?
True
Suppose -10*z = -5*z - 70. Does 7 divide z?
True
Let u(j) = -3*j**3 + 13*j**2 + 3*j + 2. Let q(s) = s**3 - s**2 + 1. Let y(k) = 4*q(k) + u(k). Does 13 divide y(-8)?
False
Let x(l) = -l - 7. Is x(-15) a multiple of 2?
True
Suppose -33 - 14 = -3*y + 2*x, -3*y - 3*x + 72 = 0. Is y a multiple of 5?
False
Let g be -2 + 3 - (-1)/1. Let z(b) = 2*b**2 - g*b**2 - b**3 + 6*b - 2*b**2. Does 16 divide z(-5)?
False
Let w(f) = -111*f - 1. Let k be w(-1). Suppose 3*l - k = -2*l. Does 11 divide l?
True
Suppose -4*l = -9 - 19. Let y be (-2)/(-4)*(l + -1). Suppose 6*a = 3*a + y*g + 45, -g + 29 = 3*a. Is 3 a factor of a?
False
Suppose b - 43 = 5*p, -5*b = -0*b - 2*p - 192. Suppose 0 = 4*o - b + 6. Suppose -3*t - 110 = -o*t. Does 11 divide t?
True
Let m = -6 + 11. Let d = 29 - m. Is d a multiple of 13?
False
Suppose 4*c + 5*j = -31, c - 4*j - 3 + 16 = 0. Let h = c - -15. Is h a multiple of 6?
True
Does 4 divide -2*((-32)/4)/4?
True
Let x be (-458)/(-4) - 5/(-10). Let j be 2/3 + x/3. Let a = -27 + j. Does 6 divide a?
True
Let h = 7 + -5. Suppose h*s = 4*s - 26. Let r = s - 9. Is r a multiple of 4?
True
Suppose w - 79 - 28 = -j, 5*w = 5*j - 515. Does 35 divide j?
True
Suppose 5*g - 7*g = -30. Let r = g - 5. Is 10 a factor of r?
True
Let o(w) be the second derivative of -w**3/6 + 2*w**2 + 4*w. Is 3 a factor of o(-5)?
True
Let m(n) = -7*n**3 - 5*n**2 - 4*n + 2. Is 23 a factor of m(-2)?
True
Let h = -81 - -171. Is 15 a factor of h?
True
Let n be 4/(2 + -3) + 2. Let u(r) = -r**3 - 2*r**3 - 6*r**2 + 4*r**2. Does 16 divide u(n)?
True
Let z(a) = a**2 - 10*a + 8. Let s be z(9). Is ((-38)/4)/(s/2) a multiple of 13?
False
Let j = -252 + 148. Let m = -42 - j. Is m a multiple of 31?
True
Let o = 78 + -23. Is 12 a factor of o?
False
Let a be 3/(-6)*(-84)/6. Let i = a - -5. Does 12 divide i?
True
Let s = 6 + -2. Suppose -8 = s*h - 3*h. Let f(q) = -q + 9. Is f(h) a multiple of 17?
True
Let n(l) be the first derivative of -5*l**2 - l - 5. Is n(-5) a multiple of 13?
False
Let m = 2 - -11. Is 6 a factor of m?
False
Suppose 0*v = -4*v + 368. Does 23 divide v?
True
Let p(u) be the third derivative of 29*u**5/60 + u**4/12 - u**3/3 + u**2. Is p(1) a multiple of 28?
False
Is 59 a factor of 1 + (-3298)/(-7) + 12/(-84)?
True
Let p(v) = v**2 - 5*v - 3. Let l be p(5). Let u be l*(-1 + -5 + 0). Is 18 a factor of (-1)/(-3) + 786/u?
False
Does 24 divide (-3)/(-2 + -1) - -30?
False
Let u(h) = -2 - 2 + 10*h**2 - 4*h + 6. Let c be 2/2 + -1 + 2. Is 15 a factor of u(c)?
False
Let s = 25 - 7. Does 6 divide s?
True
Let k(p) = 18*p**2 - p - 1. Is 18 a factor of k(-1)?
True
Let b(m) be the first derivative of -m**3/3 + m**2 + 2*m + 1. Let u be b(3). Does 4 divide (-3 - -10) + u*3?
True
Suppose b + 208 = 3*b. Suppose 0*t - b = -t. Let z = -70 + t. Is z a multiple of 17?
True
Suppose -4*g + 62 = -82. Is 12 a factor of g?
True
Suppose 0 = 5*p - 2*l - 13 - 67, -3*l = -p + 3. Suppose f - p = 4. Is f a multiple of 5?
False
Let o(a) = 3*a + 0*a - 3 + a. Is 4 a factor of o(4)?
False
Let w = 39 - -24. Is 14 a factor of w?
False
Let u = -106 + 63. Let x = 73 + u. Is x a multiple of 13?
False
Let k = -30 + 68. Suppose -5*i + 4*t = -260, -250 = -4*i + 4*t - k. Is 12 a factor of i?
True
Suppose 0 = 4*v - 1861 - 187. Suppose f - v = -3*f. Suppose a - f = -5*y, 38 = -5*y + 3*a + 174. Does 9 divide y?
False
Let g(v) = -v**2 + 6*v + 5. Let m be g(6). Suppose -m*d = -3*z - 2*d + 63, -d - 4 = 0. Is z a multiple of 13?
False
Does 40 divide (10770/9)/5 + (-6)/(-9)?
True
Let s(r) be the second derivative of -1/20*r**5 + 1/3*r**4 + 3/2*r**2 + 0 - r + 1/6*r**3. Is s(3) a multiple of 15?
True
Let l(n) = 5*n**2 - 2*n + 1. Let y be l(1). Let h be ((-12)/16)/((-1)/y). Suppose 113 = h*c + 35. Does 13 divide c?
True
Let k(d) be the first derivative of 2 - 3/2*d**2 + 1/3*d**3 + 6*d. Is k(4) a multiple of 8?
False
Let x = 9 - -1. Let i(c) = -c**3 + 10*c**2 + 5*c - 15. Is 13 a factor of i(x)?
False
Is (2/(-3))/(8/(-1236)) a multiple of 12?
False
Let s(c) = -2*c**2 + 3*c - 1. Let p be s(2). Let g = p + 15. Does 6 divide g?
True
Suppose 22 = 3*b - 2. Let o be (39/(-4))/(2/b). Let c = 56 + o. Is 17 a factor of c?
True
Let h = -9 - -45. Is 12 a factor of h?
True
Let m(u) = 3*u + 8*u**3 - 4*u**2 + 11*u**2 - 5 - 7*u**3. Let r be m(-6). Let p = r - 6. Is 7 a factor of p?
True
Let g(r) = 2*r**2 + 4*r - 1. Let v be g(-3). Let u(j) = -7*j - 5. Let t be u(v