 4*i = 0, i + 0 = -h + 8. Solve 15 = h*a - 1 for a.
4
Let r = -8 + 7. Let b be 21 + -2 + r - 0. Let v = b - 11. Solve -v = 4*c + 1 for c.
-2
Let s(q) be the third derivative of q**5/60 + q**4/2 + 2*q**3/3 - 4*q**2. Let z be s(-13). Let n = 0 + 1. Solve 4*i - n = -z for i.
-4
Suppose 0 = 2*x - 0*x. Suppose -3*t - t + 8 = x. Suppose f = -t*f. Solve -3*o - 12 + 0 = f for o.
-4
Let o(n) = 2*n**3 + 6 - 10*n**2 - 12 - n**3 + 10*n. Let g be o(9). Suppose -g*w - 8 = -7*w. Solve 2*z - 2 = w for z.
2
Let s = 11 + -2. Let n = s - 6. Solve -n*g = -5 + 2 for g.
1
Let b(i) = i**3 - 2*i**2 - 1. Let d be b(2). Let v be 35/5 - (-1)/d. Solve v = 4*y + 2 for y.
1
Let w(l) = -4*l + 4. Let q be w(1). Solve 0 = -y - q*y for y.
0
Let w be (-6 - 0)/2 + 3. Let p = w + 2. Solve -3*l - 20 = p*l for l.
-4
Let z = -8 - -6. Let k(r) = -r**2 + 2. Let f be k(z). Let w be (-1 - f/5)*-5. Solve 2*a = -w*a - 25 for a.
-5
Let y(r) be the second derivative of -r**5/20 - r**2/2 + r. Let j be y(0). Let k be (-7)/(-2 - j/1). Solve k + 2 = -3*o for o.
-3
Let l = -4 - -2. Let j be (4 + -3)/(l/(-50)). Suppose -5*s + j = 5*k, -3*k + 8 + 11 = s. Solve k*x = 3*x for x.
0
Let p(d) = -14*d - 1. Let w be p(-1). Let n = 40 - 28. Solve -5*s + w = -n for s.
5
Let m(x) = x**2 + 1. Let c be -1 + (2 - (2 + 0)). Let q be m(c). Solve -2 - 2 = -q*v for v.
2
Suppose 2*w - 8 = d - 2*d, -2*w = -d. Solve -w*p = -0*p + 2 for p.
-1
Let n(m) = -2*m**3 + m**2 + m. Let q be n(-1). Suppose 10*z = -2*s + 5*z - 5, -q*s + 2*z = -16. Solve s*v = -18 + 8 for v.
-2
Let h(o) = -o**3 + 20*o**2 + 20*o + 21. Let p be h(21). Suppose 0 = 3*f + 2*u - 6 - 8, -f + 4*u - 14 = 0. Solve f*v + v = p for v.
0
Suppose 4*w + 0 - 12 = -2*v, -12 = -4*w + 2*v. Solve -5 - 1 = -w*p for p.
2
Let m(r) = -3*r**3 + 2*r**2 + r. Let k be m(-1). Let c be (1 - -1)/k*2. Solve 2 = -t + c for t.
-1
Suppose -b + 4 = -1. Suppose -4*a = -3*o - 29, 8*a - 3*a - 35 = b*o. Solve -4*i + a = -0*i for i.
2
Suppose 2*t = -6*t + 3*t. Solve t*v + 10 = 2*v for v.
5
Suppose -2*l - 2 = 10. Let z = l + 6. Solve z = -i - i - 6 for i.
-3
Let b be (36/16)/(3/16). Suppose -b = k - 2*k. Solve 3*s = k + 3 for s.
5
Suppose -5*j + 3*j = -4. Suppose 0 = -5*k + j*k + 15. Suppose -k*d - 16 = 2*a, 2*d + 12 = -0*a + 2*a. Solve -a*g - 2 = -g for g.
-2
Let p be (1 - -4) + (-1 - -2). Suppose 4*q + 5*l - 3*l = -p, -3*q - 12 = 3*l. Let y(m) = 4*m**2 - 2*m + 2. Let z be y(1). Solve q = i + z for i.
-3
Let k = 7 + -5. Suppose 0 = 2*f + 3*r - 9, f - 6 = -0*f - 2*r. Suppose f = -2*g + k*o - 8, g = 5*o - o - 16. Solve g = -j + 4*j + 3 for j.
-1
Let q = -53 + 57. Solve 7 = y + q for y.
3
Let z(s) = s**2 - 2*s + 2. Let j be z(2). Let m(k) = -k**3 - 6*k**2 + 8*k + 10. Let d be m(-7). Let n be (d + (-10)/4)*4. Solve n*o = j + 2 for o.
2
Suppose 5*p = -3*b + 2*p - 12, 5*b = -p. Solve -5*t - 6 + b = 0 for t.
-1
Let l(n) = -n**3 + 4*n**2. Let q be l(2). Let p be 11/4 + 2/q. Solve -r = p*r - 20 for r.
5
Let d be (15/(-2) + 1)*2. Let b = -8 - d. Solve -3*f = 20 - b for f.
-5
Let i = -19 + 34. Solve -3*b = -6*b + i for b.
5
Let l(c) = -c**3 - 5*c**2 + 7*c + 12. Let k be l(-6). Solve q = -k + 1 for q.
-5
Suppose v + j - 6 = 0, v + 4 = 4*j - 0. Suppose -3*t + v = h, -2*h = 2*t - h - 2. Solve -1 - 3 = t*b for b.
-2
Let a be 220/18 + 4/(-18). Suppose 0 = -3*o + a. Let p = 11 + -8. Solve o + 2 = -p*x for x.
-2
Let a(b) = b**2 + 6. Let g be a(0). Suppose 4*x - 3*x = -2*n - g, 3*n + 35 = 5*x. Let f = -5 - n. Solve f = -0*o - 4*o - 8 for o.
-2
Let j be (1 - 0) + (-1)/(-1). Suppose 7*c = j*c. Solve c = 3*z - 7 - 5 for z.
4
Suppose -2*k = 4*s - 2*s, -s + 4*k + 20 = 0. Suppose -c = -v - 0 + 7, s*v - 3 = -c. Solve 0 = -v*y - 3 + 7 for y.
2
Let n(d) = 7*d - 42. Let k be n(6). Solve k*j - j = -4 for j.
4
Suppose 4*y + 48 - 128 = 0. Let s be (y/(-25))/((-1)/5). Suppose 1 = -7*q + 15. Solve s + q = 2*r for r.
3
Let r(d) = d**2 + 12*d + 24. Let t be r(-10). Solve 22 = -t*z + 6 for z.
-4
Suppose 2*q = 3 + 7, -22 = -p - 4*q. Suppose -5*u + 16 = -2*c, p*u - 2 + 0 = 3*c. Let o be 0*((-1)/c)/(-1). Solve 2*z + z = o for z.
0
Suppose -6*x = 5*x - 11. Solve -3*v = -2*v - x for v.
1
Let n = 5 - 0. Let y = 4 - 2. Solve 4*j + y = n*j for j.
2
Suppose -m - 5*i + 4*i = 0, 3*i + 24 = 5*m. Solve -b + m = -0 for b.
3
Let x = -16 - -16. Suppose x = -3*g + g - a, 0 = 3*g + 5*a. Solve -i - 2*i = g for i.
0
Let r(b) be the second derivative of b**3/6 + 3*b**2/2 + b. Let k be r(0). Solve -17 + 2 = k*n for n.
-5
Suppose -2*c + 2*z = 4*z - 24, 2*c - 33 = -5*z. Solve 5*a + 16 = -c for a.
-5
Let d be -1*(-8)/1 + -4. Suppose -4*h = d*w + 8, -3*h - 4*w - w = 10. Solve h*a - 2 = a for a.
-2
Let o = 47 + -32. Suppose -3*p = -0*p. Solve -o = -p*f + 5*f for f.
-3
Let s = 35 - 10. Suppose 26*f = s*f. Solve -2*x - 3 - 3 = f for x.
-3
Suppose -3*r - 32 = -2*b - 3*b, -3*b + 23 = 2*r. Solve 9*g - b*g = 0 for g.
0
Let l(y) be the second derivative of y**3/6 + 3*y**2/2 - y. Let s be l(-3). Suppose 3*c = -4*m + 12, s = -2*c + 4*m - 4 - 8. Solve c*q - 1 = q for q.
-1
Let w be 20*(2 + (-21)/12). Solve 0 = 2*s - w*s - 12 for s.
-4
Let a be (-5)/(-2)*(-12)/(-6). Suppose -a*w + 2*w = -12. Suppose 0*m + 20 = w*m. Solve 10*d - m*d = 25 for d.
5
Let m(c) = -c - 1. Let o = 0 - 1. Let g be m(o). Solve g*k + 3 = 3*k for k.
1
Let h = -20 + 24. Let b be (-6)/21 + 102/14. Suppose -b = -q - 2. Solve q = h*m - 3 for m.
2
Let q be 3 - 1 - (16/4)/(-4). Solve q*u + 10 = -2 for u.
-4
Suppose -o = 2*m + 1, 2*o - 3*m + 6*m = 0. Let v = 38 - 34. Solve o = y + v for y.
-1
Let l(r) = r**3 + 6*r**2 + 4*r - 3. Let k be l(-4). Let c(j) = -4*j - 2. Let d be c(-3). Let q = d - 7. Solve -k + 1 = -q*x for x.
4
Let i(v) = -4*v - v**2 + 6 + 10 - 3. Let y be i(-6). Solve w + 4 = -y for w.
-5
Let h be -2 + 7 + (3 - 3). Suppose k - h = -3. Solve -k*o - 12 = o for o.
-4
Suppose 0*i - 1 = i. Let y = i + 2. Solve 0 = -5*z + y + 24 for z.
5
Let x(p) = p**2 + 13*p - 9. Suppose 4*r = 7*r + 42. Let w be x(r). Let n = -8 - -11. Solve -i + n - w = 0 for i.
-2
Let m be 1/(-3)*(11 - 2). Let p be 1/(-3) + m/(-9). Suppose -1 + p = -o. Solve -2*a = -3*a + o for a.
1
Let m(w) be the first derivative of w**4 + w**3/3 - w - 6. Let h be m(1). Solve 0*n + 16 = h*n for n.
4
Let t(i) = i**3 - 5*i**2 - 23*i - 6. Let h be t(8). Solve -3*y = -h*y - 1 for y.
1
Suppose 6 - 1 = -5*d - 5*w, -2*d - 5*w - 14 = 0. Solve -13 = -d*k + 2 for k.
5
Let x = 38 - 34. Solve 5*n + 1 = -x for n.
-1
Let b = 1 - 1. Let y be -1 + 3/1 - -17. Suppose -4*r + 10 = -2*w + 2, 0 = 5*w + 3*r - y. Solve w*f + b*f = 6 for f.
3
Suppose 5*k - 13 = 22. Suppose -v - 5*n + 15 = 0, -2*v - n - 23 = -k*v. Suppose -4*p + 68 + 46 = 2*w, -4*p + 3*w = -119. Solve -p = v*i - 4 for i.
-5
Suppose -5*p + 26 = 3*l, 4*l - 2*p = -0*p. Solve 0 = -l*q + 11 - 3 for q.
4
Let b be (-64)/(-6) + 24/(-36). Solve -3*j = 2*j + b for j.
-2
Let r = 8 + -5. Let q be (-39)/(-5) + r/15. Solve -4*a - q = 4 for a.
-3
Let p(s) = s**3 - 5*s**2 - 6*s + 5. Let g be p(6). Solve 0 = z + 4*z + g for z.
-1
Suppose o = 5*q, 5*o - o - 2*q = 0. Let z(s) = s**2 - 10. Let j be z(0). Let b(k) = k + 10. Let v be b(j). Solve o*p - 2*p + 2 = v for p.
1
Let p = -1 - -3. Suppose -p*g + 3 = -g. Suppose 2*w + 16 = 4*q, 2*q - 4*q + g*w + 16 = 0. Solve -7*r = -q*r + 25 for r.
-5
Let p = -5 - -2. Let o(t) = 2*t**3 + 5*t**2 + t + 1. Let w(m) = -3*m**3 - 6*m**2 - m - 2. Let b(i) = p*w(i) - 4*o(i). Let u be b(3). Solve 2*a = -0*a - u for a.
-4
Let h be (1 - -5) + 27 + -23. Let z be (-4)/(-6) - 10/(-3). Solve z*k = 30 - h for k.
5
Suppose t + 3*m = 1, -2*m = 2 - 0. Solve -9*u = -t*u - 5 for u.
1
Let f be 4/(-6) - 190/(-15). Let k = f - 7. Solve -6 = k*d - 1 for d.
-1
Let d(j) = j**2 + 7*j + 2. Let p = 4 - 4. Suppose 4*v = 0, h + p*h + 7 = 4*v. Let k be d(h). Solve 0 = -k*w - 2*w for w.
0
Let c = -896 + 901. Let x(d) = -19*d. Let b be x(-1). Solve -1 = c*i + b for i.
-4
Let i be 186/(-18) - (-2)/(-3). Let a = 14 + i. Solve -a*r = -1 - 2 for r.
1
Suppose -4*r + 2*r = -6. Suppose 0 = 4*f - 5 - r. Solve -f - 1 = -3*u for u.
1
Let a = -26 + 32. Solve a*x = x + 20 for x.
4
Suppose -3*q + 1 = -2*q. Suppose -21 = -4*a - q. Solve 2*b = b - a for b.
-5
Let o be 123/12 - 2/8. Suppose 0 = 2*a - 2 - o. Let s = a - 2. Solve -s = k - 1 for k.
-3
Let m(n) = -n**2 - 7*n + 31. Let c be m(-10). Suppose z + 4*a = 16, 3