alse
Let r be (-16)/5 + (-2)/(-10). Let t be 0 + 3/3 + 2. Does 10 divide r - t/2*-22?
True
Let v = 1 + 24. Let b = -17 + v. Suppose 0 = -f + 2*w + b, 4*w = w + 6. Is 9 a factor of f?
False
Let k(f) = f - 3. Let m be k(0). Let p(d) = d**2 + 8*d - 6. Let t(c) = -2*c**2 - 7*c + 5. Let b(r) = m*p(r) - 2*t(r). Is 8 a factor of b(10)?
True
Let v(i) = -i**3 + 5*i**2 + 7*i - 4. Let o be v(6). Let w be (1/o)/((-1)/(-8)). Suppose 3*l + 0*y - 4*y - 40 = 0, 5*l = -w*y + 24. Is l a multiple of 8?
True
Suppose -4*v - 4*u + 12 = 0, -3*v + 7*u = 2*u - 17. Suppose c + 95 = 5*n - c, -53 = -v*n - 3*c. Is 9 a factor of n?
False
Let q = 11 + -9. Suppose r - 9 = q*x, 0*r = r + 5*x + 12. Let m = r + 34. Is m a multiple of 20?
False
Suppose 0 = -3*a + 8 + 4. Suppose 2*p + 1 = -2*o + p, -5*o + a*p = -30. Is 2 a factor of o?
True
Let o be 6/9 - (-836)/6. Suppose -4*k + o = k. Is 11 a factor of k?
False
Suppose -7*w + 18 = -3*w - p, 5*w - 12 = -4*p. Does 3 divide w?
False
Suppose -6 = 2*v - 2*u, u = -3*v - 2*u + 9. Suppose -o - k = -6 + 1, v = -o + 2*k + 11. Suppose o + 21 = 4*a. Is 5 a factor of a?
False
Let d(i) = i + 11. Let v be d(-9). Suppose 21 = m + v*m. Is m even?
False
Suppose -7 = 3*q + 2, -2*q = 2*x - 4. Let l = 8 - x. Does 3 divide l?
True
Let n(z) = 26*z - 2. Does 17 divide n(4)?
True
Let j(p) = -p**3 - 4*p**2 - 3*p. Let t be j(-3). Suppose 3*n - 4*k - 31 = t, -n - k + 0 = -1. Suppose 16 = 3*x - n. Does 7 divide x?
True
Let g(s) = -s**2 - 22*s - 37. Is g(-19) a multiple of 20?
True
Let s(m) = 0*m + m**3 - 3*m - m - 7 - 5*m**2. Let y be s(6). Suppose 3*h = 14 - y. Does 3 divide h?
True
Suppose 3*t + 5*p = 20, -5 = t - p - 1. Let w(c) = 4*c + t + 4*c - c**2 + 4 + 0*c. Is w(6) a multiple of 5?
False
Suppose 6*r = 7*r - 3. Suppose -2*z = -r*u + 293, 4*u + 2*z = -0*z + 372. Is 22 a factor of u?
False
Suppose -3*z + 4*l + 26 + 5 = 0, 2*z - 26 = 4*l. Suppose -3*k - 78 = -z*k. Is k a multiple of 10?
False
Let i be 9/2*6 + 1. Let l = -13 + i. Does 5 divide l?
True
Let g(f) = -2*f**3 - f**2 + 3*f + 3. Let z(j) = -j**3 + j**2 - j - 1. Let k(q) = g(q) + z(q). Is 11 a factor of k(-2)?
True
Suppose 68 = 2*m + a, 8*a - 24 = -m + 5*a. Suppose -s = s - m. Is 7 a factor of s?
False
Let q be (11 + -9)*2/4. Suppose -z + q = -20. Is z a multiple of 9?
False
Suppose -r + 4*r = 6. Suppose o - r*o + 8 = 0. Is 8 a factor of o?
True
Does 16 divide -42*(12/3)/(-8)?
False
Let w(b) = -2*b + 1. Let c be w(-1). Let m be 14/3 + (-2)/c. Suppose -m*d + 3*r + 19 = -92, -141 = -5*d + 3*r. Does 10 divide d?
True
Let n(j) = 8*j**2 + j - 1. Is 13 a factor of n(-2)?
False
Suppose 2 = 4*c + 10. Let x = 3 - c. Suppose 25 = 5*s - 2*s - t, -43 = -x*s + 2*t. Does 7 divide s?
True
Let h(k) be the second derivative of -k**5/20 + k**4/6 + k**3/6 - k. Let u be h(2). Suppose -u*w + 9 = -7. Does 3 divide w?
False
Suppose 4*k - 70 = -2*o - o, -2*o = 4. Let a be 1/4 - k/(-4). Suppose -2*x + 6*x = 3*u + 129, a*x + 2*u = 144. Does 17 divide x?
False
Let q = 18 - 11. Suppose q*k - 3*k - 84 = 0. Is k a multiple of 7?
True
Let k(c) = -3*c**3 - 4*c**2 + 4*c - 2. Let b be k(-4). Suppose r - 119 - b = -5*s, -20 = -5*r. Suppose -2*p = -7*p + s. Is 8 a factor of p?
False
Let m = 8 + -6. Let t(v) = -2*v**2 + 4*v**2 + m*v**2 + v**3 - 5*v - v + 5. Does 5 divide t(-5)?
True
Let x(d) = d**3 + 5*d**2. Let l be x(-5). Suppose 3*v = -2*m + 48, l = -7*m + 2*m - v + 120. Is m a multiple of 12?
True
Let v be -2*(-5 + (0 - 3)). Suppose -8 = -a + v. Does 6 divide a?
True
Let y = 441 - 151. Is 29 a factor of y?
True
Let v(q) = -q**2 - 4*q - 1. Let k be v(-2). Suppose -3*n - 4*y - y + 25 = 0, k*n - y = -5. Suppose n*x = -x + 2*i + 27, 4*i + 123 = 5*x. Is x a multiple of 9?
False
Suppose y - 4*y + 123 = 0. Does 20 divide y?
False
Let o be (-2)/((-3)/(6/(-4))). Let h = 3 + o. Suppose 0 = 5*p - h*p - 48. Is 8 a factor of p?
True
Suppose 0 = r - 34 + 9. Suppose -2*z - 8 = -3*z. Suppose -n = -z - r. Is n a multiple of 11?
True
Suppose -6*y + 2*y = -12, y + 109 = 4*z. Suppose z + 0 = 2*v. Does 9 divide v?
False
Let q(a) = a**3 + 11*a**2 + 5*a - 14. Let l be q(-10). Is 241/9 + 8/l a multiple of 9?
True
Let z = -6 - -10. Suppose 2*v - 18 = 3*x + z, 2*x - 5*v = -11. Does 2 divide x/((-5)/((-10)/(-4)))?
True
Does 6 divide (4 - -3) + (2 - -2)?
False
Let i(h) = -h**3 - 16*h**2 + 46*h + 2. Does 17 divide i(-19)?
False
Let d(v) = v**3 + 9*v**2 - 3*v + 9. Does 12 divide d(-9)?
True
Let g(a) = 2*a**2 + 5*a - 2. Let i be g(4). Let t = i - 28. Does 15 divide t?
False
Let k = 62 + -10. Does 27 divide k?
False
Let f(w) be the second derivative of w**3/2 - 5*w**2/2 + w. Suppose 2 = 4*i - 18. Does 6 divide f(i)?
False
Suppose -t - 253 = -3*t - f, -2*t = -4*f - 258. Is t a multiple of 15?
False
Let n(t) = 7*t**2 + 2*t + 3. Does 20 divide n(-3)?
True
Suppose -5*n - 21 = -q, -13 = 4*n + 7. Let z(r) = -2*r + 4. Is 11 a factor of z(q)?
False
Suppose 13*v - 480 = 5*v. Is v a multiple of 12?
True
Does 7 divide ((-2 - 1) + 4)*11?
False
Is 19 a factor of -1*(381/9)/1*-3?
False
Suppose 1618 = 5*v + 4*o, -3*o + 4 + 2 = 0. Is v a multiple of 46?
True
Let k(v) = 6 + 2*v**2 - 6 - v. Let l be k(-2). Suppose 3*t - i - l = 0, 2*i - 1 = 4*t - 11. Is t even?
False
Suppose -3*t = 14 - 5. Let k = 9 + t. Is k a multiple of 6?
True
Let u(a) = -a**3 - 6*a**2 + 6*a - 5. Let w be u(-7). Suppose -q = w*q - 135. Does 12 divide q?
False
Let i = -14 - -14. Suppose w + i*w = 21. Is w a multiple of 9?
False
Let i(u) = u**2 - 3*u. Let q(m) = -2*m**2 + 5*m - 1. Let p be 2/5 - 12/5. Let g(a) = p*q(a) - 5*i(a). Does 6 divide g(4)?
True
Let p(y) = -y**3 - 26*y**2 + 39*y + 41. Is p(-28) a multiple of 47?
True
Let p(x) = 3*x**3 - x**2 + 2*x - 1. Let b be p(1). Suppose 4*l + 5*c = 20, 0 = c + b*c + 16. Does 10 divide l?
True
Let z(k) = -k**3 - 2*k**2 + 2*k. Let n be z(-3). Suppose 0*u + 24 = n*u. Is 7 a factor of u?
False
Let a(x) = -x**3 - 2*x**2 + 3*x + 1. Suppose -4 = -2*i - 2. Let r(j) = -3*j - 1. Let g be r(i). Is a(g) a multiple of 18?
False
Let f(u) be the first derivative of u**2 - 4*u + 1. Let s be f(3). Suppose 5*b + 3*x - 37 = 0, -s*b + 2*x + 11 = -7. Is 8 a factor of b?
True
Let d(n) = n**2 + 5*n. Suppose -3*j - 24 = j. Let v be d(j). Does 19 divide (60/(-2))/(v/(-9))?
False
Suppose -4*t = -5*k + 34, -4*t - t = 5*k - 25. Let v be ((-15)/(-10))/(k/328). Suppose q + q = v. Is 20 a factor of q?
False
Does 21 divide 3 - 1/1 - -61?
True
Let a(s) = -s**3 - 4*s**2 + s + 1. Let d be a(-5). Let y be 0 - 7/(d/(-270)). Suppose c = -c + y. Is 16 a factor of c?
False
Let t(v) be the third derivative of v**4/12 - 2*v**3/3 - 3*v**2. Is t(9) a multiple of 7?
True
Does 18 divide 3244/12 - 2/6?
True
Suppose -3*h = -4*k + 41, 0*h = -2*h + 10. Suppose 0 = -b - 2*p + k, 5*b = -0*p - p + 97. Is 5 a factor of b?
True
Does 7 divide (90/(-75))/((-2)/15)?
False
Suppose 5*o = 4*o + 4. Suppose -o*y + 1 = 3*q, y = 3*q + 4 - 0. Is (-6)/3 - y*-22 a multiple of 10?
True
Let q = -2 - -27. Let p = 52 - q. Is 9 a factor of p?
True
Suppose -y + 110 = 2*u, 149 + 71 = 4*u - 4*y. Let g = u - 145. Is 3/(-3*2/g) a multiple of 20?
False
Suppose 4*n = -n + 330. Let t = n - 36. Is 9 a factor of t?
False
Suppose -3*u - 2*l = 4, -u + 30 = 4*u - 4*l. Suppose -3*v + 34 = u*o - 11, 3*o + 15 = v. Does 4 divide v?
False
Let u be 3 + 25/1 + -4. Suppose 0 = -5*z + u + 176. Is z a multiple of 8?
True
Let h be (-2)/(-2) + -4 + 6. Suppose -2*p - 23 = -s, -2*s + 53 = h*p - 0. Does 6 divide s?
False
Suppose 0 = 4*y - 2*y - 2*i - 190, 2*i = -5*y + 440. Suppose 3*d + 2*d = y. Let w = -11 + d. Is w a multiple of 7?
True
Let m(f) = -11*f - 5. Let v be m(-5). Suppose 5*r + 5*w = 2*r - 64, -8 = r + 5*w. Let u = r + v. Does 11 divide u?
True
Let y(x) = 21*x - 3. Let s be y(3). Let h = s - 34. Is h a multiple of 11?
False
Let l(r) = -r**3 + 7*r**2 + 2*r + 8. Does 22 divide l(7)?
True
Let n(x) = -2*x**3 - 2*x**2 - x. Let g be n(-1). Does 13 divide -2 - g - -5 - -44?
False
Let g(w) = 5 - 1 + 4 + 4*w**2 - 3*w**2 + 7*w. Let n be g(-8). Suppose 4*k + n = 0, 3*k = -6*h + 2*h + 56. Does 7 divide h?
False
Let s = -1 - 1. Let l be (111/(-12))/(s/8). Let w = l + -25. Is w a multiple of 10?
False
Let g(m) = -m**2 + 7*m - 2. Let i be g(7). Let d be (i + (2 - -1))/(-1). Let x(s) = -13*s**3 + s. Is x(d) a multiple of 11?
False
Suppose 11*u = 7*u - 264. Let