 - (1 + s + 1). Solve l = v - 1 for v.
3
Let n(u) = u - 3. Suppose 0 = 2*o - 8 - 2. Let s be n(o). Solve s*p + p = -3 for p.
-1
Let r be -3 - 0 - (0 + -1). Let l be 112/20 + r/(-5). Suppose l*p = 5*p. Solve 7*t - 4*t - 9 = p for t.
3
Suppose 0 + 10 = t + 5*k, -t = -2*k - 3. Suppose 5*y - 2 = -4*b + 3*y, -2*b = 5*y - 5. Solve t*p = -10 - b for p.
-2
Let a(z) = -z**2 + 7*z - 1. Let j be a(6). Solve -3*c + 6 = -j*c for c.
-3
Suppose -17*l - 18 = -26*l. Solve -2*x = l*x + 16 for x.
-4
Suppose g - 12 = -3*y + 13, 4*y - 5*g - 65 = 0. Solve 0 = -3*m + m + y for m.
5
Let f = -5 - -5. Solve -a + f = -3 for a.
3
Let z = 14 + -16. Let p(n) = n**2 - 1. Let c be p(z). Solve c*s = 5*s + 6 for s.
-3
Suppose -2*w + 2 = -10. Solve 2*y = -0*y + w for y.
3
Let k = 49 - -21. Let q be k/(-4) - (-2)/(-4). Let z be 10/3*q/(-15). Solve 0 = -2*v + v + z for v.
4
Suppose 4*g - 40 = -0*g. Let b be (1*2)/(g/(-15)). Let t = b + 5. Solve -w - 9 = t*w for w.
-3
Suppose -5*f - 5*a + 1 = -9, 0 = f - 2*a - 11. Solve -8 = -f*h + 2 for h.
2
Suppose -2*l + 12 = -3*l - 3*j, -2*l = 5*j + 20. Let t(z) = z + 5. Let s be t(l). Suppose 4*d - 5*k = 33, -4*d - d - s*k = 15. Solve d*a + 8 = -0*a for a.
-4
Let k(l) = -3*l + 24. Let f be k(8). Solve f*w - 2*w + 4 = 0 for w.
2
Let b = -6 - -8. Let f(r) = r**2 - 3*r + 2. Let o be f(b). Solve 0 = -2*y - o*y for y.
0
Suppose 0 = 2*z + 2*b, z - 3*b = 2*z + 8. Solve 16 = -0*k - z*k for k.
-4
Suppose 3*p = p + 12. Suppose 0*v - 54 = -3*v. Suppose -w + v = 3. Solve -j + p*j = -w for j.
-3
Suppose 2*x - 5*x + 24 = 3*u, -2*u + 10 = 0. Solve 0 + 9 = x*j for j.
3
Let c be (40/(-12))/(2/(-3)). Solve -a - 4*a = c for a.
-1
Let w be ((-4)/4 - -8) + -2. Solve 0*i + w*i + 20 = 0 for i.
-4
Let o(k) = -9*k - 72. Let f be o(-8). Solve f = 3*h - 22 + 7 for h.
5
Let n be 16/(-12)*(2 + 1). Let u be 1*44*(-2)/n. Suppose -u - 53 = -3*j. Solve -j = 2*a + 3*a for a.
-5
Suppose j - 32 = -5*k, 2*j = -2*j + 3*k + 36. Solve 0 = 4*s - j for s.
3
Suppose -39 = -4*l - 5*a + 14, 5*l = 4*a + 97. Solve 12 = l*u - 14*u for u.
4
Let y be (-20)/(-9) + 4/(-18). Let n be (-4)/(-1*8/6). Suppose 0 = 4*m - n*z - 2*z - 45, 5 = 4*m + 3*z. Solve -3*c = -m*c - y for c.
-1
Let u be ((-24)/10)/((-15)/50). Suppose 5*c = c + u. Suppose 10 = c*q, -3*m + 0*m + 3*q = 6. Solve m*l + 9 = 6*l for l.
3
Suppose 2*a - 4 = 3*a - 4*b, 3*b = -3*a + 18. Solve 5*o = a*o for o.
0
Suppose 4 = -5*l + 19. Solve -l*y = 1 + 5 for y.
-2
Suppose -1 = -s + 15. Solve -h = 3*h - s for h.
4
Let x be (-61)/(-4) + 3/(-12). Suppose c + 2*c - x = 0. Solve -c*v + 0*v = 20 for v.
-4
Let z = -5 + 8. Let x be 106/34 + 8/(-68). Solve -x*s + 0 + z = 0 for s.
1
Let u = 13 + -12. Let x = u + 3. Solve 2*i + x = -6 for i.
-5
Suppose -13 + 4 = -3*n, 3*k - 3 = n. Suppose -k*u + 3*v + 12 = -3*u, 0 = -v - 5. Solve 3*c - u = -0 for c.
1
Suppose -8 = 2*t + 4*m - 26, t + 3 = m. Solve -w = t + 3 for w.
-4
Let i = -6 - -8. Suppose -v = -4*u + i*v + 12, 2*u = -v + 6. Solve -2 = -u*m + 2*m for m.
2
Let h be -1*(2 - (-1 - -3)). Suppose 0 = 5*w - h - 5. Solve -w = -j - 2 for j.
-1
Suppose -6*p + 18 = 6. Solve -p*z = -3 - 3 for z.
3
Let x = -4 + 6. Suppose -15 = -q - x*q. Solve 5 = -5*r - q for r.
-2
Suppose 0 = -3*n + 3 + 6. Suppose 2*i = n*i. Solve i*x = 2*x + 2 for x.
-1
Suppose -4*i + 11 = -1. Solve 0*z = -i*z + 12 for z.
4
Suppose -4 = -4*w + 2*w. Let l be -2*w/4 - -6. Let p = 1 + 2. Solve -l*v + p = 13 for v.
-2
Let r(w) = -w**2 - 7*w - 7. Let c be r(-5). Suppose -f + c*f = 20. Let u be 7/5 - 4/f. Solve p = 2 + u for p.
3
Let a = 0 - 2. Let m be (1 + a)/((-3)/9). Let c be (-2)/(3/((-3)/2)). Solve m - c = -2*r for r.
-1
Suppose -2*y + y + 2 = 0. Let h be (-8 + 14)*y/4. Suppose 0*t - h*t = 0. Solve 5 = -t*d - d for d.
-5
Suppose -p = 3*p - 40. Suppose w = -w + p. Let n(t) = t**3 - 5*t**2 + 2*t. Let b be n(w). Solve -5*v + b*v = 0 for v.
0
Suppose 4 = -i + 5*w - 4*w, 4*w - 16 = -i. Suppose 3*n - 5*n + 4 = i. Suppose n*u = 4*u - 10. Solve -u*p + p = 12 for p.
-3
Suppose 160 = -4*g + 2*g. Let r = g + 112. Suppose 5*q - 2*f - 72 = 0, -3*q + 4*f = -4*q + r. Solve -2*b - q = 2*b for b.
-4
Suppose 2*s = 2*y - 3*s + 4, 3*y + s = 11. Solve -2*b + 3 = -y for b.
3
Let n be ((10 - -4) + -2)/2. Solve -n*o = -4*o - 2 for o.
1
Let d(v) = 7*v**3 - 9*v**2 - 5*v - 1. Let z(w) = -w**3 + w - 1. Let x(i) = d(i) + 6*z(i). Let o be x(9). Let s = 0 + 1. Solve -q + s - o = 0 for q.
-1
Let m(o) = -o**3 + 12*o**2 + 2*o - 16. Let i be m(12). Solve -4*z = i - 28 for z.
5
Let q = 77 - 29. Suppose -h = -3*p + 26, -3*p - p - 2*h + q = 0. Suppose 4*z - 3 = -2*s + 7, 5*s - 25 = 4*z. Solve 2*t + p = -z*t for t.
-5
Suppose -2*h = -3*h - 4*m - 14, -5*h - 54 = 4*m. Let y be 1/(-2)*h + -2. Solve -2*z + y + 1 = 0 for z.
2
Let l(i) = i**3 - i. Let q be l(-1). Solve -6 = 3*p - q*p for p.
-2
Suppose 2*y = 2*w - 1 - 1, -4*y = 4. Solve -2*c + c + 4 = w for c.
4
Let n be 2 + 12/3 - -1. Suppose 0*h = 5*h + 4*d + n, 2*h = 2*d + 8. Let c = 1 - h. Solve c = 4*g - 12 + 4 for g.
2
Suppose 0 = -3*x + 11 - 2. Solve q + 0 = -x for q.
-3
Let g = 8 - 2. Suppose 6*x = 4*x + 2*i + g, -i - 1 = 0. Suppose x*t + t = 0. Solve -d - d + 10 = t for d.
5
Suppose -3*p - 40 = -4*a + 25, 5*a + p = 105. Suppose -15*g = -19*g + a. Solve -g*l - 18 - 2 = 0 for l.
-4
Let u be -7*(-7)/49 + 4. Let q be (-3)/(-2) + (-2)/(-4). Solve -q = -3*n - u for n.
-1
Suppose l = 2*l - 8. Suppose -x + 5*x = l. Suppose 6*d - 20 = x*d. Solve -d*v = 1 - 6 for v.
1
Let l(u) = u**3 - 5*u**2 - 4*u - 6. Let d be l(6). Solve d = m - 3*m for m.
-3
Let q be (5 - 1) + -8 + (-42)/(-7). Solve y = -q*y - 6 for y.
-2
Let a = 5 - 5. Solve a*y + 5*y = 15 for y.
3
Suppose 7*o - 3*o - 8 = 0. Let h be 8 - (-5)/((-5)/o). Let m = -4 + h. Solve 2*w + m*w = 0 for w.
0
Let z(x) = x**3 - 15*x**2 + 13*x + 18. Let y be z(14). Solve 3*w - y = w for w.
2
Suppose -2*h - 2*i + 2 = 0, -9 = -h + 4*i + 7. Solve h*u = -u - 15 for u.
-3
Suppose 9*w - 85 = 5. Solve -3*c + w = -5 for c.
5
Let d(j) = j + 1. Let y be d(-1). Let q(p) = p**3 + 16*p**2 - 17*p. Let i be q(-17). Solve i*l + l = y for l.
0
Let t(d) = 3 + 1 + 0*d**2 + d**2 + d. Let m be t(3). Let y = 27 + -23. Solve -y*r + 0*r = -m for r.
4
Let b be 7/42 + (-137)/(-6). Let u = 48 + -16. Let h = u - b. Solve 5*t + 29 = h for t.
-4
Let u(c) = 3*c**2 - 3 + 0*c**2 - 5*c**2 - c. Let b be u(-3). Let x be (-104)/b - (-4)/18. Solve 5*g + 4 + x = 0 for g.
-2
Suppose -2*r + 3*a + 10 = -2*a, -2*r = -4*a - 14. Let o(h) = h**2 + 6*h. Let g be o(-6). Let i be (5/1)/1 - 1. Solve i*y + y - r = g for y.
3
Let z(s) = -5*s. Let u be z(-1). Suppose -3*g + 14 = -2*j, u*g - 4*g = 5*j + 35. Let t(f) = -f - 6. Let q be t(j). Solve 3*m = 2*m - q for m.
-1
Let s be 10*(5/2 - 2). Let d be (-2)/(-10) - 1127/(-115). Let v = 1 - 1. Solve v = -3*g - d - s for g.
-5
Let u(i) = -i**2 + 6*i + 3. Let k be u(6). Let l(o) = o**3 - 5*o**2 - o + 7. Let v be l(5). Let w = v - 0. Solve d - k*d = -w for d.
1
Let o be -2 - (1 - 16)/3. Let i = -3 + o. Solve 3*s - 6 = -i*s for s.
2
Let y(l) = -2*l**3 + l**2. Let g be y(-1). Solve -5 = -g*q - 2 for q.
1
Let f(r) be the first derivative of -r**4/4 - 7*r**3/3 - r**2 - 10*r - 3. Let k be f(-7). Suppose k*l + 2 = o - 0*o, -4 = -2*o - 5*l. Solve -14 = 3*p - o for p.
-4
Suppose -3*h = v - 49 - 16, 3*h - v = 55. Solve 0*u + h = -4*u for u.
-5
Let o be -1 + -1 + 1 - -1. Let p(y) = 7*y**2 - 8*y + 9. Let g be p(1). Solve o = 5*k + g - 3 for k.
-1
Suppose -4 = -4*y - 0*y. Suppose y = -2*q - 9. Let a be 2/q - 2/(-5). Solve 0 = 5*p - a*p for p.
0
Suppose -f = -6 + 3. Suppose -2 = 4*x + s, 4*x - f*s + 4 = -6. Let y = 1 - x. Solve -y = k + 1 for k.
-3
Suppose -5*p - 6 = 5*j - 26, -12 = -2*j - 4*p. Solve -j*k + 3*k = 0 for k.
0
Suppose 0 = -10*o + 4*o + 12. Solve 3*a + o*a - 20 = 0 for a.
4
Let z(d) = -d**2 - 4*d - 3. Let n be z(-3). Suppose n = -2*j - 4 - 4, 5*q = 4*j + 61. Let k be (-26)/(-208) - 31/(-8). Solve -k*r = -q*r + 25 for r.
5
Let q be -2 + 0 + 4 + 1. Suppose -g - 1 = d - 2, 5*g = -q*d - 7. Solve d + 9 = 5*w for w.
3
Suppose 0 = 2*y - 0*y - 6. Solve -y = -2*r - 9 for r.
-3
Let z be (-2 - 1) + 3*2. Suppose -5*b + z*a + 48 = -9, -5*b - 3*a = -63. Solve -6*t + 2*t - b = 0 for t.
-3
Let w = -21 - -24. Solve 7*h = 4*h + w for h.
1
Suppose 0 = 7*p - 4*p. Let s = 3 + p. Solve -s*l = 2 - 5 for l.
1
Suppose 2*x = 