= 2 - -15. Does 2 divide q?
False
Let r = 113 + -66. Is r a multiple of 10?
False
Let v(y) = -y**3 - y**2 - y + 9. Let x be v(0). Let w = 25 + x. Does 17 divide w?
True
Is 3*19*1 + (2 - 1) a multiple of 8?
False
Let j = 18 - 13. Let m be 2*(1 - 13/(-2)). Suppose 61 + 51 = 5*a + 4*s, j*s - m = 0. Is 10 a factor of a?
True
Let t = 61 + 45. Does 6 divide t?
False
Suppose 2*l - 3*l + 49 = 2*y, 4*l + y - 161 = 0. Is 3 - l/(-3 - 0) a multiple of 9?
False
Suppose 0 = 2*d - 13*d + 308. Suppose -l + 0*l = 4*v - 9, -3*v - l = -6. Suppose v*w + d = 7*w. Is w a multiple of 2?
False
Suppose 4*d + n - 56 = 5*n, 43 = 2*d - 5*n. Let h = d - 1. Does 4 divide h?
True
Suppose 0 = 4*x - 5*a - 386, -195 = -2*x - a - 9. Is 47 a factor of x?
True
Let u = 7 + 17. Does 11 divide u?
False
Suppose -15 = -h - 2*d, 6*h = 2*h - 3*d + 45. Let s(i) = i + 8. Does 17 divide s(h)?
True
Suppose 4*c + 3*q = 67, -2*q + 47 = 3*c - 3*q. Is c a multiple of 4?
True
Let u be -1*5/(15/(-24)). Suppose -u = -m - m. Does 2 divide m?
True
Let s = 8 - 10. Is -7*(16/4)/s a multiple of 7?
True
Let k = 6 - 4. Suppose 5*x - 156 = 6*d - k*d, -3*x + 4*d + 92 = 0. Is x a multiple of 18?
False
Suppose -6 + 0 = -3*v. Is v even?
True
Suppose -2*o - 5*k + 21 = -o, 0 = -4*o + 5*k - 16. Let z = o - 3. Is (56/(-12))/(z/9) a multiple of 7?
True
Suppose 5*t + 3*h - 254 = 0, -5*t + h = -5 - 237. Does 7 divide t?
True
Is 67 - (3 - (-12)/(-2)) a multiple of 15?
False
Let o = -7 - -13. Let g = o + -33. Is 2/(-9) + (-924)/g a multiple of 13?
False
Let j be 1*((1 - -1) + -15). Is 13 a factor of (-4)/1*j/2?
True
Let n be 0 + (1 - -85)*1. Suppose 0 = -3*h - 3*y + y + n, 0 = 3*h - y - 83. Does 16 divide h?
False
Suppose -w = w. Let i(x) = 7*x**3 - x**2 + 1 + 13*x**3 + w. Is 15 a factor of i(1)?
False
Let f = 191 - 117. Is 37 a factor of f?
True
Let l(z) = -6*z - 9. Let a be l(7). Let j = -30 - a. Is j a multiple of 13?
False
Let d(w) = 9*w + 4. Let g be d(-3). Let y = -13 - g. Suppose 2*a = 56 - y. Does 14 divide a?
False
Let g be ((-24)/18)/(4/(-9)). Suppose 0 = g*o + o - 48. Does 4 divide o?
True
Let l = -36 - -23. Let j = 25 + l. Is j a multiple of 12?
True
Let w be 5/10 + 7/2. Does 5 divide 124/10 + w/(-10)?
False
Let p = -9 - -13. Suppose r - 17 = 2*l, 4*l + 10 - p = -2*r. Does 7 divide r?
True
Let n = 18 + 31. Suppose -i = -4*z + n, -i = -z + 6*z - 68. Is 5 a factor of z?
False
Does 8 divide (3 + (1 - 16))/((-9)/60)?
True
Let p(r) be the first derivative of -r**4/2 - 4*r**3/3 + 2*r - 2. Suppose 4*l + 21 = 3*d, -5*l - 4*d - 21 = -6*d. Is p(l) a multiple of 10?
True
Suppose -2*c = -f - 2*f + 2, 0 = -2*c - 2*f + 8. Does 2 divide c?
True
Let r = -1 + 3. Suppose -b = r*b - 12. Does 13 divide 2/(-8) + 153/b?
False
Suppose b - 7 = 3*u, -b - 3*u = -4*b + 15. Suppose -b*c - 4 = 0, h - 4*h - 2*c + 142 = 0. Is h a multiple of 18?
False
Let t = -8 - -12. Suppose t*q + q = 25. Is q a multiple of 5?
True
Let p(n) = 4*n**2 - 2*n - 1. Let z be p(3). Suppose 3*b - 67 = z. Is 16 a factor of b?
True
Let o be ((-6)/5)/((-2)/60). Is (o/6)/((-4)/(-10)) a multiple of 5?
True
Suppose 0 = 2*z + i - 617, -4*z + 9*z - i = 1539. Is 44 a factor of z?
True
Let c be -1*(-3)/3 - 1. Suppose c = -3*u + 30 + 21. Does 7 divide u?
False
Suppose 0 = -4*y + 5*z + 19, -60 = -5*y + z - 2*z. Is 4 a factor of y?
False
Suppose 0 = 2*r - 7*r + 4*s + 84, 3 = -3*s. Suppose -5*a = -2*b - 75, 5*a + 4*b - 89 - r = 0. Is 14 a factor of a?
False
Let g(y) = -y + 40. Let s = -7 + 7. Is 20 a factor of g(s)?
True
Let a = -3 - -1. Let u(c) = 2*c**2 + c - 1. Let l be u(a). Suppose 125 = 4*y - l*i, -y = -i - 2*i - 40. Does 14 divide y?
False
Suppose y - 3 = -0*y + 2*j, -3*y + 9 = 4*j. Let f be (-3 + 1)/(y/33). Does 16 divide (2 - f)/((-6)/(-4))?
True
Is 20 a factor of 3*3881/33 + (-2)/(-11)?
False
Let k(h) = -h**3 + 9*h**2 + 15*h - 4. Does 23 divide k(10)?
True
Suppose u + 7*u - 912 = 0. Is 35 a factor of u?
False
Is 32 a factor of ((-72)/(-14))/((-3)/1008*-9)?
True
Let f(l) = l**2 - 3*l + 4. Let p = 2 - 2. Let g(u) = u**2 - u + 4. Let o be g(p). Is 4 a factor of f(o)?
True
Suppose -3*z + 0 + 7 = -2*v, 0 = 4*v - 16. Suppose 4*d - 9 = -2*y + 15, 0 = -3*y + z*d + 58. Does 4 divide y?
True
Is 7 a factor of (19 - -6)/(1/2)?
False
Let x = -13 + 25. Suppose 4*l - 15 = 2*l + 5*m, 0 = -4*m - x. Suppose l = b + b - 100. Is 17 a factor of b?
False
Let w(s) = s**3 - 11*s**2 + 11*s + 11. Let b(l) = -2*l. Let o be b(-5). Let t be w(o). Suppose 4*k = t + 131. Does 19 divide k?
True
Let q(j) = -j + 5. Let b(f) = 3 + 0 + 0 - 1 - 3*f. Let o be b(3). Is q(o) a multiple of 6?
True
Suppose 4*x + 178 - 646 = 0. Is 13 a factor of x?
True
Let p be ((-1)/2)/((-3)/12). Suppose 3*f + 5*d + 53 = 0, p*f - 7*d = -3*d - 28. Is 60/(-16)*f/6 a multiple of 5?
True
Suppose 3*f + 3*z = 111, 3*f + 5*z - 8*z = 141. Is 14 a factor of f?
True
Let m(a) = -a**3 - 9*a**2 - 9*a - 8. Let k be m(-8). Let t = k - -6. Let l = 24 - t. Does 9 divide l?
True
Suppose 16 = -x + c - 5, 0 = -3*x + 5*c - 57. Let i = -37 - x. Let q = 18 + i. Is q a multiple of 5?
True
Suppose -8*m - 155 = -13*m. Does 8 divide m?
False
Let c be (-3*1)/(3/2). Let r be c/(-8) + 6/8. Is r + 9/(-3) + 10 a multiple of 8?
True
Suppose 0 = l + l. Suppose l = 5*m + 4*b - 105, b - 5 = 2*b. Does 21 divide m?
False
Let a = -94 - -166. Does 12 divide a?
True
Let q = -5 + 15. Does 13 divide (-233)/(-5) + (-6)/q?
False
Let t = 13 - 1. Is 6 a factor of t?
True
Suppose -5*x - t + 265 = 0, -2*x - 48 = -t - 161. Is x a multiple of 18?
True
Let a be (6/(-6))/((-1)/3). Let z be -1*1*-2 - a. Does 10 divide (11 - 1)/((-1)/z)?
True
Suppose -5*j = -i - 230, 4*j - 5*i - 144 = 40. Suppose 151 = 4*q + 51. Let t = j - q. Is 21 a factor of t?
True
Suppose -1 - 14 = 5*a. Let z = 4 + a. Is 11 a factor of 27 + z - (5 + -4)?
False
Let p = 137 - 81. Does 29 divide p?
False
Suppose -3*a - 144 = -3*s, -6*a + 2*a + 90 = 2*s. Is 19 a factor of s?
False
Suppose 0 = 2*p - 5*y - 75, 2*y + 0*y + 85 = 3*p. Is 7 a factor of p?
False
Is 5 a factor of (-29)/(-3) - (-2)/6?
True
Suppose -3*p - 5*i = -12, -3*p + 0*i - 18 = -5*i. Does 5 divide (18 - p)*(12 + -11)?
False
Suppose 2*a - 291 + 95 = 0. Is a a multiple of 14?
True
Suppose -p - 6 = -5. Let a(c) = -c**3 + 3*c**2 + 4*c + 2. Let v be a(4). Is (-3)/p*6/v a multiple of 4?
False
Suppose -147 = -3*v + 48. Suppose 0*n + n - v = 0. Is 19 a factor of n?
False
Let h = 27 + -4. Is h a multiple of 6?
False
Suppose -4*i + 95 = -3*j, -3*i = j + 4*j - 64. Is i a multiple of 21?
False
Suppose p - 1 = 3. Suppose -22 = -2*h - 3*z, h + 3*z = -p*h + 64. Does 7 divide h?
True
Let r = 3 - 2. Let x = r - -9. Is 2 a factor of x/6 - (-6)/18?
True
Suppose -5*b = n - 976, -b + 78 = 3*n - 106. Is b a multiple of 7?
True
Let j = -12 - -15. Suppose 3*p - 39 = -j*n, 4*p + 3*n - 50 = 3. Is 14 a factor of p?
True
Suppose 3*i - 273 = 3*j, -4*i + j + 382 = 3*j. Does 9 divide i?
False
Let d(n) = n**2 - 7*n + 4. Suppose -14 = -0*u - 2*u. Let o be d(u). Suppose g + y = 6*y + 57, -g - o*y + 21 = 0. Does 14 divide g?
False
Suppose 5*b - 3*b - n = 38, 0 = 4*b + 4*n - 64. Does 9 divide b?
True
Let b(u) = -11*u**3 + 2*u**2 - 1. Let o be b(-1). Let h = o - -24. Does 15 divide h?
False
Let k = -5 + 6. Let g(z) = 124*z - 1. Let d be g(k). Suppose 4*v - d = -x, 3*v - 2*v - 7 = -5*x. Does 16 divide v?
True
Let r(j) be the third derivative of -25*j**4/24 - j**3/3 - 5*j**2. Suppose 5*x - 15 = 0, 4*k - 1 = -3*x - 0*x. Does 13 divide r(k)?
False
Let j(y) = y**2 + 4*y + 12. Does 12 divide j(-6)?
True
Let r = 16 - 13. Suppose -2*f + 3 = j - 5, -r*j + 5*f = -68. Is j a multiple of 16?
True
Does 3 divide 4 + 2 + (-6)/(-3)?
False
Suppose z + 2*o + 1 = 0, -z = -5*z + 4*o + 20. Suppose -3*h - 25 = 5*g - h, -z*g - 4*h = 29. Is 8 a factor of 2*g/(-3) + 22?
True
Let k be (-30)/3*(-6)/(-4). Is -2 + 0/2 - k a multiple of 13?
True
Suppose 11*x - 64 = 9*x. Is x a multiple of 8?
True
Suppose 4*d - 29 = 3*r, 5*d - 2 = -5*r + 8. Suppose -d*m = -6*m + 6. Suppose 4*h + 14 = m*h. Does 3 divide h?
False
Let z be -4 - -2 - (0 - 42). Suppose m - z = -4*m. Is 8 a factor of m?
True
Let h(g) = -9 + g**2 + 4 + 2*g + 0*g**3 + 5*g**2 + g**3. Does 9 divide h(-4)?
False
Let z = 8 - 2. Let b(u) = 7 + u**3 + 4*u - 3*u - 6*u**2 + 0*u**3. Is 6 a factor of b(z)?
False
Suppose -3*i - 2*c = -22, -2*c = -3*i - 7*c 