10*b. Suppose 0 = 4*u - 1 - 23. Does 7 divide ((-221)/j)/(1/u)?
False
Suppose -4*f = v - 9, 5*v + 4*f - 155 + 46 = 0. Does 13 divide v?
False
Suppose 3*b - 8*b = -10. Is 2 a factor of 3 + 2/(b + -4)?
True
Let j be (7/14)/(2/8). Suppose 28 = 5*r + 5*m + 3, j*r + 5*m = -2. Is r a multiple of 3?
True
Suppose 0 = 2*c - 6*p + 2*p - 16, 30 = 5*c - 5*p. Suppose 2*f - 22 = -c*z + z, 3*z - 4*f + 8 = 0. Is 6 a factor of z + 0/(-3) + 26?
True
Suppose -4*l = -6*l - 4*c + 10, 0 = 4*l - 5*c - 72. Suppose 4*b - l = 15. Let y = b - -3. Is y a multiple of 7?
False
Suppose 5*c - a = 62, 2*c + 3*a + 3 = 21. Let y(v) = 0*v + c - v + 22. Is 15 a factor of y(10)?
False
Suppose 188 = 3*d + 26. Is d even?
True
Is 32 a factor of 6253/39 - 4/12?
True
Let c(x) = -23*x - 3*x**3 + 2*x**3 + 25*x - 4*x**2. Let u = -20 + 14. Does 20 divide c(u)?
True
Is 87 a factor of (-33)/(-12)*4 - -2059?
False
Suppose 404*g - 387*g = 10931. Is 27 a factor of g?
False
Let x(m) = -33*m**2 - 1. Let u be x(-1). Let s = u + -6. Is 4 a factor of 6/18 - s/6?
False
Let l = -14 - -17. Suppose 0*u + 3*t = u - 37, -l*u = 4*t - 176. Is (3/1 - u)*-2 a multiple of 26?
False
Suppose -3*b + b = -3*u + 18, -4*u + 4*b + 28 = 0. Suppose h = -u*v + 598, h = 3*v - 3*h - 458. Is v a multiple of 15?
True
Let a = -9 + 13. Suppose -4*p - 3*b + 87 = p, 4*b = -a*p + 68. Is p a multiple of 9?
True
Suppose 2*b - 11*b + 5643 = 0. Does 57 divide b?
True
Let h be (-10)/(-25) - ((-32)/10)/2. Suppose 0 = g - 0 + h, v = g + 117. Does 18 divide v?
False
Suppose -f - 6 = k - 3*k, 5*k - 4 = -3*f. Let j(h) = 32*h**3 - h - 2. Let y be j(k). Suppose -y = -2*n - n. Is 21 a factor of n?
True
Let d(b) = 3*b - 1. Let a be d(1). Let o be (-5)/a*2928/(-40). Suppose -2*x = x - o. Is 19 a factor of x?
False
Let m(p) = -p**2 - 4*p + 7. Let f be m(-5). Suppose -5*t + 6 = -f*t. Does 17 divide (6/4)/(t/44)?
False
Is 2 a factor of (201/(-12))/((-11)/44)?
False
Let q(v) = -2*v + 2. Let p be q(-1). Let r(l) = 2*l**3 - 2*l**2 - 9*l. Is r(p) a multiple of 12?
True
Let c(m) = 3*m - 21 + 12 + m**2 - m**3 + 6*m**2. Suppose n - 21 = -2*n - 4*a, 0 = 5*n - a - 35. Does 4 divide c(n)?
True
Suppose -6*i - 77 = i. Let k = i + 15. Suppose -6*y + 3*y - 29 = -v, -k*y = -v + 32. Does 10 divide v?
True
Suppose z = -7 + 205. Is 33 a factor of z?
True
Let t be (-6 + (-34)/(-5))/(2/(-10)). Is 11 a factor of (-438)/(-24) + ((-1)/t)/(-1)?
False
Let v = 330 + 1805. Is 10 a factor of v?
False
Suppose -456 = -4*z + 4*h, 5*z - h - 298 = 264. Is 16 a factor of z?
True
Let r(g) = 5*g**3 + 13*g**2 - 7*g + 5. Let t(i) = -2*i**3 - 6*i**2 + 4*i - 3. Let q(f) = 4*r(f) + 9*t(f). Does 33 divide q(4)?
False
Suppose 3*r - 4*r + 4*g = -400, -2*g = -4*r + 1572. Does 8 divide r?
True
Let i(k) = 480*k - 168. Is i(7) a multiple of 24?
True
Let f(g) = g**2 + 4*g. Let i be f(-5). Let y(s) = 0*s + s**3 - 6*s + 0 + 1 + 7*s**2 - 2*s**3. Is y(i) a multiple of 21?
True
Suppose -614*t + 13595 = -609*t. Is t a multiple of 47?
False
Suppose -54 = y - 14. Let h = 117 + y. Does 25 divide h?
False
Suppose 0 = -37*r + 2179 + 3556. Is 2 a factor of r?
False
Let r(s) = -s**3 + 4*s**2 + 4. Let o be r(4). Suppose -1 = -2*m - g, o*m + 1 = g - 12. Let d(c) = -7*c**3 - 4*c**2 - 3*c - 1. Is d(m) a multiple of 15?
True
Let g = 264 + -223. Does 41 divide g?
True
Let h(g) = g**3 - 14*g**2 - 20*g + 28. Is 22 a factor of h(16)?
True
Suppose -310 = -9*q + 671. Suppose -q = -l + 116. Does 15 divide l?
True
Suppose 2*q - 6 = -0*q. Suppose -2*x = -5*w + 600, 2*w - w + q*x = 137. Is w a multiple of 24?
False
Suppose 19 = -3*k + 4. Let s = -5 - k. Suppose -4*u + 4*j + 53 = 17, -u - 3*j - 3 = s. Is u a multiple of 2?
True
Let y = 19 + -15. Let t(c) be the second derivative of c**3/6 + 3*c**2 + 2*c. Does 10 divide t(y)?
True
Let k(v) = v**3 + v**2. Let y be (0 - (0 - -1)) + 1. Let f be k(y). Is 12 a factor of 22 + (-5 - f) + 4?
False
Let s(g) = -4*g - 7. Let k(p) = -p**3 + 3*p**2 + 2*p + 2. Let a = 35 - 31. Let t be k(a). Is 3 a factor of s(t)?
False
Let w(i) = -i**3 + 18*i**2 + 26*i - 56. Does 7 divide w(19)?
True
Let f(k) = -2*k**3 - k**2 - k + 5. Let u(y) = y**3 + y**2 + y - 6. Let x(g) = -3*f(g) - 2*u(g). Is x(3) a multiple of 13?
True
Suppose -4*t + 3*i - 109 + 445 = 0, -i = 4. Suppose 3*l - 12 = t. Is l a multiple of 10?
False
Let x = -38 - -12. Let b = 50 + x. Does 12 divide b?
True
Let k = 30 + -10. Let h = 4 + k. Does 6 divide h?
True
Let q be -25 - (1 - (1 - -2)). Let s = q + 17. Let f(u) = -6*u - 8. Is f(s) a multiple of 7?
True
Suppose -364 = -2*x - 2*x. Suppose x + 33 = 2*w. Suppose 0 = 4*f + 4, -w = -4*r - 5*f + 21. Does 11 divide r?
True
Suppose 14*p - 90 = -4*p. Suppose p*j - 2287 = -807. Is j a multiple of 15?
False
Let f = -18 - -14. Let g(u) = 59*u**3 - 2*u**2 + 6*u - 1. Let m(a) = -58*a**3 + 2*a**2 - 5*a + 1. Let s(r) = f*m(r) - 3*g(r). Does 10 divide s(1)?
False
Let a(o) = o**2 + 13*o - 343. Is 4 a factor of a(21)?
False
Suppose -57*l = 9924 - 73821. Does 56 divide l?
False
Let q = 236 + -176. Is q a multiple of 4?
True
Let b(d) = 2*d**3 + 11*d**2 - 20*d - 8. Is 12 a factor of b(8)?
True
Is 27 a factor of (81/(-6))/(2*2/(-152))?
True
Let f(a) = a**2 + 6*a + 9. Let d be f(-5). Suppose d*g + 5*k = 25, -2*k = -k - 5. Suppose 2*c - 102 = -3*r, r + 3*r - 2*c - 150 = g. Is r a multiple of 18?
True
Let l(u) = 14*u - 31. Let b(j) = 21*j - 46. Let h(q) = -5*b(q) + 7*l(q). Does 31 divide h(-7)?
True
Suppose -5*k = 2*u - 10, -k - u = -6*u - 2. Is 35 a factor of (-1 - k - -4) + (-1578)/(-6)?
False
Suppose 0 = 4*d + u - 53, -3*u = 5*d - 2*u - 67. Suppose -g - d + 154 = 0. Does 14 divide g?
True
Let z be (-58)/7 + 6/21. Let v be 76/z*-2*5. Does 10 divide 596/10 - (-38)/v?
True
Let m(t) = -t**2 + 12*t - 15. Let s be m(12). Let c = s - -28. Suppose n - c = 36. Is 14 a factor of n?
False
Suppose -g + 46 = -76. Is 7 a factor of g?
False
Let l(g) = -g**3 - 4*g**2 + g - 4. Let w be l(-5). Suppose 3*m + w = 355. Is 19 a factor of m?
False
Let a(s) = 2*s - 4. Let o be a(3). Suppose 3*b - 18 = o*b. Is b a multiple of 7?
False
Let o(h) = 7*h**2 + 13*h + 40. Does 30 divide o(-5)?
True
Suppose -d - f + 11 = -15, 2*d + 4*f = 56. Suppose n = -3*x + 16, -5*x = -n - 4*x + d. Is n a multiple of 7?
False
Suppose 3*n = 5*v + 1920, 34 - 46 = -4*v. Is n a multiple of 15?
True
Suppose -5*w + 50 = -2*w - 5*g, g + 78 = 4*w. Suppose 3*r - w = 106. Does 6 divide r?
True
Suppose -3*u - 24 = u. Let a be (-3*16/u)/2. Suppose 501 = a*o - 5*t, 10*o + 4*t = 5*o + 616. Is o a multiple of 31?
True
Let t = -1748 + 2720. Does 9 divide t?
True
Suppose 0 = z + 9*z - 230. Suppose b + z = 3*f, 0*f = 3*f - 5*b - 19. Is 5 a factor of f?
False
Let p(y) = -4*y - 4. Let g(m) = -m**3 - 4*m**2 + 2*m - 2. Let h be g(-4). Let r be p(h). Let u = r - -2. Is 26 a factor of u?
False
Suppose -z = -2*z + 4. Suppose 4*d - z*r - 218 - 134 = 0, 4*d + 2*r = 376. Does 46 divide d?
True
Suppose 0*g - 12 = -3*g. Suppose 34 = 2*r - 5*y, r + 5*y = 13 + g. Let i = -8 + r. Does 4 divide i?
False
Suppose 8*c = 2365 - 133. Is 10 a factor of c?
False
Let x = -92 - -100. Suppose 10*l = x*l + 32. Is 8 a factor of l?
True
Is 60/4 + -2 - (-2 - 2) a multiple of 3?
False
Suppose -982 = -5*d + 1093. Does 21 divide d?
False
Suppose 3*a = 4*d + 6*a - 4890, 4900 = 4*d - 2*a. Is 12 a factor of d?
True
Suppose 864 = 611*v - 609*v. Is v a multiple of 12?
True
Is 45 a factor of 225/(-6)*(-48)/20?
True
Let v(x) = 26*x**2 - 14*x + 6. Let a(b) = 9*b**2 - 5*b + 2. Let o(j) = -17*a(j) + 6*v(j). Is o(-2) a multiple of 8?
False
Let l(g) be the first derivative of g**3/3 + 2*g**2 + 35*g + 5. Is l(8) a multiple of 19?
False
Let x(y) = -8*y + 22. Let b = 33 + -43. Does 24 divide x(b)?
False
Let d(r) = r**3 + 16*r**2 + 19*r - 9. Let y be d(-12). Let p = -197 + y. Does 7 divide p?
False
Let a(r) = 2*r**2 + 7*r - 7. Let s be a(-7). Let p = 149 - s. Is p a multiple of 50?
False
Suppose 2*o + 3*i - 57 = 0, 4*o + i - 110 = -o. Let h = o - 18. Let v(t) = 2*t**2 - t + 1. Does 8 divide v(h)?
True
Let m be 0/((-9)/9 + (0 - 2)). Suppose -11*y + 2*y + 1062 = m. Is y a multiple of 17?
False
Suppose -2*v + 3 = -1. Let i be -1*v*(-30)/20. Suppose i*q - 30 = 48. Does 12 divide q?
False
Let p(m) = 8 + 2*m - 5 - 11 - 5. Let u be p(12). Suppose 3*b + l - 29 = 0, 0 = 4*b - 2*b - l - u. Does 2 divide b?
True
Let p(z) 