= -0*s + 3 for i.
-1
Let u = 27 - -10. Suppose -3*z = -5 - u. Solve 0 = -2*l - 4*i + z, 0 = -l - 4*i + 7 + 6 for l.
1
Let m = -4 + 6. Suppose 36 = 4*w - m*w. Solve 5*v = 3*n - 40, -5*n = -2*v - w - 17 for v.
-5
Let u(k) = 2*k + 41. Let i be u(-18). Solve 0 = 4*j + 3*t + 12, 5 = -3*j - i*t - 4 for j.
-3
Let n be (-1)/2 - (-3)/(-6). Let u be (-1)/(-2 - n)*9. Suppose -4*a = 4*v - 20, a = 5*v - 10*v + u. Solve -5*g + 1 - 11 = 0, 2 = a*l - 3*g for l.
-1
Suppose d - 3 = 1. Let z = 9 - d. Suppose 0 = 3*m + 5*v + 4, -3*m = -z*v - 14 - 2. Solve 5*q - 4*u + 7 = -5, -5*u = -m*q - 15 for q.
0
Suppose 0 = 5*x + 3*k + 2*k, -4*x - 2*k - 8 = 0. Let n be ((-28)/x + -2)*1. Solve -n*o + 4*l = -16, -l = o + 2*l + 12 for o.
0
Suppose 4*d - 7 = 3*q + 20, -d - 2 = q. Let t = q - -8. Solve -3*f - 12 = t*n, n = 5*n + f + 19 for n.
-5
Suppose 0 = 4*a - 17 + 9. Solve 3 = -a*y + 4*y - u, 0 = 4*y - 5*u + 3 for y.
3
Let m = 1 - 0. Let t be 3/((-13)/16 + m). Suppose y = 7*b - 2*b + 20, 5*y - 5*b = 20. Solve -5*q + 5*j + 20 = y, -q - 3*q + 3*j = -t for q.
4
Let h = 56 - 52. Solve -4*i + 11 = -s - 13, h*i = -4*s + 4 for i.
5
Suppose 3*s = -s + 2*j + 10, 0 = 5*s + 3*j - 29. Solve f + 4*g + 3 = 2*g, 2*g = -s*f - 6 for f.
-1
Suppose 0 = l + l - 2. Let n = 4 - l. Let u be n*1*(-6)/(-6). Solve -2*z - 20 = -2*t, 4*t = u*z - t + 40 for z.
-5
Let o(y) = -y**3 + 5*y**2 + 6*y - 9. Let x be o(6). Let u be 2*-1 - (-1 - x). Let z = -7 - u. Solve 13 = -j + z*f, -5*f = 4*j + 1 - 34 for j.
2
Let d be (3/3 + -8)*3. Let x be (-4)/14 + 120/d. Let f be (-1)/(-3) - 10/x. Solve -4*k - 3*s = -5, f*k + 12 + 2 = 4*s for k.
-1
Let l(q) = 0*q + 2*q + 2*q - 2*q - 4. Let w be l(4). Solve -5*m - 3*f = -2, -5*m = -w*m + 3*f + 2 for m.
1
Let l(a) = -a**3 + 5*a**2 + 2*a - 4. Let q be l(5). Suppose -q*m = -m - 20. Let r be 2/4 + 10/m. Solve -8 = -2*p - 4*t, -r*t = -3*p - 0*t - 6 for p.
0
Suppose -4*v - 34 - 78 = 0. Let c be v/(-8) - 9/(-6). Solve s + 2*n + 6 + 1 = 0, 0 = c*s - n - 9 for s.
1
Suppose 0 = 2*j + b - 15 + 2, -3*j = -5*b + 13. Solve -i - j*w + 3 = 0, -3*i - 2*w - 7 = -6*w for i.
-1
Let b = -79 + 46. Let o be (-8)/(-28) - b/7. Solve -5*y - o*q = 5, -y - 2*q = -5*q + 9 for y.
-3
Let j = 1 - 1. Suppose j*f - f + 7 = 0. Suppose -f + 3 = -2*k. Solve -o = -5*q + 2*o + 11, 0 = 2*q + k*o - 14 for q.
4
Let y = -7 + 12. Suppose x + 10 = -4*x, a - 5*x = 16. Solve -a = 3*k + 6, y = -3*u - 2*k for u.
1
Suppose -5*i + 66 = o, 3*o - 12 = -2*i - o. Solve -s + 3*p = -i, -s = 3*s - p - 12 for s.
2
Let y be (-2 + 1)*-3 + 1. Suppose 2*i + y = 4*i. Suppose -23 = -2*u - 19. Solve -i*r + 2*v - 13 - 5 = 0, u = -2*r - 2*v for r.
-5
Let h = -4 - -8. Solve 6 = 2*i, h*a - i = -0*i - 7 for a.
-1
Let o(y) = y**3 - y**2 - y + 7. Let d be o(0). Let p = 12 - d. Let f = -26 - -28. Solve 0 = p*s + 3*h - 16, f*s = 2*h + 2*h + 22 for s.
5
Suppose 2*t + 5*q + 0 = 26, 2*t + 3*q = 18. Solve 0 = j - 4, -10 = -t*k - 6*j + 2*j for k.
-2
Let l = 2 + -17. Let p = 17 + l. Solve -5*k - 7 = v, 0*v - 3*k = p*v for v.
3
Let j = -9 + 11. Solve 7*s - m = j*s + 22, -3*m - 26 = -5*s for s.
4
Let l = -344 + 233. Let a be 4/(-14) + l/(-21). Solve -19 = -b - a*m, -3*b - 27 = -6*b - 5*m for b.
4
Suppose 3*g - 75 = -2*g. Let s be 6/g + 16/10. Let w = s - 2. Solve w*d = -2*d, z = 3*d for z.
0
Let h = -45 + 69. Let c be (-4)/(-6)*(-60)/(-8). Suppose -51 = -3*k - c*o + 15, k + o - h = 0. Solve g + 2*r - 2 - 7 = 0, -5*g = r - k for g.
5
Let g(z) = 2*z + 16. Let p be g(-7). Solve -3*f + 3*b - 4 = p, -6 = -3*b for f.
0
Let p be ((-10)/2)/((-1)/2). Suppose -p + 0 = -5*w. Let z(h) = 2*h**2 + 33*h - 14. Let o be z(-17). Solve -w*i + 5*k - 2 = 0, 2*i - o = -4*k + 13 for i.
4
Let o be (-4 - -4 - 0)/(-2). Let n(r) = r**3 - r**2 - r + 1. Let k be n(2). Solve -5*s - 5*a + 4*a = k, -3*s + a + 3 = o for s.
0
Let u(x) = x**2 - 6*x + 3. Let g be u(6). Let c = g + -1. Solve 3*w + 4*d - 3 = -4, c = d for w.
-3
Let u be (-17 + 23)*2/3. Solve 3*j + 11 + 0 = -u*w, -3*w = -4*j + 27 for w.
-5
Let a = 10 - 8. Solve -a*y + 0*i + 3*i + 5 = 0, 0 = -y + 2*i + 3 for y.
1
Let z = 0 + 2. Let y = 1 + -1. Let k(m) = -m**2 - m + 4. Let v be k(y). Solve v*b + 4 = n, -z*n = 2*b + n + 2 for b.
-1
Let p(x) = x**3 + 10*x**2 - x - 5. Let j be p(-10). Solve 5*a = 5*g - j, -a + 2 - 7 = -2*g for a.
3
Let z be (-3 + 3)/(-1) + 5. Solve -5*w = -z*k - 20, 5*w + 13 = 3*k + 33 for k.
0
Let n(w) = -w**3 + w**2 + w + 3. Let t be n(0). Suppose 0 = 2*o - 4 - 0. Solve -t*v - 1 = -o*d, 2*v - 2*d + 6 - 2 = 0 for v.
3
Let q be (16 + 0)/(-2 - -3). Solve 5*j + 19 = -2*b - 1, 4*j = -b - q for j.
-4
Let r be (8/6)/((-1)/(-15)). Suppose r = 2*j - 0*j. Solve 2*q + 4*a + j = 3*q, -2*q - 5*a - 6 = 0 for q.
2
Suppose -3*w - n = 19, -w + 5*n = -5*w - 40. Let k(z) = z**2 + 3*z - 6. Let s be k(w). Solve s*h - 3*q + 3 = -6*q, 0 = h - 2*q - 13 for h.
3
Let v(d) = d**3 - 5*d**2 - 6*d. Let n be v(6). Let h be (2 - 2)*(1 + n). Solve 3*r + 15 = -2*f - h*f, 5*r + 25 = -4*f for r.
-5
Let q be (-25 - 5)/(2*(0 - 1)). Solve z = -4*v + 5*z, 2*v - 5*z = q for v.
-5
Suppose -2*x - 2*p - 7 = 9, 4*x + 32 = -3*p. Let h = 8 + x. Let o = -5 + 7. Solve 5*a + o*m - 19 = h, 2 = -5*m - 13 for a.
5
Let b(p) = 2*p**3 + 2*p**2 - 1. Let y be b(1). Let t = 4 + y. Solve 3*k + 4*i = 9, -3*k + 2 = -3*i - t for k.
3
Let h(f) = f**3 + 6*f**2 + 2*f - 5. Let n be h(-3). Solve 12 = 3*s - b - b, -4*b - n = -4*s for s.
4
Suppose 60 = 3*b + 3*k, 2*b = -b + 3*k + 30. Suppose -y = 4*y - b. Suppose -6*q + y*q = -12. Solve 3*g - 6*g + q*x - 19 = 0, -5*g - 20 = 5*x for g.
-5
Let h(q) = -4*q + 1. Let t be h(-1). Suppose t*g = g. Solve -f = -4*z + 5, -9 = -5*f + 3*z - g*z for f.
3
Let l = 9 - 11. Let q be 2*l/2 - -3. Solve o + q = 3*x, x + 3*o = 6*x + 5 for x.
2
Let t be (6/9)/((-2)/(-9)). Let l be 40/12*(-24)/(-20). Solve -4*f + s + 21 + t = 0, -4 = -l*f - 4*s for f.
5
Let k be 12/8*28/3. Suppose -5 = 3*f - k. Solve f*m = 2*m + 4*b - 16, -2*m + 12 = 3*b for m.
0
Suppose -91 = -5*a - 11. Suppose 0 = n + a - 18. Solve -w = n, -2*w - 16 = 4*g - 4*w for g.
-5
Suppose 14*t - 15*t = -3. Solve -8 = 5*z - 3*f, -28 = t*z + 2*f + 2*f for z.
-4
Suppose -3*y + 10 = 2*z, -2*y + 3*z - 2*z - 5 = 0. Let u(g) = -g - 1. Let b be u(-3). Solve 3*o = -y*o - 2*a - 5, -b*a + 20 = -2*o for o.
-5
Let b(p) = -p**3 - 19*p**2 + 2. Let x be b(-19). Solve x*r + 3*c = -12, 3*r = -5*c - 16 - 4 for r.
0
Let h(d) = -2*d**2 - 4*d + 1. Let a be h(-3). Let r = 7 + a. Solve x + r*s = s - 6, -4*x - 3*s - 23 = 0 for x.
-5
Let a(u) = u**3 + u**2 + 4*u + 3. Let h be a(-2). Let d = h - -9. Solve -2*p + d*z - 2*z - 4 = 0, 3*p - z + 14 = 0 for p.
-4
Suppose -y - 27 = 5*s - 176, 3*y + 3 = 0. Solve -2*l - s = -z + 3*l, -5 = 2*z + 3*l for z.
5
Let t be 6 - 2*(-2)/4. Let n = t - 2. Solve -16 = 4*o + n*k + 21, -3*o = k + 14 for o.
-3
Suppose -o + 1 = 5*w, -4*o - 15 = -3*w + 4*w. Let c be 447/(-15) + w/(-5). Let f be c/(-4) + (-1)/2. Solve 3*x + 3*v = 18, -f*x + 2*x + 2 = -2*v for x.
2
Let p be (1/(-1))/(-1)*11. Suppose c - 6*c = 35. Let v = c + p. Solve -w = -2*w + v*f + 2, -5*w + f = -10 for w.
2
Let k = 1 - -5. Let v be 8/k*12/8. Solve -v*j = i + 3*i - 14, 4*i = -3*j + 17 for j.
3
Let y be (4/(-1))/((-3)/27). Let g = -20 + y. Suppose -4*h - g = 0, 3*r - h = h + 38. Solve 5*z + r + 15 = 5*n, -n = 3*z - 5 for n.
5
Suppose -10*l + 3 = -7*l. Solve 0 = 3*x - p + 6, x - l = -4*p - 3 for x.
-2
Let n(u) = -3*u**3 - u**2 - 4*u - 2. Let f(o) = -o**3 + o + 1. Let r(i) = -3*f(i) - n(i). Let m be r(1). Solve 5*q + 3*h = 7, q = 5*q + h - m for q.
2
Let l(r) = -r**2 - 6*r - 6. Let d be l(-3). Solve -4*b + d*z - 2 = 0, 0 = b - z - 3*z + 7 for b.
1
Suppose y - 3*o - 18 = 0, y = o - 2*o - 2. Solve -5*w + 3*p - 11 = 0, -y*w - 15 = 2*w - 5*p for w.
-1
Let f(s) = s + 2. Let g be f(-2). Solve -3*x - 14 = q - g*x, -4*q - 21 = 5*x for q.
1
Let g be (-38 - (-4 + 3))*-1. Suppose -4*m - v + 29 = m, -5*m - 3*v + g = 0. Let c be (-3)/2*(-8)/3. Solve c*k = -k + 25, -m*r = 2*k + 10 for r.
-4
Suppose 0 = -p + 3*p - 4. Suppose -t - 5 = 3*j, j = -p*j + t + 5. Solve j = -x - 5*l + 35 - 6, 0 = -5*l + 25 for x.
4
Let a(o) = -o**2 + 6*o + 9. Let j be a(7). Suppose j*i + i = 6. Solve 0 = 2*m + q - 3, q + 3 = -5*m + i*q for m.
0
Let k(d) = 6*d - 1. Let p be k(1). Solve 0 = -j - p*m - 8 - 0, 3*m = -j - 4 for j.
2
Let q = 46 + -46. Solve f = -q*f + 3*c