e y = -l + 3, -y + x = 2*l - 4*y. Is 4 a factor of l?
True
Suppose -5*a - r = 28, -2*r = 5*a - 0*a + 26. Is 6 a factor of a/(-15) - (-144)/15?
False
Let t be 0 + -2 - (-279 - 3). Is t/10 + 0 + 2 a multiple of 15?
True
Suppose q + 2 = 3. Is -4*(0 - q - 9) a multiple of 20?
True
Let g = -105 - -157. Is g a multiple of 26?
True
Suppose 0 = f - 2*z - 10, -3*z + 9 = 3. Suppose -5*d = -q - f, 3*d = 2*q + 3*q + 26. Suppose -v = -3, 3*g - v = d*g + 5. Is g a multiple of 8?
True
Let y(k) = -3*k**2 + 1. Let b be y(1). Let z be b*(-3 - (24 - 1)). Suppose -v - 3*v + z = 0. Does 13 divide v?
True
Let c(t) = -t**3 - 4*t**2 + 4*t - 2. Let d be c(-5). Let k = 31 - d. Suppose 5*z - 10 = 0, 2*z + 0*z - k = -4*s. Is s a multiple of 3?
True
Let i = 16 + -11. Suppose -93 = i*m - 8*m. Does 12 divide m?
False
Suppose 3*j - 13 = 3*l + 5, 2*j - 10 = 4*l. Suppose -4 = -4*t + j*i - 3*i, 2*t + i = -4. Is 4 a factor of t - (-6 - 3/(-3))?
True
Let g(c) = c**3 + 5*c**2 - c + 5. Let v be g(-6). Let p be -17 + 0*1/2. Let h = p - v. Does 4 divide h?
True
Let a(w) = 2*w + 9. Let d(n) = n**2 - 5*n - 6. Let i be d(7). Let o be a(i). Suppose 75 = 5*b + o. Is b a multiple of 4?
False
Let f = -57 - -113. Is 6 a factor of f?
False
Let z(b) = -5*b - 12. Is 3 a factor of z(-4)?
False
Let u = -7 + 11. Suppose 0 = -j + t - 17, -u*j = -2*j + 4*t + 16. Let d = j - -25. Does 11 divide d?
True
Suppose -3*w + c = -17, -3*w + 16 = -4*w - 4*c. Is w even?
True
Suppose -36*a + 33*a + 99 = 0. Is 11 a factor of a?
True
Let l(g) = -g**2 - 3*g + 4. Let p be l(-3). Does 6 divide 16/(-6)*(-27)/p?
True
Let l = -11 - -22. Let z(w) = -w**2 + 14*w + 14. Let r be z(l). Suppose r = 3*g + 8. Is 4 a factor of g?
False
Suppose 0 = 2*j + 2*l - l + 18, 3*l - 16 = 4*j. Let i(r) = -r**3 - 8*r**2 - 9*r + 5. Let b be i(j). Suppose b = t - 0. Is 7 a factor of t?
False
Let u(n) = 15*n**2 + 3*n + 2. Is 14 a factor of u(-1)?
True
Let t = -14 - -31. Let a = -6 + t. Is 11 a factor of a?
True
Let y = -42 - -117. Is (y/(-3) + -1)/(-1) a multiple of 13?
True
Let d = -10 - -20. Suppose d = f + 4*f. Suppose x - 10 - f = 0. Does 12 divide x?
True
Does 20 divide 36/(-27)*102/(-4)?
False
Let u be 2 + (-34)/(-2) - 2. Suppose -2*p + u = 1. Let v(o) = 4*o - 8. Is v(p) a multiple of 12?
True
Let o(v) = -v**2 + 9*v + 45. Is 15 a factor of o(9)?
True
Let j(a) = -a**2 + 7*a. Let b(w) = -w - 1. Let g(i) = -2*b(i) - j(i). Is 4 a factor of g(7)?
True
Let f be -3*1 - 28/(-4). Is (21/f)/(1/4) a multiple of 9?
False
Suppose 3*u + 74 + 1 = 0. Let q = 45 + u. Let x = q + -11. Does 8 divide x?
False
Let h(o) = 6*o**2 - o - 3. Is h(3) a multiple of 16?
True
Suppose 4*w + 2*j - 404 = 0, -4*w = 2*j - 4*j - 396. Is 10 a factor of w?
True
Let z = -8 - -12. Suppose 0 = -3*g + 29 + z. Does 11 divide g?
True
Let l be -6*(-4)/8 - -5. Let m = l + 29. Does 13 divide m?
False
Suppose 4*h + k + 375 = 2*k, 5*k = -4*h - 381. Suppose -3*o - m = 138, 0*o + 3*o = 4*m - 153. Let v = o - h. Does 14 divide v?
False
Let p = -11 + 15. Suppose -5*i = p*r - 180, 4*r + r + 71 = 3*i. Suppose 2*o = -0*o + i. Does 11 divide o?
False
Let f be 0 - (1 - 3 - 1). Suppose -2*s - 7 = -f*t - 25, 0 = -t + 4. Is s a multiple of 12?
False
Suppose -40 = -a - 4*a. Suppose -3*m - 6 = n, a*n = 3*n - 2*m + 22. Is 6 a factor of n?
True
Suppose -11 = i + 11. Let x = i - -25. Is 3 a factor of x?
True
Let w(n) = n + 7. Let k be (-3)/4 - (-17)/(-4). Let t be w(k). Suppose t = -s + 10. Is s a multiple of 4?
True
Let j(p) = p**3 + 9*p**2 - 11*p - 5. Does 16 divide j(-9)?
False
Let z = 12 - -214. Does 14 divide z?
False
Let g = 23 - 11. Let f = g + -3. Is 2 a factor of f?
False
Let w(m) = -15*m**3. Let i = 9 - 10. Does 12 divide w(i)?
False
Let o(f) = 5*f + 77. Is 7 a factor of o(0)?
True
Let c(t) = 4*t + 23. Is 19 a factor of c(18)?
True
Let f(b) = 4 + 0*b + 0*b - b + 0*b. Does 7 divide f(-10)?
True
Let j(o) = -5*o + 1. Let f be j(1). Let g = f + 39. Does 14 divide g?
False
Suppose -5 = l, -3*l - 5 = 3*j - j. Suppose 0*r - j*r = 0. Suppose -7*x + 2*s = -3*x - 56, 5*x + 5*s - 55 = r. Does 6 divide x?
False
Let v(t) = 2*t**2 - 4*t - 1. Let u be v(4). Suppose -l = 5*d - u - 14, -124 = -5*l - 4*d. Is 12 a factor of l?
True
Let j(c) = 4*c**3 + c**2 - c + 1. Let n be j(1). Let l = 10 - n. Let f = l + -1. Does 2 divide f?
True
Suppose 3*v = 2*a - a + 23, 4*v + 4*a - 20 = 0. Does 3 divide v?
False
Let b(o) = -11*o**2 + 31*o + 6. Let d(c) = -5*c**2 + 15*c + 3. Let j(n) = -6*b(n) + 13*d(n). Let l(i) be the first derivative of j(i). Is 23 a factor of l(7)?
True
Suppose -t = -3*d + d - 42, -2*d - 242 = -5*t. Is t a multiple of 5?
True
Let a = 0 + 2. Suppose -5*m - 5*w + 95 = 0, 5*m + w = a*m + 55. Does 9 divide m?
True
Suppose 2*g + 4 = -4*o + 5*g, -g = 3*o - 10. Suppose 64 = 2*d + o*d. Is 16 a factor of d?
True
Let s = -57 + 80. Does 8 divide s?
False
Suppose 3*q - 8*q + 191 = -2*k, 2*k = 4. Is q a multiple of 12?
False
Let u(a) = 11*a**2 - a + 12. Let k(i) = 4*i**2 + 4. Let r(y) = -8*k(y) + 3*u(y). Is r(5) a multiple of 7?
True
Let g(q) = -q**3 - 9*q**2 - 6*q + 13. Is 28 a factor of g(-9)?
False
Let k = -2 - -7. Suppose 2*i - k*j = i - 30, -5*i + 2*j = 58. Does 6 divide 62/5 - (-4)/i?
True
Let h(a) = -2*a - 7. Suppose -3*r + 4*r = 9. Let t be h(r). Let w = -9 - t. Does 16 divide w?
True
Let r(a) = -a**2 - 5*a + 4. Let g be r(-5). Suppose -5*s + 6 = -s - 3*j, s = g*j - 5. Is 3 a factor of s?
True
Let b be (-5 - -9)/(3 + -1). Suppose -b*j = 3 - 59. Does 10 divide j?
False
Suppose 4*v - 8 = 0, -a - 3*v = -3*a + 4. Suppose l - 2*d - 17 = 0, a*l - 2*d - 60 = -15. Is 5 a factor of l?
False
Let n be -3 + ((-53)/1 - -2). Let o = 5 - n. Is o a multiple of 16?
False
Is 2 - -140 - (11 + -5 - 7) a multiple of 13?
True
Let s = 7 + 49. Is 1808/s - (-2)/(-7) a multiple of 15?
False
Let o(q) be the first derivative of q**3/3 + 2*q**2 - 12*q + 5. Is o(-9) a multiple of 9?
False
Suppose 5*s + 2*h - 24 = 0, -1 = 5*h - 11. Suppose -s*f + 3*w = -49, -4*f - 3*w = -21 - 34. Does 10 divide f?
False
Suppose 5*p - 1 = k, -3*k - 2*p + 24 + 24 = 0. Is k a multiple of 6?
False
Suppose 2 + 22 = 2*k. Does 6 divide k?
True
Let i = 0 + 2. Let c = 40 - 17. Suppose c = i*v + 7. Is 6 a factor of v?
False
Suppose 0*r - 1 = r. Let i(w) = -78*w**3 - 2*w**2 + 1. Is i(r) a multiple of 16?
False
Let w(s) = s - 6. Let u(g) = 3. Let q(f) = -7*u(f) - 3*w(f). Is 3 a factor of q(-4)?
True
Suppose 3*v - 23 = 5*r, -5*r + 15 = 5*v - 10. Suppose 0 = -4*z, -4*z - v = -3*k + z. Suppose -k*i + 30 = 12. Is i a multiple of 9?
True
Is ((-728)/(-12))/(10/45) a multiple of 13?
True
Let n(s) = -s**2 - 14*s + 3. Let h be n(-10). Suppose 0*u - 101 = -3*r + 2*u, 3*u = r - h. Is r a multiple of 7?
False
Suppose -4*l = -q - 2*q - 1011, l + q = 244. Is l a multiple of 43?
False
Let j(h) be the third derivative of h**6/120 + h**5/30 - h**4/12 + 5*h**3/6 + 7*h**2. Is 26 a factor of j(4)?
False
Let n be 2/4 - 186/(-12). Suppose -i = -3*z + 4*i + n, -5*i - 14 = -2*z. Suppose -6 = 2*h, z*d = -2*h + 38 + 38. Does 16 divide d?
False
Suppose h - l - 4 = 0, 2*h + l = 2 - 0. Suppose -60 = -h*a - 8. Is 9 a factor of a?
False
Let k be (-60)/(6/(-45)*3). Suppose -5*m = -3*p - k, -2*m + 75 = p + 15. Does 15 divide m?
True
Let r = 3 - 12. Let x(y) = -y**2 - 10*y - 5. Is 4 a factor of x(r)?
True
Suppose 0 = -o + t + 83, 0*t = o + 2*t - 83. Let i = o - 56. Is i a multiple of 8?
False
Suppose -3*j + 104 = -10. Let f = j + -56. Does 11 divide (14/4)/((-3)/f)?
False
Let q(h) = 2*h**3 + h**2 - 2*h + 4. Let u be q(-4). Let s = u - -173. Is s a multiple of 19?
False
Let o = 7 - -4. Is (-34)/(-187) + 97/o a multiple of 9?
True
Suppose 116 = 4*u + 2*n, -55 = -2*u - 2*n + 3. Does 7 divide u?
False
Suppose -2*k - 5*g - 21 + 166 = 0, 3*k + 5*g - 205 = 0. Suppose 4*s = -2*i + k, 0 = 5*i + 2*s - 15 - 103. Let z = i - -8. Is z a multiple of 9?
False
Is 57 a factor of 226 - (-9 + 8) - (0 - 1)?
True
Let j = 6 - 7. Let r(g) = -2*g**3 + g**2 + g. Let l be r(j). Suppose -l*w - 12 + 47 = -3*m, -2*w + 4*m + 36 = 0. Is w a multiple of 16?
True
Let x = 132 + -82. Suppose -3*d = -x + 17. Does 11 divide d?
True
Is 5 + (147 - -5) - -1 a multiple of 50?
False
Let f(d) = -3*d**3 + 3*d**2 + 5*d - 5. Let m(k) = -4*k**3 + 3*k**2 + 5*k - 5. Let n(l) = 3*f(l) - 2*m(l). Let x be n(4). Does 14 divide 1 + -2 + x + 16?
