-2*d + 16, 4*d - 24 = 4*i. Let m = d + -10. Solve -3*o - 13 = 2*j, 5*j + 3*o = -m*o - 10 for j.
1
Suppose 5*x - l - 3 = 0, l + 2*l = 5*x - 9. Solve 5*h = 3*p + 2*h, 2*h - 6 = x for p.
3
Let h = 14 + -11. Solve 4*f - h*g + 4*g - 15 = 0, -1 = g for f.
4
Let s = 106 + -105. Solve 3*h = 3*g, -g + 0 = -2*h - s for h.
-1
Let n be 0 + -2 + -2 + 4. Suppose -o = -n*q + q, 6 = -2*o. Solve -2*y + 5*m + 6 = m, 0 = -2*y + q*m + 6 for y.
3
Suppose -5*o + 3*d + 13 = 0, o - 5*d = -d - 11. Solve 4*v + 6 = 4*i + 14, -o*v - i = 2 for v.
0
Suppose 5*g = 2*g. Solve 2*q + 0*q + 5*s - 27 = g, 2*q + 2*s = 12 for q.
1
Let y = 36 - 23. Let g = y + 3. Solve l = 4*w + g, -5*l - w = -l + 4 for l.
0
Suppose 3*b - 14 = -c, -3*c + 5*b = 4*b - 32. Let t be (1 + -4)/((-3)/2). Solve -t*k + x - 11 = 2*k, 0 = -5*k + 4*x - c for k.
-3
Suppose -2*m - 34 = -4*c - c, 2*c + 4*m = 4. Let g = -3 + c. Suppose 0 = -2*x + 5*j + 9, 4*x + 0*x + g*j = 5. Solve 0 = 3*t - 8*t + 25, -5*t = x*u - 27 for u.
1
Let g = -10 + 14. Let p be -1 + -3*15/(-9). Solve g*c + p*u + 8 = 0, 3*c = 5*c + u - 1 for c.
3
Let j be (-2)/(-6) + 4/(-3). Suppose 0 = -4*k - g + 6, 8 + 0 = 2*k - 2*g. Let h = k + j. Solve 5*x = 2*x - 2*y + 3, 0 = -x - y + h for x.
1
Let x(t) = -t + 6. Let m be x(5). Solve -5*j + 3*s - 6 - 7 = 0, -j = s + m for j.
-2
Let d be 4/4 + (2 - 0). Let o(b) = b - 5. Let l be o(4). Let k be (l - 0)*(-2 + -3). Solve 0 = k*u - 25, 2*j = 5*j + d*u - 15 for j.
0
Suppose -m = 4*m - 20. Suppose 2*x - 4*w - m = 0, 2*w = x + w - 2. Let j = 2 - 0. Solve -x*l + 41 = j*l - 5*g, -5*g = 25 for l.
4
Let o(z) = z**2 - z + 1. Let n be o(0). Let u = n - -1. Solve -16 = -4*p - a - u, 2*p - 18 = 5*a for p.
4
Suppose 7*g = 4*g + 9. Suppose -u - g = -2*u. Suppose -3*f - 5 = -4*f. Solve -7*c - u = h - 2*c, 15 = -5*h - f*c for h.
-3
Suppose -4*l = -0*l. Suppose a + 6 + 6 = 3*d, l = -4*d - a + 9. Solve -d*r = -3*c - 3, 2*c - 3*r - 2 = -5 for c.
0
Let g = 13 + -7. Let p be 57/21 + g/21. Solve -w - 2*l = -12, -3*w - p*l + 28 = l for w.
4
Let w(t) = -t**3 + 7*t**2 + 7*t + 11. Let y be w(8). Suppose 5 = -f, v - 7 = 5*v + y*f. Solve 0 = -b - 3*b + v*g + 14, -9 = -2*b - g for b.
4
Let z(k) be the second derivative of -k**3/6 + 7*k**2 - k. Let h be (2 - (-1)/1) + 4. Let s be z(h). Solve 4*d = 2*j + 2 - 20, j + s = -2*d for j.
1
Suppose -2 + 3 = s. Suppose m - 3*m = -26. Let h = m + -7. Solve 3*f - s = -4*j, -j + 2*f = h*f + 16 for j.
4
Let l = 0 + 2. Suppose 0*f - f - 1 = l*u, -5*f - u + 13 = 0. Solve 3*o + 6 = -f*h - 0*h, 10 = -2*h - 4*o for h.
1
Let n = 19 + -21. Let x be n/((0 + -4)/4). Solve 2*r = 2*t, -3*r - 4*t = x*r + 18 for r.
-2
Let n be (3/(-27)*-3)/(15/495). Solve i + 3*q - q - n = 0, q = 5*i for i.
1
Suppose h + 0 - 8 = 0. Let c be h/(-20) + 44/10. Solve -3*t = d + 5, -3*d - 5 = c*t + 5 for d.
-2
Let o be ((-1)/(-1))/(2/(-206)). Let h be o/(-5) - (-2)/5. Solve -2*w - h = 5*z, 0 = 5*z - 6*w + w + 35 for z.
-5
Let z be (-4 - -1) + (-16)/(-2). Suppose -y - 7 = -2*x, -3*y - z*x - 18 = -52. Solve 5*l + 20 = 0, -y*o - 4*l - 20 = 5 for o.
-3
Let f be (-76)/(-18) + (-4)/18. Suppose -v - f*w = w - 25, -5*w = -v - 25. Let d = 3 + v. Solve d*x + 8 = k, -2 = 5*k + 3 for x.
-3
Let g(q) = -4*q - 2. Let v be g(-1). Solve -v = 2*r, 4*l + r = 6*r - 11 for l.
-4
Suppose -3*a + 37 + 5 = 0. Let z = a - 10. Solve r - 3*k + 0 = z, 3*k = -6 for r.
-2
Suppose 2*z + 6 = z. Let t = z - -9. Solve p - 4*n = 13, t*n = -3*p + 5*n - 1 for p.
-3
Suppose -2*c = 4 - 14. Suppose 5 = c*j - 0. Solve -i + j = -2*r, 2 = -3*r - 4*i - 27 for r.
-3
Let n be (-1 - -3)*2/2. Suppose 2*r + n - 6 = 0. Suppose -f = -r*t + t + 6, 9 = 2*t + f. Solve 2*s + t*j + 20 = 0, -s + 3*j = -0*s - 1 for s.
-5
Let f(i) = -i**2 + 5*i + 3. Let j be f(7). Let k = -2 - j. Solve 0*w - k = 3*r + 3*w, -5 = 5*r - 5*w for r.
-2
Let m(x) = 2*x + 2. Let i be m(0). Solve 5*w + 5 = 0, w + 1 = -2*c + i*w for c.
-1
Suppose 4*u + u = -4*l + 2, -2*u - 2*l = 0. Solve 2*a - 6 + 2 = u*v, 4*v - 10 = -2*a for a.
3
Let l = 7 - 4. Let t be (l - 3)*1/2. Solve 2*k = -3*j - 11, 3*j = 2*k - t*j - 7 for k.
-1
Suppose -2*w + 8 = -2. Suppose 5*u - 6 = -2*n, -5*n - 5*u + 10 + 5 = 0. Solve -1 = 5*z - 5*h + 34, 0 = w*z + n*h - 5 for z.
-2
Suppose -4*v + o = -17, v - 2*o = -4*o + 11. Let z be ((-1)/3)/((-2)/12). Let s be 4/(z - (0 + 0)). Solve 0 = -v*g - k - 10, -g - 3 = s*k - 10 for g.
-3
Let d be 4/(-6)*15/(-2). Let z be (-2)/d - 284/(-10). Suppose 12 = -4*y, -z = 3*j - 8*j + y. Solve -x = 3*x + i - j, 4*i + 8 = -2*x for x.
2
Let t be 1/(-3) - 26/(-6). Suppose -t*a + 4*x - 4 = 0, -1 = -3*a + x + 4. Solve a*v - 2*r = 3, 2*r = -v + r - 4 for v.
-1
Suppose 0 = -5*z + 3*z + 4. Let p be 1 - 3 - (-10)/z. Let m be 2/p + 50/15. Solve 2*x - 5*a + 11 = m*x, 3*x + 2*a = 0 for x.
-2
Let h = -9 - -21. Let u = -13 - -18. Suppose 0*c - 3*c + 12 = k, 2*k - 20 = -u*c. Solve 2*q + q + 5*i + 12 = k, 4*i = 3*q + h for q.
-4
Let g(b) = -b**2 - 17*b + 42. Let x be g(-19). Solve -3*f + 32 = -x*l + f, 0 = -3*l + 4*f - 28 for l.
-4
Suppose -2*m + m = -3*q - 22, 4*q = m - 30. Let z = -2 + 0. Let j be q/(-5) - z/5. Solve -5*d - 25 = -2*r + 2, 3*r + j = -d for r.
1
Let p(o) = o**2 + 9*o - 7. Let x(r) = -r**2 + 9*r + 12. Let a be x(11). Let y be p(a). Solve l = 2*l + 4*z - 4, z + 10 = -y*l for l.
-4
Suppose s = -4*h + 2, -4*h = -2*h + s. Suppose -h + 2 = d + 3*b, -4*b + 2 = d. Let v be 2 + (d - -1*2). Solve -5*u + 3*o = -10, -o = -3*u - v*o + 6 for u.
2
Let s(u) = -u**2 + 4*u + 5. Let g be s(4). Let x = 22 - 12. Solve 4*v + 8 = -z, -g*v = -3*z + x - 0 for z.
0
Let c be (-2)/(-4) + 55/10. Suppose c*h - h = 15. Solve 2*w + 4 = 4*z, 2*z + 7 = -2*w - h for z.
-1
Let a = -15 + 10. Let f = -3 - a. Solve 5*g = -3*n + 12, 5*n - f*n - g = 12 for n.
4
Suppose 0 = 4*k + 5*l - 17, 1 = -2*k - 3*l + 10. Solve 2*w - b = -1, -w - 9 - 9 = k*b for w.
-3
Let k be 5 + -2 - (-2 - -5). Suppose -4*p - 8 = -3*p - 2*u, k = -5*p + u + 5. Solve -v - 6 = p*d, 5*v - 4*d + 11 + 5 = 0 for v.
-4
Let t be (40/25)/(2/5). Solve g + 14 = 5*j, -t*j = -g + 6*g + 12 for j.
2
Suppose 2*y + p - 4 = 0, -3*y - 2*y - 4*p = -4. Let m = -70 + 73. Solve m*w - y*v - 3 + 12 = 0, w + 3 = -5*v for w.
-3
Let n(o) = -2 + 2*o - 2 + 1. Let i be n(3). Suppose -b + i*c = -15, -2*b + c = -5*b + 5. Solve -b*d = 0, -3*d = -6*a + 2*a + 20 for a.
5
Suppose -4*o - 12 = -0*o + 2*u, 0 = -o - 4*u + 4. Let g = 16 - o. Let q(w) = -w**2 + 11*w + 5. Let k be q(10). Solve -g = n + 5*b - 0*b, -3*b = k for n.
5
Suppose 5*o + 2 = -2*j + 4, -j - 2 = o. Let f be 24*4/(-32)*j. Solve f = -4*d, -q + 3*d = -13 - 0 for q.
4
Let z(r) = r**3 + 6*r**2 - 7*r - 9. Let h be z(-7). Let v be 5/20 - h/12. Solve -3*y = -6*y + 4*p + 3, 4*p = y - v for y.
1
Suppose 0 = 5*q + 5, -h - 2*q + 0*q = 0. Suppose 0 = g + h*g. Solve 4*n + 2*w = 0, g = -w + 2*w for n.
0
Let g = -24 + 24. Suppose 4*u = -2*r - g*u + 36, 5*u = r + 10. Solve -o + t + 3*t = -8, 0 = 4*o - 2*t + r for o.
-4
Let g(w) = -w + 3. Let n be g(3). Suppose s - 2*s = n. Solve -3*r = 2*r + 2*t - 21, s = -3*r - 5*t + 24 for r.
3
Suppose -1 = 2*s - 3. Let k = 9 + s. Suppose 2*h + 2*j + 2 = -2*h, 0 = -5*j - 25. Solve 12 = 5*o + 5*c - 3, k = h*c for o.
-2
Let p be 6*(2/3 + 0). Let j be 4/(-6)*(-96)/8. Let i be (0 - j)*(-2)/4. Solve p*q = 3*h + 8, 0 = 2*q + 2*q + i*h - 8 for q.
2
Let b = -10 + 14. Suppose b*a - 8 = 0, -3 = s - 4*a + 2. Solve -4*w + z = -z + 10, 5*w + 18 = -s*z for w.
-3
Suppose 2*f - 3 = f. Suppose -f*n - 2*n = -10. Suppose -n = j + 4*y, 0*j + 49 = 4*j - 3*y. Solve 2*m = 2*u - j, -3*m - 2*u - 2 = m for m.
-2
Suppose 5*c = -5*i + 45, i = -c + 2*i + 7. Let x be 2/c + 600/32. Solve 5*u = -5*s - 35, 2*u + u + x = -2*s for s.
-2
Let m = 1 + -2. Let t be (-20)/8*(m - 1). Solve -10 = -4*n - n - 5*z, 0 = -3*n + t*z + 14 for n.
3
Let f = 19 - 19. Solve 0 = 5*n - 1 + 11, -s + 5*n + 13 = f for s.
3
Let b be 28*2/4 + (4 - 5). Solve -7 = -3*d + 2*f, -3*d - f = d - b for d.
3
Suppose -b + 7 = -5*q - 1, 4*q - 3*b + 13 = 0. Let k = 2 - q. Solve 3*s - 5*d + 0 = 11, -3 = k*d for s.
2
Suppose 0 = -3*l - x + 16, 2*l - l = -2*x + 7. Suppose 0 = -4*f - l*a + 47, 0*a = 4*a - 12. Solve 3*v + 2*o = 13, v - f = -2*v - o for v.
1
Suppose s - 4*s - 31 = -4*n, 3*s = 3*n - 27. Solve -n*f = 5*r, 2*r - r = -f for r.
0
Suppose 4 = 3*j - 5. Solve 0*p = j*p + 5*h - 2, -8 = -4*p - 4*h for p.
