e
Let l = -1152 + -155. Let m = -573 - l. Is 6 a factor of m?
False
Suppose r + 15 = -19. Let g = 44 + r. Does 10 divide g?
True
Let u = -33 - -37. Let d be 33342/48*4 - 2/u. Is 31 a factor of ((-20)/(-6))/(5 + d/(-558))?
True
Let l(p) = -4*p - 25. Let r be l(4). Let a = 28 + -14. Does 13 divide -1 + -2 + (a - r)?
True
Suppose -3*y + 0*y - 13 = 4*b, 3*b + 10 = -2*y. Is 14 a factor of ((-203)/3)/(y/(-6))?
True
Let p(o) = o + 18. Let y(k) = -2*k - 53. Let h(j) = 7*p(j) + 2*y(j). Let q(t) = 4*t + 20. Let d(r) = -3*h(r) + 4*q(r). Is d(4) a multiple of 13?
False
Let k = 13967 - 15. Does 8 divide k?
True
Suppose -1508 + 244 = -8*a. Let z = a - 63. Is 19 a factor of z?
True
Suppose 3*j + 79 = 4*f, -2*f - 3*j = j - 12. Let q be (-2)/f + (-4)/(-32). Does 12 divide q - (-13)/((-39)/(-144))?
True
Let i(s) = 4*s**2 + 19*s + 1. Let t be i(-5). Suppose t*z = -5*g + 7*z - 578, g + 121 = 2*z. Let b = 139 + g. Is b a multiple of 4?
True
Let x = 147 - 134. Suppose 0 = 5*d - v - 2167, 4 - x = -3*v. Does 31 divide d?
True
Suppose -f = -5*d - 822, 29*f = 27*f - 2*d + 1572. Does 18 divide f?
True
Suppose 39*c = 34*c + 95. Let t(p) = -p**2 + 65*p - 58. Is 17 a factor of t(c)?
True
Let n(f) = 16*f**3 + 7*f**3 - 4*f**2 - 3*f**3 - 2. Does 5 divide n(2)?
False
Is (-75)/(-1350) + (-3)/((-108)/453094) a multiple of 29?
True
Let a = -91 + 131. Suppose 3*p = a - 13. Let m(f) = -f**2 + 11*f + 2. Is 5 a factor of m(p)?
True
Suppose 6*n - n + 25 = 5*z, 0 = 3*z + 4*n + 6. Suppose 4*w + z*h - 276 = 0, 3*h = -6*w + w + 346. Does 40 divide w?
False
Suppose 10*m - 300 = 5*m. Let r = m + -55. Suppose -r*c + 171 = 2*v, c + 445 = 5*v + 85. Is v a multiple of 11?
False
Let q be -4 - 532/(-154) - (-78)/22. Suppose 0 = -q*z - o + 3100, -z + 10*o + 1038 = 8*o. Is z a multiple of 94?
True
Suppose -3*y - 2*t + 298 = -7*t, -4*t = 20. Suppose 0 = 4*s - 153 - y. Is 3 a factor of s?
False
Let t be (-5)/((-20)/44)*-1. Let j = -47 - t. Let b = j - -135. Is b a multiple of 23?
False
Suppose 0 = 5*c + 2*r - 23, -2*c + 3 = -5*r - 12. Does 21 divide (c - (-78)/18)*36?
True
Let r = -639 + 1040. Is r a multiple of 4?
False
Suppose -33*o + 64568 + 373540 = 0. Is 81 a factor of o?
False
Suppose 0 = 15*f - 47 - 28. Does 21 divide 1156/f - 76/(-95)?
False
Let p be (-6 - (-130)/5)*(-2180)/(-16). Suppose 6*d = 4*g + 9*d - p, 0 = -5*g + 4*d + 3414. Does 23 divide g?
False
Suppose 56 = 2*p - 3*o + 5*o, 4*o = -p + 37. Suppose q = k - 4, -5*q - k + p = 3*k. Is -4 - q*(-4 + -5) a multiple of 3?
False
Let j = -22174 + 52061. Does 13 divide j?
True
Let c(b) = 8*b**2 - 13*b - 64. Let m(z) = 2*z**2 - 3*z - 16. Let t(w) = -2*c(w) + 9*m(w). Let o be t(12). Let n = -169 + o. Is 20 a factor of n?
False
Suppose 0 = -8*f + 12*f - 156. Suppose -2*w + 299 = f. Suppose -r + w = -4*m, r + 0*r = -m + 125. Is r a multiple of 21?
True
Suppose 3*u = -2*r - 1, -10 = -5*r + 3*u - 8*u. Let w = 316 + r. Is 9 a factor of w?
False
Let m = -97 + 101. Suppose -m*j = -c - 386, 0*c = -2*j - c + 190. Suppose 3*o - 11 = -l, -23 + j = 5*l - 3*o. Is 2 a factor of l?
True
Let z(i) = 3*i**2 + 5*i - 4. Let l be z(-4). Let y be (-72)/5 + (-3)/5. Let w = l - y. Does 13 divide w?
True
Suppose 10*v + 13*v - 6*v = 0. Suppose 11*o - 16*o = i - 484, -5*i + 20 = v. Is o a multiple of 3?
True
Suppose -2*w + 16*w - 20370 = 0. Suppose 4*d = d - w. Is (d - 4)*(-1)/3 a multiple of 49?
False
Does 3 divide ((-7627368)/(-49))/12 + 44/154?
True
Let i(b) = b**3 + 805*b - 410*b - 393*b - 2*b**2 + 3*b**3. Let u be -2*(-3 - (1 + -3)). Does 10 divide i(u)?
False
Let v be (-17)/(-3) - (-2)/(-3). Let a = v + -10. Let q(t) = t**3 + 5*t**2 - 3*t - 9. Is q(a) a multiple of 6?
True
Let l(k) = -k. Let d(m) = -2*m**2 - 11*m - 11. Let z(u) = -d(u) + 6*l(u). Suppose -4 - 24 = 9*f + 8. Is 3 a factor of z(f)?
False
Suppose -4*w + 3*y + 7 = 1, 4*w + 4*y = 20. Suppose -x - 240 = -w*x. Is x*6/4*4/6 a multiple of 12?
True
Suppose 65*d = -1377 + 3782. Suppose -75*m = -d*m - 56050. Is m a multiple of 10?
False
Let o be 4*(-3 - -2) + 6. Let u be (o + 64)*(-18)/(-12). Let d = 171 - u. Does 8 divide d?
True
Suppose 2*u = -i - 2265, 9*u - 11*u = 2*i + 2270. Let j = u + 1936. Does 62 divide j?
True
Let q(z) = 44*z**2 + 47*z - 191. Is 25 a factor of q(-19)?
True
Let p be 3 + (-4)/2 - -109. Suppose 0 = 5*o + 5*x - p, 3*o = 2*x + 45 + 1. Is ((-2948)/(-201))/(0 - (-4)/o) a multiple of 22?
True
Suppose 2*g = 4*g + 44. Let m(d) = 3*d**3 - 2*d**2 + 12*d - 31. Let v be m(3). Let h = g + v. Does 9 divide h?
False
Let z(w) = 36*w + 6. Let i(p) = -p**3 + p**2 + 2*p - 2. Let a be i(-2). Suppose m = 3*m - a, -m + 5 = l. Is z(l) a multiple of 26?
True
Suppose -24243 = -3*v + 27*o - 23*o, -16164 = -2*v + 3*o. Is 27 a factor of v?
True
Let w(t) = -t**3 - 14*t**2 + 87*t + 126. Is 11 a factor of w(-24)?
False
Suppose -j + 5*h + 1232 = 0, h = 8*j - 7*j - 1224. Is j a multiple of 94?
True
Let o(x) be the first derivative of 3*x**2/2 + 64*x - 21. Let n be o(-23). Is 20 a factor of (-2 + 0 - n)*40?
True
Let c = 967 + 3133. Does 28 divide c?
False
Let r(q) = -q + 8. Let w(p) = -2*p + 5. Let f(v) = 5*r(v) - 10*w(v). Let n = 6 + -2. Is f(n) a multiple of 10?
True
Is (-29 + 1419)*2 - (-2 - -3)*-4 a multiple of 8?
True
Let w(y) be the first derivative of -9*y**2/2 - 18*y - 26. Let o be w(-3). Let x(q) = -q**3 + 9*q**2 + 4*q + 8. Is x(o) a multiple of 4?
True
Suppose 5*m - 91208 = -3*b, -171*b - 18246 = -m - 176*b. Is 37 a factor of m?
True
Suppose 0 = -382*u + 385*u - 12. Is (-13392)/(-84) + u/7 a multiple of 5?
True
Let t(v) = -v**3 + 7*v**2 + 237*v - 88. Is 7 a factor of t(18)?
False
Let m be 1/(-5*4/(-140)). Suppose m*i - i = -126. Let n = i + 63. Is 6 a factor of n?
True
Let s(j) = -20*j + 2 - 22 - 5*j + j. Is s(-20) a multiple of 18?
False
Let q be (-78)/5*((-735)/(-6))/7. Is (-1)/((-13)/2) + (-47460)/q a multiple of 9?
False
Let k(u) = 55*u**2 + 45*u - 1207. Does 99 divide k(19)?
True
Let o = 64 - 58. Suppose -o*x + 20 = -2*x. Suppose 3*g + x*z - 59 - 461 = 0, -3*g = -2*z - 548. Does 10 divide g?
True
Let c be (-2)/(-4)*52/13. Suppose 2*o - 2*t = -484, 0*o + 233 = -o - c*t. Let d = o - -338. Is 38 a factor of d?
False
Let f = -62 + 66. Suppose 3*s - 4*s = -f*s. Is (s + 0 - -2) + (-16 - -127) a multiple of 16?
False
Let y(l) = -2*l + 1. Let t(d) = -5*d**2 - 1. Let u(m) = -t(m) + 5*y(m). Suppose -2*a - 4 = -14. Does 7 divide u(a)?
False
Suppose 5*x = -4*l + 38, -5*x - l + 0*l + 32 = 0. Suppose -2*g - 8 = -x*g, 5*g = 5*f - 25. Is 347/3 - (3 - f/3) a multiple of 16?
False
Let i(h) = -h**3 + 7*h**2 + 9*h. Let u be i(8). Let y(o) = 3*o**2 - 2*o - 5. Let n be y(u). Suppose -r - 2*r = -n. Does 11 divide r?
False
Does 11 divide (-3 + ((-3403)/(-3) - 0))/((-20)/(-180))?
False
Suppose 136 = -19*w + 725. Suppose -34*n + w*n + v = -778, 0 = n + 4*v - 242. Does 5 divide n?
False
Does 204 divide (-62 + 24 + 16)/(4/(-1970))?
False
Suppose 26 = -13*p - 572. Let d = 79 + p. Is d a multiple of 2?
False
Let a(q) = -401*q + 5. Let l(g) = 201*g - 2. Let x(y) = 4*a(y) + 7*l(y). Does 5 divide x(-2)?
True
Is 4 a factor of (-2 + -3)/(15*(-11)/39138)?
False
Is 516 + -3 + -10 + 4 even?
False
Let h = 29264 - 7930. Is 9 a factor of h?
False
Suppose 38*m + 26 = 36*m. Let v(q) = q**2 + 14*q + 19. Let b be v(m). Suppose -b*s - 88 = -808. Is s a multiple of 18?
False
Let d be -17 + (5 - 10/((-20)/(-6))). Does 33 divide 141 - ((-20)/d)/(4/(-6))?
False
Suppose 610 = -2*b + i, -2*i = -5*b - 1049 - 477. Let v = b + 529. Is 15 a factor of v?
False
Let m = 5728 - 5736. Let q = -164 - -442. Does 5 divide q/4 + 0 + (-4)/m?
True
Suppose -4*p + 2*a = 30, -5*a + 15 = -p - 6*a. Let l be ((-6)/p + -1)/((-4)/290). Suppose -38*u + 783 = -l*u. Is 29 a factor of u?
True
Is 804*(3 + (-3 - 102/(-8))) a multiple of 67?
True
Let v = -1218 + 4298. Is 55 a factor of v?
True
Suppose 3*m + 30 = 3*d, 4*d - 11 = -2*m - 1. Is -5*(-666)/45 - d a multiple of 3?
True
Let a = -450 - -180. Is 9*(-4)/12 - a a multiple of 7?
False
Is 9 a factor of ((-39150)/20)/(1/(-2))?
True
Let c be 38 + 1 - (2 + -4 - -5). Suppose -3*o = -4*o + v + 19, 4*v + c = 2*o. Let g(w) = w + 8. Is 4 a factor of g(o)?
True
Let y(z) = 3*z**2 - 21*z - 80. Is 88 a factor of y(16)?
True
Let q = 807 + -811. Let d(v) = 2*v**3 - 2*v**2 - 4*v - 1. Let f(r) = -r**3 + r**2 + 1. Let i(g) = d(g) + 3*f(g). Is i(q