*a. Suppose 4*o = a*d + 54, 3*o + o = -4*d + 36. Is 10 a factor of o?
False
Let b = -3 + 4. Is 14 a factor of -9 - -9 - (b + -26)?
False
Let o(x) = -x**3 + 6*x**2 + 3*x - 6. Let a be o(6). Suppose -3*q = -4*n + 71, a = n - 2*q - 12. Is 5 a factor of n?
False
Let a(b) = 1 + 2*b + 1 - b**2 - b. Let q be a(2). Suppose 5*n - 110 = -q*n. Does 10 divide n?
False
Let d = -21 + 43. Is d a multiple of 22?
True
Suppose 3*n - 20 = -2*p - 0*p, -3*p + 8 = -n. Does 10 divide -45*p*1/(-6)?
True
Let o(z) = -4*z - 10. Suppose -30 = 2*t - 4*h, -4*t + 7*h - 35 = 4*h. Is 10 a factor of o(t)?
True
Suppose 0 = -3*l - 5*r + 13, -5*r - 16 = 4. Is 11 a factor of l?
True
Let y(l) = l - 2. Let i be y(3). Let x be 0 + 1 - (-63)/i. Suppose n - x = -n. Does 11 divide n?
False
Let q = -21 + 45. Suppose 0 = u - 3*u + q. Suppose -u = -y - 0. Is 6 a factor of y?
True
Let d be 2 + -39 - (-3 - -2). Let f be (-344)/(-5) - 1/(-5). Let l = f + d. Is l a multiple of 14?
False
Suppose -5*l = 2*g + 24 - 3, -5*l = 25. Suppose 5*x - g = 3*x. Let a(f) = 13*f + 1. Is 14 a factor of a(x)?
True
Suppose -3 = -j, 2*j = -6*u + 2*u + 82. Let k be (3/6)/((-2)/(-136)). Suppose -v - u = -3*p + p, 3*p = -4*v + k. Is p a multiple of 4?
False
Suppose 30 = -16*d + 21*d. Is 3 a factor of d?
True
Let r(d) = -3*d**3 - 7*d**2 + d - 6. Is r(-5) a multiple of 9?
True
Let i(m) = 2*m**3 + m**2 - 1. Let n be i(1). Suppose 3*f - 80 = 2*y, 5*y = 4*f - n*f - 68. Is f a multiple of 12?
True
Let o be (-5 + 0)*44/10. Suppose 0 = -5*z - q + 59, -3*z + 2*z + 5*q + 17 = 0. Let s = z - o. Is 17 a factor of s?
True
Suppose 79 = -7*y - 82. Let r(p) = p**2 + p - 3. Let s be r(-3). Let q = s - y. Is 13 a factor of q?
True
Let y(m) = -m**2 - 8*m - 1. Let n be y(-7). Let d(t) = 2*t**2 - 3*t - 4. Does 14 divide d(n)?
False
Let v be (-2 - (-3 - 0)) + -4. Does 11 divide v*-66*8/36?
True
Let w be (1/(-2))/((-4)/32). Suppose 3*u - 5*r - 215 = -0*r, -296 = -4*u + 2*r. Suppose -w*b + u = -b. Is b a multiple of 11?
False
Suppose -9 = 3*f - 6*f. Suppose 0 = f*q - 3*j - 57, 0 = 4*q - 2*j - 0*j - 78. Is q a multiple of 9?
False
Suppose -388 = -4*w + 28. Is w a multiple of 26?
True
Let j = -95 + 135. Is 5 a factor of j?
True
Let f(s) = -s**2 - 5*s + 7. Let o be f(-6). Is 12 a factor of 3*((1 - o) + 4)?
True
Let n = 34 + -48. Let f = n + 44. Is f a multiple of 12?
False
Let d be 6/4*(-200)/(-12). Let v(u) = 3*u**3 - 6*u**2 - 6*u - 2. Let r be v(5). Suppose 4*z - r = -d. Is 21 a factor of z?
True
Suppose 5*t = w - 24 + 1, -1 = w + t. Suppose 7*q - 68 = w*q. Does 17 divide q?
True
Let i(b) be the third derivative of -5/6*b**3 + 3/8*b**4 + 0 - 1/60*b**5 - b**2 + 0*b. Is i(6) a multiple of 8?
False
Suppose 7*r - 20 = 2*r. Let k(d) = 4*d - 8. Is 4 a factor of k(r)?
True
Suppose -6*s - 282 + 966 = 0. Is 16 a factor of s?
False
Let v(f) = 2*f + 7. Let i = -6 + 1. Let s be v(i). Does 5 divide 1 + (12 - (s - -1))?
True
Let t be (2 - 2/(-4))*-10. Does 25 divide (-60)/t*80/6?
False
Let f(n) = -21*n - 3. Let u be f(9). Does 16 divide ((-7)/(-14))/((-2)/u)?
True
Suppose 0*b + 4*b - 72 = 0. Does 9 divide b?
True
Suppose -2*j + 3*m - 35 = 0, 14 = -j + 2*m - 5. Is -1 + 2 + -2 - j a multiple of 7?
False
Let n(y) = y + 36. Let t be n(0). Suppose z + 0*l + 4*l = t, 3*z + 5*l - 87 = 0. Does 8 divide z?
True
Let c be -4 + (-2 + 0 - -25). Let h = c - 9. Is h a multiple of 10?
True
Let b(l) = -l**3 + l**2 - l + 7. Let k be b(0). Suppose -3*v - k = -46. Let z = v - -25. Does 19 divide z?
True
Suppose 0 = -j + 4*m - 14, -4 = -0*j - 4*j + m. Let p(f) = -f**3 - 7*f**2 - 7*f - 2. Let t be p(-6). Suppose -j*h + 48 + t = 0. Does 18 divide h?
False
Suppose 3*f - 5*w = 104, -f - w = w - 20. Is f a multiple of 14?
True
Suppose -3 + 1 = -l. Let i(w) = l*w - w + 7 + 8. Does 9 divide i(0)?
False
Does 5 divide 6/(108/45)*(-1 + 7)?
True
Let i(u) be the first derivative of -29/2*u**2 + 1 + u. Is i(-1) a multiple of 15?
True
Let f = 40 - 58. Let y = f - -25. Does 3 divide y?
False
Suppose -4*y + 0*s + 28 = 4*s, 10 = -2*s. Let q = y - 7. Suppose 3*d - 6*d - 5*x = -9, -q*x - 15 = 0. Is 4 a factor of d?
True
Suppose -l = -4*f - 170, 0 = 2*l + 2*l - f - 695. Does 11 divide l?
False
Let i = 182 + -74. Does 36 divide i?
True
Suppose 5*r = 15, -2*m + r + 94 = 31. Is m a multiple of 7?
False
Let c(b) = b**2 + 4*b + 4. Let f be c(-3). Does 11 divide ((-32)/1)/(0 - f)?
False
Suppose -6 = -3*g, -2*l + 3*l + 6 = 5*g. Suppose t - 230 = -5*c - t, -l*t - 138 = -3*c. Let u = c + -2. Is u a multiple of 15?
False
Suppose -4*y + 2*v = 938, 59 - 1224 = 5*y + 5*v. Does 17 divide y/(-14) + (-18)/(-63)?
True
Let a(v) = 29*v + 4. Let w(m) = 86*m + 11. Let d(c) = 8*a(c) - 3*w(c). Does 20 divide d(-3)?
False
Let l be 3/12 - 227/(-4). Suppose 4*b - b = l. Is b a multiple of 7?
False
Let s(f) = f**3 + f**2 + 3*f + 3. Let d be s(3). Suppose 0 = -u - 16 + d. Is 8 a factor of u?
True
Suppose 4*i = 4*a - 72, 4*a = -3*i + i + 60. Suppose 5 - a = -m. Does 11 divide m?
True
Let c be -1 - (-30)/2*-1. Let y = 6 - c. Does 11 divide y?
True
Suppose -3*d = 4*w - 85 - 6, 0 = d - 5*w - 5. Let t = d - 11. Does 7 divide t?
True
Suppose 5*q - 2*s + 4*s - 22 = 0, -2*q + 3*s + 24 = 0. Is q/14 - 1998/(-42) a multiple of 13?
False
Let y(s) = s**2 - 3*s + 28. Let r(a) = 3*a**2 - 8*a + 84. Let j(b) = 4*r(b) - 11*y(b). Is j(0) a multiple of 10?
False
Let v(o) = -22*o - 2. Is 9 a factor of v(-1)?
False
Suppose -2*k - 40 = 4*d, -2*d + k - 20 = d. Let q(m) = m**2 + 2*m - 5. Is q(d) a multiple of 15?
False
Let h(k) = 5*k**2 + 1. Let j be h(2). Suppose -2*r = r - 9. Suppose 0*d - 2*l = -2*d + 18, -r*l + j = 3*d. Is 8 a factor of d?
True
Let f(g) = -10*g**3 + 31*g**2 - 15*g - 9. Let s(v) = 7*v**3 - 21*v**2 + 10*v + 6. Let z(r) = -5*f(r) - 7*s(r). Is z(8) a multiple of 17?
False
Let d(k) = k**2 + 3*k + 1. Suppose 4 = -0*h - h. Is d(h) a multiple of 5?
True
Let n be (-2)/13 + 314/13. Suppose -15 = -5*h, 0 = 3*g + h - n - 18. Does 13 divide g?
True
Suppose 0 = 4*v - 3*v - 5. Suppose -3*s + 5*j = -5, 6*j - 2*j = -4*s + 28. Suppose 42 = 3*p - s*i + 3*i, 4*p - 56 = v*i. Is p a multiple of 5?
False
Suppose -2*p - 5*r = -6*p + 4, -3*r = -3*p. Is 5 a factor of p/6 + 200/12?
False
Suppose -2*t = -p - 28 - 18, 0 = 4*p - 3*t + 199. Let l = -2 - p. Let s = l - 35. Does 6 divide s?
False
Suppose 2*i = u - 2*i - 6, -2*i = 5*u - 8. Is -2 + 5 + 26 - u a multiple of 27?
True
Suppose 4*v = -g + 258, -2*g - 142 = -3*v + 46. Let r be (-4 + v)/(4/6). Suppose 0 = -2*f + 6 - 0, -2*f - r = -4*z. Is 8 a factor of z?
True
Let l(g) = 10*g**2 - g - 2. Does 6 divide l(2)?
True
Let j = 6 + -10. Does 3 divide 5 + 1/2*j?
True
Let b be 1 + -1 + 1*2. Let o(w) = -w**2 - 6*w - 3. Let j be o(-5). Suppose 5*t = k + 47, b*t + k = -j*t + 34. Is t a multiple of 4?
False
Let a = 13 + -14. Let q = 31 - a. Is 5 a factor of q?
False
Let a(x) = -16*x - 51. Is a(-15) a multiple of 31?
False
Let f(t) = -t**3 - 6*t**2 - 1. Let g be f(-6). Suppose 4*v + 24 = -60. Let r = g - v. Does 20 divide r?
True
Let f(c) = 22*c**2 - 5. Is f(-3) a multiple of 8?
False
Let o be 2*-2 + 0/(-2). Let i be o/14 + (-254)/(-7). Let x = i - 5. Is x a multiple of 17?
False
Let q(t) = -7*t**3 - 3*t**2 - t + 2. Is q(-2) a multiple of 12?
True
Let j(b) = -b**2 - 13*b + 24. Is j(-13) a multiple of 20?
False
Suppose 33 = 3*y - 3*q, 2*q - 2 = -0*q. Suppose -2*b - 12 = -5*z, 15 + 5 = 5*b. Suppose 20 + y = z*n. Does 3 divide n?
False
Suppose -3*l - 25 = -5*t, -4*t = -l - 28 + 8. Is 6 a factor of (l + 4)/((-4)/(-24))?
True
Suppose -5*k + 155 = -185. Suppose -2*r - k = -6*r. Is r a multiple of 17?
True
Let s be (-30)/(-9)*-11*-3. Suppose 7*o - 2*o + s = 0. Let x = o - -48. Is 10 a factor of x?
False
Let f = 193 - 133. Is 10 a factor of f?
True
Let s(z) = -z**3 + 3*z**2 + z - 1. Let h be s(3). Suppose -h*c - 2*c + 4 = 0. Is 2 - (39/(-3) - c) a multiple of 8?
True
Let q(v) = v**3 - 4*v**2 + 3*v. Let r be q(3). Suppose r = 2*g - 11 + 39. Is 4/(-14) + (-172)/g a multiple of 5?
False
Suppose -3*n + 4*z + 47 = 0, n = 4*n + z - 22. Let p(s) = s**2 - 18. Let a be p(0). Let t = n - a. Is t a multiple of 17?
False
Let c(n) = 2*n**3 + 6*n**2 + 3*n + 2. Let p(b) = 2*b**3 + 5*b**2 + 2*b + 1. Let a(y) = -3*c(y) + 4*p(y). Let w be 4 - (-5)/(20/(-8)). Is 10 a factor of a(w)?
True
Let x(h) = 4*h**3 - 3*h**2 + 4*h - 2. Is x(2) a 