 be -2*(-10 - 1)*1. Let m be (2 + -2)/(-1 + -1). Suppose 2*w - n - 66 = m. Does 17 divide w?
False
Suppose -2*k = -2*s + 26, -s - 5*k - 12 = -k. Is s a multiple of 8?
True
Suppose g - 6 = -2*g. Suppose 0 = -g*o - o + 87. Is 19 a factor of o?
False
Let p(a) = -2*a + 1. Is p(-2) a multiple of 5?
True
Suppose 3*y - y - 3 = k, 2*y + 4*k = -12. Let x(g) be the third derivative of -g**4/24 + 5*g**3/3 + 2*g**2. Does 10 divide x(y)?
True
Suppose -3*c + 6*c - 201 = 0. Suppose -i + 23 = 3*a, -3*a = 5*i - 4*a - c. Is i a multiple of 7?
True
Suppose -3*n + 8*n = 635. Let p = n - 7. Is 36 a factor of p?
False
Suppose -2 = -2*c + c. Does 16 divide 99/6 - 1/c?
True
Suppose -3*g = 8 + 22. Is 6 a factor of g/(-25) - (-56)/10?
True
Let f = -11 - -24. Is f a multiple of 13?
True
Let d = 18 + -18. Let u(x) be the third derivative of x**5/60 - x**4/24 + 7*x**3/3 + x**2. Is 7 a factor of u(d)?
True
Does 3 divide (-2)/9 + (-292)/(-18)?
False
Let c(a) = -24*a**3 - 2*a + 3. Let u(b) = 23*b**3 + 3*b - 4. Let d(k) = -5*c(k) - 4*u(k). Is d(1) a multiple of 9?
True
Suppose 0 = 5*j + 20, k - 2*k = j + 34. Let m = k - -69. Is m a multiple of 13?
True
Let q = 7 + -8. Is (-14)/q + (-4 - -2) a multiple of 3?
True
Let v(r) = -r**2 - 10*r + 2. Let h be v(-7). Suppose y = h + 3. Is 12 a factor of y?
False
Suppose r - 3*r = 0. Suppose -3*y = -5 - 1. Suppose 4*q - 90 = -2*i, r = 3*q - i - y*i - 45. Is 9 a factor of q?
False
Let j = -8 + 23. Suppose -g = 2*g - j. Does 5 divide g?
True
Let g = 10 - 5. Suppose g*h - 3*h = 0. Suppose l - 5 = -h*l. Is 2 a factor of l?
False
Let s = 46 + -1. Is s a multiple of 13?
False
Let x(z) = z**2 + z - 20. Is x(7) a multiple of 12?
True
Let y = -3 - -28. Does 6 divide y?
False
Let c(t) = -t**3 + t + 1. Let q(v) = -6*v**3 + 9*v**2 + 11*v + 11. Let l(i) = 5*c(i) - q(i). Is 13 a factor of l(10)?
False
Let v(o) = 4*o**2 - 2*o + 4. Let n(t) = 12*t**2 - 5*t + 11. Suppose -5*g + 4 = -11. Let z(f) = g*n(f) - 8*v(f). Is 2 a factor of z(-1)?
True
Suppose r = 2*q + 5, 5*q = 2 + 8. Does 4 divide r?
False
Let o(w) = 3*w**2 + 5*w + 3. Let u be o(-3). Suppose 10*r = 2*j + 5*r - 3, -4*j + 2*r = -14. Suppose -u = -7*n + j*n. Does 3 divide n?
False
Does 14 divide 4/(-6) - (-195)/9?
False
Suppose 5*q + 3*l = -20, 0 = 2*q + 3*l - 0*l - 1. Let j = q - -12. Is j a multiple of 3?
False
Let f(u) = 4*u - 6. Is f(4) a multiple of 3?
False
Let r(k) = -k**3 + 6*k**2 - k + 6. Let y be r(6). Let b be (1 - 11)*4/(-8). Suppose -2*q + b + 3 = y. Is q a multiple of 3?
False
Suppose 0 = 5*f + 3 + 12. Let h(y) = -y**2 - 6*y - 1. Is h(f) a multiple of 5?
False
Let h(q) = -q**3 - 1 - 4*q**3 + 4*q**3 - 2 - 6*q - 6*q**2. Is 2 a factor of h(-5)?
True
Let g(d) = -d**3 - 7*d**2 - 3*d - 15. Let q be g(-10). Suppose 5*t - 3*k - 2*k = q, 323 = 5*t - k. Let z = 91 - t. Does 26 divide z?
True
Let b(z) = z**3 + z**2 - 4. Let h be b(0). Let j = 2 + -2. Is 13 a factor of j + -26*2/h?
True
Let d(o) = o - 1. Let w be d(-3). Let k = w - -5. Is (-4)/4 + k*5 a multiple of 2?
True
Let k = 170 + -297. Let x = k + 78. Is 13 a factor of x/(-2)*(4 + -2)?
False
Suppose 0 = -5*f - a - 3*a + 12, 0 = 4*f + a - 14. Is (-2)/f*-6*1 a multiple of 2?
False
Let t be 8/(-6)*(-12)/8. Suppose -4*j - 5*m + 33 = 0, -m + 13 = t*j + 4. Suppose 3 = j*u - 1. Does 2 divide u?
True
Let d be 2 + -1 - (10 + -9). Suppose d*q + 4 = -q. Does 4 divide ((-4)/(-3))/(q/(-12))?
True
Let i(v) = -4*v - 8. Let a = 3 - 1. Suppose -5*c + 20 = 0, -4*c - 13 = 3*b - a*c. Is 9 a factor of i(b)?
False
Suppose -2*r + 39 + 11 = -q, 3*q - 66 = -2*r. Does 25 divide r?
False
Suppose 5*j = 5*n - 95, 0 = -4*n + j - 4*j + 97. Does 5 divide n?
False
Let k(u) = u**3 + 4*u**2 + 1. Let w be k(-4). Let t(j) = -j**3 - 5*j**2 - 4*j. Let s be t(-4). Is 13 a factor of 0/w - (s - 19)?
False
Suppose -i - 4*i = -280. Does 11 divide i?
False
Let u = 538 + -273. Suppose 0 = -2*j - 10, 3*v - 5*j + 66 = u. Let g = -2 + v. Is g a multiple of 23?
False
Let n = 94 - 45. Is n a multiple of 9?
False
Suppose 11*y = 10*y + 186. Is y a multiple of 16?
False
Let h = 6 + 32. Let u = h - 18. Is 10 a factor of u?
True
Let d = 73 + -20. Suppose 29 = 3*q - x, 7*q = 2*q + 4*x + d. Is q a multiple of 4?
False
Let v = 3 + 2. Suppose v = 5*z, -2*d = -4*z + 5*z - 69. Is 6 a factor of d?
False
Let s(i) = 3*i**3 + 3*i + 2*i**3 + 3 + 3*i**2 - 4*i**3. Let k be s(-3). Let d(p) = -3*p + 8. Is 13 a factor of d(k)?
True
Let x be 114/5 + (-2)/(-10). Suppose 2*p + 15 = -3. Let t = p + x. Does 5 divide t?
False
Let a = 9 - 9. Let o(y) = y + 3. Let w be o(a). Suppose 0 = -w*i + 3, 5*i - 114 = -5*m + i. Is 8 a factor of m?
False
Let g(a) = a**3 - a**2 - a - 20. Let w be g(0). Let h = w - -6. Is (-7)/h - 35/(-2) a multiple of 18?
True
Let o be (-1)/2*(-2 - 80). Let q = -19 + o. Is 7 a factor of q?
False
Let h(t) = -t**3 - 12*t**2 - 11*t + 3. Let v be h(-11). Suppose -2*m = -v*m + 8. Is m a multiple of 8?
True
Is (-16)/(-7)*14/4 a multiple of 4?
True
Let r(q) = -q**2 + 8*q - 3. Let g be r(7). Let i be ((-264)/(-18))/((-4)/(-6)). Let t = g + i. Does 13 divide t?
True
Suppose -s - 5*z + 92 = -3*s, 0 = -5*s + z - 230. Let b be 1*((1 - -97) + -3). Let q = b + s. Is q a multiple of 16?
False
Let z be (1 - 0)/(1/(-11)). Let j = z + 18. Suppose 4*l - 4 = -2*u, -u - l + j = 1. Is u a multiple of 3?
False
Let o(x) = -x**3 - x + 60. Does 15 divide o(0)?
True
Suppose 98 = 6*n - 4*n. Is 8 a factor of n?
False
Let h(b) be the second derivative of b**5/20 + 2*b**4/3 + 5*b**3/6 + b**2 - 3*b. Is h(-6) a multiple of 22?
True
Suppose -4*u - 3*x + 2*x - 7 = 0, 4 = -u - x. Let h be u/2*(1 - 5). Suppose -h*b = -6*b + 84. Is b a multiple of 10?
False
Let o(h) be the second derivative of -5*h**3 - 5*h**2/2 + 7*h. Is o(-2) a multiple of 12?
False
Let b(g) = g**2 + 12. Is 4 a factor of b(-5)?
False
Does 3 divide ((-33)/(-22) - 1*-1)*14?
False
Suppose -j + 11 = 5*u, -5*u + 4*j + 0*j = -6. Suppose 5*x - x - 78 = -2*v, 0 = u*v + x - 66. Let k = 69 - v. Does 19 divide k?
True
Suppose 3*m - 11 = -2*p, -4*p + 5 = 4*m - 7. Suppose d - m*s = 12, 6*s = 2*s. Is 12 a factor of d?
True
Suppose 4*f - 2*f - 12 = 0. Suppose -3*k + 16 = -5*n + f, -4*k = -2*n - 32. Is 3 a factor of k?
False
Suppose -q = -h - 23, q - 70 = -4*q - 4*h. Suppose -4*l = -5*l - 4, -3*d - 31 = -2*l. Let z = d + q. Is z even?
False
Let u(l) = 2*l**2 - 2*l + 6. Let x be u(-6). Suppose -4*h = -2*h - x. Suppose q - 16 = -5*o + 5, 0 = 3*q - 3*o - h. Is 8 a factor of q?
True
Suppose 3*l - 2*h = 2, 0 = 5*l + h - 4*h - 4. Suppose 5*b - l*t = 130, 2*b - 3*t - 17 = 24. Is b a multiple of 14?
True
Suppose -c + 3*m + 109 = -24, 4*m + 384 = 3*c. Is 34 a factor of c?
False
Is 12 a factor of 22 - -4*(-2)/(-4)?
True
Let h = 97 - 66. Suppose -4*p - h = -127. Is 8 a factor of p?
True
Suppose 2*r + z = -249, 0*r + 2*r + 5*z + 269 = 0. Let p = 202 + r. Let y = p - 49. Is 16 a factor of y?
False
Suppose -5*v = -v - 4. Does 7 divide (-62)/(-3) - v/(-3)?
True
Suppose -11 = -4*r + 1. Let o = -4 + 10. Suppose 12 = o*t - r*t. Is t a multiple of 4?
True
Suppose -4*b - 12 = 4*h - 0*b, b + 3 = 2*h. Suppose -i = -r - h*i + 9, 0 = -4*r + 5*i + 31. Is 6 a factor of r?
False
Is 18 a factor of 1298/12 + -3 + (-51)/(-18)?
True
Suppose -z + 12 = z - 3*j, 0 = -4*z - 5*j - 20. Let k be (1 + z)*(0 + -2). Is 13 a factor of 792/21 + k/(-7)?
False
Let r = 18 - 24. Is (-120)/16*4/r a multiple of 5?
True
Let t(r) = 3*r**2 + 5*r + 5. Is 27 a factor of t(2)?
True
Suppose -5*a = -5*f, -3*f - 2*f = 3*a - 32. Suppose -z - 17 = 5*y, -y = 2*z + f*y + 9. Is z a multiple of 6?
False
Let a(s) be the first derivative of 4*s**2 - 4*s + 5. Let m(v) = v**3 + v**2 + v + 4. Let z be m(0). Is 12 a factor of a(z)?
False
Let g(z) = 2*z. Let d be g(-3). Let c = d + 31. Does 15 divide (-3)/((-3)/3) + c?
False
Let b = 13 - 12. Let j = b + 5. Is 2 a factor of j?
True
Let a be (-2)/(-1)*11/(-2). Let l = 18 + a. Is l a multiple of 7?
True
Let d be (-3)/((-3)/2) - 8. Let y(u) = -13*u**2 - 47*u - 45. Let h(k) = -3*k**2 - 12*k - 11. Let r(w) = 9*h(w) - 2*y(w). Is r(d) a multiple of 13?
True
Suppose -4*v = -5*v. Suppose 0*h + 2*h - 146 = v. Is 13 a factor of h?
False
Is 0 - (-5*5 + 0) a multiple of 11?
False
Suppose 4*h - 5*y - 401 = 0, -h + 2*y + 2*y + 92 = 0. Does 26 divide h?
True
Suppose 3*i + 18 = -0. Let p be (-27)/i - (-2)/4. Supp