be (5 + -4)/1*-5. Let u = x - r. Solve u*v = -3*v for v.
0
Suppose -8 = -2*a - f + 3*f, -5*f + 22 = 2*a. Suppose 0 = 2*h - a*h. Solve v + 3*v + 8 = h for v.
-2
Let r(k) = 4*k**3 + 3*k**2 - k + 4. Let v be r(3). Suppose 4*u = -4*w + v, -6*w = -w + 2*u - 158. Suppose 5*o - w = -0. Solve -o = 4*y + 10 for y.
-4
Suppose 3*c = -c. Solve -b = -c*b - 2 for b.
2
Suppose h = -r - 2*h - 15, 5 = 4*r - h. Solve 2*v + r - 2 = 0 for v.
1
Let p be 58/7 + 22/(-77). Solve 4*c - p = -0 for c.
2
Suppose -2*f + 1 - 3 = 0. Let g = f - -6. Solve -s + 20 = -g*s for s.
-5
Suppose 0 = -0*o - 3*o. Suppose o = l - 1 - 1. Solve -3 = -w - l for w.
1
Let p(d) = 3*d**3 - 2*d**2 + d. Let l be p(1). Let o = l - -6. Solve 4*b + 0*b = -o for b.
-2
Suppose 0 = -3*x - 3*o + 9, 0*x - 4*o = x - 6. Solve -q + x*q - 1 = 0 for q.
1
Suppose -2*i + 7*i - 130 = 0. Suppose -3*h + i = -h. Solve 0 = 3*t + 4 - h for t.
3
Let d(y) = 16*y - 23. Let o be d(2). Solve o = 5*s - 11 for s.
4
Suppose -3*f = -4*p - 10, -3*p + 5*p - 3*f + 2 = 0. Let t be (p + 2)*1/(-1). Suppose 4*b = t*m + 2 + 6, -12 = -4*b + 3*m. Solve 4*l + l + 15 = b for l.
-3
Let m = -5 + 5. Suppose -l + m = -3. Solve 0 = -5*o + l*o + 10 for o.
5
Let n(z) = -2*z**2 - 6*z + 1. Let h = 8 - 11. Let i be n(h). Solve -4*m - i = 7 for m.
-2
Suppose -2*r + 4*a + 1 = 7, r = -3*a + 2. Let t be r/(-2 - 14/(-8)). Let c be -3*2/t*-2. Solve c*p + 2 = -4 for p.
-2
Let p be (-13)/(-26) - 3/(-2). Let a be (-3 - (-6)/p)/(-1). Solve a = 6*o - 9*o for o.
0
Suppose -3*g + 4 = -4*t, 0*g = -g - 3*t - 3. Solve g = -l + 2 + 1 for l.
3
Let x = 13 - 8. Suppose y = x*y. Let u(s) = -3*s**3 + s**2 + s. Let c be u(-1). Solve y = k - c for k.
3
Let b(v) = v**2 + 12*v + 14. Let u be b(-10). Let z(p) = p + 7. Let q be z(u). Suppose 4*s - s = 33. Solve q + s = 4*f for f.
3
Suppose -15 = -3*z - 3*n, -3*z + 5*n - 9 = -32. Solve -2*h + z*h = -16 for h.
-4
Suppose 0 = -3*x - x - 28. Let a = -2 - x. Solve -a*n - 8 = -33 for n.
5
Suppose -3*n + 20 = -n. Let o = -6 + 11. Suppose -o*a + 19 - 4 = 0. Solve -a*l + 5 = -n for l.
5
Let q(u) = u - 5. Let a be -1*1*(2 + -9). Let d be q(a). Suppose -s = 3*s - 24. Solve s*b = d*b + 16 for b.
4
Suppose -2*i = 0, c + c - 12 = 2*i. Solve -3 = 3*o - c for o.
1
Let l(w) = w**3 + 3*w**2 + 2*w. Let x be l(-2). Suppose 3*k = -0*i + 5*i + 15, x = 2*k - i - 10. Solve k*s = 2*s + 9 for s.
3
Let q(f) = f**2 - 4*f - 3. Let x be q(5). Let r be ((-1)/2)/((-3)/360). Suppose 0 = 4*p - 3*h - r, 3*h = 2*p - h - 40. Solve 5*y + p = x*y for y.
-4
Let l(a) = -a**2 + 6*a - 3. Suppose -3*n = 5*i - 16, -5*n + 2*n = 3*i - 6. Let g be l(i). Solve 0*f - g = f for f.
-2
Suppose -2 = -3*w + 1. Suppose q = -w + 3. Solve q*x = -3*x - 25 for x.
-5
Let g(n) = 3*n + 1. Let r be g(3). Suppose -2*u = r, 2*t + t - 5*u - 82 = 0. Solve 0 = -5*q - t - 6 for q.
-5
Let l be (1 + 2)*6/18. Let v(u) = 5*u - 1. Let b be v(l). Suppose -1 = -b*x + 11. Solve -x*j = -2*j for j.
0
Suppose 3*g = 4 + 11. Suppose 5*c = -g*q + 165, 2*c - 7*c + 17 = q. Suppose 4*b + q = 4*p - 3, -3*b = 3*p. Solve 6*k - k - p = 0 for k.
1
Let c = -33 - -33. Solve c = 2*i - 5 - 5 for i.
5
Let d(w) = -w**2 + 13*w - 9. Let y be d(10). Let n be (4/(-14))/((-3)/y). Solve -4*z + 10 = -n for z.
3
Suppose -3*y - 2 = -5*y + o, 10 = -5*o. Suppose 3*g + 3*c - 18 = g, y = -5*g - 2*c + 45. Solve 3*p + 0 + g = 0 for p.
-3
Let c(n) be the third derivative of -n**4/24 + 17*n**3/6 + 2*n**2. Let w be c(9). Let l = -8 - -15. Solve l + w = -3*i for i.
-5
Let p(h) = -h**2 - 8*h - 2. Let m be p(-7). Let v = -10 + 17. Solve m*j + v = -8 for j.
-3
Let g = 17 - 7. Let a(r) = -r**3 - r**2 + 2*r - 4. Let f be a(-3). Solve 0 = -f*y + 3*y - g for y.
-2
Suppose 3*l - 42 = 5*c, l + 45 = 5*l - 3*c. Let u = l - 5. Solve 2*k = u + 2 for k.
3
Let v = 41 + -28. Let m = -8 + v. Solve 5*q - 5 = m for q.
2
Let m(c) = 2*c - 18. Let g be m(9). Solve g*s + 9 = -3*s for s.
-3
Let z = 19 + -10. Solve 0 = 3*j - 0*j - z for j.
3
Suppose -108 = -4*i - h, -5*i - h + 28 = -106. Let w = i - 6. Let p be w/15*(-6)/(-4). Solve -z = 1 + p for z.
-3
Suppose -4 = -5*k - 4*x - 0*x, 3*x - 3 = 0. Let i = -163 + 167. Solve k = -o - i*o - 10 for o.
-2
Suppose 7*b - 11*b + 16 = 0. Solve f = 5*f + b for f.
-1
Let f = -4 + 7. Suppose 3*z = 3*g - f, -2*z + 4*z = 5*g - 5. Solve 3 + z = k for k.
3
Let q(t) = t**2 - 12*t + 4. Let n be q(12). Suppose 2*y + 4 = 0, n*y = 2*w - 6 - 6. Solve -l + 0 = w for l.
-2
Let c be (-104)/(-10) + (-8)/20 + -2. Solve 0*i + c = 2*i for i.
4
Suppose 0 = 28*y - 23*y - 10. Solve -f = y - 7 for f.
5
Suppose 4 = -2*k + 12. Solve -8 = -0*l + k*l for l.
-2
Let i(k) = 2*k - 4. Let s be i(-8). Let b be s/(-2)*(-6)/(-12). Solve -b*r - 23 = -8 for r.
-3
Let j be (-2)/6*6*1. Let f = j + 5. Solve f = 5*u - 2 for u.
1
Let n = -5 - -1. Let v be 0/(2/n*2). Suppose -2*m - 8 = -2*k + m, 4*m + 16 = 4*k. Solve -k*l + v = -4 for l.
1
Let z be 2 + -4 + 2 + 0. Let d = 0 + z. Let q be 6*(9/(-6))/(-3). Solve d = q*s + 1 - 4 for s.
1
Let f(q) = 5*q**2 - 13*q + 11. Let g(l) = -l**2 + 3*l - 3. Suppose -2*p = -4 - 0. Let b(j) = p*f(j) + 9*g(j). Let t be b(4). Solve 7*i + t = 4*i for i.
-5
Let h = 8 + -3. Suppose 67 = h*w + 4*j, 0 = 2*w + 4*j + j - 20. Solve w = -8*d + 3*d for d.
-3
Suppose -11 + 3 = -2*d. Let q = d - 0. Solve 0 = -q*x + x for x.
0
Let k = -97 + 100. Solve -5*i = -7 - k for i.
2
Let u(z) = -z**3 - 7*z**2 - 6*z. Let q be u(-5). Let g = q - -36. Solve p + g = -3*p for p.
-4
Let q(t) = -t**2 - 6*t. Let b be q(-6). Solve -3*p + b*p = 12 for p.
-4
Let c = 6 - 4. Let p(d) = -d + 14. Let s be p(8). Let v be (8/s)/((-16)/(-24)). Solve c*a + v*a = 0 for a.
0
Let l(w) = -2*w - 8. Let i be l(-6). Suppose 3 - 5 = -2*v. Suppose 2*b + 2 = -i*j + 6, b = -j + v. Solve j = -3*p - 11 for p.
-4
Let h = -1 + -13. Let u = h + 25. Solve -u = -5*z - 1 for z.
2
Let g = 13 + -11. Suppose 5*q + g = 17. Solve 0 = q*l - 0*l + 12 for l.
-4
Let q(v) = 3 + 7*v - v**2 + v - 12. Let g be q(6). Solve g*d - d = 0 for d.
0
Suppose 5*h = -4*s + 124, -4*s = 4*h - 0*s - 100. Suppose 4*a = g + h, 0*a + 5*a = 5*g + 30. Solve -4 = 2*k - a*k for k.
1
Let m(i) be the third derivative of i**4/24 + 7*i**3/6 + i**2. Let u be m(-5). Let v = 1 + u. Solve -v*f - 5 = 2*f for f.
-1
Let z be 3 - -3*1/(-3). Solve z*w = 3*w + 2 for w.
-2
Let h = 8 - 7. Solve -5*z - h = 14 for z.
-3
Suppose 3*k - 7*k = 3*r - 26, 0 = -3*r - 5*k + 31. Solve r - 5 = -s for s.
3
Suppose -5*n + 5 + 23 = y, -16 = -4*n - 4*y. Let b = n - 11. Let v = 5 + b. Solve v*d = -4*d + 12 for d.
3
Let u(q) = -q**2 + 3*q + 3. Let a be u(3). Suppose 0 = 2*p + a*p. Suppose -v + 13 = -4*z, 5*v - 2*z + 3*z - 128 = p. Solve v = 4*i + 9 for i.
4
Let a = -1 + 1. Let o(j) = -j - 2. Let s be o(-5). Suppose 2*b = s*b - 2. Solve b = f - a for f.
2
Let s = 1 - -4. Let o be s/2 - 2/(-4). Solve -o*j + 6 + 0 = 0 for j.
2
Suppose 4*k - 26 = 2. Let l(n) = -4*n - 33. Let h(g) = g + 11. Let o(t) = k*h(t) + 2*l(t). Let u be o(6). Solve u*x - 3 = 12 for x.
3
Let q(j) = -j**3 + 12*j**2 + 27*j + 14. Let g be q(14). Solve g = y + 3*y for y.
0
Let c(i) = i**3 + i**2 - i + 3. Let v be c(0). Suppose 4*q - v = 1. Solve 4*g - q = 3 for g.
1
Suppose o + 2*o = -54. Let m be 4/18 - 140/o. Suppose -4*j = 4*h + m, -j = -5*j - 2*h. Solve -4 = j*s - s for s.
-4
Let l(p) = p**2 + p + 3. Let r be l(-4). Solve 3*c + 0*c = r for c.
5
Suppose s = 2*s. Suppose -x - 2 = -s. Let z(f) = -6*f - 1. Let l be z(x). Solve -4*g + l = 31 for g.
-5
Let b = 130 - 10. Let v be (3/(-9))/((-4)/b). Solve -4*y - 6 = v for y.
-4
Let s(k) = k + 1. Let j(c) = 1. Let y(r) = -7*j(r) + 3*s(r). Let o be y(4). Let m = 14 + -10. Solve -m*l = -4 - o for l.
3
Suppose -2*f + 0 - 2 = -2*a, a = -4*f - 4. Let k be (f + 2 - 1)*1. Solve -3*v - v = k for v.
0
Let r = 9 + -7. Solve -r*q - 1 = 9 for q.
-5
Let u(b) = b**3 + 6*b**2 + 6*b + 5. Let p be u(-5). Solve 5*k + 6 - 31 = p for k.
5
Let w be ((-1)/(-4) - 1)*4*-1. Solve w*n = -n for n.
0
Suppose -5*r = -2*r - 12. Suppose n - 2*n = -r. Solve -4*t = -6*t + n for t.
2
Suppose -4*h = -4*z - h + 6, -4*z = h - 14. Let r be -2*((-3)/1)/z. Solve 1 = b + r for b.
-1
Let f(h) = -h**2 - 3*h - 2. Let s be f(-4). Let m = s + 7. Let c be -1 + ((-1)/m - -2). Solve c*g = g for g.
0
Let z(k) = -k**2 + 5*k - 2. Let c be z(2). Let s = -20 + 29. Solve -b - s = -c for b.
-5
Let u(