*d = 36, 5*g = 2*g - 5*d + 42. Does 12 divide 6/g*(-2 + 92)?
True
Suppose v + 3*v - 8 = 3*r, 3*v = 4*r - 1. Does 9 divide 89/v + (-1)/(-5)?
True
Suppose 2*c = 43 + 11. Suppose 69 = 5*b + 2*f, -2*b + 4*b = -f + c. Is b a multiple of 8?
False
Let m(r) = 15*r**3 + 2*r**2 - 2*r + 1. Let q be m(1). Suppose 2*v = -2*v + q. Is 3 a factor of v?
False
Suppose 5*y = -a - 6, 2*y = 6*y - 2*a + 2. Let t(z) = z**2 + 1. Let l be t(y). Suppose 3*m - r = 19, 4*m = -l*r + r + 16. Is m even?
False
Let r = 6 + -13. Let x(q) = q**3 + 8*q**2 + 5*q - 2. Let g be x(r). Suppose 16 + g = d. Is 14 a factor of d?
True
Let d(k) = -k**3 - 11*k**2 + k - 7. Let h be d(-11). Let r be (h/(-30))/((-1)/(-10)). Suppose 0 = 3*z + r, 96 = 4*n - 4*z - 0*z. Is n a multiple of 11?
True
Suppose 0 = -3*z + 1288 - 448. Is 10 a factor of ((-24)/10)/((-21)/z)?
False
Is 19 a factor of (-3)/(-15) + 1137/15?
True
Let h be ((-4)/3)/(4/(-444)). Suppose -37 - h = -5*a. Does 14 divide a?
False
Is 3 a factor of -2 + -2*(-74)/4?
False
Is 17 a factor of (-4 + 3)/((-3)/102)?
True
Let o(g) = 43*g**3 - 1. Let l = -10 + 11. Let n be o(l). Let v = -21 + n. Does 7 divide v?
True
Suppose -k = -1 - 1. Suppose -4*n = 20, k*q - 4*n - 26 = -0*q. Is q a multiple of 3?
True
Suppose -89 = -3*o + 103. Is 11 a factor of o?
False
Suppose 4*x - 2 = 4*t + 6, 3*x + 4*t - 34 = 0. Suppose -2*a = -x*a. Suppose a*o + 3*o - 5*p = 48, 0 = 5*p. Does 9 divide o?
False
Let d(t) = t**2 - 4*t - 1. Let k be d(-3). Suppose 3*u = -4*q - k, 4*q + q = 5*u - 25. Suppose 72 = 4*w - u*w. Does 14 divide w?
False
Is 27 a factor of (-405)/10*(-8)/6?
True
Let f(z) = 1 + 19*z**3 + 10*z**3 + 8*z**3 - z**2 - z. Is 18 a factor of f(1)?
True
Does 40 divide (-921)/(-12) - -3 - 1/(-4)?
True
Let i(b) = 33*b**3 - 7*b**2 - 5*b + 7. Let q(m) = -49*m**3 + 10*m**2 + 7*m - 10. Let j(n) = -7*i(n) - 5*q(n). Is j(1) a multiple of 7?
True
Let w(k) = 106*k + 41. Is 19 a factor of w(3)?
False
Suppose -4*u - 25 = -205. Is u a multiple of 15?
True
Let h(a) = -2*a. Let c = 0 - -12. Let m be (0 - c/9)*3. Is h(m) a multiple of 4?
True
Suppose -3*c + 91 = -104. Is c a multiple of 17?
False
Let l(f) = 21*f - 5 - 1 - 6*f + 5. Is 7 a factor of l(1)?
True
Suppose 6 = 4*p - 2. Suppose -45 = -h - p*h. Does 9 divide h?
False
Let i(j) = -j**2 - j - 184. Let l be i(0). Is l/(-7) - (-2)/(-7) a multiple of 6?
False
Suppose -7 = 2*j - 3*j. Let x = -10 + j. Is 15 a factor of 6*x/(-12)*10?
True
Suppose -2*l - 2 = -2*b + 8, -b - 4*l = 10. Let s(a) = -3 - 1 + b + a. Is 2 a factor of s(7)?
False
Suppose -6*b = -2*b. Let m = 2 - b. Let n = 16 + m. Does 8 divide n?
False
Let x(v) = -v**2 + 4*v + 1. Let n be x(2). Suppose 0*j - 5*d + 1 = 2*j, 5*j + n*d = 10. Is 3 a factor of j?
True
Let j(v) = 13*v - 8. Let o be j(10). Let c = 192 - o. Does 14 divide c?
True
Suppose -24*w = -22*w - 316. Is w a multiple of 19?
False
Suppose 4*s = 5*m - 7, -2*s = -2*m - m + 5. Let a(r) = -10 + 10 + 22*r**s. Is 11 a factor of a(1)?
True
Let k = -191 + 272. Does 25 divide k?
False
Suppose 8*r - 3*r - 4*a = -168, 2*a + 28 = -r. Let w be 45 + -1*1 + 1. Let l = w + r. Is l a multiple of 13?
True
Let u = 100 + -63. Suppose -7 = n - u. Is n a multiple of 10?
True
Suppose 0 = 2*x - 12 - 12. Is x a multiple of 10?
False
Let h = 10 - 0. Is (8/2)/(h/55) a multiple of 10?
False
Let a(m) = -m + 22. Does 3 divide a(0)?
False
Suppose -9 = 2*k + 5*c, 2*c = 6*c + 12. Suppose -8 = 2*t - 0*t, 5*f = -k*t + 38. Does 10 divide f?
True
Suppose 3*n + 0 = 2*x + 2, 0 = 4*n + 3*x - 14. Let l(a) = 2*a**3 - 2*a**2 - 2*a + 2. Let h be l(n). Let o = 2 + h. Is o a multiple of 6?
False
Is 1/((-15)/(-75) - 28/150) a multiple of 12?
False
Let y = 1 + 7. Suppose -y*h + 300 = -3*h. Is 17 a factor of h?
False
Let v be 4/6 - (-58)/3. Suppose -4*t - v = -6*t. Suppose 3*p + 5*b - t = 0, 3*p - 2*b = -3*b + 14. Is p a multiple of 4?
False
Let w be (-1)/(-2) - 15/(-6). Suppose 3 = w*t - 84. Is t a multiple of 14?
False
Suppose 3*w + 6 = 0, 2*k - 2*w = -3*k - 211. Let o be (-891)/15 + 6/(-10). Let l = k - o. Is l a multiple of 8?
False
Is 8 a factor of 40/6*(-48)/(-20)?
True
Let v(g) = g**3 + 6*g**2 + 3*g - 1. Let r be v(-3). Let n = -40 + 29. Let i = r - n. Is i a multiple of 14?
True
Let i be 4/(-10)*(9 - 4). Let y(d) = -2*d**3 - 2*d**2 - d - 1. Is 9 a factor of y(i)?
True
Is 50 a factor of 1/4 + (-4 - (-7290)/24)?
True
Suppose -5*l + 20 = c, -l - 2*l + 4 = -c. Suppose 17 = 5*s - l. Suppose -s*g = -0*g - 40. Does 10 divide g?
True
Let w = -3 + 4. Let y be w/(-4) + 161/4. Suppose -5*b - 5 = -y. Is 7 a factor of b?
True
Let y(w) = -13*w - 57. Is 10 a factor of y(-14)?
False
Let k(g) = -g**3 + 6*g**2 + 7*g + 5. Let w be 35 - (-1)/(2 - 1). Suppose 5*p + 4*x - 30 = -x, 0 = -5*p + x + w. Is 5 a factor of k(p)?
True
Let l = -51 - -96. Is 15 a factor of l?
True
Is ((-216)/42)/((30/(-28))/5) a multiple of 8?
True
Suppose -u + 5 = -0. Suppose -3*p + 11 + 5 = -2*k, u*p - 30 = 4*k. Suppose 0 = -0*i - p*i + 8. Is 3 a factor of i?
False
Suppose 163 = -5*g + 1078. Is 19 a factor of g?
False
Let w(s) = s + 7. Let i = 10 + -15. Let c be w(i). Suppose -2*y = m - 24, -74 + c = -3*m + 5*y. Does 12 divide m?
True
Let d(f) = -2*f**2 - f. Let q be d(-2). Let m be (-9)/q*32/12. Suppose w - m = 3. Is w a multiple of 4?
False
Suppose 7*r - 12 = 282. Is 21 a factor of r?
True
Does 14 divide (-1)/(-2) - (-495)/18?
True
Suppose -2*i = 3*i - 160. Let r = -19 + i. Is r a multiple of 6?
False
Suppose 2*z = 2 - 8. Let k be z*((-4)/(-6))/(-1). Suppose k*f = 5*s + f - 186, -3*s - f + 118 = 0. Is s a multiple of 19?
True
Let v(i) be the first derivative of i**6/120 + i**5/60 + i**4/24 + i**3/6 - i**2 - 1. Let x(o) be the second derivative of v(o). Does 15 divide x(2)?
True
Let b = 26 + -9. Is 9 a factor of b?
False
Let c(a) be the second derivative of a**4/12 + a**3/3 - 2*a**2 - 4*a. Suppose l - 12 = 3*l. Does 10 divide c(l)?
True
Let h(r) = r**2 - 4*r + 3. Let u be h(4). Suppose -3*t + 6 = -u. Suppose -51 = -t*j + 9. Is 10 a factor of j?
True
Is 15 a factor of 2/4 - (-872)/16?
False
Let r(j) = -44*j + 3. Let h = 7 + -10. Let i be r(h). Suppose i = y + 4*y. Does 11 divide y?
False
Let f = 11 - 16. Let s = f + 2. Does 5 divide (-24)/s + 0 + -1?
False
Let b(m) = -m**3 - 3*m**2 + 5*m + 7. Is b(-5) a multiple of 8?
True
Let w(c) = -c**3 + 5*c**2 + 2*c - 2. Let p(f) = f**2 + 8*f + 5. Let y be p(-8). Is w(y) a multiple of 4?
True
Suppose 0 = -2*c + 5 + 3, 3*c - 4 = -4*u. Is (-23)/(-2) - 1/u a multiple of 12?
True
Let m be 4/(-18) + 76/18. Let l be 14/6 + m/6. Suppose 0*p + l*r = -2*p + 59, -27 = -p - 2*r. Is p a multiple of 14?
False
Suppose 4*w = 3*w - 2*x + 66, 4*w + 5*x - 270 = 0. Does 8 divide w?
False
Let n(u) be the first derivative of 5*u**2 - 4. Is n(3) a multiple of 16?
False
Let a be -1*400/(-4) - 0. Suppose 0 = 5*m - 4*x - a, m - 5*m + 111 = 3*x. Is m a multiple of 8?
True
Let a(j) = j + 6. Let w be a(0). Let l be 5*w*1/10. Is 17 a factor of 17/(l*(-3)/(-9))?
True
Let o = 247 + -133. Is o a multiple of 38?
True
Let l be 0*((-9)/(-6) + -1). Suppose -5*w + 5*c - 135 = l, 3*w + 4*c = -39 - 35. Let o = 49 + w. Is o a multiple of 8?
False
Let a(j) be the third derivative of j**4/24 + 14*j**3/3 - j**2. Let n be a(0). Let v = -13 + n. Is 15 a factor of v?
True
Let w(z) = -z**3 - 2*z + 42. Does 12 divide w(0)?
False
Suppose 4*y - 184 - 56 = 0. Is y a multiple of 15?
True
Suppose -3*d = d - 8. Let l(y) be the second derivative of 4*y**3 - y**2 - 4*y. Does 25 divide l(d)?
False
Let x be 145 - (1*-2 - -1). Let r = x + -14. Is (-2)/(-4) - r/(-8) a multiple of 6?
False
Let j(w) = 1 + 2 + w + 3 + 0*w. Let f be j(0). Suppose -f = -h - 0*h. Is h a multiple of 6?
True
Suppose 5*x + 14 = -2*y + 3*y, -6 = 2*x. Let o = y - -2. Does 11 divide (0 - 1)*o*-19?
False
Let k be (3/(-6) - 0)*-2. Let u(w) = 21*w**3 + w**2 - w + 1. Is u(k) a multiple of 10?
False
Suppose 29 = m - 5*a + 8, -4*m + 84 = -a. Does 21 divide m?
True
Suppose 0 = y + 4*k + 13, 2*k = -3*y + 7*k + 12. Let i be (68/10)/(y/(-10)). Suppose -3*o = o - i. Is 17 a factor of o?
True
Let d = -2 - -23. Suppose -2*m = m - d. Is 6 a factor of m?
False
Suppose -3*n + 6*n - 36 = 0. Is 12 a factor of n?
True
Suppose 0 = 189*u - 187*u - 68. Does 17 divide u?
True
Let y(r) = r**2 - r - 18. Let z be y(0). Let q be (-4)/z + 677/(-9). Let w = -51 