x + 8 - 13 = 0. Let y be 1/(x + (-128)/(-127)). Suppose -3*a + 4*i + 175 = 0, -3*a + 2*i + 46 = -y. Is a a multiple of 24?
False
Let z = 28860 + -17009. Is z a multiple of 40?
False
Let h(w) = -107*w**3 - 2*w**2 + 1. Let s be h(-1). Let z = s - 79. Suppose -5*g + 52 + z = 2*p, -5*g = p - 42. Does 4 divide p?
False
Let y = -49 - -56. Let n(v) = -v**3 + 9*v**2 - 11*v - 9. Let s be n(y). Suppose 0 = -s*z + 8*z + 188. Is z a multiple of 3?
False
Let w be (-4)/2*(-16 + 7)/9. Suppose -3*z = 4*o - 103, -25*z - w*o = -30*z + 137. Is z a multiple of 23?
False
Suppose m + 228 = 4*n, 4*m - 43 = -n + 14. Suppose 3*b - 3*x - n = -0*b, -x + 11 = b. Suppose 6*a = 177 - b. Is 9 a factor of a?
True
Let o(t) = t**3 + 34*t**2 + 50*t - 16. Let h be o(-32). Suppose -5*s + 516 = -4*n + 2*n, -4*s + 16 = 0. Let m = h + n. Does 24 divide m?
False
Suppose -390 = 77*d - 92*d. Suppose d*m - 5103 = 5921. Is m a multiple of 72?
False
Let o = 251 + -241. Let p = -6 + 8. Suppose -58 = 3*k + y - 159, -o = -p*y. Does 8 divide k?
True
Let c = -999 + 1789. Is c a multiple of 10?
True
Let x be (-2)/(4/(-10)) + -2. Suppose 3*d + 10494 = -x*d. Does 9 divide 1/(-6) + d/(-18)?
False
Let z = -169 + 162. Let l(d) = -d**3 - 6*d**2 - 7*d - 5. Is 15 a factor of l(z)?
False
Suppose w + 4*w = -56*w + 585051. Is w a multiple of 133?
False
Let q(x) be the second derivative of x**4/6 + 2*x**3/3 - 17*x**2/2 + 12*x. Let f be q(-5). Is 28 a factor of 2 + (-10)/(-5)*f?
True
Is 4034/(((-10)/65)/((-24)/52)) a multiple of 79?
False
Let l = -6 - -8. Suppose -14*f + f = 2*f. Suppose f = -3*x + 5*w + 459, 3*w = -l*x - 163 + 488. Is x a multiple of 26?
False
Let r be 7/(-1)*(-24)/28. Suppose 0 = -r*l + 1113 - 321. Does 22 divide l?
True
Let b(n) be the third derivative of -21*n**4/8 - 83*n**3/3 + 7*n**2 + 2. Is 27 a factor of b(-5)?
False
Suppose -2*g = 109 + 25. Let b = g - -165. Is 20 a factor of b?
False
Let g(v) = 4*v**2 - 19*v + 4. Let j be g(6). Suppose 2*i + i + 54 = 0. Let t = j + i. Is t a multiple of 4?
True
Suppose 2*r = 19 + 3. Suppose -5 = 2*n - n, z + 3*n = -r. Suppose -y + 67 = -z. Does 13 divide y?
False
Let o(s) be the first derivative of 251*s**3/3 - 7*s**2/2 + 7*s + 144. Is o(2) a multiple of 24?
False
Suppose -4*d + 3528 = 4*q, -633 = 2*d - 4*q - 2373. Let n = d - 713. Is n a multiple of 15?
True
Let y(z) = 26*z**2 + 2*z**2 + 1 + z - 2 + 3. Let f be y(-1). Suppose 4*d - f = 35. Is 16 a factor of d?
True
Suppose -3*g - 217 - 1127 = 0. Let o = 632 + g. Is o a multiple of 23?
True
Let m(y) = 1545*y - 4168. Does 189 divide m(7)?
False
Let h(v) = v**2 + v - 108. Let d be h(0). Suppose 5*s = -3*g + 640, -3*s + 24*g = 26*g - 383. Let j = d + s. Is j a multiple of 13?
False
Let a be (-195)/156*16/(-10). Suppose i - 4*p = a*i - 394, 838 = 2*i - 2*p. Is 18 a factor of i?
True
Let g(s) = s**2 + 23*s + 107. Let k be g(-30). Let c = 744 - k. Is c a multiple of 20?
False
Let z(t) = -t - 1. Let r be z(-5). Suppose 2 = 2*s - r*m - 10, 0 = 4*s + m - 6. Does 8 divide 4200/36 + 1/6*s?
False
Suppose 47*i - 37*i = -70. Does 9 divide -3*147/i - -6?
False
Let b(x) = -2*x**3 - 40*x**2 + 16*x + 270. Is 24 a factor of b(-21)?
True
Suppose 4*v = v - 81. Suppose -117*t + 120*t + 33 = 0. Let k = t - v. Is k a multiple of 16?
True
Suppose 4*v - 4 + 60 = 4*u, 4*u = 2*v + 24. Let g = 1979 - 3103. Is 8 a factor of g/(-11) + v/88?
False
Suppose -5 = 2*j - 15. Let p = -16 + 20. Suppose -p*k - 4*t + 40 = 0, -j*k - t + 4*t = -90. Is 2 a factor of k?
False
Let o(g) = 2764*g + 13164. Does 148 divide o(6)?
True
Let g = -458 + 699. Suppose 233*n = g*n - 1984. Is 14 a factor of n?
False
Let w be 5 - 120/25 - (-22)/(-10). Let s be (-163)/w*2*-1. Let j = s + 228. Is j a multiple of 13?
True
Let i(k) = -19 + 41*k**2 - 76*k**2 + 46*k**2 - k**3 + 9*k. Is i(10) a multiple of 19?
True
Suppose 0 = -4*j + 5*n - 4 - 0, -5*j + n - 26 = 0. Let t(k) be the second derivative of -k**3 - 5*k**2 + 5*k - 14. Does 5 divide t(j)?
False
Let c(w) be the third derivative of w**6/60 - 11*w**5/30 + w**4/24 - 10*w**3/3 + w**2 + 2. Is 35 a factor of c(12)?
True
Let u be (462/(-88))/((-2)/(-16)). Let d be (-6)/u + (-80)/(-28). Suppose -d*b - 30 = -a, 40 = a + b - 6*b. Is a a multiple of 15?
True
Suppose -359 + 367 = g. Does 7 divide ((-447)/6)/(g/(-16))?
False
Let o = 43 + -31. Suppose o*i - 9*i = -15. Does 10 divide (i*3/(-12))/((-2)/(-16))?
True
Let b(j) = -2552*j + 184. Is b(-1) a multiple of 42?
False
Suppose -6*u + 5*u + 10 = 0. Let j be 24/(-120) - (-142)/u. Does 28 divide (3 - 2)/(j/3178)?
False
Let y = -1198 + 1898. Suppose g - 2*l - 148 = 32, y = 4*g - 3*l. Does 40 divide g?
False
Let u = 396 - 384. Suppose -u*c + 1240 = -3908. Is 33 a factor of c?
True
Let v be 20/(-30) + -4*(-97)/6. Let y = -38 + v. Suppose -y*s + 32*s = 900. Does 15 divide s?
True
Suppose r = -0*r - f - 269, 3*r + f + 813 = 0. Let y = 401 + r. Let a = 215 - y. Does 22 divide a?
False
Suppose 0 = 6*k + 583 + 65. Is k/180 + 3826/10 a multiple of 20?
False
Let h be 24/(-32) - (-4)/(32/30). Suppose h*y - z = 709, -7*z = -2*y - 10*z + 458. Is 41 a factor of y?
False
Suppose -2*u + 423 - 1095 = 0. Is 70 a factor of 16172/21 + 32/u?
True
Let d be (-1)/((-1)/(-406))*(1 + -3). Let b = -332 + d. Does 8 divide b?
True
Let j = -45 + 74. Let o = j - 24. Does 38 divide (-12)/(((-50)/95)/o)?
True
Let a(q) be the second derivative of q**6/180 - 3*q**5/40 + 13*q**4/24 + 2*q**3 - q. Let x(u) be the second derivative of a(u). Does 11 divide x(8)?
False
Let p(j) = -93*j - 121. Let d(i) = -94*i - 120. Let v(c) = 6*d(c) - 5*p(c). Let u(y) = 33*y + 38. Let k(g) = 8*u(g) + 3*v(g). Is 8 a factor of k(-6)?
False
Let c(b) = 3*b**3 - 47*b**2 - 17*b + 21. Let p be c(16). Suppose -7*h + p*h + 4 = 0, h = -2*a + 1826. Is a a multiple of 76?
True
Suppose -12 + 16 = -4*s. Let k be s/((-20)/6 + 3). Suppose -4*z + 41 = 3*l, -5*z + l = -k*l - 90. Is 7 a factor of z?
True
Let d be ((2 - 0)/(-1))/(199/(-32437)). Let a = d + -295. Does 14 divide a?
False
Let y = -185 - -300. Suppose 4*d - 957 = y. Is 10 a factor of d?
False
Let i = -2487 + 4753. Does 46 divide i?
False
Let d(i) = -i**2 + 13*i - 7. Let q(j) = 2*j**2 - j. Let s be q(1). Let r be s/((5/1)/35). Is d(r) a multiple of 15?
False
Suppose -22*f - 510 = 90*f + 162. Let t be 1 - (-1 + 2) - -4. Does 17 divide -204*(t - (-28)/f)?
True
Let v = 193 + -189. Does 5 divide 1*v - (-6 - -114)/(-3)?
True
Let l(x) be the second derivative of -x**4/6 - 7*x**3/3 + 5*x**2 + 17*x. Let w(d) be the first derivative of l(d). Is w(-7) a multiple of 7?
True
Let l = 464 + -459. Suppose 70*b = 69*b + 4, 1420 = l*f + 5*b. Is 31 a factor of f?
False
Does 121 divide 21554 - ((-7 - (-11 + -1)) + 6)?
False
Let x be 257 + (5 + -5)/2. Let h = x - 140. Does 39 divide h?
True
Suppose -j - n = -32194, -3*j + 2*n = -j - 64356. Is 38 a factor of j?
True
Let f(u) = -2*u**3 + 2*u**2 - 3*u + 1. Let t be f(-2). Let l = 31 - t. Suppose -d + 0*v + 2*v + 5 = 0, d - 5*v + 1 = l. Does 4 divide d?
False
Let s be (-4)/(36/(-1365)) - (-3)/9. Let i = s - -334. Is 32 a factor of i?
False
Suppose 4*s - 2608 = -20*k + 16*k, 5*s + 3*k = 3262. Is s a multiple of 3?
False
Let u be 1/4 + 4 + 68/(-16). Suppose 5*y = 5*v + 30, u*y - v + 3 = 2*y. Suppose w + 78 = 4*w + y*p, -2*p = 6. Does 3 divide w?
False
Suppose -5*u = -3*q - 20568, -19*u + 16*u - 5*q = -12368. Is 87 a factor of u?
False
Let t be 3 - ((-6)/2 - -5). Let u(c) = -c**2 + c. Let w(o) = -2*o**3 - 5*o**2 - 3*o. Let d(n) = t*w(n) + 3*u(n). Is 36 a factor of d(-6)?
True
Suppose 3*l - 5*l - 2 = 0. Is (17 + 235)*(l/3 - -1) a multiple of 28?
True
Suppose -3*n = 3*s + 56 + 64, 5*n - 70 = s. Let c = s - -132. Is c a multiple of 5?
False
Let d = 87686 - 44179. Is d a multiple of 76?
False
Suppose 50010 = 4*z - 5*r + 3275, -3*z - 5*r + 35095 = 0. Is 10 a factor of z?
True
Let i(m) = -m**3 + 8*m**2 - 7*m - 4. Let o be i(7). Let a be ((-6)/8)/1*o. Is 12 a factor of -4*(-16)/4 - a/3?
False
Let i be -319 - ((-3 - -6) + -10). Let v = 390 + i. Is 28 a factor of v?
False
Let q(b) = 9*b - 35. Let s(a) = 3*a - 11. Let d(u) = 6*q(u) - 17*s(u). Does 5 divide d(30)?
False
Let a = 78 + -66. Let q be 18/(-4)*(a*-2 + -2). Let b = q + -33. Does 19 divide b?
False
Suppose -690*s + 675*s = -225780. Does 75 divide s?
False
Is 2072 - 1/13*0 a multiple of 56?
True
Does 72 divi