 be (7/(-2))/(9/18). Let p be n/(-7)*(25 + -2). Is 3 + 3/3 + p a multiple of 13?
False
Let h = 226 + -68. Is 21 a factor of h?
False
Suppose -539 = -o + 2*c, -5*o + 2*c - 218 = -2921. Is o a multiple of 32?
False
Let a = -105 - -105. Is (3 + -1 + 12)/(1 - a) a multiple of 6?
False
Suppose -2*s - 3*u - 4 = 5, -5*u = -2*s - 49. Let i(w) = -9*w - 19. Let a(m) = 22*m + 48. Let k(g) = s*i(g) - 5*a(g). Is k(-8) a multiple of 3?
False
Let j = 168 - 0. Suppose s + 4*o = 112, 2*o = -4*s + 336 + j. Is 16 a factor of s?
True
Suppose -124800 = 59*k - 84*k. Does 13 divide k?
True
Suppose 6*k - k - 10 = 2*b, -2 = -k + 3*b. Suppose 2*a - 81 = -k*a + v, -5*a - 2*v + 98 = 0. Is 20 a factor of a?
True
Let n = -119 + 150. Is n a multiple of 8?
False
Let w(p) = 3*p**2 - 8*p + 8. Let j(z) = -4*z**2 + 9*z - 9. Let n(q) = -2*j(q) - 3*w(q). Suppose -2*g + 5*a = -13, -a - 3 = 2*a. Is n(g) even?
True
Suppose -10 = -2*q - o, -3*q = 2*q - o - 25. Let g(n) = 9*n**2 - 8*n + 13. Is 18 a factor of g(q)?
True
Suppose 215 = 5*s - 10. Suppose s = 5*x + 5*n, -n + 3 = 5. Suppose 4*z + r - x + 2 = 0, -5*z = -5*r - 30. Does 3 divide z?
True
Suppose -197 + 85 = c. Is 12 a factor of (-1 - 26/(-14))/((-1)/c)?
True
Let k(t) = -19 + 37 + 13*t + 21*t**2 - t**3 - 8. Let l be k(21). Suppose 3*s = -5*y + l, -2 + 3 = s. Is y a multiple of 30?
False
Suppose 0 = -d + 3*u + 28, -87 = -2*d + 4*u - 23. Does 7 divide d + ((0 - -1) + 1 - 3)?
False
Let o = 31 - 27. Let w = o - -2. Does 3 divide w?
True
Let i(d) = 2*d**3 - d**2 + 2*d + 2. Let k(u) = 5*u**3 - 2*u**2 + 5*u + 5. Let x(w) = 7*i(w) - 3*k(w). Let z be x(0). Does 10 divide 74/((-2 - 0)*z)?
False
Suppose -2584 = -2*x + 4*t + 264, 3*x + 4*t = 4302. Is x a multiple of 55?
True
Suppose 0 = -a - 5*n + 25, -5*n = -2*a - n - 6. Suppose -a*l + 2*l = -369. Does 26 divide l?
False
Let n be 20/(-90) + (-40)/(-18). Is 22 a factor of (n*76 - -3) + -4?
False
Let w(n) = -35*n - 7. Is w(-4) a multiple of 3?
False
Let b be (-1 + -2 + 8)/1. Let i(o) = 7*o**2 + 22*o - 30. Let k(y) = -3*y**2 - 11*y + 15. Let a(s) = b*k(s) + 2*i(s). Is 2 a factor of a(-11)?
False
Suppose 11*u - 2784 = -5*u. Does 29 divide u?
True
Suppose 8*x - 1245 + 357 = 0. Does 27 divide x?
False
Suppose 55*h = 133461 - 32481. Is h a multiple of 17?
True
Let z(t) = t**3 - t**2 + 10*t - 8. Is 40 a factor of z(3)?
True
Let m(u) = -u**3 - 7*u**2 + 3. Let y be m(-3). Let a(q) = -10*q - 38. Let f be a(-5). Let t = f - y. Is 8 a factor of t?
False
Let m = -61 - -44. Let c = m + 51. Does 5 divide c?
False
Suppose -2*z + 80 = 8*z. Let h(r) = r**3 - 8*r**2 - r + 19. Is 11 a factor of h(z)?
True
Suppose 20*v - 1589 = 1351. Is 49 a factor of v?
True
Let r be 19 - (-1)/(3/6). Let w = -6 + r. Is 14 a factor of (42/5)/(w/75)?
True
Let g = -1925 - -2702. Is 21 a factor of g?
True
Let d = -32 - -32. Suppose d = 5*i - 614 + 14. Does 40 divide i?
True
Suppose -3*a + 1 = 4*x - 420, 5*x = a - 134. Let w = -72 + a. Does 8 divide w?
False
Is 59 a factor of (-2481)/(-21) + 11/(-77)?
True
Let q be ((-2)/(20/(-15)))/(3/4). Suppose -2*x + 536 = 5*g, q*x = -g + 7*x + 118. Is g a multiple of 18?
True
Let h = 185 + -130. Let a = 139 - h. Does 14 divide a?
True
Let i = -2373 + 3381. Is i a multiple of 56?
True
Is 144 - ((-6)/(-10) - (-170)/50) a multiple of 14?
True
Let d = -195 - -326. Suppose -3*w = 2*u - d, -4 + 57 = w - 4*u. Does 8 divide w?
False
Suppose -2*s = -j - 238 - 21, 2*s + 5*j - 265 = 0. Is 7 a factor of s?
False
Suppose 306 = -6*n + 7*n. Let w = n + -124. Suppose 43 = 5*i - w. Is i a multiple of 15?
True
Let a be (-3078)/(-12)*(0 + (3 - 1)). Suppose -623 = -4*g + a. Is g a multiple of 36?
False
Suppose -23*x + 15714 = 3156. Does 14 divide x?
True
Suppose 2*q = -5*v - 0*v + 108, 0 = 5*v + 10. Let m = -12 + 13. Is 6 a factor of m/(2 - q/30)?
True
Does 10 divide (-3 + (-1)/(-2))*-92?
True
Let b(v) = -v**3 - v**2 + 2*v - 9. Let p be b(0). Suppose 4*w = 3*o + 29, -2*o + 2 = w + 3. Let x = o - p. Is x a multiple of 3?
True
Let i = -3 + 13. Let n(o) = o**2 - 10*o + 14. Is n(i) a multiple of 10?
False
Suppose 4*r - 6345 = 13*w - 8*w, 3*r - 4760 = 4*w. Is r a multiple of 79?
True
Let g(a) = 27*a + 27. Let k(r) = 176*r + 176. Let h(n) = 32*g(n) - 5*k(n). Does 26 divide h(-5)?
False
Let k be (6/8)/(10/160). Suppose -4*u = -2*p + 6, -5*p + 3 = -5*u - k. Suppose 0 = -4*z - 5*q - 13, 0 = -z - p*z - q + 7. Does 2 divide z?
False
Let u(m) = -m + 1. Let a be u(-4). Let c be (1 - 114)*3/(-3). Suppose -255 = -5*j - a*q, 5*j - 3*q = c + 118. Is j a multiple of 16?
True
Suppose a + 2*a = 9. Let t be ((-18)/12)/(a/(-8)). Suppose -3*n + t*l = -258, 4*n - 63 = 2*l + 281. Is n a multiple of 21?
False
Suppose 2*t = a + 299, -3*t = -0*a + 4*a - 454. Suppose 4*w + 2*m = 312, -8*m + t = 2*w - 10*m. Is 5 a factor of w?
False
Is 13 a factor of (-5)/(40/(-13312)) + -3?
False
Suppose -2*w = -4*d - 4, 2*d - 1 + 3 = 5*w. Is 58 + w + 10 + -11 a multiple of 19?
True
Does 9 divide 68 - (2 - 3) - 6?
True
Let n(f) = -3*f**2 + 31*f - 20. Is n(8) a multiple of 2?
True
Is 10/(-8) - 2694/(-24) a multiple of 13?
False
Let g = 34 + -32. Is 32 a factor of (-1)/((g - 510/254)*1)?
False
Let j(d) = 3*d**2 - 2*d - 2. Does 29 divide j(12)?
True
Let m = 149 - 55. Let p = -353 - -607. Suppose 0 = -5*q + p - m. Is q a multiple of 12?
False
Let f be 0 + 115 - (4 + -6). Is f + (2 - (-4)/(-4)) a multiple of 32?
False
Does 2 divide 8/(2 + 6) - 2*-26?
False
Let r(i) = -i**3 - 8*i**2 + 11*i + 22. Let x be r(-9). Suppose -x*o + 5*u + 195 = 0, -3 + 7 = 4*u. Is 26 a factor of o?
False
Let z be (0 + -1 - -2) + 4. Suppose -2*n - 16 = -3*v - v, 3*n + 21 = z*v. Is n/(8/(-6))*6 a multiple of 5?
False
Let m(d) = 18*d**2 + 3*d - 2. Suppose 4*k - 2*k = -3*h + 19, -2*h + 2 = -4*k. Does 38 divide m(k)?
True
Let u(g) = 80*g**2 - 47*g + 2. Is u(-2) a multiple of 17?
False
Suppose 5*d = -6 + 16. Is 10 a factor of 12*(10 - d - 3)?
True
Let q(i) = i**2 - 5*i - 17. Let h be q(7). Let g(d) = -3*d**3 - 4*d**2 - 4*d - 10. Is 16 a factor of g(h)?
False
Let l = -7 - 9. Let t be (-4)/(l/10)*2. Suppose 2*o = s + 10, s - 8 = t*s. Does 4 divide o?
True
Suppose 53*p - 22*p - 25637 = 0. Is 7 a factor of p?
False
Let m(i) = -2*i + 0*i + 1 - 3 - i**2 + 2*i**2. Suppose -2*v + z = -10, 0 = 5*v - 5*z - 8 - 22. Is m(v) even?
True
Suppose 3*f + 188 = 5*i, -7*i + 2*f = -3*i - 150. Let u = 28 - 49. Let x = u + i. Is 8 a factor of x?
True
Suppose 0 = 2*s + 4*l - 2000, -s - l = -1238 + 238. Is s a multiple of 11?
False
Let k be -3 + (2 + -1 - -171) - 1. Suppose -8*l + 6*l = -k. Is l a multiple of 12?
True
Suppose 5*j - 2*g - 4530 = 0, 2*j - 17*g - 1818 = -15*g. Does 34 divide j?
False
Let s(f) = 145*f + 11. Let c be s(1). Suppose -30 = -q + c. Is 18 a factor of q?
False
Suppose -2*p = 4 - 8. Let o be 4*(-1 - 7)*-1. Suppose o = 4*g - p*g. Does 8 divide g?
True
Suppose -20 = -5*m, -2851 = 187*p - 188*p + 4*m. Does 32 divide p?
False
Suppose 8 + 1 = 3*x. Let r(t) = t**3 + t. Let p(q) = -2*q**3 - 7*q**2 + q - 2. Let y(l) = -p(l) - 3*r(l). Is 11 a factor of y(x)?
False
Let a(c) = -c**3 - 9*c**2 - c - 13. Let h be a(-9). Let l(m) = -2*m**3 - 4*m**2 - m + 4. Is 24 a factor of l(h)?
True
Suppose 0 = 11*h - 3*h + 720. Let j = 178 + h. Is j a multiple of 32?
False
Suppose 7*k - 12*k = -a + 17, -4*k - 4 = 4*a. Suppose -525 = -17*b + a*b. Is 5 a factor of b?
True
Suppose y = w + 6, -8 = -y + 4*w + 4. Let h = y - 5. Is h/4*-4 - -7 a multiple of 8?
True
Suppose 16*p - 14*p = 3*s + 557, 4*p = -2*s + 1154. Does 4 divide p?
False
Let l(o) = o**2 + 10*o + 19. Let j be l(-8). Suppose j*w + 842 = 8*w - y, -10 = 5*y. Does 56 divide w?
True
Let x(v) = -18*v + 659. Is x(-45) a multiple of 18?
False
Suppose 3*z - l = -3, -2*z - 3*l + 9 = -0*l. Suppose 2*r - 124 - 236 = 0. Suppose 5*b - r - 20 = z. Is 8 a factor of b?
True
Let r(y) be the second derivative of 6*y**5/5 + y**4/6 - y**3/6 + 10*y. Is 6 a factor of r(1)?
False
Let n(y) = -163*y - 3. Let h be n(1). Let k = -98 - h. Is 25 a factor of k?
False
Let l be (2/(-6))/((-13)/975). Let z = 37 - l. Does 3 divide z?
True
Does 6 divide (1359/(-4))/(30/(-40))?
False
Let s(m) = -m**2 - 15*m + 24. Let g(n) = -n - 20. Let o be g(-7). Is s(o) a multiple of 13?
False
Let y be 122/(-10) - (-45)/225. Let p(q) = -5*q**2 - 16*q - 18. Let a(n) = n**2. Let o(u) = 4*a(u) + p(u). Is o(y) a m