 -w*d. Suppose 3*v + 6 = d, -2*h = -0*h - 2*v - 204. Does 20 divide h?
True
Suppose -b - 46 = -5*q, 0 = 5*b - 2*q - 47 + 231. Is 45 a factor of 2*-12*b/8?
False
Suppose 4*k = -24 + 68. Suppose k*g = 7*g. Suppose g = -w + 29 - 8. Is 21 a factor of w?
True
Suppose 0 = -d + 23 - 7. Let h be 4/((-7)/(245/10)). Let w = d - h. Does 11 divide w?
False
Suppose -21*o + 9328 = o. Does 7 divide o?
False
Suppose -35 = -4*r + 53. Suppose 27*v + 30 = r*v. Is (-20)/v*18/12 even?
False
Let h(o) = -1857*o - 158. Does 14 divide h(-2)?
True
Let g be 1/(-5) - (-84)/20. Suppose -g*t - 90 = -22. Let s = t + 32. Does 15 divide s?
True
Suppose -4*a + 7227 = 5*l, 3*l + 8*a - 4338 = 5*a. Does 73 divide l?
False
Suppose 0*y + 2*y - 10 = 0. Suppose 2*r = -2*m - m + 434, -y*m = -5*r - 765. Is m a multiple of 21?
False
Let y(w) = 2*w**3 - w**2 - 4*w. Let a = 29 + -26. Let u be y(a). Suppose -5*n + u = -147. Is 12 a factor of n?
True
Suppose 11*h - 9249 = 5*h + 3*l, 4*l + 3092 = 2*h. Is 28 a factor of h?
True
Let b(d) = -d**3 - 13*d**2 - 20*d + 21. Let l be b(-11). Suppose 4*o = -0*o + 44. Let v = l + o. Is v a multiple of 7?
False
Suppose v - 382 - 164 = 0. Suppose -2*y - y = -v. Suppose -4*n = 2*z - 76, -8*z - 2*n + y = -3*z. Does 12 divide z?
True
Let y = -606 - -724. Is y even?
True
Suppose 41*d - 6 = 38*d. Let k(c) = 135*c - 5. Is 39 a factor of k(d)?
False
Suppose -5*f = -11*f + 720. Is 40 a factor of f?
True
Let d = 87 + -86. Suppose -3*k + 2*k + d = 0, -5*k + 169 = b. Does 9 divide b?
False
Suppose 3*m - g - 387 = 62, -3*m + 473 = 5*g. Is m a multiple of 13?
False
Does 18 divide (-3369)/42*-2 + (-28)/(-49)?
False
Suppose 0 = -11*x + 17*x - 108. Suppose x = -4*o + 318. Is 25 a factor of o?
True
Let i = 27 + -34. Let h(f) = -2*f**2 - 7*f - 4. Let j be h(i). Let n = j + 89. Is n a multiple of 12?
True
Suppose a - 64 = -y + 159, -5*y + 1145 = -a. Does 38 divide y?
True
Let n(d) = d**3 - 3*d**2 + 2*d. Let p be 3 + 2 + (-3 - -1). Let v be n(p). Does 27 divide (-81)/(v/4*-1)?
True
Suppose 3*x - 6*v - 575 = -11*v, -2*x = -v - 405. Does 13 divide x?
False
Suppose 4*l - 1911 = -3*l. Let q = 383 - l. Is 22 a factor of q?
True
Let o(l) = 43*l**3 + 2*l**2 - 3*l + 2. Let u be o(1). Suppose -4*r + u = 5*q, 0*r + 4*q - 16 = -2*r. Is r a multiple of 8?
True
Let g(i) = 1. Let y(b) = -5*b + 18. Let n(m) = 2*m - 11. Let a be n(5). Let v(d) = a*y(d) - 3*g(d). Does 24 divide v(9)?
True
Suppose 3*i = 8*i - 25. Suppose -i*l + 109 = x, l = -2*x + x + 21. Is 4 a factor of l?
False
Does 50 divide (6 - 165/25)*-220?
False
Is 83 a factor of (5 + (-14 - -2))*-19?
False
Let s be 9/(-15) + (-511)/(-35). Let w = s - 9. Does 5 divide w?
True
Is 5 a factor of (83 - (-2 + -5))*(-1)/(-3)?
True
Let s = 32 + -17. Is 14 a factor of 624/9 - (-10)/s?
True
Let j be 2/2*3*2. Let t = -21 - -24. Suppose 206 = 4*p - 5*s, t*p - j*p = -s - 160. Is 13 a factor of p?
False
Let l = 12 + -7. Suppose o - l*o = m - 24, 116 = 3*m + o. Is m a multiple of 8?
True
Let g(v) = 4*v**2 + 23*v + 10. Let u be g(-10). Suppose -3*s - 3*s = -u. Is 6 a factor of s?
True
Let s = 87 + -85. Suppose 0*j + 4 = j. Suppose w = j*q - 1 + 13, s*w - 3*q = 34. Is w a multiple of 20?
True
Let p(h) = h**3 + 8*h**2 - 6*h - 1. Is p(6) a multiple of 7?
False
Let q(x) = -x**2 - 4*x + 12. Let h be q(-12). Let a = -40 - h. Is 11 a factor of a?
True
Suppose -7*v + 3631 = -499. Is 27 a factor of v?
False
Let j(p) = p**2 - 3*p - 4. Let k(v) = 2*v**2 - 7*v - 9. Let a(n) = 7*j(n) - 3*k(n). Let r(w) = -w**2 + 2. Let h(d) = 4*a(d) + 5*r(d). Is 6 a factor of h(0)?
True
Let l = 49 + 3. Is 4 a factor of l?
True
Suppose 2*h - 11 = 17. Suppose -4*r + 158 = 5*v, -5*v - r + 155 = 4*r. Let y = h + v. Is y a multiple of 8?
True
Suppose -4 = -2*s + 6. Suppose -5*p + 4*r - 3*r + 84 = 0, s*p + 4*r - 64 = 0. Is 16 a factor of p?
True
Suppose 31 + 19 = 5*j. Suppose -4*w + j = -30. Let l = 6 + w. Is l a multiple of 11?
False
Let u = -8 + 111. Let q = 118 - u. Does 3 divide q?
True
Let w = -283 - -353. Does 3 divide w?
False
Let a be 4 + 332/(-8)*-2. Let n = a + -32. Suppose 6*w + n = 11*w. Is 10 a factor of w?
False
Suppose 6*a - 156 = 3*a. Suppose g - 8 = a. Is 10 a factor of g?
True
Let w(k) = 19*k**2 - 6*k - 1. Let q(y) = -20*y**2 + 7*y. Let p(c) = 3*q(c) + 4*w(c). Is 10 a factor of p(-1)?
False
Suppose 200 = -4*m + h, 7*m = 2*m - 2*h - 263. Let c = m - -25. Let x = 66 + c. Is 9 a factor of x?
False
Let k = -302 + 662. Suppose k = -33*g + 36*g. Does 40 divide g?
True
Suppose -4*s - a = -2248 + 633, 4*s = -5*a + 1611. Is s a multiple of 10?
False
Let z(i) = i + 1. Let p(y) = -y**2 - y + 19. Let h(k) = p(k) - 2*z(k). Let u(o) = -2*o + 9. Let x(n) = -3*h(n) + 5*u(n). Does 8 divide x(4)?
False
Suppose -1783 = 14*n - 14733. Is 16 a factor of n?
False
Let b be ((-2)/(-2) + 0)*17. Suppose -12*l = -19*l + 322. Suppose u = -u + 2*d + l, 0 = u - 4*d - b. Is 25 a factor of u?
True
Let b(h) = -h**3 - 4*h**2 - h - 2. Let t be b(-3). Does 11 divide (((-3)/(-4))/(-1))/(t/128)?
False
Suppose -26*l + 3300 = -21*l. Suppose -l = -21*o + 18*o. Does 10 divide o?
True
Let l(u) = -u + 41. Suppose 4*n + 32 = 4*w, 3*w + 1 = -5*n + 25. Is l(w) a multiple of 4?
False
Let s(i) = i**3 - 24*i**2 - 19*i - 11. Is s(25) a multiple of 30?
False
Let o(w) = -9*w**2 + 8*w - 14. Let d be o(6). Let g = d - -482. Does 16 divide g?
True
Suppose 4*i - 4*x = 128, -2*i = 2*i - x - 131. Suppose -n = 3*m - 212, 0*m - 5*m + 360 = -5*n. Let o = m - i. Is 22 a factor of o?
False
Let j(m) = -27*m + 1. Let r be j(-1). Suppose -r = -2*c - 2*a + a, 2*c - 4*a = 48. Is -55*5/((-100)/c) a multiple of 22?
True
Let w = -226 + 244. Is 3 a factor of w?
True
Suppose 5*l = 7*l - 272. Suppose 0 = -3*s + 92 + l. Is s a multiple of 19?
True
Let l be 5 - (0/(-1))/(-3). Suppose -3*u - 18 = -l*u. Let a = u + 34. Is 16 a factor of a?
False
Suppose -4*x - 6 = -x, 5*x + 4115 = 5*w. Is w a multiple of 27?
False
Let w = 191 - 147. Is w a multiple of 44?
True
Let f = 298 - 262. Does 7 divide f?
False
Does 16 divide (-8)/(-52) - 11/((-715)/28590)?
False
Suppose 5*v = 5*s - 1 + 66, 3*s - 9 = -3*v. Does 21 divide 363/(-22)*v/(-3)?
False
Suppose o = -3*o + 76. Suppose -o = -5*u + 2*x - x, -4*x - 8 = -3*u. Is u a multiple of 3?
False
Let q(x) = -2*x**2 - x + 3. Let c be q(-3). Let b(z) = -3*z - 20. Is 16 a factor of b(c)?
True
Suppose -7*r + 11*r + 272 = 0. Is 3 + r/6*-3 a multiple of 10?
False
Suppose -2*b - b = -4*s - 2740, 4528 = 5*b + 3*s. Suppose 7*p + b = 5*q + 5*p, -5*p + 733 = 4*q. Is q a multiple of 14?
True
Is -2*(6 - (-10925)/(-10)) a multiple of 41?
True
Let w(h) = -h**3 + 2*h**2 + 5. Let k be w(3). Let p(d) = -12*d + 10. Does 6 divide p(k)?
False
Suppose 0 = -7*f + 52 - 38. Let r(x) = x + 16. Let d be r(0). Suppose f*i = i + d. Is i a multiple of 8?
True
Let p = -9 + -1. Let t be (-1064)/(-5) + (-2)/p. Suppose 3*y = 6*k - 2*k + 147, t = 5*y + 4*k. Does 15 divide y?
True
Let k(g) = -4 - 10 + 6 + 0 + 8*g. Does 28 divide k(8)?
True
Is 552 + 6 + (-2 - -2) a multiple of 9?
True
Suppose -3*i + 3*j + 88 = -1352, -5*i = 3*j - 2408. Does 21 divide i?
False
Let q(x) = 13*x**2 - 2*x - 8. Is 24 a factor of q(4)?
True
Let h(r) = r**3 + 21*r**2 + 27*r - 17. Does 12 divide h(-19)?
True
Does 29 divide (-22)/(411/(-81) - -5)?
False
Let w = 555 + -372. Does 40 divide w?
False
Let r be ((32/(-6))/4)/(36/(-81)). Suppose -1050 = 2*l - 7*l. Suppose 4*k - l = 2*f, -45 = -r*k - 5*f + 80. Does 17 divide k?
False
Let n be (-11 - -8)/((-3)/2). Suppose -3*w = -3, -4*w = -g - w + n. Suppose g*u - 192 = 4*a, 4*a = -5*u - 59 + 227. Is 18 a factor of u?
True
Let m = 41 + 7. Does 48 divide m?
True
Suppose -12 = -3*f + f. Let v(s) = -7 - s**2 + 104*s + 3*s**2 - 111*s. Does 9 divide v(f)?
False
Suppose -572 - 376 = -2*a. Suppose 0 = -10*q + a + 266. Does 7 divide q?
False
Does 19 divide (-8)/28 - 10656/(-56)?
True
Suppose -2*w + 4*g + 3490 = 0, w - 12*g = -9*g + 1742. Is w a multiple of 103?
True
Suppose -9*l + 371 = -1006. Does 54 divide l?
False
Suppose 0 = f - v - 309, 2*f + 5*v = 635 - 24. Is 28 a factor of f?
True
Let u(m) = m**3 - 7*m**2 + 9*m - 8. Let v be u(7). Let r be (-10)/v + (-48)/(-22). Does 10 divide 15/(r + (-10)/8)?
True
Let o(r) be the first derivative of r**4/4 + 7*r**3/3 + 11*r**2/2 + 7*r - 2. Let b be o(-5). Does 4 divide 8 + (4 - (10 - b))?
Tr