g**3 - 6 + 3*g**2 + 0*g + 2 + 3*g. Let x be t(3). Solve 0 = -x*o - 37 + 12 for o.
-5
Let x = -3 - -13. Solve -o = 13 - x for o.
-3
Let u(a) = a**3 - 8*a**2 + 12*a + 2. Let y be u(6). Suppose 4 = 3*f + 1. Solve x = -f - y for x.
-3
Let y = -6 + 5. Let d(q) = q + 1. Let c be d(y). Solve c = 5*j - 3*j for j.
0
Let d be -3 - (-3 + (-1)/1). Let z be ((d + -1)/(-2))/(-1). Suppose -4*h + 5*h = 10. Solve g - 3*g + h = z for g.
5
Let g(c) = -c**3 - 6*c**2 + c + 8. Let i be g(-6). Let r be (-3)/(-5) + 6/15. Suppose -v + 2 = p, -2*p + v = -2*v - 19. Solve i*y = -p + r for y.
-2
Let r(o) = o + 6. Let i be r(0). Let s = -1 + i. Suppose 0*l + 17 = 3*l - 2*y, -9 = -l - y. Solve l*z - s = 2*z for z.
1
Let g(b) = -b + 1. Let z(t) = t - 2. Let l be z(3). Let r(v) = 10*v - 5. Let n(y) = l*r(y) + 4*g(y). Let s be n(1). Solve s*i + 4 = i for i.
-1
Let k = 9 - -10. Suppose k = 3*h + 4*q, -3*q + 12 = 2*h - 1. Solve 3 = -h*g - 7 for g.
-2
Let p(m) = m - m + m + 3*m. Let x be p(5). Solve 5 - x = 5*l for l.
-3
Let o = -16 + -1. Let x = -9 - o. Solve x*t = 3*t + 10 for t.
2
Suppose -f - 6 = -5. Let r be f + (18/(-3))/(-2). Solve m = -r*m - 3 for m.
-1
Let u = 18 - 14. Suppose u*k - 41 = k + 4*z, -3*z + 18 = k. Solve 0 = -3*x - 0*x + k for x.
5
Suppose -4 = -4*y + 4. Let q be (-1)/(1 - 12/10). Suppose -2*t + q + 9 = 0. Solve t*m - 15 = y*m for m.
3
Suppose 5*j = 7 + 23. Solve -3*x = -j*x + 15 for x.
5
Let o = -4 + 7. Let b(i) = i**3 - 11*i**2 + 9*i + 10. Let f be b(10). Solve f = 2*c - o*c for c.
0
Let p be 63/18 - 3/(-2). Solve 18 = -p*f - 7 for f.
-5
Let r = 4 - -3. Suppose 9 = 4*z - r. Solve 0 = q + z + 1 for q.
-5
Let v = -4 - -19. Suppose -3*u + v = -0*u. Suppose 0 = -u*b + 72 + 3. Solve -3*f - b = -0 for f.
-5
Let n = 2 - 1. Solve 5*s + 6 = n for s.
-1
Let d(y) = -2*y. Let p be d(-2). Solve p*n - 15 = -n for n.
3
Suppose -24 = -4*l - g, 4*l + 3*g - 5 = 27. Solve -d = -6*d - l for d.
-1
Let n be -4 + ((-1)/(-3))/((-2)/(-30)). Solve k - n = 1 for k.
2
Let f = 86 + -86. Solve -4*k = -f*k for k.
0
Let t(y) = y**2 - y - 1. Let j be t(-2). Solve 0 = x + 2 - j for x.
3
Let f = 22 - 17. Solve -d - 4 + f = 0 for d.
1
Suppose 2*s + 8 = 0, 2*i - 7 = 2*s + 9. Suppose 5*j - 39 = -i. Let t = 8 - 5. Solve -t*r = 5 + j for r.
-4
Let a be (3 + -3)/(-1 - -2). Let k be ((-4)/(-3))/(1/3). Let f be 0*(a + (-2)/k). Solve -2*n + 0 - 6 = f for n.
-3
Let w be 0/(4 - (0 + 0 + 3)). Solve -4*u - 14 + 6 = w for u.
-2
Let r be (-8)/(-12)*(-6)/2. Let s be r/((-75)/(-27) + -3). Solve 0*y + s = -3*y for y.
-3
Suppose -k + 5*k - 8 = 0. Suppose -3*n - k*n + 15 = 0. Let c(i) = i**3 - 4*i**2 + 2*i + 3. Let l be c(n). Solve l = 5*t - 0*t - 25 for t.
5
Suppose o - 10 + 4 = 0. Suppose 0 = -o*l + 4*l + 10. Let q = 24 + -16. Solve 0 = l*u - q - 12 for u.
4
Let h(y) = -6*y - 1. Let v = -9 + 8. Let z be h(v). Solve z*m = 3*m - 8 for m.
-4
Let p be -2*-14*2/(-8). Let f = -11 - p. Let q(l) = l**2 + 4*l + 6. Let v be q(f). Solve 3*s = s - v for s.
-3
Let n(a) = -a**2 + 4*a. Let f be n(4). Suppose d - 5 = -f. Solve s = d*s for s.
0
Let g be (3 - 2) + -2 + 0. Let q be 1 + g + 4 + 0. Solve -v + 3*v = q for v.
2
Let b(r) = r**3 + 7*r**2 + 5*r. Let n be b(-5). Let v = 27 - n. Solve -s - v*s = 0 for s.
0
Suppose 0 = 5*c + h - 0*h - 11, -5*c + 4*h + 31 = 0. Solve 16 = -n - c*n for n.
-4
Suppose -4*j = 4*z + 8, -4 = 3*j - 6*j - z. Let n(w) = w**2 + 5*w + 6. Let q be n(-6). Let i = 5 - 2. Solve q = -i*s - j for s.
-5
Let a(d) = -d**2 - 9*d + 8. Let w be a(-10). Let k(p) = -p - 2. Let m be k(w). Solve m = x + 3 + 2 for x.
-5
Let x = -56 - -58. Solve 2 = x*k - 0*k for k.
1
Suppose 0*g + g = 5*w - 1, -g + 4*w - 1 = 0. Let b = 3 - g. Suppose 5*u = -15, n - 5*u - 30 = -b*n. Solve -r + n = -2*r for r.
-3
Suppose p = -3*j + 22, 4*p + j - 3 = 6*j. Solve 2*d = p*d - 15 for d.
3
Suppose -p - 26 = -0*a - 5*a, -p - 8 = -2*a. Let n be 17/5 + 2/(-5). Let y be (-6)/(-9)*a + n. Solve 3*l - y = 5 for l.
4
Suppose 0*r - 5*r = -4*c - 40, -r - 2*c = 6. Solve -3*p + 5*p + r = 0 for p.
-2
Let l = -4 + 4. Let p be -4*(l + 2/(-4)). Suppose -2*g = -4*v + 4, 5*g - p*g = -3*v + 21. Solve -4*y - g = -16 for y.
3
Let a be (2 - 2) + (4 - 4). Suppose a = -5*o - 5 + 20. Solve 0*v = o*v - 6 for v.
2
Let i(q) = -q**3 + 17*q**2 + 15*q + 61. Let o be i(18). Solve 2*f = 5 - o for f.
-1
Let t be 1/5 + (-28)/(-10). Suppose -3*y + 39 = t. Solve 4*x + 0 = -y for x.
-3
Let l be 6*(-1)/(-3) + 1. Solve u + l + 1 = 0 for u.
-4
Let f = 25 - 11. Let z(u) = 4*u**3 + u**2. Let c be z(1). Suppose -4*d - 4*o + 44 = 0, -c*d - 3*o = -f - 31. Solve -y = y - d for y.
3
Let k(j) = -j**3 - 3*j**2 + j + 6. Let p be k(-3). Solve 0*r + 15 = p*r for r.
5
Let u = -461 + 465. Suppose -4*x = -3*i - 8, -2*i + 4 = -3*x + 5*x. Solve u*z - x = -6 for z.
-1
Suppose 6*l = -5*p + 3*l, 1 = -3*p - 2*l. Suppose 6*x = p*x + 36. Let y be (-27)/(-6)*x/9. Solve 0 = -4*i + 2 + y for i.
2
Let x = -107 - -111. Solve 8*n - 20 = x*n for n.
5
Let h(w) = 6 + w + w**2 + w + 5*w. Let j be h(-6). Let d = j + 3. Solve 0 = d*v - 12 for v.
4
Let b be (-16)/64 - 1/(-4). Solve -5*c + 5 = -b*c for c.
1
Suppose -4*h + 81 = 1. Suppose 0 = -g + 6*g + h. Let a be -2*1*(3 + g). Solve -a*y = 4 - 0 for y.
-2
Let y = 65 + -45. Suppose -4*x - y = -0*m + 2*m, 3*x + 15 = 3*m. Solve -3 + m = -3*i for i.
1
Let f(k) = 2*k**2 + 2*k - 4. Let a be f(3). Let j be (35/a)/((-1)/4). Let o = -6 - j. Solve -2*b - 11 + o = 0 for b.
-5
Let u be ((-1)/2)/((-1)/4). Let g = -2 + u. Solve k = -g*k + 3 for k.
3
Let v = -145 - -149. Solve -v*k = -2*k + 2 for k.
-1
Let i be ((-6)/(-3))/(1/(-2)). Let n = -9 + 17. Let v = i + n. Solve -r = -v*r for r.
0
Suppose -8*a + 4 = -7*a. Solve a*k = -1 - 15 for k.
-4
Let h(f) = 2*f + 5. Let x be h(-5). Let c = -2 - x. Suppose 0 = c*k + 5*w - 29, 2*k + 14 = 6*w - w. Solve 4*r - r - k = 0 for r.
1
Suppose -4*y - 4 = -0*y - 4*p, -3*y - 3*p + 3 = 0. Solve y*j - 5 = j for j.
-5
Let w be 2/5 - (-12)/(-30). Solve w = 3*x - 2*x for x.
0
Suppose -4*a + 6 = -2. Solve 0*b + a*b = -2 for b.
-1
Let j(f) = -f**3 - f**2 + 3*f - 4. Let t be j(-3). Suppose z = -5*n + 25, t*z + 0*z = -2*n + 125. Solve -5*d + z = -0*d for d.
5
Suppose 11*w = 16*w - 5. Solve w = l - 4 for l.
5
Suppose -2*k = q + 2 + 5, -5*q - 35 = -4*k. Let i(x) = -3 + 6 + x**3 + 0*x**3 + 7*x**2. Let a be i(q). Solve a*b + 5 + 1 = 0 for b.
-2
Suppose 3*s - 6*s = 0. Let r be 0/(s - 1 - 1). Solve -2*f + r = -10 for f.
5
Suppose 0 = -v - 3*t - 5, -4*v + 0*v + 4*t + 28 = 0. Solve i + 3 - v = 0 for i.
1
Let p(s) = -s**2 - 8*s - 8. Let n be p(-6). Solve n*t + 5 = -t for t.
-1
Suppose 2*w - 48 = 2*g, w - 6*w = g - 96. Suppose 4*k - 3*f = w, -3*k + 3*f + 27 - 9 = 0. Solve -k*c + 5*c - 9 = 0 for c.
3
Let q(c) = 4*c**2 - 6*c + 4. Let o be q(2). Solve -4 = 6*h - o*h for h.
2
Suppose 2*v = -5*m + 4 + 13, m - v - 9 = 0. Suppose 2*i - m = -3*i. Let c be 0*i/(-3) - -2. Solve 5 = -c*k - 5 for k.
-5
Let n = -4 + 4. Suppose 0 = -n*w - w. Let p be 1*3*(0 + 1). Solve w*k + p*k - 15 = 0 for k.
5
Let a(b) = b**2 - 10*b + 21. Let j be a(7). Suppose -6*p - 30 = -p. Let h = p + 8. Solve h*s + 2 + 0 = j for s.
-1
Let g = 27 - 18. Solve 11 = 4*x - g for x.
5
Let d be (0 + (-4)/14)*-7. Let h = d + 1. Suppose -m + 3*p = 12, m - 6*m = 5*p - 20. Solve m*t = -h*t for t.
0
Suppose -2*a - w - 1 = 0, 8*a - 3*a - 25 = 3*w. Let f be 4 - ((a - -1) + -1). Let y = 21 + -18. Solve -l + y = f*l for l.
1
Let m be 15*(1 - (-2)/(-6)). Let t be 31/4 + (-1)/(-4). Suppose -t = -0*o - 4*o. Solve 4*i = o*i + m for i.
5
Let w(v) = v - 2. Let k be w(7). Suppose 5 = -3*o + 4*o + r, 0 = 3*o + 4*r - 18. Let h = o + -2. Solve h = -0*a + k*a - 15 for a.
3
Suppose 194*u - 192*u = 10. Solve 0 = u*g - 0*g + 10 for g.
-2
Suppose -5*o = -1 - 9. Suppose o*w + 16 = 4*m, -2*w - m + 4 = -0*w. Solve 5*n - 1 + 16 = w for n.
-3
Let w(x) = x**3 - 4*x**2 + 2*x + 8. Let p be w(3). Solve d + 0*d + p = 0 for d.
-5
Suppose 2*m - 10 = -0*m. Suppose 2*s + m*x = 31, -3*s - 26 = -7*s + 2*x. Let d = 3 + -2. Solve -3*l - s = d for l.
-3
Let f be 0 + (7 - (-6 + 6)). Suppose -3*d + 5*u = -34, 3*u + 22 = -d - 2*u. Solve 4*x - d = -f for x.
-1
Let n be (39/52)/(2/16). Solve 4*w - n*w = -10 for w.
5
Let c(u) = -2*u**2 - 31*u + 21. Let l be c(-16). Solve -3 = b - l for b.
2
Let i be (-6)/(-8) - 15/20. Solve i = -4*n + 3*n + 3 for n.
3
Let