+ v + 1. Let h(t) = t**2 + 16*t + 9. Let b be h(-16). Let l(x) = x**2 - 9*x - 1. Let n be l(b). Let k be g(n). Solve -f - k = -2 for f.
-3
Suppose 2*f = -f + 6*f. Suppose f = 2*z - 5*z + q + 1, 0 = 2*z + 2*q - 14. Solve -5*k = -z - 18 for k.
4
Let z = 3 - -10. Let u = 17 - z. Let b be u/12 + 14/3. Solve -4 = 3*k + b for k.
-3
Let y(d) = d**3 - 11*d**2 - 59*d - 15. Let o be y(15). Solve -5*c - 8*c - 65 = o for c.
-5
Let z(x) = 9*x - 2. Let s be z(1). Suppose -130 = -s*g + 2*g. Let y = g + -14. Solve 7*k - 3*k = -y for k.
-3
Let f be (-2 - -1)*-3 + 17. Let b = f + -8. Suppose -3*z + b = -3*u, 4*z - u + 4*u + 12 = 0. Solve 0 = -2*n - z - 2 for n.
-1
Let u be (0 - 1)/(9/(-6) + 1). Suppose u - 27 = -5*q. Solve 4*m + m = -q for m.
-1
Let a be 42 - 24 - (6 - -1). Solve 19 - a = 2*g for g.
4
Let k be (-132)/14 - 45/(-105). Let c be (-2 - k) + (0 - 3). Solve c*t = 8*t for t.
0
Suppose 0 = 5*n - 4*o - 12, -o - 4 + 1 = 3*n. Let z be (n - -2) + (18 - -4). Suppose r + 2*r - 3*k - z = 0, 4*k + 26 = 2*r. Solve 0*s = -r*s for s.
0
Let x(t) = -4*t - 4. Let h be x(-1). Let s be 0/(7 + -9 + h + 1). Solve 4*y - 9*y = s for y.
0
Let t be 23 - ((-1 - 2) + 3). Suppose x - 16 = -2*h - x, 0 = 4*h + x - t. Suppose -4 = -h*w + 3*w. Solve 0 = -i + w for i.
2
Suppose 29*g - 5607 = -34*g. Solve g*o = 87*o + 8 for o.
4
Let t(l) = 2*l**2 - 5*l + 3. Let n = 0 - -3. Let p be t(n). Let m = 2815 + -2812. Solve g - p = m*g for g.
-3
Let p(j) = -j - 20. Let q be p(-15). Let c(d) = d**2 + 6*d + 11. Let s be c(q). Solve 0 = -2*v - s + 2 for v.
-2
Let l(w) = w - 2. Let i be l(4). Solve -i*v - 8 = -10 for v.
1
Suppose 0 = -3*n + f + 16, 4*n + 0*f + 3*f = 17. Suppose -n*v + 47 = 4*k, -3*v - v = 5*k - 70. Suppose w - k = -w. Solve 0 = 4*o + w + 7 for o.
-4
Suppose 29*y + 45 = 26*y. Let r be (-3*(-3)/y)/(1/(-5)). Let m be 1*2 - 2/(-2). Solve 2*x - r - m = 0 for x.
3
Suppose -3*p + 5*w - 6 = 0, -p + 15 = 3*w + w. Let s(n) = -n**2 + 5*n - 5. Let y be s(p). Suppose 0 = i - 3 + y. Solve 2 + i = 4*f for f.
1
Suppose 36 = 11*v - 8. Solve -3*r + v*r = -4*r for r.
0
Let i = 29 - 19. Suppose 29 - 4 = -5*c, -2*u - 3*c = -51. Suppose -2*a - 27 = -u. Solve a*y + i = 1 for y.
-3
Let v(d) = d**2 + 8*d - 9. Let n be v(-8). Let b(u) = u**2 + 11*u + 18. Let j be b(n). Solve 2*f + 2*f = j for f.
0
Suppose 27*g = 26*g + 10. Suppose g*x = 5*x + 40. Suppose w - x + 5 = 0. Solve -4 + 1 = w*v for v.
-1
Suppose 3*n - 5*x + 133 = 654, -5*n + x = -905. Solve -185*a = -n*a for a.
0
Let f = -43 + 49. Let v be 16/f + -2 - 22/(-66). Solve 7 - v = 3*x for x.
2
Suppose 33*t - 117 = 20*t. Solve t*s - 6 = 39 for s.
5
Let x be (1 + -9 + 4)*(-3)/6. Solve -4*h + x*h = 4 for h.
-2
Let x be 18 + (6 - 3/1). Let y = -19 + x. Solve -u = y*u for u.
0
Suppose -4*d = -9*d. Let k be 0 + 1 + (2 - -9). Suppose -3*z - k = -3*q, -2*z - 5 - 8 = -3*q. Solve 0 = -q*s - d - 25 for s.
-5
Let g be 1/(-2)*(-14 + 0). Suppose -6*a = -g*a - 10. Let s be a/4*36/(-10). Solve 5*r = 2*r + s for r.
3
Let c(j) = j**2 + 9*j - 19. Let q be c(-11). Solve -10 = -t + q*t for t.
-5
Suppose -1 + 1 = -17*l. Solve l = -2*y + 7*y for y.
0
Let i = -407 - -412. Solve -3*d = 17 - i for d.
-4
Suppose 0 = 3*r + 5*u - 13 + 8, -5*r + 3*u - 3 = 0. Solve r = v + 4 - 2 for v.
-2
Suppose 4*i - 20 + 8 = 0. Suppose -4*o = -3*o - i. Solve 2*m + o = -3 for m.
-3
Suppose -4*l + 15 = 5*o, 0*l + l - 5*o - 10 = 0. Let r be (12/(-15))/((-2)/l). Let q = -706 - -709. Solve -q*m + 5 = r*m for m.
1
Suppose 12 = 4*w - w. Suppose w*d + 2*d = 6. Solve 0 = -y + d - 0 for y.
1
Suppose 2*o - 25 - 17 = 0. Suppose g + o = -2*g. Let s be (15 + g)*3/6. Solve -3*t = t + s for t.
-1
Suppose 58*k - 67*k = -126. Solve 8*s = s - k for s.
-2
Let g = 394 - 386. Solve -5*v + g*v = 12 for v.
4
Let g = -155 - -162. Solve g*h - 2 = 5*h for h.
1
Suppose 9*x - 10 = 7*x. Suppose 0 = 4*d + 3*s, -d - d + x*s = 0. Solve d = -2*t - 4 for t.
-2
Suppose 5 = 5*u - 4*w, -5*w = 9*u - 12*u - 10. Solve -4 = -u*l - 29 for l.
-5
Let n(i) = 13*i**2 - 2*i - 1. Let x be n(-1). Suppose x*c - 21 = 7*c. Solve -q - 1 = -c for q.
2
Let d(c) = -2*c**2 + 5*c + 3. Let h be d(4). Let q be (-1)/(5 + 48/h). Solve 0 = -u - 1 + q for u.
2
Let k be (72/(-96))/((-3)/20). Let u = 13 - 9. Solve -k*m = -3*m - u for m.
2
Let z be (-74)/(-6) + (-3)/9. Let t = 21 - 4. Suppose t*r = z*r. Solve q + q = r for q.
0
Suppose 0 = 5*i + 2*s - 37, -4 = -i + 2*s + 1. Solve -3*b - 4 = -i for b.
1
Let u = 1576 + -1557. Solve u = 20*c + 59 for c.
-2
Let i(m) = 3*m. Let v be i(-4). Let b = v + 16. Suppose -z - 61 = -4*f, -3*z + 67 = b*f - 2*z. Solve -4*g = -f + 4 for g.
3
Let y(g) = 2*g**2 + 19*g + 5. Let s be y(-10). Let r = -13 + s. Solve -j + 0 - r = 0 for j.
-2
Suppose 0 = -3*x - 2*x. Suppose -5*w - 5*d + 75 = 0, -3*w + 81 = 2*w - d. Let i = w + -12. Solve -i*k + x*k = 0 for k.
0
Let u = 1 - 57. Let x = -53 - u. Solve x = -3*o + 6 for o.
1
Let f be -2 - (-1 + 2) - -4. Let p be 8 + -5 + f + -1. Let q be -2 + (13 - 2) - 4. Solve -q = -p*t + 10 for t.
5
Let v = -43 + 43. Solve 8*h - 12*h + 4 = v for h.
1
Suppose 15 = -15*u + 45. Solve u - 10 = 2*q for q.
-4
Suppose 2*h - 6 = -s, -3*h = -5*s - 12 + 3. Solve s = -7*o + 2*o - 5 for o.
-1
Suppose -3*u = 0, 4*w + 2*u + 3*u = 4. Let v be (-22)/143 + 6/39. Solve -a + v + w = 0 for a.
1
Suppose 5 = 2*t + 83. Let m = t - -42. Solve -17 = 4*s + m for s.
-5
Let g be (6/11)/((-94)/(-517)). Solve 0 = -25*o + 26*o + g for o.
-3
Suppose -21*s = -18*s - 144. Let p = -48 + s. Solve p = 2*u + 2*u for u.
0
Suppose 56 - 166 = -11*f. Solve -6*m + f = -2 for m.
2
Let n = -5 - -8. Suppose -2*z + 9 = -f + 40, 0 = -f + 3*z + 36. Let x = f + -16. Solve 2*m - n = x for m.
4
Let u(a) = -3*a**2 + 8*a - 11. Let m(w) = 2*w**2 - 4*w + 5. Let v(h) = 5*m(h) + 3*u(h). Suppose 2*z - 7*z = 30. Let b be v(z). Solve -b = -2*t - 14 for t.
-5
Let q(h) = -h - 5. Let y be ((-70)/21)/(4/(-6)). Suppose 2*i - 2 - 4 = 4*j, y*i + 17 = 2*j. Let r be q(i). Solve 3*a + r*a - 6 = 0 for a.
2
Let t be (-1)/3 - 1369/(-111). Solve 4*m + t - 4 = 0 for m.
-2
Suppose -3*w + 6*w = 12. Let v be 2/w*(11 + -3). Solve -b - v + 1 = 0 for b.
-3
Let q = -333 - -336. Solve -q = 2*c + 3 for c.
-3
Suppose 4*q + 29 - 7 = 2*c, -12 = 3*q. Solve 0 = c*j - 7*j - 16 for j.
-4
Let j(i) = -6*i + 7. Let c be j(4). Let q = c - -22. Solve q = k + 2 for k.
3
Let y(m) = -m**3 + m**2 - 3*m + 3. Let j be y(0). Solve -3*q = j*q + 24 for q.
-4
Suppose 4*o = t + 20, o = -0*o - t + 5. Suppose 4*k = -o*u + 16, -4*u = 2*k - 3 + 1. Solve 2*w - k = -w for w.
3
Suppose 0 = 5*c - 3*c - 6. Let t be (-6)/c - (-4)/(-4)*-5. Solve -h + t*h - 4 = 0 for h.
2
Suppose -26 - 29 = 4*s + 3*n, 5*s - 3*n + 62 = 0. Let u(k) = -4*k - 32. Let a be u(s). Solve -5*r = -r - a for r.
5
Let y = -18 + 21. Solve 3*b + 0 = -y for b.
-1
Let m(s) = s**3 - 43*s**2 + 4*s - 172. Let x be m(43). Solve x = 17*h - 8*h for h.
0
Let i be (-60)/(-27) + 6/(-27). Let b = -123 - -123. Solve -d - i = -b*d for d.
-2
Let c(u) = -u**3 + 12*u**2 + 26*u + 31. Let z be c(14). Solve -7*f = -6*f + z for f.
-3
Let d(w) = w**2 + 15*w - 32. Let f be d(-17). Let v be 0*(-2)/(-8)*2. Let g(o) = -o**3 - 16*o**2 - 13*o + 40. Let a be g(-15). Solve -2*n - f + a = v for n.
4
Let a be (-59)/(-1 + 0/5). Let f = a + -54. Solve j = -f + 3 for j.
-2
Let i = 8 + -2. Let l(r) = -r**2 - 7*r - 5. Let f be l(-4). Let h = i + f. Solve 5*m - h = 7 for m.
4
Let b = 50 - 32. Let q = 22 - b. Solve q*k + k = 0 for k.
0
Suppose y + z = -3*z + 9, 6 = 2*y + 2*z. Let a be (y - -8)*7/21. Solve a = -2*l - l for l.
-1
Let v(b) be the first derivative of b**2/2 + 16*b - 19. Let q be v(-12). Solve -4 = q*n - 0*n for n.
-1
Suppose -4 = -w - p, -4*w + 5*p = 2*p - 9. Suppose -w*h + 68 = 20. Let u = 16 - h. Solve u = 2*a + 6 + 2 for a.
-4
Let u(k) = 2081*k + 8329. Let c be u(-4). Suppose 3*l = y, -5*l = -y - y. Solve 5*a + c = -l*a for a.
-1
Suppose l + 2 + 0 = 5*o, -4*o + 4*l - 8 = 0. Solve 21*x - o = 22*x for x.
-1
Let x(q) = 157*q - 785. Let t be x(5). Solve t = -3*s - 5 + 8 for s.
1
Suppose 4*o + 2*k - 28 = -2*k, -2*o - 5*k = -29. Suppose -2*r - l + 10 = 0, 18*l = -4*r + 14*l + 24. Solve -r = -o*x - 0*x for x.
2
Let o(x) = 28*x - 331. Let r be o(13). Solve 0 = 10*t + t - r for t.
3
Let f = -146 - -144. Let v be (-3)/(-2) - f/(32/(-24)). Solve j + 3*j = v for j.
0
Let s(l) = l**