0 = 0. Let j be (2 - r)*1/(-2). Is 3 a factor of j/(-9)*9/(-2)?
True
Suppose -5*u + 40 = -5*y, u + y = -2*u + 4. Is u a multiple of 3?
True
Suppose -2*q - 75 = -11. Let a = -9 + -7. Let v = a - q. Is 16 a factor of v?
True
Suppose -2*s + 710 = -2*c, -7*c = 4*s - 5*c - 1408. Does 42 divide s?
False
Let s(d) = -2*d - 12. Let l be s(-12). Suppose 0 = -0*f - f + l. Is 4 a factor of f?
True
Is (-5)/(-2 + (-2 - -3)) a multiple of 2?
False
Let j = -4 + 6. Let t(b) = 8*b**2 - 2*b. Is 14 a factor of t(j)?
True
Let x = 2 - -3. Let c(o) = 3*o - 4. Is c(x) a multiple of 10?
False
Let g be (-8)/(-12)*-3 + -1. Let p(j) = -2*j**3 - j**2. Is 9 a factor of p(g)?
True
Let p(k) = 3*k - 7. Let o be p(5). Suppose 2*r + o - 4 = 0. Let c = r + 27. Is c a multiple of 9?
False
Let r = 75 - 52. Suppose -2*s + 3*s = r. Is 23 a factor of s?
True
Let y = -37 + 79. Suppose 4 - y = -f. Does 16 divide f?
False
Suppose j = -2*j. Suppose -4*p = -j*p - 108. Is p a multiple of 18?
False
Let r be ((-9)/(-6))/(2/(-4)). Let d = r - -9. Suppose 44 - d = 2*b. Does 19 divide b?
True
Suppose -12*t + 288 = -8*t. Is t a multiple of 9?
True
Let d = -6 - -5. Let m(f) = -4*f + 0 + 1 + 0. Does 2 divide m(d)?
False
Suppose 13 + 2 = 3*d. Suppose w + 4 = 0, -2*l - 3*l + 120 = -d*w. Does 5 divide l?
True
Let o = 7 - 21. Let h = o + 26. Is 4 a factor of h?
True
Suppose 2*i = -z + 6*i - 127, 0 = -z - 3*i - 92. Let l = z - -182. Suppose -3*r = 27 - l. Does 14 divide r?
False
Suppose -2*a = -3*t + 119, 0 = t - 4*a - 26 - 17. Is 14 a factor of t?
False
Suppose 2*x = 5*y - 25, 0 = -x - 2*x - 4*y + 20. Suppose x = i - f - 25, -i + 6*f + 33 = 3*f. Is i a multiple of 19?
False
Let q(o) = -o**3 - o**2 - 2*o + 1. Is q(-2) a multiple of 4?
False
Let l = -1 - -3. Suppose 3*f - r + 5*r - 13 = 0, f - 2 = r. Suppose 2*o - 118 = -f*c, -3*c + l*o - 5*o + 114 = 0. Is 21 a factor of c?
True
Suppose 0 = -f - 3*f + 624. Suppose 2*u = -2*u + f. Is u a multiple of 17?
False
Let q = 198 - 111. Does 23 divide q?
False
Suppose -5 = a - 10. Suppose g - a*b + 0*b - 19 = 0, -4*g + 4*b + 28 = 0. Is 4 a factor of g?
True
Let u be 172/6 - (-1)/3. Let i = -7 + u. Is i a multiple of 14?
False
Suppose 0*z + 5*z = 0. Suppose z*w + 4*w + 5*j = 83, 0 = 3*j + 3. Is 16 a factor of (w - -2)*8/6?
True
Let u(j) = j**2 + 10*j + 12. Suppose -3*w + 10 = 2*c, 3*c - c = -4*w + 16. Let v = -3 - w. Does 3 divide u(v)?
True
Let p(v) = -v**2 - 31*v - 49. Is p(-21) a multiple of 25?
False
Let a(q) = 2*q**2 - 5*q + 3. Let g be a(3). Let p be 200/12 - 4/g. Suppose -2*d + p = -d. Is d a multiple of 6?
False
Is ((-27)/21)/(-3) - 370/(-35) even?
False
Let t be 3 - 2 - (2 - 1). Suppose n + 21 + 49 = t. Let j = n + 125. Is 14 a factor of j?
False
Suppose -2*r = -2 - 8. Suppose 84 = r*w - w. Does 3 divide w?
True
Suppose 5*r - 23 = 4*w + 6, 13 = 2*r - 3*w. Suppose -b + 1 - r = 0. Is 2 a factor of 18/8 + 1/b?
True
Let z(c) = 10*c**2 - 1. Is z(-1) a multiple of 4?
False
Does 13 divide 616/(-4)*(2 - (-10)/(-4))?
False
Let w(s) = s**2 - 17*s + 3. Is 7 a factor of w(23)?
False
Let d(t) = -t**2 - 10*t + 7. Let g be d(-10). Let n = g + -1. Is 3 a factor of n?
True
Let q(i) = i + 2. Let a be q(2). Suppose 0 = 2*j + a*g - 22, 3*g + g + 17 = j. Does 7 divide j?
False
Let q(m) = m**2 - m - 3. Is q(10) a multiple of 14?
False
Suppose 239 = 3*g + 4*k, -k + 3*k - 83 = -g. Does 19 divide g?
False
Suppose 0 = -y + 51 + 18. Suppose -2*o = -w + 44, 2*o - 172 = -5*w - 0*o. Let h = y - w. Is 13 a factor of h?
False
Suppose 2*a - 24 - 222 = 0. Let z = 179 - a. Does 28 divide z?
True
Let t be 0/(-5) + (-1 - -4). Let z be 3*1/4*116. Suppose -f + z = 2*n, -5*n - t*f = -7*f - 224. Is 16 a factor of n?
False
Suppose -4*b + 2*y = -180, -3*y - 30 - 10 = -b. Does 32 divide b?
False
Let m(q) = q**2 - 10*q + 13. Does 3 divide m(11)?
True
Suppose -53 = -5*f - i + 31, 4*i - 81 = -5*f. Let s(z) = 15*z - f*z - 1 - 1. Is s(-7) a multiple of 7?
False
Let m = 0 + 1. Let h(t) = 5*t - 1. Let z be h(m). Let u = z + 12. Is 8 a factor of u?
True
Let x = 285 - 166. Let r = -79 + x. Is r a multiple of 20?
True
Let m = -35 + 75. Is 8 a factor of m?
True
Let w(v) = -3*v + 2. Suppose 4*r + 22 + 5 = -3*k, -2*k - 13 = r. Is 11 a factor of w(k)?
False
Let r = 7 + -9. Is 13 a factor of 38 - r/((-2)/(-1))?
True
Let n be (1 + 0)*-1*1. Does 12 divide 728/21 - n/3?
False
Suppose 3*y = 6, -c - 2*y + 6*y + 88 = 0. Is 16 a factor of c?
True
Let c = -8 - -13. Suppose -4*h + c = h. Suppose 4 = r - h. Is 2 a factor of r?
False
Suppose 2*a + 14 = -2*b, a - 5*b - 23 = 2*a. Let r be 8/12 + (-307)/a. Suppose 2*l = -5*n + r + 3, 3*n - 58 = -4*l. Is n a multiple of 11?
True
Suppose 0 = -8*j + 6*j + 112. Is 4 a factor of j?
True
Let d(g) = g**3 - 4*g**2 - 6*g - 4. Let y be d(5). Let r(u) = -u**2 - 10*u - 2. Does 7 divide r(y)?
True
Let z be (-8)/12 - 22/(-6). Suppose -2*l = -z*l + 42. Is l a multiple of 21?
True
Let n(i) = i**3 - 9*i**2 - 5*i + 14. Is 20 a factor of n(10)?
False
Let w(m) = -8*m**3 - m**2 - 3*m - 5. Is 11 a factor of w(-2)?
False
Suppose 0 = r + n + 3, 4*r = -0*n + n - 12. Does 18 divide 2*26 + 6 + r?
False
Let o be 2 - 2/(-4)*0. Suppose 1160 = o*g + 2*g. Is 14 a factor of 1/(-4) + g/8?
False
Let o(p) = 2*p**2 + 6*p + 3. Suppose j + 20 + 0 = 4*b, 0 = -j + b - 8. Does 8 divide o(j)?
False
Suppose 0 = -n - 4 + 46. Is n a multiple of 6?
True
Suppose 5*w - m - m - 10 = 0, 5*w + 2*m = 30. Suppose -2*h = -3 + 9, 54 = w*n - 2*h. Does 4 divide n?
True
Let z(h) = -h**3 + 9*h**2 + 2*h + 9. Does 23 divide z(8)?
False
Let n(q) = q**2 - q - 1. Let h be n(-2). Suppose -c + 3*t = -2, h*t + 1 = -0*c + 4*c. Let r(l) = -2*l**3 + 2*l**2 - 1. Is 2 a factor of r(c)?
False
Let n be (3/3)/(2/4). Let j = 2 - n. Suppose j = -i - i + 22. Is i a multiple of 5?
False
Suppose -83 = -4*x + 17. Suppose -4 = 2*l, 4*y + 3*l = 77 + x. Is 13 a factor of y?
False
Suppose -92 = -v - 31. Is 11 a factor of v?
False
Let g = -15 - -10. Let p = g - -13. Does 4 divide p?
True
Suppose 2 = -4*t - 10. Let r be (-4)/(-3)*t/(-2). Does 3 divide 6*(0 - (-2)/r)?
True
Let b be ((-3)/(-6))/((-1)/16). Let n = 10 + b. Suppose 2*i - 88 = -n*i. Does 9 divide i?
False
Suppose 0 = 2*j + 3*j - 420. Suppose 3*m - j = -3*t, 3*t - 4*m + 2*m = 84. Is 14 a factor of t?
True
Let d(y) = -y**3 - 6*y**2 - 7*y + 2. Let r be d(-5). Does 9 divide (r/(-20))/(2/(-30))?
True
Let d = -43 + 59. Is 6 a factor of d?
False
Let i(c) = -c**3 - 10*c**2 + 3*c + 5. Let t be i(-10). Let x = t - -37. Does 6 divide x?
True
Suppose 7*l - 3*l + 76 = 4*r, l + 3 = 0. Is 8 a factor of r?
True
Suppose 0 = 4*o - 9*o + 20. Suppose -s - 36 = -o*s. Is 6 a factor of s?
True
Is 152*1*1/2 a multiple of 13?
False
Is -4 + 1 - (116 + -5)*-1 a multiple of 27?
True
Let w(t) = 5*t**3 - t**2 - t - 1. Let o be w(-1). Let x = 10 + o. Suppose 0 = x*l - l - 24. Does 8 divide l?
True
Let v(i) = 8*i**3 - 2*i**2 + 6*i - 2. Is 37 a factor of v(3)?
False
Suppose -2*s - 2*b + 29 = -45, 0 = -3*s + b + 123. Suppose -l - l + s = 5*x, 94 = 4*l + 3*x. Is l a multiple of 5?
True
Suppose -3*w - 27 = -b - 111, -3*b = -9. Is 14 a factor of w?
False
Suppose k - 3*d = -k - 6, k + 14 = -4*d. Let m(p) = -p - 4. Let y be m(k). Suppose 0 = -y*f - 2*x + 3*x + 7, -2*f - 13 = -5*x. Is 3 a factor of f?
True
Let v = -33 - -18. Let k(t) = -2*t**2 + 2*t - 3. Let s be k(2). Let h = s - v. Is h a multiple of 6?
False
Let l(v) = 15*v**2 - 13. Let b(h) = -8*h**2 + 6. Let u(j) = -7*b(j) - 3*l(j). Let z(p) be the first derivative of u(p). Does 11 divide z(1)?
True
Let g(s) = -s**3 - 4*s**2 - 3*s. Let f be g(-3). Suppose z - 4*z + 96 = f. Does 16 divide z?
True
Suppose 5*u - 25 = 0, 0 = 5*o - 3*u - 117 - 3. Let m be 48/o + (-4)/(-18). Suppose -m*r + 3*j + 94 = 7*j, -99 = -2*r - 5*j. Does 20 divide r?
False
Let h be ((-10)/30)/(2/(-24)). Does 9 divide -2 + 1/(h/116)?
True
Let u(n) = 1 - n - 5 - 2. Let p be u(-10). Suppose -2*m - 4 = 3*b, -3*m - p*b + 2 = 6. Is 3 a factor of m?
False
Let a(r) = r**3 - 12*r**2 + 11*r + 3. Let t be a(11). Suppose 165 = 5*b - 5*f, t*b + 3*f = 2*f + 99. Is b a multiple of 7?
False
Let q(u) = u + 11. Is 3 a factor of q(7)?
True
Let y = 5 + -5. Suppose y = -2*j + 5*j - 6. Is j a multiple of 2?
True
Suppose 0*p - b + 15 = p, -5*b + 64 = 4*p. Let f = 15 - p. Suppose -3*c + 7*o - f*o = -96, 3*c - 4*o = 98. Is c a multiple of