 = o - w. Is b a multiple of 10?
True
Suppose 0 = h - 2, -4*h = -3*o - 8*h + 17. Suppose -5*n = o*x - 423, n - 169 = -n - x. Suppose 4*w - 202 = 2*c, 2*c - 71 = -3*w + n. Does 17 divide w?
True
Let x(a) = -4*a + 29. Let y(h) = -7*h + 57. Let l(g) = -5*x(g) + 3*y(g). Let v be l(-18). Suppose -5*i + 3*j = -i - v, 0 = -5*i + 4*j + 55. Is 4 a factor of i?
False
Suppose 6*n - 106 = 344. Let b = n + 343. Suppose -b = -2*h + 12. Is 43 a factor of h?
True
Let o = -414 - -424. Suppose 703 = 2*b + 7*c - o*c, 2*c - 1074 = -3*b. Does 15 divide b?
False
Suppose 62 = 4*t + 2*p, 3*t + 4*p - 41 + 7 = 0. Let v(r) = -t*r - 3 - 2*r**3 - 7*r**2 + r**3 + 21*r. Is v(-8) a multiple of 13?
False
Let o = -71 + -26. Let l = -105 - o. Let u(v) = -v**3 - 8*v**2 - 2*v + 12. Is 2 a factor of u(l)?
True
Let i = -65 + 70. Suppose 2*v = 3*x + 3, -v + 5*x = -6*v - i. Does 3 divide (-62 + 4)/(-2) + v?
False
Let h(i) be the first derivative of 73*i**2/2 - 159*i - 174. Does 15 divide h(8)?
False
Suppose 114526 = 174*b - 140036. Does 83 divide b?
False
Suppose 5*j - 588 = 1057. Suppose 11*g + 120 - j = 0. Suppose 14*y + 265 = g*y. Is 46 a factor of y?
False
Let l(p) = 1524*p**2 + 22*p - 98. Does 30 divide l(4)?
False
Suppose -156 = 6*x - 546. Let i = -9 + 11. Suppose i*z + 55 = x. Is 3 a factor of z?
False
Suppose -4*m = 4*j, m = j + 3*m. Let g be 8 - (1 + j/2). Suppose 30 = 8*x - g*x. Is 6 a factor of x?
True
Let h(g) = -6*g - 60. Let o be h(-13). Let c be o/(5 + -4) + -4. Is 19 a factor of 2114/c + (1 - 0)?
True
Let g = -192 + 66. Let u = g - -228. Does 26 divide u - 0 - (-1 - -2)*-2?
True
Let t(k) = -k**3 - 34*k**2 - 88*k - 57. Is 45 a factor of t(-44)?
True
Let w(j) = 4*j**2 + 38*j + 24. Does 10 divide w(19)?
True
Suppose 3*k - 3851 = -2*y, 684 = 2*y - k - 3187. Is 13 a factor of y?
False
Suppose 5*q + 2*i = 56916, 0 = -2*q - 0*q + 2*i + 22786. Is 62 a factor of q?
False
Let i = -397 + 833. Let p = i + -276. Is 10 a factor of p?
True
Let g be (-3)/(-6) - 0 - (-46)/4. Suppose -3*z - g = -0*z. Let y(u) = -32*u + 4. Does 13 divide y(z)?
False
Let z(v) = -3 - v**3 + 2 + 3*v**2 - 10*v**2 - 7*v. Let r be z(-6). Suppose 4*m + 4*x = r*m - 98, -15 = 3*x. Is 13 a factor of m?
True
Let g(m) = -m**3 - 13*m**2 - 15*m - 17. Let y = 17 - 29. Let w be g(y). Suppose -w = -2*l + 19. Is l a multiple of 18?
False
Let t(p) = p**2 + 7*p - 24. Let s(y) be the third derivative of 3*y**4/8 + 4*y**3 + 6*y**2. Let m be s(-4). Is t(m) a multiple of 6?
True
Let y = 4952 + -3178. Does 84 divide y?
False
Let b = -5701 + 3629. Is 12 a factor of (-48)/(-56)*b/(-4)?
True
Does 6 divide ((-84 + 90)/((-18)/(-292)))/((-2)/(-54))?
True
Let z(v) = -81*v - 2088. Is 30 a factor of z(-38)?
True
Suppose 9*a - 64113 = 8280 + 7239. Is 112 a factor of a?
True
Let j = -71 + 304. Let f = j - 209. Is f a multiple of 2?
True
Let k(v) = 3*v - 9. Let r be k(3). Suppose 17*s - 22*s + 75 = r. Suppose -s = 3*z - 63. Is 5 a factor of z?
False
Let l = -113 - -115. Let w(t) = -t**3 - 3*t + 6. Let o be w(l). Is (-4 - o) + 2*34 a multiple of 6?
True
Is ((-40)/8 - (-44)/(-1))*(2 + -344) a multiple of 21?
True
Let j be ((168/(-35))/4)/((-6)/40). Does 15 divide (j/24)/(1/765)?
True
Suppose 5*n = n + 8. Let b be (133/(-28))/(n/(-72)). Suppose 4*f - 69 = 4*k + b, -f + 56 = 3*k. Is f a multiple of 10?
False
Let l be -8 + 1295/14 - (-1)/2. Let n(c) = -6*c + 5. Let v be n(5). Let h = l + v. Is 20 a factor of h?
True
Suppose 29*f + 36*f - 154775 = 24*f. Is 11 a factor of f?
False
Let h = 48706 + -27503. Does 45 divide h?
False
Suppose 0 = 5*u - 26 - 19. Suppose 0 = -14*m + u*m + 175. Let i = -26 + m. Is i a multiple of 4?
False
Suppose 24*g - 46873 = 74927. Does 29 divide g?
True
Let u(k) = 373*k**3 + 9*k - 7. Let g be u(2). Let l = -1771 + g. Is 18 a factor of l?
True
Suppose 2327 = r - p - p, -r + p + 2331 = 0. Suppose 0 = 2*m + 4*h - 934, h = 2*m + 3*m - r. Is 59 a factor of m?
False
Let p(k) = -k**3 - 10*k**2 + k + 14. Let x be p(-5). Let u = -78 - x. Does 5 divide u?
False
Let l(u) = -1226*u + 739. Is l(-2) a multiple of 14?
False
Let s = -4513 + 12737. Is s a multiple of 52?
False
Let g = 15 - 13. Suppose -k + 2*k - 8 = 2*n, 3*k = -g*n - 8. Suppose -6*p + 8*p - 54 = k. Is 20 a factor of p?
False
Let u = -3967 + 4275. Is 28 a factor of u?
True
Suppose 2*m + 68 = 4*x, 2*x - 28 = 2*m + 36. Let l = m + 34. Suppose 0 = -3*c + l*c - 81. Is c a multiple of 27?
True
Let u(d) = -d - 4. Let s be u(-3). Let y be (14/4 + s)*8/4. Suppose 4*p + 4*f - 7 - 33 = 0, -5*f - 10 = -y*p. Is p a multiple of 3?
True
Let y(a) = 2*a**2 - 5*a + 2. Let f be y(3). Suppose f*i + 5 = c + 2*i, -4*c + 7 = i. Suppose 3*j + 0*o - 557 = -4*o, -2*j = -c*o - 376. Does 25 divide j?
False
Does 386 divide (470/(-90))/((-28)/428148)?
False
Suppose -103 = 2*a + 4*c - 7*c, 2*a = 4*c - 106. Let o = 57 + a. Suppose 130 = 3*n + o. Is n a multiple of 10?
True
Let k(s) = s + 16. Let d be k(-11). Suppose -i = y + 4*y - 905, 5*y - 925 = -d*i. Is 60 a factor of y?
True
Is 192 a factor of -1*(-53484)/10 + 276/(-690)?
False
Is 42 a factor of (-63 - 21147)*(-4)/10?
True
Let i = -4150 - -5843. Is i a multiple of 16?
False
Let r(j) = j**2 + 32*j + 1044. Suppose 83*f = 54*f. Is r(f) a multiple of 18?
True
Let x = -390 - -391. Does 28 divide (-6)/(4/(-167 - x))?
True
Let t = 227 + -225. Suppose 139 = 3*x + 4*q - 3*q, t*q = 2*x - 98. Is 3 a factor of x?
False
Suppose -9964 + 26444 = 16*o. Is 83 a factor of o?
False
Suppose 5*h + 5*a = 5090, -400*h - 4*a + 5090 = -395*h. Does 27 divide h?
False
Let r(w) = -28*w + 15*w**2 - 2 + 0 - 70*w + 24*w - 2. Is r(10) a multiple of 45?
False
Let j(w) be the second derivative of -47*w**5/10 + 2*w**4/3 - w**2/2 + 217*w. Does 21 divide j(-2)?
False
Let r(m) = -6*m + 4. Let q(b) = 4*b - 20. Let z be q(-7). Let w = z - -45. Is r(w) a multiple of 6?
False
Suppose 3878196 = 84*d - 1751064. Does 13 divide d?
True
Is (-54)/8*269048/(-1014) a multiple of 4?
False
Let y be ((-280)/(-24))/(3/(-9)). Let z = 20 - y. Suppose 4*g = 49 + z. Is g a multiple of 13?
True
Let x be 1 + (-1 - 877) + 3 + -7. Let o = -521 - x. Is 12 a factor of o?
True
Let z = -101 - -107. Suppose 2*q - 5*s = -263, -z*q + 2*s = -7*q - 109. Let g = q - -147. Is 7 a factor of g?
True
Suppose -c + 76 = -82. Suppose -2*m - 4*h = -292, -m - 4*h + c = -6*h. Does 8 divide m?
True
Let d = 3852 + -2844. Is d a multiple of 126?
True
Let v(s) = 29*s + 1106. Does 36 divide v(50)?
True
Let f be 21/(-14)*(-20)/3. Suppose -2*n = f*n - 276. Suppose n*a = 22*a + 121. Is 11 a factor of a?
True
Suppose -23*c = -21*c + 4*b - 382, 0 = 5*c + 5*b - 960. Suppose 21*r - 6926 = c. Does 32 divide r?
False
Let s = -5 + 24. Let c = 150 + -96. Suppose 0 = 5*h + s - c. Is h a multiple of 7?
True
Let x(g) = -g**2 + 14*g + 21. Let z be x(16). Let q = z + 14. Suppose a - 106 = -q*l + 5*a, a + 79 = 2*l. Is l a multiple of 6?
True
Let z(x) = x - 1. Let l be z(3). Suppose 2*r - l*q - 8 = -r, 0 = 5*r - 4*q - 12. Is 51 a factor of (-47)/(((-14)/r)/7)?
False
Suppose -4*f + 22344 = c - 19928, 3*c = 4*f - 42272. Is 25 a factor of f?
False
Does 22 divide (-12 - (-243)/18)/((-6)/(-45608))?
False
Suppose -5*i + 2929 + 1213 = -2*r, 3*i - 2487 = 3*r. Is 12 a factor of i?
True
Suppose 21*s - 438 = 612. Let t = s + -45. Is t a multiple of 2?
False
Suppose 0*c + 367 = 3*c - 479. Is 94 a factor of c?
True
Does 13 divide 10374/4 - (6 - 39/6)?
False
Let i(b) = b**3 - 15*b**2 - 8*b + 44. Let z be i(13). Let t = 463 + z. Is 3 a factor of t?
False
Suppose -23*u - 28 = -22*u. Let i be (u/21)/((-2)/(-6)). Does 34 divide i/(-10)*(-1 - 1*-341)?
True
Suppose -3*f = -5*p + 550, -2*f = -p + 568 - 465. Let j(a) = 2*a**3 + 2*a**2 - 4*a - 4. Let m be j(-4). Let n = p + m. Is n a multiple of 6?
False
Suppose -20 = 15*f - 17*f. Is 17 a factor of 6/f + 11988/45 + 5?
True
Suppose 4*c = -4*l + 135740, -l + 169703 = 4*l - 2*c. Is 27 a factor of l?
True
Let o be ((252/(-10))/(-3))/(1/(-5)). Let a be o/14*3/((-18)/8). Is 7 a factor of ((-3)/6)/(a/(-384))?
False
Let j = 6201 + -4137. Is j a multiple of 12?
True
Suppose -4*d - 199 = u, 4*d = 10*u - 12*u - 198. Let j be (0 - -2)*(-150)/(-4). Let n = j + d. Does 11 divide n?
False
Suppose -129101 = 21*r - 381269. Is 152 a factor of r?
True
Let u = 507 - 479. Suppose 0 = u*l - 35*l + 4788. Does 38 divide l?
True
Let i(v) = -