 + 5*x = x - 68. Is n a multiple of 6?
False
Let u(y) = -9*y - 171. Let p be u(-19). Suppose -3*g + 5*d - d = -1764, g + d - 581 = p. Does 47 divide g?
False
Let y be -2 - 3 - (-26 - 1). Suppose -y*k = 8*k - 23340. Is k a multiple of 55?
False
Let a be (-30)/12*(-6)/5. Let l(h) = 3*h - 11. Let m be l(a). Is m/(-3) - (-392)/42 a multiple of 9?
False
Suppose -k - 532 = -3*r, 4*r - 4*k + k = 701. Suppose 0 = r*o - 184*o + 1400. Is 7 a factor of o?
True
Is 9 a factor of 11/((-253)/(-16836)) - (-3 + 1)?
False
Let n be (0 - (-4)/(-8))/((-5)/20). Suppose -i + 3*b = -45, -5*i + 10*i - 238 = n*b. Is 6 a factor of i?
True
Let p = -47 - -43. Does 25 divide 3 - 694*p/8?
True
Suppose 2*z = 2*q + 506, 0*z = -2*z - 2*q + 518. Suppose 4*b + z = 1040. Is b a multiple of 4?
True
Let q = -5797 + 7390. Is q a multiple of 9?
True
Let i(t) = -6*t + 98. Let q be i(14). Is 24 a factor of 5240/q + ((-37)/7 - -5)?
False
Let g = 487 - 231. Does 60 divide g?
False
Let g(w) = -2*w**3 + 58*w**2 + 67*w + 133. Let m(j) = -j**3 + 28*j**2 + 34*j + 67. Let v(f) = -6*g(f) + 13*m(f). Does 18 divide v(17)?
False
Let g be 3*(39/27 + 6/27). Suppose 23 = g*c - 237. Does 13 divide c?
True
Let l = 149 - 137. Let n(g) = g**3 - 10*g**2 - 17*g - 8. Is 4 a factor of n(l)?
True
Suppose 0 = 6*y - 0*y - 11724. Let u = y - 1266. Is 43 a factor of u?
True
Let b = -35955 - -46467. Is 36 a factor of b?
True
Let v(k) be the second derivative of 7*k**3 - 31*k**2/2 - 2136*k. Suppose 0 = 5*a - a - 24. Is v(a) a multiple of 17?
True
Let w(o) = -o**2 + 7*o - 7. Let a be w(3). Suppose a = -11*d + 12*d. Suppose 0 = -d*t + 89 + 81. Does 11 divide t?
False
Suppose -5*w + 23 = -17. Is 4 a factor of ((-4)/w)/(4*1/(-432))?
False
Let u(h) = h**2 - 9*h - 25. Let w be (-6)/12*(1 - 25). Let r be u(w). Suppose -r*b + 12*b = 67. Does 22 divide b?
False
Suppose -3*y - 4*b = 637, y - 2*b + 223 = 2*b. Is 17 a factor of (5 + (6 - 3))/((-10)/y)?
False
Let p be (-12)/(-8)*(-40)/(-15). Let n be (-3 + (-30)/(-8))*p. Suppose 5*t + n*t - 1912 = 0. Is t a multiple of 13?
False
Let s(w) = -w - 10. Let g be s(10). Let p(x) = -13*x + 37. Does 9 divide p(g)?
True
Let z = 803 - 550. Let u be (6/(-8) + 0)*-8. Suppose -4*b - f = -u*b + z, 4*b + 5*f = 485. Is 17 a factor of b?
False
Let u be (-3 + 0)*(-180)/135. Suppose -3*r - 1140 = -u*q, -r + 317 + 839 = 4*q. Is 12 a factor of q?
True
Let b be -1 + 4/6 - (-1376)/258. Suppose 0 = -7*u + 6*u - b, 5*n - 3*u = 2485. Is 26 a factor of n?
True
Suppose -3*s + k + 7268 = 0, 6 = 3*k - 6. Does 2 divide s?
True
Let a = 733 - 764. Is (-6295)/a + (-180)/2790 a multiple of 7?
True
Let c(a) = -a**3 - 2*a**2 - a + 2. Let k be c(0). Suppose -k*o + 4*o = 34. Does 17 divide o?
True
Suppose 3*b = -14*j + 8*j + 82332, -2*j = -b + 27456. Is 18 a factor of b?
True
Let g = 338 - 352. Is (-304)/28*g/4 even?
True
Suppose 21 + 54 = 4*t + 3*r, -3*t = 5*r - 48. Suppose t*l - 19*l - 8 = 0. Suppose -321 = -2*c - 7*o + 4*o, -2*o + 622 = l*c. Does 8 divide c?
False
Suppose -13*z + 44197 = -5*z - 36603. Does 101 divide z?
True
Suppose -6*n + 15 = -3. Suppose -n*p - 5*k + 714 = 0, 0 = -16*k + 18*k. Is p a multiple of 13?
False
Let t = -73 - -73. Suppose -21*i + t*i = -105. Suppose -286 - 1239 = -i*r. Is r a multiple of 30?
False
Let a = 415 - 183. Suppose 230*z + 18 = a*z. Is z even?
False
Let p(y) = -y**2 - 5*y - 2. Let w(o) = -o**2 - 5*o - 2. Let n(c) = -3*p(c) + 4*w(c). Let a be n(-3). Suppose -q - a*q = -145. Is q a multiple of 20?
False
Let x be (-4)/14*1 - 30948/(-28). Suppose 22*y - x = 17*y. Is 20 a factor of y?
False
Suppose -50*h + 627520 = 56*h. Does 80 divide h?
True
Let b(y) = -2*y**3 + 7*y**2 + 17*y + 709. Is 12 a factor of b(-14)?
False
Let b = 2777 + -1393. Is 27 a factor of b?
False
Let s be 6 + (-2 - -4) - (-16)/(-4). Suppose s*h - z - 1127 = 477, 5*h = z + 2006. Is h a multiple of 22?
False
Does 3 divide (-9)/(-18) + 3888339/462 + (-2)/(-11)?
False
Suppose -649 = -2*d - 2*x + 3469, 0 = -2*d + x + 4142. Is 38 a factor of d?
False
Is 5*(-80)/50 + (3270 - 4) a multiple of 3?
True
Let k be (-3)/2 + 9/(-6). Let o(z) = z**2 - 10*z + 14. Let v be o(9). Is 5 a factor of (1520/(-5) - v)/k?
False
Let k(t) = 114*t + 4906. Is k(55) a multiple of 23?
False
Let m = 41 + -36. Suppose -12 = -2*n + m*c, 0 = 5*n - 9*c + 4*c - 30. Is (-117)/(-4)*16/n a multiple of 6?
True
Let j = -7 + 11. Let u(c) = -21 + 14 - 13*c - 19 + j. Does 4 divide u(-3)?
False
Suppose -5*q + 331 = -1314. Suppose -h = -4*t + 4*h + q, 160 = 2*t - 4*h. Does 6 divide t?
False
Suppose -261*m - 12 = -267*m. Let r(v) = 22*v**2 + 10*v - 5. Let u(t) = 23*t**2 + 9*t - 5. Let o(z) = -3*r(z) + 4*u(z). Is o(m) a multiple of 37?
True
Suppose 129*w = -10*w - 73697 + 252590. Is 39 a factor of w?
True
Suppose -16*t + 177153 = 7051 + 26934. Is t a multiple of 2?
True
Is 8 a factor of (-90)/(-126) + (-24891)/(-21)?
False
Let p(n) be the second derivative of 7*n**4/12 - 2*n**2 + 116*n. Is p(2) a multiple of 4?
True
Does 27 divide (5944 - -10) + 18 - -5?
False
Let x(g) = 2 - 15*g + 22*g**2 + 14*g + 23*g**2. Let b be x(-1). Suppose 9*p - 5*p - b = 0. Is 12 a factor of p?
True
Suppose -18*r + 183 = -15*r. Suppose -5 - r = -6*g. Let i = 23 - g. Is i even?
True
Is 4 a factor of (-23 - -4 - -145) + -1 + 1 + 1?
False
Suppose 7 = 2*p - p. Let z be (-14)/p - (0 + 1). Is 12 a factor of (0 + 1)/(z/(0 + -126))?
False
Let h(a) = -3*a - 14. Let t(m) = -4*m - 14. Let d(s) = -4*h(s) + 5*t(s). Let z(v) = -8*v - 13. Let n(b) = 2*d(b) - 3*z(b). Is n(11) a multiple of 22?
False
Suppose 55370 = -5*f + 289175. Is 13 a factor of f?
True
Suppose -17*y - 4 = -12*y + 4*x, -5*y + x - 24 = 0. Is 119 - (1 - (-1)/2*y) a multiple of 15?
True
Let n(f) = -f**3 - 2*f**2 - 4*f + 6. Let l be n(-8). Suppose 2899 = -8*d + 539. Let q = d + l. Is q a multiple of 39?
False
Let h = 307 + -118. Does 14 divide (-3132)/(-14) - (-54)/h?
True
Let y(g) = g**2 + g - 1. Let f(p) = 3*p**2 - 12*p - 61. Let n(x) = -f(x) + 2*y(x). Let m be n(17). Let t = m - -267. Is t a multiple of 29?
False
Let c(d) = -d**2 + 2*d + 3. Let i = 31 - 32. Let j be c(i). Suppose -102 = -4*g + q + q, j = 5*g - 3*q - 125. Does 15 divide g?
False
Suppose 25766 = 3*j - 4*u, -5*j - 2*u + 34340 = -j. Is j a multiple of 106?
True
Let k(f) = -2*f**3 - 7*f**2 - 60*f + 163. Does 25 divide k(-18)?
False
Let b = 14148 - 515. Is b a multiple of 12?
False
Let k = -17 - 13. Let x be ((-316)/(-6))/(k/(-45)). Let a = 199 - x. Is 15 a factor of a?
True
Let u(c) = 35*c + 18. Suppose 4 = -29*b + 31*b. Suppose b*p = 5*f - 45, p + 1 - 3 = -f. Does 22 divide u(f)?
False
Suppose -20*w = -26*w + 30. Let d be 7/2 + (-3)/2. Suppose 5*u = 7*k - d*k - 700, w*k + u = 700. Does 16 divide k?
False
Is 101 + 445 + -9*1 even?
False
Is (-140)/(-84) + 23375/15 a multiple of 34?
False
Let u be (5/(-2) + -2)*-2. Let f(q) = 51*q - 104. Is 51 a factor of f(u)?
False
Let y(f) = -f**2 - 16*f - 50. Let a be y(-4). Is 4 a factor of a - 0 - ((-1 - 86) + 2)?
False
Let j(x) = -7100*x + 128. Does 26 divide j(-1)?
True
Let d = 55 + -54. Suppose d - 7 = -2*p. Suppose -o = -2, p*o + 2*o - 100 = -3*n. Is 7 a factor of n?
False
Let n be (-1 - 16/(-12)) + (-2)/6. Suppose 3*g - 2*l = -6*l + 650, -3*l + 6 = n. Is g a multiple of 32?
False
Suppose -14 = -3*k + 1. Suppose 3*m - 535 = -k*f, -2*m + 130 = -3*f - 252. Does 12 divide m?
False
Is (5 - -9)/(16457/4114 + (-15 - -11)) a multiple of 11?
True
Let w = -5801 - -11465. Is w a multiple of 48?
True
Is 14 a factor of -147 - -154 - 5626/(-2)?
False
Suppose 4*s - 2*s = 0. Suppose 0 = 2*t + 6, 4*t = y - s*t - 16. Suppose g - y*g = -339. Is 11 a factor of g?
False
Suppose -7*u + 160 = -2*u - 3*l, 82 = 3*u + l. Let t = 38 - u. Is 6 a factor of (48 + 2*t/(-6))*1?
False
Suppose 4*a = -2*n + 322, 0 = 4*a - n + 2*n - 327. Suppose 5*l + 190 = 4*b, 0*b + 76 = -2*l + 5*b. Let j = a + l. Is j a multiple of 5?
True
Suppose -175 = -a + 6*a - n, 5*a + n + 175 = 0. Let t = -32 - a. Suppose -3*d - 3*h + 141 = 0, t*h - 4*h - 79 = -2*d. Is 5 a factor of d?
False
Let m = -50 - -50. Let x = m + 3. Suppose 6*q - 3*q = x*p + 315, 3*p = -3*q + 297. Does 34 divide q?
True
Suppose -61*o - 3*x = -66*o + 31236, -o = -4*x - 6254. Is o a multiple of 18?
True
Let g = -49 - -70. Let w = g - -2. Suppose -w*b = -18*b - 155. Does 7 divide b?
False
Let u(c) = -9*c**2 + 2*c