. Is r a multiple of 6?
False
Let l(r) = 7*r - 4. Suppose 0*s + 16 = s - m, 2*s = 5*m + 26. Suppose -o = 2*o - s. Is 19 a factor of l(o)?
True
Let v(i) = -i**3 - 6*i**2 - 5*i. Let s be v(-4). Let w = s - -69. Does 19 divide w?
True
Let g be (-23)/(-2)*(4 + -2). Let y = 37 + g. Suppose -y = -10*r + 5*r. Is 6 a factor of r?
True
Suppose -v = 2*v. Suppose -3*l + 49 + 59 = v. Is l a multiple of 12?
True
Suppose 3*a - 340 = -a. Is 11 a factor of a?
False
Let b be (-8)/(-12)*(-15)/(-2). Let l(p) = p**2 - 7 + b + 4*p + p. Does 4 divide l(-6)?
True
Suppose 0 = -5*k - 3*a + 174, 9*k - 3*a = 4*k + 186. Is k a multiple of 11?
False
Let c(s) be the second derivative of -s**3/6 + 9*s**2/2 + s. Is c(4) even?
False
Let y(j) = 3*j**2 - 8*j + 66. Does 19 divide y(6)?
False
Let l = -3 + 5. Suppose 0 = -l*a - 2*y - 3*y - 2, 0 = 3*a + y - 23. Does 3 divide a?
True
Suppose 2*g = l - 60, 2*g = -6*l + l + 360. Suppose -5*a + 0*a = -l. Let f = a + -4. Is 5 a factor of f?
True
Suppose -19*j + 23*j - 476 = 0. Is j a multiple of 17?
True
Let b be (-1)/(1/2 + -1). Let f(x) = -2*x**3 + 5*x**b - 4*x + x**3 + 2*x**2 + 1. Is 13 a factor of f(6)?
True
Suppose 4*p = -5*z + 3*p - 22, 2 = -2*z + 3*p. Is 24 a factor of 12/z + 3 - -29?
False
Let j(u) = u**2 + 11*u - 16. Let l(s) = -3*s**2 - 33*s + 47. Let a(i) = 11*j(i) + 4*l(i). Does 10 divide a(-11)?
False
Let o(u) be the first derivative of 3*u**2/2 - 7*u - 5. Does 14 divide o(7)?
True
Suppose 3*z + 752 = 7*z. Suppose 0 = c + 1 + 1. Is 20 a factor of (-1)/c + z/8?
False
Let k(s) = 46*s**2 - 4*s + 2. Is k(2) a multiple of 31?
False
Suppose y - 5*n = 4*y - 41, -4*y - 4*n + 44 = 0. Suppose -2*p + 9 = 15. Does 7 divide p/y + 408/21?
False
Let i(y) = 14*y - 17. Let f(r) = -7*r + 8. Let l(s) = 9*f(s) + 4*i(s). Is l(-3) a multiple of 25?
True
Is 16 a factor of (-294)/(-9) + (-2)/3?
True
Let x = 83 - 31. Does 13 divide x?
True
Let n(b) = 3*b**2 - 3*b - 13. Does 9 divide n(5)?
False
Suppose -30 - 75 = -7*u. Does 3 divide u?
True
Let u = 96 + -69. Does 9 divide u?
True
Let c(g) = -6*g**2 - 3*g - 7. Let u(p) be the second derivative of 5*p**4/12 + p**3/2 + 3*p**2 + p. Let o(l) = -6*c(l) - 7*u(l). Does 12 divide o(-3)?
False
Let l = -34 + 72. Does 19 divide l?
True
Suppose 2*q + 118 = 4*q. Does 7 divide q?
False
Let w = 26 + -27. Let f = 9 + w. Is f even?
True
Let b(h) = h**2 + 2*h - 8. Let v be b(-12). Let l = -70 + v. Is 16 a factor of l?
False
Suppose 4 = -3*g - 3*a - 5, -g - 5*a = 19. Suppose 0 = -2*l - g - 3, -4*l + 1 = z. Does 5 divide z?
False
Let z(f) = 16*f + 1. Let h be z(-1). Let w be ((-294)/h)/((-3)/15). Let q = -49 - w. Is 15 a factor of q?
False
Let r = 5 + -3. Suppose 3*j - 52 = -r*i - 14, 3*i - 59 = -4*j. Does 13 divide i?
False
Let a(c) = -11*c**3 - 9*c**2 - 12*c - 20. Let n(m) = 4*m**3 + 3*m**2 + 4*m + 7. Let f(h) = 6*a(h) + 17*n(h). Is f(4) a multiple of 16?
False
Let i = 79 - -13. Is i a multiple of 23?
True
Suppose 270 = s - a + 2*a, 3*s - 810 = 2*a. Does 45 divide s?
True
Does 5 divide 4/6 - 580/(-30)?
True
Suppose 0 = -4*q - 33 - 55. Does 4 divide (q/4)/(1/(-2))?
False
Suppose -17*s + 450 = -7*s. Is s a multiple of 9?
True
Suppose 3*r + 80 = 5*r + 2*u, 3*r = -u + 124. Let n(s) = -3*s - 24. Let k be n(-10). Suppose -r = -2*t - k. Does 18 divide t?
True
Let b = -11 + 27. Is 8 a factor of b?
True
Suppose s + 11 = -1. Does 12 divide (s*1)/(2/(-4))?
True
Suppose 4*p + q = 23, 7 = 5*q - 8. Suppose p*i - 206 = 34. Does 12 divide i?
True
Suppose -22*w + 1739 = -3233. Does 26 divide w?
False
Let m be 6/3 - (3 + -1). Suppose -4*t + m + 56 = 0. Is t a multiple of 14?
True
Let s(w) = 19*w**3 - w**2 - 4*w - 4. Let v(a) = -19*a**3 + a**2 + 3*a + 3. Let b(j) = -3*s(j) - 4*v(j). Does 18 divide b(1)?
True
Let r = -1 - -5. Suppose r*n = -0*n - 180. Does 14 divide 4 - (1 + 0) - n?
False
Suppose -2*b - 88 = -6*b + g, 0 = 2*g. Let f = b + -4. Does 7 divide f?
False
Suppose -3*f + 5*s + 220 = 2*f, -36 = -f + 5*s. Suppose 3*i + 3*o = -i + f, -i + 2*o = -6. Is i a multiple of 10?
True
Let c = -15 + 25. Let l(g) = 2*g + 20. Is l(c) a multiple of 18?
False
Let r(c) = 3*c**2 + 3. Suppose a - 5*w = -17, w = -4*a + a + 13. Is r(a) a multiple of 7?
False
Let o(x) = -21*x + 10. Does 32 divide o(-7)?
False
Let j(f) = -6*f**3 + 2*f**2 + 4*f - 2*f + 0*f. Does 18 divide j(-2)?
False
Let s(w) = -2*w + 16. Suppose 8 = 3*x + x - 2*j, -5*j = -4*x + 20. Is 4 a factor of s(x)?
True
Let m = -186 + 267. Is m a multiple of 9?
True
Let s(m) = -m + 28. Is s(10) a multiple of 9?
True
Let p be (0 - (-10)/(-4))*2. Let m(d) = -d**2 - 6*d - 2. Let b be m(p). Suppose 0*i = -b*i + 18. Is i a multiple of 5?
False
Suppose -6*q + 3*q = -204. Suppose -3*c = -c - q. Is 17 a factor of c?
True
Let o(w) = -5*w - 17. Is 6 a factor of o(-7)?
True
Suppose 34 = 3*l + 5*o, -2*o + 1 = -l - 2*l. Suppose -l*r = -39 - 45. Does 10 divide r?
False
Suppose 0*k - 2*f = -3*k + 17, 28 = 5*k - 3*f. Suppose k*v - 130 = 3*s, 2*v - 78 = -v + 4*s. Let m = v - 4. Is 11 a factor of m?
True
Let z(v) be the third derivative of v**5/60 - v**3/3 + 2*v**2. Is z(-5) a multiple of 8?
False
Let m(r) = 2*r + 1. Let t be 62/8 + 1/4. Suppose -3 = w - t. Does 5 divide m(w)?
False
Let g(s) = 5*s - 1. Let q be g(6). Suppose -3*f = t + q - 99, 5*t = -f. Is f a multiple of 7?
False
Let z = -55 - -94. Does 18 divide z?
False
Let o = 8 + -8. Suppose o*a + a = 11. Is 11 a factor of a?
True
Let s(g) = -2*g**2 - 4*g + 6. Let f be s(-5). Let t be f/(-14) + 4/14. Suppose -t*l + 4*b = 12, -b = -2*l - 3*l + 15. Is l a multiple of 3?
False
Suppose -4*x + 7 - 19 = 0. Let o(u) = -u**2 - 4*u + 4. Let i be o(x). Suppose -5*l + 3*g + 84 = 0, 2*g + 15 = 2*l + i*g. Is l a multiple of 15?
True
Suppose 143 = 2*p + 23. Does 14 divide p?
False
Is (-2)/4 - 159/(-6) a multiple of 13?
True
Let n be 52/6 + (-6)/9. Suppose -d = -n - 7. Is d a multiple of 15?
True
Let l = -16 + 11. Let j = 17 + l. Is 6 a factor of j?
True
Let p = -6 - -38. Suppose -4*h - p = -100. Is 17 a factor of h?
True
Let i = 337 + -170. Is 28 a factor of i?
False
Let q(j) = j**2 + 4*j - 9. Let s be q(-8). Suppose 3*n + 5*d - s = 2*n, -d = 4*n - 54. Is n a multiple of 12?
False
Let y = 94 - 1. Does 6 divide 2/(-7) - y/(-7)?
False
Let s(w) = -w**2 + 4*w + 3. Let i be s(4). Suppose -z + 1 + i = 0. Is z/(-6) + (-186)/(-9) a multiple of 10?
True
Let p be (-4)/(-12) - 2/(-3). Let c(j) = -24*j**2 - j. Let a be c(p). Let w = a - -37. Is w a multiple of 12?
True
Suppose -12*x = -11*x - 76. Is 19 a factor of x?
True
Let n(m) = 30*m**2 + 11*m - 3. Does 13 divide n(-3)?
True
Suppose 3*p - 52 = 35. Is p a multiple of 5?
False
Let q = -134 + 187. Is 12 a factor of q?
False
Let o(p) = 7*p + 60. Is 32 a factor of o(-4)?
True
Suppose 4*n + 8 = 0, -4*k + 3*n - 5 = -11. Suppose 4*c - 3*c = k. Suppose 5*y = -m - 0*m + 20, -y - 2 = c. Is 15 a factor of m?
True
Suppose 5*o - 22 = 8. Suppose 5*t = o + 4. Suppose 3*r = t*r + 21. Is 12 a factor of r?
False
Suppose 46*g = 45*g + 108. Does 25 divide g?
False
Let d = 129 + -92. Is d a multiple of 25?
False
Let w(l) = -2*l - 1. Let q(f) = -11*f + 17. Let r(o) = q(o) - 5*w(o). Suppose 2*c = -a, -3*c = -0*c - 5*a. Is 12 a factor of r(c)?
False
Suppose -5*a - 2*t = -291, 11 - 53 = -a + 5*t. Is a a multiple of 15?
False
Let b(s) = 3*s + 3. Let g(z) = 13 + 2*z - 3*z + 0*z. Let i be g(9). Is 8 a factor of b(i)?
False
Let c = 136 - 93. Is c a multiple of 4?
False
Let x be (-9)/(-6)*-2 + 5. Let a = x + -6. Is 6 a factor of 10/(-8)*(a - 4)?
False
Suppose 0*j + 78 = j. Is j a multiple of 13?
True
Suppose 2*k = -r - 33, -2*k - 141 = -r + 6*r. Let w = r + 66. Is w a multiple of 13?
True
Suppose b + 5*s = -0*s - 25, 0 = -4*b - 4*s - 20. Let l be (-13)/(1 + b) - -3. Is (-21 + 0)/(15/l) a multiple of 5?
False
Suppose 3*c - 48 = -0*c. Does 4 divide c?
True
Suppose 8*k - 119 - 169 = 0. Does 18 divide k?
True
Let d be 9/12*2*2. Suppose 0 = d*n - 4*n + 4. Suppose 5 - 42 = -2*u + 5*l, -n*u - 4*l = -88. Is u a multiple of 10?
False
Suppose -r = -4*i - 2, -2*r + i + 0*i = -39. Is 13 a factor of r?
False
Let m(y) = 6*y**2 + y - 2. Let z be 1*5 + -12 + 9. Is m(z) a multiple of 24?
True
Suppose -22 = -3*h + 14. Is 3 a factor of h?
True
Let x be -2 + (-2 - (-5)/1). Let a(b) = 7*b - 1. Is a(x) a multiple of 3?
True
Let t = -4 - -9. Suppose -t = -3*w + 4. Is 2 a facto