h - 4 = -t for h.
-4
Suppose -70 = -11*r + 9*r. Suppose 5*u - 65 = 7*x - 2*x, 0 = -3*u - x + r. Solve 0 = q + 2*q + u for q.
-4
Suppose 160*v - 163*v + 9 = 0. Solve 39 - 27 = -v*t for t.
-4
Let h(m) = 4*m**3 - 8*m**2 + 9*m + 9. Let w(v) = 7*v**3 - 17*v**2 + 18*v + 19. Let d(t) = -5*h(t) + 3*w(t). Let c be d(10). Solve 0 = -c*r + 4 - 12 for r.
-4
Let w = -5 + -1. Let o be 0 + -2 - w/2. Let r = -991 - -996. Solve -t - r = -o for t.
-4
Let c(s) = -s**2 - 15*s - 28. Let b be c(-12). Solve -5*l = -b*l + 15 for l.
5
Suppose 0*a + a + 3*f = 12, 20 = 3*a + f. Let y(z) = -z**2 - 5*z - 2. Let h be y(-4). Let d be a*h/(-4) + 5. Solve 0*m + 8 = d*m for m.
4
Suppose -47 = -5*q + u, -u + 44 = 5*q - 3*u. Solve -f + q = 5 for f.
5
Let d = -236 + 243. Solve -2*t - 15 = -d*t for t.
3
Let h(l) = -l**3 + l**2 - 1. Let t(n) = -5*n**3 - 13*n**2 - 6. Let i(s) = -6*h(s) + t(s). Let f be i(19). Solve -v = 5 - f for v.
-5
Let c be ((-400)/6)/(-5) - 4/(-6). Suppose 4*n = 14 + c. Solve n*b = 3*b for b.
0
Suppose 5*v + 0*y = y + 34, -y + 15 = 2*v. Solve -34 - 1 = v*t for t.
-5
Let v = -36 - -52. Let i = -4 + v. Solve -2*r - 2*r = i for r.
-3
Let a(j) = -5*j**2 - 5*j - 2. Let p(q) = -4*q**2 - 5*q - 2. Let x(w) = -3*a(w) + 4*p(w). Let k be x(-3). Solve -k*g + g = 15 for g.
-5
Suppose -12*m - 96 = -20*m. Solve 7*z = z - m for z.
-2
Let n(c) = -c**2 + 4*c. Let p be n(4). Suppose 5*x + 27 = v, 0 = -2*v + 26*x - 25*x + 9. Solve -6*z + v*z = p for z.
0
Let f be 5/(90/256) + (-4)/18. Suppose -3*i + 4 = -f. Solve w - i = -w for w.
3
Suppose -21 = -5*z + 29. Suppose v + b - z = -v, 4*v - 26 = -5*b. Solve 11 = v*m - 5 for m.
4
Suppose 7*y - 3 = 25. Solve -b - y*b = 25 for b.
-5
Suppose 2*y - 2 = -0*y - d, 3*y - 14 = 4*d. Suppose -12 = -5*j + j + 3*i, -j = i + 4. Suppose -4*o + 16 = -8. Solve y*h + o + 4 = j for h.
-5
Let a be (1/(-3))/(2/(-12)). Let y = -46 - -53. Suppose -8 = -y*j + 6. Solve j*s + a = 3*s for s.
2
Let k(q) = q**3 - 3*q**2 - 3*q - 4. Let l be k(4). Let x be l/(-3*2/(-3)). Suppose -593*d + 32 = -577*d. Solve x*m = d*m - 4 for m.
2
Let v(b) = b + 6. Let k = -28 - -26. Let r be (5 + -4 + 5)/k. Let i be v(r). Solve m + 0 = -i for m.
-3
Suppose 5*s - 46 = 4*n, s - 11 = 3*n - 4. Let i be (32/(-20))/((-4)/s). Solve -8 = 3*c + i for c.
-4
Let f be ((-6)/21)/(-1) + 171/63. Solve 0*n = f*n - 15 for n.
5
Suppose 5*q + x - 24 = 0, -2*q = 7*x - 3*x - 24. Solve q - 7 = c for c.
-3
Let u be 2 - ((-6)/(-2) - 1). Let q = 61 + -55. Let h(f) = -3*f + 21. Let t be h(q). Solve u = t*c + 9 - 0 for c.
-3
Let w be (-26)/65 + 66/15. Solve -x - w = -2*x for x.
4
Suppose 0 = 58*u - 50*u - 104. Solve u*i - 63 = -11 for i.
4
Suppose h - 3*z + 19 - 4 = 0, 0 = h - 5*z + 25. Let p = 25 + -22. Solve -d - p = -h for d.
-3
Let b be (-6)/(-9) + 64/12. Solve -3*c + b = -5*c for c.
-3
Let g = 7 - 0. Suppose -3 = -c - u, -u + 18 = -3*c + g*c. Solve -2*k + c*k - 6 = 0 for k.
2
Let c(b) = -8 + 8 + 6 - 2*b + 9. Let l be c(7). Solve -j + l = -0*j for j.
1
Suppose -9*p - 80 = -215. Solve -p*z = -31*z - 80 for z.
-5
Let a(n) = n**3 - 13*n**2 - 30*n + 18. Let x be a(15). Solve -x + 6 = 6*d for d.
-2
Suppose -3*m + 15 = 3*i, 0 = 30*i - 27*i + m - 11. Solve -i*v = -4 - 5 for v.
3
Let c = 52 + -50. Suppose -4*j + c*j - 3*d + 6 = 0, 0 = -4*j - 2*d + 12. Solve -j*x = x for x.
0
Let v(a) = -2*a**2 + 14*a + 3. Let i be v(7). Solve 0 = i*c - 5 - 1 for c.
2
Let i = 2 + 2. Let q be (-10)/15*-39 + -1. Let y be (-15)/q - (-16)/10. Solve z = y - i for z.
-3
Let n(v) = -v - 21. Let c be n(-17). Let q be (-42)/(-8) - c/(-16). Solve -q*y = -0*y for y.
0
Suppose 2*m - v = 6, -3*v + 12 = 4*m - 4*v. Let s be (m/9)/((-8)/(-144)). Solve 0 = u - 3 + s for u.
-3
Let i = 28 - 10. Let u be ((-5)/(-2))/(i/72). Solve -u = h + h for h.
-5
Suppose 4*f - 6*b = -b + 110, -3*b = -5*f + 144. Suppose -7*k + f = -2*k. Solve 3*a - 9 = k for a.
5
Let u be (-6)/(-5 + 28/8). Let s = 5 + -2. Suppose -4*n = 3*r + 2, -s*n = u*r + n - 4. Solve 3*o - r = -21 for o.
-5
Suppose -350 = -16*m - 9*m. Solve -5*j - m = -4 for j.
-2
Suppose 2*n = 6*n. Let m(b) = b + 6. Let j be m(n). Solve -2 = 4*y + j for y.
-2
Suppose 6 = x + 2*x. Let m(y) = 2*y**2 - 12*y + 23. Suppose 0 = -i - 7*i + 24. Let g be m(i). Solve -g = -d - x for d.
3
Let p be 64/(-112) + (-53)/(-7). Solve -8 = -5*b + p*b for b.
-4
Suppose 0 = -2*k - 2*k + 5*b - 64, 5*b + 41 = -k. Let l = 13 + k. Let y = -6 - l. Solve -y*m = -m + 3 for m.
-3
Let p = 557 - 557. Solve 6*q + 12 = -p*q for q.
-2
Suppose -3*v + 28 = 5*l, -2*l + l = 5*v + 12. Suppose 0 = -3*j - j. Solve -y + 5*y - l = j for y.
2
Suppose 5*l = 2*i + 35, -4*l - 11*i + 11 = -16*i. Solve -36 + 81 = l*w for w.
5
Suppose 25*y + 6*y - 155 = 0. Solve -y*a - 15 = -0 for a.
-3
Let r(w) be the third derivative of -w**5/60 + 7*w**4/24 - 2*w**3/3 - 3*w**2. Let d be r(6). Let j = d + 4. Solve -j*k + 12 = -2*k for k.
3
Let d be (-78)/(-65)*(-210)/(-2). Suppose -8*y = -12*y + 588. Let l be (d/y)/(2/7). Solve -l = -2*n + n for n.
3
Let h(n) be the third derivative of n**5/12 - n**4/6 + 2*n**3/3 - 7*n**2. Let f be h(2). Solve -4*y - f = -8*y for y.
4
Let q be (8/(-3))/((-10)/45). Suppose 5*w - 28 - q = 0. Let k = -3 + w. Solve k*z = 10 - 0 for z.
2
Suppose 11*n - 71 = -5*q + 13*n, -5*q + n = -68. Solve 16*c = q*c - 15 for c.
-5
Suppose 7*x - 2*x = 80. Suppose 4*z = 2*j - 2, -z - 5*j + 0*j = -x. Let r be (9 - 1/z) + -3. Solve p + 0*p - r = 0 for p.
5
Let w be (-4)/(-3 + 2) + -4. Solve w = 5*h - 2*h - 12 for h.
4
Let h be (2/4)/(((-7)/152)/(-7)). Suppose 81*p - h*p - 5 = 0. Solve -4*y - p - 3 = 0 for y.
-1
Let n = -21 - -42. Suppose -s - 205 = 5*f + 4*s, 2*f + 77 = 3*s. Let w = f + 43. Solve -6 = w*o - n for o.
5
Let x be (-18)/(-45) - 26/(-10). Suppose -33 = -4*b - 0*r + 3*r, 0 = x*b + 4*r - 56. Solve -b = z + 3*z for z.
-3
Let c(y) be the first derivative of y**2/2 - 9*y - 15. Suppose 0 = -5*t - 0*t + 65. Let p be c(t). Solve 23 - 3 = -p*g for g.
-5
Let j(o) = 8*o**2 - o + 2. Let b be j(2). Let u = b - 32. Solve u = -3*n + 12 + 3 for n.
5
Let z be (0 + -3)*(-1 - 0). Let f = 36 - 28. Suppose 2*o = 4*o - f. Solve -5 = o*k + z for k.
-2
Let r(l) = -l + 7. Let d be r(5). Let s(n) = -n**2 + 6*n - 2. Let y be s(4). Let a be ((-6)/4)/(y/(-16)). Solve d*x + a = -2 for x.
-3
Let a(h) = 12*h**3 - h**2 + 2*h - 1. Let k be a(1). Suppose -4*l + 0 = -k. Let n(m) = 6*m - 74. Let s be n(13). Solve -2*z + l*z = -s for z.
-4
Let r be (72/21*-1)/((-12)/42). Solve 3*y = -0*y - r for y.
-4
Let a(q) be the first derivative of -q**2/2 - 8*q + 6. Let t be a(-8). Let n = 14 - 9. Solve -n = -t*d + d for d.
-5
Let v be 85/(15/25 + 6/15). Let c = 85 - v. Solve -2*n = -c*n - 6 for n.
3
Let r(z) = -2*z - 10. Let d(y) = -y - 1. Let w(o) = -6*o - 14. Let m(j) = 4*d(j) - w(j). Let x(t) = -5*m(t) - 4*r(t). Let c be x(-8). Solve -2*k = k - c for k.
2
Let j be -11 + 15 - (-24)/2. Solve 16 = -12*c + j*c for c.
4
Let r(j) = -2*j**3 + 3*j**2 + 3*j. Let a be r(3). Let b = 7 - a. Let i(l) = l**2 + 36*l + 298. Let o be i(-12). Solve -5*k + b = -o*k for k.
-5
Let f be 1380/(-24) + 1/(-2). Let z = 33 + f. Let c = z + 30. Solve w - c*w = 4 for w.
-1
Let x be ((-2)/5)/((-1246)/(-105) - 12). Solve x = 3*a + 9 for a.
-2
Let v = 20 - 16. Suppose v*h - 10 = 34. Let k = -43 - -46. Solve -k = 2*a - h for a.
4
Let q be (3/6)/(-1*4/40). Let o be 6*(q + 4)/(-2). Solve -13 = o*l - 1 for l.
-4
Let h be 2/(3 - 2) - 2. Suppose 3*b + 2*b - 30 = h. Suppose 0 = -2*p + 2*v, -4*p - 2*v + 3 = -5*v. Solve 3*u + p = -b for u.
-3
Let y = -19 - -21. Let c be (-52)/16*(y + -6). Solve -7 - c = 5*t for t.
-4
Suppose -20 = -i - 22. Let l be i - (-2 + 0/1). Solve l = 2*r + 5 + 5 for r.
-5
Suppose 2*l - 9 = 4*w + 11, 0 = 3*l - 4*w - 22. Let u(j) = -j + 1. Let c(k) = -3*k - 2. Let o(h) = c(h) - 6*u(h). Let f be o(4). Solve f - 8 = l*y for y.
-2
Suppose 0 = 5*a - 5*k - 45, -5*a + 2*k + 63 = 9. Solve 4*n - 32 + a = 0 for n.
5
Suppose 0 = 3*d - 8*d + 35. Suppose 5*h = 3*n - 15, n + 5*h - 6 = d*h. Suppose n = 5*q + 25 - 125. Solve 0*b = 5*b - q for b.
4
Let g be (-3 + 7)*2/4. Let l(b) = -b**3 - b**2 + 2*b + 2. Let y be l(-3). Suppose -9*d - 5 = -y*d. Solve -g*q + d = 7 for q.
-3
Let c = 38 + 5. Solve 3*w + c = 34 for w.
-3
Let j be ((-49)/(-7) - 7)/(-2). Solve b - 5 = -j for b.
5
Let x(i) = -i**3 - 19*i**2 - 34*i + 3. Let g be x(