/(-45))?
True
Let h(i) = -i. Let m(b) = 2*b**2 + 9*b - 3. Let v(w) = 2*h(w) + m(w). Does 6 divide v(-5)?
True
Let c be (-6)/21 + 74/14. Suppose -c*m - 5 + 255 = 0. Is 10 a factor of m?
True
Suppose -5*z = -3*z - 6. Does 4 divide -2*(z + 1*(-4 + -1))?
True
Let l(c) = -c**2 + 16*c + 19. Let r be l(17). Is 15 a factor of -4 - (r - 36)*(-4)/(-4)?
True
Is 45 a factor of (16310/(-140))/(2 - (-13)/(-6))?
False
Let h(f) = f**2 + 5*f - 2. Let s be h(-6). Suppose s*n = o + 32, 3*o + 11 = 3*n - o. Let w(q) = q + 2. Is 5 a factor of w(n)?
False
Let t = 309 - -17. Is 18 a factor of t?
False
Suppose -4*a + x = -1476, -1422 = -4*a - 4*x + 54. Is 26 a factor of a?
False
Let b = 239 + -103. Let x be 3 + (b - (-4 - -2)). Suppose -4*k = -3 - x. Does 12 divide k?
True
Suppose 8*h - 5*h + 2*q = -31, 5*h - 5*q = -35. Let j = 34 + h. Is j a multiple of 3?
False
Let f be -3 - (-33)/12 - 335/20. Let w(v) = -17*v - 46. Is w(f) a multiple of 39?
False
Suppose -11*l = -14*l - 5*v + 65, 5*l = v + 71. Does 2 divide l?
False
Let s(r) = -8*r + 136. Does 9 divide s(-23)?
False
Suppose 3*x + 22 - 238 = 0. Is 8 a factor of x?
True
Does 8 divide (-15)/20 + 755/4 - 4?
True
Let s = 126 - 94. Is 6 a factor of s?
False
Suppose 0*n + 5*n - 12*n = 0. Is -1 + n + -2 + 15 a multiple of 3?
True
Let r = 20 - 18. Suppose -2*f = -j - 221, 154 = -5*f - r*j + 720. Is 28 a factor of f?
True
Let i(f) = 4*f**2 - 2*f - 1. Let p be i(-1). Suppose -3*s - p*n + 11 = -0*s, 7 = s + 5*n. Suppose -36 = -2*d - s*d. Does 2 divide d?
False
Let y be 46*2 - ((-25)/(-5) - 3). Does 15 divide 3 + -3 + (y - -2)/4?
False
Suppose -4*f + 8 = -0*f. Suppose -5*k + f*k = -9. Is 10 a factor of k/4 - (-197)/4?
True
Let n = 166 - 162. Is 2 a factor of n?
True
Suppose 5*i = 60 + 5. Suppose -4*v - i = -481. Suppose -4*q = v - 421. Is q a multiple of 28?
False
Let g(w) = w - 3. Let u be g(0). Let y = -7 - u. Is 5 a factor of (15/2*y)/(-2)?
True
Let x(g) = -g**2 - 32*g + 12. Does 25 divide x(-29)?
False
Suppose 0 = 2*w - 2*g - 48, -10*w + 14*w + 4*g = 72. Let k = w - -23. Does 18 divide k?
False
Let a be 13*1 - (-9 + 9). Let k = a + -22. Let g = 20 + k. Is 11 a factor of g?
True
Let m = 243 + -140. Does 4 divide m?
False
Suppose -971 = -4*p + 445. Suppose -4*k = -3*d + 5*d - p, 4*k = 2*d + 366. Is 18 a factor of k?
True
Let g = 675 - 971. Let t = -157 - g. Suppose -t = 3*h - 514. Is 16 a factor of h?
False
Suppose r = 17*t - 20*t - 4, -r = -5*t + 4. Suppose 3*i = 4*i. Suppose 3*b = -t*b - 2*y + 192, i = b + y - 65. Is 17 a factor of b?
False
Let m = -469 + 685. Is 20 a factor of m?
False
Does 45 divide 339/(-565) + (-4053)/(-5)?
True
Let t be -6*(-1)/(2 - 0). Let i be -1 + (92/4 - t). Suppose -3*h + 4*h = i. Does 10 divide h?
False
Let z be 21/56 - 6/16. Suppose -15 = 3*s, z = 2*c + 2*c - 3*s - 131. Is 23 a factor of c?
False
Let d = 4 + -6. Suppose -4 - 8 = -n. Is 37 + d + n/(-6) a multiple of 32?
False
Let r(u) = 75*u - 9. Let t(v) = -300*v + 35. Let h(y) = -15*r(y) - 4*t(y). Let s be h(2). Suppose 4*b + a - s = 0, -5*b + 181 = -0*b + a. Is b a multiple of 8?
False
Let d = 60 + -52. Is 45 a factor of -5*(1 - 2 - d)?
True
Let t be -2*(-2)/(2/(-1)). Let a(j) = -10*j**2 - 11*j. Let u(w) = -21*w**2 - 24*w. Let f(n) = -9*a(n) + 4*u(n). Is 12 a factor of f(t)?
False
Is 12 a factor of (-15 + -15)/((-1)/6)?
True
Let i = 11 - 7. Suppose 2*m = 3*d - 10, 5*m + 25 = -i*d - 0*d. Suppose 3*o = -d*o + 102. Does 7 divide o?
False
Let i be 5/(-1)*(-20)/50. Let g(b) = -i - b + b - 4*b - b. Does 26 divide g(-10)?
False
Let j = -1294 - -1944. Is 50 a factor of j?
True
Let w(k) = 572*k + 948. Does 15 divide w(6)?
True
Is ((-14)/(-3))/(2/162) a multiple of 7?
True
Suppose -2*f + t = -140 - 56, -408 = -4*f - 2*t. Suppose -f = 5*u - 9*u. Does 12 divide u?
False
Let u = -514 + 2714. Is 11 a factor of u?
True
Let w be (1197/(-28))/(2/(-8)). Suppose -7*m + 3*m = g - w, 2*g + 2*m = 330. Suppose 83 = 6*z - g. Is z a multiple of 14?
False
Let f(w) = w**3 + 7*w**2 + 4*w - 7. Let k be f(-7). Let y = 80 + -30. Let z = y + k. Is z a multiple of 12?
False
Is 15 a factor of (96/(-80))/(7952/3980 + -2)?
False
Let d(w) = -4*w**3 + 3*w**3 + 2*w**2 - 5*w + w + 3*w. Let k be d(2). Does 6 divide (8 + -2)*(-7)/k?
False
Let f = -471 + 853. Is 45 a factor of f?
False
Let c = 347 + -277. Is c a multiple of 8?
False
Suppose 4*u = -4*p + 740, 5*p - 745 = -u - 3*u. Let l = -110 + u. Does 16 divide l?
False
Does 86 divide ((-52)/(-8))/((-1)/(-352))?
False
Let k = 101 - -12. Is 6 a factor of k?
False
Suppose -2*n + 10 + 18 = 0. Suppose -l + n = l. Suppose 0 = l*o - 3*o - 60. Is 15 a factor of o?
True
Let l(f) = -f**3 + 41*f**2 - 55*f - 76. Does 35 divide l(39)?
False
Suppose 0 = 4*n - 13 - 3. Suppose -n*x + 42 = -2*x. Is x a multiple of 6?
False
Suppose -4*o + 68 = -2*l, 0 = -o - 3*o - 2*l + 76. Let q = o + -14. Suppose -108 = q*j - 10*j. Is 6 a factor of j?
True
Let k = 3221 - 2301. Is k a multiple of 5?
True
Let t(w) = 2*w**2 + 8*w + 30. Is 8 a factor of t(-15)?
True
Let d(b) = 19*b + 9. Let y be d(4). Suppose 35 - y = 5*n. Is 10 a factor of (-304)/n - 4/10?
True
Does 28 divide (42448/98)/((-4)/(-14))?
False
Suppose 12 = 6*i - 3*i. Suppose -4*x = 16 + i. Does 2 divide (2 - 0)*x/(-5)?
True
Let l be (-1)/7 + 90/42. Suppose -l*v + 12 = v, -4*v = b - 17. Is 23 a factor of (51/(-6))/(b/(-10))?
False
Let y = 0 - -27. Suppose -z + y = t, 22 - 88 = -2*z + 2*t. Is 7 a factor of z?
False
Suppose -m + 2*q + 36 = m, 0 = 3*q. Is (-7 - 2)/((-9)/m) a multiple of 9?
True
Let v = 325 - -218. Does 51 divide v?
False
Let h be 122/12 + 6/(-36). Let a(m) be the second derivative of 5*m**3/6 - 3*m**2 + m. Does 22 divide a(h)?
True
Suppose 0 = 3*j + 5*c - 194, -280 = -4*j - 2*c + 6*c. Is 4 a factor of j?
True
Suppose 2*b = -5*v + 928, v + 2*v = -b + 462. Suppose 7*y + 75 = b. Is 10 a factor of y?
False
Suppose -5*k + 22*j - 18*j = -404, 3*j = 2*k - 163. Does 5 divide k?
True
Let g = -72 + -28. Is 4/(-8)*-4 - g a multiple of 34?
True
Let g be (4 + -11)*(-1 + 1/7). Is 17 a factor of -1 + (-626)/(-6) + g/(-18)?
False
Let s(k) be the first derivative of k**2 - 5*k + 3. Let l be s(4). Suppose -44 = -4*p + 4*g - g, 2*g = l*p - 33. Is p a multiple of 6?
False
Let n be -1 + 0 - (-6 - -4). Suppose 0 = i + 1 + n. Let d(f) = -13*f + 4. Is 10 a factor of d(i)?
True
Suppose -13*t + 7584 = -8848. Does 21 divide t?
False
Let o(b) = 29 + b - 4*b - 6*b + b + b**2. Does 9 divide o(5)?
False
Let y be (1 + -1 + -2)*-1. Suppose y*z - 18 = -4*p, -2*z - z = -p - 13. Suppose 5*h - 117 = -g, p*h + 5*g - 33 = h. Is h a multiple of 5?
False
Let p be 8/6*3/2. Let x be (-1 + p)*(-4 - -1). Let m = x + 23. Does 4 divide m?
True
Let t(n) = 23*n - 3. Does 11 divide t(3)?
True
Suppose 43*u - 39*u + 380 = 0. Let q = -75 - u. Does 10 divide q?
True
Let n(h) = -h**3 - 6*h**2 + h. Let s be n(-6). Let q be 72/s + (-6)/2. Is 35 a factor of (-13)/((q/39)/5)?
False
Suppose -2*b + 40 = 3*b. Suppose 5*u - q - 22 = 0, -4*u - q + 14 = -0*q. Suppose b*o = u*o + 104. Does 5 divide o?
False
Suppose 17 = -4*g + 2*h + 3*h, 10 = 2*h. Suppose -a + 5*y + 30 = g*y, -5*a = 2*y - 116. Is a a multiple of 6?
True
Let h = -7 - -9. Suppose 33 + 19 = 4*l + h*p, -2*p - 68 = -4*l. Is l a multiple of 3?
True
Suppose -3*k + 14 = -y - 0*y, -5*k - 4*y + 12 = 0. Suppose 4*l = -2*w + 20, k*w - 46 = -5*l - 18. Suppose w*s - 210 = -s. Does 20 divide s?
False
Let t be (-2)/2 + (4/2)/(-2). Does 26 divide (361 - -1)*(-1)/t*2?
False
Let a be 68/(-6)*36/24. Let b(p) = -2*p - 3. Is 18 a factor of b(a)?
False
Let w(v) = -18*v + 81. Is w(-5) a multiple of 5?
False
Is 8/(24/3771) - 7 a multiple of 16?
False
Let c(f) = -f + 17. Let r = -17 - -19. Let o be r + -5 + 2 - -1. Does 3 divide c(o)?
False
Let r be (1/(7/30))/(1/(-7)). Let c = 43 + r. Does 7 divide c?
False
Let j(q) = -9*q**3 + 3*q**2 + 5*q + 1. Let s = 31 + 3. Let r = s + -36. Is j(r) a multiple of 29?
False
Let x = 1 + 1. Let r be -2 + (18/2 - (3 + 1)). Suppose 3*t + x*i - 18 = r*i, -4*t + 24 = i. Is 4 a factor of t?
False
Let v = 351 - 186. Is 9 a factor of v?
False
Let r(x) = 18*x**2 + 34*x + 15. Does 17 divide r(-5)?
False
Let c(k) = k**3 + 41*k**2 - 31*k - 65. Is 18 a factor of c(-41)?
True
Let p be (-3 + -23)/(4/(-24)). Suppose 0*j = j - p. Does 52 divide j?
True
Suppose -4*v + 1477 = 3*p, 0 = 2*p + 5*v 