ve -7*h = -3*h + r for h.
-5
Let k(p) = 0*p + p**2 + 1 - 6*p - 9*p + 3*p. Let b be k(12). Suppose -3*g + b = -5. Solve -g*t - 3*t - 5 = 0 for t.
-1
Let c = 155 - 57. Let g be (84/c)/((-1)/(-7)). Solve 3*z = g - 15 for z.
-3
Suppose 6 = -z - 3*m - 0, 2*z + 2*m = -4. Solve z = -3*u + 9 + 3 for u.
4
Suppose 2*i - 38 + 22 = 0. Solve -2*y + 6*y = -i for y.
-2
Suppose 0 = -2*x - b + 10, -3*x + 14 = -6*b + 8*b. Suppose 2*d - 3*d = 4*q - 10, 3*q = x. Solve d = 2*m - m for m.
2
Let n(x) = x**3 - 13*x**2 - 2*x + 31. Let j(u) = 6*u + 1. Let g be j(2). Let s be n(g). Solve -r + s - 3 = 0 for r.
2
Let a = 356 - 351. Solve -3*q = 14 - a for q.
-3
Let x(u) = -u**3 - 12*u**2 + 16*u + 40. Suppose 0 = -5*y + 4*y - 13. Let r be x(y). Solve 7 = -2*k + r for k.
-3
Let v(s) = s**2 + 6*s - 1. Let b be v(-7). Let l be (4/b)/((-2)/21). Let w = l + 9. Solve 0 = w*q - q for q.
0
Let j = -42 - -37. Let l(y) = 8*y + 5. Let h(x) = 4*x + 3. Let g(k) = -5*h(k) + 2*l(k). Let d be g(j). Solve 0 = -0*n + 3*n - d for n.
5
Suppose 4*o - 28 = -0*o - 3*s, -21 = -3*o + 2*s. Let a(g) be the first derivative of g**2/2 - 4*g + 2. Let i be a(o). Solve -7*k + 4 = -i*k for k.
1
Suppose 0 = 4*w + 13*w - 357. Solve -4*s = -w + 41 for s.
-5
Let d(c) = -c**3 - 2*c**2 + 4. Let p be d(-2). Suppose -p*u = -0*u. Solve -5*q + 4*q = u for q.
0
Let o be -25 - -28 - 1/(1/(-50)). Solve -r = -56 + o for r.
3
Let c be (-35)/(-10)*8/14. Suppose -2*r + 9 = r + 5*p, 0 = 5*r + 2*p - 15. Suppose 2*k - k + 8 = -3*w, w + 16 = r*k. Solve k - c = -q for q.
-2
Suppose -233 + 323 = 10*j. Solve -41*k = -44*k + j for k.
3
Let p = -7 - 13. Let i be (-5)/(p/5 - -3). Solve 20 = i*f - 10*f for f.
-4
Suppose 5*f = -d + 101, 0 = -4*f - 4*d + 59 + 9. Suppose -b - 8 = -3*l, 5*l - 4*b + 3 = f. Suppose l*o - 4*o + 4 = 0. Solve o = -2*z - 2 for z.
-2
Let j be 204/14 + 12/(-21). Solve -9*y + 50 = j for y.
4
Let x(m) = m**2 + 8*m - 18. Let z be x(-10). Solve -z*p + 18 = 10 for p.
4
Let h be (68/6)/(2/6). Let x = h - 34. Solve x = 3*o - 6*o for o.
0
Suppose -167 = -4*a + m, 3*a + 5*m - 131 = -0*a. Let j be (4/(-3))/(4/a). Let o = 14 + j. Solve t = -o*t for t.
0
Suppose 3*g - 9 + 0 = 0. Suppose 0*s = -g*s. Let n be (s*3/15)/1. Solve -4 + n = -4*z for z.
1
Let t = -22 - -24. Suppose -4*b + 3*g + 6 = -9, 2*g + t = 0. Solve 0 = -b*l - 2*l + 5 for l.
1
Let k = -1478 + 1485. Solve -90 = k*w + 11*w for w.
-5
Let t(d) = d**2 + 3*d + 10. Let k be t(2). Solve 7*u = 2*u + k for u.
4
Let j(b) = b - 5. Let y = 3 - -3. Let v be j(y). Let u = v + 1. Solve -8 = u*o - 0*o for o.
-4
Let n be 124/14 + (-4)/(-28). Let o = 8 - 6. Suppose 0 = -3*i + 5*y + 17, 5*y = o*i - i - n. Solve a - i*a = -15 for a.
5
Let x(b) = b + 12. Let n be x(-14). Let h be 22*(n + (-10)/(-4)). Suppose -v = l + v - h, 5*v = l + 17. Solve l = w - 2 for w.
5
Suppose 0 = -4*r + 28 - 4. Suppose 0 = 3*b - 0*b - r. Solve -c = 3 + b for c.
-5
Suppose 2*d = 4*v + 7*d - 630, -6 = -3*d. Let w = -135 + v. Solve -3*x = -w + 5 for x.
5
Suppose -4*p + 4*r = -0*p - 32, -5*p - 4*r + 22 = 0. Solve p*w - 20 = 10*w for w.
-5
Suppose -2*p + 286 = 4*v + 3*p, 3*p = -4*v + 282. Let f = 74 - v. Solve 3 = -f*k + 6*k for k.
3
Let u(v) = v**3 + v - 1. Let j(t) = -2*t**3 - 3*t**2 + 2*t + 6. Let f(a) = -j(a) - u(a). Let g be f(-2). Solve g*y + 0 - 20 = 0 for y.
4
Let f(o) = o**2 + 6*o - 10. Let m be f(-8). Let j be (-3)/(0/3 - 1). Suppose 4*b - p + m*p = -7, -j*p + 1 = 5*b. Solve -3*r - 8 + b = 0 for r.
-2
Let s be 4/(-22) + -5 + 501/33. Suppose s*c - 23 = -3. Let w(p) = p - 2. Let z be w(5). Solve -z*i - 10 = c for i.
-4
Let l(b) = -b**3 + 5*b**2 - 8. Let f(y) be the second derivative of -y**3/6 + 17*y**2/2 - 2*y. Let i be f(13). Let n be l(i). Solve 0 = -2*a + n - 2 for a.
3
Let j = -125 + 127. Suppose w = 4*w. Solve w = -7*x + j*x + 20 for x.
4
Suppose 3*m = -3*r + 15, -4*r - 2*m = -3*r - 10. Solve r = 3*h + h - 16 for h.
4
Let y be (-3)/(-54)*3 + (-2)/12. Suppose 0 = -2*x - 4*q + 4, y = 4*x - 4*q - 15 - 5. Solve x*k = k for k.
0
Let s(h) = -h**2 + 2. Let a be s(0). Let n(j) = j**2 + j - 4. Let o be n(a). Solve 0 = -0*z + 2*z + o for z.
-1
Let o be (-2)/(-8) + (-78)/(-8). Solve 2*d + 0 = -o for d.
-5
Suppose 3*x - a - 54 = -5, 2*x + 4*a = 14. Suppose 3 - 12 = -2*c + 3*q, -c = 3*q - 9. Solve -c*f - x = -f for f.
-3
Let b be ((-3)/(-2))/(9/(-48)). Let p be 2/b + 65/20. Suppose -p*v = -2*v. Solve v = 3*o + 6 - 3 for o.
-1
Let i = 339 - 336. Solve i*v + 33 = 24 for v.
-3
Let g(t) = t**2 - 7*t + 2. Let q be g(7). Let u(f) = -67*f - 2743. Let r be u(-41). Solve 0*n = q*n - r for n.
2
Let k = 35 - 20. Suppose 5*f - k = -3*l, -3*l + 2*l - 3 = -f. Solve -f*z + 0*z = 9 for z.
-3
Suppose -4*u - 5*y - 45 + 40 = 0, 5*u = -y + 20. Solve -24*f + u = -29*f for f.
-1
Let r(p) be the second derivative of -p**4/12 - p**3/3 - 2*p. Let l be r(-2). Let d be (-1 - l)*(-4 + 2). Solve 5*f - d = 3 for f.
1
Let m = -112 - -144. Let w be (-2)/16 + (5628/m)/7. Solve 0 = -4*u - u - w for u.
-5
Let q be (0 - (2 - 19))/(3/6). Suppose -33*z - 2 = -q*z. Solve -w - z = -0*w for w.
-2
Let b = -1653 + 1812. Solve 160*r - 1 = b*r for r.
1
Let x = -73 + 111. Suppose 4 + x = 7*i. Solve -i*m = -7*m + 1 for m.
1
Let g = 295 - 295. Solve g*i - 2 = -i for i.
2
Let a be 0/(-5) + (14 - 0). Suppose a*j = 13*j + 4. Solve -j*q = 1 - 9 for q.
2
Suppose 4*t + 5*h - 306 = 0, 339 = 5*t - h - 29. Solve -t + 84 = 5*i for i.
2
Let k(n) = -4*n - 2. Suppose c + 2*y + 7 = 0, 6*y + 6 = 4*y. Let p be k(c). Solve -o = -p*o for o.
0
Let n(d) = -2*d + 2. Let l be n(-10). Suppose -l = 3*y - 55. Solve -2*w = -y + 3 for w.
4
Let q = -28 - -32. Suppose -5*j + q*l + 23 = 2*l, -3*l - 18 = -2*j. Solve 0 = -y - j*y for y.
0
Let q(b) = -b**3 - 2*b**2 + 8*b + 10. Let k be q(-4). Solve k = -7*n + 2*n for n.
-2
Suppose 0 = -3*o - 2*n - 10, o - 5*n = 4 + 21. Solve o = -w + 2*w for w.
0
Let s be -5 + (-291)/(-18) - (-2)/(-12). Solve -21 = s*u - 4*u for u.
-3
Suppose 150 = -2*g - a + 155, -5*g + 11 = 3*a. Solve -r = g*r for r.
0
Let k = -207 + 215. Solve -k*u = -7*u + 2 for u.
-2
Let b = 37 - 37. Let i be (-5)/(5/(-4)) - (2 - b). Solve -i*p = p + 12 for p.
-4
Let l(o) = -o**2 + 7*o - 1. Let k be l(3). Suppose d - 23 = -2*y, 0 = -d - 5*y + 21 + k. Let g = d + -13. Solve n - g*n = 6 for n.
-2
Suppose 40 = -m - 3*m. Let z(u) = -u**2 + 15*u - 4. Let v be z(14). Let y = v + m. Solve y*o = -4*o for o.
0
Let q be 20/(-70) - 23/(-7). Suppose -2 = -3*n + 2*r, 0 = -q*n + 4*r - 1 + 5. Solve j - 5*j - 20 = n for j.
-5
Let f = -15 + 18. Let z be 0*(12/f)/(-4). Suppose z*o + 3*o = 0. Solve o = r - 5*r + 4 for r.
1
Let p(r) = -r**2 - 10*r + 379. Let z be p(15). Solve -8*h = -z*h - 12 for h.
3
Let w(i) = -i**3 - 3*i**2 - 2*i - 5. Let c be w(-4). Let h be 0 + 7 - (2 - 3). Let g = h - 2. Solve -5*u = g + c for u.
-5
Let g(v) = -2*v**2 - 8*v + 5. Let z be g(-6). Let c = -9 - z. Solve -5*y + c = -0*y for y.
2
Suppose -2*r + 3*s - 18 = -6*r, -8 = -4*s. Suppose r*d = -25 + 34. Solve 3*o + 18 = d for o.
-5
Let r(c) = -8*c - 2. Let i be r(-2). Solve k = 15 - i for k.
1
Suppose -774*s - 60 = -776*s. Solve 2 + s = 8*x for x.
4
Let m be 10*4*6/48. Solve 0 = m*t + 37 - 22 for t.
-3
Suppose 2*w + 22 = 6. Let c(q) = -q**3 - 4*q**2 - 3*q + 1. Let n be c(-4). Let i = n + w. Solve -v - i = -0 for v.
-5
Let p(o) = 2*o - 30. Let x be p(17). Suppose -s + r = 5 + 1, 0 = 2*s + 5*r - 16. Let i be (-3 - s)*(-2 - 23). Solve -i = -x*m - m for m.
5
Suppose -127*p = -87*p - 80. Solve 4*r + 24 = -p*r for r.
-4
Suppose -3*i - 3 = -5*y, 4*y - 3*i - 3 = 8*y. Solve -6*p + 30 = -y*p for p.
5
Let c(d) = -d**2 + 6*d - 4. Let w be c(4). Let i(f) = 6*f + 2 - 3*f**2 - 2*f**2 + w*f**2. Let v be i(6). Solve -12 = -v*r - 2 for r.
5
Let c = -3 - -12. Let v = -163 + 177. Suppose -c*h + v*h = 20. Solve j + 3 = h*j for j.
1
Suppose 2*i - 4*f = -i + 28, -4*i + f + 20 = 0. Let k be (-24 + 4)/(-5) + 1. Let n be i/(-10) + 27/k. Solve -n = w - 1 for w.
-4
Let r = -7 + 9. Suppose r*a = -a + 9. Suppose a*u + 6*d = d + 24, 4*u - 18 = -2*d. Solve 2 = c + u for c.
-1
Suppose -i + 2*l + 9 = 0, 0*l - 5*l = i - 2. Solve -3*a + 16 = -i*a for a.
-4
Let t = -3 + 1. Let y(o) = 0*o**3 + 2*o + o**3 - 52*o**2 - 53*o**2 + 108*o**2. Let c be y(t). Solve c*b + 15 = 5*b for b.
3
Let p be (16/(-12))/(-4) + (-20)/(-12). Let b(q) = q**2 + 5*q + 4. Let l be b(-