2 - 85*f. Suppose -4*z = -3*k - 34, 4*k + 11 = -2*z - 5. Let h(b) = 49*b**2 - 6*b. Let l(i) = k*y(i) + 85*h(i). Is 11 a factor of l(-1)?
True
Let v = -299 + 309. Suppose -5*d - r + 563 = 0, 8*d = v*d + r - 227. Does 2 divide d?
True
Let k be 1/(0 - (-5)/10). Suppose 38 = -3*z - k*c, c + 0*c = 5. Is ((-24)/z)/((-3)/(-124)) a multiple of 15?
False
Let z(t) = t**3 - t - 870. Let q be z(0). Let g = 516 + q. Let l = g - -564. Is l a multiple of 30?
True
Let d(x) = x**3 + 2*x**2 - 6*x - 10. Let l be d(-3). Is 19 a factor of l/(3/(-1342)) + (-12)/(-18)?
False
Let p(w) = w**3 + 14*w**2 - 26*w + 11. Let d(t) = t**3 - t**2 + t. Let l(v) = -2*d(v) + p(v). Let r be l(14). Suppose -3*y + 131 = r. Does 20 divide y?
True
Let l be (-3 + 1)/((-4)/6). Suppose 3*f = -3*r + 1392, 0 = -l*f - 4*r + 202 + 1192. Is 11 a factor of f?
True
Suppose -11*t = -4*s - 9*t + 18, 0 = t + 5. Suppose v - 1060 = -3*b, b = s*v - 131 + 496. Is b a multiple of 17?
False
Suppose 35*n + 10 = 40*n. Suppose 2*g - 5*g - 90 = -n*j, g + 180 = 4*j. Does 3 divide j?
True
Does 23 divide ((-11541)/(-12))/(3/24)?
False
Let i = 46 - 20. Let l(w) = w**2 - 25*w + 86. Is 14 a factor of l(i)?
True
Let n(s) = -405*s - 14. Let p(o) = 809*o + 29. Let f(u) = -7*n(u) - 4*p(u). Is 79 a factor of f(-3)?
True
Suppose 27*j = 17*j. Is 572/10 - j - 41/205 a multiple of 6?
False
Is 18*2/((6/16)/(84/16)) a multiple of 63?
True
Suppose 65 = 3*l + 5*i, 4*i - 14 = -34. Let k(h) = h**2 - 13*h - 24. Is 18 a factor of k(l)?
True
Let m be (-1 - -22)*((-2)/3 + 0). Let q = m - -225. Is q a multiple of 5?
False
Suppose -73 + 89 = 4*m. Does 45 divide (-2 - (-13)/2)*(m - -46)?
True
Let d be (3 - 2) + (21/3)/7. Suppose 6*n - 232 - d = 0. Does 11 divide n?
False
Let z(u) = 407*u**2 - 1. Let b be z(1). Let s = b + -143. Is 25 a factor of s?
False
Suppose -5*w = -2*r - 45905, -18362 = -2*w + 27*r - 29*r. Is 13 a factor of w?
False
Suppose 2*c + k + 3 = -2*c, 0 = -c + 5*k - 27. Is c/(-9) + 34032/432 - 5 a multiple of 42?
False
Let l be ((-1)/3)/(22/9834). Let p = l - -334. Is 12 a factor of p?
False
Let d(z) = -3. Let g(q) = 11*q + 85. Let p(b) = 2*d(b) + g(b). Is 9 a factor of p(19)?
True
Let a be -3 + 2 - ((4 - 3) + -52). Let z = a + -40. Suppose 0 = -c + 4 + z. Does 5 divide c?
False
Let b(f) be the first derivative of -141*f**2 - 4*f + 30. Let g be b(-1). Let m = g + -163. Does 23 divide m?
True
Let c be ((-135)/(-20))/(-9)*-408. Let z be (c - -3)*3/(-9). Let l = z - -151. Is 24 a factor of l?
True
Suppose 0*j - 4*j = -8, 0 = -5*v - j + 25192. Suppose v + 4034 = 42*g. Is 18 a factor of g?
True
Suppose u - 27 - 185 = -4*f, -4*u = -f - 797. Suppose 0 = -5*i + 10, -4*h = -2*h - 5*i + 212. Let r = u + h. Is r a multiple of 22?
False
Suppose 5*n + 2*f = -0 - 3, 4*f = 2*n - 18. Is 10 a factor of (62/(-3))/n*-6?
False
Let i(y) = 6*y - 25. Let j(f) = 5*f - 26. Let q(d) = 6*i(d) - 5*j(d). Suppose 3*a - 324 = -51*a. Is 6 a factor of q(a)?
False
Is (4 - 13) + (-19316)/(-44) even?
True
Let o(c) = c**2 - c - 13. Let n = 40 - 31. Let l be (-42)/n*(-3)/2. Does 12 divide o(l)?
False
Let f = 187 + -138. Suppose x - d - 4 = 3, -f = -3*x - 4*d. Does 11 divide x?
True
Let k = -1 + 4. Let q be k + -3 - (-39 - -4). Suppose 5*m = 5*p + q, -3*m + 2*p - 10 = -5*m. Is 3 a factor of m?
True
Suppose 59*u - 30935 = 57*u - 3*z, 15469 = u + z. Is u a multiple of 90?
False
Let z = -39959 + 46647. Is z a multiple of 209?
True
Let x be (-2 + 280/25)*5/1. Let w = x + -44. Is 1/(-3) - (w + 460/(-12)) a multiple of 9?
True
Let y = 20503 + -13584. Is 6 a factor of y?
False
Let z = -101 + 82. Let b = 7 + z. Does 9 divide -4*b/6*46/8?
False
Suppose -2*t - 2 = 0, f + 20 = 6*f + 5*t. Suppose -176 = -f*r - 931. Let z = -90 - r. Does 21 divide z?
False
Let j(i) be the third derivative of 3/20*i**5 - 7*i**2 + 0*i + 0 + 1/120*i**6 - 7/6*i**3 + 5/24*i**4. Is j(-8) a multiple of 2?
False
Let z(m) = -m - 12. Suppose -29 = 2*k + 11. Is z(k) a multiple of 3?
False
Does 3 divide (2 - -110) + -5 - -7?
True
Let l(f) = -1189*f - 1939. Does 133 divide l(-7)?
True
Let c(h) = 0*h - 7 - 61 + 16*h. Suppose 0 = 2*n + 6, -8*f - 4*n = -12*f + 44. Does 10 divide c(f)?
True
Suppose -4*g + 7040 = d, 23010 - 1935 = 3*d + 3*g. Does 13 divide (d/(-16))/(-15)*20?
True
Let i(r) = r**3 + 6*r**2 - 10*r - 16. Let j be i(-7). Let o(y) = 2*y**3 + y**2 - 10*y + 7. Is o(j) a multiple of 15?
False
Suppose 0 = -5*w, -56*y + 57*y - 5*w = 19580. Does 89 divide y?
True
Let m = 34807 + -8879. Does 13 divide m?
False
Let x(a) = 2*a**3 - 2*a**2 + 4*a - 3. Suppose -4*w + 5*h = 2, 5*w + h = -4*h + 20. Suppose -v - w = -5. Is 23 a factor of x(v)?
False
Let n(y) = 5*y - 34 + 25 - 4*y. Let d be n(8). Does 31 divide ((-652)/8 - -4)/(d/2)?
True
Let s = 63 - 2. Let d(y) = -y**3 - 7*y**2 - 5*y - 6. Let m be d(-6). Does 17 divide s + 0 - (m/3)/4?
False
Let f(w) = -w**2 + w + 24. Let b be f(6). Let v(x) = 18*x**2 + 65*x - 1. Is 5 a factor of v(b)?
False
Suppose k - 7415 = 41*p - 46*p, 0 = -5*k + 25. Is p a multiple of 39?
True
Suppose -6*i - 30 = -210. Suppose -2*n + i = -82. Is 8 a factor of n?
True
Suppose 3*b + 19415 - 66537 = -4*k, k - b = 11777. Is k a multiple of 86?
False
Does 10 divide ((-72704)/710)/(2/(-200))?
True
Let a be -3 + ((-6)/2 - -194). Suppose -196 = -y + a. Suppose -2*d + y = 4*m + 2*d, 5*m = 2*d + 473. Does 19 divide m?
True
Let w be 166/(-6)*(-15 - -18). Let z be (-2)/(-3) - (-5239)/39. Let h = w + z. Is 6 a factor of h?
False
Let i be (-8)/2 + -19 + 26. Suppose i*s - 4*k - 568 = 0, 2*k = 6*k + 16. Is 23 a factor of s?
True
Suppose c = -3*w + 9774, -5254 + 15037 = 3*w + 4*c. Is 113 a factor of w?
False
Let a = 308 - 447. Let z = -120 - a. Is 17 a factor of z?
False
Let m(d) be the second derivative of -2*d**3/3 - 21*d**2/2 + 13*d. Let l be m(-6). Suppose j = l*x + 37, 0 = -5*j + 2*j + 4*x + 96. Does 9 divide j?
False
Let y(w) = -2174*w + 36445. Does 197 divide y(0)?
True
Let i be ((-1)/((-1)/(-46)))/(-6 - -5). Let r = -46 + i. Suppose r = -h + 5*z + 48, 132 = 2*h + 2*z - 3*z. Does 17 divide h?
True
Suppose 2792*r = 2789*r + 1761. Is 87 a factor of r?
False
Let n be (1/1)/(2/22). Let o = -10 + n. Does 14 divide o + ((-3)/(-4) - 1396/(-16))?
False
Suppose 2 = 5*l - 8. Is (l/(-4))/((-5)/7960) a multiple of 13?
False
Let m(n) = -n**3 + 3*n**2 + 50*n + 148. Does 14 divide m(-20)?
False
Let p be (-3*(-3)/(-18))/(1/(-6)). Is p + (7 - 4) + 366 a multiple of 10?
False
Let z(f) = -f**2 - f + 838. Let d be z(0). Let b = 501 + 341. Suppose k = 5*y - b, y - 6*y + d = k. Does 21 divide y?
True
Let t = 28592 - 1774. Is t a multiple of 106?
True
Let z = 0 - -3. Suppose 3*s - 309 = -z*g, 4*g - 8*s - 428 = -4*s. Does 8 divide -1 - (1 - 12*g/6)?
True
Let l be -57*24/27*-3. Suppose -8*h + 16*h - l = 0. Is h a multiple of 6?
False
Let v be (-11)/9 - -1 - (-282)/54. Suppose 31 + 369 = v*t. Suppose -t = -10*d + 2*d. Does 5 divide d?
True
Suppose -4*z = -4*i - 48, -5*i - 26 - 23 = -4*z. Suppose -2304 + 698 = -z*m. Is m a multiple of 18?
False
Let w = 1043 - 2174. Let z = -405 - w. Is 60 a factor of z?
False
Suppose g - 11 = 4*r - 56, -2*g - 10 = 0. Let c = r + -10. Is 20 a factor of (c + -2)*(-21 + -13)?
False
Suppose 4*g - 6*g + 18 = 0. Let b = g + -6. Suppose b*l - 3*o = 72, -l - o + 71 = 3*l. Is l a multiple of 3?
False
Let n = -383 - -388. Suppose 0*u = -n*u + t + 255, 3*u + 4*t = 176. Is u a multiple of 13?
True
Suppose 0 = -5*y - 4*h - 8, -2*y + 3*h = 3*y + 29. Let d be y/(-2) - 0/(-12) - -320. Suppose 5*n - 233 = d. Is n a multiple of 17?
False
Does 12 divide ((-105)/25)/((-21104)/(-7040) + -3)?
True
Suppose -g = -7 + 5. Let r(q) = -q - q**3 + 3*q + 9*q**g + 9 + q + 4*q. Does 8 divide r(9)?
True
Suppose 3*o + 15 = 4*c, -3*o + 3 = -3*c + 12. Let g(z) = -z**3 - 20*z**2 - 80*z - 108. Let b be g(-14). Let y = c - b. Is y a multiple of 34?
True
Suppose 1792 = -8*u + 1824. Suppose 3*v = 3, 355 = -3*c + u*c + 3*v. Is 21 a factor of c?
False
Suppose -3*d - 35 = -3*h + 2*d, -48 = -5*h - 2*d. Suppose h*g - 1936 = -g. Is g even?
True
Let f(b) = -16*b**3 - 8*b**2 - 9*b + 10. Does 4 divide f(-5)?
False
Let u(g) = -25*g**3 - 6. Let t be u(-2). Let h = t - 26. Suppose -3*v = f - h, -705 = -4*f - 2*v + v. Does 13 divide f?
False
Let s = -35 + 38. Suppose s*n - 2*q - 134 = -0*n, 1 = -q. Let l = n - -20. Does 16 divide l?
True