+ 4*h. Let s = 2 + w. Let c(g) = -15*g - 6. Does 13 divide c(s)?
True
Let g(u) = u**3 - 23*u**2 - 44*u - 61. Is g(25) even?
False
Suppose 0 = 2*i + 3*i - 25. Suppose -i*w + 253 = 4*l, 0*l + 250 = 4*l + 2*w. Is l a multiple of 7?
False
Let a(m) be the third derivative of -m**5/60 + m**4/4 - 13*m**3/6 - 3*m**2. Let s be a(-11). Is (-6)/(-5)*s/(-15) a multiple of 7?
False
Suppose 11*n + 17*n - 78400 = 0. Is n a multiple of 28?
True
Does 7 divide ((-520)/325)/(2/(-140))?
True
Let a(c) = -3*c**2 + 25*c - 6. Does 2 divide a(7)?
True
Let u(o) = -134*o - 34. Does 6 divide u(-2)?
True
Suppose -2*o + 134 = 27*w - 24*w, 4*o + 164 = 3*w. Does 2 divide w?
True
Let x(n) = 14*n + 88. Is 40 a factor of x(8)?
True
Does 17 divide (4488/(-30))/(((-4)/20)/1)?
True
Let z be (-294)/(-12) + (-1)/(-2). Let l(g) = g**3 + 3*g**3 + 2*g**2 + z*g**3 - g**2. Is l(1) a multiple of 7?
False
Let a(x) = 5*x + 8. Let o(f) = f - 1. Let z(j) = a(j) - 6*o(j). Is 6 a factor of z(-22)?
True
Let z be (-1)/6 + 222/36. Suppose -5*t + 370 = 2*i, -3*i = -2*t - z*i + 159. Suppose t + 18 = 5*j. Does 11 divide j?
False
Let q(p) = 13*p - 1. Let s be q(3). Suppose 2*b + s = -2*d + 4*d, b = 2*d - 34. Suppose -d = 4*y - 91. Does 11 divide y?
False
Suppose 4*g = 4*l + 1220, -5*g + 1490 = 3*l - l. Is 30 a factor of g?
True
Let i(b) = -9*b - 9. Let q be i(-4). Suppose 3*m + q = -s + 113, 0 = s + m - 90. Is s a multiple of 23?
True
Suppose 0*u = -3*u + 6. Suppose -u*w - 3*w + 3*l = -5, 4*w - 2*l = 4. Suppose 9 = v - w. Is v a multiple of 5?
True
Suppose 0*o + 3648 = 6*o. Is 38 a factor of o?
True
Let m(n) = -n**3 - 2*n**2 + 4*n - 2. Let b be m(-5). Let u = b - 29. Let x = u + -21. Is 3 a factor of x?
True
Let s(a) = -2*a - 3. Let z be s(-2). Suppose -2*c = z - 3. Is 24 + 4 - (-1)/c a multiple of 6?
False
Suppose 3*m - 6 = 7*h - 4*h, -5*m + 3 = 2*h. Is 16 a factor of 3*(-635)/(-15) + m?
True
Let o be 12/5*(40/12 - 0). Does 10 divide 250/o - (-15)/20?
False
Let y be (-10)/(0 - (-5)/(-15)). Suppose -3*h + y = 3*r, 0 = -2*r - 2*h + 5*h + 45. Does 3 divide r?
True
Is 5 a factor of 4*5*(-1 + (-2025)/(-36))?
True
Let b = 28 - -11. Suppose t = -2*t + b. Does 2 divide t?
False
Suppose 21 = 8*m - 2363. Does 10 divide m?
False
Suppose 5*h = 15, 16 + 2 = -2*o + 4*h. Let x be 4/12 - (-1)/o. Suppose x*s + 7 = s. Is 7 a factor of s?
True
Suppose 0 = -9*z + 6284 - 551. Does 13 divide z?
True
Is (-19)/((-171)/2250)*(-14)/(-4) a multiple of 18?
False
Suppose -q = -5*g - 139, 12*g = -q + 14*g + 133. Is q a multiple of 14?
False
Suppose -4*v - 46*b + 50*b + 572 = 0, -4*v + 574 = -2*b. Does 48 divide v?
True
Let o = -66 - -124. Suppose 2*x + 3*x = -3*f - 145, 4*f = 3*x + o. Does 13 divide (-36)/4*x/6?
True
Let z = -40 + 357. Suppose 502 + z = 7*f. Is 13 a factor of f?
True
Let y = -18 - -26. Let t(g) = 11*g - 16. Is 18 a factor of t(y)?
True
Let p(x) = 81*x**3 - 5*x**2 + 7*x - 3. Does 71 divide p(2)?
True
Suppose -3*d + 2 + 10 = 0. Is 18 a factor of 71 - (-5 + (d - 0))?
True
Let f(a) = a**3 + 4*a**2 - 5*a + 5. Let p be f(-5). Suppose 5*t - 3*l + 15 - 520 = 0, -p*l - 183 = -2*t. Is t a multiple of 16?
False
Is (-3 + 8)*(-490)/(-2) + 3 a multiple of 66?
False
Let t be (-2)/(-3)*9/2. Suppose -4*j + j + 36 = 0. Is 11 a factor of -2 + (j - (-3)/t)?
True
Let q = -22 - -26. Suppose q*f - 109 - 11 = 0. Does 6 divide f?
True
Let b(x) = -5 - 2 + 2 + x**2 + 3 + x. Let d(i) = i. Let r be d(4). Does 8 divide b(r)?
False
Is (-3*(-2 + 0))/((-124)/(-434)) a multiple of 2?
False
Let n(w) = 4*w - 4. Let m be n(-9). Suppose 4*l - 4*d + 469 = -3*d, -5*l + 2*d - 584 = 0. Let u = m - l. Does 14 divide u?
False
Suppose 3663 - 1073 = 14*g. Is 37 a factor of g?
True
Let p = 170 - 114. Let n = 57 - 34. Let c = p - n. Is c a multiple of 11?
True
Suppose 43*c - 37*c = 2814. Does 9 divide c?
False
Suppose 0 = -2*t - 3*t + 35. Let r = 12 - t. Suppose -z + 2*z = 5*n - 106, -r*n - 5*z + 100 = 0. Does 14 divide n?
False
Suppose 0 = -3*y - 0*y + 9. Suppose 6 = 5*n - 24. Suppose n = -k + y*k. Is k a multiple of 3?
True
Let a = -257 + 401. Is 6 a factor of a?
True
Let i(s) = -28*s - 35. Let w be i(4). Let c = w + 169. Is c a multiple of 22?
True
Does 14 divide ((1 - 7)*(241 - 2))/(-2)?
False
Suppose 68*q - 58*q = 2370. Is 10 a factor of q?
False
Let o = 12 + -24. Let h(d) = -d**3 - 12*d**2 - d + 4. Let a be h(o). Suppose 0 = -n + 14 + a. Is 15 a factor of n?
True
Let h = 20 - 18. Let s(g) = 4*g**h - 6 + 0*g**2 - 18*g - 2 - 6*g**2. Does 2 divide s(-8)?
True
Let i = 24 + -21. Suppose -i*f - 5*t = -407, -4*f + 2*t - 3*t + 571 = 0. Does 18 divide f?
True
Let x = 12 - 10. Let k(c) = 5*c + 27 - 2*c - x*c. Does 11 divide k(0)?
False
Let l(n) = 210*n - 71. Is 24 a factor of l(3)?
False
Let u(m) = 8*m**3 - m. Let s be u(1). Suppose 0 = -2*j + 3*n + 23, 0 = s*j - 3*j + 4*n + 4. Is j a multiple of 4?
True
Let p(c) = 18*c + 6. Let s be p(3). Let j = 50 + -44. Suppose s = -j*z + 7*z. Is z a multiple of 12?
True
Suppose 41*n + 5239 = 72*n. Does 11 divide n?
False
Suppose -72*q = -70*q + 3*t - 951, -2*q + 966 = -2*t. Is 8 a factor of q?
True
Let z(i) = -2*i + 5. Let h be z(-1). Let t(u) be the third derivative of u**4/6 + u**3 + u**2. Is t(h) a multiple of 9?
False
Let c(g) = g**2 - 3*g + 52. Is 20 a factor of c(12)?
True
Let y(h) = 11*h + 112. Is y(8) a multiple of 40?
True
Let k(w) = w. Let p be 4/(-26) + 224/104. Let l(i) = -9*i + 1. Let z(m) = p*l(m) + 14*k(m). Is 14 a factor of z(-6)?
False
Let u be (1 + (-10)/4)*-2. Suppose 4*k - k = -u*v + 12, -3*k + 20 = 5*v. Is k/2 + (-4 - -8) a multiple of 4?
True
Let k be -3 + 1 - (16 + -2 + 4). Let y = k + 46. Does 26 divide y?
True
Let v(y) = y**3 + 55*y**2 - 134*y - 240. Does 36 divide v(-57)?
True
Suppose -17*g = -1561 - 2264. Is g a multiple of 9?
True
Let w be (-1310)/(-25) - (-4)/(-10). Let h = 100 - w. Is h a multiple of 6?
True
Let f(h) = h**3 + 7*h**2 + 9*h + 12. Let j be f(-6). Let s be -2 - 2/3*j. Suppose -2*o + 50 = 4*q, -s*q + 16 = 4*o - 0*o. Does 7 divide q?
True
Is 16288/12 + 7 - (-2)/3 a multiple of 27?
False
Suppose 6 = 3*y - 9. Suppose y*o - 5 - 5 = 0. Suppose -3*s + 253 = 4*d, -o*s + 4*s + 10 = 0. Does 16 divide d?
False
Let u = 14 - 12. Suppose -u*y - 3 + 5 = 0, y = -2*h + 177. Suppose 4*a = 4*g - h - 12, -5*a + 115 = 3*g. Is g a multiple of 10?
True
Let j(r) = 43*r - 479. Does 12 divide j(17)?
True
Let w = 69 - 299. Let m = 340 + w. Is m a multiple of 22?
True
Let i = 54 - 128. Let t = i - -110. Is 12 a factor of t?
True
Let j = -11 + 17. Suppose -2*l - j = l. Is 12 a factor of (13 - l)*36/15?
True
Let h be (3 - 7)*(-33)/12. Suppose -4*y = -49 - h. Is y a multiple of 11?
False
Suppose -1680 = -4*h - 2*v, -17*v = -16*v. Is h a multiple of 4?
True
Let x(b) = b**2 - 12*b + 88. Is x(20) a multiple of 19?
False
Let s(c) be the second derivative of c**3/6 + 5*c**2/2 + 9*c. Let u be s(-5). Suppose -z - 2*z + 2*t + 33 = u, 2*z - 5*t = 11. Is z a multiple of 3?
False
Let q = -300 - -660. Is q a multiple of 4?
True
Suppose 17*o = 32*o - 6195. Does 5 divide o?
False
Suppose 0 = 971*m - 965*m - 15660. Does 15 divide m?
True
Let r(p) = 57*p - 11. Is 3 a factor of r(1)?
False
Let z = -172 - -105. Let q = z - -125. Is 5 a factor of q?
False
Suppose -337 - 54 = -f + 4*w, 4*f - 1564 = 2*w. Does 10 divide f?
False
Suppose -3*k = -6*k + 18. Suppose -2*t - 336 = -k*t. Is 14 a factor of t?
True
Let k be (2 - 0)*18/4. Let p(b) = 2*b - 14. Let i be p(k). Suppose -d = -5*s - 0*s - 89, -267 = -3*d + i*s. Does 31 divide d?
False
Suppose 3*s - 7 = a, 4*s + 3*a + 1 - 6 = 0. Suppose 0 = -4*u - 12, 5*y - 2*u = 17 - 61. Is 2 a factor of (s/5)/((-2)/y)?
True
Suppose 4*v + 34 = 14, s - 3*v - 3515 = 0. Is 28 a factor of s?
True
Suppose -21*a = -23*a + 8. Suppose m + 4*m = -c + 2, -a*m - 32 = -4*c. Is 2 a factor of c?
False
Let l = 0 + 142. Does 71 divide l?
True
Let x be 0 + -4 + -142 + 0. Let t = x + 219. Does 9 divide t?
False
Suppose 4*n = 2*f - 908, -4*f + 1828 = -0*n + 4*n. Is f a multiple of 10?
False
Suppose 3*w = -2*o + 5311, 0 = -264*w + 262*w - 3*o + 3539. Does 7 divide w?
True
Let i(a) = -5*a**3 - 2*a + 22. Is i(-5) a multiple of 9?
True
Let w(s) = -s**3 - 2*s**2 - 6. Let j be w(-3). Suppose j*o = -3*t + 135, 0 = t - 4*t + 3*o + 135. Is t a multiple of 2?
False
Let w(n) = n**3 + 16*n**2 + 5*n + 18. Is w(-15) a multiple o