uppose 71 = z*r - 94. Does 8 divide r?
False
Suppose -s - k + 4 = 0, -2*k = -3*s - 7 - 1. Suppose s = 5*g - 4 - 171. Does 7 divide g?
True
Suppose -o - 3653 = -5*x, -2*x - 6*o + o = -1445. Is x a multiple of 14?
False
Suppose -v - 4 = -3*v, -3*v + 198 = -4*h. Let b = -71 - h. Let y = b + 42. Does 6 divide y?
False
Let w = -1206 + 1490. Does 2 divide w?
True
Let n = 962 - 652. Let m = -158 + n. Does 12 divide ((-6)/(-4))/(6/m)?
False
Let g be 5 - (-3 + 2 + 3). Suppose 0 = 3*u - 10 - 2, -2*h - g*u = -294. Is 46 a factor of h?
False
Let h = -2110 + 3410. Is h a multiple of 29?
False
Suppose 0 = -5*m - 21 - 14. Let z = m + 17. Suppose 0 = 4*t - 4*n - z - 74, -4*n = -12. Does 6 divide t?
True
Suppose -5*x - 4801 = -3*o + 3760, 0 = -2*x - 8. Is 16 a factor of o?
False
Let a(i) = i**2 + i + 2. Let h be a(0). Let r be (1 - -28)*(h + -1). Suppose -4*o + r = 1. Is o a multiple of 5?
False
Suppose -916 + 196 = -3*w. Let x = -69 + w. Does 34 divide x?
False
Suppose -x - 8 + 7 = 0. Is x*370/(1 + -6) a multiple of 13?
False
Let o = 1439 - 1370. Is 3 a factor of o?
True
Let x be 4*4 - (2 - 0). Let r = -461 - -463. Does 3 divide (2 + x)/(r/3)?
True
Does 55 divide 1380*(6 - 196/35)?
False
Let u = 111 - 241. Let j = -60 - u. Is j a multiple of 10?
True
Let a(w) = -2*w - 2. Let y be a(-4). Suppose -y + 15 = 3*h. Is ((-3)/h)/1*-31 a multiple of 21?
False
Is (-13)/78 + 40055/30 a multiple of 89?
True
Let s = -675 - -1466. Is s a multiple of 56?
False
Let w = 2347 + -2015. Is w a multiple of 13?
False
Is 1933/7 + 9 + 192/(-21) a multiple of 8?
False
Let c(w) = w + 27. Let i(x) = 286. Let n(g) = 26. Let j(s) = -6*i(s) + 65*n(s). Let a(q) = -4*c(q) - 5*j(q). Is a(-7) a multiple of 10?
True
Suppose -16*l = -5345 - 14719. Does 57 divide l?
True
Let z = 20 + -31. Does 3 divide 4880/220 - (-2)/z?
False
Let u = 1426 + -496. Is u a multiple of 15?
True
Suppose -w - 102 + 189 = 0. Does 9 divide w?
False
Suppose -3*a - 937 = 5*t, -6*t + a = -t + 941. Let i = -128 - t. Is i a multiple of 12?
True
Suppose 4*t = -p - 0*p + 16, 19 = 5*t + p. Suppose -3*g + i = -2*g - 161, -157 = -g + t*i. Is 14 a factor of g?
False
Let j(x) be the first derivative of x**3/3 + 9*x**2/2 + 4*x + 7. Is j(-10) a multiple of 9?
False
Suppose 3*o - 1757 = -5*a, o + 694 = 7*a - 5*a. Is 51 a factor of a?
False
Suppose -3 + 27 = 6*g. Suppose g*w - 11 = 109. Does 10 divide w?
True
Let p = 6509 - 4301. Does 24 divide p?
True
Suppose 2*j + 3*j = -5*q + 3930, 6 = 3*j. Does 28 divide q?
True
Suppose -8*d + d = -2121. Let x = -186 + d. Is 39 a factor of x?
True
Let j = -156 + 175. Is 4 a factor of j?
False
Let a(y) = -3*y - 42. Let u be a(-12). Is ((-3)/(-2))/((-2373)/(-392) + u) a multiple of 7?
True
Let m = 73 + 23. Suppose c = 3*c - m. Is 14 a factor of c?
False
Let c(l) = l**2 - 10*l - 2. Let o be c(11). Let w be 24/o*6/8. Is 3 a factor of 2/(w - (-96)/(-52))?
False
Let d(b) = -b**2 + 2*b - 3. Let r be d(2). Let t = -2 + r. Is 4 a factor of (-3)/15 + (-41)/t?
True
Suppose 0 = -h + 5 - 3. Let p(x) = x**3 - 10*x**2 - 15*x - 6. Let g(d) = -3*d**3 + 19*d**2 + 31*d + 12. Let i(c) = h*g(c) + 5*p(c). Is i(-11) a multiple of 4?
True
Let o(a) = -27*a + 13. Let c(n) = -26*n + 14. Let h(m) = -6*c(m) + 7*o(m). Does 15 divide h(-1)?
False
Suppose 0 = m + 3*m + 168. Let j = m + 24. Let i = j - -32. Does 4 divide i?
False
Let j(w) = 32*w**3 - 2*w**2 + 6*w - 19. Is j(5) a multiple of 17?
True
Suppose -5*g + 4 = 2*k, -k = -g + 4 - 20. Suppose 0 = -j + k + 18. Does 5 divide j?
True
Suppose -4*f + 17 = t + 5, 2*t = 5*f - 2. Suppose -5*b + 119 = t*d, -5*d + 2*b = -2*b - 118. Is 20 a factor of d?
False
Let i = -21 - -25. Suppose i*b = y + y + 112, 2*y - 70 = -3*b. Is b a multiple of 3?
False
Let m = 141 + -259. Let d = 187 + m. Suppose -d + 264 = 5*u. Is u a multiple of 13?
True
Let m(i) = 4*i - 2. Let u(t) = 7*t - 5. Let k(y) = 5*m(y) - 3*u(y). Let j be k(0). Is 8 a factor of (4 - (-16)/j)*5?
False
Suppose 56*o + 12551 - 37807 = 0. Is 41 a factor of o?
True
Suppose 0 = 5*c - 20, -4*n + 150 = 4*c + 30. Suppose v - 1 = -19. Let i = n + v. Does 4 divide i?
True
Suppose 0 = 4*r - 0*r. Suppose a + a - 96 = r. Is 24 a factor of a?
True
Suppose 0 = 5*z - 0*z + 40. Let q(l) = -2*l + 6. Let p(v) = -v + 7. Let n(h) = -6*p(h) + 7*q(h). Is 16 a factor of n(z)?
True
Suppose -5*n + z = -2*z - 7788, n - 5*z = 1562. Let r be (-1)/6 + (-1085)/(-30). Is n/r - 1/4 a multiple of 18?
False
Let p be (-98)/4 - (-2)/(-4). Let h = 21 + p. Let v = h - -22. Is v a multiple of 9?
True
Suppose 3*d - 124 + 22 = 0. Suppose d = 4*a + 10. Let w(i) = 4*i + 3. Does 9 divide w(a)?
True
Let w = 2290 + -1345. Is 18 a factor of w?
False
Suppose 1035 = -2*p + 11*p. Let b be ((-8)/6 + 0)*-129. Let t = b - p. Does 16 divide t?
False
Let j(b) = 2*b**3 + 2*b**2 + 14. Let o be j(0). Let k(z) = -z**3 + 14*z**2 + 3*z + 3. Is k(o) a multiple of 15?
True
Let f = -452 + 2232. Is f a multiple of 20?
True
Let t be (1 - -2) + 100/5. Let w(m) = -5*m + t - 1 + 4*m. Is w(10) a multiple of 4?
True
Let u(q) = -q**3 + 5*q**2 + 2*q + 9. Let r be u(5). Let c be -1 + (18/3 - 1). Let g = r - c. Is g a multiple of 12?
False
Let t(h) = h**3 + 5*h**2 - 15*h - 19. Let c be t(-9). Let b = -80 - c. Does 20 divide b?
False
Is 74 a factor of (9 + -1)*(-12 - 1505/(-14))?
False
Suppose -2*v - 906 = -5*v. Suppose 8 = -4*g, -4*g = 4*l - v - 170. Does 28 divide l?
False
Let x be (-8 - -5)/(6/(-10)). Suppose 0 = 2*i - 6, -2*r + x + 5 = -2*i. Suppose r = 3*l - 43. Is 17 a factor of l?
True
Let s(q) = 5*q**2 + 3*q + 53. Is s(10) a multiple of 11?
True
Suppose -4*j + g - 2*g = -2773, j + 2*g = 688. Is 12 a factor of j?
False
Let i(v) = -134*v + 80. Does 38 divide i(-5)?
False
Let k be (-3 - (-16)/4)/((-1)/(-3)). Does 13 divide (k + 27/(-15))/((-4)/(-130))?
True
Let b be (-1)/(-2 - 251/(-126)). Suppose -102*k - b = -105*k. Does 27 divide k?
False
Let v(c) = 10*c - 31. Suppose -p - p + 3*a = -32, 0 = -2*p + 5*a + 36. Does 11 divide v(p)?
True
Does 10 divide 15 + -13 - 1*1*-898?
True
Let c(a) = a**3 - 5*a**2 + a - 1. Let x(b) be the second derivative of -b**4/12 + 7*b**3/3 - 4*b**2 - b. Let j be x(13). Is 4 a factor of c(j)?
True
Let o be (-4)/(-10) + (-715)/(-25) + 3. Is (-31 + o)*(64 - 1) a multiple of 7?
True
Let q(c) be the second derivative of 7/6*c**3 + 0 - c + 2*c**2. Does 13 divide q(5)?
True
Let z be 12/(-60) + (-42)/(-10). Suppose -21 = -k + z. Is 5 a factor of k?
True
Let u(i) = 4*i. Let d be u(4). Suppose -4*a = -20, -2*m + 2*a = -0*m. Suppose m*q = q + d. Is q a multiple of 3?
False
Let w be 3 - -6*(-3)/6. Suppose k = -5*n + 141, -n + w*k + 3*k = -41. Does 18 divide n?
False
Let v(r) = -r**3 + 7*r**2 + 2*r + 9. Let m be v(7). Let c = m - 53. Does 26 divide (-2328)/c + (-2)/(-5)?
True
Let n be (14 - 15)/(1/(-5)). Suppose 0 = -5*i - q + 355, -2*i = -6*i - 3*q + 273. Suppose 0*u = 3*u + 3*f - 45, -i = -n*u - 4*f. Does 4 divide u?
True
Suppose -2*w + 4*w + 541 = o, o - w = 543. Is o a multiple of 50?
False
Let i(u) = -10 + 0 + 7*u - 4*u + 0*u**2 - 2*u**2 + u**3. Is 40 a factor of i(5)?
True
Let i(s) = s**2 - s**2 - 142 + 4*s**2 + 145 + s**3. Is i(-3) a multiple of 6?
True
Suppose -1222 = -3*m + 5*c - 4*c, 5*m - 2022 = -2*c. Does 12 divide m?
False
Let o = -42 + 41. Does 54 divide 30/(-40)*168/o?
False
Suppose -3*x - 11 = -y, -3*y + y - 5*x = 11. Suppose 0 = 5*s + 2*h - 4, 0*s - 2*h = -y*s + 10. Does 24 divide (-3012)/(-42) + s/7?
True
Let b(r) = -7 - 12 + 7 - 1251*r + 1242*r. Let i(l) = -l - 1. Let q be i(4). Does 11 divide b(q)?
True
Suppose -12*j + 1365 = -7*j. Suppose -2*q + j - 181 = 0. Is q a multiple of 4?
False
Let h(x) = 2*x + 4*x - x - 16 + x**2 + 8. Let s be h(-7). Does 4 divide (-111)/(-9) + (-2)/s?
True
Let b(n) = n**3 + 18*n**2 + 18*n + 21. Let r be b(-17). Suppose -2*w + 4*w + 2 = 0, 0 = 4*q - 2*w - 662. Suppose -r*h + q = h. Is 6 a factor of h?
False
Let z(r) = r + 2. Let w be z(-1). Let j be -4 + w + 1 + -10. Let t = 22 - j. Is 17 a factor of t?
True
Let n be (100/8)/(-5)*8/(-5). Suppose -n*s + 13 = -0*l + l, 3*l + 4*s = 47. Is 7 a factor of l?
False
Does 7 divide ((-2)/1 - 0)/((-2)/70)?
True
Let t(b) = -22*b + 4. Suppose 2*v + 3 = 1. Is 9 a factor of t(v)?
False
Let r(q) = q**3 - 14*q**2 - 17*q + 16. Let j be r(12). Is (j/(-35))/(4/10) a multiple of 33?
False
Suppose -207 - 11 