 7*b(o). Is d(-3) a multiple of 5?
True
Let c be (-48)/18*18/(-4). Suppose -8*t = -c*t + 436. Does 23 divide t?
False
Suppose 0 = i - 2*i + 4*i. Let h = i + 105. Is 15 a factor of h?
True
Let q(i) = i**3 + 5*i**2 + 14. Let p be q(-6). Let f = 223 + p. Is f a multiple of 12?
False
Let m = 38 + -20. Is 2 a factor of m?
True
Let b = -5 + 23. Suppose 6 = p - b. Does 3 divide p?
True
Let x = -5 + 13. Suppose -4*g - 37 = -5*a, a + 4*g + g = -10. Let o = x - a. Is 3 a factor of o?
True
Let w(r) be the third derivative of 0*r + 0 - 2*r**2 - 1/6*r**3 + 1/15*r**5 - 1/120*r**6 + 7/24*r**4. Is 6 a factor of w(5)?
False
Suppose -2*g + 6 = -2. Suppose 3*y - 9 = 3*l, 14 = -0*l - 2*l + g*y. Is 10 a factor of l + 49 - (-2 - -6)?
False
Let y = 57 - 71. Is y/63 - 4272/(-27) a multiple of 12?
False
Is (-5 - (4 + -6)) + (-142)/(-1) a multiple of 7?
False
Is 14 a factor of ((-27)/(-6))/((-12)/(-784))?
True
Let o be (-3 + 7 + 2)/1. Is ((-7)/147*o)/((-1)/7) a multiple of 2?
True
Does 32 divide 194293/132 - (-2)/24?
True
Let f = 1099 - 599. Does 20 divide f?
True
Let p be 1/(-2 - (-3)/2). Is 229/7 + p/(-7) a multiple of 9?
False
Let g(p) = p + 8. Let a be g(-4). Suppose a*q - 2*m = 14, -2*m - 7 = -2*q - 3. Is q a multiple of 3?
False
Suppose 3*s + 2*m = 422, 3*m - 268 = -2*s - m. Let t(k) = 2*k**2 - 3*k + 4. Let n be t(1). Suppose -j + 6*j + 4*b = 180, 4*j = n*b + s. Is j a multiple of 18?
True
Let w = -55 + 39. Let y be -3*(0 + w/3). Is y/3*(-15)/(-2) a multiple of 20?
True
Let f(h) = 10*h**3 - 10*h**2 + 3*h - 8. Does 22 divide f(5)?
False
Let q be -3 + -1 + 1 + -3645. Does 11 divide (-2)/6 - q/36?
False
Let c(b) = 47*b + 18. Is 12 a factor of c(6)?
True
Is ((-1524)/3 - -1)*(-8)/12 a multiple of 13?
True
Let v(o) = o**2 - 10*o + 3. Let h be v(10). Is (-8)/6 - (-121)/h a multiple of 15?
False
Suppose 103 + 30 = -19*j. Let d(b) = b**2 - 6*b + 0*b - 5 + 3*b. Is 13 a factor of d(j)?
True
Let i(m) = -m**3 + 12*m**2 - 22*m + 25. Let a be i(10). Suppose 2*k - 252 = -a*k. Is 12 a factor of k?
True
Suppose 14*j - 41475 = -11*j. Does 31 divide j?
False
Suppose -4*m + 78 = y - 74, -2*y - 5*m = -310. Is 8 a factor of y?
True
Suppose -394 = -2*t - 2*g, 0 = -9*t + 8*t + 5*g + 191. Is t a multiple of 52?
False
Let u = -78 + 91. Does 3 divide u?
False
Let y = 7 + -2. Suppose 0 = y*a - a + 116. Is 16 a factor of 5 - (1 + 1) - a?
True
Let y(z) = -16*z - 9. Let b be y(2). Let o = b - -119. Is o a multiple of 6?
True
Let j(q) = -2*q**2 - 10 - 6*q + 3*q**2 + 3*q + 14. Let g be j(6). Is 11 a factor of 11/g*22/1?
True
Let v(g) = 142*g + 73. Is 32 a factor of v(4)?
False
Let h = -44 - -36. Does 12 divide (3 - 98/h)*8?
False
Suppose 689 = 3*o - 55. Suppose 0*v + o = 4*v. Is 21 a factor of v?
False
Let g = -11 + 13. Let l = g - -34. Is l a multiple of 12?
True
Let p be ((-7)/(-4))/(2/8). Let z = 6 - p. Let u(i) = -41*i + 1. Is u(z) a multiple of 14?
True
Suppose -46*f = -8*f - 5320. Does 7 divide f?
True
Suppose 0 = -44*i + 58*i - 19936. Is i a multiple of 89?
True
Let w = -11 + 6. Let l be (-4)/10 - 2/w. Suppose l = s + 3*c + 2*c + 4, 2*s - 36 = c. Is 12 a factor of s?
False
Suppose -6*l - 204 = -10*l. Let y = l - -28. Is 21 a factor of y?
False
Suppose 17*f + 25 = -60. Is ((-1)/(-2))/(f/(-3010)) a multiple of 18?
False
Let i = 58 + -29. Let a(z) = z**3 + 13*z**2 + 9*z + 5. Let b be a(-12). Let k = b - i. Is k a multiple of 12?
True
Suppose -n = 4*t - 3997, -4*t + n + 0*n + 4003 = 0. Suppose -21*l + 11*l + t = 0. Does 4 divide l?
True
Let b(m) = -90*m + 9. Is 31 a factor of b(-3)?
True
Let n(i) = 5*i - 27. Is n(7) a multiple of 4?
True
Suppose -i + 4 = 0, 11*c - 16*c + 3*i = -148. Does 4 divide c?
True
Let k = -29 + 32. Suppose -j = k - 24. Is 7 a factor of j?
True
Is 29 a factor of 20/((-3)/4*(-72)/999)?
False
Let r(w) = w**3 - 8*w**2 + 1 + 0 + 1 - 9*w + 3. Let y be r(9). Suppose -47 = -6*o - y. Is o a multiple of 7?
True
Suppose -3*m - b + 47 = -43, 3*m + 5*b - 90 = 0. Let j = -16 + m. Suppose 4*s - r - 115 = 0, 4*r - 34 = -j. Is 10 a factor of s?
True
Let c = 698 + 503. Is 74 a factor of c?
False
Let b(h) = h + 30. Let l be b(-25). Suppose -3*d - 2*d + 370 = -l*n, 0 = 2*n - 4. Is d a multiple of 4?
True
Let s = 32 + -11. Let a be s/(-2)*-8 + 0. Suppose 3*w - 62 = -w - 5*k, -a = -5*w - 3*k. Is 10 a factor of w?
False
Let i be (-1)/4 - (-3132)/48. Is 5 - 13/(i/(-690)) a multiple of 9?
False
Let o be (-12)/4*(-5)/3. Suppose 5*i + o*u = 165, i - 5*i + 133 = 5*u. Does 4 divide i?
True
Suppose -2*q + 2*h + 1 = 3, -4*h = -16. Suppose -5*u + 361 = -0*u - q*k, -3*u - 5*k = -203. Suppose 0 = 5*w - 34 - u. Does 6 divide w?
False
Let r be (-2)/13 + 9912/39. Let c = r + -151. Let m = c + -52. Is m a multiple of 17?
True
Suppose 5069 = 20*q - 3091. Is 55 a factor of q?
False
Suppose 4*n + 74 = 6*n. Let k = n + 31. Does 34 divide k?
True
Suppose 2*b + 10*g - 5*g = 240, 2*g = 2*b - 226. Is 5 a factor of b?
True
Let f be (6/4)/((-4)/(4 - -4)). Suppose -y - 4 = -1. Is (-2)/y - 19/f a multiple of 2?
False
Suppose 0 = -j + 5*r + 432, -2*r + 284 = 4*j - 1444. Does 8 divide j?
True
Let y = 1703 - 1073. Is y a multiple of 15?
True
Let v = -15 - -19. Is (-1)/((-423)/105 + v) a multiple of 10?
False
Does 87 divide (-207320)/(-64) + -7 - 3/8?
False
Suppose 4*l = 9*l - 20. Is 6 a factor of 836/20 - l/(-20)?
True
Let q = 88 + -46. Let o(y) = -14*y - 136. Let v be o(-10). Suppose -v*j + 230 = -q. Does 9 divide j?
False
Let m(c) = 35*c - 4. Let v be m(6). Let z = v + -144. Does 15 divide z?
False
Let a(q) = q**2 - 20*q + 2 - 2 + 4 + 21*q. Does 12 divide a(4)?
True
Let p be (-32)/8 - (2 + -2). Let d = -16 - p. Is d/(-8)*8/2 even?
True
Suppose 3*t = 134 - 8. Let l = 53 - t. Is l a multiple of 9?
False
Suppose -5*l + 40 = 5*c - 10*c, -2*l + 4*c = -14. Let p be 6/10 - (-77)/5. Let v = l + p. Does 11 divide v?
False
Suppose 60*t + 19639 = 240799. Is t a multiple of 97?
True
Suppose 0 = -0*l - 5*l + 5, -2*v - 3*l + 293 = 0. Does 29 divide v?
True
Let y(b) be the third derivative of 5*b**4/24 + b**3/6 + 37*b**2. Does 4 divide y(6)?
False
Let s = 16 - 16. Suppose -4*g + 429 + 31 = s. Does 23 divide g?
True
Suppose 2 = -0*u + 2*u. Let z be 20/12*(-17 - u). Is z/(-10) - (-2 + -2) a multiple of 7?
True
Let x(v) = 232*v**2 + 3*v - 3. Does 13 divide x(1)?
False
Let n = -36 + 36. Is 17 + 3*(n - 1) a multiple of 4?
False
Suppose 162 - 536 = -2*q. Suppose 7*j = 2*j + 4*x + q, 2*j + 5*x - 55 = 0. Does 5 divide j?
True
Is ((2040 + 8)/8)/(1/6) a multiple of 16?
True
Suppose -15 = 2*b - 7*b. Let x(g) = g - 3. Let m be x(b). Suppose m = 4*w - 3*w - 47. Is w a multiple of 13?
False
Suppose 4*z + m - 4575 = 0, 2*m + 15 = 5. Is 5 a factor of z?
True
Suppose -2*u + i + 4052 = -4*i, -2*i + 4024 = 2*u. Does 28 divide (u/(-16))/((-6)/4)?
True
Suppose 0 = -p - f + 970, -f = -4*p - 6*f + 3875. Is p a multiple of 17?
False
Suppose -4*q - 5*q - 72 = 0. Does 32 divide 2304/30 + q/10?
False
Let b = 13 + -11. Let t be (-3)/(-9)*0/b. Suppose t*h = -3*h + 135. Does 15 divide h?
True
Let m be (-38)/(-2) - 4/1. Let i be m/6*10/5. Suppose y - 17 = -3*h, y + 4 = i*h - h. Is y a multiple of 2?
True
Let c = -2 - -10. Suppose -c*r + 6*r = -160. Suppose -2*v - 3*v + 2*i + 100 = 0, 0 = 4*v + i - r. Is 5 a factor of v?
True
Suppose -2*m + 9 - 53 = 5*q, -3*m - 66 = q. Suppose -38*v - 4*y + 21 = -43*v, 5*v = 2*y - 13. Is 5 a factor of 3 + -3 + m/v?
False
Let i(k) = -5*k + 13 + 3*k + 29 - k**2. Does 6 divide i(0)?
True
Let q = -86 + 111. Suppose 4*i - 74 = -3*s + 3, s = -i + q. Does 15 divide s?
False
Let x = 1072 + -681. Is 17 a factor of x?
True
Let w(y) = -33*y - 31. Let x be w(-10). Let r = x - 123. Is 15 a factor of r?
False
Let d be ((-18)/3)/((-3)/2). Suppose s + d*s = 25. Let p(y) = y**3 - 3*y**2 + 3*y. Does 18 divide p(s)?
False
Suppose 0*h - 5 = -h. Suppose -4*i - h*m - 133 = 0, -2*i + 3*m - m - 44 = 0. Let v = 1 - i. Is v a multiple of 28?
True
Suppose -5*y = -4*n, 8 = n + 3. Suppose 0 = -y*x + 33 + 543. Is 18 a factor of x?
True
Suppose 3*k = 6*k - 588. Is 98 a factor of k?
True
Is 76 a factor of ((-140)/(-6))/(23/138)?
False
Is 5 a factor of 3*(((-7170)/18)/(-5) + 2)?
True
Suppose -5*b = 5*v - 211 - 294, -3*b = 5*v - 511. Is 15 a factor of v?
False
Suppose z + z + 12 = -4*n, -3*n - 9 = 5*z. Suppose 6*x + x - 105 = z. Is 5 a factor of x?
True
Let z =