3*h = v - 2*v + d for v.
0
Let r be 25*(9/15 - 0). Suppose 14*i = r*i - 7. Solve 0 = 5*v - 3*o - i, v + 3*o = -v - 14 for v.
-1
Suppose -2*z - 1 = z - k, 4 = z + 4*k. Suppose -2*m + 1 - 17 = 0. Let o = 14 + m. Solve -6*j - 3*v = -j + 17, z = -2*j + 2*v + o for j.
-1
Let j(p) = -p**2 + 5*p + 3. Let f be j(5). Suppose -2*m + g + 2 = 0, -1 = f*m - 2*g - 2. Solve 3*k - 5 = -2*l + 1, 3 = m*l + 3*k for l.
-3
Let f be (-4)/10 + (-201)/(-15). Suppose -3*t + 0*t = -15. Solve -5*c = 4*y - f, 4*c = -y + t*y + 32 for y.
-3
Suppose -6 - 3 = 3*h. Let p = 3 + h. Suppose p = 2*w - 82 + 24. Solve 5*y = -f - w, -5*y - 5 = -4*f + 4 for f.
-4
Let k = 4 - 0. Let h = -13 - 1. Let j = h + 14. Solve j*d + 6 = -d + k*x, -4*d = 3*x + 5 for d.
-2
Let h = -2 - -2. Suppose -2*a + 3*a - 9 = h. Solve -2*f - 4 = 0, -5*m = -2*f + 4*f + a for m.
-1
Suppose -5 = f - 2*f. Suppose -15 = -f*g - 5*j, j = 3*g - 2*j - 3. Solve 5*u - 15 = -4*c, 3*u = g*c - 3 + 12 for u.
3
Suppose 2*d - 571 - 89 = 0. Let t be (-14)/(-3)*d/77. Solve 4*p - 2 - t = -3*s, p = -3*s + 10 for p.
4
Suppose -7*y + 8*y - 4 = 0. Solve -t = y*x - 15, -t - x + 12 = 2*t for t.
3
Let j(s) = s**3 - 5*s**2 - 7*s + 5. Let o be j(6). Let k be o*3 + (-44)/(-2). Solve -2*x - 3*i = -8*i - k, x + 4 = -2*i for x.
2
Let v = 25 + -17. Let r = v - 5. Solve r*g - 4 - 12 = -4*x, -x = -2*g + 7 for g.
4
Let m = -98 - -101. Solve 20 = -g - 3*g, 6 = m*c - 3*g for c.
-3
Suppose -v - 43 = -48. Solve 4*o = 4*j - 20, -13 + 6 = -v*j - o for j.
2
Let o be 0 + (0 - 2) - -7. Suppose o*w - 5*b - 110 = 0, 0*w = 5*w - b - 90. Solve 0 = 2*k + 3*l + w, k = -l - l - 10 for k.
-4
Let i be ((-3)/1)/(1*-1). Suppose 0*q + 12 = 2*q. Suppose -3*w + q = -2*x - w, 0 = 2*x + 5*w - 29. Solve -x = -s, i*s - 5*s = 2*c + 6 for c.
-5
Let s be -1 - (0 + -3)/(-1). Let v be (s + -1)/(2 - 3). Solve 2*w + 2*l - v = -3, 5*w = l - 1 for w.
0
Let r be -1 + 12/4 - -1. Let t be (-1 + (-5)/(-3))*-9. Let m be (t + 0)*(-2)/6. Solve -h + r*c + 7 = 1, m*h + 12 = -2*c for h.
-3
Suppose i + 0 = -2*q - 4, i - 8 = 2*q. Let k = q - -8. Solve -4*a - k = -3*a - d, -5*a + d = 13 for a.
-2
Let n = 17 - 7. Suppose -6*k + n = -k. Suppose t - 2 - k = 0. Solve 0 = 5*w, 2*j + 2*w - 2 = t*j for j.
-1
Let r be (-9 + 0)*(-11 + 10). Suppose -10*z - 9 = -11*z. Solve 0 = x + 2*p - z, p + p + r = 5*x for x.
3
Suppose -2 = 4*x - 6. Let v(w) = 26*w - 1. Let y be v(x). Suppose -2*q + 5 = -g, g = -5*q - 4 - 1. Solve 2*i + i - 5*j - y = q, -2*j + 11 = 3*i for i.
5
Let t(u) = -u + 4. Let p be t(-10). Suppose -p - 6 = -4*g. Solve -g*a + 11 = -z, 0 = -2*a - 4*z + 1 + 21 for a.
3
Let h = -1 + 3. Let z = -29 + 33. Solve -2 = z*v - h*i, -3*v - 22 = -4*i - 8 for v.
2
Let q be ((-9)/5)/((-3)/15). Solve 3*l = -3*r - q, 5 = 3*l - 4*l for r.
2
Let c = 12 + -26. Let b = c + 14. Solve -5*o - 3*y + 7 = b, 2*y - 16 = -2*y for o.
-1
Let t(o) = 3*o - 9. Let d be t(8). Suppose -5*r - d = 3*m - 8*m, 4*m - 10 = 5*r. Solve 2*s - 6 = 5*q, r*s + 6 = 2 for q.
-2
Suppose 0 = -0*w - w + 5. Solve -m + 1 = -2*n + n, 0 = -w*m - 3*n - 35 for m.
-4
Let u(i) = 0 - 4 + 4*i - 3*i + 0*i. Let x be u(6). Suppose 0 = 2*l + x*l. Solve 3*m + 11 = q, -2*m + q + l*q = 8 for m.
-3
Let d(r) = 3*r + 6 + 4*r**2 - 1 - 4 - 2*r. Let u be d(-1). Solve 3*z + 3*l + 20 = 7*l, -u*z - 2*l = -10 for z.
0
Suppose 4*x - 6 = 2. Let q be (1 + (-11)/3)/(20/(-210)). Solve 5*l - q = p, -3*l - x*p = p - 6 for l.
5
Let c be (-4 - 7/(-2))*-6. Solve 5*f + 13 = -i, -4*f - 8 + 2 = c*i for f.
-3
Suppose 10*n - 38 + 8 = 0. Solve 5*w - 4*r + 20 = 0, -20 = 5*w + n*r + r for w.
-4
Let b = 7 - 3. Solve -w - 20 = 4*v, -b*v + 0*w = 4*w + 32 for v.
-4
Let w(g) = -10*g + 2. Let k be w(2). Let n be (48/(-10))/(k/60). Solve 3*h = 3*z + 21, -n = 5*z - z - h for z.
-3
Let o = -3 - -6. Let m(c) be the first derivative of -c**2/2 + 3*c - 1. Let k be m(o). Solve k = g + w - 1, -4*w - 4 + 16 = 0 for g.
-2
Let f be (-3)/12 + 34/8. Let h = f - 1. Solve -h*m - a = -13, -m - 3*a + 15 = -0*m for m.
3
Let f be ((-18)/3)/3 + 2. Let v = -4 + 7. Solve 3*t = -f*t + 3*b - 6, -t + 2*b = v for t.
-1
Let d = -21 + 24. Solve -2*w - v = 8, d + 9 = -4*w - v for w.
-2
Let r = -29 - -32. Solve -3*s = j - 3*j + 7, 3*s = r for j.
5
Let w = 5 + -3. Suppose -5*y + u + 20 = 0, 3*u + 2 = -3*y - 4. Solve -w*g = 6, -2*g + 23 = -4*r - y*g for r.
-5
Suppose 0 = 3*q + 6 - 21. Suppose 3*t = -q*o + 26 - 0, -t - 10 = -3*o. Let j = -12 + 17. Solve -2*m - o*b + 35 = m, 0 = b - j for m.
5
Suppose -7*v = v - 32. Solve -5*p + 17 = m - 3, p + 4*m = v for p.
4
Let u = 6 - 7. Let k = 2 - u. Solve 5*c + 14 = k*z, -1 = -5*z + c - 7 for z.
-2
Let b be (-40)/(-15) + 4/(-6). Let y(c) = -5*c**3 + 4*c**2 - c - 2*c**2 - 7*c**3 + 2*c. Let s be y(-1). Solve 2*v = 5*h - s, -5*h = 3*v + b*v - 20 for v.
1
Suppose w - 4 - 3 = 0. Solve 2*p + 17 = 3*n, 14 = -w*p + 2*p - 2*n for p.
-4
Suppose 3*i = k - 10, -k - 5*i = -i - 17. Let m = -8 + k. Solve 2*r + 4*d - 6 = 0, -8*r + 7*r = m*d for r.
5
Let s(q) = q**2 + 1. Suppose 4*v = d + 4 - 27, 3*v = -5*d. Let i be 1/(-1*(-3)/d). Let f be s(i). Solve 2*g = -l - g - 2, 0 = -l + g - f for l.
-2
Let v(b) = -2*b - 9. Let r be v(-7). Let s be (-38)/(-4) + 1/(-4)*2. Solve 0 = 3*j + 3*y + s - 0, -r*j - 2*y = 15 for j.
-3
Let h = -21 + 21. Solve 3*w - 5*d - 1 = h, 3*d + 2 = -2*w + 5*d for w.
-3
Let a(o) = -o**2 - 4*o - 3. Let h be a(-3). Solve 4*n + 5*r = -22, -3*n + 2*r - 4*r - 13 = h for n.
-3
Suppose 10*a = 148 + 302. Solve 2*m = 5*v - a + 12, 0 = -2*m + 4*v - 28 for m.
-4
Let u = 0 + 8. Let p be (-1)/(-4) - (-2)/(-8). Suppose 4 + 4 = 4*b + 4*o, 2*b - 3*o - 9 = p. Solve 0 = b*z + 4*m - 3, 20 + u = 5*z - m for z.
5
Let q = -118 - -121. Solve -q*i + 5 = -w, i = -i + 6 for w.
4
Let c be 6*(1/(-3) - (-30)/36). Solve 4*o + 4 = -4*l, -20 = c*o - 5*l + 15 for o.
-5
Let c(m) = m**2 - 8*m - 13. Let l be c(9). Let y = -1 - 3. Let o = l - y. Solve o = 4*g - 5*f + 15, g + 2*f = -0*g + 6 for g.
0
Let n = -165 - -174. Solve 0 = -4*h + l + 6, -h + 4*l + n = -0*h for h.
1
Let b be (-5)/1*-1 - (-10 + 10). Solve -2*w + 9 = -5*w, -b*w = -3*o + 9 for o.
-2
Let s(o) = -o - 2. Let d be s(-2). Let z(y) = 10*y**2. Let t be z(2). Solve -3*u + 2*a = 23, -4*u + 2*a + 3*a - t = d for u.
-5
Suppose 3 = -c + 2*w, 0 = 4*c - 5*w + w. Suppose -2 = 3*p + 2*x, -2*x - c*x = p - 8. Let t be 234/14 - p/7. Solve 28 = -s + 5*y, -5*s + 2*y = 8 + t for s.
-3
Suppose -5*l - r = -12, 4*l + 8 = -r + 17. Suppose y = l*y - 10. Solve y*j - 3*z = 17, -4*j = -4*z + 4 - 24 for j.
1
Suppose -3*v = 3*v - 162. Solve 4*j = -2*n + 26, 3*j = -n - 2*n + v for n.
5
Suppose 9*f - 5*f - c = 17, -3*f + 9 = 3*c. Solve -5*p + f*a = 19, -2*p + 0*a + 4*a = 10 for p.
-3
Suppose -7*y + 2*y + 20 = 4*v, 2*y = -3*v + 8. Suppose c = -2*j + 10, -5*j - 3 - 2 = -5*c. Solve 0 = 4*x + 2*w - 14, j*x - 2*w - y - 10 = 0 for x.
4
Let u(g) = -g**3 + 6*g**2 + 4*g - 4. Let h be u(4). Suppose -3*f - 3*n = 2*n + h, -3*n = 12. Let x be ((-10)/f)/5*4. Solve 0*i - 1 = i - m, 3*i - x = 5*m for i.
-3
Suppose 4*b = 55 - 15. Let z(j) = -9*j**2 - 10*j + j**3 - j**2 + 0*j**2 + 2 + j**2. Let l be z(b). Solve 3*v - 2*a = 21, l*v + 0*a = -a + 7 for v.
5
Suppose -2*n + 14 = 6. Suppose -4*a + n = 4*s, 3*a - s = a + 14. Solve 5*u + 2 = -m - 3, -5*m = -a*u - 35 for u.
-2
Suppose 4*s + l + 17 = -0*l, 5*s - 4*l - 5 = 0. Let u = 12 + s. Solve -r - u = 3*c, -3*c = c + r + 12 for c.
-3
Let v(t) = -2*t. Let x be v(-1). Suppose x*y + 0 = 10. Solve -2*a = 5*i - 7, 5 + y = -4*a - 2*i for a.
-4
Let w = 0 - -3. Let l be (0*w/9)/(-2). Solve 4*y - 3*a + 2*a = -20, l = -4*a for y.
-5
Suppose -3*i + 18 = -i. Let x(a) = -a - 6. Let s be x(-11). Solve -s*r + 22 = -k, -k - i = -2*r + 1 for r.
4
Let i(a) = 5*a**2 - 11*a + 4. Let x be i(2). Solve 5*n + 2*l + 15 = -0*l, x*n + l + 6 = 0 for n.
-3
Let r = -114 + 115. Solve 0 = 4*s + 4*u - 16, 3*s + u + r - 15 = 0 for s.
5
Let b = -16 + 20. Solve 0 = 5*f + 3*u - 26, -5*f - b*u + 28 = -0*u for f.
4
Let f = 1 + 2. Suppose b + f = 16. Solve 4*k + 3*t - 12 - b = 0, 12 = 4*t for k.
4
Suppose 0 = -o + 3*w + 6, -7*w - 16 = -2*o - 2*w. Solve 0 = -4*k + 2*q - 6*q - 24, 2*k = -4*q - o for k.
-3
Suppose 0 = -3*m - 0*m + 57. Suppose -4*k - 20 + 0 = 4*y, -5*k - m = 4*y. Let o = y + 9. Solve -2*j - w = -6, -j = -5*w - o - 11 for j.
4
Suppose -3*r + 1 = -5. Let g be (8/28)/(r/14). Let s = 