g - 1 for v.
-3
Suppose 4*z - 4*v = -2*v + 2, 2*z - 3*v = -9. Let u be 176/12 - (-1)/z. Let f be (-2)/u + 124/30. Solve -f*r = 3*a + r - 11, -13 = -4*a - 5*r for a.
2
Let q = -6 + 4. Let u be ((-4)/q + -7)*-5. Solve -5*f - 4*k = -4*f + u, -5*f + 4*k = 5 for f.
-5
Suppose 0 = -5*f + 6*f - 24. Solve 0*n + y - 1 = -n, 3*y = 4*n + f for n.
-3
Let k be 37 + (2*-1 - (-20)/10). Solve -2*p + 3*t + 19 = 0, 5*p - t - 3*t - k = 0 for p.
5
Suppose 0*z + 3*z - 13 = 2*t, 7 = 5*z + 4*t. Solve 0 = -a - z*b + 7, -2*b - b = -12 for a.
-5
Let t = 15 - 23. Let g = 10 + t. Solve -v - 10 = -3*d, d + g*v - 2 = 6 for d.
4
Suppose -4*m = -p + 11, 13 = 2*p - m + 5. Let n(u) = 2*u**2 + 2*u + 4. Let f be n(-5). Let v = f - 25. Solve -p*j = 3*w - j + v, j + 8 = -w for w.
-3
Let p(g) = g**2 - 22*g + 25. Let h be p(21). Solve -t = t + h*m + 8, -m = -2*t + 2 for t.
0
Let d(t) = -t**3 - 10*t**2 - 9*t + 2. Let l be d(-9). Solve -5*b - 29 = -l*v + 4, -v - 16 = 4*b for v.
4
Let w = 17 + -12. Suppose 0 = t + 4*s - 22, -2*t + t - 23 = -w*s. Solve -2*v + 3*v = -2*y - 3, 5*v + t = 3*y for v.
-1
Let t be -4 + 2 + 0 + 2. Suppose t*z - 9 = -3*z. Let c = 7 - z. Solve -5*y + c*w - 32 = -0*w, 5*y + 2*w + 14 = 0 for y.
-4
Let k(n) = n**3 - 2*n**2 + 2*n - 3. Let d be k(2). Suppose 3*r - 5 = d. Solve -y - y - 4 = -u, r*u - 5*y - 9 = 0 for u.
2
Suppose -3*o = -107 + 2. Suppose -4*y + o = y. Solve i = g - 2, 4*i + y*g = 2*g + 28 for i.
2
Suppose 0*f - 5 = -f. Let x = f - 2. Let d = 6 - x. Solve -d*g - 20 = -4*u, 3*u - 10 = -2*g + u for g.
0
Let h be (-4)/(-30) + 58/15. Solve -2*a = -5*m + 1, -h*m + m - 9 = 2*a for m.
-1
Suppose 0 = 3*g - 2*f - 8, -2*g - 2*f = 2*g - 34. Let p be -1 + 2 + g + -2. Suppose 0 = -5*m + 31 - 1. Solve p*u - 2*t + 20 = 0, 3*t + 22 = -4*u + m for u.
-4
Suppose 2*t - 1 = -4*w + 17, 4*w - 9 = t. Solve 0 = v - 1, -5*a = t*v + 2*v - 15 for a.
2
Let a = -18 - -18. Solve -4*z + 2*n + n = a, -3*n = 4*z + 24 for z.
-3
Let w be (-10)/(-15) - (-26)/6. Solve -4*c + 3*t + 4 = -t, 0 = c - 5*t - w for c.
0
Suppose q = 5*u - 26, -4*q - 4 = -20. Suppose u = b + b. Solve b*d - k + 23 = 4*k, 0 = 2*d + 2*k - 6 for d.
-1
Let p be (1 + -1)/(-1 - -2). Let h = 19 + -17. Solve -2*o = h*i, p = -i + 4*i - 2*o for i.
0
Let p = -18 + 20. Solve p*i + 5 = 3*i - j, 13 = 4*i + 3*j for i.
4
Let a be (7/((-14)/8))/(-1). Let k be ((-24)/(-14))/(a/14). Solve 4*z + 2*b + 26 = 0, z - 3*b - 34 = k*z for z.
-5
Suppose 0 = -a + 6*o - 2*o + 6, 0 = -5*a + 3*o + 13. Solve -a*i = 8, 0 = -4*d + 3*d - 4*i - 14 for d.
2
Let a(v) = v**3 + 11*v**2 + 10*v. Let h be a(-10). Let b be 0*1/(-2) + h. Let w = -26 - -29. Solve y - w = o, 3*o + o - y = b for o.
1
Suppose -3 = -5*x + 17. Suppose -x*g + 9 = -3. Suppose 0 = -4*m + 3*m + g. Solve -m*j + 18 = j - 2*r, 3*j = -5*r - 19 for j.
2
Suppose u - 3 = 0, u + 3*u - 27 = -3*b. Let f = b - -1. Let j = f - 3. Solve 2*c + 0*d + 2*d = 0, j*c + 5*d = -2 for c.
1
Suppose -3*m + m + 12 = 0. Let i = -4 + m. Solve 7 = -i*x + 4*x + z, -5*x + 5*z = 20 for x.
1
Suppose -5*g - 5*y = -30, -2*g - 5*y = -5*g + 2. Let r be 2/g*(7 - -1). Let m be 80/36 + r/(-18). Solve 12 = -4*f - 4*x, -m*x - 3*x - 15 = -f for f.
0
Suppose 0*c + 2 = c. Solve -3*j - 2 = c*r, j - 3*r = 3*j + 3 for j.
0
Let b = -27 - -35. Let y(u) = -u**2 - 6*u + 7. Let r be y(-6). Solve -2*g - 2*g + s = -b, 0 = -5*g + 2*s + r for g.
3
Suppose 5*j - 35 = 5*y, 3*j - y - 24 = 3*y. Solve -4*o - 24 = -j*w, w + w + o - 9 = 0 for w.
5
Suppose 0 = 5*i + 2*g, 0*i + 4*i - 5*g = 33. Let d = 22 - 48. Let r be d*(7/(-2) - -3). Solve -3*j - r = -4*c - 32, 3*j - i*c = 17 for j.
5
Let b be (6 + -5)/((-2)/(-6)). Suppose 0 = -4*o + b*o. Solve 3*a - 5*p = -5, -4*p + 4 = 3*a - o*p for a.
0
Let u be (-20)/(-6)*(6 - 3). Let k = u + -7. Let q(w) = -w + 3. Let g be q(k). Solve -5*n + g*n = -2*b + 17, -5*b = -5*n - 5 for n.
-5
Let q be (-18)/1*(-3)/6. Suppose -2*y - q = -5*y. Let f be ((-2)/(-4))/((-3)/(-144)). Solve 0 = -3*j - y*i, -2*i + 7*i + f = j for j.
4
Suppose n - 2*w - 14 = -3*n, -3*n - 2*w = 0. Suppose n*y + 20 = 2*u, -4*y = -5*u + 37 + 5. Let k be y/(-1*1/2). Solve 2*b + 42 = 4*h + k, -b + 12 = 3*h for h.
5
Let i(s) = s**2 - 10*s + 6. Let c be i(10). Solve 4*r - 4*l + c*l + 6 = 0, 5*l - 6 = -3*r for r.
-3
Let g = -7 - -9. Suppose 5*r - g*z = 26, -r + 6*r - 17 = -z. Solve -w = 2*a + 1, r*a = 3*w + 6 + 17 for w.
-5
Let m be (-1 + -1 + 0)*-12. Solve -a - 5*q = -25, -q + m = a + 3*a for a.
5
Let s(r) = 5*r**2 + r + 1. Let l be s(-1). Let o = -4 - l. Let w be 2/(-6)*o*1. Solve 0 = h + 2*j - 2 - 6, -w*j + 12 = -3*h for h.
0
Let q(a) = a**2 - a - 1. Let t be q(1). Let k = 1 + t. Suppose k*f = -f + 4. Solve 5*u - 4*v = 2*u + 4, f*u = 4*v for u.
-4
Let u be (80/12)/(1/3). Let d be 3/(-5) - (-92)/u. Solve 0*h - d*h + 3*x = -23, -14 = -2*h + 2*x for h.
2
Let y = 54 - 49. Solve 3*r = n + 1, r + 3*r = -y*n + 14 for r.
1
Let i be (-5)/(-40) + (-213)/(-24). Suppose r = -z - 4*r + 3, 2*r + 15 = 5*z. Solve -z*y = 4*d - 4*y - i, -5*y = -2*d + 9 for d.
2
Let f be 2/(-3) + (-68)/(-3). Suppose 6 + 9 = 3*q + 3*n, 0 = -4*q - 5*n + f. Let l = 11 + -7. Solve 3*i + i + 4 = -q*t, 26 = 5*i - l*t for i.
2
Suppose 4*l + 15 = 9*l. Let r be 0/(l + -3 - -3). Solve -4 = -4*y + 3*u, -u + r + 2 = -3*y for y.
-2
Let i be 74/14 + 2/(-7). Solve 0 = i*l - c + 9, -2*l - c - 3*c = -14 for l.
-1
Let v = 53 + -28. Let z = v - 21. Solve 0*u + z = -h - u, -5*h + 5*u = 0 for h.
-2
Suppose -5*d = -17 + 2. Solve -5*f - 5 = 0, 0*a - d*a - 11 = -f for a.
-4
Suppose 4*t + 15 = 7*t. Solve -3*h + 4*r - 2 = -5, -5 = 2*h - t*r for h.
5
Let u be (-9)/2*(-6)/9. Solve u*k + 35 = 5*l, -2*l = 2*k + 3*k + 17 for l.
4
Let w be 150/(-5)*(-4)/6. Solve g - 5 = -s, 0*s - 3*g + w = 4*s for s.
5
Suppose 0*z + 54 = 4*z - 5*b, 23 = 3*z + 5*b. Suppose 3*o + z = 2*o. Let a = 19 + o. Solve i + 3*i + 2*f = a, -3*f = 2*i for i.
3
Let x(j) = -j**3 + 13*j**2 - 15*j + 18. Let b be x(12). Let a = b - -30. Solve -4*p - 4*d + a = 0, -2*p + 1 = d - 2 for p.
0
Let i = -3 + 14. Let w be (-3)/(3/((8/(-2))/2)). Suppose w*a - 4*a = -4*c + 24, -c - 2*a + i = 0. Solve -2*l + c = 3*o, 2*o + 4 = 5*l - 4 for l.
2
Suppose -2*j + 2 = -2. Let n be 3 - (2/(-2) + 5). Let l be n/(-2) - 41/(-2). Solve -5*p + 5 = j*c, 2 = -3*p + 4*c - l for p.
-1
Let t be 2/(-2)*(-14)/2. Let a be (-2)/t + 120/28. Let n = -2 + a. Solve 2*l + 18 = -3*s, 0 = -4*s - s + n*l - 14 for s.
-4
Let f(x) = -x**2 + 4*x. Let z be f(2). Solve h = c + 6*h - 20, 0 = z*c + 4*h for c.
-5
Let h(z) = -z**3 - 11*z**2 - 4*z - 5. Let l be h(-11). Let i be (3/9)/(1/l). Solve -i = 5*o - 2*v, 7*v = o + 2*v + 21 for o.
-1
Let w = 5 - 3. Solve -2*t + 10 = -3*m - 7, 2 = w*t for m.
-5
Let i be (-20)/(-30)*18/(-4). Let t(s) = -s**3 - 4*s**2 - 3*s + 2. Let r be t(i). Solve 4*f = -2*u + 6 + 16, 0 = -r*f - 3*u + 17 for f.
4
Let u(b) be the first derivative of b**2/2 + 3*b + 3. Let v be u(-3). Let n = -1 + 1. Solve -y + 3*y + 5*d = v, -2*y + 3*d = n for y.
0
Suppose -h - 18 = -5*r + h, -3*r = h - 13. Suppose -d + r = -0*d. Solve d = -2*x - 2*m, -3 = -2*x + m - 1 for x.
0
Let a be 68/(-7) - (-4)/(-14). Let c = a - -16. Suppose 32 = 5*q + 7. Solve -d - d - 4*i - c = 0, 3 = -q*d + 2*i for d.
-1
Let z be 4/(-2) - -1*2. Suppose z = -0*c - 3*c. Let b = -8 + 13. Solve -b*s = 3*f + 5, c = s + 4 - 0 for f.
5
Let h(l) = -l + 8. Let j be h(-6). Suppose 0 = -2*a + 5*d - j - 2, 4*a + d = 12. Solve -2*q - 5 = a*q - x, x - 5 = q for q.
0
Let d(u) = u**2 - 9*u + 16. Let h be d(7). Solve 0*t + 4*y + 8 = h*t, -5*y = -5*t + 5 for t.
-2
Let x(p) = 3*p + 7. Suppose -4*i = -3*k + 37, -3*k - k - 2*i + 20 = 0. Let y be x(k). Let t be (2/2)/(4/y). Solve 5*r - 2*o + 4*o = 0, -t = r - o for r.
-2
Suppose 2*i = 2, -d - 4*d = 5*i - 15. Solve -d*h = -4*y - 10, 0 = -3*h + y - 5 for h.
-3
Let m be 2/2*28/4. Solve 11 = 4*a + v, -2*a + m + 12 = 5*v for a.
2
Let x(n) = -n**3 + 8*n**2 + 2*n - 11. Let f be x(8). Suppose 0 = 3*h - f*h + 4. Solve -9 = -3*b, 3*i = h*i + b - 3 for i.
0
Let g = -5 - -9. Solve -3*i + 0*i - c - 9 = 0, 3 = -i + g*c for i.
-3
Suppose -4*x = 2*m, -3*m + 32 = -0*m - 2*x. Solve -4*w + w = -2*p - m, 3*w - 3*p = 6 for w.
4
Suppose 3*d + v = 37, 2*d = -v - v + 26. Solve 0 = 2*z - 5*u + d, 5*u = 2*z - 7*z + 40 for z.
4
Suppose -2*s + t + 6 = 0, -8 = -4*t - 0*t. Solve -3*j - 2*i = 9 - s, -i - 4 = 0 for j.
1
S