v = 40 - 29. Solve -b*t = 26 - v for t.
-3
Let s = -15 - -17. Suppose s*m + m = 0. Solve 2 = -m*a - a for a.
-2
Let f(w) = w**2 + 8*w + 3. Let g be f(-5). Suppose 0 = 2*k + 2*k + 24. Let l = k - g. Solve -l = -3*m - 0 for m.
2
Let f be -6*(2 - (-7)/(-3) - 0). Solve f - 1 = -m for m.
-1
Suppose -b + 2*l = 7 + 17, -4*l = -b - 18. Let v be (36/(-45))/(4/b). Solve -o = 3 - v for o.
3
Let x(l) = 6*l**2 - 2*l + 1. Let g be x(1). Let h = g + -3. Solve -2*b - h*b - 16 = 0 for b.
-4
Let r(i) = i**3 - 7*i**2 + i - 4. Let n be r(7). Suppose 6*w - 444 = w - 2*z, 4*w - n*z - 346 = 0. Let x be 2/3 + w/12. Solve -12 - x = -5*d for d.
4
Suppose -4*a + 60 = 4*p, 0*a = a + 5*p - 15. Solve 3*g = a - 0 for g.
5
Suppose -2*m - 3*j + 8 = 0, 7*m + 3*j - 20 = 2*m. Solve 0 = m*b + 3 + 5 for b.
-2
Suppose 4*n = 5 + 11. Suppose n*s = -2*p + 60, -2*s + 30 = -4*p - p. Solve u = 6*u - s for u.
3
Let b be ((-1)/(-4))/(1/4). Suppose -q = -u + q, 0 = 2*u + 2*q - 6. Solve -9 = -u*m - b for m.
4
Suppose 0 = -2*g - 0*g + 12. Solve 0 = 5*k + g - 1 for k.
-1
Let n be (-28)/14 + 2*2. Solve 2*k = -n*k for k.
0
Let c(h) = h**3 + 22*h**2 + h + 22. Let t be c(-22). Solve 0 = q - t + 2 for q.
-2
Let g be -1 + 76/16 + 2/8. Solve 2*u = g*u + 8 for u.
-4
Suppose -38 - 4 = -14*s. Solve -8 = -n - s for n.
5
Let h = -20 + 18. Let s be (-4)/h*(-45)/(-10). Let g(y) = -y**3 + 5*y**2 + y - 3. Let v be g(5). Solve -v*b - b = -s for b.
3
Let l be -3 + -1 + -1 + 8. Suppose -x = 5*g - 16, 0*x + 2*g = 4*x + 2. Let b(c) = 14*c + 1. Let r be b(x). Solve 3*j + l = r for j.
4
Let n(h) = 3*h**2 - 41*h - 18. Let u(r) = -r**2 + 14*r + 6. Let z(g) = 4*n(g) + 11*u(g). Let y be z(11). Solve -s + y*s = -16 for s.
-4
Let o(u) = -8*u - 5. Let t be o(-4). Let v = t - 21. Solve v*c - c + 10 = 0 for c.
-2
Let y be ((-14)/(-3))/(14/21). Solve -2*x = -y*x - 15 for x.
-3
Let t = 7 - 3. Let h(r) = -r**3 - 4*r**2 - 5*r - 4. Let a be h(-4). Suppose a = 5*f - 44. Solve 0*x + t*x - f = 0 for x.
3
Suppose -3 + 5 = q. Let f be 4 - (-3 + q + 2). Solve f*y - 7 + 4 = 0 for y.
1
Let i be (12/18)/(4/30). Solve i = 3*y - 1 for y.
2
Let v be (-8)/(-24) + (-2)/6. Suppose y - 5*y = v. Suppose p = -y*p. Solve -d + p + 2 = 0 for d.
2
Let g be (19 - (4 - 4)) + 1. Solve -5*r - g = -r for r.
-5
Let x(f) = -5 + f**2 - f - 1 + 4. Let i be x(2). Suppose -2*m - q + 15 = i, 5*m = 3*q - 1 + 11. Solve -k = -m*k - 16 for k.
-4
Let d be 14*1 - (-13 + 11). Let l = d + 0. Solve b = -3*b - l for b.
-4
Suppose -c + 6*c = 0. Let p be 2 + c + 0/1. Solve f = p*f for f.
0
Let a(q) = 3*q - 17. Let r = -3 - -10. Let l be a(r). Solve 2*m - l = 4 for m.
4
Let y = -69 + 49. Let g = y - -56. Solve 5*q = -11 + g for q.
5
Let m(n) = -n**2. Let t(c) = 5*c**2 - 2*c - 1. Let r(x) = -14*m(x) - 2*t(x). Let v be r(-2). Solve 4*u = v + 6 for u.
4
Let g be (-308)/(-49) - (-4)/(-14). Let s = -12 + g. Let x(z) = z**3 + 6*z**2 - 2*z - 8. Let w be x(s). Solve 2*q - q + w = 0 for q.
-4
Let w(a) = -a**3 - 2*a**2 + 2*a - 2. Let q be w(-3). Suppose 5 = 2*n + q. Solve t = n*t + 2 for t.
-2
Suppose -f - f = 5*g - 394, 3*f = -g + 71. Suppose g = -0*c + 4*c + w, -5*w = -4*c + 80. Let h(i) = -i + 6. Let k be h(0). Solve -x + c = -k*x for x.
-4
Let o be ((-16)/(-10))/(62/155). Solve -u - 25 = o*u for u.
-5
Let c = 20 - 8. Suppose -4 = w - c. Solve -2*l - w = -0 for l.
-4
Suppose -2*q - 2 = -6. Let l be (q/(-4))/((-3)/(-18)). Let b = -1 - l. Solve -b*u - 2 = -4*u for u.
1
Let b(v) = 3*v + 2. Let f be b(-4). Let q be (-1)/5 + (-102)/f. Solve -q = -3*w - 1 for w.
3
Suppose -q = -0 - 2. Suppose -q*z = z - 15. Suppose 0 = -4*r + 5 + 15, v = 4*r - 16. Solve v*p - z*p = 4 for p.
-4
Let h(n) be the second derivative of -n**5/20 + 7*n**4/12 - n**3/3 + 7*n**2/2 + 7*n. Let u be h(6). Let c be 10*1/4*2. Solve c*a = 11 - u for a.
-4
Let w be (-4 + -3 + 7)/(-1). Solve w = h + 2*h for h.
0
Suppose 0 = -2*t + 2*d + 34, t = 2*d + 3*d + 29. Suppose 3*q + t = 44. Let c be 2/3 - 6/9. Solve c = -4*l + 2 + q for l.
3
Suppose 0*v = v - 3. Solve -5 = -v*t - 2*t for t.
1
Suppose 14 = -10*p + 17*p. Solve c = -0*c + p for c.
2
Let g = -19 + 23. Suppose g*h = 5*m + 8, 2*h + 1 - 5 = 4*m. Suppose 5*n - 22 = -2. Solve m*b + b = -n for b.
-4
Let n = -3 - -2. Let o = n + 10. Let t be -5*(-3)/o*3. Solve 0*x = t*x - 15 for x.
3
Suppose 0 = l - 3*l. Let y(v) = -5*v + 180. Let m be y(34). Solve l = t - 6*t - m for t.
-2
Let z = 4 + -3. Let s be ((0 + 0)*-1)/2. Suppose s*i = -i. Solve i = 2*g - 3*g + z for g.
1
Suppose -4*a - 5*m = -0*m - 25, 5*m - 15 = -2*a. Suppose -4*f = -a*f. Solve f = -4*z + 12 + 4 for z.
4
Let s = -1 - -5. Suppose -3*f + d = -0*f - 14, s*d + 32 = 4*f. Solve f*j + 3 = 2*j for j.
-3
Suppose -v - 5*j = -0*v - 25, -5*v = j - 5. Solve 0 = -v*m - 2*m for m.
0
Let b be (-3)/12 + 13/4. Solve 0*k + b*k = -12 for k.
-4
Suppose 0 = 2*v - 5*n + 14, 4*n = -v + 5 + 14. Solve 0 = -v*j - 2*j + 25 for j.
5
Let y(x) = x**3 - 12*x**2 + 2*x - 15. Let h be y(12). Suppose -7 = v - 4*m, -h + 0 = v - 5*m. Solve -2*d = -d - v for d.
1
Suppose 3*b - 3*r + 3 = 0, -3*b + 22 = 5*r - 7. Let n be 0 - (-1 + -2) - -1. Solve -n = f + b*f for f.
-1
Suppose -3*w + 5*w - 12 = 0. Solve -4*d = -w*d for d.
0
Let t be (-1)/(2 + (-18)/(-10) + -4). Let u(i) = -i - 6. Let w be u(-6). Solve 20 + w = -t*j for j.
-4
Let d = 41 - 12. Let p = -18 + d. Let a(j) = -j**3 + 3*j**2 + 4*j + 5. Let t be a(4). Solve 4*k - t = p for k.
4
Suppose 5*o = -2*g + 47, -79 = -4*g + 4*o - 9*o. Solve -4*s + g + 4 = 0 for s.
5
Let b(u) = u**3 + 4*u**2 - 5*u + 1. Let m be b(-5). Let f be -2*1*(-3 + m). Solve f*v + 10 = -v for v.
-2
Let s(y) = y**3 - 5*y**2 - 6*y + 6. Let z be s(6). Let v be (z/(-2))/(1/(-1)). Solve -v*b + 4*b - 5 = 0 for b.
5
Let o be ((-2)/(-3) + 44/(-48))*-4. Solve -5 = i - o for i.
-4
Suppose -8 = -0*q - 4*q. Solve -3*u - 4 = q for u.
-2
Suppose -4*v + 6 + 74 = 0. Let o = v - 5. Solve -o = 5*y + 10 for y.
-5
Let a(x) = 0*x + x + 5*x**2 - 4*x**2 + 4 + 0*x**2 - x**3. Let h be a(0). Let y(m) = m**3 + 7*m**2 + 5*m + 4. Let d be y(-6). Solve d = -6*b + h*b for b.
-5
Let n be -4 - (2 + -1 + -5). Solve n = 2*w + 3*w for w.
0
Let j be (3 - 1) + 26/2. Suppose 4*n = 3*n + 5. Solve 0 = -0*u - n*u - j for u.
-3
Let a(r) = r - 6. Let z be a(6). Let l be (0 - 0) + z/(-1). Solve 0*t - t + 2 = l for t.
2
Suppose -8 = 8*k - 32. Solve k*x + 10 - 7 = 0 for x.
-1
Let g(d) = -d**2 - 6*d - 3. Let l be g(-5). Suppose i = 3*v + 2*i - 73, -i - l = 0. Solve -6*z = -z + v for z.
-5
Let w(m) = m + 12. Let i be w(-7). Let d(p) = -p**3 + 6*p**2 - 5*p. Let z be d(i). Solve 3*x + 7 - 1 = z for x.
-2
Let x = 48 + -32. Suppose 2*j + 0*j - x = 0. Suppose -w - w + j = 0. Solve 4*t + w = -0*t for t.
-1
Let h(q) = -q**2 - 3*q + 3. Let t be h(-3). Suppose t*w + 2 = 5*w. Let d(l) = 4*l + 1. Let n be d(w). Solve -17 + 2 = -n*p for p.
3
Suppose b - 8 + 5 = 0. Solve 0*v = -b*v - 3 for v.
-1
Suppose 2*j = -9 - 5. Let u(q) = q**2 + 6*q - 5. Let o be u(j). Let z(p) = -5*p**3 + 2*p + 1. Let g be z(-1). Solve -h + o*h = g for h.
4
Let p(w) = 5*w - 14. Let o be p(6). Solve s + 3*s = -o for s.
-4
Suppose -3*d + 3*f - 9 = -4*d, -d = -3*f + 9. Solve d*g - 16 = -4*g for g.
4
Let n(k) = k. Let s be n(4). Solve 1 = -s*t - 3 for t.
-1
Suppose -20 = -t - 5*o + 5, 0 = 3*o - 12. Suppose -t*r = -7*r + 10. Solve -r*u + 27 - 2 = 0 for u.
5
Suppose 5*v = 23 - 8. Solve -v*t = -4*t + 4 for t.
4
Let y be (10/2)/(2/6). Let a be 8*3/(9/y). Suppose 0*s + a = 5*s. Solve s = 4*k - 4 for k.
3
Let y be 9/(-3)*(-5)/3. Let w(b) = 5*b + 2. Let m be w(2). Solve -m = -y*o + o for o.
3
Suppose -9 = i - 2*o - 2*o, 2*i - 15 = -3*o. Solve -w + i*w = -4 for w.
-2
Let y(k) = k**3 + 4*k**2 - k - 1. Let a(h) = h**2 - 5*h. Let c be a(4). Let l be y(c). Solve 0*o - l = -o for o.
3
Let l(h) be the second derivative of h**3/6 + 3*h**2/2 - 5*h. Let y be l(-2). Let r be ((-3)/9)/(1/(-33)). Solve y + r = 4*k for k.
3
Let i be 130/(-35) + (-2)/7. Let u be i/(-26) - 154/(-13). Solve -4*x - 8 = u for x.
-5
Let f be (-2 - -7)*(-12)/(-30). Suppose 0 = -f*v + 4*v - 2. Solve -v = -y + 4 for y.
5
Let w(y) = y. Let u(i) = -i**2 + 1. Let n(t) = -u(t) - 4*w(t). Let m be n(3). Let x = m + 7. Solve -x*k + 2*k = 3 for k.
-3
Let c be ((-2)/5)/((-1)/(-5)). Let t(n) = -17*n**2 - 2*n - 1. Let k be t(c). Let m be (3 + k)*(-1)/2. Solve -4*x = -m + 11 for 