(-3))/((-1)/15). Solve 2*t - 4*v + 4 = 0, 12 = -5*t + x*v + 2 for t.
-2
Let i = 17 - 15. Solve -a - 3*a = 2*k + 18, -i*a + 3*k = 5 for a.
-4
Let s be (-132)/(-30) - 2/5. Let g be 8/5 - 6/(-15). Suppose 2 = y, 5*b = g*b - y + 8. Solve -l + 6 = -b*k + 3*l, -s*l = 3*k - 31 for k.
5
Let x be (-4)/(-6)*6/4. Let y be (4 - x)*(-16)/(-6). Suppose y*z - 3*z - 15 = 0. Solve 3*h - 3*d = -8*d - 10, 5*h + z*d - 10 = 0 for h.
5
Suppose -4*o = 5*o - 27. Solve -g = 4*v + 12, -2*v - 20 = o*g + g for g.
-4
Let s be 1 + (-1)/(1/(-7)). Suppose s*l = 3*l + 30. Let b be 1*0*(-3)/l. Solve -4*o + 7 = 5*j + 1, b = -5*j + 2*o + 12 for j.
2
Let m(v) = -v + 10. Suppose -3*a = f - 3*f - 29, -2*f = 2*a + 34. Let n be m(f). Solve 0 = 3*u + 5*r + n, -u - 4*r = -2*r + 10 for u.
-2
Suppose 2*d + 6 = 5*f - f, -15 = 5*d. Suppose 4*n - 26 = -4*k + 2, -12 = -3*n. Suppose k*j - 15 = -f. Solve -j*p + 20 + 2 = -3*r, -4*p - 4*r = -24 for p.
5
Let g = -8 + 13. Suppose 5*d = 2*i - 26, -3*i = -i - 4*d - 22. Let z = -3 + i. Solve -5*a - 1 = -2*u + g*u, -5*u + 5*a - 15 = z for u.
-2
Let a = -7 + 11. Suppose 40 = w + a*w. Let f be (8/(-3))/(w/(-12)). Solve -4*b + 5 = o, f*b + b - 9 = -4*o for b.
1
Suppose 5*h - 15 = 2*a + 12, -2*a + 4*h - 30 = 0. Let o = -13 - a. Suppose 3*w = y - 4, 2*y + o = 4*y - w. Solve 4 = 4*s - y, -f + 5*s = 7 for f.
3
Let t be 2/(-12)*-1 + (-59)/(-6). Solve 5*p = 2*y + 2*y, -5*p + t = -2*y for y.
5
Let g be 1 - (1 + 1)/(-1). Solve 2*y - 3*u = u + 6, -5*y + g*u = 13 for y.
-5
Suppose 2*t - c + 7 = 0, c + 0 = 5. Let w be (-1)/(-2)*t*0. Suppose j - 5 = -w*j. Solve 2*i + 4*k = 8 - 22, 25 = -j*k for i.
3
Let u = -3 - -6. Let x(q) = -q**2 + 10*q + 9. Let y be x(9). Let t be y/10 - 7/(-35). Solve m + 2*m - u = 0, 0 = k - m + t for k.
-1
Let a = -5 + 5. Let r = 5 - 3. Suppose a = -3*h + 2*h + r. Solve 5*z = h*o + 7, -5*o + 2*z - 7 = -0*z for o.
-1
Suppose 3*r - 4*u = -9*u + 28, 0 = r - u - 4. Let b = -1 + r. Solve -5*h - b = -4*n + 2, 0 = -5*h + 2*n - 11 for h.
-3
Suppose -2*j = 3*j - 105. Let b = -18 + j. Solve 2*n - 9 = 1, b = -g + n for g.
2
Let n(t) = t**3 + 12*t**2 - t - 10. Let j be n(-12). Suppose 0 = x - j*x + 1. Solve 3*q = -3*z + 9, 0*z - x = 3*q - 2*z for q.
1
Let z = -91 + 94. Solve 0 = -3*c - 2*c, z*a - 15 = 2*c for a.
5
Let z be -3 + (1 - (-2 - 40)). Let t be (-78)/(-5) + 6/15. Suppose -4*b + t = 5*u, 4*u + b = -3*b + 16. Solve -2*p + 4*p = -3*w - 21, 5*w + 5*p + z = u for w.
-5
Let g be -24 - (-4)/8*4. Let p be g/(-6) + 3/9. Solve 5*z - 3*d = -22, -p*z + 3*z + 4*d - 18 = 0 for z.
-2
Let u be 4/3*(1 - 4). Let h be 184/12 + u/(-6). Solve 4*o + 4*n - h = 0, 5*o - 2*n + 8 + 0 = 0 for o.
0
Suppose 2*y + 2*y - 4*j = 68, 7 = y + j. Let m(p) = -2*p - 2. Let k be m(-2). Let i be k - 4 - 3*-2. Solve -g + 5*g - 4*u - 24 = 0, y = g - i*u for g.
4
Suppose 5 + 4 = 3*t. Let n(g) = 4*g - 4. Let s be n(t). Suppose 0 = 4*k + 5*h - 18, 2*k + 2*h - s = -0*h. Solve -k*u - 3*v = 4 + 8, -u - 2*v - 7 = 0 for u.
-3
Let g = -16 - -20. Suppose -52 = -6*t + 5*t + g*i, 5*i + 25 = 0. Solve -4*z = h - 6*h - t, -3*z = -h - 13 for h.
-4
Let c = 4 + 1. Suppose m + 15 = 51. Suppose -4*x - 4*i = -0*i - m, 2*x = -5*i + 30. Solve k + c*u = -2, -k + x*u + 4 = -4 for k.
3
Let k be 6/10 - 3/5. Suppose -h + k*h + 2 = 0. Solve 3*p + 4 = -3*n + n, -2*p - h = 2*n for p.
-2
Let w = 31 - 49. Let l = w - -27. Solve 4*h - l*h - 5*z = 0, -8 = 5*h - 3*z for h.
-1
Suppose -r + 11 = 2*u + 3*u, -6 = 2*u + 3*r. Suppose -u*l + 7*l = 8. Solve l*p = -5*m + 5, -4*p - 2 = 3*m - 5 for m.
1
Let z be 27/15*(-10)/(-3). Let s = 10 - z. Solve 0*b = s*u - 2*b + 28, 5*b = -5*u - 5 for u.
-5
Suppose -12 = -7*x + 3*x. Let q = 15 + -11. Let z = 7 - q. Solve -t - x*g + 4 = -z*t, 0 = 3*t - 4*g + 7 for t.
-5
Suppose 0 = -0*r + 3*r - u - 10, 8 = -2*u. Solve -r*y - k - 6 = 0, -3*y - 3*k = 2*k - 5 for y.
-5
Suppose -5*a = -22 + 2. Suppose 2*u + b = 51, -2*u + 3*b + 13 = -42. Let q = -20 + u. Solve 2*p = m + 8, a*p = -0*m - 3*m + q for m.
-2
Suppose 3*o + 4 = 13. Suppose 0 = 3*y - 3*b - 15, o*y + 0*y - 11 = b. Let c(k) = -2*k - 4. Let u be c(-4). Solve 2*r + u = -2*q, 3*q - 2*q - 2 = -y*r for r.
2
Let f = 133 - 133. Solve 4*c + 20 = f, 2*p + 4*c = -p - 26 for p.
-2
Suppose 4*v + 2*m - 2 = 16, 5*m = v + 23. Solve l = 4*a - 3*l + 8, 0 = -a - v*l + 1 for a.
-1
Suppose 1 = u - 1. Solve -5*v = -v + 2*p - 18, 0 = u*v + 5*p - 5 for v.
5
Suppose 0*r + 4*r - 6 = -3*z, 0 = 5*z + 4*r - 18. Solve 5*b + q + z = b, 4*b + 2 = q for b.
-1
Let s = -72 + 74. Solve -4*v + 35 = -5*o, -s*o - 5*v = -v - 14 for o.
-3
Let u(k) = 4*k - 1. Let l be u(1). Let o be -1 + (-3 - -6)/l. Solve 0 = 4*f - 6*s + 3*s - 6, 5*f + 3*s + 6 = o for f.
0
Suppose -3*g + 2*r = -2*r - 14, -3*r = -5*g + 27. Suppose -4*u + g = -2*u. Solve 0 = -5*z - 5, 2*t + 1 = u*t + 4*z for t.
5
Let k(x) = -4*x + 45. Let z be k(10). Solve f + 5 = -d, -3*d = -z*f - 3 + 2 for d.
-3
Suppose 0 = 14*k - 10*k - 16. Solve -l = -3*h + 2, 2*l - 2 = k*h - 4 for l.
1
Let p(f) = -f + 2. Let z be -4 - -3 - -3 - 4. Let g = z - -2. Let x be p(g). Solve x*o - 2*j = 8, -j = -o - o + 3 for o.
-1
Let y(v) = -34*v**3 + v**2 - v + 1. Let t be y(1). Let j be 2/8 - t/12. Solve 12 = 3*d, -4*a + j*d - 18 = -2*a for a.
-3
Let u = 19 + -17. Solve -5*t = c - 17, t - 5*c - 27 = -u*t for t.
4
Suppose -12 = -r - 2*r. Suppose -5*x + 30 = 5*f, r*x = -f + 15 + 3. Suppose -5*w = -4*w - x. Solve 2*k - 3*b = -9, -4 = -3*k + w*b - 15 for k.
3
Let s = 111 - 76. Let v = -29 - -19. Let y be (-10 + -2)*v/8. Solve 4*q + s = -0*f - 3*f, 3*f = -y for q.
-5
Suppose 0*f = -11*f + 44. Solve -f*b - 5*i + 3 = 0, 4*b - 3*i - 11 + 0 = 0 for b.
2
Let b(w) = 2*w - 8. Let t be b(6). Suppose -2 = 4*u + 14. Let g = u - -9. Solve 0*y + y - i = -t, -g*i = 5*y for y.
-2
Suppose -15*z - 111 = -52*z. Let w(m) = 2*m**3 - 3*m**2 + 2*m - 3. Let s be w(2). Solve -f - 18 = -z*f + 5*g, 0 = s*f - g - 22 for f.
4
Let a = -10 + 1. Let y(t) = t**2 + 6*t + 9. Let w be y(a). Suppose f + f = w. Solve 3 = -c - 4*x - f, 0 = -4*x - 16 for c.
-5
Let f(i) = -i + 5 + 0*i + 2*i - 2*i. Suppose 3*s - 5 = 10. Let q be f(s). Solve 5*t - 2*p - 7 = 0, q*t - 5*p + 29 = 3*t for t.
3
Let s(y) = 3*y - 3. Let p be s(-5). Let b = -8 - p. Solve -5*i + 18 = 4*l, -2*i + 4*l - b = -3*i for i.
2
Suppose -41 = -s - 17. Solve -3*a = -4*f - 6 + 33, 0 = 3*a - 3*f + s for a.
-5
Let m be ((-6)/4)/(9/(-18)). Solve -4*t = -3*t - m*o - 12, -5 = -5*t + 4*o for t.
-3
Suppose 0 = v + 5 + 1. Let g(z) = z**3 + 6*z**2 - 2*z - 9. Let t be g(v). Solve -4*a = 3*s - 16, -5*s + 8 = t*a - a for a.
4
Let i be 7/2 - (-9)/(-6). Suppose i = 3*j - 2*j. Let w be 1*(-1 - (0 - j)). Solve 0 = -4*b + 5*r - w, 1 = 5*b - r - 3 for b.
1
Let c(u) = -u**2 + u + 4. Let t(z) = -2*z. Let b be t(0). Let k be c(b). Solve -11 = -2*i - 3, -5*i = -k*v for v.
5
Let y = 4 + -4. Suppose 5*a - 1 - 9 = y. Suppose 3*c + 15 = -a*h, -3*h - 4*c + 10 - 30 = 0. Solve h = 3*n - 6, -2*n = -k - 3*k + 8 for k.
3
Let g be 0/2 - -6 - 2. Suppose -5*p + 0*o = -g*o + 7, o = 3*p. Suppose k = 6*k. Solve 5*v + 1 = n - k*n, p = n for v.
0
Let h be 2/(-3)*12/(-8). Let l be 12/(-15)*25/(-2). Suppose 4*j - 10 = l. Solve -4 + h = m + y, j*y - 5 = -m for m.
-5
Suppose -u + 12 = 3*u - 3*m, 4*u - 4*m - 12 = 0. Solve -u*g - 5*o + 10 = -2*g, o + 7 = -2*g for g.
-5
Suppose 0 = y - 2, -2*o + 3*y - 2 = -y. Let k(x) = x**3 + 3*x**2 - 5*x - 1. Let w be k(-4). Solve -4*a = o*c - c + 2, -w*c = 3*a for a.
-1
Suppose 7*q - 15 = 2*q. Let g be 2 - 1*-1*5. Solve -20 = 5*f - n - 4*n, -2*n + g = -q*f for f.
1
Let j be (7 - 3)/((-4)/(-3)). Solve -x - x - 4*q = -16, -12 = -j*q for x.
0
Suppose h + 13 = 17. Solve h*w = -2*k, -w + 16 = -3*k + w for k.
-4
Suppose -9*u + 41 = 5. Solve -u*j + 6 = 2*p, -2*j + 3*p = p for j.
1
Let i = 26 + -22. Solve i*w + 2*y = 14, -29 = -4*w - 0*y - 5*y for w.
1
Let z = 5 + -3. Suppose 8 = -0*j + z*j. Solve -d = k, j + 1 = -5*k for d.
1
Let j(n) = -6*n - 3 + 2 - 7 - 1 + n**2. Let w be j(9). Solve -3*q = -3*t + w, 2*q - 6*q - t = 19 for q.
-5
Suppose -4*r = -3*r. Let b(y) = -y + 2. Let z be b(r). Solve 2*s - 8 = -3*l + 3, -s = -z*l - 2 for l.
1
Suppose -11 = -n + 21. Suppose 0 = -4*g - x - x + 6, n = 3*g - 4*x. Solve g*k - 3*t + 2*t = -25, 0 = 2*t - 10 for k.
-5
Let k(v) = v**2 - 6*v - 30. Let t be k(10). Solve 0 = 5*x - t, -4*l + 2*x = -x + 18 for l.
-