et h = m - -19. Does 10 divide h?
True
Let g = -2 - 0. Let a be g + (-2 - (1 + -1)). Does 15 divide 5*6 + (a - -4)?
True
Let c(f) = -f**2 - 8*f - 3. Let i be c(-5). Suppose -n + 3*w + 41 = 4*n, w = -2*n + i. Is n a multiple of 7?
True
Let l(f) = 2*f**2 - 10*f - 7. Let h be l(8). Let s = 4 - h. Let v = s + 65. Is v a multiple of 14?
True
Suppose m + 3*z + 279 = 6*m, -4*z + 293 = 5*m. Is m a multiple of 19?
True
Does 36 divide (3 - -51) + (0 - -2)?
False
Let y(w) = w**3 - 7*w**2 - 8*w - 8. Let o be y(8). Let j(g) = -g**2 - 11*g - 12. Does 12 divide j(o)?
True
Let t(l) = l**3 + 5*l**2 - l - 2. Suppose 6*c = 2*c - 16. Let b be t(c). Let u = 29 - b. Is u a multiple of 3?
False
Let f be (-1 - -1)/(-4 + 3). Suppose f = -5*o + 3*w - 6*w + 1173, 0 = -5*w - 20. Suppose -87 = 3*r - o. Is r a multiple of 15?
False
Suppose -2*d = 5*z - 26, -8*d = -3*d - 2*z - 65. Is 3 a factor of d?
False
Suppose 3*h - 22 = y, -2*y - 3*y - 2*h = 42. Let p = y - -22. Is 6 a factor of p?
True
Suppose -2*j - 2*j + 434 = -2*a, 10 = 2*a. Suppose -j - 21 = -4*b. Is 11 a factor of b/(2 - (-1)/(-2))?
True
Let g(n) = n**2 + 5*n - 5. Let q(o) = -o**2 + 3*o - 3. Let z be q(4). Is 2 a factor of g(z)?
False
Let z(f) = f - 3. Let p be z(5). Suppose -p*q + 3*q - 13 = 0. Suppose 4*j = 16, -2*j + 15 + q = 4*c. Is c a multiple of 3?
False
Let w(k) = k**2 + 7*k. Let z be w(-5). Let h = z - -14. Suppose -h*n = -27 - 29. Does 8 divide n?
False
Let i(u) = 7*u**2 + 1. Let m(p) = 13*p**2 + 2. Let k(s) = -7*i(s) + 4*m(s). Is 2 a factor of k(-1)?
True
Let c(w) = -w**3 - 7*w**2 + w + 5. Let b be c(-7). Let p be 229/6 + b/12. Let r = p + -7. Does 16 divide r?
False
Let v(j) = j + 7. Let c be v(-5). Suppose c*b - 3*f - 50 = 0, 0*b + 5*f + 130 = 5*b. Is b a multiple of 9?
False
Let x(r) = -r**3 + 1 + 0*r**3 + 9*r - 5*r**2 + 11*r**2. Does 14 divide x(7)?
False
Let c = -19 - -21. Suppose 4*o + 12 = 0, p + 3*p = -c*o + 186. Does 14 divide p?
False
Let y(m) = 3*m - 3. Let c(f) = 2*f**2 + f + 2. Let j be c(2). Does 12 divide y(j)?
False
Suppose 6*z = 4*z + 8. Suppose g = -3*g + y + 62, z*g = 4*y + 68. Let f = -5 + g. Is f a multiple of 4?
False
Let p(q) = -73*q - 2. Let h be p(1). Let u = -100 + -20. Let j = h - u. Is j a multiple of 15?
True
Suppose 27 = 6*p - 3*p. Is 4 a factor of p?
False
Let p(g) = 15 + 11*g - 4*g - g - 5*g. Does 15 divide p(0)?
True
Suppose k - 4*k + 279 = 0. Suppose -c = 3*j - 18 + 3, 3*j = 5*c - k. Does 12 divide c?
False
Let z(g) = -6*g + 1. Does 15 divide z(-6)?
False
Suppose 77*m + 480 = 80*m. Is m a multiple of 44?
False
Suppose 0 = v - 3*v + 3*h + 10, -h = 4. Let z be v/2*0 - 2. Is 12 a factor of (-4 - -3) + (z - -33)?
False
Is 45/3 - (-2 - 0) a multiple of 7?
False
Suppose 0 = 4*d - 95 - 25. Does 6 divide d?
True
Let s(b) = -19*b - 8. Let k be s(-4). Suppose 0 = v + v + 4*r - 74, r - k = -2*v. Is v a multiple of 22?
False
Suppose k - 16 = -2*v - 4, 3*v + k = 17. Suppose -2*c - v*y = 3*c - 130, 3*y - 15 = 0. Is c a multiple of 9?
False
Let h(g) = 3*g**2 + 11*g + 1. Does 9 divide h(-5)?
False
Let r(p) = -7*p - 5. Does 17 divide r(-8)?
True
Suppose 137*a + 36 = 139*a. Is 6 a factor of a?
True
Let n = -89 + 80. Let z be ((-2)/(-4))/(2/(-4)). Does 12 divide (n + 4)*z*7?
False
Suppose 3*p - 10 = p. Suppose -5*f + 25 - p = 0. Suppose -r = 3*y - 42, -f*y + 87 = 3*r - 19. Does 15 divide r?
True
Is 12 a factor of 28/(-1)*((-15)/(-4))/(-3)?
False
Suppose -3*v - 2*d + 182 = 0, 5*v + 3*d = 6*d + 297. Does 13 divide v?
False
Suppose 5*i + 8 = 3*i. Does 12 divide (-59)/i + (-1)/(-4)?
False
Let x(i) = 2*i + 4. Let g be x(-4). Let j be g/(-14) - (-26)/7. Does 21 divide 83/j - 1/(-4)?
True
Let h be (-88)/(-33) + 2/6. Suppose -h*x + 2*n + 196 = 0, -x + 2*n = -0*x - 64. Is x a multiple of 19?
False
Suppose 3*x - 4 = 101. Is 23 a factor of x?
False
Let j(i) = -3*i**2 + 56*i + 26. Is 4 a factor of j(19)?
False
Suppose -m + p = -55, -5*m - 2*p + 3*p + 271 = 0. Let w = m - 22. Does 16 divide w?
True
Let b(x) = -x**3 - 3*x**2 + 5*x - 2. Let p be b(-4). Is 16 a factor of 97/2 + p/12?
True
Let v = -7 + 9. Suppose v*x - 14 = -p + 5, 25 = 5*p - 4*x. Is 9 a factor of p?
True
Suppose 4*o = -2*i - 8, 0*o - 22 = 3*i - 4*o. Is (-232)/i + 14/(-21) a multiple of 19?
True
Is 23 a factor of 120/(-80) + (-63)/(-2)?
False
Let g = 19 - 11. Suppose 4*v - g = 3*v. Is v a multiple of 2?
True
Suppose -29 = 2*z + 99. Let c = z + 89. Does 5 divide c?
True
Let y(a) be the third derivative of a**4/24 + 2*a**3/3 + a**2. Let w be y(0). Does 17 divide 1*84/(w - 2)?
False
Suppose l + 2*t + t = 66, -l - 2*t = -70. Does 26 divide l?
True
Suppose -57 - 513 = -6*j. Is 19 a factor of j?
True
Suppose 0 = -5*z - 0*z - 70. Does 4 divide (-200)/z - (-20)/(-70)?
False
Does 3 divide 25*((-24)/(-20) - 0)?
True
Let d(s) = s**3 + 16*s**2 + 16*s + 17. Let i be d(-15). Suppose -6*m = -i*m - r - 161, -5*m - 5*r = -195. Is m a multiple of 20?
True
Let l(g) = -g**3 - 4*g**2 + 4. Let h(q) = -q**3 - 7*q**2 - 4*q + 8. Let m be h(-6). Let w be l(m). Suppose 5*t - 29 = -o - w, 4*o = 4*t + 4. Is t even?
True
Let u(h) = 9*h - 31. Is u(10) a multiple of 23?
False
Let a(u) = -5*u + 2*u - 3 - 14*u. Let v(r) = 26*r + 5. Let l(i) = -8*a(i) - 5*v(i). Is l(3) a multiple of 9?
False
Let g(n) = 15*n**3 - n**2 + n - 2. Is g(2) a multiple of 12?
False
Let o = -58 + 24. Suppose 0*c = -4*c - 16. Let d = c - o. Is 12 a factor of d?
False
Let o(b) = -b - 4*b + b**3 - 2 + 4 + 12*b + 8*b**2. Is 14 a factor of o(-5)?
True
Let j = 13 - -11. Let t be 3/(-2)*j/9. Is 3 a factor of 1 + t/(-1) + -2?
True
Let b(d) = 2*d**3 + 2*d - 1. Let n be b(1). Let a = n + 0. Suppose -42 = -a*j + 3. Is j a multiple of 6?
False
Suppose 0*s = -s + 4*w + 23, -2*w + 56 = 4*s. Is 6 a factor of s?
False
Does 22 divide 3/6 + (-357)/(-14)?
False
Does 7 divide (-6)/(-4)*(-320)/(-24)?
False
Let a(q) = 2*q**3 + 2*q + 3. Let p be a(4). Let o = -95 + p. Is 22 a factor of o?
True
Let b = 47 - 34. Is b a multiple of 9?
False
Let u(r) = 4*r**2 - 5*r + 5. Does 5 divide u(2)?
False
Let q(n) = -n**3 + 11*n**2 + 17*n - 3. Does 19 divide q(12)?
True
Suppose -2*m - 14 = -4*p, -p + 6*p = 5*m + 10. Suppose 127 = p*v - 8. Is v a multiple of 14?
False
Let a(w) = w - 5. Let k be a(8). Let h(v) = -v**2 - v + 20. Let q be h(0). Suppose -q = -o - k*o, y - 5*o - 1 = 0. Does 10 divide y?
False
Suppose 0 = -5*p - 3*h - h + 230, 0 = 3*p + h - 131. Is p a multiple of 21?
True
Suppose 277*f - 281*f = -212. Is 53 a factor of f?
True
Suppose 5*b + z - 71 = 2*z, 2*z - 53 = -3*b. Does 6 divide b?
False
Let p = -4 - -5. Does 6 divide p + (-1)/((-3)/51)?
True
Let j(o) = -2*o**2 + 3*o - 6. Let h(c) = c**2 - c. Let p(s) = 3*h(s) + j(s). Let w be p(5). Let q = w + -1. Is 9 a factor of q?
True
Let c = 74 - 9. Is 13 a factor of c?
True
Let z(n) = n**3 - 2*n**2 - 4. Let s be z(3). Suppose -s*l - 3*i = -5, -l + 14 = i - 3*i. Suppose 0 = 5*x - 2*q - 79, 7*q = -l*x + 2*q + 50. Does 15 divide x?
True
Let n = -9 - -12. Suppose 3*j = -j + n*y + 189, -5*y = -25. Does 16 divide j?
False
Let i(d) = -3*d**2 - d**2 - 5*d - d**3 + d - 2 + 2*d. Let a be i(-6). Does 19 divide 1/((-2)/a*-1)?
False
Suppose 0 = 2*f - 1 + 7, 0 = 5*u - 4*f - 12. Let s(o) = -9*o**3 - 5*o**2 - 27. Let d(l) = 4*l**3 + 2*l**2 + 13. Let h(c) = 7*d(c) + 3*s(c). Does 8 divide h(u)?
False
Does 16 divide (-4011)/(-84) - (-1)/4?
True
Suppose 0*b = 4*b - 16. Is b a multiple of 4?
True
Let r(j) = -j**3 - 2*j**2 + 7*j - 4. Is r(-5) a multiple of 6?
True
Suppose 0 = 3*u - 5*u + 104. Does 26 divide u?
True
Suppose -5*k = -0*k - 130. Suppose 37 = -5*d - 23. Let m = k + d. Is m a multiple of 14?
True
Suppose 4*h + 3 + 1 = -4*l, -2*h - 2 = 5*l. Let s = 10 - h. Is s a multiple of 11?
True
Let b = -81 + 261. Suppose 0 = 6*u - u - b. Is 12 a factor of u?
True
Let x(s) = -s**2 + 15*s - 4. Does 13 divide x(8)?
True
Suppose -i + 30 + 35 = 0. Let g = 98 - i. Is 11 a factor of g?
True
Let h(l) = -5*l - 6. Let t = -6 - 1. Is 11 a factor of h(t)?
False
Suppose -h + 190 = h. Is h a multiple of 39?
False
Let i be 0 + 273 + -6 + 3. Suppose 0 = -3*n + i + 90. Suppose 0 = -4*q - q + n. Does 12 divide q?
True
Let u be -2 - ((-1 - 0) + -2). Is 6 a factor of u/(-2) - (-13)/2?
True
Let n(i) = -6*i - 1. Let z be n(-3). Let c = z + -1. Is 8 a factor of c?
True
Suppose 5*k + 4*j = 9, -k + 3*j = j + 1. Let q =