7 a factor of 4398/12 + w + 1/(-2)?
False
Suppose -4*m + 660 = x - 5804, -12933 = -2*x - 3*m. Is 22 a factor of x?
True
Suppose -3*w + 517 = -5*a - 261, 3*w + 4*a - 760 = 0. Is 64 a factor of w?
True
Let t = -161 + 163. Suppose 5*g - 17 = 2*b + 517, t*g + 5*b = 202. Is g a multiple of 18?
False
Let f = 91 + -91. Suppose 4*g = -14*i + 13*i + 655, -2*g - 4*i + 310 = f. Does 33 divide g?
True
Suppose 9125 + 3567 = 72*l - 772. Is l a multiple of 6?
False
Let b be (-16)/40*(-7 + 2). Let c be 8 - 9 - (-8)/b. Suppose 0*o + 72 = c*o. Does 2 divide o?
True
Is 6760096/120 - 16/120 a multiple of 82?
True
Let i = 9402 - 134. Is 28 a factor of i?
True
Suppose 19830 = 4*l - 2370. Suppose 10695 = 5*t + h + 3767, 3*h + l = 4*t. Is 9 a factor of t?
True
Suppose -3*z + 28 = 4*z. Suppose -z*b = -5*i - 65, -2*i = -3*b + 7*b - 30. Suppose b*a = 8*a + 238. Is 10 a factor of a?
False
Let k be 4/(-14) - (-47)/(-7). Let c be ((-2)/4)/(k/42). Suppose 3*j = -5*m + 15, -m + 11 = c*j - 4*j. Does 3 divide m?
True
Let h be -10 + 12 + -7 - -7. Suppose 0 = h*a - 11 - 1727. Does 10 divide a?
False
Suppose g + 2002 = 4*c + 8788, 0 = g - 2*c - 6794. Does 38 divide g?
True
Suppose 414*r + 3546048 = -1054287 + 23254347. Is 16 a factor of r?
False
Let w(y) = -1458*y + 18. Does 13 divide w(-4)?
True
Suppose -1833 = -2*d + 4085. Let f = -1914 + d. Is f a multiple of 23?
False
Let j = 4714 + -3258. Does 26 divide j?
True
Let s(b) = -1439*b + 770. Is s(-1) even?
False
Suppose -3*u + 24*f = 22*f - 37198, -5*f - 61990 = -5*u. Is 106 a factor of u?
True
Suppose -25*m + 11*m + 926016 = 0. Suppose -m = 7*w - 55*w. Does 13 divide w?
True
Let v(r) = 1030*r + 1334. Does 194 divide v(6)?
False
Let b = 261 - 107. Suppose 768*t - 767*t - b = 0. Is t a multiple of 22?
True
Let i be 1/(-8) - (-1225)/392. Suppose i*b - 21 = 2*m, 5*b = m + 3*m + 33. Is b a multiple of 9?
True
Let z be 95/(-3)*(-72)/60. Is z + (6 + -11)/(-5) a multiple of 3?
True
Is (378/(-315))/((-2)/2250 - 0) a multiple of 18?
True
Suppose -78*u + 812713 = -40*u - 210551. Is 68 a factor of u?
True
Let c = 109 + -105. Let x be (1/2)/((-2)/c) - 3. Is 207 + (-1)/(x/(-12)) + 3 a multiple of 17?
False
Suppose 3650*g - 924265 = 3583*g. Does 5 divide g?
True
Let t(o) = 31*o**2 + 269*o + 4238. Is t(-19) a multiple of 14?
True
Suppose -2*h + 1128 = -4*t, 5*t = -h + 23 + 548. Let i = 1406 - h. Is i a multiple of 14?
True
Let y = -18 + 6. Let u be -3 - (-3 + 1*y). Suppose -111 = u*z - 13*z. Is 16 a factor of z?
False
Let a(i) = -5*i**2 + 1. Let m be a(1). Let l be (-3)/(-2*(-2)/m). Is (l/4*34)/((-3)/(-4)) a multiple of 13?
False
Suppose -12 = -3*r - 12. Suppose -2*q + 2 = 2*k - r, -q = 2*k - 1. Suppose k = -0*l - 8*l + 592. Is 8 a factor of l?
False
Let d = 241 - 241. Is (4/8 - d)/((-3)/(-1680)) a multiple of 20?
True
Let j(v) = -17122*v**3 + 6*v**2 + 20*v + 14. Is j(-1) a multiple of 14?
True
Let t(l) = -125*l**3 - 3*l**2 - l. Let w = -557 + 555. Is t(w) a multiple of 10?
True
Suppose -f = -4*t + 16, -4*f - 18 = 3*t + 27. Is 15 a factor of (3 - 3585/(-40)) + f/(-32)?
False
Suppose 0 = 68*o - 64*o. Suppose 8*y - 230 = 6*y - 3*v, 5*y + 4*v - 561 = o. Is y a multiple of 2?
False
Suppose 0 = -y + 7*n - 5*n + 729, -5*y + 3735 = 5*n. Is 46 a factor of y?
False
Suppose -5 = -2*a + 1, 5*t + 3*a - 4849 = 0. Suppose -664*i = -666*i + t. Is i a multiple of 44?
True
Let u = 832 - -1868. Is u a multiple of 6?
True
Suppose 3*l = 5*w - 20, 3 = 5*w - 2*l - 12. Let m(z) = 34*z**2 + z - 1. Let t be m(1). Let g = t + w. Is 6 a factor of g?
False
Let y = 16 + -6. Suppose 3*q = -3*q - 372. Let h = y - q. Is 4 a factor of h?
True
Suppose -4*l - 1 = 3*x, x + 2*x + 11 = l. Let w be -70 + 5 + (x - -1). Let h = 38 - w. Is h a multiple of 15?
True
Suppose -7*r - 153943 = -14*r - 57455. Is r a multiple of 28?
False
Suppose -6*y + 6254 + 7654 = 0. Suppose 24*q = -y + 18566. Does 18 divide q?
False
Suppose 101*r = 95*r + 12. Let k(h) = 77*h - 10. Does 48 divide k(r)?
True
Let z = 106 - 106. Let k be z - 4 - (-276)/23. Suppose -r - 13 = 3*a - 197, -2*a = k. Does 49 divide r?
True
Let r(l) = 77*l**3 + 8*l**2 + 14*l + 2. Let w(v) = -309*v**3 - 34*v**2 - 57*v - 9. Let s(y) = -9*r(y) - 2*w(y). Does 6 divide s(-2)?
False
Suppose -5*l + 10*l - m - 12555 = 0, 0 = -l - 5*m + 2511. Does 7 divide l?
False
Let j(u) = 4*u**2 - 162*u + 528. Does 19 divide j(99)?
False
Let f = 55 - 55. Suppose f = 4*j - 571 - 1541. Is j a multiple of 66?
True
Let p(x) = 7346*x**2 + 637*x + 638. Is 93 a factor of p(-1)?
True
Suppose i + 45 = 3*z + 7, -2*z = -i - 25. Suppose -z*t + 12*t = -141. Is 5 a factor of t?
False
Let i(u) = 12*u**2 - 30*u + 714. Does 156 divide i(22)?
False
Let y(l) = l**2 - 3. Let b(o) = 13*o**2 - 15*o - 16. Let w(r) = b(r) - 5*y(r). Is 2 a factor of w(4)?
False
Suppose s = 4*p - 6834 + 669, p + 5*s = 1536. Is p a multiple of 32?
False
Suppose 0 = 3*h - 0*h + 6. Let r(f) = f - 1. Let k(t) = t**2 + 4*t - 12. Let p(u) = h*r(u) - k(u). Is 5 a factor of p(-7)?
False
Let j = 31 + -82. Let s = j + 131. Suppose 8*d - s = 6*d. Is d a multiple of 40?
True
Suppose 101*j = -80*j - 38*j + 3236601. Does 12 divide j?
False
Let q be (124/12 - 3) + (-2)/(-3). Let j(g) = -q*g - 2*g**2 - 4 + 3*g**3 + 2*g**3 - 4*g**3. Is 46 a factor of j(6)?
True
Suppose -24*v + 60822 - 6282 = -6*v. Is 33 a factor of v?
False
Let j be (-1 + 28)*(-4)/24*4. Let g(w) = w + 22. Let t be g(j). Suppose 2*q = -t*q + 300. Is q a multiple of 25?
True
Suppose 70*k = 49*k + 54075. Suppose -6*c + 5*c + 1718 = 2*b, c - k = -3*b. Is 37 a factor of b?
False
Let d = -2411 + 10647. Does 23 divide d?
False
Let f = 5383 + 21670. Does 158 divide f?
False
Let w(n) = n**2 + n - 3. Let i be 27/(-18) + (-3)/2. Let j be w(i). Suppose 530 = j*a + 68. Is a a multiple of 14?
True
Suppose -4*a = 3*u + 31, 5*u + 39 - 104 = 5*a. Let t be (-14 - (-18)/(-6))/(2/a). Suppose -5*h - 4*m = -7*m - 115, t = 3*h - 5*m. Is h a multiple of 4?
True
Suppose -20 = -2*x - 2*x. Suppose -x*u = -2*u + 39. Let s(q) = 2*q + 30. Does 2 divide s(u)?
True
Suppose -4*c = 3*i - 656 - 3625, 0 = -i - c + 1428. Does 53 divide i?
True
Let y(f) = -f**2 - 31*f + 2. Suppose 0 = -4*o - 15 + 3. Let l be o/(-6)*25*-2. Does 19 divide y(l)?
True
Let w = 51 - 31. Suppose 0 = -3*r + 3*p, 5*r - w = -5*p - 0*p. Suppose 4*a + 2*l = 278, -90 = -3*a + r*l + 136. Does 18 divide a?
True
Let n(v) = -5*v**3 + 193*v**2 - 75*v - 141. Is 31 a factor of n(33)?
False
Is 20/(-24) - (-59244)/(-27)*3/(-8) a multiple of 15?
False
Suppose -3*t = -c - 6644, -4*t = t + 5*c - 11100. Suppose -3*f - 5*f = -t. Is f a multiple of 12?
False
Suppose -111982 = -38*c + 12*c. Suppose c = 18*s + 1121. Is 5 a factor of s?
False
Suppose 7*v + 690 - 4148 = 0. Let j = v + -154. Is j a multiple of 13?
False
Let s = 97 - 15. Let z = s - 136. Let f = z + 59. Is 5 a factor of f?
True
Let z(s) = -2*s**3 - 18*s**2 - s - 6. Let i be z(-9). Let f be (i/(-12) - 23/(-4))*2. Suppose 0 = -f*k + 7*k + 84. Is k a multiple of 7?
True
Let p(v) = 3*v - 56. Let i(a) = 6*a - 112. Let k(h) = 2*i(h) - 5*p(h). Is 7 a factor of k(-13)?
False
Suppose h + k = -56, -4*h - 3*k = 216 + 9. Let p = 1157 - h. Is 17 a factor of p?
False
Let j = 134 + -98. Is 18 a factor of j*2 - (25/(-5) + 5)?
True
Let j be ((-13)/(-4))/(5/800*5). Suppose -100*k = -j*k + 288. Does 21 divide k?
False
Suppose -7 = 5*l - 2. Let r(s) = -s**3 + 2*s**2 + 2*s + 1. Let k be r(l). Does 10 divide k + 159/4 - (-7)/28?
False
Suppose -2*c - 2*i = -7474, -148*c + 151*c + 4*i - 11204 = 0. Is c a multiple of 78?
True
Suppose -27 - 69 = -4*o. Let h be (-1 - -137) + 30/15. Suppose -2*x = -o - h. Is 19 a factor of x?
False
Suppose -92*n - 253896 + 3768204 = 0. Is n a multiple of 7?
True
Let w(g) = g**3 + 20*g**2 + 90*g + 10. Suppose -703*n + 696*n - 56 = 0. Is w(n) a multiple of 16?
False
Suppose -4*j + 12 = 0, -l + 3*j = -3140 - 37. Does 11 divide l?
False
Suppose 6*c - 10 - 8 = 0. Suppose 4*m - 5*m - c = 0. Is 26 a factor of 2/(1*m/(0 + -201))?
False
Suppose 3*k - 22578 = -3*a, 87 - 84 = -3*a. Is k a multiple of 39?
True
Let q be (-3)/(-2)*32/(-24) - 2. Is 5 a factor of (0/(-5) - 1) + 353 + q?
False
Let l(w) = 160*w**2 + 516*w + 1552. Does 2 divide l(-3)?
True
Suppose -14*h + 5*h + 3*h + 27744 = 0. Is h a multiple of 68?
True
Let f(j) be the third derivative of -j**6/120 - 17*j**