e
Let b = -222 - -125. Let k = 229 + b. Is k a multiple of 25?
False
Suppose 3*s - 10972 = 43315 + 48208. Is s a multiple of 52?
False
Suppose 31*v + 121965 - 192490 = 262260. Does 5 divide v?
True
Suppose 3*u = t - 13, 3*t - 4*t + 1 = 0. Let s(q) = q + 20. Is 7 a factor of s(u)?
False
Suppose 18*s + 9 = 21*s. Suppose n - 76 = -s*l, 5*n + 5*l - 265 - 125 = 0. Does 5 divide n?
False
Let o(r) = 25*r**2 - 2*r - 1. Let a(h) = h**3 - 9*h**2 + 10*h + 8. Let l be a(8). Suppose -s + 9*p - 4*p - 26 = 0, -5*p = s - l. Is o(s) a multiple of 6?
False
Suppose -68*y - 18 = -71*y, 0 = 4*f - y - 610. Is f a multiple of 15?
False
Let t(h) = 62*h**3 - 5*h**2 + 35*h - 171. Is 33 a factor of t(5)?
False
Let t(u) = -8*u + 12*u - 9 - 19. Let l be t(0). Is l/49*63/(-6) even?
True
Let o(f) = -f**2 - 6*f + 8. Let x be o(4). Let g be ((-408)/x)/((-6)/(-32)). Is 19 a factor of (2 - g/(-10))/((-6)/(-195))?
False
Let h(b) be the third derivative of b**5/60 + b**4/6 - 17*b**3/6 - 136*b**2. Is 11 a factor of h(6)?
False
Suppose -4*m = -2*t + 646, 2*t + 0 + 6 = 0. Let d = m + 364. Is d a multiple of 6?
False
Suppose 4*t + 153838 = 3*c, -167*c - 2*t - 51276 = -168*c. Is 81 a factor of c?
False
Let w = 9554 - 9378. Is 8 a factor of w?
True
Let w = 2430 + 1635. Does 9 divide w?
False
Let v(r) = r**3 - 9*r**2 - 8*r - 12. Let s be v(10). Suppose -s*q + 8 = -4*q. Does 26 divide (-1 + (-6)/(-3))/(q/270)?
False
Let w(b) = b**3 - 32*b**2 + 9*b - 112. Suppose -2*j = -15*j + 416. Does 16 divide w(j)?
True
Is 252*((-192)/(-14) - 12) a multiple of 18?
True
Let x(t) = 6*t**2. Let o be x(1). Suppose 8 = 2*d - o*d. Is 12 - (-1 - (d - -4)) a multiple of 2?
False
Suppose 8*z - 20173 = 20027. Suppose -14*k = -19*k + z. Does 67 divide k?
True
Let f be -4 + (-54)/(-15) - 34/(-10). Let i(w) = -29*w**2 - 6*w + 14*w**2 - f + 17*w**2 + 21. Does 18 divide i(9)?
True
Let l be (85 + -1)/((-33)/(-4906)). Is 17 a factor of l/44 + 14/77?
False
Is 38 a factor of (49/42 - (-5)/10)/((-8)/(-31704))?
False
Let t = 111 - 74. Let f(w) = -10 - t + 7*w - 17. Is f(12) even?
True
Let q be 2 + (-1)/(3/(-33)). Let y(h) = 2*h + 3 + 2 - 13 + 33 - 5. Does 8 divide y(q)?
False
Suppose d = 5*l + 2035, -2*d + 3744 = -3*l - 291. Is d a multiple of 10?
True
Let f(o) = 2*o - 8. Suppose -11*x + 39 = -16. Let t be f(x). Suppose -27 = -3*i - 3*a, 0 = 3*i - t*a - 2. Is i even?
True
Let n(i) = -i**2 - 71*i - 532. Is n(-43) a multiple of 26?
False
Let p be ((-78)/9)/(4 - 42/9). Let q be (p/39)/((-1)/(-6)). Suppose 0 = -g - q*g + 60. Is g a multiple of 10?
True
Let q(k) = 0*k + 5 - 2*k - 26 + k**3 - 8*k**2. Let w be q(7). Let h = 198 + w. Does 38 divide h?
True
Let y be (-63)/42 - (-11110)/4. Suppose 16*h = 12*h + y. Is h a multiple of 72?
False
Let w(b) = 22*b**2 + 204*b + 2. Is 70 a factor of w(-31)?
False
Let r(a) = -165*a - 227. Let k be r(-8). Let i = k - 795. Is 7 a factor of i?
False
Let l be (-2 - 0)*49/(-14). Suppose -l*w + 3*w + 66 = t, -3*t + 147 = -5*w. Does 6 divide t?
True
Suppose 9*u + 1476 = 61965. Is u a multiple of 11?
True
Let u = 1419 + -981. Let b = u - 30. Does 51 divide b?
True
Let o(h) = 8*h**3 - 12*h**2 - 4*h + 24. Is 16 a factor of o(9)?
True
Let p = -2065 - -4833. Suppose 0 = -16*g + p + 1456. Is 44 a factor of g?
True
Suppose 5*j - 12 = -2*q, 0 = 2*j + 2*q + 3*q - 9. Suppose 7*i + 5*n + 5083 = 10*i, -5*i + 8478 = -j*n. Is 32 a factor of i?
True
Suppose -o = -3*w + 34621, 0 = 2*o - 27 + 23. Does 69 divide w?
False
Let d(t) = 26*t**2 + 35*t - 249. Is d(7) a multiple of 47?
False
Let r(k) = 9*k**2 + 4*k - 2. Let w be r(-2). Suppose -22*j + w*j - 28 = 0. Suppose -j*f + 470 = -286. Does 18 divide f?
True
Let m(d) = 128*d - 1404. Does 60 divide m(33)?
True
Suppose -3*l + 33 = 4*v, -3*l = 5*v - 6*l - 48. Suppose -v*h + 30 = 4*j - 7*h, 2*j + 4*h - 24 = 0. Suppose 0 = j*t + 220 - 790. Is 19 a factor of t?
True
Let h(q) = -18*q**2 - 17*q - 32. Let z(y) = 27*y**2 + 25*y + 48. Let j(r) = 7*h(r) + 5*z(r). Is 23 a factor of j(4)?
True
Let y be ((-3)/(-15)*-4)/(5/(-50)). Is 14 a factor of (-14)/y*(-49 + 17)?
True
Let z(v) = 2*v**2 - 9*v - 31. Let l be z(7). Suppose -415 = 3*y - 2*s - 2154, 0 = -y + l*s + 563. Does 44 divide y?
False
Suppose 4*o - 3*n = -2166, -o - 2*n - 1076 = o. Let a = o - -782. Does 22 divide a?
True
Let t be 6/(-15) - (-19332)/5. Suppose -4*g - t = 3*z, g + 6 = 1. Is 32 a factor of ((-5)/4 - -1) + z/(-8)?
True
Suppose o - 4*s + 1682 = 0, 3*s - 4*s + 3399 = -2*o. Is 51/(-2)*o/111 a multiple of 16?
False
Let d = -82 - -86. Suppose 7*q - 504 = d*q. Suppose 2*a + 3*g - q = 0, 2*a - 3*g - 21 - 171 = 0. Is 18 a factor of a?
True
Suppose 963*w - 957*w - 236556 = 0. Does 8 divide w?
False
Does 28 divide 78978*21/252 + 2/4*3?
False
Let g(x) = -3*x**2 - 21*x + 26. Let w be g(-8). Suppose -4*r + j = -3198, -4*r + 7*r - w*j = 2401. Is r a multiple of 17?
True
Let h = 36990 + -28863. Does 27 divide h?
True
Suppose -4*y = -6*y - 8, 3*y = -4*n + 1424. Suppose 5*u - 1305 = x, -951 = -5*u + 2*x + n. Is u a multiple of 20?
True
Let m = 23222 - 15552. Is m a multiple of 26?
True
Suppose 0 = 5*s - 4*g + 2851 - 836, 4*s + 3*g = -1643. Let t = 708 + s. Is t a multiple of 18?
False
Let o(g) be the first derivative of -7*g**2/2 + 229*g - 24. Does 21 divide o(9)?
False
Let z = 5299 + 2556. Is 32 a factor of z?
False
Let z(b) = b**3 + 15*b**2 + 12*b + 14. Let r be z(-8). Suppose 0 = -4*a - 3*d + 492, -4*d - r = -5*a + 218. Does 26 divide a?
False
Let c(y) = 2*y**2 + 16*y - 31. Let w be c(9). Let q = w - 191. Does 6 divide q?
True
Let h be (-123)/12 - 3/(-12). Let g be (-114)/h + -4 + (-72)/(-20). Suppose -g*j - 66 + 253 = 0. Is 7 a factor of j?
False
Let l(c) = -432*c**3 - 9*c**2 - 52*c + 2. Does 31 divide l(-4)?
True
Let c(j) = -j**2 + j - 1. Let k(x) = 9*x**2 - 7*x + 2. Let s(h) = 6*c(h) + k(h). Is 9 a factor of s(6)?
False
Suppose -8 = c - d - 2*d, -4*d + 16 = 0. Let f(z) = 6*z**2 - 14*z + 37. Is 8 a factor of f(c)?
False
Let f = -3222 - -5526. Is 9 a factor of f?
True
Let g(c) = 40*c**2 - 447*c + 16. Is g(15) a multiple of 7?
False
Let s(r) = 2*r**3 + 21*r**2 - 6*r + 5. Let x be s(-11). Let k be (96/20)/(4/x). Is 33 a factor of 178 + k/(-14) + 6/(-21)?
False
Suppose -56504*s = -56505*s + 2775. Is s a multiple of 15?
True
Let j be 12/(-8)*(2 + (-28)/3). Suppose -42 = -j*f - 3*f. Suppose -f*c + 8*c = 70. Is c a multiple of 14?
True
Suppose l = -2*m + 19, -3*l - l + 5*m = -102. Let x(i) = -i**2 + 23*i + 56. Let y be x(l). Suppose 0 = 3*s - 353 + y. Is s a multiple of 19?
False
Let m = -2260 - -1230. Let z be 33/(-44) - m/8. Suppose 7*i - z = 68. Is 4 a factor of i?
True
Does 13 divide (-12 - -5378)*6/12?
False
Suppose -57 = -5*z + 138. Let u = z - 45. Let f = u - -15. Is f a multiple of 3?
True
Let h = -452 + 462. Does 3 divide (1*-55 - 0)/(h/(-30))?
True
Suppose 2*z = 3*s + 1901, 7*s - z + 2543 = 3*s. Let t = -247 - s. Is 13 a factor of t?
True
Let s(t) = 4*t**3 + 4*t**2 - 42*t + 31. Is s(4) a multiple of 6?
False
Suppose 3*k - 5*u = 97189 + 32719, 0 = -4*k - 4*u + 173168. Does 33 divide k?
True
Does 16 divide (32*106)/(-2)*(-17 + 165/10)?
True
Suppose -5*r = -20, 2*f - 3*r + 320 = -2*f. Let d = -3639 - -3756. Let h = d + f. Does 8 divide h?
True
Let w(g) = 1045*g - 5787. Is w(33) a multiple of 28?
False
Let m(r) = 2*r - 8. Let t be m(5). Suppose 5*j - j = t*j. Suppose 0*x + 2*x - 28 = j. Does 5 divide x?
False
Let m be 1 + (-10)/12 - 14/84. Suppose -10*v - 2*v + 2124 = m. Is 24 a factor of v?
False
Let b(x) = -82*x**3 - 11*x**2 + 8*x + 22. Is 35 a factor of b(-6)?
True
Let n(l) = l**3 - 22*l**2 + 13*l + 148. Let f be n(21). Let c(q) = -25*q + 25. Is c(f) a multiple of 35?
True
Let k be (-48)/(-14) - 6/14. Let h be (3 - (6 - k))/(-1). Suppose h = 4*j + z - 317, 0 = -j - j + 2*z + 166. Is j a multiple of 20?
True
Let f(c) = 68*c - 48. Let a be f(8). Suppose 1122 = 2*r - a. Is r a multiple of 117?
False
Let k be 4/(-16) + 1/((-20)/(-4825)). Let h = -142 + k. Is 22 a factor of h?
False
Let c be -3 - 9/(27/6). Let k be 36/(-10) - (-2)/c. Is 5 a factor of (-208)/(-12)*(-6)/k?
False
Let y = 39 - 35. Suppose y*i - 206 = -2*s, 2*s + 186 = -6*i + 10*i. Is 7 a factor of i?
True
Suppose 2*x - 42 = -50. Let d = 108 - x. Is d a multiple of 28?
True
Let n(y) = 23*y + 9. Let j be n(-6). Let z = j - -234. Suppose f + r - 53 = 0, -2*f 