 j + 2 = w. Is j a multiple of 6?
False
Suppose 6*i = 8*i - 176. Suppose -i = -3*t - 22. Is 7 a factor of t?
False
Suppose 2*w - 3*y - 753 = 808, 2*w - 1601 = -5*y. Is 27 a factor of w?
False
Suppose 5*g - 1886 = -x, -3*g = -5*x + 4 - 1158. Does 21 divide g?
True
Let n = -14 - -14. Suppose -2*x + x + 14 = n. Let f = x + 3. Is f a multiple of 17?
True
Let y = -1992 + 4138. Does 63 divide y?
False
Suppose 0 = -14*m - 2553 + 12073. Is 34 a factor of m?
True
Suppose n = 4*a - 12, -4*a + 5*a - 3 = -5*n. Suppose -3*m + 30 = f - n*f, -133 = -5*f + 2*m. Does 6 divide f?
False
Suppose -30*u + 416 = -28*u. Suppose -5*n = -2*r - 3*n + u, r = 4*n + 113. Is 28 a factor of r?
False
Let q = -1343 + 1963. Does 12 divide q?
False
Let n = -12 - -24. Let w be ((-14)/8)/(n/(-48)). Suppose -4*h - 24 = -s - w*h, -4*h = 4. Is s a multiple of 17?
False
Let u(c) = c + 8. Let s be u(-4). Let w be (-18)/(-8) - 1/s. Suppose 4*x - 24 = w*h, -2*h - 9 - 9 = -3*x. Does 6 divide x?
True
Let k be (-936)/(-14) - (-7)/49. Let j = 27 - k. Does 12 divide (-464)/j + 2/5?
True
Let j = 30 - 27. Suppose -p = j*a - 12, 2*p - a + 0 = -4. Suppose 4*o + 2*i - 5*i - 109 = p, 0 = -2*i - 6. Is o a multiple of 8?
False
Let j(s) = -s + 3. Let i be j(0). Does 15 divide 6/(-15)*(i + -153)?
True
Let f(j) = -4*j**3 + 1 + 6*j**3 - 4 - 3*j**3 - 6*j - 4*j**2. Does 13 divide f(-5)?
True
Suppose 0 = -2*a - j + 3403, 0 = a + j - 5*j - 1706. Is 14 a factor of a?
False
Suppose 4*k - 16 = 0, b + 2*k - 25 = -3*k. Suppose b*g - 4*c = 315, g - c = -4*c + 63. Is 25 a factor of g?
False
Is 3 a factor of (5/15)/(3/288)?
False
Is ((-35)/(-1) + 1)*(-552)/(-48) a multiple of 18?
True
Let w(b) = -2*b - 4. Let o be w(-4). Suppose o*a - 20 = -a. Suppose -a*h - s + 74 = -3*s, -3*h = 4*s - 50. Does 6 divide h?
True
Let r = 1 + 2. Suppose r*g - o + 4*o - 279 = 0, -4*g + 371 = 3*o. Suppose 7*i + g = 9*i. Is i a multiple of 12?
False
Let n = -28 + 38. Is 5436/60 + 4/n a multiple of 18?
False
Let t(r) = 84*r + 67. Is 13 a factor of t(4)?
True
Suppose 12 = -2*w + 4*d, 16 = 4*d - 0. Suppose -4*t = -5*m - 0*t + 131, 56 = 2*m + w*t. Is m a multiple of 15?
False
Let x(s) be the first derivative of -5*s**2 + 37*s - 31. Does 7 divide x(-9)?
False
Suppose -2*u = -5*l - 0*u - 570, -l + 4*u = 96. Let q = -95 - l. Is q a multiple of 3?
True
Suppose -5*j - 20 = 0, 4*j - 7*j = -3*d + 1857. Is 15 a factor of d?
True
Suppose -15*s - 2971 + 12106 = 0. Is s a multiple of 25?
False
Let z(x) = -11*x - 15. Let w be z(-14). Let l = w + -89. Does 20 divide l?
False
Suppose -m + 23 + 33 = -3*w, -w - 3 = 0. Is 2 a factor of m?
False
Suppose 0 = g - 6*g + 10. Let r be (-39)/3 + -4 + g. Let y = 3 - r. Does 4 divide y?
False
Let k be 8/(-4)*2/(-2). Suppose 2*z - a - 478 = -z, 0 = -2*z + k*a + 316. Suppose z = 3*n - 155. Is n a multiple of 13?
False
Suppose 3*m = -3*u + 12, -3*u + 4*u = 3*m. Suppose u*q - 276 = -4*r + q, -4*q = 3*r - 212. Is 28 a factor of r?
False
Suppose 23*i = -14*i + 6105. Does 5 divide i?
True
Does 97 divide (2/6)/((-177921)/35586 + 5)?
False
Let m(b) = -3*b**3 + 11*b**2 - 15*b + 1. Let u(a) = -a**3 + 4*a**2 - 5*a. Let l(f) = -4*m(f) + 11*u(f). Let c be l(4). Is (c/6)/(4/6) a multiple of 5?
True
Suppose 4*m + 3 = -25. Let g(j) = 5*j**2 + 30*j + 7. Does 21 divide g(m)?
True
Let o(q) = q**2 + 15*q + 10. Let t be o(-10). Let s = 188 + t. Suppose -3*c + s = 1. Is 17 a factor of c?
False
Suppose 5*s + 56 = 3*s. Suppose -5*u - 100 = 160. Let h = s - u. Is 16 a factor of h?
False
Suppose 6*x + 15 = -3. Is 14/6 + x/9*1 a multiple of 2?
True
Let m(k) = -k**3 + 2*k**2 + 2*k - 5. Let g be m(-4). Let r = g - 47. Let t = -3 + r. Does 16 divide t?
False
Suppose -552 = -11*c + 7*c. Suppose 4*j = 10*j - c. Does 16 divide j?
False
Suppose -7*g = -9*g + 8. Suppose -2*q - q = 5*s - 245, -g*q = 2*s - 112. Let k = 88 - s. Does 21 divide k?
True
Suppose h - 2*h + 6 = 0. Suppose 7*p - 2*p - 19 = -n, p - h = 2*n. Suppose 2*l + 2 = -p*q, 0 = -0*q - q - 3. Is l a multiple of 5?
True
Let k(z) = 55*z**2 + 31*z + 5. Is 21 a factor of k(-3)?
False
Let q(f) = -2 - 1 + 2 - 5*f. Suppose 0 = -56*h + 58*h + 4. Is 9 a factor of q(h)?
True
Let n(l) = l + 1. Let a(d) = -d - 9. Let b(t) = -a(t) - 5*n(t). Let c be 5*(2 + 42/(-15)). Is 15 a factor of b(c)?
False
Let l = 454 + -319. Is 12 a factor of l + 4*10/8?
False
Suppose -3*s + 895 = -4*c - c, 1155 = 4*s + c. Is 10 a factor of s?
True
Let f = -245 - -415. Suppose 2*d = -h + f, 2*h = -0*d - d + 337. Is 28 a factor of h?
True
Suppose 10 = 6*s - s. Suppose 3*d + s*h = 8, -2*h + 14 + 6 = 5*d. Does 19 divide ((-76)/d)/(12/(-54))?
True
Suppose 5*q = 41 + 9. Suppose 0 = 8*k - q*k + 24. Let m(t) = t**3 - 11*t**2 - 11*t + 3. Is 15 a factor of m(k)?
True
Let w be 727/5 + (-6)/(-10). Let d = w - 104. Is d a multiple of 12?
False
Let n(a) = a**2 - 10*a - 11. Let m be n(11). Let v(p) be the second derivative of p**3/6 + 3*p**2/2 + p. Is 3 a factor of v(m)?
True
Let b(x) be the third derivative of -x**6/60 + x**5/30 - x**4/24 + x**3/6 - 26*x**2. Is 2 a factor of b(-2)?
False
Does 3 divide (-16)/(-328) - (-45996)/123?
False
Let c(g) = 17*g**2 - 4*g + 5. Let f be c(2). Let p = f + 5. Is p a multiple of 10?
True
Does 21 divide 190064/154 - 6/33?
False
Suppose -a - 4*m - 4 = 75, 2*a + 3*m + 143 = 0. Let s = -4 - a. Is (s/(-28))/((-2)/24) a multiple of 9?
True
Does 9 divide 5/10*10 + 50?
False
Suppose 0 = -4*m - 16, -2*h + 3*m = -0*h - 20. Suppose -w + 2*l - 404 = -3*w, -3*w - h*l + 602 = 0. Is 28 a factor of w?
False
Suppose 4*s - 6*q = -5*q + 381, -4*q = 4*s - 396. Does 26 divide s?
False
Is 3 a factor of (-4)/(-6) - (-4588)/111?
True
Suppose 0 = -6*h + 10*h - 1428. Suppose -2*t - 4*k = t - h, 5*k = -t + 119. Does 17 divide t?
True
Let z(v) = -513*v - 13. Is 25 a factor of z(-1)?
True
Suppose 0*q = -5*y + 2*q + 7, 4*y - 5*q = 9. Let r(o) = 4*o + 1. Let w be r(y). Is (2/w)/((-2)/(-180)) a multiple of 12?
True
Let i be (-29)/((-6)/2*1/(-3)). Let f = 145 + i. Does 22 divide f?
False
Suppose -8*o + 3311 = -6273. Is 10 a factor of o?
False
Suppose -375 - 189 = 6*m. Let x = m + 227. Is x a multiple of 18?
False
Let w(b) = -4*b**3 + 2*b**2 - 6*b - 2. Suppose 27 = -5*i + 3*a, -7 = -3*i - 0*i - 4*a. Is w(i) a multiple of 8?
False
Suppose -r = 3*h - 0*r - 1584, -5*h + 2*r = -2640. Is 50 a factor of h?
False
Let g be (3 - 10/2) + 141. Suppose j - g = -4*j - 4*d, j = d + 26. Let t = j - 21. Is 3 a factor of t?
True
Let y be 26/(-65) + 27/5. Let j be 2/3*(y - 77). Does 6 divide (1/1)/((-8)/j)?
True
Let g(j) = j**3 - 4*j**2 + j + 10. Let x be g(3). Suppose x*m - m = 216. Does 24 divide m?
True
Suppose -14*s - 10577 + 30877 = 0. Is s a multiple of 29?
True
Is 20 a factor of (25225/100)/((-2)/(-8))?
False
Let s be ((-3 - -1)*3)/(-1). Suppose 3*m + s - 66 = 0. Let o = -6 + m. Is 14 a factor of o?
True
Suppose -2*w + 4 = 2. Let o be (186/(-3) - w) + -2. Is o/(-2) - 5/10 a multiple of 16?
True
Suppose -635 = -7*b + 982. Is 3 a factor of b?
True
Suppose 0 = 8*g - 28*g + 24420. Is 11 a factor of g?
True
Let k = -132 + 162. Does 5 divide k?
True
Let o = -7 - 25. Let q be o/3 - (-1)/(-3). Let u = q - -41. Is u a multiple of 14?
False
Let w = 11 - 2. Let r(q) be the third derivative of q**4/6 - 5*q**3/2 - 4*q**2. Does 21 divide r(w)?
True
Suppose 2 = g - 3*g. Is 7 a factor of (g + (-4 - -3))*-7?
True
Let v(g) = g**3 - 7*g**2 + 13. Suppose 5*o - 5 - 30 = 0. Is v(o) a multiple of 13?
True
Suppose 3*l = v + 2*l + 5, v - 20 = -4*l. Let o be 0 + -1 - (-9 - v). Suppose -3*a + 5*s = -88, 156 = o*a - 3*a + s. Is a a multiple of 15?
False
Suppose -25*n + 7787 - 3112 = 0. Is 11 a factor of n?
True
Let g be 2 - (-447 - (6 + -3)). Is 2*g/8 + -3 a multiple of 22?
True
Suppose v + 6 = 9. Suppose -4*d + 2*d - n = -229, 5*d = v*n + 545. Is 14 a factor of d?
True
Let h(a) = a**3 - 19*a**2 + 34*a - 2. Let l be h(17). Does 5 divide -7*30*(l + 13/7)?
True
Let n(q) = 7*q + 1. Let c be n(-1). Let g be (-45)/20*8/c. Suppose g*x - 2 + 4 = r, r + 2*x = 17. Is 11 a factor of r?
True
Let n(q) = -q**2 - 4*q - 7. Let c be n(-3). Let z = -15 + c. Let h = z + 43. Does 8 divide h?
True
Suppose -7*x + 9*x = 326. Suppose -x = -5*d - 83. Is 16 a factor of d?
True
Suppose 3*s - 432 = 5*k - 9*k, 3*s = 2*k - 234. Does 6 divide k?
False
Let b(v) = -v**3 - v**2. Let l be b(-5). Suppose 5*u 