5*i - g + 130 = 0. Does 11 divide i?
True
Let l = -23 + 29. Is l a multiple of 3?
True
Suppose -5*y - 4*q = -40, -3*q + q = 0. Suppose 0*g = g - v - y, -3*g - v = -20. Does 4 divide g?
False
Let d(u) = -u**3 + 5*u**2 + 19*u - 2. Is 11 a factor of d(7)?
True
Let r be 46*2/(-4)*-1. Let b be 3*(-8)/(-6)*-3. Let d = b + r. Is 4 a factor of d?
False
Let v be (-4)/(-10) + (-1938)/(-30). Let t = v + -9. Does 14 divide t?
True
Let q be 0/(1/((-1)/(-2))). Suppose -4*r = -5*t - q*t + 33, -30 = -3*t - r. Is t a multiple of 6?
False
Suppose -2*z = -j + 1, 3*z - 44 = -9*j + 4*j. Is j a multiple of 2?
False
Let n be 19 + -4 - (3 + -1). Suppose 5*o = 52 + n. Is 5 a factor of o?
False
Is 26 a factor of (-34)/(-2 - 6/(-4))?
False
Suppose -k = q - 89, -3*q + 338 - 81 = k. Does 21 divide q?
True
Suppose -4*p = a - 2*a - 4, p = 2. Let d be 1/(-1) + 6/1. Let b = d + a. Does 4 divide b?
False
Let k = -9 - -11. Let j be (-8)/(-20) - (-43)/5. Suppose -4*y + j*y = -5*a + 5, k*y = -a - 2. Is 4 a factor of a?
True
Let k(u) be the third derivative of u**4/24 - 11*u**3/6 + u**2. Let o be k(8). Does 15 divide 12*((-9)/(-12) - o)?
True
Let q = 10 - 6. Suppose -q*y + 6 = -2. Is y even?
True
Let t(g) = g**2 + g**3 + 2*g + 8*g**2 + 1 + 2*g + g. Does 14 divide t(-8)?
False
Let k(b) = -4 + 2*b + 3 + 3 + 0. Is k(8) a multiple of 6?
True
Let s(u) = u**2 + 4*u. Let a be s(-4). Suppose a = -2*i - 10, 5*i = -5*x + i - 10. Is (-92)/(-9) - x/9 a multiple of 4?
False
Suppose 3*q = 9, 2*z - q - q = -14. Let b be (-2)/z + (-27)/2. Let i = -8 - b. Does 5 divide i?
True
Let g(x) = 2*x**2 - x**2 + 4*x + 4 - 5. Let w be g(-4). Does 19 divide (2 + w)/((-2)/(-78))?
False
Let u = -27 + 80. Does 5 divide u?
False
Let r(z) = z**3 + 5*z**2 - 3*z - 6. Suppose h - 2*g + 4*g = 3, 0 = 5*h + 4*g + 15. Let c = h - -3. Is r(c) a multiple of 8?
False
Suppose 8*h - 206 = 370. Is h a multiple of 25?
False
Let n = -21 + 22. Is 11 a factor of (2 + -32)/(-3) + n?
True
Let c(z) be the second derivative of 0 + 1/4*z**4 - 1/2*z**2 - z + 0*z**3. Is 13 a factor of c(-3)?
True
Let m(w) = w**2 + 12*w + 11. Let f be m(-12). Let j = 20 + f. Does 12 divide j?
False
Suppose 0*v + 3*a = -2*v + 73, 0 = v + 2*a - 37. Does 5 divide v?
True
Let r be (-14)/(-2) + (4 - 6). Suppose r*s - 181 - 89 = 0. Is s a multiple of 11?
False
Suppose -3*b + 8*b - 250 = 0. Does 32 divide b?
False
Let c(h) be the first derivative of h**4/4 + 8*h**3/3 + 5*h**2/2 + 2*h + 5. Is c(-3) a multiple of 10?
False
Let c = -5 - 0. Let y(p) = -18*p + 32. Let j(f) = 6*f - 11. Let m(z) = 11*j(z) + 4*y(z). Is 10 a factor of m(c)?
False
Let n(t) = 26*t - 15. Does 12 divide n(4)?
False
Suppose 4*k + 18 = 3*o, 2*k - 5*o + 20 = 4. Does 13 divide 2/k*585/(-10)?
True
Suppose 4*b = -b + 20. Suppose 23 = i - 5*z, 0 = b*i + 3*z + 2*z + 8. Does 3 divide (-23)/(-4) + i/12?
True
Let a(p) = -3*p + 13. Is 9 a factor of a(-7)?
False
Suppose 4*f - 3*b = 8, -5*b = -f - b - 11. Suppose -t - 5*w = -2*t - 44, 0 = 4*t + f*w + 226. Is 7 a factor of 1/4 - t/8?
True
Let z(i) be the second derivative of i**4/6 + 7*i**3/6 + 2*i**2 + 26*i. Suppose 0 = -4*m - 5 - 11. Does 4 divide z(m)?
True
Suppose 32 = -w + 5*p, 5*w + 56 = -0*w - p. Let r(s) = -5*s**2 - 2*s - 4. Let o be r(-2). Let g = w - o. Does 4 divide g?
True
Let y(t) = 3*t + 17. Does 3 divide y(-3)?
False
Let u = -5 + 5. Suppose 32 = 2*n - u. Does 8 divide n?
True
Let l = 22 - -16. Suppose -5*p + l = -7. Does 9 divide p?
True
Let w(n) = n**3 - 5*n**2 - 8*n + 1. Let i be w(7). Let a be i/(-9) + 4/(-18). Is 3 a factor of 1*2 - 20/a?
True
Suppose -v = -6*v - 20, -3*z + 196 = -4*v. Suppose 4*m - 2*m = z. Does 10 divide m?
True
Let b = -81 - -217. Does 7 divide b?
False
Let o be (-3 + 3 + 8)/2. Suppose -22 - 66 = -o*c. Is c a multiple of 20?
False
Let t(f) = -f**3 - 12*f**2 - 28*f - 11. Is 11 a factor of t(-10)?
False
Let f = 19 + -5. Is 7 a factor of f?
True
Suppose 4*d + 768 = -112. Is ((-12)/(-10))/((-66)/d) a multiple of 4?
True
Let t(k) = k**3 + 7*k**2 + 4*k - 3. Let s be (23/(-3))/(2/(-6)). Let v be s/(-4) + (-2)/8. Is 8 a factor of t(v)?
False
Let p be 4*1 + 2/(-1). Let u = p + -11. Let j(q) = -q - 3. Is 6 a factor of j(u)?
True
Suppose -27*a - 1015 = -32*a. Is a a multiple of 29?
True
Let h(x) = -4 - 5*x + 1 + 2 + 3 - x**2. Is 2 a factor of h(-4)?
True
Let t be 3 - 0 - 0/(-3). Suppose 125 = 4*s - t. Is 13 a factor of s?
False
Is 22 a factor of 2 - (-66 - (1 + -3))?
True
Suppose -3*v = -4*l + 5*l - 7, v = -4*l - 27. Is -8*(-17)/l*-2 a multiple of 19?
False
Let h(v) = v**3 - 6*v**2 - v + 2. Let g be h(6). Suppose -6*a = -a - 20. Is a/(g*2/(-4)) even?
True
Let v(m) = -m**3 + m**2 - 4*m - 4. Does 22 divide v(-3)?
True
Let f(t) = -2*t + 3. Let y be f(5). Let s = 16 + y. Is 8 a factor of s?
False
Suppose 0 = -13*l + 4799 - 1978. Is l a multiple of 31?
True
Suppose 38 + 7 = 5*m. Suppose -25 = -4*t - m. Suppose a = -3*n + 42, t*n - 18 = -3*a + 43. Does 6 divide n?
False
Let l(i) = i**3 + 11*i**2 + i. Is l(-10) a multiple of 51?
False
Suppose -b - 2*b + 213 = 0. Does 17 divide b?
False
Let p(d) = -15*d + 4. Is 47 a factor of p(-6)?
True
Suppose 0 = 3*g - 4*q - 190, -4*g + 2*q = g - 312. Is 18 a factor of g?
False
Suppose p = -c - 41, -2*p + c - 86 = 11. Let f be p/(-14) + 6/(-21). Is f*(5 - (-3)/(-3)) a multiple of 6?
True
Is 93/(-4)*32/(-6) a multiple of 20?
False
Let u = -7 - -1. Let b = 27 - u. Is 11 a factor of b?
True
Let d = 191 - 90. Is d a multiple of 23?
False
Let c be (6/5)/((-3)/(-90)). Let i = c + -25. Suppose o + 56 = 4*s + 5, s - 5*o + i = 0. Is 6 a factor of s?
False
Suppose 5*b = c + b - 19, -c = -3*b - 24. Suppose 0 = -4*q - c + 147. Does 9 divide q?
True
Let y(r) = -3*r + 15. Let h be y(12). Does 13 divide (-363)/h + (-2)/7?
False
Let y be -9 - ((-2 - -1) + 2). Let j = y - -18. Suppose -2*l + 2*k = 2, 3*l + 2*k + j = 6*k. Is 3 a factor of l?
False
Does 3 divide -6*4/32*-20?
True
Let a(f) = 15*f. Does 15 divide a(1)?
True
Suppose 10 = 4*s + 3*y - 10, -s = 5*y - 22. Suppose -5*x - p - 19 = -107, s = -p. Does 18 divide x?
True
Suppose -4*q + 278 = 3*w + 34, 4*w + 4*q = 328. Suppose 0 = -2*c + 2 + 2, 0 = 2*t - 3*c - w. Does 15 divide t?
True
Let n be 1/(-1) + 2/2. Let h = -4 + n. Let t(q) = -2*q - 3. Does 2 divide t(h)?
False
Suppose 3 = x, 4 = 3*r - 3*x + 1. Is (-16 + r)/(4/(-6)) a multiple of 9?
True
Let d(g) = g**3 - 5*g**2 - 11*g - 1. Let x(b) = b**2 + 2*b. Let n(w) = 2*d(w) + 11*x(w). Let o(i) be the first derivative of n(i). Does 14 divide o(2)?
True
Let x(h) = 2*h**2 + 7*h + 6. Let k be x(-4). Suppose j + 4*p - 10 = 0, 0*p + k = -5*p. Is 7 a factor of j?
False
Suppose j = 119 + 18. Does 29 divide j?
False
Suppose 0 = u - 13 + 3. Does 6 divide u - 1 - (0 - 0)?
False
Suppose 0 = -7*y + 2*y + 5. Let m = y - -4. Does 2 divide m?
False
Let t = -10 + 12. Let z be 88/14 - (-4)/(-14). Suppose -5*q + z*g = t*g - 271, 4*q = -5*g + 225. Is 20 a factor of q?
False
Let d be (0 - -53)*2/(-2). Let c = d - -77. Is 15 a factor of c?
False
Let a = 68 + -11. Is 29 a factor of a?
False
Let y(l) = 3*l**2 + 2*l - 1. Does 16 divide y(3)?
True
Let s = 4 - 4. Let g be (-57)/(-12) - (-12)/(-16). Suppose -g*c = -s*c - 80. Is c a multiple of 20?
True
Let b = -4 + 1. Let t be 2/(3*b/(-216)). Let q = 86 - t. Does 15 divide q?
False
Let y(k) = k**2 - 3*k + 6. Let f be y(-5). Let q = f - 16. Is 15 a factor of q?
True
Suppose d - 16 + 11 = 0. Let s(t) = 2*t + 3 - t**2 - t + 3*t**2. Is 17 a factor of s(d)?
False
Let w be ((-3)/(-9))/((-3)/(-90)). Let i = w + -5. Suppose -i = -a + 3. Is 3 a factor of a?
False
Let n(u) = 2*u**2 - 2*u - 1. Let v be n(-1). Suppose 0 = v*y - 9, -2*y = -3*s + 8 + 43. Let h = 42 - s. Does 8 divide h?
False
Let g(r) = -r**3 - 7*r**2 - r - 5. Let n be g(-7). Suppose 3*j = -2*k + 44 - n, 2*j = -k + 19. Does 9 divide k?
True
Suppose -3*y + y = -152. Is 14 a factor of y?
False
Let t be (3 + (-38)/10)*-5. Suppose t - 21 = -x. Does 14 divide x?
False
Let q(g) = 1. Let t(v) = 2*v + 1. Let u(f) = 6*q(f) - t(f). Is u(-11) a multiple of 11?
False
Is 16 a factor of (-8119)/(-115) + 6/(-10)?
False
Suppose 8*l - 3*l = 0, -3*l + 63 = 3*t. Is 7 a factor of t?
True
Let d be 70/8 - 4/(-16). Let u = -3 + d. Is u a multiple of 4?
False
Does 2 divide (-247)/(-26) + 3/(-2)?
True
Let h be 0/((-2 - -3)*-1). Let y = h - -21. Is y a multiple