). Let m be z(10). Let y = 13 - m. Does 2 divide y?
False
Suppose -4*x - 3*a + 85 = 0, -75 = -0*x - 2*x + 5*a. Let b = 45 - x. Is b a multiple of 20?
True
Let l(i) be the second derivative of 13*i**3/3 - i**2/2 - 3*i. Is 17 a factor of l(1)?
False
Suppose 0*h = 4*h - 8. Suppose v - 84 = -h*v. Is v a multiple of 12?
False
Let b(r) = -r**3 + 6*r**2 - 5*r + 12. Is b(5) a multiple of 6?
True
Let h(v) = -7 + 0 - v**3 + 11*v**2 - 5*v**2 - v + 7*v. Let t be h(5). Suppose -y = y - t. Does 12 divide y?
True
Suppose 10 = 2*i - 0*i. Is i a multiple of 2?
False
Suppose 5*x + 2 = -3, -4*n + 681 = 3*x. Is n a multiple of 19?
True
Is 3 a factor of 2 + (12 + 0)/3?
True
Suppose -126 = -0*q - 6*q. Let b be (-4)/(-14) - 195/21. Let z = b + q. Is 6 a factor of z?
True
Let c(w) = 4*w - 4*w - w - 6. Let a be c(-6). Let v = 14 + a. Does 12 divide v?
False
Let h(v) = 2*v**3 + 3*v**2 - 8*v - 6. Let b be h(-5). Is (-2)/6*b - 1 a multiple of 23?
True
Let m(t) = -5*t**2 + 2*t. Let j be m(2). Let g = 3 - j. Is 19 a factor of g?
True
Let n = -20 + 67. Let v = 87 - n. Does 20 divide v?
True
Does 8 divide 320/6*(-19)/((-855)/54)?
True
Suppose 1341 - 374 = 5*o + 4*f, o = -3*f + 200. Is 15 a factor of o?
False
Suppose 0 = -4*j + 5*s + 1268, -5*j = -3*s + s - 1568. Is 13 a factor of j?
True
Let t = 85 + 248. Does 51 divide t?
False
Let k = 1 - 1. Suppose 3*a + 2*o + k*o + 4 = 0, -6 = 5*a + 3*o. Suppose b - 15 - 11 = a. Is b a multiple of 9?
False
Let h = -16 - -24. Suppose 3*x = h*x - 60. Does 2 divide (x/(-8))/((-6)/20)?
False
Suppose n = -2*i + 28, -5*n = -2*i - 3*i - 155. Does 17 divide n?
False
Let k = 5 + -2. Let w(i) = i**2 + k + 6*i + 0*i + 0*i. Is 10 a factor of w(-7)?
True
Suppose 3*z = 3*g - 16 - 143, 0 = -g + 2*z + 50. Is 7 a factor of g?
True
Let r(s) = s - 9. Let d be (-2 - 12)*2/(-4). Let m be r(d). Let t = 7 - m. Does 4 divide t?
False
Let h(r) = 11*r - 9. Let i be h(3). Suppose v = 3*v - i. Does 6 divide v?
True
Does 23 divide (-10)/(-20) + (-45)/(-2)?
True
Let s be (-17 + 0)/(-5 - -4). Let o = -39 + s. Is 8 a factor of 4/(-22) + (-598)/o?
False
Let w(a) = a**3 + 6*a**2 - 5*a - 2. Is w(-4) a multiple of 5?
True
Suppose 3*c + 27 = 6*c. Does 9 divide c?
True
Let m(b) be the first derivative of -b**4/12 + b**3/6 + 17*b**2/2 - 5*b - 3. Let y(t) be the first derivative of m(t). Is y(0) a multiple of 9?
False
Suppose 4*l + 12 = 3*j, l + 27 - 7 = 5*j. Suppose 0*k + j*k + 116 = 0. Let h = -10 - k. Is h a multiple of 10?
False
Let d be 5*3*(-4)/(-15). Suppose -2*c - d*a = -32 - 74, 2*c - 2*a - 88 = 0. Is 21 a factor of c?
False
Let i be (-20)/1*(-3 + 2). Let c = -11 - i. Let g = c - -53. Is g a multiple of 16?
False
Suppose 3*n - 155 - 190 = 0. Suppose a - n = -4*a. Does 16 divide a?
False
Let f = -6 - -10. Is 10 - f/(0 + -2) a multiple of 6?
True
Let m(r) = -r**2 - r + 44. Is 12 a factor of m(0)?
False
Suppose -3*b = -m + 34, 4*m = -0*b + 5*b + 52. Let g be ((-42)/b)/((-2)/4). Is 234/14 - 2/g a multiple of 8?
False
Suppose -4*x + 145 = o, 2*o - 3*x = 7*o - 657. Is o a multiple of 43?
True
Let v(r) = 3*r**2 - r + 2. Let i be v(5). Let k = -36 + i. Let q = k + -7. Is 14 a factor of q?
False
Let f = 4 - 2. Let u(v) = -6*v - 6. Let k be u(-5). Suppose f*r + k - 56 = 0. Does 16 divide r?
True
Suppose -5*z + 2*u + 7 + 19 = 0, 0 = -2*z + 4*u + 20. Is 4 a factor of z?
True
Let d(w) = w**2 + w. Does 4 divide d(4)?
True
Let f(w) be the third derivative of 7*w**4/8 + 4*w**2. Is f(3) a multiple of 13?
False
Let c(p) be the first derivative of 8*p**3/3 + 1. Let t = -8 - -7. Is c(t) a multiple of 4?
True
Suppose o = -0*o - 9. Let b(i) = -9*i**2 - 2*i + 2. Let m be b(-2). Let v = o - m. Is v a multiple of 21?
True
Let h be -2*2 + (5 - 5). Is (2 + 1)/(h/(-20)) a multiple of 13?
False
Let c be -1*(-4)/12*6. Suppose -4*m = -c*m - 66. Is 11 a factor of m?
True
Suppose -2265 = -4*i - 11*i. Is 51 a factor of i?
False
Let y be -5*(6/10)/1. Let z be (-1)/(9/(-24))*y. Let g(u) = -u**3 - 7*u**2 + u - 3. Does 18 divide g(z)?
False
Suppose -45 = 4*n - n. Let j be n/(3 - 111/36). Does 25 divide ((-12)/(-18))/(2/j)?
False
Suppose d - 1 + 8 = y, -9 = -3*y - d. Suppose y*h = -0*h + 5*m + 73, 2*m = -2. Is h a multiple of 4?
False
Suppose 2*y = -3*y + 70. Is (-438)/(-14) + (-4)/y a multiple of 10?
False
Let k(h) = h**2 + 2. Let a be 0/((-2)/(1 - 0)). Let m be k(a). Suppose -m*u + 3*u = 13. Does 13 divide u?
True
Let o(g) be the third derivative of -g**6/15 + g**5/60 - g**4/24 - g**3/6 + g**2. Suppose h = -3 + 2. Does 9 divide o(h)?
True
Suppose -372 = -11*o - o. Is o a multiple of 6?
False
Let q(o) = o**2 + 2*o - 3. Suppose 5*u = a + 4*a - 30, 0 = -5*u - 3*a - 6. Let i be q(u). Suppose 2*w - 156 + 58 = i. Is w a multiple of 21?
False
Let i(n) = n**2 + 5*n + 2. Let x be i(-5). Let d be 4*(1 - 10/4). Let y = x - d. Is 8 a factor of y?
True
Suppose -5*k + 15 = 0, 2*v - 5*k = -0*v + 3. Does 2 divide v?
False
Let u be -3*2/(-6) + 17. Suppose -2*l = -u - 2. Does 13 divide (-15)/l*38/(-3)?
False
Let x be -1 + 2/4*6. Let g(l) = -25*l + 1. Let k be g(-1). Suppose k = o - x. Is 12 a factor of o?
False
Let l be 28/(-2) + (-1 - -1). Does 20 divide (-564)/(-14) + 4/l?
True
Let p be 10/4*(-1 + 3). Suppose j + 31 = 3*j + 3*n, -p*j - n = -45. Let d(l) = 3*l - 2. Does 9 divide d(j)?
False
Suppose 5 = -3*o + 68. Is o a multiple of 8?
False
Let s = -19 - -27. Let h(y) = 9*y - 3. Does 18 divide h(s)?
False
Let g(f) be the third derivative of -f**7/560 + f**6/720 - f**5/60 - f**2. Let t(d) be the third derivative of g(d). Does 19 divide t(-3)?
False
Let t(d) = -d**2 - 8*d + 5. Let b be t(-8). Suppose 5*n - 5*x = 945, 0*n + 4*n - 756 = b*x. Suppose 5*a - 3*k = n, 4*k - 6 = k. Does 12 divide a?
False
Suppose -360 = -3*w + 4*h, 3*w = 5*w + 4*h - 240. Is w a multiple of 60?
True
Suppose 0 = -2*q + 5*q. Suppose 2*p + 2 = q, 4*k - 55 = 4*p + 85. Suppose 5*v - 3*v = k. Does 17 divide v?
True
Let f(m) = 2*m**3 - 3*m**2 - 3*m - 4. Let v(l) = l**3 - 6*l**2 + l. Let s be v(6). Suppose -9 = -5*i + s. Is 14 a factor of f(i)?
True
Let o = -657 + 432. Is 18 a factor of o/6*12/(-9)?
False
Let u(m) = 5*m**2 - 2*m + 1. Does 11 divide u(3)?
False
Suppose 2*s - 108 = -2*b - 10, 100 = 2*s + 4*b. Suppose 5*c - 22 = s. Is c a multiple of 8?
False
Suppose -4*i = 2*i - 360. Is i a multiple of 6?
True
Suppose 2*x + 585 = 147. Let r = -110 - x. Let p = -73 + r. Does 12 divide p?
True
Let b be (-1)/(((-15)/18)/5). Let r(x) = -x + 2. Let a be r(b). Let j(s) = -2*s. Does 4 divide j(a)?
True
Suppose 4*p + z - 297 = 0, 0*z - z = -4*p + 295. Suppose -3 - 5 = 2*w. Does 16 divide (p/(-3))/(w/6)?
False
Let t(k) = -k + 4. Let s be t(2). Suppose 4*h - 27 = -2*j - 5, 4*j = s*h + 34. Is 9 a factor of j?
True
Let s(c) = 8*c - 1. Let z be s(4). Suppose -4*d = -z + 3. Is 7 a factor of d?
True
Suppose p = -y - y - 6, -4*y = -5*p + 40. Suppose -p*l = -4*a, 2*l = -2*l - 4*a. Suppose 4*v = -l*v + 16. Is 4 a factor of v?
True
Let q(h) = h**2 + 3*h + 120. Does 14 divide q(0)?
False
Suppose -3*j = 2*v - 20 + 3, 2*v + 5*j = 23. Suppose 0*i + 268 = -v*i. Let y = -35 - i. Does 14 divide y?
False
Suppose -4*c - 20 = -9*c. Suppose 5 = -5*z - 5*s + 30, 0 = -5*z + c*s + 16. Suppose 0*a = -z*a + 184. Does 14 divide a?
False
Let v be (2 + -4 + 2)/(-1). Is 24/2 - (2 + v) a multiple of 5?
True
Let f(g) be the second derivative of -g**6/360 - g**5/10 + g**4/4 + g**3/2 + 4*g. Let t(o) be the second derivative of f(o). Is 8 a factor of t(-10)?
False
Suppose 5*x - 2*d = 163, 0 = -4*d + 4 - 0. Does 11 divide x?
True
Suppose -3*g = -5*g + 4. Suppose -4*s - g*h = -128, 3 = 3*h + 9. Does 11 divide s?
True
Let v(x) = 133*x**2 - 2*x - 1. Let n be v(-1). Does 17 divide (n/(-4))/(5/(-10))?
False
Let t(y) = y**3 + 12*y**2 - 15*y + 14. Is t(-13) a multiple of 10?
True
Suppose -5*b - 336 = -9*b. Is 21 a factor of b?
True
Suppose -2*j + j = -3*y + 329, 4*y + 4*j = 412. Is 14 a factor of (y/(-8))/((-3)/6)?
False
Let s = 173 - 71. Suppose n = -2*n + s. Does 17 divide n?
True
Suppose 7*m - 108 - 172 = 0. Is m a multiple of 19?
False
Let v(q) = -4*q + 1. Let h be v(1). Let a be h/((-3)/(-36) - 0). Let u = a - -78. Is u a multiple of 15?
False
Let x(l) = 2*l + 23. Let m(d) = 10 + 9 + 3*d + 5. Let i(u) = -3*m(u) + 4*x(u). Is i(9) a multiple of 4?
False
Let h(g) = 7*g - 61. Let y be h(14). Let x(s) =