se
Suppose -2*a - 44 = -6*a. Is 11 a factor of a?
True
Suppose 2*q - 5*q - 2*o + 135 = 0, -4*q + 3*o = -163. Is 9 a factor of q?
False
Suppose -5*f + 106 = 6. Is 11 a factor of f?
False
Let r = -15 - -36. Suppose 2*t = 5*t + r. Let l(f) = -f**2 - 9*f + 2. Is l(t) a multiple of 8?
True
Suppose -3*i = -5*i - 2*y - 2, -5*y + 2 = -2*i. Let x = 15 - i. Does 6 divide x?
False
Suppose 3*l + 2*l + 15 = 0. Let f = -2 - l. Does 11 divide (6 - f)*10/2?
False
Suppose 5*z - y = 4*y + 380, -4*z - 3*y = -276. Is 18 a factor of z?
True
Suppose -r = 5*i - 3*i - 29, -4*i = -2*r - 38. Suppose -2*d = d - 3*s - 24, -3*d = s - i. Does 6 divide d/(-3 - 30/(-9))?
False
Let v(n) = -n**2 + 12*n + 7. Let b be v(7). Suppose 0 = -4*m + b - 2. Is 5 a factor of m?
True
Suppose 5*m + 81 = -24. Does 7 divide -1*(-3 - m)/(-2)?
False
Suppose 5*d - 5*a - 195 = 0, -2*a + 39 = d + 9. Is 9 a factor of d?
True
Let a(m) = -m**2 + 7*m - 4. Let i be a(6). Let k = i + 4. Suppose k*y - y = 200. Is 16 a factor of y?
False
Let p(w) = -30*w + 11. Does 14 divide p(-8)?
False
Let u = 63 + -39. Is ((-42)/(-4))/(9/u) a multiple of 14?
True
Suppose 4*d + 12 = -2*j, 4*d + d + 15 = -5*j. Does 18 divide 0 + (52 - (j + 3))?
False
Let f = 4 + -2. Let y(r) = 9*r - 4 - 3 + 4 + f*r**2. Does 16 divide y(-7)?
True
Let l be (-1 - -1)*4/(-12). Suppose 2*h - 49 - 61 = l. Is 19 a factor of h?
False
Let b be 1*(-1 - -1 - 5). Let g be b*(-4 - -3)*-17. Let u = g + 143. Does 16 divide u?
False
Suppose 0*v = -v + 5. Suppose 4*g + 12 = 4*k, -6*k + 2*g = -3*k - v. Does 11 divide (2/(-4))/(k/60)?
False
Let b = -59 + 104. Does 12 divide b?
False
Let n = 7 - 6. Suppose -4*x - n + 17 = 0. Is x a multiple of 2?
True
Suppose 5*x = 7*x - 24. Let b = -7 + x. Suppose 0*z = b*z - 170. Does 17 divide z?
True
Suppose -1071 = -36*o + 29*o. Is o a multiple of 51?
True
Suppose -a - 2*a - 6 = 0. Let c be a + 3/3 - -5. Suppose 0 = c*g - 16 - 156. Is g a multiple of 14?
False
Suppose 2*n = 2*i - 0 - 20, 0 = -4*i - 4*n. Suppose 2*k - 2*s - 10 = -4*s, -i*s + 25 = 2*k. Suppose k*f - 29 = -f. Is 13 a factor of f?
False
Is 13 a factor of (37 - -1) + 5 + 42/(-7)?
False
Suppose 5*b - 4*o = 26, 0 = -2*b + b + 5*o + 22. Let f(l) = l**3 + 4 - 4*l**2 + 3*l - b*l**3 - 6. Does 8 divide f(-5)?
True
Suppose -1 = -g - 16. Let w = -11 - g. Is w even?
True
Let i(v) = v**3 + 6*v**2 - 8*v - 2. Let l be i(-7). Suppose -25 = w - 0*w. Is (-8)/l*w/2 a multiple of 10?
True
Let i(r) = 2*r + 9. Let v be i(-4). Is 4 a factor of v/(-4) - (-90)/8?
False
Let b be -17 + 17 + 1 + -3. Does 18 divide b - (3 + -7 + -39)?
False
Suppose 0 = 5*b - 0*r + 4*r + 10, 2*r = 2*b - 14. Let n(i) = 3*i**b - 7*i**3 - 2*i - 1 - 5*i**2 - 28*i**3. Is 13 a factor of n(-1)?
False
Let w(s) = -7*s**2 + 2*s. Let l be w(-2). Let u be (-104)/l - (-1)/(-4). Suppose -28 = -u*g + g. Does 7 divide g?
True
Suppose 2*z = 3*z + 5*u + 4, 4*u = -2*z + 16. Is 8 a factor of z?
True
Let i = 7 + -5. Suppose -i*n + 120 = n. Is n a multiple of 20?
True
Let m(j) = 76*j - 2. Is m(1) a multiple of 37?
True
Suppose d + 192 = 5*d. Let h be (d/2)/2 + -2. Suppose -4*q + 10 + h = 0. Is q even?
False
Suppose 4*d = -5*h - 88, 0 = -3*h - h + 4*d - 56. Let u(q) = q. Let z be u(-6). Does 2 divide (h/z)/(8/12)?
True
Suppose -m + 0*h - 4*h = -13, -3*m = -h - 52. Suppose 3*d - o - o = 46, 0 = -d - o + m. Does 5 divide d?
False
Let w = -2 + 5. Let m(p) = p**3 - 6*p**2 - 7*p - 2. Let d be m(7). Is 54*(-1 - w/d) a multiple of 14?
False
Suppose o = 5*l + 5 - 47, 0 = -o + 3*l - 32. Let w = 31 + o. Is w a multiple of 4?
False
Let l(t) = t**3 - 3*t + 2. Let f be l(2). Suppose -f = -3*o + 2. Suppose o*j - 64 = w - 4*w, 5*j + 10 = w. Is w a multiple of 10?
True
Suppose -4*p - p = 60. Let h = p + 27. Is 5 a factor of h?
True
Does 13 divide ((-16)/(-40))/((-2)/(-390))?
True
Suppose f = -2*b + 11, -f - 5*b = -b - 17. Is 5 a factor of f?
True
Let v = -95 - -22. Let r = 3 - v. Is r a multiple of 23?
False
Let t(i) = -i**2 - 16*i - 13. Let q(f) = f**2 + f - 10. Let h be q(0). Does 19 divide t(h)?
False
Suppose 5 = -r + 12. Let g(d) = -d**3 + 6*d**2 + 11*d - 4. Is 24 a factor of g(r)?
True
Let g(w) = w**2 - 2*w + 1. Let q be g(5). Is 2 a factor of 3 + 12/(q/4)?
True
Suppose -2*f - l + 274 = 2*l, -8 = -4*l. Is f a multiple of 19?
False
Suppose -2*z + 504 = 2*z. Let u be (1/3)/(2/z). Suppose 4*c - c = u. Is c even?
False
Let s(i) = i**2 - 2*i. Let d be s(3). Suppose -d*y - 2*y = -70. Does 8 divide y?
False
Does 10 divide (-9 - -4)*(-3 + -3)?
True
Suppose 2*h + 5*v - 35 = -h, -5*v - 35 = -4*h. Suppose -4*l + h = -2*l. Is l even?
False
Let w be (105/6)/(-7)*-4. Does 18 divide 15/w*8*3?
True
Does 12 divide (-644)/(-6) + (-32)/(-48)?
True
Let n = -2 - -1. Does 22 divide (n - -4 - 2) + 43?
True
Is 21 a factor of (3 + -3)/2 - 0 - -132?
False
Let l be ((-2)/(-3))/((-12)/(-90)). Suppose 0 = -l*y + 2*y - 165. Let q = y - -92. Does 13 divide q?
False
Suppose -2*t - 29 - 19 = -2*y, -3*t = 0. Does 4 divide y?
True
Let g be (1 - (-9)/(-2))*2. Let a(v) = -v**2 - 9*v + 10. Is a(g) a multiple of 8?
True
Let y(h) = h**3 + 10*h**2 + 5*h - 10. Does 4 divide y(-9)?
False
Let n be 33/(-22)*(-8)/6. Suppose 4*p = -n*s + 2*p + 74, -5*p = -s + 19. Is s a multiple of 17?
True
Does 15 divide (-1)/(0 + 4/(-88))?
False
Let o = -7 - -15. Suppose 0 = -3*k + k - o, -4*m - 2*k = -4. Suppose -5*r + 128 = m*l, 0*r + r - 40 = -l. Does 13 divide l?
False
Suppose -2*u + j = -3*j - 38, j = -5*u + 40. Suppose 3*f - 2*g + 7 = 0, -4*f = -3*f - 2*g + u. Let v(q) = 9*q**3 - q**2. Does 4 divide v(f)?
True
Let n be (-3)/(-2)*8/6. Suppose 0 = 6*m - n*m - 64. Let t = m - 8. Does 4 divide t?
True
Suppose -36 = -2*l + 3*x, 2*l + 4*x - 47 = -11. Let i(f) = 2*f + 2*f + l + f**3 - 9 + 7*f**2. Is i(-6) a multiple of 13?
False
Let u = 115 - 73. Is u a multiple of 7?
True
Is 7 a factor of -2 + (-7)/(-3) + 251/3?
True
Let n = -111 - -11. Let x = 56 + -115. Let o = x - n. Is o a multiple of 19?
False
Let t be -3*(-2)/(-1)*(-3)/9. Suppose -p + 5*v = -4, v = 5*p - 34 - 58. Suppose -t*i + 45 - p = 0. Does 8 divide i?
False
Let m(y) = -27*y + 2. Let g be m(-2). Let d = -116 + g. Let r = 102 + d. Is r a multiple of 21?
True
Let z(y) = 58*y**2 + y. Let d be z(1). Suppose -13 = -4*i + d. Is 9 a factor of i?
True
Suppose 3*p = m + 20, 6*p - p - 45 = 4*m. Is p a multiple of 5?
True
Suppose 8 = -2*n + 32. Does 12 divide n?
True
Let r(o) = o + 1. Let v(k) = -4*k - 5. Let x(f) = 11*r(f) + 2*v(f). Let j be x(5). Suppose 0 = -3*a + 2*a + j. Is a a multiple of 15?
False
Suppose 0 = -s - 0 + 5. Suppose s*g - 35 = -4*x, -3*g - 6 = -3. Is x a multiple of 10?
True
Let q = 3 + 1. Suppose -4*u - y = -103, -109 = -4*u + q*y + y. Is 13 a factor of u?
True
Suppose 3 + 3 = -g. Let i be ((-3)/g)/(1/66). Suppose 7 = 2*t - i. Is t a multiple of 13?
False
Let z(a) = -5*a**3 - 2*a + 1. Let b be z(1). Let t = 2 - b. Let v = 13 - t. Is v a multiple of 5?
True
Let c(j) = -3*j + 5. Does 13 divide c(-20)?
True
Let o be (-1*1)/((-6)/30). Let l(z) = -z**3 + 4*z**2 + 6*z + 6. Is 6 a factor of l(o)?
False
Let l(s) = -11*s - 41. Is 4 a factor of l(-7)?
True
Let f(t) = -3*t + 9. Let g(o) = 3*o**2 - 4*o + 3. Let s be g(2). Let c be f(s). Does 9 divide c*((-33)/12 - -2)?
True
Suppose 0 = 2*b - i + 23, -2*i = -5*b + 3*b - 28. Let h(r) = -r + 3. Let g be h(0). Is 24 a factor of (177/b)/((-1)/g)?
False
Let n(f) = f - 9. Let z be n(5). Is -40*(14/z - -3) a multiple of 10?
True
Let x be -1*(1 + -2)*0. Let t = 2 + x. Is 2 a factor of t?
True
Let d = 4 - -4. Suppose -h + 27 = 2*g, -g = -3*h - 9 - d. Does 7 divide g?
True
Let y be 8/6*(-12)/8. Does 5 divide -2*(-1 - -3)*y?
False
Suppose 4*t - t - 93 = 0. Suppose 3*p - t + 1 = 0. Suppose 0 = -2*m + 4*m - p. Does 4 divide m?
False
Let o(w) = -w**2 + 8*w - 5. Let s be o(7). Let j = 6 - s. Does 4 divide j?
True
Let x(a) = a**3 + 13*a**2 + 10. Let c be x(-13). Let s = c + 15. Does 7 divide s?
False
Suppose -3*v - 3 = 0, -5*v - 21 = -0*z - 4*z. Suppose 6 = z*q - 2*q. Suppose 2*m = 9 - q, m = 3*f - 18. Does 7 divide f?
True
Suppose -5*h + 2*x + x + 105 = 0, -5*x + 29 = 3*h. Let a = 25 - h. Is a/2 - 4/(-8) a multiple of 2?
True
Suppose 3 = -2*h + 5. Let j(c) = h + 0 + 3 + c. Is 4 a factor of j(0)?
True
Let l = 6 + 0. Suppose -5*u - 2*x + 571 = 0, 2 = -2*x + x. Suppose m + u = l*m. Does 16 divide m?
