 -5*o + 4*d + 20 for o.
4
Suppose -35*y = -32*y - 12. Solve a = 2*a - y*m + 16, -4*a - 10 = 2*m for a.
-4
Let o(j) = 4*j - 3 + j**2 - 3 + 3. Let g be o(-5). Suppose 5*n - g*n - 9 = 0. Solve 0 = -2*l + h - 0*h + 5, -3*l - n*h + 3 = 0 for l.
2
Let j be (-2)/((-28)/12 + 2). Solve -2*t + 2*c = -j, c - 6*c - 13 = -3*t for t.
1
Let i be (1 + (-4)/16)*4. Let g be (i - 2)*1*3. Solve -q - 4*j + 0*j = 15, -5*q + g*j = -40 for q.
5
Let w be (2 - 0 - 0) + -6. Let v be 2/w*(1 - 9). Solve 0 = v*t + 4*s, 3*s = t + 6 + 10 for t.
-4
Let z = 169 - 169. Solve -5 = -b, z = 2*n + 5*b - 3*b - 12 for n.
1
Suppose -c = -4 - 0. Suppose 64*q - 62*q - 24 = 0. Solve 0 = -p + 5*t + 3, 4*t - q = -c*p + 5*t for p.
3
Suppose 10 = 2*a + 2. Let w be 1 + 4 + (-2 - -1). Solve a*q = w, q - 1 = 5*s - 0 for s.
0
Suppose 4*o - 56 = 8. Let c be ((-1)/2)/((-2)/o). Solve -2*i + c*n - 6*n = -6, 0 = 4*i - n - 12 for i.
3
Let n(j) = -j**2 - 9*j + 13. Let a be n(-10). Suppose -6 = 3*f + a. Let o = f + 3. Solve 0 = 2*t + v - 7 - o, 2*v = 2 for t.
3
Suppose 0 = -n + 4 + 1. Solve -4*q - t = 17, -n*q + 4*t - 19 = 3*t for q.
-4
Let s be (-6 + 0)*4/(-8). Solve u - 5 = -2*p, 2*u + s*p - 5*p = -14 for u.
-3
Let c be ((-8)/(-4) - -2) + 1. Solve 5*y = c*i - 10, 2*i + 1 = -3*y - 20 for i.
-3
Let h = 3 + -4. Let i = h - -1. Solve 2*u = 5*w - 3, 4*w - w + 4*u - 7 = i for w.
1
Let j = 5 - 1. Let w(l) = -l + 9. Let z be w(7). Solve -y = -5*y + q + 6, z*y - q = j for y.
1
Suppose 2*h = 4*q - 13 + 3, -5*q + 7 = 3*h. Solve 3*y + q*y = 2*z + 27, -25 = 5*z - 4*y for z.
-1
Let d(x) = 2*x**2 + x. Let m be d(1). Solve -4*v + 5*i = -m, -i + 2 = -5*v + 11 for v.
2
Let w = -2 + 21. Let h = w + -17. Solve -18 = -h*q + 5*m, -m + 5*m + 15 = q for q.
-1
Suppose 4 = 3*q - 8. Suppose -3*x - b = -5, -5*x + 0 = 5*b - 25. Solve -2*k + 4*d - 8 = -x*d, -4*k + 3*d = -q for k.
4
Let r = -77 + 79. Solve -r*o - 6 = -2*h, -h + 4 = -4*o + 2*o for h.
2
Let u(n) = n**2 - n - 7. Let q be u(0). Let o = 11 + q. Solve -5*g = 4*r - 4, 5*r - o*g - 19 + 55 = 0 for r.
-4
Suppose 0 = 9*d - 3*d - 24. Solve 2*o - 4 = -d*z - 24, 3*o = -3*z - 21 for o.
-4
Let s be 3 - ((-6)/4)/((-3)/(-4)). Solve 0*a + a + 5*v = -20, 0 = 4*a + s*v + 35 for a.
-5
Suppose 1 + 5 = 2*v. Solve -4*h + v*l = -5, 0 = 4*l - 12 - 8 for h.
5
Let q be -7*2/(-1 - 1). Suppose 3*m + 15 = 21. Suppose -m*i + q = -3. Solve -4*f + 10 = 5*h, -i*h - f = -0*f + 5 for h.
-2
Let l(m) = -m**3 + m**2 + 6*m + 2. Let a be l(3). Suppose -g - 5*k - 11 = -2*k, k = -5. Suppose a*h - h = g. Solve 2 = w - 2*z - 0, -3*w + h*z = -2 for w.
-2
Suppose -2 = 5*d - 17. Suppose -2*o - 5*x = -23, 8 - 21 = -o - d*x. Suppose 1 + 7 = o*k. Solve -k*i = 5*n + 13, -4*n - 2*i = -6*i - 12 for n.
-1
Let v = -6 + 6. Let x be (v - (-2 + 2))/1. Solve 3*u = -5*b + 29, -2*b = -x*u - 5*u + 7 for b.
4
Let i = -10 - -8. Let n = 7 + i. Solve -4*w = 0, -15 = n*p - 4*w - 0*w for p.
-3
Let o be (-1)/5 + 96/30. Solve -2*t - 3*t = -4*c - 1, 0 = -c + 4*t - o for c.
1
Suppose 0 = -3*w + 5*w. Suppose 0 = t - w - 9. Solve -5*r + 15 = -2*x, -3*r + 0*r = 3*x - t for x.
0
Let j(w) = -w**2 - 8*w - 8. Let z be j(-7). Let q be (-2)/(z + 3) + -1. Let o = q - -4. Solve 0*s = 2*s + 4*d + 12, o*s + d - 3 = 0 for s.
4
Suppose m = -2*m + 12. Let o be (-2)/(10/3 - m). Solve 0*x - 12 = -4*x + 3*f, 9 = o*x - 2*f for x.
3
Let t be 0/(-1) + (-4)/1. Suppose q - 9 = -2. Let h = q + t. Solve -r + 2*r + h*p + 14 = 0, 6 = r - 2*p for r.
-2
Let n be (-1)/(-2*2/(-4)). Let z be 6 - 0/(2*n). Let c = z + -3. Solve -q - 3 = -2*m, -c*q + 2*q + 17 = 3*m for q.
5
Suppose -4*c = -2*j - 24, -1 = 2*c + j - 5. Solve 2*w + c*b - 6 = 4, -2*w + 4*b = 22 for w.
-3
Let u(f) = 4*f + 4 - 2*f - f. Let k be u(0). Solve 0 = -m - 5, 0 = -k*j + 2*m + 3*m + 5 for j.
-5
Let d be 5 + (-3 - -1) + 5. Suppose 0 = -3*o + p + 11 + d, 0 = -4*o - 3*p + 34. Solve -3*a - n = o, -2*n = 2*a + n + 14 for a.
-1
Let g(z) = z**3 - z**2 + z - 1. Let d be g(0). Let q be (-3)/6*-20 + d. Solve -m = 3*h + q, -4*m + 6 = -2*h - 5*m for h.
-3
Suppose 0 = 6*m - 30 - 24. Solve d - 3*l - m = -4, 3*l + 10 = 2*d for d.
5
Let c(p) = 2*p - 4. Let x be c(4). Solve 0*d + 14 = x*r + 2*d, -3*d = r + 4 for r.
5
Let x = 51 + -31. Solve -4*z + 7 = 5*d, 0 = 4*z + z - 5*d - x for z.
3
Suppose -3*d - b = -d - 3, -3*b + 9 = -5*d. Solve -3*l = -r - 7, 5*r = -d*l + l - 7 for l.
2
Let f(q) = -3*q**2 - 2*q - 1. Let y be f(-1). Let w be (12/16)/(y/(-8)). Let i be 14/(-4)*-2*1. Solve 4*z + 4*c - 9 = w*z, -z + 4*c - i = 0 for z.
1
Let u(i) = i - 4. Let y be u(9). Solve 5*z = x + 3*x - 3, 0 = 2*z + y*x - 12 for z.
1
Let x be (6/5)/(4/10). Suppose -n = -x*n - 8. Let y(z) = -z - 1. Let c be y(n). Solve 9 = c*u - 2*u + 2*l, -5*l - 5 = -3*u for u.
5
Let h be 2/(-5) + (-45)/75. Let q be ((-3)/(-6))/h*-10. Solve -14 = -2*i + 5*i - q*x, -5*i + 14 = x for i.
2
Let y(i) = -i + 7. Let h be y(5). Let j(l) = l + 18. Let f be j(-8). Let p be 225/f - 1/h. Solve 4*w + w - p = r, 6 = -w - 5*r for w.
4
Suppose 3*p = 2*z + 34, 2 = 4*z + 22. Suppose 0 = -4*o - p, 0*k + 5 = k + 5*o. Suppose -3*w + 0*w = -k. Solve -d = -5*i, 0 = -0*d + 2*d - w*i - 5 for d.
5
Suppose 0 = -5*a + 30 - 5. Solve 0 = 5*m + 5*d - 10, 3*m + 6 = a*d + 28 for m.
4
Let n be 420/26 - 4/26. Solve -c + 4*x - 3 = 8, -4*c = -x - n for c.
5
Suppose 0 = 5*v + 4*l - 15, 12 = 8*v - 4*v + l. Suppose -8 = -m + v. Solve m = 5*u + 3*n, 5*n + 1 = -u + 12 for u.
1
Let i = -10 - -14. Let x be (16 - 6)*i/10. Solve 2*y - 5 = -3*b + x*y, 5*b - 2*y - 15 = 0 for b.
5
Suppose -5*s - 5 - 15 = -2*u, -5*s - 5 = u. Let a = 6 + s. Solve -a - 5 = 2*b - 5*m, -4*b - 3*m = -21 for b.
3
Suppose -3*q = 6 - 0. Let y = q - -5. Suppose h - 8 = -y. Solve h*l - 5*s = 3*l + 21, -3*l - 21 = 3*s for l.
-2
Let p = 2 - 0. Suppose -6*j = -p*j. Solve 0*q + 3*l + 9 = q, j = l + 4 for q.
-3
Suppose 0 = -2*t - t - g + 16, 0 = -4*g - 8. Solve -6*d + d - 30 = -5*a, -a - 5*d - t = 0 for a.
4
Let h(i) = -2*i**2 + i + 1. Let r be h(0). Let a(l) = -l + l**3 + 0*l**3 + 5*l**3. Let g be a(r). Solve 0*w + g*w = -x, 3*x = -3*w for x.
0
Let d(b) = b**3 + 0*b**3 + b + 0*b**3 - 3*b**2. Let v be d(3). Solve 2*p + 8 = 0, 5*p + 30 = 2*k + v*k for k.
2
Let j = 4 + -2. Let b be 2 - (j/2 + 1). Suppose -4*o - 20 = -3*t, 0*t - t + 5*o + 14 = b. Solve 27 = -3*p - t*w, 8*p = 5*p - 5*w - 30 for p.
-5
Let j be (3*1 - -1) + -1. Suppose 2*y = 4*y - 4. Suppose 0 = -y*z + 2*r + 58, r - 60 = -2*z + 4*r. Solve -5*o + z = j*k, -k - 2 = -o - 3 for o.
3
Suppose 2*c + 6 = -5*a + 2, 2*c = 4*a - 4. Solve 15 = -4*l + 3*q, -12 = 3*l - 3*q - a*q for l.
-3
Let g(h) = -h**3 - 11*h**2 - 11*h - 7. Let s be g(-10). Solve 0 = 2*m - 3*d + 8, -d - s*d = -m - 4 for m.
-4
Suppose -3*j + 6 = -0*j. Suppose y = j*d + 3 + 10, -3*y - 5*d - 5 = 0. Solve 4*w + 4*b = 6*b - 24, y*b = -5*w for w.
-4
Let b = 104 - 102. Solve -j + l + 8 - 4 = 0, -b*l - 15 = 5*j for j.
-1
Let m(j) = 8*j - 20. Let d be m(5). Solve -2*f - q + 5 = 0, 2*q - d = 6*q for f.
5
Suppose -5*s + 4*x + 88 = 0, x - 43 = -3*s + 20. Suppose 5*c = -8 + 18. Solve -2*b + s = -4*t, c*t = 5*t - b + 13 for t.
-3
Suppose 4*d + 0*j = -2*j + 22, d + j = 6. Suppose 0 = 3*c - c - 4. Suppose -2*b = c*b - 60. Solve -n + 25 = -4*s, -n - n - b = d*s for s.
-5
Let z(h) = 3*h - 19. Let k be z(8). Solve i + 5*w + 15 = 0, 7*i + k*w = 3*i for i.
5
Let m = 10 + -6. Suppose -10 = -a + 2*w, -2*a - m*w - 3 = 1. Let l = -3 + 8. Solve 0 = -o - 2*o + 4*k - 17, l*o - a*k + 23 = 0 for o.
-3
Let a be (1 - -6) + 1*-2. Suppose -3*o = -o - 52. Solve -4*n - 1 = 4*z - 25, 4*z + a*n = o for z.
4
Let a be (1/(-1))/((-5)/175). Let g = 61 - a. Suppose 6*s - 2*s = 3*p + 10, -18 = -4*s - p. Solve -15 = -s*i + 3*j, -3*i - 4*j = -6 + g for i.
0
Suppose -5*t = q - 11, 0 = t + 2*q - 5*q + 1. Solve -h + 2*i - 1 = 0, 3*i + t*i = -5*h + 10 for h.
1
Let g = 8 + -6. Suppose 0 = g*c + 6, -2 = -2*t - c - c. Solve 9*m + t*d = 4*m - 30, 5*m + 20 = -2*d for m.
-2
Let g = -1 + 4. Suppose u - g*u - 4 = 0. Let h be (-2)/u + (-248)/(-8). Solve b + 9 = 3*c - 7, -5*b - h = -3*c for b.
-4
Suppose 0 = 2*g - 7*g + 5. Let h be (4/(-5))/((-1)/5). Suppose -2*q - 3*z = 2*z - 15, h*z = q - g. Solve -3*x = 3*r + r - 5, q*r = 25 for x.
-5
Let o(f) = -f**2 + 9*f + 12. Let t be o(10). Suppose -v + 9 = t*v. Solve -3*d + 6 = 0, 3*i - 4*i - d = v for i.
-5
Let k = 30 - 25. Let w(b) = b**