a be (-1 + (-7)/(-5))*(-132 + -28). Does 8 divide ((-1)/u)/(2/a)?
True
Suppose 3*c = -4*c. Suppose -2*l + 33 = 5*t, 3*t + c*t - 11 = l. Suppose 4*o - 171 = -t*v + 111, v - 60 = -2*o. Is v a multiple of 7?
False
Suppose f = g - 2*g, -g + 15 = -4*f. Suppose 2*p = -g*p + 80. Is p a multiple of 4?
True
Suppose -3*d - d - 4*n = -736, 0 = 2*d - 5*n - 375. Is d a multiple of 19?
False
Let q be (204/(-8))/3*-2. Suppose 127 = 5*m + q. Is 11 a factor of m?
True
Let j(a) be the second derivative of -7*a**3/6 - 15*a**2/2 + 49*a. Does 7 divide j(-17)?
False
Let h(r) = -148*r - 152. Does 34 divide h(-7)?
True
Suppose 0*t + 4*t + 2*x - 76 = 0, -4*t + 2*x = -76. Does 2 divide t?
False
Suppose 4*g - 5*f - 8 = 23, 0 = g + 5*f - 14. Let s(y) = -y**2 + 8*y + 7. Let m be s(g). Let r(x) = -12*x - 8. Is 4 a factor of r(m)?
True
Suppose 16*h - 11*h = 25. Let l(w) = -w**3 + 6*w**2 + 7*w. Does 12 divide l(h)?
True
Suppose 143*f - 54 = 137*f. Is f even?
False
Let g(k) = -13*k**2 + 15*k - 4. Let v(m) = 7*m**2 - 8*m + 2. Let q(d) = -6*g(d) - 11*v(d). Let i be q(5). Suppose -b + 6 = -i. Is 12 a factor of b?
False
Suppose 2*f = -2*l + 500, 3*l - 3*f - 1098 = -330. Is 29 a factor of l?
False
Let j = -7 + 62. Let y = j + -29. Is y a multiple of 26?
True
Let r(b) = b**3 - 15*b**2 - 3*b + 23. Is r(16) a multiple of 6?
False
Does 5 divide 6*1*-1 - (-192 - 248)?
False
Does 13 divide (6/(-4))/(3/(-78))?
True
Let m be 0/(-2) + (-52)/1. Suppose x = -x - 30. Let i = x - m. Is i a multiple of 9?
False
Suppose -3*z + 4*l = 2*l + 83, 6 = -z + 5*l. Let a = z + 43. Does 4 divide a?
True
Suppose -6*b + 3*t = -b - 22, 16 = 4*b - 2*t. Let o be 3/(6/5)*2. Suppose -3*r = -0*r + o*l + 4, -l = r - b. Is 7 a factor of r?
True
Suppose -27*b = -2*c - 31*b + 912, -4*b = c - 446. Is 26 a factor of c?
False
Does 19 divide 8/68 + (-2138)/(-34)?
False
Suppose -126 = 27*q - 36*q. Let j(f) be the second derivative of f**4/12 - 11*f**3/6 + 4*f**2 + f. Does 25 divide j(q)?
True
Is 15 a factor of 0 + 1 + -471*10/(-15)?
True
Suppose q - 24 = -5*q. Suppose q*p = -2*p + 180. Does 15 divide p?
True
Suppose 0 = 2*v - a + 401 - 79, 0 = 5*v + 4*a + 805. Is (-69)/v + 162/14 a multiple of 4?
True
Let v = 7 + -5. Suppose 4*t - 13 - 19 = 4*u, -3*t - 2*u + 4 = 0. Suppose 3*s - 5 = -m, -v*m + t*s = -s - 54. Is m a multiple of 7?
False
Let o be ((-4)/(-4))/((-1)/(-5)). Suppose 2*l - 3*v = -0*v + 161, 0 = l - o*v - 84. Let m = l + -45. Is 18 a factor of m?
False
Let g(k) = 80*k**2 + k + 1. Let y be g(-1). Suppose -6*r + 70 = -y. Is 5 a factor of r?
True
Let d = 41 - 72. Let g = 32 + d. Is 9 a factor of (-3)/((g/(-18))/1)?
True
Let z(k) = -29*k - 121. Does 16 divide z(-10)?
False
Let k = 768 - -1707. Does 42 divide k?
False
Suppose -9*a = -3*a - 3360. Does 56 divide a?
True
Let i(o) = -o**2 - 6*o + 2. Let z be i(-6). Suppose -z*k = -4*k. Suppose -3*x + 72 = -k*x. Is x a multiple of 8?
True
Let r be (-1)/(-4) - (-75)/20. Let x be (1/(-3))/(r/84). Is (16/x)/4*-7 a multiple of 4?
True
Let m(s) = -4*s + 2 + 5*s + 22 - 2. Does 12 divide m(23)?
False
Suppose 8 = 2*p + 2. Suppose -p*x + x = -h, 9 = 4*h + x. Suppose 240 = 2*r + h*r. Is r a multiple of 15?
True
Let q be (-11 + 3)/(-4) + 4. Suppose q*t = -0*t + 336. Is t a multiple of 15?
False
Suppose 751 = -4*i + 5*y, -2*i - 5*y - 329 - 54 = 0. Does 13 divide (-7)/i*-6 - (-3658)/18?
False
Let z be 220 + -2 - (-1 - 1). Suppose -z = -2*u - 3*u. Suppose 18 + u = 2*d. Is 8 a factor of d?
False
Let n = -3356 + 5693. Is n a multiple of 52?
False
Let o(s) = -s**3 + 10*s**2 - 4*s + 4. Let g(z) = -2*z**3 + 21*z**2 - 8*z + 9. Let c = 18 + -9. Let m(k) = c*o(k) - 4*g(k). Does 2 divide m(5)?
False
Is -11 + 14 + (-4 - -288) a multiple of 2?
False
Let k = -16 - -18. Suppose -12 = -4*m - 2*h, 2*h - 6*h = -k*m + 6. Does 26 divide m - (0 - 2)*62?
False
Let d = -31 - -333. Is 15 a factor of d?
False
Let r = -5 - -8. Suppose -8 = 2*q, 2*l - 18 = r*q + q. Is (-9)/3 + 45 - l a multiple of 30?
False
Let a = 586 - -208. Is 81 a factor of a?
False
Suppose -4*f + 9 = 1. Suppose -5*u + 93 = 2*c, -60 = -f*c + 2*u + 54. Is c a multiple of 11?
False
Let w(t) be the first derivative of -t**4/4 + 6*t**2 + 11*t + 17. Does 26 divide w(-5)?
False
Let y(f) = 50*f**3 + f**2. Does 15 divide y(1)?
False
Let c = 229 - 134. Suppose b + 97 = -c. Is 14 a factor of b/(-14) - 10/(-35)?
True
Suppose 740 = g + 4*z, 2*g + g - 5*z = 2288. Is g a multiple of 28?
True
Let o be (12 - 3 - 5) + -2. Suppose 0*y - 120 = -o*y - 4*v, -4*v + 66 = y. Is y a multiple of 36?
False
Let r = -38 + 40. Suppose -3*i + 208 = -2*a - 2*a, -124 = -r*i - a. Does 16 divide i?
True
Does 42 divide (168/(-10))/(14/(-875))?
True
Suppose -4*j + 5*a = 159 - 484, -j + 2*a = -82. Is 10 a factor of j?
True
Let v(p) = -3*p - 5 + 2*p**3 - 6*p**2 + 4*p + 3*p**2 - p**3. Does 5 divide v(4)?
True
Suppose 3*d - 108 = 417. Suppose -48 = 4*o - 8. Does 21 divide d/10*(-12)/o?
True
Let k = 884 - 552. Does 24 divide k?
False
Let i = -52 - -64. Suppose 4*z - i = 0, 2*a - 82 - 31 = z. Does 29 divide a?
True
Let d(y) = 2*y**2 + 31*y - 9. Let u(j) = 3*j**2 + 32*j - 8. Let o(c) = 4*d(c) - 3*u(c). Does 28 divide o(12)?
False
Let t = 525 + -19. Does 53 divide t?
False
Let j be 10/3*(-3)/(-2). Let i be (524 + 6)*2/j. Suppose 3*k = 2*n + 248, -5*k + 2*n = -200 - i. Is 18 a factor of k?
False
Suppose 29*y + 504 = 32*y. Suppose 354 = 5*s - 4*v, -5*v = -2*s + 4*s - y. Is 37 a factor of s?
True
Let t(b) = b**3 + 12*b**2 + 10*b - 3. Let j be t(-11). Suppose 4*s + 148 = j*s. Suppose -5*u + s = -233. Does 27 divide u?
True
Let p = -21 - -30. Is 11 a factor of ((-2646)/4)/p*-2?
False
Let k(j) = 6*j**3 - 2*j - 2. Is k(2) a multiple of 6?
True
Suppose 4*j = -2*p + 2680, j = -3*p + 2947 + 1078. Is 122 a factor of p?
True
Let k(c) = -c**2 - 55*c + 174. Does 24 divide k(-21)?
True
Let q(r) = -r**2 - 5*r + 5. Let g be q(-5). Suppose -311 = -g*b + 1244. Suppose -5*o = -b - 34. Is 10 a factor of o?
False
Let c(m) = -39*m - 127. Is c(-8) a multiple of 5?
True
Suppose -6*y - 24 = -2*u - y, 37 = 5*u - y. Let f(j) = j**3 - 13*j**2 + 2*j + 13. Let z(r) = -r**2 + 1. Let q(i) = -f(i) + 5*z(i). Is q(u) a multiple of 9?
True
Let a = -79 + 147. Suppose a = -4*r + 16. Let v = -3 - r. Does 10 divide v?
True
Let u be (-3)/(-12) - (-9)/(-4). Let a be -3*u/12*-2. Let o(g) = 19*g**2 - 4*g - 3. Does 14 divide o(a)?
False
Is 5 a factor of (-12 - -8) + (-77)/(-1) + 2?
True
Let d(s) be the first derivative of s**2/2 - 11*s + 4. Let l be d(10). Is 12 a factor of 27 - (-1 - -3 - l)?
True
Suppose -10*g + 12*g = -4. Let c(t) = -4*t**3 - t**2 - 1. Is c(g) a multiple of 27?
True
Let h(k) be the first derivative of k**4/4 + 7*k**3/3 + 4*k + 15. Does 10 divide h(-6)?
True
Suppose 3*t = 6*t + 135. Let b be 1/(t/24 + 2). Suppose 2*x = b*x - 156. Is x a multiple of 8?
False
Let k be 7840/45 + 2/(-9). Is 22 a factor of (k + -1)/(-2 - -3)?
False
Suppose 115*c = 113*c + 1200. Is 113 a factor of c?
False
Let q(y) = 9*y**2 - 23*y + 33. Let b(d) = -5*d**2 + 12*d - 17. Let j(c) = 7*b(c) + 4*q(c). Let t be j(6). Is 6 a factor of (t - 4 - 0)*-15?
False
Suppose -4*z - 5*y + 2375 = -4*y, 2 = -2*y. Is z a multiple of 22?
True
Suppose 0 = 3*u + j + 272, 2*u = 5*u - 5*j + 278. Let p = -89 - u. Does 2 divide p?
True
Let v(a) = 2*a**2 + 8*a + 8. Does 9 divide v(4)?
True
Let x(v) = 4*v**2 + 19*v + 31. Let g(n) = -5*n**2 - 19*n - 31. Let o(u) = -5*g(u) - 6*x(u). Is o(25) a multiple of 17?
True
Is 93/372 - 8846/(-8) a multiple of 14?
True
Is 79 a factor of (2 + 1)*(-14 - 9258/(-18))?
True
Suppose -5*z + 706 = -3064. Does 29 divide z?
True
Let f(a) = 3*a**2 + 13*a + 2. Let w(n) = 16*n**2 + 64*n + 10. Let s = -34 + 23. Let u(z) = s*f(z) + 2*w(z). Is 17 a factor of u(-10)?
False
Let r be (-1136)/(-12)*(14 - -1). Suppose -r = 11*n - 4830. Is 31 a factor of n?
True
Let u(c) = -c**3 + c**2 + 5*c + 6. Let l be u(-4). Suppose -l - 74 = -4*k. Is 11 a factor of k?
False
Does 25 divide (-7064)/(-6) - (-595)/(-255)?
True
Suppose -13*j = -39*j + 72618. Does 19 divide j?
True
Let r(s) = 5*s**2 - 3*s + 10. Let f(w) = w**2 + 5*w - 3. Let m(z) = -z**2 - 5*z + 3. Let p(l) = 4*f(l) + 3*m(l). Let g be p(-6). Is 8 a factor of r(g)?
False
Suppose 8*q - 13*q - 4*l + 659 = 0, 4*q - 544 = l. Is q a multiple of 9?
True
Let d(t) be the second derivative of -t**4/12 + 