 0. Let k = s + y. Does 3 divide k?
False
Let h = 16 - 11. Is h a multiple of 5?
True
Let n(i) = -4*i**2 - 51*i - 20. Is n(-10) a multiple of 5?
True
Suppose w = 3*w - 32. Is 49 - (-4)/(w/12) a multiple of 13?
True
Let k be (-2 + 3)*1*115. Suppose -3*c = -5*c - 4*g + 72, 3*c - g = k. Is 13 a factor of c?
False
Let m(b) = b**2 + 8*b + 9. Suppose 3*w + 70 = -2*w. Let a = 5 + w. Is m(a) a multiple of 18?
True
Suppose l - 3*l - 4*i - 14 = 0, 3*l = i + 14. Suppose -3*h + 15 = l*n, -4*n + 1 - 2 = -3*h. Suppose r - h*o = -r + 35, 4*r - 120 = -4*o. Is 9 a factor of r?
False
Suppose n = -4*s + 130, -2*n + 22 = 2*s - 46. Does 3 divide s?
False
Is 10 a factor of (1 - 0)*1 + 0 + 59?
True
Let m(i) = 2*i - 2. Let s be m(-3). Let l = 47 + s. Is 12 a factor of l?
False
Let j(w) = -2*w - 13. Let v(k) = -2*k - 12. Let z(m) = 2*j(m) - 3*v(m). Let t(q) = -2*q - 3. Let g be t(-5). Is z(g) a multiple of 19?
False
Let u be -1 + 1 - -1*3. Suppose -3*l = 2*g - 246, g + 264 = 3*l - u*g. Is 28 a factor of l?
True
Let x be (12/(-9) - -2)*3. Suppose -x*h - 2*h = 3*k, k = 0. Suppose -7*d + 3*d - 5*y = -21, 3*d - 2*y - 10 = h. Does 4 divide d?
True
Suppose 2*v = -3*t + 159, -221 = -0*v - 3*v - t. Is v a multiple of 8?
True
Let c(w) = -w**3 + 5*w**2 + 4*w + 23. Does 8 divide c(6)?
False
Suppose -4 = -4*s + 12. Suppose -g = 3*n + 7 - 20, -5*g = -s*n - 65. Is g a multiple of 13?
True
Let b be (-4)/(-4)*-1*39. Let o = -13 - b. Is 20 a factor of o?
False
Let y be (-6)/15 + 344/10. Suppose 4*n = -4*r + 136, 4*n = r - n - y. Does 17 divide r?
True
Suppose 0 = -2*c - c - 48. Let j = 22 + c. Is j even?
True
Is 19 a factor of 745/10 + 9/6?
True
Suppose j = -0*j - 5*h + 31, 4*j = -3*h + 90. Suppose d + 2 = -5*o, -5*o = -3*d - 7 + j. Let l(v) = 11*v + 3. Is 18 a factor of l(d)?
True
Suppose 0 = -5*w + m - 4*m + 7, -w = -2*m - 4. Is w even?
True
Suppose 3*z - 16 = -7. Suppose 5*h - z*h - 21 = s, s = -2*h + 11. Is h a multiple of 8?
True
Let a = 4 - 0. Suppose 2*h - 2 = 2*d, 4*h - 2 - 3 = 3*d. Suppose a*y - 32 = h*y. Is y a multiple of 16?
True
Is (-1)/((-298)/(-150) + (-10 - -8)) a multiple of 15?
True
Suppose -2*y + 4 = 0, a - 2*y + 10 = -0*a. Let b(t) = -t**2 - 6*t + 6. Let m be b(a). Does 13 divide 26*(m/3)/2?
True
Does 4 divide 4/(-5) - 168/(-35)?
True
Does 50 divide ((-27)/(-15) - 2) + (-1002)/(-10)?
True
Let r(j) = 2*j + 5*j - 8*j**2 + j**3 - 2*j + 4*j**2. Let s(z) = -z**3 - 4*z**2 - z. Let n be s(-4). Is 10 a factor of r(n)?
True
Let k be (3 - 2)*-1 + 7. Suppose -o - 150 = -k*o. Does 10 divide o?
True
Let c = -196 + 436. Does 8 divide c?
True
Suppose -35 + 0 = -x. Suppose -x = 3*z + 22. Let l = -7 - z. Is l a multiple of 6?
True
Let z be ((-62)/2 - -2)*-1. Suppose -3*i = -j + 3*j - 68, -j + z = 4*i. Does 28 divide j?
False
Let a = 39 - 30. Is 3 a factor of a?
True
Let l be 10*(39/(-15) + 3). Let t be 2/l - 15/(-10). Suppose n = 5*b - 13, -b - b + 10 = t*n. Does 3 divide b?
True
Does 13 divide (-6)/(-12) + -1 + 235/2?
True
Suppose -3*t + 18 = 4*d - 3, 27 = 5*d + 4*t. Suppose -d*u - 296 = -7*u. Does 19 divide u?
False
Suppose 3*m + 11 = 4*b, -5*b + 15 + 10 = 0. Let l(q) = -q**3 + 5*q**2 - 4*q - 1. Let z be l(3). Suppose -5*v = m*n - 87, z*n = 5*v - 68 - 27. Does 9 divide v?
True
Let s be 1/(-2) - 34/4. Let f(j) = -6*j - 10. Is 22 a factor of f(s)?
True
Let k = 23 - 14. Does 3 divide k?
True
Let q(r) = -2*r**2 + 43*r + 18. Does 27 divide q(18)?
False
Let i = -31 - -61. Does 10 divide i?
True
Let h(f) = -f**3 + 10*f**2 + 6*f + 3. Let y(p) = -2*p**3 + 21*p**2 + 12*p + 5. Let w(q) = -7*h(q) + 3*y(q). Does 3 divide w(8)?
False
Let l = 1 - -7. Let f = -4 + l. Suppose t + f*n - 3 = 0, -4 = -t - 3*n + 1. Is t a multiple of 11?
True
Let j(d) = 5*d**3 + d**2 + 2*d + 4. Does 22 divide j(3)?
True
Suppose 0 = -c - 98 + 2. Is 3 a factor of (c/80)/((-2)/15)?
True
Suppose -7*c - 6 = -10*c. Suppose -2*u = -c*s + 64, 4*u = s - 27 - 11. Does 15 divide s?
True
Suppose -6 = c - 2*c. Let x be c/(-21) + 158/14. Suppose -5 = -p + x. Is 8 a factor of p?
True
Suppose -114 = -5*v + 761. Is 19 a factor of v?
False
Suppose 4*v - 183 = v. Does 18 divide v?
False
Let a be -2*(-7)/(7/10). Suppose 2*u - a = -0*u + 4*s, -2*s = 0. Is 4 a factor of u?
False
Let o(s) = -s**3 + 7*s**2 - 2*s - 1. Suppose 0 = -4*u + 4*z + 16, 3*u - z - 6 = -4*z. Is o(u) a multiple of 9?
False
Suppose 2*c - 3*b - 204 = 0, 5*c + 5*b = -0*b + 485. Does 21 divide c?
False
Let y be -93 + (3 - 2) - 3. Let z = 162 + y. Is 14 a factor of z?
False
Let y be 4/(-8) - (-65)/2. Let m = -54 + y. Is (0 + m)*(0 - 1) a multiple of 11?
True
Suppose v = -4*v + 3*s + 871, 191 = v + 5*s. Suppose v = 2*z + 2*z. Is z a multiple of 11?
True
Suppose -3*v - 14 = -5*o, 2*v + 3*v - 26 = -4*o. Suppose -o*d = d - 180. Is 12 a factor of d?
True
Suppose 1 = n - 0. Let d be (-2)/n - (-15)/3. Suppose -r + d*r = 34. Is r a multiple of 14?
False
Let l(r) be the third derivative of -r**4/8 - 4*r**3/3 - r**2. Let z = -5 + -3. Is 15 a factor of l(z)?
False
Suppose i + f - 3 = 0, 3*f = 5*i - 3*i + 4. Let w(u) = -10*u**3 - u**2 + u. Let m be w(1). Does 5 divide (-102)/m - i/5?
True
Let c be 3/6 + 33/6. Suppose h - 4 = -2*s, c*s - 3*s + 46 = 5*h. Does 3 divide h?
False
Is 68/(-1)*(35/10 - 5) a multiple of 17?
True
Let f = -111 - -191. Does 8 divide f?
True
Let x = 11 - 8. Suppose 2*j - 28 = -5*t, x*t - 56 = -4*j + t. Is j a multiple of 7?
True
Let x(m) = 9*m. Let r be x(-4). Let a = r - -148. Suppose v + 112 = 5*v + 3*t, -4*v + 3*t = -a. Is 14 a factor of v?
True
Suppose -5*n + 2*n = 6. Is 12 a factor of (-17)/((-1)/n*-2)?
False
Let s be 12*(-4)/(-40)*10. Does 18 divide (-22)/((-51)/s - -4)?
False
Suppose -6*u = -2*u + 2*o - 46, 10 = u - o. Let r = u - 8. Is (2/r)/((-3)/(-189)) a multiple of 14?
True
Let j(t) = -t - 1. Let g be j(-6). Suppose 2*f + 40 = 3*v - 46, 0 = g*f - 25. Suppose 0 = -x + 3*x - v. Is 5 a factor of x?
False
Let n(r) = -3*r + 6*r**2 - r + 0*r**3 - r - r**3. Let l be n(5). Suppose 9 = j - l*j. Is 9 a factor of j?
True
Let b = 13 - -7. Does 5 divide b?
True
Is 15 a factor of 42/(-8)*(-112)/21 - -2?
True
Let x(v) = -3*v**3 - 14*v**2 - 17*v - 3. Let w(l) = -l**3 - 5*l**2 - 6*l - 1. Let b(r) = -8*w(r) + 3*x(r). Is 5 a factor of b(-2)?
True
Let w(g) = g**2 - 2*g + 3. Let n be w(2). Suppose -53 = -5*o - 4*l + 6, 3*o = n*l + 57. Is o a multiple of 13?
False
Let l(h) = 6*h**2 - 7*h. Does 5 divide l(4)?
False
Suppose 2*c + 3*w - 25 = 30, 0 = 5*c + 3*w - 124. Let a be 0/(2/(-2)) - -3. Let v = c - a. Does 19 divide v?
False
Let v(a) be the third derivative of -a**4/8 - 2*a**3/3 + 4*a**2. Is 3 a factor of v(-3)?
False
Suppose a = -5*k + 30, 3*a - 42 = 5*k - 4*k. Is 6 a factor of 116/10 + 6/a?
True
Does 17 divide (24 + -8)*((-7)/(-2) + 0)?
False
Let h be 2/9 - (-4)/(-18). Suppose h = -0*z + z. Is (-3)/(3/(-14) + z) a multiple of 14?
True
Suppose -2*w - m + 839 = 2*w, -3*m + 627 = 3*w. Suppose w = 18*j - 16*j. Is 32 a factor of j?
False
Let i(a) = 2*a - 2. Let w = -7 - -10. Let j be i(w). Suppose 52 = j*y - 36. Is 11 a factor of y?
True
Let r = -86 + 29. Let v = r - -112. Does 18 divide v?
False
Suppose 2*t + 412 = 6*t. Let q be -1*(t + 0 + -2). Let l = -70 - q. Is l a multiple of 12?
False
Let g(r) = -13*r - 5. Let q be g(7). Does 12 divide (q/20)/((-2)/15)?
True
Suppose -192 = -91*g + 87*g. Does 5 divide g?
False
Let p = 8 - 24. Suppose 0*v = -3*v + 3. Is (0/3 - v)*p a multiple of 16?
True
Let i(a) be the second derivative of a**4/6 - a**3/6 + 2*a**2 + a. Let u be i(4). Suppose -2*x + 24 = -3*m - u, -x = 2*m - 28. Is 19 a factor of x?
False
Let d(b) = -6*b. Is d(-2) a multiple of 8?
False
Suppose 5*l + c + 70 = -0*c, -4*l + 4*c - 80 = 0. Does 7 divide 34/(-4)*(l - -11)?
False
Is 14 a factor of 12/42 + (-194)/(-7)?
True
Let b(h) = 22*h - 3. Is 21 a factor of b(3)?
True
Let q(l) = -3*l - 6. Suppose 4*k = t - 5, 0 = -0*k + 3*k + 9. Is 5 a factor of q(t)?
True
Let q = 8 + -2. Suppose 0 = q*u - u - 60. Is u a multiple of 6?
True
Let k(f) = -f**2 - 8*f + 5. Suppose 28 = -3*x + 4. Let i be k(x). Suppose -45 = -5*l + 3*v, -7 = 6*l - 3*l + i*v. Is 4 a factor of l?
False
Let l = 180 + -70. Suppose 3*v + 275 = 8*v + 2*g, -l = -2*v - 3*g. Is 15 a factor of v?
False
Suppose -3*g - 5*j = -285, 4*g - 44 = -4*j + 344. Suppose -4*k + g + 40 = 0. Does 6 divide k?
False
Let a = -62 - -