e
Suppose 0 = -3*h + 5*t - 47, -h - 2*t - 37 = 4*h. Let w be (-12)/2*11/(-2). Let n = h + w. Does 8 divide n?
True
Let a(f) = f**3 - 12*f**2 + 1 + 4*f**2 + 7*f + 2. Let m be a(7). Suppose 0 = 3*n, -3*s + 2*n = -m*n - 33. Does 11 divide s?
True
Suppose -2*v - 5*d = -178, d = 6*d - 20. Does 5 divide v?
False
Suppose -6*h + 321 = -81. Is 25 a factor of h?
False
Let w = 10 - -90. Is w a multiple of 32?
False
Let c(u) = 9*u**3 + u**2 - 6*u - 6. Let w(t) = 5*t**3 - 3*t - 3. Let q(j) = 2*c(j) - 5*w(j). Let x be q(-2). Let l = x - 15. Is 21 a factor of l?
False
Suppose 1183 = 9*f - 815. Does 37 divide f?
True
Let a(g) = -g + 7. Let t be a(5). Suppose 2*k + t*k = 52. Does 6 divide k?
False
Let w(s) = s**3 - 15*s**2 + 22*s - 21. Let o be w(14). Let k = -50 + o. Does 23 divide k?
False
Suppose 3*f = 8*f - 20. Suppose 57 = f*x - 23. Suppose o - s = -2*o + 23, x = -4*s. Does 3 divide o?
True
Let m be 1516/8 - (-1)/(-2). Let p be m/12 - (-3)/(-4). Does 14 divide (-1*p + 1)*-2?
True
Let p be (0 - (-2)/2)*3. Suppose -86 = -5*j + c, -p*j + 39 + 7 = 5*c. Is 10 a factor of j?
False
Suppose -4*s - 3 = -i - 0*i, 5*s + 6 = -i. Is 2*s + (5 - -45) a multiple of 16?
True
Let k be 6 + -7 - (0 - 5). Let u = k + -10. Let t = 29 + u. Does 6 divide t?
False
Suppose 0 = -6*a + 11*a - 15. Let t be (-4)/(-6) + (-13)/(-3). Suppose -a*k + 4*l = -k - 100, k - t*l - 62 = 0. Does 11 divide k?
False
Let c be -45*(-2 + (-12)/(-5)). Is c/42 + 230/14 a multiple of 16?
True
Let r be 18*(0 + (-2)/(-4)). Suppose i = r + 21. Does 15 divide i?
True
Let x(o) = -6*o**2 + 0*o - 3*o + o**2 + o**3 - 2*o**3. Is x(-5) a multiple of 4?
False
Suppose -8*c - 3*c = -704. Does 12 divide c?
False
Let u(r) = -11*r + 7*r - 2 - 46*r. Let t be u(2). Is (-3)/(0 + 9/t) a multiple of 17?
True
Suppose -40*f = -39*f - 91. Does 13 divide f?
True
Suppose -t = 3*t - 8. Suppose 0 = 2*h + 5*a + 14, 3*h = -t*a + 5*a + 21. Is h a multiple of 3?
True
Let m(r) = 10 - 4*r + 2*r + 3*r. Is m(0) a multiple of 6?
False
Suppose 4*m - m - 19 = -4*k, 5*m = 4*k - 11. Suppose -5*r - 2*y + 92 = 0, 0*y + k*y - 76 = -4*r. Is 14 a factor of r?
False
Let m = 6 - 0. Does 9 divide m - 1/((-4)/16)?
False
Suppose -3*a + 0*a = -6. Suppose -u = -3*q + 26, 0*q - a*u = q - 11. Is q a multiple of 7?
False
Let r(u) = 30*u**3 - 3*u**2. Does 12 divide r(2)?
True
Suppose 0 = -0*v + v - 5. Let t = v + 2. Suppose -l = t - 33. Is l a multiple of 9?
False
Suppose n + 3*z = 4, -n + z + z = -14. Suppose n = 2*s - 48. Does 13 divide s?
False
Let s(c) = -c**2 + 12*c - 1. Does 18 divide s(5)?
False
Let w(a) = a**2 - 10*a + 1. Let b be w(6). Let m = -33 - -80. Let x = m + b. Is x a multiple of 24?
True
Suppose 10*g - 252 = 6*g. Does 7 divide g?
True
Let d = -4 + 8. Suppose -d*u + 2*u = -56. Does 21 divide u?
False
Let o(f) = -26*f - 12. Does 26 divide o(-4)?
False
Let d be (-3)/(((-21)/2)/7). Let p(f) = f**3 - 3*f**2 - f + 4. Let z be p(3). Does 24 divide d/z + (-2 - -62)?
False
Does 9 divide 0 + (71 - 0/2)?
False
Suppose -2*b + 144 = 12. Is b a multiple of 22?
True
Suppose -2*m = 1 - 9. Suppose -m*x + 173 = 29. Is 14 a factor of x?
False
Is (6/(-4) + 1)*-84 a multiple of 14?
True
Let l(v) = 11*v**3 - v**2 - 2*v. Let t be l(2). Suppose 4*y + 5*r - t = 0, 2*y + 4*r - 40 = r. Suppose -24 = -4*b + y. Does 11 divide b?
True
Suppose 0 = 5*d - 241 - 34. Is d a multiple of 11?
True
Let z(y) be the first derivative of -2 + 0*y - 1/3*y**3 + 11/2*y**2. Does 14 divide z(9)?
False
Let n be (-2)/8*-18*34. Suppose 4*q - 9 = 3. Suppose -q + n = 5*x. Is x a multiple of 12?
False
Let z be ((-12)/8)/((-2)/(-4)). Does 5 divide ((-2)/(-3))/(z/(-63))?
False
Suppose 0 = -0*p + 7*p - 427. Is p a multiple of 22?
False
Let l be 3/(-6)*(0 + -6). Let u = l + -1. Is u - (-2 + -21) - -1 a multiple of 13?
True
Let w(t) = 17 - 30 + 15 + t. Is w(4) a multiple of 2?
True
Let i(b) = 2*b**3. Let x be i(1). Suppose 33 = -x*g + 129. Suppose -f + g = 3*f. Is 6 a factor of f?
True
Suppose -p = -2*c + 5, 5 = 5*c - 5*p - 5. Let w(j) = j**3 - 3*j**2 + 3*j. Is w(c) a multiple of 2?
False
Let v(g) = 3*g + 7. Let w(j) = 9*j + 21. Let m(h) = 14*v(h) - 4*w(h). Is m(7) a multiple of 14?
True
Let g(r) = 10*r. Let c(o) = o + 7. Let a be c(-5). Does 11 divide g(a)?
False
Suppose -6*l + 2*l = 4*a - 296, -4 = -2*a. Is 12 a factor of l?
True
Let z(t) = 3*t - 1. Let p = -10 - -17. Let c be z(p). Let l = c - 10. Is 10 a factor of l?
True
Let h(t) = -t**2 + 16*t - 12. Is 13 a factor of h(12)?
False
Suppose -4*c - 19 + 115 = 0. Suppose 4*d = c + 4. Is 3 a factor of d?
False
Let u be 3 - 1 - (-10 - -1). Suppose -3 = -i - 4*c - u, 0 = 2*i + 3*c - 4. Does 4 divide i?
True
Let o(w) be the first derivative of -w**4/12 - 5*w**3/3 + 3*w**2/2 - 1. Let v(q) be the second derivative of o(q). Is 4 a factor of v(-7)?
True
Let i be (2 + -1)*1 + 0. Let a = i + 1. Suppose -o = a - 7. Is 3 a factor of o?
False
Suppose 4 = -i + 9. Suppose 4*u + 5 = i*q, 4*u + 5*q - 5 = -u. Is (-3 + u)/((-2)/10) a multiple of 15?
True
Let d(z) be the second derivative of z**5/20 + 5*z**4/4 - 17*z**3/6 - 4*z**2 - 2*z. Is d(-16) a multiple of 8?
True
Let n(j) = -j**2 + 4*j - 3. Suppose -28 = -d - 2*t - 3*t, 32 = 4*d + 4*t. Let u be n(d). Suppose u = 3*m + 6, -55 = -2*y + 4*m + 31. Does 19 divide y?
False
Let x(n) = 6*n**3 - 3*n**2 - 4*n + 2. Is 25 a factor of x(3)?
True
Let q be 7/28 - (-11)/4. Suppose -2*a - q*u = -46 + 9, -99 = -4*a - u. Does 10 divide a?
False
Let v = 0 + 5. Let p = v - -6. Does 5 divide p?
False
Suppose -5*t - 7*i + 2*i = -35, t - i + 3 = 0. Suppose -t*n = -7*n, -3*n = -4*a + 36. Does 5 divide a?
False
Suppose -40 = -4*n + 4*d, 0 = 2*n + 4*d - 39 + 1. Let y(u) = -7 + 4*u**2 - 11*u + 0*u**2 - 3*u**2. Is 13 a factor of y(n)?
False
Suppose -13*s + 14*s = 5. Suppose s*b - 10*b = -290. Is 19 a factor of b?
False
Suppose -3*y = -5*g + 27, 4*g - 6*y + y = 32. Let z = g - -10. Does 11 divide z?
False
Let f(w) = 2*w**2 + 10*w + 6. Let v be f(-6). Suppose -21 = -3*h + v. Does 4 divide h?
False
Let o(f) = -f**2 - f. Let z(x) = -7*x**2 + 7*x + 15. Let j(n) = 6*o(n) - z(n). Does 11 divide j(16)?
True
Let h(g) = g + 15. Let i be h(-11). Suppose 4*m - 16 = i. Suppose -m*r + 180 = 3*f + 27, -4*r - 4*f = -124. Is 10 a factor of r?
True
Suppose 0*y + 3*d + 21 = 2*y, 4*y - 4*d = 48. Suppose 42 + y = 3*j. Does 7 divide j?
False
Let c = 102 - -23. Does 15 divide c?
False
Is 7 a factor of (-4)/(2 - 14) - (-668)/12?
True
Suppose -2*v + 5*i - 18 = 0, 4*v - 3*i = v - 18. Let s = 12 - v. Does 8 divide s?
True
Is 11 a factor of (-4)/(-10) + (-526)/(-10)?
False
Suppose -4*u = -2*u + 6. Let r = -3 - u. Suppose r = -0*t + 4*t - 16. Is t even?
True
Suppose 0 = -l - 3, -f - 2*f = 4*l + 138. Is 2 + f/(-5 - -2) a multiple of 8?
True
Suppose -2*g = b - 38, 3*b + 3*g - 60 - 54 = 0. Suppose -4*v = -5*v + b. Is 17 a factor of v?
False
Is (-3)/(-7) - (-123)/7 a multiple of 13?
False
Let q = -9 - -2. Let d = 5 + q. Does 14 divide d*46/4*-1?
False
Let w = 385 + 208. Suppose -w = -4*f + y, -2*f - 3*f + 4*y = -744. Does 3 divide 2/(-7) + f/28?
False
Let o(v) be the second derivative of -2*v**3/3 + 11*v**2/2 - 5*v. Is 10 a factor of o(-9)?
False
Suppose 1 + 15 = 4*r. Let c be 2/2 + 1 + 7. Suppose 0 = -r*h + c*h - 75. Is 8 a factor of h?
False
Suppose 0 = 5*i + 20, -5*y - 2*i = -71 - 41. Is y a multiple of 6?
True
Let v(w) be the first derivative of -w**6/360 + 3*w**5/40 + w**4/3 - 2*w**3/3 + 3. Let h(l) be the third derivative of v(l). Is 8 a factor of h(8)?
True
Let w = -11 + 7. Let o(i) = 2*i**2 - i. Is o(w) a multiple of 6?
True
Let h(r) = -r**3 - 6*r**2 - 7*r - 9. Let y be h(-6). Let p = -3 - -7. Is (p/(-6))/((-2)/y) a multiple of 6?
False
Suppose -5*f + 3*o - 150 = 4*o, 5*f = 4*o - 175. Let g = f - -49. Does 18 divide g?
True
Suppose x - 28 = -0*x + 5*i, i = 2. Suppose 9 = j - x. Is 18 a factor of j?
False
Let b = -11 + 251. Suppose -3*v - 45 = 5*r - b, 4*r = v + 156. Does 13 divide r?
True
Let o = 3 + 4. Suppose 2*t + 9 = 3*x, -2*t - 25 = -2*x - o*t. Is x a multiple of 2?
False
Is 4/(-14) - 120/(-28) a multiple of 2?
True
Let y = 63 - 47. Is y a multiple of 8?
True
Suppose 7*t - 2*t - 133 = -2*i, 42 = 2*t - 2*i. Let b = 10 - t. Let h = -3 - b. Is 12 a factor of h?
True
Suppose -5*o = 2*p - 6*p, p = 4*o - 11. Suppose -o*x = -x + 108. Let z = x + 57. Does 8 divide