pose -34*m + 420 = -h*m. Is m a multiple of 14?
True
Suppose -h = 2*h - 4*j - 16, 4*h = 3*j + 12. Suppose -2*f + 7*f - 130 = h. Is ((-16)/(-8))/(1/f) a multiple of 13?
True
Suppose f + f = 20. Let g = -108 + 146. Does 16 divide f*(1 + g/10)?
True
Let p(x) = -7*x**3 + x**2 - 21*x - 104. Is 12 a factor of p(-4)?
True
Suppose 2*u + 11 + 37 = 0. Is 18/u*(-1 - 11) a multiple of 6?
False
Let s(m) = m**2 - 13 + 5 + 0*m + 4*m + m. Let w be s(-7). Suppose -3*i = -135 - w. Does 20 divide i?
False
Suppose 94*l - 30846 = -12*l. Is l a multiple of 29?
False
Let c = 329 - -836. Is c a multiple of 12?
False
Suppose -20 = 10*o - 5*o, -o = -2*h + 1228. Is 30 a factor of h?
False
Let i(w) = -2*w**3 - 19*w**2 - 10*w - 8. Let a be i(-9). Does 6 divide -2 - 1/(a/(-14))?
True
Let s(c) = 4*c**2 - 5*c + 5. Let j = -28 + 25. Is s(j) a multiple of 14?
True
Let b = 7797 + -4016. Is 10 a factor of b?
False
Suppose w - 355 = -3*h, 1446 = 2*w + 2*w - h. Is 36 a factor of w?
False
Is 3777618/1596 - 1/(-14) a multiple of 43?
False
Let b be 4*5/20*2. Let z(m) = -m**b + 0 - m - 57*m**3 - 1 - 42*m**3. Is 30 a factor of z(-1)?
False
Suppose 12*o = 56*o - 14740. Is 11 a factor of o?
False
Let k = 10 - 7. Suppose 2*d - 9 = -k. Suppose 2*j - j - d = 0. Is 2 a factor of j?
False
Let o(k) = -11*k + 214. Does 3 divide o(-10)?
True
Is 0/2 - (2 + -6 - 850) a multiple of 14?
True
Let y be 2/(2/(-3)) - (-3 - 4). Suppose y*r - 431 = -15. Does 19 divide r?
False
Let q(n) be the third derivative of -29*n**4/24 + n**3/2 + 21*n**2. Is 11 a factor of q(-4)?
False
Let q(t) = -5*t + 54. Let c be q(10). Suppose 0*v + k = -3*v + 358, -478 = -c*v - 2*k. Does 7 divide v?
True
Suppose 3*z + 4*f + 77 = 0, -4*z - 4*f = -2*z + 46. Let b = z + 91. Is 10 a factor of b?
True
Let z be 0/((0 - -2)/(-1)). Suppose -i - 4*f - 20 = z, 7*i - 2*i = 4*f - 76. Let b = 13 - i. Is 7 a factor of b?
False
Let h(v) = 2*v**2 + v - 6. Suppose -2 = 5*q + 28. Is h(q) a multiple of 5?
True
Is 27 a factor of -1*(4 - 10 - 131)?
False
Let h(q) = 21*q**2 - 4*q - 6. Is 65 a factor of h(-5)?
False
Let k(u) = -89*u - 239. Does 28 divide k(-21)?
False
Suppose -2*v - 4 = 0, -7 + 22 = 3*k - 3*v. Let g be -2*((-10)/4 + 1). Suppose -199 = -k*i - i - t, -168 = -g*i + 3*t. Is i a multiple of 17?
True
Let d = -21 - 80. Let n be -1 - ((-2)/2)/(-1). Is 26 a factor of d/n - 27/(-18)?
True
Suppose -6*t - 9324 = -10*t. Is 21 a factor of t?
True
Let p = 28 - 22. Let b be ((-16)/p)/(8/(-12)). Suppose -t - 4*z + 105 = b*t, t + 2*z = 21. Is t a multiple of 15?
False
Let t = 4 - 39. Suppose 13*w = 5*w - 72. Let s = w - t. Does 13 divide s?
True
Suppose -11640 = -94*b + 79*b. Does 13 divide b?
False
Suppose 0 = 4*y - 4*t - 532, 5*t - 2 = 7*t. Does 4 divide y?
True
Let g = 3776 - 1865. Is 24 a factor of g?
False
Let f = 147 - 219. Suppose -5*z - 22 = -3*c, -c - 3*c = 4*z + 24. Let b = c - f. Does 20 divide b?
False
Let o = 4635 - 2703. Is 14 a factor of o?
True
Let g = 872 + 543. Does 14 divide g?
False
Let r be 11/3 + (26/6 - 4). Suppose 0 = -4*o + 6*s - r*s + 198, 0 = -4*o + s + 203. Does 13 divide o?
True
Let n(d) = d**2 + 2*d + 17. Let m be n(-13). Suppose 11*r = 6*r + m. Is 1 - -1 - r/(-8) even?
True
Let g(a) be the third derivative of -7*a**4/24 + 6*a**3 + 12*a**2. Does 16 divide g(-7)?
False
Is (-2662)/1*(-2)/4 a multiple of 14?
False
Suppose -2*u - 2 + 16 = 0. Suppose -238 + 70 = -u*w. Let v = w - -8. Does 8 divide v?
True
Let w = -5 + -5. Let k(y) be the first derivative of -3*y**2 - 10*y + 8. Does 26 divide k(w)?
False
Suppose 3*w - 9 = -0*w. Let s(o) = -4*o**2 + 2*o + o**2 + 5*o**2 - w. Does 2 divide s(2)?
False
Let q be 1*(-3 - -2) - 2. Let d(l) = l**3 + 3*l**2 - l. Let j be d(q). Is 86/6*j - 3 a multiple of 20?
True
Let r be (-16)/40 - 38/5. Let l = r - -15. Suppose m + 462 = l*m. Is 33 a factor of m?
False
Let w = 4215 + -2514. Is w a multiple of 81?
True
Let g be 9/(-15) - (-108)/30. Suppose -g*k - 6 = 0, 3*i = -2*k + 3*k - 28. Is 25 a factor of (-644)/i - (-14)/(-35)?
False
Let o = 688 + -364. Is o a multiple of 8?
False
Suppose 10*x - 13*x - 291 = 0. Let m = x + 187. Suppose 3*d = -4*h + 97 + 38, 0 = 2*d - 3*h - m. Is d a multiple of 39?
False
Suppose -4*a + 6 - 22 = 0, -3776 = -2*t - a. Is t a multiple of 18?
True
Let u(f) = f**2 + 6*f + 8. Suppose 2*z + 3 = -r + 2, -4*z = 3*r + 3. Suppose 4*o - 4*h + 4 = 0, 5*o + 0*o - 3*h + 15 = z. Is 4 a factor of u(o)?
True
Suppose 4*a = -5*l + 1544, -306 = -l - 4*a + 6*a. Is 22 a factor of l?
True
Is 38 a factor of (-3)/24 - 30954/(-336)?
False
Suppose r + 2*y - 96 = 0, -4*r + 208 + 169 = y. Does 50 divide r?
False
Let u = 185 + -109. Suppose x = -i + 2 + 5, -i - 5*x = -19. Suppose 0*g = i*g - u. Does 5 divide g?
False
Let q be (-70)/15 - (-1)/(-3). Let b be (2/(-5))/(1/q). Suppose -b*u + 0*x + 134 = -x, 280 = 4*u + 4*x. Is u a multiple of 17?
True
Let a(r) = -7*r + 195. Is 8 a factor of a(13)?
True
Let k = 894 - 605. Is 28 a factor of k?
False
Is 23 a factor of -1 + 5 - 8 - -142?
True
Let t = -513 - -1494. Is 22 a factor of t?
False
Suppose 2 + 3 = v. Suppose 0 = v*f - 5*j, 5*f + 3*j = -j + 45. Suppose -85 - 115 = -f*b. Does 8 divide b?
True
Let v(c) be the second derivative of -c**5/20 - 5*c**4/12 + 5*c**3/6 - 3*c**2/2 - 5*c. Let m be v(-6). Suppose 2*d - 2*q - 38 = -m*d, 14 = 2*d - 2*q. Is d even?
True
Let b = -226 + 42. Let w = -479 - -751. Let l = b + w. Is l a multiple of 15?
False
Let j(f) = f**2 - 2*f - 7. Let m be j(6). Suppose 3*s = -2*x - m, s = -2*s + 3. Let o = x + 60. Is o a multiple of 15?
False
Let u(p) = -p**2 - 2*p + 2. Let a be u(2). Let t(q) = q**2 - 11*q - 27. Is t(a) a multiple of 25?
True
Let a be (-6)/(-4)*16/12. Suppose 90 = g + 3*q - 37, -2*q = a. Does 45 divide g?
False
Let x(c) = -34*c**3 + 7*c + 8. Does 14 divide x(-3)?
False
Let i = -136 - -726. Is 6 a factor of i?
False
Suppose 0 = -g - 0*g + 2. Let w be 2 + (2 + g - 2). Is w + -1 + 9 + -2 a multiple of 10?
True
Let s(h) = -2*h - 5. Let i be s(-5). Let u = 12 + -11. Suppose -2*c + i*q = u, c + 0 = -5*q + 7. Is c a multiple of 2?
True
Let k = -1220 + 1724. Does 10 divide k?
False
Suppose -4*t - 2*z = 2*z - 40, t = 5*z - 2. Suppose t*k = 3*k + 5. Let x(r) = 25*r**2 + 2*r - 2. Does 25 divide x(k)?
True
Suppose 6 + 9 = -5*y. Let o(t) = -t - 1. Let b be o(y). Suppose -3*z = -b*z - 59. Is z a multiple of 17?
False
Suppose 5*u = 18*u + 1079. Let k = u + 95. Does 12 divide k?
True
Let r = 58 - 52. Let n(z) = -z**2 + 9*z + 2. Is 4 a factor of n(r)?
True
Suppose -61*j + 58*j + 6 = 0. Suppose -190 = -3*p + j*p. Is 38 a factor of p?
True
Let y be (3 + -4)*(41 + -1). Let p = 24 + y. Let x = p - -43. Is 6 a factor of x?
False
Is -4508*(66 + -73 + (-26)/(-4)) a multiple of 16?
False
Let x(p) = p + 9. Let m be x(-4). Suppose 48 = -m*l - 32. Does 24 divide (l/12)/((-1)/72)?
True
Suppose 7*w - 3*t = 12*w - 1122, 0 = -w + 2*t + 214. Is 6 a factor of w?
True
Let o be 0 + 3 + 64/1. Suppose 62*v + 175 = o*v. Is 8 a factor of v?
False
Let v = 863 - 594. Suppose -5*p + 331 = -v. Is 24 a factor of p?
True
Let a(k) = k**3 - 18*k**2 - 19*k + 3. Let b be a(19). Suppose -2*g + 106 = 5*t - 29, -5*t - 265 = -b*g. Is 29 a factor of g?
False
Let n(a) = a**3 + 10*a**2 - 6*a - 24. Let d be n(-10). Does 3 divide ((-14)/21)/((-2)/d)?
True
Let b(i) = 2*i**2 + 9*i - 6. Is 3 a factor of b(7)?
False
Let x(t) = -2*t**2 - 54*t + 55. Let u be x(-26). Suppose 0 = -3*l - 186 - 36. Let o = l + u. Is 11 a factor of o?
True
Let b = -2685 - -3767. Is 12 a factor of b?
False
Suppose 3*z + 37 = 2*v, -5*v = 2*z - 0*v + 12. Is 18 a factor of ((-9)/2)/(z/132)?
True
Let z = 21 - 11. Let h = z + -30. Is 15 a factor of 12/(((-12)/h)/3)?
True
Suppose 2*w = -2*w - 132. Suppose -6*a = -7*a + 5*k + 8, -15 = 3*k. Let s = a - w. Is s a multiple of 16?
True
Let c = -384 - -1038. Suppose -39 = -3*k + c. Is 32 a factor of k?
False
Suppose 4*k = 4*z + 359 + 177, -k - 3*z + 138 = 0. Suppose i = -4*i + k. Is i a multiple of 8?
False
Let q = 16 - 10. Let f be (q*44/(-8))/(-1). Let d = f + -9. Does 8 divide d?
True
Let x(t) = 2*t**2 + 3*t - 38. Is 38 a factor of x(8)?
True
Let q = -30 + 38. Let v be (3*-1)/((-12)/q). Is (-795)/(-12) + v/(-8) a multiple of 22?
True
Suppose -42 = -2*m + 14. Let z = 2 - 25. Let v = z + m. Is 2 a factor of v?
False
Let q(h) = -10*h**2 - 122*h + 17. Does