-2*h - 3 = a, h - 4*a = -a + o. Suppose -12 = -2*v - h*v. Is 4 a factor of v?
False
Let v = 127 + -93. Is v a multiple of 13?
False
Let t(z) = 2*z**3 + 8*z**2 - 4*z - 6. Let v(g) = -g**3 - 4*g**2 + 2*g + 3. Let k(p) = 6*t(p) + 11*v(p). Is k(-3) a multiple of 6?
True
Let k(b) = 3*b**2 - 2. Let p(v) be the second derivative of v**4/12 - v**2/2 + 3*v. Let u(o) = 3*k(o) - 6*p(o). Is u(2) a multiple of 7?
False
Suppose l + 5*u - 7 = 12, l = -u + 7. Let t be ((-15)/6)/((-2)/l). Suppose t*j = 14 + 36. Does 4 divide j?
False
Let j(l) = l**3 - 8*l**2 - 24*l + 9. Does 27 divide j(11)?
True
Let x(o) = -6*o + 10. Is x(-17) a multiple of 28?
True
Let w(r) = -r**2 + 11*r + 1. Is w(9) a multiple of 5?
False
Let c(y) = -2*y - 9. Does 3 divide c(-8)?
False
Let l be (1 + 1 - -6)/1. Let y = 5 - l. Does 9 divide 1*-1*(y - 15)?
True
Let s = 33 - 21. Suppose f - 5*f = -s. Suppose -f*x = -4*x - 2*i + 6, 3*x - 22 = -5*i. Is x a multiple of 12?
False
Let o(c) be the second derivative of c**8/6720 - c**6/360 + c**4/12 - 2*c. Let w(d) be the third derivative of o(d). Does 2 divide w(2)?
True
Suppose -i + 111 = -v, i - 3*v - 119 = -0*v. Suppose -32 + i = f. Is 25 a factor of f?
True
Let t(s) = s**3 - 10*s**2 + 3. Let u be t(10). Let n(i) = -5*i**2 + 7*i**2 + u + 1. Is n(-3) a multiple of 7?
False
Let u(z) = z**2 + 13*z - 18. Is 5 a factor of u(-16)?
True
Is 11 a factor of 46 - (-4 + (-12)/(-2))?
True
Suppose 2*v + 5*g - 111 - 187 = 0, 5*v - 2*g - 716 = 0. Is v a multiple of 18?
True
Let o = -16 + 2. Is 6 a factor of (-4)/o - 164/(-14)?
True
Is 21 a factor of ((-20)/8 - -1)*-42?
True
Let a be (-100)/6 - 2/(-3). Let i = 22 + a. Is i/10 - (-402)/30 a multiple of 4?
False
Let q(o) = -11*o**3 + o**2 - 2*o + 1. Let b(j) = 5*j**3 - j**2 + j. Let w(i) = 9*b(i) + 4*q(i). Let h be w(3). Let m = h - -22. Is 3 a factor of m?
False
Suppose 20 = 5*t - 4*t. Suppose 5*j = -3*n + 35, 4*n = 2*n - 4*j + t. Does 10 divide n?
True
Suppose 0*y - y + 13 = -5*d, 3*y = -d + 7. Is 4 a factor of 472/40 + d/(-10)?
True
Suppose n = -0*n + 90. Is 27 a factor of n?
False
Does 18 divide (452/6)/(60/9 + -6)?
False
Does 22 divide ((-177)/12)/((-5)/40)?
False
Let w be 6 - (2/1 - 1). Suppose -3*n = 5*c - 59, -4*n + w*c + 93 = -9. Is n a multiple of 12?
False
Suppose -15 = -4*l + r, -r = 5*l + 3*r - 45. Suppose -l*j + 15 + 30 = 0. Does 6 divide j?
False
Let t be (-13)/(0 + (-1)/(-2)). Let k = -94 + 54. Let j = t - k. Is j a multiple of 5?
False
Let o(f) = 3*f**2 - 9*f - 2. Is 23 a factor of o(7)?
False
Let m(q) be the third derivative of -q**6/120 + q**5/15 + q**4/6 - 2*q**3/3 + q**2. Is m(4) a multiple of 12?
True
Let i be 116/14 + (-6)/21. Suppose -12 = c - 0*q - 4*q, i = -3*c + 5*q. Let h = c + 8. Is h a multiple of 5?
False
Suppose 2*k - 27 = -3*z, -1 = -z - 0. Is 6 a factor of k?
True
Suppose 15 = -2*f + 7*f. Let j(h) = 2*h**3 - 3*h**2 - 3*h - 1. Is 17 a factor of j(f)?
True
Let q(r) = 6*r**2 - 1. Let v be q(-1). Suppose 2*a + 120 = 6*a. Suppose -50 - a = -v*o. Does 11 divide o?
False
Let r(f) be the second derivative of f**6/180 - f**5/24 - f**4/8 + f**3/3 + 2*f. Let u(o) be the second derivative of r(o). Is 4 a factor of u(4)?
False
Let b(q) = q**3 - q + 33. Let p(s) be the second derivative of s**4/12 - 7*s**3/6 + 3*s**2 + 3*s. Let l be p(6). Is b(l) a multiple of 16?
False
Suppose v = -2*n - 0*v + 77, -56 = -n - 4*v. Let c = 0 - 9. Let h = n + c. Is 12 a factor of h?
False
Is 24 a factor of 8/(-12)*(-558)/(-8)*-2?
False
Let u = 105 - 85. Does 20 divide u?
True
Let j(s) = -6*s - 7. Let n be j(-6). Let x(h) = -h - 4. Let u be x(-3). Is 14 a factor of (u - 0) + -1 + n?
False
Suppose 3*i + 3*o = -3, -2*o - 2*o = 8. Let l = i - -1. Is 6 a factor of 1/l + 33/6?
True
Let z(f) = f**2 + 5*f + 28. Let j(d) = -d**2 - 4*d - 28. Let p(k) = -5*j(k) - 4*z(k). Does 14 divide p(0)?
True
Suppose 0 = -4*r + 12 - 8. Let j(z) = -1 + r + 12*z - 6. Does 17 divide j(4)?
False
Let o be (-6)/(-2)*(-2)/(-2). Suppose 3*s = 4*s - 2*f - 48, 5*s = o*f + 233. Does 11 divide s?
False
Let r(x) = 7*x**3 + 6*x**2 - 5*x + 10. Let w(i) = 8*i**3 + 6*i**2 - 5*i + 10. Let u(p) = -7*r(p) + 6*w(p). Let q be 6/(-3) + -4 - 1. Is 2 a factor of u(q)?
True
Let s = 1 + 0. Let m be 4/(s*(2 + 0)). Suppose 6*k - m*k - 20 = 0. Does 3 divide k?
False
Let n = -41 - -53. Is 6 a factor of n?
True
Let d be (2 - -1) + 3*-1. Let a be (12 + d)/((-2)/(-1)). Is 16 a factor of (0 + -3)/(a/(-32))?
True
Let s(m) = 1 + m + 10 - 2*m. Let p be s(6). Suppose 5*g = p*t - 12 - 183, 3*t + 4*g = 82. Does 17 divide t?
True
Let u(c) = -14*c + 7. Is u(-4) a multiple of 26?
False
Suppose 0 = -3*h + g + 16, -6*g + 11 = 3*h - 2*g. Suppose -1 = -l + 3*b - 3, -h*l = -3*b - 38. Is l a multiple of 10?
True
Suppose 3*h - h - 32 = 0. Suppose 3*j = j + h. Does 8 divide j?
True
Let n(y) = -y**3 + 7*y**2 - 4*y + 7. Let p be n(5). Suppose f - 2*f = 4*q - 83, -2*q + f = -p. Is 10 a factor of q?
True
Suppose -2*i = 2*i + 2*u - 24, -3*u = -5*i + 19. Suppose -2*t - 60 = -i*t. Is t/2*(-28)/(-10) a multiple of 14?
True
Let t(h) be the third derivative of -h**7/840 + h**6/90 + h**5/40 + h**4/8 - h**3/2 + h**2. Let n(o) be the first derivative of t(o). Is 7 a factor of n(4)?
False
Suppose 12 = -m + 3*m. Let g(q) = 2*q**2 - 6*q + 5. Let a(z) = 4*z**2 - 13*z + 11. Let f(v) = 3*a(v) - 5*g(v). Is 26 a factor of f(m)?
True
Suppose -26 = 4*c + 2*q, 5*c + 3*q + 4 = -27. Let k = c + 11. Is 4 - k/(-6)*2 a multiple of 2?
False
Let t = 68 - 21. Is 22 a factor of t?
False
Let r(k) = 19 + 3*k - 4*k + 19 + k**2. Is r(0) a multiple of 21?
False
Let q be (-7)/(-3) - (-2)/3. Let z = -4 + q. Does 16 divide (z + 11)*8/5?
True
Let d be -4 - -5 - (-2)/2. Suppose 3*r = -3*w - 69, w = 3*r + 2*w + 75. Is 14 a factor of r*d/(-2) + 3?
False
Let n = 97 - -15. Let h = -70 + n. Let q = -16 + h. Is q a multiple of 13?
True
Let n(c) = 7*c + 3. Is n(6) a multiple of 12?
False
Let k be (-10)/(-25) - 6/(-10). Suppose -3*m = -q + k + 7, -4*q - 4*m + 32 = 0. Is q even?
True
Let v = -69 + 81. Does 5 divide v?
False
Suppose -4*j = j - 45. Does 4 divide j?
False
Suppose -5*o - 3*f = 0, -5*f = 23 + 2. Suppose -o*d + 4*d - 55 = 0. Is 11 a factor of (-4)/(-5)*d/2?
True
Let x = 22 - 16. Let f(h) = 2*h + h + 4*h - 3*h. Does 12 divide f(x)?
True
Let z = 94 + 10. Is 15 a factor of z?
False
Let m = 8 + -7. Let k(g) = -g**3 + g. Let r be k(m). Is 10 a factor of (0 - r) + (-2 - -28)?
False
Suppose 4*r = -8, -4*v + 3*r = 7*r - 32. Is 5 a factor of v?
True
Let q(c) be the second derivative of -2*c**3 + 1/2*c**2 + c + 0. Is q(-2) a multiple of 9?
False
Suppose -3*t - 459 = -5*w, -3*t - 196 + 7 = -2*w. Is 9 a factor of w?
True
Suppose 0 = z - 245 + 135. Is z a multiple of 45?
False
Let v = -102 + 50. Let y = v + 1. Let m = -21 - y. Is 15 a factor of m?
True
Let j(b) be the first derivative of 2*b**3/3 + b**2/2 + 45*b + 7. Does 8 divide j(0)?
False
Suppose -12 = 2*q + 22. Let p = 27 - q. Is 11 a factor of p?
True
Suppose -4*y + 47 = -d, y = 3*y - 2*d - 16. Is y a multiple of 13?
True
Let c(l) = 6*l**2 - 4*l. Suppose 0 = -4*z - z + 20. Suppose -4*w + 8 + z = 0. Does 14 divide c(w)?
True
Let k(u) = -u**3 + 3*u**2 + u - 2. Let w be ((-12)/(-9))/((-2)/(-3)). Let i be k(w). Suppose -2*f + 184 = 5*q - f, 0 = 4*q - i*f - 128. Does 18 divide q?
True
Suppose -551 = -5*l - 3*s + 230, 4*s - 8 = 0. Suppose 62 = 2*h + 2*j, -h + 6*h - l = j. Is h a multiple of 31?
True
Let y = 0 - -2. Suppose -y*b + 3 = -3. Is b a multiple of 3?
True
Let f(h) = -68*h**3 + 13*h**2 + 17*h + 11. Let c(y) = -34*y**3 + 6*y**2 + 8*y + 5. Let m(k) = -13*c(k) + 6*f(k). Does 11 divide m(1)?
True
Suppose -4*j = -4*g - 44, 2*j - 6*g - 29 = -11*g. Suppose -x = x - j. Is 7 a factor of ((-4)/x)/(4/(-156))?
False
Is 45/10*(-96)/(-9) a multiple of 12?
True
Suppose -18 - 21 = 3*w. Let n = 18 + w. Is 5 a factor of n?
True
Let b(d) = 6*d**2 + 14*d - 13. Let n(f) = -7*f**2 - 15*f + 13. Let h(v) = -6*b(v) - 5*n(v). Is 3 a factor of h(-10)?
True
Let w(d) = 5*d - 2. Suppose 3*h - h = 6. Let a be w(h). Suppose a = 3*f + 5*m - 4, f = -3*m - 1. Is 7 a factor of f?
True
Is 29 a factor of (-1 + 0)/4 + 117/4?
True
Is 28 a factor of 378/(-45)*40/(-6)?
True
Is (-7)/((-7)/24)*(3 - 2) a multiple of 8?
True
Suppose 0 = -8*v + 5*v + 267. Let d be 2/(-7) - (-130)/14. Suppose 5*l + d = v. Is l a multiple of 1