(v). Is l(-1) a multiple of 4?
False
Suppose -4*o - 12 = -6*o. Let z = 8 - o. Is (25 - 0) + z + -2 a multiple of 10?
False
Let l = -8 + 7. Let n = 3 - l. Suppose 2 - 46 = -n*f. Does 6 divide f?
False
Suppose 4 = 18*p - 17*p. Suppose g = m - 26, 9*m - 3*g = p*m + 126. Does 4 divide m?
True
Let u(i) = -i**3 + 10*i**2 + i + 10. Does 20 divide u(10)?
True
Suppose 129 = a + 47. Does 21 divide a?
False
Let f(d) = -d**3 - 11*d**2 - 10*d + 4. Let b be f(-10). Suppose -b*j + 3*j = -42. Suppose y + 16 = j. Does 19 divide y?
False
Let g(q) = q + 11. Does 9 divide g(7)?
True
Suppose 3*o = 3*z + 180, 2*o - 5*z = -2*o + 240. Let p = o + -38. Suppose -4*q + 3*a = -88, -a + 2*a + p = q. Is q a multiple of 9?
False
Let x(o) = -o**2 + o. Let b = -1 + 1. Let g be x(b). Suppose 3*h - 2*t = 37, g*h - 5*h - t + 40 = 0. Is h a multiple of 5?
False
Let z(n) = n + 13. Let j be z(0). Suppose 4*i - 2*p = -18, -5*p - 3 + 18 = 5*i. Let m = j + i. Is m a multiple of 11?
True
Let j = 889 - 617. Let f = j + -134. Let z = f + -77. Does 21 divide z?
False
Suppose 3*g + 105 = 8*g. Let s = 38 - g. Is s a multiple of 17?
True
Suppose h = -3*h + 360. Is h a multiple of 10?
True
Suppose -4*o + 2*m = -108 - 30, -o - 3*m + 38 = 0. Does 7 divide o?
True
Suppose o - 5 - 12 = 0. Is 4 a factor of o?
False
Is 6 a factor of 2*(1 - 27/(-6)*2)?
False
Let f(k) = -14*k + 13. Is f(-14) a multiple of 11?
True
Let r(w) be the second derivative of 3*w**5/20 - w**4/12 + w**3/6 + w**2 - w. Suppose -x - 5*m = -0*m - 22, 26 = 3*x + 5*m. Is r(x) a multiple of 12?
True
Suppose 4*b + 0*b = -4. Let y be b - 0 - 4/4. Let x = y - -29. Is x a multiple of 8?
False
Let p = 32 + -4. Is p a multiple of 12?
False
Let k = -2 + 2. Let h(w) = -33*w + 15*w + 32 + 19*w. Does 17 divide h(k)?
False
Let w = 360 - 216. Does 18 divide w?
True
Let o(k) = k**3 - 15*k**2 - 14*k - 3. Is 13 a factor of o(16)?
False
Suppose 4*w = -d + 2*w + 35, -80 = -2*d + w. Let j = d + -7. Is j a multiple of 15?
False
Suppose 2*w = -4*d - 174, -3*w + 3*d - 208 = 53. Let m(r) = r**2 - r - 4. Let b be m(3). Is 14 a factor of w/(-6) + b/(-4)?
True
Let q(s) = 4*s + 3. Is 19 a factor of q(4)?
True
Let l = 136 - 44. Is l a multiple of 23?
True
Let i(f) = 10*f - 1. Let w(b) = -b**2 + 6*b - 3. Let y be w(5). Let m = 4 - y. Does 10 divide i(m)?
False
Suppose -2*p + 4*n + 24 = 0, -3*n + 0*n - 19 = -2*p. Suppose 6*f - 4*f = -k + p, 4*k + 8 = -4*f. Is 5 a factor of (77/(-21))/(2/k)?
False
Suppose 5*t - 4*v = 133 + 183, 4*t + v = 236. Does 20 divide t?
True
Let j = 121 + -9. Is 35 a factor of j?
False
Let h(d) = -4*d - 3. Let z(k) = -5*k - 4. Let i(t) = -6*h(t) + 5*z(t). Let r be i(-5). Suppose 4*l = 3*a + 92, -r*l + 72 = -a + 8. Does 10 divide l?
True
Let r be 12/4 - 1*-46. Suppose -2*o - o - 4*b + r = 0, 5*b = o - 29. Is 7 a factor of o?
False
Does 9 divide ((-14)/35)/((-2)/(-10))*-21?
False
Suppose m - 6*m = 0, -4*m = 4*t - 184. Does 3 divide t?
False
Let h(w) = w**3 + 10. Let n be h(0). Suppose n*z = 4*z + 198. Does 15 divide z?
False
Suppose -2*p = p + 9. Let q be ((-3)/2)/(p/(-20)). Does 7 divide (-66)/q - 12/(-30)?
True
Suppose 2*p - 13 = 5*n, -3*n + 48 + 31 = 5*p. Does 3 divide p?
False
Let q = 532 + -217. Is (8/5)/(14/q) a multiple of 21?
False
Is (-30)/((-9)/12 + 0) a multiple of 4?
True
Let y(r) = -9*r + 3. Does 11 divide y(-7)?
True
Suppose -2*c - 5 = m, -2*c = -m - 3*c - 3. Is -10*(2/5)/m a multiple of 2?
True
Let x = -4 - -8. Suppose x*b - 81 = 7. Does 11 divide b?
True
Is -4*(-2 - (-15)/20) a multiple of 2?
False
Let l(p) = -p + 17. Let d be l(13). Suppose d*y + 30 = 5*y. Is y a multiple of 15?
True
Is 376/9 + 4/18 a multiple of 21?
True
Suppose 0 = 4*x - 4*w - 12, 2*x + 13 = x - 3*w. Let a be 52*(0/(-2) - x). Suppose -3*d - a = -5*d. Does 9 divide d?
False
Suppose 4*q + 0*q - 8 = 0. Suppose -3*b + 274 = 4*g, -q*b + 445 = 3*b - 5*g. Does 30 divide b?
True
Suppose 5*b - 718 - 67 = 0. Suppose v = -0*v. Suppose v = -4*q + b + 35. Is q a multiple of 24?
True
Let i = 1 - -6. Let r(o) = 5*o**3 - o**2 - 15*o - 1. Let h(t) = -6*t**3 + 16*t + 1. Let a(v) = i*r(v) + 6*h(v). Does 14 divide a(-6)?
False
Suppose 0*b + 178 = 4*b + w, 0 = b + w - 46. Suppose 5*z - n - b = 0, -2 = z - n - 14. Is ((-3)/(-6))/(1/z) a multiple of 3?
False
Suppose -4*h = -6*h + 8. Suppose 0*o + 4*n + 39 = o, 0 = -h*o - 3*n + 61. Suppose 0 = l + 3*i - o, -4*l - i + 115 = -2*i. Does 14 divide l?
True
Let i(t) = t + 9. Let j be i(-7). Let y be (0 - j/4)*8. Does 13 divide (-123)/(-9) + y/6?
True
Let y = 229 - 163. Is 11 a factor of y?
True
Let z be (9/6)/(1/(-2)). Let y(j) = -163*j - 1. Let m be y(1). Does 14 divide (-1)/z + m/(-12)?
True
Let m = -58 + 181. Does 15 divide m?
False
Let p(d) be the third derivative of d**5/60 + d**4/3 - d**3/2 + 8*d**2. Is p(-11) a multiple of 10?
True
Let n(c) = c + 1. Let z(v) = 3*v + 1. Let a(s) = 4*n(s) + z(s). Is a(13) a multiple of 32?
True
Suppose 4*l = -5*f + 621, -3*f + 254 = -f + 3*l. Is 12 a factor of f?
False
Does 11 divide (-1 + 66/(-15))*-10?
False
Let z(j) = 11*j - 5. Let u(r) = 2*r + 2. Suppose 5*v - 15 = -5. Let p be u(v). Is 29 a factor of z(p)?
False
Let b be (-3)/(-2)*(0 - 8). Let x(n) = 2*n. Let t be x(-6). Is 15 a factor of (45/b)/(3/t)?
True
Let t(m) = 2*m - 3 + 0*m**2 - 2 + 2*m**2 + 0*m**2. Let h be t(-5). Suppose -h = -o + 12. Is 18 a factor of o?
False
Let k(b) = -b**3 - 2*b**2 - b - 4. Let r(j) = -4 + 12 - j + 2*j. Let u be r(-11). Does 8 divide k(u)?
True
Let w = 34 - 17. Suppose -4*d = -w - 3. Is d a multiple of 5?
True
Let d = 6 - 5. Is 10 a factor of 14 - 11 - (d + -28)?
True
Suppose -4*d = -2*b - 8, 2*b - 3*d = 6*b - 28. Suppose 0 = b*t + t - 155. Does 9 divide t?
False
Is (-252)/(-30) - 3/(-5)*1 a multiple of 5?
False
Is 15 a factor of (-54)/(-1) - (-1 - -1)?
False
Let p(y) = 9*y + 18. Is 15 a factor of p(13)?
True
Let y = -9 + 16. Suppose -y*g + 2*g = -55. Does 3 divide g?
False
Suppose 2*y = 2*m + 50, -3*m = -5*y - 5*m + 90. Suppose -y = -5*v + 3*v. Suppose -v + 43 = 3*t. Is t a multiple of 11?
True
Let u(h) be the third derivative of -h**6/120 + h**5/15 + h**4/24 - 10*h**2. Is u(-3) a multiple of 15?
True
Let j(c) = -c**3 - 5*c**2 - 6*c - 2. Let g(k) = -k**3 + 6*k**2 + 6*k - 2. Let x be g(7). Let o = 5 + x. Is 6 a factor of j(o)?
True
Is 33 a factor of (-2398)/(-55)*(-10)/(-4)?
False
Suppose -g + 59 = -5*l, -7 = 2*l - 1. Is g a multiple of 22?
True
Let w = -21 - -13. Does 15 divide ((-90)/w)/((-3)/(-8))?
True
Let y(m) = 6*m. Does 24 divide y(8)?
True
Let i be 1/(-3*(-3)/27). Suppose 5*n = v + 154, 8*n - 5*v - 170 = i*n. Is 13 a factor of n?
False
Is 1/(0 + 1/9) even?
False
Let n be (-3)/9 + 13/3. Let l(b) = b + 2. Let s be l(-2). Suppose s = 2*z, -5*f - n*z + 35 = -3*z. Is f a multiple of 4?
False
Suppose 0 = -0*k + k - 24. Let o = k + -20. Is o even?
True
Suppose -4*l = -3*l + 1. Let u = 0 + l. Is (-57)/(-6) - u/2 a multiple of 5?
True
Suppose 0 = -7*h + 5*h - 40. Let s = -10 - h. Is s a multiple of 10?
True
Suppose -3*f = f - 2*r - 30, 5*f = -4*r + 18. Suppose 0 = -c - 0*c. Suppose c - f = -w. Is w a multiple of 5?
False
Let b = 120 + -108. Is 6 a factor of b?
True
Let g be 2/(-2)*(-1 + 6). Let i(k) be the third derivative of -7*k**4/24 - 7*k**3/6 + 4*k**2. Is i(g) a multiple of 14?
True
Let t = 78 - 143. Let d = -46 - t. Is 12 a factor of d?
False
Is 17 a factor of 135*(4/(-10))/(-1)?
False
Suppose -3*f = -5*t - 73, -3*f + 11 = -2*f - 5*t. Is f a multiple of 7?
False
Let a(t) = 15*t + 31. Does 22 divide a(7)?
False
Suppose 2*b + b = 99. Let j = b + 2. Suppose 2*x - j = -3*x. Is x a multiple of 5?
False
Suppose -30 = -g - 4*x, -34 = -5*g + 3*x + 24. Is g a multiple of 6?
False
Suppose -a + 13 = -19. Does 4 divide a?
True
Suppose -4*s - 4*g = g - 6, 0 = 3*s - 2*g - 16. Is 21 a factor of 636/21 - s/14?
False
Let n be (-2)/(-4) - (-72)/16. Does 4 divide 7 - ((2 - 4) + n)?
True
Is (-5*9)/(0 + -1) a multiple of 9?
True
Suppose 608 - 140 = 3*w. Is 12 a factor of w?
True
Let p = 56 + -28. Is p a multiple of 6?
False
Is 628/9 + 2/9 a multiple of 10?
True
Let y be 2 - ((-1 - 0) + -24). Let t = y - 1. Is t a multiple of 10?
False
Let q(l) = -3*l**3 - 2*l + 1. Let v be (-4)/(-14) + (-30)/(-42). Let f be q(v). Is f/6 + (-128)/(-3) a multiple of 11?
False
Suppose 4*k + 36 = 2*z + 3*z, -5*k - 16 = z. Suppose z*c = 33 + 4