 - 153 - 142 = 0, 3*i = 4*y - 345. Suppose 3*g - 4*r = 438 - y, 2*g - r = 237. Does 20 divide g?
True
Let g(c) = -13*c + 8. Let d(o) = 3*o + 12. Let k be d(-6). Let u(s) = -s + 1. Let t(h) = k*u(h) + g(h). Is t(-2) a multiple of 4?
True
Let c(u) = -4*u**3 - 62*u**2 + 6*u + 19. Is 5 a factor of c(-16)?
True
Let m = -1 - 0. Let k be 1 - 4 - 4/m. Suppose -y + 3 = -k. Does 4 divide y?
True
Suppose 3*r - 98*w + 102*w - 1376 = 0, -4*r = -w - 1822. Is 24 a factor of r?
True
Suppose 5*z + 116 = 3*z. Let p be (-77*5)/5 - 30/6. Let h = z - p. Does 6 divide h?
True
Let u = 30 - 55. Let v = u - -45. Suppose k = -4*p + 7, 2*k - 2*p = v + 4. Does 5 divide k?
False
Suppose -3*a - 2*k + 1007 = 0, 3*k = -4*a + 4*k + 1328. Is 37 a factor of a?
True
Let g(t) = 12*t. Let h be g(-2). Let x = -4 - h. Is 20 a factor of x?
True
Let f be (0/2)/(-1) + (-2)/(-1). Let a(y) = 44*y - 7. Is 8 a factor of a(f)?
False
Let u(t) = -t - 6. Let l be u(-4). Is ((-1)/l*-1)/((-1)/216) a multiple of 16?
False
Suppose -25*u = -27*u + 5*f + 249, 9 = 3*f. Is u a multiple of 19?
False
Suppose 5*i - 525 = -p, -4*i - 654 - 1518 = -4*p. Is p a multiple of 27?
True
Let z = 370 - 7905. Is 0 + (-3)/18 + z/(-30) a multiple of 24?
False
Let m(g) = -1. Let s(q) = -q - 1. Let j(f) = -5*m(f) + s(f). Let c be j(5). Is 6 a factor of (-5 - -9) + c + 3?
True
Does 18 divide (-2162)/(-8) - 3/12?
True
Let b(k) = k**3 - 7*k**2 + 4*k + 1. Let r be b(6). Let s = r - -9. Is 3 + 19*(s - -3) a multiple of 22?
True
Let l(x) be the second derivative of x**4/12 + x**3/6 - 19*x**2/2 + 20*x. Does 5 divide l(5)?
False
Let x = 1142 - 913. Is 8 a factor of x?
False
Suppose -11 = v + 13. Is (-24)/(-14)*(-6)/(v/70) a multiple of 10?
True
Let u = 822 + 397. Is u a multiple of 53?
True
Suppose -21*g + 24*g - 1248 = 0. Let i = g + -295. Is i a multiple of 13?
False
Let z be (22/(-6) + 3)/((-1)/3). Does 7 divide 76 - (z/(-3))/(4/6)?
True
Let j(g) = 8*g**2 - g. Let h be j(1). Let f(z) = 3*z**2 - 12*z + 11. Is 8 a factor of f(h)?
False
Is 50 a factor of -1 + (-13959)/((-66)/6)?
False
Let j(m) = 2*m**2 - 5. Suppose -g + 5 = 0, -g + 15 = -3*a - 8. Let y be j(a). Let w = y - 43. Does 12 divide w?
True
Suppose 23*o - 35904 = -o. Is 27 a factor of o?
False
Is (4/(-6))/(34/(-4947)) a multiple of 13?
False
Suppose 0 = -284*h + 294*h + 120. Let l(v) = 0*v**3 - 15 - 2*v**2 - 9*v**2 - v**3 + 7*v. Does 17 divide l(h)?
False
Is (-4 - (-4 - -2)) + (-66 - -1321) a multiple of 23?
False
Suppose -3*s = s. Suppose -4*x = -2*h - 42, 2*x - 2*h + 8 - 34 = s. Is 8 a factor of -12*(1 + (-26)/x)?
False
Let o = -22 + 34. Let j(r) = -r**2 + 12*r - 5. Let w be j(7). Is (-2)/o + 995/w a multiple of 10?
False
Let a(i) = -666*i**3. Does 48 divide a(-1)?
False
Does 7 divide (-17993)/(-285) + (-4)/30?
True
Does 5 divide 110 - 5*(-5)/(-25)?
False
Suppose -3*n = 4*v - 2254, -5*v + 3332 = 2*n + 518. Suppose -296 - v = -13*b. Is b a multiple of 7?
False
Let q = 75 + -71. Suppose -3*j + 267 = -3*m, m + 355 + 7 = q*j. Is j a multiple of 24?
False
Suppose j + 2*a - 14 = -2, -3*j + 33 = 3*a. Let d(r) = 2*r**2 + 6*r + 53. Does 36 divide d(j)?
False
Does 61 divide (-21582)/(-20) - 1/10?
False
Suppose 2*i = o + 118 + 33, -o + 80 = i. Does 11 divide i?
True
Let x(g) = 2*g - 22. Let t be x(12). Suppose -5*v + 1270 = 5*l, 3*l + t*v + 212 = 974. Is l a multiple of 19?
False
Suppose 8 = 4*v - 8. Suppose 2*g = -3*n + 38 + 2, 2*g - 2*n = 20. Suppose -2*x - 4*k = -g, -3*x - 3 = -v*x - 3*k. Is x a multiple of 15?
True
Is 29 a factor of -60*(609/(-12))/7?
True
Suppose -l + 3*l = -6. Let m be 18*(4 + l) - -2. Is 24 a factor of m/(-5) + 109/1?
False
Let t = -8 + 17. Suppose -3*p + 3*c - 4 = 2, -p + 6 = -5*c. Let s = t - p. Is 5 a factor of s?
False
Suppose 0 = 3*o + t - 2734, 0 = o - 41*t + 40*t - 906. Does 32 divide o?
False
Let v(w) = w**2 - w - 11. Let o be v(8). Let h = 25 + o. Is 13 a factor of h?
False
Let v(l) = 42*l**2 - 28*l + 11. Does 4 divide v(4)?
False
Let h(i) = -i**3 - 21*i**2 - 20*i + 15. Let w = -5 - 15. Is h(w) a multiple of 7?
False
Let g(j) = -36*j + 8. Suppose -16 = 4*a, -15 + 47 = -3*y - 5*a. Let i be (y - 19/(-4))*-4. Is g(i) a multiple of 24?
False
Let u(n) = -2*n + 1. Suppose -4*k + 2*d = 3*d - 63, -k - 3*d + 24 = 0. Let s be 9/k - 84/15. Is u(s) a multiple of 3?
False
Let f = -67 - -80. Suppose 5*r = -f + 778. Does 17 divide r?
True
Suppose 2*b = -3*p + 151, 2 = 2*p + 8. Let f = 0 + b. Is 13 a factor of f?
False
Suppose 765 + 1200 = 5*a. Does 8 divide a?
False
Let u(n) = -6*n**2 + n + 3. Let y be (4 - (-1)/1)*1. Let j be u(y). Let o = j + 199. Is 17 a factor of o?
False
Is 49 a factor of -1 + 4 + (-342)/(-2)?
False
Does 21 divide (-3822)/65*75/(-6)?
True
Suppose -2*u - 1674 = -4*z, -3*z + 4*z + u = 423. Is 7 a factor of z?
True
Let o = 13 - 16. Let v = o - -6. Does 6 divide 21 - 6*v/(-6)?
True
Suppose -15*l + 22*l = 2016. Does 16 divide l?
True
Let u = 42 + -57. Let r = u - -55. Is r a multiple of 4?
True
Suppose 0 = 4*d + p - 3840, -139*d - 4*p = -143*d + 3840. Is d a multiple of 43?
False
Suppose -699*a + 697*a = -2078. Is a a multiple of 24?
False
Suppose 12 = 3*n + 3*v, 3*v - 5*v + 6 = 0. Is 2 a factor of 46/n*(-39)/(-78)?
False
Does 43 divide (-6)/(-39) - 7/(728/(-43872))?
False
Let y = 18 + 57. Is 19 a factor of y?
False
Suppose 93 = 3*h - a + 3, 0 = 2*h - 2*a - 60. Let s = -19 - -21. Suppose -2*t = -0*t - 5*w - h, s*t + w - 18 = 0. Is 10 a factor of t?
True
Let i(w) = 5*w + 48. Let l be i(-10). Let u(c) be the third derivative of c**5/4 + c**4/6 + c**3/3 + c**2. Is u(l) a multiple of 11?
False
Suppose -4*u = -4*p - 28, 0 = -3*p - 2*p - u - 11. Does 11 divide (-1 + 66)/((-3)/p)?
False
Let i(j) = j**3 - 13*j**2 - 13*j + 4. Let d be i(14). Suppose 5*m + m = d. Suppose -4*l + 49 = -m*l + 3*u, 4*u - 20 = 0. Is 17 a factor of l?
True
Let d(u) = 5*u**2 - 11*u + 42. Let s(w) = 9*w**2 - 22*w + 83. Let m(z) = -7*d(z) + 4*s(z). Does 7 divide m(9)?
False
Let q(u) = u**3 - 4*u**2 - 2. Let f be q(4). Is 14 a factor of 52 + 2 + f + 2?
False
Let j = -1033 - -1585. Is j a multiple of 12?
True
Suppose -68*u + 69*u = 469. Is u a multiple of 6?
False
Suppose 0 = -2*i + 30 - 2. Suppose i*j = 7*j + 154. Is 23 a factor of (j/(-3))/((-8)/108)?
False
Let b(g) = 173*g + 2. Let n(h) = -h - 1. Let i(r) = b(r) + 6*n(r). Is 24 a factor of i(1)?
False
Let y be -6 + 635/35 + (-2)/14. Let o be 0*2/(4/1). Suppose o*z + y = z. Is 6 a factor of z?
True
Suppose 433*z - 3832 = 429*z. Is 13 a factor of z?
False
Let k = -38 - -90. Let o = -35 + k. Does 16 divide o?
False
Let v(l) = 12 - l - 9*l - 8 - 2. Let c be v(-4). Suppose 2*i = w - c, 5*w + 0*i = -i + 210. Is w a multiple of 21?
True
Let l(k) = 35*k**2 - 9*k - 9. Let j(i) = -18*i**2 + 5*i + 5. Let d(g) = -5*j(g) - 3*l(g). Let c be d(2). Let h = c - -87. Does 10 divide h?
False
Let i be (0 - 3 - 40/(-12))*57. Suppose -3*q + 57 = 4*z, 5*z = 3*q + 97 - i. Is 8 a factor of z?
False
Suppose 0 = -2*x + 4 - 2. Let j(n) = 97*n**3 - 2*n**2 + 2*n. Is j(x) a multiple of 15?
False
Is -3 + (8 + -3 - -333) a multiple of 17?
False
Suppose 14 = -p + 3*p. Suppose 0 = -7*y + 126 - p. Is y a multiple of 5?
False
Suppose -3*d - 2809 = -5*m, -2*d + 2810 - 16 = 5*m. Suppose 4*u = m - 56. Suppose 5*f = 3*f + u. Is 22 a factor of f?
False
Let g(m) = -m**2 + 10*m + 2. Let n be g(10). Suppose 3*x + 0*x - 4*z = 51, -z = n*x - 23. Is 3 a factor of x?
False
Suppose -8838 = -3*h + 3699. Does 21 divide h?
True
Let a(b) = -88*b + 796. Let i be a(9). Let r be 1022/6 - 2/(-3). Suppose 0 = -i*q - r + 591. Does 23 divide q?
False
Let z = -69 + 72. Let q(f) = f**2 + f + 1. Let j be q(-2). Suppose 3*b - 30 = -j*o, -z*o + 10 = 4*b - 24. Does 2 divide o?
True
Suppose 0 = o - 0 + 3, 0 = 5*v + o + 588. Let b = v + 207. Is 15 a factor of b?
True
Let a = 1213 + -596. Let i = a + -344. Is i a multiple of 17?
False
Let l = 32 - 20. Let h(w) = 11*w - 6 - w**2 + 4*w + 17 - 3*w. Is 4 a factor of h(l)?
False
Let r = 5647 + -3777. Does 34 divide r?
True
Let t(d) = -d - 1. Let r(s) = 1. Let v(z) = 2*r(z) + 3*t(z). Let w be v(-8). Does 22 divide 16/8*(w + 0)?
False
Is 21 a factor of ((-32)/40)/((-5)/3775)?
False
Suppose 7*r = -1057 + 3157. Is 20 a factor of r?
True
Suppose -3*u + 58 + 278 = -2*q, -5*q = -5*u + 560. Does 8 divide u?
True
Let y(i) = i**3 - 5*i**2 - 6*i + 4. Let c 