Let j be o(0). Let u = j - -3. Solve -7 + 1 = u*x for x.
-3
Let r = 2 - 2. Let u be 2*-2 + (60/5)/2. Let x be u*1/(-2)*r. Solve x = -3*t + 5 + 10 for t.
5
Suppose -5*r - 6 - 4 = 0. Let c be 1 + 1 - 14/r. Suppose 3*n - c = -3. Solve 3 = n*p - p for p.
3
Let p be (-2)/1 + -1 + 3. Let n(w) = -2*w + p*w - 2 - 7. Let z be n(-5). Solve -s = -z + 2 for s.
-1
Let l(h) = h**2 - 12*h + 7. Let a be l(3). Let d(z) = -z**3 - 20*z**2 + z + 20. Let y be d(a). Solve y = -4*q + q for q.
0
Suppose 0 = 4*l + l - 225. Let a = -304 + 674. Let h be a/l - (-4)/(-18). Solve h = 4*n - 0 for n.
2
Suppose q = 1, 14 = 3*l + 4*q + 4. Suppose 0 = l*f + f + 111. Let p = -21 - f. Solve 1 = -3*k + p for k.
5
Suppose -3*k + 4*k - 5*a - 68 = 0, -3*k + 192 = -3*a. Let c be 9/(k/(-10))*-7. Solve 6*j - j + c = 0 for j.
-2
Let a(p) = -p**3 + 5*p**2 - 4*p. Let d be a(4). Let i be (d + -3)*(-9)/(-1). Let b = i - -45. Solve 0 = -3*r + 3 - b for r.
-5
Suppose -2*u = 6 - 52. Let z = -19 + u. Suppose 137 = 5*o + 4*a, 44 = 2*o - z*a + 2*a. Solve -o = 3*s + 2*s for s.
-5
Let l(z) = -z + 27. Let a be l(23). Let p be a/14 + 28/(-98). Solve p = 3*v - v - 4 for v.
2
Let w = -384 + 392. Solve -w + 3 = -5*i for i.
1
Let u(y) = y**2 + 7*y - 3. Suppose -5*p - 52 = -3*g, 3*p + 3*g + 5 + 7 = 0. Let z be u(p). Let t = -31 - -31. Solve -l + 0*l - z = t for l.
-5
Suppose -44*x - 112 = -40*x. Suppose -5*m = -2*g + 138, 5*m = -g - g - 122. Let q = m - x. Solve q*h - 3 = -h for h.
1
Let y be 44/16 + 2/8. Suppose 0 = -3*b - y*j + 51, -b - 6*j + 37 = -j. Suppose -2*z - z = 0, -2*a + 3*z = -b. Solve -a = 4*w - 2 for w.
-1
Let w be -4*(2/(-3))/((-1)/3). Let c(u) = u**3 - 5*u**2 + 2*u + 2. Let k be c(3). Let b = w - k. Solve b*i + i = 0 for i.
0
Suppose -27*i = -32*i. Solve i = -2*c + 25 - 27 for c.
-1
Let q be -15*2*68/357*-7. Solve -g + 9*g = -q for g.
-5
Let d(y) = -y + 10. Let g = 0 + 7. Let l be d(g). Let r(v) = v**2 - 3*v + 2. Let a be r(l). Solve -2*k + a = -4 for k.
3
Suppose 4*y - 10 = 4*u + 10, -2*u = 4*y - 8. Let i be (-22)/(-18) - 2/9. Let l = 2 + i. Solve -2*r - l = -y*r for r.
3
Suppose -3*n = 3*p - 90, 3*n = 8*n + p - 138. Let k be 2 - (-9)/(n/12). Solve w + w + k = 0 for w.
-3
Let x be -2*(-16)/6 + (-6)/(-9). Suppose -x*l + 1 = -23. Solve l*r - r = 0 for r.
0
Let s(j) be the second derivative of -j**5/20 - j**4/6 - 2*j**2 - j. Let b = 340 + -343. Let a be s(b). Solve -c - a = -1 for c.
-4
Suppose -2*z = 3*h - 110, -80 = -h - h - 3*z. Let f = h - 31. Solve -1 - 2 = f*a for a.
-1
Suppose -3*d = 0, 2*d - 3*d - 6 = -3*m. Suppose 6*x = m*x. Solve -u + x = -3 for u.
3
Let x = 12 + -31. Let v = x - -22. Solve 2*l + 10 = -v*l for l.
-2
Suppose -7*z + 12*z = 0. Suppose z = 4*v - v - t + 44, 5*v - t + 76 = 0. Let k be (-6)/21 - v/7. Solve k = r - 0*r for r.
2
Let i = 0 - -12. Let l = i - 15. Let a be ((-5)/(-4))/(l/(-12)). Solve 1 = a*h + 16 for h.
-3
Let i = 534 + -491. Solve -7*w = i - 8 for w.
-5
Let p(t) = -5*t**2 + 53*t + 42. Let f be p(10). Solve -f = -10*u - 22 for u.
5
Let f = 0 - -5. Suppose -4 = 6*k + 2. Let l be 1 - 5*k/(-5). Solve q + f - 1 = l for q.
-4
Let k be (10/(-6))/((-15)/162). Solve -n + k = -7*n for n.
-3
Suppose 18*v - 12*v - 174 = 0. Solve 13*h = 10 + v for h.
3
Let z = -1405 + 1429. Solve -z*t - 12 = -18*t for t.
-2
Suppose -2*d + 5*d - 6 = 0. Let l = 12 - d. Let b = 10 - l. Solve 0*i - 2*i + 4 = b for i.
2
Let w(l) = -l**3 + 13*l**2 - 44*l + 30. Let s be w(5). Solve 6 = s*b - 14 for b.
2
Let m = 20 - 17. Suppose -27 - m = 5*s. Let v be (-4)/s - (-20)/(-30). Solve 5 + v = -k for k.
-5
Let s(b) = -b**3 + 5*b**2 + 6*b + 5. Let x be 4/6 + 160/30. Let o be s(x). Solve 3*j - 2 = o*j for j.
-1
Let q(x) = -x**2 + 9*x - 6. Let m = 2 - -6. Let d be q(m). Solve d*c = -4 + 8 for c.
2
Suppose 0 = -3*f + 30 - 6. Solve 2 = -2*j - f for j.
-5
Let r(w) = w**3 + 6*w**2 + 3*w - 2. Let o be r(-6). Let l be 15/4 - 5/o. Solve -3 + l = -c for c.
-1
Suppose 262*h - 274*h + 96 = 0. Let z(l) = 12*l**2 + 21*l. Let v(a) = 3*a**2 + 5*a. Let t(r) = 21*v(r) - 5*z(r). Let q be t(-1). Solve h*j = q*j for j.
0
Let c = 1 - 1. Suppose 4*q = 2*d + 4, 6*d - 16 = d - 3*q. Suppose -5*n + 14 = -d*a, 4*a + 9 = 1. Solve -n*v = -c + 2 for v.
-1
Suppose -q = -a + 4*q - 4, 4*q - 26 = -3*a. Let j be 63/(-42)*(-8)/a. Solve s = j*s for s.
0
Let i = 166 - 161. Let g = 13 - 9. Suppose 1 = -g*m + i. Solve -m = h - 5 for h.
4
Let a = 27 + -15. Let u be ((-8)/(-6))/(8/a). Suppose -3*z = 6, -u*z + 8 = 4*d + 2*z. Solve 9 = -d*h + 25 for h.
4
Suppose 34 - 10 = 12*w. Let y = w + 33. Solve -10 = -5*b - y for b.
-5
Suppose 285 = 82*s - 43. Let j(z) = -z**2 + z - 3. Let w be j(0). Let p be (-36)/16*8/w. Solve s*b + 6 + p = 0 for b.
-3
Suppose -5*g + 19 = 4. Let l be (-10 - -1)*10/(-6). Suppose 0 = -60*d + 73*d - 52. Solve -d*h = -l + g for h.
3
Suppose 0 = 7*l + 453 - 509. Solve -2*d = -l + 4 for d.
2
Suppose 12*l - 126 = -9*l. Solve 2 = 4*i - l for i.
2
Let z be 4 + (1/4)/((-16)/(-192)). Solve 70 = z*n + 63 for n.
1
Let y = -1 + 3. Let i be ((-1)/2)/(y/(-16)). Suppose 240*z - 264*z = 0. Solve z = r + i for r.
-4
Suppose -5*g + 0*g = -40. Suppose -g*n + n + 2*n = 0. Solve -4*o + 0*o + 12 = n for o.
3
Let a = 1251 - 1240. Solve a - 41 = -10*r for r.
3
Suppose 0 = -37*y + 32*y + 20. Suppose -q + y*q = u - 5, -4*q + 5 = u. Suppose 3*p - 6 = -u*k, 2*p - k = p + 2. Solve 2*x = -p*x for x.
0
Suppose -4*v + 2*n + 54 = 0, 4*v - 15 = -5*n + 18. Let x be (-16)/(-3) - 16/v. Solve -x*f - 10 = -2*f for f.
-5
Suppose 3*m + q + 6 - 50 = 0, 0 = 4*m + 2*q - 62. Suppose -5*w = 5*s - 2*s + m, s + w = -3. Let n = s - -2. Solve -2 = 3*d + n for d.
-1
Let i(t) = -27*t + 239. Let p be i(8). Solve 0 = -6*s + 1 + p for s.
4
Let q = -67 + 87. Suppose -4*p + q = p. Let j = 1 + -1. Solve 4 = p*i - j for i.
1
Let g = -2 + -5. Let n(i) = i**3 + 6*i**2 - 8*i - 9. Let o be n(g). Let m be o/(-10) + 72/15. Solve -m*p - 12 = 13 for p.
-5
Suppose -3*f + 2*h + 65 = 0, 0 = 6*f - 2*f + h - 105. Solve 7*o + 25 = f for o.
0
Let l = -7 + 10. Let r = -4930 + 4936. Solve l*t - r = t for t.
3
Let m(y) = y**2 + 8*y - 82. Let h be m(-14). Solve h*u + 1 = -3 for u.
-2
Let k(c) be the first derivative of c**4/4 - 13*c**3/3 - 7*c**2 - 10. Let p be k(14). Solve p = -5*d + 4*d for d.
0
Suppose o + 5*h - 15 + 10 = 0, 2*o = 2*h + 46. Solve -o = p - 6*p for p.
4
Let s(u) = -u**3 - 9*u**2 + 21*u + 42. Let b be s(-11). Solve b*r - 46*r + 7 = 0 for r.
-1
Let z be (-13)/(-4)*((-153)/9 + 21). Solve -3*u = -z*u - 10 for u.
-1
Let j be 2 - (3 - (-4)/((-12)/3)). Suppose k + 4*s + 7 = j, -2*s - 5 - 11 = -2*k. Solve -2*i - k = -3*i for i.
5
Let v be ((-4)/(-5))/(3/15). Suppose -1 = c, -2*c + c - 1 = 5*q. Suppose 0*a + 3 = -v*k - 3*a, 3*a + 3 = q. Solve 0 = -k*f - 5*f + 10 for f.
2
Suppose 2*c = -0*c + 4. Suppose -5*q - 5*a = 0, -5*a - 3 = c*q - 15. Let r be 5 + q + (-6)/(-2). Solve -r = -2*g + 4 for g.
4
Let v be 56/(-12)*21/(-2). Let s = v - 47. Solve s*l - l = 2 for l.
2
Let m = 599 - 579. Solve m*h = -2 + 22 for h.
1
Let c = -105 + 133. Let h be (-21)/c*(-2 - 0 - 2). Solve h*l - 15 = -0*l for l.
5
Let u(t) = 4*t - 11. Let a be u(5). Solve 2*h = a*h for h.
0
Suppose 3*b = -2*b - 55. Let k = 15 + b. Suppose -k*y + 5*y = 3. Solve -3*f + 4*f + y = 0 for f.
-3
Let y(a) = -a**3 + 9*a**2 + 3. Let h be y(9). Let i be (-232)/(-24) - (-1)/h. Solve 0*u + 5*u = i for u.
2
Let q be 3 - (-1 - (-1 + 1)). Solve q*d - 6*d = 8 for d.
-4
Suppose -o = -8*o + 77. Solve -4*s = o*s + 75 for s.
-5
Let j be (0 - (-10)/(-4))*72/60. Let m be -1*(j - -5) + 2*1. Solve m = 4*f - 0*f for f.
0
Suppose 5*c + 3*m - 22 = 0, 0*c + 2*m = 4*c. Suppose 0 = 2*d - 0*d + c, 29 = 4*u - d. Solve -3*k - 1 = -u for k.
2
Suppose -47*t + 42*t - 5*l = -45, 5*l + 46 = 2*t. Solve -7*j - 30 = -t*j for j.
5
Suppose 0 = -i - 31 + 10. Let v be (10 + -3)*(-9)/i. Let z be 2*((-28)/(-4) - v). Solve j + z = -j for j.
-4
Let n be 2 - 2 - (-65)/13. Solve -2*i = -n - 5 for i.
5
Let m(s) = s**2 - 9*s - 29. Let o be m(12). Solve 27 = o*z - 8 for z.
5
Let z(a) = a**3 + a**2 - a + 3. Let b be z(0). Suppose -28*y = -107 - 61. Solve -b*m = -0 + y for m.
-2
Let c(o) = o**3 + 3*o**2 - 10*o + 2. Let w be c(0). Solve -5*b + 27 = w for b.
5
Let p be 1/2 - (2535/10)/(-13). Solve -18*y = -p*y + 2 for y.
1
Suppose -2*d = 2*y - 20, d + d + 5*y = 35. Suppose -d = -5*c - 