*b - d + z for b.
4
Let g(m) = 2*m - 2. Let q be g(2). Solve -q*t + 3 = t for t.
1
Let a be ((-2)/(-6))/((-7)/(-84)). Suppose -p - 17 = -4*y, -y + a = -1. Solve -3*m - 3 = p for m.
-2
Let o be -2*((-3 - 1) + 3)*1. Solve o + 22 = 6*m for m.
4
Suppose 4*l + 8 = -5*y + 2, 5*y + 15 = 5*l. Suppose -1 = c - 4. Let h be (22/c)/(18/27). Solve 5*x = l - h for x.
-2
Suppose 3*d = 6, -4 - 7 = 5*i - 3*d. Let o be 0 + (0 - i) + -2. Let s = 2 + o. Solve 3*u - 10 = -s for u.
3
Let m = 2 + 2. Solve -m*y = -3*y for y.
0
Let u(r) = -r**3 - 3*r**2 + 4*r + 5. Let g be u(-4). Suppose -g*k = -3*k. Solve k = 7*o - 4*o + 3 for o.
-1
Suppose 0 = 4*k - 8 - 8. Suppose -h + 25 = k*h. Suppose 0 = h*r + 5*v - 10, -2*r + 6*v = 2*v - 4. Solve -8 = -0*b + r*b for b.
-4
Suppose 0 = 3*p - 5*p + 8. Suppose -4*v = 2*h - 12, h - 2*h - v + p = 0. Suppose 2*s - 24 = -h*s. Solve s = -q + 4*q for q.
2
Let p(i) = -i**2 + 6*i + 10. Let h be p(8). Let s be -5*(-3)/(45/h). Let m = -2 - s. Solve m = 4*w - 8*w - 8 for w.
-2
Suppose 8 = a + 39. Let k = -11 - a. Let c = 0 - -10. Solve c*u = 5*u + k for u.
4
Let i(v) be the third derivative of v**4/12 - v**3/3 + v**2. Let m be i(3). Solve 2*d - d + m = 0 for d.
-4
Suppose -2*g - 2 = -8. Let n(w) = -4*w - 10. Let k be n(-4). Solve -g*h + 6*h + k = 0 for h.
-2
Suppose -2*q + 2 = -2. Suppose 5*s = 69 + 31. Suppose -4*b - s + 5 = -5*f, 0 = -q*f + b + 6. Solve 0*d - f*d = 3 for d.
-1
Suppose 5*p - 5 = 4*r, 4*p + 20 = 5*r + 3*p. Suppose -z = -r*a + 5, -z + 3*z - 4*a = -4. Solve 4 = 4*w - z for w.
1
Suppose -2*q + 60 = 2*k - 7*k, k = -4. Let d = q - 9. Solve -4*l - 1 = d for l.
-3
Let t(k) = -5*k + 85. Let x be t(17). Solve x = 3*i + 4 + 2 for i.
-2
Let b be 3*(40/(-12))/(-5). Solve -g = -b*g for g.
0
Let j(y) = -y**2 + 11*y - 13. Let z be j(9). Suppose -7 - z = -3*m. Solve -4 = -0*a - m*a for a.
1
Suppose -5*h + 3 = -4*h. Suppose j + 4*o - 16 = 0, -h*o = -8*o + 20. Let y(z) = -z**3 - 3*z**2 - 4*z. Let b be y(-3). Solve j = 4*t - 0*t - b for t.
3
Suppose -2 = x, 2*x + 35 - 7 = 3*h. Suppose -h*n + 7*n = -2. Suppose 4 + 4 = n*g. Solve g*d + 0 + 4 = 0 for d.
-1
Let k be -4*1/(-2) - -3. Suppose 3*x = k*l, x + 5*l = l. Solve -3*a - 2*a = x for a.
0
Let f = 6 + -15. Let d = f + 9. Solve d = -h - h + 6 for h.
3
Let j be -3 + 2 + -2 + 5. Solve 3*u = j*u - 1 for u.
-1
Let s(l) be the first derivative of -l**4/4 - 7*l**3/3 - 5*l + 3. Let y be s(-7). Let x = y + 11. Solve w - 25 = x*w for w.
-5
Let z(d) = -d**2 + 3*d - 5. Let j be z(4). Let n be (1 - (3 + j)) + -1. Let t be n/4*(-20)/(-6). Solve -6*y = -y + t for y.
-1
Let o = 55 + -29. Suppose 3*m + 3*g + 30 = 0, 0 = 2*m - g - 0 + o. Let y = -8 - m. Solve y*p + p = -20 for p.
-4
Let m(n) = -n**2 - 9*n - 8. Let g be m(-8). Solve g = h - 4*h - 3 for h.
-1
Let v be (-2 - -2) + -3 + 20. Suppose 4*w - 3 - v = 0. Suppose 0 = -w*m + 11 - 1. Solve -m + 0 = c for c.
-2
Suppose -3*u - 4*o + 8 = -26, 4*u + o = 28. Let t be -2*3/u - -4. Solve -12 = r + t*r for r.
-3
Let t = -21 + 24. Solve 0 = t*g + g + 12 for g.
-3
Let d(f) = -f**2 + 22*f + 5. Let x be d(22). Let k(r) = -3*r - 7. Let b be k(-5). Solve g = x*g - b for g.
2
Let v(f) = -f**2 - 4*f + 2. Let w be v(-4). Let o(u) = -2*u**w - u**2 + 2*u - 3*u - 4*u + u**3 + 6. Let c be o(4). Solve 0*q + 2*q = c for q.
1
Suppose y = -2*y - 6. Let r be (-4)/6*3/y. Let q = -40 + 59. Solve r + q = -4*o for o.
-5
Let h(u) = u**3 + 10*u**2 - 12*u - 7. Let s be h(-11). Suppose -s*o + 6*o = 0. Solve o*c + 2*c = 0 for c.
0
Let i be 3*(26/6 - 2). Let g = i + -4. Solve 15 = -3*w + g for w.
-4
Suppose -l + h = -0*h - 1, 4*h = -l + 6. Let f = 8 - 6. Suppose g + 4 = f*g. Solve -g*d = -l*d - 6 for d.
3
Let w be -1 - (12/3)/(-1). Suppose -5*b - w*c = -b - 92, 3*c + 68 = 4*b. Solve 4*j - 8 = -b for j.
-3
Let t(l) = -l + 10. Let y be t(7). Let x = y - 2. Let z be (-1 - -2)*x/1. Solve -g + 6 = z for g.
5
Suppose -4*x - 3 = -w, -7*x - 1 = -3*x - 3*w. Let y be 4 + x/(-1) - -2. Solve -16 + y = 3*d for d.
-3
Let s be (-1)/(((-9)/(-24))/(-3)). Solve -5*r + r - s = 0 for r.
-2
Suppose -5 = -3*j + 7. Suppose -c = j*c. Solve 4 = -c*v + 4*v for v.
1
Let l(g) = g**3 - 10*g**2 + 8*g + 21. Let y be l(9). Solve -z - y = 2*z for z.
-4
Let j = 14 + -16. Let m be j*4/(-8) - -1. Solve o = -m*o + 3 for o.
1
Let l(a) = 6*a - 1. Let w(j) = -j**3 - 7*j**2 - 6*j + 1. Let t be w(-6). Let h be l(t). Solve -h + 1 = -2*s for s.
2
Let n = 11 - 3. Suppose -f - 3*f = -n. Solve 3*k + f*k = 0 for k.
0
Let l be ((-3)/2)/((-2)/4). Let c(o) = -o**2 + 4*o - 1. Let h be c(l). Let u = 15 - 5. Solve 2*b + u = h for b.
-4
Let z(j) = 10 - 3*j - 4*j - 2*j**2 + j**2. Suppose -2*n + 8 = -2*k, 3*k + 28 = n - 2*n. Let b be z(k). Solve -b = -p - p for p.
1
Let g = 9 - 3. Suppose -g - 3 = -3*a. Suppose 0 = 5*l + a*v - v - 84, -5*v + 42 = 2*l. Solve 0 = 3*s + s - l for s.
4
Let x = 11 + -10. Suppose -5 + x = -2*s. Suppose -l + 4 = s. Solve 6 = l*k + k for k.
2
Let j = 5 - 5. Let i(c) = -c**3 + 3*c**2 + c + 1. Suppose 3*k + 0*k = 9. Let l be i(k). Solve j = -3*q + l - 1 for q.
1
Suppose -p = -2*p + 6. Suppose 0 = 3*d - 4*i + p, 0*i = 4*d - i + 8. Let c be (0 - 2)/(d/5). Solve 10 = -5*u - c for u.
-3
Suppose -2*r = -10 - 6. Let p = 11 - r. Solve p*a + 0*a = 3 for a.
1
Let k(j) = j - 4. Let w be k(9). Solve w*z - z = 8 for z.
2
Let n = -11 - -18. Solve n*r = 2*r for r.
0
Let a be 0/2 + 15/5. Solve 0 = -4*z + a*z + 4 for z.
4
Suppose -3*x - 19 = -5*g, 1 = -2*g - 2*x - 1. Suppose -d - g*d + 15 = 0. Let b(r) = -r**2 + 6*r - 2. Let q be b(d). Solve -z = q*z - 4 for z.
1
Let j = 13 + -11. Solve j*c + c = 0 for c.
0
Let k be 1*(-1 + 0 + 1). Suppose 2*t = 4*t - 2. Solve k = -4*h - t - 3 for h.
-1
Let c be 2/((-25)/10 + 3). Let a be 3/(3/2) + 6. Solve 0 = -c*i + a - 28 for i.
-5
Let c(s) = -3*s + 3. Let n be c(-6). Solve 0 = -5*l - n + 6 for l.
-3
Let b be 65/10 + (-2)/4. Suppose -3*m - b = 6. Let f(p) = p**3 + 4*p**2 - 2*p - 6. Let s be f(m). Solve -s*t - 1 = -7 for t.
3
Let m be (93/12)/((-2)/(-8)). Suppose 2*z = 4*v + 9 - m, 4*v = -4*z + 28. Suppose t = 3*t - 42. Solve -v + t = 3*y for y.
5
Suppose u = -3*u. Solve u*c - 2 = -c for c.
2
Let l = -35 - -40. Solve 3*u - l = -2 for u.
1
Suppose -3*j = -2*r - 15, 2*j = r - 6*r + 29. Let f = j + -2. Solve -2*l - 1 - f = 0 for l.
-3
Let n(j) = 3*j + 1. Let o be n(1). Suppose 5*t = 3*t + o. Solve -b = t*b for b.
0
Suppose r - 39 = -3*f, 4*r - 72 + 0 = -5*f. Suppose -f = -14*d + 10*d. Solve 7 = -d*c - 8 for c.
-5
Let c(d) = d**2 - d - 2. Let i be c(-1). Let j(v) = v**2 + v - 1. Let y be j(-3). Solve -y*p = -i*p for p.
0
Suppose -16 = 7*h - 3*h. Let x be (-60)/(-35) + h/(-14). Solve -3*d = -x*d + 4 for d.
-4
Let h = -112 + 137. Solve 0 = 4*g - 9*g - h for g.
-5
Let a = 6 - 1. Solve -5*k + 0 = a for k.
-1
Suppose -2*k + 2 = -4. Let d be k + -1 + 2/(-1). Suppose -2*v + 4 = -d*w + 4*w, 2*w + 10 = -4*v. Solve 3 = -w*g - 3 for g.
-2
Let y(n) = n**3 + 18. Let d be y(0). Suppose 4*t - f - d = 2*t, -f = t - 9. Solve -2*b + 1 = -t for b.
5
Suppose -p - l + 12 = 2*l, -p + 3*l = 0. Let o(c) = c**2 - 5*c + 3. Let z be o(p). Solve z = 5*i + 24 for i.
-3
Let i = -4 + 4. Let w = -5 + 7. Suppose -2*p + 5*g + 20 = 0, 0*p - w*p + 20 = -2*g. Solve i*d = 2*d - p for d.
5
Let c(k) = -6*k**2 + 3*k - 1. Let l(d) = d**2 + 1. Let f(z) = c(z) + 5*l(z). Let g be f(3). Solve -g*v = -v for v.
0
Let f = 0 - 0. Suppose f*m = m + 4. Let q be m/(-10) - (-32)/20. Solve -s + 0*s - q = 0 for s.
-2
Let u(f) = f. Let i be u(6). Suppose -4*s - 3*z = -5, -2*z = 5*s + 2*z - i. Suppose -3*h + s*w + 27 = -w, 0 = 2*h - w - 17. Solve -3*q + h = q for q.
2
Let l = 14 + -9. Suppose -l*a = -25 - 0. Solve 5*g = -a - 10 for g.
-3
Let r = 16 - 10. Solve 2*j + r = -j for j.
-2
Suppose 16 = -4*p + 16. Solve p*y - 6*y = -30 for y.
5
Let y be 7 + (1 + 0 - 2). Suppose y*b - 2*b = 36. Solve -3*l - b = -6*l for l.
3
Let h(b) = -b + 16. Let y be h(14). Solve -4 = m - y*m for m.
4
Let h(d) = -d - 1. Let v(k) = -5*k - 1. Let r(g) = -6*h(g) + v(g). Let j be r(0). Solve -j*b - 5 = 10 for b.
-3
Suppose -1 - 2 = -3*z. Solve 5*p - z = -26 for p.
-5
Let d(k) = -k**3 - 7*k**2 + 5*k - 18. Let s be d(-8). Solve -2*q - q = s for q.
-2
Suppose 0 = -5*z - 4*g + 83, -5*g - 41 = -3*z - 6. Solve z = 2*i + 3*i for i.
3
Suppose 3 = -2*k + 3*k. Solve k*l = 6*l + 3 for l.
-1
Let f be (