-118 - h. Is m a multiple of 8?
False
Suppose 2*x + x + 2*w - 4513 = 0, 2*x + 5*w - 3027 = 0. Is x a multiple of 11?
False
Let a = 7 - 4. Suppose -p + 3*w = w - 78, 0 = -a*p + 4*w + 236. Is p a multiple of 16?
True
Does 57 divide -2*(-5)/(-2) + 193?
False
Let a(o) = o**3 - 6*o**2 - 24*o + 25. Let v be a(11). Suppose 4*h - v = 74. Is 22 a factor of h?
True
Let i = 64 + -58. Let r = 62 - i. Is 8 a factor of r?
True
Suppose -4*c - u + 7011 = 0, 0 = 60*c - 55*c - 2*u - 8754. Is 154 a factor of c?
False
Let l(k) = 14*k**2 - k + 1. Let q be l(1). Suppose 2*j - 32 = -5*x, 0*j - j + 5*x = q. Is j a multiple of 3?
True
Let h = -4 + 8. Suppose -2*r + 186 = r - h*n, 3*n = r - 62. Suppose u - 5 = 0, r = 5*g - u - 13. Is g a multiple of 4?
True
Let p(j) = 2*j**3 - 5*j**2 - 3. Let n(f) = f**2 + 2*f + 1. Let t be n(-3). Let x be p(t). Let z = -21 + x. Is z a multiple of 17?
False
Suppose 0 = -h - 2*c - 40, -2*h + 3*h = -3*c - 45. Let f be 1*-1 + h/15. Is 16 a factor of (2 - 0) + (-48)/f?
False
Let t = -34 + 87. Let g = t + -14. Is 2 a factor of g?
False
Suppose -2*k - k - z + 158 = 0, 5*k - 265 = -2*z. Suppose 49*r - k*r + 50 = 0. Is 3 a factor of r?
False
Let l(m) = -m**3 - m**2 + 1. Let d be l(-2). Let v = 22 - d. Suppose v*r - 14*r = 144. Is r a multiple of 24?
True
Let t be ((-8)/24)/(1/6). Is t/((-147)/36 + 4) a multiple of 8?
True
Suppose 6*c + 3182 - 9062 = 0. Is c a multiple of 20?
True
Let y(l) = -l**3 + 6*l**2 + 7*l - 10. Let o be y(5). Is (-2 - -3)*-2 + o a multiple of 12?
True
Let z(k) = -75*k - 179. Is 8 a factor of z(-6)?
False
Let a be (6/9*(-12)/8)/(-1). Is 2 a factor of (-7)/(-2)*(a + 3)?
True
Let d = -33 + 35. Let g = -4 - -6. Suppose d*z - 5*m - 49 = 0, -z = -0*m + 5*m - g. Is 5 a factor of z?
False
Let n(d) = -d**3 + 13*d**2 - 7*d - 7. Let l be n(6). Suppose 37 = x - 2*x - t, -l = 5*x - 4*t. Let s = x + 69. Is s a multiple of 21?
False
Let j(u) = 65*u**2 + 11*u + 64. Does 16 divide j(-3)?
False
Suppose -b = 42*a - 43*a - 1964, 4*a = -3*b + 5878. Is b a multiple of 27?
False
Is 46 a factor of 93 - 2/(2 - 0)?
True
Let n = 18 - 14. Suppose 0 = 3*r + 5*b + 105, -190 - 22 = 5*r - n*b. Does 9 divide ((-13)/(-5) + -3)*r?
False
Suppose 6 = -0*z + 3*z. Suppose -3*s + 22 = -z. Is 18 a factor of 483/28 + 6/s?
True
Let q(a) be the first derivative of -a**3/3 - 3*a**2 + 7*a - 2. Let t be q(-7). Suppose 4*h + 4*s = -0*h + 64, -3*h - 2*s + 43 = t. Does 8 divide h?
False
Let k = 73 - 68. Suppose -m + 2*m = 4*s - 220, 0 = k*s + m - 266. Is s a multiple of 27?
True
Let z be 5 + ((-8)/4 - -1). Let s(v) = 2*v**2 + z*v + 2*v**2 + 3 + v**2. Is 17 a factor of s(-4)?
False
Let m(p) = -p**3 + 17*p**2 + 6*p + 27. Is m(16) a multiple of 4?
False
Suppose 2*x - 770 = -3*l, -6*x = 2*l - 7*x - 525. Is l a multiple of 20?
True
Let a(h) = 324*h**2 + h + 7. Is a(-3) a multiple of 40?
True
Let u(f) = 49*f**2 - 1. Does 44 divide u(3)?
True
Suppose 5*v - 5*s - 623 = 4*v, -2*v + 4*s = -1258. Is 11 a factor of v?
False
Let x be (1 + 2)*34/(-6). Let m(g) = -14*g - 38. Does 50 divide m(x)?
True
Suppose -84*u + 5022 = -57*u. Is u a multiple of 31?
True
Suppose -3*t + 61 = -5*z, -5*t + 5*z = -6*t + 7. Is t a multiple of 17?
True
Let x = 7 + 757. Does 8 divide x?
False
Let l(c) = 6*c**3 - 2*c**2 + 3*c - 2. Let u be l(1). Suppose 0 = -u*d + d - 32. Let m(f) = -4*f - 8. Does 4 divide m(d)?
True
Let n(k) = 2*k - 1. Let p = -12 + 9. Let t be n(p). Let z = 46 - t. Is 11 a factor of z?
False
Let q be 3*3/18*6. Suppose -4*m + q*m - 55 = 0. Let n = -31 - m. Is n a multiple of 8?
True
Let d = 3531 - 2073. Is 54 a factor of d?
True
Let a(z) = z**3 - 25*z**2 + 23*z + 29. Let x be a(24). Does 17 divide -1 + 127 + x - -5?
True
Suppose 0 = -10*f + 6*f + 156. Suppose -115 = -44*n + f*n. Is n a multiple of 8?
False
Does 4 divide (1 + 8)/(11/143)?
False
Let p = -983 + 1913. Is 62 a factor of p?
True
Let r(b) = -2*b**3 + 39*b**2 + 6*b + 22. Does 23 divide r(12)?
True
Let b(t) = t**2 - 4*t + 91. Is 14 a factor of b(-17)?
True
Let o be 3/((-3)/2) + 7. Suppose o*i = 11 + 9. Suppose -r - i*z = -52, -2*z - 14 = -3*r + 86. Does 20 divide r?
False
Let x(a) = 8*a - 3. Suppose 4 = 5*q - 31. Does 11 divide x(q)?
False
Suppose 6*t = 226 - 28. Let a = t - 23. Suppose -2 = -u + a. Is 12 a factor of u?
True
Suppose 2*c - 11884 = 5*o, 0*c + 4760 = -2*o + 4*c. Is o/9*(-2 - -1) a multiple of 61?
False
Suppose 85*n - 70*n = 1785. Is n a multiple of 7?
True
Let y be (0 + 1)*(-2 + 45). Let d = y + -29. Is 4 a factor of d?
False
Suppose 15*r = 10*r + 1685. Does 14 divide r?
False
Suppose -2*w + 2 = 2*i - 0, -w = -2*i - 10. Suppose -w*b - 14 = -46. Does 2 divide b?
True
Suppose -2*g + 1562 = 12*r - 8*r, 3*r - 2343 = -3*g. Does 17 divide g?
False
Is (-9)/6*(-168)/9 a multiple of 2?
True
Let c(w) = -w**3 - 17*w**2 - 14*w + 51. Is 2 a factor of c(-16)?
False
Suppose 738 = 22*z - 19*z. Suppose -5*a + z = -124. Does 7 divide a?
False
Let f(g) be the first derivative of -g**4 + g**3 + g**2 + 2*g + 3. Let s(n) = -n**2 - 2*n + 13. Let r be s(-5). Does 18 divide f(r)?
False
Let h(m) = m**2 - 2*m + 1. Suppose 4*t - 26 = -54. Is 16 a factor of h(t)?
True
Let l be 4*1/4 + 7. Let m = -5 + l. Suppose -m*t + 25 = 2*t. Is t even?
False
Let i(u) = 42*u - 3. Let b = -2 - -6. Let d be i(b). Let c = d + -88. Is 30 a factor of c?
False
Suppose 5*s - 86 - 4 = 0. Does 25 divide ((-279)/(-5))/(s/60)?
False
Let c = 1904 + -119. Is 41 a factor of c?
False
Let a(y) = 11*y**2 + 28 + 15*y + 9*y**2 - 18*y**2. Is a(-11) a multiple of 15?
True
Suppose -j - 166 = -2*r, -4*j - 656 = -5*r + r. Let n = j - -213. Is n a multiple of 4?
False
Suppose -14*f + 13680 = 3824. Does 6 divide f?
False
Let i(v) be the first derivative of 2*v**3/3 + 2*v**2 - 3*v + 8. Let x be i(3). Suppose z - 78 = -x. Is z a multiple of 24?
False
Suppose -k - h - 52 + 2008 = 0, 3*h - 6 = 0. Is 9 a factor of k?
False
Let c(b) = b**3 - 2*b**2 - 16*b + 120. Is 94 a factor of c(8)?
True
Let l be (6 + -5)*(-6)/(-3). Suppose 3*o - 11 = z, 2*z - z = l*o - 6. Is 4 a factor of o?
False
Let v be 1/((-1)/(-13))*(52 + -40). Let t = -75 + v. Is 14 a factor of t?
False
Let s = 22 + -4. Let o = s + -15. Does 21 divide -3 + (-17 + o)*-6?
False
Let n(h) = 2*h - 10. Let a be n(11). Let m = a + -5. Suppose -2*o + m = -1. Does 2 divide o?
True
Let c = -297 + 1155. Is 26 a factor of c?
True
Let q(k) = k**3 - 13*k**2 + 15*k + 20. Let c be q(12). Does 14 divide 2112/c - (-2)/7?
False
Suppose -66*d = -80*d + 22806. Does 18 divide d?
False
Let p(v) = -v**3 + 6*v**2 + 7*v - 9. Suppose -3 = -l + z + 2*z, -5*l + 3*z + 27 = 0. Is p(l) a multiple of 5?
False
Let t(c) = 2*c**2 - 4*c + 6. Let k(p) = p**3 + 16*p**2 - 18*p - 13. Let o be k(-17). Let x be t(o). Let b = x + 0. Is 13 a factor of b?
False
Let v(x) = -4*x + 5. Let s be v(8). Let n = -53 + 37. Let k = n - s. Does 4 divide k?
False
Suppose -263*p - 26154 = -281*p. Is 17 a factor of p?
False
Suppose -14 = -4*t - 82. Let f = t - 3. Let v = 13 - f. Does 11 divide v?
True
Suppose -5*m + 30 = -5. Suppose 145 = -2*b + m*b. Is b a multiple of 4?
False
Let f be (26/10 - -2)/((-94)/(-1410)). Suppose r = 5*t + 54, -4*t + 41 = 2*r - 25. Suppose 6*m - f = r. Is 6 a factor of m?
True
Let t(b) = b**2 + 2*b - 5. Let h(g) = -g**3 + g**2 - 1. Let r be h(2). Let p be t(r). Is 7 a factor of 282/p - 4/20?
True
Let d(v) = 9*v**3 - 2*v**2 + 2*v - 2. Let n be d(1). Suppose n*f + 504 = 16*f. Is 28 a factor of f?
True
Let u = 48 - -796. Is u a multiple of 38?
False
Let q = -35 + 67. Let d = 58 - q. Is d a multiple of 13?
True
Suppose -2*x = 3*x + p - 44, -35 = -4*x - p. Suppose 0 = l - 34 - x. Is 5 a factor of l?
False
Let s = 1 + 1. Let n(k) = k**3 + 2*k**2 + k - 2. Let l be n(s). Does 6 divide l/1 - 3/(-1)?
False
Let q(g) = g**2 - 12*g + 10. Let j be q(12). Let l = j - 13. Is 11 a factor of l/15 + 333/15?
True
Suppose 4*o - 1135 = 5*m, 4*m + 462 = 5*o - 959. Does 57 divide o?
True
Let g(l) = l**2 - 2*l + 2. Let r be g(2). Suppose -h + 8 = r. Suppose h*q - q = 345. Is q a multiple of 23?
True
Suppose z + 5 = 1. Let a be (-2030)/50 + z/10. Let d = a - -76. Is 12 a factor of d?
False
Suppose -p + 32 + 9 = 4*l, -4*l - 81 = -p. Let a = p + 29. Is 20 a factor of a?
False
Let i be 1584/27 - ((-20)/6 - -2). Let n be 1/(1/(-31)) + -2. Let x = n + i. Does 26 divide x?
False
Let f be (