olve -v = h - 0*h for h.
-1
Suppose 0 = -19*y + 191 + 189. Solve 7*b + y = -1 for b.
-3
Suppose -9 = -z + 3*f, -z + 10 + 9 = 2*f. Solve z = -5*v - 0 for v.
-3
Let n be 32 + -2 + (8 - 4). Let q = n + -30. Solve -2*a + 0*a = q for a.
-2
Let k(v) = -11*v - 1. Let q be k(1). Let m = q + 12. Suppose -u = w, -5*w + 0*u + 3*u = m. Solve 3*l - 1 - 5 = w for l.
2
Let i = -140 + 154. Suppose -7 - i = -q. Solve 4*a - q = -1 for a.
5
Suppose 78*b - 82*b = 0. Solve -2*t + b = 6 for t.
-3
Let a(x) = 26*x - 90. Let z be a(7). Solve 3*h = z - 80 for h.
4
Let p = 211 - 211. Solve p = -3*r + r + 10 for r.
5
Let j be (-1 - 3) + (197 - (-12 + 8)). Solve 187 = -5*a + j for a.
2
Let g = -133 - -200. Let y = g - 59. Solve -t - t - y = 0 for t.
-4
Let b be (-15)/(((-12)/8)/1). Suppose 24*z - b = 23*z. Solve 7*h + z = 2*h for h.
-2
Suppose -y = -0*y - 4. Let k be (y - -8)/(3 - 2). Solve 3*m - k = 7*m for m.
-3
Let a = -43 - -47. Let p be (15/6)/(1 - a/8). Solve 0 = -0*h - p*h - 5 for h.
-1
Let o(l) = -l**2 - 18*l - 29. Let y be o(-16). Suppose -v = y*v - 4*c + 16, -c + 9 = 4*v. Solve v = -2*f + 3 for f.
1
Let r = -14 + 17. Suppose b - r*i + 7 = 3*b, 4*i = -5*b + 14. Solve 3 - b = h for h.
1
Suppose -34 = -7*p - 27*p. Solve -p + 1 = 6*x for x.
0
Suppose -3*j - 6 = 0, 0 = -c - 2*j + 4 - 5. Solve c*x + 2*x = -20 for x.
-4
Let y(z) = 3*z**2 - 7*z - 5. Let f be y(4). Suppose -4*j + 4*l = l - 20, 0 = 3*j + l - f. Solve j*i + 4 = -11 for i.
-3
Let k = 38 - 28. Suppose 2*i = 5*i - 9. Suppose y - 2*h = 0, 0*h + i*h = 2*y - 3. Solve -y*l = -l - k for l.
2
Let i be (-8)/(-64)*6*4. Solve 5*a = -2 - i for a.
-1
Suppose 29*w - 34*w = -3*o + 73, 0 = -o + 5*w + 21. Solve -o*d + 21*d = -25 for d.
5
Let b(q) = -q**3 - 11*q**2 + 2*q - 1. Let r be b(-11). Let v = 27 + r. Suppose 5*u + 18 = 4*s, v*s - 2*u = 2*u + 16. Solve 1 = -s*f - 1 for f.
-1
Let k = 169 + -144. Solve u - 6*u - k = 0 for u.
-5
Let c(q) = -2*q**3 - 19*q**2 - 17*q + 3. Let y be c(-8). Let n = y - -53. Solve -4*r + n*r - 20 = 0 for r.
-5
Let t(s) = -s**2 - 9*s - 14. Let l = -9 + 2. Let q be t(l). Solve q = 7*j - 2*j + 10 for j.
-2
Suppose -2*o = -8*o + 12. Solve -3 = -3*s + o*s for s.
3
Let u be 5 - (2 + (-1 - 1)). Let r be 36/(-28) - 4/(-14). Let k(p) = -26*p**3 - 2*p**2 - 2*p - 1. Let g be k(r). Solve u*o = -0*o + g for o.
5
Let b = 148 - 143. Solve -b*a - 2*a = 0 for a.
0
Let x(t) = t**3 + 3*t**2 - 6*t - 5. Let q be x(-4). Suppose s - q*s = 0. Let f be 6/6 - (-2 - s). Solve -2*r - 5 = f*r for r.
-1
Let j(a) = -a**3 - 12*a**2 + 20*a + 31. Let g be j(-13). Let y = g - -65. Let q = -5 + 8. Solve -y*f + q = -17 for f.
4
Suppose -8 = -3*v - s, -3*v - 1 = 5*s - 5. Solve 0 = v*h + 5*h - 40 for h.
5
Let t(q) = -q**3 - 6*q**2 + 6*q - 5. Let l be t(-7). Let w be ((-105)/28)/15*0. Solve w = l*v + 2*v - 16 for v.
4
Let k(g) = g + 31. Let x be k(0). Let c = -16 + x. Solve r - 4*r + c = 0 for r.
5
Suppose -3*g - 35 = -c - 3*c, -3 = -g. Suppose s = 2*y - 2*s + 6, -2*s + c = y. Solve -o + 4 = y for o.
1
Let n be 0/(-1)*(0 + -1). Let x(w) = -3*w**2 + w + 15. Let j be x(0). Let z be 2/(-4)*-4 - -1. Solve 8*o - z*o - j = n for o.
3
Suppose -6*q = -q + 50. Let b be (-6)/14 - (-584)/56. Let o = b + q. Solve 2*d - 8 + 0 = o for d.
4
Let m(o) = -o**2. Let i(s) = 20*s + 1 - 10 + 25 + 5*s**2. Let p(n) = -i(n) - 4*m(n). Let h be p(-18). Solve 2*l + h = -2*l for l.
-5
Suppose -4*u + 0*u = -5*j - 11, -42 = -3*u - 3*j. Suppose 17*k - u*k = 0. Solve k = -3*m - 2*m + 15 for m.
3
Let h(d) = -d - 4. Let b be h(-3). Let u be ((-10)/(-4))/(b/(-4)). Solve u = -3*p - 2 for p.
-4
Suppose -4*d + 5*q + 94 = 49, -d - q = -9. Solve 0 = 2*c + d*c - 24 for c.
2
Suppose -i - 3*i = -5*g + 537, 2*i - g + 273 = 0. Let v = 145 + i. Solve -v = 4*c + 9 for c.
-4
Let s(c) = -13*c + 4. Let v be s(0). Suppose -4*b = 5*f - 45, -f + 26 = 3*b - 5*f. Solve -v*a + b = a for a.
2
Let x(q) = q**3 + 5*q**2 - 7*q - 2. Let m be x(-6). Let f be 0*(2/(-2) - -2). Let l = 16219 - 16211. Solve m*y + f = -l for y.
-2
Let l(d) = d**2 + 5*d - 10. Let z be l(-7). Let q = 27 + -24. Suppose 5*c - 47 = -4*t, 0*c + q*t + 5 = 2*c. Solve -z*b + 5 = -c for b.
3
Let b be -1*((2 - 10) + -1 + -4). Solve 3*h = -b + 4 for h.
-3
Let t(w) = -w**2 + 13*w - 1. Let x be t(13). Let f be (-1 + 0)/(x/5). Suppose -5 = -f*h - 3*v, 4*h = -2*v + 5 - 1. Solve 1 = 2*c - h for c.
1
Let v be 0 + 120/(-14) - 4/(-7). Let z(k) be the third derivative of -k**5/60 - 3*k**4/8 - 7*k**3/6 + k**2. Let b be z(v). Solve -f = 1 + b for f.
-2
Let w(h) = -h**3 + 3*h - 1. Let y be w(-3). Let r = -17 + y. Solve r = z - 4*z - 12 for z.
-4
Let m = -164 + 169. Solve -3 + m = -2*z for z.
-1
Let q be (-4)/18 + (-47)/(-9). Suppose -4*p - 2*c + 9 = -1, 0 = -q*c + 5. Suppose -f + p*f + 3*d = 0, -d - 13 = -4*f. Solve -f = -5*b + 2 for b.
1
Let f(b) = b**2 - 3*b - 3. Let m be f(4). Suppose 5*y + 14 - 1 = g, y = 2*g + m. Let t = y - -8. Solve -t*u - 32 = -12 for u.
-4
Let h be -2*(-22)/12*3. Solve 10*y + h = -29 for y.
-4
Suppose 5*m - 20 = 2*i, 2*i = -6*m + 3*m - 4. Solve 8*k = m*k - 24 for k.
-4
Suppose -2*i + 0*i + 3*b + 19 = 0, -2*i + 24 = -4*b. Suppose -8 = i*l - 3*l. Solve -4 = 4*n + l for n.
-3
Let f(v) = -32*v - 320. Let l be f(-10). Suppose 0 = -3*k - k + 4. Let p be (4/k)/2 + 2. Solve l = -y - y + p for y.
2
Let v = -2327 - -2351. Solve -27*i = -v*i - 3 for i.
1
Let d be 189/12 + 27/(-36). Solve -a = 18 - d for a.
-3
Suppose 3*u = -2*u + 125. Suppose 11 = 4*v - u. Let w be (-10)/4 + (-10 - (-513)/18). Solve v + w = -5*i for i.
-5
Let z be (-22)/(-55) + (-4)/10. Let b be 1*(2 - z) + 3. Solve b*l = 9*l - 16 for l.
4
Let l = -173 + 175. Solve l = -0*u - 2*u for u.
-1
Suppose -5*s + 4*t + 1 = -38, -5*t = 4*s - 23. Suppose -3*o + s = -5. Solve 4 = -0*d + o*d for d.
1
Let i be (-3)/(-1)*(-6 + 2 + 5). Suppose -i*v = 5*y, -y + 5*y - 3*v = 0. Solve -2*u + y = 6 for u.
-3
Let k = -38 - -43. Suppose -k*u + 16 = -34. Solve 4*w + u = -w for w.
-2
Let m(n) = 27*n**2 - 2*n. Let j be m(1). Suppose -14*c + 9*c = -j. Solve 9*v + 16 = c*v for v.
-4
Let v(q) = q - 6. Let p(j) = -j - 1. Let z(x) = -2*p(x) - v(x). Let d = -10 + 2. Let m be z(d). Solve m = -g - g + 8 for g.
4
Suppose m - a = 20 + 3, -2*a + 14 = m. Suppose 4*w = -m, c - 2*w - 13 = -w. Let y = -6 + c. Solve y + 1 = f for f.
3
Let r(c) = c**3 + 8*c**2 + 4*c - 1. Let p be r(-7). Let m = p + -17. Solve m*q - 8 = q for q.
4
Suppose 3*d - 2*d = 5. Suppose 0*y - 2*q = -4*y + 2, -5*q = d*y + 5. Solve -n + y*n - 5 = 0 for n.
-5
Let l(r) = 2*r**2 + 5*r + 4. Let s be l(-2). Suppose s*x = -x. Solve 0*f - 2*f + 6 = x for f.
3
Let s be (15 + -7)/(2/(-5)). Let u = -19 - s. Let y be 7/(-14)*(-11 - u). Solve -4*b - 10 = y for b.
-4
Suppose 0 = -5*t + 20. Let w be 9 + 1/(-1) - 2. Suppose 20 = 4*f, -4*r + 36 = -f + 21. Solve r*a = -t - w for a.
-2
Suppose 0 = 3*m - 2*m - 6. Suppose -16 - 10 = -5*u - 4*d, 0 = 2*u - 5*d - 17. Suppose -11*o + u*o = -40. Solve 2*q = m*q + o for q.
-2
Let o(j) = -j + 20. Let m(t) = 2*t - 40. Let n(u) = -4*m(u) - 9*o(u). Let b be n(22). Solve 0 = r - b*r + 5 for r.
5
Let w(a) be the first derivative of -7/2*a**2 - 8 + 0*a - 2*a**3 + 1/4*a**4. Let r be w(7). Solve r = 4*l - 0*l for l.
0
Let a(i) = 2*i**3 + 29*i**2 + 12*i - 24. Let j be a(-14). Solve 3*z = 5 + j for z.
3
Suppose 5*v = 3*t - 67, t = 3*v - 4*v - 15. Let k be -4*(v/(-4) + -1). Let i be 6*(-2 + k/(-4)). Solve -13 = -4*x + i for x.
4
Let t be 3/5 - ((-42)/15)/7. Solve -4*g + t = 17 for g.
-4
Let l(j) = -2*j - 5. Let q be l(-7). Let h(a) = 3*a**2 + a. Let v be h(1). Let p be -1 + v - 1/1. Solve -1 = -p*o + q for o.
5
Let y be -5 + (4 - (-3 + 7)). Let f = -14 - y. Let v(d) = -d**2 - 9*d + 2. Let t be v(f). Solve -5*i + 13 + t = 0 for i.
3
Let u = 104 + -90. Suppose -20 = -4*b, 3*k + 5*b - 45 + u = 0. Solve -k*f = f for f.
0
Let w be 1/6 + (-95)/(-6). Suppose -w = 21*b - 23*b. Suppose 4*i = b*i. Solve 2*q + q = i for q.
0
Suppose -19 = -5*r - 11*n + 10*n, -3*r - 3 = -3*n. Solve -3 = 2*i + r for i.
-3
Let t(g) = -11*g + 94. Let o be t(8). Solve -39*f = -41*f + o for f.
3
Let z(n) = -n + 10. Let v be z(6). Suppose -4*y + 0*j + 3 = j, 4*y - 12 = -4*j. Suppose -5*q - 17 = -v*x, y = -3*x + q + q + 11. Solve 8 = -x*d - 1 for d.
-3
Suppose -2*f + 5*t + 14 - 3 = 0, -2*f - t + 5 = 0. Solve -5*w - f = 2 for w.
-1
Suppose 5*a - 6 =