ative of l**3/3 + 3*l**2/2 - 3*l + 9. Is 7 a factor of o(-5)?
True
Suppose -2*z + 9 = 1, -144 = -4*t + z. Let q = 65 - t. Is 7 a factor of q?
True
Suppose 8835 = -687*o + 692*o. Is 70 a factor of o?
False
Suppose -5*l + 43 = 2*y, y - 6*l = -2*l - 11. Let x(u) = -u**3 + 13*u**2 - 10*u - 6. Is x(y) a multiple of 13?
False
Let l = -199 + 703. Is l a multiple of 29?
False
Suppose 2*d = 4 + 14. Suppose 0 = 6*z - d*z - 102. Let l = 11 - z. Is l a multiple of 14?
False
Let w = -1 - -6. Let x = 25 - w. Is x - ((-3 - 0) + 3) a multiple of 10?
True
Let y be ((-16)/6)/(14/(-357)). Suppose 4*m = 8 + y. Is m a multiple of 3?
False
Suppose 0 = -5*h - 5, 5*a - 3697 = 7*h - 5*h. Is 9 a factor of a?
False
Let k(p) = 3*p + 6. Let h be ((-3)/(-2))/(1/(-4)). Let x be k(h). Let f = -5 - x. Does 4 divide f?
False
Let t(m) = m - 1. Let r(p) = -33. Let l(n) = -r(n) - 2*t(n). Is 7 a factor of l(0)?
True
Suppose -2*u + 0*u = -16. Let s(m) = -m**3 + 10*m**2 - 5. Let z be s(u). Suppose 3*x = 9 + z. Is 17 a factor of x?
False
Let u be 270/(-4)*32/(-10). Suppose 4*h - h - u = 0. Suppose -4*m + m + h = 0. Is m a multiple of 14?
False
Suppose -q = -5*q + 684. Suppose q = 5*f - 84. Does 12 divide f?
False
Let j be 6/1 - 10/5. Suppose -3*g + 17 = -t, -14 = -j*g + 4*t + 6. Is (-22)/(-3) - g/18 even?
False
Suppose t - 4*d = -16, 5*t - 5 + 16 = -3*d. Does 21 divide 12/(-10)*70/t?
True
Is 8 a factor of (7/(-28))/((-16)/27200)?
False
Let r(h) = -h**2 + 3*h + 1. Let d be r(2). Suppose -4*n + d*p = -0*n - 111, 4*n = -p + 123. Is 5 a factor of n?
True
Let t(j) = 10*j**2 + 60*j. Is 7 a factor of t(-7)?
True
Let n(a) = -3*a - 8. Let x be n(-4). Let g(b) = 2*b**2 - 4*b. Let s be g(x). Let p = 22 - s. Is 6 a factor of p?
True
Let u(y) = -5*y**2 + 6*y - 2. Let i be u(2). Let f(p) = p**2 + 10*p. Let l be f(i). Suppose -22 = -2*h - l*h. Is h even?
False
Suppose d = -3*d - 4*p + 1044, -771 = -3*d + 3*p. Suppose -q + 5*g - 57 = 0, -22 = -5*q + g - d. Let c = -18 - q. Is c a multiple of 7?
False
Let y be 6/(-10) - (-108)/(-20). Let k be (-7 + 7)/(y/(-3)). Let x(a) = -a**3 + 30. Does 12 divide x(k)?
False
Let u(n) = -n**2 + 3*n + 50. Let w be u(-6). Let h(c) be the third derivative of -7*c**4/12 + c**3 + 2*c**2. Is h(w) a multiple of 14?
False
Suppose 1 = -m - 1. Let l be (9/(-12))/(m/8). Suppose -2*a = l*a - 50. Is 10 a factor of a?
True
Suppose 4*s + 309 = 2709. Suppose 5*n - s = 2*y, 3*n - 360 = 3*y + 2*y. Is n a multiple of 35?
False
Let g(f) = f**2 + f - 4. Let d = 8 + -11. Let s be g(d). Suppose 2 + 16 = s*i. Is i a multiple of 4?
False
Suppose -x + 2*s = 5, 2*x - 5*s = -2*s - 6. Suppose p - x*y = -28, 3*p + 130 = -p + 3*y. Let d = p - -99. Is 14 a factor of d?
False
Let j = -2101 - -2676. Is j a multiple of 115?
True
Let b(f) = -f**3 + 8*f**2 + 10*f + 2. Let u be b(9). Suppose -5*a = -u - 49. Suppose 3*c = s - 67, 5*c - 2*c = -a. Is 28 a factor of s?
False
Let z(b) = 2*b**2 + 17*b + 24. Does 23 divide z(-11)?
False
Suppose 3*h + 6 = -4*s, 3*h - 2 = -s + 1. Is 16 a factor of 61 + (-1 - -2) + s?
False
Suppose 0 = -4*f + 431 + 25. Let k = f + -18. Is 7 a factor of k?
False
Suppose 5*y = p - 89, -6*p = -2*p - y - 261. Suppose -b + 2*b = -43. Let l = b + p. Is l a multiple of 9?
False
Suppose -704 = -2*f - 4*i, -18*f - 1408 = -22*f - 3*i. Is 22 a factor of f?
True
Let a be -1 + (-3)/3 + 184. Suppose 7*b = 9*b - a. Is 26 a factor of b?
False
Let n be ((-64)/24)/(4/30). Let m be ((-48)/(-40))/((-3)/n). Let i(v) = v**2 - 6*v + 8. Is i(m) a multiple of 21?
False
Let l = -666 + 684. Is l even?
True
Suppose 2*d + 2*d = -20. Let s = d + 9. Suppose -5*j = -s*j - 28. Is 20 a factor of j?
False
Let u(d) = -6*d + 30. Let n be u(5). Suppose n = -2*g - 4*g + 48. Is 4 a factor of g?
True
Let k(i) = -i**2 + 14*i + 15. Does 28 divide k(7)?
False
Let c(h) = 4*h**3 - h**2 - 2*h - 2. Let v(u) = -2*u - 11. Let k be v(-7). Is 16 a factor of c(k)?
False
Let t(u) = 49*u**3 - u**2 + u + 2. Let w(m) = -m**3 - m - 1. Let g(y) = -t(y) - w(y). Does 12 divide g(-1)?
True
Suppose x + 4*x + 160 = 0. Let h = x + 5. Is 14 a factor of 12*(-1 - h/6)?
True
Let u(w) be the first derivative of w**3 - w**2 - w - 4. Let c be u(-2). Suppose 3*k = 99 + c. Does 11 divide k?
False
Let k(o) = -2 - 8*o + 1 + 2 + 3. Let x be k(-4). Let w = x + -20. Is 8 a factor of w?
True
Let m(y) = y**2 - 4*y - 7. Let i be m(5). Let n be (-2 + 4 - -3) + i. Is -2 + 0/n - -14 a multiple of 6?
True
Let i(a) be the first derivative of -1/2*a**2 + 5 + 1/3*a**3 - 1/4*a**4 + 16*a. Is i(0) a multiple of 11?
False
Let n(q) = -q**2 + 4*q + 11. Let z be n(5). Does 5 divide ((-3)/z)/((-1)/44)?
False
Suppose 4*s + 16 = 0, -6*j - 3*s = -2*j + 28. Is j/(-8)*(0 - -106) a multiple of 20?
False
Let m be -16 + (-1 - (-5 + 0)). Does 16 divide 3/2 + (-558)/m?
True
Let m(t) = -t**3 + t**2 - 2*t - 64. Let j be m(0). Is (-632)/j + (-2)/(-16) a multiple of 6?
False
Let q be 3/3 - (-2 + -12). Let o be (20/q)/(4/6). Suppose 0 = 7*x - o*x - 65. Does 11 divide x?
False
Let f = -11 - -132. Let j = 178 - f. Is 19 a factor of j?
True
Let g(z) = -z**2 + 4*z + 7. Let m be g(5). Suppose 2*l + 11 = 2*s - 81, 92 = m*s + 5*l. Does 13 divide s?
False
Let f be -3 - -3*(-420)/(-9). Let d = f - 82. Is d a multiple of 28?
False
Let l(c) = 7*c**2 + 31*c + 94. Is l(-9) a multiple of 21?
False
Let v be ((-3)/2)/(15/(-50)). Suppose 0 = -v*j + 6*j - 4. Suppose 26 = j*w + 4*h - 142, 3*w - 4*h - 119 = 0. Does 10 divide w?
False
Is (-18)/6*1*(-183)/9 a multiple of 26?
False
Suppose -556 = -5*n - 76. Does 12 divide n?
True
Suppose 2*x - c = -4*c - 24, 2*c - 12 = x. Let n be -3*x/(-27)*-3. Suppose 0 = -5*u - 3*j + 79, -52 = -3*u - 2*j - n. Is 7 a factor of u?
True
Let o(b) = b**3 - 22*b**2 + 22*b + 42. Does 7 divide o(21)?
True
Let i(h) = -3*h**2 - 8*h. Let u(z) = 6*z**2 + 16*z. Let a(w) = 11*i(w) + 6*u(w). Is 12 a factor of a(6)?
True
Suppose 6*i - 214 - 38 = 0. Is 21 a factor of i?
True
Let u = -19 + 79. Is 29 a factor of (-692)/(-6) + u/90?
True
Let k(y) = y**3 - 13*y**2 + 16*y - 1. Let c be k(12). Let q = c + -20. Is q a multiple of 27?
True
Let w(s) = -s**2 + 42*s - 26*s - 1 - 10. Suppose 10 = 2*z - 16. Does 8 divide w(z)?
False
Let q(d) = d + 8. Let k be (-50)/(-2) + 5/(-5). Suppose 5*h = -k + 4. Does 4 divide q(h)?
True
Let l = 173 + -398. Suppose 0*o - 4*i = 2*o + 642, -4*o - 1281 = 5*i. Let f = l - o. Does 29 divide f?
False
Is ((-11)/33)/(3/(-630)) a multiple of 5?
True
Let b = 3828 - 2278. Is b a multiple of 10?
True
Suppose q = 2*y + 14, -y + 3 = -5*q + 7*q. Let d(v) = v**2 + 5. Is 6 a factor of d(y)?
True
Suppose -3*h - j + 16 = h, 0 = h - 2*j - 13. Suppose h*o = 37 + 148. Is o a multiple of 9?
False
Let q = 42 - 73. Let v = q + 87. Does 10 divide v?
False
Let v = -26 - -586. Does 35 divide v?
True
Let n(l) = l**3 - 5*l + 3. Suppose -2*x - 14 = -5*i, 0 = 2*x + 2*x + 5*i - 32. Let q be n(x). Suppose -h = -2*h + q. Does 5 divide h?
True
Let t(j) = 2*j**3 - 48*j**2 - 40*j - 23. Does 26 divide t(25)?
False
Let a(v) = -2*v**2 - 16*v - 1. Let s be a(-8). Suppose -2*g = -0*g. Does 4 divide -1*(g - 7) - s?
True
Let o(k) = -2*k**3 + 8*k**2 - 20*k - 78. Is 10 a factor of o(-7)?
True
Let r = -21 + 24. Suppose -r*g + 4 = -2*g. Suppose -41 = -5*b + g. Is 2 a factor of b?
False
Let d be ((-2)/5)/((-4)/120). Let o(a) = 2*a + 0*a - a**3 + 2*a**3 - 12*a**2 + 0*a - 7. Is o(d) a multiple of 6?
False
Suppose 9*w + 0 = -27. Is 0 + -2 - (w - 160) a multiple of 29?
False
Let b = -33 - -40. Suppose b*s - 320 = -s. Let o = s + -16. Does 9 divide o?
False
Let t be (2 + -2)*(-4)/16. Let x(f) = 23 + 2*f + 0*f - 4*f**3 + 3*f**3. Is 8 a factor of x(t)?
False
Let z be (3/(-9))/((-3)/27). Suppose 3*v + 12 = -z. Is 3 a factor of ((-10)/6)/(v/15)?
False
Let m(p) be the first derivative of -p**4/4 - p**3/3 + 2*p**2 - 1. Let b be m(-3). Suppose 5*i = b*i - 54. Does 7 divide i?
False
Let s(q) be the third derivative of q**5/30 + 3*q**4/8 - 10*q**3/3 - 20*q**2. Is 13 a factor of s(5)?
False
Let m = -24 - -30. Is 8/m + 2405/39 a multiple of 13?
False
Let i = -879 - -1053. Does 58 divide i?
True
Suppose -86*k - 1540 = -100*k. Is 5 a factor of k?
True
Let z = -789 + 1321. Is 76 a factor of z?
True
Suppose 4*f = -c + 347, c = -5*f + 6*c + 415. Is (-27 - -25)*f/(-4) a multiple of 10?
False
Let r(z) = 3*z + 14. Let u(b) = -10*b - 4