65. Is 24 a factor of f?
True
Let h(y) = y**3 + y**2 + 5*y + 10. Does 16 divide h(4)?
False
Let q = -8 - -65. Is 10 a factor of q?
False
Let c(i) = -2*i**3 - 4*i**2 + 4*i + 7. Let s(p) = 5*p**3 + 8*p**2 - 9*p - 15. Let u(z) = 7*c(z) + 3*s(z). Does 17 divide u(5)?
True
Let g(i) be the first derivative of -i**3/3 + 4*i**2 + 5*i - 8. Does 11 divide g(6)?
False
Let r(q) = q**2 + q + 32. Suppose 2*l - 4*t = -10, l + 5 = -0*l - 4*t. Let m be 0/1*l/(-15). Is 9 a factor of r(m)?
False
Suppose -3 = -3*o + 9. Suppose 0 = 7*u - o*u - 135. Suppose 3*j = 6 + u. Does 7 divide j?
False
Let u(b) = 19*b + 5. Let h be u(-2). Is 19 a factor of 3/(-3) - (1 + h)?
False
Suppose -7*v + 11*v = 168. Is 21 a factor of v?
True
Let n(x) = -12*x - 6. Is n(-4) a multiple of 10?
False
Is 33 a factor of (-7)/35 + (4236/10)/3?
False
Let v(m) = 3*m. Let k be v(1). Suppose 0*r - 33 = -k*r. Does 5 divide r?
False
Suppose 0 = -5*n + 4*a + 953, -10*n = -11*n - 4*a + 181. Is 64 a factor of n?
False
Let y = 14 - -10. Does 6 divide y?
True
Let t be 9/(-3) + 52 - 0. Suppose 0 = 5*s - 2*d - 54, -d = -4*s + t - 4. Is 4 a factor of s?
True
Suppose -3*n - 2*n = -15. Let b(h) = 4*h**2 - h**2 - 2*h**2 + 2 + 3*h. Does 11 divide b(n)?
False
Suppose 4*h = u + u - 346, -5*h = 5*u - 790. Let w = u + -88. Let v = w + -47. Is 15 a factor of v?
False
Let s(y) = -7*y**3 + 4*y**2 + 12*y - 4. Let w(j) = -15*j**3 + 9*j**2 + 25*j - 9. Let i(b) = 13*s(b) - 6*w(b). Is i(-4) a multiple of 5?
True
Let g = 0 - -2. Suppose g*l = -0*l + 28. Is 7 a factor of l?
True
Let s(p) = 9*p**2 - p - 3. Does 11 divide s(3)?
False
Let t(x) = -21*x - 2. Let y be t(-2). Let n = y + -14. Does 14 divide n?
False
Suppose 6*x - 5*k = 2*x + 37, 5*k + 28 = x. Let y(j) = 2*j - 3*j + 10 - 7*j**2 - j**2 - j**x. Does 14 divide y(-8)?
False
Let j(p) = -p**2 - 8*p - 4. Let z be j(-7). Suppose z*c = 2*c. Let t(i) = i**3 + i + 19. Is t(c) a multiple of 19?
True
Let t = -37 + 52. Suppose v - t = 18. Is v a multiple of 9?
False
Suppose -6*h + 8*h - 12 = 0. Suppose 0 = -t + h + 6. Does 4 divide t?
True
Suppose t - 4*t + 6 = 0. Suppose 0 = 2*h + t*z + 2, 0 = -4*h + 3*z - 11 - 21. Let l(j) = -j**3 - 4*j**2 + 2*j + 3. Is l(h) a multiple of 7?
False
Suppose 5*u + 25 = 2*k + 2*k, 0 = -4*u - 4. Suppose k*d - 1 = 24. Let f = 9 + d. Does 6 divide f?
False
Let w(t) = t + 1. Let g(a) = 0 + 3*a**2 + 4*a + 1 - 2*a**2. Let o(v) = g(v) - 3*w(v). Is 18 a factor of o(4)?
True
Suppose 2*c - 4*c + 85 = -5*f, -4*c = -5*f - 145. Is 9 a factor of c?
False
Let t(f) = -f - 4. Let b be t(-7). Let k = b + -1. Suppose 5*w = -3*z + 124, -k*w + 47 = 2*z - 1. Does 13 divide w?
True
Suppose 2*b - 8*b + 492 = 0. Is b a multiple of 34?
False
Suppose -p + 4*b + 38 = p, 2*p - 2*b - 34 = 0. Suppose -p = -z + 3*x, 2*z - 33 + 6 = 3*x. Suppose 0 = -2*y + 16 + z. Is 5 a factor of y?
False
Let i = -234 - -341. Is i a multiple of 42?
False
Suppose 4*k = 4*x - 20, 0*x + 5*x + 4*k - 16 = 0. Suppose -x*v = -3*j - 210, v - 4*j - 46 = -0*j. Is v a multiple of 24?
False
Let i = 50 - -39. Is 21 a factor of i?
False
Let i = 124 - 178. Is 18 a factor of (20/(-6))/(4/i)?
False
Let d(h) = 11*h - 11. Does 14 divide d(5)?
False
Suppose -3*o + 174 = 4*m, m = -m - 5*o + 80. Is m a multiple of 3?
True
Suppose 0 = -14*o + 158 + 248. Is 2 a factor of o?
False
Let i be ((-2)/(-6))/((-2)/(-6)). Let h(d) = 6*d**3 + d**2 - 2*d + 1. Is 6 a factor of h(i)?
True
Let z = 35 + 22. Does 22 divide z?
False
Suppose -12*l - 94 = -14*l. Is 4 a factor of l?
False
Suppose -3 = 3*j - 9. Let n(a) = -3*a + 3*a - 8*a**3 - 4*a**2 + 3*a + 11*a**3. Does 7 divide n(j)?
True
Suppose -r - 10 = -3*t - 4, -5*r + 9 = -2*t. Suppose -3*u - 9 = 0, -4*s = 2*u + t*u - 769. Suppose -4*a - 2*k = -158, -6*a + a - 4*k = -s. Does 12 divide a?
False
Suppose 1 + 6 = -v. Let k = 17 - v. Is k a multiple of 24?
True
Let m(o) = o**3 - 3*o**2 - 2*o - 26. Does 10 divide m(6)?
True
Is (1*(-132)/10)/((-9)/30) a multiple of 3?
False
Let a(b) = b**3 - 7*b**2 + 8*b + 5. Suppose z - 5*l - 11 = 0, -2*l = -5*z + 7 + 25. Let f be a(z). Let s = 32 - f. Is 7 a factor of s?
False
Let k = 495 - 298. Is k a multiple of 13?
False
Suppose -3*d + 2*g = -9, d - g = 4*d. Is 1/(d + (-9)/12) a multiple of 4?
True
Let f(j) = -131*j + 1. Let o be f(-2). Suppose -2*w + w - 257 = 5*b, -o = 5*b - w. Let m = 88 + b. Is m a multiple of 18?
True
Suppose 4*n + n = 20. Let f(b) = b**2 - 12*b + 25. Let h(q) = 4*q - 8. Let g(j) = 2*f(j) + 7*h(j). Does 18 divide g(n)?
False
Suppose 90 = 2*o + u + u, u - 233 = -5*o. Let g = 69 - o. Is 11 a factor of g?
True
Let f(d) = -d + 5. Let p(h) = -h**2 - 6*h + 4. Let a be p(-6). Let n be f(a). Is 1*n/((-2)/(-26)) a multiple of 8?
False
Let d be (10 + -11)*-2*1. Suppose -3*n - d*h + 137 = 0, -3*n = -4*h - 66 - 65. Does 22 divide n?
False
Let v(t) = t**3 + 7*t**2 - 2*t - 10. Let m be v(-7). Suppose -m*o + s = 19, s - 23 = 2*o - 4*s. Let c(x) = 4*x**2 + 6*x + 6. Is c(o) a multiple of 17?
False
Let p(j) = -2*j**2 - 5*j + 1 + 5 + 4*j**2. Does 6 divide p(4)?
True
Is 19 a factor of (-1)/(6/111)*-2?
False
Let m(a) = -a**2 + 9*a - 10. Let o be m(7). Let r be 1 - ((-1)/1 - 25). Suppose 3*y = o*d - 17, -2*d + r = 2*d - y. Does 4 divide d?
True
Suppose -5*l = -s - 0*l + 10, 2*l = 4*s - 112. Is s a multiple of 5?
True
Is ((-72)/(-14))/(2/14) a multiple of 9?
True
Let b(s) = 4*s - 10. Let r be b(8). Let l be r - 3/9*0. Is (4 - 7) + l + -1 a multiple of 9?
True
Let g(j) = -5*j + 2. Let k be g(2). Is 2 + 32 - k/(-4) a multiple of 13?
False
Suppose 0 = 11*j - 13*j + 114. Is 38 a factor of j?
False
Let d(x) = -4*x**2 + x**3 + 0*x**3 + 55 + 4*x**2 + 2*x. Is 29 a factor of d(0)?
False
Let w(y) = 2*y + 6*y**2 + y - 2*y**2 + 1. Does 11 divide w(-2)?
True
Suppose 0*g = 3*g + s - 5, -2*g - 20 = -4*s. Let l = g - 1. Let n(x) = -10*x. Is n(l) a multiple of 10?
True
Suppose 0 = -2*f + f. Suppose 2*m + 5*y + 0*y + 23 = 0, m - 3*y - 16 = f. Is 2 + 6 - (m + 1) a multiple of 3?
True
Let w(n) = n**3 + 8*n**2 - 13*n - 6. Is 14 a factor of w(-8)?
True
Suppose -2*g + 2*i + 10 = g, 20 = 5*i. Suppose -2*k + k + g = 0. Does 11 divide 141/9 + (-4)/k?
False
Let a be 1/((-3)/(-51))*-1. Let h = -7 - a. Is 5 a factor of h?
True
Suppose 0*c - 50 = 5*c. Does 2 divide (c/6*-3)/1?
False
Let y = -92 + 134. Is y a multiple of 25?
False
Let b(d) = d**2 + 19*d + 32. Is 18 a factor of b(-19)?
False
Suppose 2*k + w - 6 = 0, 0 = 3*k + w - 2*w + 1. Let r = 3 - k. Let i(s) = -s**3 + 4*s**2 - 2*s + 1. Does 2 divide i(r)?
False
Let b be -2*((-15)/6 + 1). Let m(r) = 4*r**2 + 5*r - 2. Let q be m(-4). Suppose -b*u = -0*u - q. Does 8 divide u?
False
Let g be 66/14 + 10/35. Suppose -h + 195 = g*r, -2*h + 4*h = -4*r + 150. Does 10 divide r?
True
Suppose -2*s = 3*t - 936, -5*t + 3*t + 624 = 4*s. Is 14 a factor of t?
False
Suppose -2*m + 0 = -2*l + 2, -2*l = -4*m. Suppose -452 = 5*h + l*o, h - o = -h - 179. Is (3/9)/((-2)/h) a multiple of 15?
True
Suppose 2*a + 4*d - 6 = -0*a, -2*a + 5 = 3*d. Let k(f) = 91*f**2 + 2*f - 1. Let g be k(a). Suppose g = 4*q + 4. Does 8 divide q?
False
Let k(z) = 3*z**2 - z - 5. Let p = 7 - 12. Let r be k(p). Suppose -i + 4*u = 2*i - r, 0 = -4*u. Is 12 a factor of i?
False
Is 23 a factor of 6/3 + 160 - (7 + -5)?
False
Let o be 1*(-3 - -1)/(-1). Let f(p) = 2*p**2 + p - 1. Let s be f(1). Suppose o*x - 212 = -s*x. Is 16 a factor of x?
False
Let q(s) = -s**2 - 12*s - 5. Let a be (0 - -2) + 4/(-1). Let m(p) = 5*p + 3. Let h be m(a). Is q(h) a multiple of 15?
True
Let c(k) = 2*k**2 + 2*k - 5. Let x be c(-5). Is (-3 + -1)*x/(-2) a multiple of 18?
False
Suppose -21*d = -7*d - 840. Does 6 divide d?
True
Is 3 a factor of (-2)/((-6)/(-3))*-9?
True
Let o(q) be the third derivative of -q**4/24 - q**3 - q**2. Let t be o(-8). Suppose t*w - 4*w + 3*g = -58, -2*w + 2*g + 60 = 0. Is w a multiple of 12?
False
Let z = -110 + 17. Let l = z + 147. Suppose s + 3*a - l = -2*a, -2*a = -s + 40. Is 23 a factor of s?
False
Let x be 2 - (4/4 - 3). Suppose 0 = -x*v - 0*v + 120. Does 15 divide v?
True
Suppose g + 4*i - 5 = 0, 0 = 4*g - 4*i - 25 + 5. Suppose 2*b - 5 - g = 0. Does 2 divide b?
False
Suppose 5*c = 52 + 353. Suppose 11*j - 110 = 16*j. Let h = c + j. Is 26 a factor of h?
False
Let s(u) = -u**3 - 6*u**2 + 6*u - 1. Let p be s(-7). Suppose 5*a + 0*l = 5*l, -5*a + p = l. Is 1 + a*(-2)/(-1) a mul