-2)/4 - -2) a multiple of 9?
True
Let s(y) = -18*y - 2. Does 17 divide s(-2)?
True
Is (-134)/((-18)/15*(-5)/(-15)) a multiple of 51?
False
Let f(z) be the first derivative of -7*z**2/2 - 6*z + 2. Let m be f(-7). Let k = m - 28. Is k a multiple of 8?
False
Let r = -67 + 97. Is r a multiple of 22?
False
Suppose -4*p - r = -0*p - 9, 5*r - 9 = -2*p. Let k(w) = -p*w + w + 2*w + 20. Does 11 divide k(-9)?
True
Suppose 0 = -2*v - 5*n + 157, 3*v - 4*n = -0*v + 247. Is 11 a factor of v?
False
Suppose -2*y - 6 = -y + 5*h, h + 10 = 2*y. Is (5/3)/(y/36) a multiple of 7?
False
Let j(m) = -m**3 + 16*m**2 - m + 19. Is j(16) even?
False
Let g(l) = -l**3 + l**2 + 2*l + 4. Let c be g(-5). Is c/3*6/8 a multiple of 12?
True
Suppose 387 = 2*w - 107. Does 28 divide w?
False
Suppose 2*w + 21 = -11. Is (25/(-4))/(4/w) a multiple of 8?
False
Suppose 4*k - k - 9 = 0. Suppose 0*g + k*g - 30 = 0. Is 10 a factor of g?
True
Suppose -556 = -5*u - g - 0*g, 3*g = u - 108. Suppose -2*r = 5*l - u, 2*r = 3*l - 2*r - 77. Is 8 a factor of l?
False
Let n(c) = 10*c - 2*c**3 - c**2 - 5*c**2 - 6 + 3*c**3 - 2*c**2. Is n(7) a multiple of 11?
False
Let u(a) be the second derivative of a**4/12 - 7*a**3/6 - 3*a**2 + a. Let m = 31 + -22. Is 4 a factor of u(m)?
True
Let z = 10 - 16. Let g(w) = w**2 + 6*w + 8. Let c be g(z). Suppose -s - c = -2*s. Is s a multiple of 4?
True
Let a be (-4)/2 + (-15)/3. Suppose -c - b = -2*b - 24, -3*c - 3*b = -66. Let x = c + a. Does 6 divide x?
False
Let d = 6 + -3. Let r(l) = -5*l**2 + 10*l - 12. Let u(q) = 2*q**2 - 3*q + 4. Let j(w) = 2*r(w) + 7*u(w). Is 15 a factor of j(d)?
False
Let y(t) = -t + 44. Let s be ((-12)/(-4) - 3)/(-1). Does 11 divide y(s)?
True
Let j be (-6)/(-9) + (-92)/(-6). Suppose -5*b = 67 - 17. Let f = j - b. Is 13 a factor of f?
True
Suppose 4*q - 3 - 17 = 0. Does 4 divide q?
False
Suppose 0 = c + 7 - 3. Does 3 divide c/(-16) - (-31)/4?
False
Does 5 divide -2 + 16 - (-2)/2?
True
Let m(n) = -5*n**3 + 2*n**2 - 8*n + 8. Let h(w) = 6*w**3 - w**2 + 9*w - 9. Let j(o) = 4*h(o) + 5*m(o). Is j(4) a multiple of 10?
True
Let g = -98 - -49. Let t(z) = -81*z**3 - z**2 + 2*z - 1. Let j be t(1). Let a = g - j. Is 16 a factor of a?
True
Suppose 930 - 27 = 3*k + r, -k - 4*r + 312 = 0. Suppose -2*y = -7*y + k. Is 18 a factor of y?
False
Suppose -3*l = x - l - 39, 0 = -3*x + 5*l + 172. Is 16 a factor of x?
False
Suppose 3*z - 5 = -2*z. Let f be z*(-1 + 0) + 0. Let i(r) = -11*r. Is i(f) a multiple of 11?
True
Let m(l) = 38*l. Does 19 divide m(1)?
True
Let t(a) = -a**2 - 6*a + 1. Let i be t(-5). Let p = 4 - i. Let n = p + 10. Is n a multiple of 8?
True
Suppose 332 = 3*u - 43. Is 27 a factor of u?
False
Let c = -26 - -33. Is 3 a factor of c?
False
Let l = -2 + 2. Suppose l = -0*n - n + 59. Let x = n + -20. Is x a multiple of 16?
False
Let h(t) = 12*t - 54. Does 22 divide h(23)?
False
Let g(a) be the third derivative of a**5/30 + 5*a**4/24 + 2*a**3/3 + a**2. Is g(-3) even?
False
Suppose -u - 2*q = u - 10, 0 = -2*u + 5*q - 11. Suppose u*o = 6 + 8. Does 10 divide (-272)/(-28) + 2/o?
True
Is (272/(-10))/((-22)/55) a multiple of 17?
True
Suppose 0 = 2*u - 14 + 4. Suppose u*w = -0*w + 35. Let x(l) = l**3 - 7*l**2 + 5*l - 5. Does 13 divide x(w)?
False
Suppose -1 = -v - 5*t, 0 = -4*v - 4*t + 4. Let j = 1 - v. Suppose j = -2*y - 10, -4 = 3*p - 2*y - 23. Is p even?
False
Let s = 18 + -35. Let l = 71 + s. Is l a multiple of 18?
True
Let t(o) = -o + 49. Is t(12) a multiple of 37?
True
Let x = -67 - -186. Let b = -74 + x. Is b a multiple of 15?
True
Let q = -18 + 27. Is 3 a factor of q?
True
Let t = 10 - 13. Let y(m) = -m**3 - m**2 - 1. Is 9 a factor of y(t)?
False
Suppose 2*w = w + 12. Suppose -14 - w = -n. Is 13 a factor of n?
True
Let l = -53 + 33. Let w be l*(0 + 1*-2). Suppose 5*g = -0*g + w. Is g a multiple of 8?
True
Suppose 42 = n + 12. Does 10 divide n?
True
Suppose 2*i - 4*i = -54. Let m = -7 + i. Is m a multiple of 18?
False
Let x be 2/(-3) + 28/(-3). Is (-8)/x*(-90)/(-12) a multiple of 3?
True
Let f(m) = -m**2 + 16*m + 6. Is 23 a factor of f(9)?
True
Let y(d) = d**3 - 5*d**2 - 9*d - 6. Does 7 divide y(7)?
False
Let z = 155 + -84. Is z a multiple of 19?
False
Suppose 2*b - 60 = -4*t, -2*t + 46 = 2*t - 5*b. Let c be 66/t + 10/35. Suppose -7*h + 12 = -c*h. Is 6 a factor of h?
True
Suppose 3*z = -7*l + 2*l + 245, -5*z + 398 = -2*l. Is 20 a factor of z?
True
Let m(j) be the second derivative of -j**5/20 + j**4/6 + j**3/3 + 2*j**2 + j. Let h be -3 + 0 + (3 - 3). Is m(h) a multiple of 27?
False
Let t(w) = -w**2 - 8*w - 2. Suppose 2*g + 8 = -4. Does 5 divide t(g)?
True
Suppose 25*q - 20*q - 175 = 0. Does 7 divide q?
True
Suppose 0 = 5*g + 2 - 7, 3*y + 3*g = 12. Suppose -3*x - 4*a + 28 = 0, 2*x - y*a - 32 = a. Is 3 a factor of x?
True
Suppose 0 = 3*u + 2*u - 50. Suppose 0 = -3*b + f + 38, -4*f + f = -b + u. Is b a multiple of 11?
False
Let j = 438 + -278. Is j a multiple of 10?
True
Let r(d) = 14*d - 3. Let w(s) = -14*s + 2. Let f(c) = -5*r(c) - 6*w(c). Is f(3) a multiple of 16?
False
Let a(u) = -u**3 - 4*u**2 - 7*u + 5. Is a(-4) a multiple of 11?
True
Let z = -16 + 19. Does 2 divide z?
False
Let o(y) = y**2 - 6*y + 16. Is 15 a factor of o(8)?
False
Let w(y) = y**2 - 9*y + 13. Suppose -5*l + 2*g + 50 = 0, 2*g = -4*l + 3*l + 10. Is 5 a factor of w(l)?
False
Let g(u) = 2*u**2 - 7*u - 6. Let x = 5 + 1. Is g(x) a multiple of 15?
False
Let i(v) = v**2 - 5*v. Let t = 7 + -2. Let g be i(t). Suppose g*y = 5*y - 25. Does 4 divide y?
False
Suppose 5*b = -0*o + 3*o + 3, 0 = -o - 5*b + 19. Suppose d - 160 = -o*d. Is d a multiple of 16?
True
Let f(g) = -g. Let u(r) = -r**3 - r**2 - 3. Let x(b) = 4*f(b) + u(b). Suppose -15 = -0*p + 5*p. Is 7 a factor of x(p)?
False
Let w(i) be the third derivative of -5*i**4/6 + i**3/6 + 6*i**2. Does 21 divide w(-1)?
True
Let x(r) = -2*r + 3. Let f = 8 + -5. Let m be x(f). Is (m - 0/(-2))*-8 a multiple of 7?
False
Let f(z) = 2*z + 1. Let a be f(1). Suppose -2*t - 1 = t - 2*i, -2*i = a*t - 19. Suppose 6*q - 54 = t*q. Does 12 divide q?
False
Suppose 4 = -5*m + 19. Suppose -a = m*a. Let p(d) = d + 15. Does 8 divide p(a)?
False
Is 8 a factor of ((-2)/(-2) - -2)*16?
True
Let i = -181 - -253. Is i a multiple of 18?
True
Suppose 0 = 5*a + f + 65, -4*f + 2*f = -3*a - 39. Let x = -8 - a. Is x a multiple of 3?
False
Let t = -6 - -8. Suppose -t*w = 2*q + 2*q - 22, 5*w = -5*q + 55. Does 4 divide w?
False
Let r be (-1 + 1)/(-3 + 2). Suppose -5*c + 31 + 9 = -5*l, 3*c + 4*l + 4 = r. Suppose -4*v + 3*x = -45, 0*x + 39 = c*v - x. Is v a multiple of 4?
False
Let c(d) = -d + 3. Let j(x) = -3*x + 9. Let v(h) = -11*c(h) + 4*j(h). Does 9 divide v(-6)?
True
Suppose 5 = -g - 3. Let u = g - -6. Is 8 a factor of (-6)/u*42/9?
False
Let g(r) = 3*r**2 + 8*r + 5. Let j be g(-5). Suppose -a = -2*a + j. Is a a multiple of 17?
False
Let x(y) = -3*y - 3. Let o be x(3). Let m = -7 - o. Is 18 a factor of -95*1/m*-2?
False
Suppose 4 = -5*w + r, 2*r = 4*w - 2*r. Let g be 65/1 + w + 0. Suppose -g = -5*x + 41. Is 12 a factor of x?
False
Suppose -4*o + 8*o - 216 = 0. Is o a multiple of 18?
True
Let u = -4 - -4. Suppose 3*m - 141 = -2*v, 5*v + m - 320 = -u*m. Is v a multiple of 21?
True
Suppose -d - 5*b + 24 = -5*d, -4*b = 2*d - 14. Is 8 a factor of (2/d)/((-1)/4)?
True
Suppose -6*d + 11*d = 45. Is 3 a factor of d?
True
Let t = 72 - -6. Is t a multiple of 26?
True
Is (-24)/9*15/(-2) a multiple of 5?
True
Suppose -3*b = -2*b - 3. Suppose 2*y = 5*f + 64, 0 = -4*y + f - b*f + 104. Does 14 divide y?
False
Does 51 divide 6*(-125)/(-2) - -4?
False
Suppose -8 = 4*v + 5*i, 0*v = -3*v - i + 5. Suppose -6 = -x + 3*j, 3*x - v*j = -0*j + 30. Let b = x - 6. Is 6 a factor of b?
True
Suppose -y + 11 = -13. Is 6 a factor of y?
True
Let g = -29 + 11. Suppose -2*d + 7*d + 45 = 0. Let v = d - g. Is v a multiple of 3?
True
Suppose -2*t + t + 4 = 0. Suppose f = -t + 29. Does 22 divide f?
False
Let l(i) = -i + 1. Let t be l(2). Let y(x) = x**3 + x - 1. Let p(n) = -32*n**3 - n**2 + 6*n - 5. Let s(b) = p(b) - 6*y(b). Is 23 a factor of s(t)?
False
Let n be (-2 + (-2 - -2))*2. Let p = 0 + n. Is 12/5 - p/(-10) a multiple of 2?
True
Let c be 25*(-2 + (4 - 1)). Let y = -50 + c. Let l = 72 + y. Is l a multiple of 17?
False
Suppose 2*t + 2*t = -204. Let x = t - -87. Suppose 2*s - 2*l = -2*s + x, -s + 3 = l. Is 3 a fac