 25 = f, -28 = 2*v + x*f for v.
-4
Let h = -19 + 23. Solve -h*c = q - 2*c + 7, 16 = -4*q + 4*c for q.
-5
Let b(w) = w + 2. Let z be b(2). Let k(t) = t**3 - 4*t**2 + 5*t + 3. Let a be k(z). Solve -5*c = -4*h - a, 0*c = 2*h + 4*c - 8 for h.
-2
Let v(u) = u - 2. Let n be v(7). Let b = -5 + 9. Suppose 2*q - 4*q = -b. Solve -q*d + 0*z = 3*z + 22, 4*z + 41 = -n*d for d.
-5
Suppose 14 = 5*i + m, 5*i = -m - m + 13. Suppose 5*y = 36 + 39. Let b = y - 10. Solve 4*d = -a + 9 + 4, 5*d + b = i*a for a.
5
Let i(a) = 7*a - 4. Let h be i(2). Let c = h + 3. Solve -4*z + 3 + c = 4*w, -4 = -2*z + 2*w for z.
3
Let y be 6/(-15)*(-75)/(-3). Let n(s) = -s**3 - 10*s**2 + 2. Let o be n(y). Let r be (25/(-10))/(o/(-4)). Solve x + 1 = -v, -r*x - 23 = 3*v - 4*v for v.
3
Let q = 3 + 7. Suppose -4*s = 5*n - 22, 0 = n - s - 3*s + q. Solve -n*w = -x - 6, w - x - 3 = -2 for w.
5
Suppose d + g = 3*g - 14, 6 = 2*g. Let x(o) = -o**3 - 8*o**2 + o + 7. Let k be x(d). Let h = k - -4. Solve 9 = -h*r + v - 8, -4*r = -v + 21 for r.
-4
Let s be 6 + -4 - 0/2. Suppose 4*f = s + 2. Let g(m) = m**2 + 5*m + 6. Let u be g(-4). Solve -2*b - 11 + 1 = -u*x, 0 = -b - 2*x + f for b.
-3
Let j be 28/4 - 4/2. Solve 4 = j*i + w, 3*i - w = -0*i - 4 for i.
0
Let l(p) = 3*p**2 + 9*p + 12. Let o be l(-4). Solve 4*u + 4*j - 18 = 2*u, 4*u = -2*j + o for u.
5
Let h be ((-8)/(-10))/(13/65). Suppose 4*t + 6 + 14 = h*b, 0 = -4*b + 3*t + 18. Solve -b*y + 0 = v + 1, -1 = -2*v - 3*y for v.
2
Suppose 0 = 3*w + 5*f - 26, -5*f + 32 = 12. Let v(q) = -w*q + q + 2*q. Let g be v(5). Solve 2*o = -3*o - 3*s - 15, -o = -g*s + 3 for o.
-3
Suppose b = -5*c + 4, -2*b - b + 5*c + 12 = 0. Solve b*y = r + 12, -4*r - 10 = y + 4 for y.
2
Let m(u) = -u - 7. Let q be (24/15)/((-4)/30). Let z be m(q). Let k = z - 2. Solve -3*o + 5*y = -2*o - 28, 0 = -k*o - 4*y - 11 for o.
3
Let m = -8 + 6. Suppose 2*l = -3*g + 4, g - 3*l + 8 = l. Let w be -3 + g + m + 5. Solve -2*k + 0*k + 5*q - 19 = w, 4*q - 8 = 4*k for k.
3
Suppose 4*d + 41 - 13 = 0. Let k = -1 - d. Solve -f = -2*m + 3, m + k = -2*f - 0*f for m.
0
Let y(q) = 1. Let i(t) = 2*t - 4. Let h(m) = i(m) + 6*y(m). Let z be h(1). Solve 32 = z*w - 4*o, -7*o + 2*o - 10 = 5*w for w.
3
Let y = -144 + 147. Solve u - 6 = y*o - 0, -o + u - 4 = 0 for o.
-1
Suppose 0 = w + 5*u + 21, 2*w - 18 = -0*w + 2*u. Suppose 0 = -4*m - 4. Let h = w - m. Solve 5 = 2*o + 3*i - 2, -4*i + 7 = h*o for o.
-1
Suppose -5*w = -5*d + 85, 5*w + 0*d + 64 = -2*d. Suppose -3*s - 48 = -s. Let b = w - s. Solve 5*v = -2*o - 3 - 0, b = 5*o - 5*v for o.
1
Let k be ((-8)/3)/(4/(-6)). Suppose -k*l + 2 = -2*o + 30, 2 = -l. Solve -n = -2*z - 3*z + o, -4*z + 17 = n for z.
3
Suppose 3*y - 6 = -0*y. Solve -2*c - 10 = k + k, y*k - 4*c = 14 for k.
-1
Let z(h) = h**3 - 5*h**2 + h - 3. Let p be z(5). Solve -4*b - k - 1 = 0, 2*b + 0*b - p*k = 12 for b.
1
Suppose 2*t = 3*x - 19, 3*x + 3*t + 16 = 5*x. Let f(a) = -6*a - 4. Let q = -22 + 19. Let v be f(q). Solve 5*o = -2*b + v, 0*o = x*b + 2*o + 7 for b.
-3
Let n(b) = b**2 + 2*b + 2. Let m be n(-2). Let r = -23 - -23. Let l = r + m. Solve -4*z - 18 = o, 8 = 2*o - l*z + 4 for o.
-2
Suppose -2*a + 7 + 1 = 0. Let x be 0/(a/(1 + -3)). Solve 2*m = -r - 3 - x, -3*r = -2*m + 17 for r.
-5
Let j(i) = i**3 + 3*i**2 - 2*i + 13. Let x be j(-4). Solve x*a + 8 = 2*a - s, -a + 5*s = -24 for a.
-1
Let r be (18 + -20)/(1/(-12)). Solve -3*p - 3*m - 20 + 2 = 0, p - 5*m = r for p.
-1
Let c(o) = -5*o - 10. Let g be c(-3). Solve -s = 4*f - 2*s + 9, 2*f + g = s for f.
-2
Let l be (3 - (-7)/(-2))*-6. Solve l*z - 2*w - 8 + 29 = 0, z - w = -8 for z.
-5
Let h(b) = 2*b**3 + 8*b**2 + 6*b + 3. Let g be h(-3). Solve g*r = v + 6 + 4, 5*v + 4*r = -12 for v.
-4
Suppose 3*q - 8 = -q. Suppose 1 - 11 = -q*a. Solve -a*s = -3*r - 18, -5*s + 5*r = -10 - 10 for s.
3
Let j be 6 - (-2 - -2)/(-1). Let n = -1 + j. Solve n*i = -2*h + 6 - 3, -4*h - 5 = -i for i.
1
Suppose -f - 2*t - 14 = -t, f = 4*t - 39. Let y = 23 + f. Solve 0 = 3*p + 12, 17 = -o - 0*p - y*p for o.
-1
Let u = 3 - 3. Suppose 2*s - 8 = m - 6*m, u = -m + s + 3. Solve -2 = -4*i + 2*z, 5*i + m*z + 12 = 4*i for i.
-2
Let v(w) = -w + 6. Let c be v(5). Let i be 1/3 - c/3. Solve 0*s - 5 = s - o, 3*o = i for s.
-5
Let c be (-38)/(-9) + 8/(-36). Let v be (1 - 1/4)*c. Solve 2 = -6*j + 2*j + m, -4*j = v*m - 6 for j.
0
Suppose 0 = 5*j + 3*k, 0*j = -j - 4*k - 17. Suppose -2*b + 4 = -4*p, 0 = -0*p + 5*p - 5*b + 15. Let t = 4 + p. Solve -n + 5*n + 1 = -t*l, n = -j*l - 2 for l.
-1
Let l(h) = 10*h + 1. Let g be l(-1). Let f(u) = u**2 + 10*u + 9. Let i be f(g). Suppose i = 5*y - y. Solve y*v - 3*v + 12 = 0, 0 = -2*r - 3*v + 14 for r.
1
Suppose -27 = 3*x - 6*x + 2*k, -2*x - 2*k = -28. Suppose -10 = -g - 8. Suppose g*b - b - x = 0. Solve 0 = -4*v - 3*w - w - 12, -b = 5*v + 3*w for v.
-1
Let d(i) = 2*i**3 - 3*i**2 + 4*i - 1. Let p be d(2). Solve 4*m = 4*c + p + 5, -5*m + c = -16 for m.
3
Let j(h) = h**2 + 3*h. Let o be j(-4). Solve 0 = 3*w + 3*b, -w = o*w - b - 12 for w.
2
Suppose -4*w - 5*a + 26 - 3 = 0, w - 11 = -3*a. Let m = w + -1. Let h be ((-39)/52)/((-2)/8). Solve 2*q + 0 - 2 = 2*l, 0 = l - h*q + m for l.
-1
Suppose 39 + 33 = 4*c. Let q = -21 - c. Let b = -28 - q. Solve 2*s + 3*s = 2*f - b, -5*s - 2*f = -1 for s.
-1
Let w be (-4)/(-10) + 196/10. Let y = 10 + -5. Suppose y*g - 4*o = 22, -8*g + 4*g = -o - 11. Solve -3*a = g*p + 2*a + 16, -5*a - w = 0 for p.
2
Suppose 0 = -4*c - 5*j + 21, -4*c = -c + 4*j - 16. Suppose 3 = 3*q - 15. Let z be 75/2*c/q. Solve w + 4*w + 15 = -3*u, w - 5*u - z = 0 for w.
0
Suppose -73 = -7*r + 130. Suppose -p - 4*t + 26 = 2*p, 0 = -2*p - 5*t + r. Solve 2*c = 4*b - p, 0 = -5*c + 2*b - 0 + 3 for c.
1
Let l = 79 + -75. Solve -u - 21 = -l*s - s, s = 5*u + 9 for u.
-1
Let m(b) = b - 2. Let u be m(-4). Let t = -4 - u. Let j be (7/(-7))/((-1)/2). Solve -z - z = 4*h + 18, 0 = -t*z + j for h.
-5
Let t = 1 + 4. Solve g - t*g + 3*d + 13 = 0, 0 = -g + 4*d for g.
4
Let t = -48 + 49. Solve -5*g + 6 = 2*p, p + g - t = 2 for p.
3
Suppose 2*g = -3*w + 26, 10 = -4*g - 2*w + 46. Solve 0 = s + 2, -a - 3*s - 2*s - g = 0 for a.
3
Let a be 10/20*(-1 - -1). Solve a*i = -3*i + 2*h + 11, -7 = i + 2*h for i.
1
Suppose -5*q + 4*n + 0 = 26, -4*q = 2*n. Let r be (-1 + -3)*(q - -1). Solve r*f + h = -0*h + 16, 5*f - 3*h = 20 for f.
4
Suppose -11 = 5*b + 44. Let r = 16 + b. Solve 3*y - m - 11 = 0, 5*m = -r*y + m + 41 for y.
5
Let y = -6 - -8. Suppose -2*h = 2*z - y - 18, 40 = 3*h + 5*z. Solve 0 = 5*o + 4*g + 3, 0 = -3*o + h*g - 33 + 9 for o.
-3
Let x be 47/4 + (-2)/(-8). Let v be (x/14)/(4/28). Suppose 2*j - y = -0*y + v, 0 = -3*j + 2*y + 7. Solve j*z + 3*l = l - 14, -z - 13 = -3*l for z.
-4
Suppose 5*c + 8 - 18 = 0. Solve 0 = -k + 5*k - 2*z, 5*z = -c*k - 24 for k.
-2
Suppose -2*c - 18 = c. Let u = 6 + c. Solve u = 5*o + 4*r + 2, -4*r = 3*o - 2 for o.
-2
Let r = 67 - 63. Solve -4*q - 4 = -r*f + f, -5*q = -3*f + 5 for f.
0
Let u(s) = -s**2 - 2*s + 1. Let a be u(-2). Let c be -1 + a - -2 - -1. Solve -b - c*t + 19 = 0, t + 3*t = 5*b for b.
4
Let k = 2 - -4. Suppose 0 = -4*v + k + 6. Solve 4*l + 2*n - 10 = 5*n, -2 = l - v*n for l.
4
Suppose -4*b = -6*b + 8. Suppose 5*t + 3*a = -0*a + 80, 37 = b*t - 3*a. Let d = -8 + t. Solve -g - 5 = -3*h, -h - g - 2*g - d = 0 for h.
1
Let u(k) = -k - 7. Let t be u(-9). Solve 8 = 2*x, 10*q + t*x + 17 = 5*q for q.
-5
Let v = 100 - 10. Let z be (v/50)/((-3)/(-10)). Solve 2*t - z = -0*t + 4*b, 9 = 2*t - b for t.
5
Let p be ((-2)/(-3))/(14/(-21)). Let d(i) = -3*i**3 + i + 1. Let g be d(p). Solve 24 = -3*u + l + 4*l, 0 = 5*u - g*l + 24 for u.
-3
Suppose 2*j = -2*j - 5*x + 105, -4*x - 20 = -2*j. Let o = -17 + j. Solve -5*k = -3*y + 5, o*k + 0*y + 4 = 2*y for k.
2
Let c = 44 + -34. Solve -11 = -4*s + 3*h, 3*s = 5*h - h + c for s.
2
Let u = 12 - 6. Let j be (-8)/u*(2 + -5). Solve 0 = -p - j*q - 16 - 1, -p - 2 = -q for p.
-5
Suppose -z - 5 + 9 = 0. Solve -2*j = -z*k - 12, -k - 1 = 4*j - 7 for j.
2
Let s = 3 + -2. Let i = s - 1. Suppose i = w - 18 - 3. Solve -4*y + 3*a + 2*a = -8, 0 = 3*y + 3*a + w for y.
-3
Suppose -w + 8 + 4 = -4*a, -5*a - 3*w = 15. Let x be (-1)/a + (-1)/3. Suppose x = 4*m - 5*t - 31, 2*t - 5 = 5*m - 31. Solve i = 1, m*q + 2 = i + 5 for q.
1
Suppose -5*r + 3*r = -4*r. Solve -2*h + 0*o - 4*o + 12 = 0, r = -2*h - 5*o + 14 for h.
2
Let s = -5 + 5. Let r 