e
Let o = -9 - -80. Let f = 401 - o. Suppose 6*l - l - f = 0. Is l a multiple of 15?
False
Is 45 a factor of (60/25)/((-14)/(-2625))?
True
Suppose 0 = 5*x - 10, -4*v - 2*x + 578 = 3*x. Is 31 a factor of v/(-3)*(-36)/24?
False
Let a(i) = -i**3 - 18*i**2 - 34*i - 23. Is 6 a factor of a(-19)?
True
Suppose -7*h + 552 - 146 = 0. Let u = 85 - h. Is u a multiple of 3?
True
Let o(k) = 5*k**2 - 79*k - 31. Does 13 divide o(19)?
True
Let f(c) = 403*c**2 - 14*c + 14. Is 13 a factor of f(1)?
True
Let a = -192 + 1625. Is a a multiple of 25?
False
Let n(d) = 17*d**2 + 7*d + 7. Does 11 divide n(-1)?
False
Let c = -15 - -8. Suppose 5*g - 23 = -0*o - 4*o, 4*g = -2*o + 4. Let u = o + c. Is u a multiple of 2?
False
Let f(j) = 14*j + 19*j - 19*j - 16. Is 9 a factor of f(8)?
False
Let f be 0*1*(-3)/(-6). Suppose 2*h = 4*k + 202, 0 = k - f*k - 5*h + 28. Is 8 a factor of 6/(-9) - k/3?
False
Let m = 1679 - 1436. Is 4 a factor of m?
False
Let z = 5230 + -2920. Is 6 a factor of z?
True
Suppose -p - r = 2*p - 1, -5*p = -r - 15. Let b = p + 2. Is b/(-3)*759/(-22) a multiple of 14?
False
Suppose 0 = -0*x - x + 60. Let i be (-2865)/x - (-2)/(-8). Let j = -20 - i. Does 14 divide j?
True
Let v = 655 + -460. Does 15 divide v?
True
Suppose 5*w = 4*o + 58, -4*w - 3*o + 71 = 2*o. Let k = 31 - w. Is k even?
False
Let x(l) = -6*l**2 - 11*l - 18. Let v(f) = f**2 + 2*f + 1. Let n(u) = -5*v(u) - x(u). Is n(13) a multiple of 13?
True
Let s = -21 - 104. Let v = -21 - s. Does 13 divide v?
True
Let i(t) = -98*t - 2. Is i(-3) a multiple of 4?
True
Suppose -5*w + 55 = 3*c - 1030, 3*w = -4*c + 1432. Is c a multiple of 9?
False
Suppose 2*h - 7 = 1. Suppose -4*a - j = -3*j + 148, -h*j = 4*a + 136. Let b = 61 + a. Does 8 divide b?
False
Let r(d) = -d**2 - 17*d - 12. Let s be r(-16). Suppose q - 49 + s = 0. Is q a multiple of 15?
True
Suppose -3*s + 2016 = 6*s. Is s a multiple of 4?
True
Suppose 5*j = 4*b - 3*b - 112, -157 = -b - 4*j. Suppose 0 = y + x - b, y + x = -2*x + 129. Is y a multiple of 17?
False
Let k = 8 + -7. Let n be (-3 - 0)/(k/(-6)). Suppose n = b - 4. Is b a multiple of 13?
False
Suppose r - 5*r = -8. Suppose n - 30 = -r*n. Suppose n + 2 = 4*f. Is 3 a factor of f?
True
Let d = 260 - 125. Is d a multiple of 15?
True
Is -4 + 26 - (10 - 1) a multiple of 2?
False
Let g(m) = -13*m - 12 + 23*m - 16*m + m**2. Let u be (0 - (-3)/4)*12. Is g(u) a multiple of 14?
False
Let n be ((-28)/21 - -1) + (-7)/(-3). Suppose -1032 = -5*v - 3*l, 4*l = -n*v + 6*v - 800. Does 51 divide v?
True
Let f(l) = 60*l + 65. Does 44 divide f(24)?
False
Suppose -8*n = 347 - 2235. Does 87 divide n?
False
Suppose 0 = -12*v + v - 55. Let l(j) = -47*j - 31. Is l(v) a multiple of 33?
False
Is 2/16 + 3503/8 - -1 a multiple of 11?
False
Suppose 4*c - t + 5 = 5*c, 3*c = -5*t + 21. Suppose 2*l + 14 = c. Let v = 12 - l. Does 10 divide v?
False
Let o be ((-1)/(-2))/((-19)/(-1216)). Suppose -o = -2*h + 5*a, -3*h = -0*h + 2*a - 67. Suppose i = -3*b + 26, 2*b - i - h = -2. Is b a multiple of 8?
False
Let x be 1*10 - (4 + 0)/4. Is -2 - (-7 - -2)*x a multiple of 10?
False
Let v = -544 - -1061. Does 19 divide v?
False
Suppose 19*r - 6650 = -0*r. Is r a multiple of 7?
True
Let d(z) = -41*z + 15*z + 36 + 8*z + 15*z. Is d(4) a multiple of 11?
False
Suppose -t + 99 = -0*t - 4*a, 4*t + 4*a - 316 = 0. Is t a multiple of 3?
False
Suppose 2*r - 30 = 32. Let x = 25 + r. Is x a multiple of 7?
True
Suppose 0 = 6*m - 3637 - 179. Suppose 0 = 11*o + m - 2495. Does 13 divide o?
True
Let h(f) = -8*f - 1. Let s be h(-5). Suppose 2*n = 2*t - 0*t - 38, -4*n + s = t. Is 3 a factor of t?
False
Let q = -18 + 348. Let k(a) = -8*a**3 - 2*a**2 - a. Let p be k(-1). Suppose -2*x + p*x = q. Is x a multiple of 21?
False
Is 173*1 - ((-16)/(-2) + -6) a multiple of 10?
False
Let i(j) = 21*j - 23. Let w be i(4). Is w - (-5 - 0 - -4) a multiple of 17?
False
Let c(h) = 20*h - 9. Let u be c(4). Let a = u + 17. Does 4 divide a?
True
Let i = -3 + 3. Let t = 16 + i. Suppose 0 = -6*h + t + 14. Is h a multiple of 2?
False
Let k(y) = -y**2 - 8*y + 7. Let i be k(-8). Suppose -5*r + 1641 = -4*n, 4*r - 11*n + i*n - 1316 = 0. Is r a multiple of 25?
True
Let q(s) be the third derivative of s**6/120 + s**5/15 + s**4/24 + s**3/3 + 4*s**2. Let w be q(-3). Suppose -8 = -a + w. Does 4 divide a?
True
Let n = 28 + -21. Let v(t) = 10*t + 14. Is v(n) a multiple of 16?
False
Let x(z) = -z**3 - 2*z**2 + z + 1. Let n be x(-2). Let h(y) = -6*y. Let d be h(n). Let q(r) = r**3 - 7*r**2 + 8*r - 3. Does 3 divide q(d)?
True
Suppose 4*d = 4*s + 322 + 442, -2*s = -4*d + 756. Is d a multiple of 6?
False
Suppose -5*h + 2*v + 120 = -h, 0 = 2*h + v - 56. Suppose -6*m + 5*i = -2*m + 52, -i - 4 = 0. Let u = h + m. Is u a multiple of 11?
True
Let k = -3 - -6. Suppose k*y = p + 17, 2*y = -p - 0*p + 3. Is y*(4 - 6/(-4)) a multiple of 22?
True
Let d(h) = -h**3 + 9*h**2 + 14*h - 12. Is d(5) a multiple of 2?
True
Let g(s) = s. Let a(t) = -2*t**2 - 3*t - 2. Let m be a(-2). Let r(k) = k**3 + 9*k**2 - 10*k. Let p(w) = m*g(w) + r(w). Is 9 a factor of p(-10)?
False
Let t(a) = a**3 - 10*a**2 - 3*a - 8. Let f be t(10). Let j = f - -83. Is j a multiple of 11?
False
Suppose -i + m - 3 = 0, 4*i - 5*m + 2*m = -9. Let g be i - -1 - (7 - 9). Suppose -5*c - 3*v = -8*v - 70, -g*c = 5*v - 42. Does 7 divide c?
True
Suppose -5*h - 2772 = -9*h. Does 63 divide h?
True
Let n = -6 - -56. Suppose -15*f + 20*f = n. Is f a multiple of 5?
True
Suppose d - 2*f = 328 + 74, -2*d + 801 = -3*f. Is d a multiple of 6?
True
Suppose c = -2*c. Let h(i) be the third derivative of -i**6/120 - i**5/60 - i**4/24 + 11*i**3/3 + 35*i**2 - 2*i. Does 11 divide h(c)?
True
Let y be (-4)/(8/10)*-133 - -1. Suppose -5*x = 4*x - y. Is x a multiple of 16?
False
Let n(l) be the first derivative of -31*l**2/2 - 4*l + 3. Let u be n(-4). Suppose 4*f = 6*f - u. Does 20 divide f?
True
Let u = 171 - 109. Let o = -28 + u. Is 8 a factor of o?
False
Let p(l) = 28*l + 9. Let q be p(3). Let m = -56 + q. Is m a multiple of 37?
True
Let v(a) be the third derivative of -a**5/60 + 7*a**4/24 + 5*a**3/2 + 9*a**2. Let q be v(9). Let f = q + 9. Is f a multiple of 2?
True
Suppose 5*g = i - 24, -i + 4*g + 20 + 0 = 0. Let t(v) = -i*v + 4*v + 3*v + 0*v - 7. Does 2 divide t(5)?
True
Let s(f) = 2*f - 17. Let n be s(8). Let x(t) = -4*t**3 - t - 1. Does 4 divide x(n)?
True
Let v(r) = -107*r. Let j(w) = 8721*w. Let t(l) = -5*j(l) - 408*v(l). Suppose 0 = 48*n - 6 - 42. Is 21 a factor of t(n)?
False
Suppose -6656 = -18*h + 16*h. Suppose -16*t + h = -8*t. Is t a multiple of 32?
True
Let s(i) = -i + 6. Let r be s(6). Suppose -4*k + 88 = 3*o - r*k, -5*o - 5*k = -150. Does 5 divide o?
False
Let r be 14 - (-7 - -3) - 3. Does 8 divide 8/40 + (702/r - -2)?
False
Let g be (2/(-1))/((-7)/(-14)). Let h(j) = 16*j**2 + 2*j + 21. Is 52 a factor of h(g)?
False
Let j be (-3 + 30/8)*24. Suppose 5*o + 13 = j. Suppose s - 14 = o. Is 3 a factor of s?
True
Suppose 11*d - t - 27548 = 0, 4*d - t - 9876 = 144. Does 28 divide d?
False
Suppose -814 = -4*y + 166. Let c = -132 + y. Suppose 2*r - 3*r = 4*k - c, 5*r - 25 = 0. Does 10 divide k?
False
Is 19 a factor of (-2256)/(-40)*25/2?
False
Let q(t) = -2*t + 16. Let p be q(7). Let l(h) = 4*h**3 - h**2 + h + 2. Let j be l(p). Suppose -5*z - j = -9*z. Is z a multiple of 3?
False
Let m(r) = r**3 + 3*r**2 - r - 1. Let g = -5 + 2. Let n be m(g). Suppose p + 51 = 3*h, -n*h + 29 - 8 = -5*p. Is 11 a factor of h?
False
Let d(w) be the first derivative of 29*w**3 - w**2 - w + 8. Let c(n) = n**2 - n. Let g(y) = -3*c(y) + d(y). Is 42 a factor of g(1)?
True
Let d(o) = 3*o**2 - 11*o - 35. Is d(13) a multiple of 47?
True
Let l(r) = 20*r + 9. Let o(i) = -20*i - 9. Let w(y) = -4*l(y) - 5*o(y). Does 9 divide w(7)?
False
Let y = -9 + 12. Suppose y*u - 338 = -4*q - 121, -137 = -2*u + 5*q. Is u a multiple of 20?
False
Suppose 101 = -3*x + 4*p, -3*x = 2*p + 2*p + 85. Let k be (-19 - 0) + (-28)/(-7). Let v = k - x. Is v a multiple of 9?
False
Suppose -2*g = 3*m - 8*m + 60, -3*m = -g - 37. Suppose -m*k + 141 = -153. Is k even?
False
Let j(i) = 11*i + 1. Suppose -5*z = -5 - 15. Let t be j(z). Let c = t + -12. Is c a multiple of 12?
False
Let y(w) = -w**3 + 10*w**2 - 5*w - 24. Let n(c) = -c**3 + c**2 - c - 1. Let l(i) = 2*n(i) - y(i). Is 14 a factor of l(-9)?
False
Let d = 7 + -2. Suppo