 5*y + 28 = 0, 2*y + 85 = 5*i + 7*y. Is 19 a factor of i?
True
Let g(i) = -i**2 + 8*i - 5. Let s be g(6). Suppose 0 = 4*y - s*y + 6. Suppose -39 = -y*l - l. Is l a multiple of 13?
True
Let l = -49 - -181. Let c = 187 - l. Is c a multiple of 11?
True
Suppose -3*n + 18 = -n. Is 3 a factor of n?
True
Does 28 divide (-1)/((-4)/14 + 1767/6258)?
False
Suppose 5*p - 877 = 223. Is p a multiple of 22?
True
Let l = -5 + 9. Suppose -11 = -v + l. Is v a multiple of 15?
True
Let z(k) be the first derivative of k**3/3 - 7. Is z(3) a multiple of 3?
True
Suppose -5 = -u, 0 = 4*s - u - 2 - 161. Is 11 a factor of s?
False
Suppose 0 = -8*d + 7*d + 22. Does 6 divide d?
False
Suppose 2*w + 3*h - 326 = 0, h + 170 = 5*w - 645. Does 31 divide w?
False
Suppose -l - 145 = -5*b, 5*b - 2*l = -0*l + 150. Does 7 divide b?
True
Let s(k) be the first derivative of 2*k**2 + 4*k + 1. Let m be s(6). Is 6 a factor of m/5 + (-2)/(-5)?
True
Suppose 2*r = 4*r - 8. Suppose 0 = r*q - q - 108. Does 12 divide q?
True
Let w be (-1)/(-1)*28 - -1. Let x = w + -9. Is 20 a factor of x?
True
Let j = 278 + 135. Is 59 a factor of j?
True
Is 27 a factor of -1 - (-122 + 3/1)?
False
Let r be ((-10)/5)/((-1)/4). Let w(f) = 0 - 2 + r*f - 2 - f**2. Is 8 a factor of w(6)?
True
Suppose -4*h = -10 - 10. Let f be ((-50)/8)/h*-4. Let g = f - 2. Is g a multiple of 3?
True
Let c = -20 + 40. Is c a multiple of 10?
True
Suppose -5*w - 36 = -116. Is w a multiple of 16?
True
Is 13 a factor of (-27)/(-18) - (49/2)/(-1)?
True
Let a(w) be the third derivative of w**7/1260 - w**6/720 - w**5/40 - w**4/8 - 3*w**2. Let x(g) be the second derivative of a(g). Is 9 a factor of x(-3)?
True
Let c(h) = 2*h - 9. Let x be c(8). Suppose f - 3*v = 12, -4*v - x - 9 = -4*f. Suppose 2*z = -2*t + 14, -2*t + 14 = -f*z - 2*z. Does 6 divide t?
False
Let y be 2/3 - (-142)/(-6). Let k = 41 + y. Does 9 divide k?
True
Let r(t) = 5*t**3 - 10 - 10*t**3 + 8*t**2 + 6*t**3 - 2*t**3 - t. Does 16 divide r(7)?
True
Let r(s) = 3*s + 7. Let h = -11 - -21. Does 13 divide r(h)?
False
Let m(z) = -z**2 - 18*z - 5. Is 17 a factor of m(-7)?
False
Is (-45)/(-30) + (-39)/(-2) a multiple of 16?
False
Suppose -3*p = -2*p - 3*n - 19, 5*p - n - 39 = 0. Does 6 divide p?
False
Let h(w) = 0*w**2 + 2*w**2 + w**2 - 1 - 9*w**3 - 2*w**2 - w. Is 10 a factor of h(-1)?
True
Let r(p) = 19*p**2 + 7*p + 4. Is r(-3) a multiple of 22?
True
Is ((-1)/2)/(1/(-120)) a multiple of 15?
True
Suppose 2*m - 3 = -4*w + 1, m - 6 = -4*w. Let v(b) = -13*b + 1. Is v(m) a multiple of 9?
True
Let d(i) = 2*i**2 + 2*i + 6. Is d(5) a multiple of 22?
True
Does 17 divide (-3)/24*-4*48?
False
Let n = 11 + -8. Suppose 333 - 90 = n*t. Is 18 a factor of t?
False
Let z(r) = 13*r**2 + 1. Does 6 divide z(-1)?
False
Let w(f) = -f + 6. Let b be w(3). Is 9 a factor of (-9)/(b/(-3))*1?
True
Suppose -2*p - 15 = -5*p, 4*n + 2*p = 2. Let i(w) = 5*w**2 + 3*w + 3. Is i(n) a multiple of 8?
False
Let g(c) be the second derivative of -c**4/12 - c**3/6 + c**2/2 + 2*c. Let l(y) = 3*y**2 - 9*y + 10. Let w(u) = -2*g(u) - l(u). Is w(9) a multiple of 6?
True
Let h(l) = l**3 + 7*l**2 - 11*l - 9. Suppose 0 = -d - 11 + 3. Is h(d) a multiple of 5?
True
Let k = 7 - 4. Suppose 3*f + 2*p - 178 = f, f - k*p = 105. Is f a multiple of 31?
True
Let k(i) = -i**3 + 13*i**2 + 14*i + 2. Let q be 456/33 + 2/11. Is k(q) a multiple of 2?
True
Let h(o) = -o**2 - 6*o - 4. Let y be h(-4). Suppose -y*t - k + 90 = k, -5*t + 145 = -4*k. Is 7 a factor of t?
False
Let k(x) = x - 5. Let q be k(5). Let h = q + 3. Suppose -2 = -h*c + 88. Does 15 divide c?
True
Let d = -13 + 6. Let c(x) = -2*x**2 - 14*x**2 + 8*x**2 + 2 - x**3 - 8*x. Is c(d) a multiple of 3?
True
Suppose -23*m + 21*m + 28 = 0. Is m a multiple of 14?
True
Let p(b) = b**3 + b + 18. Is p(0) a multiple of 6?
True
Let r(z) = 2*z**2 - 2*z - 5. Let a be r(5). Let o = a - 23. Is 8 a factor of o?
False
Let b(d) = -5*d - 6. Let x be (-3)/(-12) + (-135)/(-4). Suppose -5*s - 3*i = -i + x, 2*s + 3*i = -18. Is 10 a factor of b(s)?
False
Let n(a) = a**3 + 3*a**2 - 5*a - 1. Let w(h) = h**3 + 2*h**2 - 5*h. Let k(g) = 5*n(g) - 6*w(g). Let v be k(4). Does 8 divide 3*(v + 75/9)?
False
Suppose 7*j = 35 + 1267. Is j a multiple of 20?
False
Let h = 5 - 7. Does 15 divide (-9)/h*20/3?
True
Suppose -4*t + 1 = -11, 5*b - 15 = -5*t. Let n = 0 - b. Let y(l) = l**3 + l + 17. Is 7 a factor of y(n)?
False
Let m = 34 + -50. Let t = 38 + m. Is t a multiple of 14?
False
Suppose -o - 2*a = o - 150, -4*o = 2*a - 296. Let c = -52 + o. Is 7 a factor of c?
True
Suppose -22*a + 864 = -19*a. Does 18 divide a?
True
Let t(f) = -55*f + 8. Is t(-4) a multiple of 19?
True
Let g(n) be the first derivative of -n**4/4 - 154*n - 1. Let z be g(0). Let h = -94 - z. Does 21 divide h?
False
Let h = 8 - 1. Let i = h + -2. Suppose i*w = -3*m + 65, 5*w + 3*m - 65 = 2*m. Is w a multiple of 7?
False
Suppose 2*j = 5*j + 4*t - 8, -2*t = 8. Let k be 2/6 + 2/3. Suppose j = a + k. Does 7 divide a?
True
Let n(j) = 2*j**2 - 11*j + 5. Is 9 a factor of n(7)?
False
Let s(z) = -z**3 + 11*z**2 + z. Suppose 2*u + 3*p - 5*p - 14 = 0, 4*u - 3*p - 32 = 0. Is s(u) a multiple of 4?
False
Suppose -3 = -k - 2. Let s(p) = 5*p**3 - p**2 + 2*p - 1. Is s(k) even?
False
Let q(d) = d**2 - 12*d - 9. Is q(-6) a multiple of 32?
False
Let j = 2 - -1. Suppose 0 = -2*i + 7*i - 4*q - 30, -19 = -2*i + j*q. Suppose 11 - 59 = -i*a. Does 12 divide a?
True
Let d(v) = v + 8. Let h = -4 + 0. Let c be d(h). Suppose -4*p = q - 36, c*q - 3*p - 50 = 2*q. Is q a multiple of 14?
True
Is (16/12*-15)/(-2) a multiple of 7?
False
Let z(u) = -u**3 - 4*u**2 + 4*u. Let y be z(-5). Suppose -y*x + x = -152. Is 13 a factor of x?
False
Let y(g) = 2*g + 5. Let j = -6 - -2. Let x be 30/j*(-2)/3. Is y(x) a multiple of 15?
True
Let q = 37 + -22. Is 6 a factor of (2 + q - 1)/2?
False
Suppose -2*y = -6, 3*t = -2*y + 24 + 24. Let k = -8 + t. Is k a multiple of 4?
False
Let z(i) = i**2 + 4*i - 5. Let j be z(-5). Let s be (-34)/(-3)*(j - -3). Does 13 divide s + (-2 + 0)*1?
False
Suppose 0 = 5*o - 25, -5*u + 4*o = -o + 35. Let l be (-1 - 5)/u + 1. Suppose -2*t - 88 = -4*a, l*a - 92 = a - 5*t. Does 12 divide a?
True
Suppose 6*n = 4*n - 140. Let f be 4/14 - (-20)/n. Suppose -2*d + f*d + 10 = 0, -12 = l - 5*d. Is l a multiple of 13?
True
Let h be 0*((1 - 3) + 3). Suppose -p - 2*p = h. Suppose p = -s + u + 26, 10 - 82 = -2*s - 3*u. Does 15 divide s?
True
Let l be (-1913)/5 - 6/15. Let k = -207 - l. Suppose -w + k = 4*p + w, 2*w - 8 = 0. Is p a multiple of 14?
True
Let o = -36 - 2. Let y = o + 65. Does 11 divide y?
False
Let r(f) = f**3 + 8*f**2 + 7*f + 2. Let p be r(-7). Suppose 5*k = -p + 22. Is 3 a factor of k?
False
Let g(t) = -t**3 - 4*t**2 + 4*t - 6. Does 13 divide g(-7)?
False
Let i(v) = -v**2 - 17*v + 9. Let m(b) = b - 5. Let z be m(-8). Is i(z) a multiple of 13?
False
Let d(c) = 5*c**2 + 9*c + 3. Let b(k) = -k**2 - 2*k - 1. Let q(y) = 9*b(y) + 2*d(y). Is 11 a factor of q(-4)?
False
Let d(p) = p**2 - 9*p - 2. Let r be d(6). Let t = r - -104. Suppose 105 = 5*u - 5*k, -4*u = 4*k - 6*k - t. Is 11 a factor of u?
False
Is 6/9 - 196/(-12) a multiple of 13?
False
Let d(j) = j**3 - j**2 - j - 2. Let n be d(0). Let m be (-10)/25*(n + -53). Let v = m - 12. Is v a multiple of 10?
True
Let s(h) = -h**2 - 5*h. Let c(p) = p + 1. Let q(j) = -4*c(j) - s(j). Is 13 a factor of q(7)?
True
Suppose -14 = b + b. Let d = b + 10. Suppose d*y - 2*y = -5*p + 39, -3*y - 43 = -5*p. Is 4 a factor of p?
True
Let i(l) = l**2 + 11*l + 3. Let j be i(-10). Is 316/7 - (-1)/j a multiple of 14?
False
Let v(t) = 3*t + 33. Does 15 divide v(-4)?
False
Let s(a) = -13*a**2 + 5*a - 2. Let z(v) = -v**2 + v. Let k(f) = -s(f) + 6*z(f). Let i be k(-2). Suppose -11 = -3*d + i. Is d a multiple of 13?
True
Suppose 1 - 9 = -4*p. Suppose 4*c + p*t + 12 = 78, -5*c = -5*t - 60. Is c a multiple of 5?
True
Suppose -5*n = -4*x - 23 + 3, -16 = -4*x - 4*n. Suppose x = -8*i + 3*i + 60. Is 12 a factor of i?
True
Let o be -3 + (-4 - -217 - 4). Suppose -3*c = -2*b - o, -b = 3*c + 112 - 315. Does 13 divide c?
False
Suppose 5*q - w - 73 = -3*w, -5 = -q + 2*w. Is 3 a factor of q?
False
Suppose z = 2*z - 5. Let x(n) = 2*n - 14. Let q be x(7). Let c = z - q. Is 2 a factor of c?
False
Suppose -4*h = -d - 69, -4*h + 5*d + 63 = 6. Suppose -5*g = -3*u + h, -4*g - 8 = -3