 a multiple of 9?
True
Let h(u) be the second derivative of u**3/6 - 3*u. Let x be h(3). Suppose -x*l = -6*l + 30. Does 5 divide l?
True
Suppose 3*l - 792 = -l - 4*k, k = 2*l - 390. Is l a multiple of 7?
True
Suppose 2 + 6 = 2*x. Suppose -x*t + 1 = -3. Let f(k) = 12*k**2 - 2*k + 1. Does 11 divide f(t)?
True
Let l = -24 - -14. Let q = 22 + l. Let a = -8 + q. Is 4 a factor of a?
True
Let a(c) = -2*c - 22. Does 2 divide a(-15)?
True
Suppose -2*q - 285 = 5*n, 5*n = n - 4*q - 228. Let x = 90 + n. Is 14 a factor of x?
False
Suppose 0 = 2*r + 2 + 4. Let j be (-4)/r*(-3)/(-2). Suppose j*w = -w + 123. Does 14 divide w?
False
Let v(f) = -9*f**2 + 3*f - 3. Let k be v(2). Suppose 6*b = 10*b - 232. Let s = k + b. Does 9 divide s?
False
Suppose 4*x = -5*f + 389, 0 = -2*f + 6*x - x + 182. Does 9 divide f?
True
Let q = 34 + 6. Let g = q + -13. Let u = 51 - g. Does 12 divide u?
True
Suppose n = 5*n + 8. Let x be (-2)/(-1*(-1)/n). Suppose 4 + 16 = x*w. Is 5 a factor of w?
True
Suppose -13 = -5*d + 7. Suppose -120 = -d*o - o. Is o a multiple of 24?
True
Suppose o = -3*r + 56, -r - 32 = -3*r + 2*o. Is r a multiple of 4?
False
Let i = -39 - -72. Suppose -5*d + 94 = 4*r, 4*r + 5 = d - i. Is d a multiple of 11?
True
Suppose 3*z - z - 116 = 0. Is z a multiple of 10?
False
Suppose -4*a + 10 = -0*q + q, 0 = -5*a + 10. Does 2 divide q?
True
Suppose -5*u = -20, -2*p - 5*u + 4*u = -568. Is 47 a factor of p?
True
Let p(b) = 43*b**2. Let v be p(1). Let f be 7/4 - (-2)/8. Suppose -9 = f*o - v. Does 13 divide o?
False
Let o(m) = 7*m**2 - 4*m**3 + 1 + 1 - 4*m**2 + 3*m - m**2. Does 18 divide o(-2)?
True
Suppose -2*i + 31 = -21. Is i a multiple of 13?
True
Let h(o) = -2*o**2 + 33*o - 18. Does 2 divide h(15)?
False
Suppose -2*n + 2*u + 204 = -2*u, 2*n + 2*u - 210 = 0. Does 21 divide n?
False
Let g be (6/(-15))/(2/(-10)). Let d be (-474)/(-8) - (-2)/(-8). Suppose -3*f = -4*z - d, g*f - 57 = -z - 14. Is 10 a factor of f?
False
Let k(i) = 7*i + 4. Suppose 6*r = 5*r + 3. Suppose 15 + 3 = r*h. Is k(h) a multiple of 18?
False
Let m(z) = 71*z + 51. Is 19 a factor of m(6)?
False
Let t be 6/(1 + (-1)/4). Suppose z - t = -0. Let c = z + -2. Is c a multiple of 3?
True
Suppose -4*r - w + 147 = 0, r - 3*w = -2*r + 99. Is r a multiple of 29?
False
Suppose 0*r = 5*r + t + 4, 3*r + 5*t = 2. Let q be (0/2)/4 + 5. Is 10 a factor of r - (-5)/(q/22)?
False
Let f(a) = 61*a**3 + a - 1. Suppose 0 = 4*v - 5 + 1. Let w be f(v). Let g = 110 - w. Is 18 a factor of g?
False
Let x = 61 - 34. Let f = x + -87. Let b = f + 96. Is 18 a factor of b?
True
Let u(h) = -7*h - 2. Let c be 93/(-18) + 5/30. Is 13 a factor of u(c)?
False
Suppose 0*p = -2*u - p + 121, 181 = 3*u + p. Suppose 5*b - 6 = -2*q, 5*b - 3 = q - 2*q. Suppose -u = -0*y - q*y. Is y a multiple of 8?
False
Let o(c) = c**3 - 10*c**2 + 9*c + 4. Let x be o(9). Let v be ((-8)/10)/(x/(-10)). Suppose 34 - 3 = 4*b - 5*i, -4*b = -v*i - 22. Is 2 a factor of b?
True
Let v(c) = c + 9. Let r be v(-5). Suppose 5*f - 2*a = 8 + 10, r*f - 2*a = 16. Is 6 a factor of ((-44)/(-10) - f)*5?
True
Let m = 8 + -12. Let k(v) = v**2 + 2*v + 4. Is 6 a factor of k(m)?
True
Suppose 2*s = s - 4*j, 0 = 2*s + 5*j - 3. Suppose 0*v + 4*v - 2*o = 216, 0 = -3*v - 3*o + 180. Suppose -v - 92 = -s*r. Does 20 divide r?
False
Let r(z) = -z + 1. Let q(g) = -g**2 - 2*g + 1. Let s be q(-3). Is r(s) a multiple of 3?
True
Let y be ((-8)/10)/(2/(-170)). Suppose 4 = -n, 2*m + m + n = y. Is m a multiple of 12?
True
Suppose a = -5*c + 149, -a = -4*c - 6*a + 115. Does 15 divide (0 - (1 + -2))*c?
True
Suppose -3*p - 470 = -8*p. Does 25 divide p?
False
Suppose 0 = -3*g + 4*n + 4, 3*n - 1 = -2*g + 13. Let b(d) = d**2 + d + 1. Is b(g) a multiple of 6?
False
Suppose -2*l + 12*i - 8*i = -1028, -5*l = -3*i - 2556. Is l a multiple of 17?
True
Suppose -2*d = 2*z - 8, 16 = -5*z + 1. Is d even?
False
Suppose -46 + 208 = 2*u. Suppose 5*t - u - 64 = 0. Let s = t - 15. Is s a multiple of 5?
False
Suppose -3*d + 4 = -d. Suppose -d*i = -5*f - 171 - 201, 4*f - 4*i + 300 = 0. Does 5 divide 3/(-12) - f/8?
False
Let b = -74 - -144. Does 21 divide b?
False
Is (14/(-21))/(4/(-426)) a multiple of 18?
False
Let r be (-8 + 9)/(1/(-48)). Let p = -29 - r. Is p a multiple of 19?
True
Suppose -2*j - 16 = -3*j. Is 16 a factor of j?
True
Let f(w) be the first derivative of 1/3*w**3 + 2*w**2 + 4 - w. Is 9 a factor of f(4)?
False
Is 41 - (-3 - 0 - -4) a multiple of 7?
False
Let b = 34 - 24. Suppose -2*h + 5*w = -11, 4*w + 0 + b = 2*h. Suppose o = 4*l - 101, -h*o + 0 + 9 = l. Is 12 a factor of l?
True
Does 3 divide -2*(-3 + (-3)/6)?
False
Let d = 38 + -18. Does 21 divide d - 0 - 13/(-13)?
True
Suppose -h = x + 2, 4*x + 3*h + 5 + 1 = 0. Suppose 0 = 2*a - x*a - 8. Is (-2)/a*80/(-4) a multiple of 10?
True
Suppose -2 = 2*b - 3*b + 3*z, 0 = -z. Let y = b + 1. Is 3 a factor of y?
True
Let x(y) = y**3 + 8*y**2 - y - 3. Let g be x(-8). Suppose -d + 2*p = -81, g*d + 5*p - 654 + 174 = 0. Suppose 3*u - d = -28. Is 7 a factor of u?
True
Let h(j) be the first derivative of -j**4/4 - 7*j**3/3 + 4*j**2 + 12*j - 5. Is 12 a factor of h(-8)?
True
Let r(y) = y**2 - 4*y - 8. Let s be r(-7). Suppose -3*q - q + 3*n + 103 = 0, 3*q - 5*n = s. Is q a multiple of 7?
True
Let n(b) = -b**3 + 20*b**2 + 24*b + 2. Is n(21) a multiple of 10?
False
Is 44 a factor of ((-20522)/(-93))/(2/3)?
False
Let m(l) = -4 + l + 3*l + 6*l. Does 8 divide m(3)?
False
Let y be ((-5)/10)/((-1)/8). Suppose 0*w = -w - y. Does 13 divide 27/2 - w/(-8)?
True
Let a = -2 - -3. Let q be 2 + 0 + a*6. Let c = q - 5. Is c a multiple of 3?
True
Is 17 a factor of (48/(-4) + -5)/(-1)?
True
Let w = 22 - 13. Let c = -7 + w. Suppose 3*u = 5*i + c*u - 74, 3*i + u - 46 = 0. Is i a multiple of 4?
False
Suppose 5*f + 3*l = 301 + 239, -324 = -3*f + 3*l. Suppose m - p + 3*p - 28 = 0, 4*m + 4*p = f. Is 15 a factor of m?
False
Suppose -f + 4*r - 16 = 0, -5*f + 3*f + 33 = 5*r. Let p = 7 - f. Suppose -2 - 22 = -p*v. Does 4 divide v?
True
Suppose -5 = -3*i + 40. Is i a multiple of 4?
False
Let r(x) = -2*x**2 - x + 7. Does 7 divide r(0)?
True
Suppose -162 = -4*h + h. Does 27 divide h?
True
Is 8 a factor of (-1 - 1)/(8/(-164))?
False
Let z be 1/(-2) + 6/12. Suppose -3*m - 3 + 141 = z. Is 14 a factor of m?
False
Suppose -3*g - 16 = 4*f, -g - 9 + 1 = 2*f. Suppose 2*n = 3*n + 4*h - 1, g = -2*n + 4*h + 14. Is 5 a factor of n?
True
Suppose -4*t - 3*m + 8 = 0, -3*t - 25 = 2*t - 5*m. Let k be (t + (-4 - 1))/(-1). Is (33/k)/(2/4) a multiple of 5?
False
Let v = -285 + 537. Suppose 4*i = -76 + v. Let s = i + -4. Is s a multiple of 20?
True
Suppose w - t - 16 = -4*t, -4*w + 4*t = 0. Suppose -2*k + 3 - 1 = 0. Let g = w - k. Is g a multiple of 3?
True
Suppose y = 3*w + 23, -2*y - 6 = 3*w - 43. Does 10 divide y?
True
Suppose 3*a + 3*b - 261 = 78, 467 = 4*a - b. Is 20 a factor of a?
False
Does 7 divide 10/(((-575)/190 + 3)*-2)?
False
Let m(b) = -b**3 + 4*b**2 + 2*b - 2. Let n be 5/(-20) - 17/(-4). Is 3 a factor of m(n)?
True
Let h be (-2 - -2)/(0 + -1). Suppose -4*o + 15 = i, h = -i + 3*i + 3*o - 30. Does 5 divide i?
True
Let a(q) = 15*q + 19. Let w(g) = 8*g + 9. Let o(n) = -3*a(n) + 5*w(n). Is o(-8) a multiple of 14?
True
Let n(d) = 4*d**2 - 2*d - 1. Let u = 12 + -10. Is n(u) a multiple of 11?
True
Suppose 232 = 4*c + 4*s, -5*s + 12 = 2*c - 107. Let h = c + -39. Is h a multiple of 9?
True
Is 16 a factor of (-3)/(2 + 321/(-159))?
False
Suppose -115 = 4*d + 17. Let r = 66 + d. Is r a multiple of 11?
True
Let t(c) = c**3 + 5*c**2 - 4*c + 3. Does 10 divide t(3)?
False
Let r = 0 - -4. Suppose -r*w - w + h = -22, -2*w - 4*h = 0. Suppose w*i + 0 = 24. Is 6 a factor of i?
True
Suppose 0 = -8*d - 298 + 962. Is 14 a factor of d?
False
Suppose -b - 3 + 1 = 0, 0 = 2*q - 5*b - 172. Is q a multiple of 27?
True
Suppose 1 = -5*q + 16. Suppose 0 = c - 13 - q. Suppose -24 = -4*t + c. Does 3 divide t?
False
Let s be -1 + 7 + -1 + -1. Suppose -s = 2*b - 20. Does 8 divide b?
True
Let w be (1 - 1) + -5 + 24. Suppose -l - w = -5*d + 3*l, 3*l - 6 = -3*d. Suppose 2*y + d*y - 105 = 0. Is 11 a factor of y?
False
Let r be -1 + (-1 + 2 - 0). Is 1 + 0 + r + 10 a multiple of 11?
True
Let h be -7 + (-124)/(-16) - 10/(-8). Let l(a) be the second derivative of a**4/12 + a**3/3 - a. Does 8 divide l(h)?
True
Let k(z) = -3*z**3 - 2*z**2 - 3*z - 3. Let p be ((