h - 6*y - j, 2*h + 4*y = 32. Is 13 a factor of h?
True
Let g(u) = -5*u - 2. Let l be g(-4). Suppose -3*o = -t - o + l, o = 2*t - 30. Does 7 divide t?
True
Let g(w) = 416*w + 416. Does 52 divide g(4)?
True
Let v = 23 - 11. Does 36 divide 268/v*3 + 5?
True
Let q be (1 + 264/5)/(3/15). Suppose -2*r - 5*u + q = -72, 2*r - 4*u = 314. Is 49 a factor of r?
False
Let h = 27 + -21. Let j(z) = 7*z - 12. Is j(h) a multiple of 5?
True
Let o be 1/((-2)/(26*-1)). Let y be 18/117 + 2338/o. Is 13 a factor of (-3)/(y/64 + -3)?
False
Suppose 7*b - 2513 = 469. Suppose 75 = f + 2*r - 19, 0 = 4*f - 2*r - b. Is 26 a factor of f?
True
Let c(s) = -s**2 - 18*s + 10. Suppose -5*b = -b - 36. Suppose h = -0*h - b. Does 24 divide c(h)?
False
Suppose 7*l = -7 + 35. Is l/(-14) + (-4294)/(-133) a multiple of 16?
True
Let u = 486 + -336. Is u a multiple of 23?
False
Let y(k) = 6*k**2 + 48*k + 171. Is 44 a factor of y(-18)?
False
Let b = -71 + 80. Suppose -12*m + b*m + 315 = 0. Is 35 a factor of m?
True
Let b(y) = 40*y**2 - 7*y + 15 + 43*y**2 - 81*y**2. Is b(11) a multiple of 45?
True
Suppose 20 + 8 = 7*v. Suppose -11*a + 1589 = -v*a. Does 31 divide a?
False
Let y be (-6)/(-27) + 574/9. Suppose 3*w = -2*v - 60, 0 = -2*v - 5*w + w - y. Let z = v + 29. Is z even?
False
Let f(l) = l**3 - 12*l**2 + 3*l - 34. Let y be f(12). Suppose -364 = -y*k - 2*k. Is 13 a factor of k?
True
Let k(j) = -3*j + 1. Let d be k(4). Suppose -4 = -5*i - 104. Let v = d - i. Is v a multiple of 9?
True
Let l = 16 + -55. Is l/(-1)*1/1 a multiple of 7?
False
Let m be -75 + 84 + 8/(-1 - 1). Suppose 0 = -3*g - 3*x + 288, 0*g - m*x - 72 = -g. Does 11 divide g?
False
Suppose 3*z - 760 = -220. Is z a multiple of 12?
True
Let y = 6 + 3. Let o = y + 5. Does 5 divide o?
False
Suppose 10*u - 8*u = 8. Suppose -2*r + 5 = -4*v - 15, -u*v + 4 = 0. Does 3 divide r?
True
Let d(j) = -j**3 + 19*j**2 + j - 21. Let i be d(19). Is 4 a factor of 1/(68/(-36) - i)?
False
Let k(n) = 18*n - 2 - 18*n + 37*n**2. Is k(-1) a multiple of 35?
True
Let r(m) = -4*m + 82. Let z(k) = -5*k + 81. Let x be 10/(-8)*(4 + 0). Let d(g) = x*z(g) + 6*r(g). Is 29 a factor of d(0)?
True
Let n = -43 - -25. Let s = n - -9. Does 16 divide (-430)/s + (-4)/(-18)?
True
Let o(g) = 2*g + 9. Let y be o(-10). Let h = 56 - y. Does 8 divide h?
False
Let r(z) be the third derivative of -1/8*z**4 + 0 + 0*z - 3*z**2 - 3/2*z**3. Is 6 a factor of r(-6)?
False
Is 29 a factor of 838 + 10/10 - -2?
True
Let b = 47 - 24. Suppose -d + 0 + b = 0. Is 6 a factor of d?
False
Let t be ((-6)/5)/((-4)/280). Let a = t - 57. Let y = a + 1. Does 14 divide y?
True
Let s(a) = a**3 + 2*a**2 - 4*a. Let c be s(-3). Suppose -c*v + 4 = -4*r - 15, -v - 3*r + 15 = 0. Is 11 a factor of (0 - 12/v)*-12?
False
Let d = -257 - -460. Is 29 a factor of d?
True
Let m(q) = -21*q + 21. Let i(z) = -7*z + 7. Let o(g) = -7*i(g) + 2*m(g). Is o(6) a multiple of 8?
False
Is 10/(-20)*(15280/(-5))/4 a multiple of 23?
False
Let o(p) = -p**3 + p**2 + p + 379. Let t be o(0). Suppose m = 4*x - t, -4*m = x + 11 - 127. Is 47 a factor of x?
False
Suppose 3*i = 4*j - 50, -2*j = -5*i + 26 - 44. Is 7 a factor of j?
True
Suppose 2*a + 2*a - 22 = 3*v, -6 = -4*a - 5*v. Let w(m) = 3*m**3 - 3*m + 6. Let t be w(a). Let d = t + -105. Is d a multiple of 18?
False
Let w = -149 + 374. Let l = w + -128. Suppose 3*j = 5*o + l, 5*j - 3*o + o = 130. Does 12 divide j?
True
Let z(c) = c**2 - 6*c - 14. Let j be z(8). Suppose -m = -3*h + 176 + 110, j*h - 3*m = 200. Let q = h - 55. Is q a multiple of 13?
True
Let s = 638 - -167. Is s a multiple of 14?
False
Let x be 0 + -3 - (54 - 12). Let u = -22 - x. Does 3 divide u?
False
Let k(a) be the first derivative of a**2/2 + 15*a - 13. Does 5 divide k(-7)?
False
Suppose -5*t - 593 = -158. Let u = -27 - t. Is u a multiple of 15?
True
Suppose -126*p + 137426 = -502780. Is 15 a factor of p?
False
Suppose 2*k + z - 12 = 0, 5*z = -2*k + 4*k + 12. Suppose 2*c + 26 = k*c. Suppose 22 + c = r. Is 7 a factor of r?
True
Let y = -2 - 3. Let w = y + 7. Suppose 2*u - 121 = h - 28, 5*u + w*h - 210 = 0. Is u a multiple of 22?
True
Let v(p) = p**3 - 3*p**2 - p - 3. Let k be v(3). Is (-2 + 0)/(k/87) a multiple of 19?
False
Suppose -2*q - 3 = 3*r, -2*r = -2*q + 4 - 2. Let a be ((-1)/(-2))/(r/(-578)). Suppose 0 = -3*l + 2*w + a, 392 = 6*l - 2*l - 4*w. Is 31 a factor of l?
True
Let h = -2 + 8. Suppose -102 = -8*i + h*i. Is i a multiple of 12?
False
Suppose 0 = g - 3*z - 3223, -65*g + 3*z + 16103 = -60*g. Does 10 divide g?
True
Let f(u) = -u**2 + 4. Let o be f(0). Let g be ((-30)/(-20))/((-2)/o). Is g/(-9) - 32/(-3) a multiple of 9?
False
Does 37 divide (-3)/(-5) + 321293/395?
True
Suppose 5*d = 3*i - 12, -4*d + 4 = 3*i - 2*i. Suppose d*q - 2*q = -54. Is 13 a factor of 2 - (3 - (q - 2))?
False
Let g(t) = 4*t**2 + 21*t + 1. Let n be g(-9). Suppose -3*p + 18 = 45. Is 14 a factor of (p/(-3))/(12/n)?
False
Is 17/(-153) - (-29704)/36 a multiple of 75?
True
Suppose 0 = 6*v - 7*v. Is 3 a factor of (v + -1)*(-8 - 3)?
False
Suppose -778 = -6*p + 926. Is p a multiple of 8?
False
Suppose 3*x + 2*x = 35. Let f be x/42 + 2/(-12). Suppose f = 5*h - 9 - 221. Is 23 a factor of h?
True
Let q(o) = o - 7. Let a be q(7). Suppose a = -4*j + 3*z + 19, -13 = -4*j + 2*z + 5. Is -12 - -62 - (j + -1) a multiple of 21?
False
Suppose 4*d + 8 = 0, d + 6756 = 5*v - 2*d. Suppose a = -8*a + v. Does 10 divide a?
True
Suppose -7*l + 8*l + 1 = 0, -4*d = 4*l + 40. Let o(t) = t**3 + 8*t**2 - 16*t - 14. Does 7 divide o(d)?
True
Let w = 581 - 331. Suppose 5*h - w = 2*u, -h + 5*u - 167 = -5*h. Is h a multiple of 4?
True
Let f(o) be the second derivative of -o**3/3 + 6*o. Let q be f(-4). Is 14 a factor of (-180)/q*(-8)/6?
False
Let a(r) be the third derivative of r**5/60 - 5*r**4/24 + r**3 - 2*r**2. Let p(k) = k + 9. Let w be p(-14). Does 31 divide a(w)?
False
Let n = 1311 - 423. Does 12 divide n?
True
Suppose 30*s - 36807 = 14673. Does 33 divide s?
True
Let a = 23 + -32. Let g = -3 - a. Is g*(3 - (-15)/(-9)) a multiple of 8?
True
Let k(n) = -n - 28. Let c be k(-13). Let y = -5 - c. Is 4 a factor of y?
False
Let b(n) = 25*n + 8. Let g(r) = -3*r - 9. Let k be g(-4). Is b(k) a multiple of 32?
False
Suppose -2*c - 30 + 100 = 0. Let i = 57 - c. Is i a multiple of 16?
False
Suppose 0*n = n + 3*r + 15, 5*n - 15 = 3*r. Suppose -3*q + 92 + 34 = n. Is q a multiple of 6?
True
Let k(p) = p - 5. Let n be k(8). Suppose -3*g = -n*v + 9, -v - v + 1 = 3*g. Suppose v*y - 5*y + 78 = 0. Does 8 divide y?
False
Let j be 2/5*(-33 + 38). Suppose -h + 11 = 5*z - 28, -j*h + 2*z = -54. Is h a multiple of 7?
False
Let z be ((-37)/2)/((-16)/288). Suppose -z = -3*x - 0*a + 3*a, 0 = 3*x + a - 349. Does 27 divide x?
False
Let d be ((-632)/(-6))/((-17)/(-153)). Suppose -3*o + d = 5*r, -r = -0*r + 3*o - 192. Is 27 a factor of r?
True
Suppose -5*n = 1905 - 9645. Is 34 a factor of n?
False
Let j(h) = 2*h**2 - 5*h + 6. Suppose v - 4*b = -2*v + 25, 0 = b + 1. Let o be j(v). Let y = o - 12. Does 19 divide y?
True
Let s(n) = 6*n**3 - n**2 + n - 1. Let k be s(1). Suppose k*t + 6*g - 3*g = 0, -5*t - 5*g = 0. Does 10 divide (-252)/70*(-10 + t)?
False
Suppose -1 + 5 = h. Suppose 0*o - 4 = h*o. Let y = o + 25. Is y a multiple of 10?
False
Let n(x) = x**3 + 21*x**2 - 23*x - 51. Let i be n(-21). Suppose -i = 4*t - 8*t. Does 12 divide t?
True
Let w(d) = d**2 - 8*d - 3. Let p be w(11). Let i be 1/6 + (-185)/p. Let s(r) = -r**2 - 8*r + 3. Does 5 divide s(i)?
True
Suppose -20 - 20 = 4*z. Let f = z + 13. Suppose 0*m + 37 = 2*t - m, f*m - 79 = -4*t. Does 19 divide t?
True
Let y(v) = 4*v**3 + 39*v**2 - 3*v + 18. Does 14 divide y(-9)?
False
Let r = -8 + 11. Suppose -r*p = p - 28. Does 7 divide (8 - p) + (-12)/(-2)?
True
Let c be ((-2)/5)/((115/50)/(-23)). Let u(w) = -2*w. Let l be u(-2). Suppose 3*n = -l*v + 112, v - 2*v + c*n + 47 = 0. Does 14 divide v?
False
Let x(n) be the first derivative of -n**3/3 - 11*n**2/2 - 8*n + 2. Is 2 a factor of x(-10)?
True
Let t(l) = -l**2 + 11*l + 4. Let u be t(11). Suppose 180 + 200 = u*f. Is 13 a factor of f?
False
Suppose 5*z = 3*q + 13, 3*z - 2*q - 11 = 3*q. Let f = 0 - -4. Suppose -2*m = z*a - 100, -f = 3*m + 11. Does 19 divide a?
False
Suppose -26*s + 10868 = -832. Is s a multiple of 30?
True
Let y be (-2)/(-3) - 42/(-18). Suppose y*j = 5*t - 22, 4 - 2 = -t - j. Suppo