, -p*w + 5*k + 1 = -21. Is w a multiple of 11?
False
Let m = 158 + -95. Does 9 divide m?
True
Let b = -1 - -9. Is 6 a factor of (-4)/b - 94/(-4)?
False
Suppose 5*m = 2*m + 192. Does 8 divide m?
True
Suppose 2*i = -2*i + 96. Is 12 a factor of i?
True
Does 6 divide (-356)/(-20) + (-2)/(-10)?
True
Let b(t) = t**2 - 8*t - 1. Let j be b(8). Is 8 a factor of (j - 1)*(-2 - 3)?
False
Let g be (-11)/(-4) + 6/24. Suppose -56 = -v - g*v. Is 5 a factor of v?
False
Let i(d) = 6*d + 16. Let m be i(7). Is 25 a factor of (m/(-6))/(9/(-54))?
False
Let r be (-6)/(-21) - (-94)/14. Let v = r - 4. Suppose 5*u + p - 6*p = 50, -v*u + 51 = 4*p. Does 7 divide u?
False
Suppose 5*y + 61 = z, 5*z - 137 = 3*z + 5*y. Let a = -121 - -67. Let p = a + z. Does 11 divide p?
True
Let x be (6 + -2)/(-1 + 2). Let a(i) = 4*i - 8. Let t be a(9). Suppose 12 + t = x*s. Is 5 a factor of s?
True
Suppose -4*v = -2*o - 180, 0 = -3*v - 2*o + 4*o + 134. Is 11 a factor of v?
False
Let f(k) = 2*k - 6. Let j be f(5). Suppose 597 = 5*p + j*x, 595 = 5*p - 2*x + 7*x. Suppose 2*d + 64 = 2*c, 3*d - 23 = -5*c + p. Is 15 a factor of c?
True
Let w = -19 + 36. Let v(i) = 4*i - 15. Let d be v(4). Let z = w + d. Is z a multiple of 9?
True
Let m be 2/8 - (-444)/16. Suppose -x + 11 = -4. Let v = m + x. Is 16 a factor of v?
False
Is 28 a factor of (-70)/(-4)*(3 - 13)/(-5)?
False
Let m(h) = -h**2 + 5*h + 8. Let y be 6 - (4 + -2 + -2). Let k be m(y). Let d = k + 26. Is 14 a factor of d?
True
Suppose 5*u - 566 = -141. Suppose -5*l = -45 - u. Is l a multiple of 18?
False
Suppose 3*p - 1 - 2 = -3*o, -2*o + 3*p + 7 = 0. Suppose -3*n = o*h - 38, -h + 33 = -0*h + 5*n. Is 6 a factor of h?
False
Does 12 divide 134/8*(-6 + 0)*-2?
False
Suppose 5*f - 360 = -f. Does 10 divide f?
True
Suppose 0 = 2*z + k + 3*k - 14, k = 4. Let t(r) = 3*r**2. Let d be t(z). Is 51/d + 1 + 0 a multiple of 9?
True
Let f(i) = -i**3 + 16*i**2 + 5. Let w be f(16). Suppose 2*k + w*b - 46 = 0, -122 = -5*k - 5*b + 23. Does 12 divide k?
False
Let d(t) = -t**2 - 11*t - 12. Let o be d(-9). Does 5 divide 81/o*(-6)/(-9)?
False
Let k(s) = s - 8. Let q be k(6). Let b(d) = -2*d + 27. Let a(l) = l - 27. Let o(p) = q*b(p) - 3*a(p). Is 9 a factor of o(0)?
True
Suppose l - 52 = -l. Does 13 divide l?
True
Let a be (1/(-3))/((-1)/9). Suppose -28 = a*w + 23. Is 0 - 1 - 1*w a multiple of 10?
False
Suppose -6 = -3*h - v, 2*v + 10 = h + 1. Let s be (1 + 0)*h + -1. Is 1 + 33 - s/(-1) a multiple of 18?
True
Let a be (-2)/3*(-8 + -1). Let k(b) = 4*b - 6. Is 18 a factor of k(a)?
True
Let h = -3 + 8. Suppose 4*w - 5*b - 69 = 0, 0 = -h*w + 3*b - 0*b + 83. Does 5 divide w?
False
Suppose 0 = -3*z - 3*o - 0*o + 57, 0 = 3*z + 5*o - 65. Is z a multiple of 13?
False
Let i(j) = -j**3 + 2*j - 21. Let p be i(0). Let s = p - -43. Is 4 a factor of s?
False
Let v(l) = 4*l + 6. Let h(i) = 5*i + 5. Let o(d) = 5*h(d) - 4*v(d). Is 4 a factor of o(1)?
False
Suppose -4*g + 85 = g. Does 17 divide g?
True
Let z be (-7 - -1)*(-3)/9. Let f be (-1)/z + (-362)/(-4). Suppose 4*n - f = n. Is 15 a factor of n?
True
Let n = 19 + -12. Let f(c) = c**2 - 9*c + 16. Is f(n) a multiple of 2?
True
Let x = -56 + 101. Is 9 a factor of x?
True
Suppose 10*y + 525 = 1945. Is y a multiple of 27?
False
Suppose 0 = -3*g + 11 + 1. Suppose -34 = -g*c + 42. Is 5 a factor of c?
False
Let w = 1 - 2. Let h be 1/w + -6 + 5. Let b = h + 6. Does 2 divide b?
True
Let v(u) = 2*u**2 + u + 14. Let a be v(-11). Let w = -157 + a. Suppose -4*i + w = -2*y - 112, 8 = -2*y. Is 16 a factor of i?
True
Suppose 4*t - 59 + 23 = 0. Suppose -t = 3*h, -5*q + h + 321 = -h. Is q a multiple of 13?
False
Let w = -82 + 117. Does 7 divide w?
True
Suppose -2*d + 268 = -2*q + 4*q, -q = 3*d - 400. Is 19 a factor of d?
True
Let n = 85 - 7. Is n a multiple of 13?
True
Let l(d) = d**3 + 2*d**2 - 3*d - 3. Let j be l(-3). Let r = j + 9. Does 9 divide (-254)/(-10) + r/(-15)?
False
Suppose g - 915 = -4*g. Is 35 a factor of g?
False
Suppose -15 = -0*a - 3*a. Suppose 2*p + 2*y = 3*p + 9, -a*p - 5*y + 30 = 0. Does 19 divide 1/((4 - p)/57)?
True
Let t = 1 - -26. Is t a multiple of 10?
False
Suppose 0 = -2*s - 2*s. Let i be 26/(1 + 0) - 1. Suppose -n + i = -s*n. Does 10 divide n?
False
Let c = -304 + 597. Does 43 divide c?
False
Let a be (-8 - -2)*(-1)/2. Let z = 2 - -18. Suppose -a*m + 30 = -0*m - 4*i, 0 = 2*m + 4*i - z. Does 5 divide m?
True
Suppose -5*t + 327 = -3. Let l = t + -44. Does 22 divide l?
True
Let p(k) = 29*k - 14. Is p(4) a multiple of 17?
True
Let a(o) = o + 4. Let h be a(-2). Suppose 0 = 4*r + h*d - 12, r + 9 = 4*r - 3*d. Is 3 a factor of (6/4)/(r/6)?
True
Let c(z) = -15*z - 5. Is c(-3) a multiple of 26?
False
Does 7 divide (84/(-16))/((-2)/16)?
True
Suppose -3*d + 2*g + 446 = 0, -42 - 546 = -4*d + 4*g. Does 8 divide d?
True
Let d = -3 - -2. Let o = 778 + -546. Is o/6 - d/3 a multiple of 14?
False
Let f(k) = -k**3 - 7*k**2 - 9*k. Let v be 17/(-3) + (-6)/18. Does 12 divide f(v)?
False
Let m = -31 + 17. Let z = 5 - m. Is 4 - 5 - z*-1 a multiple of 17?
False
Let z(h) = -7*h**3 + 8*h**2 - 5*h + 1. Let j(m) = m**3 - 1. Let x(l) = 6*j(l) + z(l). Is 9 a factor of x(7)?
True
Let c(y) = -4*y + 7. Let w(z) = z + 1. Let t(d) = -c(d) - 3*w(d). Let l be t(10). Suppose l*u = -3*u + 30. Is u a multiple of 5?
True
Suppose -2*z + 3*j = 2*z - 15, 2*z - 24 = -4*j. Suppose -4 = -2*m + z. Suppose 4*w = -2*v + 110 + 118, m*v - 10 = 0. Does 28 divide w?
True
Let w be (-15)/10*(-52)/6. Suppose 0 = -4*g + w - 1. Is g a multiple of 3?
True
Suppose 5*t - 12 - 28 = 0. Suppose -3*r - 8 = -4*m + 152, 0 = 2*r - t. Suppose -12 = -5*d + m. Does 11 divide d?
True
Let m = 270 + -12. Does 43 divide m?
True
Suppose 0*b - 2*b + 12 = 0. Does 6 divide b?
True
Let b = -31 + 128. Is b a multiple of 17?
False
Suppose 399 = -0*w + 7*w. Is 33 a factor of w?
False
Let y = 2 + -5. Let h be 4/2 + (y - -6). Suppose -449 = -h*w - 84. Is w a multiple of 25?
False
Let y(c) = 98*c**2 - c - 1. Does 28 divide y(-1)?
False
Suppose -4*p + p - b + 290 = 0, -b + 2 = 0. Does 17 divide p?
False
Suppose -191*b + 188*b + 99 = 0. Does 3 divide b?
True
Suppose -2*x + 29 = -27. Is 14 a factor of x?
True
Does 17 divide (-12)/(-20)*122 + 2/(-10)?
False
Let r(i) = -i**2 - 3*i - 2. Let s be r(-5). Let g(f) = -13*f**3 - f**2. Let t be g(1). Does 6 divide (-21)/(-3)*s/t?
True
Does 14 divide (3/(-2) - -1) + (-2277)/(-18)?
True
Suppose -5*n + 200 = -n. Let h = n + -27. Is 12 a factor of h?
False
Let l(p) = -6*p - 1. Let j be l(-1). Suppose -j*n + 3 = -4*n. Is 8*n/12*6 a multiple of 6?
True
Let q(z) = -z**3 + 6*z**2 + 8*z - 1. Let t be q(7). Let p be 2 + -3*(-4)/t. Suppose n - 4*f = 2, 0 = -p*n - 4*f + 40 - 12. Is 3 a factor of n?
True
Let u(g) = g**3 + 8*g**2 - 12*g. Is 8 a factor of u(-9)?
False
Let x be ((-6)/(-9))/(2/(-33)). Is (-22)/(-4)*(x + 13) a multiple of 11?
True
Let h(i) be the second derivative of -i**5/20 - i**4/4 - 2*i**3/3 + i**2/2 + 4*i. Is h(-4) a multiple of 11?
True
Let w(v) = v**3 - v**2 + v + 12. Let o be w(0). Suppose -12 - o = -3*a. Is a a multiple of 8?
True
Suppose 9*k - 359 = 289. Is 16 a factor of k?
False
Is (-1)/(-3 - 490/(-164)) a multiple of 17?
False
Let j(l) = -l**2. Let m be j(2). Let y be (13/3)/(m/48). Let n = 95 + y. Is n a multiple of 19?
False
Let t be 0/(7/((-7)/2)). Suppose -3*l - 3*v + 210 = t, -5*l + v = -v - 336. Does 21 divide l?
False
Let y(i) = i**3 + i**2 - 2*i + 4. Let a be y(-3). Let f be 2/a - 85/(-4). Let c = 11 + f. Is 13 a factor of c?
False
Suppose 4*t - 5*x = -51, 0*t + t + x = -24. Let c = t - -33. Does 9 divide c?
False
Suppose -3*w - 72 + 218 = 4*l, -2*w + 88 = -2*l. Suppose -2 = n, 6*y = 3*y - n + w. Is y a multiple of 5?
False
Let b = 250 - 83. Suppose -b = -2*n - 47. Suppose -4*c = -c - n. Is c a multiple of 10?
True
Let w be 51/(-1 + 3 - 1). Suppose 3*o = 5*y + o - w, 3*o = -4*y + 50. Is 6 a factor of y?
False
Suppose -4*x = -0*x - 404. Is 22 a factor of x?
False
Let r be ((-2)/4)/(5/(-40)). Suppose -3*v + 15 = -2*g, 3*v - r*g = 2*v + 15. Does 3 divide v?
True
Suppose 2*r + 26 = 80. Is -2 - ((-3)/(-3) - r) a multiple of 12?
True
Let l(i) = -4 + 9*i - 3*i - 3. Let f be (-2)/8 - (-42)/8. Does 8 divide l(f)?
False
Let k(i) = i**3 + 4*i**2 + 2*i - 1. Suppose -x - 3*y + 13 = -0*x, -3*y + 19 = -2*x. Let b be k(x). Suppose -3 = -b*z - 5*s, 3*z - 4*s - 24 =