, 27*y - 4*n + 914 = 29*y. Does 17 divide y?
True
Let d be (-100)/(-10)*(-3)/(2*-3). Suppose 85 = 3*o - d*z, -o - z - z + 32 = 0. Is 9 a factor of o?
False
Let m(c) = -2*c**3 - 11*c**2 + c - 12. Let q(b) = -b**2 + 6*b + 1. Let z be q(7). Is m(z) a multiple of 5?
False
Suppose 0 = -3*u + 497 + 418. Suppose -n + 121 = n + t, -u = -5*n - 5*t. Does 42 divide n?
False
Let m = 2948 - 661. Is m a multiple of 76?
False
Let f be 36/(-90) + (1 - (-2526)/(-10)). Let d = 408 + f. Is 39 a factor of d?
True
Suppose -m = -3*g - 561, -2*g + 8 - 4 = 0. Suppose -7*j + m = -4*j. Is j a multiple of 15?
False
Let y = -7 - -10. Let f(v) be the first derivative of 5*v**2 - 6*v - 147. Is f(y) a multiple of 10?
False
Suppose 4*g + 35 = d, -5*g + 3 + 17 = 3*d. Let m(j) = j**2 + 3*j + 19. Does 14 divide m(d)?
False
Let n(s) = -1. Let m(v) = -2*v + 3. Let p(z) = m(z) - 4*n(z). Is p(-6) a multiple of 18?
False
Let j be (-1)/4*0 - -2. Let a(t) = -4*t**2 + 0*t**2 + 5*t**2 + j - 2*t. Is a(5) a multiple of 17?
True
Suppose 4*b + k + 0*k = 209, b = -4*k + 56. Is 4 a factor of b?
True
Let w = 26 - 26. Let p be w + 4 + (2 - -4). Is (-8)/(-10) + 282/p a multiple of 29?
True
Suppose -q + 557 = 155. Is 67 a factor of q?
True
Suppose 0 = 7*b - 775 - 429. Does 6 divide b?
False
Suppose -2 + 5 = i. Suppose 4*t + i*o = 8, -t - o + 6 - 3 = 0. Does 3 divide t*(3 + 3)*-1?
True
Let o(n) = 52*n**2 - 7*n - 5. Let v be o(-4). Suppose 29*h - v = 24*h. Is h a multiple of 16?
False
Suppose g - 3 + 0 = 0. Suppose -18*w = -2*h - 20*w + 28, -4*h = 3*w - 57. Let i = g + h. Does 7 divide i?
False
Let d = -1 + 3. Let o(u) = -5*u - 46. Let j be o(-29). Suppose 5*h - d*h = j. Is h a multiple of 15?
False
Suppose 32*h - 3618 = 23*h. Does 67 divide h?
True
Suppose -59*m + 63*m = 3012. Is 41 a factor of m?
False
Suppose d + 5*g + 3 = 0, 3*g - 127 = 4*d - 23. Is 2*d/(-2) + -3 a multiple of 20?
True
Let x(j) = j**3 + j**2 + 20*j - 91. Is 49 a factor of x(7)?
True
Let v = 11 + -13. Let x(n) = 38*n**2 - 2*n + 1. Does 27 divide x(v)?
False
Let j(m) be the third derivative of -m**4/24 + 5*m**3/3 - 3*m**2. Let c be j(8). Suppose 3*q + c*s = 66, 0*q + q - 39 = 5*s. Is 6 a factor of q?
True
Let a(f) = -17*f - 19. Is a(-6) a multiple of 7?
False
Let a be -13 + 84 - (1 + -1). Let t = -29 + a. Does 7 divide t?
True
Suppose 4*a + 2*p - 964 = 0, 5*p - 11 = 9. Suppose m - a = -28. Does 38 divide m?
False
Is ((-36)/20)/(1 - 692/690) a multiple of 23?
True
Let z(f) = 13*f + 3. Let k be z(0). Suppose 4*u - 16 = 8. Let p = k + u. Is 7 a factor of p?
False
Suppose -216*u + 2244 = -205*u. Does 2 divide u?
True
Let x(d) = 3*d**3 + 7*d**2 + 10*d - 30. Let k(n) = 2*n**3 + 8*n**2 + 10*n - 29. Let t(g) = -4*k(g) + 3*x(g). Is 10 a factor of t(12)?
True
Let m(j) = -41*j - 140. Does 13 divide m(-11)?
False
Let q = -8 - -40. Suppose -4*k + 6*k = q. Is k a multiple of 2?
True
Suppose -25704 = -102*h + 10302. Is 12 a factor of h?
False
Suppose 102 = 2*p - 12. Suppose -11 + p = 2*w. Does 23 divide w?
True
Let n be (-129)/15 - (-9)/15. Let w = 2 + n. Let q(u) = -u - 1. Is q(w) a multiple of 4?
False
Let r(b) = 7*b**3 - 2*b**2 + 1. Let w be r(1). Let s(o) = o**3 - 7*o**2 + 16*o - 8. Does 13 divide s(w)?
True
Suppose -5 + 0 = 5*u. Suppose 208 - 45 = -5*d - 4*v, 4*d - 3*v = -118. Does 15 divide 1 - (-1)/(u/d)?
False
Suppose 3808 = 4*k - 62*y + 60*y, 2856 = 3*k + 4*y. Is k a multiple of 8?
True
Let h = -10 + 7. Let t(c) be the third derivative of -13*c**4/24 - 2*c**3/3 + 7*c**2. Is t(h) a multiple of 8?
False
Let w = 62 + -59. Let u(b) = 16*b + 1. Is u(w) a multiple of 6?
False
Suppose -2*h = h. Suppose h = -2*b - 2*b + 244. Let m = -15 + b. Is m a multiple of 23?
True
Is 157*(-2)/(-2) - (7 - 3) a multiple of 51?
True
Suppose -29*s + 31*s = 170. Is 4 a factor of s?
False
Does 4 divide (230/(-3))/(10/(-15)) - -1?
True
Suppose 7*u - 24 = 3*u. Let c be 4/u - 183/(-9). Suppose 4*r = -c + 125. Is r a multiple of 8?
False
Let s = -61 - -77. Is s a multiple of 16?
True
Let r(s) = s**3 + 10*s**2 + 3*s - 3. Let a be 2*(-28)/16*2. Is r(a) a multiple of 41?
True
Is -4 - ((-156)/3 - (0 - -3)) a multiple of 17?
True
Let r(t) = -t - 2. Let p be r(0). Let i be (-1 - 59)/p + -3. Let z = i - 15. Is z a multiple of 12?
True
Let b(y) = -19*y + 1. Let x be b(-3). Suppose -v - 2*v + x = 2*c, -2*c - 96 = -4*v. Does 11 divide v?
True
Let g(o) = o + 10. Let k be g(-5). Suppose 4*m - k*s - 6 = 0, -m + 2*m + 2 = 3*s. Suppose m*n - 9*n = -80. Does 8 divide n?
True
Let d be 4*(8/14 - (-3)/(-42)). Does 16 divide d/((-6 - -3)/(-156))?
False
Let j(a) = -a**2 + 8*a - 8. Let g be j(3). Suppose g*b + 0*b = 280. Is b a multiple of 3?
False
Let j be 154/6 - (-14)/42. Suppose -j*v + 224 = -22*v. Is 21 a factor of v?
False
Let f(q) = 3*q + 16. Let n be (1/(-2))/(8/(-16)). Let b(s) = -s. Let u(l) = n*f(l) + 2*b(l). Does 8 divide u(-7)?
False
Let y be ((-5)/25)/(2/(-5))*30. Suppose -y + 40 = z. Is 3 a factor of z?
False
Let w be (3 - -3)*(-6)/9. Let c be ((-6)/18)/(w/24). Suppose l + 4*l = -3*q + 112, -100 = -c*q + 3*l. Is 21 a factor of q?
False
Let f(w) = -38*w + 76. Is f(1) a multiple of 2?
True
Let x be (-4 + 5)/((-2)/(-8)). Let d(p) = 1 + 3*p + 1 - x. Is 4 a factor of d(3)?
False
Let g(u) be the third derivative of u**5/30 + u**4/6 + 4*u**3 - 6*u**2. Is g(-7) a multiple of 18?
False
Let r(t) = 113*t**2 - 15*t - 2. Is r(-2) a multiple of 24?
True
Let v(n) = n + 6. Let d(g) = 1. Suppose 1 = -m + 2. Let w(t) = m*v(t) + 3*d(t). Does 8 divide w(7)?
True
Suppose 17*n - 798 = -152. Is 3 a factor of n?
False
Is (7 - 14 - -162) + -3 a multiple of 4?
True
Let b = 82 - 47. Suppose -v + 6*v - 3*g = 0, 5*v - b = -4*g. Suppose v*u + 32 = 104. Is 24 a factor of u?
True
Suppose -z = z + 72. Let f = 24 - z. Let r = 110 - f. Does 17 divide r?
False
Let q = 16 - 14. Suppose -h = -3*n + q*n + 109, -5*h - 206 = -2*n. Let l = n - 30. Is l a multiple of 12?
False
Let j = 19 - 26. Let i = 43 + j. Does 23 divide i?
False
Suppose 829 = -22*p + 25*p + s, -2*s = -5*p + 1389. Is p a multiple of 13?
False
Let h(w) be the third derivative of w**5/30 + 49*w**4/24 - 11*w**3/3 + 21*w**2. Is 4 a factor of h(-26)?
True
Suppose 0*b + 4*y = -2*b + 1100, -2*y = -b + 538. Is 34 a factor of b?
True
Suppose 2*x + 101*n = 102*n + 1556, -2*n = 5*x - 3908. Is 3 a factor of x?
True
Let y(z) = 3*z - 10. Let u be y(5). Suppose -h = -2*h - a + u, -h - 3*a = -11. Suppose m + 2*o = 6*m - 117, h*m = 4*o + 34. Is m a multiple of 8?
False
Suppose -4*b - 2*k + 868 + 116 = 0, -4*k = -4*b + 984. Suppose 14*m + b = 1562. Is m a multiple of 6?
False
Let o(k) = -5*k**3 - 3*k**2 - 5*k + 10. Does 74 divide o(-5)?
False
Let z = 6 + -7. Let l(b) be the third derivative of -19*b**4/8 - b**3/6 - b**2. Is l(z) a multiple of 28?
True
Let r = -18 + 24. Let w(n) = n**2 - 6*n + 4. Let g be w(r). Suppose 5*p - 265 = -3*b - 37, g*b - 2*p = 278. Does 32 divide b?
False
Let c(d) = -d**3 - 2*d**2 + 8*d. Does 3 divide c(-9)?
True
Let j = 136 - 130. Suppose 16 = w - y, -4*y + 7*y - j = 0. Is 3 a factor of w?
True
Suppose -b + 0*b = 5*r - 95, 452 = 4*b - 4*r. Is 11 a factor of b?
True
Let a be (-9)/15*(-15)/(-3). Let b = a + 61. Is 29 a factor of b?
True
Let q be 4 + (-2 + -2 - -1). Let y be 93 - q/(-3)*-3. Let z = y - 56. Is z a multiple of 18?
True
Suppose o = -3*r + 8, 5*r - 4*o - 4 + 2 = 0. Let s be (-6)/4*(r + -4). Suppose -3*v - 48 = -4*t, 27 = s*t - v - 4. Is t a multiple of 3?
True
Suppose 6*n - 33 - 39 = 0. Suppose 0 = t - n*t + 2189. Is 28 a factor of t?
False
Suppose 0 = -k + 4*i + 206 + 243, -1373 = -3*k - i. Is k a multiple of 57?
False
Suppose -q = -2*t + 5 - 2, 5*t + 5*q - 45 = 0. Suppose t = 2*k, 335 = 2*i - 3*k + 95. Is 7 a factor of i?
False
Let c be -4 + (7 - 3/(-3)). Let q(r) = -2*r**2 - c*r**2 - 6 - 3 + 10*r + r**3 - 3. Is 24 a factor of q(6)?
True
Let k = -33 - -35. Suppose -k*l + 538 = 2*l - 2*b, -4*b - 131 = -l. Is 27 a factor of l?
True
Suppose 4*m - 35 = -3*m. Suppose 0 = -f + s + 33 + 60, f = -m*s + 63. Does 17 divide f?
False
Let r be (-2)/((-4)/(-6)) - -5. Suppose -9 = 3*s, -u = -r*u - 2*s - 1. Does 5 divide u?
True
Suppose -5*u + 4 = -0*u - 4*s, 5*u - 8 = 3*s. Suppose -5*o + 5 = t - 2*t, 0 = -u*o - 4*t + 28. Suppose o*z - 86 = -5*x, 64 = -0*x + 4*x + 4*z. Does 16 divide x?
False
Let v = 404 - 213. Let l = v - 109. Does 1