ppose q + 0*q = 80. Suppose 5*x - q = 4*x. Let l = -47 + x. Is l a multiple of 9?
False
Let j = -11 - -15. Let n = 22 - j. Is n a multiple of 12?
False
Let r(t) = 15*t - 7. Is r(1) a multiple of 2?
True
Let l(d) = -16*d - 33. Is l(-8) a multiple of 24?
False
Suppose 0 = -2*i - 3*n + 52, -3*n - 31 = -i + 13. Is i a multiple of 14?
False
Let j = -14 - -24. Suppose 3*w = -g + j, 3*g = -3*w - 0*g. Suppose -w*l + 87 = -i, 5*l + i - 6*i - 75 = 0. Does 9 divide l?
True
Let f = 31 - 10. Is 14 a factor of f?
False
Let z(b) = b + 23. Suppose -h = -2*h. Does 8 divide z(h)?
False
Suppose -2*v + i = -6*v + 144, 3*v = -i + 108. Is 27 a factor of v?
False
Let f = 8 + -5. Suppose -5*a = 10, -4*u - u = 5*a - 65. Is u*1/3*f a multiple of 4?
False
Suppose 14 = -5*v + 44. Is 2 a factor of v?
True
Let k = 5 - -5. Let f be 0 + (-2)/2 - -2. Let m = k + f. Is 11 a factor of m?
True
Suppose 0 = 3*i + 3*r - 51, -1 = r - 5. Suppose -55 + i = -3*t. Does 8 divide t?
False
Let j(z) = 14*z - 10. Let m be j(7). Suppose -t - m = -3*t. Is 11 a factor of t?
True
Does 9 divide 280/16 - 2/(-4)?
True
Suppose -l - l + 4 = 5*j, j - 3*l = 11. Suppose 4*k = j*k - c + 44, 3*k + 4*c = 61. Does 11 divide k?
False
Let m = 5 - 2. Let z(w) = -w**2 - w + 4. Let d be z(m). Let n = d + 12. Is n a multiple of 3?
False
Let m(x) = 24*x - 5. Let v be m(4). Suppose 3*p = 4*t + 22 + 39, 2*t = -3*p + v. Is p a multiple of 9?
True
Suppose 3*b - 18 = 246. Suppose 5*o - 2*r = b, 3*o + 2*o = -2*r + 92. Is 9 a factor of o?
True
Suppose 6*y + 2*n = 4*y + 38, -y = -n - 21. Is 4 a factor of y?
True
Suppose -3*s = -x + 3*x + 107, -5*x - 86 = 2*s. Let t = -11 - s. Suppose 5*c - 2*v = -t + 84, -4*v = -c - 2. Is c a multiple of 6?
False
Let j = 214 + 6. Let s(p) = p**3 + 3*p**2 - 2*p - 2. Let k be s(5). Suppose -5*q - j = -5*b, 2*b + 2*b - q - k = 0. Does 13 divide b?
False
Suppose b - 18 = 2*b + 5*z, 34 = 2*b - 4*z. Suppose -b*g = -4*g - 72. Does 5 divide g?
False
Let o(u) = 1 + 9*u - 4*u - 6*u. Is 2 a factor of o(-4)?
False
Suppose -224 = -4*f - 4*z, -5*z = -f - 4*f + 310. Is 28 a factor of f?
False
Let y(q) = q**3 + 1. Let f be y(1). Suppose -3*x = -a - 20 + 4, -f*x + 3*a + 20 = 0. Suppose -p - 3*b - 34 = -6*p, -b = -x*p + 23. Is p a multiple of 2?
False
Suppose -14*u + 20*u - 702 = 0. Is u a multiple of 10?
False
Suppose 3*c = 9 + 60. Is 23 a factor of c?
True
Let b = -8 - -11. Suppose -b*l = -0*l - 243. Suppose 83 = -2*j + 4*j + c, -3*c + l = 2*j. Is 18 a factor of j?
False
Let l(g) = -g**2 - 6*g - 4. Let c be l(-4). Suppose 0 = -a - 5*r + c*r, 2*a - 14 = 5*r. Does 2 divide a?
True
Let h be ((0 - 0) + -3)*-1. Suppose -2*p = 4*c - 402, 0*p = -h*c - p + 303. Does 29 divide c?
False
Let s be 2/(-3) - (-42)/(-18). Is 6 a factor of (-2 - (s - 11)) + 0?
True
Let j = 2 - 1. Let a(o) = 3*o**2 + o - 1. Let d be a(j). Suppose -d*h + 2*h = -8. Is 4 a factor of h?
True
Let f = 22 - 15. Let t(c) = c + 2. Is t(f) a multiple of 5?
False
Let d(k) = -5*k - 2. Let j be d(-2). Let a = -14 - -17. Suppose -10 - j = -a*h. Does 5 divide h?
False
Suppose 4*z + 4*v - 56 = 0, -4*v = 2*z - v - 29. Suppose 3*w - 22 = -c, -c + 0*w = -4*w + z. Is c a multiple of 6?
False
Let w = 297 - 185. Is w a multiple of 16?
True
Let x be 2/(-5) + (-7928)/(-20). Suppose x = 6*g + 60. Does 14 divide g?
True
Does 7 divide (6/(-2) - -20) + 4?
True
Suppose 0 = -3*f - 15, -4*j - j + 4*f + 30 = 0. Suppose -i = j*g - 35, -199 = -5*i + g + g. Is 13 a factor of i?
True
Let i = -77 + 129. Is 28 a factor of i?
False
Let b(p) = 2*p**2. Let v be b(-1). Suppose 1875 = 3*q + v*q. Suppose -3*n - 5*k + 375 = 2*n, -3*k - q = -5*n. Is n a multiple of 27?
False
Let m(t) = t. Let r be m(-3). Does 21 divide ((-116)/6)/(1/r)?
False
Let v be 4/6*(-10 + 1). Let x = v + 6. Suppose 0*r = -5*q + 2*r + 23, x = -2*q + 2*r + 8. Is 3 a factor of q?
False
Suppose -5*o + 3*o - 252 = 0. Is 1/4 - o/8 a multiple of 8?
True
Suppose -o + 14 + 13 = 0. Does 8 divide (o/(-18))/(3/(-16))?
True
Let h = -102 + 120. Is h a multiple of 6?
True
Let u = 9 + -6. Suppose u*z = -z. Let m = 14 + z. Does 14 divide m?
True
Is 32 a factor of 160/(-15)*-3 - 0?
True
Suppose -3*g + 5*i = -410, -5*g + 3*g + 288 = 4*i. Is g a multiple of 24?
False
Suppose 55 = -5*d - 0*d. Suppose 8 = -4*v + 4. Let q = v - d. Is 10 a factor of q?
True
Let b = 1 + 7. Suppose -3*a - a + b = 0, 232 = 5*y + a. Does 23 divide y?
True
Suppose 2*s + 3*s + 15 = 0, 340 = 4*k - 4*s. Is k a multiple of 9?
False
Let j = 7 + -17. Let k be (-18)/(-12)*j/(-3). Suppose 3*q - k*o - 208 = -q, -51 = -q + o. Is 16 a factor of q?
False
Is -1*(0 + 1)*-278 a multiple of 12?
False
Let q = 22 + -4. Suppose 8 = -2*g + i, -2*g = -5*g + i - 10. Let a = q - g. Is 20 a factor of a?
True
Suppose 2*r - 226 = -2*p, -4*r - 3*p = -343 - 111. Is r a multiple of 23?
True
Suppose -24*i + 21*i = -60. Does 10 divide i?
True
Let x(c) be the third derivative of -c**2 + 5/24*c**4 + 0*c**3 + 0 + 0*c + 1/20*c**5. Does 25 divide x(-5)?
True
Let w be 0*((-3 - -6) + -2). Suppose y = -5*v + 8, 3*v = 3*y + 12 - w. Is v a multiple of 2?
True
Let y(k) = k**3 + 3*k**2 + 4. Let t be y(-3). Suppose -t*o - 84 = -7*n + 2*n, 0 = n - 2*o - 12. Is n a multiple of 10?
True
Let s(l) = l**2 - 2*l - 6. Let c be s(4). Let j(t) = -t**3 + 7*t**2 + 3*t - 10. Let r be j(7). Suppose -2 = -m, b - 25 = c*m + r. Is 20 a factor of b?
True
Suppose 15*f - 14*f = 33. Is f a multiple of 11?
True
Let o(v) = 4*v - 1. Let x be o(1). Is 3 - (6 - x) - -5 a multiple of 5?
True
Let n = -61 - -128. Is n a multiple of 23?
False
Let u(m) = m**2 - 4*m + 22. Does 6 divide u(8)?
True
Suppose 4*n = 6*n + 18. Let b be ((-192)/n)/((-2)/(-9)). Suppose 2*u + c = 6*c + b, 0 = 2*u + 4*c - 60. Does 11 divide u?
False
Let j(a) = a**2 + 7*a + 13. Let m be j(-11). Does 19 divide (3 - 0)/(3/m)?
True
Suppose -d + 6 = -7. Is d - (-5 - (-1 + -1)) a multiple of 16?
True
Suppose 0*t - 216 = -3*t. Suppose 2*h = -h + t. Does 7 divide h?
False
Let j(x) = -3*x + 5. Let l(b) = -2*b + 3. Let v(m) = -6*j(m) + 10*l(m). Does 12 divide v(-6)?
True
Let y = -2 - -2. Suppose -5*j = -4*x - 394, -2*j + y*x + x + 157 = 0. Suppose 5*n - 2 = j. Does 9 divide n?
False
Suppose 6*p = 2*p + 12, -p = -5*i + 22. Suppose -5*s + 10*s - 45 = i*j, -j - 21 = -2*s. Is 4 a factor of s?
True
Suppose x + 2*q + 11 = 0, -4*x - 77 = -4*q + q. Suppose 68 + 102 = 5*i. Let z = i + x. Is z a multiple of 17?
True
Let u(v) = -v**2 - 12*v - 4. Let c(j) = -j - 1. Let k(t) = -6*c(t) + u(t). Is 3 a factor of k(-5)?
False
Suppose -6 - 10 = -4*g. Suppose 0 = -l - g*b - 6, 3*l - 2*b - b = 12. Is l a multiple of 2?
True
Let d(x) = 3*x**3 - 3*x**2 + x + 3. Is d(3) a multiple of 20?
True
Let c(p) = -p**2 - 6*p - 3. Let v be c(-4). Let r(l) = 5*l + 7. Is 10 a factor of r(v)?
False
Let k be -1*(-3 - -2 - -4). Let f = k - 0. Is 2/(12/f)*-24 a multiple of 12?
True
Let s = -1 - 4. Let k = s - -4. Is 23 a factor of (k/(-2))/(2/132)?
False
Suppose 4*w - q - 179 - 186 = 0, 0 = 5*w + 4*q - 451. Does 13 divide w?
True
Suppose -o + 9 = -0*o. Let b(j) = 1 + 2 - 4 - 10*j**2 + 11*j + j**3. Does 6 divide b(o)?
False
Let a = -46 + 63. Is a a multiple of 3?
False
Suppose -3*l - 3 = -o - 129, 0 = -4*o. Suppose 0 = -3*h + q - 9 + l, -2*h + 30 = 2*q. Does 5 divide h?
False
Let z = 286 + -127. Is z a multiple of 42?
False
Let v(l) = -5*l + 2*l**2 + 5*l. Does 16 divide v(-4)?
True
Let f(c) = -49*c - 14. Is 14 a factor of f(-2)?
True
Let u = 54 + -14. Is 10 a factor of u?
True
Let w(y) = 2*y**2 - 2*y + 3. Let k be w(2). Let u(j) = j + 3. Is 5 a factor of u(k)?
True
Suppose -3*w = -66 - 393. Is 26 a factor of w?
False
Let v(f) = -7*f**2 + 5*f + 3. Let r(n) = -3*n**2 + 2*n + 2. Let t(o) = -5*r(o) + 2*v(o). Is 16 a factor of t(-6)?
True
Suppose -1551 + 31 = -4*n. Suppose a - 6*a = -n. Is a a multiple of 19?
True
Let m be (-1 + -10)/(3/(-3)). Let z = m - 15. Let k(g) = -g**2 - 5*g + 2. Is 5 a factor of k(z)?
False
Let x(i) = i**3 + 2*i**2 + 2*i + 2. Let r(w) = w**3 - 2*w**2 - w - 3. Let z be r(3). Is 23 a factor of x(z)?
False
Let x(n) = -n**3 + n. Let h be x(1). Let q(a) = 1 + 2 - 3*a + h + 2. Is 10 a factor of q(-5)?
True
Let w = 55 + -33. Let k = 17 + -29. Let g = k + w. Is 5 a factor of g?
True
Let k = 19 - -6. Is k a multiple of 3?
False
Suppose 2*b = x + x + 18, 6 = -2*x - 4*b. Let f(i) = -8*i + 4. 