.
-1
Suppose -80 = -12*o + 160. Solve 2*t - o = -3*t for t.
4
Suppose -k - 4 + 13 = 0. Solve 5*v - 1 - k = 0 for v.
2
Suppose -5*r - 3*m = -1, r + m + 9 = 4*r. Solve -6 + r = 2*p for p.
-2
Let l = 30 - 38. Let i be (30/(-4))/(4/l). Solve y + 4*y + i = 0 for y.
-3
Let w = 6 + -5. Solve 8 + w = -3*j for j.
-3
Suppose 4 = 4*b - 0. Suppose -2*o - 6 = -5*o + 3*j, -b = -2*o + 5*j. Suppose 2*s + 4*z - 10 = 7*s, -o*s - 9 = -3*z. Solve -s*i - 16 = 2*i for i.
-4
Suppose 11 = -2*c + 57. Suppose -3*p - 1 = c. Let f = 13 + p. Solve -f*v + 6 = 31 for v.
-5
Let q = -21 + 23. Solve m - 3 = -q for m.
1
Let k(j) = j - 3. Let m(u) = -6*u + 14. Let z(a) = 11*k(a) + 2*m(a). Let i be z(-7). Suppose o + i*o = 6. Solve 3*g - 5 + o = 0 for g.
1
Let f be -1*(0 - (0 + 3)). Let v = 0 - f. Let t be -1 - -7 - (v + 0). Solve -3*c = -t - 6 for c.
5
Suppose 3*q + 0*k + 36 = -5*k, k = -2*q - 17. Let f be q/28 - 9/(-4). Solve 5*c + 12 = f*c for c.
-4
Let a be (-154)/(-4) + 1/(-2). Suppose -b = -3*b - r + 18, -3*r + a = 4*b. Let j = b + -5. Solve -3 = -2*l + j for l.
3
Suppose -4*g - 3 - 1 = 0. Let w be (-2)/(147/141 + g). Let d = -29 - w. Solve -4*z = 2 + d for z.
-5
Suppose -3*i - 50 = -8*i. Suppose -2*t - 3*g = -8*g - i, 4*t - 2*g - 4 = 0. Let b(h) = -h**3 + 2. Let c be b(t). Solve 3*a - 7 = c for a.
3
Let h = -12 - 8. Let b = -18 - h. Solve -b*q - 2 = -0*q for q.
-1
Let g(z) be the second derivative of z**4/12 - z**2 + 2*z. Let k be g(2). Let w be 2/4*(-4)/(-2). Solve -w = 3*d + k for d.
-1
Suppose -x + 3*k - 4 = -0, 0 = 5*x - 2*k - 32. Solve 2*p - x = 2 for p.
5
Suppose -16 = -2*o + 4*a, o - 2*o - 5*a = 13. Let m = o + 4. Solve -f + 5 = -m*f for f.
-1
Suppose -4*t + 28 = 5*r - r, -3*t = -2*r - 1. Solve t*a + a = -4 for a.
-1
Let m = 17 - 16. Solve 7 - m = 3*p for p.
2
Suppose -w - 6 = -3*w, -z = 2*w - 12. Solve z = 5*a - 19 for a.
5
Let r be (-17)/(-1) + (-4)/2. Let w = r - 11. Let n(l) = -l**2 + 9*l + 10. Let x be n(7). Solve 4*g = -x + w for g.
-5
Let g be ((-20)/(-24))/((-1)/(-6)). Solve g*i = 2*i for i.
0
Let o be 3 - (-5 + 3 + -1 + 1). Solve v + 2 = o for v.
3
Let y(l) be the third derivative of l**4/6 - l**2. Let z be y(1). Solve 0 = -z*k + 2*k for k.
0
Suppose x + 4*x - 12 = -2*z, 0 = -x - 2*z + 4. Suppose 3*s - x*s + 4*h = -8, -s = -5*h - 19. Let c = -2 + s. Solve 0 = u - 1 - c for u.
3
Suppose -6 = -2*y, -1 = 4*b - 3*y - 12. Let t(m) = m**2 - 1. Let v(p) = 2*p**2 + 3*p - 5. Let u(r) = -3*t(r) + v(r). Let o be u(2). Solve -5 = -b*a - o for a.
1
Suppose -5*g = -3*u - 17, 5*g + 4*u + 7 = -4. Solve -4*v = -g + 13 for v.
-3
Let y be 150/8 - (-2)/8. Suppose 2*i + 1 + 3 = 0, q + 4*i = -y. Let w = -6 - q. Solve 1 - w = 2*a for a.
-2
Suppose -4*t + 3*a + 3 + 6 = 0, 2*a = 2*t - 4. Suppose -2*p = -p - t. Solve p*o + 5 - 11 = 0 for o.
2
Let f = -1 - -5. Let x(g) = -3*g - 3*g**3 + 4*g**3 + 5*g**2 - g**3 + 5 - g**3. Let q be x(f). Solve q*r - 4*r = -5 for r.
-1
Suppose -4*b + 3*w + 8 = 0, 2*b + 3*w = 1 + 3. Let x(v) = 2*v + 4 - 5 - 7*v. Let d be x(-1). Solve 3*a + b + d = 0 for a.
-2
Let o(u) = -u - 11. Let l be o(-11). Solve 2*m = -l*m + 4 for m.
2
Let x = 4 - 7. Let q(f) = -f**3 - 2*f**2 - 2*f - 3. Let h be q(x). Let u be (h/3)/(2/4). Solve -4*t = -2*t - u for t.
4
Let x = -1 - -2. Let m = 2 + x. Solve 20 = m*o + o for o.
5
Let w = 0 - -1. Let d = w + 0. Solve -j - 1 = d for j.
-2
Let n = -30 + 54. Solve 0 = 4*c + 4 - n for c.
5
Suppose 0*s - 3*s = -4*b - 44, 5*s + 2*b = 56. Suppose 5*m - 4*v - 31 + s = 0, 0 = m - 5*v - 8. Solve -p + 4 = m*p for p.
1
Let v = -13 + 21. Let o = v + -4. Suppose 0*j - 12 = -o*j. Solve -s = -2*s - j for s.
-3
Let v = -6 - -2. Let h be 8/(10/v + 3). Solve 2*d = -2*d - h for d.
-4
Let c(m) = m**3 + 9*m**2 + 6*m - 8. Let v be c(-8). Let x be (-22)/3 - 7/(-21). Let g be (7/2)/x*-4. Solve -g*k + v = -6*k for k.
-2
Let l(y) = y**2 - 6*y + 9. Let w be l(5). Solve 2 = -w*b - 2 for b.
-1
Let c be 4/(-3)*3/2. Let s be c - 7/((-21)/48). Solve -s - 11 = -5*r for r.
5
Let r be -2*2*9/(-12). Solve r*x = 5*x - 8 for x.
4
Let k = 10 - 6. Solve -q + k*q - 3 = 0 for q.
1
Let g(o) = o + 7. Let i be g(-4). Suppose 2*p - 38 = -0*p. Suppose -4*b + p = i*d - 57, 4*b = -4*d + 96. Solve -6*l - d = -l for l.
-4
Suppose o + 8 = -3*o. Let r be (-14)/o + 2 - 2. Solve b + r = 3 for b.
-4
Suppose 2*r = -5*n + 6, -3*r + 3*n - 12 = -0. Let v = 5 - r. Suppose v + 3 = 2*c. Solve 0 = -0*g + c*g + 5 for g.
-1
Let w be (-10)/35 + 122/(-14). Let g = w + 10. Solve s = -0*s - g for s.
-1
Let p = 29 - 29. Solve p = -g - 1 - 2 for g.
-3
Let q(r) = -r**3 + 20*r**2 - 17*r - 30. Let g be q(19). Solve 0 + g = 2*h for h.
4
Let c(q) = -q**3 - 9*q**2 - 8*q + 2. Let v be c(-7). Let a = v + 140. Suppose -a = 4*u - 8*u. Solve -m = 4*m - u for m.
5
Suppose -5*j + 25 = 5*w, 5*j = -2*w + 2 + 8. Solve -1 = -w*p + 4 for p.
1
Let g(b) = 3*b**2 - 2*b - 6. Let f(s) = 3*s**2 - 2*s - 7. Let u(z) = -5*f(z) + 6*g(z). Let j be u(-1). Let w = j - 4. Solve w = -2*d - 2 + 6 for d.
2
Suppose 3*v - 3*c - 12 = 0, v + c = 6*c. Suppose -v*p = -2*r - 15, -p - r - 2 + 5 = 0. Let o(n) = -n**3 + 2*n**2 - n. Let u be o(1). Solve u*l = l - p for l.
3
Let f(o) = 2*o + 4. Let x be f(6). Solve 2*l - x = 6*l for l.
-4
Suppose 0 = 5*r, -3*z = -4*z - 5*r + 4. Suppose 2 = -4*s - 14. Let d be (-1*2 - s)*z. Solve -5*j + d + 12 = 0 for j.
4
Suppose 2*h = -5 + 9. Let z be ((-1)/(-2))/((-3)/(-12)). Solve d = h*d - z for d.
2
Let j be (-2)/5*15/(-3). Suppose j*o = 5*o - 6. Suppose 0 = -2*a - o*r - 4, -3*a = 2*r - 4*r - 14. Solve 5 = v - a*v for v.
-5
Let i(a) = 3*a**2 + 4*a + 1. Let l be i(-2). Solve 0 = -2*d + l*d + 3 for d.
-1
Let x(u) = -2*u - 10. Let c be x(-7). Solve z - c + 3 = 0 for z.
1
Suppose 4*s + 8 = -5*o, 5*s - 4*o + 8 = s. Let r = 5 + s. Solve 0*m = -m - r for m.
-3
Let o be 1/(3 - (-14)/(-4)). Let z be 2 - o*(1 - 2). Solve -5*a - 4 + 14 = z for a.
2
Let q = 8 + -4. Suppose 5*v - 13 = -2*n + 6, -q*n - 4 = -4*v. Solve 1 = v*l + 4 for l.
-1
Let m be 3/9 + (-26)/6. Let u be ((-12)/(-8))/((-1)/m). Solve -u*a = -2*a + 4 for a.
-1
Let i(r) = -r**3 + 3*r**2 + 2*r + 1. Let u be i(2). Let g be (4/(-3))/(2/u). Let q be (g/(-5))/(9/60). Solve q = -2*l - 2*l for l.
-2
Let y(r) = r + 9. Let h be y(-7). Let l be (1/h)/(1/6). Solve 0 = l*x - 4*x for x.
0
Let u(z) = -2*z + 5. Let x be u(-5). Suppose -2*y = 5*f + 2*y - x, -3*y = -f + 3. Suppose f*q - q - 6 = 0. Solve -4 = -q*o + 8 for o.
4
Let i = -39 + 42. Solve 6 = n + i for n.
3
Let w = -8 - -17. Let g be (-3)/9 + 30/w. Let o(k) = k - 1. Let x be o(g). Solve -3*i - 1 - x = 0 for i.
-1
Suppose 0 = -2*z - 4*n - 4, 5*z + 2*n - 35 = n. Let y = z + -5. Let d be (y/(-5))/((-1)/5). Solve 0 = d*p - 2*p + 5 for p.
-5
Let z(r) = 2*r + 20. Let t be z(-8). Solve 3*n - 10 = -t for n.
2
Suppose 19 = p + 1. Let q be p/12 + (-1)/(-2). Solve q = s + s for s.
1
Suppose l + 5*l - 6 = 0. Solve 0 = -p - l - 0 for p.
-1
Suppose 0 = -28*l + 31*l - 15. Solve 0*f + 15 = -l*f for f.
-3
Let h = -7 - -13. Suppose -9 = -3*g + 3*n, -2 = -2*g - n + 4. Let t be 2/g - 224/(-24). Solve -h*z + t = -4*z for z.
5
Let x = -33 - -36. Solve -f + 6 = -x*f for f.
-3
Let g(a) = 8 - 9*a + 6*a + 4*a. Let r be g(-5). Solve -p + r*p - 10 = 0 for p.
5
Let n be (-4)/(-8)*48/3. Let f = -6 + 10. Solve f*a = n*a for a.
0
Suppose f - 3*w = 18, f + 0*w - 6 = -3*w. Solve f*n = 11*n - 5 for n.
-5
Let f = 9 - 11. Let s be 3 - (-4 - (f - 0)). Solve s = -m - 0 for m.
-5
Suppose 0 = 4*g + 2*o - 12, -o + 5 = -2*g + 11. Solve 0 = -0*n + g*n for n.
0
Suppose -5*d - 3*n = -9, -2*d + 0 = n - 3. Suppose -5*y + 25 = -d*y. Suppose 4*p + y - 37 = 0. Solve 3*h = -p - 1 for h.
-3
Let d = 5 + -3. Suppose 0*v - 3*v + 57 = 0. Let l = v - 6. Solve d = 3*a - l for a.
5
Let y be 1 + 2 + -2 + 0. Let r be 2 + ((-1)/(-1) - y). Solve -r*h = 3*h for h.
0
Suppose 4*u - 3 = 1. Solve 0*a + a = -u for a.
-1
Let o = -5 + 5. Suppose o = d - 3*d. Suppose 16 = 4*q + 4*n, d = q + q + n - 7. Solve -q*x + 5 = 2*x for x.
1
Let l be 0 - 9*(-2)/15*5. Solve -3*v = -l*v - 6 for v.
-2
Let t = 165 - 67. Let f be ((-3)/6)/((-1)/t). Let x = -29 + f. Solve -4*k - k = x for k.
-4
Let x(k) be the second derivative of -k**5/20 + k**4/2 - k**3/6 + 5*k**2 + 2*k. Let u be x(6). Solve -1 = 3*h - u for h.
1
Suppose m - 3 = 2. Suppose -2*h = -m*k + 3*h - 5, -3*k - 4*h + 25 = 0. Solve -15 = -0*f