= 2*v + 12, -g*h + 18 = v - 5*v for h.
-1
Suppose n - 6*n + 30 = 0. Let c = 7 + -5. Suppose 1 = -t - c*u, 0 = 3*u - 5*u - 6. Solve -l - v = -n*l + t, -15 = 3*v for l.
0
Let f(h) = -h**2 + 9*h + 14. Let d be f(9). Solve 0 = -4*u - 3*z - d, 2*u - 2*z = -6*z - 12 for u.
-2
Suppose -23 = -4*l + 3*p, 2*l = 3*l - 2*p - 2. Solve 4*b = -12, 0*j + 4*b = -4*j + l for j.
5
Let z(g) = 4*g - 6. Let o be z(4). Let c be ((-6)/o)/((-9)/45). Solve 2*k = c*r + 7*k + 16, -r = -2*k - 2 for r.
-2
Let a = -2 - -7. Suppose a*b + 1 = 4*v, -5*v = 5*b - 28 - 7. Solve 5*k - 1 = -b*y - 0*y, 5*y - 3*k = 13 for y.
2
Let n = -5 - -7. Let l(u) = u**3 - 6*u**2 + 2*u - 9. Let s be l(6). Suppose 4 = s*d - n*d. Solve -2*z - 2 = 3*o, 0*z - 2 = d*o + 2*z for o.
0
Suppose -8*y = 5*b - 12*y - 125, 125 = 5*b + 4*y. Solve 5*a = b, z - 4*a = 3*z - 16 for z.
-2
Let y(f) = -f - 12. Let o be y(-7). Let p = o - -7. Solve -3*h - 2 = p*l, -2*l = 6*h - 4*h - 2 for h.
-4
Let k(m) = -m - 8. Let z be k(-5). Let j be 18/(-30) + z/(-5). Let b be 5 + -2 + -1 + j. Solve -b*n + 26 = -3*h + 3*n, n = 3*h + 10 for h.
-2
Suppose -5*c - i = -2*i - 20, -2*i = 2*c - 20. Let v = 3 + 2. Suppose -20 = -0*n - v*n. Solve 5*r + c*q = 10, -n*r = -3*q - 16 + 1 for r.
3
Let m(h) = -h**2 + 11*h + 15. Let i be m(12). Let l be ((-1)/i)/(2/(-30)). Solve -l*p = 3*y - 31, 4*p = 5*y + 1 + 9 for p.
5
Let l = 2 - -4. Let y = 6 - l. Solve y = -2*s - j - 1 + 3, -2*j + 9 = -s for s.
-1
Let d(h) = h**2 - 6*h - 2. Let n be d(8). Let s(o) = o**3 + 10*o + n*o**2 - o**2 - 2*o**2. Let t be s(-10). Solve 4*p - 16 = t, 5*z = -4*p - 0 + 6 for z.
-2
Let z(u) = u + 15. Suppose 0 = 14*h - 12*h + 30. Let n be z(h). Solve -4*y = -4*w - 36, n = -y - 5*w + 5 - 26 for y.
4
Let w be 3 + (-1)/((-4)/20). Solve 2*b = 4*k + 8, -3*b + 20 = -w*b for k.
-4
Suppose 0 = 7*n - 3*n - 28. Let q be (4 - n)*(-16)/3. Solve c + 4 = -5*t - q, -3*t = -c + 4 for c.
-5
Let j(x) = x**2 + 10*x + 9. Let s be j(-10). Solve -4*q + s = 2*v - 3*v, 3*q = -5*v + 1 for v.
-1
Suppose 2*w = 5*w - 15. Suppose -4 - 26 = -w*l. Solve -l = -4*d - 2*m, 2*d - 2*m = -3*d - 6 for d.
0
Suppose 3 = 2*n - n, 0 = 4*u - 3*n + 9. Solve 3*c - 2*y - 8 = -u*y, 5*c = -5*y + 5 for c.
2
Let z be ((-24)/10)/(11/(-55)). Let f be ((-6)/(-5))/(z/30). Solve 0 = -h - k + f, -2*h + 5*k + 0 - 8 = 0 for h.
1
Let a(n) = n**3 - 7*n**2 + 5. Let k be a(7). Let t = k - 1. Solve 0 = -3*i + t*f - 35, 3*i = -i - 4*f for i.
-5
Let m(t) = t + 1. Let k be m(3). Suppose -2 + 39 = 3*h - k*b, 2*h - 2*b - 24 = 0. Solve h = p + 3*u, -u = p - 2*u + 9 for p.
-4
Let h(s) = -3*s - 8. Let q(p) = 3*p + 2. Let j be q(-2). Let b be h(j). Solve -2*a + 1 = t - 5, b*a = 2*t + 4 for a.
2
Let t = -12 + 16. Solve t*z = -2*u - 3*u - 6, -z = 2*u for z.
-4
Let w be 284/12 + (-1)/(-3). Suppose x - w = -4*g - 3*x, 4*x + 3 = 5*g. Let p = 1 - 1. Solve -g*s + 4*z = s - 28, p = -3*s + z + 15 for s.
4
Let i(l) = -4*l**2 + 5*l - 1. Let y be i(2). Let p = -10 + 0. Let w = y - p. Solve 4*q - 2*j = -0*q - 20, -w*q = -j + 13 for q.
-3
Let t(i) = i**3 + 13*i**2 - 17*i - 40. Let z be t(-14). Solve 4*o - 2 = z*f, 3*o - 11 - 1 = -2*f for f.
3
Suppose -5*g = -2*z, -2*z + 6 = -2*g - 0*g. Solve -4 + z = 3*k + 5*y, -5*k + 12 = -2*y for k.
2
Suppose -5*y = -15, -c = 2*y - 3*y. Solve -4*h = -3*r + 7, -r + 2*h = h - c for r.
5
Let l = -9 + 4. Let v = -23 - l. Let y be (-4)/v - (-102)/27. Solve y*n = 2*u + 28, -4*n + 1 = 4*u - 3 for n.
5
Let l be 32/10 - (-6)/(-30). Solve 2*o - l*o - 11 = 2*h, 2*h + 6 = 0 for o.
-5
Let u be (8/3)/(48/72). Solve -v - 3*b = 2*b + 17, -u*v + 4*b + 28 = 0 for v.
3
Suppose 3*m + l = 78 - 11, -5*l = -20. Solve -z - 3*z = x + 3, -3*x = -3*z - m for z.
-2
Let u be 4*(4/(-8) - -1). Let f = 2 - 2. Solve 2*d + 3*n + 11 = f, -d + n + u = 5 for d.
-4
Let l = 0 - -44. Let h = 26 - l. Let d be (-2 - -3)/((-2)/h). Solve -d = y + 5*c - 33, 5*y + c = 24 for y.
4
Suppose 3*s + 4*u = -7, 2 + 2 = -u. Solve 0*y + 9 = -2*y - s*a, 2*a + 6 = -2*y for y.
0
Let a(g) be the first derivative of g**2/2 - 5*g - 1. Let t be a(5). Let b be 2 - t - (-4 + 2). Solve 2*f = -s - 3*f - 18, 0 = -s + b*f + 9 for s.
-3
Let t(n) be the second derivative of -1/6*n**3 + 0 - n**2 + n. Let x be t(-6). Solve d = -3*g + 9, 0 = -x*g - 0*d - 5*d + 12 for g.
3
Let m = -2 + 9. Solve -3*t + 4*v = 0, -2*t - 18 = v - m for t.
-4
Let p(s) = -s + 10. Let u be p(8). Solve -2*k = u, -2*i - 3 = -5*k - 4 for i.
-2
Let j = 23 + -21. Solve 0 = 2*n - 0*n + j*g, -3*n = g for n.
0
Let j be 24/(-9)*(-12)/8. Solve -3*k + k = -j*y - 14, -19 = -5*k + 2*y for k.
3
Let i be 206/(-10) + 8/(-20). Let b = i - -24. Solve 4*v + 2*a = 8, -b*v + 5*a = v - 36 for v.
4
Let m(y) = -y**3 + 4*y**2 + 6*y + 2. Let b be m(5). Suppose -2*d = -b*d + 30. Solve 2*v - 3*o = -v - d, 0 = -v + 3*o for v.
-3
Let x(h) = 3*h - 2. Let s be x(3). Let g = s - -7. Solve -2*p - 4*q - g = 0, -4*p + q = 6*q + 13 for p.
3
Let i(u) = -u**3 + u**2 + 4. Let b be i(0). Solve -3*d = -9, t = -t - b*d + 10 for t.
-1
Suppose 0 = -133*t + 135*t. Solve t = -g + 2*h - 2, -h - 2*h + 3 = -g for g.
0
Suppose 2*g = -10 + 14. Solve 0 = -n - k - g - 3, -3*n + 5*k + 1 = 0 for n.
-3
Let f = -18 - -21. Suppose 4*o - o + f*m = 15, o - 3*m - 17 = 0. Solve 4*i = -3*w + o*w - 6, 2*w = -3*i + 7 for w.
2
Let o = 5 - 9. Let z(f) = -4*f + 4. Let q be z(o). Suppose 2*g = 6*g - q. Solve 2*m = -5*b - 11, g*m - m - b + 11 = 0 for m.
-3
Let s(p) = p**3 + 5*p**2 + 3. Let q be s(-5). Let m = -63 + 66. Solve -m*r - 13 = l + 7, 0 = l - q*r - 10 for l.
-5
Let m(u) = -u**3 + 4*u**2 + 4*u + 7. Let d be m(5). Let i = 13 + -7. Solve d*a = -2, a + a + i = t for t.
4
Suppose 9 - 7 = w. Solve 6 = 2*a + w*t, -2*t - 22 + 0 = -5*a for a.
4
Let g = -1 - 0. Let v be (-12)/2 + 0/g. Let o be (v + 0)*(-5)/15. Solve -4*u + u + 27 = -3*n, 5*n = -o*u - 17 for u.
4
Let t(o) = o - 1. Let b be t(1). Solve f + 4*a = 23, 37 = -b*f + 4*f + 5*a for f.
3
Let r = 0 + 5. Suppose f + r = -0. Let y be ((-7)/f - 2)*-5. Solve 0 = y*u - 2*q + q, -2 = 4*u - 2*q for u.
1
Suppose 5*f + 4 = 4*h, 0 = -5*h - 3*f + 64 - 22. Suppose -5*l = -h*l + 4. Solve -2*i = -l*r - 26, -10 = 5*r + 15 for i.
3
Let d(j) be the first derivative of j**4/4 - 11*j**3/3 + j**2/2 - 9*j - 2. Let u be d(11). Solve 0 = -2*z - 2*p + u, 1 = -2*z - 5*p - 9 for z.
5
Suppose p - 2*y = 17, -y = -5*p + p + 47. Let s = p - 3. Solve -4*j = 4*o + 12, o = j - 1 + s for j.
-5
Let y = -7 - 1. Let b be y/(-20) - 96/(-10). Suppose 0 = -o + 4 + 2. Solve -4*c + 2*q + o + b = 0, -5*q - 12 = 4*c for c.
2
Let v(g) = 24*g**3 + 1. Let m be v(1). Solve -5*w + m = 4*j - 2*j, 4*j - 10 = -2*w for w.
5
Suppose -10 = 3*p - 5*p. Solve 0 = -j - t, j = -2*t + p*t for j.
0
Let n = 136 - 133. Solve 0 = b + z - 1, n*b + z - 24 = 5*z for b.
4
Let q = -7 + 11. Suppose g - q = -g. Solve -2*n = m - 4, g*m - 6*m - 3*n = -1 for m.
-2
Let h = -14 - -20. Suppose 2*j - h + 0 = 0. Solve 4*v + 4*m = 32, 0 = 5*v + j*m - 31 + 1 for v.
3
Let y = 1 + -3. Let h be (-35)/(-10) - y/(-4). Solve h*f - 2*w + 3 = 2, 2*f - w - 1 = 0 for f.
3
Let p be 18/45 - (1 + (-56)/10). Solve p*u = 4*l + 21, 4*u - 25 = -l - 4*l for l.
1
Let l(w) be the first derivative of 3 + 1/3*w**3 - w + 3/2*w**2 + 1/4*w**4. Let d be l(2). Solve d = -3*h + 4*f, -2*h - f - 4 = -0 for h.
-3
Suppose 4*m - 11*m = -77. Solve 5*f - 8 = -2*c + 4*c, 4*f = -3*c + m for f.
2
Let r(z) = -4*z + 2. Let f be r(2). Let y = -36 + 25. Let m = f - y. Solve -5*b - 10 = 2*h, -5*b - 3*h + m*h - 10 = 0 for b.
-2
Let z be (3 - 1 - 4)/1. Let y = 6 + z. Solve -3*c = y*i + 7, -i - 7 = c - 2*c for i.
-4
Let q = -3 + 4. Let z be q/(1/(-1 - -6)). Solve w - z*y - 31 = 4*w, -3*y = -w + 13 for w.
-2
Let z be 4 + 3*(-3)/9. Solve 3*b = -z*w + 15, b + 1 + 4 = w for b.
0
Let l(t) = -t**3 + 5*t**2 + 2*t - 6. Let g be l(5). Let f = -4 - -2. Let u be 3/((-4 - -2)/f). Solve 20 = -5*p - 5*c, u*c - 11 = g*p + 2*c for p.
-3
Suppose -23 = -5*r - 2*m - m, 3*r + 5*m = 17. Solve -v - 2*k = -k, 2*v = -r*k for v.
0
Suppose 4*z = g + 24, -z + 2*g = -g - 17. Let q = 15 + -10. Let s be 0/(-2) - 15/(-1). Solve s = q*l - z*m, l + 12 = -6*m + 2*m for l.
0
Let m(x) = -x**2 - 47. Let g be m(0). Let f = -27 - g. Solve 0 = -3*p - p - f, 0 = 5*l - 3*p - 15 for l.
0
Suppose -18 - 2 = -5*h. Suppose -4*m + 2*k + 2*k = 0, 0 = m - h*k + 15. Solve 5*f - 3*f - m*v = 18, -2*v = 