 be 4 - 2 - v/(-2). Suppose 2*h - 3*f - 138 = 0, h - 68 = -0*h + b*f. Is 18 a factor of h?
True
Suppose 2*v - 1732 = -4*d + 7*v, -1298 = -3*d + 4*v. Let p be d/30 + (-2)/(-5). Suppose f + 6 - p = 0. Does 9 divide f?
True
Suppose 2*z - 3*z = o - 5, 2*o - 10 = 5*z. Suppose -12*r + 7*r + 1050 = z. Is r a multiple of 35?
True
Let c(k) = -k + 105 + 59 + 54 - 2*k**2 - k**2. Is c(0) a multiple of 27?
False
Let h = 16 - 22. Is (308/(-33))/(4/h) a multiple of 7?
True
Suppose -5*g = -0*g + n - 13, 4*g + n - 10 = 0. Suppose a - 132 = -g*a. Is 11 a factor of a?
True
Suppose -j - 3*y + 780 = 0, -13*j - 764 = -14*j + y. Is 4 a factor of j?
True
Let g = -62 - -65. Let u be (-8)/(((-15)/18)/5). Suppose -w - 2*d + u = 0, g*w - 2*d - 78 = w. Does 14 divide w?
True
Let y(f) = -f**3 - 10*f**2 + 11*f + 1. Let k be y(-11). Suppose 0 = -d + g - k, -5*d + d - 3*g = 25. Does 18 divide d/(-6) + 1330/21?
False
Let h = 355 + -134. Is 17 a factor of h?
True
Let r(w) = w + 18. Let l(v) = v**3 - 5*v**2 - 6*v + 9. Let k be l(6). Is 9 a factor of r(k)?
True
Let q(c) = -c**2 - 13*c + 14. Let p be -62*4/8 - -4. Let n = p + 18. Is q(n) a multiple of 25?
True
Suppose -2*c - 62 = -722. Suppose 4*t = -4*y + 660, c = -4*y + 6*y - 2*t. Does 11 divide y?
True
Let d(c) be the second derivative of -c**4/12 + 4*c**3/3 - 3*c**2/2 + 11*c. Suppose 0 = 5*m - 6 - 19. Is d(m) a multiple of 12?
True
Let x(m) be the third derivative of 0*m + 0 + 4/3*m**3 + 1/30*m**5 + 9*m**2 + 3/8*m**4. Does 26 divide x(-6)?
True
Suppose 67 - 25 = -5*b + g, 4*b + 2*g = -28. Let y be 9*(-4)/(b/(-2)). Let c(o) = o**3 + 11*o**2 + 10*o + 11. Does 21 divide c(y)?
False
Suppose -2*m = 4*v - 9*v + 18, 2*v = -3*m - 8. Suppose -3*n = 9, v*p + 5*n = 34 + 17. Is p a multiple of 4?
False
Is (-117)/26*(0 + 124/(-3)) a multiple of 62?
True
Let j(n) = 15*n**2 + 10*n + 5. Is j(6) a multiple of 6?
False
Let r = -347 - -557. Is 31 a factor of r?
False
Is 22 + -21 - (1 - 2) a multiple of 2?
True
Suppose -3*p + 3*z = -2*z - 119, 90 = 2*p + 2*z. Does 20 divide (0 + 9)/(-3) + p?
True
Let f(h) = -76*h + 607. Is 4 a factor of f(4)?
False
Let n = -383 + 461. Does 6 divide n?
True
Let g(b) = 9*b. Suppose v = 5*w - 5, 4*w - w - 4*v = -14. Suppose 8*c = 7*c + w. Is g(c) a multiple of 9?
True
Suppose -6*i + 4*i = -d - 3535, 5*i = 2*d + 8840. Does 10 divide i?
True
Is 4 a factor of (-4)/22 - (-31072)/44?
False
Let z = 29 + 30. Is z a multiple of 12?
False
Let l be 8/(-3 - (3 + -5)). Let d(q) = q**3 + 7*q**2 - 9*q + 10. Let g be d(l). Suppose 58 = 4*y + g. Does 5 divide y?
True
Suppose -n - 15 = -6*n. Let l(c) = 3*c + 80 - 79 + n*c**3 - c. Is 29 a factor of l(2)?
True
Let a(k) = 16*k**2 - 12*k - 24. Does 26 divide a(-6)?
True
Let m(h) = 2*h**2 + 25*h + 16. Let b be m(-12). Suppose 0 = 3*z + b*x - 169, 4*z = 3*z - 2*x + 57. Does 10 divide z?
False
Suppose -w = m - 508, 4*m - 4*w = -45 + 2093. Is 15 a factor of m?
True
Let n be 28/(-1)*1/(-1). Let l = n - 18. Let w = -2 + l. Is 2 a factor of w?
True
Let o = -77 + 223. Suppose 0 = 3*a - 8 - 7. Suppose o = a*i - 149. Is 16 a factor of i?
False
Suppose -61*s - 651 = -4*p - 60*s, -4*s - 822 = -5*p. Is 11 a factor of p?
False
Let r = -97 - -33. Let m = r + 109. Is 15 a factor of m?
True
Is 9 a factor of (-3707)/(-11) - -3*(-3 + 2)?
False
Is -61*(6 - (-116)/(-4)) a multiple of 58?
False
Suppose -15*k - 1 = -61. Suppose 0 = -k*m + 172 + 220. Is m a multiple of 7?
True
Does 24 divide (-12)/(-9) - (-13912)/24?
False
Let z = -47 + 58. Let v(k) = -5*k + 3*k**2 - 6 - 5*k**2 + k**2 + 19*k. Is 17 a factor of v(z)?
False
Suppose 0 = 2*w - 3 + 5. Let o be (-8)/(-16)*(-2)/w. Is 12 a factor of 47 - (o - 2 - 1)?
False
Suppose -4*n - l + 7087 = 0, -133*l = n - 136*l - 1788. Is n a multiple of 9?
True
Let q = -164 - -98. Let m = 234 + q. Does 28 divide m?
True
Let y(p) be the second derivative of 21*p**5/20 - p**3/6 + 5*p**2/2 - p. Let m(x) be the first derivative of y(x). Is m(1) a multiple of 22?
False
Let s be 3 + -8 + (-12)/(-4). Let a(k) = 5*k**2 + 2*k - 2. Is 7 a factor of a(s)?
True
Let l = 2217 - -18. Is l a multiple of 15?
True
Suppose -1589 = -31*x + 1170. Is x a multiple of 15?
False
Suppose -2*b - 2*y + 308 = 0, y + 166 = b - 2*y. Does 68 divide b?
False
Suppose 0 = -1007*s + 994*s + 12987. Is 9 a factor of s?
True
Suppose -a + 58 = 3*j, -2*j - 92 = -7*j - 4*a. Let r be (j - -4)*6/(-4). Does 13 divide (-6)/(-1) - 3 - r?
True
Suppose -53*d = -22038 - 12995. Does 51 divide d?
False
Suppose 1 + 44 = 3*b. Suppose b + 282 = 3*m. Does 14 divide m?
False
Let r(m) = m**2 - 2. Suppose -7 = -5*c + 8. Let y be r(c). Let j(b) = 8*b + 4. Is j(y) a multiple of 15?
True
Let x be 3/(1 + 0) - 1. Suppose x*v = -61 + 241. Is v a multiple of 18?
True
Let z(c) = -c**2 - 22*c - 11. Is 9 a factor of z(-16)?
False
Let h = 48 + -46. Suppose -h*m = 5*z - 178, -346 = -4*m - z - 4*z. Is 11 a factor of m?
False
Suppose 13*w - 8*w = 45. Does 18 divide 51/(w/(-3) - -4)?
False
Let q = -891 + 1270. Let r = q + -211. Does 21 divide r?
True
Let t(u) = -1. Let w(k) = -k - 19. Let p(h) = t(h) + w(h). Let c be p(0). Does 11 divide ((-50)/c)/((-1)/(-14))?
False
Let k = 278 + 150. Does 27 divide k?
False
Suppose o + 2*o = -4*l + 115, 4*l = -2*o + 110. Let k(r) = r**3 - 5*r**2 - 6*r + 6. Let j be k(7). Let x = j - l. Is 24 a factor of x?
False
Let t = -2 - -2. Suppose 0 = 5*a - 4*z - 37, t*z + 20 = 2*a + z. Does 3 divide a?
True
Let q(l) = 21*l + 721. Does 7 divide q(-31)?
True
Suppose -6*j - 17 = 55. Is (-1)/(8/(-336)*(-14)/j) a multiple of 10?
False
Let h = 39 - 12. Suppose 2*n = -2*m + 19 + h, -n + 67 = 3*m. Suppose -m + 54 = 2*v. Is v a multiple of 11?
False
Let t(f) = -f**2 + 8*f + 5. Let l be t(6). Let b(c) = -c**2 + 17*c + 16. Is b(l) a multiple of 8?
True
Let u = 6 - -4. Let f be (-4)/(-8)*1*u. Suppose f*h - 274 + 64 = 0. Does 29 divide h?
False
Suppose -3*r + 69 = m - 8*r, 4*m + r = 339. Is 84 a factor of m?
True
Suppose -1325 = -5*n + 2*r, 3*r - 523 = -5*n + 777. Is n a multiple of 3?
False
Suppose -r + 5*d + 112 = -217, 4*r - 4*d = 1380. Is 21 a factor of r?
False
Suppose -o + 3*v + 103 = 5*v, 3*o = v + 281. Does 19 divide o?
True
Let o be (-36)/(-15)*15*2. Suppose 2*s + 4*q - 36 = 0, 4*s - o = 5*q - 0*q. Let v = s + -11. Does 4 divide v?
False
Let l = 4 + -1. Suppose 5*k + 8 = n, 0*k = 4*n - l*k - 83. Is 3 a factor of n?
False
Let z(h) = -2*h**2 + 8*h - 5. Let k(u) = u**2 - 7*u + 4. Let l(m) = 3*k(m) + 2*z(m). Let s be l(-4). Let o(d) = d**2 - 6*d + 4. Is o(s) a multiple of 2?
True
Let r(q) = 8*q**2 - 3*q - 168. Does 15 divide r(-12)?
True
Let c be 44/12 - (-2)/6. Suppose 0 = 3*t - c*n - 339, -2*t - 7*n + 233 = -12*n. Is t a multiple of 14?
False
Suppose 0 = -5*b + f + 6970, 7*b - 5*f = 5*b + 2765. Is b a multiple of 8?
False
Let o(t) = t**2 - 26*t - 22. Let a be o(23). Let f = -66 - a. Is f a multiple of 11?
False
Suppose -4*j - 5*d = 180, 5*j - 4*d + 184 = -0*d. Let q = j - -58. Let h = q + -6. Is 3 a factor of h?
True
Let a = 3 + -3. Let y be (-1 - (-44 - -2)) + a. Suppose 5*d + j - 249 = 0, -2*d + y = 2*j - 57. Is 28 a factor of d?
False
Let c(g) = 9*g + 5. Let b(v) = 26*v + 15. Let q(x) = 3*b(x) - 8*c(x). Does 15 divide q(3)?
False
Let v be (1 + 2)/(21/14). Suppose 4 = -2*y + 5*d + 11, -2*y + v*d + 10 = 0. Is 3 a factor of (-2)/(y/9)*-1?
True
Let x(m) = -37*m - 16. Let t be x(-3). Suppose -t = -21*v + 16*v. Does 6 divide v?
False
Let y(g) = -5*g**3 - 7*g**2 + 9*g - 7. Let a(s) = 11*s**3 + 15*s**2 - 19*s + 14. Let f(q) = -4*a(q) - 9*y(q). Let o be f(5). Does 7 divide 7/28 + o/8?
False
Let h(w) = 3*w + 9. Let v be h(-3). Let i(m) = m + 71. Does 12 divide i(v)?
False
Let c be ((-2)/(-4))/((-2)/12). Let n be c + -1*(-40)/(-2). Let p = n - -39. Does 8 divide p?
True
Let o(t) = -9*t + 34. Let b be o(4). Let l(m) be the second derivative of 5*m**4/12 + m**3/3 + 2*m**2 - 5*m. Is 9 a factor of l(b)?
False
Let h(a) = -996*a - 118. Does 25 divide h(-1)?
False
Let h = 286 + -120. Suppose -5*v + h = 26. Is v a multiple of 26?
False
Suppose -5*j + 13*j = 1736. Let x = j + -97. Is 20 a factor of x?
True
Suppose -r - 4*w = -3*w + 1, -2*w + 1 = 5*r. Let g(y) = 37*y**2 + 2*y - 1. Let t be g(r). Suppose -94 = -4*u + t. Does 10 divide u?
False
Does 7 divide (27/(-18))/(0 - 1/86)?
False
Let g(o) = 5*o**3 - 28*o**2 + 27*o - 24. Let f(s) = -s**