-5 = j*v - v for v.
-5
Let a(h) = 5*h - 5. Let b be a(2). Solve -2 + b = -t for t.
-3
Let j(v) = -2*v**3 - 2*v**2 - v. Let h be j(-2). Suppose 2*z - 6*z = 0. Suppose m + z*m = 4. Solve -m*i + h = -10 for i.
5
Let l = 17 - 20. Let g(t) = t**2 - 2*t + 2. Let r be g(3). Let v = l + r. Solve 0 = v*i - 3*i for i.
0
Suppose -g + 3*j - 13 = 0, 5*j + 14 = g + 37. Solve -2*u + g = -0*u for u.
1
Let m(r) = r - 5. Let n be 1 + 1 + -1 + 6. Let a be m(n). Let u be (-9)/(-4) + 7/(-28). Solve a*z = -10 + u for z.
-4
Suppose -7*h + 9*h - 4 = 0. Suppose -h*o + 0*s - 4*s = -14, 3*o + 4*s = 29. Solve o = -4*r + 3 for r.
-3
Let o(c) = -3*c + 31*c**2 + 2*c - 5*c**2 + 0*c. Let q be o(1). Solve -q = 4*h + h for h.
-5
Suppose 0 = -t - 2*k - 3*k + 10, 4*k = 4*t + 8. Solve t*h - 4 = -h for h.
4
Let q = 3 - 4. Let k = 10 - 5. Let f = q + k. Solve 9*y = f*y + 5 for y.
1
Let b = -8 - -11. Solve -b*i = i for i.
0
Suppose -5*k - 2 = -3*k. Let n = k - -1. Solve -3*x - 3 = -n for x.
-1
Let r = 0 + -1. Suppose -4 = -c - 1, 4*c = 2*a + 14. Let n be a*(-1 - -5)*r. Solve -1 - 3 = n*d for d.
-1
Let j be (-4)/2 - (-9 + 39). Let v be 8/36 + j/(-18). Solve 2*x - x = -v for x.
-2
Suppose -2*j + 0*j = -30. Let a be (0 + 1)*j + -3. Suppose 3*y = 12 + a. Solve c + c = -y for c.
-4
Suppose 21 - 5 = 4*u. Let v be (-45)/(-6) - (-2)/u. Solve 2*m = -2*m - v for m.
-2
Suppose 2*u - n - n = 6, 15 = 5*u + n. Solve -19 = u*c - 4 for c.
-5
Let z be (-1)/((-8)/(-28))*-2. Solve -23 = -4*s - z for s.
4
Suppose -5 - 1 = -m. Suppose 2 = 4*q + 3*u - 3, -6 = -4*q - 2*u. Solve -d + m = q*d for d.
2
Let g(u) = u**2 + 2*u - 3. Let y be g(2). Suppose 0 = -3*v - 6, -y*b + 20 = -2*v - 4. Solve -b*o + 7*o + 9 = 0 for o.
-3
Suppose 0 = 3*i - 7*i + 16. Suppose -4*r - i = -12. Let g be (-1)/r*(-2 + -2). Solve 0 = -g*z - 2*z + 12 for z.
3
Suppose 0*o = 3*o + 18. Let v = o - -12. Solve -2*t = -v*t for t.
0
Suppose a + 3*a = 40. Solve 0*c - 2*c + a = 0 for c.
5
Suppose -4*d - 4 = 0, 0 - 6 = -2*n + 4*d. Solve -2*r - 1 = n for r.
-1
Suppose 8 = 5*j - j, 0 = 3*i + 5*j - 25. Let p(m) be the first derivative of -m**3/3 + 5*m**2/2 + 1. Let w be p(i). Solve w = x + 2 + 3 for x.
-5
Let n(s) = -s**2 + 7*s - 6. Let h be n(5). Solve -h*c - 25 = c for c.
-5
Suppose f = -2*f + 5*d, 3*f = 4*d + 3. Let s = f + -1. Solve -s*j = -j - 3 for j.
1
Let d be 12/5 - (-8)/(-20). Let g = 108 - -47. Let i be d/8 - g/(-20). Solve -i = 4*u + 4 for u.
-3
Let a(p) = p**3 + 8*p**2 + 8. Let k be a(-8). Suppose 2*z - 11 = -5*m, 4*m - 2*m - k = z. Suppose -m*q - 2*q + 10 = 0. Solve 16 = 6*d - q*d for d.
4
Suppose -c = 2*f - 3, -3*c + c + 6 = 3*f. Solve f + 1 = t for t.
1
Let o(i) = i**3 + 4*i**2 - 2*i - 4. Let a be o(-5). Let g = a - -22. Solve u + 1 = -g for u.
-4
Suppose k = 2*s + 6, 6*k = 5*k + 3*s + 4. Let l = 3 - k. Let t = l - -11. Solve r - t = -1 for r.
3
Let u be 3/1 - (-5 - -6). Suppose 3*a = -4*p + 12, 3*a - p = 25 + u. Solve -2*c + a = -0*c for c.
4
Let h(x) = x**2 + 3*x + 2. Let k be h(-3). Solve -k*i = 3*i - 5 for i.
1
Let z = 3 - 1. Let d(i) = -i**3 - 4*i**2 + 2. Let u be d(-4). Suppose -3*o = -5*o + u. Solve -o = z*f + 3 for f.
-2
Suppose s + 4*s - 125 = 0. Suppose 3*x = -3, -3*x + 2 = -5*i + s. Solve -i*r = -5 - 11 for r.
4
Let j(f) = -f**2 - 8*f + 3. Suppose -2*i = 2*i. Suppose -2*c - 2 - 14 = i. Let z be j(c). Solve -z*l = -3 - 12 for l.
5
Suppose 0 = -5*a - 4*l, 5*a + 3*l + 4 - 9 = 0. Solve -3*w - 13 + a = 0 for w.
-3
Let g(t) = -2*t - 30. Let v be g(-17). Solve v = -3*s - 5 for s.
-3
Suppose -7*d = -2*d - 2*i - 5, -25 = -5*d - 2*i. Solve -7*h + d*h + 4 = 0 for h.
1
Suppose 3*q + 0*c - 4*c + 13 = 0, 3*c = q + 6. Let z(a) = a + 4. Let o be z(q). Solve o - 3 = v for v.
-2
Let i = -1 + 11. Solve 0*q - i = 2*q for q.
-5
Let k = -6 + 9. Let x be (-2)/(-16) + 241/(-8). Let b be (3/(-5))/(2/x). Solve -b = -k*i - 0*i for i.
3
Let i = -71 + 74. Solve 20 = i*g + 5 for g.
5
Let m be (-5)/((-5)/3) - 1. Let y = m - 2. Solve 0 = 2*a - y*a - 4 for a.
2
Let g = -1 - -9. Solve -3*c + g*c - 5 = 0 for c.
1
Let q be 14/4 + (-1)/2. Suppose -3*m = -4*m + q. Solve 0 = 2*f - m*f for f.
0
Let i be 35/4 + 2/8. Let w(j) = 6*j**3 - j**2 + 1. Let o be w(1). Let g(l) = l**2 - 3*l - 1. Let z be g(4). Solve -o - i = z*b for b.
-5
Let n be (-8)/(-20) - (-14)/(-10). Let x be (n*1)/(3/(-15)). Solve 0 = -x*o + 8 - 28 for o.
-4
Suppose 4*i + 5*r + 930 = 8*i, 3*r = i - 236. Let v be 4/18 - i/(-18). Suppose 0 = -0*n - 5*n + 20. Solve n*q + 1 = v for q.
3
Let y(x) be the second derivative of x**5/20 - x**4/2 - 4*x**3/3 + 5*x**2/2 + 2*x. Let v be y(7). Let j be (-21)/(-9) + v/6. Solve -j*z - 3*z - 20 = 0 for z.
-4
Suppose -2*b = -5*i - 2, b - 1 = 2*i - 0*i. Let o = b + 2. Let r be 3/9 - (-5)/o. Solve -r*x = x for x.
0
Let l be (-2*3)/(1/(-1)). Suppose 4*s + 3*c - 20 = 0, -s + c = 2*s - 2. Suppose j - l = -s. Solve -j*m + 3*m - 3 = 0 for m.
-3
Suppose 10*g = 71 + 99. Solve -5*l + 3 = -g for l.
4
Let n(k) = -3*k**2 + 4*k. Let a(q) = 2*q**2 - 2*q. Let r be 102/30 - 2/5. Let i(o) = r*n(o) + 5*a(o). Let b be i(-2). Solve f = -b*f + 3 for f.
3
Let j(c) = -c**2 - 5*c - 2. Let f be j(-3). Solve 3 = -f*s - 1 for s.
-1
Let f = 2 - -2. Solve -j - f = -2 for j.
-2
Suppose j = 4*j + 15. Let c = -1 + j. Let f(m) = m**2 + 5*m + 7. Let s be f(c). Solve 0 = 5*h - 12 - s for h.
5
Let x be (-3)/(-3) + (5 - 2). Solve -u + x*u = 0 for u.
0
Let b(t) = -2*t**2 - 19*t + 12. Let i be b(-10). Solve i = -2*m + 3*m for m.
2
Suppose 0*t - 5*t - 20 = 0. Let u = t + 4. Solve u = 4*h - 3 - 5 for h.
2
Let r(q) = -10*q + 62. Let g be r(6). Solve g = -o + 5 for o.
3
Let s = 9 + -6. Suppose -4*g = s*y - 16 + 4, 0 = -5*y. Let b(t) = t**3 - 3*t**2 + t - 3. Let r be b(g). Solve r = -2*c - 0*c + 6 for c.
3
Let f(p) be the third derivative of 0*p + 5/24*p**4 - 1/3*p**3 - 1/15*p**5 + 1/120*p**6 + 2*p**2 + 0. Let b be f(3). Solve -6 = z - b*z for z.
2
Let h(v) = -v**3 - v**2 - v + 4. Let r be h(0). Suppose 3*c = -2*p + 2, -r*c - p - 5 = -1. Let b be ((-3)/c - 2)*-12. Solve 14 - b = 2*l for l.
4
Let s(l) = -2*l**3 - 2*l**2 - 4*l - 5. Let g be s(-2). Solve 1 = 4*i - g for i.
3
Let f(u) = u**2 + 2. Let p be f(0). Solve 5*b - p - 3 = 0 for b.
1
Let h = 5 + -9. Let z be 0/h*(-2)/(-4). Let i(y) = y**3 + 5. Let b be i(z). Solve -4 = 3*x + b for x.
-3
Let a(j) = j**3 - 11*j**2 + 4*j + 2. Let y be a(11). Let m be (y/(-8))/(1/(-4)). Solve 5*p + 2 = -m for p.
-5
Let q = 75 + -70. Solve 0*v - q*v - 15 = 0 for v.
-3
Let a be 37/7 + 10/(-35). Suppose -5*d + 110 = -5*h, 0 = 4*d - d - a*h - 70. Solve 2*w + 3*w = -d for w.
-4
Let a(x) = -x**2 - 7*x. Let g be a(-7). Let o = -7 + 11. Solve g = 2*h - o*h - 6 for h.
-3
Suppose -i + 126 = 124. Solve 2*d - 16 = -i*d for d.
4
Suppose -2*d + 10 = 2*x, -5*x + x - d + 20 = 0. Suppose x*n = -h + 2, 0*n = 3*n - h + 2. Let j = n + 3. Solve -j*w + 3 = -4*w for w.
-3
Let t be 21/6 - 4/(-8). Solve -8 - 4 = -t*u for u.
3
Let s(c) = -c + 1. Let z(h) = -h + 3 + 3 + 3. Let w be z(12). Let k be s(w). Solve -y - 2 = -k for y.
2
Let c(x) = 4*x**2 - 4. Let o be c(-2). Solve 7*d + o = 4*d for d.
-4
Suppose 5*v = 11 + 14. Let o = -2 + v. Solve o*j - 2 = 1 for j.
1
Suppose 3*g = 2*g - 3*f, 0 = -2*f. Let i = 67 + -67. Solve g*k + 2*k + 10 = i for k.
-5
Suppose -2*y - 8 = -4*y. Solve 0*f - 12 = y*f for f.
-3
Suppose 4*x + 58 + 133 = 5*k, 2*k - 2*x - 76 = 0. Let p = 58 - k. Solve -5*c + 4 = p for c.
-3
Let u be (-2)/(-8) - (-3)/(-12). Let t = -1 - -1. Let a = u + t. Solve -3*g - g = a for g.
0
Suppose 0 = -5*s + 4*s + 5. Let f = s - 2. Solve 6 = -f*z + z for z.
-3
Let w = -8 + 2. Let n(u) = u**3 + 6*u**2 + 3. Let k be n(w). Suppose k*q + 5*r - 5 = 0, -4*q + 5*r = -21 - 9. Solve -7 = -3*y + q for y.
4
Suppose -2*r = 8, 0 = -2*v - r - 65 + 157. Suppose v = -u + 6*u - 4*q, q = 3*u - 26. Suppose -3*g - u = -4*g. Solve -2*c - g = -0*c for c.
-4
Let g = 36 + -34. Solve -h - 15 = g*h for h.
-5
Let t be 1 - (3 - -2) - -4. Solve 3*p + 2 + 4 = t for p.
-2
Suppose 0*m + 6 = 2*m. Let i be 1 + 3 + -7 + 8. Solve i + m = 4*l for l.
2
Suppose -5*n - 4 = -n. Let z be (3/2)/n*-2. Let d = z - 3. Solve -3*m + 10 - 1 = d for m.
3
Let i be (1 - 0)*(10 + -6). Suppose i*b - 28 = -4*x, -29 = -6*x + 3*x - 5*b. Solve 2*d = x*d + 3 for d.
-3
Let p(f) = -2*f**2 + 4*f - 4. Let y be p(3). Let i be (-2 - y/2)*-1. Let v be (-9)/i*(-2)/(