 - 31, x - 4*g - v = 0. Is (9/4 - x)*-4 even?
False
Suppose 2*j + 2 = 4*k - 0*j, -9 = -3*j. Let o be (-6)/(-21) - (-360)/14. Suppose -k*z + 50 = -o. Does 18 divide z?
False
Let t = 3 - 1. Let v(x) = -x**2 + 12*x + 15. Let j be v(13). Suppose j = d, 0*d + 12 = t*f - 3*d. Does 8 divide f?
False
Let v(b) = -7*b**2 - 3. Let t be v(-2). Let p = t + 83. Is 26 a factor of p?
True
Let t = 27 + -3. Is 12 a factor of t?
True
Does 18 divide (27/(-2))/(8/(-96))?
True
Let b(a) = a**2 + 6*a + 13. Is 13 a factor of b(-6)?
True
Let p(f) = -8*f**3 + 3*f**2 + 2*f + 2. Is 26 a factor of p(-2)?
False
Suppose -3*w - 2*w + 2*a = -2, w + 5*a = -5. Let u(s) = s**3 + s**2 - s - 9. Let l be u(w). Is (-1)/2 - l/2 a multiple of 2?
True
Let f(u) = -3*u**3 + 3*u**3 - 2*u**2 + 29*u**3 + 1. Let d(o) = -57*o**3 + 4*o**2 - 2. Let r(w) = -6*d(w) - 11*f(w). Is r(1) a multiple of 11?
True
Suppose -15 = -5*b + 15. Suppose b = 3*j - 2*j. Does 6 divide j?
True
Let j be 8/(-6) - 6/9. Let x be 3*(8/6 - j). Suppose -4*p = -2*p - x. Does 5 divide p?
True
Let w(k) = -k**3 + 3*k + 2. Let t be w(-2). Let f(u) = t*u - 4 + 1 - 1. Is f(10) a multiple of 15?
False
Suppose -16 = -5*r - 2*h + 48, 44 = 3*r + 4*h. Let y = r - 2. Does 4 divide y?
False
Suppose -w + 4*m = 2*w - 29, -2*w + 21 = -m. Is 8 a factor of w?
False
Let v(c) = 4*c + 52. Does 10 divide v(-8)?
True
Suppose 0*s - 2*n - 23 = -3*s, -4*n - 39 = -5*s. Does 4 divide s?
False
Suppose 53 = g + 16. Let k = -10 + g. Is k a multiple of 27?
True
Suppose -5*n + 0*m + 245 = -5*m, -2*m - 230 = -5*n. Is 22 a factor of n?
True
Let s = 4 - 1. Suppose s*a = 0, 4*a + 42 = j - 70. Suppose -5*u + j = z, 92 = 4*u - z + 3*z. Does 16 divide u?
False
Suppose -3*o - 106 = -2*a + 34, 3*a = 5*o + 212. Is 16 a factor of a?
True
Let w be 7/(-28) - (-82)/8. Let n = w - 15. Let p = 39 + n. Is p a multiple of 15?
False
Suppose -3*l - 4*c + 66 = 0, 3*c + c = 2*l - 64. Suppose r = 5*a - l, 0 = -a + r + r - 2. Suppose 0 = 3*g + 4*j, 5*g - 5 = -3*j + a. Is g a multiple of 3?
False
Suppose -6*o = -561 + 99. Does 42 divide o?
False
Let o = 11 - 16. Let s = 30 + o. Suppose u - 5*x = 1, 0 = -u - 4*x + x + s. Does 7 divide u?
False
Suppose 0 = 5*h + 144 + 56. Is 4 a factor of h/3*(-66)/55?
True
Suppose -3*a = -2*l + 11, -2*l + 6*a - 2*a + 12 = 0. Suppose 234 + 174 = l*v. Suppose -m = 3*w - v, 3*w - 3*m = 83 + 19. Does 18 divide w?
False
Suppose -209 = -5*r + 171. Let x = r - 43. Is x a multiple of 11?
True
Let p(b) = b**2 - 11*b + 9. Let h be p(10). Let r = 0 + -2. Is 2 a factor of (h/r)/(6/60)?
False
Let k(v) = -6*v + 3. Let h be k(-5). Suppose -h = 5*b - 108. Is b a multiple of 4?
False
Suppose 2*s + 3 = 45. Does 7 divide s?
True
Let z = -69 + 109. Is 20 a factor of z?
True
Suppose -m - 2 = 1, 141 = 4*d + m. Is 7 a factor of d?
False
Suppose 9*i = 4*i + 250. Suppose 2*t = -0*t + i. Is t a multiple of 14?
False
Let f = -13 - -18. Let v(r) = -4*r + 12 + f*r - 1. Does 19 divide v(10)?
False
Let n(t) = -t**3 - 7*t**2 - 7*t - 4. Let l be n(-6). Suppose -l*j = -5*d + 4, 5*d - j = 3 - 1. Suppose 3*q - q + 4*w - 34 = d, 3*q - 35 = 2*w. Does 10 divide q?
False
Let z = 0 - -4. Let x(i) = 3*i - 1. Does 5 divide x(z)?
False
Does 8 divide 3/5 - 548/(-20)?
False
Let u(f) be the first derivative of 2*f**2 - 2*f + 3. Let x(r) = r - 2. Let o be x(7). Is u(o) a multiple of 9?
True
Let i = 1 - -3. Suppose 4*x = -i*w + 212, 4*x - 110 - 97 = -3*w. Suppose 0*u - x = -3*u. Is u a multiple of 11?
False
Suppose 3*r - 56 - 1 = 0. Is r a multiple of 6?
False
Let a(s) = 7*s**2 - s. Let i be a(1). Suppose n = i*n - 10. Suppose n*o - 4*r = -0*o + 52, 0 = 2*o + 4*r - 60. Does 14 divide o?
True
Let o(h) = 2*h + 2. Is o(3) even?
True
Let l be (0 - 2)/(2/(-22)). Let z be 84/l - (-2)/11. Suppose 2*x + 90 = z*n - x, -2*x - 116 = -5*n. Does 12 divide n?
True
Let l be 8/5 - (-2)/5. Let g be (0/(-5) + 4)*1. Suppose -l*h + 28 = g. Is h a multiple of 6?
True
Let c = 2 - 5. Let w(f) = 7*f**2 - f + 6. Let k(x) = -6*x**2 - 5. Let g(q) = -4*k(q) - 3*w(q). Is 14 a factor of g(c)?
False
Let h be (-9 + 1)/(2/(-4)). Suppose 4*n + 3*j - 4*j - h = 0, 0 = 4*n - 3*j - 24. Does 3 divide n?
True
Let q(f) = -16*f**3 + 2*f - 3. Let s be q(2). Let c = s + 257. Suppose 0 = 4*m - 20, -5*n = 4*m + m - c. Does 9 divide n?
False
Suppose -24 = -4*p - 0. Suppose p*y - 3*y = 30. Is y a multiple of 10?
True
Is 4 a factor of 8/(-6) + (-220)/(-30)?
False
Suppose -5*x + 13 = v - 2, 2*x + v - 9 = 0. Suppose 1 = x*t - 63. Is 32 a factor of t?
True
Let t(z) = -10*z - 11. Suppose -i - 37 = 5*w + 3*i, 4*i + 17 = -w. Does 13 divide t(w)?
True
Does 12 divide (-12)/(-8)*40/3?
False
Let c(i) = 3*i - 1. Let r be c(1). Suppose -r*h - 2*h = -64. Does 8 divide h?
True
Let r = -7 + 10. Let c be r*2/8*12. Let b = 13 - c. Is b a multiple of 4?
True
Let j be (-15)/2*(-12)/15. Is 38/14 + j/21 a multiple of 2?
False
Let q = -6 - -17. Let m(s) = s**2 - 10*s - 8. Let d be m(q). Suppose -102 = -d*h + 3*y, -2*h + 5*y = 2*y - 70. Does 16 divide h?
True
Suppose 5*d + 0*l = -l + 92, -50 = -2*d + 4*l. Suppose -3*r - 1 = -d. Is 3 a factor of r?
True
Suppose 3*h + 503 = 8*h - 3*v, v = 2*h - 201. Is 25 a factor of h?
True
Let a(x) = 2*x**3 - 2*x**2 - 3*x + 3. Let r be a(2). Suppose z = -3*z + 12. Let p = r - z. Is p even?
True
Let b(w) = w. Let k be b(2). Suppose -20 = u - k*c, -4*u - 3*c - 16 = 31. Let g = 0 - u. Is 4 a factor of g?
False
Let s be 2 + -2 + (-1 - -3). Suppose -s*k + 44 + 6 = 0. Suppose 2*m + 3*l - 1 = 3, 3*m = 5*l + k. Is 4 a factor of m?
False
Let a(y) be the second derivative of -y**4/12 - y**3/6 + y**2 - 2*y. Let m be a(-6). Let c = -20 - m. Does 3 divide c?
False
Suppose -100 = n + 44. Let f = 207 + n. Is 13 a factor of f?
False
Suppose 72 = 2*m - 0*m. Let v = m + -24. Is v a multiple of 12?
True
Let d(i) = -i**2 + 7*i + 9. Suppose 0 = -2*j + 2*t + 2*t + 8, -t - 17 = 2*j. Let f = j + 13. Is 8 a factor of d(f)?
False
Suppose -66 = -2*d + w + 2*w, 44 = d + 4*w. Suppose 84 + d = 2*b. Suppose -5*q + b + 20 = 0. Is 8 a factor of q?
True
Let w be 2*4/(8/9). Let p be (-2 - -1)/((-2)/12). Let u = w - p. Does 2 divide u?
False
Let f(p) = 9*p**2 + 2*p + 6. Does 14 divide f(-3)?
False
Suppose 3*u + 3*w = 2*w + 101, -5*u - 4*w + 166 = 0. Is 27 a factor of u?
False
Suppose 0 = -p + 34 + 102. Does 8 divide p?
True
Suppose -426 - 64 = -5*u + 5*x, -2*x - 8 = 0. Is u a multiple of 12?
False
Let y = -4 + 2. Let v be (y - -1)/(2/4). Is (v/(-6))/((-2)/(-246)) a multiple of 17?
False
Let m be 13 + (-2 - -2*2). Let c = -11 + m. Suppose c*d + 30 = 5*d. Is d a multiple of 13?
False
Let u = -66 + 135. Does 23 divide u?
True
Let t(f) = -2*f - 2. Let j(w) = -w**3 - 3*w**2 + 4*w + 1. Let a be j(-4). Let u be (-1)/a*(-10)/(-2). Is 8 a factor of t(u)?
True
Is ((-11)/3)/(7/(-21)) a multiple of 11?
True
Let x(z) = -z**2 + 6. Suppose 5*c = 4*y - 14, 5*y = -3*c + 3*y - 4. Let i be (-1*2 - -2)/c. Is 4 a factor of x(i)?
False
Suppose 8 = -2*t - 3*b + 35, 2*t - 2*b = 2. Suppose -2*u = 3*u + h - 18, -3*u + t = -h. Suppose -u*f - y + 14 = 0, -f + 2 + 2 = y. Is 2 a factor of f?
False
Let h(c) = -6*c - 6. Suppose -11 = 2*z - 1. Let k be h(z). Suppose -5*d = -20, 12 = a + 4*d - k. Is 18 a factor of a?
False
Let u be 7 + -5 + (120 - -1). Let f = -39 + u. Is 28 a factor of f?
True
Suppose 5*d = -t + 197, -4*d + t + 158 = 2*t. Suppose 5*w = -14 + d. Suppose -i = w*l - 9 - 25, -24 = -2*l - 3*i. Is 3 a factor of l?
True
Is (-38)/(-1 - 1/(-2)) a multiple of 19?
True
Let x(p) = -18*p**3 + 2*p**2 - p. Let a be x(1). Suppose -c + 5*m - 15 = -59, 2*m = -4*c + 88. Let q = c + a. Is 5 a factor of q?
False
Let m = -7 + 1. Is (m - -27) + 2 + 1 a multiple of 24?
True
Suppose 1025 = 11*w + 222. Is w a multiple of 6?
False
Suppose -160*q + 123 = -157*q. Is q a multiple of 2?
False
Suppose -26 = -7*g + 2*g + k, 0 = 4*g + 2*k - 32. Suppose -g*v - 40 = -5*w - v, -w = -5*v - 20. Suppose 7 + 108 = w*h. Is 10 a factor of h?
False
Suppose 0 = 5*u - 0*u - 20. Suppose 0 = -u*j + 3*s + 14, -6 = -2*j + s + s. Suppose 4*t - t - j*n = 31, -2*n = -2*t + 22. Is 12 a factor of t?
True
Let z(i) = 8*i + 6. Let l(p) = -9*p - 7. Let y(a) = -4*l(a) - 5*z(a). Is 20 a factor of y(-6)?
False
Suppose 3*b - 4*y = 51 + 21, y = -5*b + 120. Is b a multiple of 4?
True
Let n be 2/7 - (-104)/28. Suppose 0 = n*p - 12 - 0. Suppose 