vide -1*(-1 + 2)*(-271 + 0)?
False
Let h be (0 - (-6)/(-3)) + 41. Let b = -9 + h. Does 10 divide b?
True
Let v be 9/(-15) - 498/(-5). Is 7 a factor of 2/(-8) - v/(-12)?
False
Suppose -274 = a - 3*a - 2*l, -a = 5*l - 125. Suppose -2*p + 6*p = a. Does 7 divide p?
True
Suppose 0 = z - 3*k + 14, 0 = 5*z - 5*k + 4*k. Does 4 divide z + 3 - 0/(-3)?
True
Suppose 4*z = -4*g + 16, 5*z - z = -4. Suppose -g*d + 2*y = -130, -4*d + 0*d - 4*y = -76. Does 12 divide d?
True
Suppose -y + 2 = 8. Let i = y - -45. Is 2/(i/(-45) - -1) a multiple of 13?
False
Let r be (2 + 0)/(-2) + -13. Let x = r + 33. Is x a multiple of 7?
False
Suppose 0 = -h - 13 + 28. Does 8 divide h?
False
Does 17 divide (-9 - (-2)/2)*(-345)/12?
False
Suppose -2*p + 29 + 139 = 0. Is p a multiple of 7?
True
Let f = 3 - -2. Suppose -54 + f = -v. Suppose -7 - v = -4*t. Does 10 divide t?
False
Suppose -10*j = s - 7*j - 159, -s + 167 = 5*j. Is 21 a factor of s?
True
Let s(x) = 0 + 33*x + 0 - 1 + 19*x. Is s(1) a multiple of 17?
True
Let r(a) = a - 5. Let p be 1*-1*(-6)/(-3). Let w be (-3)/p*176/33. Is r(w) a multiple of 2?
False
Is 531/13 + 2/13 a multiple of 7?
False
Let n(w) = -w**2 - 20*w + 6. Does 4 divide n(-18)?
False
Let w(c) = -c + 2. Let x be w(-6). Suppose 0 = l - x - 0. Is 5 a factor of l?
False
Suppose -25 = -2*o + 4*a + 75, -4 = 4*a. Is o a multiple of 16?
True
Let r(w) = w**2 + w + 63. Does 31 divide r(0)?
False
Let v be -13*2*3/(-2). Let z = -148 + v. Let s = 158 + z. Is s a multiple of 17?
False
Suppose 0 = 4*a - 2*a - 16. Let l = 0 + a. Is 4 a factor of l?
True
Let h(w) = -2 - 3 + 0 + 2*w + 3. Is 8 a factor of h(5)?
True
Suppose -30 - 57 = 3*m. Let x = m - -56. Is 11 a factor of x?
False
Suppose -3*y - 12 = -6*y. Suppose -1 + 6 = -5*r, 3*z - y*r = 58. Does 9 divide z?
True
Let p(k) = -k**2 - 13*k - 12. Let j(a) = 2*a**2 + 26*a + 24. Let v(n) = -3*j(n) - 5*p(n). Does 14 divide v(-8)?
True
Let v be -2*1/4*-8. Suppose 3*c + 39 = v*q, 2*c - 3 = -13. Is 6 a factor of q?
True
Suppose -2*n - 3*n = -180. Does 3 divide n?
True
Suppose -4*k - 2*d = -k - 94, -2*k + d + 51 = 0. Is 16 a factor of k?
False
Let m(o) = 22*o + 8. Is m(2) a multiple of 11?
False
Let t = 38 - -14. Is t a multiple of 9?
False
Suppose -4*d + r + 11 = 0, -d + 0*d - 5*r = -8. Suppose o + 3*k + d = k, 4*o + 4*k = 4. Suppose -4*z = -2*q - 26, -25 = -o*z + q + 3. Is z a multiple of 2?
False
Suppose -2*k + 3 = -k. Suppose -100 = -q - k*q. Does 25 divide q?
True
Let y be 0/(-4) + 1*3. Suppose -5*w - 4*m + 202 - 53 = 0, -y*w + 87 = 3*m. Suppose 3*s - 5*j - w = 0, -2*j - 7 - 5 = -s. Is 6 a factor of s?
True
Let a be 0 + 1 + 14 + -10. Suppose -a*p + 27 = -163. Does 15 divide p?
False
Suppose 6 = d - 0*d. Does 2 divide d?
True
Let o(u) = u**2 - u + 1. Let n(v) = -v - 4. Let w(s) = -n(s) + o(s). Is 11 a factor of w(6)?
False
Let c = 20 - 18. Is c a multiple of 2?
True
Let z(a) = -a + 3. Let c be z(0). Let i(b) = b**3 - 2*b**2 - b - 3. Let r be i(c). Let f = r - 1. Does 2 divide f?
True
Suppose -7*s = -0*s - 315. Is s a multiple of 5?
True
Let r(w) = -w**2 + 11*w + 3. Let b be r(10). Let c = 18 - b. Suppose -4*l = -s - 27 - 36, l - c*s = -8. Is 17 a factor of l?
True
Let h be 145/4 - (-2)/(-8). Suppose -5*p = -7*p. Suppose -h = -2*u - p*u. Is 6 a factor of u?
True
Let p = -6 + 8. Suppose 4*a + 3*j + 0 = -3, 0 = -3*a + p*j + 19. Is a a multiple of 3?
True
Let h(v) = -v**2 - 5*v - 4. Let c be h(-4). Let m be (c - 2)/(2/(-3)). Suppose 5*b - m*b - 33 = -3*s, -3*b - 22 = -s. Is s a multiple of 7?
False
Let d = -20 - -78. Is d a multiple of 15?
False
Suppose 0 = -7*a + 10*a - 135. Is a a multiple of 5?
True
Let p be 0/(0 - 1) - -2. Does 10 divide -2*p*(-36)/8?
False
Is 24 a factor of 12/(-8)*(-150)/9?
False
Let w(n) = -n**3 - 5*n**2 + 3*n - 7. Let f be w(-6). Let z(p) = -p**2 - 5*p + 5. Let y be z(-5). Suppose 51 = y*h + f. Does 4 divide h?
True
Suppose 0 = -3*r + g - 5 + 35, 5*r - 50 = -g. Suppose 4*l + 144 = r*l. Is 12 a factor of l?
True
Suppose -5*b + 126 = -3*y - 234, 5*y = 2*b - 163. Does 9 divide b?
False
Suppose 0 = 3*n + n + 2*z - 2, 4*n + z - 1 = 0. Let x = 17 - n. Is 5 a factor of x?
False
Suppose t + 2*t - 3*g = 6, 5*g = -5*t. Suppose 2*z + 120 = -2*z. Is (-1 - z)/t + 1 a multiple of 15?
True
Let u(o) = -12*o - 9. Is u(-6) a multiple of 12?
False
Suppose -4*g + 4 = -2*g. Suppose -z + g*n = z - 82, 2*n = 6. Is 15 a factor of z?
False
Let x(n) be the third derivative of -3*n**4/8 + n**3/2 + n**2. Let w(q) = 26*q - 9. Let h(i) = 4*w(i) + 11*x(i). Does 10 divide h(3)?
False
Suppose -4*o + 8*o - 16 = 0. Suppose -o*q - 7 = 37. Let c = 22 + q. Is 6 a factor of c?
False
Suppose u - 126 = -0*u. Suppose -u = -2*y - y. Is 21 a factor of y?
True
Suppose 0 = -4*b + 2*s + 212, 0*b - b = 3*s - 53. Does 18 divide b?
False
Let p be (-2)/(-4) + (-75)/6. Let d = p - -26. Does 14 divide d?
True
Let u(y) = -4*y**3 - 1. Let g be u(-1). Is 2/(g*6/261) a multiple of 12?
False
Let a be 5/(-20) + (-50)/(-8). Suppose -114 = 3*z - a*z. Suppose -3*c = -5*l + z, 5*l - 3*c - 40 = 2*c. Does 7 divide l?
True
Suppose 5*q = 10 + 10. Suppose 0*k - 75 = -q*g - k, -78 = -4*g - 2*k. Is g a multiple of 10?
False
Does 39 divide 102 - (3 + 7/(-1))?
False
Let b(f) be the second derivative of f**3 + f. Is b(4) a multiple of 10?
False
Let u(g) = -g**3 + 5*g**2 - 4. Does 8 divide u(4)?
False
Is 4 a factor of (-20)/(3/(-3)) - 0?
True
Let s be 1/((-3 + 2)*-1). Let a = s - -34. Let k = -11 + a. Is 12 a factor of k?
True
Let d = -8 + 9. Let s = -25 + 36. Is (s/d)/(-1 + 2) a multiple of 11?
True
Let x = -3 - 20. Suppose 5*t + 70 = 3*b, -4*t - 5*b - 28 = 28. Let d = t - x. Does 7 divide d?
False
Suppose 0 = 9*q - 14*q + 385. Is 11 a factor of q?
True
Suppose -5*g - 15 = -3*q, q + 4*g = 3*q - 12. Suppose u + 1 - 22 = -3*w, 5*u - w - 57 = q. Does 8 divide u?
False
Suppose a - 2*c = -3 + 2, 4*c + 3 = 3*a. Suppose 8*r - 27 = a*r. Does 7 divide r?
False
Let s(m) = -m**3 - 4*m**2 + 4*m - 6. Let k be s(-5). Is (k + 2 - 3) + 27 a multiple of 8?
False
Suppose 5*u = -3*c + 162, c + 236 = 6*c - 3*u. Is c a multiple of 24?
False
Let u(s) be the second derivative of -s**5/20 - 5*s**4/12 - 7*s**3/6 - 9*s**2/2 + 5*s. Is 19 a factor of u(-6)?
False
Suppose 6*n = 11*n - 150. Is 3 a factor of n?
True
Let q(s) = s**2 + 8*s - 4. Let a be q(-9). Suppose -2*h + 48 = 2*b + 2*h, a*h - 67 = -3*b. Is 7 a factor of b?
True
Suppose 3*c + 5*b - 279 = 0, 0 = 2*c + c + 3*b - 279. Does 31 divide c?
True
Suppose -5*b - 6 = -1. Let w be 2 - (b + (-3)/3). Suppose 5*s + w*q = 82, 4*s = q - 6*q + 71. Is s a multiple of 10?
False
Suppose -5*y = -5*q + 2 - 17, 0 = y - 2*q - 3. Let o be (-3 + y)/(2*1). Suppose -n = -o*n - 9. Is n a multiple of 5?
False
Let q(k) = k**2 - 9*k + 3. Let w be q(5). Let f = -9 - w. Is 2 a factor of f?
True
Let o = 10 - 5. Suppose 3*h - 2*a - o = 0, 4*h - 2*a - 9 = 1. Does 5 divide h?
True
Suppose -2*u + 14 = -5*o, -6 = -4*u + 4*o + 10. Let r be (2 - 4)/((-1)/u). Suppose 0 = -2*g - 5*v + 30 + 28, -r*g + 3*v = -90. Does 13 divide g?
False
Does 7 divide 318/8 + (-9)/12?
False
Suppose 0 = 4*m - 2 - 14. Suppose -4*i - 46 = -2*w, -2*w - 61 = -m*w + i. Let r = 50 - w. Does 17 divide r?
True
Let q(x) = x**2 - 2*x + 5. Let f be 2 - (-2 + 105 - -1). Let r be 2/9 - f/27. Is 7 a factor of q(r)?
False
Suppose 3*f = g - 9, -f + 7 = g - 2*f. Let i be (-17)/(-5) - g/15. Suppose 33 = i*j - 63. Does 18 divide j?
False
Suppose 2*i = -i + 81. Is i a multiple of 3?
True
Does 32 divide (-6)/2 - -4 - -255?
True
Let p = -37 + 173. Is 17 a factor of p?
True
Let o(b) = b**3 - b**2 + 15. Let n(z) = z + 6. Let t be n(-6). Is o(t) a multiple of 8?
False
Suppose o + 35 - 12 = 5*p, 2*p = -o + 5. Is p even?
True
Suppose -5*r = -n - 28, -5*r + 4 = n - 8. Let g = n - -21. Suppose 0*z = -z + g. Is z a multiple of 13?
True
Suppose 0 = -5*k + 5*n + 435, -3*k + 2*n - 3*n + 265 = 0. Let x = k - 56. Is 8 a factor of x?
True
Let x(y) be the third derivative of 13*y**4/8 - y**3/6 + 2*y**2. Does 10 divide x(1)?
False
Let z(c) = c**3 - 3*c**2 + c + 2. Let u be 3/(12/(-2))*-6. Does 4 divide z(u)?
False
Let k(i) = 6*i - 4. Suppose 4*c - c = 39. Suppose 0 = -5*d - 5*n + 10, 0*n = -3*d + 4*n + c. Does 14 divide k(d)?
True
Let u be 1/(-4) + 21/(-12). Let y be 170/45 - u/9. Suppose y*c = -0*c + 160. Does 20 divide c?
True
Let p be (-