q/((-16)/(-4) + -3)?
False
Let d(m) = 598*m - 601*m - 3 + 16*m**2 - 4. Does 27 divide d(-2)?
False
Let m = 9 + -23. Let y(i) = -2*i - 1. Is 9 a factor of y(m)?
True
Let r be (7/(-7))/(2/(-10)). Suppose 0 = r*j - 10*j. Suppose j = -5*g + k + 488, 0*k = 3*g + 4*k - 279. Is g a multiple of 33?
False
Let v = 2604 + -471. Does 27 divide v?
True
Let y(z) = z**3 - 13*z**2 + 6*z + 19. Let w = 20 - 20. Suppose 0 = i - 3*h - 6 - 19, 5*i + 2*h - 57 = w. Is y(i) a multiple of 13?
False
Let z(v) = v**3 - 4*v**2 + 2*v + 4. Let s be z(3). Is 212 + -3 + s + (-2)/1 a multiple of 62?
False
Suppose -3*q = -6*q + 5*p + 115, 4*q + 3*p = 192. Suppose 0*v - 2*v + 6 = 0, -2*b + q = -5*v. Is b a multiple of 15?
True
Suppose -10*k = -0*k - 11500. Is k a multiple of 3?
False
Let c be -4 - 3*(-3 + 1). Suppose -c*u + 35 = -0*x + 5*x, 3*u - 3*x - 21 = 0. Does 7 divide ((-55)/u)/(3/(-12))?
False
Suppose 0 = 4*d + 14 + 50. Let f = -16 - d. Does 16 divide (6 - f)/(-2) - -51?
True
Let d(j) be the second derivative of -5*j**3/3 + j**2 + 3*j. Let r be d(5). Let z = r + 87. Is z a multiple of 13?
True
Suppose 0 = -a + 12 - 0. Let c = -5 + a. Let g(d) = 2*d - 6. Does 8 divide g(c)?
True
Suppose -5*h + 2*l + 2040 = 0, 3*h - l - 1224 = 2*l. Suppose 3*x - h = -x. Is 30 a factor of x?
False
Let l(f) = -f**2 - 10*f + 10. Let n be l(-11). Let g = 5 + -1. Is 3 a factor of n/(g/(-20)) + -2?
True
Suppose 2*h + 5*m = 72, 3*h + 2*m - m - 95 = 0. Is h a multiple of 11?
False
Let o be ((-27)/18)/((-2)/(-4)). Let u be (8/(-12))/(o/198). Suppose 0 = -4*p - 5*j + u, -p - 2*j + 11 = -0. Does 6 divide p?
False
Let i = 4945 - 2940. Is i a multiple of 131?
False
Let x(r) be the second derivative of -5*r**3/3 - 3*r**2 + 3*r. Let j be x(-5). Suppose -3*a + j = a. Does 10 divide a?
False
Suppose 0 = 2*y + 4*z + 90, -175 = y + 2*y - 2*z. Let g = -90 + y. Let b = g + 234. Is 13 a factor of b?
False
Let u = -19 - -17. Does 12 divide 32/6*(-9)/u?
True
Let l = -13 + 26. Let h(c) = -11*c + 21*c**2 + 2*c**3 + 6 + 24*c + 2*c**3 - 9*c**2 - 5*c**3. Is h(l) a multiple of 6?
True
Let w(c) = 4*c. Let h be w(1). Suppose -2 = j + 4*q + h, -q + 16 = 2*j. Suppose 4*z + 4*o - 2 - j = 0, -5*z + 5*o = -55. Is 2 a factor of z?
False
Is 16 a factor of 7 - 120/12 - -3555?
True
Let d = -79 + -15. Let b = -31 - d. Is b a multiple of 9?
True
Let g(p) be the third derivative of p**5/10 - p**3 - 23*p**2. Does 9 divide g(4)?
True
Let b(d) = d**2 - 8*d - 7. Let g be 3/(-6) + ((-588)/8)/(-7). Is 2 a factor of b(g)?
False
Let u be 1*((-3)/3 - -10). Let c = 21 - u. Is 9 a factor of (c/(-16))/((-1)/12)?
True
Let n(f) = f**2 + f - 12. Let a be n(-7). Is 3 a factor of (680/(-60))/((-4)/a)?
False
Let u(w) = -w - 2. Let y be u(-2). Suppose -7*h = -y*h - 140. Does 20 divide h?
True
Let s = -325 - -716. Let u = s - 111. Suppose -3*p + 8*p = u. Is p a multiple of 8?
True
Let u = 78 + -75. Is u - (2 - (-4 - -29)) a multiple of 13?
True
Is (-31)/((-12)/(9960/10)) a multiple of 81?
False
Suppose 0 = -2*z - 6, -4*z = -n + 6*n + 22. Does 3 divide 1 + (70/28 - n/4)?
False
Let v(c) = 2*c + 4. Let n be v(6). Let p(m) = -m + 8. Let a be p(6). Suppose 3*r - a*r = n. Is r a multiple of 8?
True
Suppose 4*r - 380 = 3*u, -r = 2*u - 34 - 50. Is 4 a factor of r?
True
Let p be 1 - 69*(1 - 2). Suppose -s = -2*r + 71, -2*s = 2*r - 4*r + p. Is 3 a factor of r?
True
Suppose -7 - 1 = -4*z. Suppose z*n = 63 - 3. Is 6 a factor of n?
True
Let a = 2264 - 338. Is 9 a factor of a?
True
Let r(b) be the third derivative of -b**6/120 - b**5/12 + b**4/3 + 4*b**3/3 - 5*b**2. Let t be r(-6). Is (-2)/(t/50) - 1 a multiple of 12?
True
Let h be 1/(1/((-87)/(-3))). Let m = h + -6. Suppose 5*r = 15, -3*r = -4*i + 166 - m. Does 19 divide i?
True
Let u(z) = 12*z**2 + 5*z - 3. Let t be u(-4). Let w = -1 + t. Is w a multiple of 24?
True
Let b be (-5 - -3)*19*-8. Suppose -b = -3*o - 2*r, -194 - 218 = -4*o + 4*r. Does 34 divide o?
True
Let t be 2/(-4) + (-5)/2. Let s(o) = -10*o - 4. Let k(x) = -x**2 - 19*x - 7. Let g(d) = t*k(d) + 5*s(d). Is g(-4) a multiple of 13?
False
Let h be ((-1)/((-2)/(-528)))/((-12)/8). Suppose 2*s - 5*o - h = 15, -4*s - 3*o + 395 = 0. Does 14 divide s?
True
Does 14 divide 2/(-5) + ((-44912)/(-20))/4?
False
Let g = 61 + -56. Suppose 5*x = 2*a - 202, -a - 384 = -g*a + 5*x. Is a a multiple of 11?
False
Let r(d) = d**2 - 13*d + 16. Let b be r(12). Let l be 286/4 + b/8. Suppose -5*q = 3*f - l, 2*q + 2*q - 120 = -5*f. Does 7 divide f?
False
Suppose -5*x = -o - 0 - 3, 3*x - 3 = 0. Suppose -g - o = 3*g - 5*a, 4*a = 3*g + 2. Is 4 a factor of -1 + 24 + (g - -1)?
False
Let m = -791 + 2087. Does 48 divide m?
True
Let f = 169 + -85. Is f a multiple of 7?
True
Is 9 a factor of 3822/8 - 51/68?
True
Let z be 3 - 1 - (-2)/(-4)*-28. Does 4 divide -2 - -40 - 11/((-44)/z)?
False
Let v(z) = -z**3 + z**2 + 46*z + 7. Is v(7) a multiple of 35?
True
Suppose -12 = 2*a - 5*a. Suppose 3*u + 47 = 2*f, -a = -f + u + 17. Is 14 a factor of f?
False
Let x be 8/12 + (-38)/(-6). Suppose 3*q - 3*q = 2*q. Suppose -x*j = 3*s - 2*j - 33, -4*s + 4*j + 44 = q. Does 11 divide s?
True
Let k(q) = 7*q + 6. Let a be k(-5). Let j be 0 + -5 + (29 - 28). Let f = j - a. Does 5 divide f?
True
Suppose -3*f = -5*l - 316, 0*f - 572 = -5*f - 3*l. Is 8 a factor of f?
True
Suppose 0 = -y - 122 + 124. Suppose 3*z + m - 73 = 0, -2*m - 38 = -0*z - y*z. Does 23 divide z?
True
Let o = 470 + -348. Is 10 a factor of o?
False
Let v(q) = -q**2 - 2*q - 5. Let a be v(-3). Is (44/a)/((-4)/88) a multiple of 11?
True
Suppose 80 - 17 = 4*v + o, -v + o + 12 = 0. Let x be (69 - (-3)/1) + 3. Suppose -v = r - x. Is r a multiple of 30?
True
Let a = 111 - -282. Does 2 divide a?
False
Suppose 4*v = -3 + 23. Let a = 0 + 2. Suppose -k + v*q + 41 = 0, -k = -q - a*q - 33. Is 21 a factor of k?
True
Suppose -7*i = -21515 + 6640. Is i a multiple of 81?
False
Suppose 5*a - q + 6*q = -15, 0 = 3*a + 4*q + 10. Let g be ((-432)/(-2))/(a - -3). Suppose 0*t - g = -3*t. Is t a multiple of 24?
True
Suppose 91*r - 15288 = 42*r. Is 17 a factor of r?
False
Let d(x) be the third derivative of x**5/20 + x**4/8 - x**3/3 - 12*x**2. Is 16 a factor of d(-3)?
True
Let t = -429 + 620. Is t a multiple of 46?
False
Let c = 2844 + -400. Is c a multiple of 94?
True
Let k = 172 + -101. Let r = k - 55. Is 16 a factor of r?
True
Suppose -5*m + 7 = -q - 10, 5*m = 4*q + 8. Suppose 2*i - s + 6 = -6*s, 0 = m*i - 2*s - 36. Does 4 divide i?
False
Let j(d) = 2*d + 75. Is j(-13) a multiple of 4?
False
Let u be 0 + (-2)/2*2/(-1). Suppose -u*c + 344 = 4*l, -c + 874 = 4*c + 3*l. Is c a multiple of 16?
True
Let w(h) = -183*h - 81. Let b be w(-6). Suppose -7*v - 30 + b = 0. Is v a multiple of 13?
False
Suppose -5*q + 34 = -3*q. Let z(c) = 32*c**2 + 27*c - 1. Let k be z(-4). Suppose q = 7*b - k. Does 20 divide b?
True
Let v(u) = 4*u**3 - 9*u**2 + u + 28. Does 21 divide v(7)?
True
Let h = -1909 + 4665. Is h a multiple of 25?
False
Let z(p) = p**2 + 17*p + 9. Let h be z(-16). Let d be (-6)/21 - 93/h. Let m = 18 - d. Does 5 divide m?
True
Let d be 16*(10/2)/10. Is 3*(2 + d/12) a multiple of 8?
True
Suppose 4*b = n - 111, -139 = -3*n + b + 194. Is 28 a factor of n?
False
Let d be 40/(1 + 0/(-1)). Let c = -18 + d. Is (-1 + c)/(15/40) a multiple of 18?
False
Suppose -5*j = 3*s + 40, -s + 0*s = 5. Let a be 1 - (3 + 1 + j). Suppose 96 = a*p + 2*p. Is 8 a factor of p?
True
Suppose 4*n + 28 = 4*x, 3*n = 5*x - 43 + 6. Let z be ((-129)/12)/(x/(-32)). Let c = -15 + z. Is 4 a factor of c?
True
Let n = -453 - -756. Is 33 a factor of n?
False
Suppose z = -5*x + 601, -3*x = -2*x + 2*z - 113. Let c = -73 + x. Is 16 a factor of c?
True
Suppose 40*b - 49*b + 1134 = 0. Does 42 divide b?
True
Suppose 22*n = 30*n - 12664. Is 63 a factor of n?
False
Suppose 3*n + 4*h = 5*n - 16, 0 = -2*h - 2. Let c(s) = s - 7. Let f be c(n). Is 5 a factor of (-2)/(2/13)*f?
False
Let g(x) = -x**3 - 7*x**2 - 107*x - 29. Does 16 divide g(-11)?
True
Let s = 8 - 8. Suppose 2*m - 5*i + s*i - 31 = 0, -2*i - 109 = -5*m. Suppose -m = -b + 5*l, -l = 3*l. Does 13 divide b?
False
Let z(m) = -m**3 + 18*m**2 - 18*m + 38. Let r be z(17). Let l = r + -10. Is 3 a factor of l?
False
Let r(z) = -113*z - 11. Let t be r(-7). Suppose 4*n - 6*n = -x - 303, -5*n - 5*x = -t. Is 51 a factor of n?
True
Let w(u) = -6*u**2 + 4*u + 38. Let o(h) = -h**