ppose -10*h + 6798 = 12*h. Does 26 divide h?
False
Suppose -4*h - 3*k = -4*k - 617, -5*h - 2*k + 768 = 0. Is 22 a factor of h?
True
Is 27 a factor of (12/16)/((1 - -2)/1512)?
True
Let o(r) = 2*r + 1. Let f be (4/(-16)*0)/(-2). Let n be o(f). Is 3*((-52)/(-3))/n a multiple of 14?
False
Let r(m) = -10*m**3 + 18*m**2 + 16. Let y(p) = 3*p**3 - 6*p**2 - 5. Let a(g) = -2*r(g) - 7*y(g). Let h be a(6). Suppose h*n - 19 = 2*n. Does 7 divide n?
False
Suppose 2*k = 2*a + 54, 4*a + 2*k + 144 = -3*k. Let d = 49 + a. Does 9 divide d?
True
Is (-3)/(-3)*-2 - -68 a multiple of 6?
True
Suppose 4 = t + 1. Suppose t*w = 34 - 7. Let z = w - 6. Is z a multiple of 2?
False
Let g be 114/(-9)*(-6)/(-4) - 0. Let y = g + 26. Is y even?
False
Let u = -18 - -86. Suppose p - u = 4*t, 0*p - 4*t - 212 = -3*p. Is 12 a factor of p?
True
Suppose 4*q = 9*q + 2*p - 392, 0 = 5*q - 3*p - 412. Is q a multiple of 16?
True
Suppose -3*y - 4 = 8. Let x be 9/(-15)*(y - 1). Suppose -5*f = -x*f - 28. Is 7 a factor of f?
True
Suppose 114 = 2*m - 3*a, -2*m + 4*a - 331 = -7*m. Is 24 a factor of (1026/m)/((-2)/(-14))?
False
Does 4 divide (-28404)/(-66) + 8/(-22)?
False
Suppose -31*j = -13*j - 144. Is j a multiple of 4?
True
Suppose 9 = 4*c + 1. Suppose -7*v + 3*v + 76 = 0. Is 7 a factor of c - v*(-3 - -2)?
True
Suppose 0 = -g - 4*y - 33, -y = 16 - 19. Suppose 120 = -4*l + d, -2*l + 2*d = -d + 70. Let a = l - g. Is a a multiple of 8?
True
Let h = -26 + 33. Let x(a) = 2*a + 9*a**2 + 8*a**2 - 23*a**2 + h*a**2 - 12. Is 6 a factor of x(-6)?
True
Let f be 1/(2 + 28/(-16)). Suppose -5*s = -f*y - 328, -310 = -5*s - 9*y + 4*y. Does 6 divide s?
False
Suppose -30*i + 6229 = -1571. Is 13 a factor of i?
True
Let l = 6 - 7. Let y be l + (-18)/(0 - 3). Suppose y = -d + 23. Does 6 divide d?
True
Let x(s) = -s + 11. Suppose 0 = 2*i - 9 - 3. Let l be i/21 + 102/(-14). Is x(l) a multiple of 6?
True
Let d(k) = k**3 + 7*k**2 - 11. Does 39 divide d(-5)?
True
Let q = -536 - -776. Does 80 divide q?
True
Does 41 divide (-5 + -3264)*(2 + 15/(-7))?
False
Suppose -100*o - 8 = -101*o. Suppose -o*l = -10*l + 70. Is 12 a factor of l?
False
Suppose -4*w + 2*z = -w - 57, -3*w + 5*z + 66 = 0. Suppose w*s + 2064 = 25*s. Does 18 divide s?
False
Let a = 1 - -4. Suppose a*q = 4*q + 136. Suppose 3*h - q = -h. Is 11 a factor of h?
False
Suppose 0 = 5*s + 2071 - 5361. Is 7 a factor of s?
True
Let j be 8*(3 + -1)/2. Suppose j*s + 52 = 9*s. Is s a multiple of 8?
False
Suppose 2*p - 3174 = 124*s - 127*s, -4*p + 1068 = s. Does 48 divide s?
True
Does 61 divide (0 - 2)*(-46 - 441)?
False
Let r(k) = -k**3 - 15*k**2 + 23*k + 33. Suppose 82 = -6*u - 20. Is r(u) a multiple of 22?
True
Suppose -7*b + 2*b = -3*a - 90, 3*a = b - 30. Is (186 - b/(-5)) + 3 a multiple of 32?
True
Let f(g) = -24*g**3 - 2*g**2 + 1. Let o be 210/18 - (-2)/(-3). Let c = o - 12. Does 8 divide f(c)?
False
Suppose l = i - 240, 25*i - 3*l + 738 = 28*i. Is i even?
False
Suppose -12*d = 5*d. Suppose -5*j + 8*j = -g + 832, -2*j - g + 556 = d. Is j a multiple of 26?
False
Let l(d) = -d**3 - 4*d**2 - 4*d - 6. Let c be 1 - 3 - (-13 + 14). Let t be l(c). Let m = 2 - t. Does 5 divide m?
True
Let w(n) = n**2 + n + 2. Let s(z) = -13*z**2 + 10*z - 2. Let c(f) = -s(f) - 2*w(f). Is c(5) a multiple of 24?
False
Let s = 687 + 168. Is s a multiple of 57?
True
Let q = 4 - -3. Suppose q*r = 4*c + 4*r - 28, -2*r = -8. Suppose -19 - c = -b + i, 52 = 2*b + i. Is b a multiple of 7?
False
Let k(w) be the second derivative of w**4/4 + 2*w**3/3 + w**2/2 - 2*w. Is 24 a factor of k(5)?
True
Let v(x) = 10*x - 18. Let i(o) be the first derivative of o**4/4 - 3*o**3 - 5*o**2 + 6*o + 6. Let h be i(10). Does 21 divide v(h)?
True
Let q = -353 - -589. Suppose 0 = 3*l + l + q. Let r = -23 - l. Is 16 a factor of r?
False
Suppose -3*z - 13 = 11. Let v = 23 + z. Is 3 a factor of v?
True
Suppose 12*r - 3986 - 9730 = 0. Does 57 divide r?
False
Let b be (5 + -1)*9/12. Suppose 5*u - 84 = -4*i + 42, -122 = -4*i - b*u. Is 29 a factor of i?
True
Suppose 38 - 20 = 9*j. Suppose -4*b = 3*r - 1285, 4*b - 1282 = -0*r - j*r. Is b a multiple of 16?
False
Let f(i) = -3*i**2 + 2*i - 1. Let x be f(1). Let o(g) = 28*g + 3. Let s be o(x). Let a = -29 - s. Does 8 divide a?
True
Let x(c) = 28*c**2 - 3*c + 13. Let p be x(-5). Suppose -65*b + 69*b = p. Is 28 a factor of b?
False
Suppose 5*p = 4*p + 4*a - 30, 0 = -2*a + 8. Is 3 a factor of 20/(-70) - 256/p?
True
Let u(j) = -j**2 - 6*j - 4. Let l be u(-1). Let c = l - -10. Is 3 a factor of c?
False
Let q(f) = -3*f**2 - 12*f. Is q(-3) a multiple of 3?
True
Let g be 1 + -10*5/(-2). Suppose -3*b - 10 = 4*n + 10, 3*b + g = 2*n. Let r = 7 - b. Does 15 divide r?
True
Let n(u) = -u**3 - 46*u**2 + 192*u - 55. Is n(-50) a multiple of 23?
True
Let g = -19 + 29. Let r(z) = z**3 + 15*z**2 - 17*z - 13. Let a be r(-16). Let n = g + a. Is n a multiple of 4?
False
Let b(z) = 0*z**3 + 6*z**3 - 3*z - 4*z**3 + 5 - 3. Let d(m) = -m - 1. Let r be d(-3). Does 12 divide b(r)?
True
Let g(z) = 28*z - 44. Let i be g(7). Suppose -2*m + i = -4*c, -m - 5*c = -30 - 60. Is m a multiple of 10?
True
Suppose -2*p - 5*l + 448 = 0, p - 2*l - 125 = 117. Let k = 338 - p. Is 26 a factor of k?
True
Suppose 71 = 4*i + 91. Is 330/(-44)*12/i even?
True
Let t(p) = -27 + 22*p - 13*p - 6*p - 11*p. Is 7 a factor of t(-6)?
True
Suppose -3*r + 3*i - 551 = -7*r, -4*i - 407 = -3*r. Does 7 divide r?
False
Let o(u) = -19*u**3 - u**2 + 6*u + 4. Let d(s) = -95*s**3 - 4*s**2 + 31*s + 21. Let g(p) = 2*d(p) - 11*o(p). Is g(2) a multiple of 21?
False
Suppose 13*h - 5731 = 12014. Does 21 divide h?
True
Let g = 1003 + 238. Is 17 a factor of g?
True
Suppose 280 = -6*i + 7*i + 3*v, -2*v = 4*i - 1090. Is i a multiple of 14?
False
Let z(v) be the third derivative of v**5/60 + v**4/12 - 2*v**3/3 - 8*v**2. Let b be z(-4). Does 5 divide (-43)/(-3) + b/6?
True
Let f = -149 - -269. Does 30 divide f?
True
Suppose 2*z - 5*z - 1 = -p, -p - z + 5 = 0. Suppose 4 = d - p*y - 43, -d - 4*y = -63. Is 11 a factor of d?
True
Is 16935/(-6)*(-56)/70 a multiple of 71?
False
Suppose -6 = -5*r + 14. Is (-1 + 2 - -1) + r + 36 a multiple of 14?
True
Suppose -4*h + 360 = 14*h. Does 11 divide h?
False
Let f(s) = 164*s - 12. Is 28 a factor of f(4)?
True
Let r(s) = -11*s**2 + 75*s**2 + 14 - 2*s - 21. Is 11 a factor of r(-2)?
True
Let j(k) be the second derivative of k**5/20 - 7*k**4/12 + 7*k**3/6 - 3*k**2 - k. Let o = 274 + -267. Does 20 divide j(o)?
False
Suppose 5*f = 3*k + 16, 2*k + 68 = -2*k - 5*f. Let w(n) = n**2 + 10*n + 15. Is 8 a factor of w(k)?
False
Let i = -7 - -14. Let d(y) = 12*y**3 - y + i*y - 6*y. Is 4 a factor of d(1)?
True
Suppose 3*b = 2*d + 8*b + 25, -4*b - 20 = -3*d. Let x be (-6)/(-15) - (-1856)/10. Suppose -6*f + x = -d*f. Is f a multiple of 31?
True
Let q be 5/15*(2 - -4). Let p(w) = q*w**3 - w**2 - w**3 - 3*w - 4 - 2*w**3. Is 13 a factor of p(-4)?
False
Suppose -w = 9 - 6. Is 23 a factor of 23/(-1)*(w - -2)*1?
True
Suppose -5*o - 191 = 3*x, -o + 0 - 1 = 0. Let a = x + 96. Is a a multiple of 17?
True
Suppose -3*g + 66 = -3*v, 0*g + 2*g = -6. Let q = v + 29. Suppose -4*o + 74 = m + 10, -222 = -q*m + o. Does 22 divide m?
False
Does 63 divide -11 + (-16 - -4250) + 1*-2?
True
Suppose 14*w - 10*w + 2*c = 248, 0 = -2*w - 5*c + 116. Is 9 a factor of w?
True
Let o(v) = v**3 + 5*v**2. Let w be o(-5). Suppose 3 = -2*f - b - 91, 4*f - 5*b + 188 = w. Let u = 82 + f. Is u a multiple of 9?
False
Suppose -18*j + 2 = -16*j. Is 13 a factor of 26*j*(-2 - -3)?
True
Let m(a) = -25*a + 100. Is m(-8) a multiple of 15?
True
Let j = 1572 + -741. Is j a multiple of 53?
False
Suppose 17*f - 1210 = 12*f. Does 39 divide f?
False
Suppose 46 - 2 = -4*i. Let k(g) = g**2 - 2*g - 1. Let z be k(-1). Is 12 a factor of 2588/44 - z/i?
False
Suppose 0 = -3*t - 3*x + 156, -t - 15 = 4*x - 61. Suppose -2*a = -w + t, -1 - 19 = -4*a. Is w a multiple of 18?
False
Let l be (28/(-6))/7 - 128/(-12). Is 4/l - ((-324)/15 + 2) a multiple of 4?
True
Suppose -4*y + 1536 = 2*w, -y + 741 = w - 22. Is w a multiple of 16?
False
Let l = 5 - 2. Suppose -m = l*o - 20, 5*o - 2*m = -0*o + 15. Suppose 2 + 258 = o*v. Is v a multiple of 13?
True
Let r(u) = u**2 + 12*u + 15. Let b be r(-5). Let v = b + 27. Is v a multiple of 6?
False
Let f(b) = 2*b**2 + b + 2. Suppose -6 = 3*h + 3*k, 2*h + 17 = 6*h - k. Suppose 