20 = d. Is 36 a factor of a/(-6) - 6/(-9)?
False
Let z(l) = 16*l**2 + l. Let k be ((-3)/(-5))/((-4)/20). Let t be 3 + 1/1 + k. Is 11 a factor of z(t)?
False
Suppose -2*f + 750 = 250. Is f a multiple of 125?
True
Let x be ((-8)/(-12))/(2/9). Suppose 0*u - 5*u = -z - 28, -15 = -3*u. Let y = x - z. Does 6 divide y?
True
Let w(l) = 11*l**2 - 2*l**2 - 3*l**2. Is w(-1) a multiple of 6?
True
Let v be (-64)/14 + (-6)/14. Let y(x) = -x - 54. Let t(c) = c + 36. Let w(d) = v*y(d) - 8*t(d). Is 18 a factor of w(-12)?
True
Let i(y) be the second derivative of y**5/20 - y**4/4 - y**3/2 + 2*y**2 + 8*y. Does 2 divide i(4)?
True
Suppose -13 = -5*u + 12. Suppose -9*j + u + 22 = 0. Does 3 divide j?
True
Let f be (-1 - -4) + (-5 - -7). Suppose 2*v + 2*x = 26, -f*x = -23 + 8. Does 5 divide v?
True
Suppose 0*v + v - 5*n - 16 = 0, 4*v - 26 = n. Suppose -v = -3*h + h. Suppose -z + 29 = z + y, -63 = -4*z - h*y. Does 4 divide z?
True
Suppose -h + 4 = -3*h. Let b be (-2)/(h*1/(-19)). Let j = b + 42. Does 22 divide j?
False
Suppose b - 2*s = -3, 3 + 0 = s. Suppose b*j = 7*j - 168. Is 13 a factor of j?
False
Suppose 6*x = 5*x + 47. Suppose x*v = 42*v + 350. Does 14 divide v?
True
Let r be ((-6)/(-7))/(20/70). Suppose 0 = -i + r*i - 6. Does 15 divide (83 - 1) + -1 + i?
False
Suppose 7*z = 6*z - 199. Let s = z + 279. Is 37 a factor of s?
False
Is 19 a factor of ((-6)/(-5))/((-16)/(-1720))?
False
Suppose 15*z - 1080 = -3*z. Is z a multiple of 20?
True
Let y = 912 - 856. Does 32 divide y?
False
Let a(q) = 3*q**2 + 5*q. Let u be a(-3). Let v = u - -28. Let b = 51 - v. Is 5 a factor of b?
False
Let k be (5/(-20) - 153/12)*-1. Suppose -c - k + 103 = 0. Does 15 divide c?
True
Let j(n) = 21*n**2 + n - 3. Let o be j(-2). Let b = 132 - o. Does 12 divide b?
False
Let m(a) be the second derivative of -a**3/3 - 9*a**2/2 + 16*a. Is m(-11) even?
False
Suppose -5*w + 485 + 227 = 3*l, 0 = -3*w + 2*l + 431. Let i be (6 - -1)/(2 - 1). Suppose i = -4*j + w. Is 18 a factor of j?
False
Suppose 0 = 5*q - 249 + 14. Is 14 a factor of 1/(-1) + (q - -12)?
False
Suppose -2*d + 316 = w + d, w - 2*d - 336 = 0. Does 21 divide (w - 7)*(2/6)/1?
False
Let f(w) = 73*w - 103. Does 2 divide f(5)?
True
Suppose 0 = -0*l + 4*l + 4. Let f be (-1)/4 + 525/100. Does 10 divide ((-29)/f + l)*-5?
False
Let d = 254 - 76. Let g = 263 - d. Is g a multiple of 16?
False
Let w(d) = 2*d**2 + 4*d - 3. Let z be w(2). Suppose k = 47 + z. Is k a multiple of 15?
True
Let l be -3 - (-15 - -3 - 1). Suppose u = v - 4*u - l, 2*v - 4*u - 44 = 0. Let c = 69 - v. Is 8 a factor of c?
False
Let q = -22 - -22. Suppose q = y - 4 + 3. Is 13 a factor of 9 - -2*(y + 1)?
True
Let u be (2 + -3)*(-2 - 10/5). Suppose -3*k + u*j + 139 = -0*j, -5*j - 230 = -5*k. Is 15 a factor of k?
True
Let c(l) = l**2 - 7*l - 1. Let t be 5 + -2 - (-140)/(-7). Let g be ((t + -3)/4)/1. Is c(g) a multiple of 11?
False
Does 7 divide -6 - (-5)/(35/693)?
False
Let x = 62 + -46. Suppose -n + 64 = -x. Does 10 divide n?
True
Suppose -70 = -t + 3*t. Does 4 divide ((-16)/14)/(10/t)?
True
Let k(f) = -6*f**3 - 4*f**2 + 5*f + 12. Is 50 a factor of k(-3)?
False
Let k = 557 + -159. Does 18 divide k?
False
Let g(x) = x + 6. Let d be g(-6). Suppose -39*c + 40*c - 20 = d. Is c a multiple of 20?
True
Let z(y) = -y + 16. Let x be z(12). Let m = -19 - -15. Is x*7 + (-1 - m) a multiple of 11?
False
Suppose 107*a + 553 = 114*a. Is a a multiple of 17?
False
Suppose -2*q - 95 = 3*q. Let y = q - -10. Does 23 divide (-23)/((-6)/y + -1)?
True
Let r be (-5 + 2)/(3/(6 + -3)). Is 21 a factor of r + (-3 - -94 - 4)?
True
Is 10 a factor of (-35)/(-5) - 1871*(0 + -1)?
False
Suppose -2*q = 3*q. Suppose 8*t - 4*t - 152 = q. Is t a multiple of 19?
True
Suppose -22*m + 2376 = -0*m. Is m a multiple of 15?
False
Let b = -175 - -539. Is 28 a factor of b?
True
Is 160 a factor of ((-19567)/(-51) - 17)*(-48)/(-10)?
True
Suppose -6*x + 670 = -674. Does 16 divide x?
True
Suppose 5*s = -4*s + 36. Suppose -i - 7 + 22 = 4*c, s*i = -4*c + 36. Is i a multiple of 2?
False
Let t = -303 - -429. Is 21 a factor of t?
True
Let j = 27 + -13. Suppose -j*h = -9*h - 210. Is 21 a factor of h?
True
Let o(v) = -v**3 + 8*v**2 + 6*v + 8. Suppose j + n = -4*n + 3, 0 = -j + n + 9. Let x be o(j). Suppose -5*k + 114 + x = 0. Does 7 divide k?
False
Let o = -143 - -457. Suppose o - 2246 = -12*y. Does 27 divide y?
False
Let n be 1*-14*(-5)/10. Does 18 divide (7 - n) + (2 - -16)?
True
Suppose -4*u - 44*p + 1364 = -43*p, -3*u + 1023 = -p. Is 21 a factor of u?
False
Let m(v) = -v**3 + 22*v**2 - 19*v + 17. Is 43 a factor of m(21)?
False
Is ((-119)/14)/((-9)/2916) a multiple of 54?
True
Let u(k) be the first derivative of k**3/3 - 2*k**2 - 17*k - 17. Let g(f) = -f + 4. Let o be g(-7). Does 20 divide u(o)?
True
Let w(s) = 98*s**2 + 7*s. Does 27 divide w(-2)?
True
Suppose p + p + 65 = n, 3*n + 5*p - 140 = 0. Let f = 93 - n. Is 19 a factor of f?
True
Let q = -66 - -63. Is 34 a factor of -1 + (-5)/q*21?
True
Let k(b) = -4*b**3 + b**2 + b. Let m(u) = 3*u**3 + 2*u - 1. Let y be m(1). Suppose 2*p = y*d + 4, -5*p + 3*d + 2*d = 0. Is 17 a factor of k(p)?
True
Let w(i) = 35*i + 24*i + i**2 + 5 - 3*i**2 - 21*i. Is w(18) a multiple of 24?
False
Suppose -69*c = -72*c + 315. Is c a multiple of 7?
True
Let p(f) = -2*f**3 + 108*f**2 - 102*f + 54. Does 7 divide p(53)?
True
Let f(w) = w**3 - 10*w**2 + 8*w + 13. Let y be f(9). Let t(j) = -j**3 + 5*j**2 - 5*j + 5. Let x be t(y). Is 16 a factor of 3 - (-14 - (-1)/x)?
True
Let b = 1285 + -453. Does 32 divide b?
True
Suppose -3*v = 2*v - j - 570, 4*v - j - 457 = 0. Suppose 49 = 3*m - v. Let a = m + -32. Is 13 a factor of a?
False
Suppose 2*v + 2*v = 68. Let s = -20 + v. Let u(j) = 8*j**2 + 2*j - 3. Is 22 a factor of u(s)?
False
Let t(a) = 111*a**3 + 7*a**2 - 2*a - 3. Let j(l) = -112*l**3 - 6*l**2 + l + 2. Let u(b) = 5*j(b) + 4*t(b). Is u(-1) a multiple of 30?
False
Let j(p) = p - 7. Let c be j(9). Suppose c*a + 19 = -5*b, -4 = -2*a + b + 7. Suppose 0 = -5*m - a*d + 344, 5*m = d + 207 + 145. Is 16 a factor of m?
False
Let n(l) = -2*l + 25. Let y(c) = 7*c - 74. Let x(p) = 17*n(p) + 6*y(p). Does 7 divide x(12)?
True
Suppose 3*m + 3*m - 48 = 0. Let v = 2 + m. Is v a multiple of 4?
False
Let m(c) = c**3 + 12*c**2 - 25*c + 29. Is m(-13) a multiple of 9?
False
Let j(s) = 8*s - 126. Is 7 a factor of j(21)?
True
Suppose 34*o - 6572 = 4138. Does 13 divide o?
False
Suppose h + 4*h + j = -109, -h - 25 = -3*j. Is 11 a factor of h*(-3 - (-9)/(-2))?
True
Let a(y) = -3*y + 36. Is a(-14) a multiple of 2?
True
Suppose -4888 = 13*a - 28548. Is a a multiple of 18?
False
Suppose y = -3*y + 16. Suppose -3*u + 3*i + i = -196, -3*i = y*u - 228. Is u a multiple of 10?
True
Let r(c) = 8*c**2 - c - 6. Suppose 5*b - 4*g = g + 30, 5*b + 3*g - 22 = 0. Suppose b*l - 6*y + y = -10, -3*l = 5*y - 34. Does 16 divide r(l)?
False
Suppose 0 = 2*q + 2*d, -2*q - 4*d + d + 3 = 0. Let t(x) = -2*x - 3. Let h be t(q). Suppose h*y + 135 = 8*y. Does 16 divide y?
False
Let i(b) = 2*b**2 - 50*b + 388. Does 3 divide i(22)?
False
Let t be 1 - (1 - 9*2). Suppose -2*p - 136 = t. Let b = 133 + p. Does 28 divide b?
True
Let d be (-376)/32 + 3/(-12). Suppose 0 = 7*r - 2*r + 110. Let b = d - r. Is 5 a factor of b?
True
Does 9 divide 17*6/(-12)*-14?
False
Is 4 a factor of ((-24830)/(-30))/13 + (-4)/6?
False
Let v(i) = -3*i + 19. Let d(z) = 4*z - 20. Let f(h) = 4*d(h) + 5*v(h). Does 4 divide f(8)?
False
Let n(w) = 3*w - 20. Let u be n(6). Is (-2 + 20/6)/(u/(-30)) even?
True
Let g(s) = -s**2 + 10*s - 17. Let w(a) = -a**3 - a**2 - 3*a - 3. Let y be w(-2). Let r be g(y). Suppose -h + r = -4. Is h a multiple of 4?
True
Let m = 152 - 137. Is 6 a factor of m?
False
Let f(l) = -l + 1. Let w(g) = -4*g + 7. Let q(j) = -3*f(j) + w(j). Let s be q(4). Is 6 a factor of s/6 + (15 - -1)?
False
Let y(p) = 4*p + 79. Does 17 divide y(27)?
True
Suppose -128*u = -112*u - 31280. Does 17 divide u?
True
Suppose -k + q = -8, 0 = -q - 1 + 5. Let n(g) = -k*g + 15*g - 6 - 4. Does 4 divide n(8)?
False
Is (57/(-9))/((-43)/1806) a multiple of 19?
True
Let l be 56 + 1 - (3 + -3). Suppose 3*s + 0*s = l. Is s a multiple of 19?
True
Let q be 3/36*3 - (-575)/20. Suppose -3*z + 30 = r, -q = -r + 2*z + 16. Is r a multiple of 10?
False
Suppose 0 = 45*h - 66*h + 6426. Is h a multiple of 9?
True
Let a(h) = 