+ 3*l = -4, -3*w + 4*l - f*l = 12 for w.
-4
Suppose -3*n + 5*j = -22, -2*n = 2*j + 6 - 10. Solve -2*u - 28 = -n*b, 2*b + 6 = -4*u - 0*b for u.
-4
Suppose 0 = -v + 4*v. Let a be (-7)/(-5) - 15/(-25). Suppose f - i = -v*i + 2, -3*i = a*f - 9. Solve t - 4*t = -5*j + 35, -3*j = -f*t - 27 for t.
-5
Let j(x) = -2*x - 6. Let v be j(-5). Suppose -v*s + 23 = -1. Suppose 19 = m - 5*o, s*m + o - 9 = 3*m. Solve -y + m*y - 3*i = -9, -4 = 3*y + 2*i for y.
-2
Let l(x) = -x**2 + 3*x - 2. Let p be l(2). Suppose 0 = o - p*o. Suppose -2*n + o*y = -2*y, 3*n + 3*y - 12 = 0. Solve 3*u + 6 + 1 = -n*s, 2*u = 4*s + 22 for s.
-5
Let s = 9 - 4. Suppose -2*h - 2*n = -0*n, 4*h = s*n. Solve 4*z - 3*m = -m - 2, h = -4*z + 4*m for z.
-1
Let s be 2 - (6/2)/(-3). Solve -t = -2, 0*q - s*q + t = 8 for q.
-2
Let b be (1 - (-3)/(-3))/1. Solve b = -3*g - 7 + 22, -j - 2*g = -7 for j.
-3
Let g = -5 + 6. Let v = g - 1. Solve -3*f - u + 3 - 4 = v, 2*f = -u for f.
-1
Let m = 3 + 1. Let z be 0 + 0 + 0 + 4. Suppose 2*b + 5 = 3*b, -3*b = p - 19. Solve 0 = 8*f - p*f - 4*o + 20, z*f + 20 = -m*o for f.
-5
Let f = -2 - -3. Let b(u) = 2*u + 18. Let d be b(-7). Solve 4*v = -5*t - 41, 10 = t - d*v - f for t.
-5
Let s = 9 - 4. Suppose s*n - 11 = -1. Solve n*v + 13 = -3*j, -2*v + 28 = -3*j - 7*v for j.
-1
Suppose -7 = -2*b - 3. Suppose 4*x + 4*g = -g, 0 = 2*x + 3*g + b. Solve -5*p - 3*i = -18, -3 = x*p + 4*i - 22 for p.
3
Suppose 0 = 2*h + 5*h - 4*h. Solve 5*x = -10, 4*x + h*x + 23 = 3*a for a.
5
Let a(u) = -2*u - 18. Let c be a(-9). Let k = 0 + 3. Suppose -k*l = -p - 4*l + 1, -4*p - l = -10. Solve c = p*o + 4*j + 3, -3*o - j = 4*j for o.
-5
Suppose -o - 4*o + 73 = -4*a, 2*a = -5*o + 91. Suppose 3*c = o + 16. Solve 3 = -4*j - 2*m + 5, c = -3*j + m for j.
-2
Let d be (1 - (-7)/(-5))*(-15)/3. Solve 2*a - d*l = 12, -7*a + l = -2*a - 22 for a.
4
Let d be ((-16)/4 + 9)/(1/1). Solve 2*l = 3*i - 4 - d, 3*i - 9 = 3*l for l.
0
Let g(s) = 3*s - 1. Let t be g(1). Suppose -t = o - 2*o. Let a be (15/(-9))/(o/(-42)). Solve 2*d - 5 = 5*r - 3*d, -3*r = 5*d + a for r.
-5
Suppose 3 = 5*u - 22. Solve 2*v + 5 = -u*x, 5*x + 1 = x - v for x.
1
Suppose -4*s + 13 = -x, -s = 3*x - 3*s + 9. Let u = x - -1. Suppose -n + 5*n - 20 = u. Solve -n*i - 4*h = 0, -5*i - h = 2*h for i.
0
Let x be (-6 - -5)/(1/(-2)). Suppose -1 = 2*z + x*i + 9, -20 = -4*z + 4*i. Solve 2*u - 3*q + 6 = -0*u, q - 2 = z for u.
0
Let o be (-6)/(-15) + (-2)/5. Suppose -3*a + 15 = -0. Let f = -4 - -7. Solve 0 = -a*k + u - f*u + 15, -3*u = o for k.
3
Let g(h) = -17*h**3 - h**2 - h. Let i be (-6)/(-15) + 34/(-10). Let z be -1*(-4 + 1)/i. Let l be g(z). Solve w - 1 = v, -2*w - 3*w = v - l for w.
3
Let j be ((-20)/5)/(-4) - -2. Solve j*f - 9 + 25 = u, 3*f = -2*u - 4 for f.
-4
Let t(f) = f + 8. Let i be t(-4). Suppose v = y - i - 3, 0 = 3*y + 2*v - 11. Solve -3*r = 12, -y*l + 4*r = r - 12 for l.
0
Let k be (2 - 3/2)*10. Suppose 2*w - 7*w = 5*r - 75, k*w = 2*r - 9. Solve -4*x = -5*a + 16, 2*a - 3*x - r + 0 = 0 for a.
0
Suppose 4 = b, 4*a - 4*b = -8*b + 28. Solve -j - a*u + 6 = 0, 4*u = -5*j - 5 + 2 for j.
-3
Let r = -30 + 45. Suppose g = 6*g - r. Let t(y) = -y**3 - 2*y**2 - 2*y - 2. Let h be t(-2). Solve -l - 5 = -2*o - 0, h*o = -g*l - 7 for o.
1
Suppose -64 + 12 = -4*s. Let u = s + -9. Solve u*a + 4*g + 20 = 0, -5*g - 30 = 4*a - 6 for a.
-1
Let x(l) = 10*l. Let d be x(2). Suppose 0 = 3*a + 3, 6*y = 3*y + 5*a + d. Solve k - 5*k - 4 = -4*o, o = y for k.
4
Let k be (-6)/8 + 54/8. Solve -a + k*a + 3*d = -9, 3*d + 9 = 5*a for a.
0
Let a be 4/(-4) + (-2 - -2). Let r be (-110)/(-5) + (a - 1). Solve 5*d + 25 = -2*c, 2*c = 4*d - 0*c + r for d.
-5
Let i = 19 - -9. Let v be 4*(-2)/(-16)*i. Solve 3*p + 1 = -3*z - v, -3*p - 5*z = 23 for p.
-1
Suppose -2*m + 5*o = -16, 3*o = -m + 5*o + 9. Suppose 2*n + l - 5 = 0, 4*n - 3*l = -2*l + m. Solve j - 17 = 3*b, -5*j + n*b + 1 = -36 for j.
5
Let q(b) = b - 5. Let u be q(13). Let d = u - 6. Suppose 0 = 2*m + 3*j + 7 - 22, 4*m = j + 9. Solve m*l + 5*f - 2 - 7 = 0, d*l - 6 = -3*f for l.
3
Let d(q) = q**3 - 10*q**2 + 7. Let w be d(10). Solve -2*h - w = -3*v - 0, -2*v - 6 = -4*h for v.
5
Suppose 3*v = -12, t - 2*v = -v + 6. Solve 5 = w + n, t*w + n - 10 = -0*w for w.
5
Let i be (-1 + 0)*(-7 + -1). Let j = 6 + -3. Let z = 5 - j. Solve v + 5 = 2*q - 6*q, -z*q + i = 4*v for v.
3
Suppose -2*a = -2*t - 2*t + 22, -8 = -2*t + 4*a. Let k = t + -3. Let h(i) = i + 3. Let s be h(k). Solve -j + 3*u - 4 = 0, -5*u + s = -2*u for j.
2
Let a(n) = n**3 + 8*n**2 - 10*n - 9. Let s be a(-9). Solve 0 = i + i - 3*o + 11, s = -2*i + o - 1 for i.
2
Let f(d) = d**3 + 5*d**2 + 3*d - 4. Let a be f(-4). Solve a = 5*p + l - 20, -3*p + 1 = 2*l - 11 for p.
4
Let y = -11 + 25. Let z = y + 12. Solve x - z = 5*o, -2*x + 15 = 3*x - 2*o for x.
1
Let y = 7 + -2. Solve -16 = -2*b + y*q, 4*q + 14 - 4 = 3*b for b.
-2
Let s be 4 + 0 - 1/(-1). Suppose -5*t = -5*m, 3*m - s*t = m. Solve 4*p = m, 4*q - 5*p = -0*p + 8 for q.
2
Let i(b) = -2*b + 1. Let u be 0/3 + 1/(-1). Let x be i(u). Suppose 0 = -3*m + x*p + 12, -2*m - 5*p + 2*p + 18 = 0. Solve -m*r + r + 4*n = 9, r - 4*n = 11 for r.
-5
Let l be 9 + 1 + -3 + -2. Let a = 0 + l. Solve 5 = -3*p + 2*z, a*p = -2*z + z + 9 for p.
1
Let p = -33 - -36. Solve 5*c - 3 = c - p*r, -3*r + 3 = 5*c for c.
0
Suppose -5*s + 19 = 3*j, 20*j - 19*j - 5 = -s. Suppose -3*v + 11 + 1 = 0. Solve j = 3*x, x - 2*x = v*b + 7 for b.
-2
Let w = 54 + -49. Solve -w*m = -4*u + 27, 6 + 3 = -4*m - u for m.
-3
Let t be 4*(-2)/(-60) - 292/(-60). Solve -t*p + 5*j = 15, 0 = -p + 4*j - 2*j - 4 for p.
-2
Let u(d) = d**2 + 6*d + 3. Let k be u(-6). Suppose -6*p + 4*p + 4 = 0. Solve 3*q - p*f = 5*q, -k*f + 6 = 0 for q.
-2
Suppose 0 = 3*y - y + 12. Let v be y/(-10) + (-77)/(-5). Solve -3*g = 4*l - v, 5*g + 16 = l + 3*l for l.
4
Suppose 79 = -3*a + 346. Suppose 5*x - 21 = a. Solve 5*f - 3*k + 0*k - 2 = 0, -5*k - x = f for f.
-2
Let a = 77 + -45. Suppose -3*x = d - 12, -2*d + x + a = 1. Suppose -j = 4*b - d, -4*b + 0*j + 3*j = -3. Solve -6 + 1 = y, -y + 7 = -b*f for f.
-4
Let c be 89 - 4 - (-1 + 2). Let r be ((-1)/3)/((-2)/c). Suppose -g = 5*i - 22, 2*i - g - r = -2*i. Solve -5*f - u = 29, 3*f + 11 = -3*u + i*u for f.
-5
Let p = 2 - -1. Suppose -o - 4*b - 1 = 0, -p*o = -8*o + 5*b + 20. Suppose 4*u - 12 + 0 = 0. Solve -u*t = -o, -3*g - 5*t + 13 = -4 for g.
4
Let d(o) = -o**2 + 2*o + 8. Let a be d(4). Suppose -2*t + 76 = -4*w, 3*t + a*t = -5*w + 125. Solve -3*r = -3*y - 2*y + 30, 5*y = 5*r + t for y.
3
Suppose -n + 7 - 5 = 0. Let c be 142/8 + 1/4. Suppose 0 = -s - 3*s + 8. Solve -s*a = a + f - c, n*a = -4*f + 22 for a.
5
Suppose 8*g - 3*g = -250. Let m be ((-20)/g)/(2/10). Solve m*y = 3*j - 5, 0*y - 3*y + 40 = 5*j for y.
5
Suppose 0 = -4*u - 0*u. Let b = -95 - -152. Suppose -9*m + 6*m + b = u. Solve 5*y = -h + m, -2*h + 0*h - 10 = -2*y for h.
-1
Let j(z) = -z**3 - 19*z**2 - 21*z - 50. Let t be j(-18). Solve 2*p + 5*l = -0*p, -t*l = 0 for p.
0
Suppose 0 = -5*u - 48 - 32. Let z = u - -27. Solve a - z = 2*p, -3*p - 4 = -0*p + a for p.
-3
Suppose 5*f + 0*f = 0. Let y = f + 4. Solve -5*o = 4*i - 10, o + 4*i - 14 = y for o.
-2
Suppose -4*f - 19 = -7. Let i = f + 5. Suppose 4*r - i*p = -4, 0 = 5*p - 10 - 0. Solve -z = -t - 2 - r, 4*z - t - 8 = 0 for z.
2
Let w be (-8)/1*1/(-2). Let l(n) = -n**3 + 6*n**2 - 4*n - 1. Let s be l(5). Let q = w - s. Solve 0 = -3*z - 3*x, 3*x - x - 2 = q for z.
-1
Let h(x) = x**3 + 17*x**2. Let l be h(-17). Let z be (-3)/((-6)/16) + -1. Solve 5*s + z*g + 20 = 3*g, 3*s + 4*g + 12 = l for s.
-4
Let y = -130 + 130. Solve 0 = 4*h + 3*q - y*q - 3, -3*q = -5*h - 3 for h.
0
Let u(b) = b + 6. Let v be u(-6). Let n(c) = -c**3 - c**2 - c + 2. Let o be n(v). Solve 0*i = 5*h + o*i + 15, 4*i = -4*h - 24 for h.
-1
Let c be (2/(-5) - 0)/((-1)/5). Solve c*n - 4 = -0*b + 2*b, -4*n + 7 = -3*b for n.
1
Let c = -87 + 89. Solve -1 = 4*g - i, -c*g - 3*g = i - 10 for g.
1
Let s(i) = i**3. Let f be s(2). Suppose -l = l - f. Let x be (-3)/(14/20 - 1). Solve 2*q + 5*a = -0*q - l, 0 = -5*q - 2*a - x for q.
-2
Suppose 0 = -k + 6. Suppose 4*y = 6*y - k. Solve -b - y*b - 32 = 4*r, -r - 2*b = 13 for r.
-3
Let d(k) = -k**2 + k + 5. Let n be (0/4)/(0 + 2). Let q be d(n). Solve -2*f - 3*y = -4*f - 4, q*f + 3*y - 32 = 0 for f.
4
Let x(y) = 5*y - 3. Let z be x(7). Let c(m) = -m**2 + 2*m. Let 