Solve a*v = -v + 3 for v.
1
Let h be -3 + 1 + 5 + -3. Suppose j = 2*j - s, h = -2*j - 4*s + 18. Suppose -5*x = -4*m - 10, -1 = -4*x + 3*m + 7. Solve j = -x*q - q for q.
-1
Let v be (-1 - -2)/(2/12). Suppose 0 = t + 2*t - v. Suppose t*l - 3*a = -7*a + 18, -5*a = -15. Solve 0*g = -g + l for g.
3
Suppose 2*a + 3*v = 9, 0*a + 3*v - 9 = -3*a. Solve 4 = i - a for i.
4
Let y = -112 - -123. Solve -3*o - 1 = y for o.
-4
Suppose 0 = -3*m + 9 + 33. Suppose 0 = -9*y + m*y. Suppose -4*u - 2*c + 14 = 0, 4*u = -u - c + 16. Solve -u*x = -y*x + 12 for x.
-4
Let t = -32 - -34. Solve 5 = -t*j - 5 for j.
-5
Suppose 3*h = 3*a + 38 + 1, -3*h = 5*a - 15. Suppose -5*f = -p - 17, -5*p - 9 = 5*f - 44. Let j = 4 - f. Solve 0 = -j*d - 2*d - h for d.
-5
Suppose w + 0*w = 3. Let b(c) = -c**3 + 2*c**2 + 4*c - 2. Let a be b(w). Let x(p) = 4*p**3 - 2*p + 1. Let h be x(a). Solve 4*u - 1 = h*u for u.
1
Let r = 9 - 4. Suppose 1 + 14 = r*p. Solve p*t = 2 + 1 for t.
1
Let w be (-1)/2 + (-34)/(-4). Suppose 17 = 5*k - w. Suppose 2*q = 7*q. Solve k*b = -5 - q for b.
-1
Let p(u) = -4*u**3 - 3*u**2 + 2*u + 4. Let h(b) = b + 3. Let z be h(-5). Let r be p(z). Let n = 0 + 4. Solve -r = -4*j - n for j.
4
Suppose 0 = 2*m - 5*m + 12. Suppose n + 0*n = m. Solve -s + 10 = n*s for s.
2
Let r = -2 - -4. Suppose 12 = r*a + 4. Solve 4*q + a = 16 for q.
3
Let l(o) = -o**3 - 9*o**2 - 8*o + 5. Let w be l(-8). Suppose w*y - 12 = 2*y. Suppose 5*m = k + 2*m + 8, -4*m = -y*k - 8. Solve 3 = -2*d + k for d.
-1
Let r = -14 + 16. Solve -r*t + 2 - 4 = 0 for t.
-1
Suppose 5*v - 51 = -3*b, 0 = -0*v + 4*v + 2*b - 42. Suppose -r + 2*s + 8 = 0, r - 2*s - v = 2*s. Solve 2 = 3*f - r for f.
2
Let u = -4 + 4. Suppose u = b - 2 - 2. Let g(v) = -v**2 - 5*v - 4. Let r be g(-4). Solve r = b*y - 0*y for y.
0
Suppose 4*o + 8 = 2*s + o, -4*s = -3*o - 16. Solve -2*v + s = 2*v for v.
1
Suppose 6*p - 10 = p. Suppose -5*c - 5*u + 70 = 0, u - 2 = p*c - 30. Let j = -10 + c. Solve 0 = -2*t - 6 + j for t.
-1
Suppose r + r - 4 = 0. Let o = -1 - -1. Suppose o = -k - 3*k. Solve r*n = -k*n + 4 for n.
2
Let f = 16 - 11. Solve -f*r + 16 = -r for r.
4
Let p(h) = -h**2 + 4*h. Let g be p(3). Suppose 0 = -3*c + u + 2, 2*c - 3*u = g*c - 14. Solve c*k = -3 + 5 for k.
1
Let j = 3 + 2. Solve 0 = 2*h + 3 + j for h.
-4
Let j = -7 - -7. Suppose -3*r + 10 - 4 = j. Solve -2*d + r = -4*d for d.
-1
Let y be (0 - 0) + (2 - 0). Suppose -4*f + 0*v = y*v - 46, -2*f + 17 = -v. Let b be 4/f + 4/(-10). Solve d + b*d = 0 for d.
0
Suppose -3*y + 28 = -29. Suppose -2*k - 5*s + 21 = 0, -5 = -5*k - 3*s + y. Suppose -30 = -k*w + 2*m, 3*m - 5*m - 40 = -4*w. Solve 0*r + w = -2*r for r.
-5
Suppose 2*j = 5*n - 1, -3*n + 1 = -4*j + 6. Let m be (2 + (-1)/(-2))*j. Solve k + m = 4 for k.
-1
Let g = -92 - -112. Solve 6*m = 2*m - g for m.
-5
Let h be ((-4)/3)/((-2)/36). Let k = -4 + h. Solve -k = y + 4*y for y.
-4
Let k = -11 - -15. Solve 5*v - k - 6 = 0 for v.
2
Suppose -7 = -4*h + 1. Suppose 0 = -h*v - 5 + 11. Solve 0 = -v*u + 6*u for u.
0
Suppose -9 + 1 = x - 4*a, 2*a - 4 = 3*x. Solve -5*c + 0*c = x for c.
0
Suppose 2*t - 4*i + i = 12, -2*t + i + 8 = 0. Solve -1 = -2*w - t for w.
-1
Suppose -2*b = 3*b. Let x be -1 + 3 + 1 + -1. Suppose 3*o - x*g + 7 = 17, o = -4*g + 8. Solve b = -o*h + 3*h + 2 for h.
2
Let a(c) = 8*c - 10. Let f be a(3). Solve -5 + f = 3*r for r.
3
Suppose 0 - 4 = -2*w. Suppose -4*x - 16 = 0, -4*p + 4*x = -w*p - 22. Solve n = p - 8 for n.
-5
Suppose -2*k + 7*k = 5*g, -3*g = 4*k - 35. Suppose -20 - 10 = -k*h. Solve -b - 2 = -h for b.
4
Let p(x) = x**2 - 6*x - 5. Let n(k) = -3*k - 23. Let r be n(-10). Let a be p(r). Solve -4*m = -a*m + 8 for m.
-4
Suppose 10*q - 6 = 8*q. Solve -q = -5*z + 2*z for z.
1
Let l(j) = j**2 + 8. Let r be l(0). Solve 0 = 2*n + 2 + r for n.
-5
Let t = 50 + -50. Solve -m = -t + 4 for m.
-4
Let d = 39 + -33. Let w be 0 - (-1 + 2)*-1. Solve w - d = -u for u.
5
Let c(s) = -s**3 + 8*s**2 + 2*s - 16. Let a be c(8). Solve a*t - 15 = 3*t for t.
-5
Let p = 21 + -13. Suppose -a = 2*a. Let u be (a + -1)/(1/(-4)). Solve u*r = p*r for r.
0
Let l(o) be the third derivative of o**5/12 - o**4/12 + o**3/6 - 2*o**2. Let x = -29 - -30. Let z be l(x). Solve -z*w = w for w.
0
Suppose 15 - 98 = -5*i + 4*o, i = 2*o + 19. Solve -4*c - i = c for c.
-3
Suppose 10 = -5*c, -5*c = 2*u - 7*c - 4. Solve 3 = 3*i - u for i.
1
Suppose -51 = -3*b + 3*d, 6*b - 2*d - 79 = b. Solve -3*l + b = 2*l for l.
3
Let x = 5 + -3. Let d be ((-102)/(-85))/((-6)/(-20)). Suppose -2*r - 2*n = d, 0*r - r + 4 = -2*n. Solve r = 3*c - x*c - 2 for c.
2
Let a = -3 + 5. Suppose -n - 1 = -r, -3*r - a = -5*n + 1. Solve 3*c - r = 2*c for c.
4
Suppose o + 50 = 5*j, -3*j = -4*j - 5*o + 36. Suppose y = 5*y + 4*x - 4, -2*y + 3*x + 12 = 0. Let m be 0 + 2 + 2 + 0. Solve -j = m*k - y for k.
-2
Let o = 35 + -26. Suppose 5 = 3*p + 4*k - o, 2*p = 2*k. Solve 5*n - p*n - 6 = 0 for n.
2
Let l be 5 + (3 + -3 - -3). Suppose -5*x + x = -l. Solve 0 = -x*f + 3*f + 1 for f.
-1
Let z be (-15)/(-6)*54/45. Solve 5*x - z + 23 = 0 for x.
-4
Suppose 0 = -0*u - u + 6. Let d be 1/(-5) - 5/(-25). Solve -b + u*b - 15 = d for b.
3
Let o be 7 + 2 + -6 + 3. Let t be (-3)/o*-2 + -1. Let x = -7 - -12. Solve 0 = -x*j - t + 25 for j.
5
Suppose -j = 5*w - 13 - 2, -5*j = 0. Solve w = 3*s - 0 for s.
1
Let d(q) = -q**3 - q**2 + 3*q + 2. Let o be d(-2). Suppose -8*y - 12 = -11*y. Suppose -y*k + 4 = o, 3*k - 3 = -2*i + 4. Solve i*m - 10 = -0*m for m.
5
Suppose -2 = -6*d + 46. Solve 3*i - d = -23 for i.
-5
Let u(h) = h**3 + 4. Let o be u(0). Solve -o*j + 5*j = 4 for j.
4
Suppose -64 - 79 = -11*k. Solve -5*a - 2 = k for a.
-3
Suppose 2*l = 7*z - 2*z + 22, -8 = 4*l + 3*z. Let k = l - -1. Solve 9 = x + k*x for x.
3
Let i be -11*(-2 - (-6 - -2)). Let x be 2/(-5) - i/5. Solve 4*j - x = 16 for j.
5
Let l be (-2)/(-2) + (-14)/(-7). Solve -l*v = -2*v - 2 for v.
2
Let v = -2 + 4. Suppose -2*x + 3 = -3*g - 13, -v*g = -2*x + 12. Suppose -4*f - 10 - 10 = -3*k, -3*k - x*f = 10. Solve 2*z + 2*z = k for z.
0
Let j = 5 - 6. Let k be j/3 + 4/12. Solve k = -l + 4*l - 9 for l.
3
Suppose 5*j = -3*l + 13, -l - 10 = -5*l - 3*j. Let b be -102*(l - (-10)/(-4)). Suppose -4*y - y = 4*p - b, y + 129 = 3*p. Solve -5*r - p + 17 = 0 for r.
-5
Let t be (4 - 1)*(-2)/(-3). Let x(n) = -n**2 + 3*n + 5. Let r(w) = -2*w. Let z be r(-2). Let h be x(z). Solve u - t = h for u.
3
Let p be (-500)/(-16) + 1/(-4). Suppose -p - 53 = -4*k + 4*o, -2*k + 3*o + 39 = 0. Let l be 0 - (-1)/(2 - 1). Solve k = -5*n - l for n.
-5
Let h = -4 + 7. Suppose h*d + 2*q - 2 = d, -2*q - 6 = 0. Suppose -5*l = -3*l - d. Solve -l*v - 4 = 6 for v.
-5
Let o(q) be the second derivative of q**5/20 + q**4/4 - q**3/2 - q**2 - 3*q. Let w be o(-4). Let x(l) = -2*l - 6. Let u be x(w). Solve 5*c = -u + 1 for c.
-1
Suppose 2*u + 3*y = 2*y - 1, 2*y = -2*u - 6. Solve 1 = -u*h - 1 for h.
-1
Let m(n) = 3*n + 27. Let b be m(-8). Solve -b*o + 8*o = -25 for o.
-5
Let d = 6 - -26. Suppose -4*l + 0*l - d = -4*u, -4*u - 5*l + 14 = 0. Suppose 5*b - 2*a = 4*b, a - 3 = -b. Solve b*z = u*z for z.
0
Let o(m) be the second derivative of -m**5/20 - m**4/3 - m**3/6 - m**2 + 2*m. Let c be o(-4). Suppose 0 = 2*u + c*b, u + 3*b - 3 = -13. Solve u*q = q for q.
0
Let k = 15 + -10. Suppose 5*j - j - k*z = 20, 0 = 3*z. Suppose -m - j*t = 3*m - 8, 4 = 2*m + 2*t. Solve -4 = -2*c + m for c.
3
Let d(m) = -m**3 - 6*m**2 - 7*m - 6. Let u be d(-5). Let p be (u/(-6))/(2/(-6)). Solve -p*c - c = 0 for c.
0
Let y(o) = -o + 2. Let g be y(1). Suppose 0 = 5*u - g - 14. Solve 2 = u*l + 5 for l.
-1
Let k = 35 + -21. Let d be (-10 + 3)*(-8)/k. Solve -7*o = -3*o + d for o.
-1
Let n(q) = q**2 + 8*q - 5. Let p be n(-9). Suppose 4*k + p = 5*k. Solve -k = -z + 5*z for z.
-1
Let x = -5 - -10. Suppose 4*w = x*q - 17 - 3, -20 = -5*q - 2*w. Suppose -56 - q = -5*g. Solve u = 4*u - g for u.
4
Suppose -2*u + 4 = 4*r, -4*u + 2*r - 3*r + 1 = 0. Suppose -b - 2*o = u, 2*b - 25 = o - 5. Solve -2*j - b = -0*j for j.
-4
Suppose -4*v - p - 12 = 0, -v + 0*p - 6 = p. Let g be (-5 - -3)/v - 1. Solve g*q = q for q.
0
Suppose 5*m = -3*m + 32. Solve 5 - m = u for u.
1
Let l(j) be the first derivative of -j**2/2 + 8*j + 1. Let g be l(8). Let u be (1 - (g - 9)) + -1. Solve p - u = -2*p for p.
3
Let x(i) = -5*i - 5. Let r be x(-5). Solve 4*a + r = 4 for a.
-4
Let q be 38*(0 + 