lve -6 = r - l*r for r.
3
Let m(g) = g**2 - 7*g + 4. Let l be m(7). Suppose 3*j - l*j = -1, 2*j - 4 = -o. Let r = 4 - o. Solve -s + 2 = -r*s for s.
-2
Suppose 2*n = -24 - 20. Let s = n + 23. Solve 0 = d - s + 3 for d.
-2
Let o be (-3 - 0)*(-1 - 0). Suppose o*c = -2*c. Suppose -i + 3 + c = 0. Solve i + 2 = -u for u.
-5
Let m be 3 + (2 + -3)*0. Let x = 5 - 1. Solve m*g - x*g = 4 for g.
-4
Suppose 3*o = -2 + 8. Let j be 27/(-12)*16/(-6). Solve -o*t - j = -0 for t.
-3
Let l(b) = b**2 + 10*b + 23. Let r be l(-7). Solve r = z - 2 for z.
4
Let a = -17 + 26. Solve -3*l + a + 0 = 0 for l.
3
Let o be -7*((-4)/(-7))/(-1). Solve 0 = o*x + x for x.
0
Suppose 6*t + 165 = t + 3*a, -2*t - 5*a = 35. Let v be 15/(-20) + t/(-8). Let h be 1/((-1)/(-2))*2. Solve h*c - 5 = v for c.
2
Suppose 4*m + 3 = 3*s + 7, 5*m - 5 = -4*s. Suppose 3*o - 12 = -o. Solve x - o - m = 0 for x.
4
Let a be 12/21*14/4. Solve 4 = -a*u + 6*u for u.
1
Let d(s) = 4*s**3 - s**2 + s + 1. Let m be d(1). Solve 1 = m*x + 6 for x.
-1
Suppose -24 = -5*y + 1, -4*y = -3*x - 20. Suppose -5*v = -11 - 4. Let p be v*2 - 6/3. Solve -5*f + f + p = x for f.
1
Let a(i) = -i**3 - 9*i**2 + 4*i + 39. Let r be a(-9). Solve 2 = r*w - 5*w for w.
-1
Suppose 4*k + 2 + 2 = 0. Let v = 4 - k. Solve 0 + v = -5*d for d.
-1
Let u(q) = -q**3 - q**2 - 2*q + 2. Let b be u(0). Solve g = -b*g - 6 for g.
-2
Let b be (0/(2 - -2))/1. Solve -q = -b*q + 4 for q.
-4
Let d(b) = -2*b + 4. Let u be d(3). Let h be (-1 - 1)/(u/4). Suppose -4*l + s = -49, h*s - 4 = -2*l + 16. Solve 5*z = l + 13 for z.
5
Let z be 1*-3*(-14)/21. Let o(x) = x**2 - 2*x. Let n be o(z). Solve 4 + n = -4*g for g.
-1
Let h = -4 - -3. Let v = h + 3. Solve -v*b = 3*b + 25 for b.
-5
Let t = -17 - -20. Solve 8 = -t*i - 4 for i.
-4
Let m be 3/1*(32/(-12))/(-4). Solve -4 = -m*x + 4 for x.
4
Let t(u) = u**2 - 5*u + 1. Let z = -9 - -14. Let f be t(z). Solve 4*q + f - 9 = 0 for q.
2
Let r be (2*2)/(8/16). Suppose -5*q - 4*w + 14 = 0, -6*q - 2*w + 4 = -5*q. Solve 4*m - q*m = r for m.
4
Let o be ((-84)/(-147))/(4/14). Solve z = -o*z for z.
0
Suppose 0 = -4*v + 3*y + 2*y + 66, y - 40 = -3*v. Suppose -5 + v = 3*c. Solve c*p + 6 = p for p.
-3
Let d be ((-3)/6)/(1/(-8)). Let v = d - 0. Suppose 3*h + 12 = -s + v*s, -4 = -s + 2*h. Solve s*r = r - 3 for r.
-1
Suppose -6*b + 4*b = -44. Solve -4*z + b = 2 for z.
5
Let q(t) = 14*t + 1. Let p be q(1). Let d be (-4 - -6)*1/2. Let i = d - -1. Solve 0 = -z - i*z - p for z.
-5
Let h be 3 + 1 + (2 - 2). Let n be (h - 3) + (3 - 1). Let t be (-1 - -1 - -3) + 1. Solve n*r = t + 2 for r.
2
Suppose 10 + 0 = l. Solve 0 = -7*w + 2*w - l for w.
-2
Suppose 10 = l - 4*j, -3*j + j = l - 22. Suppose l = 4*p - p. Solve 0 = w + 2 - p for w.
4
Let n(k) = -k + 6. Let f be n(5). Let x be 3/f + (-2)/(-1). Let g(z) = 4*z - 2. Let p be g(x). Solve -p = 4*b + 2 for b.
-5
Suppose 5*l + 185 = 2*f - 150, -5*f + l + 895 = 0. Suppose -i = 2*i + f. Let w = -36 - i. Solve w = -5*j - 1 for j.
-5
Let s(d) = -d - 3. Let t be s(-11). Solve 0 = 4*x - t*x - 12 for x.
-3
Let q(y) = -y**3 + 7*y**2 + 4. Let p be q(7). Suppose 0 = p*z - 5*g + 20, -3*z + z - g = -4. Solve z = -2*r + 3*r - 3 for r.
3
Suppose 4*n + 20 = -4*k, 6*n + k + 5 = 2*n. Let y be (1 + n - -3) + -2. Solve 4 = -b + y for b.
-2
Suppose -4*i + 3*t = 6*t - 3, 5 = -5*i + 5*t. Solve i*s = -s for s.
0
Let i = -9 + 12. Let r be (90/(-35))/(6/(-28)). Suppose -3*w + r = -12. Solve 0 = -7*p + i*p + w for p.
2
Suppose 0*r - 5*r = -20. Let f be (-48)/(-27) - r/(-18). Suppose 4*t + 3*m - 19 = 0, -2*t + 3 = 3*m - 2. Solve -t = 5*n - f for n.
-1
Let s = -47 + 67. Suppose r + 9 = 2*p + 2*p, 4*r + s = 0. Let h = 4 - 2. Solve 3 + p = h*v for v.
2
Let h be 2/11 + (-120)/55. Let m = h - -2. Let d = 5 - 2. Solve -d*t + 12 = -m*t for t.
4
Let x(y) = 2*y**2 - 3*y - 2. Let a be x(3). Let w(v) = 3*v**3 - 5*v**2 + 2*v + 1. Let u be w(2). Suppose -4*i - u = -a*i. Solve -7 = -n - i for n.
4
Let p = -16 + 23. Let k = 10 - p. Solve 0 = 3*m + k + 9 for m.
-4
Let c(j) = j**2 + 3*j + 4. Let n be c(-6). Suppose -8 = -v + 2*x, -x = 3*v - 9 - n. Solve 0 = -z - z + v for z.
5
Suppose 4*l + 4*d + 32 = 0, -4*l = 3*d + 2*d + 32. Let v = l - -4. Let y be 1/3 - v/6. Solve -3 = 2*a - y for a.
-1
Let h be 2/(-6) + (-80)/(-24). Suppose -2*q + 4 = -3*i + 3, 0 = 3*i - 3. Let l(f) = -5*f - 9. Let m be l(-4). Solve h*p - m = -q for p.
3
Let q(j) = j + 9. Let l = -16 - -4. Let m = -18 - l. Let z be q(m). Solve 3 = z*w - 0 for w.
1
Let v(b) be the third derivative of b**6/120 - b**5/60 - b**4/24 + b**3/3 + b**2. Let g be v(0). Solve 1 + 1 = g*q for q.
1
Suppose -24 = -o - 4. Solve o = -4*z - z for z.
-4
Suppose 0 = 5*v - 2*v. Let z(u) = -2*u + 3. Let t be z(5). Let l = -5 - t. Solve v = 3*k + l*k + 20 for k.
-4
Let l be -5*((-9)/(-15))/(-1). Suppose -z = -l*x - 22, -2*z = 2*x - 4 - 16. Solve 4*b - z = -5 for b.
2
Suppose 5*a = 4*a. Solve a*r = -4*r for r.
0
Let t = 22 - 16. Let c = 6 - t. Solve x + 1 + 3 = c for x.
-4
Let x be 20/8 - 1/(-2). Let s = x + -1. Solve s*c = c for c.
0
Suppose 0 = 3*k + 2*x - 1, 6*k - 3*x = 3*k + 21. Solve s - 2 = k for s.
5
Suppose -3*m - 96 = m. Let z be 6/8*m/3. Let y = z + 25. Solve 0 = 3*t + y - 4 for t.
-5
Let i(a) = a**3 - 2*a**2 - 4*a + 7. Let g be i(4). Suppose -g = -4*v - 3. Solve -v*k + 4*k + 1 = 0 for k.
1
Suppose 4*n + 4 = 2*f, -7*n - 5 = f - 2*n. Solve -3*s - 2*s + 10 = f for s.
2
Suppose 0 = -n - 0*n. Solve n*r = r - 5 for r.
5
Let j(o) = -o**2 - 4*o - 2. Let v be 25/(-10) + 1/(-2). Let l be j(v). Solve 0 = 5*a + 9 + l for a.
-2
Let h(o) = -o**2 + 10*o - 11. Let z be h(9). Let c = 5 + z. Suppose -3*n + 15 = 2*p, -c*p - p = -4*n. Solve 10 = 2*v + p*v for v.
2
Let x be (3/(-1))/(1/(-3)). Let q = x - 3. Solve 0 = 2*i - q - 0 for i.
3
Let a be ((-4)/12 + 0)/((-2)/6). Solve a - 2 = i for i.
-1
Let f = -53 - -33. Let m be f/110 - 48/(-22). Suppose -m*i = i. Solve i = -3*q + 1 - 4 for q.
-1
Let l(o) = 2 - 5 - 6*o - o**2 + 2. Let s be l(-6). Let g be s*(-2)/(-4)*0. Solve -r = -g*r for r.
0
Suppose 2*u = -2*u + 12. Let q be (-1 + 3)/(2/u). Solve -9 - q = 4*a for a.
-3
Let z(b) = b**3 + 6*b**2 + 6*b + 7. Let u be z(-5). Suppose -3*d - 6 = -u*a, 3 = -a - 2*d - 1. Solve 2*l - 8 = -a*l for l.
4
Let a(z) = -z + 4. Suppose -4*w = -0*w - 8. Let f be a(w). Solve -4 = -3*k + f for k.
2
Let o = 9 + -20. Let j = -11 - o. Solve 5*g - 13 - 12 = j for g.
5
Suppose u + b - 17 = -2*u, -31 = -5*u - 3*b. Solve u*p = -4 - 1 for p.
-1
Suppose 4*n = 0, -4*a + 2*a - 3*n = -6. Let y be 5 + 0/(-1 - 1). Suppose 0 = 2*p + 2, -5*p - 8 = -y*f - a. Solve j + j + 6 = f for j.
-3
Let i be 2/(-20)*-4*30. Suppose -f - 10 = -3*w, -4*w - 3*f = -5*f - 16. Solve w*o + i = -o for o.
-4
Let v be (0 + (-1)/(-3))*9. Suppose 0 = v*g - 174. Suppose -48 = -3*y - 3*i, 3*i - i = -4*y + g. Solve 0 = -4*k + 7 + y for k.
5
Suppose -4*f + 23 = 3*v, 3*v - 21 = -3*f - 0*v. Solve -4 = -f*y + 3*y for y.
-4
Suppose 4*k + 2*h - 9 = 5, 4 = -4*k + 4*h. Solve -3*b = k*b - 5 for b.
1
Let t(x) = x**2 + x - 4. Let l = -8 - -8. Suppose p + l + 3 = 0. Let a be t(p). Solve -2*w = a*w for w.
0
Suppose 0 = -b - 3*b + 28. Suppose 3*o - a + 5 = b*o, 4*a - 20 = -2*o. Solve 4 = -x - o for x.
-4
Let r(n) = -n**2 - 6*n - 4. Let a be r(-4). Let z(m) = -m**3 + 9*m**2 - 7*m - 8. Let l = 27 - 19. Let h be z(l). Solve h = a*k + 7 + 1 for k.
-2
Let v(m) = -m**2 + 5*m + 17. Let i be v(7). Solve -i*o + 2 = -o for o.
1
Suppose 0 = r + t - 1, 16 = 2*r - 5*t. Solve -s = r*s + 8 for s.
-2
Let t = 79 + -71. Solve 4*r - t*r = 20 for r.
-5
Suppose 2*w - 6*r + 3*r = 13, 4*w - 28 = 4*r. Let l(v) = 3*v - 1. Let m be l(1). Suppose 3*g + 0 = 5*i - 4, -5*i = -5*g. Solve -g*t = m*t + w for t.
-2
Let b(d) = d**2 - 6*d + 6. Let k be b(5). Solve -f + k = 2 for f.
-1
Suppose a = -4*s + 3*s + 1, -a = -4*s + 24. Let v(k) = -k**2 - 5*k + 3. Let q be v(a). Suppose j + 6 = 3*j + 2*p, -2 = -2*j + 2*p. Solve 0 = j*t - 1 - q for t.
4
Let u(d) be the first derivative of -d**6/120 + d**5/60 + d**2 + 3. Let v(y) be the second derivative of u(y). Let p be v(-2). Solve -5*k = 2 - p for k.
2
Let q(w) = w**2 - w - 2. Let a be q(3). Solve 4 = a*c - 0 for c.
1
Let a be (10 - -1) + 0 + 1. Let n(d) = -d**2 + 7*d - 4. Let i be n(4). Solve i + a = 5*k for k.
4
Suppose -20 = -8*q + 12. Let r be (-1)/((2 + 0)/(-4)). Solve -q*k + 6 = -r fo