 = -16 for v.
-4
Let g(t) = t**2 + t + 4. Let x be g(0). Let b be x/(14/4 + -3). Solve -2*l - b = -0*l for l.
-4
Suppose 7*z = 11*z. Suppose 5*u - 30 = -4*f, z = 5*f + 3*u - 8*u - 15. Solve -5*w = -0 - f for w.
1
Let m(p) = p - 5. Let h be (-250)/(-30) + 1/(-3). Let z be m(h). Solve g + z = 1 for g.
-2
Let l be 2/(-4) + (-5)/(-10). Suppose l = -5*a - 2*y + 25, -3*y + 3 = -a - 3*a. Let u = 9 + -1. Solve a*h = u*h + 25 for h.
-5
Suppose 3*p = -0*p + 27. Suppose 25 = -4*c + p, -5*t - 4*c = 6. Solve -t*n = n for n.
0
Let r = 122 - 118. Solve -r*o + 1 = -3 for o.
1
Suppose m = 0, -m = -3*c - 3*m + 15. Solve -6 = c*l + 9 for l.
-3
Let y(w) = -w + 8 + 7 - 3*w + 3*w. Let k be y(11). Solve 0 = -k*l - 0 + 4 for l.
1
Suppose 39 = 5*r + 14. Let h = r - -1. Suppose -5*c + d + 99 = 0, 2*c - 3*d + 83 = h*c. Solve -4*y = y - c for y.
4
Suppose -3*k - 2*b - 9 = 0, -b = 4*k - 5*b + 12. Let x = -4 - k. Let c = 4 + x. Solve -c*a = -a for a.
0
Let v = -15 + 20. Suppose 0 = v*q - 12 - 13. Solve -4 = q*b + 1 for b.
-1
Let u(h) = h. Let s be u(2). Suppose z - 23 = -z - 3*k, -3*z + 2*k = -s. Suppose 0 = -z*o + 3*o. Solve w - 6 + 3 = o for w.
3
Let s be (7 - 4)/(6/8). Suppose -1 = s*t - 3*t. Let p = t - -4. Solve -9 = p*g - 0 for g.
-3
Suppose 0*j + 3*t = -j - 6, -4*t = 12. Suppose j*q - 9 = -0*q. Solve -2*n + q*n + 1 = 0 for n.
-1
Let d be 1*(3 + (-1 - 1)). Solve d = -m - 2 for m.
-3
Suppose 4*s - 2 = 4*o + 6, -o = 5*s - 28. Solve 0 = -4*r + 9 + o for r.
3
Let j(o) = o**3 + 4*o**2 - 3*o + 5. Let y be j(-5). Let f(s) = s**2 + 4*s - 3. Let a be f(y). Let u be 55/20 - a/(-8). Solve 1 = -2*x + u for x.
1
Suppose 5*z + 8 = 178. Suppose 5*m + z = 3*u, u + 5*m - 22 + 4 = 0. Solve -4*s - u = -1 for s.
-3
Let u(v) = -5*v - 18. Let t be u(-7). Let g(d) = d**2 - 2*d - 6. Let m be g(-4). Suppose m = 5*y - t. Solve -2 - y = 3*f for f.
-3
Let r = 3 - 1. Solve -r + 0 = -h for h.
2
Suppose d = -0*d + 5. Suppose -4*c - 3 = -2*z + 1, -10 = -d*z - 5*c. Solve -3*h = z - 5 for h.
1
Let n = 81 + -80. Solve 0 = 2*l - 3 + n for l.
1
Let u = -13 + 19. Let b(a) = a**3 - 1. Let k be b(1). Solve k = 2*r - u for r.
3
Let t be (-2)/5 + (-37)/(-5). Let g = -5 + t. Let l = 0 + g. Solve -l*x = -3*x + 5 for x.
5
Suppose 6*i - i - 25 = 0. Solve -3*u + 4*u - i = 0 for u.
5
Let i be (2/(-4))/((-3)/(-6)). Let y be ((-3)/6)/(i/8). Suppose -u - 1 = -y. Solve -10 = u*s + 5 for s.
-5
Suppose 0 = 4*a - 1 - 7. Let s = -19 - -19. Let d = s + a. Solve -6*p + d*p + 4 = 0 for p.
1
Let n be 45/21 - (-1)/(-7). Suppose -12 = -k - n*k. Solve -q - k*q - 20 = 0 for q.
-4
Let v be (-8 + -2)/(-2) + 3. Solve -4*b + 4 = -v for b.
3
Let y = 3 + -6. Let l = 5 - y. Solve l*m - 25 = 3*m for m.
5
Let v = 19 + -31. Let m be v/3*(-2 - 0). Suppose 0 = -2*a - 0*a. Solve 3*w - m*w = a for w.
0
Let m(u) = u**2 - 10*u + 9. Let b be m(9). Suppose 0*v - v = -12. Suppose -l - 3*l = 2*y, -v = 2*l + 4*y. Solve 0*p - l*p = b for p.
0
Let k(y) = y**2 - 2*y - 8. Let g be k(4). Solve 4*r - 8*r - 20 = g for r.
-5
Suppose -4*r = -2*i + 19 + 25, -i - 2*r = -14. Let b = -7 + 11. Solve b*z - 2 - i = 0 for z.
5
Let z be (-3)/(-4) - 9/(-4). Suppose 4*m = -3 - 69. Let v be (4/(-12))/(z/m). Solve v*w = 7*w for w.
0
Let f be -2*((-2)/1 + 1). Let j(i) be the second derivative of -i**3/6 + 5*i**2/2 + i. Let u be j(-7). Solve 6*t - f*t = -u for t.
-3
Suppose 1 = 2*q + 17. Let d = q - -8. Suppose 5*t - 17 = x, d*x - t = -2*x + 2. Solve 1 = -2*p - x for p.
-2
Suppose 5 = 3*a - 1. Suppose 9 = a*b + 1. Suppose 5*j - 46 = 3*n, 0*j - b*n = -2*j + 24. Solve u - j = 5*u for u.
-2
Let b(v) = v**2 + v + 4. Let q be b(-4). Suppose -q = -3*z - 4. Suppose 0 = 4*g - s - 3 + 4, -z*s = 3*g - 4. Solve x + g = -2 for x.
-2
Suppose -a - 6 = -3*a. Solve -a = -3*x - 0 for x.
1
Suppose -2*q + 3*a - 12 = -a, 4*a = q + 16. Solve -q = -5*r - 14 for r.
-2
Let c be (-138)/(-24) + 6/(-8). Solve -c*y = -3*y + 6 for y.
-3
Suppose 5*o - 2*o - 72 = 0. Solve o = 4*j + 8 for j.
4
Suppose 2*f - 3 = -3*n, 2*f = 6*f - 5*n - 17. Let k(w) = -w + 5. Let o be k(3). Let p be (-1)/o - 2/(-4). Solve 0 = -f*i - p*i - 12 for i.
-4
Let o(r) = -4*r - 1. Let v be o(1). Let g(b) = -b**2 - 5*b - 2. Let a be g(v). Let h = a - -4. Solve 0 = -x - x + h for x.
1
Let h be (-2)/((((-1)/1)/1)/1). Solve -7*n + 10 = -h*n for n.
2
Let x = 8 + -4. Solve -g - x = 3*g for g.
-1
Let b(y) = y**2 - y - 7. Let o be b(0). Suppose -2*l + 6*l = -20. Let r = l - o. Solve -f + 4 = r for f.
2
Let a = -6 + 9. Let f be (2 - (-6)/a) + -2. Suppose f = -w - 4*l, -w + 3*l + 3 = -2. Solve -2 = n + w for n.
-4
Let b be 2*3/(-6) + 2. Let g be 58/4 - b/(-2). Suppose 2*y + 12 = -3*v, y - 4*v + 8 = -6*v. Solve y = -7*t + 2*t + g for t.
3
Let k(b) = b**2 + 2. Let h be k(0). Let x be 1/2*(21 - 1). Let c be 1 + x - (h + -2). Solve -5 - c = 4*a for a.
-4
Let r(z) = -z**3 + 5*z**2 - z + 4. Suppose -b = -5*b + 5*d + 1, 2*d = 5*b - 14. Let v be r(b). Solve k - 5*k - v = 0 for k.
-4
Suppose -46 - 62 = -9*q. Solve -t - q = -5*t for t.
3
Suppose 0 = 11*p - 8*p + 9. Let z be 11 - ((1 - -1) + p). Solve -4 + z = -4*s for s.
-2
Let h be -10 - -2*1/2. Let d = 9 + h. Solve 2*t - 3*t = d for t.
0
Suppose 4*u - 2 = 3*u. Suppose -3*c + u*c = 0. Suppose -4*j - b + 81 = 0, j - 5*b - 8 - 7 = 0. Solve c = 3*k + 2*k + j for k.
-4
Suppose -15 = -8*c + 5*c. Solve c*t + 1 - 6 = 0 for t.
1
Let y be 2 - (-32)/((-16)/(-4)). Solve 2 = -4*a + y for a.
2
Suppose 4*x - 5 = 2*f + 5, 3*x = -2*f - 17. Let t = 12 + f. Solve -t*h + 2 = -8 for h.
2
Let s(x) be the first derivative of x**4/2 + x**2/2 - x + 3. Let p be s(1). Solve p*v + 0*v - 8 = 0 for v.
4
Let h(z) = -z**3 - 9*z**2 + 7. Let v be h(-7). Let j = -55 - v. Let k = j + -11. Solve -3*w - k = -8*w for w.
5
Let z(p) = p**2 + 5*p + 3. Let h = 12 - 17. Let a be z(h). Solve a*j - 7*j = -20 for j.
5
Suppose 0 = 3*o - 9*h + 4*h - 10, 13 = 2*o + 3*h. Let z be (-1 - 1)*(-30)/12. Suppose 21 = o*x + 2*c, -x - z = -3*c + 1. Solve n = -x*n for n.
0
Suppose 0*l - 8 = -3*l + j, 0 = 4*l + 4*j - 32. Let d = l + -2. Let a be (-4)/8 + 9/d. Solve 0 = m + a - 7 for m.
3
Let c = 4 - -1. Let j = c + -1. Suppose j*i = -0*i + 12. Solve 0 = -i*u - 0*u + 9 for u.
3
Let v = 18 + -18. Solve -3*h - 1 + 10 = v for h.
3
Let x(m) = m**2 - 4*m + 4. Let d be x(4). Suppose 2*s = -0*s + 4. Suppose s*b - 12 = -2*b. Solve 0 = -b*k - 7 + d for k.
-1
Let y = -1 - -10. Suppose 6*p - y*p = 0. Solve 2*q + p*q = -2 for q.
-1
Suppose 0 = 2*f + f - 3*u + 3, -8 = -4*f + u. Suppose -6 = -f*x - 0. Solve -k - x = -0*k for k.
-2
Let h = 40 + -25. Let z = -5 + 8. Let v be (0 + (2 - z))*-2. Solve -v*u + h = -5*u for u.
-5
Let k(j) = j**3 + 6*j**2 + 2*j + 9. Let t be k(-6). Let m = 1 - t. Suppose m = -3*p + 5*p. Solve -v = p*v for v.
0
Let q(l) = 3*l + 3. Let a be q(-2). Let r be a/(-2)*(-4)/(-3). Suppose -2*v + 28 = -2. Solve k + r*k = v for k.
5
Let c be (-3)/5 + (-23)/(-5). Suppose 2*f = -0*f + y + 9, -12 = -c*f - 4*y. Solve -f*s + 5 = s for s.
1
Let u(g) = -g**3 + 3*g**2 + g + 12. Let k be u(0). Solve 4*r + k = r for r.
-4
Suppose d - 5 = -5*w, -3*d - 19 = -0*w - 2*w. Solve w*v = 6*v + 16 for v.
-4
Suppose -3*c - 5 = -4*c. Let t(u) = -u**3 - 5*u**2 + u + 2. Let x be t(-5). Let o = x + c. Solve -o*p = 6 - 0 for p.
-3
Let k(o) = 2*o**2 + o - 2. Let a be k(-2). Suppose 0 = -4*r + 2*r - 10, a*l + 3*r - 9 = 0. Let w = 15 - 11. Solve w*h = -2 - l for h.
-2
Suppose 5*m = -3*k + 13, -6*k + 5*k = 3*m - 7. Let s(w) = 6*w. Let y be s(k). Solve -3*o - 6 - y = 0 for o.
-4
Let c(k) = -k**2 - 19*k - 17. Let v be c(-18). Let u be 4 + -5 + 13/v. Solve -5*a + u = -8 for a.
4
Let x(s) = -s**3 - 14*s**2 + 4. Let a be x(-14). Solve -a = 4*q - 3*q for q.
-4
Suppose -24 + 16 = -4*t. Solve 0 = -t*c + 5 + 3 for c.
4
Suppose 0 = 4*x + 6*x. Solve x*n = n + 1 for n.
-1
Let u be (-4)/3*63/(-6). Suppose -11 = -5*k + u. Suppose -2*h + 13 = -n, 0 = -n - 5 + 2. Solve 4*z - k*z = h for z.
-5
Let c(j) = -2*j**3 + 5*j**2 + 7*j - 6. Let t(a) = 5*a**3 - 16*a**2 - 21*a + 17. Let f(l) = 8*c(l) + 3*t(l). Let v be f(-7). Solve -v*h = -h for h.
0
Let j = -13 + 16. Let f(y) = 3*y**2 - y. Let a be f(-1). Solve -a*l + 5 = -j*l for l.
5
Let h be 155/(-25) + (-1)/(-5). Let t be (h/4)/(4/24). Let c be (2 + t/6)*10. Solve 0*w = w - c for w.
5
Let s be (-2)/(-3)*(-36)/(-8). Let z be 2/8 - 6/(-8). Let f be (-3 - -2)*z