 2*j - 25 for j.
5
Let h be -1*(0 - 8) - -2. Let j be ((-18)/h)/((-3)/10). Solve r - 3*r = j for r.
-3
Let u(q) = -8*q + 48. Let j be u(6). Solve -3*p - 2 - 4 = j for p.
-2
Suppose 16 = -l - 4*l - 4*r, 3*l + 2*r = -8. Solve -c - 2*c = l for c.
0
Let k = -3 + 7. Let c(u) = 3*u - 3*u + u - 2*u + 5. Let w be c(k). Solve w = -f - 4 for f.
-5
Suppose -1 = 4*c + 7. Let s(r) = 2*r**2 + 3*r + 1. Let o be s(c). Suppose -d + o = -1. Solve d = -v - v for v.
-2
Let p(h) = -h + 8. Let j be p(6). Let b(k) = k**3 - k**2 - k. Let i be b(j). Solve -2 = i*v + 2 for v.
-2
Let t(m) = 5*m**3 - 2*m - 1. Let z(d) = -10*d**3 + 5*d + 3. Let p(c) = -5*t(c) - 2*z(c). Let f be p(-1). Solve -f = 2*y - 4*y for y.
2
Suppose -8 = 3*g - 5*g. Suppose 0 = -g*o + 5*l + 20, -4*o = l - 2*l - 4. Suppose o = -4*b - b. Solve -q = -b*q + 3 for q.
-3
Suppose 5*f - 3*b - 50 = 0, f - 2*b = 2*f - 10. Suppose -f = -3*o - 2*o. Solve -o*h - 1 = -5 for h.
2
Let a = -4 + 9. Suppose a*x + 0*x = 0. Let d(s) = s. Let n be d(3). Solve 3*i = -x - n for i.
-1
Let n(p) = p**3 + 6*p**2 + 5*p - 4. Let m(a) = -a**2 - a. Let j(o) = -6*m(o) - n(o). Let y be j(0). Suppose 4*z = -y, k + 2*z - 6 = -3*k. Solve 3 = b + k for b.
1
Let a = 25 + -5. Suppose 16 = 2*g + 5*c, -3*c + 2*c = 4*g - 14. Solve a = g*k + k for k.
5
Let b(d) = -d**2 + 7*d - 3. Let c be b(4). Solve c = -3*n - 0 for n.
-3
Suppose -9*o + 14*o = 10. Let u = 13 - 8. Solve -5 - u = -o*r for r.
5
Let h be (16/10)/((-2)/25*-5). Solve -m = h*m - 20 for m.
4
Let p be (-15)/25 - (-81)/(-15). Let s be (0*3/p)/2. Solve s = 3*k - 0 + 3 for k.
-1
Let z = -1 - -2. Let r = -18 - -35. Let w = -14 + r. Solve w - z = -t for t.
-2
Let k be 40/15 + (-4)/6. Let y = 1 + k. Suppose 3*j - 12 + y = 0. Solve j*v - 10 - 2 = 0 for v.
4
Let g(k) = k**2 - 8*k + 10. Let t be g(7). Solve 3 = -t*y - 9 for y.
-4
Suppose 0*f - 5*t = f + 23, 3*f - t = 11. Let s(a) be the third derivative of -a**6/120 + a**5/12 - a**4/12 + a**2. Let c be s(3). Solve f = -5*o + c for o.
2
Suppose -3*j + 8*j = -4*h - 11, -2*j = 3*h + 10. Suppose 5 = 5*u - 10. Solve -v - j + u = 0 for v.
2
Suppose 0 = -0*c + c + 3. Let b = c - -3. Solve -4*a + b = -12 for a.
3
Let j be ((-30)/(-9) - 1)*3. Suppose x + 73 = -5*c, -c + 3*c + x = -28. Let l be 2/j + c/(-21). Solve 0 = 4*b + 11 + l for b.
-3
Let i(y) = -y**3 - 5*y**2 - 2*y - 7. Let f be i(-5). Solve d = -2*d - f for d.
-1
Let c be (12/(-10))/((-6)/(-20)). Let l(d) = -3*d - 6. Let w be l(c). Solve -w*g - 4 = -5*g for g.
-4
Let s(y) = -3*y - 3. Let j be s(-6). Let l = 22 - j. Let f(t) = t**3 - 7*t**2 + t - 5. Let x be f(l). Solve 5 = -x*g + g for g.
-5
Let z be -10*1/(-5)*6. Solve -3*t - z = -7*t for t.
3
Suppose -3*q = -14 + 5. Solve -5*s = -2*s + q for s.
-1
Suppose 0 = -5*v + 25, 2*v + v + 7 = 2*l. Suppose -j + 3*o = -l, -4*j - 7*o + 2*o = 7. Let z = j - -13. Solve z = 4*f - f for f.
5
Let r(d) = -d**3 - 8*d**2 + 8*d - 9. Let y be r(-9). Suppose x = -y*x. Solve b = -x - 3 for b.
-3
Let f be 6/(-8) - 30/(-8). Let n = f + 17. Solve n = g + 3*g for g.
5
Suppose -5*h = 4*w - 54, 3*h - 3*w = 4*h - 13. Solve -3*c - 2*c = h for c.
-2
Let u(o) = -o**3 - 6*o**2 + 7*o. Let y be u(-7). Suppose y = 5*q - q - 20. Solve q*l + 20 = -5 for l.
-5
Suppose 4*x + 9 = -3. Let s be 7 + -1*(-6)/x. Suppose f - 10 = 3*r - f, -s*r - 4*f = -20. Solve -v - 1 = -r for v.
-1
Let o(b) = 2*b**3 + 2. Let h be o(1). Solve -17 = -h*s + 3 for s.
5
Let b = -11 + 13. Suppose 0 = 6*u - b*u. Solve -2*i - i = u for i.
0
Let v = 36 + -11. Solve v = -4*p - p for p.
-5
Suppose 5 = v + 2. Let h = v - -1. Let p = -5 + 5. Solve p*n = -h*n for n.
0
Let z(c) = 5*c**2 - c - 1. Let j = -3 - -2. Let t be z(j). Solve 0 = -t*g + 4*g - 2 for g.
-2
Let m(h) = -h**2 - 6*h - 3. Let y be m(-5). Suppose 5*w = y*w. Solve -3*n + 6 + w = 0 for n.
2
Suppose 0 = -5*s + 6 + 24. Solve -s*i + 2*i = -8 for i.
2
Let q be -5*-2*2/(-4). Let x = -3 - q. Suppose 4*v - x*p - 7 = -1, 3 = p. Solve -v*s = 2*s - 5 for s.
1
Suppose 0*f - 2*f = 0. Suppose 2*n = -f*n + 10, 4*d - 33 = -5*n. Solve -d*g + 5 - 1 = 0 for g.
2
Let a be (0*(-3)/6)/2. Let l = a + 10. Solve -4*v + 2*v + l = 0 for v.
5
Suppose 8 = -2*c, -4*g - 5*c + 8 + 8 = 0. Let j be (g/6)/(2/4). Solve 4 = j*l - 11 for l.
5
Let a be 2/7 + 4/(-14). Suppose -j + 0*j - 5 = -2*t, -5*j = t - 19. Solve 0 = t*n - a*n for n.
0
Let o(p) = 2*p**2 + 2*p - 2. Let z be o(-2). Let m be 4/8 - (-7)/z. Solve 3*s = 2*s - m for s.
-4
Let y = 3 - 3. Let b = y + 3. Solve 2*w = 7 + b for w.
5
Let q(b) = b + 6. Let f(i) = -i**3 + 4*i**2 - 2*i + 2. Let h be f(4). Let j be q(h). Solve j*d = -4*d - 20 for d.
-5
Suppose 0 = 3*f - 2*k + k + 3, -4*f = k - 3. Let h be f - (-3 + 1)*1. Suppose 4*u - 1 = -3*v + 13, 0 = v + h*u - 6. Solve -18 - v = 4*j for j.
-5
Suppose -c = -2*c. Solve c*s = s - 5 for s.
5
Let s be (-35)/70*((-7)/1 - -1). Solve s*n - 1 = 2 for n.
1
Suppose 8 - 23 = -5*j. Suppose -s = -3*s + 14. Let r be (-4)/(-8) + s/2. Solve r*c - 3*c = j for c.
3
Suppose 16*y - 21*y + 15 = 0. Solve y*s = 7*s + 20 for s.
-5
Let v be (-2 - 0) + (15 - 3). Solve 0 = 6*k - 11*k - v for k.
-2
Suppose 0 = -3*c + 9*c. Solve 4*f + 4 + 4 = c for f.
-2
Let a = 0 - -2. Solve 2*s = -a - 6 for s.
-4
Let a(i) = -i**2 - 2*i + 4. Let x be a(-3). Let t = -28 + 33. Solve t*b = x - 16 for b.
-3
Let f(w) = -w**3 + 3*w**2 + 3*w - 6. Let p be f(3). Solve 5*j + 10 = p*j for j.
-5
Let s(u) = -11 - 2 + 9*u - 7*u. Suppose 3*z + 20 = 5*z. Let d be s(z). Solve -d*q = -2*q + 20 for q.
-4
Suppose 12 = 3*i + i. Let y be 2*(i/6 - 0). Solve y = -4*v - 3 for v.
-1
Let s = 3 - 2. Suppose 2*f - 7 = -s. Solve -q + 1 = f for q.
-2
Let t(d) = 6*d - 38. Let v be t(7). Solve -v*k + k - 6 = 0 for k.
-2
Suppose 13*i - 16 = 9*i. Suppose -3*w = -4*v - 13, 2*v + 11 = -w - 2*w. Let m be -1 - ((-1)/w - 2). Solve -2*o - i = -m for o.
-2
Let p be (4 - 2) + -1 - -2. Let m = -4 + 7. Let h = p - m. Solve h*r + r = 0 for r.
0
Let u(l) = -l**3 + 5*l**2 - l + 7. Let z be u(5). Suppose z*r = 1 + 1. Solve 3*v = r + 8 for v.
3
Let k(d) = -d + 7. Let x be k(-5). Suppose b + 2*b - x = 0. Let h be 0 + -2 + 1 + b. Solve h*p - 5 = -2*p for p.
1
Suppose -2*i - 5*j = 0, -4*j = 5*i + j. Solve u - 3 + 4 = i for u.
-1
Let f = -11 + 15. Let d(m) = -m**3 + 5*m**2 - 3*m - 2. Let q be d(f). Suppose -q*k + 8 = -0. Solve k*j = -0 - 12 for j.
-3
Suppose -11*g + 8*g + 24 = 0. Solve o - g = 5*o for o.
-2
Let t be 18/1 + -1 - (2 + -1). Solve -x + t = 3*x for x.
4
Suppose 5 = -l + 1. Let t be l + (3 - 1) - -27. Solve 0*w - t = 5*w for w.
-5
Let z = 2 + 1. Let d be (18/(-12))/(z/(-2)). Solve -m - d - 1 = 0 for m.
-2
Suppose -3*h = -h - 12. Solve h*d + 8 = 2*d for d.
-2
Let s(h) = h**2 - 7*h + 3. Let x = 13 - 6. Let r be s(x). Solve r*n = 7*n + 8 for n.
-2
Suppose -2*v = -10 - 10. Let x = -7 + v. Solve x*w + 16 = -w for w.
-4
Let b = -5 + 6. Let n be (-2)/((-4)/(-2)) - -3. Solve -n = -3*f + b for f.
1
Suppose 3*p - q + 0 = -4, -20 = 3*p - 5*q. Solve p = -4*a + 3*a - 5 for a.
-5
Suppose 0 = 4*o - u - 131, 3*o + 3*u = 9 + 108. Suppose 0 - 3 = j - 2*w, 0 = -2*j + 5*w - 10. Solve -9 = -j*x - o for x.
-5
Let j = 0 - -1. Let v = j - -1. Suppose 0 = 42*t - 45*t + 6. Solve t = -4*u - v for u.
-1
Let h = 0 + -6. Let i be 9/h*(-14)/3. Suppose 2*a - 3*j + i*j = 28, 0 = 5*a - 3*j - 18. Solve m + m = a for m.
3
Let k = 70 + -60. Solve -c - k = c for c.
-5
Suppose -3 = -5*z - 8. Let m be (z + 2)/((-4)/(-8)). Solve 0 = -n - m*n - 15 for n.
-5
Let t(w) = -w**2 - 14*w - 21. Let j be t(-12). Solve -j = m - 0 for m.
-3
Let x = -112 - -115. Solve x*c + 0 = 6 for c.
2
Let z(u) = 2*u - 14. Let h be z(7). Solve h*t = t for t.
0
Suppose q - 5*c = 3*q - 15, -2*c + 17 = 3*q. Suppose -2 - 58 = -q*y. Solve -2*j - 2*j - y = 0 for j.
-3
Suppose 0*n - n = -3. Let q(l) = -l**2 + l + 3. Let p be q(0). Let a be 1/2*(p + 1). Solve -a*w = -n + 11 for w.
-4
Let u(o) = o + 8. Let q be u(-6). Suppose n - q = -0. Solve 0*d - 10 = n*d for d.
-5
Suppose 2*k - 3 = -1. Let r = 1 - 0. Let v be k/(-2*r/(-4)). Solve -3 = s - v for s.
-1
Let x be -1*(4 - 5/1). Solve -4 = 3*r - x for r.
-1
Let k(f) = f**2 + 10*f - 6. Let y(m) = m**2 + m. Let n(s) = k(s) - 2*y(s). Let c be n(7). Let g be -1 + (2 - -1) + c. Solve 3*h - g = -0*h for h.
1
Suppose 5*w = 15 + 10. Suppose 5 = -3*q + w*u, -1 = q + 5*u - 6. Solve q*b + 1 = b for b.
1
Let