. Suppose -3*v = -5*x + 13, -4*x = 2*v + 2*v - o. Let q = 14 - v. Is 5 a factor of q?
True
Suppose -7*g + 3*g - 16 = 0, -5*c = 5*g - 110. Let k = c + 7. Is 11 a factor of k?
True
Let c = 55 + -14. Is c a multiple of 13?
False
Suppose 2*r + v = 230, r + 2*r - 346 = -v. Does 29 divide r?
True
Let f be ((-27)/(-6))/(3/6). Let l = 15 - f. Let g(c) = 2*c - 8. Is 2 a factor of g(l)?
True
Let l = 37 - 21. Let f = -3 + 9. Let h = l + f. Does 8 divide h?
False
Suppose 0 = -5*o - 22 - 48. Let x be o + (-1)/3*0. Let y = -2 - x. Is 6 a factor of y?
True
Suppose 0 = 4*t + a + 2*a + 45, -3*t - 39 = 4*a. Let s(o) = -4*o + 3. Is 12 a factor of s(t)?
False
Let u(n) be the first derivative of n**6/360 - n**5/24 - n**4/3 + n**3/3 - 3. Let z(h) be the third derivative of u(h). Does 7 divide z(8)?
False
Is 1*(-3 - -9)*7 a multiple of 29?
False
Suppose 3*l - 7*l + 16 = 0. Does 5 divide l/14 - 225/(-21)?
False
Let w(r) = -2*r**2 + 4*r + 1. Let m be w(3). Suppose 2 = 2*i + 18. Let a = m - i. Is a a multiple of 2?
False
Let c(r) = 2*r**2 - 5*r - 6. Suppose -b - 9 = -2*b. Is 37 a factor of c(b)?
True
Suppose 4 = -j, 5*k - 2*j - 98 - 195 = 0. Let g = 43 + -74. Let a = g + k. Is a a multiple of 13?
True
Let c(s) be the first derivative of -s**4/4 - 7*s**3/3 - 3*s**2 + 6*s - 3. Let k be c(-6). Suppose -1 - 1 = 2*w - 5*r, -3*r - k = -2*w. Does 3 divide w?
True
Does 13 divide (-1 + -2)/((-3)/13)?
True
Suppose 4*l - 51 = 3*l. Suppose -l = -5*i - 1. Is i a multiple of 5?
True
Suppose 1 = 3*o - 92. Suppose 0*u - 4*q - o = -5*u, u = 5*q + 23. Suppose -u = -2*f + 23. Is 13 a factor of f?
True
Suppose 3*d = 7*d - 20, -5*j = -2*d + 15. Let u(b) be the third derivative of -7*b**4/12 - b**3/6 - b**2. Is u(j) a multiple of 13?
True
Does 3 divide (9/(-3) - -16) + -3?
False
Let y(c) be the second derivative of -c**3/2 - c**2 + c. Let q(r) = 2*r + 13. Let m be q(-9). Is 5 a factor of y(m)?
False
Let n = 0 - -9. Is n a multiple of 3?
True
Suppose 0 = 2*f - 6, 3*a - 7 = -2*a + f. Is 45/a + (-3)/(-2) a multiple of 12?
True
Suppose -4*j - a + 9 = 2*a, 5*j - 3*a = 18. Does 4 divide j/(-4) + 129/12?
False
Suppose 2*a + 4*s - 2 = 0, -s - 1 = -2. Let v be a/(-3 - 255/(-84)). Let o = v - -70. Is 21 a factor of o?
True
Suppose -8 = -2*o + 4*o, 0 = 4*c + 5*o - 636. Suppose 55 = -n + 2*n + 2*d, 3*n = -5*d + c. Is 24 a factor of n?
False
Let j be 1/(-2) - 5/(-2). Suppose 0*b - j*b - 44 = -4*n, -2*b - 33 = -3*n. Let g = n - 0. Does 4 divide g?
False
Let r(a) = -a - 6. Let i(f) = -f - 6. Let z(v) = -3*i(v) + 2*r(v). Let u be z(-6). Suppose u = 2*l + 10, -2*l - 65 = -4*p - 5*l. Is 7 a factor of p?
False
Suppose 2*z - 8 = z. Suppose 3*l = l + z. Does 3 divide l?
False
Let x(k) = -20*k**3 + k - 1. Does 45 divide x(-2)?
False
Let r(k) = -k**2 - 12*k. Is r(-9) a multiple of 16?
False
Let v be 2/7 - 26/(-7). Suppose -5*s - 2*f = -309, s - 51 = -8*f + v*f. Let x = s - 37. Does 13 divide x?
True
Let f(j) = -j**3 + 4*j**2 - j. Let r be f(3). Let m be (30/20)/(r/8). Suppose -n = -5*g + 144, -m*n + n = g - 24. Is 14 a factor of g?
True
Suppose 0 = -2*o - 2 + 22. Does 14 divide 56/o*135/18?
True
Let k = -10 + 4. Suppose 0 = 4*f - f - 51. Let c = k + f. Does 5 divide c?
False
Suppose f - 58 = 2*c, 2*c - 220 = -5*f + 46. Let m be f/8 + 1/4. Let v = m - 2. Does 2 divide v?
False
Suppose 3*b - 30 = -q, 3*q + q - b - 81 = 0. Let u = 14 - q. Is (0 - u) + 7 + -10 even?
True
Suppose -4*r + 60 = 4*w, -5*w + 16 = 3*r - 59. Is 5 a factor of w?
True
Let i = 130 - 20. Does 20 divide i?
False
Let i(p) = -7*p**2 + 5. Let w(h) be the second derivative of -5*h**4/3 - h**3/6 + 15*h**2/2 + h. Let k(g) = 17*i(g) - 6*w(g). Is k(-8) a multiple of 11?
True
Suppose -5 + 0 = -l. Suppose -l*o + 59 = -71. Does 13 divide o?
True
Suppose -30 = 4*o + o. Does 4 divide o*((-3)/3 + -1)?
True
Suppose 0*p - 4*p + 20 = 0. Let s be p*(-3 - (-39)/15). Let b = s + 5. Is 3 a factor of b?
True
Does 4 divide 70/3 - (-40)/(-30)?
False
Let b(w) = 3*w**2 - 4*w - 3. Let p = -10 + 8. Does 17 divide b(p)?
True
Let b be 55/15 + 2/6. Suppose -10 = -b*j + 26. Does 9 divide j?
True
Suppose 11*m - m = 1110. Does 19 divide m?
False
Suppose 9*y - 10*y + 65 = 0. Is y a multiple of 13?
True
Suppose -5*j - 37 = l, 2*l - 2*j = l - 37. Let g(q) = 2*q + 7. Let m be g(-6). Let r = m - l. Does 16 divide r?
True
Suppose -t - m = -0*t - 2, -5*t + 14 = 3*m. Suppose 0 = -4*v - t*r + 20, -4*v + 13 + 1 = r. Does 3 divide v?
True
Let l(f) = 6*f - 17. Is 15 a factor of l(8)?
False
Let y = -57 - -85. Is 28 a factor of y?
True
Let l = 75 - 67. Is l even?
True
Let f = 26 - 8. Suppose 5*l - 16 = 5*w - 1, f = 2*l - 5*w. Is 0 + (1 - -30) - l a multiple of 11?
False
Let y(f) = 11*f**2 + 3*f - 4. Let s(b) = -23*b**2 - 7*b + 9. Let r(u) = 3*s(u) + 7*y(u). Suppose -4 = 3*a - 7*a. Is 4 a factor of r(a)?
False
Let f = 101 - 59. Does 8 divide f?
False
Suppose -5*y + 85 = -140. Suppose 2*a + 5*c - y = -3, -3*a = -5*c - 113. Is a a multiple of 9?
False
Is (-1)/(-1)*(47 + -2) a multiple of 15?
True
Suppose 0 = -7*v + 3*v + 5*g + 1280, 5*v + 4*g = 1559. Suppose 4*l = -s + 54, -v = -5*s - 5*l - 0*l. Is s a multiple of 12?
False
Let v(z) = 7*z + 10. Let b be v(9). Let y = b + -34. Does 16 divide y?
False
Let i = 11 - -84. Is i a multiple of 19?
True
Suppose 2*l = 3*z + 69, 4*l + 5*z - 51 - 54 = 0. Is 22 a factor of l?
False
Is 16 a factor of (3*-2)/(27/(-288))?
True
Let t(q) = q**3 - 7*q**2 + 2*q + 9. Is t(8) a multiple of 34?
False
Is 27 a factor of (-5 + 4 - -4)*18?
True
Suppose -2*l = -l - 42. Let k = l - 4. Is 13 a factor of k?
False
Suppose 8*v - 3*v = 240. Is 24 a factor of v?
True
Let t(m) = m + 3. Let i(d) = 1. Let j(p) = 2*i(p) - t(p). Let o be j(-7). Suppose -o*h = -h - 20. Is h a multiple of 4?
True
Let y be (-13)/3 - 1/(-3). Let l(g) = -6*g - 2. Does 11 divide l(y)?
True
Let p(s) be the third derivative of s**5/30 - 5*s**4/24 - 5*s**3/3 + s**2. Does 26 divide p(8)?
True
Let r = 5 - -4. Does 19 divide r/18 - 137/(-2)?
False
Let p(q) = -q**2 - 20*q + 37. Is 5 a factor of p(-18)?
False
Suppose 3*h = -5*v + h + 40, -4*h = -20. Let g(c) = 2*c**3 - 13*c**2 + 7*c + 1. Is 4 a factor of g(v)?
False
Suppose 15*d - 604 = 13*d. Does 47 divide d?
False
Let m(w) = w**3 + 14*w**2 - 5*w + 19. Let d be m(-14). Let a = d - 63. Does 4 divide a?
False
Suppose -2*j + 848 = 5*i, 8*j - 3*j = 5*i - 820. Does 24 divide i?
True
Suppose 0 = -4*k - 2*v + 40 + 22, -k + 3*v = -26. Is 17 a factor of k?
True
Suppose 0*y + 4 = 2*y + 5*c, 5*y + c - 33 = 0. Suppose -12 = -4*s - 6*x + 2*x, x = 4*s - y. Suppose 8 = s*v - 0. Does 4 divide v?
True
Suppose 2 + 33 = 7*q. Let o be (-26)/(-4) + (-1)/2. Suppose 4*f = o*f - q*u + 1, 3*f + 4*u = 56. Is 12 a factor of f?
True
Suppose 3*r - 4*z = z + 194, -2*r + 130 = -3*z. Suppose 2*g = -2*g - 4*j + r, -3*j + 63 = 4*g. Does 8 divide g?
False
Let r be 2 - (0 + 2 - 0). Let d be (16/(-6))/((-2)/21). Suppose g - d = -r*g. Is 14 a factor of g?
True
Is (-468)/(-9)*(-2)/(-8) a multiple of 13?
True
Let f(q) be the second derivative of -q**4/12 - 2*q**3/3 + 5*q**2/2 + 3*q. Let b be f(-5). Suppose -2*y - 10 = 0, -2*y = -b*c - 3*c + 55. Does 15 divide c?
True
Let q = 327 + -8. Does 11 divide q?
True
Let g be 4/(-8) - 10/4. Let l = -2 - g. Suppose -l = 5*m + 24, -55 = -4*d + 3*m. Is d a multiple of 5?
True
Let g(b) = 3*b**2 + 2*b - 3. Suppose 0*s - 2*s = 0. Let z = -3 - s. Does 11 divide g(z)?
False
Let r(g) = -g**3 + 7*g - 9. Is r(-4) a multiple of 4?
False
Is 110 - 1/(3/(-3)) a multiple of 37?
True
Let d(y) = y**2 + 5*y - 12. Is d(-9) a multiple of 17?
False
Let b(i) = -i**2 - 3*i + 2. Let d be b(-3). Let j(x) = x + 2. Let w be j(2). Let h = w + d. Does 2 divide h?
True
Is 30 a factor of 2/10 + 2247/15?
True
Suppose -2*f + 3 - 9 = -2*y, 3*y - 5 = f. Let d be 4/(6/51*y). Suppose 3*u + d = 4*u. Is u a multiple of 9?
False
Let g = -29 + 40. Suppose -2*m - m - 15 = 0, 3*l + m = 40. Does 4 divide g/3 + 5/l?
True
Let r(y) = y**3 + 6*y**2 + 2*y + 1. Suppose 2*q + 2*z + 2 = 0, 4*q = -q + 4*z - 41. Let h be r(q). Let a = -6 + h. Is a a multiple of 10?
True
Suppose 4*t - 6*t + 84 = 0. Does 14 divide t?
True
Let f(i) = 0 + 5 - 4 + i**2. Let n be f(-1). Suppose -n*j = -3 - 9. Is j a multiple of 3?
True
Suppose 4*c + 29 = -5*r, -c - 6*r + 2*r = 21. Does 9 divide ((-111)/(-6))/(c/(-2))?
False
Let k = -13