 1 - t, 3*s + 22 = -2*j for j.
-5
Let i = -31 + 31. Solve i*h - 2*l - 2 = -2*h, 3*h = -l - 9 for h.
-2
Suppose 9 = -4*p + 21. Solve -5 = -p*f - 5*v, -v = -f - 6 - 3 for f.
-5
Suppose 5*g - 5*h = 60, -2*g = -6*g + h + 42. Solve -a - 7 + 1 = 2*o, 0 = -2*o - 5*a + g for o.
-5
Let k be (-4 + -3)*12/(-14). Solve q = -2*g - k, 0 = -2*q - 3*g - 6 - 5 for q.
-4
Suppose 7*a = 26 - 12. Solve -6*p - 4*j = -a*p, 0 = -5*p - 3*j - 4 for p.
-2
Suppose -5*h = -4*t - 9, t = h - 4*t + 15. Solve h*g - 2*g - 3*l - 9 = 0, -17 = -5*g + 4*l for g.
5
Suppose 2*k = -4*q + 24, 3*q + 20 = 2*k + 6*q. Solve 0 = -k*u - 4*t - 24, 4*u + t = 5*t + 8 for u.
-2
Let h(u) = -u**2 + 4*u - 1. Let k be h(4). Suppose -r = -5*t + 4*r - 20, 3*r = -3*t - 36. Let i be k/4 + (-18)/t. Solve i*f = -4*b + 3*f + 6, 4*f = 4*b for b.
2
Let k = 25 - 23. Solve -x + 7 = -6*x + k*z, 0 = -3*x + 2*z - 5 for x.
-1
Let m be (16/(-10))/(14/(-35)). Solve 0 = 2*g - 4*y + 7 - 1, 4*y = m*g + 4 for g.
1
Suppose 7*w + w = 64. Let a be 4/18 - (-34)/9. Solve 3*i - 3*s - 10 = 2*s, w = -3*i - a*s for i.
0
Suppose -3 = -5*m + 17. Solve 0 = 5*h + m*d + 25, -2*d + 5*d = -3*h - 15 for h.
-5
Let u be (6 - 6)/(-1 - -3). Let n(d) = -d**2 - d. Let g be n(0). Suppose g = z - u*z - 6. Solve -4*i + o = -o + z, -12 = 4*o for i.
-3
Suppose 2*y = -3*y + 45. Solve -2*t - 13 = -d, t + 2*d = y - 3 for t.
-4
Suppose -4*b + 23 = -13. Suppose 14*f - b*f = 0. Solve -m = 0, f = -2*r - 0*r - m + 6 for r.
3
Suppose 2*i - 10*i + 40 = 0. Solve -5*d = i*v - 10, v = 2*d - 5*d + 10 for d.
4
Let w = 3 - 11. Let t = w - -12. Solve 9 = -2*z - g, -4 = -2*z + 4*z - t*g for z.
-4
Let p = -155 - -112. Suppose -10 - 58 = 4*f. Let l = f - p. Solve 2 = k + 4*s + l, 3*s + 11 = k for k.
-4
Suppose 0*z = 2*z - 24. Solve k + 2*x + 4 = -2*x, 3*k - 4*x + z = 0 for k.
-4
Suppose 0 = -2*g - g + 21. Let z = 7 - 5. Suppose 16 = 3*a + k, 1 + 6 = z*a - 3*k. Solve -15 = a*l, 5*l = f + l - g for f.
-5
Let u(b) be the third derivative of -b**5/60 + 3*b**4/8 + b**3/3 + b**2. Let v be u(9). Solve 2*z - 20 = 4*f, v*z + 3*z = -4*f + 8 for f.
-3
Suppose -3*x + 16 = -5*b, 2*b - 4 + 2 = -3*x. Suppose -5*r - 6 + 34 = z, 2*z + 5*r - 31 = 0. Solve 0*j + k - z = -j, k - 3 = x*j for j.
0
Suppose 2*i = -17 - 3. Let z = i - -14. Suppose 2*s = -d + 7, 3*d + s - z*s = 12. Solve 4*k - d*v + 21 = 0, -k + 11 = -0*v + 2*v for k.
1
Suppose -3*i = -3*j - 258, -3*i - 2 - 155 = 2*j. Let d = -50 - j. Solve 5*r = 4*v + 17, -4*v + d = 4*r + r for v.
2
Suppose t + 4 - 7 = 0. Solve -16 + 1 = t*h, 0 = 3*r + 5*h + 19 for r.
2
Suppose 5*c - 2*t - 30 = 2*t, 2*t + 20 = 5*c. Suppose c*i + 2 = 3*o - 0*i, -4*i + 12 = 2*o. Solve 0 = -v + 2*d - 2, -4*d + o = -0*v - v for v.
-2
Suppose -h = -h - 5*h. Solve s - 2*s + 10 = 4*r, h = -s + 2*r - 8 for s.
-2
Suppose 4*f + 56 = 5*o - 3*o, 56 = -4*f - 3*o. Let r be (-60)/f - 6/21. Solve -7 = -a - 2*a + 2*i, r*a - i - 16 = 0 for a.
5
Let a be ((-6)/(-15))/((-2)/(-20)). Let q = a - 2. Suppose 143*o - 136*o - 77 = 0. Solve 2*j + 5 = -3*p, j - q*p - 26 = -o for j.
5
Suppose -3*i = -i - 4. Suppose -i*m + 64 = 2*m. Solve 0*u - 4*u - 26 = -3*n, 0 = 2*n + 4*u + m for n.
2
Let c(d) = d**2 - 4*d - 12. Let x be c(6). Let w = x + 5. Solve 4*h = 4*i, -3*h + 8 = -4*h + w*i for h.
2
Let r be (4 - (4 + -1))*4. Solve 4*m - 5*w = -7, -m + 5*m + 16 = -r*w for m.
-3
Let d be (0 - 1)/((-10)/(-40)). Let h = d + 7. Solve -5*r + 3*s = 13, h*r + 2 = -3*s - 1 for r.
-2
Suppose u = -5, 5*f - 50 = -2*u + 15. Solve 5*q + 4*b - f = 3*b, q + 3*b - 3 = 0 for q.
3
Suppose 2*b = z + 2, b = -2*b - 2*z + 3. Solve -4*j + 2*a + 5 = -b, -5*j - 3*a = 9 for j.
0
Let s(m) = -m**2 - 11*m - 2. Let v be s(-7). Solve -2*l - 4*d + v = 0, 2*l - d + 4 = d for l.
3
Suppose 1 = u + 7. Let t = u - -6. Solve t = -f, 2*f + 3 = -0*o + o for o.
3
Let v = 7 - 3. Let x = v - 2. Suppose -2*m - x*m = -20. Solve -3*u + 6*u = -m*o - 8, 5*u = -o + 16 for o.
-4
Suppose 6*w = 3*w + 6. Solve 0 = -5*b + 3*t - 28, -w*b - 4*t - 1 = -b for b.
-5
Let h(l) = l**2 - 4*l + 5. Let u be h(5). Suppose -3*k = -3*s + 9, -k + 22 = k + 5*s. Let z be k*50/(-6)*-3. Solve 5*d = -3*q - 0*q + z, u = 2*d - 2*q for d.
5
Let x = 24 - 19. Solve 5*h + 33 = 2*r, x*r - 10 = -h - h for r.
4
Let g(x) = x**3 - 3*x**2 - 5*x - 1. Let r be g(4). Let j = r + 14. Solve -1 = -4*a - 3*s + 7, -a + s = -j for a.
5
Let j = -12 - -15. Suppose 4*z - j*r - 58 - 27 = 0, 5*z + 4*r - 114 = 0. Solve 2*f = -4*c + z, 8*c = -4*f + 3*c + 35 for f.
5
Let o(i) = i**3 - 5*i**2 + 2*i - 2. Let a be o(5). Solve -m - 11 = 3*k, -4*k + m - 2 - a = 0 for k.
-3
Suppose -6*r + 20 = -r + 5*a, 3*r + 4*a - 12 = 0. Solve -16 + 41 = -r*b - v, 5*b + 2*v + 35 = 0 for b.
-5
Suppose -4*z + 60 = q + 3*q, -5*z - 21 = -3*q. Let g = q + -7. Let u(m) = m**2 - 3*m - 7. Let s be u(g). Solve 2*y - s*y = -3*a + 9, -3 = -5*y - a for y.
0
Suppose q = 3*l - 6, 0 = -2*q + 4*q + l - 2. Solve 2*c - 13 = 3*b, 4*c + 24 = -4*b - q*c for b.
-5
Suppose -2 = -0*z + z. Let n = z + 5. Suppose n*f - 4*f + 4*o - 4 = 0, -4*f - 3*o = -3. Solve 3*q = -3, 4*d + 4*q - 2 + 18 = f for d.
-3
Suppose 16 = -4*c, -2*t + 4*c = -0*t - 52. Let j be -2 + 7 + (-4 - -2). Solve -8 = -z + 3*q, -j*z - z - 2*q = -t for z.
5
Let m be 1/9 + 470/(-18). Let j be ((-14)/5)/(1/5). Let i = j - m. Solve -3*x - 4 = -s - i, -4*s - 25 = -5*x for s.
-5
Suppose 4*b + 2*b = 168. Solve -b = 4*x - 4*p, -6*x + 2*p - 20 = -x for x.
-2
Suppose 0*a + 15 = 5*h + 3*a, -h - 20 = -4*a. Solve -x = 3*q + 2*x - 18, h = -3*x + 12 for q.
2
Suppose 21 = 7*h - 7. Solve 4*p - 4*k - h = -0*p, -k - 1 = -4*p for p.
0
Suppose 6*c - v = 2*c + 17, -5*c + v + 22 = 0. Solve -c*n - 4*m = -3*n + 4, 0 = -5*n + 4*m + 4 for n.
0
Let p = 49 - 27. Solve -4*m + 5*r + 25 = 0, 0*r - 2*r - p = -4*m for m.
5
Let n(a) = -a**3 - 7*a**2 + 7*a + 4. Let q be n(-8). Suppose -3*m + q = -3*k, 4*m + 2 - 18 = -k. Solve 3*l + m = -4*b + 12, -10 = -5*l - 5*b for l.
0
Let x = -34 - -27. Let g = x + 11. Solve 0 = 2*p - g - 0, 2*y - 3*p = -4 for y.
1
Let s(r) = r**3 + 8*r**2 + 2*r + 16. Let h be s(-8). Solve p - 3*b + 3 = 19, h = 3*p + 2*b + 7 for p.
1
Let f = -49 + 54. Solve 2*w + 4 = 3*w - 2*d, -d - 13 = f*w for w.
-2
Suppose -4*k = -z - 9, 0 = -0*k + 2*k + 5*z - 21. Let d be (-10)/3*(1 + -4). Solve 2*l - 4*l + m = -6, 2*l - d = k*m for l.
2
Suppose -57 = -2*k + 2*v - 5*v, k + 4*v - 26 = 0. Solve -3*a - 45 = -2*q - 20, -2*a - k = -4*q for a.
-5
Suppose -j - 12 = 3*j. Let i = j - -6. Let o = -124 + 128. Solve 5*h + o*n - 36 = h, 2*h + i*n = 22 for h.
5
Suppose -q - 4*q + 2 = -3*z, -5*q - 4*z = -9. Suppose -t = f - q, -2*f + 4 = t - 0. Solve w - i = -f, 0 = w - 4*i + 2 + 7 for w.
-1
Suppose -4 = 2*l, -2*o - 4*l + 12 = -9*l. Let p be -1 - -4 - o - -2. Suppose p*d - 3*d - 4 = 0. Solve y = 3, 4*z - d = 7*y - 3*y for z.
4
Let z = -105 + 105. Solve -t - 5*h + 0 = 20, -2*h - 8 = z for t.
0
Let p be 3 + (-2)/3*9. Let u = p - -6. Suppose -6*m + 4*m + 3*h + u = 0, -3*m + 2 = -2*h. Solve 8 = -4*y, 2*r - r - 2*y - 1 = m for r.
-3
Let m = 7 + -3. Suppose -m*l + 18 = -2. Let d(v) = -8*v - 3. Let x be d(-2). Solve 0 = -t - 3*p, -x = l*t + p + p for t.
-3
Suppose -2*n + 4*n + 5*s - 36 = 0, -4*s + 56 = 5*n. Suppose -2*m - 2 = -l, 8*m = l + 4*m - 8. Let x = l + n. Solve 0 = -3*t - t + 16, -x*v + 2*t = 0 for v.
2
Suppose 0 = -3*p - 2*w + 56, 2*w + 4 = 6. Let q(b) = p*b**2 + 1 - 7*b**2 - 10*b**2 - 4*b. Let i be q(5). Solve 12 = -4*o - h, -2*o = -h - 4*h + i for o.
-3
Let u = -32 - -36. Solve -u*r = 4*h - 4, h + 23 = -5*r + 8 for h.
5
Suppose -16 - 4 = -4*y. Solve -19 + 5 = -y*j + 3*d, 5*d - 22 = -3*j for j.
4
Suppose -2*d - 252 = -6*d - u, -4*d + 240 = 4*u. Let i = d - 42. Solve 0*r + 4*r - 3*m = -29, -5*r - m - i = 0 for r.
-5
Let l(f) = f**2 + 16*f - 15. Let y be l(-16). Let g = y + 15. Let j(c) = c**2 + c + 5. Let s be j(0). Solve u = 2*t - 0*t + 4, g = 2*u - 3*t - s for u.
-2
Let h be ((-21)/9)/(-1) - (-4)/6. Solve h*s - 5*v - 17 = 6*s, 2*s - 14 = 3*v for s.
1
Suppose -3*z - 4*p + 0*p = 4, -4*z - p - 1 = 0. Let w = z - -3. Suppose -w*l + 2 = -7. Solve -x = 5*g + l*x + 15, -x = -5*g - 15 for g.
-3
Let q = 10 + -6. Let o(z) = -z + 4. Let w be o(q). Solve -3*k + 2*b = -w*k - 7, 0 = 3*k - 3*b - 3 for k.
5
Let l be (-56)/10 + 4/(-10). Let c be -17 - -14 - (-18 - 0)/2. Let o = l + c. Solve 2*n = -3*h + 10, -3*n + o*h + 12 = 