= -2*b, b - g = g + 35. Does 10 divide b?
False
Let i = -569 + 670. Is 7 a factor of i?
False
Suppose 0 = 3*n - 5*q + 26, 5*q - 10 - 10 = 0. Let c be 27 + (-1 - (n + 5)). Let o = 52 + c. Is o a multiple of 25?
True
Suppose -t - 185 = -4*m, -2*m = 3*t - 2*t - 97. Suppose u = 2*p - 3*p + m, -101 = -2*u + 5*p. Is 11 a factor of u?
False
Suppose -w + 3*i = -786, 2*w + 11*i - 6*i - 1583 = 0. Is w a multiple of 8?
False
Let u(r) = -2*r + 0*r + 7*r - 2*r - 1. Let w be u(1). Suppose -w*m + 192 - 54 = 0. Is 21 a factor of m?
False
Suppose 5*d - 10 = 2*l, -2*d - 3*d = -4*l. Let n be (-3)/9 + (-1407)/(-9). Suppose z - l*z = -n. Does 12 divide z?
False
Let d(p) = 13*p**2 + 4*p + 15. Is d(-4) a multiple of 9?
True
Suppose -w + 6*w - 1120 = 0. Suppose -w = -0*l - 8*l. Does 6 divide l?
False
Let x(m) = -m + 26. Suppose w = -0*w + 14. Let f be x(w). Suppose -l = l - f. Is 5 a factor of l?
False
Let g(i) = i**3 + 4*i**2 + i - 3. Let m be g(-3). Is 10 a factor of ((-2)/m)/(2/(-420))?
True
Let v = -801 + 1137. Is v a multiple of 12?
True
Let z(a) be the third derivative of a**5/20 + a**4/6 - a**3/3 - a**2. Is z(3) a multiple of 2?
False
Let l(q) = 5*q**3 - 4*q**2 + 4*q - 2. Let b be l(2). Let w = b - 10. Is 5 a factor of w?
True
Let d(u) = u**2 - 8*u + 40. Does 84 divide d(-15)?
False
Let r = -13 - -18. Suppose r*v - 124 = -4*t, 0 = -0*t + 2*t - 5*v - 32. Does 13 divide t?
True
Suppose 0 = 24*a - 21036 - 62676. Is a a multiple of 16?
True
Suppose 3*c - c - 226 = 0. Let q = 172 - c. Suppose -3*o - 3*g + 75 = 0, -o - 2*o + g = -q. Does 7 divide o?
True
Let i = -158 + -50. Let d = -143 - i. Is 13 a factor of d?
True
Suppose 1834 = 5*d + 5*a + 374, 2*d = 2*a + 576. Does 24 divide d/7 - (-3)/(-7)?
False
Let v = -35 - -52. Suppose -12*q + v*q = 0. Suppose -d + r + 101 = q, 2*d - 2*r = -3*r + 199. Does 27 divide d?
False
Let m = -448 + 889. Suppose 3*q - m = -2*q - 4*v, 0 = -3*q + 5*v + 272. Is 19 a factor of q?
False
Let n(w) = w**2 + 5*w. Let r be n(-5). Let i = 7 - r. Suppose -5*h = -4*j - 6, -3*j = -i*h + 2*h + 7. Is h a multiple of 2?
True
Let z = 2042 + -742. Is z a multiple of 20?
True
Let d(s) = -3*s**2 - 17*s + 11. Let z(r) = -7*r**2 - 34*r + 23. Let j(a) = 5*d(a) - 2*z(a). Suppose 34 + 236 = -18*k. Does 21 divide j(k)?
False
Suppose -5*u = o - 5, 0*u + 10 = 5*u + 2*o. Suppose -w - w = u. Let s(h) = h**2 + 49. Does 14 divide s(w)?
False
Let k(y) = 2*y**2 - 2*y + 26. Let v(j) = 3*j**2 - j + 26. Let t(l) = -4*k(l) + 3*v(l). Does 4 divide t(-10)?
True
Suppose 368 = -3*y - 4*h, 3*y - 2*y + 2*h = -126. Let s = 32 + 153. Let b = s + y. Is 13 a factor of b?
False
Suppose 2151 + 7378 = 13*z. Is z a multiple of 17?
False
Suppose 399 = -5*q + 2519. Does 14 divide q?
False
Let p(v) = -5*v. Let g be p(2). Let n = g - -21. Does 2 divide n?
False
Suppose -6*q + 7*q = 0. Suppose q = -u - 4, 2*p = -3*p + 3*u - 188. Let t = -27 - p. Is t a multiple of 3?
False
Suppose -r + 325 = 4*j - 323, 0 = 5*j - 4*r - 789. Does 23 divide j?
True
Suppose 0 = -6*j + 8*j - 230. Suppose -215 = -2*y + j. Is 17 a factor of y?
False
Let s(r) = 2*r**2 + 8*r - 1. Suppose 0 = -2*v + 3*d - 7 - 17, 5*v - 3*d = -42. Let c = 0 + v. Is 14 a factor of s(c)?
False
Let s(i) = i - 28. Let x be s(24). Let r(b) = 14*b**2. Is r(x) a multiple of 16?
True
Let p(k) = 12*k - 55. Is p(7) a multiple of 29?
True
Let v(r) = r**2 + 5*r + 5. Let c be v(-5). Suppose 0 = -c*s - 272 - 23. Let f = s - -112. Does 14 divide f?
False
Let a = 222 + -219. Let r be (-1 + -3 + 1)/(-1). Suppose -3*x = -a*p - 66, -32 = r*x - 5*x + 5*p. Is 11 a factor of x?
False
Let s(h) = 4*h**3 + 5*h**2 - 4*h - 2. Let r(z) = -z**2 + z. Let a(o) = -4*r(o) - s(o). Let y be a(-2). Is 12 a factor of ((-144)/y)/((-1)/5)?
True
Is 127 a factor of (1250/(-25))/((-4)/254)?
True
Suppose 0 = 5*r + 13 - 3. Let t be r/(-7) + (-960)/28. Let w = 52 + t. Is 11 a factor of w?
False
Let b = -5458 - -8644. Suppose 20*r - b = 11*r. Does 28 divide r?
False
Let u(l) = l**2 + 3*l - 5. Let t be u(-5). Let q be -6 + 4 + (t - -1). Suppose -7*k = -q*w - 2*k + 199, 2*k = 2*w - 102. Is 14 a factor of w?
True
Suppose -x = -6*x - 5*o + 15, 5*x - 15 = -3*o. Let k be -2 + (12 - 3) - x. Suppose -g = g - k*q - 42, -51 = -3*g + 3*q. Is g a multiple of 13?
True
Let z be ((-10)/3)/(2/9). Does 18 divide z/10*(-192)/9?
False
Suppose 0*j + 282 = 3*j. Suppose 11*u - 13*u = -j. Does 6 divide u?
False
Let c(a) = 13*a - 39. Let b be c(13). Suppose 4*z + 5*d - b = 0, 5*z - 8*z + 86 = -2*d. Is 5 a factor of z?
True
Let q(f) = -2*f**3 - 6*f**2 - 19*f - 35. Let b(n) = n**3 + 3*n**2 + 10*n + 18. Let o(r) = 11*b(r) + 6*q(r). Is 8 a factor of o(-6)?
True
Let t = 72 + 80. Suppose 0 = -5*y - t - 263. Is 12 a factor of y/(-2) - 3/6?
False
Let u = 3726 + -1822. Does 7 divide u?
True
Suppose 0 = -y + 260 + 6. Does 17 divide y - 24/(-11 - -5)?
False
Let c be -3*(-2 - 20/(-12)). Does 35 divide (1072/8)/(2/c)?
False
Let t = 83 + -53. Does 6 divide t?
True
Suppose -1680 = 11*r - 18*r. Suppose 0 = -5*c + 7*c - r. Is c a multiple of 20?
True
Let u(d) = 8*d**2 - 12*d + 16. Is 16 a factor of u(2)?
False
Let y be 0/(-8) + (4 + 1)*-1. Is (-3)/4*-37 - y/20 a multiple of 27?
False
Suppose -105*x - 24255 = -114*x. Does 55 divide x?
True
Suppose 0 = -5*a + 3*y - 5*y + 23, 4*a - 8 = y. Suppose 7*f = a*f - 20. Is 7 a factor of 20/f + (26 - 1)?
True
Let a be 1/(-3) + (-2)/3. Let x be (0/a)/(3 + -1). Suppose 3*w + 5*l - 2*l - 30 = x, 3*l - 18 = -w. Does 6 divide w?
True
Let v = -55 + 101. Suppose 116 = 3*a - v. Suppose 0 = 4*w - 7*w + a. Is 9 a factor of w?
True
Suppose 0 = 8*p + 159 - 1335. Is 14 a factor of p?
False
Suppose 0 = 4*b - b + 5*o - 320, 0 = -3*b + 2*o + 355. Let h = b + -10. Is 15 a factor of h?
True
Let l = 736 - 730. Does 6 divide l?
True
Suppose 17*y = 16*y + 3025. Is 25 a factor of y?
True
Let z(h) = -h**3 + 19*h**2 - 25*h + 66. Is 53 a factor of z(8)?
False
Let i = -41 + 41. Does 30 divide -30*(-4 - (5 - i))?
True
Let i = 26 + -21. Let z = 11 + i. Does 7 divide z?
False
Let t be (-1)/(16/(-332)) + (-6)/8. Suppose 3*m = 5*f - 358, 3*m + 2*m = t. Is 4 a factor of f?
False
Let u = 968 - 483. Does 44 divide u?
False
Let w be 405/20 + (-3)/12. Let p = 6 - 6. Suppose p = -5*f - 5*c + w, -4*c + 10 = 2*f - f. Is 2 a factor of f?
True
Let w(g) be the first derivative of 2*g**3 - 2*g**2 + g - 8. Is 5 a factor of w(3)?
False
Suppose 93 = 5*l - 72. Does 5 divide l?
False
Let v = 1223 + -894. Is v a multiple of 7?
True
Let m(b) = -b**3 - 12*b**2 - 6*b - 27. Let r(p) = p**2 + p + 1. Let d(n) = m(n) - 6*r(n). Is d(-18) a multiple of 61?
True
Let i be 10/(-3)*(-504)/(-70). Let j = 43 + i. Is j a multiple of 12?
False
Let m(i) = i**3 - 3*i**2 + 6*i + 6. Let o be m(5). Suppose -o*z = -84*z - 176. Is z a multiple of 8?
True
Let p = 1047 + -725. Is 18 a factor of p?
False
Let y = 2 - 4. Let p = y - -2. Is 14 a factor of (1 + (24 - p))/1?
False
Suppose 418 + 862 = 8*p. Suppose 9*x = 272 + p. Is x a multiple of 12?
True
Does 6 divide (-488)/(-4) + (-32)/4?
True
Let r = 1860 - 450. Does 40 divide r?
False
Let l be (0*(-1)/3)/(-1). Suppose 2*j - 3*s - 145 = l, 4*j + 5*s - 248 = 97. Is 26 a factor of j?
False
Suppose 0 = 5*h + 15, 2*h = 3*j - 4 - 11. Suppose 1 = -j*p + 19. Is p a multiple of 2?
True
Let b(c) = 3*c**2 - 3*c - 2. Let q be b(-1). Suppose -3*p = -3*v + 93, v - q*p = -2*v + 92. Is v a multiple of 4?
True
Let t = -240 + 247. Let q = 44 + -11. Let g = q + t. Is g a multiple of 10?
True
Let v(z) = -z**2 + 10*z + 4. Let j be v(0). Suppose -2*n + m = -402, 2*n - j*m - 314 = 76. Is n a multiple of 9?
False
Let x be ((-2)/(-12))/(4/(-12))*-10. Suppose 4*h - x = 27. Is h a multiple of 3?
False
Suppose 25 = -r + 4*n, -6*n - 33 = 3*r - 4*n. Let b(t) be the third derivative of -t**5/60 - 2*t**4/3 + 5*t**3/6 - 2*t**2. Is 17 a factor of b(r)?
False
Let q(l) be the third derivative of 0 + 1/30*l**5 - 7/12*l**4 + 0*l - 7*l**2 - l**3. Does 9 divide q(10)?
True
Suppose v = 4*r + 22, 2*v = -3*v - 2*r + 132. Let w be (-44)/2*v/13. Does 16 divide 0 + 62 - w/22?
True
Let n(i) = -4*i**2 + 2*i**2 - 4*i + i - 2 - 7*i**3. Let c be n(-2). Is 26 a factor of (10 - 4)*c/6?
True
Suppose -4*c - 41*v + 2365 = -38*v, 3*c - 2*v - 1761 = 0. Is 31 a factor of c?
True
Let d = 860 + -471. Is d a multiple of 13?
False
Is 43 a factor of (-2)/(-7) - (