vide k?
True
Suppose -11*u = -7*u - 20. Suppose -t = -4*p, 3*t + 6 = u*p + 13. Suppose q = 3*q - t*o + 4, 4*q = 2*o + 16. Is q a multiple of 3?
True
Let c = -42 + 110. Let f = -42 + c. Does 13 divide f?
True
Let y be 0 - (0 - 1) - -21. Suppose -3*m + 2*p - 1 = 0, 2*m = 3*m - 5*p + y. Let w = m - -1. Is 4 a factor of w?
True
Suppose 2*i - 4*i = -w - 34, -59 = -5*i - 4*w. Is 15 a factor of i?
True
Let p = -198 - -426. Does 57 divide p?
True
Let g(t) = t**3 - 5*t**2 + t + 7. Let h be g(5). Suppose n - 27 = -4*v, -2*v - h = -n - v. Is n a multiple of 4?
False
Let z = 0 + 5. Let x be 20/(-25) + (-1)/z. Is 11 a factor of (x - -2 - -12) + -2?
True
Let v = -6 - -8. Let g = 1 - v. Let s = 15 - g. Is s a multiple of 16?
True
Let f = 32 + -15. Suppose u - 13 = f. Is u a multiple of 10?
True
Suppose z + 2*z = 9. Let q = -27 - -30. Suppose 3*s - 6 = s, -q*n + z*s = -69. Is n a multiple of 18?
False
Is 1/(-2)*-1 - 1269/(-54) a multiple of 3?
True
Let i be (-1)/(-2)*(4 + -30). Let l = 4 - i. Does 17 divide l?
True
Suppose 125 = 5*x - 70. Let w = x - -9. Is 12 a factor of w?
True
Let j be ((-1)/(-2))/((-2)/(-628)). Let w = j - 106. Is 12 a factor of w?
False
Let q(b) = b - 4. Let n be q(2). Is (n/(-3) - -1)*9 a multiple of 6?
False
Suppose 0 = -3*o - 2 - 1. Does 3 divide o + 9 + (-1 - 1)?
True
Let r(n) = 3*n**2 + 2*n - 3. Let q be r(2). Let j = 2 + q. Does 15 divide j?
True
Suppose 5 = 5*z - 0*i + 2*i, 30 = 5*z - 3*i. Suppose -z*a - 80 = -7*a. Is a a multiple of 5?
True
Suppose -5*v - 65 = -z, 3*z = 7*v - 2*v + 205. Is z a multiple of 14?
True
Let c be ((-2)/5)/((-3)/15). Suppose -3*x - c*x + 85 = -3*k, -2*x - k = -23. Is ((-24)/x)/(2/(-35)) a multiple of 13?
False
Suppose 3*h + 2*b = 57, -6*h + 5*h + 5*b + 19 = 0. Is 9 a factor of h?
False
Suppose 5*p - 4*r - 29 = 0, 2*p + 28 = 7*p - 3*r. Suppose 2*u - 21 = -4*v - u, -p*v - 3*u = -24. Is 2 a factor of v?
False
Suppose 2*y = -4*x + 40, -4*x + y + 32 = -y. Is 8 a factor of x?
False
Suppose 0 = 6*k + 18 - 198. Is k a multiple of 6?
True
Suppose -3 - 113 = -4*s. Let r = 25 + s. Is r a multiple of 18?
True
Let f be 0/(-1 + 3 - 1). Suppose 2*i + 3*z + 5 = f, 7*z = -i + 3*z - 5. Does 8 divide (-62)/(-4) + i/2?
False
Let j = 87 - -51. Is 46 a factor of j?
True
Let q(a) = -3*a**3 - 5*a**2 + 3*a - 2. Let l(n) = -n**3 - n**2 - 1. Let y(x) = 4*l(x) - q(x). Does 22 divide y(-3)?
False
Suppose -3*j + 2*s - 152 = -504, -2*s + 8 = 0. Suppose -5*p - 40 = -t, -3*t - 4*p = -p - j. Does 18 divide t?
False
Let q(p) = -3*p + 1. Let y be q(-1). Suppose l + y*l = 300. Let a = l - 31. Is 14 a factor of a?
False
Let s = 112 + 59. Is s a multiple of 13?
False
Let h be (34/5)/(4/10). Let u be -2 + 1 - (-9 + 3). Suppose -5*g - h = -2*c, 5*c + u*g = c + 109. Does 11 divide c?
False
Suppose -4 = 2*q - 2*y + 2, 9 = 2*q + 3*y. Suppose q = 2*z + z - 168. Is z a multiple of 28?
True
Let k = -43 - -132. Does 25 divide k?
False
Let b(j) = 3*j**3 - 2*j**2 - 2*j - 1. Let l be b(-1). Let g = 6 + l. Suppose 5*x = -2*w + 85, 3*x - w - 50 = -g*w. Is 15 a factor of x?
True
Suppose 0 = 6*y - 832 - 680. Does 42 divide y?
True
Let y(a) = -a**2 + 5*a. Let z = 3 - -2. Let b be y(z). Suppose b*u + u - 38 = 0. Is u a multiple of 19?
True
Let o = -13 + 21. Let l = o + -1. Is l a multiple of 5?
False
Suppose -1 - 7 = -4*l. Is ((-20)/(-2) - -4)*l a multiple of 7?
True
Suppose 7 + 3 = 5*t. Let k be 30 - (-1 - (-4 + t)). Suppose -i + k = 3*p, 6*p - 3*p + 5*i = 13. Does 4 divide p?
False
Let h(n) = -2*n**3 - 7*n**2 - 6*n + 8. Let b(f) = 3*f**3 + 8*f**2 + 7*f - 9. Let t(i) = 3*b(i) + 4*h(i). Let q be t(4). Is 2/14*-12*q a multiple of 6?
True
Let a be (7/4)/(1/12). Let u = 44 - a. Is u a multiple of 23?
True
Let u = 6 - 12. Suppose b = 5*b + 12. Is (-2)/b - 50/u a multiple of 9?
True
Suppose 68 = -7*j + 11*j. Suppose -4*r + 3*k + j = 0, 3*k + 3 = r + k. Is 2 a factor of r?
False
Let g = -94 - -226. Is 14 a factor of g?
False
Suppose s + 38 - 122 = 0. Does 14 divide s?
True
Does 24 divide (1 - -9)*(-3 + 153/15)?
True
Let i(z) = -2*z**2 - z + 4. Let p(r) = 2*r**2 - 5. Let b(j) = -7*i(j) - 6*p(j). Let n be b(-6). Suppose -k = -3*k + n. Is 8 a factor of k?
True
Let p(q) = q**2 - 3*q + 5. Let h be p(4). Let u = h - 4. Suppose 2*n = -u*x + 6, -4*x = x. Is n a multiple of 2?
False
Suppose 2*a + l - 6*l = 119, -4*l = a - 92. Suppose -3*s + 3*t = -0*s - a, 0 = -2*t. Is 12 a factor of s?
True
Let s(k) = -k**3 + 7*k**2 - 4*k - 6. Let a be s(5). Suppose 0*y = 3*y - a. Is y a multiple of 3?
False
Let a(x) = -x**2 - 2*x + 7. Let p(h) = 2*h**2 + 5*h - 14. Let n(c) = -5*a(c) - 2*p(c). Does 25 divide n(10)?
False
Is 9 a factor of ((-15)/25)/(1/(-15))?
True
Let h = 7 - 5. Suppose -5*k + 96 = h*l, 3*l - k - 178 = -0*k. Does 20 divide l?
False
Let u = 21 - -27. Let b = u + 2. Is 25 a factor of b?
True
Let f(o) be the first derivative of -o**3/3 - o**2 + 32*o + 2. Does 16 divide f(0)?
True
Suppose -2*n + 5*n - 15 = 0, 25 = 2*w - n. Let q = -13 + w. Is 2 a factor of q?
True
Suppose -y = -4*v - 3 - 4, 2*y = v. Let r(b) = 37*b**2 - b. Is r(y) a multiple of 13?
False
Let d(x) = -1 - 1 - 5*x - 3. Let c be d(-5). Suppose -6*l + 2*l - 2*s = -c, -l + 3*s + 5 = 0. Does 5 divide l?
True
Suppose -2*g = -9*g + 2800. Is g a multiple of 28?
False
Let y(k) be the first derivative of 2*k**3 - 2*k**2 + 3*k - 4. Does 16 divide y(2)?
False
Suppose -5*f - u = -35, 5*f - 3*u - 9 = f. Let q = f - 3. Suppose -q*g + 123 + 24 = 0. Does 20 divide g?
False
Let v(h) = 6*h**2 - 3*h + 3. Let z be 1*2/2*-8. Let u(j) = -j**3 - 7*j**2 + 9*j + 10. Let i be u(z). Is v(i) a multiple of 11?
False
Suppose 4*r + 10 = 26. Let t(u) = -7*u + 4*u**2 - 5*u**2 + 2*u**3 + 6 - u**3. Is 13 a factor of t(r)?
True
Suppose 3*m - 23 = 4*v - 236, -m + 48 = v. Is 10 a factor of v?
False
Suppose 4*t - 9 = t. Suppose t*o - s = o + 21, -5*s = -2*o + 33. Is o a multiple of 6?
False
Let r be (3 - 21/15)*30. Suppose r = 3*u - u + 4*y, 51 = 2*u + 3*y. Suppose -3*f + u = -0*f. Is f a multiple of 7?
False
Suppose -72 = 16*c - 680. Is c a multiple of 7?
False
Does 26 divide ((-828)/(-8))/9*(4 - 0)?
False
Let t(s) = -49*s - 8. Does 33 divide t(-1)?
False
Let x be 2/3 + (-13)/(-3). Suppose x*o = 3*f - 0*f + 141, -5*o = -4*f - 143. Is 10 a factor of o?
False
Suppose d + 2*d - 12 = 0. Does 2 divide d?
True
Suppose 2*l + 75 = 7*l. Let t be (-24)/l + 6/10. Is 9 a factor of (-21)/t + (2 - 4)?
False
Suppose 4*p - 72 = p. Is p a multiple of 8?
True
Let q = 2 - -13. Is 3 a factor of q?
True
Let l be -1 - -15*(-2)/3. Let d = 19 + l. Does 4 divide d?
True
Let y = 29 + -14. Is y a multiple of 4?
False
Let t be (-51)/(-7) + (-6)/21. Suppose -v = -2*v + t. Does 12 divide 328/28 + 2/v?
True
Suppose 5*n + 4*a = 68, 0*n + 2*a + 22 = n. Suppose 57 - 5 = 2*w. Let u = w + n. Is 16 a factor of u?
False
Suppose 5*w = -4*s + 69, 0*s + 5*s - 5*w - 30 = 0. Let t = 2 + s. Does 13 divide t?
True
Suppose 401 = 2*c - 51. Let j(r) = -r**2 - 5*r. Let z be j(-4). Suppose c - 62 = z*l. Is l a multiple of 18?
False
Does 7 divide -2 + (-9)/(-3) + (-5 - -214)?
True
Let r = -3 + 53. Is 25 a factor of r?
True
Let c = 11 + -8. Suppose 2*m = p - m - 40, c*p - 5*m = 108. Does 14 divide p?
False
Let b(s) = s + 35. Let a be b(0). Suppose -n = 2*i, -7*n - 3*i = -2*n - a. Does 4 divide n?
False
Let t be ((-11)/4)/((-2)/(-8)). Let l = t - -29. Is l a multiple of 10?
False
Suppose 5*a - 75 = 2*a. Suppose 5*f - 3*f = 5*c + 25, -4*f + 5*c = -a. Suppose 2*h = -3*g - 0*h + 45, h = f. Is g a multiple of 7?
False
Suppose -5*u = 5*k - 925, -4*k + 4*u + 460 = -304. Does 47 divide k?
True
Let c(s) = -s**2 + 8*s - 4. Suppose 10 = d + d. Is 11 a factor of c(d)?
True
Let l = 10 - 4. Is 9 a factor of (-4)/(-6) + 104/l?
True
Does 9 divide 3/(((-2)/(-128))/(7/21))?
False
Let x = 28 - 16. Let k = -7 + x. Does 2 divide k?
False
Let v(s) = s**2 + 4*s - 8. Is 19 a factor of v(-10)?
False
Let x be 4 + -3 + (-1 - -2). Suppose -x*t - 93 + 9 = -4*b, 0 = 4*b - 4*t - 84. Is 21 a factor of b?
True
Let b = -9 - 2. Let v(a) = -5*a + 1 - 3 + 1 - 9. Is v(b) a multiple of 15?
True
Let q be (70/4)/5*-2. Does 13 divide (q/(-14))/((-2)/(-156))?
True
Let j(t) = 8*t**2 + 5*t + 3. Let a be j(-4). Let q = 77 - a. Is (-2 + 5)*q/(-3) a multiple of 14?
False
Suppose s = 3*s + 80. Let m be ((-48)/s)/((-1)/(-5)). Does 2 divide -1 - m