 + b*r + 91 = 0. Is h a multiple of 19?
True
Let z(o) be the third derivative of -o**6/120 - o**5/6 + o**4/3 - o**3/3 + o**2. Is z(-11) a multiple of 10?
False
Let g(h) = -10*h - 1. Let j be (1/(-2))/(4/8). Let y be g(j). Is 5 a factor of 2 + y - (3 - 2)?
True
Let p = 42 - 32. Does 3 divide p?
False
Suppose 117 = 2*c - 119. Does 18 divide c?
False
Let h be 1*(2 + 4 + -4). Is 22 a factor of -4 + (28 + 3 - h)?
False
Suppose 4*i - 4*v = -5 + 1, -17 = 2*i - 5*v. Let c = i - 2. Suppose -4*a = -c*a - 26. Is a a multiple of 9?
False
Let h be (-5)/((-5)/(-28)) + 3. Let j = h + 35. Is 3 a factor of j?
False
Let l(b) = b**3 + 8*b**2 + b - 6. Let f be l(-7). Suppose -4*r = -3*r - f. Is r a multiple of 6?
True
Suppose 4*m + 5 = 145. Let q = 18 + -8. Suppose 5*a = g + m, g - 11 = -2*a + q. Does 8 divide a?
True
Let r(f) = -f**3 - 11*f**2 + 6*f + 7. Does 28 divide r(-12)?
False
Suppose -2*v + w = 4*w - 18, -w - 27 = -3*v. Let g = 16 - v. Let r(x) = x**2 - 7*x + 5. Is 2 a factor of r(g)?
False
Let q = -55 - -77. Is 7 a factor of q?
False
Suppose 3*l + 77 + 97 = 0. Let w = 85 + l. Does 9 divide w?
True
Suppose -4*q = h - 4*h - 71, 3*q + h - 37 = 0. Is q a multiple of 7?
True
Suppose 5*n + 26 = 3*b - 2*b, 3*n = -b - 14. Let v = n - -12. Does 2 divide v?
False
Suppose i + 108 = 4*i. Let o = -40 + 58. Suppose -2*d = -o - i. Does 17 divide d?
False
Let v(z) = -61*z + 2. Let a be v(-1). Suppose 2*w = -w + a. Does 21 divide w?
True
Let w be 135/(-3)*(2 - 1). Does 9 divide (1 - w)/(0 - -1)?
False
Let a(x) = 9*x**2 - 3. Let o(c) = 18*c**2 + c - 6. Let t(n) = 5*a(n) - 2*o(n). Let l be t(-2). Let h = 7 + l. Is 16 a factor of h?
False
Let c(n) be the third derivative of -7*n**4/24 - n**3/2 - 2*n**2. Is 7 a factor of c(-4)?
False
Let l(w) = -w - 2. Let g be l(-5). Suppose 4*o = 9 + g. Suppose o*s - 10 - 14 = 0. Does 6 divide s?
False
Let v(j) = -8*j**3 - 15*j**2 - j + 18. Let i(h) = -7*h**3 - 14*h**2 - h + 17. Suppose -5*c + 14 = -3*c. Let z(m) = c*i(m) - 6*v(m). Is z(-8) a multiple of 15?
False
Let r be 2 + (1/(-1) - -81). Suppose u = 4*z + 52, -3*u - 3*z + r = -u. Suppose 41 = 5*b - u. Is 6 a factor of b?
False
Let f be ((2 + -3)/1)/1. Let b be 11/3 + f/(-3). Let u = b + -1. Does 2 divide u?
False
Let v be 10/(-4)*(-12)/(-1). Suppose 17 = n + 5*w, 0*n + 27 = -4*n - w. Let y = n - v. Does 8 divide y?
False
Let m = 143 + -80. Is 13 a factor of m?
False
Let q = 29 - -38. Does 24 divide q?
False
Let t = 21 + 49. Suppose -5*f + 15 + t = 0. Suppose -f = -5*y - 2*z + 10, 0 = 2*y + 2*z - 12. Is y even?
False
Suppose 2*z = -4*b + 5*z - 99, 2*b - 3*z = -45. Let y = 0 - b. Is y a multiple of 9?
True
Let j = 27 + 85. Does 28 divide j?
True
Let o = -7 - -11. Let u(i) = 61*i - 10. Let m be u(3). Suppose o = -x, m = r + 2*r - 5*x. Is 13 a factor of r?
False
Let j(o) = -10 - 2*o + 0*o + 3. Let r be j(-5). Suppose -2*k + r*k - 9 = 0. Is 9 a factor of k?
True
Let o = -102 + 177. Is 15 a factor of o?
True
Let d = -16 + 23. Suppose -56 = -d*f + 3*f. Does 7 divide f?
True
Let n = 51 - 107. Let h = n - -94. Is 7 a factor of h?
False
Let a be (2 + -1 - 0) + -13. Let b(x) = -3*x**2 - x - 3. Let s be b(-3). Let q = a - s. Is q a multiple of 15?
True
Let l(s) = 32*s**2 + s + 2. Does 10 divide l(-1)?
False
Let i(g) = 2*g**2 + 6*g - 7. Let c be i(-5). Suppose u = -3*l + c, 4*u - 7 = 3*l - 0*u. Suppose -3*n + 25 = 4*r, -2*r + l*r = 3*n + 25. Does 5 divide r?
True
Suppose -4*b - b - 3*u = -23, b + 3*u = 7. Is 2/8 - (-199)/b a multiple of 20?
False
Let n(o) = -o**3 - 20*o**2 - 7*o - 14. Does 21 divide n(-20)?
True
Let m = 23 + 34. Let v = m - 17. Does 14 divide v?
False
Let f = 11 + -7. Let z be (6/f)/((-3)/12). Let y = z - -33. Does 10 divide y?
False
Suppose 0*i + 4*i - 41 = -a, -4*i + 3*a = -21. Does 4 divide i?
False
Suppose -q + 8 = 2. Let p = q - 4. Let h(r) = 5*r. Is 10 a factor of h(p)?
True
Let s = 10 + 32. Is 14 a factor of s?
True
Let s be ((-6)/8)/(4/32). Let r(m) = m**3 + 6*m**2 + 5*m + 9. Let l(g) = g**3 + 6*g**2 + 6*g + 10. Let k(c) = -5*l(c) + 6*r(c). Is k(s) a multiple of 2?
True
Let x be (-18)/12*94/3. Let l = x - -89. Is 21 a factor of l?
True
Let t(i) be the third derivative of 0 + 0*i - 1/24*i**4 - 1/3*i**3 + 1/60*i**5 - 2*i**2. Is 3 a factor of t(3)?
False
Let t be -2*-2*1/2. Suppose t*i + 0 = -2. Does 2 divide -3*i/(0 - -1)?
False
Let w(u) = -u. Let k be w(0). Suppose 2*m = 2*a + 26, -2*m + 3*a + k*a + 28 = 0. Is m a multiple of 4?
False
Let n be 1*(-12)/(-3) - -4. Does 5 divide ((-18)/n)/1*-12?
False
Suppose 6*y - 2*y = 8. Suppose 3*q - u = 2*q - 19, 0 = y*q + 2*u + 18. Let j = 24 + q. Does 5 divide j?
True
Let a(s) = -2*s**2 - 21*s - 3. Is a(-9) a multiple of 22?
False
Let w(p) = p**3 + p**2 - 2*p. Let o be w(-2). Suppose 5*u - 3*f = -f + 221, -4*u + 2*f + 178 = o. Does 9 divide u?
False
Let z(q) = -q**3 - 3*q**2 - 6*q. Does 10 divide z(-5)?
True
Let f(g) = 6*g**2 - 7*g. Is f(3) a multiple of 11?
True
Suppose 56 = -5*p - 74. Let r = -9 - p. Is 7 a factor of r?
False
Suppose 5*a = 1 + 9. Suppose p - 27 = -0*p. Suppose a*m = 3*m - p. Is m a multiple of 7?
False
Suppose 6*k - k = 2*t + 217, 2*t = 4*k - 172. Does 15 divide k?
True
Suppose 0 = -4*z - 5*b + 108, 3*b - 135 = -5*z + b. Suppose -4*l + 7 = z, -2*t - 3*l + 61 = 0. Is 16 a factor of t?
False
Is 21 a factor of 22 + 0 - (0 - -1)?
True
Let f(r) = 4*r**2 - 6*r + 2. Let w be f(-5). Suppose 2*c = -2*c + w. Is c a multiple of 22?
False
Let r be 2/5 + 216/(-40). Is 24 a factor of (r/(-1))/((-5)/(-45))?
False
Let z be (-3)/6 + 214/4. Suppose 0 = -5*c + z + 112. Suppose -3*o + 89 = 2*k + 30, o - c = -4*k. Does 17 divide o?
True
Suppose -98 = -5*v + 3*x, 0 = 5*v - 2*v + 3*x - 78. Is v a multiple of 22?
True
Does 10 divide (12/14)/(-3) - 1035/(-21)?
False
Let s = 5 - 11. Let v(g) = -g**3 - 5*g**2 + 7*g + 1. Let l be v(s). Let d(y) = -y**2 - 8*y - 3. Is 6 a factor of d(l)?
True
Suppose 10*o - 5*o - h - 2156 = 0, -3*o + 2*h + 1295 = 0. Is o a multiple of 32?
False
Let k = -17 + 24. Does 7 divide k?
True
Let q = 79 + 1. Is q a multiple of 17?
False
Suppose -4*o - 26 = -6*o. Is 13 a factor of o?
True
Does 14 divide (-4378)/(-22) + (-1 - 2)?
True
Suppose 0 = -5*k + 3*m + 18, -m - 14 = -4*k + m. Is 2 a factor of k?
False
Is (-149)/(-2) + (-11 + 4)/(-14) a multiple of 25?
True
Let v be (-148*1/(-2))/2. Let u = 98 - v. Is 19 a factor of u?
False
Suppose 0 = 2*z - 3*l - 0*l - 69, 3*z = -2*l + 97. Does 11 divide z?
True
Suppose -5 = -t + 1. Let c(k) = 2*k + 3. Is c(t) a multiple of 15?
True
Let o be 625/(-20) + (-3)/(-12). Let v = -17 - o. Does 14 divide v?
True
Suppose -2*n + 72 = 2. Does 5 divide n?
True
Suppose 4*d - 17 = 3. Suppose -d*p - 540 = -2*p - 3*c, 3*p = 5*c - 532. Let f = -131 - p. Does 20 divide f?
False
Let o = 4 + -3. Let a = 1 + o. Does 16 divide 30 + (a - (1 + -1))?
True
Let j = -18 - -31. Let c = j + -7. Let y(x) = 3*x - 8. Is 10 a factor of y(c)?
True
Suppose -4 - 1 = -i. Let d(x) = -x. Let v be d(-6). Let l = i + v. Does 11 divide l?
True
Suppose -n = -2 - 3. Suppose n*t = t + 36. Is (-111)/(-9) + (-3)/t a multiple of 12?
True
Let g(z) = 5*z - 13. Let i(l) = -l + 3. Let a(f) = 2*g(f) + 9*i(f). Let p be a(-4). Does 18 divide ((-27)/4)/(p/8)?
True
Let n(w) = -w**2 + 13*w. Is n(12) a multiple of 3?
True
Does 11 divide 8*5/(-10) - 25*-5?
True
Let s(g) = -3*g - 8. Let z(l) = -l**2 - 4*l - 1. Let x be z(-3). Let m be -9 + (x - 2/2). Is s(m) a multiple of 9?
False
Let u be (-55)/(-25) - (-2)/(-10). Suppose 2*f - 74 = -u*f - 2*z, f = 5*z - 9. Is 8 a factor of f?
True
Let y(p) be the first derivative of 2*p + 2/3*p**3 - 5/2*p**2 - 1. Is y(4) a multiple of 6?
False
Let s(g) be the first derivative of -g**3/3 + 5*g**2 - 12*g + 3. Let r be s(8). Suppose -f - 3*b + 26 = -r*b, f = -b + 30. Does 13 divide f?
False
Let l = -4 + 8. Suppose -5*n = 4*k - 43, -49 = -4*n - l*k - 17. Suppose n = i + 2. Is i a multiple of 9?
True
Let v(d) = d + 3. Does 9 divide v(6)?
True
Suppose 0 = -2*x - 2*b + 194, -17 = -x + 2*b + 83. Does 8 divide x?
False
Let f(c) = 5*c**3 + 6*c**2 - 5*c + 6. Let m(t) = -6*t**3 - 5*t**2 + 4*t - 5. Let g(a) = -5*f(a) - 6*m(a). Is 3 a factor of g(1)?
True
Let j(r) = r**3 + 10*r**2 + 7*r + 13. Is j(-9) a multiple of 13?
False
Let k(i) be the third derivative of -i**5/60 - i**4/6 - 3*i**2. Let r be k(-4). Is (-3)/((-6)/