Suppose 1262 - 30457 = -5*c + 5*s, -5*c - 3*s + 29147 = 0. Does 25 divide c?
False
Suppose -70*b + 4026 = -67*b. Let k = -641 + b. Suppose -k = -10*j + 29. Is 8 a factor of j?
False
Let x = -92 - -99. Suppose 0 = -i + 1, -2*i + x*i + 907 = 2*w. Is w a multiple of 57?
True
Suppose 4*r = -198 + 986. Suppose 0 = 3*s - 220 - r. Suppose -3*x + s = -50. Is x a multiple of 20?
False
Suppose 5*u = -18*q + 13*q + 27290, -21824 = -4*q + 4*u. Is q a multiple of 17?
True
Let a = 4945 - -1151. Does 16 divide a?
True
Suppose 3*x + 4*n - 12 = -0*x, 2*n + 20 = 5*x. Suppose -5*l + 445 = -x*w, 440 = -26*l + 31*l - 3*w. Is l even?
False
Suppose 35329 + 10943 = 4*j - 4*n, 46302 = 4*j + n. Is 38 a factor of j?
False
Let g = 780 - 522. Let k = 175 - g. Let c = k - -393. Is c a multiple of 62?
True
Let f = 124 - -2658. Is f a multiple of 26?
True
Let f(r) = -45*r + 30. Suppose -120 - 62 = 13*x. Is 15 a factor of f(x)?
True
Let q = -3743 + 5296. Does 7 divide q?
False
Suppose 3*l + 12*d - 17*d - 323 = 0, 3*l + 3*d = 339. Suppose -815 = -2*r - l. Does 44 divide r?
True
Let h = 74 + -42. Let p = h - 30. Suppose 3*v + a = 146, v + p*v - 3*a = 138. Is v a multiple of 15?
False
Let u be -1 - (2/(-3) - 140/15). Let c(g) = g**3 - 7*g**2 + 43. Does 4 divide c(u)?
False
Let l(t) = -99*t + 221. Let u be l(9). Let h = u + 760. Does 10 divide h?
True
Suppose 315*m - 123*m - 226560 = 0. Does 20 divide m?
True
Let b(u) = -u**3 - 3*u**2 - 5*u - 5. Let w be b(-3). Suppose 2*p = w*p + 712. Let f = p + 138. Is 7 a factor of f?
True
Suppose -3*i - 3*u + 9947 = -152656, -2*i + 2*u = -108414. Is 12 a factor of i?
True
Suppose -2115 = -2*a + 3*i, -4*i - 13 + 25 = 0. Is 9 a factor of a?
True
Let l be (-1 + -6)*(-21)/(-21). Does 20 divide (-40)/(65/l - -9)?
True
Is 3*(15 - 3 - (-29120)/39) a multiple of 12?
False
Let r(g) = g**3 + g - 2. Suppose -6*d + 7 + 5 = 0. Let m be r(d). Is 28 a factor of (-14 + m)/(2/(-45))?
False
Let h be (14/(-8))/(9/(-180)). Suppose -s - 3*b = -h, 162 = 4*s + 4*b + 22. Is s a multiple of 5?
True
Let i(g) = 9*g - 8 - g + 144*g**2 + 171*g**2. Is i(1) a multiple of 21?
True
Let g(c) = -18*c**3 + c**2 + 4*c + 5. Let r be g(-2). Suppose 9*n + 600 = -n. Let x = r + n. Is 8 a factor of x?
False
Let t be (-1 + 3)/(1/2). Suppose o - t = -5*j + 26, 4*j - 24 = -4*o. Is -1 - (-27 - (j + -4)) a multiple of 15?
False
Suppose 5*g - 354 = -0*g - 4*f, -4 = -4*f. Let q = 150 - g. Does 44 divide q?
False
Let w(i) = i**2 - 8*i - 33. Let v(z) = -2*z + 1. Let j be v(3). Let b be (-21)/1*-5*(-1)/j. Is 15 a factor of w(b)?
True
Suppose -15*f + 56 + 2284 = 0. Let z = f - -106. Is z a multiple of 16?
False
Suppose -841 = -2*q - l, -3*l - 6 = -3. Suppose -6*x - q + 3391 = 0. Is x a multiple of 16?
False
Let h be (-2)/(8/(-756)) - 3. Let w = 121 - 73. Suppose -6*f = -h - w. Is 15 a factor of f?
False
Let c = 2389 - -1036. Suppose c = -30*m + 13025. Is 20 a factor of m?
True
Suppose 12220 = 5*x + 5*f, -56*x - 4888 = -58*x - 4*f. Does 4 divide x?
True
Let i(h) = 23*h**3 + h**2 + 2*h - 1. Let o be i(1). Suppose a - 6*a + o = 0. Suppose 2*u - 75 + 1 = -3*p, a*p - 145 = u. Does 28 divide p?
True
Let d(j) = 5 + 7*j**2 + 2*j - 6*j**2 - 4 + j**2 - 98*j**3. Suppose -30*o - 41 + 11 = 0. Is 11 a factor of d(o)?
True
Does 198 divide 6 - (28/(-21))/(2/6525)?
True
Let v = -4466 + 7121. Is v a multiple of 2?
False
Let b = 10317 - 8964. Does 33 divide b?
True
Let w be 764/12 + 3/9. Suppose -34 = -2*c - d, 4*c - w = -0*c - 4*d. Is c a multiple of 18?
True
Let x be (-3 - -2) + (-10)/5. Suppose b + 3*h = 57, 18*h - 14*h = -b + 54. Is (4*b)/(-6)*x/4 a multiple of 9?
False
Suppose -10*d + 14*d + 24 = 0. Let i = 37 + d. Is 31 a factor of (252/8)/9*(i + 1)?
False
Suppose 7*s = 12*s - 20. Let q be s + 0 + 181 - -4. Suppose 7*z + 0*z = q. Is z a multiple of 9?
True
Suppose 0 = -4*w - 3*f, -5*f - 10 = 5*w - 5. Suppose 2*l + 5*k + 418 = 3*l, -4*l + 1706 = -w*k. Is 28 a factor of l?
False
Let d(a) = -a**3 - 7*a**2 + 7. Let t be d(-6). Let r = t - 8. Let v = 117 + r. Is v a multiple of 13?
False
Suppose 2*s = 10, -d - s + 28 + 30 = 0. Let q be -3 - ((d - -3) + (0 - -1)). Let a = -21 - q. Does 8 divide a?
False
Let z(k) = k**3 + 3*k**2 + 2*k + 622. Let u be z(0). Suppose 13*j - 5*n = 12*j + u, 0 = 2*j - 5*n - 1219. Is 71 a factor of j?
False
Let j = -17986 - -30493. Is j a multiple of 47?
False
Suppose -4*o = -5*z + 129432, 3*o - 53251 = -5*z + 76195. Is 18 a factor of z?
False
Let t = 23914 - 10110. Is 27 a factor of t?
False
Let p be (-67)/3 - (-10)/(-15). Let v = 32 + p. Is (-223)/(-3) - 3/v a multiple of 18?
False
Suppose -648 = -2*z + 4*j, 4*z - 5*j - 1520 + 227 = 0. Is z a multiple of 3?
False
Suppose 0 = 2*j + 4*p - 6, 3*p + p = -j + 3. Suppose -52 = -x - 5*f - 21, 3*x - j*f - 39 = 0. Does 16 divide x?
True
Let t(l) = 5*l + 11. Let a be t(3). Let w = 55 + a. Let b = w + 124. Is b a multiple of 37?
False
Suppose 0 = 116*m - 81*m - 106400. Is m a multiple of 160?
True
Suppose -837 = 7*n - 2881. Suppose -4*g + 348 = -n. Is 10 a factor of g?
True
Let i(n) = -309*n + 1052. Does 70 divide i(-12)?
True
Suppose -22*i + 47*i - 23*i = 14328. Does 199 divide i?
True
Is 4/(104/154438) + (-40)/(-520) a multiple of 20?
True
Let y(m) be the third derivative of 0*m + 0 - 1/8*m**4 - 21*m**2 + 1/15*m**5 - 10/3*m**3. Does 13 divide y(5)?
True
Suppose -26190 = -29*h - 351. Is 33 a factor of h?
True
Let p(t) = -12*t - 31. Let c(x) = 11*x + 32. Let o(r) = -4*c(r) - 3*p(r). Let v be o(-9). Suppose 3 = 2*i - v. Is 2 a factor of i?
True
Let c(n) = 53*n**2 - 7*n - 156. Is 175 a factor of c(-9)?
True
Let m(x) = -x**2 + 2*x + 6. Let s be m(-9). Let p = 77 - s. Let o = 242 - p. Is 12 a factor of o?
True
Suppose 6*m = 6 - 0. Does 21 divide m/((-3)/(-1512)*6)?
True
Let x(m) = -5*m + 32. Let p be x(5). Let a(g) = g**2 - 6*g - 5. Let y be a(p). Suppose -190 = -3*t - y*k, -t + 4*k = -6*t + 314. Is 11 a factor of t?
True
Let m(h) = h**2 - 16*h + 23. Let g(r) = 3*r**2 - 47*r + 67. Let i(z) = -4*g(z) + 11*m(z). Suppose -5*u + 16 + 9 = 0. Is i(u) a multiple of 4?
True
Suppose 2*z - 2*g + 772 = 0, 828 = -2*z + 5*g + 62. Let o = 464 + z. Is o a multiple of 38?
True
Let k = 1995 + -457. Is k a multiple of 38?
False
Let c = -45 + 50. Suppose -551 = -c*b + 619. Does 9 divide b?
True
Let p = 143 + -106. Suppose 4*u = -16, -5*h + p = u - 4*u. Suppose -4*a + h*n + 908 = -a, n + 306 = a. Does 23 divide a?
False
Suppose 17*t - 26*v = -22*v + 87724, -5*v - 10325 = -2*t. Does 129 divide t?
True
Does 14 divide (-1260)/48*1*422/(-9)*12?
True
Let m(v) = 33*v**2 - v + 2. Let r be m(1). Suppose 0 = -3*a + 3*p - 18 - 18, -4*a + 3*p = 49. Let w = r + a. Does 8 divide w?
False
Let r(d) = 4*d - 27. Let g be r(8). Suppose 5*k + 60 = -g*x, -3*k = k + 3*x + 47. Let f = k + 154. Does 11 divide f?
True
Let d = 2025 + 15. Does 10 divide d?
True
Suppose -282 - 366 = -36*b. Is 4 a factor of 334/6 + 1 - b/27?
True
Suppose -74*a + 68*a = -4026. Suppose 4*g - 6943 + a = 0. Is g a multiple of 21?
False
Suppose 0 = -23*t + 24*t + 12. Let g(c) = -15*c - 22. Let f(r) = 5*r + 7. Let u(w) = -7*f(w) - 2*g(w). Does 13 divide u(t)?
False
Does 25 divide -950*(-578)/(-102)*3/(-2)?
True
Let r be 118 + -1 - (-2 - 0/7). Suppose -4*m + j + r = -336, -5*j = -5*m + 565. Is 4 a factor of m?
False
Suppose 5*h = 32*h - 2133. Suppose -h*c = -70*c - 7749. Is c a multiple of 41?
True
Is 8 a factor of (6652/24)/((-12)/(-144)) + 1*-7?
False
Let m(d) = 172*d**3 - 5*d**2 + 12*d - 21. Let g(t) = -43*t**3 + t**2 - 3*t + 5. Let l(h) = -9*g(h) - 2*m(h). Let c = 5252 + -5251. Is l(c) a multiple of 9?
False
Let q be ((6/(-8))/(-3))/((-25)/700). Is 64 a factor of 13/(13/288) + q?
False
Let g be (-4)/24 - (-164)/(-24). Let w be ((-333)/4)/(g/(-224)*12). Let z = 44 - w. Is 51 a factor of z?
False
Let n(x) = 7*x**3 + 13*x**2 - 11*x**3 + 9 + 2*x**3 + 14*x + 3*x**3. Does 5 divide n(-11)?
False
Let k = 110 - 109. Let g(s) = -5*s + 5. Let f be g(k). Suppose f = -3*b + 926 - 26. Does 30 divide b?
True
Is 31 a factor of 4898*(-6 + -52*(-10)/80)?
True
Let y(i) = 12*i**2 - 7*i + 157. Is 9 a factor of y(-12)?
False
Let i(j) = j**3 - 4*j**2 + j - 17. Let m be i(10). Let b = -301 + m. Suppose -3*z - 2*v = -299, -b = -4*z + z + 5*v. Does 16 divide z?
False
Let p(l) = 43*l**2 - 81*l**2 + 9 - 4*l + 39*l**2 - 2. Let j be p(2). 