-123 = -7*w + n. Is 9 a factor of w?
False
Suppose 54 = 2*g - 3*h - 2, -4*g = -h - 112. Does 14 divide g?
True
Let g be (3 - 5)/(4/(-6)). Let u = g + -4. Does 12 divide u/(-2) + (-65)/(-2)?
False
Let a(q) = q**2 + 15*q - 20. Let w be a(-16). Let h be (-6)/w*(26 - 24). Suppose 4*d + 3*b = 114, -3*d - h*b = -b - 85. Is 27 a factor of d?
True
Suppose -v - 752 = -3*n + 1302, -4*n + 2730 = 3*v. Does 14 divide (10/(-15))/((-8)/n)?
False
Let q be -3 - (-1 - 7/1). Let l(v) = v**2 - 3*v - 1. Let m be l(q). Let r(a) = a**2 - a - 6. Is r(m) a multiple of 14?
False
Let i be (-2)/(-11) + (-422)/22. Let j = i + 24. Suppose 34 + 46 = j*p. Does 10 divide p?
False
Let m = -352 + 523. Does 19 divide m?
True
Let b = 17 + -19. Let m = b + -18. Does 12 divide -4 + (-4 - -5 - m)?
False
Let z(c) = 10*c + 188. Let k(m) = 11*m + 190. Let p(w) = -3*k(w) + 4*z(w). Is 13 a factor of p(0)?
True
Let y be -2 + 0 - (13 - 3). Does 24 divide y*(595/10)/(-7)?
False
Let x(c) = 108*c**2 + 29*c + 3. Is x(-2) a multiple of 13?
True
Suppose 0 = -f - 3, 3*x - 8*x - 165 = 5*f. Let w = x - -29. Does 23 divide (-23)/(-1)*(-2)/w?
True
Suppose -5*g + 535 = 265. Is 9 a factor of g?
True
Suppose 6*m + 4*m = 2820. Does 47 divide m?
True
Let i(b) = 9*b**3 + 4*b**2 - 7*b - 1. Does 17 divide i(3)?
False
Let x be (-2)/11 - (-123)/11. Suppose 3*i - 1 = 5*z - x, 0 = 5*i. Suppose -5 = 5*r, 3*n + z*r - 66 = n. Does 17 divide n?
True
Let l be -15 + 11 - (1 + -8). Suppose 0 = -l*v + 6*v - 180. Is 15 a factor of v?
True
Let d(p) = -p**3 - 11*p**2 - 17*p - 6. Let s be d(-11). Suppose 0 = -3*z + s - 31. Does 5 divide ((-140)/z)/((-4)/10)?
False
Suppose -m - 4*k + 21 = 0, 5*m - 5*k - 7 + 2 = 0. Suppose -4*l + t + 244 = 0, 5*l - 189 - 91 = -m*t. Does 10 divide l?
True
Let m(j) = 33*j + 33. Is 65 a factor of m(6)?
False
Let a(i) = -2*i - 1 - 3 - 2*i - 4*i. Does 3 divide a(-2)?
True
Let m be 1 + -1 + (2 - -36). Suppose 2*q = -v - v + 8, -16 = -4*v - 3*q. Suppose -2*l = -v*g - 28, -l - 4*g + m = -0*g. Is l a multiple of 22?
True
Let q(w) = w**3 + 5*w**2 - 2*w - 5. Let b = 11 - 17. Let y be q(b). Is (y/(-2))/(13/26) a multiple of 6?
False
Suppose 4*x + 72 + 36 = 0. Let l = -3 - x. Does 24 divide l?
True
Let h = 572 + -527. Is 3 a factor of h?
True
Suppose -267 - 524 = -3*b - p, -b + p = -269. Is b a multiple of 5?
True
Suppose -1305*o = -1287*o - 10656. Is o a multiple of 8?
True
Let d(r) = -19*r**3 + 1. Let i be d(-1). Suppose 0 = 2*g + a - 10, 3*a + i = 5*g - g. Is 2 a factor of g?
False
Is 12 a factor of (5/5*-2)/1 + 1082?
True
Let g(t) = 84*t - 24. Is g(3) a multiple of 20?
False
Suppose 486 = -a + 10*a. Is 1 + 26/3 - (-18)/a even?
True
Let x(f) = 2*f - 4. Let g be x(3). Suppose -172 = -g*i - 22. Does 12 divide i?
False
Let k be 6/(-57) - (-156)/38. Suppose 3*g = -3*u + 192, 68 = u + k*g - 5*g. Does 11 divide u?
True
Let g = -586 + 2086. Suppose -u - g = -6*u. Suppose 0*n = -4*n + u. Does 15 divide n?
True
Does 37 divide (888/(-10))/4*(13 - 18)?
True
Suppose 5*p = 7 + 18. Suppose 4*n = 12, m - p*n + 15 = 3*m. Suppose 5*c - 168 + 53 = m. Is 5 a factor of c?
False
Let o(w) = -w**3 + 10*w**2 + w - 4. Let y be o(10). Does 21 divide ((-4)/((-48)/255))/(y/24)?
False
Let m(h) = -h - 1. Let n be m(6). Let q = n - -9. Suppose -3*b - 5 = 2*b, -b - 105 = -q*z. Does 7 divide z?
False
Suppose 3*z + 0*z + 30 = 0. Let s be 51/34*(z + 0). Is (-3)/15 - 258/s a multiple of 17?
True
Does 45 divide (-6)/1*30465/(-270)?
False
Suppose 11*y = 6*y + 1030. Suppose -3*d - 5*i = -298, 3*d - 72 = 5*i + y. Suppose -5*f + d + 35 = 4*t, 0 = -3*t + 12. Is 4 a factor of f?
False
Suppose -5*v - 199 = 186. Let a be v/42 + (-1)/6. Let w = a + 11. Is w a multiple of 2?
False
Let f(u) = -u**2 - u + 8. Let d be ((-27)/(-6))/((-1)/(-2)). Let a be f(d). Is 19 a factor of -3 - 3/6*a?
True
Let w(l) = l**2 + 6*l - 4. Let v be w(-7). Suppose 5*t + 13 = -g, 0 = -2*g + t + v*t - 54. Let u = g + 36. Is 4 a factor of u?
False
Let k(s) = s - 2. Let g be k(7). Let a(u) = -u**3 + u. Let i(f) = 6*f**3 - 7*f**2. Let t(m) = -5*a(m) - i(m). Does 7 divide t(g)?
False
Suppose 2*l + 4*q = 2*q - 80, -2*q = -2. Let i = 73 + l. Is 6 a factor of i?
False
Suppose a - 2 = -4*y, 2*a - 3*y + y = 14. Let s = 6 - a. Suppose -6*l + 2*l + 44 = s. Does 8 divide l?
False
Let g be ((-2524)/8)/(-1) - (-12)/(-8). Suppose -3*p + 517 = 4*z + z, 2*p = 3*z - g. Is 8 a factor of z?
True
Suppose -5*t = -8 - 17. Suppose 0 = -3*o + t*h + 22, o + 3*o - 21 = 5*h. Let v(f) = 26*f**2 + f. Does 8 divide v(o)?
False
Let a be (-3)/(-2) + 12/24. Suppose -3*u = 8*m - 3*m - 75, 4*m = -a*u + 58. Suppose -m*q = -14*q + 18. Does 9 divide q?
True
Let j = 10 - -50. Does 10 divide j?
True
Let i = 3718 - 2486. Suppose -9*k - i = -16*k. Is 16 a factor of k?
True
Let h(z) = -z**2 - 7*z + 9. Let d(a) = a**2 + 7*a + 9. Let g be d(-6). Let p = g - 9. Does 4 divide h(p)?
False
Let f = 5 - 0. Let p(z) = 5 + 1 + 2*z + 0. Is 16 a factor of p(f)?
True
Suppose 4*k = -a + 19, -3*a = -k + a + 26. Suppose 3*w + 63 = k*w. Suppose z - w + 6 = 0. Does 5 divide z?
True
Let q(p) = -p**2 - 8*p + 13. Let z be q(-9). Suppose 2*d - 298 = -v, z*v - v = -d + 159. Suppose -38 = -5*t + d. Is t a multiple of 10?
False
Let w(t) = -t + 7. Let h be w(3). Suppose -h*s = -3*q - 353, -5*q - 359 = -3*s - 108. Let b = s + -57. Is 11 a factor of b?
False
Suppose -2*f + f - 1 = 0. Suppose -5*x = x. Is (-2 - x)*(f - 29) a multiple of 15?
True
Does 25 divide (-38262)/(-38) + 20/190?
False
Let v = 185 - -259. Is 43 a factor of v?
False
Suppose 3*f = 5*f - 68. Let g = 20 - f. Is 412/28 + (-4)/g a multiple of 8?
False
Suppose -4*y - 9 = -j, 4*j + 5*y = 2 - 50. Let q(w) = -w**3 - 10*w**2 + 6*w - 3. Let r(c) = c**2 - c. Let d(b) = -q(b) - 3*r(b). Is 24 a factor of d(j)?
True
Let x(q) = -139*q. Let w be x(1). Let g = -61 - w. Suppose -5*k + 5*c = -75, -5*k - 5*c + g = -k. Is 5 a factor of k?
False
Suppose -3*j = d - 133 - 226, 2*j - 2*d = 226. Is j a multiple of 7?
False
Suppose 27 = -2*o - 63. Let n = o + 55. Does 5 divide n?
True
Suppose -o = 3*k - 7, 15*k - 20*k - 62 = -4*o. Does 13 divide o?
True
Suppose 4*y + 5*i - 92 = 0, y + i + i = 26. Does 17 divide y?
False
Let l(r) = 4*r**3 - 3*r**2 + 4*r - 6. Let m(i) = -i**3 + i - 1. Let y(a) = -l(a) - 5*m(a). Is 15 a factor of y(6)?
False
Let g be 2*(-4 + 33/6). Suppose g*w = 2*c - 5*c + 531, c = 3. Is w a multiple of 11?
False
Let o(q) = 4*q**3 - 4*q**2. Let k be o(4). Suppose -2*i + k = 2*i. Does 6 divide i?
True
Suppose 3 = -13*q + 14*q. Suppose 8*t = -x + q*t + 97, 0 = x + 2*t - 97. Does 14 divide x?
False
Suppose 142 = -5*q + 6*q. Suppose -3*u + q = 2*b, 0*u + 62 = b - 3*u. Suppose -y - y + 42 = 3*g, -4*y + b = -2*g. Is y a multiple of 18?
True
Let l(d) = -14*d**2 + 6. Let k be l(-3). Is 11 a factor of (-827)/(-15) - (-16)/k?
True
Let c(g) = -14*g + 3. Let y(d) = -14*d + 2. Let i(u) = 6*c(u) - 7*y(u). Does 10 divide i(8)?
False
Let m(g) = g**3 - 5*g**2 + 3*g - 12. Let r be m(5). Suppose -3*s - 2*s - r*u + 270 = 0, 5*s - 270 = 3*u. Is s a multiple of 9?
True
Let z(x) = x**2 + 48*x + 208. Is z(-46) a multiple of 3?
False
Let b be 2 + (-272)/(-6) + 6/9. Let j = b + 42. Is j a multiple of 30?
True
Let t(z) = z**3 + 31*z**2 + 82*z - 4. Is 3 a factor of t(-27)?
False
Suppose 5*f - 2*f = -150. Let i = 112 + f. Does 15 divide i?
False
Suppose 2134 = 2*a + 5*l, 5*l + 3500 + 1905 = 5*a. Is a a multiple of 8?
False
Suppose -6 = w - 3, -3*c + w = -573. Does 19 divide c?
True
Let k = 31 + -29. Suppose -13 - 19 = -k*y. Is 5 a factor of y?
False
Is 2 a factor of ((-9)/((-108)/(-4512)))/(1/(-1))?
True
Suppose -300 = -5*a + 660. Is a a multiple of 54?
False
Suppose 0*k + 15 = -5*k. Let t = k + 3. Suppose -3*a + 3 = t, -a = -2*q + 2*a + 33. Is 7 a factor of q?
False
Suppose -2649*p = -2641*p - 1520. Does 20 divide p?
False
Let i = -1 - -4. Suppose p + 13 = 5*y, 3*y - i + 4 = 5*p. Suppose n - 3*s = 4*n - 69, -3*n = p*s - 64. Is 17 a factor of n?
False
Let l(r) = r - 9. Let z be l(11). Suppose -z*x = 4*h + 54 - 10, -h = -4*x - 7. Is 7 a factor of ((-256)/(-12))/((-6)/h)?
False
Let g = 236 - 143. Is g even?
False
Let c = 28 + 68. Does 7 divide c?
False
Let s = 78 + 172. Is s a multiple of 10?
True
Suppose -n - 10 = -3*n. Suppose 2*b - n*h - 186 = 0, 3*b - 2*h - 218 = 72. Is b/21 - 2/3 a multiple of 4?
True
Let d =