-18. Suppose i - 5*b = 0, -r*i + 69 = -6*b + 4*b. Does 3 divide i?
True
Let q = -144 - -159. Does 10 divide q?
False
Suppose -o - 4*o + 30 = 0. Does 2 divide o?
True
Let n = 6 - 3. Suppose 3*q - n = 0, -p + q + 45 = 5*q. Suppose -2*a + p - 3 = 2*w, 3*a - 9 = -w. Is w a multiple of 8?
True
Suppose 9 = 4*l - 11. Let p(n) = 4*n - 5. Does 4 divide p(l)?
False
Let p(w) = 0*w + 5*w - 2*w**2 + 4*w**2 - 5. Is 13 a factor of p(-5)?
False
Let v(z) be the second derivative of z**6/120 + 19*z**3/6 + z**2 - z. Let p(h) be the first derivative of v(h). Is 11 a factor of p(0)?
False
Let t(z) = -z**3 + 5*z**2 - 3*z - 7. Let v be t(5). Let p = 39 + -55. Let u = p - v. Is u a multiple of 3?
True
Let k(t) = t**2 + t + 2. Let h be k(-3). Let p be 2/h - 22/(-8). Suppose x - p*v - 21 = 0, 3*x - 26 = -v + 27. Is 9 a factor of x?
True
Let q(i) = i**3 - 4*i**2 + 4*i. Suppose 0 = 11*x - 13*x + 10. Is q(x) a multiple of 21?
False
Let n be 45/(-18) + 2/4. Is 8 a factor of 2*-1*n*2?
True
Suppose g + 2*v = 46 - 14, 0 = -4*g - 5*v + 140. Suppose 0*s + g = 4*s. Is 5 a factor of s?
True
Let s = 328 - 159. Does 10 divide s?
False
Let j = 34 - 9. Suppose -7 = l - 0*l. Let f = l + j. Is f a multiple of 5?
False
Let r(l) = -l**2 - 4*l - 3. Let u be r(-2). Let i be 20 + (1 - u) + 1. Let f = 32 - i. Is f a multiple of 5?
False
Let s be -1 + 24 + 2 - -3. Suppose -4*w + 6*x - x = -40, -2*x = -4*w + s. Suppose 10 - 90 = -w*m. Does 8 divide m?
True
Let f(w) = -w - w + 3*w + 0*w + 2*w**2 - 3. Does 8 divide f(3)?
False
Let p = 7 - 7. Suppose -2*d + 21 = 3*a, 0 = -a - p*a + 1. Is d a multiple of 9?
True
Suppose 6*s - 2*s = -3*x - 137, -s = -3*x - 142. Is -4 - x - (2 + 0) a multiple of 7?
False
Suppose -3*x = -2*t + 99, -201 - 41 = -5*t + 2*x. Is 27 a factor of t?
False
Suppose 0 = -5*t - 0*t + 5*j + 20, -5*j = -4*t + 11. Let s = t - 6. Suppose 4*z - 56 = -4*l, -s*z + 4*l - 70 = -8*z. Is 7 a factor of z?
True
Suppose -2*d + 5*d = 0. Suppose d = -5*b + 4*t + 25, -4*b + 2 + 18 = t. Does 2 divide b?
False
Let k(s) = 55*s + 8. Is 43 a factor of k(3)?
False
Let a = 9 - 4. Let h(g) = g - 2. Is h(a) a multiple of 3?
True
Let q(r) be the first derivative of r**3/3 - r**2 - r - 1. Let h be q(-1). Suppose 4*x + 4*j = 6*j + 46, -h*j = -5*x + 57. Does 11 divide x?
True
Let c(m) = -m**2 - 2*m - 2. Let x be c(-2). Let t = 6 + -7. Is 10 a factor of (x - 22*t) + 0?
True
Is 14 a factor of (-6)/(-4)*(-3 - (-2164)/12)?
True
Let o(m) be the second derivative of -m**4/12 + m**3 + m**2 + 2*m. Let k be o(6). Suppose k = -3*c + 26. Is c a multiple of 3?
False
Suppose 2*g + 2*g - 141 = 5*h, 2*g - 3*h - 69 = 0. Is g a multiple of 5?
False
Let j(n) = -n + 12. Let h be j(10). Let l(t) = -t**3 - h*t**3 - 4*t**2 - 5*t + 3*t. Is 6 a factor of l(-2)?
True
Is 98/3 - (-5)/15*1 a multiple of 11?
True
Let y(c) = 2*c**3 + c**2 - 2*c + 1. Let b be y(1). Suppose b*o + 3*o = 10. Suppose 4*f + 14 = -2*l, o*l - f + 7 = 6*l. Is 3 a factor of l?
True
Suppose -2*g = -4*x + 110, 3*x - 4*g + 5*g - 85 = 0. Let c be (-2)/7 - 4/(-14). Let b = x + c. Is b a multiple of 13?
False
Let m(f) = f**2 - 6*f - 3. Suppose -2*a - 2*a - 16 = 0. Is m(a) a multiple of 8?
False
Suppose -236 = 3*s - 956. Is s a multiple of 11?
False
Let n(b) = b**2 + 5*b + 3. Is 9 a factor of n(-8)?
True
Suppose -n + b + 27 = 0, -2*n + 36 = 2*b - 6. Is n a multiple of 8?
True
Suppose 612 = -4*t + 10*t. Is t a multiple of 17?
True
Let u = 0 - -12. Suppose 5*s - u = 23. Is s a multiple of 4?
False
Let k(n) = -12*n - 1. Let a(h) = 3*h + 1. Let s be a(-1). Let m be (s - -1)*(-2)/(-2). Is 11 a factor of k(m)?
True
Let l(i) = -i - 1. Let m = -4 - -5. Let o(c) = -4*c + 2. Let x(w) = m*o(w) - 3*l(w). Is 4 a factor of x(-5)?
False
Let x(q) = -3*q. Is 20 a factor of x(-20)?
True
Let t be (-63 + 7)*(-1)/(-2). Let l = t - -42. Is 7 a factor of l?
True
Suppose 2*y + 2 = 0, -o - y + 88 = -4*y. Suppose b = 6*b - o. Does 15 divide b?
False
Suppose 4*k + d - 29 = 0, 6*k + 5*d - 26 = 3*k. Let l = 5 - k. Is 2/3*(-15)/l a multiple of 5?
True
Suppose i + 2*v = -v + 70, 2*i - v = 147. Is 29 a factor of i?
False
Let a = -235 + 155. Let x = 140 + a. Is 20 a factor of x?
True
Is 201/12 - 1/(-4) a multiple of 14?
False
Let u(h) = -h**2 + 9*h - 5. Let v be u(8). Is 112/21*v/2 a multiple of 8?
True
Suppose -2 = 2*d + 4*g, -4*d + 3*g + 2*g = -9. Let h = 1 + 2. Let s = d + h. Is 4 a factor of s?
True
Suppose 0 = -4*m - 11 + 611. Let r be 1/((-3)/m*2). Let q = -17 - r. Is 8 a factor of q?
True
Suppose -119 = -5*p + s, 3*p - 50 = 5*s + 17. Is p a multiple of 8?
True
Suppose -k + 165 = 4*k. Does 11 divide k?
True
Let n(j) = 13*j**3 + j**2 - j - 1. Let b(q) = -12*q**3 - 2*q**2 + 2*q + 2. Let t(a) = -2*b(a) - 3*n(a). Is 4 a factor of t(-1)?
True
Let f(y) = -y**3 + y**2 - y - 1. Let s(m) = 7*m**2 - 10*m - 5. Let l(k) = f(k) - s(k). Is l(-8) a multiple of 30?
True
Suppose 3*u - 5*m = -10 + 140, u - 58 = -2*m. Is u a multiple of 10?
True
Let d be -1 + 1 + (-1)/(-1). Suppose 5*w - 212 = -r, -r - d = 2. Does 15 divide w?
False
Let u(s) = s**2 + 8*s + 1. Let h be u(7). Suppose -3*q = -y + 12, -3*q - 28 = 4*y - h. Does 18 divide y?
True
Let n = 3 - -59. Suppose 5*d + 4*h - n = h, 0 = -2*d + 5*h. Is 5 a factor of d?
True
Let w be (-1)/(-3) + 308/(-6). Let p = 77 + w. Does 12 divide p?
False
Let a be 8/20 + (-24)/10. Let h be 2*a/12*-6. Is 9 a factor of 2 - -18 - h - 2?
False
Suppose -2*m - 3*k = -8*k + 400, 562 = -3*m - 2*k. Is 3/9 - m/6 a multiple of 8?
True
Let k be (-2 + 3)*-1*-6. Suppose -l = -k*l. Suppose p - 1 - 8 = l. Is 7 a factor of p?
False
Let i be 8/28 - (-94)/14. Suppose -3*m + i = -3*j - 14, -4*m + 5*j = -30. Suppose 3*o - 126 = -3*k - 0*o, 0 = -5*k + m*o + 180. Is k a multiple of 14?
False
Suppose -10 = -2*w - 4. Suppose -2 = s - 7. Suppose 5*a + 21 = k + k, -s*k = -w*a - 24. Is k a multiple of 3?
True
Suppose 5*f - 44 = 56. Is f a multiple of 8?
False
Suppose -3*b = -0 - 12. Let l be b/12 + (-28)/(-6). Let j = 11 - l. Is 3 a factor of j?
True
Let t(s) be the second derivative of s**3/6 + 6*s**2 + 2*s. Suppose 28 = -3*i + 5*m, i - 1 = 3*m - 13. Is 4 a factor of t(i)?
False
Suppose r + 5*h + 6 - 13 = 0, -1 = -2*r + 3*h. Suppose -32 = -0*a - r*a. Suppose -a = 4*z - 44. Does 4 divide z?
False
Is 2 a factor of 27/4 + (-15)/20?
True
Suppose 5*w - 13 = -3*g, -g - 4*w + 9 = -0*w. Let i(h) = 13*h**2 + h. Does 7 divide i(g)?
True
Suppose -2*s + 52 = 2*l, -s + 3*l = -6*s + 130. Is s a multiple of 13?
True
Suppose -5*f + 45 + 22 = g, 5*g = -5*f + 75. Let r = 33 - f. Is 10 a factor of r?
True
Let u(t) = 22*t**3. Let b be u(-1). Let g = -14 - b. Is 6 a factor of g?
False
Let d(r) = r**3 - 5*r**2 + 8*r - 10. Is 10 a factor of d(5)?
True
Let j(c) = -c**2 + 3*c + 4. Let h be j(3). Suppose 5*i + h*l - 220 = 0, -i + 3*l + 19 = -44. Does 19 divide i?
False
Suppose 6*w - 8 = 7*w. Let l = 16 + w. Is 5 a factor of l?
False
Suppose -2 = 5*z + 8. Let q be 1/2 + (-3)/z. Does 17 divide (-126)/(q - 4) - 0?
False
Let j(b) be the first derivative of -2*b**2 + 2*b - 2 + 11/3*b**3. Is 15 a factor of j(2)?
False
Is 4 a factor of 20/(-3)*84/(-35)?
True
Let j(d) = -6*d**2 - 11*d - 1. Let c(w) = -5*w**2 - 10*w - 1. Let r(m) = 5*c(m) - 4*j(m). Suppose 4*i + 29 = -3*y, 3*i + 0*i = 5*y. Is r(i) even?
True
Let k be 4/(-16) - (-34)/8. Does 7 divide k/16 - 147/(-4)?
False
Suppose 3*g = -0*g + 171. Is 17 a factor of g?
False
Suppose 0*h - 4*t + 42 = h, -64 = -2*h - 4*t. Does 11 divide h?
True
Suppose -p = 3*k - 0*p - 90, -4*p = 0. Suppose -7 + k = w. Does 23 divide w?
True
Let z(f) = -1 + 13*f + 8*f + 36*f. Is 14 a factor of z(1)?
True
Suppose 0 = -2*d - d + 114. Suppose 0 = -3*k - d + 158. Is k a multiple of 14?
False
Suppose 0 = -4*o + 5*j + 91, 0 = o - 4*o - 4*j + 45. Is 11 a factor of o?
False
Let p(f) = 6*f**2 + 3*f + 3. Let v be p(3). Is 4 a factor of (-1)/(-6) - (-1045)/v?
True
Let o be 2/(-8) - (-42)/8. Suppose 0 = -o*n + 25, -n - 27 = -3*f + 2*n. Does 3 divide (-2 + f)*(-2)/(-4)?
True
Let l = 12 + -6. Let n(t) = 2*t**2 - 6*t + 2. Is n(l) a multiple of 19?
True
Let u(k) = k + 9. Let h be u(-7). Let l = h + 0. Suppose 4*f - 4*x - x = 145, l*f + 5*x - 35 = 0. Does 11 divide f?
False
Let i = 23 - -11. Is 12 a factor of i?
False
Suppose q - 43 = 2*y, -3*q + y = -q - 92. Let w be (-8)/36 - q/(-9). Is 13 a factor of (-25 + 0)/(4 - w