-2*l for l.
0
Let w = 30 - 15. Suppose 4*q - 6*q + 4 = 0. Solve -q*r + w = 3*r for r.
3
Let m be 18/12*(-4)/(-3). Let l = m + 3. Solve 0 = l*u - u for u.
0
Suppose 0*v + 3*s = v - 11, -v + 4*s + 12 = 0. Suppose 6 = n + d, 4*n - 3*d + 3 + 1 = 0. Let w be n/(-3) - 8/(-3). Solve -2*k = w*k - v for k.
2
Suppose 11*i = 10*i. Solve -4*j + 7*j + 3 = i for j.
-1
Let j(z) = -z**2 - 7*z + 8. Let k be j(-8). Let v = 3 + k. Solve -c - 4 = -v for c.
-1
Let m be 0/(1 - (1 - 1)). Let h = -9 + 9. Let w(p) = 2*p + 2. Let r be w(h). Solve -r = -m*i - i for i.
2
Let q = 41 - 31. Solve q = 3*z + 2*z for z.
2
Let x be 0/(-9 - -4 - -3). Solve y - 1 - 1 = x for y.
2
Let a = -20 - -26. Suppose 4*d = d + a. Solve -4 = -n + d*n for n.
-4
Let h be -3 - -1 - 1*-7. Suppose -5*s = -0*s - h. Solve 4*a - 3 - s = 0 for a.
1
Let g(w) = -w**3 - 6*w**2 - 3*w - 8. Let o be (-3)/((2 - 1)/2). Let j be g(o). Suppose b - 4 = -4*t + 19, 0 = 2*b - 4*t + 14. Solve m = b*m + j for m.
-5
Let v(g) = 8*g + 6. Let n(z) = -17*z - 13. Let q(d) = 6*n(d) + 13*v(d). Let b be q(5). Suppose -5*a + b*a - 10 = 0. Solve 6 = -2*r + a for r.
-2
Let x(t) = -5*t - 46. Let s(j) = -j - 9. Let h(i) = 11*s(i) - 2*x(i). Let n be h(-7). Let p be 0 + -2 - (n + -15). Solve 7 = -4*a - p for a.
-5
Let s(u) = u**2 - 1. Let v(t) = -6*t**2 + 3. Let k(l) = -5*s(l) - v(l). Let x be k(0). Solve -x*w = 3 - 7 for w.
2
Suppose -2*d - 10 = y, -9 - 6 = 2*y + 3*d. Suppose 2*z + y*z + 16 = 5*l, 4*l = 3*z + 10. Let b(q) = q**2 + 3*q + 2. Let h be b(-2). Solve l = -4*m - h for m.
-1
Let t be ((-22)/8)/(-2*(-2)/(-16)). Solve 4*b - t = 1 for b.
3
Let g be -11 + (3 - -4) + 1 + 6. Solve 2 = -g*p + 4*p for p.
2
Let t(z) = z**2 - 10. Let g be t(-4). Let l(k) = k**2 + 3*k - 2. Let h be l(2). Let s be h/12 + 8/g. Solve -s*o = 3*o for o.
0
Let l(x) be the first derivative of 2 + x - 3/2*x**2. Let b be l(-1). Solve 3 = b*r - 5 for r.
2
Let h = 15 + -8. Let r(n) = 3*n**2 + 11*n - 9. Let p(j) = -4*j**2 - 17*j + 13. Let q(w) = -5*p(w) - 7*r(w). Let l be q(h). Solve 2*f = -l + 1 for f.
-2
Suppose 5*v = 10 + 5. Solve j - v*j - 2 = 0 for j.
-1
Let r be 2/(-8) + (-66)/(-8). Suppose 0 = -3*n - 4*p - 6 + 19, -4*n + 3*p + 9 = 0. Solve r*u - n*u = 0 for u.
0
Suppose 0 = -p + 4*p. Let i(g) = g + 16. Let d be i(-10). Suppose 2 = r + 3*h, -18 = -4*r - d*h + 4*h. Solve 0*l - r*l = p for l.
0
Suppose -7*v = -2*v - 15. Suppose 5*c - 4 = v*c. Suppose 0*d = d - c. Solve d*u = 4*u + 2 for u.
-1
Let d(b) = 5*b**2. Let v be d(2). Solve 3*l + l + v = 0 for l.
-5
Suppose 5*b + 5*a - 65 = 0, 6*b - 22 = 5*b - 4*a. Let x be 15/b - 2/(-4). Solve 0 = 3*c + x + 4 for c.
-2
Suppose 3 + 6 = 3*r. Suppose 0 = 4*k - 2*w - 10, 3*k + 5*w = -0*k - 25. Suppose k = -p - p + 14. Solve p = -2*f - r for f.
-5
Suppose 0 = -2*s - 2*k + 12, -2*s - 4*k + 20 = -0*k. Let o be 57/21 + 6/21. Solve s = 5*w - o*w for w.
1
Suppose -o = 3*k - 7, -3*o + 6*o + 5*k - 17 = 0. Solve -2*q + o = 12 for q.
-4
Suppose -v - 2 = -f - 0, -4*f = v - 8. Solve 8*k - 3*k - 15 = v for k.
3
Let p be (-1)/(3/3)*1. Let s be (0/1 - -3) + 0. Let y = p + s. Solve k = -k + y for k.
1
Suppose -m = -2*m - 1, -2*m = -4*k + 26. Suppose 0 = -4*n - 4*v + 24, -n + 5*v = 27 - 3. Let z be n + -2 + -1 + 12. Solve 0 = -4*w + k*w + z for w.
-5
Suppose 0 = 24*t - 28*t + 12. Solve -t*g = 2 - 11 for g.
3
Let t be ((-24)/(-20))/((-6)/45). Let f be t/(-12) + 114/8. Solve 0 = -y + 6*y + f for y.
-3
Let r = -6 - -5. Let o be r*(-1 + 15 + -2). Let d = o + 20. Solve 5*a = 3*a - d for a.
-4
Let x(v) = v**3 - v**2 + v - 1. Let p be x(2). Let b = -58 + 91. Suppose p*f - y = -5*y + b, 2*f = 5*y. Solve 0 = j - f*j for j.
0
Let h(j) = j**2 - 6*j + 7. Let d be h(5). Suppose 90 = 5*t + d*b, 3*b - 55 = -3*t - 1. Suppose 0 = -4*k + t - 2. Solve -6 = k*o + 14 for o.
-5
Suppose -4*o + 8 = -2*o. Solve -o*f = -f - 15 for f.
5
Let i be ((-8)/10)/((-2)/10). Let n be (1 + 23/i)*8. Suppose 5*t = 2*t + n. Solve -t = -4*q - 2 for q.
4
Let c be (6/(-12))/((-2)/12). Let p be (2 - (-4)/(-2)) + c. Solve -4 = -p*r - r for r.
1
Suppose -2*u = -4*l - 32, l - 1 - 3 = 0. Let w(i) = 2*i + 3. Let o be w(4). Let b = 15 - o. Solve 0 = b*n - u + 4 for n.
5
Let c(f) = -f**2 + 3*f. Let m be c(3). Suppose 6*p = 3*s + p + 38, -5*s + 3*p = 42. Let v = 8 + s. Solve m = v*k + 4 - 2 for k.
-1
Let g(r) = r**2 - 7*r - 18. Let m be g(9). Solve m*v - 5 = v for v.
-5
Let y be (-3)/7 + 114/21. Let h(n) = -n**3 - 5*n**2 - 4*n + 2. Let r be h(-4). Solve y = -r*b + b for b.
-5
Let k(n) = -2*n + 2. Let q be k(2). Let y = q - -5. Solve y*s = -s for s.
0
Let l(q) = -q**2 + 1. Let h be l(1). Suppose y = -h - 2. Let d be (y/(-6))/((-2)/(-18)). Solve 0 = -z - d*z - 4 for z.
-1
Let p be (0 - (2 - 7)) + 0. Solve x = p*x - 12 for x.
3
Let h be (2 + 1)*1 - -1. Let r(a) be the second derivative of -a**5/20 + a**4 - 3*a**3/2 - 15*a**2/2 + 5*a. Let v be r(11). Solve -3*b = -v*b - h for b.
-1
Let b = 68 + -58. Solve -5*q + 0*q = b for q.
-2
Suppose 0 = 5*o + 3 + 22. Let c(n) = n**2 + 5*n + 1. Let b be c(o). Solve -2*u + b = 7 for u.
-3
Let h(t) be the third derivative of 1/6*t**3 + 0 - 1/24*t**4 - 1/60*t**5 + 1/24*t**6 + 0*t - 2*t**2. Let d be h(1). Solve d = v - 0*v for v.
4
Let z be 38/(-14) - 4/14. Let u be ((z - -3) + 1)*3. Solve l + 10 = u*l for l.
5
Let j be ((-18)/5 + 3)*(-60)/18. Solve 0 = 4*w - j*w - 6 for w.
3
Let w = -10 + 16. Suppose 14 = 2*s + v + 2*v, w = -2*s + 2*v. Solve -3 = -p - s for p.
2
Let t be (-32)/(-12)*9/2. Suppose 0 = 2*i - 2*d + 5 - 23, 0 = -4*d - t. Solve -2*o + 0 = i for o.
-3
Suppose 2 = -3*w + 4*w. Let p(y) = -13*y**2 - 9*y. Let c(o) = 3*o**2 + 2*o. Let s(q) = 9*c(q) + 2*p(q). Let h be s(w). Solve -5*j + h - 14 = 0 for j.
-2
Let h = 18 + -9. Suppose -4*a - 1 = -h. Suppose a*u - 26 = -u - 4*v, -2*u + 5*v - 21 = 0. Solve 4*n - 2 = u*n for n.
1
Suppose -6*x + 2*x + 4*z + 40 = 0, -5*z = -2*x + 35. Solve 20 = -q + x*q for q.
5
Let t(v) = 3*v - 11. Let g be t(5). Solve g = z + 1 for z.
3
Let c(k) = 1. Let r(z) = -z**2 - 8*z - 7. Let y(s) = 2*c(s) - r(s). Let w be y(-7). Solve 0 = w*f + 5 - 1 for f.
-2
Let x = 2 + 0. Let u be 3 + -2 + (1 - x). Let c(t) = -t**3 + t**2 + t + 5. Let a be c(u). Solve -16 = a*v - v for v.
-4
Let k(q) = -q**3 + 12*q**2 + 14*q - 13. Suppose 2*p = -3*p + 65. Let l be k(p). Solve l = 2*c - 0 + 2 for c.
-1
Suppose 2*w - 7*w + 5 = 0. Let g(c) be the second derivative of c**3/3 + c**2/2 - 2*c. Let f be g(w). Solve -f*x = -x for x.
0
Let s(l) = l - 5. Let h be 1 - (1 + 0 + 0). Let p be s(h). Let w be 2/p - 22/(-5). Solve -3*x - 1 = -w for x.
1
Let b(a) = 2*a - 5. Let i be b(4). Suppose 3*f + 6 = i*w, -f - 5*w = -0*f - 28. Solve 1 = f*n - 5 for n.
2
Let h be (-1 - -2 - 0)*22. Let v be (-20)/(-6)*(-192)/(-20). Let y = v - h. Solve -2*j + 0 = y for j.
-5
Suppose -2*o + 36 = -3*k, 0 = -2*o - 2*o + 5*k + 68. Let y be 38/12 + (-2)/o. Let z be (-2)/(-1*(-4)/(-6)). Solve 0 + y = -z*i for i.
-1
Suppose 2*c = c + 7. Suppose -2*y - 5*v - c = 2, -4*v = -5*y + 27. Solve -y*h - 9 = -0*h for h.
-3
Let q = 47 - 47. Solve -2*g + g = q for g.
0
Let v be 0/(-2) - (-6 + 1). Let w(o) = -4*o**3 + o**2 - o. Let n be w(1). Let x be 4/26 - n/(-26). Solve x = v*l - 3*l + 2 for l.
-1
Let g(k) = k**3 - 2*k**2 + 3*k - 3. Let y be g(2). Let z be -3 + 2 + -2 + y. Suppose z = -3*d + 2*d + 8. Solve -d = a + a for a.
-4
Suppose -5*g + c + 11 = 0, 2*g - 3*g - 2*c = 0. Let s be 36/5 + -3 - (-1)/(-5). Solve -s*f + g + 2 = 0 for f.
1
Suppose -3*r + 21 = -3*d, -4*r + d = -4*d - 29. Solve -4*i - r = -7*i for i.
2
Let w be (16/(-12))/((-2)/3). Let i(j) = -3*j + 6*j - w*j - 6. Let k be i(6). Solve k = -n + 5*n + 20 for n.
-5
Let o be (-62)/(-10) - (-2)/(-10). Suppose 2*a = -z + 2, -3*a - o*z + 2*z = -8. Solve a = 4*b - b for b.
0
Let u(d) = -d**2 + d - 1. Let w be u(0). Let o be -1*6/3*w. Suppose o*m = 5*m. Solve 6 = 3*r - m*r for r.
2
Suppose 0 = 2*f - 6 - 0. Suppose -5*r + 4*r + f = 0. Solve -k = -r*k - 6 for k.
-3
Suppose 4*y - 11 = 1. Let o = 5 - y. Suppose 0*f + 45 = 3*f. Solve m + o*m = f for m.
5
Let o = 113 - 106. Solve -9*d = -o*d + 10 for d.
-5
Let n be (-1)/(-2) + (-9)/(-6). Suppose 6*l + 2 = l + n*j, -1 = -4*l - j. Suppose -12 = -3*x - 3. Solve -x*g + 6*g = l for g.
0
Let y be (6 - 12/4) + 2. Suppose 0 = y*a - 6*a + 2. Solve 0 = -5*t + 18 + a for t.
4
Let j(m) = -3*m - 10. Let t b