 = -4*o - x + 38 + 250, -5*x = o - p. Does 8 divide o?
False
Suppose -2*m = c - 10, 3*m - 1 = 4*c + 3. Does 9 divide 1/(c/(-6)) - -73?
False
Suppose 4*g = 16, -4*g = -5*s + g + 1150. Is 26 a factor of s?
True
Let g = 70 + -179. Let j = g - -308. Does 13 divide j?
False
Suppose -15769 - 1638 = -13*o. Does 103 divide o?
True
Let p(b) = -3*b - 19. Let j be p(-8). Let x be (j + -9)/(4/(-190)). Let n = -133 + x. Is 19 a factor of n?
True
Suppose 0 = 3*x - 5*y - 179, 2*x - 27 = -2*y + 103. Does 22 divide x?
False
Let w = -1431 + 2406. Is 72 a factor of w?
False
Suppose 0 = 19*c - 20*c + 10. Let z(p) = -p**2 - 3*p + 4. Let b be z(-4). Let q = c - b. Does 10 divide q?
True
Let v(j) = 2*j + 35. Let a be v(-17). Is a/(2/52) + 2 + 0 a multiple of 28?
True
Suppose -4*f + q = 81, 72 = -0*f - 4*f + 4*q. Suppose -4*g - 47 = 77. Let w = f - g. Is 4 a factor of w?
False
Suppose -3*p + 6*p - 336 = 0. Let o = 157 - p. Is 5 a factor of o?
True
Suppose g - 12 = -4*p, -12 = -p + 3*g - g. Suppose -p*o + 30 = -18. Suppose m - 36 = -j, 0 = -5*m + 2*m + o. Is 15 a factor of j?
False
Let m = 23 - 20. Suppose 0*p + m*i = -4*p - 3, -2*p + 11 = -i. Suppose t - 6 - 4 = -p*k, -4*k - 17 = -t. Does 8 divide t?
False
Let v = 9 - 4. Is (-88)/(-5) + 2/v even?
True
Suppose -4*c - 29 - 71 = 0. Let n = 9 + c. Is n/14*(-7)/2 a multiple of 3?
False
Suppose 0 = 3*f + 2*j - 29, -3*j + 0*j = 4*f - 37. Is f a multiple of 2?
False
Is 1602*4*(-4)/(-12) + -4 a multiple of 26?
True
Let w be (-2)/12 + 1819/(-102). Let i = 23 + w. Suppose -3*j = i*b - 603, 2*j + 247 + 231 = 4*b. Does 15 divide b?
True
Let i(l) = -l + 2. Let o be i(-8). Let b = 8 - o. Is ((-3)/1)/(b/12) a multiple of 9?
True
Let a = 1934 - -10. Does 18 divide a?
True
Let y(b) = 12 + 18*b**2 - 37*b**2 - 10*b + b**3 + 14*b**2. Is y(7) a multiple of 5?
True
Suppose -32*n + 35*n = 369. Does 5 divide n?
False
Suppose 3*k = -5*s + 2, -s + 3*k = 4*s + 22. Let f = 49 + s. Is f a multiple of 32?
False
Is 27 a factor of 4/(-22) - (-872)/(-176)*-18?
False
Let t(h) = 2*h + 10. Suppose -66 = 3*w + 3*w. Let f = 26 + w. Is 8 a factor of t(f)?
True
Is 4 a factor of 35/14*(-4706)/(-65)?
False
Is 8 a factor of (((-4)/(-3))/(4/8136))/1?
True
Let x(j) = j**2. Let c be x(0). Let f(u) = -10*u**2 + 10*u - 54. Let w(b) = 3*b**2 - 3*b + 18. Let r(m) = 2*f(m) + 7*w(m). Is 18 a factor of r(c)?
True
Suppose 2*q + 4 = -5*z + 22, 3*z = -2*q + 14. Let t(x) = -2*x**2 + 5*x + 1. Is t(z) even?
False
Does 22 divide (-4415)/(-40) - (-9)/(-24)?
True
Let s(n) = -5*n - 8. Let b(z) = -z**3 - 14*z**2 + z + 1. Let j be b(-14). Let i be s(j). Suppose -y - i = -4*y. Is 13 a factor of y?
False
Suppose 260 = 5*f - 740. Suppose 3*z - f = -20. Does 12 divide z?
True
Suppose -110 = -4*o + 162. Does 17 divide o?
True
Suppose 15 = f + 11. Suppose f*g - g - 222 = 0. Is 16 a factor of g?
False
Suppose -6*g + 4*g = 2*x - 22, 2*g - 3*x - 2 = 0. Is g a multiple of 6?
False
Let f be -5*-9*66/9. Suppose -8*v + f = -214. Does 34 divide v?
True
Let f = -235 + 419. Suppose -16 - f = -5*u. Is 8 a factor of u?
True
Suppose 2*u + 114*u = 313200. Is 90 a factor of u?
True
Let t = 54 - 49. Suppose 3*g + 6 = 3*m, t*m + 0*g + 2*g - 10 = 0. Is m a multiple of 2?
True
Suppose 7*g - 108 = 8*g. Let x = g - -261. Let u = x - 102. Is u a multiple of 17?
True
Let v = 193 - -183. Does 59 divide v?
False
Suppose -5*m - 4*n + n = -4070, 4*m + 3*n = 3253. Is 20 a factor of m?
False
Let f be (-2)/(-3) + 413/(-21). Let h = f + 31. Is 2/(-1)*(-174)/h a multiple of 13?
False
Let o(f) = -342*f - 94. Is 30 a factor of o(-2)?
False
Suppose 122 + 42 = 4*c. Let w = c - -13. Is w a multiple of 10?
False
Does 11 divide (-30)/(-5) + 71*1?
True
Suppose -o + 978 = -426. Is 12 a factor of o?
True
Let r = -23 + 26. Suppose -4*s = 4*f - 3*f - 137, 0 = -r*s + 5*f + 120. Does 11 divide s?
False
Let r be -2 - -4 - (-19 - 8). Is r*((-8)/(-4))/2 a multiple of 6?
False
Let o(z) = 12*z - 27. Let h be o(3). Let p = 3 - 6. Is 4 + p + h + 2 a multiple of 6?
True
Suppose 2*s + 5*n = -17, -2*s + n + 0*n + 13 = 0. Let t(y) = y**2 + 6*y + 3. Let g be t(-6). Suppose s*l + 5*f - 62 = 79, -9 = g*f. Is l a multiple of 14?
False
Suppose -20*c + 562 = -18*c. Is c a multiple of 6?
False
Let p(m) = -19*m - 8. Let o be (-35)/10*(-4)/7. Suppose 0 = -o*z + z - 4. Does 22 divide p(z)?
False
Suppose 0 = i, 0 = -5*o - 2*i - 0*i - 15. Let z be 3/(o/(-2))*12. Is (1 + 1)/(4/z) a multiple of 6?
True
Let k(j) = j**3 + 9*j**2 + 5*j - 10. Let u be ((-20)/5)/((-1)/(-2)). Let b be k(u). Let w = 6 + b. Is w a multiple of 19?
False
Let j(q) = 28*q - 2. Suppose 3*r - 3 + 1 = -4*n, -r = -2*n + 6. Does 16 divide j(n)?
False
Let o(z) = -z**3 + 14*z**2 + 20*z + 11. Let h(l) = -l**2 - 9*l - 3. Let p be h(-6). Is o(p) a multiple of 31?
False
Let o(t) = t**3 + 9*t**2 + 13*t + 3. Let f be o(-6). Suppose -95 = -2*h + f. Does 31 divide h?
False
Let z = 1050 + -375. Is z a multiple of 27?
True
Is 13 a factor of (-1)/((-8)/(7701 + -5))?
True
Let b = 2 - 2. Let k be b/(0 - 0 - -1). Suppose k = 3*x - 23 + 8, -118 = -3*v - 2*x. Is 9 a factor of v?
True
Let v = -653 - -305. Let b = v + 552. Does 17 divide b?
True
Let p be (36/(-45))/((-2)/5). Suppose -4*q + 3 = p*c - 47, 0 = -4*q - 4*c + 60. Suppose v + 2*t - t - q = 0, 2*v + t - 17 = 0. Does 2 divide v?
False
Suppose 0 = -q - w + 2, -q - 6 = -4*q + 2*w. Suppose 16 = q*k + 2. Is k a multiple of 7?
True
Suppose -17*n = n - 1656. Is 4 a factor of n?
True
Suppose g + 2*g = -4*b + 69, -5*g + 13 = b. Suppose 3*y + 3*s - 6 - b = 0, -4*y = s - 20. Suppose y*p + 23 = 63. Is 3 a factor of p?
False
Let n(f) = 3*f**3 - 118*f**2 + 50*f + 71. Does 10 divide n(39)?
True
Suppose -2*h = -5*v - 178, 2*v + 289 = 4*h - h. Is 13 a factor of h?
False
Let b(n) = -3*n**3 - 3*n**2 + 13*n + 6. Let x be b(-4). Let k = x + -57. Does 10 divide k?
False
Is 3 a factor of (-14)/35 - (-6976)/40?
True
Let k = 801 + -593. Suppose 5*m = -587 - 153. Let o = m + k. Is o a multiple of 10?
True
Let y be (-4)/(-22) + 80/44. Let z(v) = -2 - v**2 - y + 7 - 3*v + 5*v**2. Is 9 a factor of z(3)?
False
Let k(y) = y**3 + 20*y**2 - y - 83. Is 9 a factor of k(-19)?
True
Suppose 4*g + g + 38 = t, 0 = -4*t + g + 190. Is 8 a factor of t?
True
Let p(i) = -i**3 - i**2 + 3077. Is p(0) a multiple of 125?
False
Let x(j) = j**3 + 12*j**2 + 9*j - 16. Let s be x(-11). Let c(f) = 16*f - 4 + s - 1. Is c(2) a multiple of 13?
False
Let b(s) = s + 10. Let r(g) = -g - 11. Let d(k) = 7*b(k) + 6*r(k). Let u be d(-8). Is 14 a factor of ((-2)/u)/((-4)/(-336))?
True
Is 130/4 - 21/(-14) a multiple of 3?
False
Suppose 647 = 79*u - 77*u - 5*d, -u + d = -316. Is 11 a factor of u?
False
Does 14 divide 570/40 - ((-7)/4 + 2)?
True
Let h(p) = p**2 - 8*p + 7. Let a be h(8). Suppose 8*w - 72 = a*w. Suppose -3*z + w = z. Is 7 a factor of z?
False
Suppose 0 = -9*v + 5*v + 1228. Does 4 divide v?
False
Let x = 34 - 47. Let i(w) = 55*w + 5. Let v(o) = -110*o - 11. Let j(z) = x*i(z) - 6*v(z). Is 28 a factor of j(-1)?
True
Let h(l) = 51*l - 6. Let f be (3 - 0)*-1 - 4. Let s be h(f). Is 10 a factor of (-1)/6 - s/18?
True
Let n(r) = r**2 - 30*r + 47. Does 18 divide n(39)?
False
Suppose -25 = -5*r - 3*l - 0*l, 5*l - 20 = -4*r. Let c = 18 + -15. Suppose 0 = r*f - 3*y - 103, 6 = 4*f - c*y - 77. Is f a multiple of 20?
True
Let j be 1*(4/(-2) - -2). Suppose -2*k + 2*y + j*y = 18, 0 = 3*k - 5*y + 23. Is k/11 + 3*11 a multiple of 16?
True
Let a = -1126 - -3117. Does 11 divide a?
True
Suppose -4*c + 6 + 966 = y, -1944 = -2*y + 3*c. Is y a multiple of 81?
True
Suppose 4*g - 9 = 3*z, z = g - 3 - 0. Suppose -4*l - 2*w + 230 = g, -179 - 101 = -5*l - 4*w. Does 20 divide l?
True
Suppose 0 = -4*u - 3*h + 1239, 2*u - h + 112 = 729. Let z = u - 193. Is z a multiple of 29?
True
Suppose -o - 37 + 11 = 0. Let i = o - -44. Suppose z = 44 - i. Is 13 a factor of z?
True
Suppose -6*g + 53*g - 55836 = 0. Is 99 a factor of g?
True
Suppose 2*z = -z - z. Suppose -a + 0*a + 4*o + 136 = 0, z = -4*a - 5*o + 502. Does 32 divide a?
True
Suppose -3*g = 31*a - 29*a - 2252, 0 = -2*g - a + 1500. Does 10 divide g?
False
Let m(h) = -3*h. Let x be m(-2). Let u(z) be the third derivative of z**5/30 - z**4/3 + 2*z**3/3 + 77*z**2. Is 14 a factor of u(x)?
True
Let d(s) = -5*s**3 - 94*s**2 + 3*s - 66. Is d(-19) a multiple of 2?
True
Suppose -5*y + 3918 = 