-2*3)/(6/y). Solve -15 = 4*a - h, b*h = -3*a + 2*h - 25 for a.
-5
Let p be 1/4 - (-115)/20. Solve -5*z - 22 = -4*v, 2*z - p*z - 14 = -2*v for z.
-2
Let a be -5*(-8)/20*(-17)/(-2). Solve -3*b = -4*y - 17, 0 = y - 5*b - 0 + a for y.
-2
Let n = 36 - 29. Solve -3*j - 19 = 2*a, -2*j + 19 = -n*j + 3*a for j.
-5
Let r(m) = 2*m + 54. Let t be r(-27). Solve t = 2*n - 0*a + a - 15, -n = 4*a - 25 for n.
5
Let m(x) = x**2 + 6*x + 19. Let c be m(-7). Solve 5 = -5*y + 3*g, 4*y + g + c = -g for y.
-4
Let p(v) = 2*v + 23. Let m be p(-10). Solve 3*k - m = l - k, -l + 5*k - 3 = 0 for l.
-3
Let i(p) = p**2 - p - 2. Let r be i(-2). Let t(y) = -3*y**3 - 3*y**2 - 2*y - 1. Let f be t(-2). Let d = f - 9. Solve 2*h - r*k = -26, -h + d + 5 = 4*k for h.
-5
Let k be 3 - ((-1)/(-4) + (-65)/52). Solve 5*d + 2*j - 35 = 0, -4*d - k*j = -5*d - 15 for d.
5
Suppose z = -2*z + 12. Solve z*s = -4*l - 4 - 8, 0 = -2*s + 2*l - 14 for s.
-5
Suppose -6*u + 22*u - 96 = 0. Solve -u*k - 19 = -3*k - 4*n, -2*k + 5*n - 15 = 0 for k.
-5
Let x(t) = 0 - 6 + 5*t - 2 + t**2. Let h be x(-6). Let g be (-3)/h*12/9. Solve -4*k + 4 = 4*d, k + 5*d = -g*k - 1 for k.
3
Suppose 4*j - 2*g = 3*g + 21, -15 = -3*j + 3*g. Suppose 7*d - 9 = j*d. Suppose k - 57 = -4*v + 6*k, k + 87 = 5*v. Solve -4*c = 2*a - v, 3*c + c = d*a - 7 for c.
2
Suppose 7 = -3*k + 4*t - 2, -t = 4*k - 7. Let d(w) = 2*w. Let a be d(k). Solve 0 = m + 5, 2*y - 5 = 5*m - a*m for y.
-5
Suppose 0 = -y - 5. Let g be (9 - -1)*(-4)/y. Solve -2*a = x, 3*x - 2*a = -0*x - g for x.
-2
Suppose 0 = -2*t - 2*t. Solve -7 = -d + a, 0 = -2*d - 4*a - t*a - 16 for d.
2
Let c(t) = -t**3 + 5*t**2 + 2. Let r be c(5). Solve 5*i = 2*d + r, d - 2 = -2*i + 6 for d.
4
Let s be (-1)/(-2)*(12 + -4). Suppose z + s*z = 0. Suppose -d + z*d = 0. Solve -2*y + 8 = d, -10 = -b - 2*y + 3 for b.
5
Let x = -9 - -9. Solve 0 = t + g, -2*t + x*g = -3*g + 5 for t.
-1
Suppose 2*n = -4*z + 48, -60 = -2*n - z - 6. Suppose -2*d + 4*x + n = d, -2*d - x + 4 = 0. Solve h - 1 + 17 = -5*r, 5*r + 36 = d*h for h.
4
Let o = 51 - 71. Let j = o - -37. Let i(m) = 4*m - 1. Let b be i(1). Solve 0 = 4*c - s - j, -5*c + 19 = -b*s + 4*s for c.
4
Suppose 15 = 4*a - a, -12 = 4*p - 4*a. Solve 0 = -2*q - p*f - 16, -23 = 4*q - 0*f + f for q.
-5
Let a be 10/40 - 11/(-4). Solve -4*o + g = 12, -a*g = o - 4*g for o.
-4
Let g be (-8)/2 - (3 + -3). Let s = g - -4. Solve 4*k + 0*j - 2*j - 22 = s, -4*j = 3*k - 11 for k.
5
Suppose o + 116 = 120. Solve -o*w + 2 = -5*g, 5*g = -2*w + 17 - 1 for g.
2
Suppose -30*h + 7 = -23*h. Solve 4*v = 5*b - 5, -h = -0*v + 4*v - b for v.
0
Suppose -5*t - 3*z = -16, -8*z = -2*t - 4*z - 4. Solve -t*d + 0*r + 3*r + 22 = 0, -4*r = 16 for d.
5
Let j = -14 - -6. Let o be (10/j)/((-3)/12). Solve 3*u - 5*q - o - 5 = 0, -u = -q for u.
-5
Suppose 0 = 4*k - u - 13, -3*u + 5 + 4 = 0. Solve 0 = 3*l - 2*o - 0*o + 2, 5*l = -k*o + 4 for l.
0
Let b(u) = 4*u**2 + 5*u - 4. Let f be b(1). Solve -f*l + q - 4 = 13, -2*l - 12 = -3*q for l.
-3
Suppose 8 = -4*n, 3 + 4 = -v - 5*n. Solve 2*a + v*w - 3 = -a, -2*a + 2*w - 6 = 0 for a.
-1
Let y be 4*(-3)/(-12)*3. Let b = 7 - y. Solve 13 = -3*o - b*v, 5*o + 2*v + 11 = -6 for o.
-3
Let v = 6 + -27. Let a = v - -54. Let b = 57 - a. Solve 4*q + b = -2*p - q, q = 3*p + 2 for p.
-2
Let f(p) = -p**2 + 6*p. Let r be f(6). Suppose r = -x + 3*x. Solve 4*q = 5*h - 0*h + 37, x = 4*q - 12 for h.
-5
Let k = -2 - -7. Suppose -3*v = -k*v. Solve 2*n = -2*x + 12, 4*x = n - 1 - v for n.
5
Let a(v) = -3*v - 2. Let k be a(-1). Solve -5*n = -5, -5*o + n + 3 + k = 0 for o.
1
Suppose -19 = -4*m + 13. Solve -16 = -4*n, -n - n = 2*d - m for d.
0
Suppose 0 = 4*z - 53 - 35. Solve 4*x + 5*u = -z, 2*x - 5*u - 7 = x for x.
-3
Let q(v) = v**3 - 7*v**2. Let g be q(7). Let i be (-1)/((-1)/4 + g). Suppose -3*m + 74 = 5*c, 0 = 5*c - 4*m - 33 - 55. Solve i*o = -c, -5*n - o = -0 - 1 for n.
1
Let p(o) = -o**2 - 6*o + 9. Let i be p(-7). Let m(w) = w - 2. Suppose 9*r - 4*r = 25. Let z be m(r). Solve -4*l - 9 = -3*q + 17, 0 = -z*q - i*l - 4 for q.
2
Let d = 9 - 9. Suppose 2*k - 4 = -d*k. Solve -4*c + k*z = 16, c - 3*c - 2 = -4*z for c.
-5
Let y(o) = 4*o**2 + o. Let x(a) = a**3 + 5*a**2 - 6*a + 1. Let j be x(-6). Let n be y(j). Let r = n - 3. Solve -4*m - r*p + 10 = 0, 3*p - 12 = 5*m - 30 for m.
3
Let m(u) = 20*u**3 - u**2. Let z be m(1). Let r be 45/51 - (-16)/136. Solve -r = -4*v - y + 2, z = -3*v - 5*y for v.
2
Let y = 6 - 0. Solve 2 = 2*g, 4*b - y*b - 4*g + 2 = 0 for b.
-1
Let j = 1 - -3. Solve -j*l - 5 = -13, 0 = 2*f + 3*l - 10 for f.
2
Suppose 0*m = 3*m - 45. Solve -4*c + 5*g + 12 = -0*c, -m = -5*c - 4*g for c.
3
Suppose 3*h - 15 = -3*d, -h - 3 = -2*d - d. Suppose 2*n - 3 = -4*p + 1, -4 = -2*p - d*n. Solve t + p*s = -s, s = 2*t + 6 for t.
-2
Let x(j) = 8*j**2 + 3*j + 1. Suppose 0*s = 5*s - 3*r + 19, 0 = -3*s - r - 3. Let p be x(s). Let c = p - 14. Solve -5 = 5*z, 0 = -i - i - 5*z - c for i.
-4
Let s(y) = 2*y**2 + y + 3. Let c be s(3). Let t be (-3)/2*c/(-36). Solve -2*i + t = -h, 5*i + 5*h - 48 = -8 for i.
3
Let i be (18/5)/(9/30). Suppose 6*b = 3*b + i. Solve 7 = f + p - 3*p, b*f - 19 = 5*p for f.
1
Suppose 52 = 10*r - 6*r. Solve -k = 4, -p + k = 2*p - r for p.
3
Suppose q = 4*q - 9. Suppose -f = -5*c, q*f - f - 9 = c. Solve z - 6*z = f*u - 35, 3*z - 27 = -5*u for z.
4
Let x = 41 + -28. Solve 0 = -5*l + 3*s + 31, -s + x = l - 5*s for l.
5
Let r(z) = z. Let s be r(0). Let v be s/(0 + 2 + -1). Solve -12 + v = 4*d, 2*n - 3*d = 15 for n.
3
Suppose -7*a = -12*a. Solve -r = -5*d - 4*r - 29, a = 2*r + 6 for d.
-4
Let q(t) = 7*t - 5. Let y be q(3). Solve 24 = f - 5*a, -4*f + y = -0*f - 4*a for f.
-1
Let r(s) = 8*s - 52. Let y be r(7). Solve n = -2*k + y, 2 = n + k + 1 for n.
-2
Suppose 4*a - 10 = 3*a - 5*v, -5*a - 4*v + 8 = 0. Solve 3*x - 6 = a, -4*j + 3*x - 6 = j for j.
0
Suppose 0 = -4*h + 15 - 3. Solve 2*d + 4 = 3*c, 2*c - 9 = 3*d - h for d.
-2
Let l = -9 + 13. Suppose -l*x + 5*x = 3. Suppose 5*j = 2*a + j - 60, -3*a + 65 = -j. Solve -3*z - a = -4*f, 0 = -z + x*f - 2 - 13 for z.
0
Let x be (-1 - -3) + 3/3. Suppose 16 = x*i + 4*c, -5*c - 4 = -5*i - 24. Solve -4*k + 4*s + 16 = i, -4*k + k + 5*s = -10 for k.
5
Suppose -6 = -3*u - 0. Suppose -5*q - 28 = 2*m, -32 = 2*q + 3*q + 3*m. Let g(t) = t**2 + 2. Let z be g(q). Solve -u*j = s + 3*s - z, -2*s = 5*j - 29 for j.
5
Let t(u) = -u**2 - u + 4. Let n be t(0). Let m = -1 + 7. Let w = m + -6. Solve n*o = -c - 25, c = -5*o - 30 - w for o.
-5
Let i(a) = 2*a - 8. Let v be i(5). Solve -3*s - 3*b = -0*b - 6, -4*s - v*b = 0 for s.
-2
Let k be 5 - (-1 - -1)/(-3). Suppose k*u - 4*v = 23, -12 = -2*u + 3*v - 0*v. Solve -2*c - 4*j = -6, 4 = c + u*c + 4*j for c.
-1
Let s(g) = g**2 - 11*g + 22. Let c be s(9). Solve -4*l - 7 = 5*a, -4*l = -c*a - l - 18 for a.
-3
Let j be (-19)/(-5) + 128/(-160). Solve -j*p = r - 0 - 2, 3*p + 13 = 2*r for r.
5
Let r be (1/(-1))/((-4)/20). Suppose r*a - 10 = 0, 5*u - a - 86 = a. Let q be 80/36 + (-4)/u. Solve -q*p + 1 = o, -3 + 1 = -2*o for p.
0
Let w = 11 + -8. Suppose l + 3*v = -13, -2*l - v - w*v - 16 = 0. Solve 5*d + 3*z = 15, 3*d - 5*d + l*z = -6 for d.
3
Let n(i) = -4*i - 25. Let o be n(-7). Solve 3*u - t = -o*t + 14, 5*t = -3*u + 26 for u.
2
Suppose 0 = 3*t + 5*h - 73 + 18, -96 = -5*t - 4*h. Solve -2*v - 15 = 3*m + 4, t = -2*m - 5*v for m.
-5
Suppose 393 = 2*z + j, z = 3*z + 5*j - 405. Let g be z/20 + (-3)/4. Suppose 0*r + 3*r - g = 0. Solve -4*s = -5*u + 3, -r - 7 = 2*u + 4*s for u.
-1
Let t(k) = k**2 - 14*k + 11. Let n be t(13). Let v(z) = -14*z - 2. Let a be v(n). Solve -o - 2 = -4*m + 5, -a = -4*o - 2*m for o.
5
Let i = 2 + 9. Let a be (-2)/11 - (-145)/i. Let s be (-1 + 2)/((-1)/(-2)). Solve 3*q + a = 4*c - 2*c, 3 = s*c - q for c.
-1
Suppose 0 = 4*b + 4 - 16. Suppose u - b*u = 0. Solve u = 4*i - 8, -3*y - i + 0*i + 14 = 0 for y.
4
Let t = 4 + -4. Solve -8 = -2*q - 2*k, 20 = -2*q - t*q + 5*k for q.
0
Let w(v) = -v + 1. Let j be w(10). Let k = j + 17. Solve k - 28 = 3*s + 4*n, 3*n + 18 = -3*s for s.
-4
Suppose 0 = v - 6 - 6. Solve 4*k = -3*z + 18 - 2, 3*k + 3*z = v for k.
4
Suppose -9*v + 5*v + 16 = 0. Solve 3*l - 6 = -4*y + 8, v*y - 18 = -l for y.
5
Let d = 11 + -7. Let f = -2 + d. Suppose -4*z = -f*z - 5*h - 24, -18 = z + 5*h. Solve k = n + z*n - 8, 0 = k + 5*n - 24 for k.
4
Suppose 0 = 3*g - 3*h - h - 4, 0 = 4*g + 5*h + 5. Sol