 - 4*y - 3. Let h(s) = -s**3 + s**2 - s. Let g(w) = 6*h(w) - p(w). Does 19 divide g(-8)?
True
Suppose -10*h + 171 = -69. Is h even?
True
Let h(j) = -j**3 + 5*j**2 + 11*j + 1. Is h(5) a multiple of 8?
True
Let s = -4 + 9. Suppose -5*i = s*m - 10, 0 = m - 2*i + 3 - 11. Suppose -m*z + 56 = -2*z. Is 14 a factor of z?
True
Let w(o) be the third derivative of o**5/20 + o**4/8 - o**3/3 + 3*o**2. Is 19 a factor of w(3)?
False
Suppose k + 0*y = -4*y - 32, 0 = -3*k - 4*y - 112. Let c = k - -67. Is c a multiple of 11?
False
Let h(t) = t - 1. Let o be h(1). Suppose o*a + 72 = a. Is 24 a factor of a?
True
Suppose -627 = -5*o - 67. Suppose 3*i + k = -k - 10, -i + 5 = -k. Suppose i = 4*d + f - 151, -3*d = f - 0*f - o. Is 18 a factor of d?
False
Let x(f) = 5*f**2 - 3*f - 3. Is 10 a factor of x(3)?
False
Suppose 33 = -u - 50. Let t = 44 + u. Let g = t - -61. Does 11 divide g?
True
Is 49 a factor of ((-294)/35)/(1 - (-146)/(-140))?
True
Let d be 1 - (-1)/(-1) - 1. Let c(v) = -2*v. Is c(d) even?
True
Suppose 0*n = -4*n + 132. Does 11 divide n?
True
Suppose 2*s + 60 = 4*s. Suppose -s = 2*x - 7*x. Does 14 divide (-2)/(0 + x/(-57))?
False
Let d(v) be the second derivative of -5*v**3/6 - 2*v. Is 15 a factor of d(-5)?
False
Let r(m) = -m**3 - 6*m**2 + 8*m - 2. Let u be 1/(-2) - (-30)/(-4). Let x be r(u). Suppose 0 = -2*a - 4*w + x, -2*a = -w - 20 - 27. Is 18 a factor of a?
False
Suppose 3*a + f = -2*a + 2, 0 = 2*a + 2*f + 4. Does 8 divide a + (-5)/(15/(-21))?
True
Suppose 0 = 3*y + 5*o + 20, 5*o + 3 = -17. Let r be (y - 1)/(1/(-44)). Suppose -r - 1 = -5*t. Does 7 divide t?
False
Suppose 4*y - 2*z = 3*z + 67, -55 = -3*y - z. Is y a multiple of 18?
True
Does 39 divide (0 - -2)/((-6)/(-585))?
True
Let i = -7 + 7. Suppose i = -0*s - 5*s + 30. Is 4 a factor of s?
False
Let r(p) = p**3 + 9*p**2 + 3*p + 4. Let i be r(-8). Suppose -5*q - 47 = 38. Let j = i + q. Does 13 divide j?
False
Suppose 4*a + 4*m - 7 - 1233 = 0, m + 302 = a. Does 51 divide a?
True
Let t(s) = -10*s + 1. Let p(v) = -11*v + 2. Let o(b) = 2*p(b) - 3*t(b). Let n be o(-10). Let u = 113 + n. Does 17 divide u?
True
Let b = -24 + 0. Let a = 26 - b. Does 25 divide a?
True
Suppose 3*k + 4 = z, -k = z - 4*z + 12. Suppose -4*y + 130 = -2*b, y - 25 = z*b - b. Is y a multiple of 13?
False
Suppose 99 = 7*v - 10*v. Suppose 7 = 2*m + 19. Is m/v - 656/(-22) a multiple of 11?
False
Suppose -3*g = g - 40. Is 4 a factor of g?
False
Let d(f) = f**3 - 4*f**2 - 3*f - 9. Does 45 divide d(6)?
True
Let a(s) = 2*s**2 + 4*s - 3. Let k be a(3). Suppose f - 1 = -3*j + 26, 3*j = -4*f + k. Suppose 0 = -4*m + 71 + j. Does 16 divide m?
False
Let b(v) = -5*v - 8. Let j(i) = 10*i + 17. Let x(u) = -7*b(u) - 3*j(u). Does 10 divide x(5)?
True
Let g(l) = -l**3 + 10*l**2 + 3. Let h be g(10). Suppose 7 + 5 = -h*z. Is -2 + -2*94/z a multiple of 18?
False
Let c(w) = 17*w**2 - 3*w + 3. Let s(j) = 16*j**2 - 2*j + 2. Let x(g) = -2*c(g) + 3*s(g). Does 12 divide x(1)?
False
Suppose -3*q + 86 + 169 = 0. Is q a multiple of 21?
False
Suppose -16*q - 692 = -20*q. Is 17 a factor of q?
False
Suppose -2*s - 2 = 0, -5*s = 4*k - 181 - 170. Is k a multiple of 7?
False
Suppose -3*v - v + 16 = 0. Is 2 a factor of v?
True
Let h = -2 + 3. Let o be 0 + -3 + h + 20. Let x = o + -2. Does 8 divide x?
True
Let f be (-292)/(-5) + 16/(-40). Let c = 117 - f. Does 17 divide c?
False
Let i(f) = -f**3 - 2*f**2 + 2. Let u be i(-2). Let m = u - 0. Suppose -m*h - 3*j = -17, 5*j + 57 = h + h. Is 8 a factor of h?
True
Let v = 15 - 13. Suppose -5*h - v*t + 250 = 0, -4*h + h + 150 = t. Does 13 divide h?
False
Suppose -5*j = -y + 2*y + 7, 4*y - 29 = -j. Is 2 a factor of y?
True
Let s = -1 - -23. Let v = s - 19. Is v a multiple of 3?
True
Let c = 186 - 100. Does 14 divide c?
False
Let s be 1/(1 + 3 + -5). Does 6 divide 238/8 - s/4?
True
Let w = -18 - -22. Does 4 divide w?
True
Let m = -5 - -3. Let g be 31/(-4)*(2 - m). Let a = g - -57. Is 13 a factor of a?
True
Let p = 11 - 6. Suppose -p*i = 3*y - 224 + 71, 4*y - 233 = 3*i. Suppose -4*g + 57 = -5*x, x + y - 16 = 3*g. Is 7 a factor of g?
False
Is 14 a factor of 1956/30 + (-1)/5?
False
Is (1/(-2))/(18/(-180)) a multiple of 5?
True
Suppose 1 = 2*x + 2*y - 25, -5*x = 2*y - 53. Let k = x + -4. Suppose 0 = -3*g - 5*f + 157, -k*f = g - 35 - 24. Is g a multiple of 17?
False
Suppose 4*l - 195 + 95 = 0. Is 2 a factor of l?
False
Let i(l) = 2*l**2 - l - 12. Does 18 divide i(6)?
True
Let d = 4 - 4. Let t be -5*(2 + -3 + d). Suppose -2*i + 50 = t*s + 12, -3*s = i - 23. Does 5 divide s?
False
Let y = -53 + 160. Suppose -k + 5*k - y = -c, -5*k + 130 = 5*c. Suppose 57 + k = 4*r. Does 14 divide r?
False
Suppose 0*d - 2*t = 4*d - 122, 0 = -4*d + 5*t + 87. Is d a multiple of 25?
False
Let h(p) = p**3 - 9*p**2 + 9*p - 10. Let n be h(8). Let a be (2 - 33/6)*n. Let u(w) = -w**3 + 8*w**2 - 3*w + 4. Is u(a) a multiple of 16?
True
Suppose 32 = -5*k - 3. Let c = -3 - k. Is c a multiple of 4?
True
Suppose c = 3*c - 30. Is c a multiple of 15?
True
Suppose 5*n - 5*j = 65, -j = -4*n - 2*j + 52. Does 6 divide n?
False
Let w(v) = -3*v**3 - 4*v**2 + 6*v + 2. Let z(m) = -10*m**3 - 11*m**2 + 19*m + 7. Let b(k) = 7*w(k) - 2*z(k). Is 10 a factor of b(-7)?
False
Is 2 a factor of (1 + 3 + -6)*-2?
True
Suppose 4*z - 85 = -3*k + 24, 0 = 2*k - 4*z - 66. Is k a multiple of 7?
True
Let p = -6 - -3. Does 3 divide 6 + (p - -2) + 0?
False
Let c = -2 - -26. Is c a multiple of 8?
True
Let q(v) = v**3 - 8*v**2 - 16*v + 11. Is q(10) a multiple of 17?
True
Let q be (36 + 2/2)/1. Suppose x + 5 = q. Is 8 a factor of x?
True
Suppose -2*x = 35 - 125. Suppose q - 6*q = -x. Is 4 a factor of q?
False
Let y(d) = -d - 1. Let i be y(-5). Suppose k - 210 = -i*k. Suppose 0 = -5*s + 4*n + k, 3*s - 5*n = 8*s - 15. Does 5 divide s?
False
Suppose -2*s + 4*n + 74 = 0, 9*s + 3*n - 146 = 4*s. Let a = s + -1. Does 12 divide a?
False
Suppose -7*h + 3*h - 3*o = -25, -2*h + 3*o - 1 = 0. Let i(t) = 1 + 3 - 2*t**2 + 3*t**2. Is 7 a factor of i(h)?
False
Let b(g) = -g**3 - g - 10. Let i be b(0). Let n(m) = 3*m - 2. Let v be n(-4). Let h = i - v. Is 2 a factor of h?
True
Let b be (-4)/(-14) - 200/(-35). Suppose 10 = u - b. Is u a multiple of 8?
True
Let q be ((-4)/(-10))/((-6)/(-180)). Suppose g - 6*o + 18 = -2*o, -4*g + 4*o - q = 0. Is 6 a factor of 20 + -2 - (-1 + g)?
False
Suppose c - 10 = 61. Is 20 a factor of c?
False
Let g(i) = i**2 - 9. Suppose 6*m = 3*m + 2*x + 16, -4*m + 44 = 3*x. Let u be g(m). Suppose 2*d = -2*d - h + u, 54 = 4*d + 2*h. Is d a multiple of 7?
True
Suppose -5*t = -5*y - 40, -3*t + 4*y + 20 = -2*t. Let r be (t - -1) + -2 + 3. Suppose -2*j + 8 = -2*l, 0 = 2*j - 4*l - r - 0. Does 3 divide j?
False
Suppose 0 = -m - 3, 2*m - 1 - 1 = -2*r. Suppose 0 = -3*b + 6*b - 4*k + 12, 0 = -r*b + 5*k - 15. Suppose 8*i - 3*i - 160 = b. Does 22 divide i?
False
Let h = 7 - 5. Let s(j) = -3*j**2 + j - 2. Let t be s(h). Is (0 - -3)*(-2 - t) a multiple of 11?
False
Let f be ((-6)/(-4))/(5/10). Suppose -3*b = -3 - f. Suppose b*s - 26 = 42. Is s a multiple of 12?
False
Is 36 a factor of 3 - (-66)/(-24) - 1150/(-8)?
True
Does 20 divide 4005/25 - 1/5?
True
Does 10 divide 18/(-10)*100/(-12)?
False
Suppose 4*r = 9*r - 45. Let t(m) = m - 4. Is t(r) a multiple of 4?
False
Let m(k) = 22*k + 76. Does 53 divide m(12)?
False
Let b(s) = -80*s**3 - 2*s - 1. Let h be b(-1). Suppose -3*d - 2*n = -199 - h, -3*n = 12. Is 25 a factor of d?
False
Suppose 20 = -5*o, -4*f + 3*o = -f - 21. Let h(s) = -s**3 + 5*s**2 - 2*s + 1. Is h(f) a multiple of 5?
False
Let n be 16/9 - (-8)/36. Suppose n*b - 5*s + 66 = -2*b, -5*b = -s + 72. Let d = b - -64. Does 25 divide d?
True
Let g be 138/9*(-6)/(-4). Suppose 37 = 3*c - g. Is c a multiple of 20?
True
Suppose 2*a = -2*s + 10, -2*a = 3*a + 20. Is s even?
False
Let t = 17 - 1. Suppose 7 + t = p. Does 11 divide p?
False
Let r(u) = u**3 - 6*u**2 - 8*u - 11. Is 37 a factor of r(8)?
False
Suppose -2*w + 290 = 5*f, -310 = -5*f - w + 3*w. Is 6 a factor of f?
True
Suppose 0 = -0*j + 4*j - 16. Let f(n) = n**2 - 4*n + 2. Let b be f(j). Suppose 0 = -b*g - 2*g + 144. Is g a multiple of 18?
True
Let p(y) = -y**3 + 4*y**2 + 5*y + 4. Let i be p(5). Suppose -3*a = -i*u + 25, -4*a + 46 = u + 16. Is 11 a factor of ((-8)/u)/((-4)/130)?
False
Suppose 5*k = -0*k + 25. Suppose -k*x + 50 = -4*x. Is 19 a factor of 