5*l + 5*r, -2*l - 4*r - 1 = 247. Is 14 a factor of (l/9)/((-8)/x)?
False
Suppose 5*m + 25 = 0, 557 = 3*v - 3*m - 187. Is 9 a factor of v?
True
Suppose 3*o - 12 = 0, -96 = 5*r - 2*o + 22. Does 6 divide 0 - -22 - (-26 - r)?
False
Suppose 0 = 5*o - 5*u + 45, -6*o + o - 3*u - 5 = 0. Is (-6)/(-4) + (-370)/o a multiple of 14?
False
Let a be (-7)/((-21)/(-30))*(-12)/(-30). Does 4 divide ((80/14)/a)/((-1)/7)?
False
Let n(p) be the second derivative of -5*p + 0 + 1/6*p**3 + 0*p**2 + 11/4*p**4. Is n(-1) a multiple of 20?
False
Let r be (-1896)/(-15) + (-4)/10. Suppose 3*l + 0*l - r = 0. Suppose 4*o - 135 = v + 109, o - l = 5*v. Does 16 divide o?
False
Suppose 3*w - 2155 = 1844. Is 43 a factor of w?
True
Suppose 20*h = 1176 + 4664. Does 17 divide h?
False
Suppose 10*l - 5145 = 4655. Is 7 a factor of l?
True
Is 42 a factor of 5895/35 + 3/(-7)?
True
Let j be -3 + (2 + 2 - -1). Suppose -r - j*r = 0. Suppose r*a = a - 13. Is a a multiple of 12?
False
Suppose 0*t - l = 2*t - 9, -7 = -t - l. Let u be -33 + 72 - (0 + 1). Suppose t*b = 5*j + 128, 0*b - 4*j + u = b. Is b a multiple of 9?
True
Suppose 5*t = -3*w + 4*t + 784, -3*w - 4*t = -769. Suppose z + a = 57, -4*z + 5*a + w = 2*a. Suppose -6 = 4*x - x, 2*x = -3*n + z. Is 9 a factor of n?
False
Let k(m) = -24*m + 29. Does 7 divide k(-2)?
True
Suppose 2*p = -p, 3*b + 3*p = 0. Let g(t) = t**3. Let q be g(b). Suppose q = -11*z + 6*z + 125. Is 14 a factor of z?
False
Suppose 5*z + 4*u + 4 = 0, 5 - 3 = 5*z - 2*u. Let m(k) = -k + 10. Let x be m(z). Does 6 divide (-2)/x - 212/(-10)?
False
Let v(y) = 3*y**2 + 6*y - 2. Let i be v(-3). Let p(q) = -2*q - 1. Let n be p(i). Is 7 a factor of n/(-6)*(-148)/(-10)?
False
Let l = -18 - -10. Let d = 13 + l. Suppose 0*n = 4*n - 4*t - 24, t + 26 = d*n. Is 5 a factor of n?
True
Suppose 0 = -2*g + 4 + 60. Suppose d = -0*d. Suppose -g = -d*k - k. Does 16 divide k?
True
Suppose 0 = 96*p - 94*p - 1352. Is 13 a factor of p?
True
Let n(j) = -j**2 - 7*j - 4. Let d be n(-5). Suppose d = -2*q, -4*o + q = -4*q - 207. Does 24 divide o?
True
Suppose 0 = -d - 3*o + 2*o + 302, d - 317 = 2*o. Is d a multiple of 28?
False
Suppose -202 = -3*i + 47. Suppose -18 - 3 = -k - 5*z, 0 = -5*k - 3*z + i. Suppose k = b + b. Does 2 divide b?
True
Suppose 2010 + 720 = 2*q. Is 65 a factor of q?
True
Let o(i) be the second derivative of -i**8/6720 + i**7/504 + i**6/240 - i**5/120 + i**4/12 + 5*i. Let j(g) be the third derivative of o(g). Does 5 divide j(5)?
False
Let o(s) = 8*s**2 + 2*s + 7. Suppose -a - 2*t = -3*a + 4, 2*a - t - 6 = 0. Does 13 divide o(a)?
True
Suppose -31*n + 33000 = -9*n. Is 50 a factor of n?
True
Let u = 1088 - 430. Does 29 divide u?
False
Let i(t) = t**3 + t**2 + t - 7. Let z be i(0). Let r(f) = -f**2 - 8*f - 1. Let g be r(z). Let v(w) = -w**3 + 9*w**2 - 11*w + 3. Does 15 divide v(g)?
True
Let l be 0 + ((-12)/(-4) - 2). Is 13 a factor of 2 + 4*(5 + l)?
True
Let q(w) = -29*w - 47. Let a(v) = -10*v - 16. Let c(x) = 8*a(x) - 3*q(x). Let j be c(11). Let r = -54 + j. Is 13 a factor of r?
False
Let g = -124 - -118. Let k(u) = -17*u - 18. Is k(g) a multiple of 12?
True
Suppose 17*b - 2185 = 1572. Is b even?
False
Let j(m) = -5*m**2 + 17 - 125*m + 116*m + 22*m**2. Is 11 a factor of j(3)?
True
Let i be 2/(-3) + (-32)/(-12). Suppose -5*s + 85 = 5*m, 5 = 3*m + i*s - 42. Does 6 divide m?
False
Suppose d = 22*d - 189. Let y be (2 + -4)/((-2)/119). Suppose -y = -4*z + d. Is z a multiple of 7?
False
Let o(l) be the second derivative of -89*l**3/3 - l**2/2 - 15*l. Is 20 a factor of o(-1)?
False
Suppose -6*w + 2391 = -3*w. Let m = w + -501. Suppose 5*u = -r + 824 - m, 3*u - 4*r = 303. Does 21 divide u?
True
Let p(d) = -d**2 + 22*d + 17. Suppose -z - 11 = -2*z. Let u be p(z). Suppose q = -2*q + u. Does 13 divide q?
False
Suppose -2*z + 30 = 3*z. Suppose 2*x + a - z = 0, 3*x - 9 = -a + 3*a. Suppose -x*p = y - 25, -6*p + 2*p = -4. Is 11 a factor of y?
True
Let d be 82/(-3)*(-7 + (-66)/(-12)). Suppose -4*p + d + 43 = 0. Does 21 divide p?
True
Let j(z) = z - 3. Let d be j(-20). Is d/((3 + -4)*1) a multiple of 23?
True
Let m(j) = -21*j + 636. Is m(-5) a multiple of 3?
True
Let t(g) = -g**2 - 11*g + 6. Let z be t(-10). Suppose 0 = k - 56 - z. Is k a multiple of 24?
True
Let g = 110 + -291. Let o = 369 + g. Is 19 a factor of o?
False
Suppose -15*b + 118 + 437 = 0. Does 21 divide b - (-3 - (-1)/(4/12))?
False
Let x = -5 - -9. Suppose 3*r - 501 = -3*t, -x*t - 2*r + 6*r + 684 = 0. Suppose 0 = -4*n + 2*j + 212, 0 = 3*n + j - 5*j - t. Is 17 a factor of n?
True
Suppose 0 = 3*n - l + 3*l - 15, -6 = 2*l. Suppose -n*i + 840 = -0*i. Is 11 a factor of i?
False
Let m(v) = 3*v**2 + v + 8. Let h be (-11 + 4 - -4)/(-1). Let d be m(h). Suppose -l - d = -2*l. Is 11 a factor of l?
False
Let a(t) be the third derivative of t**5/60 + t**3 - 39*t**2 + 2. Let c(g) = 2*g**3 + 3*g**2 + 2*g + 2. Let f be c(-2). Does 8 divide a(f)?
False
Let x(v) = v**2 - 25*v + 284. Is 30 a factor of x(13)?
False
Suppose 0 = 12*j + 4144 - 19132. Is j a multiple of 23?
False
Suppose -4*h - 4 = 4*x, -2 = 6*x - x + 2*h. Suppose 3*a + 0*a - 144 = x. Does 16 divide a?
True
Let z(a) be the second derivative of -a**3/6 - a**2/2 + a. Let u be z(-5). Is 136/4*2/u a multiple of 17?
True
Let d(n) = 8*n + 384. Does 4 divide d(-42)?
True
Let r = 195 + -3. Is r a multiple of 8?
True
Let s = 3158 + -2626. Is s a multiple of 8?
False
Let q(x) = x**2 - 6*x + 5. Let d(o) = 1. Suppose m + 1 = 4*l + 2, 0 = -m + 5*l + 1. Let v(a) = m*q(a) + 4*d(a). Does 13 divide v(7)?
False
Suppose 5*q - 304 = -4*a, 2*a + 79*q - 78*q = 158. Is a a multiple of 27?
True
Let o be (-138)/8 + (-1)/(-4). Let r be (-15)/(-5) - (2 - 90/(-3)). Let d = o - r. Is d a multiple of 6?
True
Suppose 4*k - 5*m = 42 + 23, 2*m - 86 = -4*k. Suppose k*x - 23*x + 180 = 0. Is 12 a factor of x?
True
Suppose -2*w = -0*w + 16. Let a be w*3/(24/(-148)). Suppose -15*r - a = -17*r. Is r a multiple of 23?
False
Let y be 4/(-3) - 143/(-33). Suppose -y*m + 13 + 104 = 0. Is 14 a factor of m?
False
Is 18800/72 + (-5)/45 a multiple of 26?
False
Let t(h) = -9*h**2 + 6*h + 8. Let l be t(-4). Let f = l - -280. Does 24 divide f?
True
Let x = 266 + 26. Let m be 2/(-10) - x/(-10). Let v = m - -35. Is 14 a factor of v?
False
Let j = -55 + 57. Suppose j*v - 207 = -7*v. Is 3 a factor of v?
False
Suppose -3*y - 21 = -192. Suppose -2*x = -5*x - 2*o - 16, -3*x + o = 1. Is 14 a factor of y/x*10/(-15)?
False
Suppose -4*r + 3*s + 8760 = -4871, 6832 = 2*r + 4*s. Is r a multiple of 11?
True
Suppose 0 = -3*u + 3050 - 1022. Suppose 3*j - u - 329 = 0. Suppose 0 = -6*y + y + j. Is 17 a factor of y?
False
Suppose 6*r - 780 - 18 = 0. Does 18 divide r?
False
Let c = 691 + -400. Is c a multiple of 9?
False
Suppose 0 = -o + 3*y + 4 + 2, -2*o + 12 = 3*y. Is 48 a factor of (-106)/(-4)*o + -4?
False
Suppose 0 = -3*h - 5*n + 43, -h - h + 2*n + 2 = 0. Suppose 3 + 21 = -h*x. Is -8*(2 + x) + 2 a multiple of 9?
True
Let l(r) = -r**3 + 5*r**2 + 8*r - 8. Let p be l(6). Suppose -6*k = -p*k. Suppose -s - 3*o = -17 - k, -2*o = -s + 12. Does 4 divide s?
False
Let k = -2045 + 3143. Does 61 divide k?
True
Let v(d) = 126*d**2 - 17*d + 17. Is v(1) a multiple of 9?
True
Let u = -43 + 45. Is 16 a factor of (-8)/4*(-32)/u?
True
Let y = -20 + 27. Let r(d) = -2 + y + d**2 + 3. Is r(-8) a multiple of 27?
False
Let j(l) be the third derivative of -l**6/120 + 2*l**5/15 + l**4/4 + l**3/3 - 3*l**2. Does 17 divide j(7)?
False
Let d(a) = 2*a + 7. Does 4 divide d(0)?
False
Let q = 9 + -6. Let h be 1/q + 1240/(-30). Let c = 73 + h. Is 32 a factor of c?
True
Let i be 3/15 + (-12442)/10. Does 10 divide 6/10 + (2 - i/10)?
False
Let t be 2 + (-5)/(10/(-6)). Suppose 2*j + 3*j + 25 = t*r, -j = r + 5. Suppose 5*c - 4*c - 26 = r. Is 5 a factor of c?
False
Let c(t) = -7*t + 56. Is 14 a factor of c(-22)?
True
Let j be (28/1)/(7/14). Let f = j - 3. Does 23 divide f?
False
Suppose 0 = 4*q - 3*z + 35, 2 = z + 1. Does 36 divide 174 + -6*q/12?
False
Let x = -5 + 9. Suppose -x*b - 9 - 119 = 0. Let o = -7 - b. Is o a multiple of 25?
True
Suppose 0 = 12*y - 10*y + 124. Let o be (-2)/(-8)*y*8. Does 6 divide 34/(-85) - o/10?
True
Let q be 12/(-21) - 1056/14. Let i = -30 - q. Let t = i - 26. Does 5 divide t?
True
Let i be (10 + -3)*12/28. Suppose -362 = -i*w - 146. Is 12 a factor of w?
True
Let r(j) 