e
Suppose -165 = 5*v - 5*u, 4*v + 12 = -u - 105. Let l = -13 - v. Is l a multiple of 7?
False
Suppose -18 = -2*j + 2*q, 4*j - 2*j - 4*q = 22. Is 4 a factor of j?
False
Suppose -6*u = -2*u. Let m = u - -57. Is 19 a factor of m?
True
Suppose -4*r = -0*r. Suppose r = -2*c + c + 10. Does 6 divide c?
False
Let d(v) = v**3 - 5*v**2 + v + 3. Let p = 1 - -4. Is d(p) even?
True
Let t(c) = -2 - 3*c**2 - 2*c**2 - 10 + 4*c**2 - 10*c. Is t(-7) a multiple of 8?
False
Let n(b) = 9*b + 1. Let l be n(1). Suppose 0*h + 5*h = l. Suppose 0 = -2*u - 6, 3*c - 24 - 36 = h*u. Is c a multiple of 12?
False
Suppose 0 = 5*y, -4*y = 2*b + y - 6. Suppose 1 = 2*x - x, u + b*x = 45. Does 21 divide u?
True
Let d(w) be the second derivative of w**3/6 + 3*w**2/2 + w. Let o be d(-6). Let f = 26 + o. Is 9 a factor of f?
False
Let y be (-1)/2*-10 + -2. Is y/4*4 + 21 a multiple of 12?
True
Suppose 3*n = 3*j + 6, -4*n = -5*j - 3*n - 6. Let u be 0/(-2) + 15/(-1). Is (-2)/(j/u*-1) a multiple of 15?
True
Let b = -53 + 221. Does 24 divide b?
True
Suppose 3*k + 19 = -5*x, -4*x - 1 - 1 = -2*k. Is 15 a factor of x/7 - 422/(-7)?
True
Let r = -53 - -75. Is 14 a factor of r?
False
Suppose -14 = -a + 5*r, -5*r - 158 = -5*a - 2*r. Is 23 a factor of a?
False
Does 28 divide ((-18)/(-63))/(1/119)?
False
Let t(w) be the second derivative of -1/2*w**3 + 2*w**2 + 2*w + 1/12*w**4 + 0. Is 11 a factor of t(6)?
True
Suppose -16 = -0*i - 4*i. Suppose 8*g - 3*g + 10 = 5*z, 0 = i*z - 20. Let d = 11 - g. Does 8 divide d?
True
Let c(f) = 23 - 6*f**3 - 23 - 2*f**2. Is c(-2) a multiple of 10?
True
Does 21 divide 5 - (-5 - (-4 + 120))?
True
Let r = -3 + 5. Suppose t - 15 = -r*t. Is 3 a factor of t?
False
Let y be ((-8)/6)/(4/(-6)). Suppose 0 = y*h - h - 2*w + 4, 2*w - 2 = 0. Is h/(-9) + (-223)/(-9) a multiple of 20?
False
Let d = -36 + 65. Does 5 divide d?
False
Let f be (-12)/(-30) - 54/10. Let a = 7 + f. Suppose a*g - 1 = 7. Is 4 a factor of g?
True
Let t(p) = -p**3 + 5*p**2 - 4*p + 2. Suppose -56 + 25 = -4*j - 3*v, j = -3*v + 19. Let h be t(j). Is (24/(-10))/(h/(-15)) a multiple of 8?
False
Suppose 2*b - 48 = -3*n, 3*b - 33 - 41 = -5*n. Let h = b - 8. Does 10 divide h?
True
Let t(p) = p**3 + 7*p**2 + 4*p - 6. Let c be t(-5). Suppose -15 = -l + 4*i - 0, c = 4*l + 2*i. Let j(v) = -v + 10. Is 2 a factor of j(l)?
False
Let k = -5 + 8. Suppose -2 = k*y - 2*w, -2*w = -3*y + 2*w - 10. Suppose y*v - 76 = b, -2*b = -5*v - 69 + 257. Is 21 a factor of v?
False
Suppose -5*d + 55 = -0*x + 5*x, d - 23 = -3*x. Let a(n) = -n**3 + 5*n**2 + 7*n - 3. Let t be a(x). Suppose 93 - 15 = t*f. Does 13 divide f?
True
Suppose -5*f = 4*l + 147, 2*l + f = -39 - 30. Let h = -23 - l. Is h a multiple of 10?
True
Let q = -68 + 153. Is 27 a factor of q?
False
Suppose -3*q = -2*s + 93, 0*q + 4*q + 137 = 3*s. Does 13 divide s?
True
Suppose 5 = -h + 2*h. Suppose 3*m - 55 = 2*m - h*y, -3*m + y = -85. Is m a multiple of 15?
True
Let d(n) = -6*n + 1. Is d(-4) a multiple of 25?
True
Is (5/10*-388)/(-2) a multiple of 13?
False
Suppose 0 = -3*x - x + 40. Let s(k) = 0*k + 0*k + k - 3*k**2 + x*k**2. Is s(-1) a multiple of 3?
True
Let n(v) = v. Let d(i) = 3*i - 2. Let t(b) = d(b) - 6*n(b). Let y be t(-10). Suppose 2*u = -r + 7*u + y, 0 = 2*r + 3*u - 95. Is 18 a factor of r?
False
Let a(l) = l + 2. Is 3 a factor of a(7)?
True
Let h be (-4)/18 - (-136)/(-36). Let p = -2 - h. Suppose p*y + 3*f = 42, 0 = 5*y - 0*y + f - 105. Does 21 divide y?
True
Let i(h) = -h - 2. Let r be i(-5). Suppose 0 = -0*y - y + 5. Suppose -12 = r*m - 6*m + 4*o, -y*m - 3*o = -49. Does 4 divide m?
True
Let c(d) = 6*d**3 - d**2 + 4*d - 9. Is c(3) a multiple of 39?
True
Let k(a) be the third derivative of -a**4/24 - 7*a**3/6 + 4*a**2. Is k(-12) a multiple of 2?
False
Suppose -4 = 2*y - 3*y, -5*y = t - 22. Suppose t*f + f = 27. Is 8 a factor of f?
False
Let r(h) = -h**3 - 4*h**2 + 1. Let z be r(-3). Let j = 25 + z. Is j a multiple of 17?
True
Suppose 216 = 2*r + 4*b - 0*b, 0 = -3*r - 4*b + 320. Suppose -6*f = -4*f - r. Does 9 divide f?
False
Let h(x) = 5*x**2 - 21*x - 7. Is 32 a factor of h(8)?
False
Let p be (-14 - -13) + 2*2. Suppose 5*i - p*g - 105 = 0, 70 = 5*i + 4*g - 0*g. Does 7 divide i?
False
Let o(j) = 1 - 22*j + 4 - 2 - 2. Let k(w) = w**2 - 10*w - 1. Let t be k(10). Does 9 divide o(t)?
False
Suppose 0 = -3*i + 2*u + 8, -1 = -0*i + i + 3*u. Let v(o) = -6*o**2 - 4 + 2 + 5*o - i + o**3. Is v(6) a multiple of 13?
True
Let s be (15/(-20))/(1/(-4)). Suppose y - 88 = -s*y. Is y a multiple of 11?
True
Is -4*(-2)/(-4)*-8 a multiple of 4?
True
Suppose 4*o - 152 = -4*f, 4*o + 4*f - 149 = -f. Let g = -2 + o. Does 16 divide g?
False
Let x(u) = u**3 - 9*u**2 + 7*u + 8. Let b be x(8). Let h be (39/2)/(3/4). Suppose b*g = -g + h. Is 14 a factor of g?
False
Suppose 5*l + 7 = -4*b + 2*b, 28 = 2*b - 2*l. Is 143/3 - 6/b a multiple of 13?
False
Let r = 239 + -153. Is r a multiple of 8?
False
Let y(k) = k + 6. Let z be y(-10). Let p be 2/(-8) - 17/z. Suppose 22 - 6 = p*d. Is d a multiple of 2?
True
Let l = 151 - 90. Does 11 divide l?
False
Suppose 0 = 2*z + r - 13, 2 = 3*r + 11. Suppose -6*g = -5*g + z. Let x = 12 + g. Is x a multiple of 2?
True
Suppose a + 2*z = 85, a - 73 = 2*z - 0*z. Does 16 divide a?
False
Let q = -3 - -14. Let s = -7 + q. Suppose -147 = j - s*j. Does 25 divide j?
False
Let j(s) = 5*s**2. Let b be j(-1). Suppose 2*k = f + 2, -4*k = b*f + 2 - 34. Suppose 2*c = r + 26, -f*r = -4*c + 17 + 31. Does 10 divide c?
False
Let c(s) = -s**3 + 9*s**2 + 11*s. Let n be c(9). Let r = 174 - n. Does 25 divide r?
True
Suppose 2*l = 2*h - 4, -5*h + 2*l + 0*l = -25. Let f = 15 + h. Is 12 a factor of f?
False
Let f(d) = 4*d**2 - 4*d + 8. Let u be f(6). Let x = 193 - u. Let y = -37 + x. Does 14 divide y?
True
Suppose -2*h - 6 = -230. Is h a multiple of 7?
True
Let u(s) = -22*s + 1. Is u(-2) a multiple of 13?
False
Let p(j) = -j**3 - 8*j**2 - 8*j - 3. Suppose -r - 2*s + 18 = 0, 0 = r + 4*s + 5 - 19. Suppose -f + 3*y + 2*y - r = 0, 17 = -2*f + y. Is 4 a factor of p(f)?
True
Let c be 5 + -3 + 0 + 0. Suppose c = -w - 10. Is 2 a factor of (w/(-9))/(2/6)?
True
Let c = 22 + 0. Does 22 divide c?
True
Suppose -5*p + 0*j + 3*j = 22, -3*p - 13 = -2*j. Let k be 1/((-1)/p) + -2. Suppose k*x + 7 = 58. Is 7 a factor of x?
False
Suppose 0*c - 5*c = -10. Is c/6 + 98/3 a multiple of 11?
True
Is ((-13)/2)/(5/(-30)) a multiple of 13?
True
Is (-12)/(-28) + (-526)/(-14) a multiple of 19?
True
Let s = -612 + 344. Is s/(-9) + 8/36 a multiple of 15?
True
Suppose -5*d = -0*d - 255. Does 20 divide d?
False
Let t(x) = -15*x - 2. Let u be ((-14)/21)/((-2)/(-6)). Does 14 divide t(u)?
True
Let g = 1 + -12. Let f = g - -19. Is f a multiple of 8?
True
Suppose 40 = -2*r + 6*r. Is r a multiple of 5?
True
Suppose -3*j + 42 = -0*j. Does 4 divide j?
False
Suppose 0 = -2*f + 3*f + 6. Let h(l) = l**3 + 9*l**2 + 5*l + 3. Let o be h(f). Let i = -43 + o. Is i a multiple of 16?
False
Does 6 divide 95 - (-1 + -1) - 1?
True
Suppose -4*f - 13 + 73 = 0. Suppose 0 = -5*p - 15 - f. Let v = p - -21. Is v a multiple of 4?
False
Suppose -2*z = 2*z - 8. Suppose -z*y = 5*x - 32, -x - y = -2 - 2. Is x a multiple of 8?
True
Suppose 6*u = u + 4*t + 247, 0 = -4*u - t + 185. Suppose 4*s + 4 = -16, 0 = 3*n + 5*s - u. Is 4 a factor of n?
True
Does 44 divide (0 - 1/(-3)*2)*132?
True
Suppose 13*f = -54 + 262. Does 8 divide f?
True
Suppose -5*w - 36 - 439 = -5*f, -2*f + 186 = -w. Suppose -8 = -4*a, -f + 25 = -4*m + 3*a. Does 6 divide m?
True
Suppose -l - 2*o = -67 - 146, 0 = -4*o - 12. Is 34 a factor of l?
False
Let v = 52 - 40. Is 3 a factor of v?
True
Let i(n) be the second derivative of 7*n**4/6 - n**2/2 - 5*n. Does 11 divide i(2)?
True
Let l(n) = n - 2. Let k be l(7). Suppose 6 = -k*u + 7*u. Suppose -78 + u = -3*i. Is i a multiple of 13?
False
Let n be (-4)/6*(2 + 13). Let q be 3/1*(0 - n). Suppose -2*v = -8, 0 = 2*w + 6*v - 3*v - q. Is 9 a factor of w?
True
Let l = -7 + 13. Let o be (-1)/(-2)*(-96)/(-4). Let i = o - l. Does 6 divide i?
True
Suppose 21 = -2*s + 9. Suppose -4*m + 2*u + 11 = -1, 15 = -5*m - 5*u. Is 2 a factor of s*((-1)/2)/m?
False
Let n be 2 + (-1 - 0) - 5. Let s = n - -6. Is 2 a factor of s?
True
Let f(x) be the first derivative of 4*x**3/3 + 11*x**2/2 - 6*x - 8. Does 34 divide f(4)?
True
Is 5 a factor of 5 + (-79 - 5)/(-3)?
False
Let y(