 - 779. Let q = m - -387. Is q a multiple of 39?
False
Suppose 0 = -6*j + 5*j + 13*j - 180036. Does 39 divide j?
False
Does 22 divide 63874/8 - (-861)/492?
True
Let l = -500 - -242. Let i = 412 + l. Is i a multiple of 22?
True
Let l(t) = -155*t + 1. Suppose -2*w + 11*w = -9. Let z be (-1)/(1*((-3)/w - 2)). Is 19 a factor of l(z)?
False
Is 20 a factor of 23180/12 - -2 - ((-40)/(-15) - 3)?
False
Is (-4)/(4/9)*17094/(-18) a multiple of 21?
True
Suppose 9*h + 5 - 41 = 0. Suppose -f - f + 6 = 0, 4*t + h*f = 652. Is t a multiple of 4?
True
Suppose -6*l - 22*l - 24*l = -465764. Is 45 a factor of l?
False
Suppose 5*p + 8 = 38. Let l be (422/p + 1)/((-12)/18). Let r = l + 155. Is r a multiple of 6?
True
Suppose -2*d - 3*u = -6631, 0 = -765*d + 767*d + 5*u - 6625. Is d a multiple of 8?
True
Does 26 divide 8067*(126/27)/7 + -8?
False
Suppose -5*a = -16*a + 220. Let q be a*(-1)/(-3)*6. Suppose -o - q = -2*o + 3*v, 3*o + 3*v - 180 = 0. Does 14 divide o?
False
Let n = 264 + -252. Suppose -n*m + 1856 = -4*m. Does 8 divide m?
True
Is 0 + -6 + 322/49 - 275915/(-7) a multiple of 18?
False
Suppose 4*b - 10292 = 15020. Does 18 divide b?
False
Suppose 16*u + 12*u - 6*u = 4488. Does 4 divide u?
True
Let h(a) = -77*a**3 - 19*a**2 - 65*a + 31. Is h(-8) a multiple of 76?
False
Let q be 0/(2/(2 - 4)). Suppose 4*i - 2*f - 1048 = q, 4*i - 5*i + 2*f = -268. Is i a multiple of 21?
False
Let r(l) = -l - 3. Let m be r(0). Let i = -3 - m. Suppose -2*f + 44 = -i*f. Does 22 divide f?
True
Let j(a) = -3*a - 73. Let v be j(-24). Let k(g) = -57*g**3 + 3*g**2 + 2*g. Is k(v) a multiple of 40?
False
Let f = 9609 + 7197. Is 44 a factor of f?
False
Let l(x) = -6*x + 30. Let m be l(3). Suppose 112 = 4*o - j, -o = j - 11 - m. Does 9 divide o?
True
Let p be (6/8)/((-44)/(-352)). Suppose 19*q - 3198 = p*q. Is q a multiple of 11?
False
Let m be (645/(-172))/(6/(-256)). Let n = m - 91. Does 13 divide n?
False
Does 24 divide 691 + 154/7 - 17?
True
Let c = -11 - -19. Suppose 5*p + 430 = 2*n + 3*n, 4*p = -c. Suppose -3*l = -l - n. Is 10 a factor of l?
False
Let c(v) = -136*v - 5. Let g be (-5 - 1)*(-5)/30*-1. Does 13 divide c(g)?
False
Let y(r) = -26*r**2 + 15*r + 25. Let p(f) = -f**2 + 7*f + 11. Let n be p(8). Let a(w) = -13*w**2 + 7*w + 12. Let k(s) = n*y(s) - 7*a(s). Does 20 divide k(-3)?
True
Suppose 6*j + 32208 = 9*j + 5*j. Is j a multiple of 22?
True
Suppose -3*z + 5*z = -8. Let h(m) = 1. Let p(v) = 9*v + 28. Let w(t) = 6*h(t) - p(t). Is w(z) a multiple of 3?
False
Let n be (14/35)/(3/(-285)). Let k(t) = t**2 + 26*t - 114. Does 15 divide k(n)?
False
Is (-24)/(-3 - -6) - (-2954 - -17) a multiple of 7?
False
Let c be (5825/(-5) - 1)/(-2). Let d = c + -293. Is d a multiple of 29?
True
Suppose 155 = 26*r - 157. Let t(j) = -19*j - 12*j**3 + 11*j**3 + 7*j**2 + 12 + 7*j**2. Is 36 a factor of t(r)?
True
Let k be -1 - 4/(-5) - 260/(-50). Let u(n) = n**2 + 16*n + 3. Is u(k) a multiple of 12?
True
Let z = 9 - -2. Suppose -z = -i + 14. Suppose i = j - 44. Is j a multiple of 12?
False
Let b be 33/2*2040/36. Suppose -u = 4*u - b. Is 31 a factor of u?
False
Let a(c) = c**2 - 30*c + 180. Let v be a(22). Suppose r = v*j - 0*r - 1988, -5*j = -4*r - 2485. Is 29 a factor of j?
False
Suppose -4*i - 5*t = -20, -i - 25 = -6*i + 2*t. Let v(x) be the second derivative of x**4/6 + x**3/6 + x**2/2 + 11*x. Is v(i) a multiple of 14?
True
Suppose -5*p + 9 - 54 = 0. Let r be (-14)/(-63) + (-61)/p. Suppose -11*k = -r*k - 48. Does 3 divide k?
True
Does 103 divide (-345)/2415*-1*38059?
False
Suppose 0 = 3*p + 2*s - 19050, 0*s = -2*s. Suppose -1310 = 7*g - p. Is 16 a factor of g?
True
Let g = -43 + 37. Let c(b) = -6*b + 37. Is 5 a factor of c(g)?
False
Let p(v) = -v**3 + 8*v**2 + 22*v - 18. Let f be p(10). Suppose -r - 102 = -f*k + 165, -5*k + 654 = 2*r. Is k a multiple of 8?
False
Suppose 5*u - 7*u = 3*y - 4, 8 = y + 4*u. Let b(i) = 33*i**2 - 6*i - 8. Let r be b(-6). Suppose y*o - 8*o + r = 0. Is 29 a factor of o?
False
Let c = 518 + -516. Suppose 2326 = c*u + 2*g, -10*g = -u - 8*g + 1151. Is u a multiple of 44?
False
Let q be (14 - 9) + -3*1. Suppose -4*s + 94 = q*h, s + 2*h = -2*h + 20. Suppose s = 9*d - 7*d. Is 2 a factor of d?
True
Suppose 5*r = -13 + 3. Let a be (3 - 9)*(r - (-4)/1). Is 3 a factor of ((-18)/7)/(a/56)?
True
Let h be (-51)/(-85) + (-18)/5. Let w be (h/5)/((-4)/(-680)*-2). Let a = w + -7. Is a a multiple of 5?
False
Let u = -167 + 170. Let m(s) = 16*s - 18. Is 10 a factor of m(u)?
True
Suppose -416 = -2*b - 2*s, 0*b - 2*s - 214 = -b. Is 579/7 - -6*10/b a multiple of 17?
False
Suppose -3*n - 5*w = -9*w + 36, n - 3*w + 7 = 0. Does 2 divide 7000/160 + 6/n*2?
False
Suppose 50*g = -4*i + 45*g + 20160, 0 = -5*i - 4*g + 25209. Does 45 divide i?
False
Let v be (20/30)/(4/90) + -3. Let g be -3 + -4*v/(-16). Suppose -2*l + z = -81, 2*l - 2*z - 2*z - 84 = g. Is l a multiple of 20?
True
Let x(l) = 60*l**2 - 25*l + 6. Let q be x(4). Suppose q = 5*b - 224. Is b a multiple of 3?
False
Suppose 11262 = 30*n - 28008. Let p = n - 692. Is 41 a factor of p?
False
Suppose 0 = -4*h - 5*q - 7 + 17, 4 = 4*h + 2*q. Suppose 3*a = -5*k - 0*a, -k - 3*a = h. Suppose -11*s - 3*s + 1820 = k. Is 26 a factor of s?
True
Does 67 divide (16401 - (3 - 10)) + (-42)/(-6)?
True
Suppose -8*i + 11*i + 12 = 0. Let j(f) = -f**3 - 12*f - 11. Is j(i) a multiple of 14?
False
Let n = 1414 + 688. Suppose 7*r = n + 2511. Does 9 divide r?
False
Let l be ((-16)/(-6))/(-2)*9. Let a be (-14*l/(-9))/((-2)/6). Suppose 13*g - 12*g = a. Is g a multiple of 7?
True
Let b(v) = 61*v**2 + 21*v - 73. Is b(4) a multiple of 47?
True
Let b(g) = -7*g - 21. Let d(j) = -j**2 - 24*j + 14. Let t be d(-23). Suppose t*z = 33*z - 68. Does 26 divide b(z)?
False
Let n = 13058 - 11456. Does 18 divide n?
True
Suppose 0 = -24*j - 189 - 3. Does 7 divide j - (-791)/(8 - 7)?
False
Is 8471 + 34*44/374 a multiple of 8?
False
Suppose -89*s + 90*s = -36. Let b be (-3 + s/(-8))*16/3. Suppose c - 22 = -3*a, -b = c - a - 22. Does 4 divide c?
True
Let o = -503 - -492. Let d(b) = b**3 + 11*b**2 - 18*b - 14. Is d(o) a multiple of 23?
True
Let p be (-2)/(-3) - 38/(-6). Let c(n) = 713*n + 59. Let a be c(p). Is 25 a factor of ((-1)/2)/((-25)/a)?
False
Let m = -7 + 11. Let t(y) = 0*y**2 + 19*y - m - y**3 - 6*y**2 - 26*y. Is t(-6) a multiple of 19?
True
Let r = -30661 - -43171. Is r a multiple of 15?
True
Does 44 divide (15 - 558/90)/(6/13695)?
False
Suppose -9813 = -7*q + 14400. Does 20 divide q?
False
Suppose -7774 = -r + c, 7*r - 5*r - 15534 = -5*c. Is r a multiple of 134?
True
Let l(t) = 4*t - 2*t**3 + t**2 - 4*t + 8*t + 7*t. Is l(-4) a multiple of 11?
False
Let w(g) = -g**3 - 28*g**2 + 54*g - 45. Does 5 divide w(-30)?
True
Let c(v) = 288*v**2 + 0*v + 4*v - 24 - 276*v**2. Does 12 divide c(3)?
True
Let w(z) = -10 - 4 + 2*z**2 - 326*z - 6*z**3 + 321*z. Is w(-4) a multiple of 10?
False
Suppose 56*n = 128*n - 559440. Is n a multiple of 10?
True
Is 25 a factor of 10735/5 + (21 - 18)?
True
Suppose -3*t + 2*y = -29365, -t = 497*y - 501*y - 9785. Does 36 divide t?
False
Suppose 19223 = k + 5*v, -77*v = -5*k - 73*v + 95912. Does 18 divide k?
True
Suppose 2*a + 3*i - 12 = i, 3*i = 5*a + 2. Let q be (-14 + 7)*(a + (-3)/1). Is 147/q + (1 - 5) a multiple of 17?
True
Let x(l) = -85*l**3 - 2*l**2 + 17*l + 14. Let d(p) = -28*p**3 - p**2 + 6*p + 5. Let o(a) = -8*d(a) + 3*x(a). Is o(-2) a multiple of 42?
True
Let s = 349 + -163. Is 35 a factor of s + 20/4 - 8?
False
Does 95 divide 144/216 - (-31918)/3?
True
Suppose -3*w + 426 = -804. Let v = w - 270. Is 14 a factor of v?
True
Let w(l) = l**3 - 60*l**2 + 129*l - 336. Is w(58) a multiple of 11?
True
Let y(v) = 6*v**2 + 9*v + 8. Let a(j) = 4*j**2 + 18*j + 32. Let u(n) = -2*n**2 - 9*n - 16. Let h(q) = 2*a(q) + 5*u(q). Let t be h(-2). Is y(t) a multiple of 55?
False
Let z be (-4 - (-27)/6)/(1/6). Suppose 0 = z*j - 72 + 21. Let u = 24 - j. Is 3 a factor of u?
False
Let i be 258/((10/(-90))/(4/(-18))). Let m = i - 213. Is m a multiple of 101?
True
Let s(v) = v**3 - 32*v**2 + 69*v + 276. Is 78 a factor of s(36)?
False
Suppose -o + 457 = -2*j, 911 = -4*j - 0*o + o. Let l = j + 305. Is l a multiple of 9?
False
Let o(g) = -291*g + 789. Is o(-6) a multiple of 65?
True
Let d = 86 + -86. Suppose 2*a + 108 + 4 = d. Let h = 97 + a. Is h a multiple of 9?
False
Let k(y) = -32*