s 22 divide r(5)?
True
Let g be (-18)/(-4)*(-48)/18. Let v = g - 4. Is v/(0/3 - 1) a multiple of 16?
True
Let l = 44 - -57. Is l a multiple of 21?
False
Let a(g) = -g**3 + 11*g**2 - g - 1. Let f(n) = -3*n**3 + 23*n**2 - 3*n - 2. Let r(b) = -5*a(b) + 2*f(b). Is 10 a factor of r(-9)?
True
Suppose 3*a + 2*a - 20 = 0. Suppose -4*j + a = -2*j. Does 2 divide 3/(((-2)/j)/(-1))?
False
Let l(w) be the second derivative of w**3/6 + 9*w**2/2 + 3*w. Let d be l(-7). Suppose 0 = -4*t - d*h + 46, 2*t = -2*t + 5*h + 67. Is 11 a factor of t?
False
Suppose 3*y = y + 6. Is y a multiple of 3?
True
Suppose 2*n + 3 = -1. Let w be (-2 + 3)/(n/(-34)). Suppose -3*z + 4*d = -w, -z - 1 = -4*d + 4. Does 11 divide z?
True
Let n be -1 + -14 + -2 + -1. Let q = n + 45. Is 9 a factor of q?
True
Suppose 3*h - 30 = -2*g - 9, 3*g = 3*h - 6. Suppose 3*c = 5*b + c - 39, -c = b - h. Is b a multiple of 7?
True
Suppose 2*t - 36 = -3*c - t, 0 = -2*t - 6. Suppose -q = 4*v - 20, 5*q - 3*v + c = -0*v. Suppose q*h = -5*h + 20. Is 2 a factor of h?
True
Let i(c) = 38*c**2. Let r(b) = b**2 - 7*b + 5. Let l be r(6). Is 17 a factor of i(l)?
False
Let d(w) = -2*w + 4. Let f be d(4). Let i be 4/(-5)*10/f. Suppose -l = 3*s + i*s - 135, 2*s - 41 = -3*l. Does 14 divide s?
True
Let n be 0 + 3 - (-76 + -1). Let c = -43 + n. Suppose -4*r + 107 = -c. Does 13 divide r?
False
Suppose 0 = -j + 4*n - 9, -j + 3 = j - n. Suppose 5*o - 32 = 2*k, 0*k + j = -3*k. Is o a multiple of 3?
True
Let f(t) = 2*t**2 - 30*t - 20. Is 7 a factor of f(18)?
False
Suppose 3*g - 12 = g. Suppose 5*v + 75 = 5*z, 37 = -4*z + g*z + 5*v. Is z a multiple of 10?
False
Suppose -3*i - 2*t + 149 = -0*i, -5*t = -2*i + 74. Suppose 35 - 11 = 3*d - 3*o, 4*d + o = i. Is 4 a factor of d?
False
Let v(c) = -c**3 + 3*c**2 + c + 1. Let b be v(3). Let g = -103 - -221. Suppose -b*m + g = -2*m. Is m a multiple of 23?
False
Let d = 0 + -1. Let j be ((-27)/12)/(3/(-12)). Let i = d + j. Is i a multiple of 3?
False
Let y = -26 + 29. Is y a multiple of 2?
False
Suppose -a = -3*m + 7, -4*a - 5*m = -a + 7. Is 6 a factor of (12/(-5))/(a/20)?
True
Let o = 25 + 21. Is o a multiple of 3?
False
Suppose 15 = -3*s, 7*w - 3*w + 4*s - 44 = 0. Suppose j + n + n = 5, 0 = 2*j + n - w. Is j a multiple of 3?
True
Suppose -m = 30 + 11. Let n = m - -62. Is n a multiple of 8?
False
Let q = -14 + 12. Let y = 14 - q. Is 12 a factor of y?
False
Suppose 0 = -5*a - 2*k + 231, 0 = -5*a + 6*a + 3*k - 54. Does 12 divide a?
False
Suppose 0 = f + 16 - 27. Let n = 53 - f. Does 21 divide n?
True
Let n(g) be the third derivative of g**5/5 - g**4/12 + g**3/3 + 7*g**2. Is n(2) a multiple of 19?
False
Suppose -6 = -5*c + 2*c. Does 14 divide c/7 - (-351)/21?
False
Let i = 18 - 16. Suppose -3*s + 2*n + 51 = 2*s, 5*s - 39 = -i*n. Does 3 divide s?
True
Let f(u) = u**2 + 6*u + 4. Suppose -5*n = -2*s + 9 + 20, 0 = -4*n - s - 18. Let h be f(n). Is 19 a factor of 4*5 + h + 0?
True
Suppose c - 162 = -5*c. Does 9 divide c?
True
Suppose 69 - 537 = -9*l. Is l a multiple of 13?
True
Suppose -2*c = 2*c - 124. Suppose -2*h + c = -5. Does 9 divide h?
True
Suppose 0*r = r - 5, 2*n + 5*r = 29. Suppose -1 = -n*y + 7. Is 4 a factor of y?
True
Let k be (90/9)/((-2)/(-1)). Is 9 a factor of (-36)/k*30/(-6)?
True
Suppose 229 = 3*h - 53. Is h a multiple of 11?
False
Does 11 divide (-4)/(-30) + 208/15?
False
Let y(w) = -18*w + 36. Is y(-6) a multiple of 36?
True
Let t be (-3 + 2)/(1/2). Let h(u) = -17*u + 1. Is h(t) a multiple of 8?
False
Suppose -t - 9 = -4*t. Is 17 a factor of (-2 + t)*1 - -40?
False
Is 22/(-33) + (-4)/(-6) + 141 a multiple of 49?
False
Suppose 4*j = 2*m - 0*j + 4, -5*m = 5*j + 10. Let q = m - 2. Does 3 divide (-189)/(-28) + (-1)/q?
False
Let a = -6 + 9. Suppose -a*n + 19 = -65. Is 14 a factor of n?
True
Let b(c) = c**2 - 3*c - 6. Suppose 2*n = n - 4. Let z be b(n). Suppose 3*k - k - p - 42 = 0, 0 = k - p - z. Is k a multiple of 10?
True
Suppose h - 5*t - 248 = 0, -9*h + 3*t + 238 = -8*h. Is h a multiple of 6?
False
Let j(f) = f**3 + 2*f**2. Let d be j(-2). Suppose d*k - 6 = 3*k, 4*y - 80 = -2*k. Does 17 divide y?
False
Suppose -4*j + 384 + 328 = 0. Let x = -86 + j. Is x a multiple of 23?
True
Suppose 0*o - 5*o = 5*t - 15, 5 = -5*o. Let y(u) = -u**3 + 2*u**2 + 3*u + 6. Let q be y(-5). Suppose t*l - q = -54. Is 14 a factor of l?
True
Suppose 2*y = 5*l - 11, 4*y - 5*l = 3*y - 13. Let j(a) = 3*a**3 - a**2 - 4*a + 3. Is j(y) a multiple of 8?
False
Suppose -2*q - 22 - 18 = 0. Let b be (18/(-15))/(6/q). Suppose 56 = b*w - 0*w. Is 14 a factor of w?
True
Is ((-1)/(-2))/((-6)/(-96)) a multiple of 2?
True
Suppose -54 = -3*i + 177. Is i a multiple of 11?
True
Let q(j) = 2*j**2 - 4*j + 4. Let n be q(3). Let p(l) = -2*l - 12. Let i be p(-5). Let v = i + n. Is 4 a factor of v?
True
Suppose -6*t + 84 = -4*t. Is 6 a factor of t?
True
Let b(s) = 2*s**3 - s**2 + 3*s + 20. Let w(m) = -3*m**3 + m**2 - 4*m - 19. Let i(j) = 4*b(j) + 3*w(j). Let k be (2 + -2)*(-1)/(-2). Is 15 a factor of i(k)?
False
Let g(b) = b**2 + 6*b + 6. Let a be g(-5). Let p be 1/(a - 1/2). Suppose 6 = p*c - 0, -2*x = -2*c - 44. Is x a multiple of 9?
False
Suppose p = 3*z + 5*p - 211, 0 = 2*z - 5*p - 156. Does 46 divide z?
False
Suppose 5*d - 9 = 11. Suppose 1 = 4*x - 2*w + w, 4*w = 4*x - d. Suppose x = -2*a - 0*a + 46. Is 8 a factor of a?
False
Let k(t) = -2*t + 7. Does 7 divide k(0)?
True
Let x = -13 + 8. Let n(t) = -t. Let q be n(x). Suppose -q*f + 85 = -0. Does 9 divide f?
False
Suppose 0 = 5*d - d - 36. Suppose 0 = -5*c + 5*y + 55, 2*y - 5*y + d = 0. Suppose -h + 0 + c = 0. Is 14 a factor of h?
True
Let c(p) = -p**3 + 3*p**2 + 4*p - 1. Is c(3) a multiple of 11?
True
Suppose 0 = -4*p - 3*o - 171, p + 5*o + 215 = -4*p. Let b = 87 + p. Is b a multiple of 12?
False
Suppose -2*c = 2*v - 0*v + 2, -3*c = -2*v + 13. Suppose v*n = -2*n + 128. Suppose m + 2*m - 23 = -2*d, 5*d - m = n. Is d a multiple of 3?
False
Let z = 6 + 13. Suppose -4*y + 5*o + z = 0, 3*y - 12 = 3*o - 0. Does 16 divide 0 + 24 + 1/y?
False
Suppose -10 = -3*b + 5*j, 0 = -3*b + 2*j + 13. Suppose -b*w + 99 = 4*g, -w + 3*g = -0*g - 35. Suppose 2*i - 5 = w. Is i a multiple of 7?
True
Let i(o) = 5*o - 2. Is 9 a factor of i(4)?
True
Let g(j) = -j**3 - 3*j**2 + j - 8. Let i be g(-4). Suppose 2*f + 0*f = -4*y + 14, 5*f = i*y + 63. Does 10 divide f?
False
Suppose 2*u + 24 = -2. Let h = -4 - u. Is 3 a factor of h?
True
Let r(z) = 3*z**3 - z**2 - z + 1. Let y be r(1). Let u(h) = 5*h - 25. Let s(x) = x - 6. Let i(q) = y*u(q) - 9*s(q). Is 2 a factor of i(0)?
True
Let w(l) = 3*l**3 + 3*l**2 + l - 7. Let c be (-1)/((-2)/(-3 + 1)). Let f(m) = m**3 + m**2 - 1. Let n(k) = c*w(k) + 5*f(k). Does 10 divide n(2)?
False
Let m(s) = s**3 - 8*s**2 - s - 1. Let w be m(8). Let j = 11 + w. Suppose 0 = x + 3*f - 12, j*x + f = 5*x - 36. Is x a multiple of 12?
True
Suppose -3*f - f + 5*o + 4 = 0, 3*f - 2 = 4*o. Suppose -2*n + 0 = -f. Does 10 divide 0 + n - (1 + -27)?
False
Does 9 divide (42/35)/(4/30)?
True
Suppose 2*m = -m + 9. Suppose m*q - 16 = -q. Is 4 a factor of q?
True
Let u(z) = 26*z - 14. Does 21 divide u(8)?
False
Let o be (-2)/6*(-2 + -1). Does 6 divide 88/20*5*o?
False
Is 12 a factor of ((-142)/(-4))/(3/6)?
False
Let i be 14/(-91) - (-310)/(-13). Is 20 a factor of (100/30)/((-2)/i)?
True
Let b = 0 + -1. Let v be ((-14)/((-1)/(-1)))/b. Let q = -8 + v. Is q a multiple of 3?
True
Let k = -7 + 7. Let a(t) = t - 35. Let x be a(k). Let b = x + 51. Is b a multiple of 8?
True
Let o(m) = m + 12. Suppose -2*g = -0*g + 22. Let s be o(g). Suppose -15 = -2*t + s. Does 3 divide t?
False
Suppose -195 = -2*w + 5*q, 4*w + 0*q - 366 = 2*q. Does 30 divide w?
True
Let p = 3 + 0. Suppose -5*v - 3*b - 9 = -2*v, v - b - p = 0. Suppose -2*q = -v*q - 24. Does 4 divide q?
True
Suppose 0*k - 3*k + 39 = 0. Let b(p) = p**2 - 12*p - 9. Let f be b(k). Is 10 a factor of (156/f)/(1 - 0)?
False
Suppose 6*p - 132 = 2*p. Does 10 divide p?
False
Let q(u) = -u**3 + 7*u**2 - 2*u + 4. Let k be q(3). Let i = -20 + 10. Let m = i + k. Does 12 divide m?
True
Let r be ((-4)/10)/((-2)/5). Let m(h) = 4*h - 1. Let f be m(r). Suppose 7 = g - b - 22, 0 = f*b - 12. Is g a multiple of 14?
False
Let c = -57 + 103. Suppose -3*f + 2*z + c = -f, -52 = -2*f + 4*z. Is f a multiple of 20?
True
Let c be (-6)/(-21) + (-37)/7. Let z(t) = -t**3 - 5*t**2 - 3*