 d - 3*u = w. Is d a multiple of 17?
False
Let a be (-274)/18 + (-4)/(-18). Let u = -10 - a. Suppose -u*s + 36 = -2*s. Does 11 divide s?
False
Let j be 3/9 - 8/(-3). Suppose -4*o = j + 5. Is ((-1)/1)/(o/6) a multiple of 2?
False
Suppose 0 = -0*h - 5*h + 50. Let x = h + 0. Does 5 divide x?
True
Suppose 2*x + 162 = 6*x + 2*c, x + 5*c - 63 = 0. Is x a multiple of 38?
True
Let c = -36 + 24. Let s(j) = -j**3 - 13*j**2 - 11*j + 15. Let x be s(c). Suppose x*r + r - 148 = 0. Is 18 a factor of r?
False
Let w = 31 + -25. Is w a multiple of 6?
True
Let a be 6/((20/74)/5). Let x = a + -43. Is 22 a factor of x?
False
Suppose m + 0*m = 1. Let w be (0 - -2) + m + -86. Let t = 131 + w. Is 21 a factor of t?
False
Let b be (-20)/(-6)*(-12)/(-10). Suppose 2*r + p - 5 = 0, -2*r + 0*p = 2*p - b. Suppose -r*o = -o - 3*h - 12, -4*o + 5*h = -26. Is o a multiple of 6?
False
Let a = 8 - 5. Suppose 0 = -2*p - 3*i + 25, i + a*i - 59 = -5*p. Is p a multiple of 4?
False
Let l = 134 - 65. Does 23 divide l?
True
Suppose -4*b + 23 = -13. Let o be 2/6 + (-120)/b. Let z = o - -29. Does 8 divide z?
True
Suppose 3*z - 88 - 37 = -5*s, z = s + 47. Is 9 a factor of z?
True
Suppose 0 = 2*d + 4*r - 18, -3*r - 2*r = -2*d. Suppose 5 = v - 5*t + 1, 20 = 5*v + d*t. Is v a multiple of 4?
True
Let h = 211 - 99. Is 6 a factor of (h/(-35))/((-1)/5)?
False
Let a be (-2 + 2)/((-12)/4). Is 2 a factor of -5 + (2 - a) - -8?
False
Suppose 4*p - 7 - 10 = 5*i, 4*p = i - 3. Let l = i - -9. Let o = 4 + l. Is o a multiple of 4?
True
Let h = 46 + -28. Let z be (-4)/h + 7664/(-18). Does 14 divide z/(-15) - (-2)/(-5)?
True
Let q = 3 - 1. Suppose q*x + x = 42. Is 3 a factor of x?
False
Suppose -6*z - 164 = -1154. Does 33 divide z?
True
Does 28 divide 1*(-297 - 5)*(-2)/4?
False
Suppose -a + 18 = -11. Is a a multiple of 9?
False
Let i(d) be the third derivative of -d**6/120 - d**5/6 + 7*d**4/24 + 7*d**3/3 + 3*d**2. Let m be i(-10). Is 24 a factor of (7/2)/((-4)/m)?
False
Let f = 95 - 62. Does 16 divide f?
False
Suppose 4*b + 0 + 17 = -q, 4*b + 5*q = -37. Let z(n) = 4*n**3 + 5*n**2 - n**2 - 3*n**3 - n**2 - 2*n + 3. Does 7 divide z(b)?
False
Suppose 4*d - 4*x = 20, -3*d + 21 = 5*x - 10. Is d a multiple of 2?
False
Let v be 0 + -1 + 0 + 2. Let o be 6*(-1)/(-3*v). Does 7 divide o/4 + (-156)/(-8)?
False
Let m = 11 - -25. Is m a multiple of 4?
True
Suppose 0 = 2*f - 2. Let t = f + -3. Let o(z) = -8*z - 1. Is o(t) a multiple of 5?
True
Suppose 2*o = 0, -o = 6*s - 2*s - 8. Suppose i + 2*t - 4*t = -1, s*i - 16 = -5*t. Is i even?
False
Let x be ((-15)/(-2))/(2/(-4)). Let g be 4 + -2 - 13*2. Let q = x - g. Does 9 divide q?
True
Let k(r) = r**2 - 6*r + 7. Let d be k(5). Is d + -5 + (-58)/(-2) a multiple of 8?
False
Let n = -145 - -176. Is 5 a factor of n?
False
Suppose -7 = -u - 3*u - 5*q, 0 = -3*u - 4*q + 5. Suppose -4*v - 2*y + 1 = 5, 5*y = -2*v + 14. Is (-27)/v*2/u a multiple of 6?
True
Suppose -643 = 3*v + 3*j - 1699, 0 = -3*v - 2*j + 1061. Does 51 divide v?
True
Suppose -15 = 4*x + x. Let n be 256/6 + x/(-9). Suppose 3*l + 2*r = 3*r + 29, 5*l - 3*r - n = 0. Is l a multiple of 5?
False
Let i(w) = -2*w**3 + 4*w**2 - 7*w + 1. Let t(y) = y**3 - y**2 + y - 1. Let r(h) = -i(h) - 3*t(h). Does 4 divide r(-3)?
True
Let t(w) = -5*w**3 - w**2 - 2*w - 1. Let v be t(-1). Suppose v*x + 2*p = 155, -3*x = -2*p + 5*p - 102. Let i = x + 1. Does 8 divide i?
False
Suppose 172 = 2*v - 4*n - 52, -v = 4*n - 136. Is 15 a factor of v?
True
Does 18 divide 20/90 + (-968)/(-18)?
True
Suppose -4*b = -5*c + 14, -b - 2*c = b - 2. Is 12 a factor of b/3 - (-420)/18?
False
Suppose 0 = -4*c + 4*y + 1612, 3*c + 2*y - 6*y = 1204. Suppose c = -r + 7*r. Does 29 divide r?
False
Suppose d - 10 + 54 = -2*k, -108 = 5*k + 3*d. Let t be 280/k + (-4)/(-6). Let x = 55 + t. Is x a multiple of 17?
False
Let r = -82 - -57. Let o = r + 55. Is 15 a factor of o?
True
Is 12 a factor of 18 + (-2 + 4)/(-2)?
False
Does 21 divide (-7)/(-2)*(23 - -1)?
True
Let s(x) = 2*x**2 + 3*x - 4. Let u be s(-3). Suppose -2*a - 4*p = 3*a - 329, -3*p + 3 = 0. Suppose u*z - a = -0*z. Is z a multiple of 13?
True
Let m(i) = -i**2 + 1. Let z be m(1). Suppose 42*u = 39*u + 57. Suppose z = -5*k + u + 11. Is k a multiple of 4?
False
Let g = -62 - -44. Is 8 a factor of (-25)/(-3) + 6/g?
True
Let p(f) be the second derivative of f**3/6 + 17*f**2/2 - 9*f. Is p(0) a multiple of 12?
False
Suppose -3*f - 9 = -6*f, -2*f + 176 = 5*w. Suppose 2*g = b + 2 - 13, 5*g + 11 = -3*b. Suppose l + w = 3*q, -b*l = -5*q + 64 - 10. Does 9 divide q?
False
Let t be (-65)/(-30) + (-2)/12. Suppose j = -0*j + 6. Suppose -56 = -t*h - j. Is h a multiple of 16?
False
Let c(r) = -r + 18. Suppose -40 = -0*i - 5*i. Let x be c(i). Is 11 a factor of (1 + (-2 - x))/(-1)?
True
Let j be -2 - (3 - (-2 - -12)). Suppose -j*t + 123 + 172 = 0. Is 15 a factor of t?
False
Suppose 2*x + 4*o - 47 = -o, -3*x = -5*o - 8. Suppose t - 33 = x. Is 22 a factor of t?
True
Does 22 divide ((-11)/1)/((-2 - -5)/(-6))?
True
Suppose -66 = 4*d - 6*d. Suppose 48 + d = 3*t. Is 9 a factor of t?
True
Let w = 316 + -137. Does 11 divide w?
False
Let p be (7/(-7))/(1/(-10)). Let f(v) = -3*v + 1. Let k be f(1). Let i = k + p. Is 4 a factor of i?
True
Let q = 2 - 2. Suppose q = 4*p + h - 13, -2*h - 5 = 5*p - 5*h. Suppose 2*g - 4*d - 35 = 5, 0 = 5*g + p*d - 76. Is 9 a factor of g?
False
Suppose 0*f - 4*f = -3*n + 7, 2*n + 2*f = 14. Let b = n - -17. Does 20 divide b?
False
Suppose 8*z = 3*z + 220. Suppose c + 2*o - 22 = o, -2*c = -o - z. Is c a multiple of 8?
False
Is 7/(7/(-12))*(-3)/4 a multiple of 2?
False
Suppose -i + 7 = 4. Suppose -i*d - u = -116, 0*u = -2*d + 5*u + 83. Is d a multiple of 13?
True
Suppose 3*f + 5*a = 2, -3*a + 5 = f + 3. Let h = 2 + f. Suppose -3 = -d + h. Does 2 divide d?
True
Let h(w) = w**2 - w + 44. Let b = -5 + 5. Is h(b) a multiple of 7?
False
Suppose -3*r + 1 = -11, -x - 4*r = -15. Does 14 divide -2 - (x + -15)/1?
True
Let o(d) = -d - 11. Let p be o(-6). Suppose 6*x - 3*x - 7 = 4*f, -11 = -4*x + 5*f. Let i = p + x. Does 2 divide i?
True
Let x(v) be the second derivative of -v**5/20 + 11*v**4/12 + 5*v**3/2 + 4*v**2 + 4*v. Is 22 a factor of x(12)?
True
Let g(n) = 10*n + 2. Let d(p) = -9*p - 2. Let i(t) = -6*d(t) - 5*g(t). Let v be i(-2). Is v*(-33)/6 + 1 a multiple of 17?
True
Let z = 7 + -4. Suppose 0 = -h + g - z, -18 = -2*h - 3*g - g. Does 6 divide 7*(57/21 - h)?
True
Let q = -3 - 5. Let z(f) = -f**2 - 9*f - 8. Let y be z(q). Suppose -10 + y = -5*w, -3*d + 4*w = -82. Is 12 a factor of d?
False
Suppose -3*f + 5*a = -21, -4*f + 26 = 3*a - 31. Suppose -f = s - 3*s. Is s a multiple of 3?
True
Suppose 42*c + 1120 = 52*c. Is 16 a factor of c?
True
Let m = -50 + 87. Does 7 divide m?
False
Let f be ((-4)/6)/(30/135). Does 21 divide 35 - (f + (-4 - -4))?
False
Suppose 6*p - 5*p - 24 = 0. Suppose 3*f = -4*q + 3*q + 351, 3*q = 4*f - 455. Suppose f = 4*h + p. Does 9 divide h?
False
Is (-28)/(-70) - -53*(-2)/(-10) a multiple of 2?
False
Let i = 71 + 3. Let c = 104 - i. Is c a multiple of 23?
False
Is 168/32*(-1 + 5) a multiple of 9?
False
Let s(m) = -m**2 - m + 1. Let h be s(-4). Let z = h - -28. Is 11 a factor of z?
False
Is 26 a factor of (-102)/9*10*-3?
False
Suppose 0*q - 2*q = -30. Is q a multiple of 7?
False
Let w be (-3)/(2 + 3*-1). Suppose -r + 5*k + 4 = 0, w*k + 37 = -r + 1. Let q = r - -51. Is 15 a factor of q?
True
Let y = 96 - 201. Let w = 8 + -6. Does 12 divide (-1)/((-207)/y - w)?
False
Does 3 divide (-78)/4*12/(-18)?
False
Let q = -7 - -26. Suppose 0 = -0*j + j - q. Is j/((6/(-2))/(-3)) a multiple of 19?
True
Let o(p) = -p**3 - 24*p**2 + 50*p + 8. Is 10 a factor of o(-26)?
True
Let i(l) = 11*l + 13. Does 16 divide i(6)?
False
Suppose -4*k + 37 = -55. Suppose 2*w = -5*g + k, 3*w - 29 = -3*g + 28. Is 12 a factor of w?
True
Let t(o) = -37*o**3 - 1. Let j be t(-1). Suppose 4*a - j = -4*c, 5*a - c - 62 = 1. Is 12 a factor of a?
True
Let c = 334 + -34. Does 20 divide (-14)/(-2)*c/105?
True
Suppose 0 = 5*b - m + 95, 2*b = 2*m - 58 + 12. Suppose 35 + 7 = 2*t. Let h = t - b. Is 19 a factor of h?
False
Suppose 6*s = 5*s + 104. Suppose -4*v - s = -0*v. Let l = -4 - v. Is 11 a factor of l?
True
Let v(r) be the second derivative of -23*r**7/840 - r**6/360 - r**3/3 + 3*r. Let g(d) be the second derivative of v(d). Is g(-1) a multiple of 22?
