 -30 - q. Is 20 a factor of (41 - -1) + (2 - h)?
False
Let y = 51490 - 33670. Does 55 divide y?
True
Let h = 703 - -2377. Is h/56 - 0/(3 + -1) a multiple of 15?
False
Let g(m) be the third derivative of -1/6*m**3 - 6*m**2 + 0*m - 1/10*m**5 - 1/8*m**4 + 0 - 1/120*m**6. Is g(-7) a multiple of 23?
True
Suppose 5*p = -93 - 77. Suppose -b = -7 + 64. Let v = p - b. Is 23 a factor of v?
True
Let g = -501 - -1005. Is 3 a factor of g?
True
Does 70 divide ((-4)/(-7) + (-4052651)/1239)*-3?
False
Let m be 855/((-2)/(-2)) - (-57 + 53). Let l = m + -449. Is 34 a factor of l?
False
Suppose 0 = -8*w + 3247 + 9713. Is 135 a factor of w?
True
Let f = -113 - -159. Let x = f + -42. Suppose h - x*k = 0, 0 = 2*h + 2*k + 2*k - 60. Is h a multiple of 4?
True
Let x = 318 + -318. Suppose x = -2*m + 54 + 42. Is 3 a factor of m?
True
Let n(x) = 13*x**3 + 0*x**2 - 2*x**2 + 1 + 40*x**3 + 37*x**3. Let k be n(-1). Let d = 157 + k. Is d a multiple of 14?
False
Let i(c) = c**3 - 13*c**2 + 20*c - 13. Let r be i(11). Does 37 divide (-3)/7 - 8450/r?
False
Let m(o) = -2*o**2 - o + 34. Let w(j) = -j**2 + 13*j + 30. Let v be w(15). Is 11 a factor of m(v)?
False
Let k = -1 + -13. Let w(f) = f**3 - 6 + 36*f**2 - 14*f - 20*f**2 + 33*f. Is w(k) a multiple of 15?
True
Suppose 3*r + 2*r = -w + 2708, 3*r = w + 1628. Let j = 1042 - r. Suppose -j = -7*f + 116. Is 7 a factor of f?
False
Let i(h) be the second derivative of -7*h**3/3 - 15*h**2/2 + 22*h. Let z be i(-7). Is 33 a factor of 6/(-10) - 30/(-25)*z?
True
Suppose -o + 32 = 2*o + 5*z, -z = -3*o + 8. Let w = -3813 - -3657. Does 17 divide (-13)/(w/944) - o/6?
False
Let j(u) = -u**3 - 6*u**2 + 9*u - 38. Let s = -325 - -317. Is j(s) a multiple of 2?
True
Let x be ((-51)/34)/((-266)/(-132) + -2). Let o = -87 - x. Is (12/(-10))/(o/(-200)) a multiple of 10?
True
Let m(q) = -q**2 + 13*q - 32. Let v be m(3). Is ((-20)/v)/(4 + 858/(-216)) a multiple of 40?
True
Let w = 9169 + -6027. Is 22 a factor of w?
False
Suppose 5*j - 16 = -4*t, -12*t = -10*t - 3*j - 8. Is 10 a factor of 5/(t - (-5535)/(-1386))?
True
Let j(f) be the third derivative of 15*f**2 + 0 - 4/3*f**4 + 0*f - 11/2*f**3 - 2/5*f**5 - 1/120*f**6. Is 29 a factor of j(-23)?
True
Is 54817/42 - (-3 - 13/(-6)) a multiple of 3?
False
Suppose -2341*l + 332640 = -2327*l. Is 22 a factor of l?
True
Let s(j) = 24*j**2 - 7*j - 5. Let n be s(-2). Suppose -3*v + 125 = 4*z, -4*z - 5*v + n = -10. Is 2 a factor of z?
False
Let k = -12 - -17. Suppose 3 = 2*u - k. Suppose 0*t - 92 = -u*t. Is t a multiple of 13?
False
Does 7 divide ((-2090)/330)/((4/(-273))/4)?
True
Let w be 2446/14 - (-24)/84. Let d = -145 + w. Is d a multiple of 15?
True
Let o(n) = -707*n**3 + 5*n**2 - 5*n - 16. Let w be o(-2). Is w/25 - (-2)/10 a multiple of 7?
False
Let m(l) = l**3 - l**2 + 6*l - 2. Let y = -128 - -133. Is 8 a factor of m(y)?
True
Let d be 2/(-3) + (-3 - 40/(-6)). Suppose -d*s = 16*s - 4066. Does 7 divide s?
False
Suppose -285246 = 11*m - 126*m - 23*m. Does 103 divide m?
False
Let p(c) = 5*c**3 - 15*c**2 + 24*c - 18. Let w(s) = 27*s**3 - 75*s**2 + 119*s - 91. Let x(m) = -11*p(m) + 2*w(m). Is 2 a factor of x(13)?
True
Let a(z) = -59*z - 56. Let l be a(-1). Suppose 2*y = 5*i - l*y - 200, 2*i = y + 76. Is 4 a factor of i?
True
Suppose -21*f + 277313 = 37*f - 113143. Is 33 a factor of f?
True
Let q = -2027 - -2638. Does 10 divide q?
False
Suppose 19*q + 15*q - 102 = 0. Suppose -2*c - 2*m = -489 - 385, q*m + 2145 = 5*c. Is 18 a factor of c?
True
Suppose 2120 = -40*a - 80. Let w = 69 + a. Is w a multiple of 11?
False
Let y be (82/10 + 3)*(-10 - -5). Is ((-147)/y)/(-7) + 1689/24 a multiple of 6?
False
Suppose -27*m = -17*m - 3920. Does 14 divide m?
True
Let r(m) be the third derivative of m**6/120 + 3*m**5/10 - 11*m**4/6 - 34*m**2. Let w(u) be the second derivative of r(u). Is w(4) a multiple of 10?
True
Let d be (3/(-4))/((-3)/(-936)). Let h = -204 - d. Is 6 a factor of h?
True
Let m be 3/2*2 + (-67 - -10). Let n = m + 76. Let p = 67 - n. Is p a multiple of 15?
True
Is ((-698370)/(-120) - -34) + (1 - (-7)/(-4)) a multiple of 3?
True
Is 71 a factor of (39/(4875/(-9950)))/(8/30)*-8?
False
Suppose x = -2*k + 354, 2*x - 1396 = -2*x - 3*k. Suppose 3*q - x = -4*u, -q + 76 = 4*u - 34. Is 13 a factor of q?
False
Let j be (2 + -1)*(1 + -5) - -4. Let l(q) = -q**2 + 8*q - 4. Let b be l(7). Suppose -z + u + 13 = j, 2*u + 44 = b*z - 2*u. Is z a multiple of 4?
True
Let b(m) = 2*m**2 + 10*m + 54. Suppose -28*o + 18*o = 130. Is 11 a factor of b(o)?
False
Is 56079/558*(-82)/(-1) a multiple of 3?
True
Let y = -2 + 4. Suppose -3*n - n - y*p - 42 = 0, 4*n - 2*p + 30 = 0. Let i(j) = -5*j - 26. Is 11 a factor of i(n)?
False
Suppose -3*y - 35016 = -3*g, -3*y = 49 - 43. Is g a multiple of 45?
False
Let b(c) = 28*c**2 - c + 2. Let r be b(1). Suppose 824 = 3*i + r. Is i a multiple of 53?
True
Suppose -p + 3*p + l - 24317 = 0, 2*p + 3*l = 24303. Is 185 a factor of p?
False
Let w(t) = t**2 + 24*t + 13. Let f be w(-17). Let d = f - -61. Let j = 25 - d. Is 10 a factor of j?
True
Suppose -13*r = -0 + 78. Let o(v) = 11*v**3 + 25*v**2 + 19*v - 1. Let b(j) = -5*j**3 - 12*j**2 - 9*j. Let z(g) = 7*b(g) + 3*o(g). Is 25 a factor of z(r)?
False
Suppose 0 = -3*v - 4*r + 11935 + 647, 0 = -2*v + 3*r + 8371. Suppose -10165 = -15*f + v. Does 29 divide f?
True
Suppose 21 = -55*f + 62*f. Suppose -2*q = -f*c - 200, 11*c - 12*c = 3*q - 300. Is q even?
True
Let n(x) = -46 - 4*x - 33*x + 24 - 34. Let f be n(-5). Suppose a = 3*w + 285, -932 = -3*a - 4*w - f. Is 39 a factor of a?
True
Suppose 0 = -5*q + 30 - 5. Suppose q*b - 13 = 12. Suppose -2*d = 5*y - 6*d - 422, b*y = 3*d + 419. Does 10 divide y?
False
Suppose -144049 = -5*w + 2*i, -5*w - 5*i = -69245 - 74825. Does 93 divide w?
False
Let c(k) = -k**3 + 9*k**2 - k + 11. Let z be c(9). Suppose -8 = z*t + t - 4*x, -2*x + 4 = -5*t. Is 24 a factor of 180*(2/3 - t)?
True
Let n(a) = -14*a**2 - 16*a + 28*a + 17*a**2 + 31*a + 20. Does 5 divide n(-16)?
True
Suppose 5*p - 3*l = 508, -3*l - 149 + 681 = 5*p. Let i be (-6*(-1)/14)/(195/910). Suppose p + 118 = i*o. Is 11 a factor of o?
False
Let s(w) = -7*w**3 - w. Let z be s(-1). Let n be 40 - z/24*(-9 + 0). Suppose 0 = -2*u - 5*t + 60, -2*t = -u + 2*t + n. Is u a multiple of 7?
True
Let w = -5 - 1. Let u(n) = -844*n**2 + 851*n**2 - 108*n + 101*n - 10. Is 36 a factor of u(w)?
False
Let l(s) = -7*s**3 + 9*s**2 - s + 22. Let m(k) = -15*k**3 + 17*k**2 - k + 44. Suppose 7*q = q + 36. Let i(b) = q*m(b) - 13*l(b). Is i(15) a multiple of 7?
False
Let r(g) = -139*g - 93 - 138*g + 297*g. Does 5 divide r(11)?
False
Let l = -1104 + 1560. Suppose -3*f + 3*p - 2*p = -l, 300 = 2*f - 2*p. Is f a multiple of 51?
True
Is 174/4*(9 + (-915)/90)*-268 a multiple of 66?
False
Suppose -10 = -2*u, 0*u = w + 3*u - 88. Suppose -5*i = -w - 97. Is 17 a factor of i?
True
Let f be ((-180)/(-35))/((-5)/175). Let w = f + 294. Is 19 a factor of w?
True
Suppose -5*w - 299 = -324. Suppose w*g - 9*g = -72. Is g a multiple of 7?
False
Suppose 10*g + 44450 = 11*g + 34*g. Does 2 divide g?
True
Let n be 21/2*252/49. Suppose -n*s - 747 = -57*s. Is s a multiple of 33?
False
Suppose 0 = -4*h + 2*o + 96, 2*h - 3*h - 2*o + 34 = 0. Suppose h*c - 1509 = 5771. Does 7 divide c?
True
Suppose -5*p = -20677 + 467. Is p a multiple of 47?
True
Let k(b) = -1770*b + 138. Does 15 divide k(-1)?
False
Let g(p) = -8*p**2 + 22*p + 16. Let u(h) = -9*h**2 + 21*h + 16. Let a(t) = 5*g(t) - 6*u(t). Let f(w) be the first derivative of a(w). Is f(4) a multiple of 16?
True
Let j(x) = 45*x + 45. Let f be j(11). Let i = 560 - f. Is i even?
True
Let a be 1*(3 - 1)/1. Suppose 17*s - 4 = 19*s, 3*s - 509 = 5*u. Let b = a - u. Is 12 a factor of b?
False
Suppose -2*n - 2*n = z - 1391, -2792 = -2*z + 2*n. Is z a multiple of 163?
False
Let s(o) = -o**3 + 5*o**2 + 4*o + 1. Let v be s(5). Suppose 0 = v*m - 18*m - 15. Is 8 a factor of m + 55/(-10) + 191/2?
False
Suppose -141 = -3*y + 120. Suppose 6*q - 3*q = -2*o + 48, 0 = -5*q - o + y. Is q a multiple of 18?
True
Suppose -4*r + 1331 = c, r - 57 - 297 = 4*c. Suppose 4*p = -24*x + 22*x + r, -249 = -3*p - x. Is p a multiple of 41?
True
Suppose -20*x - 12276 = -3*v - 17*x, -3*v + 2*x = -12278. Is v a multiple of 23?
True
Let n(t) = t**2 + 4*t**2 - 1 - 19*t - 5*t**2 + 2*t**2. Does 23 divide n(20)?
False
Let s = -190 