*b - 5*q. Suppose 3*z - 86 = -2*j, -4*z = 5*j - b + 57. Is 13 a factor of j?
False
Let m be (-74)/(-4) + (-2)/4. Suppose -f + m = -0*f. Is f a multiple of 9?
True
Let w(c) = c**3 + 7*c**2 - 4*c. Let k be (7/(-2))/(1/2). Is w(k) a multiple of 9?
False
Let f be (2/(-5))/((-1)/(-10)). Let g be (2/f)/(1/(-4)). Let m(h) = 2*h**2 + 3*h - 3. Does 11 divide m(g)?
True
Suppose -131 = -2*m + 51. Is 24 a factor of m?
False
Let f = 43 + -14. Suppose 3*s + 34 = -f. Is 12 a factor of s*(-5)/(45/6)?
False
Let a be (1 - 1) + (-3 - -1). Let t be -4 + (2 - -1) + a. Let l = 8 + t. Is 3 a factor of l?
False
Let r = -1 + 3. Let w(d) = 0*d**2 - 4 + 8*d + d**r - 5. Does 8 divide w(-11)?
True
Let p(s) = s**2 + s - 16. Does 5 divide p(6)?
False
Suppose 3*i = -3*p + 165, 4*p = -0*i - 5*i + 225. Is p/15*(-48)/(-10) a multiple of 4?
True
Let n(h) = -h**3 + h + h + 5*h - 4 + 5*h**2. Let b be n(6). Suppose -24 = -2*r - b. Does 11 divide r?
True
Suppose -159*m = -164*m + 125. Is 5 a factor of m?
True
Let t(r) be the second derivative of r**3/6 + 13*r**2/2 - 2*r. Let p = -5 + -1. Is t(p) a multiple of 4?
False
Let h = -121 + 214. Does 19 divide h?
False
Let k = 9 - -159. Is 24 a factor of k?
True
Let h(d) = d**2 + 10*d + 2. Let k be h(-11). Suppose 4*g + a - 15 = 9, -g + k = 2*a. Suppose -7*l = -3*l, -g*n = 3*l - 110. Does 8 divide n?
False
Suppose -480 = -4*c - 0*c. Let k = -51 + c. Is k a multiple of 23?
True
Let t(n) = n**3 - 9*n**2 + 9*n - 6. Let y be t(8). Suppose -u = 14 + y. Is (u/(-10))/((-4)/(-10)) even?
True
Let v(r) = 7*r + 1. Let n be v(2). Let a = n - 11. Suppose -i = a*p - 103, 0 = 2*i + 3*i + 5. Is p a multiple of 13?
True
Let b = -6 + 35. Is 4 a factor of b?
False
Is 15 a factor of (2 + 18)*12/32*12?
True
Let q = -21 - -15. Is ((-42)/(-9))/(q/(-27)) a multiple of 13?
False
Suppose 0 = -a - 135 + 19. Let g = -53 - a. Is 21 a factor of g?
True
Suppose -3*f + 415 + 329 = 0. Is 22 a factor of f?
False
Let f = -41 - 2. Is 3 + -3*f/3 a multiple of 23?
True
Suppose 0 = u - 5*h - 10, 2*u - 3*h + 5*h = 8. Suppose -5*c + 61 = -u*f - 64, -4*c + 98 = -5*f. Is 19 a factor of c?
False
Let q(b) = -b**3 + 8*b**2 + 9*b + 5. Let c be q(9). Suppose 0 = 4*m - j - 191, 250 = c*m - 0*j + j. Does 11 divide m?
False
Suppose 6*l = l - 5*u + 170, -26 = -l - 5*u. Suppose -l = -3*o + o. Is 18 a factor of o?
True
Let m(l) = -l**3 + 9*l**2 + l - 9. Let t be -18*(5/2)/(-5). Let g be m(t). Suppose g*i + 13 = i. Is 13 a factor of i?
True
Suppose 0 = 2*p - 7 - 1. Is p a multiple of 4?
True
Let i = -16 + 56. Suppose -2*x - 3*x = -i. Does 8 divide x?
True
Let s(k) = 4*k + k - 4*k + 12. Let j be s(-9). Suppose j*m = -m + 28. Is 5 a factor of m?
False
Let o(w) be the third derivative of -w**6/120 + 7*w**5/60 - w**4/6 - 7*w**3/6 + 3*w**2. Is o(6) a multiple of 2?
False
Let u(o) = -o - 9. Let g be u(-11). Suppose -40 = -v + 3*m - m, -g*m = -4*v + 178. Does 14 divide v?
False
Suppose 3*t - 38 = t. Does 11 divide t?
False
Let w = 3 - -1. Does 4 divide w?
True
Let l = 1 - -11. Suppose l = d + 3*d. Suppose 0 = -d*a - 0*a + 75. Does 7 divide a?
False
Suppose 20 = -0*i + i + p, -20 = -i - 3*p. Does 6 divide i?
False
Let p be (-1)/(-3) + (-3)/9. Suppose p = -3*q - 6, 2*t - 24 = q. Suppose -20 = -5*h - 2*d, 2*d + d - t = 2*h. Does 2 divide h?
True
Let y = 32 - 21. Does 2 divide y?
False
Suppose 35 - 11 = 3*v. Is 8 a factor of v?
True
Suppose -4*k = 7 - 23. Suppose -4*m - 2*r = -321 - 71, 4*r = k*m - 368. Is 32 a factor of m?
True
Suppose -5*o = -7*o + 50. Is o a multiple of 7?
False
Let a(r) = -r**2 - 3*r + 30. Is a(0) a multiple of 6?
True
Suppose -4*n + 9 = -3. Suppose n*c - 2*w = -8, 3*c + 4*w = 2*c - 26. Let y = c - -15. Is 9 a factor of y?
True
Suppose -2*j = 4*k - 54, 0 = -2*k + 3*j + 4 + 3. Is k a multiple of 9?
False
Suppose 35 = 5*w - 0*w. Let x = w - 5. Suppose 4*z + 3 = 3*u, -z - 13 = -2*z - x*u. Is 3 a factor of z?
True
Let d(s) = s + 6*s**2 + s**3 - 4*s + s + 1. Is 18 a factor of d(-5)?
True
Suppose 4*f = -63 - 29. Suppose -132 = -3*h + 5*j, 2*h + 4*j + 129 = 5*h. Let p = f + h. Is p a multiple of 11?
False
Suppose -3*x - 5*d = -207, -5*x + 244 = -x - 4*d. Is 8 a factor of x?
True
Suppose c - 6 = -c. Suppose c*i = 7*i - l - 36, -3*l + 28 = 5*i. Is i a multiple of 4?
True
Suppose -2 = 2*w - 0. Let g be (0 + -2 - w)*-36. Suppose 0*q + 4*i = 4*q - 16, 5*q - i = g. Does 8 divide q?
True
Let t(w) = 2*w + 1. Let g be t(-2). Let y(s) = -2*s**3 - 4*s**2 - 2*s. Let l be y(g). Does 15 divide (4/2)/2 + l?
False
Let n = -5 - -4. Let l be (-6)/(-3) - (n + -1). Is 4 a factor of (3 - -3)/(3/l)?
True
Let w(j) = -5*j - 6. Is w(-10) a multiple of 23?
False
Suppose -2*x + 0*x = -10. Suppose x = -p + 23. Does 8 divide (p/(-5))/(6/(-40))?
True
Suppose -i + 5*s - 8 = -3, 5*i + s = 1. Suppose -4*t + 4*f + 0*f + 68 = i, 35 = 5*t + 5*f. Is t a multiple of 12?
True
Let q = 29 + 68. Is q a multiple of 37?
False
Let v be ((-4)/(-6))/((-2)/(-3)). Let u = 13 + -26. Let f = v - u. Does 7 divide f?
True
Suppose g = -0*g. Suppose g = -7*f + 6*f + 3*i + 60, -4*f + 4*i = -200. Does 15 divide f?
True
Let v(i) = -37*i. Let b be v(4). Is 4/(-18) + b/(-18) a multiple of 4?
True
Let q be (-3*2)/((-4)/(-6)). Let j = 9 + q. Let y = j + 11. Is y a multiple of 3?
False
Suppose -4*k - v - 2 = -3, -2*k + 11 = -3*v. Is 10 a factor of (0 + k)*1 + 37?
False
Let h be 2 + 8*(-3 - 6). Let a be h/(-6) + (-5)/(-15). Suppose -8*y + 4*y = -a. Does 2 divide y?
False
Let l = 89 + -25. Suppose t + z = l, -t + 88 = -3*z - 2*z. Suppose h - 5*h + t = 0. Is 7 a factor of h?
False
Let g be 659/5 - 1/(-5). Suppose 0 = -5*k - 12 + g. Let v = k - 14. Does 5 divide v?
True
Suppose k - 5*t = 27, 7*t = 3*k + 5*t - 16. Suppose 3*q + k*b = -2, -2*q + 7 = -5*q - b. Is q + 3 - (-20 - 1) a multiple of 6?
False
Suppose 0*c + 2 = h + c, 2*h + 4*c = 0. Let t(f) = 3*f**2. Let u be t(-2). Suppose -u + 42 = 3*m - h*j, -3*j - 10 = -m. Does 4 divide m?
False
Let n(s) = s**3 - 10*s**2 + 9*s - 2. Let b be n(9). Is ((184/4)/b)/(-1) a multiple of 13?
False
Let o = 127 + -74. Is 5 a factor of o?
False
Let f = -17 + 30. Suppose -189 + f = -4*w. Does 22 divide w?
True
Is 23 a factor of (-2664)/(-38) - 12/114?
False
Let r be ((-510)/12)/(2/(-8)). Suppose 2*x - 7*x = -r. Let v = -20 + x. Does 7 divide v?
True
Let s be ((-20)/(-6))/((-2)/(-24)). Suppose 0 = 4*q - 28 - s. Is q a multiple of 7?
False
Let f(q) = q - 1 + 7*q**2 - q**2 + q**3 + q. Suppose -4 = 3*j - 2*j. Is 10 a factor of f(j)?
False
Let a(v) = 2*v - 1. Let i be a(2). Suppose 4*l - 13 = -4*u + 3*u, 0 = -l - i*u + 6. Is 3 a factor of l?
True
Let d(n) = -n**3 - 4*n**2 + 2*n + 3. Does 9 divide d(-5)?
True
Suppose -5*i = 10, 4*t - i = 2*t + 54. Is 13 a factor of t?
True
Suppose -4*n - 20 = 0, 0*b - 3*b - 19 = 5*n. Let h(j) = -2 + 5*j**b + j**2 + 3 + j. Is 3 a factor of h(-1)?
True
Does 43 divide (0 + 2/(-6))/((-36)/9288)?
True
Suppose -100 = 2*m - 3*m + 3*q, -100 = -m - q. Does 17 divide m?
False
Suppose 0 = -5*m + 4*n + 46, -3*n + 5*n - 2 = 0. Is 9 a factor of m?
False
Is 13 a factor of 102/4 - (-13)/26?
True
Does 21 divide 22 + 0 - (-1)/(-1)?
True
Let t = -5 - -12. Does 19 divide 57/(t/2 + -2)?
True
Let w be -17*(-4 + 1)/3. Let r be 0 + 0 + w - -2. Suppose 3*t - 11 = r. Does 9 divide t?
False
Let i be -3*8/(-36)*3. Suppose i*p = 4*q + 120, -5*p = -2*p - q - 165. Is 18 a factor of p?
True
Suppose -4*c + 5*v + 495 = 0, c - 4*v - 123 = -2*v. Suppose -2*i = 3*h + 1 - c, -3*h + 2*i + 116 = 0. Is h a multiple of 8?
True
Let m = -15 + 33. Is 12 a factor of m?
False
Suppose -c - 5*k + 38 = c, -5*c - 5*k = -80. Does 14 divide c?
True
Let w(g) = g**2 - 11*g - 6. Is 6 a factor of w(12)?
True
Let g(a) = -a**3 - 3*a**2 - 3*a. Let y be g(-4). Suppose 2*h + 2*h + 12 = -4*r, 4*h - 4*r - y = 0. Suppose h*n - 120 = -3*n. Is n a multiple of 12?
True
Let l(f) be the first derivative of f**4/4 + 7*f**3/3 + f**2 + 9*f - 3. Does 21 divide l(-6)?
False
Let r = 0 + 3. Let n = -5 + r. Is (3/6)/(n/(-96)) a multiple of 12?
True
Let j be (2/5)/((-1)/(-5)). Let r(b) = -4*b. Let d be r(-1). Suppose j*p - 28 + d = 0. Is 4 a factor of p?
True
Suppose 5*t + 20 = -5*u, -4*u + 2*t = 27 + 19. Let o = 24 - u. Is o a multiple of 23?
False
Suppose 5*n - 329 = -3*t, -25 = -t - 5*n + 78. Does 33 divide t?
False
Suppose 0*u = -2*u - 28. Let b = u + -13. Let p = 