*r for r.
5
Suppose -r = 3*r - 8. Let m be (1/(-2) - r)*-4. Solve x = -4*x + m for x.
2
Let g = 43 - 40. Solve -g*j - 20 = -8*j for j.
4
Let p(b) = 5*b + 1. Let m be p(1). Suppose -4*n + m = -2*u, -3*u + 7 = -3*n + 16. Solve 2*y = -2 - n for y.
-1
Suppose 12 = 3*z - 4*z. Let d = z + 16. Solve s = d*s + 3 for s.
-1
Let d(w) = -2*w + 9*w - w**3 - 10 + 6*w**2 + 2*w. Let o be d(7). Solve o = -5*g + 14 for g.
2
Suppose 3*i = 3*n + 75, 5*i - 5*n - 85 = 2*i. Let m = -11 + 6. Let u = 8 + m. Solve -f = u*f + i for f.
-5
Let o be 11 - 4/6*3. Let w(h) = 2*h - 1. Let v be w(2). Suppose 4*j = 3*s - o, -v*s = -0*j + 2*j - 9. Solve 0 = s*m + 6 for m.
-2
Suppose -3*r = -8 + 2. Suppose 10 = -r*d - 2*m, 4*d + 10 = -2*m - 0*m. Solve x + x = d for x.
0
Let k(m) = -5*m - 2. Suppose -5*o = -l - 1, 3*l + 0*o + 5*o + 3 = 0. Let i be k(l). Solve -2*n - 20 = i*n for n.
-4
Suppose 3*z - 32 = -8. Let v(u) = u**3 - 7*u**2 - 8*u + 6. Let x be v(z). Solve x = 5*a - 8*a for a.
-2
Suppose -2*m + m = -3. Solve -3*a = -3 - m for a.
2
Let t(f) = -f**3 - 2*f + 3. Suppose -2*v = u - 3, 2*v + 0*v = -5*u - 9. Let q be t(u). Suppose -6*b + b = -5*g + 60, b - q = -5*g. Solve -2 - g = -5*y for y.
2
Let k(n) = -n**3 - 7*n**2 - 6*n + 2. Let t be k(-6). Suppose -5*s + t = j, -4*s = -4*j + s + 33. Solve 3*p + j = 1 for p.
-2
Let y be -1 - -2 - (7 + -2). Let g be (y/6)/(8/(-12)). Solve -g = -u + 1 for u.
2
Let j(w) = -9*w. Let l(d) = d. Let n(s) = 2*j(s) + 14*l(s). Let x be n(-1). Suppose 3*p = -f + 14, -2 = -4*p + 5*f + x. Solve -y + 9 = -p*y for y.
-3
Let m(s) be the second derivative of -s**3/6 - 3*s**2/2 - 3*s. Let c be m(-6). Let k = c - 1. Solve -2*r = 4 - k for r.
-1
Let n = -135 + 137. Solve 0 = -2*o + o - n for o.
-2
Let u = 10 - 7. Let g = 10 + -19. Let x = 15 + g. Solve 3*y - u - x = 0 for y.
3
Let k be (-13)/3 + 4 - 14/(-6). Solve h = -k + 1 for h.
-1
Suppose d - 5*d - 2*o - 2 = 0, -5 = -3*d + 5*o. Solve 3*v - 8 - 4 = d for v.
4
Let w = -9 - -13. Let x = 1 + w. Solve -x*j - 7 - 13 = 0 for j.
-4
Let z be 10/25 - (-10)/(-25). Solve -v + 5*v + 4 = z for v.
-1
Let w(z) = z**3 - 14*z**2 - 15*z + 2. Let g be w(15). Suppose -g*d = -0*d. Solve 5*a = -d*a + 25 for a.
5
Let d = -11 + 14. Solve 0*l + d*l = 6 for l.
2
Let i = 21 + -29. Let m be (i/5)/(4/(-10)). Solve 0 = m*c - 0*c - 20 for c.
5
Let m be (-2928)/54 + 4/18. Let d be m/(-15) - (-3)/(-5). Let t(g) = -g**3 - g**2. Let f be t(-2). Solve d*y + f = 4*y for y.
4
Suppose -4*k + 6 = -2*x - 2, -5*k + 10 = x. Solve 1 = k*q - 5 for q.
3
Let s be 248/20 + -2 + (-26)/(-10). Solve 1 - s = -3*n for n.
4
Suppose -68 = f - 3*f. Suppose 0 = -w - 2*j + f, 2*w - 3*j = 89. Suppose -v - v = -w. Solve -3*y - v = 2*y for y.
-4
Let o be 4/10 + (-4)/10. Let i(f) = -f + 27. Let w be i(o). Suppose h - 5*h - 3*z + w = 0, -5*h - 3*z + 30 = 0. Solve 12 = -h*a + 7*a for a.
3
Let q be 1/(-1*2/(-54)). Suppose 3*s - s = j + 11, 2*j + 2 = 0. Solve -s*w = q - 7 for w.
-4
Let b(h) = h**3 + 4*h**2 + 2*h - 2. Let c be b(-3). Suppose 4*n + c = 9. Solve 0 = -n*w - 3*w for w.
0
Let t(r) = 3*r + 2. Let j be t(6). Let i(d) = 5*d. Let l be i(1). Suppose -j = -5*s - l. Solve s*y = 5*y + 10 for y.
-5
Let r = -7 + 11. Suppose -2*d + 0*d = -4*n - 2, r*n = -d + 13. Solve 0 = -n*k - 0 + 2 for k.
1
Let i = 1 - -13. Suppose 12*a + 8 = i*a. Solve 0*x = a*x for x.
0
Let g = -8 - -10. Solve -2*d = g*d for d.
0
Let l = 7 + -4. Suppose 41 = -l*j - 7. Let c be (-4)/(-6) - j/12. Solve -3*m + 3 = -c*m for m.
3
Suppose 0 = -4*s - 5*c + 70 + 15, -s - 5*c = -40. Solve 3*x + s = -2*x for x.
-3
Suppose 7 = 8*l - 7*l. Solve -3*q = -l*q + 8 for q.
2
Let v(n) = -n**2 + 5*n + 12. Let x be v(6). Solve o - x*o = 0 for o.
0
Let w = 5 + -7. Let j be 3/w*(-2 + 0). Solve j = 3*l - 6*l for l.
-1
Let u(d) = 2*d + 15. Let l(k) = -2*k - 15. Let a(z) = -4*l(z) - 3*u(z). Let p be a(-7). Let o be (1/1 + -1)/1. Solve o = -4*m + 7 + p for m.
2
Let s(b) = b**3 + 2*b - 2. Let u(r) = -3*r**3 - 5*r + 6. Let q(o) = 8*s(o) + 3*u(o). Let t be q(0). Let k(p) = -p + 3. Let i be k(0). Solve -i*n = t*n for n.
0
Suppose 43*r - 6 = 40*r. Solve -o + r*o + 4 = 0 for o.
-4
Let i(j) = 6*j**2 + 2*j + 3. Let v be i(-2). Suppose 7 = -2*h + v. Solve 2*d = -0*d - h for d.
-4
Let h = -5 + 9. Solve -h*w + 8 = -12 for w.
5
Let b = 24 + -22. Suppose b*f = 6*f - 100. Solve -f + 9 = 4*s for s.
-4
Let j(k) = k - 8. Let f be j(9). Let y be 2/f*(-10)/(-4). Solve -16 = y*w + 4 for w.
-4
Suppose 2 = -o - o. Let w = 5 + o. Solve 3*p - 4*p = w for p.
-4
Let j(x) = x**2 - 16*x + 15. Let l be j(15). Solve l = -4*h + h - 3 for h.
-1
Suppose 3*d + d - 16 = 0. Solve d*q = 2*q - 10 for q.
-5
Let n(s) = s**2 + 5*s + 6. Let r be n(-5). Suppose 3*w - 4*a = 68, -5*w + w - a + 116 = 0. Suppose 3*l + w = 5*l. Solve 4*d + l = -r for d.
-5
Let p be (-35)/(-10) - (-1)/2. Let f(o) = o**3 + 3 - p*o - 8 + 5*o**2 - 1. Let u be f(-5). Solve -2*k - u = -4 for k.
-5
Let g(l) = 3*l - 1. Let f be g(1). Solve 2*v + f*v = -20 for v.
-5
Suppose -3*s + 12 = -3. Suppose 0 = 2*n - s*u + 24, -3*n - 26 = -u - 3. Let o = -5 - n. Solve -7*t + 15 = -o*t for t.
3
Let y = 3 - -2. Suppose -o - a = 3*o - 12, -4*a = -16. Solve 0 = -y*z - o - 3 for z.
-1
Let s = 0 - -4. Let n be 2/(s*3/102). Solve n = 5*b - 8 for b.
5
Suppose 5*d - 5 = -2*f, -f - 5 = -8*d + 3*d. Solve -4*o - 3 - 13 = f for o.
-4
Let u = 19 + -11. Let y = 7 - u. Let f be (y + 0)/((-1)/5). Solve n - f*n = 0 for n.
0
Let a(p) = -4 + 3*p**2 - 2*p**2 - p**3 + p**2 + 5*p. Let f be a(3). Solve 4 = -f*u - 0*u for u.
-2
Suppose 0 = -h + 2 + 1. Solve 7*o + 4 = h*o for o.
-1
Let r = -5 + 9. Suppose 5*t - 4*a - 37 = 0, 2*a + 34 = 4*t + a. Solve -t = -k + r*k for k.
-3
Let d be 3 + -2 + 0 + -14. Let w = 19 + d. Suppose f = 6*f - q - 19, 0 = f + 2*q - w. Solve -8 = -f*v - 0*v for v.
2
Let f(z) = z**3 - 3*z**2 - 4*z - 2. Let h be f(4). Let g(l) = 20*l - 2. Let n be g(h). Let p be 14/(-4)*24/n. Solve -c = -p*c + 4 for c.
4
Let b = -7 + 12. Solve 2*s = s + b for s.
5
Let x(z) = -z**2 + 12*z - 10. Let k be x(11). Let d = -6 + 4. Let w be 27/21 + d/7. Solve -w - k = -c for c.
2
Let y = -3 + 7. Suppose -5*z + 12 = -w, -2 = 4*z + 5*w - 0. Solve 0 = -y*n - z + 14 for n.
3
Let w = -12 - -12. Solve -i - i + 10 = w for i.
5
Suppose 0 = 5*f - 5*y + 3 + 7, y - 10 = -3*f. Solve -f*n = 3 - 1 for n.
-1
Suppose -6*x - 30 = -x. Suppose 8*t = -2*v + 3*t + 41, -3*v = 3*t - 39. Let y = v + x. Solve -q - 12 = y*q for q.
-4
Suppose w = -4*w - u + 21, -2*u - 28 = -4*w. Solve w*k + 6 - 21 = 0 for k.
3
Suppose -4*s = -23 + 59. Let f be 19/(-5) - 2/10. Let c = f - s. Solve c*u = -0*u for u.
0
Suppose 17 = 4*y - 43. Let l = y + -11. Solve -l*z - z = 15 for z.
-3
Let f be -4*(0 + -1)*1. Suppose -12 + f = -4*d. Solve 0 = d*y + y for y.
0
Let d be 3*(-2)/(-2) + -3. Solve j + 1 = -d for j.
-1
Suppose 0 = -5*b - f - 3, -5*b + 3*f = -2*f - 15. Let r be 7 - (3 + b - 3). Solve -r*p = -2*p for p.
0
Let n be 2/(-4)*-2 - 1. Let g(y) = -7 - y + n*y + 3. Let b be g(-6). Solve 5*l = b*l - 12 for l.
-4
Let c(k) = 3*k - 4. Let f be (-74)/(-6) + 1/(-3). Let d = -8 + f. Let g be c(d). Solve -v + g = -5*v for v.
-2
Let l be (-5 - -8)*(-20)/3. Let t be 12/l - 23/(-5). Solve 0 = -t*g - 0*g + 20 for g.
5
Suppose 0*p = -2*p + 30. Let k be 75/18 - 3/18. Solve p = -k*f - 5 for f.
-5
Suppose 4*i = 4*c + 8, -3*c + 6*c + 3*i - 18 = 0. Solve 25 = 3*f + c*f for f.
5
Let y(h) = -14*h**2 + 1. Let q be y(-1). Let l = -8 - q. Solve l*t = 3*t for t.
0
Let l be (-3 - -13) + 1 + -4 + -1. Solve i + 3 = l for i.
3
Suppose 12 = 2*v - 0*v + 4*s, -3*v - s = -3. Solve i + i + 8 = v for i.
-4
Suppose -6*r + 50 = -r. Let s be (36/r)/((-3)/(-10)). Let b = 15 + -12. Solve b*y = -y + s for y.
3
Let s be (-25 + 0)*30/(-50). Solve 4*m = -m - s for m.
-3
Suppose -3*z = 2*g - 5*z - 2, -1 = -2*g + 3*z. Let s be 3/6 + g/(-4). Let l(u) = u**2 + u - 7. Let h be l(3). Solve s = -n - h for n.
-5
Let c(r) = 4*r + 6. Let u be c(-5). Let j = u - -14. Solve -3*l - 2*l = j for l.
0
Let d be 16 - (1 + (-10)/2). Suppose 0*v = -v. Solve v = 5*m + d for m.
-4
Let m = -1 - 1. Let g = m + 4. Solve -10 = 7*w - g*w for w.
-2
Let t be (-15)/(-6)*2/1. Suppose -2*z + 14 = t*h, -4*z = 5*h - 3*h - 12. Solve z*n = -3 - 3 for n.
-3
Let z be -3 + (-2 - -1 - -1). Suppose 2*n + 8 = -2*n. Let h be n/z + 13/3. Solve 5*c = h + 15 for c.
