m**3 + 4*m**2 + 5*m. Let f be q(5). Suppose 0*w + 5*w - 310 = f. Is w a multiple of 21?
False
Let h(i) be the third derivative of i**6/120 + i**5/12 - i**4/4 + i**3/6 - 2*i**2. Let u be h(-6). Is 22 a factor of 2 - (1/u - 21)?
True
Suppose 2372 + 2848 = 15*t. Is 21 a factor of t?
False
Let c = -3 - 31. Let v = 11 - c. Does 15 divide v?
True
Let g = -226 + 359. Suppose 3*d + 2*m = -3*m + g, 0 = 2*d - 5*m - 47. Is 18 a factor of d?
True
Let x(n) = -25*n - 13. Let q(u) = -13*u - 6. Let f(m) = 11*q(m) - 6*x(m). Does 21 divide f(10)?
False
Let a = 107 - -108. Suppose -3*m + 8*m - a = 0. Does 12 divide m?
False
Suppose -3*g = 2*t - 5*t - 132, 4*t = g - 32. Suppose 2*u - 6*u + g = 0. Does 12 divide u?
True
Let f be 7/28 - (-1 + (-83)/4). Suppose -2 = r + 3. Let u = f + r. Is u a multiple of 17?
True
Suppose -4*c = 5*v - 45 - 37, -5*v = -3*c + 79. Does 10 divide c?
False
Let v = 20 - 14. Does 24 divide (-715)/(-30) + 1/v?
True
Suppose -3*g + 21 = f, 9 = -3*f - 5*g + 60. Does 12 divide f?
True
Suppose -5*j + 195 = -2*j. Is 13 a factor of j?
True
Suppose 3*x - 4*x = 0. Let p(h) = h**3 - h + 5. Let r be p(x). Suppose 12 = 4*q, -8 = -r*t - q + 95. Does 10 divide t?
True
Suppose 1 = w + 2*z, -5*w - 23 = z - 1. Let y(j) = -7*j**2 + j + 2. Let a be y(-2). Let i = w - a. Is i a multiple of 16?
False
Suppose 0*v + 3 = v. Does 2 divide v?
False
Is (-13 + -5)*16/(-6) a multiple of 24?
True
Suppose 4*a + t + 3 - 13 = 0, 2*a = -5*t + 14. Let z = 2 + a. Is 4 a factor of z?
True
Let i = 457 + -317. Does 19 divide i/4 - (1 - 4)?
True
Suppose 0 = -6*m + 522 + 84. Is 14 a factor of m?
False
Does 45 divide 100 - ((-54)/6 - -6)?
False
Let r(c) = -48*c**3 + 2*c**2 + 3*c + 2. Is 7 a factor of r(-1)?
True
Let d(x) = -17*x**3 + 2*x + 1. Let v be 4/(-6) + 22/6. Let c(k) = -k**3 + 4*k**2 - 3*k - 1. Let m be c(v). Is 7 a factor of d(m)?
False
Let t(d) = 21*d**3 + d - 3. Let v(y) = y**3 - y + 1. Let h(f) = -f**3 + f**2 - 1. Let l be h(0). Let o(b) = l*t(b) - 2*v(b). Is o(-1) a multiple of 10?
False
Let d = -7 + 15. Suppose -6*v = -4*v - d. Suppose -99 = -v*f + 33. Is f a multiple of 11?
True
Let i = 4 - 9. Does 14 divide ((-21)/4)/(i/40)?
True
Let u(x) = 0*x**3 - x**3 + 8*x + 5 + 6*x**2 + 1. Let s(q) = -q**3 + 5*q**2 - 2*q - 1. Let o be s(4). Does 13 divide u(o)?
True
Let j = -635 + 905. Suppose -5*n - 4*s = -230, 0 = 5*n + 5*s + 45 - j. Is n a multiple of 14?
False
Let z be (-3)/9 - (-20)/6. Suppose -2*g + 3*g = n - 29, 5*g = -z*n + 63. Is 17 a factor of n?
False
Is (12*(-20)/(-6))/1 a multiple of 16?
False
Suppose 0 = 2*w - 4*w - 116. Let i = w + 140. Let z = i + -56. Is z a multiple of 13?
True
Suppose -557 = -3*z - 5*t, 0 = z - 0*t - t - 183. Is z a multiple of 22?
False
Suppose 16*q + 18 = 17*q. Is 4 a factor of q?
False
Let r = 7 - 5. Let y(c) = c**3 - 2*c**2 + 2. Let g be y(r). Does 4 divide g/8 - 23/(-4)?
False
Let h(r) = -r**3 + 11*r - 2. Is 10 a factor of h(-5)?
False
Suppose 3*a + 4*t = 4*a + 1, 3*a + 5*t = -20. Let j = 5 + a. Suppose j = -4*u - 3 + 103. Is 9 a factor of u?
False
Let x(a) = -a**2 + a + 2. Let h be x(-7). Let v = -26 - h. Is v a multiple of 13?
False
Let y = 18 + -13. Suppose u - 31 + 9 = -5*o, y*u + 30 = 3*o. Does 5 divide 11 - (0 - (u - -2))?
True
Is -1 + 9 + -1 + -1 a multiple of 3?
True
Suppose -2*s - 12 = -2, 4*s = -5*u + 1015. Is 23 a factor of u?
True
Let m be (-1)/(-2) - 798/(-12). Suppose 23 = 3*l - m. Is l a multiple of 10?
True
Let t(a) = 32*a**2 + a + 2. Does 14 divide t(-1)?
False
Suppose -67 + 277 = -3*c. Let w = -16 - c. Does 23 divide w?
False
Let h(g) = g**3 + 8*g**2 + 5*g - 7. Let m(a) = -3*a**3 - 17*a**2 - 11*a + 14. Let z(p) = 5*h(p) + 2*m(p). Is 8 a factor of z(5)?
False
Let l be (2/5)/(1/10). Suppose -l*i + 9*i - 74 = -4*p, 4*i = 3*p - 71. Suppose -2*k + 0*f + p = -5*f, 0 = -5*k + 5*f + 45. Is k a multiple of 4?
True
Let s(k) = -42*k + 25. Does 12 divide s(-3)?
False
Suppose 0 = r - 3, 5*v + 3*r - 7 = 22. Suppose 4*n - x + 6*x + v = 0, 3*n + 3 = -x. Let m = 6 + n. Is 5 a factor of m?
True
Let l(j) = -20*j - 6. Let u(z) = -z**2 - 9*z - 12. Let x be u(-8). Let r be l(x). Let c = -49 + r. Does 16 divide c?
False
Suppose 3*s - 61 = -1. Is s a multiple of 5?
True
Let u(z) = 3*z**3 - 4*z**2 + 9*z + 3. Is 5 a factor of u(3)?
True
Let p be -13*2/2 + 3. Let t = 23 - p. Is t a multiple of 11?
True
Let c(t) = -t**3 + 2*t**2 + 3*t - 2. Let d be c(2). Let i = -6 + d. Let v(l) = 3*l**2 - 4*l - 3. Does 9 divide v(i)?
False
Suppose -4*h + 52 = -0*h + 4*t, -5*t + 52 = 4*h. Suppose 5*n + 117 = 3*w, 0 = -w - 2*n + 15 + h. Does 17 divide w?
True
Suppose 0 = -3*v - 2*v + 25. Let o = -11 + v. Let k = o - -12. Does 6 divide k?
True
Let b = -5 + 14. Is (-1)/(b/(-6) + 1) a multiple of 2?
True
Let p = 12 + -5. Is 7 a factor of p?
True
Let q be (-3 + -5)*3/6. Is (q/(-5))/(2/10) a multiple of 2?
True
Suppose m - 7 + 2 = 0. Let x(y) = 4*y + 17. Is 13 a factor of x(m)?
False
Suppose 93 + 215 = -4*z. Let u be (1 - 1) + (118 - 1). Let c = u + z. Is 19 a factor of c?
False
Let t be 2*85/(-4)*-2. Suppose 4*y - 19 = t. Suppose -4*c + s + y = 3*s, -c - 4*s - 4 = 0. Is 8 a factor of c?
True
Suppose -4*y = -0*y + 112. Let q = 59 + y. Does 11 divide q?
False
Let y = -23 - -44. Let v = 40 - y. Is v a multiple of 5?
False
Does 11 divide (9 + -1)/((8/(-22))/(-2))?
True
Suppose 0 = -6*i + 4*i + 6. Let s(p) = 2*p**3 - 3*p**2 - 2*p - 1. Is 11 a factor of s(i)?
False
Let o = 0 - 4. Is (4/1)/(-2 - o) even?
True
Let o(z) = z**2 + 8*z + 4. Is o(-10) a multiple of 6?
True
Suppose 3*j - 4 + 34 = 0. Let w(y) = -y**2 - 11*y + 14. Does 12 divide w(j)?
True
Suppose -p + 4*p = -9. Is 5 a factor of -1 - (-10 - (p + 1))?
False
Suppose -19 = -4*s + 1, 0 = -3*k - 3*s + 207. Suppose -3*u + 7*u - k = 0. Is u a multiple of 8?
True
Suppose -89 = -3*x + 5*a, 8*x + 3*a - 103 = 3*x. Is 23 a factor of x?
True
Let i = -1 - -3. Suppose -7*a + 135 = -i*a. Let x = a + -17. Does 5 divide x?
True
Suppose -q = 1 - 3. Suppose -7*c - 10 = 5*k - q*c, 0 = -4*k + 5*c - 26. Let v(u) = -u**2 - 7*u - 6. Is v(k) a multiple of 6?
True
Suppose -5 - 4 = -3*q. Let l be q/1*147/9. Suppose 4*h - 20 = -4*m, 4*h + h - m - l = 0. Is h a multiple of 4?
False
Let t be (-4*(-51)/6)/1. Suppose -274 = -5*d - t. Suppose 0*x + d = 4*x. Is x a multiple of 12?
True
Let o(j) = 49*j - 14. Is 9 a factor of o(6)?
False
Suppose -11 = 4*l + 5. Let k = 4 + l. Suppose k*w + 24 = 2*w. Does 6 divide w?
True
Let l = -45 + 93. Is 5 a factor of l?
False
Suppose 2*c - 7*c + 5 = 0. Let p be (c - 3 - -25) + 1. Suppose 4*j = j + p. Does 8 divide j?
True
Is 2656/20 - 4 - 1/(-5) a multiple of 11?
False
Let n = 5 + -3. Let p = -1 + n. Is (-3*p)/(3/(-38)) a multiple of 13?
False
Let f(h) be the first derivative of 17*h**4/2 - h**3/3 + h**2 - h - 1. Suppose 0 = 5*q - 5. Does 17 divide f(q)?
True
Let c = 14 + -10. Let y(u) = 49*u**3 - 1. Let w be y(1). Suppose 5*r - w = c*r. Is r a multiple of 16?
True
Suppose 4397 - 616 = 19*a. Does 33 divide a?
False
Let k(y) = -y**3 - 9*y**2 + 9*y - 8. Let d be k(-10). Let v(f) = 14*f**2 + f + 2. Let l be v(d). Let p = l + -43. Is 10 a factor of p?
False
Suppose -2*r + s = -2*s - 21, -r - s + 8 = 0. Suppose -r*f + 124 = -7*f. Does 31 divide f?
True
Suppose -6*z = 44 - 614. Does 21 divide z?
False
Let k be (6/(-4) - -3)*2. Suppose k*o = 2*o + 8. Is 6 a factor of o?
False
Suppose 0 = 5*h - 30 - 60. Is h a multiple of 18?
True
Let p = -39 - -81. Let r = -18 + p. Suppose -s = -2*s + r. Is 12 a factor of s?
True
Let o(h) = -5*h**3 + h**2 - 1. Let m be o(-1). Let w be (-1)/(-3) - 8/(-3). Suppose q - i + 5*i = m, 4*q = w*i + 58. Is q a multiple of 7?
False
Let p(a) = -5*a**3. Is 2 a factor of p(-1)?
False
Suppose u - 64 = -s, u = -u - 3*s + 127. Is u a multiple of 7?
False
Suppose 3*n = 36 + 39. Suppose 0 = u - 2*u + n. Suppose 0 = -5*s + u, 0*c - 3*c = -s - 31. Is c a multiple of 6?
True
Let o be (-9)/(-2)*(-174)/(-9). Let r = -60 + o. Is 24 a factor of r?
False
Let l(f) = -19*f - 2. Let i = -6 - -4. Does 12 divide l(i)?
True
Let w(j) = 11*j**2 + j**3 - 6 - 3*j + 11*j + 0*j**3. Suppose 2*c = -2*c - 40. Is 7 a factor of w(c)?
True
Let o = 5 + 3. Let d(w) = w**2 - 4*w - 9. Does 10 divide d(o)?
False
Let c = -70 + 135. Is 13 a factor of c?
True
Suppose -4 = -2*g - 6. Let m be 107*(1 - 1 - g). Suppose 0 = 5*j + 32 - m. Is