f**3 - 2*f**2 - 2*f + 1. Let v be x(3). Let h = d + v. Is h a multiple of 9?
True
Suppose 0 = -4*m + 3*y + 31, -3*m - 2*m + y + 25 = 0. Suppose 4*n = 4*v + 188, 5*n - m*v = -40 + 270. Is 14 a factor of n?
True
Let x(l) = 4*l - 3. Let j be x(2). Suppose 0 = -3*r - 5*h - 6 - 2, -2*h = j*r - 12. Suppose r*s = -g + 62, -g + 14 = -4*s - 16. Does 14 divide g?
False
Let i(c) = c**3 + c**2 - c - 1. Let j be i(-1). Suppose 3*k - 40 = k - 2*o, j = 4*o - 16. Is 16 a factor of k?
True
Let b = 69 + -47. Is 942/b + 14/77 a multiple of 21?
False
Suppose 0 = 5*p - 4*p - 2630. Is 16 a factor of p/50 - (-3)/(-5)?
False
Suppose 3*v = -41 + 5. Let x = -9 - v. Does 19 divide 39 + -2 - (2 - x)?
True
Suppose 5*v - 6 - 4 = 0. Let p = v + 0. Suppose 7 - 1 = p*j. Is j a multiple of 3?
True
Does 12 divide ((-48)/(-10))/(2/30)?
True
Suppose -4*c + 2*z + 644 = 258, c - 2*z = 92. Is c a multiple of 7?
True
Let w(r) = -2*r**3 + r**2. Let m be w(-1). Let b(x) = -7*x - 2. Let z(f) = 36*f + 10. Let l(j) = -16*b(j) - 3*z(j). Does 7 divide l(m)?
True
Is 2/5 + 7254/90 a multiple of 9?
True
Let l(m) = 2*m**2 + 2*m - 3. Is l(3) a multiple of 9?
False
Suppose -v - 3*v = -4. Let p = 3 - v. Suppose 2*n - 75 = -5*z, 3*z - p*n + 7 = 68. Is z a multiple of 17?
True
Let l be 4/(-18) - (-1225)/45. Suppose -4*b - l = -5*b. Is 13 a factor of b?
False
Let u = -118 + 274. Does 39 divide u?
True
Let f(a) = -44*a + 5. Let c be f(-1). Let m(x) = x**3 + 7*x**2 + 7*x - 1. Let b be m(-5). Let l = c - b. Is 13 a factor of l?
False
Let o(b) be the third derivative of -b**5/60 - 11*b**4/24 + 4*b**3/3 - 3*b**2. Is o(-9) a multiple of 21?
False
Let b = 145 + -13. Does 22 divide b?
True
Suppose 2*o + 2*j = 140, 5*o - 5*j - 350 = -3*j. Does 14 divide o?
True
Suppose 5*i + g - 4*g - 30 = 0, -2*i + 2*g = -16. Let k be ((-6)/(-4))/((-1)/(-54)). Suppose i*m - k = -18. Is m a multiple of 21?
True
Let d(g) be the second derivative of g**4/12 + 5*g**3/6 - 4*g**2 - 3*g. Let k be (-4)/(-2) - (3 + 6). Does 3 divide d(k)?
True
Suppose 10 = -5*n, -31 = 3*l + 4*n + 4. Let y be 126/4 + (-2)/(-4). Let g = l + y. Is 19 a factor of g?
False
Let q(s) = -s + 12. Let f be q(8). Suppose -f*v + 255 = v. Is 17 a factor of v?
True
Let c be -2*(-1 - (-3 + 4)). Suppose -c*r = 3*o - 47, -4*o + 46 = 2*r - 0*r. Does 9 divide o?
True
Let i(z) = 2*z**2 - 12*z - 10. Suppose 3*q - 2*s = 25, 0*q - 3*q - 3*s + 30 = 0. Is 18 a factor of i(q)?
False
Suppose 0*c + c + 3*h - 28 = 0, -3*c + 3*h + 60 = 0. Does 22 divide c?
True
Let o(g) = g**3 - 7*g**2 + 5*g + 1. Let b = 10 + -3. Is 9 a factor of o(b)?
True
Suppose 0 = -c + 6*c - 5*w - 20, w - 5 = -2*c. Is ((-44)/(-12) - -3)*c a multiple of 20?
True
Suppose 8*a = 4*a + 408. Is a a multiple of 27?
False
Let c = -122 - -172. Is c a multiple of 27?
False
Let c(t) = -t**3 - 9*t**2 - 10*t - 9. Let a be c(-7). Let r = -11 - a. Does 18 divide r?
False
Let v be (17 - -2) + (-1)/(-1). Suppose 2*h - 5*l - 18 = -3*l, -4*l = v. Suppose -3*d - h*m + 5 = m, 0 = -m - 2. Is 4 a factor of d?
False
Let y = 26 - 13. Suppose 3*p = 4*p - y. Is 6 a factor of p?
False
Let c = -13 - -45. Is c a multiple of 8?
True
Let h(l) = -l**3 + 8*l**2 - 8. Let v be h(8). Let r(p) = -11*p + 2. Let u be r(v). Suppose 3*y - u = y. Does 15 divide y?
True
Let l(y) = y**2 - 4*y + 1. Let b be l(4). Let n(q) = 3*q + 1. Is 3 a factor of n(b)?
False
Let v(d) = -d**2 + 9*d + 5. Let g be v(7). Let z = g + -7. Is 4 a factor of z?
True
Suppose -4*t + 6*t - 6 = 0. Let f = t + 6. Is f a multiple of 8?
False
Let j(t) = 3*t**2 + 1. Let b be j(1). Suppose -2*p + 10 = b*s, -3*p + 2*s = -s - 6. Suppose 0 = -w + 2*n + 55, 0*w - 59 = -w + p*n. Is 17 a factor of w?
False
Let t = -12 + -16. Let z = -11 - t. Is z a multiple of 16?
False
Let o = 0 - 0. Suppose 4*x - x + 171 = o. Let d = x + 84. Does 11 divide d?
False
Suppose 14*g - 5808 = -978. Is g a multiple of 15?
True
Let a(k) be the third derivative of -k**4/4 - k**3/6 - k**2. Let p(h) = -h**2 - 8*h + 4. Let z be p(-9). Is a(z) a multiple of 10?
False
Suppose 25 + 4 = m - 5*b, 0 = 3*m - b - 73. Is m a multiple of 8?
True
Suppose -48 = 10*l - 12*l. Is l a multiple of 7?
False
Suppose -a + 3 + 39 = 0. Is a a multiple of 42?
True
Suppose 3*z + 5*l - 140 = -0*z, 2*l = 3*z - 175. Does 32 divide z?
False
Suppose -q + 5*q - 8 = 0. Suppose -q*o + 0*k = 3*k + 9, o = 4*k + 12. Suppose o*l + l - 3 = 0. Is l a multiple of 3?
True
Let o = 32 - 20. Is o a multiple of 6?
True
Let b(y) = -4*y**3 - 2*y**2 + 3*y + 5. Let u(j) = -j**3 + j**2 - j. Let m(o) = b(o) - 5*u(o). Is 8 a factor of m(6)?
False
Let d = 1 - -1. Suppose -7 = -d*m + 11. Is m a multiple of 5?
False
Suppose -4 = 10*m - 164. Is m a multiple of 5?
False
Suppose 7*d - 4*d + 5*f - 442 = 0, 5*f = 5*d - 670. Is d a multiple of 33?
False
Suppose w = -3*w + 68. Let s = w - 25. Let x(z) = -2*z - 3. Does 13 divide x(s)?
True
Let n(o) = 30*o**2 - 2*o - 2. Let i be n(2). Suppose 3*l - i = -0*l. Does 19 divide l?
True
Let z(w) = 1. Let x(o) = -o - 12. Let y(i) = -x(i) - 5*z(i). Is y(7) a multiple of 14?
True
Let y be -5*(28/(-5) - 2). Suppose 17 = -3*t + y. Let p = t - 1. Is 3 a factor of p?
True
Let t be -12*(58/(-4) + 2). Suppose -k - 1 = 1, 5*j + 5*k = t. Is 16 a factor of j?
True
Let f = -102 - -37. Let r = -25 - 14. Let z = r - f. Is z a multiple of 13?
True
Let x be (-2)/2 + -3*2. Let d(j) = -7*j + 10. Let w be d(x). Let v = -34 + w. Does 10 divide v?
False
Is 18 a factor of (-1)/((5 + -2)/(-378))?
True
Let t = 189 - 94. Is 21 a factor of t?
False
Let j(g) = g**2 - g + 4. Is j(5) a multiple of 6?
True
Let o(k) = -13*k + 11. Is o(-14) a multiple of 35?
False
Let f(y) = -4*y**2 - 1. Let b be f(-1). Let h = 8 + b. Suppose l + 18 = h*l. Is l a multiple of 9?
True
Let h = -7 - -88. Is h a multiple of 11?
False
Suppose -2*l + 4*d + 25 = -25, 0 = -2*l - 2*d + 74. Does 6 divide l?
False
Let b = -7 - -15. Let v = b - -1. Is 2 a factor of v?
False
Let s(o) = 2*o**3 - o**2 - o + 1. Let g be s(2). Let n = g - 7. Suppose 0 = -n*i + m + 76, 0 + 12 = -3*m. Is 9 a factor of i?
True
Let m(o) = o + 29. Is m(-15) a multiple of 14?
True
Let d(m) = -m**2 + 1. Let b be d(1). Suppose b = 4*t + 4*y - 12, -33 = -5*t + 8*y - 4*y. Let c(j) = j**2 - j - 7. Is 6 a factor of c(t)?
False
Does 8 divide 3 - (-90 - (-1 + -2)*-1)?
True
Let m be 4/(-10) + (-226)/10. Let j = m + 41. Suppose x + 4*r + 0*r - 12 = 0, x + 2*r = j. Is x a multiple of 12?
True
Let h(d) = d**2 - 4. Let l be h(3). Let k(o) = -l - 3*o + 2 + 1. Does 8 divide k(-6)?
True
Let r(j) = 3*j**2 + j. Is r(2) a multiple of 7?
True
Suppose 0*r - 2*r + 12 = 0. Let k(d) = d**3 - 4*d**2 - 10*d + 8. Let n be k(6). Is n - -3*(-4)/r a multiple of 9?
True
Suppose 8*u = 6*u + 44. Is u a multiple of 11?
True
Suppose 3*z + f - 2101 + 616 = 0, -5*z = -3*f - 2489. Does 19 divide z?
False
Suppose -2*c + 53 = -7. Does 10 divide c?
True
Suppose -12*q + 14*q = 60. Is q a multiple of 12?
False
Let o = 3 - 1. Let y(q) = 2*q**2 - q - o - q**2 - 1 + 4. Is y(3) a multiple of 6?
False
Let u = 243 + 54. Does 33 divide u?
True
Let s be (1 - 1)/(7 + -5). Is 12 a factor of s + 2 + 18 + 1?
False
Let s be 2 + 0*(-2)/(-8). Suppose s*j - 58 - 2 = 0. Is 15 a factor of j?
True
Let s(v) = 2*v**2 - 5*v + 1. Let g be s(-4). Let y = g + -32. Is 11 a factor of y?
False
Let p(l) = -l**2 + 10*l + 3. Let j = 12 - 5. Is 6 a factor of p(j)?
True
Suppose -4*d - 51 = -3*k - d, 0 = -4*k + 3*d + 64. Let h = -1 + k. Is 4 a factor of h?
True
Let v be 1*10*(-2)/5. Is v/14 - (-678)/21 a multiple of 16?
True
Suppose 4 = 5*y - 11. Let t be 3 - (9 - y) - 4. Let z = 9 + t. Is z a multiple of 2?
True
Suppose -37 = -4*b + 359. Does 34 divide b?
False
Let c(n) = 3*n**3 + 2*n**2 - n + 4. Is c(2) a multiple of 12?
False
Let s(m) be the third derivative of m**5/60 - m**4/12 + m**3/6 - 2*m**2. Is s(6) a multiple of 10?
False
Let u = -57 - -103. Suppose -7*t + 64 = -2*t + 3*m, 5*m = -4*t + u. Is t a multiple of 4?
False
Does 8 divide 5 - -16 - (-1 + -3)?
False
Let o be 6/(-21) - (-82)/(-7). Let c = 56 + o. Is c a multiple of 20?
False
Let y(b) = 0 - 3*b**3 + 2*b + 5*b**3 - 2*b**2 - 3*b**2 - 1. Is y(3) a multiple of 7?
True
Suppose 3*x + 3*w = -9, -3*w - 3 = 5*x + 14. Let s be (x - -5)/(2/6). Suppose -53 = -s*p - 5*f, -34 = -2*p - f - 3*f. Is 13 a factor of p?
False
Let s(g) = g + 15. Let 