p = 2*p - z. Is 17 a factor of ((-16)/10)/((-2)/p)?
False
Let u(t) = -t**3 + 5*t**2 + 7*t - 16. Is u(5) a multiple of 10?
False
Let u(t) = -t**3 - 9*t**2 - 6*t + 13. Does 14 divide u(-9)?
False
Let w be 1 - (1 + -3)/2. Suppose -w*b = -16 - 2. Is b a multiple of 9?
True
Let t(l) = -l**3 + 2*l**2 + 4*l - 5*l + 4*l + 4. Let i be (6/(-4))/(1/(-2)). Does 4 divide t(i)?
True
Let t = 3 - 3. Suppose t = 2*l - 3*f - 53, -3*f + 24 = l - 7*f. Does 14 divide l?
True
Let c = -8 - -11. Suppose c*j - 13 - 35 = 0. Is 6 a factor of j?
False
Let w = -81 + 99. Is 3 a factor of w?
True
Suppose m + 0*m + 3*h - 27 = 0, m - 27 = -2*h. Does 3 divide m?
True
Let x = 40 + 4. Is x a multiple of 11?
True
Let t = 35 + -3. Suppose -4*c + t = -0*c. Does 8 divide c?
True
Let z = 65 + 79. Suppose z = j + 29. Suppose 5*t - 3*i = j, 4*t = -4*i + 161 - 37. Is 16 a factor of t?
False
Let b(n) = -n**3 + 4*n**2 - n - 4. Let c be b(3). Suppose 6*t - 52 = c*t. Is 11 a factor of t?
False
Let l(x) = x**3 - 6*x**2 - 12*x + 2. Is l(8) a multiple of 16?
False
Suppose -4*h = -c + 51, -3*c + 0*c + 132 = -5*h. Suppose 0 = -5*o + c + 1. Is (4/(-1))/(-2) + o a multiple of 4?
False
Suppose z = y - 0*y + 50, 5*y = 20. Is z a multiple of 18?
True
Let w(j) = j**2 + j + 1. Let a be 16/(-5) - (-4)/20. Is w(a) a multiple of 3?
False
Let u = -80 - -234. Is 14 a factor of u?
True
Let k(y) = y + 1. Does 9 divide k(12)?
False
Let j = -10 - -29. Does 9 divide j?
False
Let h be ((-5)/10)/((-2)/12). Let z = h + 2. Suppose -w + z = -7. Does 12 divide w?
True
Suppose 0 = 3*a + 31 - 175. Is 16 a factor of a?
True
Let x be 7*-1*18/(-21). Suppose p = 2, -1 = -2*b - 4*p + 9. Let d = b + x. Is 7 a factor of d?
True
Let d(b) = b**3 - 8*b**2 + 15*b - 2. Is d(6) a multiple of 16?
True
Suppose 5*g + 56 = 7*g. Is 6 a factor of g?
False
Let m(k) be the second derivative of -k**5/20 + 5*k**4/6 - 3*k**3/2 - 3*k**2/2 + 2*k. Let x be m(9). Is 10/(-2)*1*x a multiple of 5?
True
Let r(v) = -38*v - 3. Is r(-1) a multiple of 29?
False
Suppose 8*i = 3*i + 675. Let f(q) = q**3 - 8*q**2 - q + 11. Let t be f(8). Suppose 0 = t*n + 18 - i. Is 13 a factor of n?
True
Does 8 divide (-4)/(-5) - (-288)/15?
False
Suppose l - 157 = -3*s, 4*s + l = 4*l + 192. Is s a multiple of 17?
True
Suppose 6*p - 11*p - 25 = 0. Let h = p + 9. Suppose 2*k - 32 = -h*o, -5*o = -k - o + 16. Does 5 divide k?
False
Suppose -4*s + 3*s + 3 = 0. Suppose -s*v + 78 = -v. Is v a multiple of 20?
False
Let z(w) = 8*w - 1. Let a(o) = -16*o + 3. Let i(d) = 3*a(d) + 7*z(d). Does 13 divide i(3)?
True
Let h = 50 - -24. Does 11 divide h?
False
Suppose -b = -3*d + 2*b + 15, 3*d = -4*b - 6. Let t be -2*d*(-87)/(-12). Does 14 divide -1 + 0 + (0 - t)?
True
Let y(o) = 3*o**2 - 11*o - 5. Let x(w) = w - 17*w - 8 + 1 + 5*w**2. Let s(n) = 5*x(n) - 7*y(n). Does 10 divide s(2)?
True
Suppose -3*s = -21 - 3. Suppose -10 = -o - 5*n, 2*o - n - n - s = 0. Suppose 2*i - 9 - 25 = -2*r, 20 = o*r. Does 13 divide i?
True
Suppose 9 = 3*x - 105. Does 6 divide x?
False
Let i(z) = 40 + 9 - 2*z + 3*z + 0*z. Is 13 a factor of i(0)?
False
Let x(q) = q**3 - 2*q + 1. Let k be x(2). Let f be 0/(-2 + 1) + k. Let g(v) = -v**3 + 7*v**2 - 3*v - 2. Is g(f) a multiple of 14?
False
Suppose 3*s - 8*s + 285 = 0. Does 29 divide s?
False
Let k(c) = -c**2 - 12*c - 8. Suppose 4*s - 8 = -48. Is 4 a factor of k(s)?
True
Let f be (-2)/4*(-8)/1. Suppose m = f*m - 21. Does 7 divide m?
True
Suppose 5*r = -3*p + 46, -2*p + 5*r + 13 = -1. Let y = -4 + p. Is y even?
True
Let i(u) = 6*u - 8. Let a be 8/20 + 36/10. Is i(a) a multiple of 4?
True
Let h(f) = f + 5. Let j be h(0). Suppose j = -v - 7. Let w = -7 - v. Does 4 divide w?
False
Let x(y) = -1 + 18 + y**3 + 7*y - 15*y**2 - 7*y. Is 6 a factor of x(15)?
False
Let a = 3 - 1. Suppose 0 = -4*l - 159 - 217. Is a/4 - l/4 a multiple of 12?
True
Is 4 a factor of (3/6)/(1/12)?
False
Let w(t) = -t**2 - 12*t + 18. Does 9 divide w(-12)?
True
Let q(n) = n + 3. Let z be q(0). Suppose -5*p - 23 = -4*v + 14, -4*v + 4*p = -36. Suppose z*c = -c + v. Does 2 divide c?
True
Suppose 0 = -3*b - p + 3*p + 8, -3*p - 12 = 4*b. Suppose b = 5*q - 30. Is 6 a factor of q?
True
Suppose 4 = -o - 4*b, 0 = 2*o + 5*b + 4 + 1. Is 24 a factor of o/(-2) + -2 - -50?
True
Let s = -41 + 250. Does 7 divide s?
False
Suppose -4*w + 26 = -46. Is (-6 + w)*(-9)/(-6) a multiple of 10?
False
Let z(v) = -v**3 + 15*v**2 - 10*v - 9. Let g(s) = s**2 + 3*s - 4. Let p be g(-6). Is 19 a factor of z(p)?
False
Suppose -4*k + 1 = -15. Let j be 2/k + (-108)/8. Let d = 31 + j. Does 9 divide d?
True
Let j = 12 - 4. Let k(b) = -b**3 + 7*b**2 + 8*b - 5. Let v be k(j). Let g = 13 + v. Is 8 a factor of g?
True
Let s(t) = -5*t + 15. Let n = -33 - -26. Is s(n) a multiple of 20?
False
Does 14 divide (-6)/21 - (-480)/14?
False
Let n = 17 + 5. Let y be n*(-3)/(-6) + -1. Is (36/y - 3)*45 a multiple of 10?
False
Let m be 5/(-15) - 22/6. Is 20/(-8)*(2 + m) a multiple of 5?
True
Let o(z) = 17*z - 64. Is 35 a factor of o(17)?
False
Suppose -3*v = 1 + 2. Is 21 a factor of 738/18 - v/1?
True
Is ((-24)/(-4))/((-6)/(-9)) a multiple of 2?
False
Suppose 4*v = 9*v - 295. Is v a multiple of 11?
False
Suppose q + 8 = 12. Suppose -q*u + 5 = -7. Is 3 a factor of u?
True
Let j = 74 - 34. Is 20 a factor of j?
True
Suppose -4*m = m - 30. Suppose -3*b + m = 3*a, -3*b - 3 = -2*b. Suppose 8*w - 48 = a*w. Does 8 divide w?
True
Let m(z) = z**2 - 15*z + 14. Let v be m(10). Is (v/10)/(6/(-15)) a multiple of 4?
False
Let l(t) = 9*t**2 + 3*t. Is 35 a factor of l(-5)?
True
Suppose 2*r = -4*u - 0*r + 46, -u + 11 = r. Is 12 a factor of u?
True
Let a = 29 - 11. Suppose 4 = -3*w - 5*u, -2*u - 27 - a = -5*w. Let p = w + 17. Is 12 a factor of p?
True
Let v(f) = 4*f - 11. Let g(i) = 9*i - 23. Let l(a) = 6*g(a) - 13*v(a). Is l(4) a multiple of 10?
False
Suppose -5*j = -5*a - 230, -a = -5*j + 3*j + 88. Suppose 2*x = 3*q + 2 + 12, 0 = 4*x + q - j. Is x a multiple of 10?
True
Is (-3 + (-22)/6)*-3 a multiple of 20?
True
Let a(q) be the second derivative of 1/3*q**3 + 1/3*q**4 + 3*q - 1/5*q**5 + 0 - q**2. Is 21 a factor of a(-2)?
True
Let v be 694/6 + (-3)/(-9). Suppose 0*p - 4*p - v = 0. Let l = -20 - p. Does 5 divide l?
False
Suppose 0 = 5*x + 1 - 131. Suppose x = -3*a + 5*a. Does 5 divide a?
False
Let k = 232 + -206. Is 26 a factor of k?
True
Let p = -2 + -4. Let m = p + 16. Is 5 a factor of m?
True
Let i(b) = -b - 4. Let g be i(-6). Let u be (-316)/(-6) - 2/(-6). Suppose 59 + u = g*a. Is a a multiple of 19?
False
Let t(o) = -o**2 - 9*o + 2. Let q be t(-9). Let p(n) = 3 - q + 2 - n - 2. Is p(-4) a multiple of 2?
False
Let g(i) = -i**3 + i**2 + i + 14. Let v be 1/(-2) + 2/4. Suppose 2*p + v*p = 0. Is g(p) a multiple of 5?
False
Let l(z) = 2*z**3 - 9*z**2 - 10*z + 7. Does 32 divide l(7)?
False
Let h(l) = 6*l**2 - 3*l - 1. Let x be h(3). Is 7 a factor of -3*x/(-6) + -1?
True
Suppose -2 = -3*k + 5*k. Is 1 + 13 + (0 - k) a multiple of 6?
False
Let u(f) = -f**3 + 7*f**2 + 2*f - 9. Let d be u(7). Suppose 2*z - 3 = 2*h + d, h + 3*z + 20 = 0. Is 2 - h*2*1 a multiple of 9?
True
Let y = -1 - -1. Suppose y*z = 2*z - 60. Is 15 a factor of z?
True
Let f(w) = -w**2 - w + 3. Let x be f(0). Suppose 5*v - x*m - 11 = 2, 2*v - 5*m = 9. Suppose s - 3*z = -3*s + 53, 34 = v*s - 4*z. Is s a multiple of 9?
False
Let x be 363 + -6 - (-12)/(-3). Suppose -5*i + 3*t - t = -x, 4*i = -3*t + 287. Is 21 a factor of i?
False
Suppose 0 = -g - g + 10. Let o = -9 + g. Is (2/o)/(5/(-80)) a multiple of 8?
True
Suppose q = 3*j + 6*q - 20, -20 = 2*j - 5*q. Suppose -5*s + 158 + 2 = j. Is 10 a factor of 600/s + 1/4?
False
Let a be 0/(-2*1 - -4). Suppose -80 = -5*d - a*d. Is 16 a factor of d?
True
Let m = 2 + -2. Let u(a) = a**3 - a**2 - a. Let h be u(m). Let s(z) = -z + 17. Is s(h) a multiple of 5?
False
Suppose -4*x = -8*x + 104. Is x a multiple of 26?
True
Suppose 62 = 2*g - 4*f - 80, 0 = -3*g - 5*f + 169. Does 18 divide g?
False
Let c(h) = 5*h**2 - 2*h**3 - h - 8*h**2 - 2*h**3. Is 6 a factor of c(-2)?
False
Let r(c) = -c + 4. Let i be r(3). Suppose -9 = -2*f - i. Suppose 0 = -f*t + 3*t + 9. Is t a multiple of 9?
True
Suppose -4*x + 8 = 0, -2*g + 6*g - 4*x = 116. Let b = g + 17. Is b a multiple of 19?
False
Suppose m - 1 = 1. Suppose 352 = 3*h + m*t - t, -2*h = -2*t - 224. Is 10 a factor of h/6 - (-4)/6?
True
Let k(b)