e 0 = 4*m + m - z. Is 18 a factor of m?
False
Suppose -t + 441 = -6*h, 2*t - t = 2*h + 433. Does 33 divide t?
True
Suppose -7*x + 2*d = -6*x - 23, -2*d + 52 = 4*x. Suppose x*g = -2*g + 1632. Is g a multiple of 12?
True
Let v = -33 - -33. Let a be (2 - 2)/(v - -2). Suppose a = 5*p + 202 - 792. Is p a multiple of 18?
False
Let t = 1663 + -869. Is t a multiple of 32?
False
Suppose -5*w + 29 = 4*a, 3*a = w - 0*w - 2. Suppose a - 3 = -m. Suppose -111 = x - 4*x + m*v, 2*x - 61 = -3*v. Does 5 divide x?
True
Let j be (84/168)/((-2)/(-124)). Suppose -25*i - j*i = -64512. Is 36 a factor of i?
True
Let o = 113 + -131. Does 24 divide ((-17)/(663/104))/(2/o)?
True
Suppose 4 = 2*k, -k - 470 = l - 139. Let q = 693 + l. Does 20 divide q?
True
Is (-2*3/(-6))/((-116)/(-596820)) a multiple of 6?
False
Suppose 4*i + 10668 = 4*f, 3*i = 43 - 64. Is 8 a factor of f?
False
Let r be -112 - (-4 + 7) - 0. Let g be 2*(-2)/14 - r/(-161). Is 7/(196/2244) + g/7 a multiple of 10?
True
Suppose -886319 = -330*h + 951121. Is h a multiple of 58?
True
Is 4 a factor of 4752/324*(-1 + 28)?
True
Let f(c) = -6*c**2 + 11*c + 7*c + 9*c**2 + 14 + 2*c**3 - 36*c**2. Is 16 a factor of f(16)?
False
Is 14 a factor of (-41)/((-13)/221 - 0/2)?
False
Let o(w) = 36*w**2 - w + 6. Let b(f) = 12*f**2 + 2. Let u(c) = -8*b(c) + 3*o(c). Is u(6) a multiple of 16?
True
Suppose x - 2*x + 4*l + 22 = 0, 0 = -3*x - 5*l - 19. Let g(s) = -s + 38 - x*s - 2*s. Is 29 a factor of g(-19)?
False
Suppose 432*h - 424*h = 40. Suppose -10*d = -h*d - 885. Is d a multiple of 2?
False
Let c(x) = 3*x**3 - 174*x**2 - 63*x + 309. Is 131 a factor of c(59)?
False
Let w be (4126/(-2))/(-1 - 0) - 1. Let v = w - 1366. Does 24 divide v?
True
Let j(d) = d + 2. Let y be j(-5). Let a be 1/5 + (-17)/((-1275)/660). Is 44 a factor of (3/a)/(y/(-792))?
True
Suppose 2*m - 12*n = -8*n + 296, 4*n = m - 158. Let t = -97 + m. Is 2 a factor of t?
False
Let q(p) be the third derivative of -2*p**2 + 0*p - 1/4*p**4 + 0 + 5/3*p**3. Is q(-16) a multiple of 19?
False
Let x(u) = 2*u**2 - 224*u - 243*u + 455*u - 9. Suppose 5*j - 37 = 23. Does 27 divide x(j)?
True
Suppose -4*b - 11 = w, -b - 17 = -w + 2*b. Let s(o) = 12*o**2 - 5. Is s(w) a multiple of 7?
False
Suppose -234*r + 236*r = -v + 10692, 2*v + 8 = 0. Is r a multiple of 19?
False
Suppose 13*a - 5 = 47. Suppose -a*o = 5*i - 6*i + 111, -5*i = -2*o - 645. Does 4 divide i?
False
Let b be -1 + ((-91)/(-52))/(2/8). Suppose b*r + 5808 = 12*r. Does 12 divide r?
False
Let g(u) = -u**3 - 38*u**2 - 44*u + 119. Suppose -50 = -3*z + 3*t - 170, -62 = 2*z + 4*t. Is g(z) a multiple of 14?
True
Does 14 divide (-3)/15 - 52812/(-60)?
False
Let k(p) = -6*p + 766. Is 31 a factor of k(-89)?
False
Let b(r) = -4*r - 5. Let z be b(-1). Let h be 0/z*((-8)/3 - -3). Suppose h*x + 3*f = -4*x + 121, -4*x - 2*f + 126 = 0. Is 3 a factor of x?
False
Suppose 14517 = -7*h + 93113. Is h a multiple of 4?
True
Let y(l) = -l**3 - 7*l**2 + 17*l - 9. Let s be -5 - -5*20/(-25). Let v be y(s). Suppose 4*x = 5*i - 524, -3*i + v*x + 332 = 2*x. Does 27 divide i?
True
Suppose -1 + 17 = 8*x. Suppose 3*j = x*j. Does 2 divide (j - 1)*(-13 + 2)?
False
Suppose -108 = -43*b + 70*b. Is (-153)/3*(b/6 + 0) a multiple of 17?
True
Is 169 a factor of (-5)/((-339544)/(-4940208) + 4/(-58))?
True
Let y = 45 + -41. Suppose 4*a = -3*p + 708, 712 = 4*a - 2*p + y*p. Suppose -4*b = -13*b + a. Is b a multiple of 4?
True
Suppose -3*f - 3*f = -3*f. Suppose f = 5*u + s - 273, 0*s = s + 2. Is u a multiple of 15?
False
Suppose z + 6 = 106. Suppose -744 = 3*v - 840. Let r = z - v. Is 17 a factor of r?
True
Let d(r) be the third derivative of r**6/120 + r**5/10 - 7*r**4/12 + 11*r**3/6 - 98*r**2. Is d(-6) a multiple of 2?
False
Is -2372*28/(-16)*-2*(-15)/70 a multiple of 3?
True
Let j = -267 + 247. Is (-3 + -3 - j)*(-92)/(-8) a multiple of 7?
True
Suppose y - 5*f - 5410 = 0, 3*y - 16300 = -44*f + 49*f. Is 55 a factor of y?
True
Let z be ((-2)/(-11) + (-10)/(-66))*54. Suppose 356 + 580 = z*y. Does 10 divide y?
False
Suppose 6*w - 5*w + 127 = 0. Let l = -60 - w. Is l a multiple of 2?
False
Let l(t) = 517*t + 439. Is l(11) a multiple of 5?
False
Let a = 25 - 22. Suppose -n = -2*v + 395, -a*n = -2*v + 510 - 109. Let x = v - 63. Does 7 divide x?
True
Let s(a) = -19*a - 67. Let l be s(3). Is ((-4309)/l)/(2/48) a multiple of 30?
False
Let v(g) = -214*g - 29. Let m be v(-7). Suppose -4*d + 0*y + 1957 = -3*y, -2*y - m = -3*d. Is d a multiple of 54?
False
Let d be 0/((-4)/((-6)/(-3))). Suppose i = 1, d = 4*s + 3*i + i - 1860. Is 16 a factor of s?
True
Let n(b) = -260*b - 1904. Is 8 a factor of n(-18)?
True
Let i be 54/10 - (-84)/(-210). Let w be 2/(1 - (-4)/(-5)). Suppose -50 - w = -i*d. Does 4 divide d?
True
Suppose 0 = -3*r - 42 + 9. Let j = -12 - r. Is 7 a factor of (-4 - -11)*(0 - j)?
True
Let b(z) = -z**3 - 28*z**2 + 141*z + 998. Is b(-38) a multiple of 56?
True
Suppose -101489*d - 79188 = -101501*d. Is d a multiple of 83?
False
Let g = 553 + -548. Suppose 55 = 5*y + g*w - 95, -3*w = -3*y + 60. Is 3 a factor of y?
False
Suppose -18 = 37*m - 43*m. Suppose 5*b - m*o - 2026 = 0, 4*b - 1638 = o - 20. Is 42 a factor of b?
False
Is 10 a factor of 3106 - 0 - (-75 + 80)?
False
Suppose 3*n - 15*z = -16*z + 10997, n - 3*z - 3669 = 0. Is 5 a factor of n?
False
Let o(w) = w**3 + 34*w**2 + 40*w + 32. Is o(-17) a multiple of 48?
False
Suppose 8*s - 4*s - 2*a = -18, -s - a = 0. Is 51 a factor of s - ((-9)/18 + 1652/(-8))?
True
Suppose -12*u = 62*u - 268555 - 237605. Is u a multiple of 120?
True
Let u = 277 + -195. Let s = u + 125. Suppose -108 = -5*c + s. Does 21 divide c?
True
Let j(c) = 12*c**3 + 2*c**2 + c + 1. Let d be j(-2). Let s be ((-10)/(-6) + 2)/(29/(-609)). Let i = s - d. Is 10 a factor of i?
False
Let t(g) = 1244*g - 29 + 10 - 1245*g. Is t(-30) a multiple of 4?
False
Let y(h) = -h**3 + 33*h**2 - 27*h - 210. Is y(25) a multiple of 8?
False
Let m(z) = -276*z**3 - 10*z**2 - 38*z + 24. Is 80 a factor of m(-4)?
True
Suppose 0 = 21*a - 17*a + 284. Let t be ((-572)/8 - 5)*(1 + 1). Let y = a - t. Is 20 a factor of y?
False
Is (16720/200)/((16/4)/2040) a multiple of 323?
True
Suppose -g = 4*g - 5. Let b(j) = -j**2 + j + 1. Let v(t) = -4*t**2 + 12*t + 21. Let c(u) = g*v(u) - 5*b(u). Is c(-8) a multiple of 5?
False
Suppose 4*j = -7*u + 4*u - 291, -283 = 4*j - 5*u. Is j/14*210/(-12) a multiple of 30?
True
Suppose -277396 = -44*q + 822252. Is q a multiple of 11?
True
Let t = 598 - 332. Does 10 divide ((-194)/7)/((-76)/t)?
False
Let t = 53 + -94. Let o(m) = -2*m**2 - m + 20. Let l be o(4). Let d = l - t. Does 7 divide d?
False
Let q be (-9)/(-3)*-71*(-3)/(-9). Let w = 73 + q. Suppose d + 180 = w*d. Does 36 divide d?
True
Let l(p) be the second derivative of -p**5/4 - 2*p**4/3 + 4*p**3/3 + 2*p**2 + 17*p. Let m be l(-5). Suppose 3*g = -g - 5*z + m, 5*z = g - 66. Does 13 divide g?
True
Is 30527 + -1 + 2 - (5 - 12) a multiple of 19?
False
Let i = 1103 + -888. Is 129/i + (-627)/(-5) a multiple of 7?
True
Let t(f) = 3*f**2 + 74*f - 678. Is 154 a factor of t(58)?
True
Let v(z) = -12 - 26*z - 57*z - 37 + 27. Is v(-2) a multiple of 4?
True
Let k = 128 - 125. Suppose 0 = -k*v - 3*s + 1317, -5*v - 3*s + 3203 = 1018. Is v a multiple of 70?
False
Let t = 54 + -57. Let s be (3 + (-24)/9)*(t + 3). Does 12 divide 840/45 + s + (-2)/3?
False
Let s be -15*((-7)/(-3) + -3). Let a = s + 21. Let c = 60 - a. Is 18 a factor of c?
False
Suppose 0 = -2*f - 4*x + 422, f - 2*x - 2*x - 235 = 0. Let i = -665 - -821. Let w = f - i. Is 15 a factor of w?
False
Suppose -6*t = -t. Suppose t = -0*f + f. Suppose -5*z + 6*z - 35 = f. Is z a multiple of 7?
True
Suppose -8 = -2*c, -76*a + 77*a + 4*c = 2704. Does 96 divide a?
True
Suppose -5*n - 3*i - 626 + 1638 = 0, -3*n = -3*i - 588. Suppose 3*p = 254 + 166. Let l = n - p. Does 15 divide l?
True
Let x(l) = -82*l**3 - 3*l**2 - 12*l - 144. Does 29 divide x(-5)?
False
Let s = 131 - 1152. Let i = -687 - s. Suppose 3*m + 4*b - 3*b - i = 0, 5*m + 2*b - 556 = 0. Is 31 a factor of m?
False
Suppose 4*y - 8342 = 1578. Does 16 divide y?
True
Let f be ((-3)/(-1))/((-3)/2) + 5. Suppose 580 = 5*y - s, -s - 232 = -2*y + f*s. Let q = -66 + y. Is 10 a factor of q?
True
Let i = -48 - -53. Suppose -i*s = 6*s + 792. Let k = s - -144. Does 6 divide k?
True
Let a(v) = -3*v**2 - 109*v + 3362. Doe