+ 1 = 0, -3*w = -m + 2. Suppose -3*g + 4 = -v, 0 = m*d - g - 77. Is 15 a factor of d?
False
Let b = 3 - 9. Let p(l) = -l**3 + l**2 - l + 1. Let o(f) = 5*f**3 - 12*f**2 + 11*f - 14. Let w(q) = -o(q) - 6*p(q). Does 19 divide w(b)?
True
Let q be (-1*(0 - 2))/(-2). Let a be (-52)/(-1) - (q + 1). Is (-4)/(-14) + a/14 even?
True
Suppose -4*u = -3*u - 9. Is 28 a factor of 1 + u/(-3) + 30?
True
Suppose -4*l + 114 = 2*n, 0 = n + 3*n + 3*l - 233. Is n a multiple of 12?
False
Let j be -2 - 1 - (8 - -2). Let v = j - -19. Is 5 a factor of v?
False
Let f = 1 + 8. Suppose 6*j + 69 = f*j. Is 8 a factor of j?
False
Let b(u) be the second derivative of -11*u**3/6 - 7*u**2/2 + u. Let o be b(-8). Suppose 4*w = 3*p - 35, 5*p - o = w - 0*w. Is 7 a factor of p?
False
Let f = -7 + 30. Is f a multiple of 2?
False
Let p = 7 - 4. Let f = 54 + -27. Suppose -3*g = -i - 13, 2*g + 6*i = p*i + f. Does 4 divide g?
False
Let q(l) = l**3 + 3*l**2 - 5*l - 1. Let n be q(-4). Suppose -t - n*t + 32 = 0. Let y(x) = x**2 - 6*x - 8. Does 8 divide y(t)?
True
Suppose -5*b + 96 = j - 33, -j = 3*b - 79. Suppose 0 = -o + 8*s - 4*s + b, 0 = -2*o + 4*s + 42. Is o a multiple of 17?
True
Let u(q) = q**3 - 5*q**2 - 19*q + 10. Is u(9) a multiple of 7?
False
Suppose 8 + 2 = 2*g. Let i = g - 5. Is 17 a factor of 3 - -37 - (1 - i)?
False
Suppose 8*w = 3*w + 130. Let s = -12 + w. Is s a multiple of 7?
True
Let a(w) = w**2 - 6*w. Is 22 a factor of a(-5)?
False
Let y(a) be the third derivative of a**5/30 - 5*a**4/24 - a**3/3 - 4*a**2. Is 20 a factor of y(6)?
True
Let f be (-15)/(-10)*(-20)/(-6). Suppose 0 = 5*y + f, -l - y + 3 + 20 = 0. Is (-1)/(-4) + 42/l even?
True
Let f be (38/4)/((-1)/2). Let i = f + 47. Suppose 2*v = 4 + i. Does 9 divide v?
False
Let p = 1 + 45. Suppose -5*b - p = -7*b. Does 23 divide b?
True
Suppose -b - 3*b = 3*u - 56, 0 = -5*b + 3*u + 97. Let r = 21 - b. Is r a multiple of 3?
False
Suppose -11 - 29 = i. Let a = -26 - i. Does 7 divide a?
True
Let j = 44 + -17. Let i be 60/j - 4/18. Suppose 0*w = 2*h - 5*w - 18, 0 = i*h + 3*w - 18. Does 9 divide h?
True
Is 12 a factor of 181 + 7/((-7)/(-2))?
False
Let r(u) = 3*u**2 - 3*u - 7. Is r(8) a multiple of 32?
False
Let n(b) = b**3 - 6*b**2 + b + 5. Let h be n(4). Suppose 121 = -3*l + 2*u, -2*u = -l + 5*l + 152. Let p = h - l. Is 14 a factor of p?
False
Let u = 2 - -3. Suppose 20 = -0*j + u*j. Does 3 divide j?
False
Let r(q) be the third derivative of q**5/30 + q**4/24 - q**3/3 + q**2. Let o be r(-2). Suppose -3*b - 15 = -o*b. Does 4 divide b?
False
Let a(f) = f**3 - 6*f**2 - 4*f - 6. Let b be a(8). Suppose 62 = 4*t - b. Is t a multiple of 19?
True
Let n(s) = -s**3 + 13*s**2 - 11*s + 5. Is 6 a factor of n(12)?
False
Suppose 6*y - 99 = -15. Is 14 a factor of y?
True
Let y(v) = -v - 3. Does 2 divide y(-7)?
True
Suppose -10 = -5*s - 0*s. Suppose 4*u + s*x = 24, -u + x - 5*x + 6 = 0. Does 2 divide u?
True
Let a = 104 - 22. Suppose a = -5*n + 282. Is n a multiple of 18?
False
Let s = -14 - -14. Is 14 a factor of ((-56)/(s + 2))/(-1)?
True
Let a = 35 - 13. Does 11 divide a?
True
Is 29 - (-3)/(9/6) a multiple of 12?
False
Suppose -v + 9 = 5. Suppose r = -v*r + 355. Does 21 divide r?
False
Let o(q) = 8*q - 1. Suppose -3*p = -2*a - 13, 2*p + 5*a + 4 = -0*p. Suppose -2*v = -2*l + 6, -5*v + 2*v + 15 = p*l. Is o(v) a multiple of 7?
True
Let i(d) be the second derivative of d**4/3 + d**3 + d**2 + 4*d. Let u be i(-5). Suppose t + 3*t = u. Does 6 divide t?
True
Let v = 5 - -5. Let i(b) = b**3 - 8*b**2 + b - 6. Let m be i(8). Suppose v = g + g + 4*p, -1 = -g + m*p. Is 2 a factor of g?
False
Is 4*(-2 + (-381)/(-12)) a multiple of 17?
True
Suppose 3*d = n + 5*d - 23, -3*d - 92 = -4*n. Let m = n + -13. Let q = 4 + m. Does 14 divide q?
True
Suppose 4*o - 3*x - 64 = 0, -2*o + x + x = -32. Let n(z) = -z**2 + 2*z. Let m be n(2). Suppose m = 3*v - 104 - o. Is 17 a factor of v?
False
Suppose -2 + 8 = 3*j. Suppose f - 49 = -g, -j*f - 48 = -4*g - 176. Is 20 a factor of f?
False
Is ((-9)/(-4))/((-28)/(-112)) a multiple of 4?
False
Suppose -6*d + 3*d + 9 = 0. Suppose -d*h = z - 16, 4*h + 2*z - 6*z = 32. Is h a multiple of 4?
False
Suppose -3*b = -i + 1, 2 + 12 = -2*b - 2*i. Let x be (5/b)/(4/(-8)). Suppose 2*p + 2*v = 8, 5*p + 0*v = x*v. Is p even?
True
Suppose 5*r + a = 74, -3*r + 6 = -4*r + 5*a. Let d = r - 9. Is d a multiple of 5?
True
Suppose 16 = 4*c - 0*c. Suppose -6*t + 150 = -c*t. Is 19 a factor of t?
False
Let j(b) = -b + 8. Is 7 a factor of j(-16)?
False
Suppose -3*p = -2*p - 10. Is p a multiple of 5?
True
Let w be 991/2 + 2/(-4). Does 14 divide 1/4 - w/(-36)?
True
Suppose -5*i - 5*q = -215, 4*i - 2*q - 139 - 51 = 0. Is i a multiple of 23?
True
Let x(l) be the first derivative of l**3/3 + l**2/2 - 4*l + 1. Let t(g) = g**3 - 4*g**2 + g + 1. Let h be t(3). Is x(h) a multiple of 8?
True
Let n = 239 + -145. Let z = n - 46. Does 13 divide z?
False
Let k be 0/(2 - 0) + 0. Suppose 5*s = 3*w - 7, k = -s + 5*w - 3*w. Is 7 a factor of ((-3)/(-6))/(s/(-56))?
True
Let b(a) = 3*a**3 - a. Let o be b(1). Let z be (2 - -1)*(o + -1). Let f = 8 + z. Is 10 a factor of f?
False
Let l = 6 + -9. Let v = 0 + l. Is 21 a factor of (-57)/(-2) + v/(-2)?
False
Let w(x) = x**3 + 13*x**2 - 17*x + 21. Is w(-14) a multiple of 21?
True
Let w = 7 + -3. Suppose b - 28 = -g - 4*b, w*g + 2*b = 76. Is 7 a factor of g?
False
Suppose -3*b + p = b - 103, -5*b = -2*p - 131. Is (b - 1)/(15/10) a multiple of 7?
False
Let m be (4/10)/(2/(-10)). Let n(w) = -2*w - 10. Let f(t) = -t - 5. Let i(h) = m*n(h) + 5*f(h). Is i(-9) a multiple of 4?
True
Let i be (-2 - 1)/(9/(-6)). Suppose i*z - 2*k + 20 = 0, -4*z + 1 = -2*z + 5*k. Let f = -5 - z. Does 2 divide f?
True
Does 47 divide 3 - (1096/(-4) - (2 - -1))?
False
Suppose g = t + 6, 22 = 5*g - 2*t + 5*t. Does 4 divide g?
False
Let h(d) = 3*d. Is 3 a factor of h(5)?
True
Let p(g) = g - 2. Let c be p(7). Suppose 0 = c*o - 20, -5*o - 414 = -5*l + 31. Does 31 divide l?
True
Let x(h) = 30*h + 27. Is x(7) a multiple of 17?
False
Let t(c) = -c**3 - 5*c**2 - 4*c + 1. Let o be t(-4). Suppose 3*y = -3*s + 19 - o, -3*s + 12 = y. Is 2*(s/3 + 1) a multiple of 3?
False
Suppose -2*t + 15 = t. Suppose -2*i + 103 = -q, 2*q = -i + t + 44. Let z = i + -27. Is z a multiple of 12?
True
Let n(q) = 4*q**2 - 7*q + 14. Does 6 divide n(4)?
False
Suppose 0 = 3*x + 2*f - 239, -12*x - 4*f + 93 = -11*x. Is x a multiple of 6?
False
Let a(w) = -w**3 - 2*w**2 - 2*w - 1. Is 2 a factor of a(-2)?
False
Let j = 38 - 17. Is 7 a factor of j?
True
Let a = -17 + 21. Suppose 5*v - 132 = -4*t, 0 = -a*t + 6*v - 3*v + 164. Does 19 divide t?
True
Let x = -3 - -8. Is x*3 - 0/(-5) a multiple of 15?
True
Suppose 0 = -2*a + 4*s + 92, -a + 0*s - 3*s + 41 = 0. Is 11 a factor of a?
True
Suppose -4*l + 4 = -3*l. Let x = l - 3. Suppose u - 6 = -x. Is 2 a factor of u?
False
Let z(j) = -4 - 1 + 3*j + 1. Let y be z(3). Suppose y*k - 9 = w, -2*w - 5*k + 20 + 7 = 0. Is 4 a factor of w?
False
Suppose 4*s - 16 = -j - 3*j, 3*s + 8 = j. Suppose 2*w = 2*g + 90, 3*w = -5*g - j + 100. Does 13 divide w?
False
Suppose 6 = -4*a + t - 4, 4*a + 5*t - 2 = 0. Suppose 33 - 13 = 5*b. Is 7 a factor of (-5)/b*a*4?
False
Suppose -2*c - 3*c = 5*z - 5, -2*c = 3*z - 1. Suppose -c*r + 2*o + 68 = -0*r, 2*o = -2. Is 20 a factor of r?
False
Suppose 10 = i - 3. Is i a multiple of 13?
True
Suppose m - 16 = d, -5*m = 4*d + 16 - 141. Does 21 divide m?
True
Suppose -b = -a + 43, -2*a + 2*b = -5*a + 114. Does 26 divide a?
False
Let a be 2/4 + 452/8. Suppose -2*k + a = -7. Is k a multiple of 12?
False
Let r be -18*((-1)/2)/1. Suppose -3*b + 47 = -k, -11 = -2*b - 5*k + r. Is 15 a factor of b?
True
Let v = 4 - 4. Suppose c + 2*c - 3 = v. Does 6 divide (-1)/c*(-17 - -2)?
False
Let c be ((-3)/(-6))/(4/56). Let m = c - -5. Does 6 divide m?
True
Let d(o) = 4*o**2 + o. Let h be d(-1). Suppose -3*q = -5*m - 5*q + h, 0 = -3*m + 4*q - 19. Is 4 a factor of m/2 - 84/(-8)?
False
Let k = -6 - -4. Suppose -180 = 4*n - 0*n. Does 15 divide ((-8)/(-6))/(k/n)?
True
Suppose -2*d + 66 + 44 = 0. Suppose 2*n - d = -t - 4*t, -3*t + 89 = 4*n. Is 10 a factor of n?
True
Let s(q) = 20*q - 1. Let t be s(-2). Let x = t + 89. Is x a multiple of 15?
False
Let r be 1*-10*(-8)/(-20). Let p be (2/6)/(r/(-36)). Suppose -5*l = -d - 23, p*l + 3*d + 1 = 4. Does 3 divide l?
False
Let 