le of 5?
True
Suppose 16*i = 14*i + 302. Is 8 a factor of i?
False
Is 18 a factor of 67/3*-1*(-5 + -1)?
False
Let t(n) = -2*n**3 - 2*n**2 - n - 1. Let r be t(-3). Suppose -4*j + r + 2 = 0. Is j a multiple of 10?
True
Is 5 a factor of 7/(-84)*-723 + 1/(-4)?
True
Suppose u - 45 = 6*u. Let p = u - -13. Suppose h = 2*j - 13, -j - p*h + 36 = 2*j. Does 3 divide j?
False
Suppose 2*x - 10 = -3*f, 2*x - 17 = 2*f + 3. Is x even?
True
Let w(r) = -r**2 + 10*r - 12. Is w(8) a multiple of 3?
False
Let z(x) = x**3 - 4*x**2 + 7*x. Is z(5) a multiple of 12?
True
Let o(f) = -4*f**2 - 5*f + 6. Let u(d) = -d + 1. Let g(a) = -o(a) + 6*u(a). Let n be g(1). Suppose 0*k - 4*k - 20 = 0, x + n*k - 41 = 0. Is x a multiple of 20?
False
Let q be (-1)/((-1)/(31/1)). Suppose -h = 3*x - q, x - 2*h + 11 = 3*h. Is x a multiple of 9?
True
Let i = 159 - -147. Is i a multiple of 34?
True
Suppose 0 = -4*p - 5*d + 115, 0*d = 5*p - 2*d - 119. Is p a multiple of 6?
False
Let i = 64 + -46. Is 6 a factor of i?
True
Let l = 50 + -19. Is 10 a factor of l?
False
Let f(v) = v**3 + 9*v**2 + 5. Let d be f(-9). Suppose -5*q - 20 = 4*w - 3*q, 4*q = d*w + 51. Let k(a) = -4*a - 9. Is k(w) a multiple of 9?
False
Is 11/(-2)*(-54)/(3 + 0) a multiple of 9?
True
Let t be -2 + 0*2/(-2). Suppose 4 + 11 = 3*m. Is 6 a factor of 78/(-15)*m/t?
False
Does 13 divide 206/3 - 6/(-18)?
False
Let z be (528/20)/6*5. Suppose 3*i - z = i. Is i a multiple of 2?
False
Let d(w) = 10*w. Suppose 3*q - n + 1 - 9 = 0, 2*n - 11 = -3*q. Suppose -4*f - 4*u = 9 - 29, q*f - 4*u = -6. Is 10 a factor of d(f)?
True
Let q(s) = -s**3 + 5*s**2 - 2*s - 3. Let i be q(3). Let c = i + 13. Is c a multiple of 11?
True
Suppose 50 = 5*q - 5*d, 19 = -q - 4*d + 4. Suppose g - 76 = -2*i, i - 335 = -0*g - q*g. Is g a multiple of 22?
True
Let o = 3 - 0. Suppose -o*m - 37 = 17. Is 9 a factor of m/(0 + 3 + -5)?
True
Let c(t) = 10*t - 1. Suppose 2*z = -z + 24. Let p = z - 7. Does 3 divide c(p)?
True
Suppose 5 + 1 = 3*f. Suppose 0 = -5*l + 2*v, 0 = -f*l - l - 2*v - 16. Is 3 a factor of (4/(-5))/(l/15)?
True
Let p(g) = -g - 2. Let r be p(-5). Suppose -5*f - 5*o + 138 = -o, 0 = -5*f - r*o + 136. Does 10 divide f?
False
Let v = -1 - -2. Let g be (-2 - 2 - -2)*-2. Suppose g*t - v = 19. Does 5 divide t?
True
Let m be 122/4 - 2/(-4). Suppose 9*q - 6*q + 60 = 0. Let z = m + q. Is 11 a factor of z?
True
Let j(s) = 42*s - 3. Let l be j(2). Suppose 0 = -4*n + l + 27. Does 9 divide n?
True
Let n(d) = -2*d - 7. Let u(k) = -2*k - 1. Let z be (-10)/(-4)*(-12)/(-15). Let r be u(z). Is 3 a factor of n(r)?
True
Let j(k) = -38*k + 2. Let o = 2 + -4. Let d be j(o). Suppose c - d = -2*c. Is 13 a factor of c?
True
Let b(n) be the third derivative of n**4/24 + 3*n**3 - n**2. Is b(-13) a multiple of 5?
True
Let p(l) = -l**3 - 5*l**2 - 5*l + 4. Is p(-6) a multiple of 14?
True
Suppose 5*w = -4*y + 5 + 11, 0 = -5*w + 5*y + 25. Suppose 4*l = v - 4*v + 39, w*v + 14 = 2*l. Is 2 a factor of l?
False
Let x(g) = -2*g**3 - 4*g**2 - 4. Let r = -4 + 0. Is 16 a factor of x(r)?
False
Let a(q) = -q + 7. Suppose -3*w + 2*w = 3, 4*w = -5*g + 13. Does 2 divide a(g)?
True
Let m(y) = 2*y - 4. Let p be m(3). Is 4 a factor of (-3)/p*(-80)/15?
True
Let t = 89 - 59. Is 9 a factor of t?
False
Let s = 95 + -41. Does 12 divide s?
False
Let p(c) = -3*c**3 + 3*c**2 + 7*c - 3. Let d(x) = 4*x**3 - 2*x**2 - 6*x + 4. Let u(m) = -2*d(m) - 3*p(m). Let w be u(6). Let i = 55 + w. Does 19 divide i?
True
Let g = -146 + 281. Is g a multiple of 27?
True
Let o = -35 - -62. Is o a multiple of 16?
False
Let v = 25 + -12. Let z = -1 + v. Is 5 a factor of z?
False
Let l = -134 + 260. Is l a multiple of 42?
True
Let f = 82 + -50. Is f a multiple of 16?
True
Suppose -a = 3*r - 2*a - 18, -3*r = 2*a - 9. Does 30 divide (-1 + 6)/(r/55)?
False
Suppose -3*x = o - 27, -5 = 5*x + o - 50. Let z(s) = 2*s + 9. Is 9 a factor of z(x)?
True
Suppose 469 = 5*i - 251. Suppose -n + i = 2*n. Is n a multiple of 18?
False
Let r(q) = 113*q**2 - 2*q - 1. Is 19 a factor of r(-1)?
True
Suppose 4*m - 2*o - 7 - 3 = 0, 5*m = 5*o + 5. Let v be (-20)/16*(m - 0). Let l(i) = -3*i + 3. Does 15 divide l(v)?
False
Is 7 a factor of 548/9 + 7/63?
False
Is 34 a factor of (-3 + 3/2)/((-3)/68)?
True
Let l be 4/(-6)*(8 - 143). Suppose 4*a - 2*z = l, -159 + 40 = -5*a - 4*z. Does 7 divide a?
False
Let p(y) = y**3 + y**2 - 2*y + 1. Let n be p(-2). Is (-14 - n)*(-2)/6 even?
False
Let j(m) = m**3 + 11*m**2 - 11*m - 5. Let k be j(-12). Let i = 24 + k. Does 7 divide i?
True
Let j(g) be the second derivative of g**5/20 - 5*g**4/12 - g**3/3 - 3*g**2/2 + 3*g. Let p be j(6). Suppose 6*t = 3*t + p. Is 5 a factor of t?
False
Let r be 1/4 - 43/(-4). Let f = -1 + r. Let s = 48 - f. Is s a multiple of 19?
True
Let w be 9/6*(-12)/(-9). Suppose -2*s - 10 = -c + 20, w*c - 48 = -2*s. Does 12 divide c?
False
Let p(k) = -k**3 - 10*k**2 + 11. Is 4 a factor of p(-10)?
False
Let b = 6 + -4. Suppose -b*t = -3*t + 60. Suppose t - 12 = 4*c. Is c a multiple of 12?
True
Let p = -5 - -9. Let r(d) = 8*d**2 + d. Let a be r(p). Suppose 4*k - a = -0*k. Is 13 a factor of k?
False
Let u(m) = -3*m - 4. Let w = 9 + -6. Suppose 0 = -5*g + 4*g + w*b, -3*g + 2*b = 14. Does 7 divide u(g)?
True
Suppose -b - 48 + 118 = -5*d, 0 = -b - 4*d + 70. Is 10 a factor of b?
True
Is 10 a factor of 32 + (0 - (2 + 0))?
True
Suppose 74 = 2*u - 5*k, u - 148 = -3*u - k. Let v = 53 - u. Is 16 a factor of v?
True
Let f(i) be the first derivative of 2*i**2 + 3*i + 2. Is 10 a factor of f(5)?
False
Let u = -8 + 32. Suppose 2*w + 2*i - 16 = 0, 0 = 4*w + i - u - 8. Does 6 divide (-2 + 5 + -2)*w?
False
Let r = -3 - -6. Suppose -29 = 2*j - r*j. Is j a multiple of 15?
False
Let c(d) = 206*d**2. Let h be c(2). Suppose -617 = -3*r + 2*o, 3*r - h = -r + 4*o. Suppose -3*z = -r + 79. Is 16 a factor of z?
False
Is 43 a factor of 2 + (39 - (-3 - -1))?
True
Let o = -5 - -17. Suppose o + 12 = u. Does 12 divide u?
True
Let g(b) = b**2 + 3*b - 2. Let x(k) = -k**3 - 4*k - 6*k**2 - 5*k - 4 + 4*k. Let d be x(-5). Is 2 a factor of g(d)?
True
Does 6 divide ((-2)/(-4))/((-1)/(-12))?
True
Suppose 5*h - 1317 + 227 = 0. Is h a multiple of 25?
False
Let g(a) = 11*a**2 - a. Let y be (4/10)/(1/5). Suppose x - y = -3. Does 12 divide g(x)?
True
Let y = -83 + 366. Suppose -4*d = -34 + 14, 4*k - y = d. Suppose 4*h - k = h. Does 16 divide h?
False
Suppose 2*o + 24 = 5*o. Suppose o*r = 3*r - 20, 3*b - 64 = 4*r. Is b a multiple of 8?
True
Let h(i) = -9*i**3 + 4*i**2 + 9*i + 137. Let s(p) = 5*p**3 - 2*p**2 - 5*p - 68. Let d(a) = 4*h(a) + 7*s(a). Is 12 a factor of d(0)?
True
Let q(c) = -5*c - 1. Let u(i) = 4*i + 1. Suppose -y - y - 5*l = 31, -3*l - 27 = 4*y. Let m(s) = y*u(s) - 4*q(s). Is 17 a factor of m(2)?
True
Suppose 0*h + h + 2 = 0. Let x = h - -7. Is 5 a factor of x?
True
Let v be 1*(-1)/(4/(-8)). Suppose 2*h - 120 = -v*h. Is 15 a factor of h?
True
Suppose -l = 3*l - 16. Suppose -d + y = -35, -2*d + l*d = -2*y + 86. Suppose 4*r - 30 = 2*r + 4*p, d = 5*r - p. Does 7 divide r?
True
Suppose 0 = 5*w - 43 - 127. Suppose m + w = 3*m. Suppose 4*l - m - 59 = 0. Does 12 divide l?
False
Let s(k) be the third derivative of 5*k**4/8 - 4*k**3/3 + 4*k**2. Is 11 a factor of s(4)?
False
Let y = 20 + -10. Let l be (-64)/y + 2/5. Is 8 a factor of 2*(-4)/3*l?
True
Let k be ((-8)/(-6))/((-4)/12). Let f be (22/k)/((-5)/10). Let m = 16 - f. Is 4 a factor of m?
False
Let c(q) = q**2 + 2*q + 1. Let l = -2 + -4. Let j = l - -3. Is c(j) a multiple of 4?
True
Let g = 5 - -1. Suppose -h = -4*h + g. Suppose -7 - h = -u. Does 9 divide u?
True
Let v(b) = -b**3 + 17*b**2 - 13*b - 12. Is v(16) a multiple of 16?
False
Suppose -2*j - 10 = -7*j. Let k = 7 - j. Suppose -4*y + 9 = -y, k*y = 4*p - 41. Is 7 a factor of p?
True
Let h(f) = f**3 - 2*f**2 - 6*f - 7. Suppose 4*b = 4*a - 8, 2*a + 25 = -3*a - 2*b. Let c = 8 + a. Does 13 divide h(c)?
False
Suppose -3*t = -8*t, j = t + 2. Suppose 0 = -5*p, -p = -u - j*u + 15. Does 4 divide u?
False
Suppose -4*q + 70 = w + w, -3*q + w = -40. Does 12 divide q?
False
Suppose -u + 44 + 89 = 0. Does 11 divide u?
False
Let y = 53 + -41. Is y a multiple of 6?
True
Let k = 6 - 4. Let n(m) = 20*m + 2. Does 21 divide n(k)?
True
Suppose -105 + 3 = 3*a. Let f = a - -51. Does 14 divide f?
False
Suppose 5*b - 2*r - 69 = 0, -2*b + 3*r - 33 = -5*b. Is 5 a facto