 be x(8). Suppose -6 = 4*m - i. Suppose 14 = 3*v - m. Is v a multiple of 15?
True
Suppose -3*g + 240 = -0*g. Let t = g - 135. Let q = 80 + t. Is 13 a factor of q?
False
Suppose -2*u + 4*r = -138, -u + 3*u = -4*r + 114. Let q(d) = d**3 - d**2 - d - 36. Let m be q(0). Let z = m + u. Is z a multiple of 17?
False
Let c(b) = -54*b + 17. Is c(-2) a multiple of 11?
False
Let l(n) = -10*n + 2. Is 13 a factor of l(-2)?
False
Let x be (48/9)/((-2)/6). Let p = 32 + x. Does 16 divide p?
True
Suppose 4*c - 67 - 5 = 0. Does 10 divide c?
False
Let z = -23 + 54. Let i = z + -8. Let w = i + -1. Is 12 a factor of w?
False
Suppose -9 = -3*s + 6. Suppose -5*a + 0 - s = 0. Is 10 a factor of (-22 + 2 - -1)*a?
False
Suppose 3*y = -p - p + 275, -3*p + 450 = -3*y. Does 9 divide p?
False
Let l be (0 - 4)*(-30)/40. Suppose -u = l*r - 45, 2*u - 4*u - 6 = 0. Is r a multiple of 4?
True
Suppose -10*i + 17*i = 1610. Is 23 a factor of i?
True
Suppose -2*m = -2*d + 6, 2*d - 4*m = 5*d - 9. Suppose 90 = d*t - 3*f, -f - 60 = -3*t + 20. Let o = -17 + t. Does 3 divide o?
False
Suppose 28 = 5*d - 32. Let l = d + 90. Let w = l + -56. Does 18 divide w?
False
Let p(f) = 4*f - 2. Let g be p(2). Suppose 0 = -2*a + 3*r + g + 2, 3*a = 3*r + 12. Suppose -a + 17 = b. Is b a multiple of 5?
False
Suppose 0*z - i + 1 = z, -3*z + i + 11 = 0. Suppose -p + 19 = z*l - 13, -2*l = 6. Let h = p + -3. Does 19 divide h?
True
Let t = 3 + -2. Suppose t = 2*i - 19. Is 7 a factor of i?
False
Let p(j) = -14*j - 4. Let v be -8 + 9/3 + -1. Let b be p(v). Suppose 5*w - 125 = -0*k + 5*k, 0 = 3*w - 4*k - b. Is 10 a factor of w?
True
Suppose 5*y - 13*y = -184. Does 3 divide y?
False
Let r = 15 + 22. Suppose -p = -t + 17, -3*t + 3*p = 7*p - r. Let d = 24 - t. Is 7 a factor of d?
False
Let u be 3/(2/2 - 0). Suppose 15 = -u*n, 0 = m - 2*n - 55 - 67. Suppose 7*j = 3*j + m. Is 11 a factor of j?
False
Let j = -75 + 101. Is 26 a factor of j?
True
Let s be 1 + (-2 + -2)*14. Is -1 - (-4)/(-4)*s a multiple of 11?
False
Let p be 1/((-3)/6 + 1). Let q(l) = 2*l + l**2 + p - 4*l + 4*l - l. Is q(6) a multiple of 22?
True
Let c = 0 - 2. Let a = 10 - c. Suppose -3*j = y - a, 5*y + 0*j - 2*j = 9. Does 3 divide y?
True
Let n(r) = 32*r - 27. Is 53 a factor of n(13)?
False
Is 3*(132/(-9))/(-4) a multiple of 11?
True
Does 41 divide (-988)/(-12) - 2/6?
True
Let f(u) = -u**2 + 4*u - 4. Let v be f(-4). Let c = 54 + v. Is 6 a factor of c?
True
Let f(l) = -l**3 + 2*l**2 + 6*l + 2. Let i be f(5). Let p = -4 - i. Let x = p + -27. Does 6 divide x?
True
Suppose -2*s = -134 + 100. Is s a multiple of 2?
False
Suppose 5*g + 126 - 426 = 0. Does 12 divide g?
True
Suppose -131 = -2*f + 11. Is 18 a factor of f?
False
Does 8 divide 280/36 + 8/36?
True
Let f be (24/(-6))/(-3 + 1). Let d be (1 - 1)*2/f. Suppose 0 = -b - d*z - 2*z + 15, 5*z - 12 = -b. Is b a multiple of 10?
False
Suppose 5*q = 2*q + 3. Is 20 a factor of (19 + q)/(-2 - -3)?
True
Suppose -2 - 2 = 2*x. Let v be (4/x - -5)*1. Suppose v*p - 28 = p. Does 7 divide p?
True
Is 16 a factor of 1/(-6)*-2 - 1015/(-15)?
False
Let k(g) = g**2 - 4*g - 2. Let x be k(6). Suppose x*o = 5*o + 35. Does 6 divide o?
False
Let g(d) = -d**3 - 4*d**2 - d + 5. Let q be g(-4). Suppose 3*w = 4*x + q, -3*w - 9 = 2*x - 0. Is -1 - w - (-21 - -3) a multiple of 9?
True
Let j(w) = -w**2 - 2*w + 1. Let o be j(-7). Let c = -17 + 1. Let l = c - o. Is 9 a factor of l?
True
Does 4 divide (2/8 + (-3856)/64)*-1?
True
Is (1 - 2)/(0 - 1) + 49 a multiple of 48?
False
Let m = -22 - -7. Is 9 a factor of 2*12/(-40)*m?
True
Suppose -6*t + 57 = a - t, 62 = 2*a - 3*t. Does 11 divide a?
False
Let z be (-1)/(-2)*(4 + -4). Let o = 4 - z. Let y = -2 + o. Is y a multiple of 2?
True
Let i(w) = w - 3. Let s be i(7). Suppose 50 = 2*r - s*h, 3*r - h - 3*h - 77 = 0. Suppose 3*c - o + r = 4*c, 4*o = 3*c - 60. Is 12 a factor of c?
True
Suppose -2*b + u = -3*u + 4, u = 3. Suppose 3*s - 62 = b. Is s a multiple of 8?
False
Let m(u) be the second derivative of u**7/630 - u**6/720 - u**5/30 - u**4/6 - 2*u. Let y(w) be the third derivative of m(w). Is 20 a factor of y(3)?
False
Let p be (1/(-2))/((-2)/4). Let u(b) = -4 + 19*b + 0 + 5. Is u(p) a multiple of 8?
False
Let n(s) = -15*s - 3. Let j be n(-3). Suppose 3*q = 180 - j. Is q a multiple of 23?
True
Let b(h) = -3*h - 8. Let r(c) = -2 + 3 + c + 2. Let z(o) = 3*b(o) + 8*r(o). Is z(-5) a multiple of 3?
False
Let c(d) = -d + 8. Let i be c(4). Suppose -i*j + 4*m + 108 = 0, 3*j + m - 62 = 23. Does 28 divide j?
True
Suppose -2*s = -112 + 32. Suppose -a - 4*a = -s. Does 8 divide a?
True
Does 52 divide -4 - (0 - (291 + -4))?
False
Suppose -s - 28 = -0*s + 3*j, 2*j = -3*s - 49. Let a = s + 23. Let k = 21 - a. Is 4 a factor of k?
False
Is 7/1*(-7 + 8) a multiple of 3?
False
Let x(g) = 19*g**2 + 2*g - 3. Is 18 a factor of x(1)?
True
Suppose 9*q - 220 = -5*l + 4*q, -2*l = -3*q - 78. Does 8 divide l?
False
Suppose 3*c = 3*n - 363, -3*n + 0*c + 368 = -2*c. Suppose 0*d - 3*d + n = 0. Does 21 divide d?
True
Is 48/(-72) - (-1)/(3/926) a multiple of 28?
True
Suppose 0 = -5*r - 5, 3*f - 4*r = -r + 60. Is f a multiple of 4?
False
Let i be 18/4*2/3. Suppose -i*x + 97 = -5*y, -3*x - 4*y = x - 140. Let a = x - 6. Is 14 a factor of a?
True
Suppose 0 = -0*k - 2*k + 4. Suppose 0 = 3*m - k*y - 2*y - 79, -m - 5*y + 58 = 0. Is m a multiple of 22?
False
Let j(c) = 2*c - 13. Does 3 divide j(8)?
True
Suppose 0 = -16*z - 9*z + 725. Is 19 a factor of z?
False
Let x(a) = 2*a**2 - 16*a + 2. Is 17 a factor of x(11)?
True
Suppose -6*h + 448 = h. Does 16 divide h?
True
Let z(o) = 2*o**2 + 3*o - 2. Suppose -5*n = -3*y - 0 + 20, -2*y = 0. Is z(n) a multiple of 9?
True
Suppose x = -x + 70. Does 5 divide x?
True
Suppose 5*o + 12 = k, 5*o - 4*o - 8 = -5*k. Let r(j) = 2*j**2 + 2*j. Is 2 a factor of r(o)?
True
Let m be -10 + -1*(-1 - 1). Let q(x) = -x**2 - 7*x + 7. Let o be q(m). Let j = 2 - o. Is j even?
False
Suppose -94 = m - 3*m + 2*f, -3*m + 126 = 2*f. Suppose -7 = 3*g + z - m, -5*g = 2*z - 62. Is g a multiple of 6?
True
Let i be 4/6 - 6/9. Suppose -2*c + 0*a = -4*a - 12, i = -2*a + 2. Does 8 divide c?
True
Let g(z) = 2*z + 6. Let i be g(7). Suppose 0 = 5*t + 5, 2*w - 3 = -5*t - i. Let x(o) = -o**2 - 13*o + 6. Does 17 divide x(w)?
False
Suppose 5*p = 4*j - 0*j - 16, 3*j - 12 = -5*p. Suppose 4*h - b = 88, j*b + 0*b = -5*h + 110. Let z = h + -16. Does 6 divide z?
True
Suppose -2*o + 85 = -0*j + 3*j, 3*j = 3*o - 135. Is o a multiple of 11?
True
Suppose -55 = 2*n - 181. Is -10*(n/(-6))/3 a multiple of 13?
False
Let s = -7 + 5. Is 87/1 - s - 1 a multiple of 15?
False
Suppose 6*s + 11 = 3*l + s, 0 = -l + s + 3. Suppose -5*n = l*v - 53, 3*n - 4*n + v + 5 = 0. Is n a multiple of 3?
True
Suppose 4*i - 4*x - 152 = 0, -34 = -i - 2*x + 7*x. Is i a multiple of 5?
False
Does 12 divide 26/52 - (723/(-2))/3?
False
Suppose 0 = -4*g - 5*k, 0*g - 3*k = 4*g - 8. Suppose -l + 4*u = -u - 51, -g*u = -5*l + 175. Is 14 a factor of l?
False
Suppose t = -2*u + 3, -2*u - u + 37 = 4*t. Let m = 19 - t. Is m even?
True
Is -2 - 0/(-2) - -18 a multiple of 6?
False
Does 7 divide 2*-1 - (3 + -26)?
True
Suppose -5*u + 19 - 68 = -4*j, -95 = -5*j - 5*u. Does 4 divide j?
True
Suppose 197 = 5*l - 53. Suppose 2*q + 5*p = -33 - l, 2*q + 80 = -4*p. Let b = -22 - q. Is b a multiple of 6?
True
Let q(d) = -d**3 - 7*d**2 - 6*d - 7. Let s be q(-4). Suppose 44 = 3*i - 85. Let z = s + i. Does 6 divide z?
True
Suppose 0 = -0*r + 5*r, -3*r - 46 = -w. Suppose w = -0*b + 2*b. Is 23 a factor of b?
True
Let o(c) = 7*c**3 + 7*c**2 - 5*c + 1. Let l(d) = -d**3 - d**2 + d - 1. Let i(m) = -6*l(m) - o(m). Let a be i(0). Suppose -25 = -5*h - a. Is h a multiple of 3?
False
Let n be (-2)/3 - 32/(-12). Suppose -r = -0 - n. Suppose 3*g + 2*y = 31, -r*g - 20 = -7*g + 3*y. Does 5 divide g?
False
Let a(x) = -15*x - 3. Let d be (2 + -1)/((-1)/3). Is 21 a factor of a(d)?
True
Let l(z) = z**3 - 8*z**2 + 7*z - 22. Is 20 a factor of l(9)?
False
Let i(c) = c**3 - 2*c**2 - 4*c + 1. Let a be i(-4). Let b = a + 111. Does 16 divide b?
True
Suppose 8*k - 5*k - 15 = 0. Suppose 21 + 67 = 4*u - 3*d, -k*d = 4*u - 120. Is u a multiple of 5?
True
Let s(u) = -u**3 + 6*u**2 - 3*u - 2. Is s(3) a multiple of 4?
True
Let v = -56 + 82. Does 6 divide v?
False
Suppose -3*y = -x - 38, -2 - 2 = -x. Is y a multiple of 6?
False
Suppose 