ivide h?
True
Let x(j) = j**3 - 45*j**2 + 17*j + 19. Is 16 a factor of x(45)?
True
Suppose u = -5*d + 362, 0*u = -5*d + u + 358. Suppose -d = 26*s - 29*s. Suppose s = 4*w + 4. Is w even?
False
Let d be (-1)/(-4) + (-2052)/(-48). Let f = 60 - d. Is 2 a factor of f?
False
Let x = 142 - 89. Let k = x - 18. Is k a multiple of 19?
False
Let w(a) = -26 + 12 - 112 - 5*a. Let m(p) = -2*p - 42. Let l(o) = 17*m(o) - 6*w(o). Is l(0) a multiple of 14?
True
Suppose -63*p + 66*p + 5*k = 2881, -4*k - 4814 = -5*p. Is 24 a factor of p?
False
Does 7 divide (195/6 - 0)*(9 + 5)?
True
Is 58 a factor of -2 - ((3 - 7) + -280)?
False
Let p = 575 + -395. Does 5 divide p?
True
Suppose 4*a + 3*v = -v + 12, 0 = -5*a - 3*v + 19. Suppose 5*h + a = -3*n, -n + 21 = -4*h - 0*n. Does 5 divide (h/(-3))/((-2)/(-21))?
False
Let l(n) = -4*n**2 - 12*n + 11. Let i(d) = -d - 22 + d**2 + 5*d + 18. Let h(v) = -7*i(v) - 2*l(v). Is h(-6) a multiple of 22?
True
Suppose 0 = 5*l - 8*l - 2*c + 1043, -c = l - 349. Is 20 a factor of l?
False
Let f = -666 - -1056. Is f a multiple of 4?
False
Suppose 157*g - 165*g + 1040 = 0. Does 13 divide g?
True
Suppose -3*b + 505 = 5*m, -7*m + 5*m - 491 = -3*b. Does 6 divide b?
False
Let y = -44 + 44. Is 53 a factor of (-2 - y)/(-8) - 47655/(-180)?
True
Suppose -b = b. Let j be 2 + b - -109*1. Suppose 2*o - j = -3*r - o, r = -5*o + 17. Is 14 a factor of r?
True
Let i be (-2 - -1) + 4 + -1. Suppose -4*s + 2*j = -14 + i, -2*j = -s. Suppose -a + s = -21. Is a a multiple of 10?
False
Let h(t) = 5*t**3 + 6*t**2 + 15*t - 7. Let g(r) = 9*r**3 + 12*r**2 + 29*r - 14. Let a(z) = -6*g(z) + 11*h(z). Let s be a(7). Let i = 13 + s. Does 3 divide i?
True
Let i(b) = -b**3 - 23*b**2 + 48*b + 2. Is i(-25) a multiple of 13?
True
Let x(h) = 3*h + 4*h - 3*h - 5 - 3*h. Let a be x(6). Is 4 a factor of (a/4)/(2/136)?
False
Let d = 127 + -29. Suppose 2*n - 2 = 4*j - d, 0 = j - 2*n - 18. Suppose v = -6 + j. Is 4 a factor of v?
True
Let i(t) = t**3 + 5*t**2 - 3. Let q(p) = -p**2 - 12*p + 17. Let x be q(-13). Let o be i(x). Suppose -4*s + o = -43. Is 17 a factor of s?
False
Let c(m) = m**2 - 16*m + 52. Is c(14) a multiple of 6?
True
Suppose 0 = 11*j - 8*j - 4*a - 1518, 2*j - 1012 = -4*a. Does 23 divide j?
True
Let n = 2 - 10. Is 9 a factor of (n - -45)*(3 - 1)?
False
Let i(l) = -l**2 + 16*l + 11. Let v(x) = -x**2 + 9*x + 16. Let n be v(10). Let p be i(n). Let u = 149 - p. Is 26 a factor of u?
True
Let c = -18 - -17. Let i = 21 + c. Suppose n - 53 = -h + 2, -i = -4*h. Is n a multiple of 10?
True
Suppose -7*k - 2755 = -4*f - 2*k, 3*k = -4*f + 2731. Does 11 divide f?
False
Let n = -290 - -719. Is 11 a factor of n?
True
Let n(d) = 5*d**2 + d - 8. Let i = 84 - 89. Is n(i) a multiple of 28?
True
Suppose -87 = -2*u - u. Suppose 0 = -6*m + 19*m. Suppose 2*w + 6 = m, 4*n - 2*w - u = w. Is n a multiple of 5?
True
Suppose -1088 = -13*m + 1031. Is m a multiple of 5?
False
Let y = -10 - -1. Let g = y + 15. Suppose 150 = 8*p - g*p. Is 25 a factor of p?
True
Suppose -9*o + 2 + 25 = 0. Suppose p = -o*p + 224. Is 8 a factor of p?
True
Let l be 1804/14 - 1 - (-30)/210. Does 12 divide 6*l/40*5*1?
True
Let i(y) = -3*y**2 + 89*y - 21. Does 7 divide i(28)?
True
Let a = -73 - -73. Let t = a + 43. Does 2 divide t?
False
Suppose 0 = -5*f - 0*f - 5*x + 1430, -x = 2*f - 573. Suppose 2*d = -0*d - c + f, -3*d = -c - 428. Is 23 a factor of d?
False
Suppose 2*a = -5*b + 82, -14 = -b + 4*a - 2*a. Suppose b = 2*v + 8. Does 2 divide v?
True
Let d(z) = -38*z + 20. Let k(o) = -13*o + 7. Let c(g) = 3*d(g) - 8*k(g). Let v = -6 + 4. Does 10 divide c(v)?
False
Suppose -5*d - 26 = 49. Let m(k) = 76*k - 12 - 75*k + 47. Is m(d) a multiple of 10?
True
Suppose -2*j = 10, 2*w - 3*j - 960 = -w. Is 15 a factor of w?
True
Let t(q) = 1. Let z(r) = 2*r + 4. Let o(p) = -4*t(p) - 2*z(p). Is o(-10) a multiple of 9?
False
Suppose 38*n + 12971 = 47817. Does 131 divide n?
True
Let y(q) = 2*q**2 + 14*q + 20. Let w(v) = -v**3 - 26*v**2 + 28*v + 16. Let s be w(-27). Does 20 divide y(s)?
False
Let v be -2 - -1 - (-26)/(-2). Suppose -3*a = -w + 35, 2*w - 25*a = -24*a + 85. Let b = v + w. Is b a multiple of 30?
True
Let f(u) = 45*u**2 - 36*u - 114. Is 14 a factor of f(-6)?
True
Let i be (-4)/3*6/(-4). Suppose -4*k - 4*v + 96 = -2*k, i*k = 5*v + 87. Does 22 divide k?
False
Let m(z) = -5*z + 17. Is 24 a factor of m(-11)?
True
Is 24539/12 + (-5)/(-60) a multiple of 53?
False
Let g(y) = -y**3 + 13*y**2 + y - 16. Let s(m) = -m**3 - 9*m**2 + 9*m + 3. Let q be s(-10). Let i be g(q). Is 19 a factor of i/(-15) + (-568)/(-10)?
True
Is 18 a factor of ((-30)/35)/(1/(-609))?
True
Suppose -3*z + 1043 = -3*d + 2645, -3*z - 2140 = -4*d. Is 13 a factor of d?
False
Let f = 1398 - 601. Is f a multiple of 59?
False
Let x(g) = 6*g**2 + g + 2. Let q be x(2). Suppose b - q = -2*c, b - 3*b + 3*c = -21. Does 6 divide b?
True
Let o(b) = -b**2 + 8*b - 1. Let l(y) = y**2 - 9*y + 2. Let q(h) = 4*l(h) + 5*o(h). Let p be q(4). Let m = 3 + p. Does 5 divide m?
False
Let f = 454 - 288. Is f a multiple of 25?
False
Suppose -4 = -2*c, -g + 93 + 59 = 4*c. Is (-1*g)/(-3) - 0 a multiple of 14?
False
Let t(h) = 21*h + 11. Let p = 11 - 20. Let z(g) = -5*g - 3. Let l(o) = p*z(o) - 2*t(o). Is l(5) a multiple of 13?
False
Suppose 27 = 4*a - 133. Suppose q + 69 = 3*r - 107, -r + a = -5*q. Is r a multiple of 12?
True
Suppose 0 = 5*u - u. Suppose u = 2*w - 4 + 2. Suppose w + 6 = r. Does 5 divide r?
False
Let t be (-4452)/44 + 4/22. Let r = 67 - t. Does 28 divide r?
True
Let r(x) be the second derivative of -x**4/12 + 2*x**3 + 3*x**2 + 3*x. Let t be r(13). Let q = 2 - t. Is 9 a factor of q?
True
Let y(c) = c + 6. Let u be y(-6). Suppose u = -3*x - 2*x + 390. Does 28 divide x?
False
Let r be ((-664)/(-4))/((-6)/(-9)). Suppose -3*u + r = 24. Is u a multiple of 25?
True
Let q = 101 - 99. Suppose q*w = 4*w - 96. Does 16 divide w?
True
Let m(u) = -u**2 - 29*u - 112. Is m(-24) a multiple of 2?
True
Suppose -2*u + 3*u + 6 = 5*o, -5*o + 4*u - 6 = 0. Suppose o*l - 12 - 12 = 0. Is l a multiple of 4?
True
Suppose 0 = -41*v - 2637 + 20390. Does 35 divide v?
False
Suppose -5*v = -3*g - 15, 0*v + 3*v - 20 = 4*g. Suppose 3*c = 34 + 32. Suppose 2*a - 32 - c = v. Is 7 a factor of a?
False
Suppose -47*y + 18091 = -9075. Is 53 a factor of y?
False
Let i(f) = -10*f - 12. Let z be i(-8). Let c = z - -61. Is 18 a factor of c?
False
Suppose -495 = -5*w + 4*p, 0 = -3*w - 0*p + 2*p + 297. Is w a multiple of 11?
True
Suppose 2*i + 6*x - x = 2001, 0 = -3*i + 2*x + 2954. Does 34 divide i?
False
Let y = -22 + 22. Suppose y = -4*g - 16, 4*s + 100 = 2*s + 2*g. Does 18 divide (90/s)/((-1)/18)?
False
Suppose 0 = -86*f + 172848 + 68640. Is 8 a factor of f?
True
Suppose 3*x - 300 = -4*f + 103, x = -2*f + 201. Does 10 divide f?
True
Let r = -341 + 587. Let t = r + 44. Does 10 divide t?
True
Suppose -2*f + 591 = f. Suppose -f = -2*z + 19. Suppose 2*q + q - z = 0. Is q a multiple of 12?
True
Let o(k) = -235*k - 4. Does 37 divide o(-1)?
False
Let k(g) = -g**2 - 8*g + 9. Let v be ((-126)/7)/(2 + 0). Let b be k(v). Suppose 3*i - 162 = 3*h, 0 = -b*i + i + 4*h - 34. Does 10 divide i?
True
Let n = -417 - -460. Is n a multiple of 14?
False
Suppose -10 = -4*k - 54. Suppose 13 = 5*v - 4*q, -4*v - 6*q - 6 = -q. Let f = v - k. Does 4 divide f?
True
Suppose 0 = -3*d + d + 20. Suppose -2*a + 3*j + 87 = 2*a, 2*j = -d. Is (a/(-45))/(1/(-70)) a multiple of 9?
False
Let t(y) = -11*y + 74. Is t(-8) a multiple of 54?
True
Let b(v) = -99*v**3 + 2*v**2 + 6*v - 7. Let i(u) = -u**3 + u - 1. Let l(w) = -b(w) + 6*i(w). Does 27 divide l(1)?
False
Let p = 4 - 6. Is 5 a factor of 0 - -18 - (p + 0)?
True
Let b(a) = 4*a + 4. Let t be b(-8). Let w = t - -71. Suppose c = 2 + w. Does 10 divide c?
False
Is 14 a factor of (-14)/(-7 - (-4656)/666)?
True
Suppose -12 - 13 = 5*n. Is 8 a factor of ((-2)/n)/((-5)/(-300))?
True
Let w = 1472 + -443. Is 7 a factor of w?
True
Is (-2)/(24/(-8066)) + (-23)/138 a multiple of 16?
True
Suppose -5*g + 400 = -225. Let v = g + -25. Is v a multiple of 14?
False
Let k = 29 + 19. Suppose -4*a + q = -k, -q - 4*q - 20 = 0. Suppose 4*s - 5*g = 69, -4*s + 72 = 3*g + a. Is 16 a factor of s?
True
Let i(q) = -q - 2. Let d be i(0). Is (-198)/(-4) + 3/d a multiple of 12?
True
Suppose -681 = -10*c - 201. Is c a multiple of 12?
True
Let b(l) 