-4*b + 40, -2*b - v*o + 22 = 0. Suppose 145 - 535 = -b*g. Is 26 a factor of g?
True
Let d = -22 - -122. Let z = -52 + d. Let x = z + -18. Is 5 a factor of x?
True
Let d = 32001 - 17852. Does 41 divide d?
False
Let k = -298 + 538. Let s = -138 + k. Let l = s + 100. Is l a multiple of 10?
False
Let t = 12 - -13. Suppose -o = -5*o + 20. Suppose -p - p - 2*v = -110, o*v + t = 0. Does 15 divide p?
True
Suppose -5*r = 22 - 122. Let d be r - 18 - 4/1. Does 3 divide d/4 - 95/(-10)?
True
Let f(b) = b**2 + 48*b + 212. Let u(j) = j**2 - j - 1. Let h(y) = f(y) + u(y). Is h(-26) a multiple of 6?
False
Let f = 123108 + -78973. Is f a multiple of 19?
False
Let s(i) = i**2 + i + 65. Let q(d) = -12*d + 27. Let n be q(-4). Let o = n - 82. Is 7 a factor of s(o)?
False
Is 5594 - (-9 - (-15 - 0)) a multiple of 44?
True
Let i(s) = -24*s + 9. Suppose 3*g + 5*m = -98, -g + 5*m - 230 = 4*g. Let p = g + 37. Is 21 a factor of i(p)?
True
Let l be -2*(-4 - (-8150)/20). Let z = -738 - l. Is 3 a factor of z?
True
Let q(n) = n**2 + 22*n + 13. Let y(c) = 5*c**2 + 89*c + 53. Suppose g - 4*g + 27 = 0. Let k(l) = g*q(l) - 2*y(l). Does 12 divide k(18)?
False
Let g = 17866 + -13483. Is 3 a factor of g?
True
Suppose 0 = 3*n + u - 93, 4*n - 4*u + 3*u - 131 = 0. Suppose r - 87 = -n. Does 8 divide r?
False
Let b(t) = 6*t**2 - 8*t - 82. Does 96 divide b(-21)?
False
Let r be 0 + 0 + 1 - 0. Let k be -7 - 68*7/28. Let q = r - k. Is 3 a factor of q?
False
Suppose -3*z + 4*z = 9. Let m(g) = -7*g**2 - 19*g + 16. Let k(c) = -3*c**2 - 10*c + 8. Let x(v) = -9*k(v) + 4*m(v). Is x(z) a multiple of 8?
False
Suppose 3*x + 195 + 39 = 0. Let a be (-1)/((-13)/(-52)*(-12)/531). Let z = a + x. Is 25 a factor of z?
False
Suppose 7686 = -8*l + 69*l. Is 9 a factor of l?
True
Let f(r) = -12*r + r**2 + 3 + 1 + 4*r + r**3. Let a be -2 + -1*10/(-2). Is f(a) a multiple of 4?
True
Let y = -24 + 29. Let c be (3/2 + -2)*0 + y. Does 5 divide 28*((-100)/(-8))/c?
True
Suppose -11*d + 108 = 7*d. Suppose d*t - 150 = -4*t. Is 7 a factor of t?
False
Suppose -62022 - 25338 = -4*o. Suppose -o = -x - 38*x. Does 16 divide x?
True
Let q = -14 - -68. Let a = -57 + q. Is 11 a factor of ((-210)/7)/(a/2)?
False
Let a(k) = -k**2 - 36*k + 70. Let o(h) = -19*h + 7. Let g be o(2). Is a(g) a multiple of 5?
True
Suppose 0*o - 3*o = -147. Suppose -7*s + 0*s = -o. Is 26/6 + s/((-42)/(-4)) even?
False
Let c(y) = y**2 + 1. Let f(a) = a**3 - 16*a**2 + 15*a + 20. Let k(v) = -c(v) + f(v). Let d be k(16). Suppose d*w - 39 = -10*w. Is w even?
False
Let d(m) = 1. Let l(q) = 2*q**2 + 10*q + 21. Let o(f) = 5*d(f) + l(f). Suppose -169*c = -228*c - 61 - 411. Is o(c) a multiple of 37?
True
Let x = -322 + 7552. Is 30 a factor of x?
True
Suppose 16753 - 3523 = 35*t. Does 7 divide t?
True
Suppose -6*n + 34 = 10. Suppose n*m = 58 + 470. Suppose 0 = -7*o - 48 + m. Is 12 a factor of o?
True
Let l = 2176 + 280. Suppose -30*p + l + 3754 = 0. Does 3 divide p?
True
Let j(y) = -y**2 + 8*y - 22. Let v(g) = -2*g**2 + 16*g - 43. Let m(t) = 11*j(t) - 6*v(t). Let r be m(6). Is 12 a factor of r*15/48*164?
False
Let m be -5 + (4/6)/(2/(-489)). Does 26 divide 1/(3/(-8))*60606/m?
True
Suppose -3*m + 8 = -2*u, -2*u - 2*m - 10 = -6*m. Let g be (-174)/u*-2*18/(-24). Suppose b + 4*b = 3*p + g, -3*b + p = -155. Is 13 a factor of b?
False
Let a(n) = 392*n**3 + 112*n**2 - 437*n + 13. Is a(4) a multiple of 40?
False
Let y = -6645 - -10277. Is y a multiple of 8?
True
Suppose p - 3*r - 8 = 0, 3 = 4*p - 5*r - 36. Suppose -4*n - 1 = p. Is (n/((-12)/(-16)))/((-2)/65) a multiple of 19?
False
Let r = 2675 - 1412. Is 13 a factor of r?
False
Let d = 100 - 66. Suppose -3*t + d = -5. Let v = t - -24. Does 10 divide v?
False
Suppose 0 = i + 3*m + 6 - 0, -4*i = 5*m - 4. Suppose 514 = i*u - 80. Suppose -f - 425 = -5*r, -r = -0*r - 3*f - u. Does 6 divide r?
True
Let l(b) = -b**2 - 7*b + 3. Let i be l(0). Suppose -5*z - 5*w = -10, 0 = -5*z - w - 3*w + 8. Suppose z = i*j - 0*j - 21. Is j a multiple of 7?
True
Suppose -3*w + 3*b + 54 = 0, -17*w + 13*w - 3*b + 51 = 0. Is w a multiple of 15?
True
Let r = -40165 + 62619. Is 218 a factor of r?
True
Let y(j) = 2*j**2 - 4*j - 1. Let l be y(3). Let s = -6990 - -7095. Suppose 285 = l*r + s. Is 6 a factor of r?
True
Suppose -608*h - 186732 = -617*h. Is h a multiple of 84?
True
Let n(i) = -10*i**2 - 5*i**3 - 29 + 16*i + 9*i**2 - 15*i**2. Let s(b) = -11*b**3 - 32*b**2 + 32*b - 59. Let l(m) = -13*n(m) + 6*s(m). Is l(15) a multiple of 3?
False
Let u(s) = -s**3 + 8*s**2 + 2*s - 11. Let o be u(8). Suppose m + 1611 = 5*i - 2*m, -i = o*m - 339. Does 36 divide i?
True
Let g be (-39)/(-6) - 48/32. Suppose -5*t + 2*r + 3815 = 0, 0 = r - 2*r - g. Is t a multiple of 14?
False
Suppose -8*q + 96 = -0*q. Suppose -34*j + 8 = -30*j. Is 17 a factor of 3 + (q/9)/(j/72)?
True
Let y = -32 - -40. Let b(u) = 2*u**2 - 17*u + 16. Let l be b(y). Is 16 a factor of (-573)/(-12) - (3 - 26/l)?
True
Suppose -3*i = 3*z - 45, 5*i + z - 39 = 16. Suppose i*u = -3*u + 2028. Is 7 a factor of u?
False
Let t(w) = -w**3 + w - 1. Let z(k) = 3*k**3 + 5*k**2 + 35. Let u(p) = -4*t(p) - z(p). Is u(7) a multiple of 3?
True
Let o = 465 + 500. Is 2/(-9) - o/(-9) a multiple of 10?
False
Let r(c) = 10*c**2 - 37*c + 191. Let n(k) = 9*k**3 - 2*k**2 + k - 3. Let f be n(1). Does 32 divide r(f)?
True
Suppose -4*y - 2*j = 1864, 1401 = -4*y + y - 3*j. Let i = 1265 + y. Suppose -8*f = -280 - i. Is 45 a factor of f?
True
Suppose -5*b - 5*p + 37989 = -72626, 3*b = -5*p + 66379. Does 97 divide b?
False
Let u(j) = 7*j**2 + 12*j + 23. Let t be u(13). Suppose 5*v + 3*o = 1256, -114 = 5*v - o - t. Does 50 divide v?
True
Let j(d) = -13*d + 20. Let r(x) = 6*x - 9. Let p(z) = 3*j(z) + 5*r(z). Let l be p(-10). Is 10 a factor of 2/(-15) - (-7364)/l?
True
Let b = -37 - -37. Suppose 0 = -b*z - 0*z - 2*z. Suppose z = -4*m + 3*s + 378, -2*m + 332 - 136 = -5*s. Is m a multiple of 18?
False
Suppose -905 + 7445 = 3*s. Suppose s = 4*l + l. Suppose -140 = 3*h - p - 480, -4*h + l = 3*p. Is h a multiple of 14?
True
Let y be (-368)/(-46)*(-1)/2. Let q(a) be the third derivative of -9*a**4/8 - 13*a**3/6 - 6*a**2. Does 13 divide q(y)?
False
Suppose 3*z = 14*z + 11. Does 22 divide (-141 - (13 + -7))/z?
False
Let o = 20781 + -20631. Let j(t) = -12280*t. Let b be j(-1). Is b/o + 4/30 a multiple of 41?
True
Let k be 2/(-13) - (-126144)/117. Suppose -9*d = -k - 29. Does 21 divide d?
False
Let i(n) = -n**3 - 7*n**2 - 6*n - 1. Let s be -6 + 0 + 1 + -1. Let y be i(s). Let h = 9 + y. Is 4 a factor of h?
True
Let q(u) = -u**2 - 30*u + 112. Does 27 divide q(-26)?
True
Let z(n) = 7*n**3 + 9*n**2 - 2*n + 9. Let k(m) = 4*m**3 + 5*m**2 - m + 5. Let h(o) = -11*k(o) + 6*z(o). Let r = -721 - -719. Is 2 a factor of h(r)?
False
Suppose -5*q - 10 = -w, 0*w + w - q + 2 = 0. Let m(r) = -10*r - 56. Let u be m(w). Does 7 divide ((-21)/12)/1*(-22 - u)?
True
Let t(x) = 11*x + 1. Let z(b) = -56*b - 6. Let f(h) = -16*t(h) - 3*z(h). Let l be f(-3). Suppose r - 5 = l. Is 17 a factor of r?
False
Let r = -34 + -473. Does 7 divide 4 - 30/9 - r/9?
False
Let l = -350 + 1048. Suppose 4*j = 5*b - l, b - 139 = 5*j - 4*j. Is 9 a factor of b?
False
Let d(x) = 94*x**2 + 6*x - 12. Let m be d(-10). Suppose 25*l - m = 14*l. Does 59 divide l?
False
Let j be (0 + 4/(-3))/((-2)/6). Suppose -3*s + s = -3*u - 37, j*s = -5*u - 25. Let z = u + 13. Is z a multiple of 4?
True
Suppose 5*l = 5*z - 5, l + z + 9 = 2. Let c be (l + 0)*(-1)/(-1). Let n(x) = -x**3 + 4*x + 6. Is n(c) a multiple of 10?
False
Let b = -921 - -1680. Let g = 1094 - b. Does 15 divide g?
False
Let c be -4*1/(-2) - 53. Suppose h - 4*v + 109 = 0, -3*v - 194 - 103 = 3*h. Let n = c - h. Is n a multiple of 14?
False
Does 56 divide ((-156779)/(-42) - 1/(-2))/(92/276)?
True
Let z(a) = 12 - 15*a - 2*a - 3*a. Let b be z(-3). Suppose -5*s + 5*d + 140 = 0, 3*s + 4*d = 3*d + b. Is 19 a factor of s?
False
Let z = -13 - -15. Does 20 divide 3 - -44 - (z - (-1 + 2))?
False
Let x be ((-32)/(-40))/((-6)/975). Is (46 - x)/(2/7) a multiple of 14?
True
Suppose -5*g = -d - 342, -60 = -5*g - d + 278. Suppose -2*i = 420 - g. Let s = i - -260. Does 19 divide s?
False
Let w(j) = -2*j + 1. Let k(r) = -6*r + 4. Let c(s) = -5*k(s) + 14*w(s). Let f be c(4). Suppose -f*h + 47 = 1. Is h a multiple of 4?
False
Let w(t) = t**2 - 2*t + 76. Let c be w(