Suppose u - t = 9, 0 = -2*u - 6*t + 4*t - 2. Solve u*h + 15 = -h for h.
-3
Let z be -4*(-1*70)/2. Let o be -3*((-40)/z + 8/(-21)). Solve w = o*w - 5 for w.
5
Let k be (-11)/(2 + -4 + 1). Suppose 1 = 2*o - k. Solve 5*l + 1 = o for l.
1
Let g(r) = -2*r + 16. Let q = 8 - 6. Suppose 9 = -3*j - 6, -q*m - j + 11 = 0. Let t be g(m). Solve 2*c + c - 9 = t for c.
3
Let k(p) be the third derivative of p**5/20 + 3*p**4/4 + p**3/3 - 10*p**2. Let s be k(-6). Solve 3 = -l - s for l.
-5
Let z be (-84)/(-22) + 6/33. Solve 1 = u - z for u.
5
Suppose 9*c + 255 = 26*c. Solve 0 = -9*q - c + 6 for q.
-1
Let p(s) = 53*s - 846. Let r be p(16). Solve -r = 6*w + 22 for w.
-4
Let z(h) = h**2 - 14*h - 90. Let v be z(19). Solve 0 = -v*r + 10 - 0 for r.
2
Let u = 26 - 25. Suppose -k - 14 = -83. Let m = -48 + k. Solve -m + u = 4*s for s.
-5
Suppose 2*h + 22 = -0*r + 2*r, 3*r - 5*h - 39 = 0. Suppose 40*k - 43*k = -15. Solve 0 = k*j - 2 - r for j.
2
Suppose -530*g + 520*g = -1110. Solve g = -2*v + 111 for v.
0
Let t(l) = -l**3 - 5*l**2 + 6. Let w be t(-5). Let n be 60/27 + w/(-27). Suppose -4 = -2*r + n. Solve -3 = r*g + 9 for g.
-4
Let w = 20 - 13. Suppose 5*p - w*d = -2*d - 15, 0 = -5*p + d - 3. Solve p*i = 4*i - 20 for i.
5
Let x = 115 - 108. Let s(k) = -k**3 + 6*k**2 + 7*k + 2. Let h be s(x). Solve -t + h*t = 5 for t.
5
Let p(y) = y + 1. Let o(v) = v**2 - 2*v + 2. Let a be o(3). Let x be p(a). Suppose 0 = -3*j - r + x, 2*j + r - 4 = -2*r. Solve 6 = j*u - 0*u for u.
3
Suppose -20*x = -172 + 72. Solve -s + x - 1 = 0 for s.
4
Suppose -n = -5*n + 4*i + 1320, -2*n + 645 = i. Let g = n + -229. Suppose 2*k + 3*k - g = -4*b, -b = -4*k - 3. Solve 4*q = -1 - b for q.
-5
Suppose 4*z - 382 + 100 = -g, -g - 348 = -5*z. Solve -9*h = 5*h - z for h.
5
Let z(u) = 7*u - 9. Let m(c) = -3*c + 4. Let x(l) = 9*m(l) + 4*z(l). Let w be x(2). Solve -w*k = -4 - 4 for k.
4
Let o(j) = j**2 + 11*j + 12. Let b be o(-10). Suppose 2*z - b = 0, r - 2*z + 8 = 3*r. Suppose 4*x + 10 - 70 = 0. Solve -x = -r*h - 3 for h.
4
Let q = 5 + -1. Suppose 1347*m = 1332*m. Solve 0 = -m*x + q*x - 16 for x.
4
Let x(v) = v + 7. Let a be x(4). Suppose -a*t + 42 = -13. Solve 2*y = t*y - 12 for y.
4
Let b be 6/(-9)*7/(21/(-45)). Solve b = -4*y + 2 for y.
-2
Let g be -3 + -7 + 11 - (-7 + 3). Suppose 4*p - 3*j + 2*j - 4 = 0, -3*p = 3*j - 3. Let s be p/4 + 1/(-4). Solve 5*l = -s*l + g for l.
1
Let t be 6/(-9) - (-16)/6. Suppose t*d - 64 = -2*d. Suppose 234*a - 641 - 61 = 0. Solve a*z - d = -z for z.
4
Let z(u) = -u - 6. Let p be z(3). Let t be (-1)/((p + 3)/30). Solve 4 = t*n - 3*n for n.
2
Suppose -144 = -3*k - 3*o, -272*k + 277*k + 2*o - 240 = 0. Solve 15*q + q - k = 0 for q.
3
Suppose 5*v - 5 = l, -5*l - v + 1 = -7*l. Solve l*s - 1 = s for s.
-1
Let j(r) = -17*r + 56. Let b be j(3). Solve 19 = b*m + 44 for m.
-5
Let r(c) be the first derivative of -c**3/3 - 5*c**2/2 - 3*c + 17. Let b be r(-3). Solve 3*s + b + 3 = 0 for s.
-2
Let u(c) = c**3 - 12*c**2 + 12*c - 9. Let o be u(11). Suppose -o*x + 3*x = -0*x. Solve 4*m - 24 + 4 = x for m.
5
Suppose 0 = -5*d + 133 + 72. Solve -d = 7*k - 6 for k.
-5
Let b be -6*(1 - 12*12/32). Solve -22 = u - b for u.
-1
Let h(k) = k + 26. Let r be h(2). Solve 7*f = -0 - r for f.
-4
Let g(m) = m**2 - 6*m + 5. Let t be g(5). Suppose -j + t = -4. Solve -o + 5 = j*o for o.
1
Let k = -85 - -50. Let q = k - -40. Solve -4*a = 1 - q for a.
1
Let f = -1729 + 1732. Solve f*i = i for i.
0
Let o(u) = -u**2 - 87*u - 446. Let s be o(-80). Solve -6 = s*g - 116*g for g.
3
Suppose 6 = 4*w - 22. Let l = w + 8. Solve -5*n + l = -0*n for n.
3
Let f(v) = 15*v + 218. Let y be f(-14). Let z(i) = i**3 - i**2 + i + 2. Let a(b) = -b**2 - 7*b - 6. Let w be a(-6). Let q be z(w). Solve -q*g = -4*g - y for g.
-4
Let b = -1287 - -1307. Solve 16*c - 8 = b*c for c.
-2
Suppose -21 = -5*d + 14. Suppose d - 17 = -2*l. Solve 2*n = l*n - 9 for n.
3
Let p(a) = -a + 4. Let f(c) = c**2 + 8*c - 17. Let r be f(-10). Let d be p(r). Solve -w = -d + 3 for w.
-2
Let d(w) = 2*w - 1. Let t be d(2). Suppose -t = o + r, 2*o - o + 5*r + 19 = 0. Solve o + 11 = 3*j for j.
4
Let i(q) = -2*q**3 + 8*q**2 - q + 6. Let a be i(4). Suppose -4*d + 64 = a*r, 2*d - 16 = r + 2*r. Solve -3*m = d - 5 for m.
-3
Suppose -3*p = -0*p - 12. Let w = -1 + p. Suppose -7*d + 52 = -w*d. Solve -d = 2*r - 5 for r.
-4
Let r(b) = b**2 - 9*b + 8. Let z be r(8). Solve -f + 7*f + 30 = z for f.
-5
Let q(i) = -6*i + 7. Let b be q(-6). Let l = 46 - b. Solve -l*x + 4 = 10 for x.
-2
Let l be -3*((-4)/(-6))/(-2). Suppose 0*f = 14*f + 2254. Let w = -158 - f. Solve -2*g + w*g = -l for g.
-1
Let n be 451/33 - (-2)/(-3). Let o be 2/2 + (n - 10). Solve -14 = -o*s + 6 for s.
5
Let v = 156 + -153. Let m = 13 - 9. Suppose -3*o + 1 = -w + 14, -5*o = -2*w + 26. Solve m*f - w - v = 0 for f.
4
Let d(p) = p**2 + 34*p + 103. Let y be d(-3). Solve -6*b = -b - y for b.
2
Suppose 3*g - 20 = 16. Let j(t) = -7*t + 104. Let c be j(14). Let z be (3/2)/(c/g). Solve 1 = -2*q - z for q.
-2
Let l = 43 - 36. Let n(q) = -q**3 - 5*q**2 - 4*q + 1. Let s be n(-4). Suppose -4*b + 5*i - 2 = -20, -4*i - 14 = -3*b. Solve -b*f = l + s for f.
-4
Let m(f) = -3*f**3 - 3*f**2 - f + 1. Let o(h) = -5*h**3 - 7*h**2 - 3*h + 2. Let c(a) = 9*m(a) - 4*o(a). Let j be c(-1). Solve -x - 10 = -j*x for x.
2
Let q = 97 - 46. Suppose 0 = -q*w + 50*w. Solve 2*l + 6 = -w for l.
-3
Let x = -126 - -112. Let n be (-4 - x/3) + (-2)/(-6). Solve a - 6 + n = 0 for a.
5
Let o be 42/(-63)*6 + (-18)/(-2). Solve -15*v = o*v + 80 for v.
-4
Suppose 280*w = 270*w + 200. Solve 52*o = 47*o + w for o.
4
Let d be (1 + 5)*(-28)/(-6). Let n = d - 25. Suppose -4*f = n - 11. Solve 4*h + f = 3*h for h.
-2
Let z(f) = 15*f - 27. Let w be z(2). Solve -w*c = c for c.
0
Let r(s) = -6*s**2 + 6*s + 4. Let o be 112/(-18) - 4/(-18). Let a(p) = 7*p**2 - 7*p - 3. Let w(t) = o*r(t) - 5*a(t). Let g be w(4). Solve -f = g*f + 16 for f.
-4
Let q(m) = -4*m - 1 + 7 + 0 + 4*m**2 + m**3. Let l be q(-5). Solve -4 = b + l for b.
-5
Suppose -13 + 43 = -10*x. Let w be (3 + 0 + x)/1. Solve w*j + 3*j = 9 for j.
3
Let b = -7 - -10. Suppose 0 = 4*g + 5*n + 15, -3*g = -5*n - 7 - 8. Let i = g - -4. Solve l - i = b*l for l.
-2
Suppose -2*p - 5*u = 17, -4*p - 4*u = -p + 15. Let j be (p - 0)*1*0. Solve 4*t = -j*t + 16 for t.
4
Suppose -k = -4 + 2. Suppose 0 = 30*t + 4*t - 340. Let q = -11 - -15. Solve -q*n + k*n + t = 0 for n.
5
Let j(n) = -n. Let w(f) = 8*f - 10. Let s(z) = -2*j(z) + w(z). Let b be s(1). Solve b = -2*i - 1 - 3 for i.
-2
Suppose 0 = -3*h + 35 + 7. Let z = -14 + h. Suppose -b + 0 = 2*m - 6, z = 3*m + 5*b - 2. Solve 0 = 5*p + 6 + m for p.
-2
Let x(c) = 2 + 1 - c + 7. Let n be x(5). Solve -n + 2 = d for d.
-3
Suppose 3 = 3*w, 2*w + 25 = 2*i + 123. Let u = i - -54. Solve -k + 4*k = u for k.
2
Suppose 7*u = 2*u. Let o = -12 + 13. Let t be ((-1 + o)/(-4))/(-2). Solve -s + u*s = t for s.
0
Let i(u) = 2*u**2 - 27*u + 1. Let l be i(0). Solve -l = -5*j + 4 for j.
1
Let q(y) = y**3 - y**2 - y + 2. Let z be q(0). Let d = 8 + -9. Let a be z/(-4)*4*d. Solve -a = -h - 1 for h.
1
Let q(c) = -c + 24. Let d be q(22). Let t(p) = p**2 + 2*p + 1. Let b be t(-4). Suppose 2*g = 6*g - 2*u + 6, 3*g = 2*u - 6. Solve g = -d*x + b + 1 for x.
5
Let p(s) = s**2 - 5*s + 3. Let x be p(5). Suppose -9 = -x*j, 2 = 2*d - 2*j + 4. Solve d*r - r - 3 = 0 for r.
3
Let m be (-268)/(-9) + (-12)/(-54). Suppose -202 + m = -4*d. Suppose -9*r = -2*n - 4*r + d, 3*r = -n - 6. Solve 0*k - 3*k = n for k.
-3
Let g = -86 + 90. Suppose 3 + g = b. Solve -5*x = -b*x - 6 for x.
-3
Suppose 2*n - 14 = u, -n + 5*u = -2*n + 7. Let r(h) = 4*h - 24. Let z be r(n). Solve 0 = -0*c - z*c for c.
0
Suppose 57*d - 24*d = 264. Solve -12 = 4*j + d for j.
-5
Let v = 11 + -8. Let f be 2/(-8)*43 + 2/(-8). Let s = -10 - f. Solve 2*q - s = -v for q.
-1
Let c be 7/2 - (-249)/(-166). Solve 0 = 33*s - 32*s + c for s.
-2
Let x be (12/(-3) - -3)/((-3)/(-9)). Let z be (-4)/12 - ((-5)/x + -2). Solve -3*n + 12 = -z for n.
4
Let g be 8/6*(21 - 18). Solve 2*k + 0 = g for k.
2
Let z(k) = k - 3. Let x be z(9). Let l = x + 10. Suppose 2*j = -2*j + l. Solve 2*i - 4 = j for i.
4
Let s = -78 + 47. Let b = s - -33. Solve -3*o = 14 - b for o.
-4
Let k = 269 - 258. Solve i - 16 = -k for i.
5
Let d = 315 + -294. Solve -6*a - d = a for a.
-3
Suppose -2*c + 6 = 3*v +