be ((-8)/(-20))/(1/5). Let f be r/(-2*3/(-18)). Suppose f*g - 28 = 2*g. Solve -g = 3*s + 2 for s.
-3
Suppose 0 = j - 3*j + 4. Solve 8 = j*p + 2 for p.
3
Suppose -4 = -2*h - 0*h. Let s be 1 + 2 + 2/2. Solve -h*x - 6 = s for x.
-5
Let n be (-32)/24*(-1 + 2/(-4)). Solve t + n = -0*t for t.
-2
Suppose 1 = -2*d + 2*n - 1, -5*d = 4*n - 31. Suppose 2*a + 4*u + 6 - 4 = 0, 0 = -3*a + u - d. Let q be (a/(-2))/(2/12). Solve -y + q = 7 for y.
-4
Let j(n) = -n**2 - 7*n - 1. Let q be 52/(-9) - (-14)/(-63). Let z be j(q). Solve -y = -2*y - z for y.
-5
Suppose 2*b = -3*b + 4*h + 37, -5*b + 34 = -3*h. Solve 0 = b*z + 8 + 2 for z.
-2
Suppose -3*u = 2*j - 12, 3*u = 4*j + 12 - 0. Suppose j = 2*d - d - 3. Solve 0 = 5*k - 2 - d for k.
1
Let i = -4 - -6. Let b(s) = -s**3 + 3*s**2 - 2. Let x be b(i). Solve -3 = -q + x*q for q.
-3
Suppose -4 = 5*v - 14. Solve 7*s = v*s for s.
0
Let u(v) = 2*v - 10. Let r be u(13). Solve 5*q - 6 + r = 0 for q.
-2
Let h(m) = 3*m**2 + 2*m + 3. Suppose 2*b = -3*b - 10. Let y be h(b). Suppose 2*g - 9 - y = 0. Solve w = -w + g for w.
5
Let k(n) = -n**3 - 6*n**2 - 5*n + 2. Let g be k(-5). Suppose -t - g*t = -9. Solve t*b = 6*b + 6 for b.
-2
Let u be ((-690)/(-9))/10 + (-2)/(-6). Solve l - u = -3*l for l.
2
Let v(l) = l**3 - 3*l**2 - 4*l + 5. Let f be v(4). Solve -20 + f = -3*m for m.
5
Suppose 0 = 3*p + 5*h - 7, 0 = p + 2*h + 2*h. Solve -4*x = -2*x + p for x.
-2
Let f(h) = 5*h + 7. Let p(k) = k. Let n(a) = -f(a) + 4*p(a). Suppose 3*l - 3 + 24 = -4*m, -4*l = -4*m - 56. Let s be n(m). Solve -s*b + 0*b = -2 for b.
1
Suppose 2*f + 4 - 10 = 0. Suppose f*j = -5*m, -4*j - m - 3*m = 0. Suppose j = 3*g + 2*g - 40. Solve 0 = 4*x - 0*x - g for x.
2
Suppose -2*c = -8 - 6. Let j = c - 7. Solve j*v - v = 1 for v.
-1
Let d(t) = 4*t - 2. Let i be d(2). Suppose 2*y = i*y - 4. Solve f + 1 = -y for f.
-2
Let k = 30 - 28. Solve -k*s = 2*s + 4 for s.
-1
Let p(q) = -2*q - 10. Suppose 0*s + 7 = -s. Let a be p(s). Suppose -2*m - i = -11, 0 = m + a*i - 8 - 1. Solve 0 = b + m - 1 for b.
-4
Let f(j) = -4*j**3 + j**2 + j + 1. Let k be f(-1). Solve 0 = k*w - 0 - 5 for w.
1
Let r be (-4 - 1) + 320/16. Solve -2*p - r = p for p.
-5
Let c = -28 + 40. Solve c = 4*n - n for n.
4
Let z be 1739/333 + (-1)/(18/4). Solve 2*f = f - z for f.
-5
Let u = 47 + -32. Solve 0*q = -5*q - u for q.
-3
Suppose 4*b = b + 27. Solve 4*w = b*w + 15 for w.
-3
Suppose -3*w = -w - 4. Solve s = w*s - 3 for s.
3
Let d(u) = 2*u + 4. Let l be d(-1). Solve l = a - 2 for a.
4
Let b be 46/4 - (-12)/16*-2. Solve 3*t = -2*t + b for t.
2
Suppose -4*h - h + 5*l = -85, -5*h - 4*l + 85 = 0. Suppose -t + h = 5*v, -6*t + 3*t = -5*v + 49. Let x be (7/14)/((-2)/t). Solve 20 = x*s - 6*s for s.
-5
Let p(a) = 5*a - 1. Let l be p(1). Suppose -l = -2*g + g. Let h be (3/(-2))/((-3)/g). Solve -h*u = u for u.
0
Let w = 43 + -43. Solve w = 3*y - 4*y - 2 for y.
-2
Let t(k) = 4*k**2 - 3*k. Let u be t(2). Suppose n - u = -4*n. Suppose 4*m - 16 = -2*x + 4, 5*x = -n*m + 26. Solve 4*h + 3 = m*h for h.
-3
Let r = 5 - 0. Let o(j) = j - j + j + 1. Let p be o(3). Solve -p*n + 1 = r for n.
-1
Let o = -57 - -57. Solve -3*c - c + 8 = o for c.
2
Suppose 0 = -0*r + 4*r - 12. Suppose -2*t + 14 + 1 = r*h, -3*t = 3*h - 21. Let k be 0*(3 + 0)/t. Solve -y + k*y = 5 for y.
-5
Let v = 19 + -11. Let r(z) = z**2 - 8*z + 1. Let y be r(v). Solve 2*j + y = 3*j for j.
1
Suppose 5 = -2*j + 5*t + 13, t - 20 = -5*j. Solve s + s = j for s.
2
Let j = -16 - -16. Solve -4 = -2*d - j*d for d.
2
Let i(d) = 22*d - 1. Let k be i(1). Let p = k + -19. Solve -2*y - 4 = p for y.
-3
Let y be 21/5 + 1/(-5). Let f be (-1)/((8/y)/(-8)). Solve -5*t = -7*t - f for t.
-2
Let u(v) = -v**3 - 5*v**2 - 8*v - 6. Let c be u(-3). Solve c*z - 2*z = 4 for z.
-2
Suppose 65 = 5*l + 15. Let j = l - 9. Suppose 0 = -5*v + 1 + 9. Solve 0 = -v*d + d + j for d.
1
Let y(u) = -u**3 - 5*u**2 - 3*u - 3. Let f be y(-5). Let b = f + -9. Solve 4*c = 5*c - b for c.
3
Let v(d) = d**3 - 9*d**2 + 7*d + 11. Let f be v(8). Let a = -7 + 11. Suppose 5*u = -a*r - 17, -u + f = -r - 2*u. Solve 10 = 4*k - r*k for k.
5
Let p(q) = q**2 - 15*q - 25. Let g be p(17). Solve -g + 24 = 5*y for y.
3
Let u be 3 - 5 - -4 - 10. Let c = u - -16. Solve -2*k - c = -2 for k.
-3
Suppose 0*m = d - 3*m - 15, 5*d = -m - 5. Solve d*i - 1 = -i for i.
1
Let r = 1 + 2. Suppose r*j = 7*j - 20. Let l = j - 4. Solve 0 = w - 0*w + l for w.
-1
Let l(r) = -r**2 - 8*r - 7. Let n be l(-5). Let j(t) be the first derivative of -t**3/3 - 13*t**2/2 - 15*t - 1. Let i be j(-11). Solve i = 5*g - n for g.
3
Suppose -2*c + 3 = 2*o + o, 2*c - 2*o - 18 = 0. Solve z + z - c = 0 for z.
3
Let a(l) = 4*l**2 - l + 1. Let q be a(2). Solve 0 = s + 4*s + q for s.
-3
Suppose -10 = 5*h, y - 5*h = -y + 2. Let m(x) be the first derivative of -x**4/4 - 4*x**3/3 - 3*x**2/2 - 6*x - 1. Let n be m(y). Solve 0 = -n*j + j + 5 for j.
1
Suppose 6*f - 4 = 50. Solve -f*t - 10 = -7*t for t.
-5
Let c = -10 + 10. Suppose 0*w - 4*w = -5*m + 45, c = -5*w - 25. Let a = 8 - m. Solve -a*l = l + 12 for l.
-3
Let m = 1 - -4. Solve m*v - 24 + 4 = 0 for v.
4
Let s(f) = f**3 - 4*f**2 - 5*f + 4. Let q be s(5). Let o be q/6*12/8. Solve o = -3*w - 2 for w.
-1
Let z(y) = y**3 - 5*y**2 + 5. Let i be z(5). Suppose 3*j + i - 32 = 0. Let v(t) = -t**2 + 9*t + 2. Let g be v(j). Solve 14 = 4*u - g for u.
4
Let w be ((-39)/(-26))/((-1)/12). Let v = w - -22. Solve v*d - 9 + 29 = 0 for d.
-5
Let v = 3 - 3. Solve -p + v*p = -1 for p.
1
Let x(i) = -i**3 + 7*i**2 + 7*i + 11. Suppose 0*r = 2*k + r - 13, r = k - 11. Let t be x(k). Solve -t*l + 3 = -0*l for l.
1
Let c(w) = -w**3 - 7*w**2 - 7*w - 6. Let n be c(-6). Solve n*u + 5*u = 15 for u.
3
Let z be (1 + -31)*6/(-9). Suppose -z = -7*y + 3*y. Let s = 7 - 4. Solve -y*j = -s*j - 10 for j.
5
Suppose -24 + 21 = -3*w. Solve 3*l = 4 - w for l.
1
Suppose 2*v + 3*v + 10 = 0. Let c = 1 - v. Suppose -3*i = 2*q - 13, -c*q - 21 = -4*i - 2*q. Solve a = i*a - 20 for a.
5
Suppose 2*d - t + 5 = 0, 4*d - 3*t = -5*t + 2. Let m be 0 - 1 - 1/d. Let r be 1 + 0 - (-9 - -1). Solve -u - 2*u + r = m for u.
3
Suppose -18 = 4*m - 7*m. Let w be 28/6 - 4/m. Solve 4*n + w = -0*n for n.
-1
Let r(d) = -d**3 - 24*d**2 + 24*d - 17. Let c be r(-25). Solve -12 = -4*s + c for s.
5
Let w be (2 + -4)/((1 - 2)/1). Solve 0*g = 2*g - w for g.
1
Let t be 4 + 12/2*8/(-24). Solve 6 - t = 2*j for j.
2
Suppose 10*m = 6*m. Solve 0 = -l - m*l for l.
0
Let p = -28 - -37. Solve 4*b = 5 - p for b.
-1
Suppose 0 = -2*g + 5*g - 4*m - 21, 0 = -5*g - m + 12. Solve 0*j - 9 = g*j for j.
-3
Let s = -10 + 15. Suppose 2 - 27 = -s*c. Solve 2*d = -1 + c for d.
2
Suppose 9*r - 20 = -4*w + 5*r, r - 2 = 0. Solve -x = 6 - w for x.
-3
Let t(o) = -o**3 - 3*o**2 - 4*o - 8. Let d be t(-3). Solve -d*y - 5 = 15 for y.
-5
Let p(t) be the third derivative of -t**6/120 + t**5/30 + t**4/12 - t**3/6 + 2*t**2. Let q be p(2). Suppose -3 + 15 = q*y. Solve z + y = 3*z for z.
2
Suppose -11 = -4*k + 17. Solve -6*r = -k*r - 5 for r.
-5
Let c be (-8)/32 - (-17)/4. Suppose -6 = -c*j + j. Solve -10 = -0*d + j*d for d.
-5
Let u be (-2)/10 + (-140)/50. Let f = 0 - u. Suppose 3*w + 11 = 4*d, -7 = 5*w - 2. Solve -f*p = d*p for p.
0
Let i(p) = 2*p**3 - 6*p + 4. Let q be i(-3). Let j = -12 - q. Solve -4 + j = 4*x for x.
4
Let b(q) = -q**2 + q + 3. Let u be b(0). Solve -u*s + 8*s + 15 = 0 for s.
-3
Let j(c) be the second derivative of c**5/20 - c**4/4 + c**3/3 + c**2 - c. Let x be j(2). Solve -3*k + 15 = x*k for k.
3
Suppose -y = -5*m - 11, 3*m + 4 = y - 5. Let h be (28/21)/(2/y). Let t be h/6*(-2 + 8). Solve -t = -0*j - 2*j for j.
2
Let x(p) = -p**3 + 6*p**2 - 5*p - 6. Let f be x(5). Let l be (9/f)/((-3)/(-12)). Let m = l - -21. Solve -4*u + m = -9*u for u.
-3
Let h be -4*-2*(-6)/8. Let a(k) = 3*k + 8. Let i be a(h). Let z = i - -14. Solve 2*m + 6 = -z for m.
-5
Suppose 0 = 2*m - 2 - 4. Solve m = -4*s - 9 for s.
-3
Let j = 34 - 25. Solve 1 = -4*f + j for f.
2
Suppose -2*h = 4*n + 12, 0 = h + n - 2*n. Let p be ((-12)/8)/(1/h). Let q = 3 - 1. Solve y - p = -q for y.
1
Let m be 7/((-1)/(-1)) + 1. Let g be 6/((-2)/m*-6). Solve 0*j + j = -g for j.
-4
Let g = 11 - 11. Suppose i - 6*i = g. Solve -3*d - d - 16 = i for d.
-4
Let q(u) = 5*u**2 - 1. Let r be q(1). Solve -8*j = -4*j + r for j.
-1
Suppose 5*x - 3*q = 25, 0 = -3*x + 4*q + 24 + 2. Solve x*