vide h?
True
Suppose -3*h = -6*h + 357. Let l = -104 + h. Does 5 divide l?
True
Let m be (-3 + 6)/(6/(-4)). Let z(u) = 16*u**2 - 3*u + 2. Does 18 divide z(m)?
True
Let b(q) = -3*q + 2. Let h be b(-7). Let o = h + -3. Does 4 divide o?
True
Let a(f) = -f**3 + 9*f**2 - f + 1. Let p be a(9). Let b = 11 + p. Suppose 0 = z + b, 4 = -5*l + 4*z + 56. Is l a multiple of 8?
True
Suppose -5145 - 13191 = -32*d. Is d a multiple of 10?
False
Let x(z) = -139*z + 482. Is x(-31) a multiple of 85?
False
Does 5 divide 0/(24 + -15) + 1*312?
False
Let j(t) = -19*t**2 - t + t**3 - 5 + 28 + 10*t + 8*t. Is 4 a factor of j(18)?
False
Let b(c) = -58*c**3 + 1. Let h be b(-1). Suppose 3*i = -5*j + 113, -h + 192 = 3*i - 5*j. Does 22 divide i?
False
Let k(s) = s**2 - 6*s + 3. Let q be k(6). Suppose -w = -p + 1, -4 = -4*p - 8*w + q*w. Is 27 a factor of p*69/(-2 - -3)?
False
Let g(z) be the third derivative of -z**3/6 - 2*z**2. Let k(a) = -14*a - 3. Let i(y) = -4*g(y) + k(y). Is i(-1) a multiple of 15?
True
Let i = 5277 + -2406. Is 33 a factor of i?
True
Let p = -27 - -29. Suppose -6 = 4*v - 8*v + 5*y, y = 2. Suppose v*n - 121 - 151 = p*w, -2*w + 190 = 3*n. Does 19 divide n?
False
Let i(w) be the first derivative of -w**4/4 - 3*w**3 + 7*w**2 - 25*w - 15. Is 10 a factor of i(-12)?
False
Let i(n) = 24*n - 8. Suppose 0 = -16*c + 19*c - 21. Is i(c) a multiple of 20?
True
Suppose 2*g + 6 - 2 = -5*l, 0 = -3*l + g + 2. Suppose l = -11*t + 6*t + 120. Is (-132)/t*(-1 - 1) a multiple of 10?
False
Suppose 0 = r - 4*r + 561. Is r a multiple of 11?
True
Let x(g) = -30*g + 42. Let w(p) = 12*p - 17. Let a(l) = -12*w(l) - 5*x(l). Let r(u) = -3*u - 30. Let i be r(-12). Does 10 divide a(i)?
True
Does 54 divide 7714/6 - (-10 + (-256)/(-24))?
False
Suppose -w - 5*h + 161 = 0, 0 = w - 3*h + h - 161. Is w a multiple of 6?
False
Let b be 0 - (-4 + 13)/(9/(-42)). Let g = b - -32. Is g a multiple of 39?
False
Suppose -63356 - 70502 = -31*r. Is 13 a factor of r?
False
Suppose -1546 = -3*s - d, -d = -2*s - 5*d + 1044. Is s a multiple of 21?
False
Suppose 5*f - 26 = -6. Suppose -f = 4*v - 6*v. Let u(r) = 4*r**2 - r - 1. Is u(v) a multiple of 13?
True
Let g(s) be the third derivative of s**4/4 - s**3 + 11*s**2. Is 25 a factor of g(17)?
False
Let d = 37 - -17. Let o = d - 29. Suppose 0*p - 3*q = 2*p - 36, -p + o = -2*q. Does 21 divide p?
True
Suppose -3*t - 147 = -2*s, 4*t + 2 = 6. Is 3 a factor of s?
True
Let h(v) = -2*v + 4. Let s be h(-4). Suppose -2*c + 2 = -s. Suppose -4*u = -c*u + 15. Is u even?
False
Let a(t) = t**3 + 60*t**2 - 75*t - 76. Is 17 a factor of a(-61)?
False
Suppose 4*x + 4*n = 1584, n = -4*n. Is 52 a factor of x?
False
Let r = -95 - -133. Suppose -i = 4*v - r, 5*i + 0*i - 3*v = 213. Is 12 a factor of i?
False
Suppose 5*i = i - 4. Let l(x) = -33*x + 0 + 4 + 0 - 2. Is 7 a factor of l(i)?
True
Suppose 2*a + 3 + 13 = 0. Does 9 divide (a/(-12))/((-4)/(-12)) - -69?
False
Suppose 18*u + 4196 = 22*u + 5*w, -3*u - 4*w = -3148. Is u a multiple of 18?
True
Suppose 158*h - 152*h = 7176. Is 52 a factor of h?
True
Let s(x) = 4*x**2 + 25*x - 76. Let d(z) = -7*z**2 - 51*z + 152. Let p(n) = 3*d(n) + 5*s(n). Is 4 a factor of p(-28)?
True
Let s be 1/(75/24 - 3). Let z = -16 + s. Let c(h) = -6*h + 18. Is 29 a factor of c(z)?
False
Suppose 22 = 2*l + 2*w, 23 = -0*l + l - 3*w. Suppose -3*x + 1 + l = 0, -5*z + 420 = -5*x. Is z a multiple of 13?
False
Let k = 702 - 334. Does 16 divide k?
True
Suppose 6*o - 49 = 41. Is (o/(-20))/((-3)/456) a multiple of 38?
True
Let o = -84 + 89. Suppose -y + x + 24 + 32 = 0, 0 = -3*y + o*x + 172. Does 17 divide y?
False
Let l = 7 - 5. Suppose -f - f + 8 = -l*j, -4*f = j - 6. Suppose 0 = 4*r - 4, 3*w - f*w = -2*r + 62. Is w a multiple of 15?
True
Let b be ((-56)/36)/7 + 646/(-9). Suppose 6*c - 620 = c. Let y = b + c. Does 26 divide y?
True
Suppose 5*l + 12 = 2*g - 6, -8 = -4*g - 4*l. Suppose 4*u = -u - g*w - 135, -3*w = -u - 27. Let h = u - -48. Is h a multiple of 17?
False
Suppose 4*c = -j + 3*j + 12, 0 = -j - 3*c + 19. Is 24 a factor of (-1155)/(-12) + (-1)/j?
True
Suppose -f = 5*l - 0*l + 13, -2*f - 12 = 3*l. Let j be 10*6*f/6. Is (j/9)/((-5)/75) a multiple of 25?
True
Let i = -8 - -13. Let r be ((-8)/(-2) - -1) + 23. Suppose r + 12 = i*b. Is 8 a factor of b?
True
Let d(v) = 3*v**2 - v - 1. Let c be d(-1). Suppose -3*b + 0*b - 27 = 0. Is (c - b*1) + -3 a multiple of 9?
True
Let o(y) = 2*y**2 - 7*y - 22. Let i(w) = w**2 - 3*w - 11. Let k(u) = -5*i(u) + 3*o(u). Let h be k(8). Suppose -43 = -h*s + 22. Is s a multiple of 13?
True
Suppose -4*h = -4*x + 280, -3*x + 4*h + 216 = -h. Let d = x - 20. Suppose 16 = -y + d. Does 21 divide y?
False
Let h be (-2)/(-2) - (2 - 12). Suppose -h*m + 9*m = -96. Is 12 a factor of m?
True
Let y = 83 - -54. Let n = y + 46. Let k = -96 + n. Is 29 a factor of k?
True
Let g(n) = n + 2. Let u be g(6). Let l be 72/u + (-4)/1. Suppose -3*z - c + 209 = 0, 2*c + 3*c + l = 0. Does 14 divide z?
True
Let d be 2 - (-1 + (-1 - -2)). Let f(h) = h**3 - 3 - 2*h**2 + 5*h - 6*h**2 + 3*h**d + 2*h**2. Is 11 a factor of f(4)?
True
Let s be -3*-4*(-4)/(-24). Let z be 7/(-7) + 3/1. Suppose 0*c + 2*c = 5*l - 271, s*c + 112 = z*l. Is l a multiple of 13?
False
Suppose y = 6*y, 2*y + 420 = 4*t. Does 4 divide t?
False
Suppose 4*b - 3*h = 12, 2*b - h - 4 = b. Suppose 0 = -4*p - 2*u, -p + b*u = -u. Suppose 5*i + p*q = 4*q + 54, 4*i + q - 60 = 0. Is 14 a factor of i?
True
Let d be ((-30)/9)/(2/(-33)). Let z = -107 - -94. Let h = d + z. Does 21 divide h?
True
Suppose 106 - 1156 = -2*a. Is 33 a factor of a?
False
Suppose -5*y = -20, -5*y = -l + 2*l - 22. Suppose 10 - l = 4*x. Suppose 22 = 3*i + x*b, 3*i - 15 = i - b. Is 5 a factor of i?
False
Is -6*(-3 + (-55)/(-15)) - -10 a multiple of 3?
True
Let r be (182/42)/(1/45). Suppose -26*b + r = -23*b. Is b a multiple of 5?
True
Suppose 4*w - 4*u = 5*w - 23, 25 = 5*w + 2*u. Suppose -n - 4*m = -44, -w*m - 2 = -n + 42. Suppose 0 = -3*s + s + n. Does 22 divide s?
True
Suppose 3*a + 15 = 0, -2*x - 91 - 48 = 3*a. Let t = -35 - x. Suppose -c - 3*z + 5*z + 36 = 0, -c = z - t. Is 15 a factor of c?
True
Let h(l) = l**2 + l. Let k(j) = j**2 - 9*j - 10. Let p be k(10). Let g be h(p). Suppose g = 5*f - 132 - 48. Is f a multiple of 12?
True
Suppose -815 = -m + 219. Let x = m - 616. Suppose x = 6*o - 74. Does 24 divide o?
False
Suppose -12 = -5*t + 3. Suppose -c = t*c - 36. Is c even?
False
Let p be (2*4)/(4 + -2). Suppose -3*j + 0*t - 3*t + 6 = 0, 3*j = -p*t + 4. Suppose -j*r = 2*k - 3*k + 12, -4*r = 4*k - 48. Is 3 a factor of k?
True
Let s(c) = -8*c**2 - 152*c - 22. Is 14 a factor of s(-13)?
True
Suppose 5*u = -4*g + 672, -2*u + 0*u + 279 = 5*g. Does 4 divide u?
True
Suppose 0 = -0*x - 2*x + 14. Suppose 0 = 4*f + 3*w + x, 3*w + 9 = -f - 4. Suppose 0 = -r + 6 + f. Does 3 divide r?
False
Let q(u) = 2*u**3 - u**2 - 13*u - 6. Does 13 divide q(6)?
True
Suppose -3*w + 6 = 3*l, 6*w - 4*l = 2*w. Suppose -w = -m + 17. Suppose -4*u + m + 22 = 0. Is u a multiple of 5?
True
Let h = -832 + 2099. Is h a multiple of 15?
False
Let v = -341 - -670. Does 7 divide 1138/12 - (v/42 - 8)?
False
Let d = 960 + -505. Does 13 divide d?
True
Let i = -398 - -2454. Does 12 divide i?
False
Let r = 6 - 2. Suppose -r*z + 88 = -92. Is z a multiple of 15?
True
Suppose 45*i - 1760 = 35*i. Is i a multiple of 21?
False
Let c be (0 - 1)*-1*-7. Suppose 0 = 8*v + 169 - 113. Is 2 a factor of (-103)/v + (-2)/c?
False
Suppose 7*o - 3*o + 5*d = 620, -5*o + 3*d + 775 = 0. Suppose 153 = t - 4*s, o + 502 = 4*t - s. Does 15 divide t?
True
Is 152 a factor of ((-114)/15)/(1 + (-410)/400)?
True
Let y(i) = 10*i**2 - 2*i. Let n be y(-2). Suppose -r + 21 = -n. Suppose 0 = -5*w + r - 15. Does 10 divide w?
True
Suppose 2*y = 2*x + 32, 2*y = -2*y - 4*x + 32. Is y a multiple of 2?
True
Let v(a) = -2*a + 2. Let d = 4 - 0. Suppose 0 = -d*p - 27 - 5. Does 13 divide v(p)?
False
Let x(s) = -9*s**3 - 7*s**2 + 26*s - 11. Let a be x(-8). Is a/28 + (7/(-4) - -2) a multiple of 11?
False
Let x be (2080/3)/5*3/2. Does 21 divide (3 - (-15)/(-6))*x?
False
Suppose 3*d = -3*j + 2091, 4*d = 4*j - 7*j + 2091. Is j a multiple of 17?
True
Suppose 30*z - 604 = 21326. Is z a multiple of 19?
False
Suppose -4*b - 80 = -n + 20, -380 = -3*n - 4*b. Does 15 divide n?
True
Let m(f) = -67*f + 118*f - f**3 - 61*f - 7 + 4 - 6*f**