se -1020 = -4*a - 5116. Let g = a + 658. Does 10 divide (g/12)/((-3)/6)?
False
Let u = 9 - 764. Does 18 divide u/(-5) + (-1 + 0 - 0)?
False
Suppose -11064 = -2*c - 2*x, 0 = -2*c - x + 5682 + 5378. Is c a multiple of 8?
True
Suppose -c = -5*y + 2, -44 = -0*c + 4*c - 2*y. Let l be (-3)/c + 171/36. Suppose -l*v + 2*v - 2*q = -320, -10 = 5*q. Is 12 a factor of v?
True
Suppose 10806 = 4*g + 3*m, -7438 = -4*g - m + 3364. Is g a multiple of 36?
True
Is (-77716)/(15 + -16 + -3) a multiple of 11?
False
Let x(i) = i**2 + 13*i - 40. Let s be x(-16). Suppose 9*p - s*p = 5*b + 865, -5*p + 2*b + 4210 = 0. Is 57 a factor of p?
False
Let f(p) = -4*p**3 + 17*p + 3. Is f(-4) a multiple of 6?
False
Suppose -y - 3*y - 9*y = 0. Suppose -t - 4*v + 66 = y, 4*t - 180 = -3*v + 136. Does 9 divide t?
False
Let t(w) = -w**3 + 3*w**2 - 1. Let d be t(2). Let k(o) = 3*o**2 - o**2 + 17*o**2 + 12 - d*o + o**3 - 2*o. Does 6 divide k(-19)?
False
Let o = -30 - -44. Let k(i) = 21 - 2 + 1 + i + 12. Is 6 a factor of k(o)?
False
Suppose -128936 = -5*x + 4*k, 5*x - 128937 = -3*k + 6*k. Is x a multiple of 42?
True
Let b(n) = -n + 295. Let v be b(0). Suppose -3*t - x + 6*x - v = 0, -3*x + 15 = 0. Does 42 divide (-72)/t*(107/2 - 1)?
True
Let u be 5 - (-3 + 5 + 0 - 2). Suppose 3*h - 8*h = -u*f + 90, 3*f = 2*h + 50. Does 3 divide f?
False
Suppose -10 = -2*o, 18*o - 85 = 3*f + 16*o. Is 2 a factor of (-33230)/(-250) + (-2)/f?
False
Suppose r - 5*k = 3, 0 = 4*r - 4*k + 1 + 3. Let s be -1*(r + -1)/1. Suppose -94 = -4*m - 2*o, -s*m - o + 73 = -0*m. Does 13 divide m?
True
Let w(t) = 4*t**2 - 3*t. Let x be w(2). Let a be (x/15)/(2/36). Is (70 + -2)*15/a a multiple of 17?
True
Let p = 9 + -9. Let r be 36/48 - 26/(-8). Suppose p = r*n + 47 - 287. Is 12 a factor of n?
True
Let s = -54 + 78. Let i be 2/(-8) - 114/s. Let q = 55 - i. Is 12 a factor of q?
True
Suppose 89*t - 1234561 = 42767. Does 69 divide t?
True
Let j(m) = 643*m + 17 + 5 - 6 - 659*m. Does 12 divide j(-8)?
True
Suppose -3*x = -7*x - 0*x. Suppose -4*l + x*l + 6579 = -3*v, -v = 2*l - 3287. Suppose -13*t + l - 292 = 0. Is t a multiple of 13?
True
Suppose 0 = -30*g - 5699 + 84929. Suppose 335 + g = 8*j. Is 25 a factor of j?
False
Suppose 4*p = -29 + 69. Suppose p = -m - 65. Does 10 divide 81/5 - 5*(-3)/m?
False
Let i = 61814 - 42206. Is 152 a factor of i?
True
Let o(i) = i**3 - 27*i + 8. Let l be (6*2)/((-10)/(-5)). Does 2 divide o(l)?
True
Suppose f - 220 = 6*f. Let i be f/(-66) - (-830)/6. Suppose i = 2*r - 133. Is r a multiple of 28?
False
Let n(g) = 25*g**2 + 18*g - 183. Let p be n(10). Let i = -1163 + p. Is 58 a factor of i?
True
Let d(z) = 5*z**2 - 2*z + 1. Let s be d(-2). Suppose 0 = -4*v + 35 + s. Suppose 42*t + v = 43*t. Is t a multiple of 3?
True
Suppose -i = 4*c - 10798, c = 162*i - 163*i + 2704. Is c a multiple of 38?
True
Suppose -8*a = -4395 - 9328 - 11141. Is a a multiple of 111?
True
Let p(h) = -2*h**3 - 59*h**2 - 80*h - 153. Is p(-33) a multiple of 30?
True
Suppose 2*f - 2*l = -556, 2*l = 2*f - f + 276. Let x be (-1 - -4)*f/(-24). Let w = x + -19. Is w a multiple of 7?
False
Suppose 8*a = 3*a + 35. Let r(f) = f**3 - 6*f**2 - 5*f - 8. Let j be r(a). Let n(k) = 4*k**2 - 6*k - 6. Is 17 a factor of n(j)?
True
Suppose 0*g = -2*k - 2*g + 2, 0 = 4*k - 2*g + 2. Suppose 9*w - 21*w - 4404 = k. Let h = 639 + w. Does 16 divide h?
True
Let p(g) = 2178*g - 2145. Is p(10) a multiple of 165?
True
Let o(j) = -j**3 + 53*j**2 + 2*j + 3. Is o(7) a multiple of 2?
False
Suppose -4*l - 19 = -l - 2*i, l + 3*i - 12 = 0. Let r(w) = -w**3 + 3*w**2 - 2*w - 4. Is r(l) a multiple of 7?
True
Let s(i) = i + 1. Let z be 4 - (3 + -8) - -2. Let a be s(z). Suppose 189 = a*k - 9*k. Is 9 a factor of k?
True
Let w(q) be the third derivative of q**6/20 - 17*q**5/60 + q**4/24 + 13*q**3/6 - 15*q**2. Let l be w(7). Does 18 divide (-6)/(-14) - (-5)/(175/l)?
True
Suppose -168*p + 224 = -175*p. Let z = p - -157. Is 62 a factor of z?
False
Let z(o) = 81*o**2 + 63*o**2 - 2*o - 2 + 5*o + 7*o**3 - 156*o**2. Is z(4) a multiple of 18?
False
Let z be 16/168 - 240/(-126). Suppose 5*u - 147 = 3*f, 4 = f - z*f. Is u a multiple of 3?
True
Suppose -19*p = 20 + 37. Is (-4)/(-6) - (4774/(-21) + p) a multiple of 8?
False
Suppose -4*a - 44535 - 30717 = -3*g, 0 = -4*g - 2*a + 100380. Does 15 divide g?
False
Suppose -8*x = -30 - 10. Suppose 7*d - x*d = -18. Does 12 divide (-6)/d*15/10 - -83?
True
Let i(l) = -4*l**3 + l**2 - 3*l + 507. Let k be i(0). Let w = k - 328. Is w a multiple of 73?
False
Let z(q) = -20*q + 2. Let w = -1 - -3. Let f(o) = o**3 - 3*o**2 - 3*o + 8. Let h be f(w). Is z(h) a multiple of 3?
True
Let p(j) = 49*j**2 - 504*j + 9. Does 16 divide p(14)?
False
Let r(o) = 100*o + 1720. Is 125 a factor of r(55)?
False
Let a = -17120 - -27235. Is 35 a factor of a?
True
Let t(a) = -460*a - 180. Is 12 a factor of t(-6)?
True
Let a(q) = 23*q**2 - 20*q - 29. Let w be a(12). Suppose -3*d + 821 = -w. Is d a multiple of 28?
True
Is 133 a factor of (1 + 1)*(-1)/23 - 30711/(-69)?
False
Suppose -12156 = 69*y - 73*y. Does 44 divide y?
False
Let f be (42/9)/(12/1206). Suppose -2*t - w = -2*w - f, 703 = 3*t - 2*w. Is t a multiple of 10?
False
Suppose -145*c + 2114160 = -8*c + c. Does 135 divide c?
False
Suppose -3310*w = -3304*w - 87084. Is 41 a factor of w?
True
Let q(c) = -c**2 - 24*c + 14. Let i be q(-12). Let s = i + -44. Does 22 divide s?
False
Let k = 1723 - -467. Does 5 divide k?
True
Is (6 - (3 + 115026/(-6))) + -4 a multiple of 15?
True
Let w = -2917 - -5558. Suppose 0 = -5*l - 4*t + 6337, 3*t + w = 4*l - 2410. Is 55 a factor of l?
True
Suppose -a - f + 9517 = 0, -3*f + 1395 = 5*a - 46182. Does 9 divide a?
True
Let y(h) = -14*h - 56. Let a be y(12). Let i = -45 - a. Is 20 a factor of i?
False
Suppose -14*d + 1286 = -10*d + 2*s, -3*s = d - 324. Is d a multiple of 3?
True
Is 2 a factor of (-34 - -30)/(4/(-1866)) + -3?
False
Is -36761*1/(-3) - (1080/(-162))/20 a multiple of 120?
False
Suppose 69*g = -200319 + 1263885. Does 16 divide g?
False
Let n = 5 - 13. Let y(i) = i**2 - 12*i - 26. Let l be y(n). Let j = -50 + l. Is j a multiple of 20?
False
Let k be (26/8)/((-1445)/(-240) + -6). Suppose -k - 236 = -7*g. Is 6 a factor of g?
False
Let i = 23 - 26. Let h(t) = t**2 - 6*t - 13. Let p be h(i). Is 6 a factor of 60/14 - 4 - (-80)/p?
True
Suppose -r + 23 = -3*k, 2*r + 3 = -3*k + 4. Let v = 8 - r. Suppose -4*m - 3*q + 100 = v, -96 = 2*m - 6*m - 4*q. Does 16 divide m?
False
Suppose 3*f - 3*v - 1081 + 328 = 0, 4*v = 3*f - 758. Is 41 a factor of f?
True
Suppose 2*r - 106606 = -112*r + 71690. Does 23 divide r?
True
Let j(s) = -292*s + 46. Let w be j(-5). Suppose -w - 461 = -7*d. Is d a multiple of 46?
False
Let g(m) = 39*m**3 - 18*m**2 - 21*m - 2. Is 9 a factor of g(5)?
False
Let u = -510 - -502. Is 16 a factor of 6 + ((-8515)/(-35) - u/(-28))?
False
Let k = 23 + -18. Let l be (-250)/(0 - (-1 + k - 3)). Suppose 3*o - 220 = 5*g, 0 = 4*o + g - 51 - l. Does 15 divide o?
True
Suppose 28*n - 23*n - 3 = -3*f, 5*n = 3*f - 3. Is 43 a factor of (f*8/(-3))/(14/(-3612))?
True
Suppose 2*b = 11*b + 1782. Let p = 124 - b. Is 14 a factor of p?
True
Suppose 2*s - 5*c + 7 = 0, -5*s - 5 = -4*s - c. Let q be (s/(-9))/(-2 + (-48)/(-27)). Let g = 54 - q. Is 19 a factor of g?
True
Suppose 0 = 16*x - 4*x + 264. Let u = -18 - x. Suppose 6*g = u*g + 46. Does 18 divide g?
False
Suppose -38*s + 27*s - 9800 = -16*s. Is 20 a factor of s?
True
Let v be (-77)/(-1) - (-25 + 22). Let r = -71 + v. Suppose 0*d + 216 = r*d. Does 6 divide d?
True
Suppose 2*k = n - 4*n + 17668, -n = -2*k + 17676. Does 125 divide k?
False
Does 60 divide -9 + 20 - 48933/(-9)?
False
Suppose -4*b - 13*d = -11*d - 31442, -3*b - 5*d = -23592. Does 160 divide b?
False
Let q(g) = 4*g**2 - 21. Let c be q(5). Suppose 3*b - c = 80. Is ((-15)/(-10) - (-2)/(-4))*b a multiple of 4?
False
Suppose n = -1, 31569 = 68*u - 64*u - n. Is 44 a factor of u?
False
Does 159 divide -8 + (16 - -1) - (-14 + -9994)?
True
Let o = 19361 + -9620. Is o a multiple of 21?
False
Suppose 0 = -3*z + 5*q + 1769, 0 = z + q + 242 - 845. Suppose 203 = j + 2*u + 3*u, -3*j - 4*u + z = 0. Is j a multiple of 22?
True
Suppose 34*d = 5739 + 23875. Is 78 a factor of d?
False
Suppose -7741 = -23*g - 2681. Is g a multiple of 20?
True
Let g(h) = -2*h**3 + 18*h**2 - 11*h + 5. Let o be g(8). Su