*2 + 49. Let t = 84 - 59. Suppose -5*m - 3*a = 15, m - a - 4*a = t. Does 29 divide l(m)?
False
Suppose 5*c + 6 - 24 = -l, 3*c - 20 = 4*l. Does 30 divide c*(-1 + -1)*-5?
False
Let t(f) = -21*f**2 - 27*f - 6. Let i(d) = d**3 + d**2 - d - 1. Let y(x) = 2*i(x) - t(x). Does 6 divide y(-10)?
True
Suppose v - s - s - 154 = 0, v = 5*s + 157. Let w = 62 - v. Let q = w - -148. Is 16 a factor of q?
False
Let a be ((-2)/(-6))/(21/1449). Let j = 0 - -4. Suppose j*s = -n + 30, -2*s - n = s - a. Does 7 divide s?
True
Suppose 3*b = 5*c + 55, -4*c - 39 = -2*b - 3. Suppose -3*w = -7*w - b. Let i = w - -12. Does 7 divide i?
True
Suppose -4*t = -0*t - 216. Let r = t + -18. Is 16 a factor of r?
False
Let k = -5 + 13. Suppose -5*z = -k*z + 18. Is z a multiple of 6?
True
Let q = 18 + 20. Let o = 47 - q. Is o a multiple of 4?
False
Let j = -1153 - -1909. Is j a multiple of 23?
False
Suppose 0 = -2*z + 5*z - 180. Let l be (-4)/(-10) - 42384/z. Does 16 divide 14/(-77) + l/(-11)?
True
Let r(d) = 1629 - 3269 + 1633 - 6*d. Suppose -2*v + v = 2. Is 2 a factor of r(v)?
False
Suppose 4*u - 4 = 3*u. Let o(w) = w**2 + 3*w + 12. Let j be o(-4). Suppose -u*d = -j - 76. Is 6 a factor of d?
False
Suppose 2*a - 212 = 52. Is 33 a factor of a?
True
Does 68 divide (-2)/((-20)/6) - 69048/(-70)?
False
Let k be ((-167)/1)/(0 - 1). Let f be 1406/14 - 24/(-42). Let y = k - f. Does 12 divide y?
False
Let a(b) = 1712*b**2 + 11*b + 11. Does 47 divide a(-1)?
False
Let y(o) = -o + 1034. Does 28 divide y(30)?
False
Let p be (-3)/1*-1*20/(-15). Is 17 a factor of p - -8 - 1/((-1)/251)?
True
Suppose 0 = -w - 0*w, 2*u + 4*w - 398 = 0. Is 37 a factor of u?
False
Let c = -447 + 519. Is 36 a factor of c?
True
Suppose -3*v + 0 = -6. Suppose a = -4*r - v*a - 707, -5*a - 5 = 0. Let y = -88 - r. Is 22 a factor of y?
True
Let i(j) = -49*j**3 - 2*j**2 + 1. Suppose 0 = 2*w - 4*y - 14, 5*w + 2*y = y + 13. Suppose -16 = w*m + m, 3*t - 2*m = 5. Is 12 a factor of i(t)?
True
Let y = -9 + -10. Let l be (-4)/(-8) + (-65)/(-2). Let b = y + l. Does 7 divide b?
True
Does 47 divide 2/(-12) - (-6)/((-144)/(-7900))?
True
Let k(p) be the third derivative of 457*p**4/24 - p**3/6 + 4*p**2. Let h be k(1). Is h/108 - 2/9 even?
True
Let g(h) = h + 11. Let b be g(-8). Suppose -8*n + 350 = -b*n. Let v = 103 - n. Is 14 a factor of v?
False
Suppose -5*y + 16 = -4. Is (-4 + 15/y)*-92 a multiple of 10?
False
Let q be (-675)/63*(-14)/(-4)*-2. Is (14/(-5) - 15/q) + 45 a multiple of 14?
True
Let x(c) = -2*c**3 - 15*c**2 - 4*c + 19. Let r be x(-10). Let z = 955 - r. Does 36 divide z?
True
Let r = 242 - 121. Suppose 11 = 6*u - r. Does 5 divide u?
False
Let p(k) = 19*k + 6. Let v(g) = -39*g - 12. Suppose 3 = -z + 10. Let l(w) = z*p(w) + 3*v(w). Is l(6) a multiple of 23?
False
Is ((-154)/49)/(-11) + (-3778)/(-7) a multiple of 27?
True
Suppose 5*h = 0, -5*n + 9*n - 4 = -5*h. Suppose 0 = 5*z + 5*a - 40, -z - 4*a + 16 = -a. Does 9 divide n - (z - 3) - -27?
True
Let s(c) = -c - 9. Let p be s(-10). Suppose 0 = -d - 3*t + 5, -d - 2*t + 2 + 1 = 0. Is p + (46/2 - d) a multiple of 25?
True
Let k(x) = 264*x**2 + x + 1. Is k(-1) a multiple of 50?
False
Suppose 3*f + 237 = -3*g, 0 = f - 3*f + 5*g - 130. Let l = f - -106. Is l a multiple of 9?
False
Suppose 8*w - 1889 - 4967 = 0. Is w a multiple of 41?
False
Let z = -18 - -24. Suppose 2*q - 4*q - 5*j = z, -3*q + 12 = -3*j. Suppose -22 = -4*w + 3*a + 46, 5*w = q*a + 92. Is w a multiple of 10?
True
Let i = 46 - -42. Does 4 divide i?
True
Let r be 77 - 2 - (-3 - 0). Let w = -14 - 22. Let d = w + r. Does 6 divide d?
True
Suppose -2*f + 98 + 30 = -3*g, -2*f - 3*g + 104 = 0. Is 2 a factor of f?
True
Let p(q) = q**3 + 5*q**2 + 4*q + 3. Let f be p(-4). Suppose 0 = -4*b - 5*h + 74, -h + 38 = f*b - 6*h. Let i = 21 - b. Is 2 a factor of i?
False
Suppose 0*v - 4*v = -4*k - 8, 4*v + 2*k + 16 = 0. Is 8 a factor of 29 + -17 + (-8)/v?
True
Let t(p) = 3*p**3 + 2*p**2 + p. Let k be t(-2). Suppose 2*a - 5 = 3*d, 9 = 3*a + a - 5*d. Is 9 a factor of 0/(-1 - a) - k?
True
Let w be 1 + (-3 + 4 - -2). Suppose w*l + 24 - 904 = 0. Suppose -h - 3*h = -l. Is h a multiple of 22?
False
Let y be (-20)/6*(-12)/10. Suppose -5*r + 4*r = -q - 3, q + 3 = -y*r. Suppose 4*b = -4*s + 244, 64 = s - 2*b - r*b. Is s a multiple of 16?
False
Is (968/10)/(78/390) a multiple of 11?
True
Suppose -35 - 10 = -3*k. Suppose -x = -54 + k. Is 13 a factor of x?
True
Let b(m) = m**2 + 7*m + 2. Let u be b(6). Suppose 4*l - u = -3*d, -3*l + 0*l = -2*d + 25. Is d a multiple of 2?
True
Let r(g) = 13*g + 6*g + 1 - 8*g + 0. Let p be r(-1). Let a = p + 46. Is 15 a factor of a?
False
Suppose 25*x - 64 = 11. Does 18 divide (-82)/(x*(-6)/54)?
False
Suppose -5*d = -2*d + 15. Let y = 6 + d. Is 3/(-12)*-20*y a multiple of 2?
False
Suppose 5 + 7 = 3*t, -x + 3*t = 11. Is x/((39/60)/13) a multiple of 4?
True
Suppose -3*p + 2*b = 2*p - 28, -2*b = -2*p + 16. Suppose -q - 531 = -5*q + 5*i, 20 = p*i. Does 34 divide q?
False
Let i = -232 + 537. Does 11 divide i?
False
Suppose -6 + 3 = -a. Suppose -a*b = -52 - 8. Let z = b + 21. Does 37 divide z?
False
Let h(a) = 3 - 1043*a + 20 + 1042*a. Is 17 a factor of h(-28)?
True
Let t = -806 - -1142. Is t a multiple of 48?
True
Suppose 3*c + 3*m - 24 = 0, 0 = 2*c + 4*m - 8 - 16. Let b be (2/c)/((-3)/(-648)). Suppose -4*o - 5*u + 108 = 0, 2*o + 2*o - u = b. Is 4 a factor of o?
False
Let w = -43 - -39. Is 188/(-12)*12/w a multiple of 9?
False
Suppose 33*c + 371 = 34*c. Is c a multiple of 18?
False
Let a(m) = 38*m - 120. Let r be a(3). Let t(x) be the second derivative of -x**5/10 - x**4 - x**3 - 2*x**2 + x. Is 20 a factor of t(r)?
False
Let a(h) = -h**2 + 18*h - 3. Let x be a(18). Is 21 a factor of 340/x*(-30)/25?
False
Is 20 a factor of 2 - 1909/(-7) - 104/(-364)?
False
Let q = -171 - -359. Does 2 divide q?
True
Let q(v) = v**2 + 10*v + 1. Suppose -56 = 2*z + 3*z - 2*c, -z + 5 = 5*c. Let h be q(z). Does 5 divide (-2 - (-28 - h)) + -2?
True
Let j(k) be the second derivative of k**7/2520 + k**6/144 + k**5/20 - k**4/12 - 3*k. Let q(b) be the third derivative of j(b). Is q(-4) a multiple of 2?
True
Suppose 0 = -m + 4*v + 25, -3*v - 10 = -2*m + 20. Suppose -4*l = -m*l - 30. Let r = 19 + l. Is r a multiple of 13?
True
Let q = 8 - 29. Let f be q/(-7) + 0/1. Suppose 6*p - f*p = -2*j + 101, j - 1 = 0. Is p a multiple of 11?
True
Let m(h) = 3*h**2 - 30*h + 8. Is 37 a factor of m(16)?
True
Suppose 0 = -5*s - 4*l + 3495, -675 = -6*s + 5*s + 4*l. Is 20 a factor of s?
False
Let t(p) = -10*p**2 + 10*p + 12. Let n be t(-3). Let q = 262 + n. Is 22 a factor of q?
True
Let k = 22 - -73. Suppose 4*p + 3*h - k = 0, 93 = 5*p - 2*p - 5*h. Is p a multiple of 13?
True
Is 65 a factor of (-1850)/40*(-6 - 46)?
True
Let l(n) = 4993*n + 34. Let r be l(4). Does 57 divide 4/(-5) + r/70?
True
Suppose -11*n + 4334 = -2387. Is n a multiple of 16?
False
Let x(h) = -h**3 + 13*h**2 + 33*h - 41. Is x(13) a multiple of 27?
False
Let f = -497 + 1171. Is f a multiple of 8?
False
Let o(c) = -9*c - 55. Does 14 divide o(-17)?
True
Let o be (-5 + 5)/(0 - -2). Suppose -223 = -5*l - b + 137, 5*b = o. Is 21 a factor of l?
False
Is 41 a factor of (49 + 2)/((4 + -2)/6)?
False
Let z = -14 + 134. Is 8 a factor of z?
True
Let w(b) = -87*b**3 - 2*b**2 + 1. Does 22 divide w(-1)?
False
Let w(p) = -2*p**3 - 3*p**2 - 6*p - 5. Is 38 a factor of w(-4)?
False
Let f be 1605/21 - 6 - 3/7. Suppose 0 = k - 6*k + f. Is k a multiple of 7?
True
Let j be 4/((-16)/10) + 9/6. Does 19 divide (740/16*j)/(2/(-8))?
False
Let k = 16 - 21. Let w = 17 - k. Suppose -13 = -n - 5*s + w, -2*n + 79 = s. Does 13 divide n?
False
Let q(y) = -y**3 + 12*y**2 - 9*y - 5. Is 6 a factor of q(7)?
False
Is ((-48)/(-24) - (-34)/(-8))*-1528 a multiple of 77?
False
Let d(v) = 54*v - 24. Let p(b) = 11*b - 5. Let x(u) = -2*d(u) + 11*p(u). Let h be x(-5). Let l = h + 123. Is l a multiple of 17?
True
Let x = -84 + 60. Let y = x + 45. Let p = y - 5. Is p a multiple of 13?
False
Suppose 13 + 2 = 5*l. Let w be (-3)/(3/(-2))*3. Suppose w = l*d, -3 = -3*f - 0*d + 3*d. Is 2 a factor of f?
False
Is 1/(((-24)/(-6))/1012) a multiple of 20?
False
Suppose -63*v = -60*v + x - 556, 2*x + 945 = 5*v. Is v a multiple of 11?
True
Is 18 a factor of (324/14)/((-15)/(-315))?
True
Let d(f) = f**2 + f + f**3 - 27 + 27. Let a(y) = -y**3 - 10*y**2 + 2*y + 1. 