x - s for x.
3
Suppose 4*r + 2*j - 24 + 8 = 0, -4*j + 10 = -3*r. Suppose 4*l - r*g + 0*g - 6 = 0, l - 2*g + 6 = 0. Solve 1 = -5*k - l for k.
-1
Let l be (-30)/(-12)*(-4)/(-5). Solve 7*b + l = 5*b for b.
-1
Let s = -3 - -7. Solve 0 = -s*v - 0*v + 8 for v.
2
Suppose -r + 11 = r + l, -4*r + l + 37 = 0. Let d = -4 + r. Solve 0 = -d*n - 12 for n.
-3
Suppose -6 - 8 = -2*d. Let t(m) = m**2 - 4*m - 7. Let u be t(5). Let p = u + d. Solve p = -2*o + o for o.
-5
Let w(g) = g + 8. Let u be w(-6). Suppose 0 = -5*z + u*z. Solve -5*f - 11 - 4 = z for f.
-3
Suppose -a + 13 = 7. Solve 4*v + a = -6 for v.
-3
Let f be (6/(-7))/(4/84). Suppose -l + y = 9, -y = y + 2. Let z = l - f. Solve -z*h + 9 = -5*h for h.
3
Suppose 5*q + 34 - 94 = 0. Solve 3*y + q + 3 = 0 for y.
-5
Let s = 27 - 47. Let y = 20 + s. Solve y = -4*b - 0*b for b.
0
Suppose -p = -5*d + 12, -4*p + 2*p + 3*d + 4 = 0. Suppose 5*n + 33 = 2*s, -5*n + n - 32 = -3*s. Solve 4*c = -s - p for c.
-3
Let o be (9/15 - 1)*-15. Suppose -2*u - 2*k = 0, 9 = -5*k - o. Let p(d) = -d + 2. Let y be p(2). Solve y = 5*c + 12 + u for c.
-3
Suppose 0*a = 4*a. Let u = -34 + 36. Solve a = -c - u for c.
-2
Let t = -75 + 112. Let c = t + -21. Let r = c - 10. Solve -3*w + r = -5*w for w.
-3
Suppose 3*p - 3*z + 26 = -4, 3*p = z - 22. Let t = p - -10. Solve -2*d = -t*d + 4 for d.
2
Let w(b) = -2*b**2 - 13*b + 9. Suppose -r + 0*r - 7 = 0. Let v be w(r). Solve -v*z = -6 - 0 for z.
3
Let n = 9 + -8. Solve r + 2 = n for r.
-1
Let b(j) = j - 4. Let w be b(6). Suppose w*h + 6*g - g + 8 = 0, 0 = 4*h - 5*g - 14. Suppose -m = 2*k + 2*m + 11, 0 = -5*k - 2*m. Solve -3 = k*f + h for f.
-2
Let d = 21 + -11. Let w(p) = -p + 14. Let j be w(d). Solve 3*k - j = 5 for k.
3
Let f(x) = -7. Let s(j) = -j - 6. Let c(h) = 3*f(h) - 4*s(h). Suppose -4*b - 5 = -g - 21, -3*g = 2*b + 6. Let o be c(b). Solve w - 4*w = o for w.
-5
Let g(y) = y**2 + 5*y - 6. Let x(b) = 12*b + 4*b**2 + 3*b + 0*b**2 - 19. Let r(i) = -7*g(i) + 2*x(i). Let m be r(5). Solve -19 = m*k - 3 for k.
-4
Let d be (4 - 0) + 4*(-2)/(-8). Solve 12 = d*z - 13 for z.
5
Let t = 2 + 1. Suppose -t*x + 2*x = 0. Solve 6*n - 2*n - 16 = x for n.
4
Suppose -5*v + 3*v - h = -6, -v + 8 = 3*h. Suppose -2 = -o + s + v, 0 = o + 5*s - 34. Solve 3*z = o + 3 for z.
4
Let b be (66/(-8))/((-2)/(-8)). Let s be 4/14 + b/(-7). Solve -s*x = -x + 4 for x.
-1
Let o = 6 + -6. Solve -2*p + o = -6 for p.
3
Suppose 2*s = -2*z + 20, -7 = -2*z + s + 13. Solve -2*f + 4*f = -z for f.
-5
Suppose -14*l = -10*l. Solve -2*g + l + 8 = 0 for g.
4
Let z(n) = -5*n**2 - 10 + 5*n + 2*n + 4*n**2 + 6*n. Let c be z(12). Solve -c*d + 8 = 2*d for d.
2
Let n be 1/2*(2 - -42). Suppose -n = 2*c - 4*c. Solve 2*b - 3 + c = 0 for b.
-4
Let m(r) = r**3 - r**2 - r - 2. Let y be m(2). Solve y = 5*n - 7 - 18 for n.
5
Suppose -h + 2*b = -2*h - 3, 3*b + 5 = -h. Let o = 5 - h. Solve w + 25 = -o*w for w.
-5
Let o = 43 - 43. Solve o = 2*d - 0 - 10 for d.
5
Let s(p) = -p**2 - 5*p - 2. Let y be s(-4). Solve 4*w = y*w + 6 for w.
3
Let s = -89 + 89. Solve 2*w + s*w = 0 for w.
0
Suppose -4*m = 3*f + 12, -3*m + 5*f + 20 = -8*m. Solve -5*v + 7*v - 10 = m for v.
5
Let p = -50 + 23. Let a be -4*(-2)/(-4) - p. Suppose 5*j = 4*d + 15, d + 5*j - a + 10 = 0. Solve f + 0 - 3 = d for f.
3
Let w(o) = -3*o**3 + 4*o**3 + 8*o - 5*o**2 - 2*o. Let q be w(4). Solve -4*a - 20 = -q*a for a.
5
Suppose 3*w + 36 = 3*i, -2 + 20 = 3*i + 3*w. Let j = -4 + i. Solve 8*a - 15 = j*a for a.
5
Let y(d) be the first derivative of d**4/24 + d**3/6 + 3*d**2/2 + 3. Let j(g) be the second derivative of y(g). Let u be j(3). Solve u*p = -5 - 3 for p.
-2
Let y = 14 - 8. Suppose -3*b = -0*b - 3. Let q be ((-1)/2)/(b/(-6)). Solve -q*f + y = -0*f for f.
2
Suppose 5*v - 5*i = -4*i + 19, 4*v = -4*i - 4. Let b be ((-6)/8)/(2/(-8)). Solve 2*q = b*q + v for q.
-3
Let t(j) = 5 - 2*j + j - 6. Let n be t(-4). Solve 3*p - n = 3 for p.
2
Let t be ((-2)/(-3))/(2/15). Let s = -3 + t. Suppose -s*f - 3*i = 5, 0*f - 19 = -2*f + 5*i. Solve -2 = -f*l + 3*l for l.
-2
Let x = 1 - -4. Suppose -16 - 4 = x*q. Let o be (q - -2)*(0 + -2). Solve -o*r = -2*r - 8 for r.
4
Let w = -17 - -19. Solve -5*m = w + 18 for m.
-4
Suppose 24 = -3*q + 126. Let f be -2 + -10*2/(-4). Suppose m + 27 = 5*i - 3*m, -4*i + q = f*m. Solve -2*d + i*d = -25 for d.
-5
Let k = -98 + 142. Suppose -25 = 5*l, -6*m + 2*m + k = 4*l. Solve -y + m = 3*y for y.
4
Let q(d) = 3*d**2 + 2*d + 1. Let m(k) = -k - 9. Let p be m(-8). Let x be q(p). Solve x*n = -n + 6 for n.
2
Let o(z) = z + 1. Let y be o(3). Suppose 0 = -y*q + q. Solve 7*b - 3*b + 20 = q for b.
-5
Let m = 6 + 4. Suppose -w - 5 = 3*n - 21, 0 = 5*w + m. Solve -4*r + n = -6*r for r.
-3
Let h = -2 - -6. Let g be h + 1*2/2. Suppose -y + 4*y + 7 = -g*r, -4*y + 39 = -3*r. Solve -3*z - y = -0*z for z.
-2
Let u(a) = a**2 + 3*a + 3. Let o be u(-3). Suppose 3 = -o*v, -1 + 0 = -b - v. Let w = 0 + 0. Solve 0*t - t + b = w for t.
2
Let q(r) = -5*r - 4. Let h(d) = 9*d + 7. Let f(s) = 4*h(s) + 7*q(s). Let a be f(3). Suppose 8 = i + a. Solve -b = -i*b for b.
0
Let m(k) = -k + 1. Let b be m(7). Let q be b/(-15) - 202/5. Let u be 2/10 - 112/q. Solve u*v + 0*v = 9 for v.
3
Let q = 4 - -3. Solve 3*c = q*c + 8 for c.
-2
Let v = 48 + -27. Suppose -4*c - 4 = -4*d, 4*d + 14 - 54 = -5*c. Solve -d = -4*y - v for y.
-4
Suppose -4*q + 17 = -3*h, 2*q + 3*h + 5 = -0. Solve -4*g + q*g = 10 for g.
-5
Suppose 10 = -2*o, 3*p - p - o - 11 = 0. Solve -3*y + 0*y = -p for y.
1
Let f(o) be the third derivative of -o**6/40 + o**3/6 - 2*o**2. Let d be f(-1). Let w be 3/(-6)*(1 - 1). Solve -s + w = d for s.
-4
Suppose 4*u + 34 = 2*s - s, -4*u - 5*s = 22. Let p = u + 15. Solve p - 2 = -b for b.
-5
Suppose -o + 2*o - 2 = 0. Suppose -3*i = -3*q - 36, 0*i - 13 = -i + o*q. Let s = -7 + i. Solve 0 = m + 3*m + s for m.
-1
Suppose 2*a + 4*k - 27 - 11 = 0, -a - 1 = -2*k. Solve 5*v - a + 4 = 0 for v.
1
Suppose i - 2 = -2*w + 10, 5*w = -i + 24. Solve -3*b - i = -7*b for b.
1
Let o(d) = d**3 - d**2 + d - 2. Let j be o(2). Solve 8*z = j*z - 20 for z.
-5
Suppose 0 = 42*h - 41*h - 5. Solve -h*s = -3 - 2 for s.
1
Suppose -8*f + 5 + 19 = 0. Solve -3*g + f = -2*g for g.
3
Let i(d) = 3*d**2 - 12. Let c be i(-3). Let h(t) = 2*t + 1. Let q be h(1). Suppose 2*w = 13 - q. Solve -w*g + 0*g - c = 0 for g.
-3
Suppose -4*r - 4*d = -28, 2*r - 2*d = -2*r + 4. Suppose 2*w - 3*o + 16 = 1, 33 = -5*w + r*o. Let s be 0/(4/w*-3). Solve -m + 1 - 4 = s for m.
-3
Suppose 16 = 5*f - 34. Solve b + 4*b = -f for b.
-2
Suppose -2*q + 10 = -4*q + 2*o, o + 25 = -4*q. Let w be ((-3)/q)/(-1)*0. Solve 3*v + w*v + 9 = 0 for v.
-3
Let a(c) be the third derivative of -c**6/240 + c**5/24 + c**4/12 + 2*c**2. Let v(b) be the second derivative of a(b). Let j be v(-5). Solve 4*x + j = -x for x.
-4
Suppose -2*w = 5*r - 0*r - 11, -w = r - 4. Solve 0 = 2*k + 9 - r for k.
-4
Suppose -w + 8 = 3*w. Solve -21 + 17 = -w*p for p.
2
Suppose -b - 19 + 1 = 0. Let a be (b/3)/((-6)/8). Suppose 2*q + 2*q - a = 0. Solve -q*m + m = 1 for m.
-1
Suppose -4*w = -0*w - 32. Solve 2*m - w + 2 = 0 for m.
3
Let r = 23 + -8. Let h be 27/r - 2/(-10). Suppose d - h = -d. Solve l - d = 1 for l.
2
Let y(b) = 5*b - 8. Let x(t) = 2*t - 4. Let k(c) = 9*x(c) - 4*y(c). Let j be k(-4). Solve 14 = j*f + 2 for f.
3
Let u = -6 + 9. Suppose 10 = -1207*a + 1212*a. Solve a = -u*r - 1 for r.
-1
Suppose 4*r = 60 - 12. Suppose r = 3*d + 6. Solve -3 = d*w + w for w.
-1
Suppose 5*t - 7 = l, -3*l = -3*t + 2 - 5. Solve 0*y - l*y = -15 for y.
5
Let t be (-14)/63 - (-29)/9. Let d = -42 - -59. Solve 2 = -t*w + d for w.
5
Suppose 0 = -4*u + m + 55 + 7, 4*u = -3*m + 54. Solve -4*l + u = -l for l.
5
Let y be (-2)/(-2) - -1*5. Solve c - 3 + y = 0 for c.
-3
Suppose 2*l = -8, 4 = 2*h - 2*l - 14. Solve -h = a - 1 for a.
-4
Let l(s) = -s**2 - 5*s + 4. Suppose -10 + 25 = -3*x. Let i be l(x). Solve i*o = -o for o.
0
Suppose -7*j + 112 = -3*j. Suppose 5*p - j = 2. Solve p*i = i for i.
0
Let f = -19 + 29. Let c(m) = -71*m**2 + 37*m**2 + 33*m**2 + 11*m. Let o be c(f). Solve -o = -a - a for a.
5
Let p(f) = f**2 - f**3 - f**2 + 2*f**2 - 1 + 0. Let j be p(-1). Solve 5*k - j = 3*k for k.
1
Let v(w) = -2*w + 8. Let b be v(-6). Suppose 5*s = 4*k + 10 + 30, 0 = -4*k - b. Suppose -3*y - 3 = 0, -s*i - 3*y + 5 + 4 = 0. Solve 1 = -2*z + i for z.
1
Suppose 0*x + 3*x