20. Is a a multiple of 4?
False
Let u be 3/(-2)*(-20)/6. Suppose -72 = -3*l + u*k, -l + 16 = -4*k - 8. Is l a multiple of 8?
True
Suppose -113*m + 110*m + 114 = 0. Does 33 divide m?
False
Suppose 2*x - 8 = 4*j, 12 = 3*x - 2*j + j. Suppose -5*b - 4*m = -176, 5*b - 2*m - 24 = x*b. Does 18 divide b?
False
Let k(u) be the first derivative of 2*u**3/3 + 7*u**2/2 + 7*u - 4. Is k(-5) a multiple of 10?
False
Let m = -2 + 1. Let i(r) = -7*r - 1. Let c be i(m). Suppose 0 = 4*k - 2*y - 114 + c, 2*y + 27 = k. Is 10 a factor of k?
False
Let b(i) = -i**2 - 14*i + 9. Is b(-9) a multiple of 15?
False
Let a(n) = n**2 - 3*n - 10. Suppose 29 = 3*c - s + 8, 6 = 2*s. Is 15 a factor of a(c)?
True
Let f(g) = -1 - 1 + 5*g + 4. Let v(t) = t. Let a(l) = f(l) + 6*v(l). Does 12 divide a(2)?
True
Is -3 - (1 + -21) - -3 a multiple of 10?
True
Let z = 66 + -44. Is 4 a factor of z?
False
Suppose -2*o - o + 72 = 0. Suppose 3*g + g = o. Suppose -46 = -2*a - g. Does 15 divide a?
False
Does 7 divide 226/10 + (-21)/35?
False
Is -5 + 1 + 53 + 2 a multiple of 17?
True
Suppose r = -5*q + 5*r + 60, -q - r = -12. Is q a multiple of 6?
True
Suppose -2*w = -6*w. Let r = w + 5. Suppose -5*k + 20 = 0, 0 = -g + r*g - k - 60. Does 13 divide g?
False
Let y(o) = 7*o + 32. Is y(9) a multiple of 11?
False
Let q = -14 + 28. Is 6 a factor of q?
False
Let p(q) = -q**2 + 7*q - 6. Let c be p(5). Let i(z) = 2*z**3 - 4*z**2 - 5*z - 2. Does 21 divide i(c)?
True
Let f(c) = -59*c + 1. Let n(l) = -2*l + 7. Let k be n(4). Is f(k) a multiple of 22?
False
Suppose -5*i + 20 = -0. Suppose -i*a + 3 = -0*v + v, 4*a - 4*v = -12. Suppose -2*c + k = -82, a = -2*c + 5*k + 53 + 37. Is 20 a factor of c?
True
Let x(v) = -v - 5. Let a be x(-12). Let y(f) = 9*f**2 - 3*f. Let m be y(2). Suppose -a*s = -2*s - m. Is 6 a factor of s?
True
Let k = 180 - -158. Is 13 a factor of k?
True
Let t = -132 - -225. Is 34 a factor of t?
False
Let l = 7 + -12. Does 17 divide (l/10)/((-2)/136)?
True
Is (604/8)/((-2)/(-4)) a multiple of 35?
False
Suppose 5*q + 12 = -18. Let p be (2 - -250)*(-3)/q. Suppose -5*v = -4*f - 94, 5*v + 7*f - p = 3*f. Is v a multiple of 16?
False
Is 30 a factor of ((-126)/35)/(3/(-150))?
True
Let h(f) be the third derivative of f**5/15 + f**4/4 - f**3/2 + 4*f**2. Is 10 a factor of h(-5)?
False
Let t = -29 - -65. Let y be ((-27)/12)/((-1)/t). Let v = y - 54. Is 14 a factor of v?
False
Let s(o) be the first derivative of o**3/3 - 5*o**2/2 - 6*o + 3. Let t be s(6). Suppose t = -c + 4*w - 6, c = -4*w - w + 30. Is c a multiple of 4?
False
Suppose 0 = -2*h - r - r + 8, -2*h + r - 4 = 0. Suppose -5*l + 85 = -h*l. Is 7 a factor of l?
False
Suppose 0 = p - 2*p - 21. Let k(b) = -39*b + 60. Let l(f) = -4*f + 6. Let q(m) = p*l(m) + 2*k(m). Is q(7) a multiple of 18?
True
Is 15 a factor of 42*(-3)/(30/(-25))?
True
Let p be (2/(-3))/(7/(-462)). Let d = -8 + p. Does 12 divide d?
True
Is 5 a factor of 10 + 3 + -1 + (2 - 0)?
False
Let t(f) = -f**3 + 9*f**2 - 8*f + 1. Let o be t(8). Is 3 + (4 - o)/1 even?
True
Let k = 21 - 17. Does 15 divide (90 + 0)/(6/k)?
True
Suppose -4*l + 5*c = l - 290, -2*l - 5*c = -151. Is 10 a factor of l?
False
Let y(m) = m**3 - m**2 - m + 4. Let d be y(0). Let f = d - 4. Suppose -6 = -2*u - f. Does 2 divide u?
False
Suppose 0 = -4*y + 5*y + 2*t - 135, 4*t = 3*y - 425. Is 12 a factor of y?
False
Let s be (2/(-6))/((-4)/(-12)). Let c be (-184)/(-4) - (s - 1). Suppose -2*o + c = 2*i, -4 + 12 = i - 3*o. Does 10 divide i?
True
Let u be ((-18)/8)/(6/(-16)). Let q(x) = 2*x**3 - 3*x**2 + 3*x - 17. Let f(d) = -d**3 + 2*d**2 - d + 8. Let y(m) = -7*f(m) - 3*q(m). Does 8 divide y(u)?
False
Let d(n) = -n - 6. Let p be d(-5). Is 5 a factor of 48/3 - (1 + p)?
False
Let z be -26*-3*(-3)/(-6). Let d = 32 + z. Let k = 119 - d. Does 16 divide k?
True
Let k(l) = -7*l - 7. Let f(d) = -133*d - 133. Let i(o) = -4*f(o) + 77*k(o). Let w be (-1)/10*66 + 6/10. Is 16 a factor of i(w)?
False
Let p be 55 + -3 + (0 - -5). Let u = p - 12. Is u a multiple of 15?
True
Let k = 16 - 8. Let x = 117 + -119. Is 7 a factor of (35/(-20))/(x/k)?
True
Let s be (14 - -6)*(-8)/5. Suppose -134 = -3*t + 5*g, -5*t = -3*t - 5*g - 81. Let c = s + t. Does 7 divide c?
True
Let p(r) = r**3 - 4*r**2 + 8*r + 5. Is 25 a factor of p(6)?
True
Suppose -6*n + 10 = -n. Suppose -3*f = 3*h + 2*h - 16, -2*f = -3*h + n. Suppose 6*z - f*j = z + 203, -3*z + 3*j = -129. Does 16 divide z?
False
Let y(s) be the third derivative of -s**5/30 - s**4/6 - s**3/3 + 2*s**2. Let a(w) be the first derivative of y(w). Is a(-7) a multiple of 13?
False
Suppose -c - 255 = -5*r + c, -5*r + 255 = 4*c. Does 17 divide r?
True
Let g = -4 - 4. Let o = g - -24. Does 8 divide o?
True
Is 1 - (3 + 405/(-5)) a multiple of 14?
False
Suppose y + y = 2*w + 4, w = 5*y - 22. Suppose 84 = -0*f + w*f. Suppose 2*c + 2*c = h + 38, -3*c + h + f = 0. Is c a multiple of 9?
False
Let r be (-6)/(-2)*(3 + -6). Let t be 12/r*(-9)/2. Does 12 divide 40/t*(-6)/(-2)?
False
Let b = -27 + -17. Let t(h) = -h**2 - h + 73. Let p be t(0). Let m = p + b. Does 18 divide m?
False
Let h = 57 + -39. Does 18 divide h?
True
Is ((-6)/(-4) - 1)*96 a multiple of 16?
True
Let w(i) = 3*i**2 + 3*i - 3. Does 11 divide w(-4)?
True
Suppose -4*x + b + 316 = 0, -x = -4*b - 47 - 47. Is x a multiple of 26?
True
Let w(u) = -2*u**3 + 4*u**2 - 3*u + 6. Let f(g) = -g**3 + 2*g**2 - g + 3. Let k(x) = 5*f(x) - 3*w(x). Is k(2) a multiple of 2?
False
Suppose 3*j = 5*t - 730, -2*j + 138 = t - j. Does 15 divide t?
False
Is 27 a factor of 26 + 2/(2 - 0/(-2))?
True
Does 39 divide -6*((-2065)/(-10))/(-7)?
False
Suppose -b + 20 = -0*b - d, 2*b - 28 = 5*d. Is 12 a factor of b?
True
Let q(z) = 2*z - 6. Let n be q(5). Suppose n*x - 51 - 17 = 0. Let k = x + -2. Is k a multiple of 11?
False
Let y(s) = s**3 - 5*s**2. Let w(x) = x**2 - 7*x + 5. Let i be w(7). Let f be y(i). Suppose 2*g = -3*v - 2*v + 175, f = -2*v - 3*g + 81. Is 16 a factor of v?
False
Let u = 217 + 155. Is u a multiple of 62?
True
Let a(z) = 4*z**2 + 2*z + 6. Is 50 a factor of a(-9)?
False
Is (-2)/(-1) + 93 + -4 a multiple of 23?
False
Let h = -178 - -253. Is 21 a factor of h?
False
Let n = 60 + 70. Is n a multiple of 18?
False
Let r = 2 + 0. Suppose 0 = -k + 3 + r. Suppose k*i - 59 = -14. Is i a multiple of 9?
True
Let s(g) be the first derivative of -g**5/20 - g**4/3 + g**3/3 - 3*g**2/2 - g + 2. Let n(j) be the first derivative of s(j). Is n(-5) a multiple of 6?
True
Let f(r) be the third derivative of r**6/120 + 3*r**5/20 + 7*r**4/24 - 5*r**3/6 - 3*r**2. Does 3 divide f(-8)?
True
Suppose -2*c + 24 = 3*i, -3*c + 2*i + 36 = -2*i. Does 12 divide c?
True
Suppose 0 = -5*b + 20, 3*q - 43 - 127 = 4*b. Is 34 a factor of q?
False
Let p(a) = 2*a - 2*a - a + 0*a - 4*a**2 - a**3 - 1. Does 2 divide p(-4)?
False
Suppose 3*q + 1 = 55. Is 88/(-6)*(-81)/q a multiple of 22?
True
Let h(a) = -a**3 + 20*a**2 - 16*a - 21. Does 9 divide h(19)?
True
Let a(n) = n**3 - 3*n**2 - n + 1. Let q be a(3). Let c be 62 - 0/(q/(-1)). Suppose 3*k + c = 5*k. Is k a multiple of 12?
False
Let b = 27 + -13. Suppose z + z = b. Suppose c = z + 4. Is c a multiple of 11?
True
Suppose -2*s + 1 = -s. Let r = s + 1. Is 6 a factor of 33*(-2)/(-6)*r?
False
Suppose -3*q + 47 = g, q = -g + 3*g - 73. Is 7 a factor of g?
False
Let n(l) = 12*l**2 + 3*l + 2. Let k = 7 - 8. Does 11 divide n(k)?
True
Suppose 0 = 3*x + 2*i - 100, 3*x + x + 2*i = 136. Is 12 a factor of x?
True
Let a be (-3)/5*(2 + -7). Suppose -a*v = -6 - 3. Is v even?
False
Suppose -5*a + 5*h - 1 = h, 2*h - 2 = 4*a. Let t = a - -7. Suppose t*l - 27 = 3*l. Is 9 a factor of l?
True
Suppose -2*w + 3*w = 4*j + 13, w - 17 = 3*j. Is 18 a factor of w?
False
Let t = 46 + -5. Is t a multiple of 3?
False
Let f(j) = 11*j + 0*j**2 + 4 - j**2 + 0*j**2 + 4. Is 12 a factor of f(7)?
True
Let t(l) = 10*l - 21. Is t(15) a multiple of 33?
False
Let a = -10 + 12. Suppose a*r - 4*s - 6 = 0, 4*r - s = s + 12. Does 4 divide (-2 - 0 - -3) + r?
True
Suppose -5*g + 3*w - 69 = 0, -3*g - 30 = 2*w + 19. Let r = -3 - g. Let y = -2 + r. Is y a multiple of 10?
True
Suppose -4 + 0 = -2*m. Let t(v) = 2*v**2 + 1 - v**m + 0. Does 10 divide t(-3)?
True
Suppose -y + 61 + 3 = 0. Is y a multiple of 16?
True
Suppose 3*c = 2*i + 3*i - 1822, -i - 2*c + 367 = 0. Is i a multiple of 30?
False
Let j = 318 + -190. Does 16 divi