-3)/(-3))/1. Let h(g) = c*i(g) - 4*l(g). Does 6 divide h(-1)?
True
Let m(u) = 3*u**2 - 2*u + 1. Let p be m(1). Suppose 0 = -p*a + 18 + 4. Is 3 a factor of a?
False
Let n(w) = -31*w + 7. Let d be n(-9). Is 10 a factor of 2/5 + d/10?
False
Does 13 divide (-4678)/(-20) + 12/120?
True
Suppose -c + 63 = 4*g, g = -c + 5*c + 37. Let h = -22 - -10. Let z = h + g. Is z a multiple of 5?
True
Does 10 divide 2/(-6) + (-440)/(-24)?
False
Let x(c) = -8*c - 18*c - 4 - 3*c. Is 27 a factor of x(-2)?
True
Let i(w) = 19*w + 2. Let t be i(1). Let v = t + -14. Is v even?
False
Let p = 0 + 5. Is 10 a factor of (-104)/(-10) - (-3)/p?
False
Suppose -10 = -4*v + 5*d, -2 = 4*v - 0*d + d. Suppose v*u = -5*u. Let n = u + 11. Is 5 a factor of n?
False
Let f = -5 - -7. Suppose g + 3*u + 1 = 15, 2*g + f*u = 44. Suppose 11 + g = 5*s + 3*i, -4*i = -3*s + 28. Is s a multiple of 3?
False
Suppose -3*f = -1 - 2. Let l = 3 - f. Suppose -2*g = -l*x + 30, 0 = 3*x + 3*g - 2*g - 37. Is 9 a factor of x?
False
Let t = 3 - 1. Does 33 divide (-1)/t*-4 - -56?
False
Is (6*-1)/(45/(-165)) a multiple of 6?
False
Let g be ((-15)/25)/((-1)/(-5)). Is 3 a factor of 2 + g - (-1 + -12)?
True
Suppose 0 = -3*c + 4*x + 7, 0 = -4*c - 5*x + 1 + 29. Suppose -u + c*q + 30 = 0, 2*u = 2*q - 6*q + 18. Is 13 a factor of (96/u - 1)*5?
False
Let k(s) = s**3 - 4*s**2 - s + 4. Let a be k(4). Suppose -5*p + 3 + 27 = a. Is p a multiple of 2?
True
Suppose 0 = 5*r - 2*o - 300 - 419, 4*o + 133 = r. Suppose -7*a = -2*a - r. Does 19 divide a?
False
Suppose 4*h = -0*h - 8. Does 8 divide (-3)/(9/12)*h?
True
Suppose 0 = -3*v + 2*x + 206, -2*v - 345 = -7*v + 3*x. Is v a multiple of 36?
True
Let q(m) = -m**2 + 11*m - 9. Let p be q(9). Suppose y + 9 = -2*y. Is 254/6 + y/p a multiple of 21?
True
Suppose 5*g - 10 = a, 4*g = 14 - 2. Suppose -a*k = -3*k. Suppose 2*s + 9 - 65 = k. Does 14 divide s?
True
Is 25 a factor of (25/10)/((-1)/(-10))?
True
Let w(v) = 2*v**2 - 10*v + 8. Is w(7) a multiple of 9?
True
Let r be (-1)/3 + 290/6. Does 10 divide r/5 - 14/(-35)?
True
Let a(w) = -3*w - 7. Let x(q) = q. Let z(y) = -a(y) - 2*x(y). Is 14 a factor of z(7)?
True
Let d = -90 - -132. Suppose -2*b + l + 14 = 0, 0 = -2*b - 5*l - 4 + d. Is 17 a factor of (-110)/(-6) + 6/b?
False
Let j = -58 - -93. Does 7 divide j?
True
Suppose -4*h = -4*n - 316, n + 102 = 2*h - 52. Let x = -37 + h. Is 22 a factor of x?
False
Let j(s) = 1 + 0 + 0. Let m(t) = t**2 - 10*t + 5. Let u(v) = -4*j(v) - m(v). Is 3 a factor of u(8)?
False
Let j(d) = 72*d - 5. Let n be j(4). Suppose 5*w + 13 = n. Is 13 a factor of w?
False
Let l = 0 - 0. Let o(g) be the third derivative of -g**5/60 + g**4/24 + 4*g**3/3 - 7*g**2. Is 5 a factor of o(l)?
False
Suppose -6*d + 26 = -178. Does 17 divide d?
True
Let i = 12 + -12. Suppose i*m - 17 = -m. Does 8 divide m?
False
Suppose 5*r = -1 + 31. Suppose x + 9 = r. Is (0 + (-42)/9)*x a multiple of 5?
False
Is 21 a factor of (-2 - 69/(-2)) + (-15)/10?
False
Suppose 2*i - 5*f = -2*i - 140, 5*i + 196 = f. Does 11 divide (2 - -1) + (1 - i)?
True
Let j be 4 - 7 - 5*-1. Suppose j*b = 5*v + 27, -b - 9 = -v + 3*b. Let c = 15 + v. Is c a multiple of 8?
True
Suppose 0 = -5*q + 3 + 7. Suppose -b + q + 2 = 0. Suppose -n = -3*p - 24, b*p = -n + 3*p + 12. Is n a multiple of 15?
True
Suppose 3*b = -0*d + 3*d + 141, d - 5*b + 67 = 0. Is (-1)/(2/(-8)) - d a multiple of 7?
False
Suppose -2*k + k = -7. Suppose -3*t + k*t = 8. Suppose -t*l = -4*l + 48. Is l a multiple of 11?
False
Suppose -4*k = -13 - 19. Does 2 divide (4 + -3)/(1/k)?
True
Let s(n) = n**2 + 6*n + 10. Is s(-7) a multiple of 14?
False
Let w be ((-5)/5)/(2/(-116)). Suppose -5*i + 238 = w. Is i a multiple of 12?
True
Let r(z) be the third derivative of 0*z - 4/3*z**3 + 1/60*z**5 + z**2 + 7/24*z**4 + 0. Is r(-10) a multiple of 19?
False
Does 33 divide 22/((-5)/((-15)/2))?
True
Suppose -3*x + 33 = -2*n, -6*n + n = -5*x + 90. Is (-246)/n + 4/14 a multiple of 6?
True
Let b be (42/5)/((-2)/(-40)). Is 11 a factor of b/15 - 3/15?
True
Let w = 0 + 26. Does 7 divide w?
False
Suppose -2*v + 5*v - 4*o + 12 = 0, 12 = -4*v + 4*o. Let z(d) = -d**2 - d + 27. Does 13 divide z(v)?
False
Suppose -1 = v - 2. Suppose 3 = 2*b - 4*w - 15, b + 3*w = -v. Is 5 a factor of b?
True
Let p(h) = -h**3 - 11*h**2 + 3*h + 15. Is 8 a factor of p(-12)?
False
Let a = 7 - 5. Suppose a*z - z - 1 = u, -5*u + 15 = 5*z. Suppose 6 = -z*s + 28. Is s a multiple of 4?
False
Let o be (-3)/(-1 - -2)*-1. Let x be ((-14)/5)/(6/(-15)). Suppose 0 = -r + x + o. Is 10 a factor of r?
True
Let d(f) = f**2 - 3*f**2 - 3 + 3*f**2 - 7. Is d(7) a multiple of 13?
True
Let i(s) = s**2 - 3*s - 27. Is 13 a factor of i(8)?
True
Is 51 a factor of (-144)/(1*-1) + (3 - 1)?
False
Let p = -1 + -1. Let k be 372/p + (-12)/(-6). Does 3 divide (-4)/22 - k/44?
False
Suppose 4*q + 109 = -7. Let u = 70 + q. Suppose 0 = 2*c - 5*l - u, -c = -0*c + 4*l - 14. Is 18 a factor of c?
True
Let n be -1 + -1 - (-9 - -3). Let j(d) = d**3 - 3*d**2 - 5*d. Let r be j(n). Let l(h) = -9*h - 5. Is l(r) a multiple of 20?
False
Suppose 0 = -4*v + 3*l + 185, 3*l + 56 = v - l. Let s = v + -26. Is s a multiple of 6?
True
Is (54/(-14))/((-6)/4)*7 a multiple of 6?
True
Suppose -5 = -v - 2, 0 = i + 2*v - 94. Is i/(-6)*3/(-2) a multiple of 22?
True
Suppose -4*x = 20, -n = -x - 0*x + 163. Is 12 a factor of (-1)/(-3) - n/9?
False
Let t = 6 + -4. Suppose t*c - b = -5*b + 16, 2*b = 4. Does 4 divide c?
True
Suppose -3*r - 10 = 2*r. Is 0 - (1 + r + -1) a multiple of 2?
True
Let o(l) = l**2 + l + 7. Is 27 a factor of o(-5)?
True
Suppose -15*y + 10*y + 715 = 0. Does 18 divide y?
False
Let b be 2/5*(-20)/(-2). Let f(j) = -90*j**3 - j**2. Let w be f(-1). Suppose h = -3*l + 7 + 34, -b*h + w = -3*l. Is 16 a factor of h?
False
Let h(g) = -56*g**2 - g. Let q(j) = j**2. Let k(x) = -h(x) - 4*q(x). Is k(-1) a multiple of 17?
True
Let y = 38 - 8. Is 6 a factor of y?
True
Suppose 3*x - 36 = -0*x. Suppose -3*s = -4*s + x. Suppose 2*m + 0*m = s. Does 6 divide m?
True
Let n be (2/(-3)*21)/1. Let v = n - -48. Is 12 a factor of v?
False
Suppose 0 = -0*s - 2*s. Suppose -p + 17 + 19 = s. Does 18 divide p?
True
Let t = 25 + -21. Is 2 a factor of t?
True
Let a(g) be the first derivative of -3*g + 3*g**2 + 3 - 1 - g. Is 10 a factor of a(4)?
True
Suppose 13*f - 156 = 130. Is 22 a factor of f?
True
Let k = -9 - -15. Is (40/k)/((-2)/(-12)) a multiple of 15?
False
Suppose -362 + 37 = 5*i. Is 7 a factor of i/(-3) + (-2)/(-6)?
False
Let s = 9 + -9. Is 30 - (s - -2)*1 a multiple of 14?
True
Let t be -14 - 12/(-2 + 6). Let y = t + 41. Is y a multiple of 9?
False
Let z(f) = -31*f + 3. Is 4 a factor of z(-1)?
False
Let r = 102 - 22. Does 16 divide r?
True
Let g(p) = -7 + 47*p**2 + 6 + 2. Does 16 divide g(1)?
True
Let c = -16 - -23. Let p = -4 + c. Is (-1)/p + 122/6 a multiple of 10?
True
Suppose -2*s + 5 = i, 5*i - 8 = -2*s + 7*i. Does 3 divide s?
True
Suppose -j = 3*b + 7, 5*j - 2*b + 35 = 2*b. Let w be -2 - (j + (3 - 0)). Suppose 0 = w*g - 2 - 44. Is g a multiple of 6?
False
Does 9 divide (-1863)/(-21) - 10/(-35)?
False
Suppose -3*k + 4*a = -5, -6*k - 3*a + 40 = -2*k. Let v(t) = -t - 3 - 2*t - 2*t + t**2. Does 6 divide v(k)?
False
Suppose 40 = o - 8. Suppose -4*y + 20 = -o. Does 17 divide y?
True
Let j be (2/(-2))/(3/(-30)). Let b be (-39)/5 + (-2)/j. Let g = 4 - b. Does 12 divide g?
True
Suppose -4*q + 2*q - 2*k + 4 = 0, 0 = 2*q - k - 7. Does 9 divide (27/(q - 4))/(-1)?
True
Let w(m) = -7*m**2 + 15*m**3 + 4 + 6*m**2 - 3. Is 5 a factor of w(1)?
True
Suppose -4*j - 3 = -19. Suppose z = 7*w - 3*w - j, 2*w + z = 8. Is w even?
True
Let y(d) be the third derivative of 11*d**8/3360 - d**7/1260 + d**6/720 - d**4/12 - d**2. Let z(o) be the second derivative of y(o). Is 21 a factor of z(1)?
True
Suppose 7 + 7 = 3*i + 4*r, 0 = 3*i - 4*r + 2. Suppose 4*h = 6 + i. Suppose 0 = -3*a + 4*j + 10, h*j = 2*a - j - 6. Is a a multiple of 6?
True
Suppose -7*d + 3744 = 6*d. Does 9 divide d?
True
Let f(v) = 4*v**2 + 5*v + 6. Is 3 a factor of f(-2)?
True
Let a = 54 - -1. Is a a multiple of 25?
False
Is ((-48)/36)/((-1)/54) a multiple of 18?
True
Suppose 0 - 20 = 5*m, -291 = -5*c + 4*m. Is c a multiple of 19?
False
Let n be (2/4)/((-1)/2). Suppose 40 = -2*q + m + m, -5*q = -m + 84. Let k = n - q. Is 15 a factor of k?
True
Suppose 0 = j + 4*z - 10, -3 - 1 = 