**2 - 6*s + 2. Is 7 a factor of z(-4)?
False
Let x = -7 + 5. Let t = 64 - x. Is t a multiple of 18?
False
Let v = 4 + -4. Suppose -4*u + p - 6*p - 14 = v, 2*u = 2*p + 2. Let c = 16 - u. Does 17 divide c?
True
Suppose -4 = 8*f - 20. Suppose 4*r = f*t + 74, 3*r - 5*t - 41 = 25. Is 7 a factor of r?
False
Let q = 3 + 1. Suppose 2*c + 56 = q*c. Is c a multiple of 12?
False
Let z(o) = o**2 - 2*o - 4. Does 7 divide z(7)?
False
Let j be (-5)/15 - (-10)/3. Suppose 10 = 2*p + j*p. Does 2 divide p?
True
Suppose -13 + 9 = -2*z, 2*z + 336 = 5*r. Is r a multiple of 11?
False
Let r(w) = w**3 + 6*w**2 + 4*w + 8. Let c be r(-5). Suppose -c = -b + 5*p, 5*b - 3*p - 37 = -6*p. Does 8 divide b?
True
Let d = 4 + -11. Let c = 12 + d. Does 3 divide c?
False
Is -218*(3 - (-7)/(-2)) a multiple of 10?
False
Let m be -1 - ((-3 - -2) + -2). Suppose -3*f + 9 = 0, -3*f = -m*t - 8*f - 49. Let a = t - -62. Is 12 a factor of a?
False
Let z(c) = -c**2 + 6*c - 6. Let q be z(5). Let l(x) = -27 + 54 - 28 + 27*x**2 - 8*x**2. Is l(q) a multiple of 9?
True
Let g(u) = -u**3 + 9*u**2 - 3*u - 4. Let q = 16 + -7. Let f be g(q). Let b = f - -43. Does 8 divide b?
False
Let h(z) be the third derivative of -7*z**4/12 - z**3/6 - 3*z**2. Does 13 divide h(-1)?
True
Suppose -5*x + 2*x - 15 = 0, 4*p + 5*x = 167. Does 6 divide p?
True
Let x(q) = -30*q**3 + q**2 + 2*q + 1. Suppose 4*p + 3 = -1. Does 15 divide x(p)?
True
Suppose -4*c = -c + 2*q - 131, -4*c + 5*q = -190. Is c a multiple of 15?
True
Let l be ((-9)/2)/((-6)/(-56)). Is 23 a factor of l/(-2) - (-2 - 0)?
True
Let y be -7 - -50 - (1 - 1). Let k = y + 3. Is 13 a factor of k?
False
Suppose 5 = 4*s + 5*f, -3 = -3*s - 0*s - 3*f. Let i = s + 22. Is 15 a factor of i?
False
Let x be (-2 + 2)/(-2 - 0). Let o = 11 + x. Suppose -1 = -2*b + o. Is b a multiple of 6?
True
Suppose f - 36 = -s, 2*f - 5*f = 5*s - 174. Is 3 a factor of s?
True
Suppose -d - 5*h = 6, -6*h + 3*h = 3. Let r = 19 + -2. Let n = d + r. Is 14 a factor of n?
False
Suppose -21*c + 5*c = -2992. Is 47 a factor of c?
False
Is (-15)/5 - (-276 - -3) a multiple of 54?
True
Suppose -4*v + 0*h + h + 34 = 0, 2*h = 4. Is v a multiple of 2?
False
Suppose -b = b + 208. Let h = -34 - b. Is 27 a factor of h?
False
Suppose 21*f - 17*f - 108 = 0. Is f a multiple of 9?
True
Suppose -5*s + 22 = -3*g - 109, -5*s + 129 = -2*g. Suppose 5*d + 2*u + 84 = 3*u, 0 = -2*u - 2. Let h = d + s. Is 6 a factor of h?
False
Suppose w = -3*t + 14, -t + 10 = 2*t + 5*w. Let o(q) = -11*q + 3*q - q - t - q**2. Is o(-7) a multiple of 5?
False
Let l(w) = -8*w - 8. Is l(-6) a multiple of 10?
True
Suppose 0*a + 608 = 4*a. Suppose 0 = 3*q + o - 137, -o - 3*o + a = 3*q. Is 15 a factor of q?
False
Let x(z) = -z + 7. Let w(c) = -4*c + 20. Let v(u) = -2*w(u) + 7*x(u). Let i be v(-8). Does 6 divide -12*2/(-2)*i?
True
Suppose -4 = 2*f, -2*k - 142 = -4*k + f. Is 35 a factor of k?
True
Let d(m) = -51*m**3 - m**2 - 2*m - 1. Let j be d(-1). Does 9 divide (-2)/(-4) + j/6?
True
Suppose -2*j - 9 = z, -2*z = -z + 4*j + 17. Let b = z - -10. Suppose 0*s + 3*s = b, 3*s - 81 = -4*c. Does 8 divide c?
False
Suppose 0 = -3*g - 19 + 181. Let h(k) = -k**2 - 4*k - 7. Let m be h(-6). Let a = g + m. Is 10 a factor of a?
False
Let o = 8 - 6. Let p be ((-189)/(-6) + -1)*o. Suppose 2*d - 21 = p. Is 15 a factor of d?
False
Suppose -2*t = 2*t - 144. Is 9 a factor of t?
True
Let f be 4 - (-3 + (3 - 1)). Suppose -3*c + 2*z + 30 = 0, -4*c + f*z + 19 = -14. Does 14 divide 62*3/c*2?
False
Let h be (-1)/(-3) + 64/(-3). Let i = 142 + h. Suppose -5*x + 0*x + i = -3*c, 15 = x + 4*c. Does 8 divide x?
False
Let b = 98 - 88. Is 5 a factor of b?
True
Suppose -5*r = -8 - 2. Let q be -2*(1/1 + -2). Suppose -5*g = -r*n - 24, q = 3*n + 8. Is g a multiple of 2?
True
Suppose -4*t - 28 = 4. Let f = t + 5. Does 12 divide (-73)/f + 3/(-9)?
True
Suppose 0 = 2*g + 1 + 5. Let f be 1 + (g + 2)/(-1). Suppose 6*h = f*h + 20. Does 5 divide h?
True
Let l = -202 - -394. Is 12 a factor of l?
True
Let k(l) = -l**3 - 3*l**2 - 3*l - 2. Does 35 divide k(-5)?
False
Let w(u) = u**3 + 7*u**2 + 5*u + 1. Suppose 5*r = 0, 2*o - 3*o + 3*r - 6 = 0. Let c be w(o). Suppose 21 = 2*z - c. Is 14 a factor of z?
True
Let g = -58 - -80. Is 11 a factor of g?
True
Let v be 0 - (2 + -2 - 2). Suppose z + 17 = 4*h - 2*h, -3*z = 3*h - 3. Let i = h + v. Is i a multiple of 4?
True
Let f(n) = n + 7. Let t be f(-5). Suppose 2*q = 3*q - 3*w + 9, -w = -3. Is t - (1 - q)*-13 a multiple of 15?
True
Let h(q) = 2*q**2 - 2*q + 1. Let c be h(1). Suppose -w = -0*w - 26. Suppose 0 = 3*u - w - c. Is 5 a factor of u?
False
Is (21 + -1)*(3 - -1) a multiple of 20?
True
Let n(k) be the second derivative of -k**4/3 - k**3/6 - 2*k. Let j(o) = o**2. Let h(b) = 5*j(b) + n(b). Is h(-5) a multiple of 10?
True
Let k(q) = -q**2 - 8*q - 5. Let h be k(-7). Suppose 5*r - 4*z - 52 = 0, -3*z + 1 - h = r. Suppose r = -7*s + 3*s, -3*s = 5*b - 69. Does 10 divide b?
False
Suppose -14 = -g + 3*g. Let a(i) = 21*i - 36. Let y be a(-16). Does 9 divide y/(-21) + (-2)/g?
True
Let l be (135/(-18))/(1/(-2)). Is 5 a factor of 5/(l/(-6) + 3)?
True
Let f(d) = -d**3 - d**2 - 6*d - 5. Let j be f(-5). Suppose 5*w = j + 20. Let b = w - 3. Is 10 a factor of b?
False
Let z be 0 - (-11 - -1 - 3). Suppose -h + 31 = -5*i - z, -4*h + i = -81. Does 18 divide h?
False
Suppose -4*l + 15 = l. Let w(v) = v**3 + 64. Let i be w(0). Suppose i = d + l*d. Is 8 a factor of d?
True
Let w(q) = 2*q**2 - 21*q - 2. Let n be w(12). Suppose -3*t - h = -7*t - 74, -8 = -4*h. Let f = n + t. Is f a multiple of 9?
False
Suppose 15 = -2*v + 163. Let z = -49 + v. Does 12 divide z?
False
Let x(t) be the first derivative of -3*t**2/2 + 5*t - 3. Let v be x(4). Let j = 11 + v. Is j even?
True
Is 8 a factor of (11 - (-1)/(-1))*1?
False
Let n be -6*4/((-32)/28). Let f = -17 + n. Is f even?
True
Let d be (-2 - -2)/(-2 + 3). Suppose d = 3*x + 13 - 73. Is x a multiple of 20?
True
Suppose -5*i + 0*i - 15 = 0. Let b be (2 - 220/6)*i. Is 13 a factor of (b/(-12))/((-4)/6)?
True
Let c be -1*(-1 + 0)*-5. Let i be (c + 0)*8/10. Is 332/14 - i/14 a multiple of 13?
False
Suppose 3*w + 0 = -v - 2, -w - 4 = 2*v. Let u be ((v - -12) + 2)*-1. Is 8 a factor of (-33)/(-4) - (-3)/u?
True
Is 35 a factor of (-13 + 15)*(-2)/(-4)*35?
True
Let a be (-8)/6*9*2. Suppose -3*m - 253 = -8*m - 3*y, -152 = -3*m - 2*y. Let x = m + a. Does 10 divide x?
False
Suppose -119 = 22*f - 29*f. Is 13 a factor of f?
False
Is 159*(-9)/((-108)/8) a multiple of 27?
False
Suppose -7*g - 52 = -3*g. Is 15 a factor of (-14)/(-91) - 492/g?
False
Let n be (-498)/(-8) + (-3)/12. Suppose 3*b - n = 46. Does 12 divide b?
True
Let n(m) = -4*m - 11*m + 4 + 21. Let f(z) = 23*z - 38. Let r(y) = 5*f(y) + 8*n(y). Does 19 divide r(-7)?
False
Let f be (-1)/(2*2/(-12)). Suppose 0 = 8*w - f*w - 1185. Suppose -17 = 5*g - w. Does 12 divide g?
False
Let p = -1 + 4. Suppose 3*w - p = -0. Is (-33)/(-6) - w/(-2) a multiple of 6?
True
Let i(j) = j**2 - 7*j - 2. Let d be ((-8)/(-12))/((-2)/(-12)). Let w(u) = u**2 - 7*u - 2. Let z(g) = d*w(g) - 5*i(g). Is z(5) a multiple of 6?
True
Let c be ((-2)/3)/((-2)/18). Suppose -2*w - 5*o = -22 - 9, 3*w + c = 3*o. Does 2 divide w?
False
Does 12 divide 3/2 - (-3135)/38?
True
Suppose -j + 84 = -4*n + 25, -3*j - 4*n = -97. Suppose -139 + j = -5*l. Is 10 a factor of l?
True
Let m(s) be the third derivative of s**6/120 + s**5/5 - 2*s**4/3 + 3*s**3/2 - 4*s**2. Does 12 divide m(-13)?
True
Suppose 0 = 3*i - 12, 7*i = -5*d + 4*i + 22. Is 2 a factor of d?
True
Let g(n) = -8*n**2 + n - 1. Let b be g(1). Let p = b - -7. Is 5 a factor of -4*(3 - (4 - p))?
False
Suppose 5*d = 10, 356 = 4*u - 0*d - 2*d. Is 10 a factor of u?
True
Suppose -2*q - 33 = -2*o - 5*q, -3*q = -2*o + 15. Let d(g) = 6 - 5*g + g**2 + o*g + g**2. Is 18 a factor of d(-6)?
True
Suppose 2*z - 4*z - 42 = -3*g, -z = 3*g - 42. Does 4 divide g?
False
Suppose 0 = q - 4*z + 2, 2*q + 50 = -2*q - 5*z. Let k = q + 14. Is 2 a factor of k?
True
Let b(r) be the second derivative of 0 - r + 2*r**2 + 1/12*r**4 - 2/3*r**3. Is b(4) a multiple of 2?
True
Let p be (-2)/(28/30 + -1). Let h be 3/5 - (-34)/10. Suppose t = -4*j + 30, -3*j = t - h*t + p. Is 6 a factor of t?
False
Let q(j) = -j**3 + 15*j**2 - j + 8. Let p be q(15). Let i(o) = o**3 + 8*o**2 + 4*o + 9. Is 5 a factor of i(p)?
True
Let 