0. Solve i = 5*i - h for i.
1
Suppose 4*t - u = -4 + 12, t = 4*u + 2. Suppose 0 = 2*r + t - 6. Suppose -x = -r, 2*v + 4*x = -0*v + 12. Solve 0 = v*c - c for c.
0
Let p(x) = 5*x - 22. Let h be p(-8). Let c = 64 + h. Solve 2*k + 0 = c for k.
1
Let n(y) = 5*y**2 + 55*y + 106. Let s be n(-9). Solve -s*v + 13*v = -6 for v.
2
Let o(h) = -2*h**3 - 8*h**2 - h - 3. Let l = 79 - 83. Let a be o(l). Solve -a = -m - 4 for m.
-3
Let m be (-3 - -4)*5 - 8/4. Solve -4*q + q + m = 0 for q.
1
Suppose -x + j - 5*j - 32 = 0, j + 53 = -4*x. Let k(t) = -t - 8. Let u be k(x). Solve -2*i - 6 = -u*i for i.
3
Let y be (-4)/(-10) - 18/(-5). Suppose -6 = -y*l + 6. Let m(r) = r**3 + 27*r**2 - 66*r - 2900. Let o be m(-25). Solve o = l*p - 0*p for p.
0
Let a = -38 - -10. Let j(w) = -5*w - 7. Let p be j(-8). Let t = a + p. Solve -3*r = 11 - t for r.
-2
Let v(s) = 2*s + 3. Let i be v(6). Solve 10*p - 15 - i = 0 for p.
3
Let n = -123 + 123. Solve n = 13*o - 81 + 16 for o.
5
Let k(s) = -3*s**2 - s - 32. Let h(j) = 7*j**2 + 2*j + 65. Let v(r) = -2*h(r) - 5*k(r). Let q be v(0). Suppose 0 = -p + 6*p. Solve 4*u - q + 10 = p for u.
5
Let w(i) be the second derivative of -i**5/20 + 2*i**4/3 - 7*i**3/6 + 2*i**2 - 4*i. Let l be w(7). Solve l*j + 9 = j for j.
-3
Let l(w) = -w**3. Let r(n) = 5*n**3 + 3*n**2 - 2*n + 5. Let t(k) = -4*l(k) - r(k). Let c be t(-4). Solve -c = -4*d + 9 for d.
3
Let z be 87*4/27 + 11/99. Solve -3*o = -z*o + 50 for o.
5
Let b = -6 - -14. Suppose -b = -3*n - n. Solve 0*w = n*w for w.
0
Let v be (42/504)/((-2)/(-9))*8. Solve 8*y - v*y = -5 for y.
-1
Let o(v) = 8*v + 10. Let n be o(-2). Let z(x) = -2*x**2 - 15*x - 16. Let l be z(n). Solve 0*s + 8 = -l*s for s.
-4
Let c be ((-8)/12)/((-3)/18). Let d = 6 - c. Suppose 4*k = 5*z - 2, 4*z + d = -0*z + 5*k. Solve -2*j + 3*j = -z for j.
-2
Let d = -321 + 840. Solve d = -u + 521 for u.
2
Let i(v) = v - 7. Suppose 0*p + 20 = 5*p. Let z(b) = -b**3 + 3*b**2 + 8*b - 5. Let q be z(p). Let d be i(q). Solve d = 6*a - 2*a for a.
1
Let i(x) = x + 10. Let m(w) = w - 11. Let o be m(7). Let c be i(o). Solve 6 = -c*t + 9*t for t.
2
Let b = -4 - -2. Let i be -2*3/b - 0/1. Solve k + i*k = 0 for k.
0
Let j = 1519 + -1503. Solve -j*i + 6 = -22*i for i.
-1
Let w be 3/(-3) + 1 + 0. Let j(f) = 14*f. Let h be j(0). Solve w = p - h*p for p.
0
Suppose -3*o - 14 + 21 = -b, -5 = -3*o + 2*b. Solve y + 2 - o = 0 for y.
1
Suppose 5*j + 5*n = 180, -10 = 3*n + 5. Suppose -j = -4*r + 23. Let a = r + -8. Solve 2 + a = 2*w for w.
5
Suppose 264 + 128 = 28*v. Solve v - 2 = 6*h for h.
2
Suppose 0 = -7*f - 37 + 646. Let v = 102 - f. Solve 7*s - 2*s = -v for s.
-3
Let x be (0 - -5)*6/10. Let r(d) = d**3 - 3*d**2 + 3*d - 4. Let a be r(x). Suppose 9 = 5*o - 1. Solve -a*n + o = -3 for n.
1
Suppose 1 = -3*f + 7. Let l(a) = 5*a. Let t be l(f). Suppose 2*j = -2*p + 11 + 9, 3*p + t = 5*j. Solve 0 = -7*k + 2*k - j for k.
-1
Suppose -3*k + i + 5 = 0, k - 5 = -i - 2. Solve -o + 3*o = -k for o.
-1
Let r = 47 + -42. Suppose 4*o = -r*m + 14, -3*m + 3*o - 2*o = -5. Solve -5 = m*t - 3 for t.
-1
Let q(a) be the third derivative of a**6/120 - a**5/30 - a**4/24 - a**3/6 - 4*a**2. Let p be q(3). Let r = p - 5. Solve 3*i + 1 + 2 = r for i.
-1
Let h be 35/15 - (15/(-9) + 1). Solve -3*w + 2*w + h = 0 for w.
3
Let n(z) = -z**2 + 8*z + 9. Let m be n(8). Suppose 2*a = -4*q + 22, -2*q + m + 6 = 5*a. Solve -3*c = 4 - a for c.
-1
Let y be 1*8/(-18)*(-9)/2. Let m be 4 + (3 - -6*y/4). Solve -5*f = -10 - m for f.
4
Let d be 9 - (-36 + (1 - -6)). Solve -40*w - 8 = -d*w for w.
-4
Let z(k) = 5*k**2 + 2*k + 1. Let f be z(2). Solve 0 = -6*w + f - 49 for w.
-4
Let i(d) = d**3 + 6*d**2 + 2*d + 12. Let t be i(-6). Suppose -58*w + 55*w = t. Let n = 9 + -6. Solve 0*a + n*a = w for a.
0
Suppose -9*q = 198 - 1197. Let n = q - 108. Suppose -3*c - 24 = -5*l, -36 = -5*l - c - 2*c. Solve -l*x + 3 = -n*x for x.
1
Let o be (18/(-4))/(1/(6/(-3))). Suppose 0 = -l + 5*q - o*q - 10, -5 = q. Solve 2*t = -3*t - l for t.
-2
Let f(m) = 2 - m**3 + 0*m + 22*m**2 + 3*m - 5*m. Let b be f(22). Let t be (24/(-14))/(12/b). Solve -4*u - t = 6 for u.
-3
Let q = 208 - 196. Solve 5*f - f = q for f.
3
Let p = 58 - 53. Let m = p + -3. Solve 4*y = 2*y + m for y.
1
Suppose 3*c + 6*j - 27 = j, 0 = 3*j - 9. Solve -c*s + 0 + 8 = 0 for s.
2
Suppose -25 = -4*q - 5*t, -4*t - 5 = 7. Let d = 15 - q. Let l = 8 + -8. Solve l = d*b - 18 - 7 for b.
5
Let j be 10/(-15)*111/2. Let u = 40 + j. Solve -r + 0 = u for r.
-3
Let f = -150 + 135. Let r be (-54)/(-15) - 6/f. Solve 0 = -0*j + r*j + 12 for j.
-3
Let b be (1*16/2)/(-2). Let g(x) = -x**3 - 2*x**2 + 7*x + 1. Let a be g(b). Solve a*h - 6 = 4 for h.
2
Let v = 37 + -32. Suppose -50 = -3*i + 2*r, -3*i - 5*r + v = -4*i. Solve 0 = -6*s + 2*s - i for s.
-5
Suppose -3*i = -27 + 12. Suppose 2*a + 129 = 7*a - 2*u, 0 = a - i*u - 35. Solve -4*h - a = -9*h for h.
5
Let j(p) = p**2 + 6*p + 2. Let f be j(0). Solve f*u - 5 = -15 for u.
-5
Let w be ((-42)/(-28))/(1/2). Suppose -w*o = -4*o. Suppose -2 = -2*d - x + 3, o = 5*d - x - 2. Solve 3 + d = 4*j for j.
1
Suppose -c - 2*c + 2*l - 18 = 0, -2*c = -5*l + 12. Let t = 269 - 272. Let i be (-8)/c - 2/t. Solve d - 4 + i = 0 for d.
2
Suppose -q - 3*q = -24. Let f = -83 - -80. Let j be -4 - 25/(-5) - f. Solve -j*s = -s - q for s.
2
Suppose 4*w - 84 = 2*g, 0 = 5*w - 4*g - 102 + 3. Let h = -52 + 31. Let v = h + w. Solve 3*n - 5*n - v = 0 for n.
-1
Suppose 2*a - 4*a = -36. Let s = a + -18. Solve m + 3*m - 8 = s for m.
2
Let j = 23 + -5. Suppose -14 = 4*c + j. Let h be c/10*(-14 - -9). Solve -h*u = -28 + 12 for u.
4
Suppose 10*p - 47 - 13 = 0. Suppose 3*n + 2*h + p = 16, 0 = -4*h + 20. Solve n = -f - 2*f for f.
0
Let n(x) = 3*x**2 - 3. Let g be n(4). Let t = 48 - g. Solve -t*f + 6*f - 12 = 0 for f.
4
Let w(y) = 114*y**2 - 7*y + 7. Let j be w(1). Let l = j + -114. Solve l*h = -4*h + 20 for h.
5
Let a = 2008 + -1998. Solve -8*f + a*f - 10 = 0 for f.
5
Let i = 20 + -22. Let c = i + 8. Let r be ((-2)/(-2))/(c/12). Solve -p + 0*p = -r for p.
2
Let a = -577 - -749. Solve 6 = -a*m + 175*m for m.
2
Suppose 5*w = w + 8. Let o be (w/(-3))/(8/12). Let a be (4 + -3)/(o/(-3)). Solve a*z = z for z.
0
Suppose -4*z = -0 - 12. Let o(g) = 6*g - 28. Let a be o(6). Solve z*d = -d - a for d.
-2
Let k(n) = n**2 + 9*n + 16. Let a = -14 - -7. Let h be k(a). Suppose -4*z + 5*f - 5 = -32, 3*z + h*f - 3 = 0. Solve -o + 2 = -z for o.
5
Suppose -45*k - 47 = -92*k. Solve 8*x = -25 + k for x.
-3
Let v(y) = 9*y**3 + y**2 - 3*y + 3. Let m be v(2). Let i = m - 70. Solve -i*u - 2 = -5 for u.
1
Let h(o) = o**2 + 1. Suppose -5*s - 3*f + 29 = -0*s, 2*s - 11 = -f. Let r = s + -2. Let y be h(r). Solve -y + 17 = -3*m for m.
-4
Let t be (2 - 1) + 2 + 36/9. Solve -5*x - 8 - t = 0 for x.
-3
Let b(l) = -1 + 0 - 10*l - 5 + 3. Let v be b(1). Let d = v + 15. Solve -d = -n + 2 for n.
4
Let o = -757 + 784. Solve 9*b + o = -18 for b.
-5
Suppose -3*f = -5 - 4, 5*h - 81 = -2*f. Let m = -17 + h. Let z(k) = -k**3 - k**2. Let a be z(m). Solve 7*g = a*g for g.
0
Suppose -6*w + 2*f + 66 = -4*w, 5*w + 5*f = 115. Let c = w + -24. Let d = -10 + 16. Solve -v + c*v = d for v.
2
Suppose -3*c + 2*t - 50 = 0, -t - 4*t - 46 = 2*c. Let a be (-114)/c + (-2)/6. Solve -2*j + a + 2 = 0 for j.
4
Suppose 5*d + 5*m + 40 = -0*d, -2*m + 2 = -4*d. Let i = d + 3. Solve x = -i*x for x.
0
Let i be (-1 - -11)*4/8. Suppose -i*p + 0*p = -10. Let u be -4 + -1 + p - -15. Solve 0 = 2*v + 2*v + u for v.
-3
Let z(u) = -u**2 - 10*u - 15. Let s be z(-3). Solve 0 = -4*j - 10 - s for j.
-4
Let c = 34 - 32. Suppose -r - 4*f = -8 + 32, -27 = c*r + f. Let y = r - -15. Solve -u = y*u - 8 for u.
2
Let k(s) = 4*s + 26. Let a be k(-8). Let f be a/(-21) + 160/28 + -4. Solve -5*i = -f*i + 3 for i.
-1
Let h(k) = k**3 - 2*k + 4. Let p be h(0). Suppose 0 = 4*j + t - 7, -5*t - 13 = p*j - 0*j. Solve j = -q + 4*q for q.
1
Suppose -4*g + 4*l + 8 = 0, 2*g = g - l + 8. Suppose m = g*r + 4, m + 2 = -2*r + 6. Solve -y = -r*y - 2 for y.
2
Suppose -10*k = -2*q - 5*k + 35, -k = -3*q + 33. Suppose 14*s = q*s + 32. Solve -5*g = -s - 12 for g.
4
Suppose 72*s - 74*s + 4 = 0. Suppose -5*f + 25 = 3*w, 24 - 4 = -2*w + 4*f. Solve w = -g + s for g.
2
Suppose 232 - 16 = 4*c. Let w(f) = -f**2 - 4*f - 5. Let a be w(-5). Let j be a/25 - c/(-10). Solve -j = 2*l - 1 for l.
-2
Suppose 0 = -6*q