 = -0*i + 2*i. Solve i = -3*l - 1 for l.
-1
Let p be 2 + 1 + 9 + 0. Suppose -4*u = -4*q - 8, 3*q - p + 3 = -2*u. Let k be (2/(-4))/(q/(-10)). Solve 3*a - 7 - k = 0 for a.
4
Let q(k) = -k**2 - k + 4. Let v be q(0). Solve v + 1 = r for r.
5
Let a be -15 + 1/2*-4. Let i = a + 24. Solve 0 = -i*r + 3*r - 4 for r.
-1
Suppose 0 = 2*a - 4*d - 20, -3*a - 10 = 5*d + 4. Solve 3*s + a = s for s.
-1
Let a = -5 + 5. Suppose a = 3*y - 2*y - 4. Solve 0*s + y*s + 20 = 0 for s.
-5
Suppose 5*d + 3*z - 21 = 0, 3*z = 8*z - 10. Suppose d*h + 2 - 14 = 0. Solve -h*x = -3 - 13 for x.
4
Let x be 2*(1 + 11 + -2). Let q = x - 14. Suppose -l = -q*l. Solve l*c = 5*c + 20 for c.
-4
Suppose 4*q = 2*r - 8, r + 17 = -r - q. Let c(b) = -b**2 - 8*b - 3. Let s be c(r). Solve 0 = -0*t + 3*t - s for t.
3
Suppose -23*r + 21*r = -10. Solve 17 - 2 = -r*u for u.
-3
Let n be (-2 - -2)/3 - -19. Let f = n - 3. Let h = f - 11. Solve -4 = -h*j - 9 for j.
-1
Let k be (-1)/((-6)/(-9) - (-3 - -4)). Solve 4 = r + k for r.
1
Let n(i) = 8*i - i**3 + 11*i**2 - 2 + 2*i**3 + i. Let j be n(-10). Solve -y - j = y for y.
-4
Suppose 6*r - 2*r = -4. Let i(k) = -8*k**3 - k**2 - k. Let z be i(r). Let x = 7 - 2. Solve -3*m + z = -x*m for m.
-4
Suppose -4*t + 1 = -3*v, 0 = -2*t - 0*t - 2*v + 18. Solve 0 = t*o - 6*o for o.
0
Let w be ((-44)/55)/(2/(-15)). Solve 5*b + w = 2*b for b.
-2
Suppose 0 = -4*o - 10 + 30. Let t = 7 - o. Solve 0 = t*i + 2*i + 20 for i.
-5
Let b be (-27)/(-6) + 6/4. Solve -b*k + k = -10 for k.
2
Let f be -6*-2*(-3)/(-18). Solve -f*t - 1 = -7 for t.
3
Let d be (-2)/7 - 4/(-14). Solve 4*x + 8 + 8 = d for x.
-4
Let n(s) = s**2 + s. Let b be n(-3). Solve -b - 9 = -5*m for m.
3
Let f(l) = 2*l + 4. Let o(t) = -4*t - 7. Let n(b) = -9*f(b) - 4*o(b). Let u be n(-5). Solve 0 = -u*p - p - 3 for p.
-1
Suppose -3*y - 117 = -3*c - 0*y, -4*c + 196 = 4*y. Suppose 6*n - c = 2*n. Solve n = -2*b + 1 for b.
-5
Let r be (-52)/10 + 1/5. Let p = r - -8. Solve 2*b = 5 + p for b.
4
Suppose -2*v - 5*w - 15 = 2, -3*v = -5*w - 37. Suppose 27 = -i - 2*i + v*p, 0 = -2*i - 5*p + 5. Let o(d) = -d - 3. Let l be o(i). Solve -a = a + l for a.
-1
Let f be 18/(-4)*(35/(-15) - -1). Let a = 6 + -1. Solve -3*i = -a*i - f for i.
-3
Let j(y) be the first derivative of y**4/4 + 4*y**3/3 - y**2 - 3*y - 1. Let m be j(-3). Let g = -48 + 48. Solve -o + 4*o - m = g for o.
4
Let p be 18/42 + (-75)/(-21). Solve 7 = p*m - 9 for m.
4
Let x be -5 - -2 - (0 + -5). Solve -4*j = x + 6 for j.
-2
Let t = 6 + -2. Solve 3 = t*d - 1 for d.
1
Let f = 6 + -2. Suppose -4 = 3*y - f*y. Suppose -2*z + 33 = y*t - 5*z, -2 = -2*z. Solve 0 = -t*w + 4*w + 20 for w.
4
Suppose -13 + 4 = -5*o + 4*b, -b + 3 = 4*o. Let t be o*-3 - (5 - 17). Solve -t = -3*d + 3 for d.
4
Let q(n) = 5*n + 2. Let s(o) = -o**2 + o. Let b(x) = q(x) - s(x). Let v be b(-4). Solve 0 = 6*j - 5*j - v for j.
2
Let q be -5 - -2 - (-24)/4. Solve 1 = 2*k - q for k.
2
Suppose 0 = 3*a - 9, 2*k - 5*a = 14 - 47. Let g(j) = 3 + 1 + j - 4 + 13. Let r be g(k). Solve 22 = -r*v + 6 for v.
-4
Suppose k - 24 = -9. Suppose -5*g + 0 = -k. Solve 3 = -g*m + 15 for m.
4
Let z be 0/1 + (7 - 5). Suppose 0 = -4*r + z*r. Let f = r - -2. Solve -l - f = -6 for l.
4
Let k be 1 + (-3 - 0) + 48. Suppose 3*g - k = -7. Suppose -l + 15 = 2*l. Solve g = l*c + 3 for c.
2
Let f be ((-2)/(-3))/((-10)/30). Let k be f/(-2) + -1 + 5. Solve -5*n + k = 20 for n.
-3
Suppose 4*y = -2*u - 12, y = -2*u + 3*y + 6. Solve u*p = -3*p - 15 for p.
-5
Let k(y) = y**2 - 2*y - 3. Let r be k(-3). Let z = r - 12. Solve -5*u + 9*u = z for u.
0
Let q be (-7 + -5 - 0)*1/(-3). Solve q*v = v for v.
0
Suppose -2*l + 153 = 149. Solve 4*c - 2 = l for c.
1
Let d(z) = -2*z - 7. Let u be d(-6). Suppose -u*f + 35 + 10 = 0. Let s be (2/6)/(1/3). Solve -s = 5*x + f for x.
-2
Let d(c) = c**2 - c. Let i be d(-1). Let t be (0 - i)/(2/(-4)). Solve 0 = -0*h + 4*h - t for h.
1
Let k(s) = -s**3 + 4*s**2 + 4*s + 8. Let u be k(5). Solve -u*o = o + 4 for o.
-1
Suppose 5 = 4*p - 5*q, 1 = p + 4*p - q. Solve p = 4*v - 2 - 18 for v.
5
Let x = 25 + -20. Solve 2*u = x*u + 9 for u.
-3
Let o(x) = -x**2 + x. Let z(f) = 2*f**2 - 5*f - 3. Let q(v) = -o(v) - z(v). Let t be q(4). Let h be 5/3*(t + 0). Solve b - h = -0 for b.
5
Suppose -6*i - 39 = 69. Let l be 8/6 - (-6)/i. Solve 0 = -v - 2 - l for v.
-3
Let h be (-4)/10 + 57/5. Let l = h - 6. Solve -l*a = -4 - 1 for a.
1
Suppose -2 = -4*p + 10. Let h = p + 0. Let f(a) = -a**3 + 3*a**2 + 4. Let d be f(h). Solve -5*g = -d*g + 2 for g.
-2
Suppose -2*d - 5*g + 6 = d, -4*g - 2 = -d. Solve 0 = -d*q - 3*q + 10 for q.
2
Let b(r) = 2*r**2 - 3*r + 4. Let z be b(2). Solve z*g = g - 5 for g.
-1
Suppose 4*x - 40 = 4. Let l = x + -8. Solve 0 = -0*g + 3*g - l for g.
1
Let x = 43 + -43. Solve x = -3*y + y for y.
0
Suppose -2*d = 2*x - 14, 2*d + 9 = 4*x - 7. Let p(r) = -r. Let n be p(d). Let a be (3/(-2) - n)*40. Solve a = -5*i - 0*i for i.
-4
Let g(d) be the third derivative of -d**5/60 - 5*d**4/24 + d**3/3 - 4*d**2. Let s be g(-4). Solve 4*a - s*a - 6 = 0 for a.
-3
Let p(x) = x**2 - 1. Let c = -1 - 0. Let q be p(c). Solve q = -2*u + 3 - 1 for u.
1
Let o be 1*-2 + (-7)/(-1). Let z = -3 - -5. Let t be 19 + z/1 + 2. Solve -t = -o*q + 2 for q.
5
Let a(q) = -4*q - 1. Let n be a(-1). Let c = 7 + -6. Let p = 1 + c. Solve -25 = -n*h - p*h for h.
5
Let n = -6 + 11. Solve 0 = -0*w - w - n for w.
-5
Let y be 4 + 0*3/6. Suppose 0 = -2*u + o + 4, 2*u - y*o + 1 = -1. Let c be (-2 - -1)/((-1)/5). Solve 8*l - u*l + c = 0 for l.
-1
Let l(p) = -6*p + 1. Let u be l(1). Let h(j) = -4 - 4*j + j + 5. Let a be h(u). Solve 3*f + a = -f for f.
-4
Suppose 2*k = 7 + 3. Suppose -k*q + 2*q + 12 = 0. Suppose q*r + 3*m = 41, 0 = 2*r - 5*m - 5 + 4. Solve t + r = 4 for t.
-4
Suppose -4*z + 8 = t + 3*t, -2*t = -3*z - 4. Solve -t*s - 4 = -0*s for s.
-2
Let h be 1133/77 + 27/21 + -1. Solve 3*n = -0*n + h for n.
5
Let h(z) = z**3 + z**2 - z + 1. Let t be h(0). Let c = 7 - t. Solve c = -i - i for i.
-3
Let d = 12 + -10. Suppose 0*t = d*t. Solve -4*i = -t*i + 8 for i.
-2
Let o(u) = u**2 + 23*u + 46. Let h be o(-21). Solve 3*i + h - 13 = 0 for i.
3
Let f(x) = 0*x + x - 4*x - 8 + 4*x. Let o be f(11). Solve -2*l = -l - o for l.
3
Let v be -1*(0 - 2/8*0). Solve v*z - 10 = -2*z for z.
5
Suppose 5*g + 2*l - 21 = 0, -5*l + 10 + 17 = 4*g. Solve -g*o = -6*o for o.
0
Suppose 0 = a - 5*v - 15, -a + 3*v + 7 = -2. Solve -4 = t - a*t for t.
-4
Let s(p) = 0*p**3 - 3*p + 0*p + 4*p + p**3 - 2*p**2. Let u be s(1). Solve y = -u*y for y.
0
Let f be ((-504)/70)/(4/(-10)). Solve 3 - f = 5*b for b.
-3
Let a = 13 - 16. Let j be (28/(-21))/(2/a). Solve 0 = -2*v + j - 0 for v.
1
Let l = 0 - 3. Let r be -2 + (l - (-2 - 7)). Solve w - r - 1 = 0 for w.
5
Suppose 2*c + 3*c - 2*y - 8 = 0, y = -3*c - 4. Let j be (0/(-1))/(c - -2). Solve j = -3*m - 0*m - 12 for m.
-4
Suppose z - 2*k = -3*k - 4, 5*k = 4*z + 16. Let l = 6 + z. Suppose l*v - 3*t + 9 = 37, -v = 4*t + 8. Solve -3*a = -a + v for a.
-4
Let r = 43 + -31. Suppose v = -q + 5 - 1, q = v + r. Solve 0*o + q = -4*o for o.
-2
Let s be (-5 + 4 + -4)*-1. Solve -s = 5*l + 20 for l.
-5
Suppose 0 = -2*v + v - 23. Let j = 33 + v. Let r be (-26)/(-6) + (-3)/9. Solve d = -r*d - j for d.
-2
Let b(x) = -5*x - 1. Let w(k) = -2*k. Let p(o) = -3*b(o) + 8*w(o). Suppose 3*z = 4*i - 9, 3*z + 7 = -2*i - 2. Let q be p(z). Solve 0 = 3*d - q*d for d.
0
Let w(x) = x**3 - 3*x**2 - 2*x. Let z be w(4). Let g = -5 + z. Solve -g = 4*o + 1 for o.
-1
Let j(y) = -2*y - 10. Let g(f) = -f - 10. Let q(l) = -3*g(l) + 2*j(l). Let p be q(9). Suppose 5*b + p - 10 = -k, -4*b = 4*k - 4. Solve b*d - 10 = 7*d for d.
-2
Let u be (7/(49/(-6)))/(3/(-14)). Let i(p) = p + 11. Let q be i(-8). Solve u*r = q - 23 for r.
-5
Suppose -3*z + 3*q - 12 = 0, 0*q = -5*z - 4*q + 25. Let j(x) = -2*x**2 - 3*x - 2. Let r be j(-1). Let w = z + r. Solve 0 = -2*y - w*y for y.
0
Suppose c + 0*c = 0. Suppose 4*i + 23 = 5*i. Suppose 0 = -k - j - 5, -5*k + 3*j - 8 + i = 0. Solve c = -4*v - k*v - 4 for v.
-1
Let s be 4/(-6) - 6/(-9). Let y be (s + 2)/(-2) - 2. Let m be (6/(-4))/(y/8). Solve m*j - 2*j = 2 for j.
1
Suppose -4*n - 15 - 5 = 0, 4*n + 8 = 4*k. Let o be 1/(k/(0 - 21)). Suppose o = 4*u - c, 2*c + 1 = -2*u + c. Solve 0 = -g - u + 6 for g.
5
Let j(b) be the third derivative of -7/6*b**3 + 0 + 1/6*b**4 - 3*b**2 + 1/120*b