pose -b*v + v = -60. Suppose -l + 39 = 5*r, -v - 4 = -l - 2*r. Is l a multiple of 3?
False
Suppose -2*f + 188 = -2*a, -4*f + f + 2*a + 284 = 0. Suppose q - o - 69 = 0, -5*o - 57 = -2*q + f. Is q a multiple of 16?
True
Let i(j) = -1247*j**3 + 3*j**2 + 6*j + 4. Is 13 a factor of i(-1)?
True
Suppose 679 = -3*c + 1912. Is 41 a factor of c?
False
Suppose 4*d - 1744 = -5*m, -2*d + m = -5*d + 1319. Does 21 divide d?
True
Is 35 a factor of 11/((-110)/525)*(-30)/5?
True
Suppose -a - 7 = 4*z, 2*a - 3*z = z - 38. Let u = 19 + a. Suppose -t + 2*t = -u*i + 15, -4*t = 3*i + 5. Is i a multiple of 3?
False
Let m be 1/((-3)/15) + -2692. Is 35 a factor of (-4)/44*2 - m/11?
True
Suppose -5*d + d = -5*t + 51, -2*t + 4*d = -18. Let w be (11/t)/(2 + -1). Does 13 divide w/4 - 204/(-16)?
True
Let d = 11 + -8. Suppose -p + d*p = 4. Suppose p*w - 83 = -15. Is 17 a factor of w?
True
Let k(x) = -x**2 + 3*x + 4. Let v(q) = q**3 - 9*q**2 + q - 4. Let t be v(9). Let b be k(t). Let o(d) = -7*d - 6. Does 12 divide o(b)?
True
Let d(m) = m**3 + 4*m**2 - 1. Let u be d(-4). Let o(q) = -32*q - 28*q - 2 + 3 - 23*q - 3. Is o(u) a multiple of 37?
False
Is 2307*((-5)/(-3) - 2)*-1 a multiple of 21?
False
Let n = 437 - 307. Does 20 divide n?
False
Is 1269/6*(-20 - -22) a multiple of 2?
False
Let b(k) = k**2 + 12*k + 24. Let i be b(-3). Let w(t) = 10*t**2 + 8*t + 18. Is w(i) a multiple of 5?
False
Let v(k) be the second derivative of k**4/4 - 2*k**3/3 - 5*k**2/2 + 2*k. Is 32 a factor of v(-4)?
False
Suppose 6*l = 10*l - 700. Is l a multiple of 8?
False
Let u(q) = -q**2 + 4*q + 7. Let c be u(5). Is 18 a factor of (288/112)/(c/14)?
True
Suppose 0 = -2*f + 9*f + 336. Let q = 307 - f. Is q a multiple of 12?
False
Let t be (-921)/13 + -2 + 14/(-91). Let n = 125 + t. Is 5 a factor of n?
False
Let w be -2 + 2/(-3)*-3. Suppose -x + 3*j = -53, w*j = 2*x - 5*j - 105. Does 25 divide x?
True
Suppose -5*o = -323 - 512. Is 19 a factor of o?
False
Let a be ((3 - 2) + -5)/2. Is 6 a factor of -5 + 3 - (a + -6)?
True
Suppose k = 4*k + 2*d + 22, -k + 2*d = -6. Is 10 a factor of (322/2 - 7)*(-2)/k?
False
Suppose 8 + 130 = -3*v - 4*g, -2*v = 2*g + 90. Does 47 divide (-3)/(v/(-4)) + 44469/189?
True
Let x = -843 - -1436. Is 23 a factor of x?
False
Suppose 33*g - 18048 = g. Is g a multiple of 13?
False
Let g = 201 - 126. Let w = g + 21. Does 32 divide w?
True
Suppose 2*v + 0*r + r - 50 = 0, 3*v + r - 73 = 0. Suppose 2*n - 5 = -v. Let o(l) = -l**2 - 11*l - 7. Is o(n) even?
False
Let g(d) be the second derivative of -d**7/840 + d**6/36 - d**5/40 - d**4/2 + d**3/3 + 4*d. Let w(v) be the second derivative of g(v). Is 16 a factor of w(9)?
False
Suppose m - 18 + 63 = 0. Let p = m + 61. Is 8 a factor of p?
True
Let h(w) be the first derivative of -w**4/4 + w**3/3 + 5*w**2/2 - w + 26. Does 13 divide h(-6)?
True
Let h = -1069 - -1072. Let b be ((-1)/(-2))/(1/10). Suppose h*d = -q + 72 + 51, 5*q + b*d - 615 = 0. Is q a multiple of 41?
True
Suppose 11*p - 96 = 7*p. Suppose -11*i = -7*i - p. Does 6 divide i?
True
Suppose 22 = 10*i - 18. Suppose i*h - 413 = -49. Is h a multiple of 20?
False
Let f be (-1)/4 + 8612/16. Let u = -252 + f. Is 1/(u/142 + -2) a multiple of 31?
False
Let h be ((-452)/6)/(19/(-57)). Let u(s) = -s + 11. Let b be u(-9). Suppose -2*c + 3*g + 52 + b = 0, -5*c + h = 4*g. Is 11 a factor of c?
False
Let y = -13 - -13. Suppose 3*h - 25 - 11 = y. Let u(k) = k + 4. Is u(h) a multiple of 3?
False
Let g = -21 - -14. Let z(m) = m**3 + 8*m**2 - 15. Does 17 divide z(g)?
True
Let c = -125 - -110. Let g = c + 32. Does 2 divide g?
False
Let a = -49 - -50. Suppose a = y - 1. Does 2 divide y?
True
Suppose -1 + 7 = -f - 2*a, f + a + 3 = 0. Let n be (-2)/(-1) + f + 52. Let v = n - 18. Is v a multiple of 10?
False
Suppose -4*h + 152 = -2*g, -h = -5*g - 22 - 7. Suppose h + 5 = 2*d. Does 3 divide d?
False
Suppose 6 = -4*f + 2. Let d be -3*(-1 + f + -10). Suppose 4*v - 3*v - d = 0. Does 17 divide v?
False
Suppose 4*u = 4*q - 16, -4*q + 10 - 2 = -3*u. Is 14 a factor of (-12)/7*196/u?
True
Let u = -147 + 874. Is 5 a factor of u?
False
Let v(f) = 3*f**3 + 8*f**2 + 5*f + 6. Let s be v(-5). Let r = 401 + s. Suppose 5*m - r - 33 = 0. Does 24 divide m?
True
Let k(f) be the first derivative of -19*f**2/2 + 2*f - 2. Let g = 325 + -327. Is 8 a factor of k(g)?
True
Suppose 10*l = 25*l - 885. Does 16 divide l?
False
Let x(z) = -10*z + 6 - z + 3*z + 6*z. Let v be x(6). Is 2 a factor of 2/v*(8 + -14)?
True
Suppose -4*o = -3*r + 36, r - 3 = 5*o - 2. Let q(u) = 2*u**2 - 22*u - 6. Let z be q(r). Is 33 a factor of (36/(-14))/((-3)/z)?
True
Suppose 0*c = -2*c. Let l be (c - -2)*159/6. Let o = -30 + l. Is 5 a factor of o?
False
Let d be 6/(-8) - 26/8. Let n = d + -48. Is 16 a factor of 255/4 - 13/n?
True
Does 14 divide 62 + 0 + 370/(-37)?
False
Let p be (-8)/3 + ((-7)/3)/7. Let v(b) = 6*b**2 - 2*b**2 + b**3 - 2*b + 0*b**2. Does 11 divide v(p)?
False
Let m = 327 + -291. Does 4 divide m?
True
Does 19 divide 34*((-2)/21 + (-4572)/(-378))?
False
Suppose -4*g - 39 = -17*g. Suppose -5*c + c - 4 = 0, 123 = g*h - 3*c. Does 8 divide h?
True
Suppose p - 167 - 651 = 0. Is p a multiple of 13?
False
Suppose -2*i + 3*i = 3*j + 4, 2*i = -3*j - 37. Let h(w) be the third derivative of -w**6/120 - w**5/5 - 5*w**4/12 + 8*w**3/3 + 3*w**2. Is 5 a factor of h(i)?
True
Suppose 0 = 2*c + 2*b - 38, c - 24 = -5*b + 7. Suppose 2*i = 9 + 1. Suppose r - i = c. Is 8 a factor of r?
False
Suppose 8*q - 2*q - 2358 = 0. Suppose -171 = -4*r + q. Does 28 divide r?
False
Let b(v) = -2*v**3 - 57*v**2 + 62*v - 70. Does 77 divide b(-30)?
True
Suppose 0*j + 92 = 4*j - 4*i, -3*j + 61 = i. Suppose -57 = -2*g - j. Does 2 divide g?
True
Suppose -6 = -9*g + 7*g. Suppose -9 = -5*f - 5*z + 461, -g*z + 12 = 0. Is f a multiple of 15?
True
Suppose -405 = -23*h + 4287. Is h a multiple of 68?
True
Let j = -104 + 65. Let l = j + 83. Let o = -1 + l. Does 13 divide o?
False
Suppose -5*y - 69 = 6. Is 34/((-3 + -2)/y) a multiple of 17?
True
Let s be ((-4)/6)/(2/(-3)). Let m be (s + -2 - -3) + 0. Suppose 3*b + 5*k = b + 33, 0 = m*k - 2. Is 14 a factor of b?
True
Suppose -7*k - 2*k - 396 = 0. Let n = 38 - k. Is n a multiple of 14?
False
Suppose 0 = -2*g + 942 + 2018. Is g a multiple of 40?
True
Let q(r) be the third derivative of r**5/30 - r**4/8 + 14*r**3/3 + 18*r**2. Does 12 divide q(8)?
True
Suppose -5*g - y = 133 - 2688, 0 = -3*g + y + 1525. Is 8 a factor of g?
False
Suppose -169 = 3*z - 5*n, 2*z + 0*z + 121 = -5*n. Is 13 a factor of 6 - z - (-3 + 2)?
True
Let w(u) = -8*u - 26. Let b be w(17). Let t = b - -314. Is 18 a factor of t?
False
Suppose 16169 + 8022 = 17*n. Is 13 a factor of n?
False
Suppose 0 = -j - 4*j + 6475. Is j a multiple of 35?
True
Let y = -16 + 30. Suppose -y = o - 2*o. Is 14 a factor of o?
True
Let u be 10/15 + (-2795)/(-15). Let d = u + -19. Is d a multiple of 8?
True
Let g(w) = -4*w. Let d = -22 + 19. Let v(m) = 7*m - 1. Let p(q) = d*v(q) - 5*g(q). Is p(-10) a multiple of 13?
True
Let c(o) = o**2 + 35*o + 13. Let m be c(-11). Let w = -81 - m. Is 34 a factor of w?
True
Let s(o) = 16*o**2 - 5*o - 18. Let g be s(-6). Suppose -3*f - 4*a + a + g = 0, 2*a = 10. Is 10 a factor of f?
False
Let r be (16/((-64)/(-15)))/(3/776). Suppose 0 = 36*c - 41*c + r. Is c a multiple of 15?
False
Let m be (0 - -3)/((-33)/(-5390)). Suppose 2*a + 3*a = m. Let l = -34 + a. Does 16 divide l?
True
Suppose 35*x = 10*x + 27575. Does 17 divide x?
False
Let g be 40/(-15) + (-2)/6. Let n be (-14)/g - 1/(-3). Suppose 0 = n*k - 25, 63 = 2*a + 4*k - 3*k. Is a a multiple of 6?
False
Let v = -27 + 37. Let z = 12 + v. Is 8 a factor of z?
False
Let q(o) = 2*o**3 + 16*o**2 - 17*o + 31. Let i(p) = -p**3 - 8*p**2 + 9*p - 16. Let w(f) = 5*i(f) + 3*q(f). Is w(-7) a multiple of 27?
False
Let t be 2/(4/8*1). Suppose 3*r - t*a - 58 = 0, -6*r + 3*a + 115 = -r. Is 13 a factor of r?
True
Suppose 249 = 4*p - 791. Suppose -2*x + p = -3*z, -5*z + 564 = 3*x + x. Does 9 divide x?
False
Suppose 128*v - 129*v + 1360 = -2*c, -3*v = -5*c - 4084. Does 72 divide v?
True
Let o(z) = z**3 + 13*z**2 + 5*z - 40. Does 21 divide o(-11)?
True
Let v = 2523 - 1773. Does 55 divide v?
False
Suppose 5*l = -3*c + 6344, -c = 2*l + 2*c - 2543. Is 47 a factor of l?
False
Let n(b) = -b**3 - 13*b**2 + 16*b + 30. Let i be n(-14). Let s(d) = 22*d**2 - 5*