e
Suppose -3*g + 72 = -0*g. Suppose 6*l - g = 4*l. Is 3 a factor of l?
True
Does 17 divide (-9)/24 - 2466/(-48)?
True
Let c = -2 + 7. Does 5 divide c?
True
Suppose 9*r - 235 - 197 = 0. Is 8 a factor of r?
True
Let w = 139 + 215. Does 20 divide w/9 - (-6)/9?
True
Let p(i) = -3*i - 4. Let j(r) = -r**2 + 10*r + 4. Let s be j(11). Is p(s) a multiple of 8?
False
Let l(g) = g**3 - 16*g**2 - 16*g - 19. Let i be l(17). Is 44 + (-2 - 12/i) a multiple of 13?
False
Let f = -18 - -23. Does 5 divide f?
True
Suppose 8*x + 0*x - 504 = 0. Is 9 a factor of x?
True
Let v(r) = r**3 + 2*r**2 - 4*r. Let s be v(3). Suppose -x + b + 15 = -0*b, 0 = 2*x + b - s. Does 16 divide x?
True
Let o = -40 + -5. Let g = -20 - o. Suppose 0 = 5*p + g, 3*t + 0*t = -p + 73. Is 13 a factor of t?
True
Suppose -3*n - o + 7 = 0, 4*o + 36 - 16 = 0. Let c be (18/8)/(1/20). Suppose -l + c = n*l. Is l a multiple of 9?
True
Suppose -4*p = -0 + 8, j - 5*p = 10. Suppose 0*y + 4*y - 5*u = 117, -2*y - 2*u + 54 = j. Is y a multiple of 11?
False
Let n = -8 + 8. Suppose 0 = -n*w - 2*w + 96. Is w a multiple of 16?
True
Suppose 3*j - 179 - 217 = -5*b, 0 = j + 3. Is b a multiple of 9?
True
Suppose 41 = 2*s - s. Does 4 divide s?
False
Let r = 16 + 50. Does 22 divide r?
True
Suppose -4*s - 2 = -5*s. Suppose s*g - 22 = -0*g. Does 11 divide g?
True
Let g(a) = -3*a + 3. Let i(w) = -3*w + 4. Let h(x) = -5*g(x) + 4*i(x). Let p be h(1). Suppose 24 = -n + p*n. Does 8 divide n?
True
Let b(k) = -k**2 + k + 294. Let z be b(0). Is 13 a factor of 8/(-20) + z/10?
False
Let s(d) = 4 - 6 - 4*d + 0. Let b(k) = -k**3 + 8*k**2 - 5. Let v be b(8). Is s(v) a multiple of 18?
True
Suppose 4*j - 576 = -2*d, 2*d - 3*j - 575 = -6*j. Is 27 a factor of d?
False
Let y(u) be the third derivative of u**6/120 + 3*u**5/20 + u**4/4 - 11*u**3/6 + 3*u**2. Is y(-8) a multiple of 2?
False
Let b = -95 - -137. Does 14 divide b?
True
Let g = 84 + -17. Does 15 divide g?
False
Let k be (-8)/10*85/34. Is k/(-4 - (-79)/20) a multiple of 10?
True
Suppose 1052 = 6*v - 268. Does 14 divide v?
False
Let y(m) = m**2 - m + 5. Let i be y(-7). Suppose 3*x = 38 + i. Is x a multiple of 24?
False
Let a(l) = l**2 + 53. Let o be a(0). Suppose -5*m - o = 2. Let i = -1 - m. Is 4 a factor of i?
False
Suppose 0 = 2*m + 5*r - 1 - 22, -5*r + 5 = 0. Is 9 a factor of m?
True
Let v be 0 - -10*3/6. Suppose v + 0 = k. Suppose u - 28 + 9 = -4*y, 210 = k*u - 3*y. Is 13 a factor of u?
True
Let w(y) = 10*y + 2. Let r be w(-4). Let v = r + 56. Is 18 a factor of v?
True
Let l = -6 - -8. Does 15 divide (-2)/(-2) + 30/l?
False
Let f(d) = 86*d**2 - 3*d - 1. Does 30 divide f(-1)?
False
Let v be 1/1 - (-3)/1. Suppose -197 + 29 = -4*l + a, 0 = -5*l - v*a + 231. Is 13 a factor of l?
False
Let b be (-8)/(-40) + (-198)/(-10). Suppose 4*z + b = 0, -2*t - 2*z + 19 - 5 = 0. Does 6 divide t?
True
Suppose 29*v - 264 = 26*v. Does 11 divide v?
True
Let q be ((-2)/(-4))/(1/12). Suppose -d + w = q, -d - 3*w = -0*d - 14. Does 2 divide 3*(-2)/3*d?
True
Let x = -38 - -81. Does 7 divide x?
False
Let u(m) = -m**2 + 4*m + 2. Let h be u(3). Let o(c) = 0*c**2 - c**2 - 9 + 18*c - h*c. Is 19 a factor of o(9)?
False
Let w be 1/(-3) + 100/12. Let i = w + -3. Is i a multiple of 2?
False
Let y(i) = 2*i + 7. Let d be y(-6). Let q = -5 - d. Suppose -2*g + 44 = -q*g. Does 11 divide g?
True
Let l(b) = -12*b + 8*b - 11 + 2. Is l(-7) a multiple of 10?
False
Suppose g = -3*g - 2*k + 594, 3 = -k. Is g a multiple of 9?
False
Let n(b) = 3*b + 3. Let i be n(3). Suppose 1 = 4*z + 4*w - 91, 0 = -4*w + i. Is z a multiple of 13?
False
Is (-2)/3 + (2891/21 - 2) a multiple of 34?
False
Suppose 4080 = -2*t + 17*t. Is t a multiple of 16?
True
Suppose 0 = 2*v + 2*v. Let w = v - -3. Suppose w*z - 51 = -5*y, 2*y + 28 + 2 = 3*z. Is 12 a factor of z?
True
Suppose -4*y + 6*y - 126 = 0. Suppose y - 11 = 4*b. Is 3 a factor of b?
False
Let u(w) = w**2 + w - 3. Let g be u(-3). Let j(y) = 4*y + 4. Does 12 divide j(g)?
False
Let l = 16 + 4. Is l a multiple of 10?
True
Let i(u) = u**2 + 5*u - 3. Let m be i(-6). Suppose 4*h + 11 = 3*n - 8*n, -n - h = m. Let p = n + 34. Is p a multiple of 19?
False
Let w be -4*2/(-16)*6. Suppose 53 = w*i - 19. Is i a multiple of 4?
True
Let y(i) = -i**3 + i**2 - 4*i + 6*i - 2*i**2 + 2*i**2 + 3. Is y(-2) a multiple of 9?
False
Let n(p) = 3*p**2 + p - 2. Does 3 divide n(-2)?
False
Let r be (3/9)/(1/3). Let g be (-1)/(1/19) + r. Does 8 divide 2/(-6) + (-330)/g?
False
Let m(a) = -a + 15. Let t be m(10). Suppose -2*k + k = 0. Suppose -t*v + 79 + 6 = k. Is v a multiple of 8?
False
Suppose -3*h + 21 = -3*d + 66, d = -4*h - 10. Let f = d - 4. Is 6 a factor of f?
True
Let d(x) = 6*x - 42. Is d(17) a multiple of 6?
True
Let y = -11 - -11. Does 2 divide -3 + (y + 11)*1?
True
Suppose -5*c + 76 - 31 = 0. Let t(w) = 4*w**2 - w + 1. Let i be t(1). Suppose i*q = 3 + c. Is q a multiple of 3?
True
Suppose 0 = o - 0*o - 4*k + 5, 0 = 4*o + 5*k + 125. Let x = 61 + o. Is x a multiple of 9?
True
Let c(s) = 14*s - 23. Is 19 a factor of c(10)?
False
Let r(b) = b**2 - 9*b + 8. Let i be r(7). Let a(n) = -9*n - 12. Is 13 a factor of a(i)?
False
Suppose 2*f - 26 = 3*c, 3*c = -4*f + f + 24. Suppose -2*l - 2 = -f. Is l a multiple of 3?
False
Suppose 0 = -4*x - 0*x + 184. Suppose 0*g - x = -2*g. Does 5 divide g?
False
Let i(w) = -2*w**3 + 3*w + 4. Is i(-3) a multiple of 10?
False
Let h = -21 + 63. Does 26 divide h?
False
Suppose -10*c + 12*c - 94 = 0. Is c a multiple of 28?
False
Does 12 divide 30*(-9)/(9/(-4))?
True
Let b = -14 + 21. Is b a multiple of 7?
True
Suppose 5*u = 2*t + 20, -2*u + 3*t = 4 - 1. Is u a multiple of 3?
True
Let y(v) = -2*v + 6. Suppose -o = -2*o - 5. Is y(o) a multiple of 14?
False
Let g = 52 + -45. Is g a multiple of 2?
False
Let l(b) = -b**3 + 7*b**2 + 8*b + 2. Let t be l(8). Suppose 3*s - 48 = t*h, 2*h - 17 = -s + 7. Does 9 divide s?
True
Let k(n) be the second derivative of n**5/6 - n**4/24 + n**3/6 - n**2 - 2*n. Let y(j) be the first derivative of k(j). Is 7 a factor of y(1)?
False
Suppose -6*y - 558 = -12*y. Does 7 divide y?
False
Let c(v) = -4*v - 3. Suppose 2*o = -5*l - 3*o - 45, -5*o + 5 = -5*l. Does 12 divide c(l)?
False
Suppose d - 4*d = -2*u - 2, 3*d - u - 7 = 0. Is d a multiple of 4?
True
Let j(t) = 5*t - 7*t**2 - 2*t + 0 - t**3 - 5 + 3*t**2. Does 12 divide j(-6)?
False
Let g = -49 - -106. Let w = g + -41. Does 12 divide w?
False
Let l = 37 + -13. Suppose l - 292 = -4*y. Does 25 divide y?
False
Let s = -501 - -276. Let w be (3 - s/6)*2. Suppose -w = 5*j - 221. Does 10 divide j?
False
Does 4 divide (10/(-4))/(23/8 + -3)?
True
Suppose 4*z - 4*l + 0*l - 244 = 0, 134 = 2*z - 5*l. Does 14 divide z?
False
Let p(j) = -14*j**3 - 2*j**2 - j. Suppose 5*f - 4*f = 0. Let k be f/2 - (2 - 1). Does 5 divide p(k)?
False
Let w be (1 - (-99 + 2)) + -2. Suppose 5*k - w = k. Does 18 divide (k/20)/((-1)/(-30))?
True
Let h be 3 - 1 - (-15 + 13). Suppose w + 12 = h*i, 5*w - 36 = -3*i - i. Does 4 divide i?
True
Suppose -4 = -2*w, -5 = -2*s - 5*w + 9. Let q(z) = 44*z**2 - z - 1. Let p be q(s). Suppose n - 4*m - 44 = 0, 4*n = 2*m - 53 + p. Is 14 a factor of n?
True
Let t(m) = -m**3 + 4*m**2 - 6*m + 5. Let f be t(5). Let r = -26 - f. Suppose -3*k = -k - r. Does 12 divide k?
True
Let r(g) = -g**3 - 9*g**2 + 2*g + 16. Let y be r(-9). Let n be 3/(6/2) + 9. Let a = y + n. Is a a multiple of 8?
True
Suppose -4*f - 46 + 10 = 0. Let r(w) = -w**2 - 9*w - 9. Let u be r(f). Is 11 a factor of u/27 - 67/(-3)?
True
Let m = 8 - 4. Suppose -l + m*l = 42. Does 7 divide l?
True
Let q(u) be the first derivative of 47*u**3/3 + u**2/2 - 2. Is 18 a factor of q(1)?
False
Let n = 27 - 19. Let x = n - 10. Is ((-28)/(-21))/(x/(-78)) a multiple of 26?
True
Suppose -25*l = -19*l - 276. Is l a multiple of 23?
True
Suppose 4*j - o - 84 = 101, 4*j - 4*o = 188. Does 13 divide j?
False
Let d(z) = -4*z - z**2 + 3*z**2 - z**2 - 4. Let i be d(5). Let p = 6 + i. Does 3 divide p?
False
Suppose -b = -3*d - 87, -2*b - b + 206 = 2*d. Does 35 divide b?
False
Is 12 a factor of ((-15)/(-10))/(2/96)?
True
Let l(m) = m**2 - 1. Let i be l(-1). Suppose i*q = 4*q. Suppose q*j + 3*j - 18 = -g, -2*j - g + 11 = 0. Is 7 a factor of j?
True
Let f = -7 - -15. Let n(g) = 3*g - 8. Does 8 divide n(f)?
True
Suppose 8 = 5*a - 3*s, -5 + 3 = 2*s. Let t be (-1 - a)/1 - -2. Suppose t*k