 2. Let q be o(3). Solve a = -0*v + q*v for v.
4
Suppose 4*u = -2*z + u + 3, -3*z = 5*u - 5. Solve z = 5*y + 18 - 3 for y.
-3
Suppose 0 = 3*x - 3*p - 3, -2*p + 3 - 2 = -x. Let h(l) = l + 3. Let v be h(-7). Let i be 3*-1*v/3. Solve -i = u + x*u for u.
-1
Let x = 53 + -2. Suppose -3*b + l = -x, 5*l + 3 = -3*b + 36. Solve -2*s - b = 2*s for s.
-4
Let c(t) = t**3 + t**2 - t + 4. Suppose -4*w + 0*w = 0. Let q be c(w). Suppose 0 = -a - q*a. Solve 3*h + 12 - 27 = a for h.
5
Let s = -15 + 14. Let h = 1 - s. Solve z = 1 - h for z.
-1
Let v(j) = -j**3 + 3*j**2 + 3*j - 4. Let p be v(3). Suppose -1 = z - 2. Let q = p - z. Solve -q*c - 8 = 12 for c.
-5
Let z = -1 + 6. Suppose 0 = 5*p - z, -2*r - 4*p + 3 = -51. Suppose 2*l - r = l. Solve -w + l = 4*w for w.
5
Let v(c) = 4*c - 3. Let f be (-42)/(-8) - 1/4. Let s be v(f). Solve 2*k - s = -7 for k.
5
Let w(i) = -i**3 + 3*i**2 + 5*i - 1. Let s be w(4). Let b be (-68)/(-8) - 3/2. Solve s*j + 1 - b = 0 for j.
2
Let d = 108 + -108. Solve d*u - 2*u - 8 = 0 for u.
-4
Suppose -3 = 2*m - 21. Let y = m + -4. Suppose 3*k - 19 = -2*l, k - 1 = y*l - 3*l. Solve 1 - l = j for j.
-1
Let f(q) = q + 10. Let g be f(-6). Let b = g + 10. Suppose -2*k + 2 = -4*m - 2, -k - 5*m = -16. Solve -5*r - k = b for r.
-4
Let i(r) = -r**3 - 5*r**2 - 6*r - 6. Let b(o) = o**3 - 3*o**2 - 4. Let q be b(3). Let a be i(q). Solve 5*x = 27 - a for x.
5
Suppose -21*a + 18 + 24 = 0. Solve -a*r = -0*r + 10 for r.
-5
Let d = 8 + -5. Solve -3 - 9 = d*o for o.
-4
Suppose -11 = -5*v - 3*p, 26 = 7*v - 2*v - 2*p. Solve -j = -v*j - 15 for j.
-5
Suppose -12 = -4*k - 4. Let s be (-1)/(k + -1)*-3. Suppose 4*g - 62 = -2*p, 28*p - 26*p = 6. Solve g = s*o - 1 for o.
5
Suppose -2*m - 144 = -11*m. Solve 4*i = -0*i - m for i.
-4
Suppose -5*f + 7 + 18 = 0. Suppose 0*w + 6 = 3*o + 3*w, o - 22 = 4*w. Let x be (10/15)/(2/o). Solve -5 - f = x*u for u.
-5
Suppose 0*p = -3*p + 9. Suppose x + p*x = 4. Suppose -2*f = -f - 3*j - 18, 0 = j + 5. Solve -f*b = 4 - x for b.
-1
Let g(h) = -4*h - 90. Let x be g(-23). Solve -2*q - 4 + x = 0 for q.
-1
Let x(g) = 5*g - 32. Let a be x(7). Solve a*z - 12 = 6*z for z.
-4
Suppose 3*q + 3 + 9 = 0, -12 = 4*n + 5*q. Let u = n + 0. Let r(g) = g**3 + g**2 + 2*g - 1. Let v be r(2). Solve -3*s + v = u*s for s.
3
Suppose -4*z = l - 0*l - 12, 0 = -3*l + 4*z - 12. Solve l = -v - 3 for v.
-3
Let g be -1 - (-4)/((-12)/27). Let z = g + 16. Solve -z = 2*l - 0 for l.
-3
Let c be (-30)/6*6/(-5). Solve 3*k + c = k for k.
-3
Let y be (1/(-7)*8)/((-146)/511). Solve 0 = 2*t - 0 + y for t.
-2
Suppose 2*i - 8*i = -0*i. Solve 2*y + 12 - 2 = i for y.
-5
Let d(u) = -u**2 - 5*u. Let k be d(-5). Let i(r) = k + 2 - 5 + 2*r - 2. Let h be i(4). Solve -b = -h*b for b.
0
Let z = 30 - 29. Solve -4*s + 7 + z = 0 for s.
2
Let q(g) = g. Let u be q(-6). Let m(a) = a**3 + 7*a**2 + 6*a. Let h be m(u). Solve 12 = -h*l + 4*l for l.
3
Let w = -84 - -54. Let z = -15 - w. Solve -u + 6*u = z for u.
3
Let o be ((-8)/24)/((-1)/24). Suppose -3*m - 5 = -o*m. Solve 7 = -4*r - m for r.
-2
Suppose -1 = -4*c + 19. Suppose -5*s + 3*z + 48 + 33 = 0, -2*s - c*z = -20. Suppose 3*y - 6 - 3 = 0. Solve 0*b + s = y*b for b.
5
Let z(d) = d**2 - 2*d - 4. Let m be z(-2). Let s = 1 - 1. Let r = s + m. Solve r*l + 13 = 33 for l.
5
Let k = 6 - 0. Let g be (-2)/k - (-125)/15. Solve -y - g = y for y.
-4
Let v be 5/2 - 2/4. Suppose -v*p = 2*p + 112. Let u = -14 - p. Solve 2*s - 6 = -u for s.
-4
Suppose u - 5 = 4. Let d(g) = g**2 - 8*g + 3. Let p be d(u). Suppose t - 4 + 16 = 3*k, 3*t + p = 3*k. Solve t = -5*a + 5 for a.
1
Let z(l) = l**2 - 5*l - 2. Let n be z(6). Solve -n*y = -5 + 1 for y.
1
Let q be (-18)/(-99) + (-18)/(-22). Suppose 3*y - 3*i - 16 = -1, 5*i + 25 = -y. Let d be y/((2 + 0)/q). Solve d = 3*c - 7*c for c.
0
Suppose 5*r + 3 = 4*n - 129, -4*n = -3*r - 84. Let s be 5/2*r/(-15). Solve m + 3 = s*m for m.
1
Let q(r) = r + 7. Let j = -15 + 12. Let v be q(j). Solve -u - u - v = 0 for u.
-2
Let d(o) = o**2 - 2*o + 2. Let p be d(2). Suppose 2*l - 8 = -0*l. Suppose l*n - 16 = 3*f + p*f, 3*f + 20 = 5*n. Solve f = 2*h - 7*h + 10 for h.
2
Let c = 6 + 1. Solve 2 = 3*j - c for j.
3
Suppose 2 = 5*t - 3*v - 10, 2*t + 4 = -v. Suppose -d = -p - 5, p - 2 + 19 = 4*d. Solve t = h - 0 - d for h.
4
Suppose -r - 9 = 3*p, -3*p + 6 - 3 = 3*r. Suppose t + r - 16 = 0. Solve 3*f - f + t = 0 for f.
-5
Let c be 41/3 + (-4)/6. Suppose 5*d - c = 7. Suppose 3 = d*j - 3*j, -3*j = 3*i - 18. Solve 0*x - 15 = i*x for x.
-5
Let d = 69 - 66. Solve -d*w + w = -4 for w.
2
Suppose 1 - 13 = -4*j. Solve j*i + 3 + 9 = 0 for i.
-4
Suppose 3*d + 2 = 4*v + 28, d + 18 = -4*v. Let y(l) = l**2 + 3*l - 6. Let n be 42/(-9) - (-2)/(-6). Let m be y(n). Solve -d = j - m for j.
2
Let q be (-6)/9*(-9)/2. Suppose -4 = t + 4*d, -q*d = -2*t - 2*d + 10. Suppose z - 12 = -g, -t*z = -5*g - 2*z + 60. Solve f + 2*f = g for f.
4
Let s be ((-30)/(2 + -5))/2. Suppose 5*g - 4*g = s. Solve 3 = m + g for m.
-2
Let o(v) be the third derivative of v**4/24 - 5*v**3/6 - 2*v**2. Let m be o(7). Solve -m*t = t - 6 for t.
2
Suppose 7 + 2 = -3*u, -5*c + 35 = -5*u. Solve 14 = c*r - 2 for r.
4
Suppose 3*i - 5*a + 3*a - 10 = 0, 0 = -i + 3*a + 15. Solve i*b = 5*b for b.
0
Let k be (-234)/(-24) + 3/(-4). Let i = k - 15. Let v be 2/i - 6/(-18). Solve v*t - t = -1 for t.
1
Let g(p) = -10*p**3. Let x be g(-1). Solve -3*i + 2 = -x for i.
4
Let v = 58 - 38. Solve v = u + 4*u for u.
4
Let h = -9 + 4. Let o be 8/(-4)*h/2. Solve 0 = -o*j - 0*j for j.
0
Suppose -8*z + 62 + 138 = 0. Solve 3*n + z = -2*n for n.
-5
Let d(o) = -o**3 - 3*o**2 - 2*o - 2. Let f be (-1)/((-2)/(0 + -6)). Let m be d(f). Let u(j) = j**2 + 1. Let t be u(-1). Solve m*i = 3*i - t for i.
-2
Let f = 3 - 3. Suppose 0 = k + 3 - f. Let x = k + 5. Solve c = x*c - 1 for c.
1
Let l(r) be the first derivative of 7/2*r**2 + 1/3*r**3 + 5*r + 2. Let n be l(-7). Solve 8 = u - n*u for u.
-2
Let t = -89 - -99. Solve -5*f + t = -5 for f.
3
Let g = 124 + -124. Solve -v = -1 - g for v.
1
Let p be 26/(-39) + 17*(-4)/(-12). Suppose 3*h - 6 = -f, 9*h + 3*f - 6 = 4*h. Suppose 0 = -d - h*d. Solve p*b + 0*b = d for b.
0
Let f(q) = q**2 - 23*q + 8. Let n be f(23). Solve 5*j = n*j + 9 for j.
-3
Suppose 4*k + 4*w = 36, -4*k + 4 = -6*w + 2*w. Suppose k*c + 0*c - 11 = a, -c + 3*a = 9. Solve -1 = -l + c for l.
4
Let t(y) = 5*y**2 - 10*y. Let k(b) = -4*b**2 + 9*b + 1. Let s(m) = 4*k(m) + 3*t(m). Let l be s(5). Let o be 34/6 + (-6)/l. Solve -3*d = -2*d + o for d.
-5
Let k = -10 + 17. Let v = k + -3. Let d be (1/3)/(1/15). Solve v*s - 17 = -d for s.
3
Let l(t) = 6 - t - 6 - 8. Let s be l(-8). Solve 5*k - k - 8 = s for k.
2
Let c be 114/8 + 3/(-12). Let n = c + -21. Let l = n + 8. Solve -r - 5 = -l for r.
-4
Suppose 4*a = -0*a - 4. Let l = 6 + a. Suppose l*g - 10 = 0, -11 = -2*x - 4*g - 3. Solve x = -2*u - u for u.
0
Let b(t) = -t**2 + 4*t + 1. Let q be b(2). Solve -u + q = -6*u for u.
-1
Let h(a) = a**3 + a**2 - a - 1. Let b(y) = 5*y**3 - 4*y**2 + 4*y - 20. Let q(v) = -b(v) + 6*h(v). Let p be q(-11). Solve p*r = -r for r.
0
Let m = 33 + -13. Solve -m + 0 = 5*d for d.
-4
Suppose 2*h = 11*h - 63. Solve -9*g = -h*g + 8 for g.
-4
Suppose 15 = 6*z - z. Suppose 2*j + 12 = 4*g, -1 = -5*g - j - 0*j. Suppose g = o - 3. Solve -z = -3*c + o*c for c.
-3
Let i(x) = x**2 - 8*x + 3. Let f be i(8). Suppose 4*p + f*n - 16 = 0, -p + 3*p = 3*n + 26. Solve 0 = p*b - 2*b + 15 for b.
-3
Suppose -5*v = -v. Suppose v*t + 3*t = 0. Let g be (-1 - -2)*t/2. Solve 0*p + 2*p - 4 = g for p.
2
Let u be (2/4)/(4/80). Let a = u - 7. Let h be -6*(2*-3)/a. Solve 5*d + h = d for d.
-3
Let j(t) = 9*t - 5. Let f(s) = -8*s + 4. Let c(h) = -3*f(h) - 2*j(h). Let z be c(3). Suppose -z = -p - p. Solve p = 5*w - 7 for w.
3
Suppose -9*r + 15 = -30. Solve 14*z = 13*z - r for z.
-5
Let y(x) be the first derivative of x**2/2 + 6*x - 5. Suppose 4*q - 2*w + 20 = 2*w, 0 = 4*q + 3*w + 13. Let n be y(q). Solve n = t - 1 for t.
3
Suppose 0 = 4*t - 2*o - 34, t - 7 = -o - 3. Let y = t - -1. Solve -3*k = -5*k - y for k.
-4
Suppose 0 = -2*d - 2 + 42. Suppose o + d = k - 4*o, -4*k - o = -17. Solve k = 3*n - 7 for n.
4
Suppose -62 = -10*g - 2. Solve q + g = 3*q for q.
3
Let y(g) = g**2 - g + 16. Let s be y(0). Suppose -4*u + c + 4 = -0, 5*u - c - 6 = 0. Solve -s = -u*v + 6*v for v.
-4
Suppose 4*l - 68 = -4*n,