or of f(7)?
False
Let z(a) = a**3 - 8*a**2 + 5. Let u be z(4). Let b = 4 + u. Does 11 divide (b/10)/(1/(-2))?
True
Suppose q + 106 = -2*b, q = -3*b - 140 - 18. Is 13 a factor of b*(-4 + (-28)/(-8))?
True
Let q(z) = z**2 + 11*z + 13. Let h be q(-9). Let b = -3 - h. Suppose -s = -16 - b. Is s a multiple of 9?
True
Let j = -21 + -5. Let c = -10 + -6. Let d = c - j. Does 5 divide d?
True
Let g = -93 - -21. Let c = -36 - g. Is c a multiple of 12?
True
Let u(y) = 2*y**2 - y - 7. Does 2 divide u(3)?
True
Let k(i) = i**2 - 2*i + 32. Suppose -3 = 5*t - 3*y, -4*t + 3*y - 4*y = -1. Is k(t) a multiple of 12?
False
Suppose -108 = -4*k + 4. Is 14 a factor of k?
True
Let q(w) = -w**2 - 5*w - 4. Let u be q(-3). Let s = u + 1. Suppose -s*b - b + 44 = 0. Is 6 a factor of b?
False
Let y be (-130)/4*(-36)/15. Let u = -6 + y. Is ((-2)/4)/((-2)/u) a multiple of 18?
True
Suppose 2*n = 2*s - 4 + 6, 5*n - 29 = -3*s. Is (0 + -1)*(1 - n) a multiple of 3?
True
Let p(o) = 6*o**2 - 3*o + 4. Suppose -6 = 2*q - 0. Does 26 divide p(q)?
False
Suppose 9*j = 4*j + 3*i + 347, -135 = -2*j + 5*i. Is j a multiple of 5?
True
Suppose 12*g - 20 = 7*g. Suppose g*f = -7*j + 3*j + 4, 0 = 2*f + 6. Let k = 8 - j. Does 4 divide k?
True
Suppose 5*h - 25 = -5*g, 5*g - h - 6 - 31 = 0. Let p = g + -4. Suppose p*z + f - 33 = 0, -3*f + 6*f = -2*z + 15. Is 12 a factor of z?
True
Suppose 4*x - 72 = -3*r + x, 5*x = r - 36. Does 23 divide r?
False
Let x be 1/5 - (-462)/15. Let w = x - 8. Is 10 a factor of w?
False
Let p(z) = -1 + 1 + 2*z - 1 + z**2. Let v be p(4). Suppose -21 = -g + v. Is g a multiple of 17?
False
Let d = -55 + 82. Suppose -v + 2*y - 5 = 4*v, -v = -3*y + 14. Suppose -r - v - 2 = 4*u, -d = -5*r + u. Is r even?
False
Let k(n) = -n - 1. Let h(b) = 8*b**2 + 5*b + 6. Let w(d) = h(d) + 6*k(d). Does 7 divide w(1)?
True
Let m be -1 - (-1 + 44/(-1)). Let p = 34 - 46. Is (-8)/p + m/6 a multiple of 4?
True
Suppose 545 = 3*a + 5*s, -4*a + 5*s = -a - 505. Does 25 divide a?
True
Suppose 2*f - 5*c - 55 = -3*f, 0 = -5*f - 4*c + 91. Does 13 divide (f/5)/(6/62)?
False
Suppose -3*m - 3 = 3*r - m, -m - 5 = 5*r. Let p(o) = -10*o - 1. Is 3 a factor of p(r)?
True
Does 8 divide 29 + 1 + 3 + -1?
True
Suppose -f + 0*f = -40. Does 8 divide f?
True
Let b be 0/(8 + -7 + 3). Let h(a) = a**2 + a + 38. Is 6 a factor of h(b)?
False
Let o be -3*6/(-9) + 8. Let f be 2/o + 14/5. Does 15 divide ((-10)/f)/(2/(-18))?
True
Let g be (-2 - -1)*13 - 1. Let a = -9 - g. Let r(c) = 2*c**2 - 4*c + 7. Is r(a) a multiple of 13?
False
Let k = 29 - 16. Is 3 a factor of k?
False
Suppose 3*z - 110 = -h, -z = -2*h - 51 + 19. Does 4 divide z?
True
Suppose 0 = -5*b + 4*b + 2. Suppose -40 = b*o - 4*o. Does 8 divide o?
False
Let f = 21 + -21. Suppose 0 = 4*c + 4*s - 72, c = -c + 4*s + 12. Is 2/(-2) + f + c a multiple of 4?
False
Let f(r) = -r**3 + r**2 + r - 1. Let t(l) = -6*l**3 + 7*l - 2. Let x(d) = 5*f(d) - t(d). Does 21 divide x(-4)?
True
Suppose b - 6 = -0*b. Does 2 divide b?
True
Suppose -2*l = -4*p + 116, -5*l = 4*p - 4*l - 104. Does 3 divide p?
True
Let p = -25 + 18. Suppose -1 = -4*m - 13. Let l = m - p. Does 4 divide l?
True
Suppose j = -2*j + 33. Let y = j + -7. Let i(w) = 6*w - 4. Is 8 a factor of i(y)?
False
Suppose 5*c = -13 + 28. Suppose -6*x + x + d = 15, -c*x - 5*d - 9 = 0. Does 13 divide (93/(-6))/(x/6)?
False
Let c be 672/35 - (-2)/(-10). Suppose -5*v + c + 51 = 5*j, -j - 2*v + 14 = 0. Does 7 divide j?
True
Suppose 3*o - l = 2*l, 0 = 2*o + l. Suppose a - 52 = -o*a. Does 26 divide a?
True
Suppose -g - 2*d = -9, -3*g + 3*d = -3 + 12. Is 9 a factor of g/(-5) - (-136)/5?
True
Let g(w) = 10*w**2 + w - 4. Is 34 a factor of g(-2)?
True
Let f(d) = d**3 - 4*d**2 + 2*d - 16. Is 2 a factor of f(5)?
False
Let a(i) = -i**2 - 11*i - 6. Let v be a(-10). Suppose -1 = v*l - 5*l, -4*r - 3*l = -99. Does 12 divide r?
True
Suppose -2*a - 4*j = 0, 16 - 4 = 2*a - 2*j. Suppose 2*b + 126 = 3*b. Suppose -b = -a*d + d. Is 21 a factor of d?
True
Suppose -3*w + 6 = 0, -u + 0*w + 26 = -3*w. Is 15 a factor of u?
False
Let j(y) = -y**3 + 8*y**2 + 8*y + 13. Let w(h) = -h**3 - 9*h**2 + 9*h - 1. Let b be w(-10). Is 4 a factor of j(b)?
True
Let w(m) = -m + 3. Let x be w(4). Let b(h) = -13*h - 1. Let i be b(-1). Is 11 a factor of x + 2 + -2 + i?
True
Let k(h) = -h - 3. Let d be k(-3). Is 0 - (d + 3 + -20) a multiple of 7?
False
Let r(c) = c**2 + 2*c**2 - 11*c**3 + 1 + 0*c**2 - 4*c**2. Is r(-1) a multiple of 5?
False
Let c(r) = r - 10. Let a be c(10). Is 44 + (a - -2*1) a multiple of 23?
True
Suppose 2*i + 12 = u, -3*u + 5*i - 3*i = -36. Is u a multiple of 6?
True
Suppose 8 = 2*l, 3*l - 46 - 278 = -4*n. Is 10 a factor of n?
False
Let o(x) = x**2 + 9*x - 9. Is o(-11) even?
False
Suppose 10 = 4*a - 2*a. Suppose -41 + a = -w. Is w a multiple of 12?
True
Let n be (-498)/(-4) + (-3)/(-6). Let d be (0 + 3)/((-5)/n). Let r = -43 - d. Is r a multiple of 13?
False
Let l(v) = -v + 11. Let d be l(8). Suppose -4*u = -d*i + i + 176, -5*i + 446 = -4*u. Suppose i = 2*j + 3*j. Does 9 divide j?
True
Let b(q) = 4*q**3 - 4*q**2 + 3. Is b(3) a multiple of 17?
False
Let p = -2 + 3. Does 7 divide (3/(-6))/(p/(-24))?
False
Suppose -108 = -0*c - 2*c. Is c a multiple of 32?
False
Let q(y) = 5*y**3 - 3*y**2 + 8*y - 18. Let p(z) = 2*z**3 - z**2 + 3*z - 6. Let h(k) = -8*p(k) + 3*q(k). Is 20 a factor of h(-4)?
False
Is 16 a factor of (0 + -1)/((-3)/48)?
True
Suppose 5*j - 479 = -3*h, -5*h + j + 847 - 30 = 0. Is 14 a factor of h?
False
Does 24 divide 68/16 + -4 + (-285)/(-12)?
True
Let b(s) = -s**3 + s + 1. Let g(i) = i**3 - 2*i**2 + 2*i - 1. Let j be g(1). Let o be b(j). Does 3 divide (1 + 1 - o) + 3?
False
Suppose 0 = -2*f + h - 10 - 14, -5*h = 5*f + 45. Let t = f + 33. Let l = t - 6. Is 8 a factor of l?
True
Suppose 2*p = -15 - 1. Is p/6*18/(-4) even?
True
Let a be ((-132)/9)/(3/(-9)). Let o = a + -16. Is 14 a factor of o?
True
Let y(n) = n**2 - 5*n. Let f(d) = -d**3 - 3*d**2 - d. Let r be f(-2). Let u be 10 - (1 + r + 2). Is y(u) a multiple of 18?
True
Let o(f) = f**2 + 14*f + 53. Is o(-10) a multiple of 7?
False
Let k = -42 - -119. Is k a multiple of 30?
False
Suppose 5*q - 3*u + 4*u - 35 = 0, -3*u + 45 = 5*q. Suppose -3*f = -q*f + 99. Is f a multiple of 6?
False
Let x(z) = -z + 9. Suppose -2*j - 19 = -0*j - 3*w, -33 = 4*j - w. Is x(j) a multiple of 17?
True
Let c be (1 + 5)*2/(-3). Let v(q) = -22*q + 2. Is v(c) a multiple of 30?
True
Let n = -13 - -20. Let z = 30 - n. Is z a multiple of 13?
False
Let t be 1*-2*(-1)/2. Let u be 4/5 + t/5. Let r = u - -19. Does 10 divide r?
True
Suppose i = 3 + 8. Let j = 50 - i. Is j a multiple of 13?
True
Let r = 189 + -175. Is 7 a factor of r?
True
Suppose -10*g + 440 = -2*g. Is 5 a factor of g?
True
Suppose 0 - 5 = -q. Let h be (q - 3) + -1*7. Let b(y) = -y**2 - 5*y + 5. Is 3 a factor of b(h)?
False
Suppose -3*t = z + 3*z - 5, 2 = 4*z + 2*t. Is 2 a factor of 4/(-2)*(0 + z)?
True
Suppose -2*y + 20 = 2*y. Suppose j + 5*p = -20, -y*j + 1 + 4 = 4*p. Does 5 divide j?
True
Suppose -3*m = 4*c - 105, -2*m - 3*m + 175 = 3*c. Suppose 5*u = 130 + m. Is 2/(-11) - (-897)/u a multiple of 8?
False
Let j(z) = -z**2 - 11*z - 3. Let a be j(-9). Suppose -a = -2*g - g. Suppose 5*t - 60 = 4*f, f + 22 + 38 = g*t. Does 6 divide t?
True
Let o(u) = 11*u - 7. Let j be o(5). Suppose -2*t - j = -5*t. Is 7 a factor of t?
False
Let i(b) be the first derivative of -7*b + 7/2*b**2 - 1. Is i(5) a multiple of 14?
True
Suppose -3*u - 1 - 20 = 0. Is 4 a factor of 164/14 - 2/u?
True
Suppose -1 = -5*h + 4. Let t be (6/9)/(h/18). Is 14 a factor of 8/t + 124/3?
True
Suppose 0 = -6*u + u + 125. Does 25 divide u?
True
Does 10 divide ((-13)/((-13)/(-16)))/((-1)/5)?
True
Suppose 115 = 5*o - 140. Is o a multiple of 17?
True
Suppose z = -3*z. Suppose 3*q - q = z. Suppose r = -q*r + 15. Is r a multiple of 15?
True
Suppose -18 = -2*w - 0*w. Suppose 3 = 3*t - w. Does 11 divide -4*-2*11/t?
True
Let w = -12 - -13. Does 18 divide 90/w*(-32)/(-40)?
True
Let i(c) = c**3 - 7*c**2 + 6*c + 4. Let f be i(6). Suppose -4*v = -3*v - 26. Suppose n = 4*n + 4*h - v, f*n + 3*h = 23. Is n even?
True
Is 26 a factor of (1 - 4) + 79 + 2?
True
Let q(t) = t**2 - 5. Suppose 5*h + 20 = 0, 4*c = -c + 4*h - 64. Let m = c - -10. Is q(m) a multiple of 11?
False
Suppose 0 = -4*b - b. Suppose 10 = 2*n - b. Suppose 0 = -3