 129 = -3*k - d. Is k a multiple of 4?
False
Suppose -2*y = 2*y - 4. Suppose n + 29 - y = 0. Let t = n - -62. Is t a multiple of 17?
True
Let w = -192 + 113. Let h = 138 + w. Does 19 divide h?
False
Suppose 2*a = 6*k - 5*k + 167, -4*k = a - 97. Suppose 3*m - 58 = 2*x, 2*m = -3*m + x + a. Is 8 a factor of m?
True
Let g = 11 + 33. Is g a multiple of 11?
True
Let s(y) = 3*y - 8. Let o(k) = -7*k + 15. Let z(w) = -4*o(w) - 7*s(w). Let b be (-2)/(-11) - 186/(-66). Is z(b) a multiple of 12?
False
Suppose -2*b - 1 + 25 = 0. Does 3 divide b?
True
Let r be (-44)/(-10) - 4/10. Let n = 5 + -3. Does 18 divide r/(19/9 - n)?
True
Let t = 660 - 378. Let z = t + -193. Is z a multiple of 13?
False
Does 7 divide 12/(-54) - (-326)/9?
False
Let l(j) = 4*j - 3. Is l(3) a multiple of 3?
True
Let y = -1 - -85. Is 12 a factor of y?
True
Let c be (10/4)/(14/28). Suppose 3*n - 2*h = 3*h + 43, -h + 81 = c*n. Is n a multiple of 4?
True
Let v(l) = -l**3 - 5*l**2 - 6*l - 3. Let o be v(-4). Suppose -5*n + n - 2*h + 48 = 0, -n - o*h = -30. Is n a multiple of 5?
True
Suppose -19 = -u + 3*w, -2*u + w = -3*u - 1. Let g = 19 - u. Is g a multiple of 5?
True
Let o(m) = m**2 - 8. Is 17 a factor of o(5)?
True
Let c(p) = -p**3 - 11*p**2 + 10*p - 26. Does 20 divide c(-13)?
False
Let w = -10 - -23. Suppose 16 = i + 4*d, -i + 0*i + w = 3*d. Does 4 divide i?
True
Let c(j) = -5*j - 10. Does 12 divide c(-8)?
False
Let u be ((-6)/(-9))/((-6)/(-9)). Let s be u + 0 + 2 + 14. Let z = s - -18. Is 14 a factor of z?
False
Let n be 99/12 - (-1)/(-4). Let a be (n - 1/1) + 1. Let b = -3 + a. Is b even?
False
Let c(l) = -l**3 + 5*l**2 + 4*l - 3. Let w be c(5). Suppose 13 = -4*a + 5*a + 2*g, -a + w = 3*g. Is 3 a factor of a?
False
Let w = 94 - 40. Is w a multiple of 18?
True
Let f(a) = -5*a + 2. Let z(y) be the second derivative of -y**2/2 - y. Let v(x) = -f(x) - 3*z(x). Does 3 divide v(1)?
True
Let m = 28 + -1. Let x be (0 - 1 - 0)*-1. Is 16 a factor of (2 - 1)*(m + x)?
False
Let v(d) = 3 + 2*d**2 - 2 + d**2. Suppose -4 = -3*y - 1. Is v(y) a multiple of 4?
True
Suppose 3*l + 4*b - 7 = -2*l, 16 = 4*l - 2*b. Suppose -127 = -0*u - 3*u - s, 3 = l*s. Is 21 a factor of u?
True
Suppose -38 = -4*u + u - 4*t, u - 3*t - 17 = 0. Is u a multiple of 14?
True
Let b(c) be the first derivative of -1 + 12*c + 1/2*c**2 + 1/3*c**3. Is 12 a factor of b(0)?
True
Let p = 36 - 14. Is p a multiple of 4?
False
Suppose 0 = 8*k - 9*k + 3. Suppose 6*y = k*y + 159. Is 19 a factor of y?
False
Let s = 18 - 13. Let n(w) = -w**2 + 7*w - 4. Is n(s) even?
True
Let z = 19 + 2. Is 4 a factor of z?
False
Let f = 74 + -28. Let p = 84 - f. Suppose -4 = 2*o - p. Is 11 a factor of o?
False
Suppose 2*p + 3*p = 0. Let i(q) = q + 33. Let n be i(p). Is 15 a factor of 2 + n + -2 + 1?
False
Let m = 56 - 28. Is m a multiple of 14?
True
Let j(h) = -h**2 + 2*h + 1. Let g be j(2). Suppose 21 = s - g. Is s a multiple of 11?
True
Suppose -a + 0*a = 0. Let c = 4 + a. Suppose 2*y - 10 = -3*j, c*j = j. Is y even?
False
Let c(m) = m**3 + 19*m**2 - 23*m + 9. Is c(-20) a multiple of 4?
False
Let u(m) = -m - 2. Let l be u(-4). Let d be 12/14*(8 - -20). Suppose d - l = f. Is f a multiple of 7?
False
Let k(p) = 6*p**2 - 1. Let y be k(-1). Let x(b) = -b**2 - 5*b - 5. Let l be x(-4). Is 16 a factor of 3/l - y*-7?
True
Is 3 a factor of (-384)/(-18) + (-5)/(-3)?
False
Let i = 20 - 12. Suppose i*j = 9*j - 16. Is j a multiple of 9?
False
Let g = 11 - 8. Suppose -2*j + 5*d = d - 14, g*j + 2*d = 37. Is j a multiple of 9?
False
Suppose 2*i - 72 = 3*o, -5*i + 4*o = -193 - 1. Let k(t) = 24*t + 1. Let d be k(-1). Let f = i + d. Does 19 divide f?
True
Let a(l) = l + 1. Let j(i) = 3*i - 10. Let d(v) = 2*a(v) - j(v). Does 6 divide d(6)?
True
Suppose -19*x + 455 = -14*x. Is 13 a factor of x?
True
Let p = -4 - -6. Let u be 3/(39/(-12) - -3). Let z = p - u. Does 7 divide z?
True
Suppose 2*h = -2*v, -2*h = -3*h - 5*v + 4. Is 4 a factor of (7 + -6)/(h/(-17))?
False
Let q(w) = -w**3 - 16*w**2 - 4*w + 8. Does 24 divide q(-16)?
True
Let o = 103 + 59. Does 22 divide o?
False
Suppose 3*k = f + 145, 7*k - 3*k = -3*f + 202. Is 10 a factor of k?
False
Is 29 a factor of 9/(-3) + 82 - -3?
False
Let w = 125 + -81. Suppose -w = -m + 34. Does 26 divide m?
True
Let d(s) = -s**3 - 10*s**2 + s + 13. Let b be d(-10). Suppose -5*j = -0*r - b*r - 299, 101 = 2*j + 5*r. Is 16 a factor of j?
False
Let i be (-9)/(-3) - (-1 - -53). Let a = i + 86. Does 10 divide a?
False
Let s = 6 + -12. Does 12 divide (34 + -10)*s/(-4)?
True
Let i(n) = -3*n**2 + 23*n - 3. Is 11 a factor of i(7)?
True
Let y(h) = 4*h**2 - 2*h - 4. Does 2 divide y(-2)?
True
Let p(k) = -k**2 + 7*k - 6. Let l be p(7). Is 27 a factor of 27 - (l/(-3) + -2)?
True
Let h be (-12)/(-18)*(-7 + 1). Is ((-7)/h)/(4/48) a multiple of 7?
True
Let q = 63 - 38. Let m = q - 10. Suppose 3*d = 2*b - 0*b - m, 4*d = -3*b + 31. Does 4 divide b?
False
Let t(y) = -2*y**2 + 7*y + 15 + y**3 - 5 - 7*y**2. Let v be t(8). Suppose 0 = -4*n + v*c + 4, 4*c - 16 = -4*n + 3*c. Does 2 divide n?
False
Let n(r) = -r + 4. Let o be n(4). Suppose -3*x = -o*x - y - 143, -2*y = -3*x + 148. Does 15 divide x?
False
Suppose -13 = -4*a + 231. Let v be a/1 - (-3)/(-1). Suppose -5*t - 5*g = -v - 22, 3*t - 44 = -4*g. Is t a multiple of 20?
True
Let c = -4 - 0. Does 11 divide (-141)/(-13) - c/26?
True
Let i(f) = -f + 22. Let l(c) = 10*c**3 - c**2 + 1. Let x be l(1). Is 12 a factor of i(x)?
True
Let m(a) = 4*a + 13. Let f be m(9). Suppose f = 3*x + 5*l, -3*x = -8*x - l + 67. Does 13 divide x?
True
Let n = -20 + 52. Is n a multiple of 3?
False
Suppose -2*n = -0*n - 18. Suppose -2*l = -5 - n. Is l a multiple of 7?
True
Let p(a) = -a**2 + 0*a + 2*a**2 - 4*a - 7. Is p(6) even?
False
Let b(g) = -g + 11. Let l be b(8). Let z = l - 1. Suppose 0 = v - z*v + 33. Is v a multiple of 21?
False
Let u = 25 + -15. Suppose u = -2*m + 22. Is 3 a factor of m?
True
Suppose -2*m + 21 = 5*q, 5*q - 8 = 2*m - 3*m. Does 13 divide m?
True
Suppose 1 - 21 = -5*b, -12 = -5*r + 2*b. Suppose r*h = 4 + 4. Suppose -h*z = z - 30. Does 7 divide z?
False
Let x be ((-4)/(-6))/((-2)/(-6)). Let f be (3/(-2))/(19/(-38)). Suppose x*z - 50 = -f*z. Is 10 a factor of z?
True
Is (-10)/(-30) + 65/3 a multiple of 10?
False
Let w = -23 + 32. Is w even?
False
Is 4 a factor of (-2)/(-5 + 4)*8?
True
Let c = -15 - -43. Suppose k + 7*b = 4*b + c, -4*k - b + 156 = 0. Is 15 a factor of k?
False
Suppose -3*k + 7*k + 729 = 3*x, -4*x = k - 991. Is 19 a factor of x?
True
Suppose -d = -5*o + 30, -o - 4*o = d - 20. Suppose -o*u + 3*b = 511, u + 4*b + 152 = 36. Let q = u + 147. Does 21 divide q?
False
Suppose -f + 5 = -0*a + 2*a, -f + 4 = a. Let v = f + -5. Does 13 divide (1 - 1) + v - -15?
True
Suppose 5*y = -0*h + 4*h + 35, 4*y - 22 = 2*h. Let g(c) = -c + 1. Let q be g(h). Suppose -q + 31 = 5*f. Does 2 divide f?
False
Let g(b) = -11*b - 4. Does 10 divide g(-4)?
True
Is 7 a factor of 7/(-4)*(-2 + -2)?
True
Let b(i) be the first derivative of i**5/20 + i**4/3 - 4*i**3/3 - 3*i**2/2 - 3*i + 2. Let y(a) be the first derivative of b(a). Is y(-5) a multiple of 6?
True
Suppose -2*k - 1 - 3 = 0, 0 = -3*a - k - 83. Let m = a + 55. Is 14 a factor of m?
True
Does 9 divide -13 + 17 - (1 + -6)?
True
Suppose 0 = s + 5*w - 58, -s = -5*s - 4*w + 152. Is 5 a factor of s?
False
Suppose 4 = 4*c + 2*y, -2*c + 2*y - 3 = -11. Is 6 a factor of 6*(5 + -3) - c?
False
Let p be (-15)/(-2)*(-8)/(-3). Suppose 25 = 3*z + 2*z. Suppose z + p = 5*u. Is 2 a factor of u?
False
Let s be (-27)/(-4) + (-2)/(-8). Let r(o) = -o**2 + 2 - 2 - 1 + 9*o. Does 5 divide r(s)?
False
Let t(f) = f**2 - 4*f. Let o be t(-6). Suppose 3*i - 5*i = -o. Is i a multiple of 6?
True
Let d be 3*(-1 - (-4)/2). Let o = 6 - d. Suppose -2*k + 118 = -2*h, 5*k + h - 277 = -o*h. Does 29 divide k?
False
Let x = -11 + 21. Suppose -x = -a + 45. Let o = a + -37. Is 15 a factor of o?
False
Let p(q) = -12*q + 2. Let t be p(3). Let b be 50 - 1*0/(-1). Let x = t + b. Does 6 divide x?
False
Let t = 4 - 2. Suppose -t*l - 3*b + 32 = 0, -3*b + 4*b = 0. Let a = l + -3. Does 10 divide a?
False
Is 9 a factor of (6 + 1 - -1) + 4 + -3?
True
Suppose 0 = -q + 2*h + 155, 2*h = h - 1. Suppose 0*u + 3*u - q = 0. Is u a multiple of 26?
False
Let i(u) = 16*u. Is i(9) a multiple of 11?
False
Let x(r) = -r**3 + r**2 + 90. Is 20 a factor 