2 + 5. Let v be (-4)/1 + (-144)/(-9). Let n be (v + -12)/(4/(-2)). Let u be w(n). Solve -u*k = -8 - 7 for k.
3
Let k be (-8)/(-8)*-1 - -6. Solve 11*h = 6*h - k for h.
-1
Let i be (-72)/10 + (-12)/(-60). Let k be i/14 + 1/2. Suppose k = -3*h - 4*h. Solve -2*v - 3*v + 5 = h for v.
1
Let x = -1832 + 1840. Solve 0 = -72*r + 68*r - x for r.
-2
Suppose 5*t - 8 = 6*t - 4*j, -2*t + 5*j - 7 = 0. Suppose 25 = t*d + 5*s, 0 = -10*d + 5*d + 4*s - 20. Solve d*x - 4*x = -12 for x.
3
Suppose -143 - 77 = 2*b. Let w = 122 + b. Solve w = -4*u - 0 for u.
-3
Let h(x) = x**3 + 3*x**2 - 8*x + 5. Let b be h(-5). Let d be (-51)/b - 5/(-75)*-3. Solve d*a - 5*a + 20 = 0 for a.
-4
Suppose -4*a - 4 = -4*m, -3*a + 3*m - 2*m + 5 = 0. Let j be (-5 + 1)/(-8 - -7). Suppose a = j*z - 5. Solve z*b = -b - 12 for b.
-4
Let x(d) = d - 2*d**2 - 2 + 6*d + d**2. Let q be x(3). Let v(t) = -t + 8. Let u be v(6). Solve -q = -u*y - 3*y for y.
2
Let p(c) = 27*c - 18. Let y be p(4). Let i be ((-120)/y)/(-1 - 2/(-6)). Suppose 0 = -4*f - 17 + 41. Solve i*j + 20 = f*j for j.
5
Suppose -3*z = -6 - 39. Let p = 31 - 27. Let r be 0 + -6*p/(-12). Solve 5*k - r*k = -z for k.
-5
Let u be (-22)/11 + (-3 - 0). Let j be 2 - (-1)/(u/10). Solve j = -n + 5*n - 20 for n.
5
Let v be 105/(-70) - 38/(-4). Solve 0 = v*o - 13*o for o.
0
Suppose -2 = -4*c + 2*c. Let m(u) = 5*u - 2. Let z be m(c). Let y be 1 + z/(-3) + 3. Solve 5*i - y + 23 = 0 for i.
-4
Suppose 3*q + 9 = 0, -3*b = -2*b + q + 2. Let j be b/(30/(-200) + 2/5). Solve -2 = 2*l - j for l.
1
Let x(t) = -t**2 + 13*t - 28. Let c be x(10). Suppose 6*n = c*n + 12. Solve 0 = -n*h - 0*h for h.
0
Let p be 2 - (-4 - -4)*1. Suppose -4*x = -p*x. Suppose x*t = 2*t - h, -t - 5*h = -22. Solve -2 - t = w for w.
-4
Let i(w) = 4*w - 9. Let z be i(5). Solve -z = d - 6 for d.
-5
Let n = -7 + 9. Suppose -8 + 2 = -3*d. Solve n*f = f + d for f.
2
Let u(s) = s + 10 - 1 + 1 - 6. Let j = 5 + -9. Let h be u(j). Solve 2*t = -h*t for t.
0
Let k(x) = x**2 - 6*x + 3. Let m(g) = 7*g**2 - 2*g + 1. Let c be m(1). Let d be k(c). Suppose -u + 2*h = d, h + 15 - 3 = 5*u. Solve 0 = 2*a + u + 7 for a.
-5
Let w be -1 + (1*-33 - -3). Let a = -26 - w. Solve -u + 0*u = -a for u.
5
Let q be (73*-1)/(3/(-3)). Suppose -q*c = -71*c - 20. Solve -c*a = -7*a + 6 for a.
-2
Let n = -225 - -227. Solve n = -4*k + 3*k for k.
-2
Suppose 0 = -5*p + 5*b + 5, -p + 0*p - 2*b + 4 = 0. Suppose 9 = -7*z + 8*z. Suppose 2*x - 3*n - z - 1 = 0, 18 = 5*x - 4*n. Solve -3*k + x = -p*k for k.
2
Let s be (1 + 0)*(-145)/(-29). Solve 48 = s*z + 11*z for z.
3
Let x(z) = -z - 4. Let q be x(-8). Suppose 0 = q*j - 2*j + 18. Let n be (2/(-6))/(j/189). Solve -1 = -2*s - n for s.
-3
Suppose -2*t + 19 = -5*w, -4*t = 3*w - w - 2. Suppose -2*f - q - 2 = -15, f + q - 5 = 0. Solve t = 5*k - f for k.
2
Let h(o) = 27*o - 241. Let d be h(9). Solve 2*w - d = 8 for w.
5
Let m(j) = j**3 - 3*j + 1. Let z be m(2). Let g(i) = -i**2 - 14*i + 13. Let c be g(-10). Let a = c - 37. Solve -z*b = b - a for b.
4
Suppose -5*y + 13 = -2*c, 4*c - 7 = -2*y + y. Let d be ((-9)/(-6))/((-10)/20)*-1. Solve -j - c = -d for j.
2
Let o = -56 + 61. Solve -o*x = 21 - 11 for x.
-2
Let z be (-88)/(-32)*(3 + 1). Suppose z = 15*a - 109. Solve l = 3*l - a for l.
4
Let n be 4/(-6)*(-63)/42. Solve -n = k - 4 for k.
3
Suppose 7*a = -6 + 34. Solve 0 = -0*g + g + a for g.
-4
Let n = -43 + 75. Let x = n + -26. Let l = 16 - x. Solve 5*v = l + 5 for v.
3
Suppose -15*b - 12 + 162 = 0. Suppose -6*z + b*z = 8. Solve -r = -0*r + z for r.
-2
Let l be (-160)/(-9) - (-28)/126. Suppose -q = 16 - l. Suppose 0*b - 20 = -4*b. Solve b*z - 15 = q*z for z.
5
Let t(l) = -l**3 + 5*l**2 - 5*l + 5. Let f be t(3). Solve -6*i + 2*i = f for i.
-2
Suppose -12*k + 2*k = -40. Suppose -k*o - a - 3 = -5*o, -o + 5*a - 1 = 0. Solve o - 2 = g for g.
2
Suppose -66 = -5*g - 3*b + 156, 88 = 2*g + 2*b. Suppose -3*s - g = 2*s. Let r(f) = f + 11. Let h be r(s). Solve 0 = -h*c + 3*c + 5 for c.
-5
Let g(i) = -8*i + 171. Let c be g(18). Solve c*j + 8 = 25*j for j.
-4
Let u be (-1 + 1 - -73)/1. Suppose 71*g + 32 = u*g. Solve -3*b + g = 4 for b.
4
Let j = -15 + 10. Let f be 1/(-5) - (44/j)/4. Solve f + 2 = -n for n.
-4
Let y be 0 + 1/(6/(-18)) - -6. Solve y*h + 8 = h for h.
-4
Suppose a = -4*u - 11, -2*a + 7*a - 37 = 3*u. Let t(m) = m + 1. Let z be t(a). Solve -n - 10 = -z*n for n.
2
Suppose 0 = 3*g - 4*g + 39. Let y = g - 21. Suppose -1 = 2*v - 3*v, -3*v + y = 5*j. Solve -2*m - j = -3*m for m.
3
Suppose 3 = 4*h - 1. Suppose -h + 2 = n. Let a be n/3 + 2/(-6). Solve 2*g + a = 2 for g.
1
Let j(f) be the first derivative of 17*f**2/2 + 5*f - 6. Let t(b) = -6*b - 2. Let g(x) = -3*j(x) - 8*t(x). Let n be g(-1). Solve -2*s + n*s = 0 for s.
0
Let l(u) = -8*u**2 - 41*u + 1. Let i be l(-5). Solve 0 = -2*r - 7*r + i*r for r.
0
Let i = 808 - 793. Solve 17*a - i*a = 6 for a.
3
Suppose -27*x = -26*x + 3*d + 10, 5*d + 22 = x. Let y = -27 - -19. Let u be (-1)/4 - 2/y. Solve -2*m + u*m = -x for m.
1
Suppose 3*u + 3 = 3*f - 6, 3*u + 24 = -2*f. Let o be (4/6)/((-3)/135*u). Solve -4 - 6 = o*n for n.
-2
Let g be 2/(-5) - (-2)/5. Suppose -r + 4*c + 10 = g, c + 6 = r + r. Suppose 5*s - k - 62 = -11, -4*k - 24 = -r*s. Solve -4*d + 2*d = -s for d.
5
Let q(d) = d**3 + 2*d**2 - 33*d + 61. Let k be q(2). Solve -7 - 15 = -k*r for r.
2
Let d be (1 - -2) + 0 + 1. Solve 7*u - 6 = d*u for u.
2
Suppose q = -5*q + 30. Let r be q*(-2)/(-10)*0. Solve -z - 3*z - 8 = r for z.
-2
Suppose -l - 58 = -3*d, 4*d + l = 2*l + 78. Suppose 10 = -y - 3*j, -2*y - 6*j + d = -8*j. Solve -f = -y*f for f.
0
Let u = 31 + -33. Let r be u + (-4*3)/(-4). Suppose -4*z - 2 + 18 = 4*h, 2*z = -h + r. Solve h*q + 15 = 2*q for q.
-3
Let r = 2321 + -2294. Solve 0 = -18*s + r*s for s.
0
Let x = 7 + -1. Let q(n) = n**3 - 6*n**2 + 2*n - 7. Let c be q(x). Suppose -2*b + c = -3. Solve -b*k = -1 + 13 for k.
-3
Let r(g) = g + 4. Let q be r(-4). Suppose -135 = -5*c - 4*l, 6*c - 5*c + 5*l = 27. Suppose c*z - 31*z + 20 = 0. Solve z*m + q*m = 25 for m.
5
Suppose -6*x + 2*x = -32. Let y(k) = 4*k - 16. Let z be y(x). Solve 3*u + u + z = 0 for u.
-4
Let i(g) = 6*g**2 + 18*g + 2. Let d be i(-3). Solve -22 - d = 6*n for n.
-4
Suppose -24*q + 37*q - 91 = 0. Solve q = o + 4 for o.
3
Let p(r) be the second derivative of r**4/12 - 3*r**3/2 - 11*r**2 - 21*r. Let n be p(11). Solve d - 1 = -n for d.
1
Suppose -2*q - 2*q + 12 = 0. Suppose 3*u + 33 = 2*l - l, -2*u - q*l = 11. Let r = u - -15. Solve -s - r = -0*s for s.
-5
Let d(s) = -s**2 + 4*s + 1. Let f be (4/(-7))/((-30)/105). Let l be d(f). Solve l = -3*n - 4 for n.
-3
Suppose 5*r = -3*d + 34, -4*d = -3*r - 9 + 12. Let b = 4 - 3. Solve -d*a - 5 - b = 0 for a.
-2
Suppose -9*h + 6 = -7*h. Let t = h - -1. Suppose 0 = 4*g - t - 16. Solve g - 3 = -v for v.
-2
Let p(j) = -3*j**2 + 2*j. Let d be p(2). Suppose -16*m - 24 = -22*m. Let r be m*(-4)/d + 2. Solve -22 = r*y - 2 for y.
-5
Suppose -g = -18 - 58. Suppose 5*r = -11 + g. Suppose -1 = 4*p - r. Solve -p*s = -s + 2 for s.
-1
Let o = 3 - 3. Let q be 3/(-4) + 19/4. Suppose -60 = -w - q*w. Solve -3*d - d + w = o for d.
3
Let d be -7 + 3311/133 + (-6)/(-57). Solve 0 = 4*n - d - 2 for n.
5
Let v(x) = x**3 - 9*x**2 + 12*x - 29. Let o be v(8). Solve o = 3*s + 6 for s.
-1
Let k = 1 + 3. Let g be (3 - 0) + (-2 - -5). Suppose 0 = -3*r + 6 + g. Solve r = 3*j - k*j for j.
-4
Suppose 5*d - k = 12, 3*d + 12 = 2*d + 5*k. Suppose -2*g + 3*g = d. Suppose g*p - 33 = v + 2*v, -25 = -5*v. Solve -p = -m - 3*m for m.
4
Suppose -248*n + 126 = -230*n. Solve 5*p - 13 = n for p.
4
Let a(c) = -4*c**3 + c**2 + c + 1. Let b be a(-1). Suppose 0 = 662*p - 664*p. Suppose -6*x + b*x + 2 = p. Solve -x*q = q for q.
0
Let s be 8 + (15/5 - 6). Solve -4*m - 9 = -s for m.
-1
Let f(u) = -u**3 + 4*u**2 - 3*u. Let b be f(3). Suppose -41*x = -145 + 22. Solve -i - x*i = b for i.
0
Suppose 2*g + 2*b = 12, 16 = -2*g - 2*g + 4*b. Suppose 15 + 3 = 3*n. Suppose 0 = -p + n*p. Solve p*a - g = a for a.
-1
Let p(a) = 2*a**2 + 4*a - 1. Let q be p(-3). Let k(g) = -55*g - 159. Let x be k(-3). Solve -3 = -x*s + q*s for s.
3
Let j be (45*(-7)/((-42)/4))/2. Let p = 14 - 12. Solve p*s = 5*s - j for s.
5
Let c be (135/(-36))/(3/(-8)). Let k(r) = -r**2 + 10*r - 13. Let m be k(9). Let s be 2/(m + c)*0. Solve -7*z + 3*z = s for z.
0
Suppose -275*b - 16 = -276*b. So