l for t.
-1
Let r(n) = 2*n**3 - n + 2. Suppose 4*w = w - 3*i + 12, -i + 10 = 4*w. Let t be r(w). Solve -t + 1 = -3*m for m.
5
Let z(j) = -j**2 + 5*j + 8. Let c be z(6). Suppose 2*q - 4 = -x, 4*x + q = c*x + 11. Let v be 2 - (-6 + x/2). Solve 2*o = -5 - v for o.
-5
Let z = 0 - -10. Solve -2*t = 3*t - z for t.
2
Suppose -3*a + 2*i = 6*i + 5, -3*i = 6. Let o be -1 + (1 - (-1 + a)). Suppose 4*s + 20 = -d + 3*d, -s - 19 = -4*d. Solve d*w + 10 + 2 = o for w.
-3
Let c = -1 + 6. Let r be 0*(20/8)/5. Suppose x - 10 + 3 = r. Solve -4*o - c = x for o.
-3
Suppose 4*c + 4*g - 40 = 0, 30 = -0*c + 3*c - 5*g. Solve -4*m + c = m for m.
2
Suppose 2*z - 4 = 0, -n + 2 = n + z. Solve n*u - 3*u - 12 = 0 for u.
-4
Suppose 0 = -3*b - 3*i + 3, 3*b + 13 = 4*b - 3*i. Solve -b*t + 5*t = 1 for t.
1
Suppose 3*n - 5*n + 56 = 0. Let p be ((-30)/7)/((-4)/n). Suppose 2*i - 4*a = 20, -2*i + 2*a - p = -5*i. Solve i = -4*m - m for m.
-2
Let k(o) = o**2 - 4*o - 6. Let v be k(5). Let i be 1 - -2 - (v - 0). Let q be i*(-1)/(-6)*3. Solve d - q = -3 for d.
-1
Let n(g) = -2*g - 3. Let k be n(-2). Suppose 18 = -0*l + 3*l. Suppose 2 + l = 4*b. Solve k = h + b for h.
-1
Suppose -4*s - 7 + 3 = -4*r, -21 = 3*r + 3*s. Let z be (18/5)/(r/(-10)). Suppose 0 = -p - 0*p + 8. Solve -z = -4*b + p for b.
5
Suppose -6*h = h - 21. Solve 7*p - 20 = h*p for p.
5
Let o be (1 - 0 - -5) + 0. Let z be (74/o)/((-6)/(-18)). Suppose z + 3 = 4*w. Solve -w = -2*q - 0 for q.
5
Let o = -85 - -87. Solve o = p + 4 for p.
-2
Suppose -f - 3*h = -21, 5*f - 48 = -0*h + 4*h. Let i be ((-2)/4 + 1)*6. Suppose -i*o + 2*y + f = -y, -4 = 2*o + 4*y. Solve -d = -o*d + 1 for d.
1
Let j(i) be the second derivative of i**3/6 - 2*i**2 - 2*i. Let h be j(4). Solve h = 2*z + 2*z for z.
0
Let w = 24 - 0. Let z = 26 - w. Solve -b = -z*b + 2 for b.
2
Suppose 5*k + 49 = 5*x + 9, -x - 5*k - 16 = 0. Solve 5*n - 1 = x for n.
1
Suppose 4*a - 5*p = 25, -4*p - 10 = 4*a - 26. Solve a = o - 6*o for o.
-1
Let o = 62 - 60. Let r = -7 + 11. Solve -r*d = -o*d for d.
0
Suppose 3*o - 48 = -2*q - 3*q, -44 = -2*q + 5*o. Suppose -q = -0*h - 4*h. Suppose -4*g - 4*s = -40, h*g = -g + 4*s. Solve -1 + 16 = g*d for d.
3
Let u(r) = r**3 - 6*r**2 - 17*r + 9. Let w be u(8). Solve 4 = -j - w for j.
-5
Let s = -3 + 11. Suppose c + 0*c = -1. Let o be (-4)/s*(c + -3). Solve o = -4*m + 18 for m.
4
Let r(m) be the first derivative of -m**2/2 - 5*m + 5. Let t(z) = -z**3 + 5*z**2 - 7*z + 5. Let b be t(4). Let g be r(b). Solve -g*d = d for d.
0
Let s = 26 + -23. Solve 2*p + 10 = -s*p for p.
-2
Suppose 3 = 5*b - 27. Solve -b*f = -3*f - 6 for f.
2
Suppose -14 = -2*m + 3*b, -b - 21 = -4*m + m. Let j = -5 + m. Let f be (-2)/(-7) - (-5)/7. Solve -3*k = f + j for k.
-1
Let n = 0 + 0. Solve 0 = s - n - 1 for s.
1
Let j(l) be the second derivative of l**4/12 - 2*l**3/3 + 3*l**2/2 - l. Let q be j(5). Solve 2*k - q = 2 for k.
5
Let f = -26 - -43. Suppose 3*l = -w + f, -2*l + 14 = 2*w - 0*w. Solve l = 3*j - 8*j for j.
-1
Let a be (0/(25/(-5)))/1. Solve -2*g + a*g = -2 for g.
1
Let m(k) = -3*k + 7. Let p be m(5). Suppose -2*f - f = -51. Let r = p + f. Solve -4*y + r - 29 = 0 for y.
-5
Let k be 6*1/2 + 0. Let c = k - -7. Solve -h = h - c for h.
5
Let a = -44 + 46. Solve -n = a*n + 6 for n.
-2
Let k be 6/28*2 + 200/56. Solve n - 5 = -k for n.
1
Suppose 22 = -3*m + 4. Let j be 0/(0 + (-4 - m)). Solve x + j*x = 1 for x.
1
Let t = -108 + 158. Let b = 11 + -7. Suppose b*q - t = -14. Solve q = -2*c - c for c.
-3
Suppose 8 = 9*t - 5*t. Solve -t*z = -0*z + 4 for z.
-2
Suppose -4*f + 5*f - 2 = 0. Solve 3 = 5*p - f*p for p.
1
Let g be (-2)/(-5) - 2/5. Suppose 2*z + 2*z = 0. Suppose 6 = -z*t + 3*t. Solve -t*h = -g*h - 6 for h.
3
Suppose -v - 2*u = v - 2, 4*u - 4 = -3*v. Solve v = r + 3*r for r.
0
Let t(v) = -v + 8. Let q be t(8). Solve q*r = 4*r for r.
0
Let n be 6*1*2/2. Let l(d) = d**2 + 3*d + 1. Let b be l(-2). Let h = b + n. Solve 5*f + h = -0 for f.
-1
Suppose 5*i - 45 = -4*z, -4*z + 5 = -5*i + 2*i. Let w be (1 + 0)/(2/10). Suppose -w*g + 5 = -z. Solve g*l + 10 = 7*l for l.
2
Suppose -8*g + 9 = -15. Solve 0 = g*z + 3 - 9 for z.
2
Let x = -45 - -140. Suppose h - 2*h - 55 = -2*m, x = 4*m + h. Let j(i) = i**2 - 2*i - 3. Let t be j(-2). Solve t*f + 0 = m for f.
5
Let o = 22 - 3. Solve -5*f - o = -4 for f.
-3
Suppose -48 = 6*u - 60. Solve -a - 5 = -u*a for a.
5
Let y be (0/(-2))/(-3 + 1). Suppose -2*p + 3 = -5*g, -2*g = -y*p - 4*p + 46. Let d be (-4)/p - (-16)/7. Solve 0 = -0*h - d*h + 8 for h.
4
Let n(s) = 3*s**2 + 6*s + 3. Let c be n(-3). Solve o = -2*o - c for o.
-4
Let o be (-2)/4 + 1/2. Suppose v + v = o. Let p = 2 + v. Solve -2*f = -f + p for f.
-2
Suppose 0 = -4*y + 2*y + 12. Suppose -2*v + 2*b - 26 = -7*v, 0 = -4*v + 5*b + 1. Suppose v + 2 = s. Solve y*p = 4*p - s for p.
-3
Let r(b) = 2*b + 40. Let k be r(-18). Solve 0 + k = -q for q.
-4
Let u(i) = i**2 - 10*i + 5. Let w be u(11). Solve w = -3*a - a for a.
-4
Suppose 0 = -3*h - 2*j - 2, 4*h = 3*h - j. Let l(w) = w + 2. Let y be l(h). Suppose y = 2*m - 4*m. Solve 0 = a - m*a + 3 for a.
-3
Suppose 3 = -0*j - j, 5*j = -4*k - 15. Solve k*w = 2*w for w.
0
Let i(k) = k**3 - 19*k**2 - k + 22. Let n be i(19). Solve 0 = n*j + 1 - 13 for j.
4
Let r(l) = -l**3 + 6*l**2 + 8*l - 3. Let d be 13*(1 + -1 + 1). Let g = -6 + d. Let a be r(g). Solve 5*h = -6 - a for h.
-2
Let a(q) = -q**3 + 2*q - 1. Let k be a(-2). Suppose 0 = k*d + 2*d. Solve d = 2*f + f + 12 for f.
-4
Let u(c) = 11*c**2 - 26*c - 5. Let w(y) = -7*y**2 + 17*y + 3. Let v(d) = 5*u(d) + 8*w(d). Let x be v(5). Suppose -x*k = -k - 3. Solve -3*t = -8 - k for t.
3
Suppose 5*l = -2*t - 21, t + 2*l + 3*l = -23. Let f = 2 - -1. Solve -f*x - t*x - 5 = 0 for x.
-1
Let b = 1 - -3. Solve v + 0 = -b for v.
-4
Suppose t + 2*t = 42. Suppose 0*y + 35 = 5*y - 4*u, -2*y + t = 5*u. Solve y = -2*b - 3 for b.
-5
Let j = 134 + -129. Solve -q + j = -0 for q.
5
Let n = 184 + -179. Solve -5*o = -6*o + n for o.
5
Suppose 0*b - 4 = -2*b. Let p = 2 - b. Solve f + f - 4 = p for f.
2
Let l(y) = -y**2 + 14*y - 8. Let m be l(13). Solve -m*x + 2*x = -12 for x.
4
Let i(u) = -u**2 + 6*u + 5. Let d = -21 + 6. Let r = -9 - d. Let z be i(r). Solve 0 = z*y - y + 8 for y.
-2
Let v(z) = -z**2 - 4*z + 2. Let j be -2*5*6/15. Let g be v(j). Suppose 5*p = g*p. Solve -4*n = -p*n - 16 for n.
4
Let z(w) = 2*w - 39. Let h be z(21). Let g(j) = -20*j + 18. Let t(c) = -7*c + 6. Let p(v) = -4*g(v) + 11*t(v). Let o be p(4). Solve h*q - o = -0 for q.
2
Suppose 0 = 4*h - 4*k, -3*h - 2*h = 2*k + 14. Let n be (-1)/(-3)*(h + 8). Let g be 2/(-3) + 114/9. Solve -n*d = -5*d - g for d.
-4
Let v(z) = -z + 8. Suppose 4*k + 0*k = 24. Suppose -k = -r - 1. Let b be v(r). Solve -10 = -b*u - 2*u for u.
2
Suppose r = -2*u + 2 - 10, u = r - 7. Solve r*w - w = 4 for w.
4
Suppose -3*w + 36 = 2*a + 7, -2*a - 4*w + 26 = 0. Suppose -2*q = -i + a, 3*i - 12 = -q + 24. Solve i - 33 = -5*s for s.
4
Suppose 0 + 3 = o. Solve -o*m = -6*m - 15 for m.
-5
Let i = 9 + -7. Suppose s + c + 60 = 4*s, -i*c = 0. Solve -4*r = r - s for r.
4
Let x(l) = 7*l**2 - l**3 - 4 - 5*l - 2*l**2 + l**2. Let p be x(4). Solve -v + 3*v = -p for v.
-4
Let t be (0 + 8)/(2/5). Solve 3*d = -d + t for d.
5
Let o = -13 - -5. Let n be o/(-1)*(-2)/(-4). Let j = n + -4. Solve 6*g - g - 15 = j for g.
3
Suppose 8 = -2*d, b + 5*d = -12 - 0. Let r = -4 + 6. Suppose -b = -r*v + 2. Solve 4*m = 3*m - v for m.
-5
Let b(q) be the third derivative of q**6/120 + q**5/12 - 7*q**4/24 + q**3/3 - q**2. Let o be b(-6). Let d = -114 - -114. Solve d*n - 2*n - o = 0 for n.
-4
Suppose x + 4*r + 18 = 0, 2*x + 3*r = -x - 9. Suppose -3*w + 46 = 2*z + 3*z, -z + 12 = 2*w. Solve -x*d + 0*d = z for d.
-4
Suppose -6*q = -q + 55. Let h = -11 - q. Solve 4*w - 2*w + 10 = h for w.
-5
Suppose -n + 2*w + 0 = 8, -w + 15 = 5*n. Solve -u + n = -0 for u.
2
Let z(h) = h**3 - 8*h**2 - h + 10. Let p = 18 - 10. Let m be z(p). Solve 0 = c + m*c for c.
0
Let w(v) = -2*v - 12. Let x be w(-6). Suppose -6 = -3*n - x*n. Solve -n*l + 4 = 2*l for l.
1
Let g = 16 + -11. Let z be (-6)/(-27) + 125/45. Suppose 5*x = -2*s - 17, z*s - 2*x - 22 = -0*s. Solve -s*t + g*t = -3 for t.
-3
Let j be 6/(-4) + (-182)/(-28). Solve -j*g + 12 = -g for g.
3
Let j be -1*(-1 + 4)*-1. Solve 5 = j*o - 4*o for o.
-5
Let r be 51/7 + -2 + (-2)/7. Suppose 0 = 4*j - j - 6. Suppos