x*u. Does 8 divide o(0)?
True
Let c = 17 - 12. Suppose 0 = 4*q + 5*l - 20, 8*q + 3*l = 3*q + 12. Suppose q = c*b + 48 - 178. Does 13 divide b?
True
Suppose -3*b = b - 12. Let k = b - 2. Does 6 divide 4 + 4/(3 - k)?
True
Suppose -4*w - 136 = -j, -2*w - 4*j = 2*w + 136. Let t = 50 + w. Is t a multiple of 12?
False
Suppose -4*d + 6 + 2 = 0. Let c(h) = 15*h**2 - 4*h + 2. Let s be c(d). Suppose -b = -0*b + 2, -s = -2*m - 5*b. Is m a multiple of 15?
False
Let g(d) = -9*d. Let j be g(-9). Let x = 131 - j. Does 13 divide x?
False
Let p(f) = f**3 - 6*f**2 - 5*f - 8. Suppose -5*d + 2*h + 25 = 0, 4*h - 34 = d - 3*d. Does 3 divide p(d)?
True
Let l = -97 - -202. Does 15 divide l?
True
Let j be 342/(-66) + 2/11. Let x = 8 + j. Suppose x*w - 187 = -4*p, -149 = -3*p + 2*w - 6*w. Is p a multiple of 16?
False
Let a(k) = k**2 - 3*k + 1. Let m(p) = -p**3 - 9*p**2 + 11*p + 15. Let j be m(-10). Is 6 a factor of a(j)?
False
Suppose -10*k = -4*k - 132. Is k a multiple of 22?
True
Is 10 a factor of ((-10)/3)/((-1)/24)?
True
Let d(a) = -a + 13. Let r be d(11). Let u be (2/4*0)/2. Suppose -4*q = u, j = -r*j + 4*q + 30. Is 4 a factor of j?
False
Suppose -2*m + 297 - 64 = 5*g, 0 = -m - 4*g + 121. Let x = m - 49. Is 13 a factor of x?
False
Suppose -2*w = -26 + 8. Let k be ((-4)/3)/((-6)/w). Is 102/14 + k/(-7) a multiple of 3?
False
Is 20 a factor of (8/(-12))/(2/(-207))?
False
Suppose y = -3*y - 2*h + 6, 3 = -y - 2*h. Suppose 0*n + 87 = y*n + 4*x, 0 = x - 3. Is 8 a factor of (n/2)/5*6?
False
Suppose 5*o - 23 = -253. Let d be 7/(-14) + (-126)/4. Let c = d - o. Does 11 divide c?
False
Suppose -4*d + 213 = -2*p + 5*p, -2*d + 4*p + 112 = 0. Is 5 a factor of d?
False
Suppose 3*b - 10 = -79. Let n(p) = 5*p - 3. Let f be n(7). Let o = b + f. Is o a multiple of 4?
False
Is 36 a factor of (-14)/18 + 1 + (-18887)/(-99)?
False
Let n = 1 + 4. Suppose 32 = -n*v + 107. Is 8 a factor of v?
False
Suppose 0*c + 12 = 3*c. Suppose c = -2*f + 4*d, -2*d + 7*d = -3*f - 6. Is 4 a factor of 10 + 1 + 1 + f?
False
Let t = 58 + -35. Is t a multiple of 5?
False
Suppose 3*d + w - 21 = 4*w, 2*d - w - 9 = 0. Suppose 2*f = -d*x + 34 + 34, 0 = -4*f + 16. Is 10 a factor of x?
True
Suppose 43 = 2*s - a, s + s + 2*a - 34 = 0. Is 4 a factor of s?
True
Suppose 3*d + 70 = 5*m + 8*d, 0 = -2*m - 3*d + 32. Suppose 270 = 5*i - m*i. Let y = -26 - i. Is 15 a factor of y?
False
Let u(d) = 51*d - 10. Is u(1) a multiple of 4?
False
Let y = 30 + 12. Suppose 0 = -4*s + y + 22. Is s a multiple of 10?
False
Suppose -3*q = -0*q - 5*f - 83, -q + 25 = f. Is 7 a factor of q?
False
Is (-1 - 1) + (63 - -5) a multiple of 17?
False
Let t = 21 + -33. Is 31 a factor of 97 - 3/t*0?
False
Let k = 272 - 164. Is 21 a factor of k?
False
Suppose -2*r + r + 58 = 0. Is 29 a factor of r?
True
Let i = 14 - 2. Let u be (-21)/i + (-2)/8. Is 10 a factor of u/(-4) - 172/(-8)?
False
Let j(x) be the third derivative of -x**5/60 - 11*x**4/24 - x**3 - 2*x**2. Let l = -22 - -15. Does 11 divide j(l)?
True
Let g be 1 + (2 - 0)/(-2). Suppose g = 4*l - 4*y + 20, -4*y - 6 - 6 = 0. Let w = l - -14. Is 3 a factor of w?
True
Suppose -5*m + 8*m - 135 = 0. Is 5 a factor of m?
True
Let l = -7 - -37. Is 18 a factor of l?
False
Let f = 136 - 62. Suppose -68 = -3*d - 4*z, -2*d + 2*z + f = d. Does 7 divide d?
False
Suppose 0 = -5*i - 4*c + 220, -i + 7 + 23 = -2*c. Is i a multiple of 10?
True
Suppose -l + 3*j + 8 = 0, 2*j = 7*j + 10. Suppose -5*a = -p + l*p, 3*a + 4*p = 0. Suppose a*z = 2*z - 26. Is 13 a factor of z?
True
Let k be (4*12 + 1)/(-1). Is (-14)/k + 103/7 a multiple of 4?
False
Let s = 0 + 6. Suppose 0 = -5*i + i - 8, -3*i = -3*z + s. Suppose z = 4*k - 10 - 18. Is 6 a factor of k?
False
Suppose 4*v = -4, -2*v = 3*a - 0*v + 2. Let c be 2/4 + (-6)/(-4). Suppose a = -2*i - c*z + 78, -2*i - 2*z = -i - 38. Is i a multiple of 17?
False
Suppose -2 = x - 0. Let u = x - -9. Let g = u + -2. Is 5 a factor of g?
True
Suppose 3*j = -10 + 31. Suppose 4*o - j = 69. Does 9 divide o?
False
Let a = 8 + -5. Suppose -6*k + 2*k = 4*r, -k = a*r. Suppose r = -2*c + 4, -4*c = -2*d + 54 - 18. Is 11 a factor of d?
True
Let i(l) = l + 39. Is i(-9) a multiple of 4?
False
Suppose -1 - 4 = -v. Suppose -n + 5*a - 2*a = 13, -a + 15 = v*n. Suppose n*o + u + 0*u = 27, -57 = -4*o - 3*u. Is o a multiple of 12?
True
Suppose 0 = -k - 5*w - 12, 2*k - 14 = -k - 5*w. Is 2 a factor of k?
False
Let a(k) = -7*k**3 + 17*k**2 + 9*k - 15. Let w(c) = -3*c**3 + 8*c**2 + 4*c - 7. Let s(f) = -4*a(f) + 9*w(f). Is s(-3) even?
True
Suppose d = 34 - 22. Is d a multiple of 11?
False
Suppose 2*j - i + 0*i = 154, -2*j - i + 150 = 0. Is 19 a factor of j?
True
Suppose -4*s = -26 + 2. Is 6 a factor of s?
True
Let k(b) = -b**2 - 5*b + 6. Let o be k(-6). Let d be (-1106)/(-6) + (-4)/(-6). Suppose o = 2*h + 3*h - d. Is 18 a factor of h?
False
Suppose -161 + 9 = 2*k. Does 12 divide (1/2 + -1)*k?
False
Suppose -7*w = -6*w - 158. Does 26 divide w?
False
Let z be 34/3 - 4/12. Let d = -6 + z. Is d a multiple of 4?
False
Let s(w) = -6*w**2 + 2*w + 3. Let j be s(-3). Is 7 a factor of j*-1*1/3?
False
Suppose -2*f - 22 = -0*s + 4*s, -17 = 2*s + 3*f. Let c(t) = -7*t - 6. Does 9 divide c(s)?
False
Let d = -11 - -10. Let l = d + 39. Is l a multiple of 19?
True
Is ((-10)/7)/(22/(-1540)) a multiple of 20?
True
Let d(k) = -35*k - 5. Is 26 a factor of d(-4)?
False
Let d = 65 - 101. Let j = 18 + -37. Let i = j - d. Is 16 a factor of i?
False
Let p(m) = -m + 6. Let c be p(6). Suppose -d - 1 + 7 = c. Suppose -2*r + d + 56 = 0. Does 16 divide r?
False
Suppose y - 2*n - 65 - 35 = 0, -3*y - 2*n = -316. Is 8 a factor of y?
True
Let a(l) = l**3 - 6*l**2 + 4*l - 8. Is 10 a factor of a(7)?
False
Suppose 2*g - 15 = 2*n + n, 2*g - 5 = n. Suppose -k - k = g. Suppose -5*m - 34 + 129 = k. Does 7 divide m?
False
Let m(r) = 8*r + 19. Let w(x) = -5 + 9*x + 24 - 2*x - 1. Let l(o) = 4*m(o) - 5*w(o). Is l(-12) a multiple of 18?
False
Let i(l) = 9*l - 5. Let h be i(7). Let j = 40 - h. Is 11 a factor of (-290)/(-9) + 4/j?
False
Let m(q) be the third derivative of q**3/6 + q**2. Let r(y) = -y + 4. Let w(x) = -4*m(x) + r(x). Does 2 divide w(-6)?
True
Suppose -3*k = -7 + 1. Suppose z + k = 2*z. Suppose z*g + 3*w - 103 = 0, -235 = -5*g - 4*w + w. Is 20 a factor of g?
False
Suppose 0 = 2*t - o - 5, 0 = -5*t - 2*o + 14 + 3. Suppose 4*a - 4*p = -2*p + 170, -3*p = t*a - 141. Does 20 divide a?
False
Let h = 3 - 3. Suppose 4*a - 3 = -j, -3 + h = 5*a - j. Is 11 a factor of ((-20)/1)/(a + -1)?
False
Let b = 30 - 7. Does 16 divide b?
False
Suppose c = 2 + 9. Suppose -4*q - 28 = -3*t, 3*t + q - 42 = c. Is t a multiple of 16?
True
Let f(u) = u**2 - 8*u - 25. Is f(-15) a multiple of 16?
True
Let c = -112 - -279. Is 20 a factor of c?
False
Suppose -b = 5*f + 69, 0 = -4*f - 2*b - 3*b - 51. Is (-150)/(-35) - (-4)/f a multiple of 2?
True
Suppose -2*l = -l - 31. Is l a multiple of 10?
False
Does 6 divide (8 + -24)*6/(-4)?
True
Suppose z = -l - 4*z + 28, 3*l = 5*z - 16. Suppose 54 = l*m + 3. Is m a multiple of 4?
False
Let h = 11 + -2. Is 9 a factor of h?
True
Suppose 8 = v - 39. Let c = -28 + v. Is c a multiple of 19?
True
Let a = 2 - -35. Is 9 a factor of a?
False
Let s(v) = 2*v**2 - 3*v + 100. Is s(0) a multiple of 28?
False
Suppose 27 = 4*b - f, f - 36 = -5*b + 3*f. Let j = b - 6. Suppose v - t = 17, -t + 47 = 3*v - j*t. Is 8 a factor of v?
True
Let a be (24/(-15))/((-1)/5). Suppose 5*c = a*v - 3*v + 180, -v - 104 = -3*c. Is c a multiple of 17?
True
Let p(g) = 25*g - 11. Let m be p(5). Does 12 divide 6/(-3)*m/(-4)?
False
Let t(y) = 34*y**2 + 2*y - 2. Is 42 a factor of t(-2)?
False
Suppose 33 + 201 = 13*o. Is o a multiple of 9?
True
Let r be -10*(0 - (-350)/(-4)). Suppose -5*k = -595 - r. Does 21 divide (12/18)/(4/k)?
False
Suppose r - 2 = -0. Suppose -r*j - 3*j + 30 = 0. Is j a multiple of 3?
True
Let w(q) = -q**2 + 8*q - 3. Let n be w(8). Does 8 divide 8/((3/(-2))/n)?
True
Suppose 5*m - 91 = m - 3*d, d = m - 14. Suppose -62 = -4*l + 30. Suppose -m - l = -2*g. Is g a multiple of 7?
True
Let o be 3 - (0 - (-4 - -2)). Let c(p) = 4*p**2 - p + 2 + 12*p**2 - o. Is 6 a factor of c(1)?
False
Let i(m) = 3*m + 1. Let a be i(-1). Let h be ((-6)/5)/(a/15). Let w = h - 3. Is w a multiple of 6?
True
Let p be (-10)/(-25) - (-147)/(-5). Let w = p + 57. Suppose 0 = 4*d - 9*d - 3*u + 86,