 - 8*d**2 + 6*d - 13. Let m = 3 + -12. Does 8 divide s(m)?
False
Let d(a) = 3*a**3 - 18*a**2 + 18*a - 29. Let z(q) = 2*q**3 - 12*q**2 + 12*q - 19. Let o(i) = 5*d(i) - 8*z(i). Let t be o(5). Does 5 divide t/(-7) + 428/28?
True
Suppose 14 = -5*j - 1. Let t(o) = o**2 + 2*o + 3. Let s be t(j). Let a = s - 3. Is a a multiple of 3?
True
Let v(k) = 5*k**3 - 12*k**2 + 13*k - 1. Let d(j) = 11*j**3 - 25*j**2 + 27*j - 2. Let c(w) = 4*d(w) - 9*v(w). Is 5 a factor of c(6)?
False
Suppose 18 = 2*y + 2*q + 2*q, 5*y - 5*q = 0. Let b be (-4 + 1)*(-2)/y. Suppose 0*v + 198 = 4*m - 2*v, -m + 62 = b*v. Does 19 divide m?
False
Suppose -4*m = -5*b + 33, -8*m - 30 = -3*m - 4*b. Let r(q) = -4*q**3 - 2*q**2 - 1. Is r(m) a multiple of 12?
False
Let p(m) = m**3 - 6*m**2 + m. Let t be p(6). Let l(i) = -3*i**2 - 8*i - 7. Let c be l(-5). Is c/(-4)*4/t a multiple of 3?
False
Let o(n) = n**3 + 10*n**2 - 12*n - 5. Let f be o(-11). Let s = 45 - f. Does 13 divide s?
True
Let v = 7 + -2. Suppose 3*n = v*n. Suppose 5*s = -n*s + 20. Is 2 a factor of s?
True
Suppose n - 6 - 12 = 0. Does 18 divide n?
True
Suppose -2*h + 0*h + 5*c - 19 = 0, -2*c - 2 = 0. Let g = -7 - h. Suppose g*v = 2*v + 162. Is v a multiple of 18?
True
Let a be ((-182)/35)/((-1)/5). Suppose 0 = -f + 3*d + a, -3*f = -0*d + 3*d - 42. Is 11 a factor of f?
False
Let k = 97 - 46. Is 17 a factor of k?
True
Let n(o) = -2*o**2 + 54*o + 16. Is n(25) a multiple of 14?
False
Suppose 0 = -3*o - 2*o + 150. Does 15 divide o?
True
Does 33 divide ((-2)/5)/(7/(-840))?
False
Suppose h = -2*o + 140 - 55, 5*o - 4*h - 219 = 0. Does 6 divide o?
False
Suppose -4*q = -5*m - 31, 5*m + 25 = 4*q + 2*m. Suppose -y = -5*d + 211, -4*d - q*y + 132 + 56 = 0. Is 10 a factor of d?
False
Suppose 3*v + 4 + 11 = 5*c, 0 = -3*c - 4*v + 38. Let p = c - -4. Suppose -44 = -3*r + p. Does 6 divide r?
True
Let i = 17 + -43. Let u = i + 17. Is 19 a factor of 4/(-18) - 335/u?
False
Let z(p) = 13*p**3 - p**2 + 2*p - 2. Is 12 a factor of z(1)?
True
Suppose -w + 2*w = 0. Suppose 2*c - 22 = -w*c. Is 6 a factor of c + -2 - (3 + -4)?
False
Let j(z) = z**3 - 2*z**2 - 11*z + 5. Is j(5) a multiple of 25?
True
Let n be (74/(-4))/((-2)/4). Let m be ((-60)/25)/(-3)*5. Suppose -n - 23 = -m*t. Is 4 a factor of t?
False
Suppose 0 = 8*c - 157 - 67. Is c a multiple of 28?
True
Let g be 2/3 + (-28)/(-3). Is 23 a factor of (7/(-2))/((-1)/g)?
False
Let b = 34 + -24. Let u be 15/b + 3/2. Let w = 2 + u. Is w a multiple of 5?
True
Let q(s) = 6*s + 169. Is q(0) a multiple of 13?
True
Let q(u) = u**2 + u. Let c(o) be the third derivative of o**5/60 + o**4/6 - 2*o**2. Let j be c(-5). Is 13 a factor of q(j)?
False
Let p be (0 - -3) + (24 - -7). Suppose -p = -2*k + k. Is 14 a factor of k?
False
Suppose 29 = 3*b - 4*d, -b + 4*b + d = 19. Suppose -t + b + 5 = 0. Is t a multiple of 9?
False
Let v = -32 - -164. Is v a multiple of 5?
False
Suppose -h = h - 40. Suppose 0 = -2*i + 3*p + 29 - 4, 2*i + 2*p - h = 0. Is 11 a factor of i?
True
Suppose d + 0*d - 27 = 0. Let m = -11 + d. Let o = m - -1. Does 17 divide o?
True
Let n = -37 + 57. Suppose 3*d + n = 4*d. Is 20 a factor of d?
True
Let b(o) = 2*o + 3. Let j be b(4). Suppose -5*l - j + 66 = 0. Suppose 5*f + 21 + l = c, -c = 2*f + 3. Is c a multiple of 3?
False
Suppose 5*a = -4*n + 431, -2*n + 257 = -a + 4*a. Suppose -2*q + 106 = -0*q. Let d = a - q. Does 15 divide d?
True
Let c = -26 + 374. Suppose -4*q - 8 = -c. Suppose -q = 5*b - 10*b. Does 9 divide b?
False
Suppose 162 = t - 50. Is 53 a factor of t?
True
Suppose -7*g + 381 = -151. Does 8 divide g?
False
Let o(t) = 7*t - 9. Let x(i) = -15*i + 19. Let l(u) = 5*o(u) + 2*x(u). Let y be l(7). Let j = y - 11. Is 11 a factor of j?
False
Let v = 11 + 2. Is 13 a factor of v?
True
Suppose -4*b + b = -297. Is b a multiple of 12?
False
Suppose -3*w + 2*w - 63 = 2*p, -4*w - 2*p = 282. Let o = w + 121. Suppose o = 2*l + l. Is 16 a factor of l?
True
Suppose -6*x = -9*x + 99. Suppose 5*p + x - 203 = 0. Does 17 divide p?
True
Let g be 7 + -5 + (2 - -1). Does 12 divide (96/40)/(1/g)?
True
Let f(c) = -27*c**3 - 1. Let y be f(1). Let x = y + 66. Is x a multiple of 10?
False
Let k = 3 + 0. Let o = 42 - k. Is 13 a factor of o?
True
Let m be 46*2*(-2)/(-8). Suppose 3*y = 2*u + 6, -6*y + u = -y - 10. Suppose y*g - 3 - m = 0. Does 13 divide g?
True
Let w be 30/4 + 2/4. Suppose s + 4*p = -2*s + 20, -4*p = -w. Suppose 5*t - s*b - 109 = 0, 3 = b + 4. Does 14 divide t?
False
Let v = -3 - -5. Suppose -2*q - 96 = -v*j, -3*q + 4 = -q. Is j a multiple of 20?
False
Suppose -2*i = -0*i - 42. Does 6 divide i?
False
Does 14 divide (-2 + 10/4)*132?
False
Let j be (5 + -2)*(-4 - -13). Let f = j - -59. Suppose -5*c + 23 = 4*n - f, 4*n - 89 = -c. Is n a multiple of 18?
False
Let z(g) = -g**2 + 8*g + 11. Let o be z(9). Suppose 4 = o*p, 5*r = -p - p + 189. Does 13 divide r?
False
Suppose 2*f = f. Let o be f/((-5)/((-15)/(-6))). Suppose o = 2*l - 4*l + 8. Does 4 divide l?
True
Let g = 2 + -7. Let z = g - -45. Is 14 a factor of z?
False
Let l(p) = -47*p + 2. Is l(-2) a multiple of 16?
True
Suppose 3*w - 16 = -5*v + w, -3*v = w - 10. Suppose -v*m + 3*m + 26 = r, r = 3*m - 62. Is m a multiple of 22?
True
Let y(k) = -k**2 - 7*k + 4. Let m be y(-7). Suppose 3*n + 4*h - 48 = -17, m*h - 11 = n. Does 2 divide n?
False
Let x be ((-24)/(-15))/(6/15). Let w = x + 32. Is 12 a factor of w?
True
Let n be 294/15 + 2/5. Let w = n - 14. Is w/21 + 313/7 a multiple of 15?
True
Let m(g) = 37*g**3 + g**2 - g + 1. Let p be m(1). Suppose -z + 0*z = -p. Does 10 divide z?
False
Let p = -3 - -7. Suppose -4*i - m + p*m + 178 = 0, -3*i = 2*m - 125. Is i a multiple of 12?
False
Suppose -2*i = 2*q + 5 - 21, -q + 29 = 4*i. Suppose -6 = -2*s + w, i = 3*s - 0*s - 2*w. Is s even?
False
Suppose -o + 5 = 2. Suppose 2*l + o*l = -30. Let i(f) = f**2 + 5*f + 9. Does 5 divide i(l)?
True
Let d(g) = -g**2 - 16*g - 4. Let q be d(-9). Suppose -3*u - q = -2*h - 6*u, 2*u - 6 = 0. Is 9 a factor of h?
False
Let l = -5 + 5. Suppose 37 = -2*f - 5*a, -21 = -l*f + f + 3*a. Is 10 a factor of 26*(2 + f/4)?
False
Let i = 8 - 4. Let d be (-8)/((i/(-1))/2). Does 17 divide ((-25)/d)/(2/(-8))?
False
Suppose -3 = -f + 5. Let z = 26 - f. Does 9 divide z?
True
Suppose -2*i = 5*c - 125, -5*c + 100 = -0*c - 3*i. Does 7 divide c?
False
Suppose -h = -3*h - 8. Is 19 a factor of (-2 + (-141)/12)*h?
False
Let y(k) = -k**3 + 7*k**2 - 4*k + 15. Is y(6) a multiple of 27?
True
Let y be (-14 + 1 - 1) + 0. Let w = y + 59. Is 14 a factor of w?
False
Suppose 3*k - 12 = 9. Is k a multiple of 2?
False
Let t be 644/(-6) + 2/6. Let h = -62 - t. Does 12 divide h?
False
Suppose 4*x = -10*x + 868. Is 31 a factor of x?
True
Let i(f) = 4*f**2 - 2*f. Suppose p - 3*v - v = 11, -4*p - 5*v - 19 = 0. Let r be -2*(0 + p)/(-1). Is i(r) a multiple of 9?
False
Let u(m) = m**2 - 8*m + 14. Is u(12) a multiple of 13?
False
Let d(n) = 2*n**2 - 10*n + 8. Let s be d(6). Suppose j = -j + s. Does 11 divide (-6)/(-4) - (-265)/j?
False
Let i = 182 + -102. Suppose 2*w - i = -0*w. Let q = w - 29. Is q a multiple of 11?
True
Let s(a) = -a**3 - a - 41. Let q be s(0). Let y = -28 - q. Let j = y + -7. Is 6 a factor of j?
True
Let x be 4/(-3)*45/(-6). Suppose -260 = -4*m - 2*h, -x = 2*m + 3*h - 136. Is 27 a factor of m?
False
Suppose 5*a + 0*a + 4*d - 172 = 0, 2*a + 5*d = 79. Is a a multiple of 16?
True
Let l = -54 + 3. Let q = l + 107. Is 15 a factor of q?
False
Let c(y) = -y**2 + 7*y - 4. Let m be c(6). Suppose d = 3*z - 0*z - 14, z - m*d - 8 = 0. Is z even?
True
Let t(n) = 57*n**2 + 2*n + 1. Let p be 1/(-1) - (1 - 1). Is t(p) a multiple of 14?
True
Let r(l) = -l**3 - l. Let m(k) = -4*k**3 - 5*k**2 - 4*k - 1. Let v(b) = -m(b) + 3*r(b). Suppose -5*n = -5*f + 5, -13 = 2*f + n + 2*n. Is v(f) a multiple of 10?
False
Let j(f) = -7*f**3 - 2*f**2 - f**3 + 3*f**3 + 2*f. Is j(-2) a multiple of 6?
False
Suppose 2*r + p - 217 = 0, 2*r + 31 - 268 = -5*p. Does 31 divide r?
False
Let g(q) = q**3 - q**2 - q + 8. Let s be g(0). Suppose -3*o - s = -4*a, 0 = 2*a - 3*o + 2 - 12. Let i(d) = -25*d**3 + 2*d**2 - 1. Does 10 divide i(a)?
False
Suppose 0 = -4*g + 3*g + z + 102, 0 = 2*z. Is g a multiple of 22?
False
Suppose 0 = 5*p - 88 - 167. Is p a multiple of 4?
False
Let c(t) = 5*t**2 - 9*t + 6. Is 29 a factor of c(5)?
False
Let z be (-2)/(-4)*(11 - -1). Let 