 = 3*x - 7. Solve 4 = -x*l - 0*l for l.
-2
Let g be (0/3)/(-1 - 1). Suppose -3*t = -g*t. Solve t = -3*j + 4 + 8 for j.
4
Let i(o) = -o**2 + 2*o. Let b be i(0). Solve b + 4 = d for d.
4
Let y = 2 - 22. Let r = y + 30. Let g(s) = -s**3 - 6*s**2 + 2. Let k be g(-6). Solve k*h + 0*h + r = 0 for h.
-5
Let v be 6/2 + -3 + 20. Suppose 3*z + 2 = v. Solve 2*y = -y + z for y.
2
Suppose -3*r + 24 = -0*r. Suppose -h + 30 = 4*h. Suppose -2*g - h = -4*x, -x - 5 + 2 = -2*g. Solve -g*t + r = t for t.
2
Let o(x) = 2*x + 1. Suppose 2*d - 2*b = 4*d - 10, 0 = 4*d - 3*b + 1. Let i be o(d). Suppose -5*z = -0*z - 10. Solve 15 = z*v + i for v.
5
Suppose -8 = -3*o + 4*o. Let a(j) = -j**3 - 9*j**2 - 8*j. Let g be a(o). Solve 0 = -g*s - s - 1 for s.
-1
Let r = -3 - -13. Suppose 21 - 1 = 5*u + b, u + 3*b = -r. Solve a + u - 4 = 0 for a.
-1
Let f = -42 - -25. Let k = 1 - f. Solve 3*r - k = -3 for r.
5
Suppose 0 = 13*i - 12*i - 10. Suppose 0 = 4*b + 2*g - 16, -5*g = -3*b - 7*g + i. Solve b + 6 = 4*u for u.
3
Let w(c) = -2*c - 4. Let s be w(-4). Solve s*m = 3*m for m.
0
Suppose -v + 3 = 0, -3*f = -0*f + 4*v - 27. Solve 2*c + 3*c = f for c.
1
Suppose -42 = 2*z - 52. Solve 0 = 3*d + z - 11 for d.
2
Suppose -5*q + 23 + 7 = -4*m, 18 = 3*q + 2*m. Solve 2*z - 4 = -q for z.
-1
Let x = 6 + -3. Solve 21 - 6 = x*i for i.
5
Let k be 0/(-4 + 2 - -1). Solve -z - 4*z = k for z.
0
Let h be (-20)/(-35)*28/8. Let z(a) = -a. Let n be z(-1). Let q be h + (-3)/n*-1. Solve 3*m + 4 + q = 0 for m.
-3
Let y be (-43)/(-9) + 8/36. Let w be (1 - y/3)*-3. Suppose 0 = -3*u + 9, 2*l - 2*u = -0*u + 34. Solve -2*r - w*r - l = 0 for r.
-5
Let a be (0 + -1)/(-2 - -1). Solve -h + 4 = -a for h.
5
Let o(i) = 2*i + 3. Let j(g) = g. Let d(h) = -2*j(h) - o(h). Let c be d(-2). Suppose 7 = 3*w - c*m - 0*m, 4*m = 2*w - 4. Solve 0 = u + w*u - 5 for u.
1
Let p(z) = z - 4. Let k be p(7). Suppose -k*b = -4*g + 29, -4*g - b + 22 = g. Solve 0 = -g*r + r - 8 for r.
-2
Suppose -z + 4*z - 9 = 0. Solve 2*k - z*k + 1 = 0 for k.
1
Let o be -1*(-6 - 2 - -1). Suppose -o = -4*w - w - 2*r, -16 = 4*r. Solve 0 = -4*u + 3*u + w for u.
3
Let g be ((-20)/6)/((-4)/6). Let h(k) = 3*k - 1. Let a be (-3 - -1)/(0 - 1). Let j be h(a). Solve -15 = j*y - g for y.
-2
Let r(a) = -a**3 + 5*a**2 - 5*a + 1. Let j be r(4). Let q be ((-6)/(-9))/((-1)/j). Solve d = -0*d - q for d.
-2
Let g(f) be the third derivative of 0 + 0*f + 2*f**2 - 1/2*f**3 - 1/20*f**5 - 1/8*f**4 + 1/120*f**6. Let r be g(4). Solve c = 2*c + r for c.
-1
Let i be (3 + (-14)/6)*-6. Let m be -3 - -2*(-10)/i. Solve -m*w - 2 = -10 for w.
4
Let w = -26 + 33. Solve -2*l + w*l = 5 for l.
1
Let f be (-1)/(3/6 - 1). Suppose 2*j + 4*i + 34 = -0*j, -2*j - f*i = 24. Let b = j - -11. Solve 4*x - 5*x + b = 0 for x.
4
Let h(c) = 2*c - 18. Let n be h(12). Solve -2*x + n = -0*x for x.
3
Let v = 149 + -145. Solve v*f - 2 = 5*f for f.
-2
Let n be ((-9)/2)/((-2)/(-8) - 1). Solve u + n = -u for u.
-3
Let y = -1 + 6. Let g be (-6)/(-10)*y*1. Suppose 10 = -2*q + 3*l + 4, -l = -g*q - 2. Solve q*b - b = 3 for b.
-3
Let g be 10/15*6 + -1. Solve 2*n - g*n = 0 for n.
0
Let p be (0 - -1)/(-3)*0. Solve -2*j + 14 - 6 = p for j.
4
Suppose -4*s + 11 = -s - 5*n, 4*s = 5*n + 13. Solve -5 = -s*x - 3 for x.
1
Let u be (-2)/6 + (-4)/6. Let c(p) = -p - 3. Let a be c(-6). Let b = a + u. Solve 0*k - 8 = b*k for k.
-4
Let c = 2 - 0. Let p = 4 - c. Suppose 4*k = -5*x + 15, 0*x = x + 5. Solve -p = -2*z - k for z.
-4
Let u be (-155)/(-20) - 3/4. Solve 4*g + 1 = -u for g.
-2
Suppose -5*t + 105 = -5*y, 2*t - 26 = -2*y - 4. Solve -o = -5*o - t for o.
-4
Let p be (2*-1 - -2)*(-28)/28. Suppose -4*b + 2 = -14. Solve b*m + p*m = -20 for m.
-5
Let l(o) = o + 10. Let t be l(-7). Suppose 3*z = 2*b + 2, -3*z - 2*z + 2 = -2*b. Solve m - t = -z for m.
3
Let p(m) be the first derivative of m**3/3 - 5*m**2 + 2*m - 2. Let h be p(10). Solve 2*i = -h*i + 12 for i.
3
Suppose -r = -4 - 10. Let h = 16 - r. Solve 3*y - 2*y = -h for y.
-2
Let y(a) = a**3 - 6*a**2 + 1. Let z be y(6). Let n(r) = -3*r + 0 + 5*r**2 - z + 3*r. Let t be n(1). Solve -17 + 1 = t*u for u.
-4
Suppose -v - 2 = 1. Let l(b) = -b - 4. Let i be l(v). Let j be -2*(i + 0/1). Solve 3*h = -j*h for h.
0
Let o(r) = r**2 + 7*r + 6. Let y be o(-7). Suppose 0*g + 10 = 5*g. Solve g*k - 8 = y*k for k.
-2
Suppose -6*r - 6 = 2*t - 2*r, -2*r = -t + 9. Let l be (t - 1)/((-2)/(-3)). Let q(w) = w. Let n be q(l). Solve b + 8 = n*b for b.
4
Suppose 3*r - 86 = 2*n, 2*r = -3*r - 5*n + 160. Let y = -18 + r. Let f be 57/y + (-2)/(-8). Solve f*x = -2 + 7 for x.
1
Suppose -17 = 4*l - u - 0*u, -3*u + 6 = -3*l. Let s(y) = y**2 + 4*y - 5. Let z be s(l). Solve z = q + q for q.
0
Let t be (11/(-4))/(3/(-12)). Suppose -2*l + t = -9. Let r be l/6*(3 + 0). Solve 30 - r = -5*s for s.
-5
Let y be 15/(-60) + 2*42/16. Solve -y*c = -c + 16 for c.
-4
Suppose -3*k - 5*i + 43 = 0, -4*k = -3*k + 4*i - 26. Let w = k + -4. Solve 5*j = -3 - w for j.
-1
Let s = -53 - -55. Solve 6*c = s*c for c.
0
Let s(w) = -3*w**3 + 3*w**2 + w - 1. Let c be s(-1). Suppose -2*f + 24 = 2*f. Solve f = c*k - k for k.
2
Let a = -5 - -9. Suppose -n + a = -0*n. Suppose 2*v = 7*v - 15, 5*r - v = -3. Solve r = -n*x - 20 for x.
-5
Suppose -2*k = -k - 4. Suppose -k*c + 5*r - 1 = -0, 29 = 4*c + r. Solve -2 = -4*f + c for f.
2
Let f = -49 - -53. Solve 3*z + f = -5 for z.
-3
Let z be ((-18)/15)/((-2)/5). Let b(d) = d. Let i be 1 + (-2 - -1) + 2. Let s be b(i). Solve -2*y = -z*y + s for y.
2
Let y be (5 + -5 + 3)*-1. Let q = 4 - y. Solve 2*m - q*m = -20 for m.
4
Suppose 0 = i - 3 - 0. Suppose z - 3*z + 22 = 2*q, i*q + 5*z = 43. Solve -5*l + q*l = 0 for l.
0
Let w(y) = -y**3 + 10*y**2 + 1. Let d be w(10). Let o = 14 + d. Let k(h) = h**3 - 5*h**2. Let l be k(5). Solve 5*s = -o - l for s.
-3
Let d = -2 + 4. Solve -d*l - 3*l = 10 for l.
-2
Let d be 2/8*-10*-4. Suppose -t = -3*t + d. Solve t*i + 1 = -14 for i.
-3
Let t(i) = -i**3 + 4*i**2 + 4. Suppose -4*g + 3*g = c, 4*g + 36 = 5*c. Let o be t(c). Solve 0 = -o*b + 1 + 11 for b.
3
Let y be 1/((-1)/(-3 - -2)) + 14. Solve 3*o - y = -2*o for o.
3
Let p(w) be the second derivative of 1/6*w**3 + 0*w**2 - 3*w + 0. Let y be p(5). Solve 0 = -y*z - 34 + 14 for z.
-4
Suppose -6*f + 10*f = 16. Solve f*t + t + 25 = 0 for t.
-5
Let q(z) = -z**2 - 9*z. Let l be q(-9). Let f = 0 - l. Solve -6 = -f*b - 3*b for b.
2
Let q(h) = -h**3 - 10*h**2 + h + 14. Let j be q(-10). Suppose 4*y + j = 2*y. Let g = 4 + y. Solve -g = t + 1 for t.
-3
Suppose g + 17 = -5*j, -j + 2*g = 1 - 2. Let y = j - -6. Suppose -5*s + 15 = -0*h + 5*h, 2*s - h = 9. Solve s = -v + y*v for v.
2
Suppose 2*w - g = 17, 5*w - g = 64 - 20. Solve -i = 2*i - w for i.
3
Let p(a) = -a - 4. Let x be p(-6). Suppose 5*d + 0*d + 14 = -3*n, x*d + 18 = 5*n. Let y be ((10 + -2)/2)/n. Solve -y*h - 25 = 3*h for h.
-5
Suppose 3*l - 1 - 2 = 0. Let p be 2 - (-1 - -1) - l. Let z = -19 + 24. Solve 3*y + z = -p for y.
-2
Let q = 96 - 93. Let l = -3 - -8. Let k = 5 - 3. Solve l + q = k*h for h.
4
Let p(t) = -t + 25. Let u be p(0). Suppose -6*v + u = -v. Solve -v - 1 = 3*n for n.
-2
Let o be (24/(-1))/(-6) + -2. Solve 2*u - u + o = 0 for u.
-2
Suppose -2*h + 1 = 5*c - 4*h, 2*c - 3*h = -4. Let r be 2/3*(-6)/(-2). Solve c + r = -f for f.
-3
Let w be (-8)/20 - 224/(-10). Suppose 3*h - n = n + w, -h = -5*n - 3. Solve 2*j = -0*j - h for j.
-4
Let t = -22 + 53. Suppose -4*d = 5*q + 52 - 20, 0 = -5*d - 4*q - t. Let o(f) = f**2 + f - 3. Let g be o(d). Solve -g*a + 3 + 6 = 0 for a.
3
Let j be 4 + -1 + (-27)/9. Solve j = -b - 2*b + 9 for b.
3
Suppose -4*h + 5 = 2*o - 11, 0 = 5*o - 4*h + 16. Solve o = -0*f + 3*f + 12 for f.
-4
Let h = -9 - -12. Solve h + 0 = m for m.
3
Let a(l) = 4*l**2 - 2*l - 2. Let n be a(-2). Suppose 5*m - s = n, -5*m + s = -s - 16. Solve -f - 5 = m*f for f.
-1
Let j(u) = -u**2 + 2*u - 3. Let n be j(2). Let s be n/(-9) + (-13)/3. Let b = 7 + s. Solve 9 = 3*v + b for v.
2
Suppose w = -4*w. Let i(h) = -h**3 - h**2 - h + 24. Let k be i(w). Suppose -7 = 3*r + 4*x, -4*r + 4*x - x = -k. Solve z + 4 = -r*z for z.
-1
Let v = -17 - -22. Solve -v*g = -g for g.
0
Let b be (4/(-6))/((-8)/36). Solve 3*l - 6 = b for l.
3
Let k = 37 - 35. Solve -3*x + k + 1 = 0 for x.
1
Let b = 0 - -5. Suppose 3*l + 2 = 4*i, -2*i + b*l - 18 = -6*i. Suppose -5*h = -i*h - 15. Solve 5*x = -5 - h for x.
-2
L