7?
True
Suppose 0*b + 141*b = -5*b + 2447252. Is 94 a factor of b?
False
Suppose 65 = -4*d - 151. Let m = d - -76. Let q = -3 + m. Is q a multiple of 19?
True
Suppose 10 + 14 = -4*f. Let w be (-32)/(-48) - (-1 + 188/f). Let r = w - -4. Is 11 a factor of r?
False
Suppose 0 = 15*u - 2*u - 312. Does 29 divide (-3662)/(-14) + u/(-42)?
True
Let l = 147 - 147. Suppose l = 5*y - s - 1203, 4*y - 966 = 7*s - 5*s. Does 9 divide y?
False
Let g be ((-2)/(-1) - 352)*(-23 + 21). Suppose 0 = 12*z + 2*z - g. Does 50 divide z?
True
Let w(z) be the second derivative of -z**6/120 - 13*z**5/60 - 19*z**4/24 - 3*z**3 - z**2 + 17*z. Let q(o) be the first derivative of w(o). Does 6 divide q(-12)?
True
Let t = -58 + 126. Let i = t - 34. Is 5 a factor of 554/18 + 0 + i/153?
False
Let j = 252 - 109. Let v = j - -166. Suppose -4*t - 8*c = -7*c - v, 4*t - 304 = 4*c. Does 11 divide t?
True
Suppose 5*d - 23*k - 7042 = -25*k, -4*d = 2*k - 5632. Is d a multiple of 61?
False
Suppose 14*m - 9*m = 14970. Does 61 divide m?
False
Let a = -4835 + 5060. Is a even?
False
Suppose -3*z - z = 988. Let y = 436 + z. Let h = y + -87. Is 17 a factor of h?
True
Let t = -80 + 84. Suppose 658 = -v + t*v + 4*k, 4*v - 5*k - 929 = 0. Suppose -4*g - 5*c = -v, 3*c = g + 2*c - 52. Is g a multiple of 6?
True
Let i be ((-3)/5)/((-36)/5 + 7). Let x(p) = 4*p**2 + 10*p - 15. Let q be x(i). Suppose -2*y + 27 + q = 0. Does 7 divide y?
False
Let p = -3183 + 1279. Let i = -756 - p. Is i a multiple of 10?
False
Suppose 0 = -4*m + 32 - 20. Suppose -m*i + 1966 = 451. Does 47 divide i?
False
Let h(v) = v**3 - 5*v**2 - 6*v. Let p(y) = -y**3 - 2. Let l be p(-2). Let z be h(l). Let g(x) = x**3 + x**2 + x + 30. Is g(z) a multiple of 6?
True
Suppose 5*w - m - 825 = 0, -5*w + 5*m = -374 - 451. Suppose 2*z - 2*j - 33 = w, 2*z - 195 = 5*j. Is 57 a factor of z?
False
Let y(s) = -32*s - 103. Let v = 145 + -161. Is y(v) a multiple of 16?
False
Suppose 24*k - 16804 - 8502 = -7954. Does 17 divide k?
False
Let s(u) = 94*u**2 + 2*u - 48. Is 17 a factor of s(5)?
True
Let i = 310 + -276. Suppose -i*d + 3000 = -22*d. Does 28 divide d?
False
Let o(u) = 3*u**2 + 6*u - 20. Let f(i) = -2*i**3 + i**2 - i - 1. Let y be f(-1). Suppose -y*j + 11 = -s - 3, 3*j = -3*s + 6. Is 13 a factor of o(j)?
True
Suppose 6*l - 26 = -2. Suppose 5*t - 2307 = 3*d, l*t - 5*d - 479 = 3*t. Is t a multiple of 17?
True
Let v = 103 - 99. Suppose 2*s = -v*u + 52, s + s + 2*u - 50 = 0. Is 3 a factor of s?
True
Let f be 1*(7 - 10) - -1*7. Is 33 a factor of ((-11)/f)/(3452/432 + -8)?
True
Let h be (-18)/(-33) - (-2004)/(-44). Is 4 a factor of (-2)/18 - 1535/h?
False
Let m(x) = x**2 - 13*x + 34. Let z be m(8). Let d(t) = 12*t**2 + 16 - 26 + 4*t**3 + 8 - 2*t**3 - 5*t. Is 9 a factor of d(z)?
False
Does 63 divide (-19)/(-152) + (-1)/((-40)/1027915)?
False
Let d be 22/2 - (-6)/(-3). Let o(h) = h**3 - 9*h**2 - 2. Let c be o(d). Let f(s) = -11*s**3 - 3*s**2 - s - 1. Does 11 divide f(c)?
True
Let h be (-5 - -10 - 5)/1. Let z(d) = 1 - 25*d + 2*d**2 - 16 + h + 32*d. Does 7 divide z(-7)?
False
Does 15 divide -7 + (9746 + 2)/4?
True
Let r = -436 - -10380. Is r a multiple of 44?
True
Suppose -24*z + 64 = -56. Suppose 126 + 29 = z*b. Is b a multiple of 31?
True
Let a be (-3)/2*(0 - 4). Let f(m) = m**3 + 4*m + a*m + 11*m**2 + 0*m. Does 9 divide f(-8)?
False
Let v be ((-11)/22)/((-3)/15048 - 0). Let y = v - 1442. Does 26 divide y?
True
Let j(g) = 4*g**3 - 15*g**2 - 4*g**3 + 0*g**2 + 14*g + g**3. Let p be j(14). Suppose -2*w + p*i = 2*i - 122, w - 3*i - 69 = 0. Is 7 a factor of w?
True
Let b(y) = -2*y**3 - 20*y**2 + 15*y - 46. Let i(t) = t**3 + 9*t**2 - 7*t + 23. Let q(p) = 6*b(p) + 13*i(p). Is q(0) a multiple of 3?
False
Let u(i) = -3515*i - 484. Does 93 divide u(-4)?
False
Let i(y) = -y**3 + 55*y**2 - 133*y - 321. Does 129 divide i(49)?
False
Suppose -112*k - 1400220 + 3356142 = -3703326. Is k a multiple of 12?
False
Suppose -7 = -r - 2*x, -r - 5 = 3*x - 14. Suppose -r = -4*f - 19, f + 910 = 3*k. Suppose 0 = 4*b - 2*b - k. Is b a multiple of 15?
False
Suppose 0 = -5*m + 10, -m + 28 = 2*s - 46. Suppose -3120 = -s*x + 31*x. Is x a multiple of 12?
True
Let q = 3728 - 1470. Is 87 a factor of q?
False
Let c = 46213 + -33901. Is 38 a factor of c?
True
Let b = 40 + -24. Let y(w) = 17*w**2 - 39*w - 42. Let z(q) = 10*q**2 - 21*q - 22. Let i(o) = 3*y(o) - 5*z(o). Is 11 a factor of i(b)?
False
Let y(a) = 18*a**2 + 120*a + 198. Is 60 a factor of y(-33)?
True
Let m(b) be the first derivative of 11*b**6/180 - b**5/40 + b**4/8 + 2*b**3/3 - 10. Let k(c) be the third derivative of m(c). Is k(1) a multiple of 4?
False
Let n = -3874 - -12194. Does 20 divide n?
True
Is (-3 + -362 + -3)*(-301)/28 a multiple of 4?
True
Suppose 3*d - 14 - 9 = -2*t, 2*t = 5*d - 17. Let x(y) be the second derivative of y**4/12 + y**3/2 + 4*y**2 + 1142*y. Does 4 divide x(d)?
True
Let p(z) = -z**3 + 13*z**2 - 24*z + 27. Let m be p(11). Let q(o) = 168*o**2 + o + 1. Let s be q(-1). Suppose -v = -m*v + s. Does 9 divide v?
False
Let n be (-12)/(-9)*(-51)/2*-1. Suppose 7*z + n = -15. Let a = z + 52. Does 13 divide a?
False
Let u = -17448 - -20167. Is u a multiple of 11?
False
Let q = -2535 - -16434. Is q a multiple of 53?
False
Suppose -32*u = -29*u + 2*g - 24243, -g + 6 = 0. Does 61 divide u?
False
Let o(z) = 67*z**2 - 5*z + 20. Let r = -174 - -177. Does 16 divide o(r)?
True
Suppose 38276*a = 38254*a + 267014. Is 37 a factor of a?
False
Let a(s) = 1173*s - 1369. Is a(5) a multiple of 30?
False
Let n(y) = 6*y**3 - 17*y**2 + 119*y - 229. Is n(12) a multiple of 2?
False
Suppose 3*o - 6 = -5*q, 3*o = -q + 7*o + 15. Suppose -q*i - 4*m + 10 = 0, -7 = -5*i + 3*m - 0. Suppose 0 = -g + 12 + i. Is 3 a factor of g?
False
Is ((-2180)/(-12))/((-8888)/(-1776) + -5) a multiple of 41?
False
Let k be ((-23)/(138/(-1080)))/((-1)/(-12)). Suppose -10*s + k = 270. Is 9 a factor of s?
True
Let y be (-2 + 6 + 26)*(-5)/(-15). Let g(a) = -3*a**2 + 37*a + 7. Does 7 divide g(y)?
True
Suppose 3*i = -1966*b + 1964*b + 28800, -i = 4*b - 57600. Is 48 a factor of b?
True
Suppose -2*b + 34 = -0*c + 4*c, 0 = -5*c - 4*b + 47. Suppose 2 = y, 4*x + 3*y - c*y - 16 = 0. Does 9 divide x/30 - 179/(-5)?
True
Let c = 58 + -45. Let v be (c - 1)/(-3) - (-1814 - 0). Suppose 0 = -11*z - 490 + v. Does 15 divide z?
True
Suppose 3*h - 18 = -3*u + u, 24 = 4*h - u. Let d(v) = 7*v**2 - 12*v + 100. Is d(h) a multiple of 40?
True
Let h = -787 - -3647. Is h a multiple of 44?
True
Suppose 9301 + 11214 = 20*z - 6805. Does 3 divide z?
False
Let q(i) = -116*i**3 - 16*i**2 + 25*i + 151. Does 48 divide q(-5)?
False
Let t = -194 - -190. Let r(j) = -7*j**3 + 2*j**2 + 10*j - 6. Does 14 divide r(t)?
True
Is 10 a factor of (-4)/((-1056)/(-4995) + (-52)/234)?
True
Suppose -3*f + 5*t = -97, -f + 0 = 3*t - 9. Suppose f*x = 11*x + 650. Does 6 divide x?
False
Let s(w) = 74*w - 244. Let a(x) = 75*x - 247. Let d(u) = 4*a(u) - 3*s(u). Is d(6) a multiple of 4?
True
Let n = -918 + 4470. Does 37 divide n?
True
Let n(b) = 29*b + 4. Let g = 17 + -15. Suppose -g*f - 8 = -10*f. Is 11 a factor of n(f)?
True
Suppose 52*r - 24*r = 368340. Is 43 a factor of ((-234)/(-81))/(-13) + r/27?
False
Let b(d) be the second derivative of -11*d**3/6 - 57*d**2 + 16*d - 4. Is b(-14) a multiple of 6?
False
Suppose 4*f + 4*q = 96452, 4*f + 5*q = -41761 + 138208. Does 14 divide f?
False
Let y(n) = 8*n**2 + 2*n + 2*n**3 - 6*n**2 - 442 + 445 - 2*n**2. Suppose 18 = 5*p + f, -3*f + 1 = -2*p - 2. Is 40 a factor of y(p)?
False
Suppose -12061 - 107955 = -76*c + 368. Is c a multiple of 24?
True
Let o(v) = 2*v**2 + 10*v + 14. Let y(c) = -c**2 - 11*c - 15. Let b(p) = 2*o(p) + 3*y(p). Let j be (2 - 0)*552/69. Is b(j) a multiple of 8?
False
Let q(i) = 74*i**2 + 31*i - 270. Is q(10) a multiple of 16?
True
Let d(o) = 8*o - 15. Let s be d(11). Let c = 132 - 121. Let z = s - c. Is z a multiple of 7?
False
Suppose 3*o = 5*l - 2*l + 27183, -5*l + 18101 = 2*o. Suppose -27*h + o = 1741. Does 55 divide h?
False
Suppose -11*y = 17*y - 16128. Does 8 divide y?
True
Let i = -28 + 42. Suppose 5*x = 4*y + i, -x = 3*y - 6*x + 13. Is 32 a factor of (4 - -7*9) + (y - 2)?
True
Let g = 3 - -95. Let f = 196 - g. Does 7 divide f?
True
Suppose -3*v + 11 = 4*x, -4*v + 9*v = -4*x + 5. Suppose -4*t = x*w - 2*t - 220, -3*w + 136 = 2*t. Is 42 a factor of w?
Tr