 - r + 112 = -2*a. Suppose 2*u - 4*u = -a. Is u a multiple of 7?
True
Suppose -29 = 9*i - 10*i. Is i a multiple of 7?
False
Let r(x) = x**3 - x - 1. Let g(m) = 4*m + 7. Let b(p) = -g(p) - 5*r(p). Does 12 divide b(-2)?
True
Suppose 2*n - 5*d - 24 = 0, 3*n - 3*d + 0*d - 18 = 0. Suppose m + n*z - 7 = 6, -2*z - 38 = -2*m. Does 17 divide m?
True
Let d = -186 - -110. Let q = 36 - 80. Let f = q - d. Is f a multiple of 16?
True
Suppose -102 = 3*b - b. Is 9 a factor of (2 + 16/(-6))*b?
False
Let j(f) = 2*f**3 + f. Let c be j(1). Suppose 0 = -2*x - c*x + 420. Is 28 a factor of x?
True
Suppose 0 = 5*p - 4*n - 148, 2*n + 15 = p - 11. Does 3 divide p?
False
Let x = -10 - -34. Is 8 a factor of x?
True
Does 23 divide ((-366)/9)/((-4)/6)?
False
Let m(d) = d**3 - 12*d**2 - 18*d + 7. Is 21 a factor of m(14)?
True
Let n be (-1)/(-11)*-2 - (-255)/11. Suppose -l = -c - 4*c - 67, c = -4*l + 163. Let s = l - n. Is 10 a factor of s?
False
Suppose 0 = 2*b - 2*q - 4, 5*q - 31 + 6 = 0. Let t = -8 + b. Let f = 18 - t. Is f a multiple of 19?
True
Suppose 2*f + 24 = -0. Let o = f - -20. Suppose 2*p - 42 = -o. Is p a multiple of 7?
False
Suppose -2*f = -3*w + 39, 2*w - w - 4*f - 3 = 0. Does 8 divide 10/w - 92/(-6)?
True
Let k = 185 + -100. Is 20 a factor of k?
False
Let r be (143/22)/(1/(-2)). Let y(n) = -5*n - 15. Is 25 a factor of y(r)?
True
Let x = 47 + -11. Is 6 a factor of x?
True
Let q be (6 + -5)*8*2. Let t = q + 8. Is t a multiple of 12?
True
Suppose 0*m = -2*m. Suppose m = 2*a + 3*a - 50. Does 4 divide a?
False
Suppose -5*d = -7 + 27. Let r be (-26)/d - 2/4. Does 5 divide -3*r/(-9) - -3?
True
Suppose 0 = l - 155 + 1. Is l a multiple of 22?
True
Suppose -4*p + 69 = s - 3*p, 0 = -5*s - 3*p + 351. Suppose -2*q + 1 = -2*n + 3*q, -8 = -3*n - 2*q. Suppose 5*j - s = n*j. Does 12 divide j?
True
Let t = -17 + 25. Let f(b) = 2*b**2 + 11 + 7*b + 3*b**2 - 6*b**2. Does 2 divide f(t)?
False
Suppose 0 = -3*t - 38 + 14. Does 9 divide ((-4)/t)/(1/18)?
True
Suppose j + 7 - 2 = 0. Is (-9*1)/(-6 - j) a multiple of 3?
True
Suppose -2*v = 5*l - 381, -v = 4*l - 9 - 294. Does 15 divide l?
True
Suppose -2*x = -117 - 3. Is x a multiple of 18?
False
Suppose -p - 2*i = -11 - 7, -i = -3*p + 89. Let y = p + -12. Is 12 a factor of y?
False
Suppose 51*c = 53*c - 74. Is 4 a factor of c?
False
Does 10 divide 1240/60*(0 + 3)?
False
Suppose 50 = 4*x - 14. Does 5 divide x?
False
Let i = -4 - -9. Suppose 3*k = -i*t + 115, -t + 2*t = 4*k. Is 5 a factor of t?
True
Is 10 a factor of 19 - (-5 - -1 - -3)?
True
Let y(d) = -d + 5. Let u be y(0). Is 0 - (-36)/(u - 3) a multiple of 14?
False
Suppose -2*m + 5*t + 0 = -6, -6 = -2*m + t. Suppose 0 = -5*r + 5*s + 155, -r + s + 19 = -m*s. Is 23 a factor of r?
False
Let z(m) = -m**3 - 7*m**2 - 7*m - 1. Let a be z(-6). Let w = 1 + a. Is w a multiple of 6?
True
Let j be (42/(-9))/(2/3). Let b = j + 12. Does 5 divide b?
True
Suppose 3*q = -5*l + 14, -4*l - 3*q + 2*q = -7. Let j(a) = 1 + 33*a - 14*a + 28*a - 2*a. Is j(l) a multiple of 18?
False
Does 10 divide 6/(-9) + (-1098)/(-27)?
True
Let t = 0 + 0. Let m(l) = l**3 - 2*l**2 - 1. Let b be m(3). Let x = t + b. Is x a multiple of 4?
True
Suppose g - 2*g = -85. Let c = 119 - g. Suppose a = c + 16. Does 20 divide a?
False
Let o = 16 - -17. Is o a multiple of 11?
True
Suppose 3*i + i = 92. Let n = 38 - i. Is ((-18)/n)/((-2)/70) a multiple of 14?
True
Let v(y) = y**2 - y - 1. Let j(z) = z**2 - 4*z - 4. Let k(f) = -j(f) + 2*v(f). Let o be k(-5). Is (o/4)/((-1)/(-4)) a multiple of 17?
True
Suppose n - 68 = -2*y + 3*n, -5*n = 5. Does 21 divide y?
False
Let d = 62 - 34. Let o = -16 + d. Is o a multiple of 3?
True
Let r(u) = -u**2 + 5*u + 3. Let z be r(5). Is 10/(-15)*(-39 + z) a multiple of 8?
True
Suppose -44 = -4*b - g, -b + 4*g + 28 = -0*b. Is b a multiple of 3?
True
Suppose 0 = -5*v + 2*q - 206, 3*v + 198 = 4*q + 80. Let l = v - -59. Suppose 2*t - l = 11. Does 8 divide t?
False
Suppose -v = -5*v + 172. Is v a multiple of 3?
False
Let x be 6*2/4*1. Let m(j) = j**3 + 3*j**2 - j. Is m(x) a multiple of 17?
True
Let c(q) = 4*q**3 - q**2 - 2*q + 6. Is c(3) a multiple of 28?
False
Let g = 0 + 1. Let a = 13 - g. Does 7 divide a?
False
Is ((-1)/(-3))/(3/1998) a multiple of 7?
False
Let w = -58 + 88. Does 30 divide w?
True
Suppose 5 = -3*m - 2*o - 26, -m = 2*o + 13. Let i = 5 + m. Does 11 divide i/(-14) - 620/(-35)?
False
Suppose 4*k + 3*w = -838, -2*w - 627 = 3*k + w. Let y = -130 - k. Does 26 divide y?
False
Let w(p) = -p**3 - 13*p**2 - 11*p + 7. Let m be w(-13). Suppose -130 = -4*s + m. Is 14 a factor of s?
True
Is ((-24)/(4/2))/((-12)/180) a multiple of 18?
True
Suppose -61 = 2*v - 5. Let k = v + 46. Is 18 a factor of k?
True
Does 4 divide (6/7)/(14/196)?
True
Let i = -13 - -28. Suppose -2*y + 7 = -i. Is y a multiple of 11?
True
Suppose -4*b - 5*y + 23 = 0, 0 = -b - y + 9 - 4. Suppose 0 = -5*w - 2*l + 2, l = -2*w + b*l - 1. Suppose w = 3*i - 6*i + 15. Is 2 a factor of i?
False
Let m be 6/8 - 322/(-8). Suppose 5 - 18 = -x + 5*f, 0 = -3*x - 5*f - m. Let s = x + 30. Is s a multiple of 7?
False
Let d = -21 + -6. Let g = -13 - d. Is 5 a factor of g?
False
Let l be 0 + -10*1/(-2). Is (l - 2)*(-60)/(-9) a multiple of 10?
True
Suppose 0 = -f - 4*v - 26, 0*f - 3*f + 2*v - 8 = 0. Let n be (-2 + 1)*(1 + f). Suppose -r + 46 = -5*k, -27 - 115 = -n*r + 3*k. Is r a multiple of 13?
True
Suppose 64 = -3*j - 20. Let b be -1*(2 + -1 + (-10)/(-2)). Is j/(-3)*b/(-4) a multiple of 7?
True
Let c be 2/4 - 90/(-4). Let l = c - 3. Does 4 divide l?
True
Let h be (-34)/(-6) + 2/(-3). Let m(u) = 2*u**2 - 6*u - 4. Is m(h) a multiple of 6?
False
Suppose 2 = -2*k - 0. Let y(h) = -24*h + 1. Does 13 divide y(k)?
False
Suppose 4*q - 94 = 4*v + 34, 2*v + 128 = 4*q. Is q a multiple of 16?
True
Let x = 7 + -3. Suppose 0 = -5*b - x*q + 5, 0 = -b - 4*q + q + 1. Is (108/(-8))/(b/(-2)) a multiple of 10?
False
Let d be (2/4)/(2/8). Let s(h) = 8*h**2 - 40*h + 4. Let m be s(5). Suppose 0 = 5*b - m*a - 28, -2*b - d*a = 2*b - 38. Is 8 a factor of b?
True
Let i = 4 + -2. Is 9 a factor of 27*(i + 8/(-6))?
True
Let w(j) be the first derivative of -1/3*j**3 + 1 + 0*j + 3*j**2. Does 5 divide w(4)?
False
Is 2 a factor of (-1)/(-7) + 166/14?
True
Let k(l) = l**2 - 8*l + 15. Let h(v) = -5*v + 3. Let d be h(-1). Is 15 a factor of k(d)?
True
Suppose 0 = -0*n + 2*n + f, 0 = n + 2*f. Suppose n = -5*d + 295 - 45. Suppose m = -m + d. Is 11 a factor of m?
False
Let h = 130 + -95. Is 7 a factor of h?
True
Let s(n) = 6*n - 3. Let d be s(-3). Let c = 7 - d. Suppose -3*k + 5*k - c = 0. Is 5 a factor of k?
False
Is 3 a factor of 1*7 + (-8)/8?
True
Suppose -7 = -5*d - 27. Does 9 divide (-9)/((d - -7)/(-3))?
True
Suppose -2*f + 21 = 7. Does 3 divide (-1)/((4/f)/(-4))?
False
Let u(p) = 4*p - p**2 - 3*p - 4*p**2. Let n be u(1). Is 2 a factor of n/6 + 14/3?
True
Suppose -v = v + 2. Let m be 465/5 - (1 - v). Is m/2 + (-2)/4 a multiple of 16?
False
Let d = 5 + -5. Let l(y) = -y**3 - y**2 + 14. Is l(d) a multiple of 5?
False
Let q(v) = v**2 - 2*v + 2. Let j be q(2). Is (0 + 15/2)*j a multiple of 12?
False
Let m(i) = -7*i - 9. Let u be m(-6). Let a be 92/22 - 6/u. Let s = 9 - a. Does 4 divide s?
False
Is 9/((75/55)/5) a multiple of 11?
True
Suppose 9*t - 282 = 582. Is t a multiple of 25?
False
Let a be 2/(-11) - (-783)/11. Let s = a + -19. Does 13 divide s?
True
Suppose 4*m - 329 = 4*p + 87, 96 = m - 5*p. Does 8 divide m/3 + (-2)/(-3)?
False
Let h = 23 - 14. Let l(p) = -2*p + 7. Let z be l(6). Let v = h - z. Does 7 divide v?
True
Let g = 51 - 1. Is g a multiple of 17?
False
Suppose 0 = 7*h - 13*h + 798. Is h a multiple of 19?
True
Let o(i) = -46*i + 1. Does 25 divide o(-1)?
False
Suppose 0 = 5*m - 14 - 6. Suppose 8 = m*l - 0*l. Is 9 a factor of -10*1/l*-5?
False
Let r = -5 + 7. Let x(h) = -4*h + 3*h - h**3 - 28*h**2 - 10 + 36*h**r. Does 11 divide x(7)?
False
Suppose 22*b - 20*b = 232. Is 18 a factor of b?
False
Suppose z - 28 + 199 = -3*w, 3*w - z = -165. Let r = w + 24. Does 6 divide 27/4*r/(-12)?
True
Suppose -2*a - 4*w = -9*w - 203, 3*w + 197 = 2*a. Is a a multiple of 17?
False
Let p(s) = s + 1. Let m be p(4). Suppose -90 = -m*g - 0*g. Let z = -6 + g. Is z a multiple of 12?
True
Let b = -11 + 15. Is (14/b)/(3/18) a multiple of 8?
False
Let b(x) = x**2 - 8*x + 4. Suppose 10 = -3*o + 3*p + 22, -2*o 