 4 a factor of v?
True
Does 2 divide (-6 - 0)*(-1 - 0)?
True
Let q = -9 - -12. Suppose 12 = -4*w, -4*m + q*w + 2*w = -83. Is 7 a factor of m?
False
Let j(m) = m**2 - 5*m - 6. Let n be j(7). Is (n/10)/(6/15) a multiple of 2?
True
Let w(z) = -z**3 + 9*z**2 - 3*z + 10. Let o(c) = 2*c**3 - 19*c**2 + 6*c - 21. Let u(r) = 4*o(r) + 9*w(r). Let q be u(5). Let d = 15 + q. Does 3 divide d?
True
Let t(y) = y**2 + 4*y - 2. Is t(1) even?
False
Suppose 53 = 2*a - 77. Let o(f) = f**3 + f**2 + f - 1. Let w be o(3). Let i = a - w. Is i a multiple of 9?
True
Suppose 4*q - 5 + 13 = 0. Let k be (q/(-6))/((-2)/(-12)). Suppose k*i + 3*i + 4*y = 10, -3*y = 0. Is i even?
True
Let f(r) = -2*r**2 + 2*r - 1. Let p be f(2). Let h(i) = i**2 + i + 6. Does 13 divide h(p)?
True
Let w be ((-6)/(-9))/(4/72). Is 1/4 - (-189)/w a multiple of 8?
True
Is (-8)/24*45*-3 a multiple of 9?
True
Suppose -304 = 3*q - 7*q. Let t(o) = 19*o - 1. Let r be t(1). Suppose -2*m + q = r. Is 11 a factor of m?
False
Suppose 4*s = 5*f + 31, -2*s + 5*f - 3*f = -16. Let z(o) = -2 + s + o**2 + 5 + 10*o. Is z(-9) even?
False
Let z(r) = -r**2 - 2*r + 88. Is 11 a factor of z(0)?
True
Let h = -9 + 15. Let m(f) = -f**3 + 2 - 5*f + 2 + 7*f**2 + 4. Is m(h) a multiple of 14?
True
Let w(y) = -y**3 - 5*y**2 + 4*y - 1. Does 2 divide w(-6)?
False
Is -2*(-37)/6*(-54)/(-2) a multiple of 45?
False
Suppose r - 144 = -2*r + 4*l, 4*l - 208 = -5*r. Is 14 a factor of r?
False
Suppose 5*p - 2*c - 89 = 0, 88 = 8*p - 4*p + 4*c. Is 5 a factor of p?
False
Suppose 3*r + o = 861 + 60, 0 = -2*r + 4*o + 628. Is 25 a factor of r?
False
Let g(y) = -7 - 4 - 9*y + 0*y + 5. Is g(-6) a multiple of 16?
True
Let r = 147 - -33. Is 20 a factor of r?
True
Suppose -x = 2*r - 0*x - 27, 3*x = r - 24. Is r a multiple of 11?
False
Let p(i) = -7*i + 3*i - 2*i - 7 + i. Let m be p(-5). Suppose 0*u = -u + m. Is u a multiple of 9?
True
Let w(g) be the second derivative of g**4/6 - 7*g**3/6 - g**2 - 3*g. Is 13 a factor of w(5)?
True
Let m = -21 - -20. Does 5 divide 6 + 4 + m + -4?
True
Suppose -3*t = -4*h + 12 + 19, 3*h + 5*t - 45 = 0. Is 5 a factor of h?
True
Suppose 2*f - 3*f = -32. Does 8 divide f?
True
Suppose -2*s + 83 = -9. Let b be (6/(-5))/((-2)/(-30)). Let v = b + s. Is 14 a factor of v?
True
Suppose 5*x = -v + 83, 270 = 5*v - 4*x - 0*x. Is v a multiple of 13?
False
Suppose -471 = -4*q + 1037. Suppose -2*n - 63 = -4*u - q, -4*n - 162 = 2*u. Let h = u + 133. Does 15 divide h?
False
Let b = 56 - 20. Is b a multiple of 11?
False
Let o be (-12)/(-2) + (1 - 0). Suppose -4*x + o*x - 30 = 0. Is x a multiple of 6?
False
Let g(h) = -8*h - 5. Let n be g(-5). Let q = 61 - n. Is 13 a factor of q?
True
Let b(t) = t**2 - 2*t - 24. Does 14 divide b(-10)?
False
Suppose -2*n = -5*w - 15, 0 = 5*w - n + 5*n + 15. Does 7 divide (-68)/(-6) - w/(-9)?
False
Suppose 4*u = -3*y + 40 + 18, -4*y + u + 52 = 0. Is y a multiple of 14?
True
Let b be ((-15)/4)/((-6)/176). Suppose 2*y - j - j - b = 0, -5*j = -10. Is 19 a factor of y?
True
Let t be (-2)/(-6) + (-428)/(-12). Suppose -i = 0, 2*g + t = 4*i - 0*i. Is 13 a factor of (26/4)/((-3)/g)?
True
Suppose 2*x = -4*x + 240. Does 4 divide x?
True
Suppose -j - 30 = -4*j. Let y(f) = -f**3 + 2*f**2 + f + 2. Let n be y(2). Let i = j + n. Is 8 a factor of i?
False
Suppose -2*f = -6*b + 2*b + 4, -2*f + 1 = -3*b. Does 14 divide f*1*(-28)/(-8)?
True
Let f be (4 + -3)*-1 + -749. Let s be 12/(-10)*f/9. Suppose -2*a = 3*a - s. Does 7 divide a?
False
Let f = 4 + -2. Suppose v - 8 = -f. Suppose n + 4*z = 2*z + v, 4*z - 4 = -n. Is 8 a factor of n?
True
Let k(w) = w + 9. Let h be k(-6). Let p = 46 - h. Is p a multiple of 14?
False
Let r(t) = t**2 - 2. Suppose -4*x = x + 30. Is r(x) a multiple of 14?
False
Suppose f - 10 = -5*m, 0*m = -3*f + 5*m + 10. Does 5 divide f?
True
Let d(l) = l**3 - 6*l**2 + 6*l - 6. Let k = 5 - 0. Let z be d(k). Is -10*(z + (-3)/(-6)) a multiple of 3?
False
Let p = -7 - -9. Let y(l) = 2*l**3 + 2*l**2 + 3*l**p + 2 - l**3 + l + l**2. Is y(-3) a multiple of 13?
True
Let n be ((-2)/2)/(1/(-22)). Let a be n/(-6)*(-1 - 2). Suppose a = 5*c - 14. Is 5 a factor of c?
True
Let r be 30/8 + 2/8. Let q(f) = -f**3 + 6*f**2 - 6*f + 4. Does 8 divide q(r)?
False
Let x = -227 - -426. Is 10 a factor of x?
False
Suppose -14 = 5*q + 3*g - 2*g, -2*g + 2 = 0. Suppose f = 6*f + 80. Let w = q - f. Is w a multiple of 7?
False
Does 19 divide 2/(-6) + (1 - 336/(-9))?
True
Let x be (-4)/(12/9) - -46. Suppose 0 = -5*s - g - 95, s - 3*g + 8*g = -x. Let h = -8 - s. Is 5 a factor of h?
True
Let q(n) = n**2 + 4*n - 6. Is 3 a factor of q(-6)?
True
Let s = 79 - 50. Let p = s + 21. Let t = p - 32. Is 5 a factor of t?
False
Let a(x) = x**2 + x + 1. Let u be a(-2). Suppose 0 = u*k + 3*b + 9, -k + 2*b + 17 = -b. Let p(q) = 8*q**2 + 2*q - 3. Is 11 a factor of p(k)?
True
Let i(o) = -o - 1. Let x be i(-6). Suppose 2*g = x*g - 57. Is 19 a factor of g?
True
Suppose 4*u - 3*u = 0. Suppose 0*m = 5*m - 3*k - 38, 2*m + 5*k = 9. Suppose m*a - 2*a - 70 = u. Is 14 a factor of a?
True
Suppose 3*m - m - 6 = 0. Suppose k + m*f + 11 = 0, -k + 0 = 2*f + 6. Does 4 divide k?
True
Let s(n) = n**2 - 13*n + 18. Does 10 divide s(15)?
False
Suppose 3*o - 25 = 5. Does 4 divide o?
False
Let n = 0 + 0. Suppose n = 4*s - 3*s - 66. Let k = -27 + s. Is 17 a factor of k?
False
Let u(j) = -j**2 + 3*j + 2. Let d be u(4). Let w(i) = 4*i. Let n(x) = x. Let m(s) = -14*n(s) + 3*w(s). Is 4 a factor of m(d)?
True
Let l = 115 - 81. Is 17 a factor of l?
True
Suppose -5*b - 5*m = -m + 44, 5*b = 3*m - 37. Let y(j) = j**2 + 5*j + 2. Is 23 a factor of y(b)?
False
Let y be ((-2)/(-3))/((-1)/(-3)). Let a be 1 + -2 - (-112)/y. Suppose -5*l - k + 71 = 0, -a = -l - 4*l - 5*k. Is l a multiple of 9?
False
Let g(b) = -b**3 - 6*b**2 - 7*b + 6. Does 21 divide g(-6)?
False
Let b = 295 + -165. Is 10 a factor of b?
True
Suppose 9*h - 763 = 56. Does 13 divide h?
True
Suppose 5*q - 6*q - 3 = 0. Let m(k) = 2*k**2 - k - 4. Let u be m(q). Suppose 0*l - l + u = 5*z, 4*l + z = 49. Is l a multiple of 6?
True
Let r(a) = a - 3. Let u be r(5). Is ((-32)/(-2))/(u - 1) a multiple of 16?
True
Let v(i) = -i**2 - 6*i + 7. Let a be v(-7). Suppose a*l + 5*l - 35 = 0. Is l a multiple of 6?
False
Let a be -1*196/(3 + -2). Let z = a + 140. Is 9 a factor of ((-6)/8)/(2/z)?
False
Let q(s) = -11*s**3 - 3*s - 2. Let f be q(-2). Suppose -7*a + 3*a - 3*g + 76 = 0, 3*g - f = -5*a. Let p = a + 1. Is p a multiple of 7?
False
Let a = 21 + -13. Suppose -2*r + a = 0, -3*f - r - 19 = -5*r. Is 5 a factor of (0 - f/1)*16?
False
Suppose 3*p + 4 = -5. Let s = -1 - p. Suppose s*g - 13 = -3. Is 2 a factor of g?
False
Suppose 0 = -4*f + 17 - 5. Suppose -95 + f = -4*b. Does 9 divide b?
False
Let k(h) = -h**2 + 8*h - 6. Let c be k(6). Let i = c - -8. Is 14 a factor of i?
True
Let m(n) = n**3 - 13*n**2 + 11*n + 9. Let t be m(12). Is -4 - -5 - t - -22 a multiple of 13?
True
Let z = -5 + 11. Suppose -3*y + z*y = 0. Suppose 4*m + y*m = 48. Is m a multiple of 4?
True
Let s(f) = -f**3 - f**2 - 2. Let d be s(-2). Suppose d*r - 6*t + 2*t - 48 = 0, -4*r + 2*t = -72. Is r a multiple of 14?
False
Let y(x) = x**2 + x**3 - 3*x**2 - 6 - 5*x - x**2 - x**2. Is y(6) a multiple of 10?
False
Let t be 7/21 - 13/3. Let w = 11 - t. Does 3 divide w?
True
Let x = -45 + 99. Is 37 a factor of x?
False
Suppose 5*x - 68 = -4*a + 21, -4*a - 4*x = -84. Is 13 a factor of a?
False
Suppose 0 = -6*c + c. Suppose c = 4*w - 8*w + 16. Suppose y + 4 = 0, w*s - 2*y - 2*y = 28. Is s a multiple of 2?
False
Let r = -7 - -121. Is (-4)/6*r/(-4) a multiple of 12?
False
Let g = -15 + 21. Is (-2)/g + 440/24 a multiple of 12?
False
Let z be 3/21 - (-328)/56. Let i(v) = -v + 2. Let n be i(0). Let c = z - n. Is 4 a factor of c?
True
Let a = 30 - -4. Let l = a - 21. Is l a multiple of 13?
True
Let u(k) = -2*k + 1. Suppose -2*n - 7 - 5 = v, 3*v = -4*n - 28. Is 9 a factor of u(n)?
True
Let x be (-358)/(-9) - (-2)/9. Suppose -4*v - 4*r = -0*r + 96, 2*r = 0. Let y = v + x. Is 8 a factor of y?
True
Suppose 5*y = 4*r - 3*r + 604, 3*y + r - 356 = 0. Suppose -i = -6*i + y. Does 15 divide i?
False
Let b(v) = -49*v - 4. Let t be b(-4). Suppose -4*x + 28 + t = 0. Is x a multiple of 21?
False
Let d(j) = -14*j - 38. Does 17 divide d(-10)?
True
Is 16/6*(-114)/(-8) a multiple of 12?
False
Suppose 0 = 5*g - 0*g + 5*