 (35 - -2) + 2?
False
Let k(r) = 41*r**3 + 2. Let q be k(2). Suppose -4*i = -i - 5*c - q, -405 = -4*i - 5*c. Is 29 a factor of i?
False
Suppose -1 - 2 = -p. Is 2 a factor of p?
False
Let i be 3/3 - 3 - -39. Suppose 0 = 2*t - 5*n - 29, 6*t - i = 4*t - 3*n. Suppose t = 2*b + 5. Does 3 divide b?
True
Let d(z) = z**3 + z**2 + 2*z + 23. Does 20 divide d(0)?
False
Let v be 6/21 - 52/(-14). Suppose v*f - 5*f + 10 = -4*d, -5*f = d - 92. Is 6 a factor of f?
True
Let q = 1 - -10. Let r = q + -35. Let o = -16 - r. Does 3 divide o?
False
Let f = -3 + 3. Suppose f = -4*v + 2*q + 142, 2*q - 3 = -v + 20. Is v*3/(18/2) a multiple of 4?
False
Let j(v) = -v + 14. Is 7 a factor of j(-6)?
False
Suppose -5*g = 3*x - 6*g - 119, g = -3*x + 121. Is x a multiple of 8?
True
Let r = 2 + -1. Let m(o) = o**2 + 1. Let a(h) = h**2 - 3*h - 6. Let v(p) = r*a(p) + 2*m(p). Is v(4) a multiple of 22?
False
Is 10 a factor of 6*(-2)/(4/(-10))?
True
Let m(o) = 15*o + 12. Is 18 a factor of m(10)?
True
Let h(k) = k**2 - 3*k. Let w be h(4). Suppose 5*v + 29 - 76 = -w*m, 0 = 2*m - 6. Is v a multiple of 7?
True
Suppose 18 = 5*a - 8*a. Is a/(-2) - 1*-26 a multiple of 19?
False
Suppose 4*s = -2*f + 86, 2*f + s - 4*s - 65 = 0. Is f a multiple of 8?
False
Let y = -22 + 60. Is y a multiple of 4?
False
Suppose 0 = -4*c + 3*g + 78, c = -0*c - 4*g + 10. Let n = c - 7. Is n a multiple of 11?
True
Let a(w) = 73*w**2 + 5*w + 2. Is 38 a factor of a(2)?
True
Does 4 divide -12*(6/18)/(-1)?
True
Suppose -2*y - b = -29, -5*y - 3*b + 72 = -0*y. Suppose 3*o = -0*o + y. Does 5 divide o?
True
Suppose 3585 = 2*b - 2*p - p, 2*p - 1810 = -b. Is 5 a factor of (-6)/14 - b/(-84)?
False
Let i = 103 - 43. Let z = i + -34. Is 6 a factor of z?
False
Suppose 0 = 3*d - 2*d. Is 1/(d - 1/(-5)) a multiple of 5?
True
Let m be 15/5 - (0 - -3). Suppose 2*u - 4*r - 74 = -m*u, 0 = -u - r + 31. Does 11 divide u?
True
Suppose 3*p = 2*w - 5, 11 + 1 = 3*w. Let x(n) = 6*n - 1. Let q be x(p). Does 8 divide 4/((5/2)/q)?
True
Is (-4)/(3/(-3 - 6)) a multiple of 4?
True
Suppose 16*s = 30*s - 4788. Is 57 a factor of s?
True
Suppose -f - 15 = m + 2*m, -2*m - 10 = 0. Suppose 0 = -f*g - 5*g + 90. Is 16 a factor of (16/(-3))/((-3)/g)?
True
Let h(t) = t. Suppose -2*p - 4*v = -6*v - 2, -2*p - 4*v + 2 = 0. Let z be h(p). Let j = 44 - z. Is 15 a factor of j?
False
Suppose 2*u - i - 3 = u, i = 4*u + 3. Let k(g) = -6*g**3 - 3*g**2 - 2*g - 1. Let b be k(u). Suppose 2*a = 5*a - b. Is a a multiple of 13?
True
Let n(a) = 3*a**2 - 4*a + 15. Is n(7) a multiple of 23?
False
Let z = 180 + -82. Does 24 divide z?
False
Let q(y) be the third derivative of -y**6/120 - y**5/6 + 3*y**4/8 - 13*y**3/6 + 3*y**2. Does 9 divide q(-11)?
True
Let s = -182 + 314. Is 22 a factor of s?
True
Suppose -3*l - 2*l = -150. Is 14 a factor of l?
False
Suppose 0 = -5*q + 62 + 13. Is 10 a factor of q?
False
Let t = 0 - 2. Is 775/45 - t/(-9) a multiple of 8?
False
Let p = -42 - -77. Does 7 divide p?
True
Suppose 2*h = f - 0*h, -5*f + 5 = -5*h. Suppose -5*y = -a - 3, y - 30 = -f*a - y. Does 4 divide a?
True
Let f(j) = j - 8. Let x be f(7). Does 15 divide x - (-1)/1*16?
True
Let j(w) = 4*w**2 - 3*w - 3. Let m be j(-3). Let p = -55 - -30. Let s = p + m. Is s a multiple of 7?
False
Let h(v) = 3 - 47*v + 2*v + 6*v. Is 27 a factor of h(-2)?
True
Let n = -5 - -8. Is 46/(6/n) - 0 a multiple of 7?
False
Suppose 2*v - 27 = 3*r + 100, -170 = 4*r - 2*v. Let q(k) = -4*k**2 - 6*k + 1. Let x be q(4). Let c = r - x. Is c a multiple of 12?
False
Let a = 0 - -4. Suppose -5*z = 3*w - 13, a = 3*z + w - 3. Is 2 a factor of z?
True
Suppose 0*z = -z + 5. Let j(b) = b**3 + 2*b**2 - 4. Let u be j(z). Let t = u + -117. Is 18 a factor of t?
True
Let c(p) = 18*p**3 + 2*p**2 - 2*p - 2. Let u be c(2). Suppose 3*b + 20 = u. Does 21 divide b?
True
Let q(g) = g**2 + 10*g - 6. Is 18 a factor of q(-13)?
False
Suppose 280 = -6*g + 11*g. Does 34 divide g?
False
Let i be -7*(2 - (5 + -2)). Suppose i = x - 20. Is 8 a factor of x?
False
Suppose 3*q + 24 = -q. Let h(p) = -p**2 + p**3 - 5 + 0*p**2 + 4*p**2 + 4*p**2. Does 14 divide h(q)?
False
Suppose 0*c - 48 = -c. Is 16 a factor of c?
True
Let q be 4/(-6) - 14/6. Is 5 a factor of 10/6*(0 - q)?
True
Suppose 0*m - m - 5 = 0. Let o = m + 51. Is o a multiple of 17?
False
Let a be 4/8*38/1. Suppose 26 = -0*v + 4*v + 2*k, -3*v - 2*k = -a. Is 2 a factor of v?
False
Let u = 243 + -174. Is 10 a factor of u?
False
Suppose 2*w + 4*p = 18, -2*p + 1 = -3. Let f = w + -2. Suppose -4*l + f*l = -2*k - 11, 4*k - 12 = 0. Is 6 a factor of l?
False
Let t = 80 + -72. Is 4 a factor of t?
True
Let j = -4 - 4. Let y(z) = z**3 + 8*z**2 - 3*z - 2. Is y(j) a multiple of 11?
True
Suppose -411 = -3*h + 2*v, -5*h = 4*v - 5*v - 678. Does 45 divide h?
True
Suppose -12*b = -13*b + 328. Is 43 a factor of b?
False
Suppose -3*q - 2 = -4*q. Suppose 0 = q*g + g + 27. Does 6 divide 4/6 - 93/g?
False
Let k = -1 + 1. Suppose k = 4*x + 4, 3*x = -3*r + 8*r - 203. Is r a multiple of 20?
True
Does 27 divide (-3)/(9/6) - -110?
True
Suppose -s + 2 = -6. Let j be (15/(-2))/(4/s). Is 7 a factor of (-2 - j/1) + 1?
True
Suppose -10 = -5*w - 0. Suppose 3*o = -w*h + 64, 2*o = 3*h - 8*h + 39. Does 22 divide o?
True
Let d be 2*2/(-4) + 100. Suppose -3 = g + 3*y - 22, 5*y + d = 3*g. Is 14 a factor of g?
True
Let g be (3 - 1)/((-6)/(-45)). Is -4 + g + (2 - -1) a multiple of 14?
True
Is 8 + 5 + (-4)/2 a multiple of 10?
False
Let b(s) = -28*s + 1. Let w be b(1). Let r be w/(-12) + 1/(-4). Suppose 2*t + 5*p - 29 = 0, 3*t + p = -r*p + 39. Does 6 divide t?
True
Suppose -4*m - 104 = -0*z - 4*z, 3*z - 84 = 5*m. Is 6 a factor of z?
False
Suppose -m - 18 = -3*m. Let c be (2/4 - 4)*-2. Suppose 0 = c*q - 4*q - m. Is q even?
False
Suppose 956 = 4*c - 64. Is 9 a factor of c?
False
Suppose 3*n + 1120 = 11*n. Does 35 divide n?
True
Let f(m) = 2*m**2 - 4*m + 2. Let g be f(2). Let k(t) = 14*t. Is k(g) a multiple of 10?
False
Let q = -186 + 362. Is 10/25 - q/(-10) a multiple of 6?
True
Suppose -4*p + 69 + 147 = 0. Let t = -27 + p. Is 12 a factor of t?
False
Let t = -52 + 75. Is t even?
False
Suppose 2 = -3*k + 8. Suppose 4*r = k*f - 0*f + 54, 2*f = 2*r - 22. Is 12 a factor of r?
False
Let p(f) = -f**3 + 12*f**2 + f + 9. Is p(12) a multiple of 9?
False
Suppose -37 = -5*a + 4*l + 37, -5*l = -20. Is 9 a factor of a?
True
Let k be 10/4*-1*-2. Let i = k - 2. Suppose -3*y - 4*u + 44 = 0, i*u = 5*y - 47 - 7. Is y a multiple of 6?
True
Let j = 117 + -98. Is j a multiple of 15?
False
Let d be (6/(-4))/(2/(-4)). Let p(v) = -4*v + d - 3*v + 2*v. Is p(-3) a multiple of 18?
True
Suppose 5*y = -25, c = 3*y + 1 + 14. Suppose -5*d - 4*s + 57 = c, 4*s = 3*d - 13 - 2. Does 9 divide d?
True
Let l(t) = 10*t. Suppose f - 13 = -3*z + 3, -2*z - 5*f + 28 = 0. Suppose -z = -2*o - 5*i + 27, -o + 5*i - 22 = 0. Is 15 a factor of l(o)?
True
Let b(l) = l + 10. Let i be 2/((-2)/(-36)*4). Let j be b(i). Suppose -5*c + 5*p + 45 = -0*p, c - j = 3*p. Does 3 divide c?
False
Suppose -c = -2*x + 79, 5*x - 185 = 5*c - 0*c. Let p = x + -22. Suppose 0 = -4*q + 12 + p. Is q a multiple of 4?
True
Let k(c) = -17*c**3 + 2*c**2 + 2*c + 1. Is 3 a factor of k(-1)?
True
Suppose p = -h - p + 2, p = 4. Let i be 2/(-6) + (-20)/h. Suppose -i*c = -5*c - 2*v, c - 30 = 5*v. Is 5 a factor of c?
True
Let z(y) = -14*y**3 - y**2 - 5*y + 1. Does 4 divide z(-2)?
False
Let d be 2/5 + (-14)/35. Suppose d = 2*i - 4*i - 8. Let l = i + 12. Is l a multiple of 6?
False
Let k = 240 + -168. Is 12 a factor of k?
True
Let s = -2 - -5. Suppose 5*m = s*m + 24. Is m a multiple of 12?
True
Let y(l) = 17*l - 58. Is 12 a factor of y(22)?
False
Let y(j) = 2*j - 12. Is 9 a factor of y(15)?
True
Suppose 0 = -5*s + 4*u + 873, -3*u = -3*s + 20 + 502. Is s a multiple of 59?
True
Let s be (90/(-4))/((-9)/18). Suppose -2*c = 1 - s. Suppose -y - c = -2*y. Does 9 divide y?
False
Suppose d - 3*s = -d + 95, d - 15 = -5*s. Is 10 a factor of d?
True
Let c(i) = 5*i + 4. Let z be c(6). Suppose -4*x + z + 6 = 0. Is x a multiple of 5?
True
Let q be 1 + -2 - 0/(-6). Let m(b) = 77*b**3 - 2*b**2 - 2*b - 1. Let p be m(q). Is 13 a factor of (3/(-9))/(2/p)?
True
Let w(g) = -2*g - 1. Suppose -20 + 0 = -5*p. Suppose -3*t - 14 = p. Is 11 a factor of w(t)?
True
Let c be (0/2)/3 - -2. Let f(x) = 5*x. Let r(i) = 16*i. Let g(w) = 10*f(w) - 3*r(w). 