-j*t = -0*t - 8 for t.
4
Suppose 0 = 2*a - 0 - 4. Suppose 0 = 3*t - a*t - 21. Let u = -11 + t. Solve -u = -d - d for d.
5
Let p = 15 + -10. Let g = -7 - -7. Solve p*v - 15 - 10 = g for v.
5
Let p be ((-4)/(-6))/(4/444). Let x be (-2)/5 + p/10. Solve -8 - x = 5*w for w.
-3
Suppose -15 = -5*i + 10. Suppose b - 3*p + 6*p = 10, 0 = -3*p. Let q be (-5 - -2)/3 + b. Solve -i*x - 24 = -q for x.
-3
Suppose 0*o + 12 = 4*o. Suppose -l - 5*c - 12 = 0, -l - 2*c = -o*c - 6. Solve -n + 1 = l for n.
-2
Let k(x) = 2*x**2 + 5*x + 3. Let j be k(-3). Let c = j + -3. Solve -c*r = -6 - 0 for r.
2
Let j = 25 - 21. Let r(o) = -o**3 + 5*o**2 + 2*o - 4. Let s be r(5). Let n be 154/s - (-4)/(-6). Solve -j*f - n = -9*f for f.
5
Suppose -4*p + 45 = -7. Solve 3*g - p = -4 for g.
3
Let v = -3 + 27. Suppose -2*y = 4*o - v, o + o - 5*y = 0. Solve -7 = o*q + 18 for q.
-5
Suppose 0 = 11*m - 8*m - 6. Solve 0 = m*q - 3*q for q.
0
Let r = -35 + 49. Suppose 0 = -5*q + t - 0 - 14, r = q + 4*t. Let n = q + 2. Solve n = -3*k - 6 - 6 for k.
-4
Let t(w) = w**2 + 8*w - 9. Let s be t(-9). Suppose -2*u = -5*u. Let y(p) = -p + 4. Let a be y(u). Solve s = a*z + 9 + 11 for z.
-5
Let b be 2*(3 + 13/(-2)). Let m(w) = -4*w - 4. Let k(v) = -3*v - 3. Let g(z) = b*k(z) + 5*m(z). Let c be g(1). Solve 3 = -5*q - c for q.
-1
Let d(r) = r**2 + 12*r. Let p(i) = i**2 + 11*i. Let m(x) = 3*d(x) - 4*p(x). Let w be m(-8). Solve w - 1 = -n for n.
1
Let j = -5 + 8. Solve 20 = 7*l - j*l for l.
5
Let o = 88 + -74. Suppose -2*z = z - 30. Let r = o - z. Solve r*u + 6 = -10 for u.
-4
Let y(n) = 2*n**2 + n + 2. Let j be y(-1). Solve 0 = -u - 2*u - j for u.
-1
Suppose 0 = 22*y - 23*y + 2. Solve -y*t = 2*t for t.
0
Let b = 20 + -8. Let j be ((-2)/(-4))/(3/b). Solve -2*y = -j - 6 for y.
4
Let g(n) = -8*n - 2*n - 10 - 9*n**2 + 9*n**3 - 10*n**3. Let q be g(-8). Solve -q*x = -x for x.
0
Let d be 0 - 1 - (-7 + -1). Suppose d = 3*v - 17. Let c = v - 3. Solve -4*s + c = 25 for s.
-5
Let t = 10 - 7. Suppose 4*x = t*h + 16, 4*h = -x - x + 8. Solve x = 5*u - 1 for u.
1
Let z = 4 - 0. Let a be z*((-30)/8)/(-3). Solve a*l - 1 = -6 for l.
-1
Suppose 4*d - 302 = 2*r, 4*r - r = -d + 86. Suppose 2*m = 2*i + 3*i - d, -m + 44 = 3*i. Solve -3*b + 0*b - i = 0 for b.
-5
Suppose -5*p + 63 = s, 0 = -6*s + 2*s - 8. Suppose -4*r - x + p = r, -3*r + 21 = 5*x. Solve d + 3 = r*d for d.
3
Let i(j) = 2*j + j - j. Let s be i(4). Solve 3*x + s = 2 for x.
-2
Let q(v) = -3*v + 1. Let f be q(-5). Let h = -49 + f. Let b be h/(-12) - (-2)/8. Solve -b*x - 8 = -x for x.
-4
Let f = -24 - -35. Let v = 0 + f. Solve v = -3*z + 26 for z.
5
Let i(z) = 15*z**2 - 2*z - 1. Let w(q) = -2*q**2 + 1. Let l be w(1). Let g be i(l). Suppose 0*b - 4*x - g = -3*b, -3*x = 3*b + 12. Solve 0 = c + 2 - b for c.
-2
Suppose -5*b + 20 = 0, -u = -3*u - 5*b + 40. Solve 0 = -5*a + 5 + u for a.
3
Suppose 4*w - 7 = 1. Suppose 0 = 4*p + o - 0*o + 28, o - 8 = w*p. Let f = p - -16. Solve -2*l = -0*l - f for l.
5
Suppose -4 = -2*l + 3*x + 8, -3*l + 4*x + 17 = 0. Let j = 9 + l. Let f = j + -6. Solve -f = d + 2*d for d.
-2
Suppose -3 = 50*t - 51*t. Solve 3*f = -0*f - t for f.
-1
Let o be -6*(-2 - (-10)/6). Suppose -o*n - 2*n = -20. Solve 10 - 30 = n*r for r.
-4
Let n(j) = -5*j - 1. Let i be n(-1). Suppose i*z = q + 20, -4*z - 5*q + 50 = 6. Solve a = -a + z for a.
3
Let k(a) = 5*a**2 + a - 1. Let c be k(1). Let n(m) = -m + 1. Let s(l) = l - 1. Let o(q) = c*n(q) + 4*s(q). Let g be o(0). Solve -h - g = 4 for h.
-5
Let m(j) = 6*j - 1. Let p(w) = -4*w + 1. Let g(t) = -5*m(t) - 7*p(t). Let r be g(-2). Let u = 20 - 11. Solve -s - u = r*s for s.
-3
Let y(f) = -3*f + 2. Let n be y(2). Let k = 4 - -2. Let a be k/n*2/(-3). Solve -a = 2*j - 9 for j.
4
Let g(s) = 2*s**2 - 4*s - 2. Let c be g(-3). Suppose -4*l - 3*h - 2*h = -1, c = 4*l - 4*h. Let a(x) = -3*x + 5. Let k be a(-5). Solve l*v + v + k = 0 for v.
-4
Let u = 13 - 35. Let v = u + 25. Solve 2*g - 5 = -v for g.
1
Let s(k) = k**3 + 6*k**2 - 29*k - 10. Let h be s(-9). Solve v = -h + 3 for v.
-5
Suppose 2*g = 6 + 6. Suppose 0 = -q + g - 1. Let i = -4 + q. Solve -i = -5*r + 14 for r.
3
Let a(r) = r + 8. Let q be a(-9). Let d = q - -1. Solve 0 = -d*x - 4*x + 16 for x.
4
Let t = 23 + -7. Let d be (-7 + 2/1)*-1. Suppose 6*v = 3*v - d*z + 20, 4*v + t = 4*z. Solve v*p = 2*p + 4 for p.
-2
Let h be (10/3)/((-6)/(-9)). Let q be 2 + -1 + 0 + h. Solve 4 = 5*j - q for j.
2
Let c be (-8)/20 + 272/5. Suppose -15 = 3*d - c. Suppose -55 = -5*u + x, -x - d = -3*u + 22. Solve 0*o = 2*o + u for o.
-5
Suppose 5*r + 4*o - 84 = -0*o, 2*o - 92 = -5*r. Suppose 5*p = -0*p + r. Solve p*f + 15 = f for f.
-5
Suppose -x = x. Suppose -3*c = -0*c, x = -5*s + 5*c + 15. Solve s = -3*y - 3 for y.
-2
Let r be 3/12*0*-1. Suppose 4 = 6*f - f - 4*q, -3*q = -12. Suppose 2*w + f = 3*w. Solve 2*v - v - w = r for v.
4
Suppose 9 = 3*a - 0*a. Suppose -g - 10 = -a*r, -6*r + 2*r + g = -15. Solve -4*w + r*w = 1 for w.
1
Suppose 3*a = -2*a. Suppose -4*y - 7 = 5*x - a*y, -2*y - 9 = -3*x. Let w be 1 + 1 + (5 - 5). Solve -u + x + w = 0 for u.
3
Let n be (3 + -2 + -1)*-1. Solve s + 0*s = n for s.
0
Suppose -3*k = -2 - 7. Let t = 0 + k. Solve 0 = -t*j + j for j.
0
Suppose r - 20 = -4*r. Solve r*j = j - 12 for j.
-4
Suppose f - 5*a = 17, 2*a + a = -3*f - 3. Suppose -2 = -2*i - 3*o, 3*o = 4*i - 0*o - 22. Suppose 35 = i*m + 11. Solve -f*d - d = -m for d.
2
Let b(i) be the third derivative of -i**4/6 - i**3/2 - 7*i**2. Let p be b(-7). Solve -z - p = 4*z for z.
-5
Let f(l) = l + 2. Let u be f(-1). Let y be u/2 - 5/(-2). Solve -3*j = y + 9 for j.
-4
Let a be (-8)/(-6) - 4*5/(-30). Solve a*x = 4 + 6 for x.
5
Let x = 5 + 2. Let w be ((-14)/(-4))/x*20. Suppose -2*g + f + w = 0, -f + 12 = 4*g + f. Solve -g*v - 12 = -v for v.
-4
Suppose r + 3*r = 8. Let l(c) = -10 + 5*c + 2 - c + c**r. Let x be l(-6). Solve 0 = x*d + 15 + 1 for d.
-4
Suppose 2*v = -3*o - 2, -5*v - 3*o = -o - 6. Let l be 22/2 + 0 + 1. Solve v*q - l = -q for q.
4
Let x be (-48)/(-15) - (-4)/(-20). Solve 0 = x*b - b + 8 for b.
-4
Suppose -5*j = 4*r - 15 + 6, -5*j = 3*r - 8. Let l be 0 + r - (4 + -3). Solve -c + l*c = 0 for c.
0
Let y = 15 + -12. Solve 0*z - y*z + 3 = 0 for z.
1
Suppose -5*o + 33 = -2. Let g(f) = -2*f + 3. Let v be g(3). Let p = o + v. Solve l + p*l = 0 for l.
0
Suppose -2*l = -0 - 4. Suppose -l*k = -5*y + k + 3, 4*y = k + 8. Solve -1 + 10 = -y*g for g.
-3
Let c be (5/(-10))/(1/(-6)). Solve 0*i = c*i for i.
0
Suppose 0 = p - 3*p + 70. Let i = p - 18. Solve 3 = -4*t - i for t.
-5
Let s(m) = 2*m - 19. Let d be s(10). Solve -d - 19 = -5*l for l.
4
Let g = -17 + 29. Suppose g = -m + 4*m. Solve 15 = -m*o + o for o.
-5
Let x be -1*9/(2 + 1). Let g(l) = l**2 + 2*l - 1. Let t be g(x). Suppose -4*m + 16 = -0*m + 4*c, -4 = -t*c. Solve -4*k = -10 - m for k.
3
Suppose 5*b - 40 = 40. Solve 0 = -4*n - 0*n - b for n.
-4
Let y = 62 + -36. Suppose 0 = -3*g + 1 + y. Suppose -4*t = -3*j + 20, 5*t + 21 = 5*j - g. Solve l - 25 = -j*l for l.
5
Suppose 4*m = 5*p - 29, -2*p = 3*m - 5*m - 12. Let v be 3 - 1 - 3 - -21. Solve -v = -3*x - p for x.
5
Suppose 3*q - 7 = -2*c - 1, 4*q - 8 = -2*c. Solve -q*n - 3*n = 0 for n.
0
Suppose -2*i = 8 - 2, 3*i = 5*u - 29. Let l be (-2)/u*(-28 - 0). Let v be (1/4)/(4/16). Solve -l = -5*h + v for h.
3
Let d = 8 + -6. Suppose -t = -d*l + 4, -5*t + 2*l = -l + 6. Solve -3*j = -t*j + 9 for j.
-3
Let l = -7 - -10. Suppose 0*u + l*u - 6 = 0. Solve 3 = -u*y + 3*y for y.
3
Suppose 0 = 5*v - 3*d - 135, 3*d - 45 = 2*v - 3*v. Suppose 0 = 5*w - 20 - v. Let r = -1 + 1. Solve -2*p + w = -r*p for p.
5
Let z(s) = -15*s + 32. Let c be z(2). Solve 3 = -5*f - c for f.
-1
Let o = 8 + -5. Let f = -9 + 13. Suppose -q - 6 = -f*q. Solve o*c - q = 10 for c.
4
Let w = -24 - -15. Let p(q) = q**2 + 10*q + 9. Let u be p(w). Solve 6*s - 2*s + 4 = u for s.
-1
Let n be 3/1 - (-6)/3. Solve 4*s - n*s = 4 for s.
-4
Suppose -5*m + d = -0*m - 20, -4*d = -20. Solve 0 = -t + m*t - 4 for t.
1
Suppose -u + 6 = -2. Suppose -5 = -s + 23. Let q be (-40)/(-7) + u/s. Solve -3*k - q = 3 for k.
-3
Let l(n) = 8*n + 40. Let p be l(-4). Solve 0*f = -4*f + p for f.
2
Let h = 155 - 87. Let g = -41 + h. Suppose -2*u + 13 + g = 0. Solve -n = 3*n + u for n.
-5
Let t(i) = i + 1. Let k(p) = -p - 3. Let x(b) = k(b) + 4*t(b). Let q be x(-1). Let d be q*2/4 + 1. Solve d = -a + 3 fo