e -5*a - 3*v = -22, 5*v = 2*a - 0*a - m. Suppose -4*k - 51 = -3*w, a*w - 6*k - 77 = -2*k. Is w a multiple of 13?
True
Does 2 divide 5 + 3 + 15 - 4?
False
Let y be (1 + 0)*-26*-1. Suppose 0 = -5*v + b + 5 - 2, 3*b = -3*v - 9. Suppose v*x - y = -2*x. Is x a multiple of 5?
False
Let p = -47 - -123. Let d be -1*10*(2 + -24). Suppose -4*f - p = -d. Does 20 divide f?
False
Let a(u) = -u**3 - 11*u**2 - 11*u + 22. Does 3 divide a(-10)?
False
Suppose 8 = 2*v - 4*w - 12, 3 = -3*v - 5*w. Suppose v = b - 9. Is 13 a factor of b?
True
Let v(p) = -p**3 + 5*p**2 + p - 5. Let y be v(5). Suppose 2*b = -y*b + 14. Is 4 a factor of b?
False
Suppose -1 + 21 = 4*j. Suppose f + 3*f - j*x = 35, 3*x - 15 = 0. Is f a multiple of 15?
True
Suppose -4*j = -4*h + 16, 0 = 4*j - 0*j + 3*h + 30. Let a = j - -8. Suppose a*m - 7*m = -50. Is m a multiple of 10?
True
Let l = -7 - -11. Suppose -u + l - 2 = 0. Suppose u*v + 0*v - 76 = 0. Does 19 divide v?
True
Suppose s + 5*b - 38 = -0*s, 0 = -5*b + 20. Does 18 divide s?
True
Suppose -h = f - 194 + 64, -2*h - 248 = -2*f. Does 23 divide f?
False
Let u(w) = w**3 - 7*w**2 + 7*w + 6. Suppose 0 = -3*r - 4*j + 18, 3*r - 21 = -3*j - 2*j. Suppose d - 4 = r. Is 6 a factor of u(d)?
True
Suppose -r = 4*o - 99, 0*r + 4*r + 20 = 0. Is 11 a factor of o?
False
Let q be 146/4 - (-2)/(-4). Suppose -q = 2*f - 0. Is 6 a factor of (1/(3/f))/(-1)?
True
Let k(x) be the second derivative of -11*x**5/20 - x**4/12 + x**3/6 + x**2/2 - 3*x. Is k(-1) a multiple of 5?
True
Let u be 3/15 + (-18)/(-10). Suppose -u*o = -2*c + 3*o + 11, 11 = 5*c + 4*o. Let i = 9 - c. Is 3 a factor of i?
True
Let q be (11/(-2))/(2/(-12)). Let h = 49 - q. Is 4 a factor of h?
True
Let o(t) = t**3 - 8*t**2 + 4. Suppose 2*q = 5*q - 24. Is o(q) a multiple of 3?
False
Let i = 26 - -2. Let s be 1/3 + i/(-3). Let f = -5 - s. Does 3 divide f?
False
Let b(w) = 4*w + 6. Suppose -3*m + j - 6*j = -38, -2*m + 20 = 2*j. Does 16 divide b(m)?
False
Let n = 3 + 4. Suppose -n*l = -2*l - 235. Is l a multiple of 18?
False
Is (-2)/8 - (-390)/24 a multiple of 16?
True
Let s be 2/((10/(-4))/(-5)). Suppose -5*h + 3*q = s*q + 360, -3*q + 288 = -4*h. Let d = -36 - h. Is d a multiple of 13?
False
Let u(b) = 13*b - 1. Let y(h) = -h**3 - 2*h**2 - 4. Let p be y(-3). Is u(p) a multiple of 17?
False
Let m = -7 - -8. Let o = m - -30. Is 17 a factor of o?
False
Is 12 a factor of -1 + 3/6 - (-596)/8?
False
Does 5 divide 14 - 9/3 - -4?
True
Let w = 97 - 63. Let r = 61 - w. Suppose -3*s - r = 4*p - 7*p, 2*s = 4*p - 38. Is 10 a factor of p?
True
Let c = -96 - -127. Is 10 a factor of c?
False
Let y(s) = -s**3 + 65. Let t be y(0). Suppose -2*g + 5*l = -0*g - t, -2*g + 3*l + 59 = 0. Suppose 0 = z - 3 + 5, 3*k = -z + g. Does 9 divide k?
True
Let b be 1*4*305/(-10). Is b/(-8) + 2/(-8) a multiple of 5?
True
Suppose 4*m - 5*o = 9, m - 4*o = -2*m + 6. Is 6 a factor of m?
True
Let q(o) = -3*o**2 + 5*o + 15. Let c(i) = -2*i**2 + 3*i + 7. Let r(y) = -5*c(y) + 3*q(y). Suppose 5*z = -t + 20, -t - t - 4*z = -16. Is 10 a factor of r(t)?
True
Is 4 a factor of 80*(27/6 + -4)?
True
Let n = 1 - -4. Suppose 4*b - 35 = -3*h - 2*h, -n*b - 47 = -2*h. Is 6 a factor of h?
False
Suppose -c + 5*c - 20 = 0. Suppose -5*u = 12 + 8, -u = c*h - 176. Suppose 0*z - 3*z = -h. Is 4 a factor of z?
True
Suppose 2*q - j = -q + 5, -3*j = -2*q + 15. Suppose 5*k = -q*k + 3*i + 34, 3*k - 12 = -i. Does 2 divide k?
False
Suppose -22*i + 202 = -20*i. Does 9 divide i?
False
Suppose 5*d - 184 = -4. Is d a multiple of 9?
True
Let g be (-89)/(-5) - 2/(-10). Let j = g - -6. Is j a multiple of 6?
True
Let v = 87 - 57. Is v a multiple of 10?
True
Let n be ((-5)/(-2))/((-6)/(-12)). Suppose -4*b = -n*b + 21. Is b a multiple of 21?
True
Let p = 102 + -67. Is p a multiple of 24?
False
Is 20 a factor of (8/(-2))/((-16)/8) - -143?
False
Let q be -1 - (2 + -5) - -53. Let y = 100 - q. Is 15 a factor of y?
True
Suppose 5*j - 1 = 24, 2*o = -4*j + 212. Is o a multiple of 19?
False
Suppose -5*m - 3*w = -2*w + 51, 4*w = -2*m - 6. Let b(h) = h**2 + 9*h - 10. Does 4 divide b(m)?
True
Let j(m) be the second derivative of -13*m**6/120 - m**5/60 - m**4/24 + m**2 + 2*m. Let h(t) be the first derivative of j(t). Does 13 divide h(-1)?
True
Suppose -d - 5*a = 4*d + 15, -2*d - 6 = -a. Let l = 51 + d. Does 12 divide l?
True
Suppose -z = -3*z + 66. Let d be (-7)/14*(31 + -3). Let b = d + z. Does 13 divide b?
False
Suppose -2*d + 36 + 46 = 0. Is d a multiple of 20?
False
Suppose -3*w = 2*a - 6*a - 332, 2*w = 2*a + 220. Is 38 a factor of w?
False
Let h = -14 + 34. Is 11 a factor of h?
False
Let y(i) be the first derivative of 2*i**3/3 + 1. Is 4 a factor of y(2)?
True
Let h(c) = -4*c - 9. Suppose -4*z + 3*i - 27 = 0, i = -z - 0*i - 5. Is h(z) a multiple of 7?
False
Suppose 5*w + 302 = j, 2*w - 8*j = -3*j - 107. Let v = w + 123. Does 18 divide -2 - (-4)/(8/v)?
False
Does 21 divide (-2875)/(-69) + 1/3?
True
Let c be (-2)/10 + (-219)/5. Let t = -20 - c. Suppose -3*q = 3*s - t, -4*q + 31 - 5 = 2*s. Does 3 divide s?
True
Let g = 21 - -1. Does 2 divide g?
True
Suppose 5*f - 6*f + 39 = 0. Let b(l) = l**2 + 12*l + 14. Let m be b(-11). Suppose 4*k - m*o - f = 0, 0 = -k + 6*o - 2*o. Is 12 a factor of k?
True
Let s = -44 - -123. Is s a multiple of 9?
False
Is (3/(-6)*10)/((-1)/17) a multiple of 15?
False
Is 31 a factor of (67/(-3))/(9/(-27))?
False
Suppose 0 = 5*d - 330 - 685. Suppose 4*x - x - d = -5*f, -2*f = 4*x - 84. Is 8 a factor of f?
True
Suppose 2*p + p - 736 = 2*k, -984 = -4*p + 4*k. Is 18 a factor of p?
False
Let t(x) = 9*x - 1. Is t(5) a multiple of 11?
True
Let o = 149 + -96. Is 6 a factor of o?
False
Suppose 12*s - 16*s = 1188. Let n = -198 - s. Is n a multiple of 18?
False
Suppose -4*g + g = 3*t - 144, -5*t + 187 = 4*g. Is g a multiple of 20?
False
Let g(i) = -i + 2. Let h be g(4). Suppose 0 = q - 0*q. Is h/(q - 2) - -5 a multiple of 3?
True
Let j be (-5)/((-15)/6) + -1. Is j*20*(-6)/(-15) a multiple of 8?
True
Does 30 divide -48*((-15)/10)/((-6)/(-20))?
True
Let m be (-2 + 5)*(-16)/(-6). Suppose -m = -2*r - 2*h, -5*r + 2 = -2*h - 4. Is 14/(-3)*(-3)/r a multiple of 3?
False
Suppose 4*j = 2*s + 2, 15 = 3*j + s + 1. Suppose -u + 5*x = 1, x - j + 1 = 2*u. Is 13 a factor of (-2 - (u + -2))*13?
True
Suppose -11*l + 952 = -7*l. Is l a multiple of 34?
True
Suppose -2*i = -46 - 8. Does 9 divide i?
True
Let x(t) = 5*t + 4. Let o be x(4). Suppose 0 = -0*b - 3*b + o. Is b a multiple of 4?
True
Let c(z) = z**3 + z - 10. Let b be c(0). Let u(o) = 5*o + 6. Let h be u(3). Let n = b + h. Is 11 a factor of n?
True
Let s(o) = o**2 + 5*o + 2. Let b be s(-5). Suppose 0 = -4*j, -b*t + 75 = 3*t - 5*j. Suppose 3*y - t - 46 = -5*k, 4*k = 2*y + 40. Does 5 divide k?
False
Suppose 0 = -3*u - 2*m + 44, 3*m - 16 = -u + 8. Let a be (-106)/(-8) - 3/u. Does 7 divide a*(-3)/(9/(-3))?
False
Let v(q) = -q + 20. Let y = 27 + -14. Does 7 divide v(y)?
True
Let v(y) = y**3 - 3*y**2 + y - 2. Let s be v(3). Is 6 a factor of 2 + s - (-10 + 1)?
True
Let b = -5 - -10. Suppose -3*y + 12 = 3*c, 0*y - 70 = -b*c + 5*y. Does 3 divide c?
True
Let y be (-1)/(-2)*6*1. Suppose -2*p - 59 = -y*i - 7*p, i = -3*p + 25. Is 5 a factor of i?
False
Suppose -s = 2*s - 6. Suppose 0 = -3*u - 0*u + 4*t + 163, 2*u - 108 = s*t. Let b = u - 19. Is 16 a factor of b?
False
Let p = 129 + -52. Does 15 divide p?
False
Suppose 1 - 4 = -3*a. Let t = a + 2. Is 2 a factor of t?
False
Suppose 0 = 46*b - 50*b + 696. Does 12 divide b?
False
Suppose -2*v + 64 + 36 = 0. Is v a multiple of 10?
True
Let c(v) = v**2 - 10*v + 3. Let x be c(9). Let w = -7 - x. Is 14 a factor of 1*(-2 - 12)/w?
True
Suppose j - 4*j = -189. Let z = -24 - -3. Let s = j + z. Is 17 a factor of s?
False
Suppose 0 = -d + 2*d. Suppose y - 2 + d = 0. Suppose 5*w - 30 = -3*f + 3*w, 0 = -y*w - 6. Is 7 a factor of f?
False
Suppose 0 = 5*z - k - 99, 4*k + 41 + 32 = 3*z. Is z a multiple of 13?
False
Let a(q) = q**2 + 8*q + 9. Let o be a(-6). Let j be 12/(-1)*2/(-4). Does 3 divide o*(16/j)/(-1)?
False
Let l(n) = 3*n + 9. Let k be l(-10). Let j = -8 - k. Suppose -49 + j = -2*t. Does 9 divide t?
True
Suppose z = 2*p + 44, 3*z = 5*z + 3*p - 67. Is z a multiple of 5?
False
Let l = 7 + -4. Let w be (-2 + l)*-1 + 3. Is (3/3 - -13)/w a multiple of 3?
False
Suppose -2*v = 2*q - 84, 2*q + 174 = 4*v + 30. Let c be ((-4)