 - 169. Does 19 divide v?
False
Let d be 0 - 3 - 20/(-2). Suppose 0 = 4*p - d*p + 3*f + 669, -3*p - 5*f = -645. Let c = -126 + p. Is c a multiple of 33?
False
Let d = -5 + 4. Let t be (-2 - -57) + (d - -2). Suppose t = 3*h + 5*i, 5*h = 4*h + i + 32. Is h a multiple of 11?
False
Suppose 131*i - 130*i - 648 = 0. Does 54 divide i?
True
Suppose -2*s - 2*s - 4 = 0. Let c(h) = -55*h - 14. Let l(v) = -18*v - 5. Let w(m) = 4*c(m) - 11*l(m). Is 5 a factor of w(s)?
False
Suppose -5*k + 10*k = 200. Does 3 divide k?
False
Let b be (2/(-2))/(4/(-16)) + -1. Is ((-147)/(-4))/(b/(-12))*-1 a multiple of 16?
False
Let k(p) = 3*p + 28. Let c(t) = -2*t - 19. Let i(w) = -8*c(w) - 5*k(w). Suppose f = -7*f. Does 6 divide i(f)?
True
Is -1*50/(-2)*(40 - 1) a multiple of 13?
True
Suppose -6*y = -2*y + i + 326, -y - 83 = i. Let w = 147 + y. Is w a multiple of 14?
False
Let w = 20 + -12. Suppose 0*z + 2*z - 6 = 0. Suppose -n + z = 3*i, -3*i = -4*n + 49 + w. Is 12 a factor of n?
True
Let z(y) = -y - 1. Let x be z(-7). Suppose c - 24 = -5*m - c, 3*c - x = 0. Is 19 a factor of (-2 - (-6)/m)*-104?
False
Let d(i) = -i**3 + 7*i**2. Let f be d(7). Suppose 3*o - 13 = -b - 0*b, f = -2*b - 5*o + 31. Is 14 a factor of b?
True
Let b be (2/3)/((-18)/108). Let g(z) = -2*z**2 - 9*z + 2. Is 3 a factor of g(b)?
True
Let q(v) = 1. Let c(x) = -2*x + 2. Suppose -a = -2*m - 3, 2*m = 7*m + 10. Let f(d) = a*c(d) - 8*q(d). Is 4 a factor of f(10)?
False
Suppose q = 5*z - 45, -z + 115 = -5*q + 10. Let c = 45 + q. Is c a multiple of 12?
False
Suppose -31 = -o + 167. Does 22 divide o?
True
Suppose 86 = 4*k - 422. Does 26 divide (-1)/((-1)/k) - 60/15?
False
Let l = -207 + 495. Does 16 divide l?
True
Let t(z) = -46*z - 36. Is t(-5) a multiple of 21?
False
Suppose 0 = 77*b - 82*b + 40. Is 4 a factor of b?
True
Let f(c) be the first derivative of -c**4/4 + 5*c**3/3 + 9*c**2/2 - 6*c + 4. Let a be f(6). Suppose -3*s + 78 = a. Is 6 a factor of s?
False
Let x(f) = f**3 - 10*f**2 - 12*f + 12. Let v be x(11). Let h be (v/3)/((-1)/(-18)). Suppose -h*z + 10 = -z. Is z even?
True
Suppose 45*f = 73*f - 38584. Is 31 a factor of f?
False
Let i = -29 - 7. Let g be -4 - 5/(20/i). Suppose y - 5*y + 2*b = -58, 0 = 5*y + g*b - 95. Is y a multiple of 16?
True
Let h(c) = 30*c + 24. Is h(12) a multiple of 32?
True
Let u(w) be the first derivative of -w**4 - 5*w**3/3 - 2*w**2 - 2*w + 25. Does 7 divide u(-3)?
False
Let u(w) = 126*w + 26. Is u(6) a multiple of 34?
True
Suppose 9*x - 125741 = -68*x. Is x a multiple of 23?
True
Let x be (1 + 2)*(2 + -1). Let i be (0 + (-168)/(-20))/((-2)/(-5)). Suppose i - x = v. Is v a multiple of 9?
True
Let z(l) = -3*l - 6. Let g be z(-4). Let i = g - 0. Suppose -i*p + 40 = -5*p. Does 11 divide p?
False
Let s = 15 - 13. Suppose 4*w = 4*k + 72, -2*w - 3*k = s*w - 86. Is 5 a factor of w?
True
Is (16 - -1669) + (10 - 1) a multiple of 77?
True
Let q(r) = -2*r**3 - 7*r**2 - 2*r + 6. Let p be q(-3). Suppose -4*c - p*j = -0*c - 304, 4*c + j = 304. Is c a multiple of 10?
False
Suppose -4*w + 575 + 1005 = -v, 0 = -3*w - 5*v + 1162. Is 22 a factor of w?
False
Suppose -2*v + 5*v = -81. Let d = v + 63. Is d a multiple of 12?
True
Let j(i) = -17*i - 3. Let r be j(-2). Let w = 218 - r. Suppose 23 - w = -4*v. Does 7 divide v?
False
Let f = -570 - -1066. Is f a multiple of 23?
False
Let a be (-14)/(2*(-2)/8). Suppose 3*k - 80 = a. Is 5 a factor of k?
False
Let x(r) = -8*r - 41. Let w = 104 - 126. Does 27 divide x(w)?
True
Let n be (13 - 11)*1/1. Suppose f - 1 = -n. Let w = 17 - f. Does 9 divide w?
True
Suppose -v + 7 = -73. Suppose -q + v = 3*d, 2*q + 48 = d + 19. Does 18 divide d?
False
Let w = -75 - -76. Suppose -37 = -3*o + 2*z, 6*z - 47 = -5*o + 2*z. Let m = w + o. Is m a multiple of 5?
False
Let u = 889 - 311. Is 18 a factor of u?
False
Suppose -35 = -3*t - 2*t. Suppose -2*k = t*p - 2*p - 31, -3*p - 4*k = -13. Suppose -88 = -p*c + 3*c. Is c a multiple of 8?
False
Let f(c) be the first derivative of c**4/4 + 4*c**3/3 - c**2 + 4*c + 3. Let s be f(-5). Does 11 divide s/22 - (-85)/2?
False
Let d(i) = 3*i + 12. Let l be d(-4). Suppose s - 5 - 3 = l. Is 8 a factor of s?
True
Let u be (-7)/2 - (-3)/(-6). Let h = 5 + u. Let s(i) = 6*i**2 - 2*i + 1. Is s(h) a multiple of 2?
False
Let m be (2 - 1)*(401 + -5). Suppose 0 = -10*l - l + m. Does 10 divide l?
False
Let b(z) = -z**3 + 22*z**2 - 2*z + 116. Does 9 divide b(22)?
True
Let x(m) = 34*m. Let s be x(1). Let b = s + 118. Is b a multiple of 31?
False
Let q be (-1 + 25)*((-1320)/18)/10. Let k = 332 + q. Is k a multiple of 13?
True
Let y be (-1964)/(-12) - (8/(-3))/(-4). Let q be 1156/(-18) - 2/(-9). Let v = y + q. Is v a multiple of 25?
False
Let v(s) = -4*s**2 - 58*s + 11. Is 32 a factor of v(-11)?
False
Let c(v) = 100*v - 5. Let r(l) = -l. Let k(d) = c(d) - 6*r(d). Does 23 divide k(2)?
True
Let z = 16 - 32. Let p(x) = -6*x - 30. Is p(z) a multiple of 11?
True
Let f(u) = u**3 + 4*u**2 - 5*u - 3. Let g be f(-5). Let t(p) = 17*p - 8. Let o be t(2). Let j = o + g. Is j a multiple of 23?
True
Suppose 3 = 5*s + 3*f - 15, 2*f - 5 = -s. Suppose 56 = k - 3*o, -s*k - o - 33 + 151 = 0. Suppose -k = -u - 4*w, -7*w = 2*u - 2*w - 76. Does 13 divide u?
False
Let r(z) = -61 - 9*z**2 + z + 3*z**2 + 112 - 59 + z**3. Does 16 divide r(7)?
True
Let g(j) = 43*j**2 + 25*j + 3. Does 60 divide g(-3)?
False
Let i(c) = 132*c**2 + 19*c + 10. Is 22 a factor of i(-4)?
True
Suppose -17*n = -0*n - 4590. Does 27 divide n?
True
Let z(d) = 85*d - 14. Does 31 divide z(6)?
True
Suppose 0 = -b - 6 - 3. Let t = b + 18. Suppose t*w - 12*w = -96. Does 8 divide w?
True
Is (-7)/((-49)/448) - -7 a multiple of 4?
False
Let l be ((0/(-2))/((-11)/(-11)))/(-2). Suppose -j - 2 + 10 = l. Is 8 a factor of j?
True
Let y(i) = -4*i**3 - i**2 - i - 1. Let a be y(-1). Suppose -m - 5*j = -0*j - 145, 0 = a*m + 3*j - 423. Does 35 divide m?
True
Let q(i) = -8*i + 9. Is 11 a factor of q(-5)?
False
Suppose -2*s + 210 = 2*s + 2*r, -r - 145 = -3*s. Does 25 divide s?
True
Suppose f = 3*i + 301 + 704, 5*f - 5051 = 2*i. Does 9 divide f?
False
Suppose -8*p = -13*p + 150. Let k = -3 + p. Let a = -11 + k. Is a a multiple of 3?
False
Let j = 24 + 0. Let c = j - 19. Suppose -c*o + 32 = -o. Is o a multiple of 5?
False
Let n = 230 - -1226. Is n a multiple of 42?
False
Let v(t) = 26*t + 8. Is v(7) a multiple of 16?
False
Suppose -5*v = -6*v - 1. Does 12 divide 1 + v + (68 - 8)?
True
Let a = 15 - 16. Does 10 divide (-2 + (a - 65))/(-5 + 3)?
False
Let z(g) = -74*g**2 + g. Let f be z(1). Let o = f - -108. Is 21 a factor of o?
False
Let p(y) be the first derivative of 3*y**2 - 9. Does 11 divide p(2)?
False
Let a be 2/((4 - 1)/6). Suppose h + w + 7 = 0, -h + 9*w - a*w = 13. Let g(b) = b**3 + 8*b**2 - 3*b - 4. Is g(h) a multiple of 5?
True
Let o(d) = d**3 + 6*d**2 - d + 6. Let n(j) = 3*j + 15. Let k be n(-7). Let s be o(k). Let x = s - 6. Does 3 divide x?
True
Let z(b) = 16*b**3 + 3*b**2 - 5*b + 3. Let r be z(1). Suppose r = 3*h - 79. Is 7 a factor of h?
False
Let s(l) = 4*l**3 - 9*l**2 - 29*l + 13. Is s(9) a multiple of 31?
False
Suppose 5*y = -3*z + 12301, -y - 5*z + 54 = -2415. Is y a multiple of 25?
False
Let l = -163 - -705. Does 12 divide l?
False
Suppose 5*o - 643 = -3*g, -3*o - g + 388 = 3*g. Is 29 a factor of o?
False
Let o(l) = 23*l + 5. Let i(y) = -1. Let a(s) = -6*i(s) - o(s). Let v be a(5). Let r = -66 - v. Is 12 a factor of r?
True
Let m be 2/11 - 172/(-22). Suppose -10 = -3*c + m. Suppose 3*r + 2*h = 6*r - 3, 5*h = 3*r + c. Does 3 divide r?
True
Suppose 0 = -h - 4*h + 125. Suppose 0 = 3*y + h - 61. Suppose -y = -5*b + 2*b. Is 4 a factor of b?
True
Suppose 0 = -k + 111 + 89. Suppose -k = -5*x - 2*b + 41, 0 = -2*x - 2*b + 100. Does 24 divide x?
False
Suppose 3*f - 7916 = 4*m, 5*m - 10*m + 5285 = 2*f. Does 60 divide f?
True
Let j(l) = 2*l**2 - 7 + 0 - l - 3*l**2 + 4. Let s be j(4). Let w = s - -26. Is 3 a factor of w?
True
Suppose 0*v + 10 = 2*v. Let n(s) = -12*s**2 + 6*s + 56. Let u(j) = -5*j**2 + 3*j + 26. Let w(m) = -4*n(m) + 9*u(m). Is 13 a factor of w(v)?
False
Let x(n) = n**3 + 7*n**2 + 6*n + 3. Let f be (2 + 1)*4/(-3). Let i be x(f). Let h = i - 11. Is 16 a factor of h?
True
Let s(n) = -47*n + 6. Let l be s(2). Let b = l - -166. Is b a multiple of 26?
True
Let d(x) = -x**3 + 5*x**2 + 8*x - 14. Let o be d(6). Let j(u