- u = g for g.
-3
Suppose 8 = h + 4. Let z be (18/(-15))/(h/(-10)). Solve z*r = -2*r - 10 for r.
-2
Let q(k) = k**2 - 6*k - 14. Let f be q(10). Let u = 1 + f. Solve 7 - u = 4*r for r.
-5
Let u(l) = l**2 - 5*l + 2. Let p be u(7). Suppose -p = -7*v + 3*v. Solve -f + 3*f + v = 0 for f.
-2
Suppose 5*a = 5*p - 38 + 8, 3*a + 10 = -p. Let x be 5/2 + 2/a. Suppose -2*d + 21 = 5*r, x*d + 0*r - 18 = -2*r. Solve 0 = -d*s + 4*s - 8 for s.
-2
Let r(a) = a**3 - 6*a**2 + 3*a - 2. Let u be r(6). Suppose 0*v = -v + 4. Solve -u + v = 3*x for x.
-4
Let i be (8/(-3) + 3)*0. Suppose -5*t + 80 = -i*t. Let y = 32 - t. Solve 3*v + v + y = 0 for v.
-4
Let l = -9 - -13. Suppose 0*c - 2*c = -l. Solve 5*v = c + 3 for v.
1
Suppose -2*z - 3*z + 4*j - 75 = 0, -60 = 4*z - 3*j. Suppose -5*f + 2*n - 64 = -7, -4*n - 18 = 2*f. Let g = f - z. Solve g = 2*o - 2 for o.
3
Let n = 5 + 15. Suppose 0 = -2*b + 5*w - 0*w + 15, 1 = -w. Suppose -4*y - n = -b*y. Solve -6*x = -x + y for x.
-4
Let b = 1 - 1. Let c = 12 - 10. Suppose 0 = -3*j + 2*j + c. Solve -j*q + 0 - 2 = b for q.
-1
Suppose 0*k = -5*k + 105. Suppose -9 = -3*t + 3*i, -5*i + k = 2*t + 2*t. Suppose -t*o + 1 + 7 = 0. Solve -o*f + f - 2 = 0 for f.
-2
Suppose -1 + 0 = -c. Let v = 3 - c. Solve -v*o + 4 = 12 for o.
-4
Suppose -3*k = 2*w - 4*k - 12, 3*w = -k + 13. Let y = 31 - 23. Solve w*j - j = -y for j.
-2
Let s = -21 - -26. Suppose -s*f = -h - 109, 4*h + 0*h - 48 = -2*f. Suppose 0*v = 2*v - 6. Solve -f = v*c - 7 for c.
-5
Let o be 2/3 + 7/3. Let l be 1/(-2) + o/6. Solve g = -l + 2 for g.
2
Let a(z) = -z - 2. Suppose -3*j - 1 = 2*q + 3, -16 = 2*j - 2*q. Let u be a(j). Solve 3*h - 11 + u = 0 for h.
3
Let v(a) = -a - 7. Let i be v(0). Let c = i + 11. Suppose c*x - x = 18. Solve 0 = x*y - y - 20 for y.
4
Suppose -2 + 1 = l. Let m be l*-6*2/(-3). Let r = m + 7. Solve -2*q - 5 = r for q.
-4
Let t(u) = -u**2 - 14*u. Let r be t(-14). Solve a + 0*a - 4 = r for a.
4
Let u = 4 - -3. Let c(q) = q - 2. Let g be c(10). Suppose 5*m - g = u. Solve -2*d + 1 = -m*d for d.
-1
Let v be 5*-3 - (-8 - -7). Let b be v/(-7) + -1 + 1. Solve d - b = -3 for d.
-1
Suppose 4*g - 4*f = 92, 3*g + 2*f - 25 = 19. Suppose 378 = -4*h + g. Let u be (h/27)/(2/(-3)). Solve d - u*d + 20 = 0 for d.
5
Let k(s) = 2*s + 2. Suppose -5*w + q + q = 6, -2*q - 6 = w. Let n be k(w). Let f be 9/(n + -1) + 7. Solve -f*u + 0 = -4 for u.
1
Suppose -3*k + 9 = -4*p, 0*k + 5*p + 3 = k. Suppose -4*v = 0, k*q = -2*q - 3*v + 30. Solve -3*i + 5*i = -q for i.
-3
Let u(p) = -p**2 - 6*p + 9. Let a be u(-7). Suppose 0*w - a = -w. Solve 0 = -w*b - b + 12 for b.
4
Let m be -1 + (-1 - 0)*-1. Suppose 2*f + f = m. Solve f = -4*h - h - 5 for h.
-1
Let m(g) = -g. Let u be m(0). Let w = 1 - u. Let k(r) = -r**3 + 8*r**2 + 3. Let a be k(8). Solve w - 4 = a*f for f.
-1
Let f be (-5 + 2 + 2)*-3. Suppose 2*u = -10, -b = 2*b + 3*u + 15. Solve -f*x + 0 - 3 = b for x.
-1
Let w be 6/10 - 21/(-15). Suppose -w*q + 10 = 3*i, 5*q = i - 6 - 3. Suppose 2*a - 2 = 2*x, 3*x - 21 = -i*a - a. Solve 2 = -2*z + a*z for z.
2
Let s be 2/4 - (-4)/8. Suppose g = -s + 2. Suppose 5*k + g + 4 = -5*q, 5 = -k - 2*q. Solve w = -k*w - 12 for w.
-3
Let b be 1 - -2 - 3/3. Let c be 36/8 + b/4. Suppose -1 = -3*x + c. Solve -q = -x*q for q.
0
Let t be 3/(-12) - (-53)/4. Let j(r) = -65 + r + 2*r + 60. Let l be j(4). Solve -l = -5*h + t for h.
4
Let c be ((-2)/(-6))/((-2)/(-30)). Let x be ((-6)/5)/((-2)/c). Suppose -3*f - z + 2*z + 18 = 0, -3*z + 24 = 4*f. Solve f*v = x*v for v.
0
Suppose 0 = 9*z - 5*z - 24. Solve -5 = -z*j + j for j.
1
Let t = -7 + 8. Let a be 15*(-2)/(-3)*t. Solve 0*h = -5*h + a for h.
2
Let g be 9/(-2)*(-10)/3. Let x = 0 + 0. Suppose 36 + 24 = 12*o. Solve -o*v + x*v = -g for v.
3
Let t be (4/(2 - 1))/((-4)/(-14)). Solve -g + t = 9 for g.
5
Let s(u) = -2 + 0*u - 8*u + u**2 - 5. Let b be s(9). Solve 3*a = -b*a - 5 for a.
-1
Suppose 0 = 2*p + 17 - 21. Solve p - 1 = -q for q.
-1
Let u = -49 - -76. Let m be 8 - -1 - (4 - 2). Solve u = -4*x + m for x.
-5
Let m = -2 - -13. Let r = -16 - -21. Solve -r*d + 4 = -m for d.
3
Let z be (-15)/(-10) - (-1)/2. Solve z + 8 = 5*p for p.
2
Suppose 3*w + 5*s + 1 = 0, w + 4*s - 7 = -12. Solve -4*d - w = -15 for d.
3
Suppose -5 = -5*d - 25. Let j = 2 - d. Solve j*c - 2*c = -8 for c.
-2
Let j be 0/((0 - 8)/(-4)). Solve 0 = -j*n - 5*n for n.
0
Let o = 5 - 3. Let h = -2 + o. Let c = 2 + h. Solve c*u + 20 = -3*u for u.
-4
Let l(j) = 5*j**2 + 3*j + 1. Let a(m) = -m**2 + m. Let b(w) = 4*a(w) + l(w). Let h be b(-7). Solve y - h = -3 for y.
-2
Suppose -q + 6 = -4*j + 25, -2*q - 23 = -5*j. Suppose j*c + 10 = -5*m, -3*c + 8*c - 5*m - 10 = 0. Solve c = -w - 2 + 3 for w.
1
Suppose -4*j = 3*f - 17, 3*j + f = 6 + 8. Solve -j*n = -n + 12 for n.
-3
Let o be ((-77)/28)/((-2)/8). Let b(i) = i - 8. Let c be b(o). Solve 2*f - c - 3 = 0 for f.
3
Let v be -7*((-25)/35 + -1). Solve -f - 3*f + v = 0 for f.
3
Suppose 3*k - 7 = t, 0 = 3*k - 2*t - 6 - 2. Solve k*a = a - 5 for a.
-5
Suppose n - 3*r - 17 = -n, 5*n + r = 0. Let h(a) = a**3 - 2*a**2 - 3. Let u be h(3). Solve -l - u = -n for l.
-5
Let t = -39 + 27. Let g be -3*-2*(-2)/t. Solve 0 = -3*z - g - 8 for z.
-3
Suppose -2 = 4*m - 5*m. Solve -m = l - 0 for l.
-2
Suppose -231 = -4*t - 47. Let c be (-10)/20 - t/(-4). Solve -3*r - 2 = -c for r.
3
Let o(k) = 3*k**2 + 2*k + 2. Let a be o(-2). Solve 0 = -2*x - 0*x + a for x.
5
Let u be (-8)/(-2 - 24/(-15)). Solve -6*x + u = -x for x.
4
Let u be 2 + -1 + -2*5. Let q(p) = -p - 7. Let k be q(u). Solve 4*l - k = 2 for l.
1
Let w = 6 - 4. Solve 0 = -q - 0 + w for q.
2
Suppose 0 = 5*q - 3*r - 10, 0*r + r = -3*q + 6. Let h(k) = k**2 + 3*k + 2. Let y be h(-5). Solve -q = -5*f - y for f.
-2
Suppose 0*h - 5*h + 20 = 0. Let v(k) = -k**3 + 7*k**2 + 6*k + 16. Let q be v(8). Solve q*j = h*j for j.
0
Let h(t) = 5*t + 1. Let j be h(2). Let s = 15 - j. Suppose s*d + 2*i - 16 = 0, -4*d - 2*i + 18 = i. Solve 0*f + 6 = d*f for f.
2
Let n be (4 - 3)/((-1)/(-2)). Suppose -4*r - 5 = -17. Suppose -4*d - 4 = z, 2*z - r*d - 2*d - 5 = 0. Solve z = -3*u + n*u - 4 for u.
-4
Suppose -4*c + 3 - 5 = 3*l, 0 = -4*l + 4*c + 16. Let y be (-2)/(-6)*(13 + l). Solve q - y = 2*q for q.
-5
Let n(v) = -v + 8. Let x be n(-7). Solve -m - x = -6*m for m.
3
Let t = 0 - -3. Let w(k) = k**2 + 4*k. Let b be w(0). Suppose b = -t*l + 5 + 1. Solve -r = r + l for r.
-1
Let c(d) = -d**2 - 20*d + 21. Let o be c(-21). Solve 2*p - 3*p = o for p.
0
Suppose -b + 5*m = -5, -b + 2 = -5*b - 2*m. Solve b*a + 2*a = -8 for a.
-4
Suppose 4 = 5*m + 3*u - 12, 2*u + 6 = 0. Let b(k) = k**2 - 6*k - k**2 + k**2 + 7. Let n be b(m). Solve n*z = z for z.
0
Let f(c) = -c**2 - c. Let o(l) = -l**3 - 2. Let z(r) = 6*f(r) + o(r). Let k be z(-5). Let u(a) = -2*a. Let i be u(-2). Solve i*p = 5*p + k for p.
-3
Let r = 136 - 133. Solve 0 = 4*g - r*g + 4 for g.
-4
Suppose -x + 3 = -0*x. Suppose 3*n = 9, 0*w + n = -w + x. Solve c + 2*c = w for c.
0
Let g = -6 - -16. Suppose 4*f - g - 6 = 0. Let n(d) = 2*d - 6. Let i be n(5). Solve 2*w + f = i*w for w.
2
Suppose 11 + 37 = 8*m. Solve m*t = t + 20 for t.
4
Let x = 7 - 4. Let s be (18/(-4))/(x/(-6)). Solve -2*f = f + s for f.
-3
Suppose 5*c + 2*r = 4*r + 7, 3*r + 7 = 4*c. Solve 0 - c = -d for d.
1
Suppose 4*h - 5 = -k, 1 + 4 = 5*k. Suppose 0 = -15*i + 19*i - 24. Solve p - h + i = 0 for p.
-5
Let j be 6 + (6 - 3) + -1. Suppose 2*y = -2*y + j. Solve a + 5 = y*a for a.
5
Let k be (-8)/(-36) - (-4)/(-18). Solve k = 2*w - w for w.
0
Let p be (3/(-2))/(2/(-12)). Suppose 3*v - p + 3 = 0. Solve 25 = -v*r - 3*r for r.
-5
Suppose -4*v + 9 + 31 = 0. Suppose 6 = -4*u + v. Solve s + u = -0 for s.
-1
Suppose -4*q = -3*q - 8. Solve 4*h = q + 4 for h.
3
Suppose 0 = 5*m - 2*m - 27. Suppose -5*j + 2*j = -m. Solve -j*z + 25 = 2*z for z.
5
Suppose 12*f - 59 = -11. Let h(d) be the second derivative of -d**5/20 + d**4/2 - 2*d**3/3 + d. Let u be h(f). Solve 6 - u = 2*y for y.
-5
Let f = -9 + 14. Suppose f*q - 3*o = 45, 4*o + 4 - 2 = -3*q. Solve 0 = q*h - h - 5 for h.
1
Let v = 29 + -18. Solve 1 = 3*z - v for z.
4
Let t(v) = -2*v**3 - 7*v**2 + 7*v - 5. Let g(w) = -5*w**3 - 14*w**2 + 14*w - 10. Let l(o) = -3*g(o) + 7*t(o). Let c be l(6). Solve -q = -4 - c for q.
5
Suppose 7*v - 6*v = 4. Solve -v*a + a = 0 for a.
0
Suppose -5*f + 43 = -4*i, 4*f - 20 = -2*i - 2*i. Let r = f + 1. Sup