 + s - 17, -4*s = 2*m - 8. Is d(m) a multiple of 21?
True
Does 5 divide (-37)/((-1)/(-1))*-1?
False
Let p(z) = z**2 + z - 2. Let b be p(3). Suppose 2*r + 2*l = -r + b, 0 = r + 2*l - 2. Suppose -4*a - 148 = -r*m, 3*a - 4 - 55 = -2*m. Does 17 divide m?
True
Suppose 2*g - 397 = 5*s, -976 = -2*g - 3*g - 4*s. Does 28 divide g?
True
Let v be (-1)/((-10)/14)*5. Let d(x) = 2*x**2 - 8*x + 2. Let q be d(v). Suppose 3*y = y + q. Does 8 divide y?
False
Let y(l) = 28*l - 3. Does 13 divide y(2)?
False
Let k = 62 + -35. Is 2/(-9) + 1707/k a multiple of 21?
True
Let g(z) = z**3 + 6*z**2 + 4*z - 5. Let q be g(-5). Suppose -2*h + 2*c + 24 = 0, 4*h = -c - q*c + 33. Is 6 a factor of h?
False
Suppose -6*f + 86 + 58 = 0. Does 12 divide f?
True
Is (4 + 20)*(-2)/(-3) a multiple of 16?
True
Suppose -2*x + 58 = -5*a, a - 1 + 3 = 0. Let f = 87 - x. Does 21 divide f?
True
Let g = -15 + 60. Is 9 a factor of g?
True
Suppose -3*g = -g - 120. Let z be 1/(-2) - g/8. Let i = z - -14. Does 6 divide i?
True
Suppose -d - 11 = 4*i, -5*d = 3*i - 0 + 4. Let h = 3 + d. Is h/6*(-162)/(-4) a multiple of 9?
True
Suppose i = -0*i. Let u(w) = w**3 + 6*w**2 - 8*w - 9. Let c be u(-7). Is 4 a factor of 6 + c + i + 4?
True
Suppose -24 = -5*h + h. Let p be 142/h - 2/(-6). Suppose -l + p = -4. Does 14 divide l?
True
Is 2*18 - 40/10 a multiple of 8?
True
Let j(t) = t**2 + 4*t - 5. Let g = -24 - -17. Is j(g) a multiple of 8?
True
Let n be 4/(-10) - 36/(-15). Suppose n*o + 3*o - 45 = 0. Is o a multiple of 9?
True
Suppose -4*c = -i - 12, -2*i + i = -c + 3. Suppose 0 = -x - 0*x - c. Let l = x + 12. Is l a multiple of 7?
False
Let x = 51 + -29. Is x a multiple of 22?
True
Suppose -5*i - 24 = -3*z, -2*z - 5*i - 12 + 3 = 0. Suppose 6*t = z*t - 456. Is t/(-6) - 4/(-6) a multiple of 13?
True
Suppose -110 = g - 0*g. Let x = g - -154. Does 11 divide x?
True
Let g(l) = 8*l. Let m be g(-4). Is 12 a factor of (3/2)/((-2)/m)?
True
Let v = -13 - -25. Is v a multiple of 6?
True
Is 5 a factor of 1/(1/2) + 47/1?
False
Let n(o) = -61*o + 2. Does 39 divide n(-3)?
False
Suppose 2*f + 19 = q - 2*f, -4*q = f - 25. Is 4 a factor of q?
False
Let m be (1/(-3) - -2)*3. Suppose -4*v = -s + 54, 148 + 166 = m*s + 2*v. Is s a multiple of 17?
False
Let v(j) = -j**3 + 6*j**2 + 11*j - 6. Is 4 a factor of v(7)?
False
Let l = 21 - 13. Let y = 1 + l. Is 9 a factor of y?
True
Let k(q) = q**3 - 5*q**2 + 6*q - 5. Let s be k(4). Suppose 9 = 2*a - s*v, -4*a + 2*v + 38 = -0*v. Suppose i = 14 + a. Does 13 divide i?
True
Suppose 4*n = -0*n - 48. Is (n/(-14))/((-2)/(-42)) a multiple of 13?
False
Suppose 37 = 5*g - 53. Suppose 3*b - g = 2*b - z, 4*b - 3*z = 37. Does 8 divide b?
False
Let r(y) = 10*y**3 - y**2 - 1. Is 10 a factor of r(3)?
True
Let b(w) = -w**2 - w + 39. Is 13 a factor of b(0)?
True
Suppose -3*f = f - 72. Suppose 0*j = -j + v + 22, j = 3*v + f. Is j a multiple of 8?
True
Let h(u) = -u**3 + 7*u**2 - 4*u + 6. Let g be h(6). Let k = g + -8. Let l = k - -4. Is 14 a factor of l?
True
Let c(g) = -g - 2. Let w be c(0). Let j(h) be the second derivative of -h**5/20 + h**4/4 + h**3/3 + 3*h**2/2 + h. Does 13 divide j(w)?
False
Suppose 39 + 1 = -4*d. Let g be (-45)/d*4*2. Suppose 0 = 4*o + 5*a - 48, 3*o = a - 2*a + g. Does 4 divide o?
True
Let f(w) = -20*w. Let n be f(1). Let y be (n/(-15))/((-2)/6). Is 33 - (y + -2 + 4) a multiple of 21?
False
Let m be ((-24)/(-10))/(10/50). Let y = m + 9. Does 7 divide y?
True
Suppose 6*y - 10*y = -552. Is y a multiple of 46?
True
Let f = -269 + 179. Let k = f - -153. Is k a multiple of 21?
True
Let b(q) = 10*q**3 + 1. Let h(x) = -5*x**2 - 2 + 2*x**2 - x**3 - 2*x + x. Let y be h(-3). Does 5 divide b(y)?
False
Let i(m) = 55*m**2 - 2*m + 1. Does 6 divide i(1)?
True
Let r = -9 - -9. Suppose -2*k - 16 + 172 = r. Is k a multiple of 13?
True
Is 43 - 0 - (-22 + 21) a multiple of 11?
True
Suppose -4*x - 7*l - 12 = -3*l, 0 = -x - 5*l - 7. Is 13 a factor of 55 + 3*(1 + x)?
True
Suppose 2*x + 0 = -10. Let q = x + 11. Suppose q*l + 20 = 8*l. Is l a multiple of 10?
True
Let a be ((-6)/10)/((-3)/15). Does 9 divide 4*a*(-86)/(-24)?
False
Let j(d) = -d + 14. Let o be j(7). Suppose -2*x = -o*l + 2*l + 93, 0 = 2*l + 3*x - 41. Does 6 divide l?
False
Let f = -43 + 67. Is f a multiple of 6?
True
Does 26 divide -2 + (-1 - -78) + 3?
True
Let b(q) = 2*q**3 - 4*q**2. Does 25 divide b(5)?
True
Is (-15 - 22)/((-1)/4) a multiple of 37?
True
Suppose -5*n = -14 + 4. Suppose v + n*v - u = 33, -4*u = v + 2. Does 5 divide v?
True
Suppose 5*g + 5*h = 129 - 34, -3*h - 69 = -3*g. Is g a multiple of 4?
False
Let f be ((-3)/2)/(1/(-2)). Let g(m) = 7*m + 1. Let b be g(f). Suppose 0*r = r - b. Is 13 a factor of r?
False
Let f(a) = -a**2 - 11*a - 6. Let x be (-12)/18 + 44/(-6). Does 17 divide f(x)?
False
Let t = 7 - 6. Let z = t + 37. Is 19 a factor of z?
True
Suppose 2*x - 124 = 5*r, -2*r = -x + 55 + 5. Is x a multiple of 10?
False
Suppose i = -s + 63, s - 67 = -2*i - 0*i. Suppose s = 3*j - 13. Is j a multiple of 10?
False
Suppose -2*o + 3*o - 2 = 0. Suppose -5*a = 3*k - 1, -3*a + o*k - 2 = -7*a. Suppose -a*m + 0*u - 5*u = -70, -4*u - 52 = -2*m. Does 15 divide m?
True
Let p(r) = r**3 - 4*r**2 - r - 6. Let o be p(5). Let y be (-6)/(-21) + (-256)/o. Let s = 39 + y. Is s a multiple of 14?
False
Let c = 10 + -1. Does 3 divide c?
True
Let f = 215 + -116. Is f a multiple of 33?
True
Let z be 2*(-1 - 1/2). Let i = 11 + z. Is i a multiple of 8?
True
Let m(n) = n**3 - 2*n - 1. Let s be m(3). Suppose -s = c - 2*c. Is 15 a factor of c?
False
Suppose -2*b + 6*u = 2*u - 130, -5*b + 5*u = -305. Suppose 3*p - 18 = b. Does 10 divide p?
False
Let n = 80 - 18. Is n a multiple of 19?
False
Let k(a) = a**3 - 6*a**2 - 9*a - 2. Is k(8) a multiple of 18?
True
Let d = 0 - -20. Is d a multiple of 10?
True
Let t = 1 + 3. Suppose 5*n + 3*h = n + 62, 59 = 3*n - t*h. Is n a multiple of 6?
False
Suppose -2*c = 5*t - 1, -2*c + 5*c = t + 10. Suppose -4*k = -c - 49. Is k even?
False
Does 14 divide (-460)/(-7) + 6/21?
False
Let f = -7 + 45. Is 19 a factor of f?
True
Suppose -d + 2 = -2*x - 21, -2*x = 3*d - 85. Is 27 a factor of d?
True
Let o = -22 + 15. Let s(c) = -c**3 - 6*c**2 + 4*c + 1. Does 11 divide s(o)?
True
Let w = 307 + -52. Suppose 0*r = 5*r - w. Is r a multiple of 13?
False
Let j(z) = -3*z - 3. Let x = 5 - 7. Let i be j(x). Suppose -4*t - 24 = -5*c, -4*c - 5*t = -49 - i. Is c a multiple of 4?
True
Let a(y) = -y + 3. Let g be a(3). Suppose g = j + 2*j - 3. Does 13 divide (1 - -24)/(j + 0)?
False
Suppose -2*r + 5 + 5 = 0. Let c = r + 23. Does 11 divide c?
False
Suppose -5 = -2*t - 11. Let p = t + 8. Is 5/(-4)*(1 - p) a multiple of 4?
False
Suppose 0 = 2*m - 5*f + 15, -4*m - 4*f + 45 = f. Suppose -x = -3*x - m*i + 16, 3*i - 78 = -5*x. Is 9 a factor of x?
True
Let g = -11 + 18. Suppose 0 = -4*b + 1 + g. Suppose 2 = b*j - 6. Does 2 divide j?
True
Suppose 2*s - 8 + 0 = 0. Suppose s*x = -4*m - 4, -2*x + 4*m + 7 = -5*x. Is x a multiple of 2?
False
Let l be 6*((-21)/6 - -2). Is (-300)/l - 5/15 a multiple of 11?
True
Let q be ((5 - 1)/(-4))/1. Is 26 a factor of (31/q)/((-1)/3)?
False
Let o(l) = -l**3 + 4*l**2 - 3*l - 2. Let h be o(3). Let g be 64/(-28) + h/(-7). Is g - 18/2*-1 a multiple of 3?
False
Suppose 0 = -4*b + 2*b - 4. Let i be 1 - (4/2 + -3). Is i + (-1)/(b + 1) a multiple of 2?
False
Let r(n) = 55*n**3 + n**2 - n + 1. Is 14 a factor of r(1)?
True
Let a = 33 + 11. Does 11 divide a?
True
Suppose -4*j = -3*i - 196, 4*j = -4*i + 80 + 116. Let h = 126 - j. Is h a multiple of 15?
False
Let w be 5*((-32)/(-20))/1. Is 7 a factor of (1 - w*3)*-1?
False
Let o = 195 - 75. Does 12 divide o?
True
Let v = -1 - -9. Let u be (16 - v)*1/2. Suppose -58 = -u*j - 6. Is j a multiple of 8?
False
Let w(h) = -h**2 - 18*h + 10. Does 6 divide w(-14)?
True
Suppose -g + 3 = 5*j, 3*g - 9 = j + 2*j. Suppose -f + 2*l = -j*f - 40, 0 = -4*f - 4*l + 124. Is f a multiple of 12?
False
Let s(n) = 15*n - 5. Let j(c) = 30*c - 9. Let x(z) = -6*j(z) + 11*s(z). Is 7 a factor of x(-1)?
True
Let z(i) = -5 - 3*i**2 - 4*i + 3 + 9*i**2 + 3. Let q be z(-6). Suppose 4*l + 53 = q. Is 17 a factor of l?
False
Suppose -4*n = -6*n. Suppose n = 4*p + 26 - 122. Does 9 divide p?
False
Let p(o) = -o**3 - 8*o**2 - 11*o. Is 7 a factor of p(-7)?
True
Let w(n) be the third derivative of n**6/120 - n**5/20 - 3*n**4/8 + n*