es 20 divide q?
True
Let v(g) = -g + 1. Let m(f) = 6*f. Let x be m(-1). Does 3 divide v(x)?
False
Is 15 a factor of (-6 - -3)/(2 + -1) - -98?
False
Suppose 3*i + 465 = 8*i. Is 31 a factor of i?
True
Suppose -2*z - 5*v + 10 = -10, 0 = -v + 2. Suppose z*h = 13 + 12. Does 4 divide h?
False
Suppose 4 = -z + 3*a + 3, 0 = -4*z - 4*a + 28. Let m(u) = -u**2 - 1. Let l(j) = j**3 - 6*j**2 - 7. Let d(n) = l(n) - 2*m(n). Is 13 a factor of d(z)?
False
Suppose 16 = 5*x + 6, 5*b - 12 = 4*x. Suppose 4*v + 5*f + 3 = -4, 4*v - 5*f - 23 = 0. Does 14 divide (b/8)/(v/112)?
True
Let q(t) = t + 1. Let i be q(3). Suppose -s - 99 = -4*s + 4*d, 132 = i*s + d. Does 18 divide s?
False
Suppose 11 = 5*u - 4. Is u even?
False
Suppose 111 = -48*b + 51*b. Is 5 a factor of b?
False
Suppose 5*x + 6 - 21 = 0, 2*h - 4*x = -4. Suppose -80 = -h*c - 4*w, -c - 29 = -2*c - 4*w. Is c a multiple of 11?
False
Let v(j) = -j**3 - 8*j**2 + 5*j. Let a = -14 + 5. Is v(a) a multiple of 20?
False
Let h be (0 - (4 - 2))*-71. Suppose 44 = 2*d - 4*a, h = 5*d + 3*a - 5*a. Is d a multiple of 10?
True
Let t = 33 - 11. Is t a multiple of 15?
False
Let a(t) = t + 5. Let u be a(0). Suppose -6*z = -z - s - 68, -u*z + 53 = 4*s. Does 13 divide z?
True
Let n(m) = 3*m**2 - m - 1. Let p be n(-3). Suppose -s = 6 - p. Is 10 a factor of s?
False
Let v(r) = r**2 - 16*r + 11. Does 47 divide v(18)?
True
Suppose -65 = -2*t + 73. Does 14 divide t?
False
Suppose a + a - 12 = 0. Suppose 4*y - 3*d = -a*d + 190, 0 = -2*y - 5*d + 88. Is y a multiple of 20?
False
Let f = 64 + -25. Suppose 2*d - 14 = 3*l, 6*d - 3*d = -3*l + 21. Let c = f - d. Does 11 divide c?
False
Is 165*(-3 + -3 + 7) a multiple of 32?
False
Let w(y) = -y**3 + 7*y**2 + 8*y + 1. Let d be w(8). Let r be 2 + ((-2)/d - 0). Suppose 0*c + 90 = 5*j - 2*c, -4*j - c + 85 = r. Does 10 divide j?
True
Let k = -45 - -108. Let c be (-36)/(-21)*k/2. Is 11 a factor of c/5 - 1/(-5)?
True
Suppose -5*d = -4*d. Suppose t - 5*s + 2 + 3 = d, 2*s - 29 = -5*t. Suppose 3*c + 51 = 3*b, -4*c = t*b - 36 - 13. Is b a multiple of 13?
True
Let a = -1 + 4. Suppose -a*c + d = -45, 2*c - 15 - 14 = d. Is c a multiple of 8?
True
Let w(k) = 2*k**2 + 16*k - 2. Let y be w(-8). Suppose 3*a - 2*a - 12 = 0. Does 22 divide -33*(a/9 + y)?
True
Let s(b) = 34*b - 2. Let x be s(2). Suppose 77 = 12*q + 401. Let r = q + x. Is r a multiple of 15?
False
Suppose 3*f = -0*f + 6. Let i = 2 - f. Suppose 30 = o - 5*p, i*o - 5*o + 35 = -2*p. Is o a multiple of 5?
True
Let j = 3 - 3. Suppose j = 2*g - 4*g + 6. Suppose -2*a = g*p - 7, p + 17 = 4*a + 4*p. Is 5 a factor of a?
True
Suppose 4*v - 3*d - 387 = 349, 368 = 2*v + 4*d. Does 23 divide v?
True
Suppose -x + 32 = 3*a - 7*a, -4*a = -4*x + 92. Does 10 divide x?
True
Let x(b) = 18*b**2 + 3*b - 2. Is 6 a factor of x(1)?
False
Let s(d) = -2*d**3 - 5*d**2 + 3*d - 7. Is 25 a factor of s(-5)?
False
Suppose 4*z - 4 = 4*n, -5*n - 1 = 5*z - 36. Suppose 5*q + 446 = 4*a, n*a + 5*q - 238 = a. Suppose -w - 2*w = -a. Is 19 a factor of w?
True
Suppose 2*y - 54 = -y. Does 18 divide y?
True
Let r(z) = -z**2. Let n be r(5). Let b = -14 - n. Is 7 a factor of b?
False
Suppose -4 = -2*h - 2. Let j be 2/((1/17)/h). Suppose 3*o - j = 20. Is o a multiple of 10?
False
Let g = 12 - 13. Does 15 divide g/3 - 88/(-3)?
False
Let u(d) = 3*d**2 - 2*d - 10. Let g be (6 - 5)*(-2 - 3). Is u(g) a multiple of 15?
True
Suppose -27*q + 21*q = -1014. Does 20 divide q?
False
Let x = 137 - 65. Does 24 divide x?
True
Let s(k) = -k**3 - 6*k**2 + 23*k - 1. Is 17 a factor of s(-10)?
False
Suppose 800 = z - 2*o, 0 = 3*z + 3*o - o - 2400. Is 7 a factor of z/24 + 1/(-3)?
False
Suppose 0 = 3*o + 2*o - 270. Let s = o + -32. Is s a multiple of 11?
True
Let f = 7 - 4. Let a be (-2)/(-4) - 2/4. Suppose -n - 4*n - 3*w + 31 = 0, a = -2*n + f*w + 4. Does 2 divide n?
False
Let d = -1 - -6. Suppose 3*x + 14 - d = 0. Is 7 a factor of (-1)/x - (-154)/6?
False
Let j be (-5)/(-25) - (-18)/10. Suppose 3*v + o - 193 = 0, -j*o = v + 2*o - 79. Does 25 divide v?
False
Let p(t) = 3*t - 2. Let w be p(-2). Let r = w + 18. Does 3 divide r?
False
Suppose 12*c - 17*c = -75. Let r(g) = -g + 15. Let s be r(0). Is (-84)/s*c/(-6) a multiple of 7?
True
Let c = 53 + -24. Suppose 3*y = c - 5. Is 4 a factor of y?
True
Does 28 divide (-7)/(21/(-346)) - (-2)/3?
False
Let d be (-1 - -3) + (-18)/(-2). Let z = 14 - d. Is z even?
False
Let f(m) = m**3 + m**2 - 3*m + 1. Let n be f(-2). Suppose 69 = n*i - 69. Does 20 divide i?
False
Let o be 3/15 + (-24)/(-30). Is 3 a factor of (0 - (o - 3)) + 6?
False
Suppose -5*m + 4 = -2*y - 0, 4*m + 2*y = 14. Suppose -m*z + 39 = z. Is z a multiple of 5?
False
Let f be 8/6 - (-121)/33. Suppose 4 = -y + 2*l, -4*y + 23 + 13 = f*l. Is 2 a factor of y?
True
Let o(b) = 17*b**2 - 4*b - 2. Is 18 a factor of o(-3)?
False
Let w(h) = 4*h**2 + 1. Does 8 divide w(-2)?
False
Let u(y) = -25*y**2 + 1. Let b be u(2). Let r = -36 - b. Is r a multiple of 19?
False
Suppose -3*f = 8*f - 1100. Is 42 a factor of f?
False
Let w be (-1)/(2/(-12)) + -2. Suppose -20 = w*g - 3*v, 0 = g - 3*v + v + 5. Let d(l) = l**2 + 2*l - 3. Is 12 a factor of d(g)?
True
Let m(o) = -o**3 - 9*o**2 - 12*o - 10. Let f be 168/44 + (-4)/(-22). Suppose -16 = f*h - 2*h. Is 11 a factor of m(h)?
True
Suppose 5*w - 4*w - 33 = -2*q, -2*q + 45 = 5*w. Is 9/q + (-328)/(-20) a multiple of 17?
True
Let w = 17 - 12. Is w a multiple of 4?
False
Let m be 238/3 + 12/18. Let k = m + -34. Is k a multiple of 22?
False
Suppose 2*x - 3*x + 5 = 0. Suppose -5*r + 419 = x*v + 149, 0 = -2*v - 5*r + 117. Is 14 a factor of v?
False
Suppose 3*m = -0*m. Suppose j = 3 - m. Suppose -100 = -2*o - j*o. Is 7 a factor of o?
False
Let u = 291 - 167. Does 25 divide u?
False
Let v(c) = 5*c - 3*c + 7 + 2*c**2 - c**2 + 8*c. Does 7 divide v(-10)?
True
Is 3 a factor of 15 + -19 - (-8 - -1)?
True
Let c = 8 - 8. Suppose c = 2*d + d - 93. Is d a multiple of 22?
False
Let y(q) be the second derivative of -23*q**3/6 - q**2/2 - 5*q. Is y(-1) a multiple of 6?
False
Let b = 4 - -1. Suppose 0*y = -5*y, 120 = b*s - 3*y. Is 14 a factor of s?
False
Suppose -72 = 5*k - 13*k. Does 4 divide k?
False
Suppose 2*m - 3*m + 22 = 0. Does 22 divide m?
True
Let m be (-1)/1 + (1 - 3). Let b(f) = -f**3 - 3*f**2 - f + 2. Is b(m) a multiple of 2?
False
Let q be 1 - 1*-20*1. Let b = q + -17. Does 3 divide b?
False
Let l(c) = c**3 + 4*c**2 - 3*c + 8. Is 17 a factor of l(5)?
False
Let o(q) = 2*q**3 - q - 2. Does 6 divide o(2)?
True
Let p be ((-1)/2)/(1/2). Let f(i) = i**3 - i + 6. Let j be f(0). Is 2 a factor of 2 + p + -5 + j?
True
Suppose 5*s - 13 - 7 = 0. Does 3 divide s?
False
Let z(w) = w + 6. Is z(5) a multiple of 2?
False
Let i = -17 + 24. Suppose -i = y - 34. Is 9 a factor of y?
True
Let o(y) = 3*y - 1. Let b be o(1). Suppose 0 = -b*j - 3*j + m + 153, -4*j + 3*m + 129 = 0. Is j a multiple of 15?
True
Suppose 2*r = -2*r + 40. Is r a multiple of 8?
False
Suppose -y = -0*y - 3*v - 2, 0 = -y + 2*v + 3. Let x(f) = -2*f + 6 + f**3 + 6*f - 5*f**2 - 6*f**3 + 6*f**3. Is 10 a factor of x(y)?
False
Suppose 9 = a + 2*a - 5*v, 0 = 2*a + v - 19. Let b be (-2)/(a/10)*6. Let g = b - -25. Does 5 divide g?
True
Let u = 83 - 16. Let i = u - 31. Is i a multiple of 12?
True
Suppose -5*y = -2*f - 54 - 134, 0 = -f + 3*y - 96. Let t = f - -132. Suppose -7*p = -3*p - t. Is 6 a factor of p?
True
Let w = -534 - -101. Let n = w + 688. Suppose 3*f - 8*f + n = 0. Does 13 divide f?
False
Let f be ((-6)/9)/(4/(-54)). Suppose -4*c + f*c = 160. Is c a multiple of 16?
True
Suppose 29 + 1 = 5*i. Suppose f - 4*n + 8 = -0*n, 2*n - i = 0. Does 2 divide f?
True
Suppose -2*i - 154 = -5*f, 0 = -4*f - 2*i + 6*i + 128. Is f a multiple of 10?
True
Let k(x) = x - 7. Let b be k(9). Suppose 0 = b*l - 4*l + 28. Let d = l + -2. Does 10 divide d?
False
Suppose 0 = -i + 33 + 21. Is 18 a factor of i?
True
Let m = 6 + -9. Let h = -3 - m. Suppose 2*v = -4*s + 18, h = -3*s + 5*v - 0*v + 7. Does 2 divide s?
True
Let o(k) = k**2 + 7*k + 6. Let d be o(-4). Is 10*-6*3/d a multiple of 9?
False
Is 320/8*16/(1 - -3) a multiple of 4?
True
Suppose -102 = -25*q + 23*q. Does 10 divide q?
False
Let x = 19 + -10. Is 28 a factor of x/(-15) + (-846)/(-10)?
True
Suppose 288 = 13*d - 4*d. Is d a multiple of 16?
True
Let n = -1 + 1. Let l(b) = -b - 4. Let q be l(n). Does 9 divide (-94)/(-10