0 = -36*l + 2*l. Let h = l + n. Is h a multiple of 13?
False
Suppose 2*a + 4*f = 88, 5*a + 2*f = 121 + 131. Suppose u + a + 39 = 2*q, -2*q - 2*u = -82. Is q a multiple of 11?
True
Suppose 6*r - r + 3*h - 734 = 0, 0 = -2*r - 2*h + 296. Suppose 0 = 2*a - 367 - r. Does 32 divide a?
True
Suppose 2*n - 6*n - 36 = 0. Let d be n/(-12)*4 - 0. Suppose 0 = -7*z + d*z + 160. Is 7 a factor of z?
False
Let x(d) = -d**3 + 27*d**2 + 361*d - 13. Is 13 a factor of x(-14)?
False
Suppose 28 = -3*w - w. Let h = w + 44. Does 7 divide h?
False
Suppose 0 = -24*l - 11*l + 10150. Is 29 a factor of l?
True
Let x(g) = -g**3 - g**2 - g - 15. Let j be x(0). Let p = -98 - -16. Let s = j - p. Is s a multiple of 17?
False
Let a be 0/2 - (-102)/2. Let g = -189 - -182. Let v = a + g. Is v a multiple of 11?
True
Let s = -62 - -42. Let q = -47 - -37. Let t = q - s. Is t a multiple of 10?
True
Let y be (0 - -77) + (-3 - -1). Suppose 0 = 5*f + 60 + y. Let o = 101 + f. Does 14 divide o?
False
Let a = 499 + -282. Is 41 a factor of a?
False
Is (19/133*63)/((-1)/(-41)) a multiple of 10?
False
Suppose -7 + 4 = -s. Suppose -y + 2*y - 120 = -3*u, s*y = u + 360. Does 15 divide y?
True
Suppose -45*s = -41*s - 3920. Does 20 divide s?
True
Suppose -4*o - 11*o = -1905. Is o a multiple of 16?
False
Suppose -2*k - 3*b = -7*b - 120, -2*k + 111 = -b. Let w = -13 + k. Does 10 divide w?
False
Suppose 4*q + 6 = 22. Suppose -d + 8 = 2*t, -41*t + 2*d + 4 = -40*t. Suppose -5*x + 3*x = -2*u - q, -t*u = -x - 10. Is 3 a factor of x?
True
Suppose -30*y - 7*y + 7215 = 0. Is 39 a factor of y?
True
Suppose 4*j = 3*t - 20, -5*t - 2*j - 20 = 2*j. Suppose 31 = m - t*s + s, -m = -s - 33. Does 8 divide m?
True
Let t = 2511 + -1610. Is t a multiple of 83?
False
Let h = 6 + -6. Suppose 7*v - 5*v + 3*z - 193 = h, -4*v = -4*z - 436. Is 23 a factor of v?
False
Let p(x) = -3*x**2 + 53*x - 16. Let k(r) = r**2 - 18*r + 5. Let i(d) = 17*k(d) + 6*p(d). Let w be (-1)/(2*(-1)/20). Does 2 divide i(w)?
False
Let a(x) = -7*x + 45. Is 16 a factor of a(-8)?
False
Let s(m) = -4*m + 292. Is 38 a factor of s(-51)?
False
Suppose -5 = v - 31. Suppose -d - d + k + v = 0, 3*k = -4*d + 72. Is d a multiple of 6?
False
Suppose i - 25 = 29. Is 39 a factor of ((-52)/(-6))/(6/i)?
True
Suppose 3*a = 8*a + 75. Let h(l) = -l**2 - 14*l + 13. Let y be h(a). Is 21 a factor of 58 + 0 + -1 - y?
False
Let n(l) = 20*l**2 + 4*l + 44. Is n(-4) a multiple of 30?
False
Suppose 2*x - x = 3. Suppose -2*k - 50 = 4*s, -s + x*k = s + 21. Does 4 divide (6/s)/((-2)/16)?
True
Let n = -2 + 163. Is 3 a factor of n?
False
Suppose -36 = -3*t - 3*n, 2*n + n = -5*t + 56. Let x(p) = p**3 - 11*p**2 + 14*p - 20. Is x(t) a multiple of 2?
True
Suppose 16*t - 21*t + 60 = 0. Let s(f) be the second derivative of -f**5/20 + 11*f**4/12 + 7*f**3/3 + 3*f**2 + 3*f. Is s(t) a multiple of 16?
False
Let m = -10 - -13. Suppose m*g - 16 = -g. Suppose 0 = -8*o + g*o + 72. Does 6 divide o?
True
Let m = 4 - 3. Let a be (m/4)/((-1)/4). Let t = 11 + a. Is t a multiple of 3?
False
Is (-6 - 3)/(6 - (-34125)/(-5684)) a multiple of 29?
True
Suppose 4*p - 3*h + 36 = 0, 5*p + h + 55 = 10. Let m(j) = 2*j + 2. Let b be m(2). Does 9 divide (-6)/p + 104/b?
True
Let p(w) = -21*w - 57. Is p(-13) a multiple of 9?
True
Let r = -82 + 345. Suppose 2*c - r = x, -268 = -2*c - 0*x - 4*x. Is c a multiple of 19?
False
Suppose -445 = -2*y - 5*p, 0 = 3*y - 2*y - 2*p - 245. Does 12 divide y?
False
Let x be (0 + 0 + 1)*2. Let o be x*(-1 + 2) - -2. Suppose 110 = l + o*l. Is 10 a factor of l?
False
Let a = 137 - 80. Let u be 33*(-2 - (1 - 2)). Let k = a + u. Is k a multiple of 8?
True
Let g = -93 - -253. Is g a multiple of 32?
True
Suppose -z - 3*a = 4*z + 15, 5*a + 25 = z. Let l(i) = 28 - 2*i - 5*i**2 - 10 + 4*i**2 + i**3. Is 9 a factor of l(z)?
True
Suppose 0*p - 5*p = -3*w - 1245, -4*w + 226 = p. Is p a multiple of 73?
False
Let s(x) be the third derivative of -1/3*x**3 + 0 + 5*x**2 + 41/24*x**4 + 0*x. Does 10 divide s(1)?
False
Suppose -32*d + 5*u = -35*d + 397, -3*d + 4*u + 352 = 0. Does 4 divide d?
True
Suppose 2*j - 25 = 9. Suppose 8 = k - q, 0 = k + 4*q + j - 0. Suppose 0 = -4*d + 3*u + 135, 1 = 2*d + k*u - 44. Is 15 a factor of d?
True
Let r(w) = 10*w**3 + w**2 - 2*w + 1. Let g be -1 + (-9)/6*20/(-15). Does 3 divide r(g)?
False
Suppose 0 = 6*q - 38*q + 54368. Is q a multiple of 32?
False
Does 6 divide 3/1*(-62)/2*-3?
False
Let q(b) = b**2 + 5*b + 6. Let t be q(-2). Suppose 3*a - 52 + 1 = t. Is a a multiple of 17?
True
Let u(l) = 3*l + 31. Let a be u(9). Let j = a - 1. Is j a multiple of 3?
True
Suppose 4*l - w - 586 = 0, 286 = 2*l - 3*w - w. Suppose l = 3*t + 90. Is 2 a factor of t?
False
Suppose 356 = 4*r + 8. Suppose 0 = b + 2*b - r. Suppose 49 = h + g + 4*g, 0 = h + g - b. Is 5 a factor of h?
False
Let g(u) = 4*u - 18. Let w be g(7). Does 11 divide w/(-15)*-1*75?
False
Let t(z) = z - 12. Let j be t(13). Suppose -j = 4*d - 13. Suppose b = -d*b - 3*w + 34, 24 = 2*b + 5*w. Does 2 divide b?
False
Suppose -5*c = -2*y - 9, -6*c - 21 = -2*y - 7*c. Is 8 a factor of y?
True
Let k(d) = -189*d - 7. Suppose -10 = 5*s - 0. Let o be k(s). Suppose -o - 89 = -5*p. Is p a multiple of 35?
False
Is 23 a factor of ((-1288)/(-10))/(((-64)/(-20))/8)?
True
Let h = -881 + 923. Does 42 divide h?
True
Is 5873/6 - -1 - 2/(-12) a multiple of 10?
True
Let k(v) be the third derivative of v**5/60 - v**4/8 - 2*v**3/3 - v**2. Let g be k(5). Suppose g*h = 3*h + 42. Is 3 a factor of h?
False
Let n be (4/8)/((-1)/146). Let a = -19 - n. Is 27 a factor of a?
True
Let h(y) = -99*y + 377. Is h(-7) a multiple of 107?
True
Let t be (2 - 1)*(-54)/2. Let s = t - -30. Does 6 divide -15*(-5)/s - 2?
False
Let y = 932 + -217. Does 20 divide y?
False
Suppose -4*a = 0, 3*a = 5*f - 4888 + 288. Is 40 a factor of f?
True
Let t = -56 - -238. Is 14 a factor of t?
True
Suppose -8*q + 13*q - 10 = 0. Suppose -3*h - 3*v = -8*h + 4, -6 = q*h - 5*v. Let m(o) = 5*o - 3. Does 7 divide m(h)?
True
Suppose 5*y = 3*z + 1786, y + 2*z - 352 = -0*z. Let u = -218 + y. Suppose -14 - u = -4*g. Is g a multiple of 14?
False
Is ((-12648)/(-21) - 2) + (-4)/14 a multiple of 25?
True
Suppose 14*j = 17 + 501. Does 3 divide j?
False
Let i = -4 + -3. Let g be i + (-3 - 18/(-3)). Is 5 a factor of ((-27)/g)/(33/88)?
False
Let n(b) = -b**3 + 9*b**2 - 3*b - 18. Suppose -5*t - 24 = -8*t. Is 11 a factor of n(t)?
True
Suppose -r + d + 3 = -3, r - 15 = 4*d. Is 26 a factor of 4/(-36)*r + (-316)/(-12)?
True
Suppose 6*l = v + 7*l - 74, 3*v + 2*l - 220 = 0. Is 8 a factor of v?
True
Let f be (-7)/(63/6)*(12 - 0). Is (-18)/f*-2*(-10 - -4) a multiple of 4?
False
Let k(h) be the second derivative of -3*h**5/20 - 5*h**4/12 - 5*h**3/6 - h**2/2 + 12*h. Is k(-3) a multiple of 4?
False
Let u(v) be the first derivative of -2*v**2 - 3*v - 1. Let c be (-2 + 1)*(-5 + 9 + -1). Is u(c) a multiple of 4?
False
Let j be 0 + 2 - (-4 + 526). Let a = j - -733. Is a a multiple of 17?
False
Let j(u) = 6*u**3 + u**2 + 4*u. Suppose 0 = -2*k + 3*t + 5, -4*t - 4 = 2*k - 4*k. Let h be j(k). Suppose -44 = -5*d + h. Does 23 divide d?
True
Let p = 81 - 141. Let v(o) = o**3 + 12*o**2 - 13*o + 9. Let i be v(-13). Is ((-6)/5)/(i/p) a multiple of 3?
False
Let z = 6 - 1. Suppose -c = -28 - z. Let b = 51 - c. Is 9 a factor of b?
True
Let j(y) = -23*y**3 - 47*y**2 - 14*y - 12. Let n(b) = 8*b**3 + 16*b**2 + 5*b + 4. Let f(h) = 6*j(h) + 17*n(h). Is 37 a factor of f(-7)?
True
Suppose 0 = -5*w + 3*m + 3437, 5*w + 2*m = w + 2732. Is w a multiple of 11?
False
Let j be (-25)/(-9) - 42/(-189). Suppose 13*r - 360 = j*r. Is 6 a factor of r?
True
Suppose -2*t + 10 = 2*z, z - 5*t - 3 - 2 = 0. Suppose -z*s - 300 = -9*s. Does 21 divide s?
False
Suppose 5*z - 2*f = -6, -z = -f - 3*f + 12. Let u be (-4)/(-10) + 8/5. Suppose u*i - 115 + 11 = z. Is i a multiple of 20?
False
Let y(p) = -p**2 + 12*p + 1. Let f be y(11). Let w(m) = m**2 + 10. Is 14 a factor of w(f)?
True
Suppose -3*w = -5*d + 28, d - 2*w - 2*w + 8 = 0. Let a be -3 + 0 + -1 + d. Suppose 22 = 5*i - a*i. Is 18 a factor of i?
False
Let k(d) = -2*d**3 + 13*d**2 - 4*d + 2. Let i be k(5). Let c = 136 - i. Is 9 a factor of c?
False
Suppose -7*d + 266 = -350. Is d a multiple of 8?
True
Suppose 5*v = -304 + 2019. Does 46 divide v?
False
Suppose -12*u = -3*u - 1404. Is u a multiple of 2?
True
Let 