 (12 + 0)/(-2)*-1. Let m = o + s. Solve 7*l = m*l for l.
0
Let k(h) = -h**3 - h**2 + h + 2. Let g = -2 + 0. Let l be k(g). Solve 0 + l = -4*d for d.
-1
Let k = 3 - 0. Let f = k + 15. Let v be 4/6*f/4. Solve v + 2 = -5*p for p.
-1
Let i be (-1 - -3)/(6/15). Suppose 3*d - y = 7, 0*d + 17 = 5*d + y. Let k be (d - -1) + (2 - 2). Solve -24 + k = i*v for v.
-4
Let l(b) = -7*b**3 + 14*b**2 - 14*b + 15. Let c(h) = -3*h**3 + 7*h**2 - 7*h + 7. Let k(t) = -5*c(t) + 2*l(t). Let i be k(6). Solve 0 = -w + 6 - i for w.
5
Suppose -16 = -3*j - 0*n + 5*n, -4 = 2*j + 4*n. Suppose z + 24 = -3*z - 3*x, -4*x + 12 = -j*z. Let d be (9/(-6))/(1/z). Solve 4*g + d = g for g.
-3
Let o = -1 - -5. Let i = -1 + 0. Let g be i/(-2*1/6). Solve g*j = o + 2 for j.
2
Let c(b) = b**2 - b - 3. Let a be c(4). Let h = -8 + a. Solve h = -2*j + 7 for j.
3
Suppose 5*l = 2*n + 18, 2*l + 4*n + n = 13. Solve -l + 14 = 2*q for q.
5
Let d(t) = t**3 - 17*t**2 + 17*t - 11. Let j be d(16). Solve 2*s - j*s = -3 for s.
1
Let x = 51 - 35. Solve -q - x = 3*q for q.
-4
Suppose 3*q = -2*a + 27, -2*a - 3*q = -2*q - 17. Solve -1 + a = -5*k for k.
-1
Let z(w) = -7 + 8*w - w - 9. Let v(k) = -8*k + 16. Let m(n) = -6*v(n) - 7*z(n). Let h be m(7). Solve -h = -8*c + 5*c for c.
3
Suppose -3*l - 4*v = -2 + 13, -3*l + 24 = -3*v. Solve -5*o = -l + 13 for o.
-2
Let b be (4/2)/(3/12 + 0). Solve 5*o - b + 33 = 0 for o.
-5
Let y(t) = t + 8. Let d be y(-6). Let p = 0 + d. Solve p*h = -3*h + 5 for h.
1
Suppose 2*d = 7 + 5. Solve 5*t - 2*t - d = 0 for t.
2
Let d(o) = -o**2 + 5. Let y be d(0). Suppose 0 = y*s - 3*s - 4. Solve 2*t = s + 6 for t.
4
Suppose 0*f - 2*v + 5 = -5*f, -2*v + 10 = 0. Let z = f + 2. Solve z*m + 8 = -4 for m.
-4
Suppose 3*x - 1 + 4 = 0, 0 = 4*b + 5*x - 11. Solve -25 = -b*o - 9 for o.
4
Let h = 5 + -2. Solve -6 = -h*o - 0 for o.
2
Let x = 10 - 13. Let w = x - -11. Solve -3*r = r + w for r.
-2
Let o(d) = d + 2. Let m be o(0). Suppose q - 4 = 0, -2*p - 2*p + 20 = 3*q. Suppose 2*l = -m*y - p*y + 12, 0 = y + l - 4. Solve w + y*w = 9 for w.
3
Let v(d) = 2*d**2 - d - 1. Let z be v(-1). Let h be (-360)/300*(-10)/6. Solve 0 = h*p + z for p.
-1
Suppose 5*r - 24 = 2*r. Let n be 4*6/r + 0. Solve -2*u = n*u for u.
0
Suppose -3*w + 6 = 21, 3*a + w = 7. Solve a*t = -0*t for t.
0
Let a(z) = 13*z**3 - 2*z**2 + 1. Let u be a(1). Let f(b) = b**3 - 6*b**2 + 2. Let y be f(6). Let h = 9 + -4. Solve u = h*g + y for g.
2
Suppose -2*w + 23 = -17. Suppose 0 = -3*r + 4*r - w. Solve r = -4*t - t for t.
-4
Let b = -83 + 87. Solve -12 + 4 = b*m for m.
-2
Let o = 9 + -7. Let l be (-4)/3*(-6)/4. Solve o = -l*f + f for f.
-2
Suppose 26*h - 15 = 21*h. Solve -h*m + 9 = -6*m for m.
-3
Suppose 3*d - 9 = 4*l + 3, -3*l + 49 = 5*d. Let r = d + -4. Solve 0 = 4*t + r + 4 for t.
-2
Suppose 5*g - 9 - 1 = 0. Suppose -g*f = 3*f. Solve 0 = -2*n - f*n for n.
0
Let t(x) = -x**2 + 4*x - 4. Let g be t(2). Solve g = -5*m - 10 for m.
-2
Let j(y) = 3*y - 3. Suppose -3*a - 4*b = 30, -b + 4*b = 3*a + 9. Let m = 8 + a. Let s be j(m). Solve -8 = -s*k + 5*k for k.
-4
Let m(d) = 3*d**2 - 2*d + 1. Let y be m(2). Suppose 4 = 5*l + y. Let s = l + 3. Solve s*w + 6 = -0*w for w.
-3
Let g(t) = t + 3. Let f be g(0). Solve f*j + 2 + 4 = 0 for j.
-2
Suppose 4*p - 9*p = -10. Solve -3 = j - p*j for j.
3
Let y(g) = g**3 + 15*g**2 + 13*g - 11. Let i be y(-14). Solve 0*f - i = -f for f.
3
Let k(w) = -8*w**2 + 1 + 0 - 8*w - 4 - w**3. Let a be k(-7). Solve a*v - 3*v = -3 for v.
-3
Let z(g) = g**2 - 7*g + 6. Let m be z(6). Solve -2*r = 10 - m for r.
-5
Suppose 0 = -2*n + 6*n - 16. Suppose -n = -l - l. Solve -3*b - l + 11 = 0 for b.
3
Suppose 4*m - 7 = 9. Suppose 40 = 14*h - 10*h. Solve -i - m*i = h for i.
-2
Suppose 5 - 13 = -4*j. Solve d - 15 = -j*d for d.
5
Let t be (-258)/9*12/(-8). Let g = -26 + t. Solve 8 + g = 5*s for s.
5
Let u(h) = h**3 - h**2 - 1. Let l be u(2). Let t(z) = -8*z + l*z + 0*z**2 + 1 - 5*z**2 - 2*z**3 - 5. Let p be t(-3). Solve 5*i - p = 5 for i.
5
Suppose 0*c + 10 = 5*o + 2*c, -3*o + 5*c - 25 = 0. Solve -2*u + 4*u - 4 = o for u.
2
Let z = 6 + -6. Let m be -1*(z - -1) - 3. Let j(k) = k**2 + 4*k + 3. Let l be j(m). Solve -6 = l*v - 0 for v.
-2
Let y = 1 + -1. Suppose n + 2*m - 7 = y, -n - m = 4*n - 17. Solve -15 = n*a - 6 for a.
-3
Suppose -2*h = -2*l - 3 - 5, -5*h + 25 = 0. Solve 1 = 2*w - l for w.
1
Suppose -4*f + 0*x - 3*x + 8 = 0, -4 = x. Suppose 20 = -z + 5*z. Let g = f - z. Solve g = j - 4*j for j.
0
Suppose 0*c - 5*g = -5*c + 125, 3*c - 67 = -5*g. Solve 5*h + 4 = c for h.
4
Suppose -9*n - 27 = -45. Suppose 2*g - 4*g = 0. Solve g = n*u + 4 for u.
-2
Let h = 4 - -1. Let t be ((-60)/(-50))/(2/h). Solve t*l = -8 - 1 for l.
-3
Let q = 34 + -29. Solve -v - 4 = -q*v for v.
1
Suppose -1 = 2*o - 9. Suppose 2 = o*f - 3*f. Let c be 7 - (-1 + 2) - f. Solve -c = -4*r + 3*r for r.
4
Let h(x) be the first derivative of x**4/4 - 10*x**3/3 - 6*x**2 + 13*x - 3. Let a be h(11). Solve -a*t + 8 = -0 for t.
4
Suppose -2*x - 18 = -2*w - 2, -5*x = 5*w - 20. Solve 0 = -f + w*f + 15 for f.
-3
Suppose 4*s - 15 = 4*x + s, -3*x = 4*s - 20. Suppose j - 3*j + 6 = x. Solve h + 4 = -j*h for h.
-1
Let a(b) = 5*b**2 - b - 2. Let w be a(-1). Solve 0 = -w*u + 4 for u.
1
Let c(t) = t**3 - 14*t**2 + 5. Let m be c(14). Let f(j) = 4*j**2 + 3*j**3 - 5*j**2 - 6*j**3. Let y be f(-2). Solve -m*z = -0*z - y for z.
4
Suppose -3*c + 10 = 4*j - 21, 2*c + j = 14. Suppose -c*w = -12 + 2. Let f = -9 - -11. Solve w*r + f = r for r.
-2
Suppose 0*t = -3*t + 15. Suppose 3*f = t - 23. Let n be (-14)/f - (-10)/15. Solve -n*p + 4*p - 1 = 0 for p.
1
Let u(w) = -w. Let b be u(-2). Suppose -2*m - 1 = -p + 3, -2*p - 16 = 4*m. Let h be (-5 - -8) + 0/p. Solve h = -t - b*t for t.
-1
Suppose 2*y = -y + 15. Let z(j) = -j**2 - 8*j - 7. Let q be z(-6). Let c = -2 + q. Solve c*h - y - 1 = 0 for h.
2
Suppose -5*x + 22 = -y, 5*y + 1 = -9. Suppose -3*h + 4 = -2*h. Suppose c + 0*c + 3*j - 17 = 0, h*c - j - 16 = 0. Solve -3*b = -c*b - x for b.
-2
Let g be -5*(1 + (-16)/10). Suppose g*h = 4 - 1, 3*i + 4*h - 16 = 0. Suppose -5*p + p - 24 = -2*u, i*u - 3*p = 28. Solve u*c = 4 + 4 for c.
2
Let x(a) = 2*a**3 - a + 1. Let f be x(1). Let z be 3/f - (-1)/2. Suppose -2*u = z*d - 8, 3*u = -d - 0*u + 6. Solve -d = -q + 1 for q.
4
Let s(d) = -d**2 + d - 10 + 7*d + 2. Let y be s(6). Suppose -z - 2*j + 8 = -0*z, -y = 4*z - 4*j. Solve z*n - 5*n = 15 for n.
-5
Let o(v) = 2*v**2 - 4*v + 2. Let t be o(2). Let x = -19 + 20. Solve t*l - 3 = x for l.
2
Suppose 2*y + 3*b = -6, 3*y - b - 2 = 2*y. Let a = 28 + -22. Solve y = -2*x - a - 0 for x.
-3
Suppose 2*b = c + 3*c + 20, 0 = -b + c + 7. Solve 5 = 3*s - b for s.
3
Let l be -1*(1 + 1) + 3. Let a = l - -3. Solve -a*n + 0*n = 8 for n.
-2
Let l(b) = -b**2 - b + 1. Let h be l(-1). Let y = 7 + h. Let r be ((-10)/8)/(3/(-12)). Solve -3*d = -r*d + y for d.
4
Let o = -60 + 62. Solve -5*x = -o*x for x.
0
Let a = 5 - -23. Solve a - 3 = -5*h for h.
-5
Let b be 2/(-6) + 91/3. Let a = b - 12. Solve 4*g = -2 - a for g.
-5
Let d(x) be the first derivative of -x**7/840 + x**6/360 - x**3/3 - 1. Let u(a) be the third derivative of d(a). Let z be u(-1). Solve 3*n = -z*n + 5 for n.
1
Let u(p) = -p**2 - 13*p + 15. Let k be u(-13). Let j be 0 + 6 + 1*-2. Solve 0 = h - j*h - k for h.
-5
Suppose 0*a + 4*y - 24 = -4*a, 4*a - 3*y = -4. Solve 4*v = -a - 2 for v.
-1
Let q = -30 - -33. Solve 1 = -d + q for d.
2
Suppose -3*c - 31 = -6*c - 4*m, 2*c - m = 39. Suppose -2*f + 3 = -c. Solve -w - w = -f for w.
5
Suppose 2*b + 26 = 4*z, 4*z - 33 = 3*b - 6. Solve 2*x = -x + z for x.
2
Let j(a) be the third derivative of a**6/120 - a**5/15 - a**4/4 + 7*a**3/6 + a**2. Let p be j(5). Solve 0 = g - p*g for g.
0
Let u(o) = -o**3 - 3*o**2 + 4*o + 5. Let r be u(-4). Solve -d = -2*d - r for d.
-5
Let j = 8 + -4. Suppose -5 = -j*n + 11. Suppose -5*b + 3*w - 5 = 0, -16 = b - n*b - 2*w. Solve 0 = -b*y + 6*y for y.
0
Suppose -2*q + 38 + 82 = 0. Let x be 384/q + (-3)/(-5). Solve x*h = 3*h - 4 for h.
-1
Suppose 2*g = 5*y, -25 = -5*y - 6*g + 3*g. Suppose -3*q + 35 = y*o, 0 = -o + 5*o - 5*q - 37. Solve 3*w = 1 - o for w.
-4
Let o = 15 - 15. Suppose -4*n + 4*w + 24 = o, 2*w = -n - 3*w - 12. Solve -4*s - n = -19 for s.
4
Let c = 3 + -2. Let k = c + -2. Let o be 6 + (0 - 0) + k. Solve -l + o*l - 8 = 0 for l.
2
Suppose -5*j + 42 = q, 2*j = 3*q 