 1 for g.
1
Suppose 0 = i + 3 - 18. Solve -5 = 2*k - i for k.
5
Let y(f) = -f**3 + 8*f**2 + 8*f + 10. Let q be y(9). Solve 4*h - q = 11 for h.
3
Let t = -11 + 11. Solve d + d - 2 = t for d.
1
Let z(t) = t - 4. Let c be z(11). Let d = c - 3. Solve 0 = -k + d*k + 6 for k.
-2
Let v be 4 + (3 - 2 - 5). Solve 3*o - 2*o = v for o.
0
Suppose 3*l = 5*v - 4, 2*v - 5*l - 16 = 3*v. Let n be (-6)/(-2) - (4 + v). Solve n = -f + 4*f - 12 for f.
4
Let q(f) = f**3 - 10*f**2 - 10*f - 2. Let r = 14 + -3. Let p be q(r). Solve -j = -4 + p for j.
-5
Let i(n) = -n - 13. Let r be i(-9). Let w be 2/(-4) + (-14)/r. Solve -2*t - 2 = -w*t for t.
2
Let t be (-4 + -1 + 5)*-1. Let p(v) = v**3 - 5*v**2 - 4*v - 6. Let y be p(6). Solve t = k - y*k for k.
0
Let x(n) = 3 - n - n - 2 - 2*n. Let f be x(1). Let w be (-1 + -1 + 1)*f. Solve -8*y + 15 = -w*y for y.
3
Let l = -40 - -40. Solve l = 3*i + 16 - 4 for i.
-4
Suppose 0 = 3*t - o - 5, o + 8 = 7*t - 3*t. Suppose u - 8 = -t. Solve 10 = u*z - 10 for z.
4
Let f be (0 - 0)*(-3)/6. Suppose -4*g - 4 = -2*a, 2*a - 5*g - 38 = 5*a. Let o(h) = h**3 + 5*h**2 - 7*h - 5. Let b be o(a). Solve -r + f*r = -b for r.
1
Let t(u) = -2*u - 33. Let j be t(-19). Solve -y + 8 = j for y.
3
Suppose -6*y + 5*y = 0. Solve y = -5*t + 2*t for t.
0
Suppose 2*w + 16 = 6*w. Suppose 0 = -3*a - 12, -2*j - 2*j - 4*a = -40. Suppose j = -2*t + 4*z, -11 - 7 = -t - 3*z. Solve -w = -t*l - l for l.
1
Let m be 9/(-6) + (-14)/(-4). Solve -m*x = 2*x for x.
0
Let u be ((-4)/6)/((-5)/60). Suppose 2*v - u = -0*v. Solve -v*b + 6 = -7*b for b.
-2
Let x be (-46)/(-14) - 6/21. Let g = 5 - x. Suppose t = 2*q - 7, q + 0 - 5 = g*t. Solve -d = 7 - q for d.
-4
Let k(x) = x + 12. Let j be k(-10). Let a = -7 + 10. Solve j + 1 = -a*o for o.
-1
Let j = 4 - 0. Let n = 1 + 2. Solve n*c - c = -j for c.
-2
Let t be 2/1 + (-8)/(-4). Solve t*v = v - 6 for v.
-2
Let a(r) = -r**3 + 15*r**2 - 13*r - 14. Let f be a(14). Solve f = -3*t + 2*t - 3 for t.
-3
Let q(j) = j**2 + j. Let i be (-2 + 1)/(-2 - -1). Let b be q(i). Suppose -12 = 3*v, 4*s = -2*v + 7*v + 24. Solve 5 + s = b*c for c.
3
Suppose 0 = -4*a + 15 + 13. Solve -a + 27 = 5*n for n.
4
Let k = 0 + 0. Suppose k = -2*a - 10, p + 5*a = -2*p - 4. Solve -3 - p = 2*y for y.
-5
Let v(u) = -u + 9. Let z be v(7). Let b(r) = r**2 + 1. Let k be b(z). Suppose k*f - 3 = 22. Solve 15 = -0*o + f*o for o.
3
Let y = 129 - 124. Solve -2*h = -y - 1 for h.
3
Let c be ((-18)/(-7))/(-3)*-7. Solve -5*y - c = -1 for y.
-1
Let b(z) = z**2 - 2*z + 4. Let j = -6 - -9. Let q be b(j). Solve -q = h - 2 for h.
-5
Let s be 9/2*2/1. Suppose -5*a + 3*z = -57, -5*a + 40 = -z - s. Let q be (a - -3) + -3 + 1. Solve 0 = 2*y - q for y.
5
Let h = 17 + -13. Solve s = -3*s - h for s.
-1
Let a be (2 - 12/8)*14. Suppose 5*z - 10 = -t, 0 = -4*z - 4*t - 11 + 3. Solve -1 + a = z*u for u.
2
Let a(o) = -o + 12. Suppose -2*u + 12 = -u - v, -3 = -u - 2*v. Let j be a(u). Solve -j = m - 1 for m.
-2
Let u(s) = s**3 + 4*s**2 - 8*s - 3. Let o be u(-5). Let l = -845 + 849. Solve l*m + o = m for m.
-4
Let j = 8 - 6. Suppose -2*q - 6 = -v, -2*q - j*q = 5*v + 12. Solve 2 = 2*i - v for i.
1
Suppose -4*g = -58 - 2. Solve 0 = 4*c + c - g for c.
3
Suppose -3*y + 2 + 9 = -2*g, -3*g - 15 = -3*y. Let r be y/3 + 14/3. Solve 0 = 2*p - p + r for p.
-5
Let a = 18 - 16. Solve -a*i - 3 = i for i.
-1
Suppose 0 = -3*c - 4*j + 20, -4*j + 5 = -5*c - 3*j. Let p = -10 - -13. Solve c*x - p*x = -15 for x.
5
Let o = 8 - 3. Let g(h) = -h**2 + 4*h - 1. Let v be g(2). Suppose -97 = -5*z + v. Solve -t = -o*t + z for t.
5
Let r = 4 - 2. Suppose 2*u + 12 = -n - 3*u, -r*u = 5*n - 55. Let p = n + -9. Solve -p*a - 2 = 14 for a.
-4
Let l = 12 - 10. Solve l = -0*z + z for z.
2
Let f = 12 + -4. Let c be (-1)/(-3 + f/3). Solve 0 = c*d - 6*d + 12 for d.
4
Let w(u) = u**2 - u + 2. Let t = -1 + -1. Let c be w(t). Solve 3*q - c = 4 for q.
4
Let g be 20/6*135/18. Suppose -g = -5*h, 2*p + 2*h = -0*p + 14. Solve -3*r + 1 + p = 0 for r.
1
Suppose 0 = 5*v - 8*v. Let d be (-15)/(-9)*3 + v. Let y = -2 + 4. Solve d = y*g - g for g.
5
Let d(y) = -2*y**3 - 6*y**2 + 7*y - 1. Let v be d(-5). Suppose 3*u + v = 7*u. Let i(p) = p**3 + 4*p**2 - 2*p - 6. Let z be i(-4). Solve -2*w = z*w + u for w.
-4
Suppose 5*n - 5 = 5*d, -n = -5*n + 5*d. Solve -28 + 8 = n*c for c.
-4
Suppose 0 = -9*o + 11*o - 18. Solve -5*p = -o - 1 for p.
2
Let t be (-4)/(2 + -5 + 1). Solve 0 = -t*m - m for m.
0
Let s = -124 - -126. Solve -s*z + 0 = -4 for z.
2
Let w(s) = -s**3 + 8*s**2 - s + 10. Let q be w(8). Let r be (12/q + 2)/2. Suppose 1 = 5*a - r. Solve i - a = -2 for i.
-1
Let u = 4 + -7. Let q be (-2)/(u/9*-3). Let w be (-2)/(-6) + q/6. Solve 0 = -5*z - w*z - 25 for z.
-5
Let x be 2/(-8) - 1/(-4). Suppose x = -2*q - 2*q + 64. Let o(a) = a**2 - a. Let j be o(0). Solve -q = -j*b - 4*b for b.
4
Let h be (-102)/(-4) - (-2)/(-4). Let s = -27 + 38. Let i = -4 + s. Solve -2*t + i*t = h for t.
5
Suppose 0*s = -s + 4. Suppose -s*g + 2*g + 6 = 0. Let z = -2 + g. Solve 2*p - 7 = z for p.
4
Let y(w) = -w**3 + 4*w**2 - 3*w + 3. Let v be y(4). Let i = -5 - v. Suppose f = -i*f + 45. Solve 3*r = -0 + f for r.
3
Suppose -26 = -3*h - 17. Solve 2*k - h + 1 = 0 for k.
1
Suppose -8 = 2*m - 0*m. Let j be m/16 + 37/4. Suppose 2*t + t + j = 0, 143 = 4*y + 3*t. Solve -13 = 5*v - y for v.
5
Let l(d) = d**3 - 3*d**2 + 2*d + 1. Let i = -4 + 7. Let x be l(i). Suppose x*f = 3*f + 5*o, 3*o - 22 = -2*f. Solve 17 = f*g + 2 for g.
3
Let i(u) = 8*u - 16. Let r be i(2). Solve r*y + 3*y = 0 for y.
0
Suppose 8*o - 5 = 7*o. Suppose -4*s + 17 - o = 0. Solve s*j = 2*j + 1 for j.
1
Suppose r = 1 - 7. Let i be 3 - 38/14 - 24/(-14). Let n be i*4 + (r - -3). Solve -8 = u - n*u for u.
2
Let y be -1 - 1 - (-28)/4. Let r = y + 1. Solve -2*w = w + r for w.
-2
Suppose 0*u + 2*y = 3*u - 16, -3*u + 4*y = -26. Solve 0 = u*i - 0*i + 10 for i.
-5
Suppose -3*x = x - 12. Solve 0 = v + x - 5 for v.
2
Let g = 9 - 4. Let f(w) = -w**3 + 2*w**2 + 2. Let a be f(2). Solve -g*y = -a*y + 9 for y.
-3
Let z(p) = p**3 - 2*p**2 - p - 2. Let g be z(3). Solve 0*y = g*y for y.
0
Let a = -4 + 5. Let l be (a + 1)/(1/2). Solve 0*b + 4 = l*b for b.
1
Let l be 2/((-20)/6)*-30. Suppose 10*g + l = 13*g. Solve -2*p + 0*p = -g for p.
3
Let m(v) = -v**2 - v + 3. Let c be m(0). Solve -c*a = -6*a - 15 for a.
-5
Suppose -21 = 3*z - 24. Let g be -1 + (4/2 - z). Solve 0 = 2*s - g*s - 6 for s.
3
Let c = 3 - 1. Let a = -10 + 5. Let p(j) = -j - 2. Let q be p(a). Solve c*b = b + q for b.
3
Suppose -5*m + m - 5*x - 2 = 0, 5*x = 5*m - 20. Solve -o = -m*o + 3 for o.
3
Let x be (3 - -2) + -2 + -1. Suppose -5*d = -x*d - 9. Solve d*n = n + 2 for n.
1
Let t(x) = 2*x - 7. Let h be t(8). Suppose 0 = 2*o - 5*i - 9, h = 5*o - o - i. Solve 4*j - o*j = 0 for j.
0
Let z be 39/26 - 42/(-4). Solve 3 = 5*l - z for l.
3
Let d = -1 + 0. Let c be -1*(2 - (1 - d)). Suppose -2*u - 2*p + 0 = 2, 4*p = -2*u - 8. Solve c = -x - u*x - 6 for x.
-2
Let o(s) = s**2 - 8*s + 3. Let y be o(8). Solve g + 7 = y for g.
-4
Suppose 10*q - 6*q = 0. Suppose -2*z - 6*x + x + 39 = 0, q = -4*x + 20. Solve 0 = -2*p + z - 1 for p.
3
Let r be 12*((-12)/8)/(-3) - 1. Solve -r*d - 10 = -7*d for d.
5
Let j be -1 - -1 - -7 - 1. Suppose -a = 2*a - j. Suppose l + 2 = -r + 3*r, 4*l = -2*r + 32. Solve g = -a*g + l for g.
2
Let a(z) = -z**2 - 6*z - 1. Let n be a(-3). Suppose -5*r = d - 14, 4*d = -4*r + 28 + 12. Let y = -7 + d. Solve -y*o + 4*o = n for o.
4
Suppose -3*m - 2*m = 0. Let i = -184 - -188. Solve -f - 3*f - i = m for f.
-1
Let m(t) = t + 4. Let l be m(-9). Let c = 8 + l. Solve 5 = 4*s - c for s.
2
Suppose 16*x - 7*x = 90. Solve -7*z = -2*z + x for z.
-2
Suppose 4*j = j. Solve -4*c + 19 - 3 = j for c.
4
Let k(s) = s**2 - 2*s + 4. Let q be k(2). Suppose -5*w = -3*w. Solve -q*x - x = w for x.
0
Let y(v) = v**3 + 4*v**2 - 2. Let k be y(-2). Suppose -2*l + 2 + k = 0. Solve l*m - 7 + 3 = 0 for m.
1
Let n = 22 - 15. Solve 2*l = n*l - 5 for l.
1
Suppose 0 = -8*u + 4*u - 28. Let h be (1 - 0)*(-7 - u). Let v(p) = p**3 - 8*p**2 + 7*p + 2. Let a be v(7). Solve h - 2 = a*c for c.
-1
Let q(p) = -p**3 + 5*p**2 + 5*p + 6. Let z be q(6). Let m(c) = -7 + c**2 + 0*c + 15 + 0*c - c. Let r be m(z). Solve -5*h + 2 = -r for h.
2
Let z(l) = l**2 - 2*l. Let a be z(0). Solve a*r - r = 4 for r.
-4
Let h = 0 - -3. Let b be (4/(-3))/(