(q/11 - 0) + (-12)/(-66)?
False
Does 65 divide 232/203 + (-36360)/(-35)?
True
Suppose 1642*r - 1717*r = -245400. Is 32 a factor of r?
False
Is (32472/(-10 - -21))/((-9)/(-24)) a multiple of 48?
True
Suppose -3*w = l - 20, 8 + 28 = 3*l + 3*w. Let y = 58 + l. Suppose d - y = -5*d. Is 11 a factor of d?
True
Suppose 0 = -5*d - 5*z - 10, -3*d - 2*z - 5 = -0. Let m be 12/(d + -2) + -3 + 2. Is 2/10 - (424/m - -4) a multiple of 9?
True
Let l(c) = 17*c**2 + c + 1. Let d be l(-1). Suppose -505 = -d*m + 3796. Is m a multiple of 23?
True
Suppose 44*i = 63*i + 285. Does 24 divide -1205*3/i - -6?
False
Let y = -112 + 119. Let h(s) = s + 4 + s + 7 + 12. Is 13 a factor of h(y)?
False
Let f(m) = 13*m + 136. Let n be f(19). Suppose 3*z + 4*t = 674, 2*z + t = 63 + n. Is z a multiple of 17?
False
Suppose 4*a + 2797 = 3*o, a + a - 1860 = -2*o. Does 49 divide o?
True
Suppose z - s = -30, 45 + 19 = -2*z + s. Is 17/z*(-1201 + 3) a multiple of 27?
False
Let r(n) = -85*n**2 + 2*n - 5. Let a be r(2). Does 31 divide (1 - 0)/(12/(-24)) - a?
False
Does 31 divide (36/(-32)*2)/(3/(-7944))?
False
Let l = 1150 + -142. Is 21 a factor of l?
True
Suppose 42*h = 169*h - 232791. Does 8 divide h?
False
Let g(w) = 13*w**2 - 210*w + 47. Is 7 a factor of g(-20)?
False
Suppose -624*m = -610*m - 48146. Is 61 a factor of m?
False
Let k(w) = -w**2 + 75*w - 913. Is k(57) a multiple of 7?
False
Suppose 197*q - 177999 - 270933 = 164*q. Does 38 divide q?
True
Let o be (-4 + (6 - -167))*-1. Let i = 265 + o. Is 12 a factor of i?
True
Let n be (-306)/6*10/(-6). Let l = -189 + 125. Let c = l + n. Is 9 a factor of c?
False
Let a be 0/(-1) - (-40 - -5). Let l(n) = -n**2 + 52*n - 168. Is l(a) a multiple of 14?
False
Let f = 30 - 26. Let j(z) = -z**3 + 4*z**2 - z + 7. Let v be j(f). Suppose -h + 109 = t, -h + v = -1. Is 21 a factor of t?
True
Suppose -2*g + 30 = 4*y, -5*g = -2*y + 3*y - 57. Let r(k) = 4 + k**2 - 16*k + g + k**3 - 20 - 5*k**2. Is r(7) a multiple of 13?
False
Suppose 2*o + 4*g = -o - 884, 0 = 3*o - 2*g + 908. Is 45 a factor of (-40475)/o + (-1)/(-12)?
True
Let h(p) = -15*p - 19. Let q be (-4 - 40/(-12))*-54. Suppose -q*b = -27*b + 27. Does 13 divide h(b)?
True
Let j(x) = 257*x**3 - 2*x**2 - x + 2. Let g be j(1). Let l = g - 162. Does 47 divide l?
True
Suppose -5*r + 8 = i - 19, -10 = -5*i. Let d(n) = -n**3 - 21*n**2 + 73*n + 36. Let z be d(-24). Suppose -z = -r*t + t. Is t a multiple of 2?
False
Let h be -47 + (7 - 14/7). Is -175*(-19)/((-931)/h) a multiple of 6?
True
Suppose 4*b - 1773 = -2*m + 2381, 0 = 3*m + 5*b - 6233. Suppose -q + 2*y + 421 = 0, 5*q + 0*y = 2*y + m. Is 9 a factor of q?
False
Suppose -66 - 3 = 3*c. Does 33 divide (7 - 2)/1 - 7475/c?
True
Let p = -4706 + 22655. Does 93 divide p?
True
Let a = 35 - 62. Let h = -43 + a. Let t = -65 - h. Is 5 a factor of t?
True
Suppose -5*w = 5*r - 20, -4*r + 7*r = 4*w - 16. Suppose -j + 5*b - 3 = -9, 0 = w*j - 4*b + 8. Does 14 divide 9*j/24*-26?
False
Suppose y - 3084 = 800 + 6335. Is y a multiple of 202?
False
Let v be (-3776)/80 + (36/(-20) - -2). Let j = v - -130. Does 4 divide j?
False
Suppose -6*f + 40 = -194. Suppose -a - 10 = f. Let s = -46 - a. Is s a multiple of 3?
True
Let r(b) be the first derivative of 2*b**2 - 4*b - 62. Let w(i) = i**2 + 5*i - 5. Let o be w(-7). Is 8 a factor of r(o)?
True
Let z(p) = -28*p - 12. Let l be z(-1). Let y be ((-4)/(l/(-12)))/1. Does 13 divide 78*(66/12 - y)?
True
Suppose 10*n - 9*n - 2 = 0. Suppose -2*u - 8 = s, u - n*s - 2*s = 14. Does 17 divide ((-316)/(-16) + u)*(1 - -3)?
False
Suppose -20*r + 13 = 93. Let n(i) = 5*i + 24. Let l be n(r). Suppose -l*j + 106 = -5*d + 7*d, -73 = -2*j - 5*d. Is 6 a factor of j?
True
Let b(r) = -4*r - 9. Let s be b(-1). Let i(y) = 30*y**3 - y**2 - 4. Let x be i(-3). Is 35 a factor of x/s - (-34)/85?
False
Let h(w) = -32*w**3 + 2*w**2 + 4*w + 3. Suppose -4 + 9 = -j. Let i(v) = -v - 6. Let r be i(j). Is 33 a factor of h(r)?
True
Let v = 54513 - -8212. Is v a multiple of 13?
True
Suppose 0 = -3*j + 2*w + 60, -j + 2*w = -2*j + 20. Suppose -10 = -3*u + j. Does 2 divide u?
True
Let n = 41 - 39. Let g = n - 3. Is (g - (-3 - -5))/(4/(-20)) a multiple of 6?
False
Suppose 12*i - 11*i + 2*c = 999, -6*c - 4080 = -4*i. Is i a multiple of 33?
False
Suppose 961*u = 954*u + 149181 + 21969. Is u a multiple of 10?
True
Suppose 0 = 3*j + 2*f - 92, 93 = 2*j + 14*f - 19*f. Suppose j*h - 9394 - 7810 = 0. Does 11 divide h?
True
Suppose 0 = -y + 7 + 95. Suppose y = -45*w + 46*w. Is w a multiple of 36?
False
Let w = -3713 + 4801. Does 17 divide w?
True
Let s(u) = 4*u - 176. Does 11 divide s(77)?
True
Suppose 255*m - 267*m = -26544. Is m a multiple of 14?
True
Suppose 6*r - 4*r - 16 = -4*c, -16 = 2*c - 5*r. Suppose 5*k - c*g - 445 = -3*g, 0 = -k + 5*g + 89. Suppose d + n - k = 0, -1 - 2 = n. Is 23 a factor of d?
True
Suppose 21*i = 15*i + 12. Suppose 3*q - 3*d - 765 = 0, i*d = -3*q - 314 + 1104. Is 20 a factor of q?
True
Suppose 5*s = -h + 121, -4*h = 4*s - h - 99. Suppose 0*n + 2*n = s. Let r(c) = -c**3 + 13*c**2 - 2*c + 18. Is 23 a factor of r(n)?
True
Let h = 210 + 188. Let p = h + -265. Suppose 235 = 2*t - p. Does 22 divide t?
False
Let w(g) = 2791*g**2 + 12*g - 26. Let v be w(2). Suppose -39*h + v = -21013. Is h a multiple of 75?
True
Let k(n) be the third derivative of 1/60*n**5 + 1/2*n**3 + 0*n - 2/3*n**4 + 0 + 27*n**2. Does 13 divide k(18)?
True
Suppose 2*v = -4, 3*v + 1272 = 5*l + 2*v. Is 15 a factor of (-1)/((-4)/l) + 2/4?
False
Suppose -18*m + 48*m - 27*m - 264888 = 0. Is 78 a factor of m?
True
Let t = 56 - 36. Suppose -o + 1 = 4*z - 81, 4*z + t = 0. Let s = 168 - o. Is s a multiple of 11?
True
Let w = -1111 - -2551. Is w a multiple of 15?
True
Let w(o) be the third derivative of -o**5/30 + o**4/8 - 7*o**3/6 + 7*o**2. Let d be w(0). Is 2928/112 + 1/d a multiple of 13?
True
Is ((-9)/2 + 3 + 3)/(6/26244) a multiple of 28?
False
Is (25495/(-5))/(-38 - -37) a multiple of 50?
False
Let s = 1842 - -526. Is 7 a factor of s?
False
Suppose 2*j - d = 12, 33*j - 2*d - 12 = 31*j. Is 18 a factor of ((-2758)/28)/((-3)/j)?
False
Let b(u) = 2*u + 1. Let y(c) = 8*c + 149. Let p(i) = -10*b(i) + 2*y(i). Is p(-6) a multiple of 18?
False
Suppose -57 + 257 = 5*m. Let w = m - 4. Is 2 a factor of w?
True
Let w be (-1)/((-105)/(-18) - 6). Let n = -55 + 16. Let s = w - n. Does 5 divide s?
True
Let j(h) = 10*h + 30. Let m(i) = 10*i + 29. Let y(o) = 5*j(o) - 4*m(o). Is 5 a factor of y(9)?
False
Suppose -3*p = 4*h - 64, 5*p - 3*h - 72 = -h. Suppose 320 = 7*k - p. Is 16 a factor of k?
True
Let g(n) = 415*n - 120. Let o be g(4). Suppose 487 = b + 4*y, 5*b - 832 = y + o. Is 16 a factor of b?
False
Suppose 0 = -4*j + 6*s + 8490, -6*j = -2*j - 5*s - 8491. Is j a multiple of 61?
False
Suppose 5*r - 5*m - 430 = 0, r - 5*m + 10 = 108. Let l = r - 78. Suppose -l*o - 31 - 13 = -z, 2*z - 118 = 4*o. Is z a multiple of 10?
False
Suppose 59*o + 21*o + 60*o - 3192000 = 0. Is o a multiple of 15?
True
Suppose -3*t - 3*z - 184 = -4*t, 4*z = -4*t + 688. Let n = 410 - t. Let b = -39 + n. Is 42 a factor of b?
False
Suppose -5*w = 11114*n - 11110*n - 19576, 4*w + 3*n = 15661. Is w a multiple of 44?
True
Let r = 980 - -6277. Does 85 divide r?
False
Let g = 1534 - 487. Is g a multiple of 10?
False
Suppose 0 = -0*m - m + 5*q + 1896, m + 5*q = 1846. Is 16 a factor of m?
False
Let r(d) be the second derivative of 9*d**3/2 + 5*d**2 - 45*d. Is r(6) a multiple of 43?
True
Suppose 288*g - 757644 = 1668014 + 134950. Is g a multiple of 37?
False
Let w(x) = x**3 + 71*x**2 - 379*x + 55. Is w(-73) a multiple of 237?
True
Let o be (1 - (1 - -1)) + 18. Let z(c) be the third derivative of -c**6/120 + 17*c**5/60 + c**4/4 - 4*c**3 - 2*c**2 + 17*c. Does 13 divide z(o)?
True
Let k = -3744 - -36472. Is k a multiple of 55?
False
Suppose -25*x - 360 = -15*x. Does 4 divide (x/(-63))/((-6)/(-777))?
False
Let x = 50 - 50. Suppose x = 9*n - 4*n - 15. Suppose 475 = 3*g + 2*g + 5*b, -n*g + 275 = b. Does 14 divide g?
False
Let p(k) = 2*k**2 + 20*k + 7. Let u = 50 + -11. Suppose -u = 4*x + 1. Is p(x) even?
False
Let u(p) be the third derivative of -p**6/120 + 13*p**5/60 + 23*p**3/6 + 3*p**2 + 10*p. Is u(13) a multiple of 18?
False
Does 8 divide 14 - (8 + -1412 + -13)?
False
Suppose 87*m = 83*m + 40. Does 8 divide (16/m)/(6/1680)?
True
Suppose 9 = 4*n - n