3*k - 2. Does 9 divide w?
True
Suppose l + 32 = 5*r, 0 = r - 3*l + 8 - 20. Is 9 a factor of (r - 0)*585/26?
True
Suppose 2*v = -v - 5*o + 192, -5*o = -4*v + 256. Suppose 0 = -7*p + 8*p - v. Is p a multiple of 38?
False
Suppose 5856 = -3*d - j + 14772, -2*j = d - 2967. Is 77 a factor of d?
False
Suppose 0*f = -3*f + 2*i + 127, 5*f - 220 = 5*i. Let c = f + -18. Is 6 a factor of c?
False
Let d be (6/2*7)/3. Suppose 2*t = 73 - d. Does 8 divide t?
False
Let n = 0 + 0. Suppose x - 23 = 3*k, 0 = -n*k + 4*k - 5*x + 49. Does 2 divide 3/((-2)/(8/k))?
True
Is (-2)/(-8) + 11381/76 a multiple of 5?
True
Suppose 4*r = -r - 5*d + 5035, 5*r - 5042 = 2*d. Suppose 10*f - 4*f - r = 0. Is f a multiple of 21?
True
Let k be (3 + (-1 - 3))/(-1). Suppose 4*u - k = 11. Suppose -36 = u*n - 204. Is 12 a factor of n?
False
Is ((-15)/6)/((-1588)/264 + 6) a multiple of 55?
True
Is (728/(-21))/((1/(-9))/1) a multiple of 39?
True
Let p = -1759 - -3154. Does 31 divide p?
True
Let i = -207 - -879. Does 42 divide i?
True
Is 50 a factor of 21010/105 - (-20)/(-210)?
True
Suppose -4*h + c - 313 = -8*h, -h - c + 79 = 0. Is (5/((-40)/h))/(6/(-104)) a multiple of 22?
False
Suppose 1 = m - 3. Suppose n = 5*n + k - 245, 2*n - 112 = -m*k. Is 31 a factor of n?
True
Suppose 0 = -22*m + 8041 + 35541. Is 13 a factor of m?
False
Let a(h) = -h**3 + 10*h**2 + 7*h - 5. Suppose -4*o + 30 = -2*t, t - 10 = -t. Does 8 divide a(o)?
False
Let g = 254 - 61. Let k = 299 - g. Is k a multiple of 18?
False
Let w(t) = -t**2 + 7*t + 4. Let n be w(7). Suppose -44 = -n*p + b, -3*p + b + 3*b = -46. Does 6 divide p?
False
Does 40 divide 24/15 - 51552/(-30)?
True
Suppose -4063 = -5*n + 4*s, -9*n + 5*s + 821 = -8*n. Is 9 a factor of n?
False
Let s = -718 + 870. Is s a multiple of 108?
False
Suppose -49*p - 7656 + 29706 = 0. Is p a multiple of 10?
True
Let r(p) = -226*p**2 + 238*p**2 + 1 + p**3 + 6 - 12*p. Does 26 divide r(-11)?
True
Let d = 262 + 671. Is 15 a factor of d?
False
Suppose 5*a + 614 = -3*z, 206 = -3*a - 4*z - 158. Let n(m) = -7*m + 24. Let o be n(14). Let j = o - a. Is j a multiple of 30?
False
Suppose -3*q + 106*a = 111*a - 1109, q = a + 383. Is 45 a factor of q?
False
Let j be (-19)/(-4) + 3/12. Suppose 4*l - 17 = -j. Suppose 2*o + r - 60 = 0, 0*o - l*o - r + 92 = 0. Does 11 divide o?
False
Suppose 2*d - 64 = l - 3*l, 0 = -l - 4*d + 38. Suppose 2*i - 26 = l. Is i a multiple of 14?
True
Let r = -2790 - -5148. Does 18 divide r?
True
Is (-2 - -58)*92/16 a multiple of 23?
True
Is (-150)/((-21)/(5 + 2)) a multiple of 25?
True
Let w(y) = -43*y - 2. Let s be w(-1). Suppose x - s = 50. Is x a multiple of 13?
True
Suppose 656 + 1605 = 7*t. Is 9 a factor of t?
False
Suppose f + 6 = -2*f, 2*x + 5*f - 2 = 0. Suppose x*n = 5*n + 2*j + 15, n - 45 = -4*j. Is n a multiple of 25?
True
Suppose -5*n - 326 = -4486. Is 21 a factor of (-3)/((-12)/n*2)?
False
Let x(v) = 33*v - 375. Is x(34) a multiple of 18?
False
Let d = -3 - 1. Let n(x) = -6*x - 20. Let a(v) = -7*v - 22. Let c(u) = 5*a(u) - 6*n(u). Is c(d) even?
True
Suppose 0 = 11*h - 23376 - 11164. Does 10 divide h?
True
Let t = 848 + -499. Is 8 a factor of t?
False
Let w(n) = n**2 - n + 3. Let p be w(0). Suppose -205 = p*z + k, 0 = 2*z - 4*k + 52 + 80. Let r = z + 97. Does 10 divide r?
False
Suppose 7*n = -12 + 33. Suppose n*k + 2*k = 2*s - 148, -5*s + 2*k + 349 = 0. Does 16 divide s?
False
Let g(l) = -l**2 - 4*l + 1. Let c be g(-3). Suppose z = 3*z - c. Suppose 0 = z*v + v - 135. Is v a multiple of 13?
False
Let q = -140 + 266. Suppose 4*z - 66 = q. Does 8 divide z?
True
Let t be -36 + 1*(4 - 5). Let o = t - -40. Suppose 5*s - 2*q = 418, 3*s - o*q - 254 = -q. Is 17 a factor of s?
False
Let j = -64 - -111. Suppose 5*t + j + 36 = 2*b, 3*b - 5*t = 127. Is b a multiple of 11?
True
Suppose 3*d - 3292 = -5*l, -652 = -l - 0*l + d. Suppose -h + 166 - l = -5*n, -3*n - h = -294. Does 7 divide n?
True
Suppose -97*i + 98*i - 522 = 0. Does 15 divide i?
False
Let v(c) be the first derivative of 2 - 1/3*c**3 - 15*c - 7*c**2. Is 17 a factor of v(-7)?
True
Let f = 5 + -3. Suppose f*k + 26 = 2*a - 2*k, 0 = k + 5. Suppose 4*g - 2*l = 256, 2*g = -a*g - 2*l + 338. Does 22 divide g?
True
Let y(a) = a - 3. Let t be y(8). Suppose t*m = 3*m. Suppose -d + 4*z + 53 = m, 0 = -0*d + d + 4*z - 37. Does 17 divide d?
False
Suppose -8*u + 852 + 780 = 0. Is u a multiple of 12?
True
Let h(s) = -s**2 + 3*s + 5. Let j be h(-3). Let u = 27 - -8. Let w = j + u. Does 11 divide w?
True
Suppose -8*r + 28*r - 30420 = 0. Is r a multiple of 39?
True
Suppose -2*v - 3*u - 53 = -7*v, 9 = v + u. Suppose 8*n - 10*n = -v. Suppose -3*d + n*a + 44 = 0, 0*d = 4*d - a - 53. Is d a multiple of 13?
True
Let c = -16 - -25. Let z = c - 3. Suppose -r - 115 = -z*r. Is r a multiple of 23?
True
Let g(c) = -c + 11. Let f be g(3). Suppose f*x + 452 = 1420. Does 30 divide x?
False
Let i = 2122 + -1317. Is i a multiple of 6?
False
Let l(w) = 2*w**3 + 2*w**2 - 3*w - 2. Let n be l(-4). Let p = 182 + n. Is p a multiple of 32?
True
Let c(j) = j**3 + 12*j**2 + 24*j + 58. Is 26 a factor of c(-6)?
True
Suppose -5*i + 10*i + 10 = 0, 2*j + 2*i - 540 = 0. Does 17 divide j?
True
Is 26 a factor of 14/6 - (-987408)/432?
True
Let b be (-4)/18 + (-2632)/63. Is 7 a factor of ((-4)/(-2))/((-3)/b)?
True
Let u = 84 + 562. Is u a multiple of 15?
False
Suppose 22*t - 25*t + 24 = 0. Suppose t*n - 131 = 349. Does 16 divide n?
False
Let p(q) = q**3 - 2*q**2 + 2*q - 1. Let r be p(2). Let m(o) = 33 - r*o**2 - 4*o**2 + 0*o**2 - 3*o + 6*o**2. Is 22 a factor of m(0)?
False
Let j = 764 + -663. Does 13 divide j?
False
Let g be ((-14)/21)/((-2)/(-3)). Is 13 a factor of g/6 + (-2023)/(-42)?
False
Suppose 2*t = 2*q - 72, -t = q - 10 - 18. Does 9 divide q?
False
Let b be (-6)/(-3)*(-30)/(-12). Is 8 a factor of 48/b + 12/(-20)?
False
Suppose -21*f + 20*f - t + 548 = 0, 3*t + 1662 = 3*f. Is 7 a factor of f?
False
Let u(g) = g**2 + 2*g. Let p = 13 + -18. Does 15 divide u(p)?
True
Let y = 1622 + -950. Is 21 a factor of y?
True
Suppose 3*c = w - 32, -2*w = 4*c - c - 46. Let m = 50 + w. Is 19 a factor of m?
True
Let q(x) = x**3 + 6*x**2 + 2. Let d be q(-6). Let t(s) = -s**2 + 1. Let r(i) = 6*i**2 - 3. Let y(n) = r(n) + 3*t(n). Is 12 a factor of y(d)?
True
Let n be (-312)/16 - 3/2. Let z = 26 + n. Is 2 a factor of z?
False
Suppose 5*r = 7577 - 22. Does 40 divide r?
False
Let f(w) = 2*w**3 + 6*w**2 + 3*w + 3. Let v be f(-4). Let i = v + 109. Is 17 a factor of i?
True
Let x be 8/(-8) + -1*(166 - -1). Is 25 a factor of (-8 + 3)*(x/10)/3?
False
Suppose -421 = -3*w + 3*c + 236, -5*w = 4*c - 1113. Does 13 divide w?
True
Suppose 3*j = m - 495, -24*j = 2*m - 23*j - 955. Is m a multiple of 30?
True
Let r(i) = 0*i - 4*i + 1 - 7*i. Let d be (5/50*-4)/((-6)/(-15)). Is r(d) a multiple of 4?
True
Let a be (-16)/(-4) - (-5 - -7). Suppose 4*f - 72 = -5*d, 36 = a*f - 0*f + d. Is 5 a factor of f?
False
Suppose 4*m - 104 = -2*x, -3*m + 92 = -2*x + 7*x. Let n = 23 - m. Let v = 39 + n. Is v a multiple of 6?
False
Let c = 9 - 5. Suppose 5*p + 85 = 3*h, c*h - 4*p - 102 = -3*p. Is h a multiple of 20?
False
Suppose 322 = -21*o + 1603. Does 2 divide o?
False
Let m = 9 - -64. Let r = 178 - m. Is r a multiple of 4?
False
Let p = 8 + 40. Let f = 1 + p. Does 2 divide f?
False
Let w = 225 + 22. Is 13 a factor of w?
True
Is (450/105)/(2/504) a multiple of 45?
True
Suppose 2*b + 2*k - 2212 = 5*k, -4*k = -4*b + 4420. Is 9 a factor of b?
False
Let s = -85 + -17. Let h = 174 + s. Does 16 divide h?
False
Is (-12)/(-18) - 15637/(-57) a multiple of 11?
True
Suppose 69 = -z + 2*l - 161, 1 = l. Let r be (z/(-6))/(2 - 0). Suppose -5*m + 281 = -3*g - r, 60 = m - 5*g. Is 15 a factor of m?
True
Suppose -8 = 15*u - 173. Suppose -u*c - 77 = -12*c. Is 7 a factor of c?
True
Let o = -6 - -2. Let q(d) be the second derivative of -d**5/10 - d**4/2 - 5*d**3/6 + 3*d**2/2 + 24*d. Is q(o) a multiple of 11?
True
Suppose 5 = -2*r - 3*b + 1366, -r + b = -668. Does 48 divide r?
False
Let v = -70 - -81. Does 2 divide v?
False
Suppose -3*h + 6*h + 6 = 0. Is (-1*h/2)/((-1)/(-19)) a multiple of 10?
False
Let v(t) = 4*t**2 - 1. Let n be v(-1). Suppose -3 = -3*l - 18, 4*k + l = 143. Suppose -3*d = -3*h + 141, 0*h - h = -n*d - k. Does 26 divide h?
True
Let j be (-7 + 4)*-3*(2 + -3). Suppose -2*i = -f - 11, -2*f + 4*i - 28 = 2*f. Is 