o - 2*q - 10 = s. Does 26 divide (-6097)/(-78) - o/(-12)?
True
Suppose 63*k + 64*k = 38*k + 3193587. Is k a multiple of 103?
False
Let c(z) = 241*z**2 - z - 2. Let v(j) = -j + 13. Let a be v(16). Let h be ((-8)/24)/((0 + -1)/a). Does 48 divide c(h)?
True
Suppose 0 = -45*y + 21*y + 41328. Does 33 divide y?
False
Suppose 0 = 4*y + 2*g + g - 1543, -5*g = -5. Suppose h - 5 = 0, 0 = 2*v - 2*h - y + 83. Does 6 divide v?
True
Suppose -v - k + 0 = -3, -3*k = -v - 1. Suppose v*h - 1360 = -4*r, -147 = -2*h + 2*r + 1225. Suppose 0 = c + 2*c + 2*o - 408, 5*c + 2*o = h. Does 23 divide c?
True
Let a = -13750 - -16090. Is 13 a factor of a?
True
Let x be -1 + (3 - (-4 - -3)). Suppose -x*q + q = 0, 0 = -3*p + 3*q + 183. Let f = 173 - p. Is 16 a factor of f?
True
Suppose -12367 = 10*g - 64897. Does 31 divide g?
False
Suppose -4*g - 5*a = -36536, -836*a = g - 832*a - 9123. Is g a multiple of 11?
False
Suppose -d - 1 + 1 = 0. Suppose d = -4*c + 3*c - 0*c. Let s = 40 - c. Does 40 divide s?
True
Suppose -93*c + 88*c + 25 = 0. Suppose -3*h = -4*q + 19, 0 = 3*q - c*h - 2 - 15. Is 8 a factor of (q/5)/((-3)/(-165))?
False
Let m = 8694 - 6172. Is m a multiple of 20?
False
Let v be (-4)/1 - -292 - (0 - 2). Suppose -2111 + v = -3*w. Suppose 5*i - w = 163. Is i a multiple of 30?
False
Is 21 a factor of 17/170 - 1/((-30)/60477)?
True
Let j = -11259 - -11409. Is j a multiple of 10?
True
Let y(f) = -4*f**3 - 3*f**2 - 21*f - 20. Is 58 a factor of y(-9)?
True
Suppose 4*u + 13*x = 9*x + 8, 3*u + 4*x - 8 = 0. Suppose 0 = 5*j - w - 2540, -3*j + 4*w + u*w + 1507 = 0. Is j a multiple of 4?
False
Let f = 14 + -24. Let u be (2 - 4)*(-1)/(f/(-155)). Suppose -46 = -a + u. Is 10 a factor of a?
False
Let s(j) = -19*j**3 + 5*j**2 + 2*j + 825. Let l(t) = 7*t**3 - 2*t**2 - t - 275. Let c(p) = 8*l(p) + 3*s(p). Is 11 a factor of c(0)?
True
Suppose 771*t - 777*t + 9480 = 0. Is t a multiple of 10?
True
Is 50 a factor of 100/((-4)/28 - (-360)/2394)?
True
Let v be (-23)/(-5) - (-34)/85. Let s = 9 - v. Suppose -h + 45 = 3*f, 5*h + s*f - f = 249. Is h a multiple of 44?
False
Suppose 47591 = 5*j + 130*k - 126*k, 9520 = j - k. Does 9 divide j?
False
Suppose -3*t + z = -2*z - 33, -2*t - z + 10 = 0. Suppose 4*a - c - t = 0, 3*a - 4*c - 15 = -0*a. Is 5 a factor of (-21 - -22)*(-1 + 41*a)?
True
Let g(b) = 21*b + 11. Let o be g(-5). Let z = 250 + o. Does 26 divide z?
True
Is 48 a factor of (18180/35)/((-66)/(-1232))?
True
Let z = 11241 + -6221. Is z a multiple of 20?
True
Is 110 a factor of 508210/35 + ((-180)/(-63))/(-10)?
True
Let w(y) = -y**3 + 2*y**2 + 1. Let z(s) = 4*s**3 - 25*s**2 + 33*s + 10. Let k(x) = -3*w(x) - z(x). Is 14 a factor of k(16)?
False
Let g = 7 - 5. Let y = 1032 - 1030. Suppose 2*v = g*f - 0*v - 224, -v + 218 = y*f. Does 24 divide f?
False
Suppose -r - 115 + 610 = 2*y, 0 = -y + 2. Let o = 347 + r. Is o a multiple of 13?
False
Let i(t) = -t**3 - 3*t**2 - 6*t - 5. Let n be i(-3). Suppose -5*r - 2389 = -3*k, -4 = 3*k - n. Is (-1*r/(-12) - -3)*-3 a multiple of 22?
True
Let q = -68 + 40. Suppose -4*n + 4*h = -236, -n + 55 = -13*h + 11*h. Let j = n + q. Does 7 divide j?
True
Let z = 134 + -134. Does 18 divide (57 - z)*11/(99/30)?
False
Suppose 0 = 4*d + 38 - 62, -o + 2*d = -10094. Is o a multiple of 127?
False
Suppose 2*h = -8*h + 110. Suppose -6*l - b = -2*l - h, 5*b + 25 = 0. Suppose 3*g = 3*n + 84, 3*g - l*n + 7*n = 90. Is 6 a factor of g?
False
Suppose -h + 17918 = 5*o, -3*o + 3*h + 3518 = -7258. Does 4 divide o?
False
Let y(n) = -440*n - 1494. Is 150 a factor of y(-13)?
False
Let l(b) = 410*b + 26. Let q(f) = 411*f + 27. Let i(v) = 4*l(v) - 5*q(v). Is 83 a factor of i(-2)?
False
Suppose -5666 - 4394 = -4*c - 3*k, 5*k = c - 2538. Does 9 divide c?
False
Let l be ((-252)/30)/((-2)/(-5)). Is 3 a factor of (-1275)/l + (-4)/(-14)?
False
Suppose l = -2*d + 20875, -5*d - 3*l + 0*l = -52185. Suppose 15*w - d = 13650. Is 22 a factor of w?
True
Let g(z) be the first derivative of z**5/20 - 5*z**4/6 - z**3 - 15*z**2/2 - 21*z + 6. Let q(j) be the first derivative of g(j). Does 8 divide q(11)?
True
Let l(d) = 3*d - 5*d + 4*d**2 + 54 - d - 41. Is 31 a factor of l(9)?
True
Let g = -3 + 7. Let b be (4/2)/(18/(-12) + 1). Is 20 a factor of (b - -420)/g - 4?
True
Suppose -o + 5*o + 8 = 0. Is 12 a factor of o*(14/(-1) - 4)?
True
Let x(w) = 16*w + 12. Let g = -69 - -69. Let d be 6 + (g/(-4))/1. Does 12 divide x(d)?
True
Suppose 0 = 3*t + l - 341, -132 = -5*t + 4*t - 4*l. Let u = 159 - t. Is 14 a factor of u?
False
Suppose 3*i = -7*w - 18533 + 80180, 3*w + 61587 = 3*i. Is i a multiple of 37?
True
Let b(j) = 2366*j**2 - 87*j - 17. Is b(-5) a multiple of 11?
False
Suppose 11816 + 7361 = 151*u. Let w(p) = -17*p**2 + p - 1. Let z be w(1). Let t = z + u. Is t a multiple of 22?
True
Let o(a) = 2*a**2 + 64. Let h(m) = 2*m**2 - 12*m. Let s = -5 - -11. Let d be h(s). Does 17 divide o(d)?
False
Let w = -138 - -20. Let z = 132 + w. Is z even?
True
Suppose l + 3*l = 29311 - 1711. Does 60 divide l?
True
Let v = -478 - -35. Let j = 659 + v. Does 5 divide j?
False
Is 5 a factor of (-3 - (-376 + 2)) + 12?
False
Is 12 a factor of (-60)/(-160) - (-726874)/16?
False
Let k = 39395 - 11745. Is k a multiple of 5?
True
Let y = 945 - 760. Is 2 a factor of y?
False
Does 123 divide 6 - -3 - (-24425 - 255)?
False
Let v(y) = y**3 - 5*y**2 - y - 19. Suppose -x - 37 = -60. Suppose x + 12 = 5*p. Does 12 divide v(p)?
True
Let p(t) = -t + 4. Let b = 70 - 64. Let m be p(b). Is (0 + m)*(-2 - (-107)/(-2)) a multiple of 24?
False
Let i = -73 + 33. Let r = i - -44. Does 10 divide 3/12 + 79/r?
True
Suppose 2*o - 5*o - 18 = -5*f, 4*f - o = 20. Suppose -5*z = -f*z, 4*z - 252 = -3*c. Is c a multiple of 7?
True
Suppose -2*k + 5*z = 2*z - 115, 2*k - 112 = 2*z. Suppose -v + k = 76. Let w = 78 + v. Is 11 a factor of w?
True
Suppose 79*u = 78*u + 4. Suppose 1680 = u*x + 2*x. Is 72 a factor of x?
False
Let l(q) = q**3 - 12*q**2 + 19*q - 30. Let o be l(11). Let d = o + -64. Let x(i) = -i**3 - 4*i**2 - 12*i - 36. Is x(d) a multiple of 9?
True
Suppose 4*r + 3 = -2*g - 31, 2*r + 28 = -2*g. Suppose u - 275 = -4*u. Let z = g + u. Is 12 a factor of z?
False
Let g(q) = 13*q**2 + 19*q + 3. Let r be g(-8). Let t = r + -306. Does 13 divide t?
True
Suppose -10 + 2 = -m. Is 388 - ((-6)/(-4))/(m/(-16)) a multiple of 23?
True
Let b(x) = 3*x + 2. Let r be b(1). Let l(t) = -5*t + 24 - 8*t + r*t. Is 7 a factor of l(-4)?
True
Suppose 0 = -2*p + 15*x - 18*x - 2045, 2*p - 5*x = -2053. Let b = 1728 + p. Does 32 divide b?
True
Suppose -832 = 4*b - x, -3*b + x - 483 = 141. Let i = b - -242. Does 3 divide i?
False
Suppose -3*o = -4*o - 43. Let f be (-1)/(-6 + 1886/314). Let z = o - f. Is 38 a factor of z?
True
Let q be -189*(1/4 - (-58)/24). Let a = q + 1000. Is 25 a factor of a?
False
Suppose -8 = 3*l + 4*a, -l = l + 5*a + 17. Suppose 5*c - 6 = 309. Suppose l*m = -3*m + c. Is 2 a factor of m?
False
Let w(d) = 294*d**3 - 8*d - 1. Does 12 divide w(2)?
False
Let j = -12588 + 18197. Is 200 a factor of j?
False
Suppose -2*i = -4*x - 34, -5*i + x + 3*x + 109 = 0. Suppose 3*h + 5*n - n - i = 0, 2*n - 11 = -h. Is 38 a factor of (-304)/h*(5/10 - 2)?
True
Let u(n) = 474*n + 2559. Does 3 divide u(0)?
True
Is 13 a factor of 2971 - (-13)/(-91)*-7?
False
Let f = -5452 + 16121. Does 28 divide f?
False
Let c(z) = 30*z**3 + 3*z**2 + 12*z - 45. Does 7 divide c(2)?
True
Is 112 a factor of (-5390 - 46)/(3 - (-11)/(-3))?
False
Suppose -13*k + 85337 + 5598 = 0. Does 8 divide k?
False
Let o be (78/(-52))/((-2)/308). Let r = -101 + o. Does 37 divide r?
False
Let w(d) = -235*d + 1987. Does 23 divide w(-104)?
True
Let f be 75/(-175) + (-1)/(-14)*566. Suppose 0 = -f*v + 25*v + 9000. Is 40 a factor of v?
True
Let p(i) = i + 10 - 1 - 4*i**2 + 5*i**2 - 4*i. Let f be p(0). Suppose 21 = 2*q + s, -f = q - 2*q + s. Is q even?
True
Let o(d) = d**2 - 6*d - 19. Let k(b) = 3*b**2 + 1. Let v(l) = -2*l - 10. Let w be v(-6). Let r be k(w). Does 18 divide o(r)?
True
Let h(x) be the third derivative of x**5/60 + x**4/8 + 2*x**3/3 + 437*x**2. Suppose -5*r - 10 - 20 = 0. Is 3 a factor of h(r)?
False
Let x be 2 + -1 - (4 + -3). Suppose x = -7*h + 2*h + 10. Suppose -4*n - h*r + 382 = -0*r, -5*r = 2*n - 187. Is n a multiple of 24?
True
Let q be (0 + 0)/(-3 - (-10)/2). Suppose 5*d - 12 + 37 = q. Does 15 divide ((-5)/d - 3