r h.
-2
Suppose -3*u - 11 - 13 = 0. Let k = 13 + u. Solve k*s + 16 - 41 = 0 for s.
5
Let p(v) = 6*v**2 - v - 1. Let z(s) = 7*s**2 - s - 1. Let x(b) = 3*p(b) - 2*z(b). Let f be x(2). Solve -5*n - 3 + f = 0 for n.
2
Suppose -7 = -3*p + 38. Suppose -2*i = -5*x - 33, -x - p = 2*x. Solve 0 = -s - i*s - 10 for s.
-2
Let q = 134 + 26. Let n be ((-6)/(-4))/(12/q). Suppose 3*s + x = -0*x + 2, -4*x - n = -2*s. Solve 2 = s*v - 0 for v.
1
Let n = -3 - -5. Let q(b) = b**3 - 5*b**2 + 10*b - 27. Let d be q(8). Let i = d + -245. Solve i*x + x = -n for x.
-2
Suppose -4*g + 20 = -4*n, -7*g = -9*g + 5*n + 7. Solve -5*c = -26 + g for c.
4
Let v be 465/(-62)*1*(-6)/9. Solve 37 - 27 = v*h for h.
2
Suppose h + n - 21 = -4*h, -5*n - 10 = 2*h. Suppose 0 = h*l + 11 - 6. Let s be (-1 - l)/(13 - 15). Solve -5*u - 15 = -s*u for u.
-3
Suppose 4*r - 2*b - 20 = 0, -b + 2*b = r - 7. Solve 2*o = -o - r for o.
-1
Let n(z) = 3*z + 20. Let l be n(-5). Let i(m) = -m**2 + 11*m - 25. Let r be i(l). Solve r*h - h = 0 for h.
0
Suppose -2*j + 8 = 2. Suppose j*y = 7 + 8. Let x be y/((2 - -1) + -2). Solve o - x*o - 8 = 0 for o.
-2
Let x(s) = s**3 + 6*s**2 + s + 7. Let p be x(-6). Suppose 3*y = y - 3*m + 3, 5*y - p = -m. Solve 3*u = -y*u + 9 for u.
3
Suppose 45 = 5*k - 3*d, 9*k - 4*k - d - 35 = 0. Suppose -k*i = -i - 35. Let z(h) = -4*h**3 + 13*h**2 - 6*h + 14. Let n be z(3). Solve 8 = n*o - i for o.
3
Let x(f) = -5*f + 145. Let g be x(29). Solve -9*p = -g*p + 45 for p.
-5
Let r be (2 + 3 + -4)/1. Let i be (-2)/(0 - r/2). Suppose i*j = 13 + 7. Solve -3*k = 1 + j for k.
-2
Suppose -19*n + 5*n = -42. Solve 5*g - n = 2*g for g.
1
Suppose 2*z - 52 + 16 = 0. Solve -z*g = -15*g - 15 for g.
5
Let j = -24 + 74. Let u = 72 - j. Solve 0 = -4*d + u - 6 for d.
4
Let k(s) = -13*s**2 + 55*s + 3. Let a be k(4). Solve 10*i + a = -15 for i.
-3
Let a(m) = m**2 - 10*m + 11. Let l be a(9). Let x(n) = n**3 - 7*n**2 + 4*n + 4. Let i be x(6). Let s be (-12)/i*50/3. Solve -7*t - s = -l*t for t.
-5
Suppose -4*b - 10*b + 56 = 0. Let i be (-3)/(3/b) + (-8 - -12). Solve 0 = -3*x - i*x for x.
0
Let d(v) = -17*v**2 - 82*v + 16. Let k be d(-5). Solve -2*f + 3 = -k for f.
2
Suppose 32*w + 10 = 33*w. Let l = -18 - -32. Suppose 0 = 19*h - l*h - w. Solve k + h + 1 = 0 for k.
-3
Let s(d) = d**2 - 29*d + 216. Let j be s(14). Let h be 3 - (1 + 1 + -2). Solve h*u + 0 = -j for u.
-2
Let z be 40 + -11 + 3 + -11. Solve 14*p - 7*p = z for p.
3
Let o(j) be the second derivative of j**5/20 + 5*j**4/4 + 5*j**3/2 + 19*j**2/2 + 9*j. Let h be o(-14). Solve 4*x + h = -x for x.
-1
Suppose 5*q + 4*x - 33 = 0, 2*q - 8 - 4 = -x. Suppose -5*j + 71 + 44 = q*d, j + 2*d = 26. Let w = -5 - -5. Solve y + 3*y - j = w for y.
5
Suppose 0 = -0*x + 5*x - 10. Suppose -2*h + 5*i = -0*h - 38, -5*i = 3*h - 32. Let u = -10 + h. Solve -u = x*z - 14 for z.
5
Let s(t) = -t + 7. Let n be s(4). Solve n*d - 12 + 9 = 0 for d.
1
Let f be -10 + 23 + 7 + 0. Solve -3*l - f = -8*l for l.
4
Suppose 5*d - 3*m - m - 34 = 0, 4*d + 2*m = 22. Solve 0 = -4*q - d - 2 for q.
-2
Suppose 0 = -k + 4*p - 2, -p = 36*k - 40*k + 7. Solve 2*t - 2 = -k for t.
0
Let p = 30 - 28. Suppose s + 4 = p*d - 7, s + 23 = 5*d. Let l be -2 - 1*2*-2. Solve 2*n - d*n + l = 0 for n.
1
Let a(m) = -7*m**2 - 11*m + 72. Let h(p) = 4*p**2 + 5*p - 36. Let u(g) = 3*a(g) + 5*h(g). Let f be u(-11). Solve 0 = 2*o + 1 - f for o.
1
Let d be -1*(6/24 - 1/4). Solve -5*t + 10 = -d*t for t.
2
Let i(y) = y**3 + 17*y**2 - 61*y - 19. Let j be i(-20). Solve -5*b + 4 = -j for b.
1
Let k be ((-80)/60)/((-1)/96). Suppose 5*u + 11*u - k = 0. Solve u = -0*j - 2*j for j.
-4
Suppose 3*v - 21 + 9 = 0. Suppose -2*a + 29 = 3*a + v*l, -2*a + 14 = l. Solve 0 = -a*f + 4*f for f.
0
Suppose 4*i = 4*v - 76, 2*i + 3*i = 4*v - 79. Suppose d = -3*d + v. Solve -2*y + 0*y + d = 0 for y.
2
Let n = -13 + 17. Let o be n/5 - 44/55. Solve -6*m + m + 10 = o for m.
2
Suppose 7*k + 608 = 4*g + 2*k, 2*k = 5*g - 777. Let z = g + -147. Solve 4*r = 2*r + z for r.
5
Let i be 32/160 + -1 + (-4)/(-5). Solve -4 + i = -r for r.
4
Let s = -31 - -39. Let t be 3 + 3/((-15)/35) - -8. Solve -t*u = s - 0 for u.
-2
Suppose 4*j + 0*j + 36 = 0. Let w = 32 + j. Solve -w - 2 = -5*a for a.
5
Let t be 2/4 - 13/26. Solve t = i - 5*i + 20 for i.
5
Let k(x) = 2*x**2 - 10*x + 14. Let i be k(2). Let u(r) be the first derivative of -5*r**2/2 + r + 2. Let l be u(-1). Solve -l = o - i for o.
-4
Let a be ((-680)/(-16) - -7) + (-6)/12. Solve 15 = a*m - 54*m for m.
-3
Suppose 295 = -3*r - 95. Let c = r + 131. Solve c = -k - 4 for k.
-5
Suppose m + 5*u = -20, -1 - 15 = 4*u. Suppose m = -3*p + 14 - 2. Let c = 11 - p. Solve -4*q + 5 = -c for q.
3
Let r = -5 - -11. Let s = -3 + r. Suppose 5*v - 8 = -s*l, -5*v + 0*l = -5*l - 40. Solve n - v*n = -15 for n.
5
Let l(c) be the first derivative of -c**3/3 + 5*c**2 - 12*c + 18. Let w be l(8). Solve -w*k - 4 = -6*k for k.
2
Let k be ((-3)/2)/((-6)/16). Let z = -31231 + 31235. Solve z*b = k + 8 for b.
3
Let c(z) = -z - 1. Let w be c(-5). Let u(n) = -n**3 + 3*n**2 + 3*n + 3. Let x be u(w). Let s be 6 + x - (-1 + 3). Solve s*f + 1 + 8 = 0 for f.
-3
Let m = 2519 + -2511. Solve m = 21*b - 13*b for b.
1
Let b = 657 - 654. Solve 3 - b = -10*n for n.
0
Suppose -6*d - 15*d = 0. Solve -5*n + 1 + 4 = d for n.
1
Let u(l) = 12*l - 70. Let b be u(6). Solve b*v - 5 = 3 for v.
4
Let h be -66 + 4/8*-4. Let g = -66 - h. Solve g*n + 0 = -8 for n.
-4
Let n = 1 - 2. Let l(a) be the second derivative of -a**3/2 + 3*a**2/2 + 335*a. Let s be l(n). Solve -4*k - s = -2*k for k.
-3
Let w(g) = -2*g**3 + 29*g**2 - 15*g + 18. Let r be w(14). Solve -2 = r*q + 10 for q.
-3
Suppose -5*a = b - 3, -8*a + 3*a + 12 = 4*b. Let l = 72 - 71. Solve b*i + l = -11 for i.
-4
Let w = -150 + 186. Solve 7*o = -2*o + w for o.
4
Let i = 862 + -843. Suppose 3*x - 11 = 28. Let o = i - x. Solve 0 = -o*p + 2*p for p.
0
Let a(l) be the first derivative of 3*l**2/2 - 13*l - 3. Let h(t) = t - 4. Let g be h(9). Let j be a(g). Solve j*k - 1 = k for k.
1
Let b = 163 + -146. Solve -b - 3 = 5*m for m.
-4
Let u(a) = 2*a + 10. Let h be u(-5). Suppose h = -4*p - 141 + 149. Solve -3*m = p*m - 5 for m.
1
Let v(r) = -r**3 - 7*r**2 + 6*r - 14. Let c be v(-8). Let n be 1/(c - (-44)/(-24)). Solve -n*p = -p for p.
0
Let c be 3/(-9)*1*-165*1. Let k = -52 + c. Solve 0*d + 12 = k*d for d.
4
Let p(t) = 26*t**2 + 8*t + 6. Let a be p(-1). Solve 6 = -6*h + a for h.
3
Let z(o) = -o**2 - 11*o - 13. Let u be z(-9). Suppose u*s - 18 = 12. Solve f = s*f for f.
0
Let k(z) = z**2 + 16*z - 24. Let s be k(-18). Let n = 11 - s. Let g be (n - -1)/(-4 - -8). Solve -h - 5 + g = 0 for h.
-5
Let j = 29 + -29. Let a be (j - 6/6)/(1/(-4)). Solve 2*q - q - a = 0 for q.
4
Suppose 4*k + 7 = 3*x, 9 = -0*k - 3*k + 3*x. Suppose -9*m + 13 - 4 = 0. Let i be 17/2 - m/k. Solve -2 - i = -2*h for h.
5
Let d(z) = -z**3 - 27*z**2 + 26*z - 54. Let t be d(-28). Solve -1 = -t*q + 1 for q.
1
Suppose -5*t = -3*t - 58. Solve -5*r = t - 4 for r.
-5
Suppose 24*x - 5*x = 0. Solve x = -40*k + 37*k + 12 for k.
4
Let h(k) = k**3 - 10*k**2 - 11*k - 15. Let l be h(11). Let w be -2 - (l/4 - 1/4). Solve -w*z - 3 = -5 for z.
1
Let u = -28 + 32. Suppose -35 - 1 = -u*b. Solve 0 = -7*o + 4*o + b for o.
3
Let y = -57 + 72. Solve y = -o + 6*o for o.
3
Suppose 0 = 2*v - x - 15, -x - 4*x = -5. Solve v*m - 30 - 10 = 0 for m.
5
Let n = 2 + 2. Suppose 0 = -2*c - 4*s + 12, -s = -5*c + 82 + 3. Suppose -24 = -5*i - l - 2*l, -4*i + c = 4*l. Solve -i*g = -n*g for g.
0
Let t = 632 - 622. Solve -2*b = 8*b - t for b.
1
Let c(h) = h**2 - 13*h + 38. Let l be c(7). Let j(q) = -4*q - 11. Let u be j(l). Solve -u = -2*n + 3 for n.
4
Suppose -m + 25 = 13. Solve -m = 106*l - 102*l for l.
-3
Let l(r) = 22*r - 123. Let i be l(6). Solve -3*h - 3 = -i for h.
2
Let x be (1/(-1))/(2/6). Let b be 8/24 - 11/x. Suppose 0 = b*z + 8, 3*i - z = 6 + 2. Solve -i*j = j - 3 for j.
1
Let l = 3 - 3. Let s = -195 + 195. Solve s = -l*p + 3*p + 6 for p.
-2
Let z = -4 + 9. Let s = -145 + 142. Let b(q) = 2*q**3 + 7*q**2 + 2*q - 2. Let f be b(s). Solve -2*l = -f - z for l.
3
Let n(i) = 3*i + 53. Let s be n(-17). Suppose 0 = 21*k - 22*k + s. Solve k = -a - a for a.
-1
Suppose 4*j + 9 = -71. Let d = 23 + j. Solve 0 = -5*o + d + 12 for o.
3
Let y(w) = -23*w - 22. Let m be y(-2). Let l(q) = 3*q**2 + 3*q + 1. Let v 