 -o*u = 3*a + 9 for a.
1
Let r be 755/25 - 2/10. Suppose 3*x + r = 3*h, 2*h + 10 = 3*h + 4*x. Solve -2 = o + 2*d, 5*o + 2*d + 0 = -h for o.
-2
Let a(p) = p**2 + 5*p + 8. Let y = -7 + 1. Let i be a(y). Suppose -2*c + i = -6. Solve 2*d - c = 4*z, 2*z - 4*z - 10 = 0 for d.
-5
Let z(h) = -h**3 + 4*h**2 + 5*h + 2. Let k be z(5). Solve -y - 1 = -4*g - 5, y - 2 = k*g for y.
0
Suppose -3*x = 4*i - 34, 0 = 4*i - 9 - 7. Solve -x*w + 3*w = 5*u + 4, -2*w + 12 = -4*u for u.
-2
Let r(t) = t - 2. Let u(n) = 0 + 7 + 2*n - n. Let j be u(-5). Let b be r(j). Solve -4*x = 3*m + 10, -2*x - 2*x - m - 14 = b for x.
-4
Suppose -5*f + 4*f + 2 = 0. Solve 2*z = 4*z + 3*s - f, -z - 6 = -2*s for z.
-2
Suppose 0 = 4*l - 4*r - 24, -5*r + 0*r - 9 = 2*l. Solve -3*m + 2*w - 11 = 0, 2*m + 6 = l*w - 8 for m.
-1
Let r(h) = h**3 - h**2 - 2*h + 3. Suppose 0 = -y - 1 + 3, 3*y - 10 = -2*k. Let u be r(k). Solve 3*l - 32 = 4*j, 4*l - u*j = l + 27 for l.
4
Let m be (-2)/(-5) + (-14)/10. Let y(w) = -2 + 11*w**2 - 6*w**2 + 1 - w. Let j be y(m). Solve 2*g = -x + 2*x + j, -19 = -4*g - x for g.
4
Let t be (-2)/((-7)/((-63)/(-6))). Suppose 0 = -t*g + 5*g - 4. Solve w = 4*i - 4 - 1, 0 = g*i - 2*w - 4 for i.
1
Let h be ((-12)/9)/((-1)/(-3) + -1). Solve 5*o = h*j + 1, 2*j = o - 2*j + 7 for o.
1
Let z = -23 + 27. Solve -x + 2*u + 5 = 0, z*x - 5 = 2*u + 3*u for x.
-5
Suppose -11*f + 12*f = x - 13, 3*x + f - 19 = 0. Solve 3*v + 5*j + x = -1, 3*v = 5*j - 9 for v.
-3
Let a be 2 + -1 + -2 + 11. Let t = 2 - 5. Let q be 1/t - 7/(-21). Solve 4*f - 5*x + a = q, 1 - 7 = 3*x for f.
-5
Let b = -3 + 14. Suppose 0 = 4*a + j - 48, 7*a - 2*a + 2*j - 57 = 0. Solve y + 0*y - b = -5*s, -4*s + a = 5*y for s.
2
Let l(h) = 2*h - 6. Let b be l(3). Solve -3*z + z - 4*m - 2 = b, -9 = 3*z + 3*m for z.
-5
Let x = -3 + 6. Suppose a + x*v = -2*a - 6, 2*v = 3*a - 19. Solve -4*t = a*z - 0*z - 28, -4*z - t = -20 for z.
4
Let k be (3/1)/((-12)/(-116)). Solve 0*u = -q - 2*u - 1, 4*q - 3*u = k for q.
5
Suppose -6 = -5*c + 34. Let f be 4/(-6)*(-60)/c. Let p = -36 + 51. Solve -d - 3*v = -f*v - p, -2*v = d + 5 for d.
5
Let g(w) = -w + 3. Let u be g(-6). Suppose -3*v = n + u, v + 1 = n - 2*n. Solve -i = -n*r + 11, -3*i + 4 - 1 = 3*r for i.
-2
Let d = -3 + 1. Let r be 0/1*(-1)/d. Let c = -13 + 32. Solve 2*k - 1 = p, 5*p + 4*k = -r*k - c for p.
-3
Let o = 2 - -1. Solve h + 8 = k, o*h + 3*k = 4*k - 16 for h.
-4
Let g be (-3)/9 + (-242)/(-6). Let k = g + -22. Let u = 8 + k. Solve 2*h + 23 = -3*p, 5*p = 3*p - 4*h - u for p.
-5
Let v be (-6)/21 - 24/14. Let y = v + 4. Suppose -b - y*b + 9 = 0. Solve -5 = 5*z - 9*s + 4*s, -2*z - 6 = -b*s for z.
3
Let o(a) = a**3 + 9*a**2 + 7*a + 2. Let k be o(-8). Solve 6*u = r + 3*u + k, 0 = 5*u - 15 for r.
-1
Let p = -2 + -2. Let l(v) = v - 1. Let f(k) = 2*k - 3. Let j(m) = p*l(m) + f(m). Let b be j(-2). Solve -5*y = -d - 1, 4*y + b*d = 17 + 7 for y.
1
Let h = -27 - -33. Solve 0 = 4*i + 4*v, -3*v - 20 = 2*i - h*v for i.
-4
Let o(p) = p + 9. Let g be o(-6). Solve 3*b - 1 - 5 = g*k, -3*k = -b + 2 for k.
0
Let m(p) = 2 + 2 - p + 0. Let v be m(0). Solve -v*n - 18 = -j, n + 4 = 4*j + 2*n for j.
2
Let c(g) = -g**3 - 4*g**2 - 3*g - 10. Let l be c(-4). Solve -l*t + 3*y + 11 = 0, 12 = 2*t - 0*y - 4*y for t.
4
Suppose -3*j - 3*z + 24 = -0*j, 0 = -j - 5*z. Suppose -12 = -4*a + a. Solve -m - a = -r, -2*m - j = r + 1 for r.
-1
Suppose 3*c = -4*s + s - 36, -4 = 4*c. Suppose 3*b - 12 = -b. Let k = b - s. Solve -n + 3*i + k = -2*i, -5*n + 5*i = -10 for n.
-1
Suppose 6*b + 12 = 10*b. Solve -5*j + 12 = -b*i, -8 = 2*i - j - 4*j for i.
-4
Let p be (2/5)/(1/20). Suppose -i + p = -3*i. Let s be 187/55 + i/10. Solve j + s = 0, -2*j - 1 + 4 = 3*g for g.
3
Suppose -3*q - 19 - 2 = -4*p, -3*q = p - 9. Let k be p/9*(-1 - -19). Let b be 20/8*k/10. Solve 0 = -3*d, h - 4 = -d - b for h.
1
Let z be 16/9 + 16/72. Solve -j + 4*s = -6*j - 41, -5*j - 17 = -z*s for j.
-5
Let d(z) = z**3 - 6*z**2 + 8*z - 5. Let l be d(5). Suppose 3*q - l = q. Solve 4*a - 28 = -4*k, 5*a + 0*k - 5*k + q = 0 for a.
3
Let q = -7 + 13. Let i(b) = -3*b + q*b - b - 6. Let g be i(5). Solve -n - s - 4 = 0, 0 = -g*s - 0 - 4 for n.
-3
Let k = -9 - -25. Let t(y) = y + 1. Let g be t(-7). Let n be 65/10 - g/(-4). Solve -3*v = 3*b + 2*b + 14, -2*v - k = n*b for b.
-4
Let z = 0 + 7. Let v(t) = -t**2 + 8*t - 7. Let y be v(z). Solve a + 3*x = -8, y = -a - 3*a - 4*x - 16 for a.
-2
Let n(v) = v**2 - 2*v - 3. Let d be n(-2). Suppose 2*i - d*b + 25 = -0*i, 0 = 4*i - 3*b + 15. Solve 3*y + i*y - 22 = 5*k, -y = 5*k + 26 for k.
-5
Suppose a - 2 = -1. Let r(f) = -4*f. Let c be r(a). Let b be (c - -4)/(0 + -2). Solve -15 = -5*g - 2*p, g - 3*p = -b + 3 for g.
3
Suppose 10*o = 9*o + 3. Solve 2*s - o*i + 3 = 15, 4*s - 3*i = 12 for s.
0
Suppose -2 = m - 2*s, 0 = 3*m + 2*s - 14 + 4. Suppose 4*q - 14 = m. Solve -q*w = -5*u - 2 - 8, 5*u = -5*w + 35 for u.
2
Suppose -2*z = 20 - 30. Solve y + z = 2*c, y = -3*c - c + 19 for c.
4
Let s be 62/4 - (-24)/(-16). Solve -3*m + s = -2*m - 5*j, 4*j = 2*m - 16 for m.
4
Let x(a) = a**3 - 9*a**2 - 9*a - 6. Let o be x(10). Solve 5*y + o = -4*h, -4*y - y - 5*h = 5 for y.
0
Let l be 4 - (-50)/(-20)*(-4)/5. Solve 0 = x - 4*p + 1, 4*x - l*p + 4 = -p for x.
-1
Let b(n) = n**3 - 6*n**2 - 6*n - 2. Let m = 5 - -2. Let f be b(m). Solve 0*d = 4*d - f*x - 41, 3*d = -x + 7 for d.
4
Let z be (-4 + 4)/(-2 - -3). Solve 4 = 4*s + 5*x - 3*x, x = z for s.
1
Let m(o) = -3*o + 3. Let v be m(4). Let x be ((-4)/(-3))/((-6)/v). Solve -5*s - 25 = 5*z, 10 = -x*z - 5*s - 0*s for z.
-5
Let o(x) = -3*x. Let p be o(-1). Suppose 3 = p*k - 0. Solve -34 - k = 3*y - 4*g, 2*g = -3*y - 5 for y.
-5
Suppose -3*h + 4*v + 4 = h, -4 = -4*h - v. Let x = -1 + 1. Let s = 2 + x. Solve 3*f + 2*u = -s + 19, -f = -4*u - h for f.
5
Let v(b) = b + 3. Let r be 8/(-44) + 180/22. Let w = 5 - r. Let z be v(w). Solve 4*q - 2*j = z, -q - 2*q = 5*j - 26 for q.
2
Let f = -9 + 13. Solve -2*o - o + 2*g = f, -5*o - 4*g + 30 = 0 for o.
2
Suppose -3 = -q - 9. Let h be (10/q)/(3/(-9)). Solve -4*w + 8 = 2*u, -h*u + 4*u + 5*w = 17 for u.
-2
Suppose 5*j - 12 = 3*f - 6, -2*j = 5*f - 21. Solve 5*d = -2*i - 9, -f*i = i - 2*d - 18 for i.
3
Let m(w) = -w + 6. Let u be m(4). Suppose 0 = -l + 5 - 1. Solve -2*a - v = -l*v + 9, 5*v = -u*a + 31 for a.
3
Let z(b) = -3*b - 3. Let j be z(-6). Solve 3*h = 4*k + j, -h - 8 = 3*k - 0 for k.
-3
Suppose -7*r + 12 = -3*r. Solve 0 = v + 4*o + 21, 2*v - 20 = 7*v + r*o for v.
-1
Let t(p) = 7 - 6*p + 1 + p + 4*p. Let h be t(3). Solve -5*o + 0*f = -h*f, -25 = -2*o - 3*f for o.
5
Suppose -z - 2 = -6, 2*c + 3*z - 12 = 0. Let i = 1 - 5. Let h be -3 - -2 - i - 1. Solve -p = 3*s - c*s - 1, -2*p + h = s for p.
1
Let h = -44 + 68. Suppose -n + 5*n - h = 0. Solve -3*g + 10 = 5*b, -3*b + n = -0*b + 5*g for b.
2
Let o = 10 + -7. Solve 0 = 3*m + o*p - 18, -4*p + 21 = 2*m + 3 for m.
3
Let k(w) = w**3 - 13*w**2 + 13*w - 12. Let r be k(12). Solve 2*v + 0*v - 3*n + 21 = r, -5*v - 2*n = 5 for v.
-3
Suppose -4 = -2*x - f, -2*f = -0*f. Solve g + 0 = u + 3, -x*u = -5*g for g.
-2
Suppose -s - 3*s + 20 = 4*o, -2*o = 4*s - 20. Suppose -2*i = z - 3, 0 = z - 4*z + s*i + 9. Solve 0 = 5*d - 2*m + z, 2*m - 6 = 2*d for d.
1
Let a be ((-2)/(-4))/(4/16). Suppose -4*v + 16 = 2*f, -f + v = -a*v + 7. Suppose -3*w = -f*w - 2. Solve -3*l = 4*m - w*m + 2, -l = 0 for m.
-1
Suppose -u - 7 = -2*d, -4*u - 1 - 5 = 3*d. Let o(r) = r - 4. Let w be o(2). Let z be (u/(w - -1))/1. Solve 2 = -z*a + j, 5*j - 4 = 6 for a.
0
Let g = -10 - -10. Suppose -6*t = -2*t + 2*p, 4*p = -2*t + 12. Let m = g - t. Solve -3*c + 6 = -m*i - 1, 3*c + 2*i = 11 for c.
3
Let s(n) = 6*n**2 - 8*n - 6. Let r(o) = o**3 - o**2 + o + 1. Let b(k) = -5*r(k) - s(k). Let c be b(-2). Solve 4*g - 2*q = 2, 0 = -3*g - 0*q - 5*q - c for g.
-2
Suppose -36 = -y + 34. Suppose z + 5*m = m - 6, 5*z - 5*m = y. Solve -2*o - 5*s = z, -s = 2*o - 5*o - 15 for o.
-5
Suppose 0 = 4*p - 5*p + 14. Let l(q) = -4*q**3 - 2*q - 1. Let v be l(-1). Solve 4*s + 3 = -13, 2*t = -v*s - p for t.
3
Let r(c) = 0*c**3 + 5*c + 6*c**2 + 5*c**3 + 3 - 4*c**3. Let u be r(-4). Solve 2*y - 2*n - 10 = 0, 0 = -3*y + 4*n + u + 5 for y.
0
Let o = 2 + 0. Solve -2 = -t + 2*k, -o*t + 0*k - 5*k - 5 = 0 for t.
0
Let h(x) = -3*x**3 + x**2 + 5*x + 7. Let a be h(-2). Solve -4*p - t - 17 = 0, p + 4*t + a = 2 for p.
-3
Suppose