 factor of h?
False
Let h = -67 - 250. Let r = 527 + h. Is 18 a factor of r?
False
Suppose -26360 + 1014 = -2*s - 2*n, 5*s - 63379 = 2*n. Is s a multiple of 8?
False
Suppose 5*d = -5 + 30. Suppose -13*x = -14*x - d. Is (x/((-30)/9))/(6/428) a multiple of 12?
False
Suppose 0 = -17*n + 18*n - 1560. Is n a multiple of 12?
True
Suppose 118*z = 120*z - 7296. Is 32 a factor of z?
True
Let o = -143 + 148. Suppose -5*d = o*a - 540, a - 5*d - 25 = 107. Does 19 divide a?
False
Is (9 + -12 - (-98)/34) + 229368/34 a multiple of 8?
False
Let r(l) = 2*l + 17. Let b be r(-11). Let m(a) = -47*a - 127. Is 4 a factor of m(b)?
True
Suppose 2*f = -c + 7257, -3*f + 43*c - 44*c = -10886. Is f a multiple of 6?
False
Let a be 5/(-20)*1 + (-2349)/12. Is a/(-70)*(48 - -2) a multiple of 4?
True
Is 63 a factor of 3/((-30)/(-61736)) - (26 - 2244/85)?
True
Suppose -8*a + 7*a + 188 = 5*s, 0 = 2*s - a - 78. Suppose o = -3*o + 452. Let z = o - s. Is 7 a factor of z?
False
Is 30 a factor of 4*(-12975)/(-8)*(0 - 8/(-10))?
True
Let c = 53 - 88. Let j = -15 + 11. Is 23 a factor of j*(-3)/42 + (-4820)/c?
True
Let f = -10493 - -10577. Is f a multiple of 3?
True
Let j(y) = 12*y**2 - y. Let v be (-2)/(16/52)*-6. Suppose 3*z - v + 12 = -4*q, -4*z = q - 23. Is 12 a factor of j(q)?
False
Suppose -3*q = 4 + 5. Let z be 0 + 2/3*q. Is 1992/16 + z/4 a multiple of 14?
False
Let j = 720 + 1527. Is 107 a factor of j?
True
Suppose -6*j - 13 + 37 = 0. Suppose 4*s - j*w = 3936, -8*w - 25 = -3*w. Is 11 a factor of s?
True
Suppose -4*i - 5 = 15. Let r = 8 + i. Let q = 17 + r. Is q even?
True
Suppose -45 = 28*r - 37*r. Suppose 5*k = r*l + 1720, 0*k + 3*k = -2*l + 1027. Is 9 a factor of k?
False
Let p(n) = -n**3 - 10*n**2 + 12*n + 13. Let z be p(-11). Suppose 7 = z*l - 3. Is 47/l - (-4)/(-10) a multiple of 3?
True
Let t(y) = 17*y**2 - 6*y - 40. Let a be t(-6). Suppose 2*m = -5*r + a, 4*m - 419 - 817 = -5*r. Is 24 a factor of m?
False
Suppose -52*y = -y - 261630. Is y a multiple of 114?
True
Suppose -211 = 5*f - 4*f. Let b be (-3)/2 + (-1)/2*f. Suppose -3*r = -130 - b. Is r a multiple of 26?
True
Let k(d) = 32*d**3 - 3*d + 2. Let n be k(1). Suppose -2*t = -43 + n. Let c = t + 90. Is 12 a factor of c?
True
Let h be ((-24)/21 + 2)/((-9)/(-546)). Suppose -h*k + 37*k = -3075. Does 4 divide k?
False
Let v be (-1)/((2/(-4))/((-734)/(-4))). Let c = v + -286. Is 27 a factor of c?
True
Let y = -8282 - -13196. Does 9 divide y?
True
Let c(a) = 4290*a**2 + 1 - 3 - 5*a - 4284*a**2. Does 19 divide c(-4)?
True
Let f = 23836 + -4492. Is 104 a factor of f?
True
Suppose 11*n + 145483 = 42*n. Is n a multiple of 19?
True
Suppose 110*b + 35506 = 244281 + 531635. Does 31 divide b?
False
Suppose -134174 = -438*p + 63802. Is 27 a factor of p?
False
Suppose -4*o = -u + 31, u + 6 + 26 = -5*o. Let n be 24/(-6) - o*1. Suppose -4*d = n*t - 0*d - 241, t + 2*d = 83. Does 37 divide t?
False
Suppose 32*l = -4 + 132. Suppose 5*n - 2*p - 4560 = 0, l*n - 9*p + 8*p - 3645 = 0. Is 30 a factor of n?
False
Let n be (-33)/(-15) + 1/(-5) + 1. Suppose -4*q + 2*i = -758, n*q - i - 804 + 237 = 0. Is q a multiple of 20?
False
Let q(b) = 4*b + 4898. Does 10 divide q(-81)?
False
Suppose -1 = 5*j - 121. Suppose -j*n = -2*n - 11132. Is 22 a factor of n?
True
Let m = 0 - -87. Suppose m*x + 4 = 89*x. Suppose 5*q = -4*d + 335, q + 67 = 2*q + x*d. Is 6 a factor of q?
False
Let d = 59 + -47. Suppose 0*r - 3*r + d = 0. Suppose 0 = -r*b - 12, -3*b - 312 = -3*v - 4*b. Is v a multiple of 21?
True
Let a(q) = -q**3 + 4*q**2 + 9*q + 7. Let i be a(7). Let g be 12/10 + 45780/(-525). Let j = i - g. Is j a multiple of 3?
True
Let w(f) = -3*f - 4. Let b be w(-5). Suppose -4*t + 426 = -2*l, 411 = 5*t - 5*l - 129. Let p = b + t. Is 17 a factor of p?
False
Let c(x) = -3*x - 41. Let f be c(-13). Let y(p) = 5*p**2 + 8*p + 12. Does 8 divide y(f)?
True
Suppose -1068*m + 1062*m = -18. Suppose -2919 - 309 = -m*o. Does 6 divide o?
False
Let i(h) = -11*h**3 + 6*h**2 + 18*h + 46. Is 49 a factor of i(-3)?
True
Suppose -5*n + 9*n = 20. Suppose -3*y - y - n*r = -533, -3*y + 3*r + 393 = 0. Is y a multiple of 11?
True
Suppose 7*q - 44912 = 4*v - 7*v, 0 = -5*v. Does 48 divide q?
False
Let j = 40 - 37. Let m be 8/(j - (1 + 0)). Let i(k) = -k**3 + 7*k**2 - k - 9. Does 6 divide i(m)?
False
Suppose 2509 = -8*d + 50109. Suppose 21*x = 4*x + d. Is x a multiple of 5?
True
Suppose 424566 = -44*y + 1443870. Does 81 divide y?
True
Suppose 9010092 = 377*l - 14323192. Is l a multiple of 26?
False
Suppose 9*z - 26 - 1 = 0. Suppose -i + 4*h = 5*h - 255, -5*i + z*h = -1251. Is 31 a factor of i?
False
Let d(o) = -2*o**2 + 73*o + 116. Let c be d(38). Suppose a - l = -0*a + 51, -c*l = 4*a - 204. Does 17 divide a?
True
Suppose i + 225 - 1706 = 5*c, 5*c + 20 = 0. Is 80 a factor of i?
False
Suppose 0 = -13*b + 7*b + 12. Suppose b*x = 4*z + 6*x - 736, x - 542 = -3*z. Is z a multiple of 22?
False
Let w(v) = -2*v - 49. Let k be w(-17). Is (-2)/(-13) - k*(-144)/(-156) a multiple of 14?
True
Let c(f) = -15*f - 79. Let k be c(-15). Let h = k - 121. Is h a multiple of 5?
True
Let h be -3 - (2 + (-139675)/5). Suppose 8*w - 46*w = -h. Does 22 divide w?
False
Let j(v) = -10*v**3 - v**2 - 3*v. Let l(i) = -11*i**3 - 2*i**2 - 4*i. Let m(u) = 4*j(u) - 3*l(u). Let y = -1713 + 1711. Is 16 a factor of m(y)?
True
Let i = -15 + 25. Suppose 3*s - i = z, z = 5*s - 12 - 6. Suppose -484 = -3*k - 4*q, -636 = -s*k + 6*q - 2*q. Is k a multiple of 16?
True
Suppose -210 = -82*b + 76*b. Suppose -b = -2*w - u + 50, 0 = -2*w - 4*u + 70. Is w a multiple of 7?
False
Let b = 32 - 42. Let g(w) = -w**3 - 10*w**2 + 4. Let p be g(b). Suppose -p*s + 9*s - 5 = 0, 4*n - 5*s = 1043. Is 15 a factor of n?
False
Suppose -f - 2*b + 0 = 2, -5*b = 5*f + 5. Let y be f - 3 - (-19 - -16). Does 20 divide (-1)/(-2) - y - (-3213)/18?
False
Let g be -4 - (-26 + 0/(15/(-3))). Suppose g*m - 15687 = m. Does 47 divide m?
False
Let o = 9787 + -9457. Does 6 divide o?
True
Suppose -5*u - 3*f = -23, 7*u + 4*f - 20 = 3*u. Let w(d) = 56*d - 28. Is w(u) a multiple of 6?
False
Suppose 28 = -v + 3*v. Suppose -v = y + 40. Is (-3 + 11)/((-3)/y) a multiple of 17?
False
Suppose 0 = -2*q - 2*j - 22, 7*q = 5*q - 4*j - 26. Let w(g) = -3*g - 21. Let x be w(q). Let t(k) = 2*k**2 - k + 18. Does 24 divide t(x)?
False
Let m(i) = 7*i**2 + 38*i. Let n be m(-6). Suppose n*t - 18*t = 294. Is t even?
False
Let d = 33 - 16. Let t(j) = -j**2 + 18*j - 25. Let r be t(d). Does 11 divide (-1317)/(-12) + (-2)/r?
True
Let p(m) = 873*m + 1773. Is p(9) a multiple of 2?
True
Let m(o) = o**3 - 37*o**2 - 203*o - 39. Is m(42) a multiple of 15?
True
Let s = 25178 - 8642. Is s a multiple of 18?
False
Let i = 509 + -487. Suppose i*b - 6528 = 5*b. Is 24 a factor of b?
True
Let w = -15 + 9. Let v be 9/w + 7/14. Does 32 divide (-29 - v)/(-1) - -4?
True
Let r = 6163 - 5835. Is r a multiple of 2?
True
Let t(z) = z**3 - 12*z**2 + 19*z + 7. Let m be t(10). Let y be ((-10)/m)/(4/30). Let l = y - 10. Does 3 divide l?
True
Let p(z) = 4*z**3 + 6*z**2 + 55*z - 244. Does 3 divide p(5)?
True
Let x be 1/3*(-38 - -38). Suppose -u - 3*a - 1250 = -5*u, x = 5*u + a - 1553. Does 7 divide u?
False
Is 11 a factor of (-4343)/(-7) - ((-4)/6 - 2001/(-1827))?
False
Suppose -5*x - 43 = 57. Let q = x + 26. Is 9 a factor of -6*q/10*(-40)/8?
True
Let o = -675 + 381. Let p = o + 402. Does 4 divide p?
True
Let q = 54 - 53. Let u be (-3 - (0 + q)) + 4. Let p = u + 118. Does 43 divide p?
False
Suppose 0 = 15*i - 18*i + 12. Let q be (i/8)/(5/640). Suppose 10*h = -6*h + q. Is 3 a factor of h?
False
Let n(p) = -22*p**2 + 13*p**2 + 10*p**2 - p**3 + 10 + 9*p**2. Let l be n(6). Suppose 4*m - l = -3*g, -g + 176 = 3*g - 2*m. Does 23 divide g?
True
Suppose -4*i - 43 + 547 = 0. Suppose -6*b - i - 660 = 0. Let m = -24 - b. Is 26 a factor of m?
False
Let l = -139610 + 197915. Is 345 a factor of l?
True
Let t(o) = 2*o - 1. Let h(c) = -c**2 + c + 17. Let j(r) = h(r) + t(r). Let y be j(-4). Does 13 divide 28*1/(y/(-39))?
True
Let a(n) be the second derivative of -11*n**4/12 - n**3/3 + 9*n**2 - 43*n. Let r be a(11). Is r/(-9) - 3/9 a multiple of 37?
True
Suppose 60 = -106*n + 118*n. Suppose -2*m = -6*m + 20. Suppose m*x = -0*r + r + 306, x + n*r = 56. Is x a multiple of 18?
False
Let a = -374 - -379. Is 246 - (a + (-4)/1) a multiple of 19?
False
Let