u + 9 = -0. Is r a multiple of 12?
False
Let o be -2 + 2 + -3 + (36 - -2). Suppose 0 = 2*m - 85 - o. Is m a multiple of 15?
True
Let x = 46 + -78. Let d be (x/(-20))/(1/(-5)). Let i(u) = -4*u - 12. Is i(d) a multiple of 20?
True
Suppose -77*s = -82*s + 1540. Is s a multiple of 44?
True
Is 1107 - -57 - 4*1 a multiple of 4?
True
Let l(j) = -j. Let r be l(-5). Suppose -4*n + r*n = -188. Let d = -122 - n. Is 13 a factor of d?
False
Let g = 36 - 19. Suppose g*w = 21*w - 176. Suppose 2*x + 4*o = w, -2*o + 70 = -2*x + 5*x. Does 8 divide x?
True
Let n(c) be the third derivative of -c**5/5 - c**4/24 + 8*c**2. Let b be n(3). Let a = -60 - b. Does 17 divide a?
True
Let j(o) = -o**2 - 10*o - 14. Let z be j(-7). Is 428/z - (-17)/(-119) a multiple of 9?
False
Let r = 15 - -30. Let z = 21 + r. Does 11 divide z?
True
Let t = 48 - 178. Let y = t - -157. Does 8 divide y?
False
Let w = 79 + -156. Let f = 39 - w. Does 29 divide f?
True
Suppose g = 4*g - 177. Is 7 a factor of g + (36/12 - (-1 + 0))?
True
Suppose -1852 = -2*v + 4*d, 8*v + 3*d - 3715 = 4*v. Does 16 divide v?
True
Let o(s) = 46*s**2 + 3*s + 3. Is 44 a factor of o(4)?
False
Suppose 3*z + 12 = 0, -9 = -i + 7*z - 3*z. Let n = i + 16. Let l = n + 9. Does 9 divide l?
True
Let n(j) = j**2 - 25*j + 14. Does 48 divide n(-11)?
False
Suppose 3*c = 2*n - 667, -5*n + 1680 = 8*c - 3*c. Is 5 a factor of n?
True
Let q(f) = f**2 - f + 1. Let n(h) = 2*h**3 - 8*h**2 - 17. Let s(z) = n(z) + 2*q(z). Is s(5) a multiple of 51?
False
Let n(z) = 5*z**3 - 3*z + 2. Let k be n(1). Suppose m + 25 = 4*x - 0*m, -4*m = k*x. Suppose -o - 80 = -3*u, -u - x*o + 2 = -30. Is u a multiple of 18?
False
Is -1 - 2 - (-915 - -16) a multiple of 7?
True
Let f(z) = 14*z - 4. Suppose -11 = -5*k - 2*d, -4*k = -6*d + 2*d - 20. Is f(k) a multiple of 8?
False
Let i(k) = k**3 - 5*k**2 - 3*k - 13. Let h be i(6). Suppose -6*v - h = -7*v. Does 4 divide v?
False
Let k be (30/(-25))/(3/(-270)). Suppose k = -4*z - t, -2*t = z + 3*t + 46. Let r = z + 47. Is 8 a factor of r?
False
Let o(l) = 2*l**3 - 10*l**2 + 33*l + 5. Is 25 a factor of o(6)?
True
Suppose 10*n - 2 = -22. Is n/(-4 + 813/204) - 0 a multiple of 15?
False
Does 8 divide 901 + -6 + (0 - -1)?
True
Suppose 4*f + 3 = -1. Let p = f + -8. Let o(h) = -h + 9. Is o(p) a multiple of 14?
False
Let z(f) be the first derivative of f**4/2 - 10*f**3/3 + 6*f**2 + 9*f + 42. Is z(6) a multiple of 8?
False
Let c be (-123)/9 + (-1)/3. Does 9 divide (-438)/(-1)*c/(-21)?
False
Let p be (-6)/(-1 + (-2)/(-1)). Let r be 24/(-10)*15/p. Is 4 a factor of (-2)/r - 75/(-9)?
True
Let w = -179 + 252. Does 47 divide w?
False
Suppose 0 = -20*y + 934 + 386. Is y a multiple of 22?
True
Let i = 26 - -212. Let y be 2/(-8) + -2*1803/(-24). Let a = i - y. Is a a multiple of 22?
True
Suppose 24*s = 32*s - 4128. Does 9 divide s?
False
Let q = 22 + -11. Let j(z) = 2*z - 19. Let r be j(q). Suppose 3*h - 4*p = 132, -r*h + 88 = -h - 3*p. Is h a multiple of 15?
False
Let l be ((-1)/3)/((-2)/(-6)). Does 4 divide ((-12)/(-3) + -15)*l?
False
Let h = -29 + 27. Let i be 24518/161 - h/(-7). Suppose -n + 0*c = -3*c - 48, -3*n + i = -c. Is 17 a factor of n?
True
Suppose -2*h - 3*h + 60 = 0. Let o(r) = r - 2. Let c(a) = a**2 - 12*a + 21. Let l(p) = c(p) + 6*o(p). Is l(h) a multiple of 27?
True
Let x = -5 + 7. Suppose -2*w = x*t, -4*t = 3*w + 1 + 1. Suppose -3*y + 50 = w*y. Does 3 divide y?
False
Let m(s) = -s**2 + 16*s - 19. Let k be m(15). Does 3 divide (-16)/k + (-45)/(-5)?
False
Let k = 25 + -23. Suppose -54 = -4*j - k*j. Suppose -j*t + 540 = -0*t. Does 20 divide t?
True
Let y = -127 + 180. Is 11 a factor of (4 - 15/5)*y?
False
Let a = 3 + 26. Suppose z - 4*g - a = 0, 0 = 5*g + 9 + 11. Does 6 divide z?
False
Suppose 0 = h - 2*f - 1, 3*f = 4 + 5. Suppose -i - h + 9 = 0. Is 2 a factor of i?
True
Suppose -3*j + 0*j - 4*v + 1361 = 0, 4*v = 4*j - 1768. Does 29 divide j?
False
Suppose -10 = -3*f - 13, 4*u - 483 = 3*f. Is u a multiple of 20?
True
Suppose -2*j + 362 = -602. Let u = j + -296. Is u a multiple of 11?
False
Suppose 4*a - 17 = -1. Suppose -a*t = 5*t - 126. Does 7 divide t?
True
Let f(q) = -64*q**3 + 5*q**2 + 4*q - 7. Does 95 divide f(-2)?
False
Let i be (4 + -2)*5*(0 + 1). Suppose i*l - 49 = 5*l + 3*s, 0 = -3*l + 4*s + 25. Does 2 divide l?
False
Let n be ((-408)/(-40) + -7)/((-4)/(-70)). Suppose 2*u = -3*v + 2*v + 87, -u - 3*v + n = 0. Is 4 a factor of u?
False
Suppose -4*s = 1 - 17, 0 = 3*c - 2*s - 1882. Is c a multiple of 10?
True
Let h(p) = 5*p**2 - 2*p. Let n be h(2). Suppose 0 = -3*f + u - 5, -25 = -5*u. Does 7 divide (f - -1) + -3 + n?
True
Let f(i) be the second derivative of 5*i**4/12 - 2*i**2 - 9*i. Let c be f(5). Let a = c + -66. Does 22 divide a?
False
Is (7/2 - 3 - -3)*86 a multiple of 6?
False
Suppose -3*p + 2*u = -7351, p - 643 = -u + 1809. Is p a multiple of 67?
False
Suppose -4*z = -2*z + 4*r - 104, 4*r - 150 = -3*z. Let c be 0 + (z - (-1 + -2)). Suppose 4*v - v = 2*o + 55, -3*v = o - c. Does 10 divide v?
False
Let l be 1 + (2 - 2)/(-2). Let p be ((-56 - 2)*l)/(-1). Suppose 2*b + p - 153 = -3*s, -5*b = -5. Is 8 a factor of s?
False
Let d(j) = 2 - 458*j**2 + 5 + j**3 + 463*j**2. Is 5 a factor of d(-3)?
True
Let c = 16 + -13. Suppose 2*n = c*f + 24, -26 = -n + 3*f - 5*f. Does 11 divide n?
False
Let g(a) = -2*a**2 - 33*a + 5. Let o be g(-16). Does 13 divide (-2075)/(-20) - (o/12 - 2)?
True
Suppose -246*r = -251*r + 390. Does 19 divide r?
False
Suppose 4*n = 5*n. Suppose -3*u = 15, -5*t + 420 = -n*t + 2*u. Suppose -3*p = -266 + t. Is 15 a factor of p?
True
Suppose -5*v - 16 = -76. Does 40 divide 158 + -3*(-8)/v?
True
Let a = 534 - 430. Is a a multiple of 5?
False
Let m(x) = 17*x - 8. Let y = 101 - 97. Does 10 divide m(y)?
True
Let l(d) = -d**3 + 11*d**2 - 22*d - 11. Let x be l(8). Let k = x + 43. Is k a multiple of 9?
False
Suppose -160 = -5*w + 5*b, -63 = 3*w - 4*b - 160. Is 7 a factor of w?
False
Let p(a) = -a**2 - 2. Let x be p(-3). Let w = x - -14. Suppose 3*q = -q + 16, 2*l - 156 = w*q. Is 12 a factor of l?
True
Suppose 6*o - 4*o + 6 = 0, 3*r + o - 207 = 0. Is 5 a factor of r?
True
Let d be (-1671)/(-45) + 6/(-45). Does 8 divide (6 - 4)*d*1?
False
Let p(y) = -3 - 3 - y**2 + 28*y - 4. Does 23 divide p(19)?
True
Suppose -3*u - 148 = -5*u. Let s = 176 - u. Is 19 a factor of s?
False
Suppose -2*b + 0*b = -2*r - 18, 2*r - 8 = 0. Suppose 3 + b = 4*x. Suppose 2*a - y - 52 = 0, 3*a + x*y = -63 + 163. Is 7 a factor of a?
True
Let t = 235 + -357. Let j = t - -227. Is 31 a factor of j?
False
Let i(y) be the first derivative of y**3/3 - 5*y**2 - 12*y - 4. Suppose 14*b = 12*b + 24. Is i(b) a multiple of 12?
True
Let o be (285/(-4))/(3/(-8)). Suppose 7*a + o = 12*a. Does 10 divide a?
False
Let i be 1 - (189/2 - 10/20). Let y = i - -117. Does 8 divide y?
True
Suppose 0 = -2*w + 6*w - 32. Suppose -w*l + 10*l = -4. Let c = 12 - l. Is c a multiple of 6?
False
Let n(s) be the first derivative of 17*s**2/2 + 4*s - 7. Let j be n(4). Suppose 2*q = -0*q + j. Is q a multiple of 8?
False
Let v = 3 - 2. Let m(y) = 48*y + 29*y - 20*y. Is 14 a factor of m(v)?
False
Suppose -3*s = -2*d + 1732, -19*s + 15*s - 2600 = -3*d. Is 8 a factor of d?
True
Let f be ((-90)/(-24))/(6/16). Let t be 11/(-2)*(-12 + f). Let m = t - -2. Is m a multiple of 5?
False
Let p(k) be the first derivative of -k**4/4 - k**3 + 7*k**2/2 - 3*k + 5. Let c be p(-7). Suppose x = 3*n - 2*x - 102, -4*x + c = 4*n. Does 22 divide n?
False
Suppose 3*d = -18 + 1086. Does 33 divide d?
False
Suppose 0 = 5*x - 4*n + 4, 0*x - 5*x - 36 = 4*n. Let s(b) = -b**2 - b - 3. Let o be s(x). Does 5 divide 168/15 + 3/o?
False
Suppose -208 = -3*f + 4*x, 267 = 4*f + 3*x + 23. Suppose 6*c - 2*c = f. Is 3 a factor of c?
False
Let s = -3 - 7. Let k(f) = -f**3 - 10*f**2 - 11*f + 12. Let m be k(s). Does 29 divide m + (-5 + 2)/(-1)?
False
Let x = -14 + 3. Let z(f) = 5*f + 8. Let v be z(3). Let w = v + x. Is 12 a factor of w?
True
Let h be (3/6)/((-2)/12). Let g(n) = 3*n**2 + n**2 - 5 + 2 + n**2. Is 14 a factor of g(h)?
True
Suppose -3*d + 5 = -2*n - 15, 2*d = -3*n + 35. Suppose 2*u = d + 6. Suppose -4*z - 52 - u = -2*s, 5*s - 150 = 3*z. Is s a multiple of 15?
True
Let o = 69 - 49. Suppose 0*c - 2*c - 4*z = 36, z = -1. Let r = c + o. Is r a multiple of 4?
True
Let g(y) = 9*y**2 + 26*y - 35. Is 55 a factor of g(-