et v = -6 + 2. Let k = v - -4. Suppose -2*q + 4*s + 8 = k, q + 5*s + 12 = 4*q. Solve q*b + b = 15 for b.
3
Let w(m) = -5*m**2 + 136*m - 26. Let p be w(27). Solve 19 + p = -5*l for l.
-4
Let h be (-8)/10*-7*80/112. Suppose -5*s + 6 = -3*s. Solve h*o = s*o + 2 for o.
2
Let q(w) = -w + 1. Let i be q(-8). Suppose 4*h - i*h = -75. Solve -3*f = -6*f - h for f.
-5
Suppose -7*o = -8*o + 7. Suppose -o*p + 3*p = -12. Solve -2*h = -3*h + p for h.
3
Suppose b = 2*p - p + 7, 0 = 4*b - 3*p - 33. Solve -b = -4*h - 8 for h.
1
Let q be 23/46 + (-6)/(-4). Let c be q + -1 - 1 - -4. Let u(i) = 3*i**2 - i - 1. Let z be u(2). Solve 0 = m - c*m + z for m.
3
Let z(r) = -r**3 + 15*r**2 + 5*r - 7. Let b be z(15). Let c be (-5 - b/(-12))*(5 + 1). Solve 2*s = -c - 4 for s.
-4
Suppose -5*y + 8*y - 26 = 5*h, -2*y = 3*h + 8. Solve y*l - 109 = -109 for l.
0
Let p = -56 - -100. Let x be (p/(-33))/((-2)/18). Let a be 4 - (2 - 0/2). Solve x = -5*w + a for w.
-2
Suppose 4*p - 31 = -5*d - 6, -p + 9 = 4*d. Solve 11 = 8*b - p for b.
2
Let v(x) = -x**3 - 2*x**2 + 1. Let n be v(-2). Suppose -n = -2*b - 1. Solve b = s + 4 - 1 for s.
-3
Suppose -2*a = 13*a - 60. Solve a = 18*s - 16*s for s.
2
Let w be (-3)/(-2)*(-22)/(-11). Suppose -2*o - 107 = -5*p, 3*p + o + 88 = 7*p. Let l = p + -13. Solve m = w*m + l for m.
-5
Suppose -2*o - o = 5*i - 7, -5*o - 13 = -4*i. Solve i = 8*q - 6 for q.
1
Let k(z) = z**3 - 14*z**2 - z + 13. Let y be k(14). Let g be ((-2)/1)/(-2 - y). Suppose g*r - 5 = 3*b + 5, 15 = 3*r + b. Solve 0 = 2*a - r*a - 3 for a.
-1
Let b(y) = 2*y + 2. Let z(h) = 2*h - 21. Let i be z(15). Let f = i - 9. Let o be b(f). Solve 0*u = o*u + 2 for u.
-1
Let v = 222 + -219. Solve v*a + 7 + 8 = 0 for a.
-5
Let q = 4353 - 4351. Suppose -2*k = 2*y + 10 + 4, 0 = 2*y - k - 1. Let v(d) = -d**2 - 3*d - 2. Let x be v(y). Solve -q*t = -x*t for t.
0
Let i be (-2 + 19/2)/((-3)/6). Let h be 3*-2*5/i. Solve -y + h = y for y.
1
Suppose -72 = -11*g + 6*g + 3*s, -4*g - s + 44 = 0. Solve 0 = -4*w - g + 32 for w.
5
Let g(h) be the first derivative of h**2/2 + 14*h - 24. Let l be g(-4). Solve 4*a - l = -a for a.
2
Let x = -20 + 23. Suppose -l = 3*l - x*h - 9, -h = 2*l + 3. Solve 4*q + q = l for q.
0
Suppose 9 = -4*r + 21. Let q = r - 1. Let m be 385/133 - 6/(-57). Solve -1 + m = -q*a for a.
-1
Let w be (-2 - -1)/(9/(-27)). Suppose 0 = r - t + w*t + 7, -5*t - 22 = r. Solve -2*c = c - r for c.
1
Suppose -603*p + 607*p - 48 = 0. Solve 5*r + p = -3 for r.
-3
Let l be (-70)/25*(3 + 3 + -1). Let b be 2*(42/4)/1. Let c = l + b. Solve 0 = 2*x - c*x for x.
0
Let g be (1 + 1)*(-3)/6. Let z(k) = -3*k**3 - k**2 - k. Let d be z(g). Solve -d*o = -8*o - 20 for o.
-4
Let g be (5 - 3)*(1 + 3). Suppose 12*q + 16 = g*q. Let n(p) = p + 6. Let l be n(q). Solve 4 = l*i - 2 for i.
3
Let k = 1 - -1. Suppose 3*w - w = k. Suppose -7*t = -5*t - 10. Solve t*g + w = -4 for g.
-1
Let m be 1/(-5) + (-280)/(-75)*3. Solve m + 13 = -8*n for n.
-3
Let c be (-8 + 36)*(-2)/12*-3. Let k be (-16)/(-80) - c/(-5). Solve -k = 5*j + 22 for j.
-5
Let r(f) = 2*f + 16. Let h be r(-11). Let i = -7 + 0. Let t = h - i. Solve -n = t - 0 for n.
-1
Suppose 4*x - x = 4*h + 20, 2*h - 2 = 0. Suppose -4*b = -x*b - 48. Let m = b - -14. Solve -w = 3 + m for w.
-5
Suppose 8*g - 2*c = 4*g + 4, 4*g + 4*c = -8. Solve -5*x - 3*x + 24 = g for x.
3
Let h = -6 + -29. Let q be (-220)/h + (-6)/21. Solve -q = u - 4*u for u.
2
Let o = 143 + -138. Solve 10 - o = 5*x for x.
1
Let c be (-1)/7 + 150/70. Let j be 2/(-4) + (3 - (-13)/c). Solve -g = 2*g - j for g.
3
Suppose 0 = -k + 3*k - g - 4, 2*g = 3*k - 5. Suppose 0 = -6*z + 22 + 2. Suppose 3*q + 3 = -z*w + 19, -20 = -5*w - q. Solve -k = w*u + 1 for u.
-1
Suppose 0*m = -5*m - 750. Let f be m/20*8/(-3). Suppose a = 3*n + 4*a + 3, -4*n + 2*a + f = 0. Solve -6 = -n*v + 6 for v.
4
Let n(g) = g + 12. Suppose 0 = 3*y - 35 + 5. Let h be n(y). Solve 4*i - h + 6 = 0 for i.
4
Suppose -y - 2*y + 12 = 0, -3*h - 2*y - 7 = 0. Let i be (h/2)/(3/(-6)). Suppose 5*c = i*o - 30, 4*o - o - 5*c = 12. Solve -5*r + o + 6 = 0 for r.
3
Suppose -5*j + 2*r = 0, 0 = 3*j - 0*r + 4*r. Solve j*a + a = 1 for a.
1
Let o = -211 + 265. Solve o = -5*x - 13*x for x.
-3
Suppose f + 10 - 7 = 0. Let j(z) = z**3 + 4*z**2 - 5*z - 4. Let r be j(f). Solve u = 6*u - r for u.
4
Suppose -13 = -11*s + 20. Solve 9*c - 8*c = s for c.
3
Suppose -p - 141 = 45. Let d be p/(-30) + (-2 - 9/(-5)). Solve 3*h - 5*h + d = 0 for h.
3
Let i(l) be the first derivative of -l**3/3 - 2*l**2 + 2. Let s be i(-3). Let g = 87 - 87. Solve z - s*z = g for z.
0
Let q(f) = -f**2 - 24*f + 42. Let u be q(0). Solve 35*o - u*o = -14 for o.
2
Let n = -19 + 28. Let o(b) = 3*b + 14. Let l(y) = 2*y + 7. Let p(s) = 5*l(s) - 3*o(s). Let c be p(n). Solve 0 = -0*h - h + c for h.
2
Let r(a) = -a**2 - 5*a - 4. Suppose -4*w + z = 7 + 1, w - 17 = 5*z. Let l be r(w). Suppose -3*q + l = -4*s, -3*q + 4 = -0*s - 2*s. Solve -q*y + 3 = y for y.
1
Let b(t) = -5*t + 2. Suppose 2*q - 11 + 9 = 0. Let u be b(q). Let i be 0*(1 + -3 - u). Solve i*g = g + 2 for g.
-2
Let l = 363 - 347. Solve 11*v - l = 7*v for v.
4
Let w be 8 + -5 + 12/(-4). Suppose w = d + d - 4. Solve d*t - 2 = -4 for t.
-1
Suppose 3*d + 412 = k + 1067, k = 5*d - 1091. Solve d = -8*h + 234 for h.
2
Let w(j) = 4*j + 3. Let g(c) = -c**3 - 7*c**2 + 10*c + 17. Let n be g(-8). Let d be w(n). Solve 1 = 2*y - d for y.
4
Let d(o) = -o**2 + 2*o + 2. Let a be d(0). Solve 8*q + a = 7*q for q.
-2
Let q(r) = -3*r**3 + 8*r - 6. Let l be q(4). Let m = -116 - l. Suppose 2*p = 7*p + 5*s - m, 8 = 4*p - 4*s. Solve -2*w = w + p for w.
-2
Suppose -304*r - 192 = -336*r. Solve -r*z + 82 = 64 for z.
3
Let z be 68143/1079 + -1 + 11/13. Solve 0 = 17*k + 4*k - z for k.
3
Let q(l) = l**3 + 5*l**2 + 2*l + 10. Let n be q(-5). Solve -44*j + 49*j + 20 = n for j.
-4
Let t(h) = -2*h**3 + 35*h**2 - 15*h - 20. Let g be t(17). Solve 4*o - 10 = g*o for o.
-1
Let o(d) = -d + 20. Let b be o(3). Solve -13*a + b*a = 0 for a.
0
Let x(b) = b + 5 + 2 + 8 - 2*b. Let j be x(0). Solve -4*o + j = -o for o.
5
Let o = -3 + 10. Suppose -14*s + 21 = -o*s. Let u(p) = p + 8. Let c be u(-4). Solve 2*w - c = s*w for w.
-4
Let s = -677 + 683. Solve 16*o - 10*o = s for o.
1
Suppose -2*m - 3*w = -5 - 43, -5*w - 53 = -3*m. Let x be (m/15 - 1) + (-66)/(-10). Solve -4 + x = -3*a for a.
-1
Let l = 393 + -337. Solve 61*s - 15 = l*s for s.
3
Let i(v) = 3*v - 38. Let y(a) = -a + 1. Let h(s) = i(s) - 2*y(s). Let c be h(8). Solve 0 = 2*p - c*p for p.
0
Suppose -4*t = -3*w - 17, -5*t = -10*t - 5*w + 65. Solve 11 = -3*c + t for c.
-1
Suppose 3*l - 12 = 108. Let a = 3 + 0. Suppose 8*f - l = a*f. Solve w - 3*w = -f for w.
4
Let i be 0/(-9) + 1*7. Suppose 2*c + 40 = i*c. Suppose 0 = c*b - 3*b - 20. Solve -a = b*a for a.
0
Let j = 2583 - 2581. Solve -2*g = j*g - 16 for g.
4
Suppose 0 = -3*c + 5*c - 6. Suppose x - c - 11 = 0. Suppose 0 = -2*u + 4*h - 12, 0 = -0*u + u - 4*h + x. Solve -l = -2*l + u for l.
2
Suppose -4*m = -19 + 103. Let i be -5*(1 + m/15). Solve -9 = i*o + o for o.
-3
Suppose 0 = -15*z + 10*z - 10. Let w be (-3)/z*-2 + 8 + 7. Solve -5*m = -w + 2 for m.
2
Suppose 8*l = -4 + 60. Solve 0 = -5*b + l*b - 6 for b.
3
Let f be (1 + -1)*(-2)/4. Suppose f*d = 2*d - 8. Let z(h) = -h + 7. Let t be z(d). Solve -o - t*o = 4 for o.
-1
Suppose 0 = 4*a + 12, 6*a = -4*m + 2*a - 4. Suppose 2 = 34*x - 32. Solve 3*f = -x - m for f.
-1
Let l(c) = 2*c + 20. Let o = 11 + -20. Let d be l(o). Suppose -d*p = -3*t - t - 20, 2*p + 5*t + 16 = 0. Solve -p*i - 4 = -0*i for i.
-2
Suppose -4*u + 552 = 2*x, -2*u + 3*u = 2*x - 552. Let m be x/34 + 2/(-17). Solve 2*q = 4*q - m for q.
4
Suppose 0 = -506*p + 497*p + 135. Solve -58*m - p = -61*m for m.
5
Let p(t) = -t + 5. Let o(y) = y - 6. Let a(n) = 6*o(n) + 7*p(n). Let s be a(-3). Suppose -11 = -s*i - 5. Solve i*l + 6 = -0 for l.
-2
Suppose -9*s + 11 = -205. Solve s*i - 8 = 20*i for i.
2
Suppose 131*d = 115*d + 432. Solve 5*n + 27 = d for n.
0
Let h be (-2)/1*(0 + -1). Let l be ((-24)/(-16))/((-140)/(-16) - 8). Solve -h*j - l*j = 16 for j.
-4
Let q = -19 + 9. Let r be q*(-2)/8 - 15/(-10). Solve r*c = -0*c - 16 for c.
-4
Let v = -15 - -18. Suppose -v*k - 45 = -8*k. Solve -p - 2*p = k for p.
-3
Suppose -6*f = -s - 2*f - 15, s - 5*f = -20. Solve -p + s*p = 0 for p.
0
Suppose 0*c + 5*c = 75. Let n(g) = -