0 = -3*o + 5*s. Does 12 divide o?
True
Let o be (21/(-5) - -3)/((-2)/335). Let a = -168 + o. Is 15 a factor of a?
False
Suppose -137 = 6*d + 43. Let s be (d/70)/((-1)/7). Suppose -4*y = -2*w + 190, -4*w = -0*w - s*y - 400. Is 32 a factor of w?
False
Let y be 18/(27/3) + 1096/2. Suppose -6*h = -y - 122. Is 28 a factor of h?
True
Suppose 3*f = 3*q - 9, -11*q + 15*q + 3*f - 19 = 0. Is (42/4)/(-7) + 558/q a multiple of 23?
True
Suppose v = s + 12, 6*v - v = 4*s + 56. Does 112 divide -1*917/(v - 9)?
False
Let c(o) = -o - 167. Let r be c(28). Is r/(-10)*-1*8/(-3) a multiple of 3?
False
Suppose -7*u + 12*u = -2*j + 16700, j - 5*u - 8380 = 0. Is j a multiple of 44?
True
Let r = -8307 - -19574. Does 141 divide r?
False
Is 2/(-9) + (-1175)/(-225) + 763 a multiple of 8?
True
Suppose 27*n = 25*n + 594. Suppose 3*p + 11*p = 154. Let q = n + p. Is 14 a factor of q?
True
Let f = -3578 - -3721. Is f a multiple of 13?
True
Let z(v) = 750*v**2 - 86*v - 246. Is 21 a factor of z(-3)?
True
Let q = -110 + 202. Let t(j) = 6*j**2 - 2*j - 1. Let n be t(4). Let b = q - n. Does 3 divide b?
False
Let r = 803 - 775. Suppose -n - 2 = -2*n. Suppose n*f = r + 28. Does 4 divide f?
True
Let t = 111 - 109. Suppose -5*j + 1864 = -0*w + t*w, -5*j + 1873 = -w. Is j a multiple of 17?
True
Let b(y) be the first derivative of 263*y**2/2 - 71*y + 238. Is b(5) a multiple of 55?
False
Is 153 a factor of (-63)/((-3024)/(-5408))*966/(-4)?
False
Let p = -14111 - -16737. Does 25 divide p?
False
Let s(f) = f**2 - 20*f + 30. Let g be s(18). Is g/3 - 1 - -95 a multiple of 31?
False
Let l = 22904 + -12303. Is 11 a factor of l?
False
Let v(d) = -2173*d + 2018. Is 8 a factor of v(-30)?
True
Let v(y) = 72*y**2 - 4*y + 4. Let o = -268 - -269. Is v(o) a multiple of 8?
True
Is 10 a factor of -80 + 118 + -44 - (-9846 + 1 + -1)?
True
Suppose 2*g = -2*i + 4, 3*g - 5*g + 12 = 4*i. Suppose w = -o + i, -w + 3*o + 4 = -o. Suppose -4*s + 106 = -3*b, -5*s - w*b + 115 = b. Does 11 divide s?
False
Suppose -4*k = 24 - 4. Let c(d) = -89*d - 49. Is 18 a factor of c(k)?
True
Let k(l) = l**2 - 2*l - 2. Let j be k(2). Let g be 6/j + 2/(-2). Is 20 a factor of 89*((-2)/(g/2))/1?
False
Let w(n) = -n**3 + 9*n**2 + 3*n - 10. Suppose 0 = 14*b - 9*b - 45. Is 2 a factor of w(b)?
False
Does 35 divide ((-6)/(-33) - 10378177/(-748)) + (-21)/28?
False
Suppose l + 5*o - 3 = 0, 27 - 72 = 5*l + 5*o. Let k be (-36)/(-10) - l/30. Suppose -b + 75 = -4*j, -j = -k*b - 0*j + 345. Does 10 divide b?
False
Is (759/(-92))/(9/(-4404)) a multiple of 11?
True
Let g(a) be the second derivative of a**5/120 + 7*a**4/6 - 8*a**3/3 + 24*a. Let p(z) be the second derivative of g(z). Is 2 a factor of p(-19)?
False
Let s = -87698 - -128251. Is 107 a factor of s?
True
Suppose -6*r = -16*r + 30. Suppose -2*p = -3*z - 4, -2 = -2*p + p + r*z. Suppose -5*y = -0*k - 2*k + 89, -99 = -p*k - 5*y. Is 6 a factor of k?
False
Suppose 11*t = 80*t - 16146. Is t a multiple of 14?
False
Let k = 130 + -127. Suppose -30 = -5*r + 5*z, -5*z + 16 = -k*r + 44. Let g(w) = 103*w - 5. Is 14 a factor of g(r)?
True
Let s(p) = -p**3 + 11*p**2 + 21*p + 3. Let o be s(10). Let i = 1 - -1. Suppose 5*z - 3*f - o - 688 = 0, -3*f = -i*z + 404. Is 14 a factor of z?
False
Let f(y) = 2*y**2 + 200*y - 1227. Does 7 divide f(-106)?
False
Let s = -31103 - -32962. Is s a multiple of 20?
False
Let z(t) = t**3 - 13*t**2 - 14*t + 4. Let u be z(14). Suppose -u*s + 2923 = 107. Is 11 a factor of s?
True
Suppose 13*m + 4*m + 17 = 0. Let p(c) = 180*c**2 + 5*c + 4. Is 32 a factor of p(m)?
False
Let h be -2 + 14/10 + (-8072)/(-20). Let j = h - 198. Suppose -j*x + 201*x = -8. Is x even?
True
Let f(t) = -58 + 106*t - 248*t + 120*t. Is f(-9) a multiple of 27?
False
Let t(x) = -609*x + 7844. Does 5 divide t(-54)?
True
Let v(h) = -h**3 + h**2 - 2*h + 38. Let g = 42 - 42. Let q be v(g). Let x = -26 + q. Is x a multiple of 4?
True
Suppose 5*m - 2 = 18. Let x(g) = g**2 - 5*g + 7. Let u be x(m). Suppose -8*a = -u*a - 140. Is a a multiple of 14?
True
Suppose -5*m + 2*b + 29 = b, 4*m - 3*b = 21. Let c = 11 + m. Suppose r + c = 89. Does 18 divide r?
True
Let y = 25375 + -15889. Does 186 divide y?
True
Let n = -1882 + 2185. Is n a multiple of 6?
False
Suppose 0 = 11*r - 901 - 815. Suppose -r = 3*d + 192. Does 9 divide d/5*(-80)/32?
False
Let h(q) = 4*q**3 + 131*q**2 - 384*q + 45. Is h(-35) a multiple of 41?
True
Let f(i) = -i**2 - 16*i - 24. Let y be f(-13). Suppose -y*s - 5304 = -21*s. Does 52 divide s?
True
Let q(r) = -68*r + 8. Let y(o) = -3*o + 3. Let d be y(0). Suppose d*x = 8*x + 10. Does 18 divide q(x)?
True
Let n = 9704 - 1065. Is n a multiple of 21?
False
Let l(q) = -5*q**3 + 24*q**2 - 41*q - 8. Let t(p) = 3*p**3 - 12*p**2 + 21*p + 4. Let j(o) = 4*l(o) + 7*t(o). Is j(-12) a multiple of 24?
False
Let f be 358/(-10) + 1/(-5). Let i = 30 + f. Does 40 divide 0 + 0 + 166 + i?
True
Let c(s) = -460*s - 810. Is 12 a factor of c(-8)?
False
Is (-15)/(-20) - (-4738611)/284 a multiple of 18?
True
Let c(j) = -54*j**2 + 8*j - 186. Let x be c(11). Is (-2160)/(-156) + -14 - x/13 a multiple of 91?
False
Suppose -f + 3 = 2*m - 5, m = 3*f - 45. Let l be (-366)/42 + -1 - 4/f. Does 25 divide ((-4)/l)/((-17)/(-4505))?
False
Let b(c) = -16*c**3 - 22*c**2 + 6*c - 17. Is b(-5) a multiple of 37?
False
Suppose -2*y = -4*h + 26, -2*h + 4*y + 32 = h. Is h*((-11130)/(-24))/7 a multiple of 10?
False
Let v(r) = -r**3 + 3*r**2 + 2*r - 6. Let g be v(3). Suppose 20 = 2*q + 5*l, g*l + 40 = 4*q + 2*l. Suppose -q*d + 28 = 8. Is 2 a factor of d?
True
Suppose 75*y + 26310 = 89*y + 3308. Does 53 divide y?
True
Let f = 425 + -301. Let c = f - 64. Does 5 divide c?
True
Let j be (35 - 27)*(2 - 53)/1. Let r = 28 - j. Is 8 a factor of r?
False
Let c = -208 + 228. Suppose -z = -h + 459, -c*h = -22*h - z + 906. Is h a multiple of 25?
False
Suppose -10*i + 9793 = -75047. Is i a multiple of 28?
True
Let v(o) = 20*o**2 - 16*o - 19. Let s be 702/(-42) - -14 - (-2)/(-7). Is 10 a factor of v(s)?
False
Suppose -128*x + 11*x = 65*x - 2050594. Is x a multiple of 19?
True
Let p(g) = 44*g**3 - 35*g**2 + 244*g + 22. Is p(6) a multiple of 17?
False
Suppose 2*d - 3*x - 57367 = 0, 4*x = -3*d + 101508 - 15432. Is 88 a factor of d?
True
Let b be (-10)/(-4)*(-4)/(-5). Suppose -i - 5*p = -0*i, p = -b*i. Suppose -3*n = -z - 4*z - 80, n - 5*z - 40 = i. Is 4 a factor of n?
True
Let a(p) = 363*p - 42. Let r(o) = -o**3 + 5*o**2 - 3*o + 1. Let d be r(1). Is 18 a factor of a(d)?
True
Let o = 174 - 169. Suppose 0*f + 2*m = 3*f - 1062, o*f + 3*m = 1789. Does 7 divide f?
False
Is (-4140)/(11 - 23) - -9 a multiple of 118?
True
Suppose -g - 6532 = -5*w + 2*w, w - 2148 = -7*g. Is 229 a factor of w?
False
Suppose 2*n = 10 - 0. Suppose -n*v = -111 - 19. Let m = 56 - v. Is 5 a factor of m?
True
Is ((-398)/(-199))/((-2)/(-1322)) a multiple of 4?
False
Let d(g) = 57*g - 2185. Is d(68) a multiple of 3?
False
Suppose 3*z - o = 283, -13*z + 369 = -9*z - 3*o. Suppose 120 = -z*g + 98*g. Is 15 a factor of g?
True
Let z(x) = 102*x**2 + 651*x - 90. Does 7 divide z(-20)?
False
Let b(l) = 6 - 3*l**3 + 8*l**2 + 4*l**3 + 3 + 7*l. Let t be (-3)/(-18) + (-111)/18. Is 9 a factor of b(t)?
False
Let j(f) = 2*f**2 + 7*f + 36. Let p be j(-11). Let o = -49 + p. Suppose -5*v = w - 15 - 46, -4*v + o = 2*w. Is w a multiple of 24?
False
Let l = -7527 - -14655. Is l a multiple of 18?
True
Let a = -104 - -116. Suppose a*t = -2 + 2. Does 30 divide (-1)/7 + t - (-3222)/14?
False
Suppose 0 = 3*o + 3, 2*p - o - 441 = -0*o. Suppose 0 = 4*v - 5*t - p, -t - 170 = -4*v + 66. Is 4 a factor of v?
True
Let s(c) = -c**2 + 2*c + 1. Let a(i) = -6*i**2 + 5*i - 509. Let j(w) = -a(w) + 3*s(w). Is 8 a factor of j(0)?
True
Let h = -13498 - -53099. Is h a multiple of 144?
False
Let z = 3961 + -1. Is 30 a factor of z?
True
Let q(z) = -2*z**2 + 16*z - 8. Let c be q(8). Let a(h) = -h**3 - 8*h**2 + 7*h - 2. Let t be a(c). Let p = 14 - t. Is 12 a factor of p?
True
Let a(r) = r**2 + 2*r - 3. Let p be a(2). Suppose 5*b + 64 = 4*n, n + p*b - 37 = b. Is 6/n - 278/(-7) a multiple of 10?
True
Suppose 26*j - 1380 = 3*j. Suppose j + 74 = w. Is w a multiple of 3?
False
Suppose 0 = 8*h + 51 + 29. Let k be h/(1 - (-3 - 9/(-3))). Let t(l) = -6*l - 33. Is t(k) a multiple of 9?
True
Suppose -2*h - 8 = -6*h. Suppose h*v = -3*v + 20. Suppose 200 = -0*q +