tiple of 4?
False
Suppose 5*k - 3*f - 19 = 0, 0*k - 2*k + 3*f = -13. Let b be 3 + (0 - k)/(-2). Suppose 0 = -4*x + 2*l + 2, 0 = b*x + 5*l - 0*l - 23. Is x a multiple of 2?
True
Let f be 175 - 1*1/1. Suppose 0 = -j - j - f. Let q = j - -152. Is q a multiple of 26?
False
Let d(b) = 3*b**2 - 4*b**2 + b + 0*b**2 - 1 - b**3. Does 7 divide d(-3)?
True
Suppose -r - 52 = -5*r. Is 13 a factor of r?
True
Suppose -2*d = 3*d - 330. Is 22 a factor of d?
True
Let g(f) = -6*f - 6*f**2 + 2*f**2 + f + f**3 + 0*f**3 - 5. Is 17 a factor of g(6)?
False
Let m(f) = f - 11. Let n be m(11). Suppose 0 = -n*l - 4*l + 104. Does 13 divide l?
True
Let g be -3 - (-5 + 3 + -9). Suppose 0 = -b + 2*y + g, 4*b = -y - 2*y + 32. Does 8 divide b?
True
Suppose 2*z - 285 - 7 = 0. Is 38 a factor of z?
False
Let m = -108 + 182. Let r = m + -35. Does 13 divide r?
True
Suppose -4*i + 4 = -d - 3*d, 0 = -3*i - 4*d + 10. Does 10 divide (-15)/((-1)/(i - 0))?
True
Suppose h - 2*q = 8, 2*h - 30 = -6*q + 3*q. Is h a multiple of 6?
True
Let d(t) = -t**3 + 5*t**2 - 3*t + 5. Let h be d(5). Let q be (5/h)/((-1)/(-18)). Is 11 a factor of (-160)/q + 2/9?
False
Let u be 7/9 + (-2)/(-9). Let q be ((-6 - -2)/(-1))/u. Suppose 3*y - 39 = -5*l, -2*y + q*l + 2 + 2 = 0. Is 8 a factor of y?
True
Let k(o) = 15*o + 1. Let l be k(2). Let a = l + 11. Is 16 a factor of a?
False
Suppose -3 = -t - 1. Let n(s) = -s**2 + 3*s - 1. Let u be n(t). Is 9 a factor of (-2 - (u - 2)) + 19?
True
Suppose 0 = 5*w + 25, 2*w + 62 = -0*v + 4*v. Suppose v - 124 = -3*g + d, 4*d - 12 = 0. Is 19 a factor of g?
True
Let a(p) = p. Let t be a(2). Let z(g) = 6*g + 7*g + t*g. Is 13 a factor of z(1)?
False
Let x = -24 + 52. Let f = 4 + x. Does 17 divide f?
False
Suppose z + 92 = 3*n + 1, 0 = 5*n + 3*z - 147. Let s = n - 2. Is 14 a factor of s?
True
Suppose -4*m = y - 34 - 63, -2*y + 69 = 3*m. Does 13 divide 2/(-1 - -3) + m?
True
Suppose -v - 4*v + 124 = 2*d, -d + 2*v + 44 = 0. Is d a multiple of 9?
False
Let u = 1 + -15. Let v(r) = r + 16. Let k be v(u). Suppose -31 = -k*d + 29. Is 10 a factor of d?
True
Let x = 0 + 4. Suppose -3*v = -x*v + 1. Is (v - -9)/(5 - 4) a multiple of 4?
False
Let u(m) = -m**3 + 4*m**2 + 9*m - 7. Let t be u(6). Is -3 + 1 - t - 1 a multiple of 20?
False
Let i = -5 - -253. Does 31 divide i?
True
Let f(z) = z**3 + z**2 + z - 1. Let w be f(-2). Let k = 15 + w. Let j = 10 - k. Is 2 a factor of j?
True
Let r(k) = -4*k - 17. Let j be r(-5). Suppose 2*x - 510 = -j*x. Is 21 a factor of x?
False
Let c be 9/2*(-372)/(-18). Let k = c - 59. Is k a multiple of 17?
True
Suppose -3*k - 4*y + 291 = 0, -y = 3*k - 0*y - 300. Is 19 a factor of k?
False
Is 4 a factor of (-2)/((16/(-36))/2)?
False
Let h be 0*(-3)/6*2. Suppose h = -2*v - 2*v - 3*z + 268, -5*v = -2*z - 335. Suppose 2*n - 1 = v. Is n a multiple of 14?
False
Suppose -17*h + 13*h + 220 = 0. Is h a multiple of 11?
True
Suppose -2*n - 2*n + 169 = -5*v, 4*n + 2*v - 134 = 0. Let o = -14 + n. Is o a multiple of 8?
False
Let j(w) be the second derivative of -w**5/20 - w**4/2 - 5*w**3/6 + 2*w. Let m be j(-5). Suppose 0 = 3*y - m*y - 57. Is y a multiple of 10?
False
Suppose 5 = 3*m + 14. Is 10 a factor of 29 - (m - -4 - 1)?
False
Let g = 43 + -17. Does 3 divide g?
False
Suppose 0 = -5*i - v + 34 + 68, -3*v = 4*i - 75. Is i a multiple of 7?
True
Is 17 a factor of ((-3)/(-4))/((-5)/(-340))?
True
Let d(n) = -4*n**2 - 3*n - 3. Let k be d(-2). Let o = -11 - k. Let m(a) = 2*a**3 - a**2 - 3*a + 3. Is 9 a factor of m(o)?
True
Let a be 2/(-3)*(-8 - -2). Is 1 - (a - 1) - -16 a multiple of 7?
True
Let d = -31 + 171. Is d a multiple of 20?
True
Let f = 133 + -49. Is 12 a factor of f?
True
Let m(z) = 3*z + 5. Let b(p) = p**3 - 6*p**2 + 2*p - 6. Let f be b(6). Is 11 a factor of m(f)?
False
Let q(j) = -j**2 - 4*j + 2. Let c be q(-4). Suppose 3*h = -4*l + 112, -c*l - h = -4*l + 66. Is 11 a factor of l?
False
Let k be (-1)/((-2)/8)*-1. Let p(a) be the second derivative of -3*a**3/2 + a. Is p(k) a multiple of 18?
True
Let s(n) = -n**2 + 4*n. Let v be s(4). Suppose 2*l + v*a - 14 = 2*a, 0 = a - 3. Suppose w - l = -0*w. Is 8 a factor of w?
False
Let i = 4 + -5. Let y be (i + -5)*(-5)/15. Is 20 a factor of y/(-2 - 81/(-39))?
False
Let g(f) = -25*f**2 - 5*f - 2. Let q be g(-4). Let z be q/(-10) - 4/20. Suppose -82 = -5*y - 2*w, -z = -3*y + w + 9. Is y a multiple of 8?
True
Suppose 2*w + 4*d = 7*w - 110, 52 = 4*w + 4*d. Let m = w - -8. Is m a multiple of 14?
False
Let p(b) be the first derivative of -b**3/3 + b**2 + 4*b - 2. Let q be p(3). Let l = 13 - q. Is l a multiple of 12?
True
Suppose -2*s - 154 = -4*s. Suppose -5*n + 48 = -s. Suppose 5*i = n, 0 = -2*o + o + i - 1. Does 2 divide o?
True
Suppose -i + 10 = -1. Suppose u - i - 5 = 0. Is 8 a factor of u?
True
Let x(y) = -y**2 + 6*y - 3. Let u be x(4). Let z = -15 - u. Let d = 0 - z. Does 10 divide d?
True
Let g be 2/4*8/2. Suppose 5*u - 47 = 2*y, -g*y = -4*u - y + 40. Is 6 a factor of u?
False
Suppose 0 = -a - 5*q - 11, 0*a + 4*a - 22 = 2*q. Suppose -a*f = -17 + 1. Is f a multiple of 4?
True
Suppose -b - 28 = -4*v, -5 + 37 = 5*v - 2*b. Let x(j) = j**3 - 8*j**2 + 3*j + 6. Is x(v) a multiple of 13?
False
Let p be (-2)/(0 + -2 - -1). Let j be 12/9*3/p. Does 5 divide ((-6)/j)/(-3) - -7?
False
Let s(i) = -6*i + 30. Is s(-5) a multiple of 15?
True
Let m(i) = 13*i**3 + i**2 + i - 1. Let q be m(1). Suppose -q = x - 2*x. Is x a multiple of 7?
True
Let f(k) = k**2 - 3*k - 12. Is 7 a factor of f(-6)?
True
Is 12 a factor of -1 - (-26)/(-4)*-2?
True
Let o(u) = 9*u**2 + 4*u + 5. Let q be o(-4). Suppose -m + q = 2*h, 0 = -4*h + h - m + 202. Is h a multiple of 24?
False
Suppose 0 = -2*g + 4 - 2. Let t(h) = -h**2 - 7*h - 7. Let s be t(-6). Let z = g - s. Is z even?
True
Let h = -59 - -39. Let t = -13 - h. Is t a multiple of 6?
False
Let j(o) = -2*o**3. Let w = -2 - -1. Let d be j(w). Suppose 3*x + d*x = 2*y + 2, -10 = -3*y + x. Is 2 a factor of y?
True
Let c = -170 + 64. Let w = -72 - c. Does 15 divide w?
False
Let w = -5 + 5. Suppose 0 = -5*u - 4*a + 247, -u + 5*a - 4*a + 44 = w. Does 14 divide u?
False
Let f = -42 - -60. Is 4 a factor of f?
False
Suppose -x + 3 = -4. Suppose -o + 4 = -5*a, -3 = 5*a + o - x. Suppose a*k = k - 22. Is k a multiple of 8?
False
Let h = 2 - 2. Suppose 23 = q - h. Does 8 divide q?
False
Suppose 4*m = 11 + 9. Suppose r - 3*l + 85 = 6*r, -2*r = -m*l - 3. Suppose -o = -3*o + 5*k - 2, 5*o - 3*k = r. Is o a multiple of 4?
True
Does 13 divide (126/28)/(6/56)?
False
Suppose 6*r - 2*r + 60 = 0. Let v(f) = f**3 + 16*f**2 + 12*f + 3. Does 12 divide v(r)?
True
Suppose -1185 = -4*n - 7*u + 4*u, 605 = 2*n - u. Is n a multiple of 19?
False
Suppose -17 - 41 = -2*n. Let s = 62 - n. Suppose -31 = -4*j + s. Does 16 divide j?
True
Suppose 4*o - 2*u - 144 = -26, 3*o - u = 86. Does 17 divide ((-68)/(-6))/(18/o)?
True
Suppose 3*l = 4*h - 6, l - 2 = -0*l. Let c = h - -2. Suppose -c*w + 68 = 23. Does 3 divide w?
True
Suppose -5*m - 7 = -2*t, -21 = 3*t - 4*t - m. Let a(x) = x**2 + 2*x - 4. Let o be a(6). Let l = o - t. Does 16 divide l?
False
Suppose -x + 2 = -10. Is x a multiple of 9?
False
Does 13 divide 0 + 1 + (34 - 2)?
False
Let o(a) = a**3 + 9*a**2 - 7*a - 8. Does 14 divide o(-8)?
True
Suppose r + 17 = 3*w - 3*r, 2*w + r - 15 = 0. Let p(g) = g**2 - 3*g - 4. Is p(w) a multiple of 10?
False
Let c be -2 + (-9)/(-3) + -3. Let r be c/(30/32 - 1). Suppose b - r = -b. Is b a multiple of 8?
True
Let i = -182 + 206. Does 8 divide i?
True
Let c = 10 - 8. Suppose -c*o - 2*o + 44 = 0. Is 7 a factor of o?
False
Suppose -2*t - 3*z + 82 = 0, 3*t + z = -0*z + 123. Is 16 a factor of t?
False
Suppose 5*t - 4*t + j - 7 = 0, -44 = -5*t + 4*j. Suppose 3*m - t = m. Is m a multiple of 2?
True
Let q(n) = n**3 + 3*n**2 + 3. Let b be q(-3). Let i(d) = -d**2 + 3*d + 3. Is i(b) a multiple of 3?
True
Let j(t) = -t**3 + 6*t**2 - 6*t + 5. Let s be j(5). Let g be (4/(-5))/(3/(-15)). Suppose s = -g*q + 43 - 3. Is q a multiple of 6?
False
Let i(q) = -7*q - 4. Is i(-4) a multiple of 4?
True
Suppose 3*x + 25 = 4. Let r(z) = -z**2 - 13*z - 8. Let f be r(x). Suppose 4*d - f = 5*q, -d + 4*q + 4 - 1 = 0. Is d a multiple of 11?
True
Suppose 0 = 2*s + 3*u - 13, 2*s - u - 2*u = -5. Suppose s*m = -5*n, -2*n + 9 + 0 = -m. Suppose -4*x - w = -150 + 62, 0 = n*x - 2*w - 44. Is x a multiple of 11?
True