 -5*j = -j + v for j.
-2
Let v(h) = 2*h + 2. Let g be v(5). Solve -4*s + 0 = -g for s.
3
Suppose -2*g + 120 = 6*g. Solve 2*a + g = -a for a.
-5
Let h be 50/(-20)*(-64)/10. Solve -2*m - h = -6*m for m.
4
Let x = 10 - 6. Let m be 10/x*(-24)/(-15). Solve -12 - 8 = m*w for w.
-5
Let c be (-4)/(-6) + 8/6. Suppose 0 = v - 5*s + 16, -5*s + 12 = -c*s. Solve -5*h + 1 = -v for h.
1
Let c(y) = -2*y - 5. Let o = 18 - 21. Let p be c(o). Solve -x = -2*x - p for x.
-1
Suppose -t + 15 = 5. Let o = t + -5. Solve -o = -5*g + 5 for g.
2
Suppose -2*d - 33 = -3*w, -7*d + 4*d - 45 = -3*w. Let b = -6 - d. Solve 2*u = b*u for u.
0
Suppose 3*p = 2*j + 2, -j + 2*j + 3 = 2*p. Let o = 20 - 12. Solve -p*x + o*x - 12 = 0 for x.
3
Let q = -2 - -7. Let k(r) = -2*r**2 + 2*r - 2. Let h be k(5). Let m be (h/15 + 2)*-5. Solve m = q*z - 1 for z.
1
Let u(c) = 3*c + 2. Let a be u(3). Solve -3*y - a = 1 for y.
-4
Let p = 6 - 8. Let l be 1/(p/6)*-1. Solve 0 = l*f - 7*f + 16 for f.
4
Let t(b) = 4*b + 11. Let u be t(-2). Solve 1 = -2*r - u for r.
-2
Let k be -3 - (-2 - (-2 + 11)). Suppose -3*t = -k + 2. Solve 2*o = 6 + t for o.
4
Suppose 4*z + b = -b + 22, -3*z + 3*b + 30 = 0. Let s be 1*(-3 + z - 1). Solve 0 = s*h + 2*h for h.
0
Suppose 7*j - 4*j = 3*t, 0 = -4*j + 12. Solve -t = -4*a - 11 for a.
-2
Let k(h) = -h**2 + 3*h + 11. Let i be k(5). Solve v + i = -0*v for v.
-1
Suppose 0 = -i + 2 + 3. Let r(j) = j**2 - 7. Let m be r(i). Suppose -v + 2*v - 3*a = -2, 0 = 5*v - a - m. Solve 6 - 2 = v*h for h.
1
Suppose -2*c + 3*j + 0*j = -49, 2*j - 54 = -3*c. Suppose 4*w + 2*v - c = 0, -4*w - v = 5 - 29. Solve -w = s - 4 for s.
-3
Let n be 0/(-4 + 3 + 4 + -4). Solve -6*g + 3*g = n for g.
0
Let z be (-1 + -1)/2*-2. Suppose z*a - 4 = a. Suppose -5*f = 4*b - 2*b - 23, f + b = a. Solve 20 = -x + f*x for x.
5
Suppose 0 = -3*s - 5*r + 24, 0 = 4*s + 3*r - 5 - 27. Suppose -2*d + s = 2. Solve -l = -d*l for l.
0
Suppose 0 = -2*g + 1 + 13. Solve 2*l - g*l - 5 = 0 for l.
-1
Suppose 0 = -6*y + y. Let n(u) = -2 + u + u + y + 0. Let w be n(4). Solve -w = 4*x + 6 for x.
-3
Suppose -x = x - 4. Let w = x + 3. Let h(y) = y**2 - 4*y - 2. Let a be h(w). Solve t = a - 5 for t.
-2
Let a be (4/16)/(1/8). Solve 3 = t - a*t for t.
-3
Let u = -27 + 16. Let q(l) = l**3 + 11*l**2 - 3*l - 13. Let d be q(u). Solve d = 6*p - 2*p for p.
5
Suppose -4*r + 9*r + 2*b - 32 = 0, 2*b = -4*r + 24. Solve -4*p + r = -12 for p.
5
Let b(o) = 23*o**2 - 2 + 14*o**2 + 1. Let y be b(1). Suppose -4*p + 3*q + 2*q + y = 0, -3*p - 2*q = -4. Solve 0 = p*v + 9 - 25 for v.
4
Let t be (6/(-12))/(1/(-10)). Suppose -5 - 5 = -c. Solve -t*u + 3*u + c = 0 for u.
5
Let o be ((-12)/15)/(2/(-35)). Let w = 2 + o. Solve w = -4*u + 4 for u.
-3
Let q be 1/(0 - 2/(-52)). Let y = 38 + -21. Let x = q - y. Solve j + x = 4 for j.
-5
Let i(s) = 36*s**2. Suppose 4*m - 9 = 5*z, -2 = z + z. Let v be i(m). Suppose 0 = 3*b - 24 - v. Solve o - b = -4*o for o.
4
Let w(q) = 5*q - 5. Let f be w(2). Suppose 0 = 4*u - 3 - f. Solve u*t + 3*t = 20 for t.
4
Let r be (2 - 3) + (-2 - -3). Suppose 2 + r = f. Solve 2 = -f*s + s for s.
-2
Let d be 6 + (1 - 3)*1. Suppose -4*t = -c - 2*c - 12, -t + 16 = -d*c. Solve t = 3*q - 2*q + 2 for q.
-2
Suppose 3*m = -21 + 69. Let i = 20 - m. Let c be (-2)/(-8) - 19/(-4). Solve c*n - 3*n + i = 0 for n.
-2
Let i be (-2)/9 + (-120)/(-54). Suppose -j = j - 5*r - 17, 0 = j + r + 2. Solve -g = -i*g + j for g.
1
Let y(s) = -s + 14. Let t be y(14). Solve t = a + 2 for a.
-2
Suppose 8*u = 6*u + 4. Solve 4*a = -u - 18 for a.
-5
Let w = -2 - -2. Let y be 5 - (2 + -2) - w. Let z = y + 0. Solve -f + 16 = -z*f for f.
-4
Let u(r) = -r**2 - 6*r + 6. Let w be u(-6). Suppose -4*a + 6 = -3*b, -2*a - w = -0*a + 3*b. Solve a = 3*j + 2*j for j.
0
Let j = 18 - 17. Solve 4*v - j + 21 = 0 for v.
-5
Let c(t) = -t**2 - 3*t - 3. Let j be c(-3). Let o be j/(-1 - (-1)/(-2)). Solve 4*r = 2*r + o for r.
1
Suppose 14*h = 9*h. Solve h = -0*m - m + 4 for m.
4
Let c = 118 + -97. Solve -c*s + 17*s = 0 for s.
0
Let y = -18 + 28. Solve 0*l + y = 5*l for l.
2
Let l(r) = -r**3 + 5*r**2 + 2*r + 1. Let f = -9 + 13. Let j be l(f). Solve 2*i = -3*i - j for i.
-5
Let x(t) be the first derivative of 16*t - 1 - 1/3*t**3 + 1/2*t**2. Let v be x(0). Solve -v = -n - 3*n for n.
4
Let w(x) = -12*x**3 + x**2 + 2*x + 1. Let l be w(-1). Solve -r - 3*r = -l for r.
3
Suppose 2*q + 82 = -2*w - 2*w, 3*q + 105 = -5*w. Let d = 27 + w. Suppose -5*k = z - 29, -3*k + 4*z + d = 2*k. Solve 0*l + 5*l = -k for l.
-1
Let j = 79 - 15. Let h be j/12 + (-2)/6. Solve -4*a = -3*a - h for a.
5
Suppose -3*z + 2*f - 18 = 0, -3*z + 14 = -5*f + 41. Let y be (-4)/6 - z/6. Solve y = -3*m - 2*m - 10 for m.
-2
Suppose 2*p + 4 + 2 = -4*k, 5*k = p - 25. Suppose 4*o - p*o = 0. Let s(z) = z**3 - z**2 + z. Let i be s(o). Solve i*l = -l for l.
0
Let f be (1 - (-2)/(-4))*0. Solve f*s = -s + 2 for s.
2
Let c = 8 + -6. Suppose -5*b + 4 - 17 = -4*z, 0 = 2*z - 2*b - 6. Suppose 0 = c*w - 2*g - 54, z = -2*g - 2. Solve 0 = -6*u + u - w for u.
-5
Suppose -97*r = -93*r - 20. Solve 8 + 7 = -r*w for w.
-3
Suppose 0 = -t - 0*t - 3, 5*m - 36 = -3*t. Let v be m*(-2 - (-7)/3). Suppose 0 = 7*f - 9*f + 8. Solve f*l + 5 + v = 0 for l.
-2
Let n(z) = -5*z - 3. Let o be n(-2). Suppose -1 = -4*b - 1. Solve 2*s - o + 1 = b for s.
3
Let v = 42 - 20. Suppose 0*z = -3*n - z + 11, -4*z = -4*n - 12. Suppose d - 3 - n = 0. Solve d*u + v - 2 = 0 for u.
-4
Let b(f) be the second derivative of f**3/6 + 3*f**2/2 - 2*f. Let z be b(0). Suppose 9 - 7 = o. Solve z*d = 4*d + o for d.
-2
Let q(c) = c. Let g be q(0). Suppose m + b - 8 = -g, 5*b - 37 = -4*m. Suppose -3*z = -z - m*j - 25, 10 = 5*z + 3*j. Solve 6*r = r + z for r.
1
Let i(w) = -4*w - 5 - 2 + w**2 + 0*w. Let j be i(6). Suppose j*n = s - 3*s - 10, -s = n + 2. Solve s = -0*b + b + 1 for b.
-1
Suppose q + 4*k - 24 = 0, -4*q = -0*q - 4*k + 4. Let b = 4 - q. Let c(l) = 9*l**3 + 2*l**2 - 2*l + 1. Let n be c(1). Solve b = -y - y - n for y.
-5
Let h(y) = -y**2 + 3*y. Let c be h(3). Suppose c = g + b - 3, 2 = 2*g + b - 3*b. Solve n = -g*n for n.
0
Let k(n) = -n**2 - 5*n - 2. Let x be k(-4). Suppose 3*o = 3, -53 = -5*j - x*o + 49. Suppose 2*q + q - 15 = 0. Solve -j + q = -3*l for l.
5
Let u be (4/(-3))/(7/(-21)). Solve u*g - 20 = -4 for g.
4
Let l be (8/4)/((-2)/(-4)). Let z(u) = -u**2 - 6*u - 1. Let x be z(-5). Suppose l = x*o - 4. Solve o*s + s = 0 for s.
0
Suppose 4*a - 75 = -a. Suppose i - 6 = -s, 18 = 5*s - i + 3*i. Suppose -s = 2*v, -5*v = -5*f - 0*f + 20. Solve 0*d - f*d = -a for d.
5
Let o(g) = -g - 1. Suppose 3*y = 2*y + 20. Suppose -2*i - 2*i - y = 0. Let f be o(i). Solve 4*z = 3*z - f for z.
-4
Suppose -2*s + 26 = -3*b + 7*b, -4*b = 4*s - 32. Let y = b - -4. Solve 0*u = -3*u - y for u.
-3
Let v = 1 + -7. Let z = v - -18. Let w be 11 + -5*(-5 - 23/(-5)). Solve w = -5*p - z for p.
-5
Suppose 0 = -c - 3, -2*c + 10 = 2*m. Let i = m + -5. Solve 4*q - i = 3*q for q.
3
Let n(r) = r**2 - 4*r - 2. Let g be n(3). Let x = -5 - g. Solve 4*m + 3 + 1 = x for m.
-1
Suppose 4*n = -5*j, n = 4*n + 4*j. Suppose -4*m + m = n. Let r be (12/(-15))/(6/(-15)). Solve r*t = -m*t + 8 for t.
4
Let v be 2/(-9) - 2/(-9). Suppose g - 1 + 4 = a, v = 3*a - 2*g - 11. Solve 12 = -d + a*d for d.
3
Suppose -q + 2 = -1. Suppose 0*n - 2*n + 3*r = -62, 37 = n - 3*r. Suppose 0 = 2*g - g - n. Solve -q*j = 2*j - g for j.
5
Let l be ((-14)/(-2))/1 - -1. Solve -4*y + l*y = 0 for y.
0
Let g be 2*(3 - (3 - 1)). Suppose -2*z + 10 = 2*b, -g*b = -2*z + 5*z - 13. Suppose -l + 48 = z*l. Solve 3*w = l + 3 for w.
5
Suppose v = -4*v. Suppose 3*f = -2*f - 20, -2*o - 3*f = -12. Suppose 3*b + c - 1 = o, -8 = -2*c. Solve -2*z + b*z = v for z.
0
Let d(o) be the first derivative of o**2/2 - 7*o + 2. Let g be d(8). Solve -i - g = -0*i for i.
-1
Suppose -4*n + 3*k + 21 = 0, -3*n + 2*k = -10 - 6. Solve n*o + 12 = 3*o for o.
-4
Let b be 23/3 + (-2)/3. Let o = -3 + b. Let h = 8 - o. Solve 4 = h*g - 2*g for g.
2
Suppose 4*a - s - 4*s = 6, 2*s + 9 = -5*a. Suppose 6 + 0 = -4*p - 2*b, 4*p + 4*b = -8. Let h be (p - -2)*(a - -1). Solve 3*n + 8 - 2 = h for n.
-2
Suppose 0*h - 4*f = 3*h + 14, -5*h - 14 = 2*f. Let j be h/(-3) - 2/3. Suppose 0 = -j*u + 2*u. Solve -5 = w - u for w.
-5
Let t be 5/(-3)*18/(-2). Let y be (-6)/8 + (-77)/(-28). Let v be (-5)/y*(-12)/t. Solve v*n + 15 = -n fo