i + w = i for i.
-4
Suppose 3*d + 26 = 4*p, 3*d - 6 = -p + 4*d. Let z be 1*7 + (5 - p). Solve 5*g = g + z for g.
1
Let g(l) = l + 12. Let n be g(-12). Solve -f - f = n for f.
0
Let z(o) = -o**3 + 5*o**2 + 7*o + 6. Let r be z(6). Solve 3*y - r = -y for y.
3
Let s be (-12)/(-90) + 2/(-15). Solve 4*p = -s*p - 4 for p.
-1
Let d(l) = l - 7. Let a be d(8). Let m = a + -1. Suppose -p + 4 = -m*p. Solve u - p = -0*u for u.
4
Let h = 1 - 1. Solve -5*a = -h*a for a.
0
Suppose -g - 14 = 4*f, 2*g + 5*f = -g - 7. Suppose u - 10 = -g. Solve -u*c - 6 = -2 for c.
-1
Let j = -25 - -15. Let c = 12 + j. Solve 4 = -0*w + c*w for w.
2
Let r be (28/35)/(-1*4/(-20)). Solve -r*t - 7 = -3 for t.
-1
Let m(f) = -f**2 + 11*f + 3. Suppose 6 = -2*k + 28. Let o be m(k). Let q be 2/(-4) - 1/(-2). Solve q = o*n - 9 for n.
3
Let y = 26 - 24. Solve 0 = y*s - 1 - 1 for s.
1
Let a = 7 + -4. Let g = a - 1. Solve 2*h - 3*h + g = 0 for h.
2
Let t(m) = m**2 + m - 1. Let g(z) = z**3 + 2*z**2 - 6*z + 8. Let d(k) = g(k) + 5*t(k). Let q be d(-7). Solve -w = 4*w - q for w.
2
Let m(b) = -b**3 - 7*b**2 + 2*b + 2. Let y be m(-7). Let j = y + 14. Solve 0*f - j*f + 8 = 0 for f.
4
Suppose a = -0*a - 6. Let r = a + 10. Solve -r*w - 2 = 6 for w.
-2
Suppose -8*l + 4*l + 16 = 0. Solve 1 = -l*w - 3 for w.
-1
Let b be (12/(-9))/((-1)/12). Let h(x) = x**2 - x. Let n(f) = -3*f**2 + 8*f. Let g(w) = -4*h(w) - n(w). Let v be g(-4). Solve 3*t + t - b = v for t.
4
Suppose -2 - 18 = 4*p. Let h = p - -11. Let f be (2/(-2) + -13)*-1. Solve -4*u + h = -f for u.
5
Let z = -29 - -7. Let q = z - -22. Solve q = -7*w + 4*w for w.
0
Let r(m) = 15*m**2 - m. Let f be r(-1). Solve 3*c = -c + f for c.
4
Let i be (2/(-4))/((-7)/98). Suppose -4*c + 10 = 2*r - 4, -3*r = 5*c - 19. Suppose 4*m = -3*b - 13, 3*b + r*m = 5*b - 14. Solve -4*h + b = -i for h.
2
Let y(q) = -q + 4. Let d be y(0). Let f = -6 + d. Let s = 0 - f. Solve -s*h + h = 0 for h.
0
Let t(d) = d**3 - 9*d**2 - d + 7. Let k be t(9). Let q = k - -7. Solve 2*o = -3*o - q for o.
-1
Let n(q) = q**3 - 3*q**2 - 3*q - 2. Let z be n(4). Let u(t) = t**3 + 8*t**2 + 1. Let j be u(-8). Solve -z*y = -j + 5 for y.
-2
Suppose x + 6*x = 2*x. Let r = -2 - -4. Solve x*s + 8 = r*s for s.
4
Let x = 17 + 18. Suppose x - 11 = 4*t. Solve -t*j = -4*j + 6 for j.
-3
Suppose -y = 3*b - 71, -2*y - 2*y - 16 = 0. Solve -7*f = -2*f - b for f.
5
Let r = 152 - 151. Solve 15 + r = 4*f for f.
4
Let k be 3*(-4)/(-48)*0. Solve k*s - 2*s = 2 for s.
-1
Let o be 5/2 - 4/8. Let z = o + 0. Suppose -2*w + 6 + 0 = -3*d, w - z*d - 4 = 0. Solve w = -2*c - 2 + 4 for c.
1
Let v be (2 - (-51)/(-12))/(9/(-60)). Suppose 44 - 16 = 4*o. Let k = 4 - 2. Solve k*i + v = o*i for i.
3
Let f be 0/(4 - (8 + -2)). Solve f = -o + 5*o + 4 for o.
-1
Suppose -u - 3 = -5. Solve 1 + u = -3*x for x.
-1
Let q(d) = 3*d**3 - 2*d**2 + 2*d + 2. Let p be q(2). Let n = p - 20. Let k be 0 + 11 - 1/1. Solve -n*z = 3*z - k for z.
2
Let o(y) = y - 1. Let s be o(-3). Let g(w) = w**2 + 2*w - 3. Let t be g(s). Let l = t - 3. Solve -l*b - 2 = -4*b for b.
1
Let m = -13 - -22. Solve 0 = -2*q + 3 - m for q.
-3
Let j(w) = w**3 - 5*w**2 - 5*w - 4. Let z be j(6). Let b(p) = -p**2 + 2. Let s be b(0). Solve 0*l = -z*l - s for l.
-1
Let a = -6 - -9. Let g(r) = r + 10. Let x be g(-6). Suppose 8 = x*o - 0*o. Solve a*q = -1 - o for q.
-1
Let c = -4 - -4. Suppose -4*w + 16 = 4*t, -w + t = -c + 2. Let g = 9 + w. Solve b - g = -b for b.
5
Suppose 0 = 5*v + 2*q - 8, 3*v - 2*v - 3*q - 5 = 0. Suppose -v*x = -4*w + 4, 5*x = -2*w + 3*w + 17. Solve 10 = x*c - 6 for c.
4
Let u(q) = q + 1. Let m be u(-1). Suppose r - 1 - 5 = m. Solve -5*k + 3*k = r for k.
-3
Let t = -16 - -27. Suppose -t = 5*h + 4*r, -r = -5*h + 5 + 4. Solve -2*p + p = h for p.
-1
Let w be (-3)/(6/(-16)*-1). Let z(b) = -b + 4. Let x be z(w). Solve -5*h + 2 = x for h.
-2
Suppose -3*x = -4*s + 2*s - 71, -4*s = -3*x + 79. Solve 4*h + 5 = x for h.
4
Suppose -2 = 2*y - 3*y. Suppose -6 = -3*x - 0*x. Let b be x/(-1) - y*-1. Solve h + 3*h = b for h.
0
Let z(b) = -b**2 - 3*b - 1. Let d be z(-1). Suppose -2 = -3*f + u, 2*f + 2*u + d + 3 = 0. Solve -s - 3 = -f for s.
-3
Suppose 5 = 5*k + 5*y, -k + 4 = -3*y - 5. Solve 12 + k = 3*v for v.
5
Let w be ((-3)/(-2))/(3/8). Solve 4*t - 12 = -w for t.
2
Let x be 4 + -2 - 4/(-2). Let p = -12 + 23. Let y = p + x. Solve -c + 6*c = y for c.
3
Let k(q) = -q**3 - 8*q**2 + q + 15. Let x be k(-8). Solve 3*v - 8 = x for v.
5
Suppose x = -3*p + 4, 3*p - 5*x - 16 = 6*p. Suppose -10 = 3*t + 3*z - 31, p*t - 25 = -5*z. Solve -t + 1 = 2*l for l.
-2
Let q be (1 - 3) + -2 + 24. Solve -7*x = -2*x + q for x.
-4
Let n be (-3)/(-5) - 12/(-5). Let v = 1 + n. Solve -q - q = v for q.
-2
Let g(j) = j**3 - 4*j**2 - 5*j + 3. Let l be g(5). Solve 5 = l*x - 7 for x.
4
Let c = 4 - 3. Solve 4*z - c = 3 for z.
1
Let b = -134 - -79. Suppose 3*a - 4*g = -94, 0 + 121 = -4*a + g. Let p = a - b. Solve -2*y = 3*y - p for y.
5
Let w(r) = r**2 - r. Let s(h) = -5*h**2 - 7*h + 16. Let g(b) = -s(b) - 6*w(b). Let v be g(11). Let y be 1 + 8 + v + -8. Solve l + 2 = y for l.
5
Let b(o) = o**2 + 8*o + 1. Let v be b(-8). Let z(y) = -2 + 0 + v - 4*y + 3*y. Let x be z(-1). Solve 2*j = -x*j - 10 for j.
-5
Let n(x) = 2*x**2 + 2*x - 2. Let o be n(-2). Suppose 4*q + 6*w - 3*w = -15, 2*w = -o. Let a(j) = 3*j**2 + 3*j + 4. Let m be a(q). Solve m = 4*v + 2 for v.
5
Suppose 109*v + 125 = 114*v. Solve v = j - 6*j for j.
-5
Suppose -g = -4*l - 44, 11 = -g + l + 43. Let a = g - 20. Solve a*b - 3*b = 20 for b.
4
Let p = -2 + 7. Let f = 3 + -3. Suppose f = c - 2. Solve -p*j = -c*j for j.
0
Suppose 5*h - 27 = -s, -2*s = 4*h - 3 - 27. Suppose -4*p = -s*p. Solve -i + 3 + 0 = p for i.
3
Suppose -4*t - p = 4*p - 32, 5*t - p = 11. Solve 4*q - t = q for q.
1
Let s(t) = t**2 - 11*t + 6. Let z be s(10). Let c be 4/(-2 - z - 0). Suppose -c*j - 6 = -2*h, 4*j + j - 4*h + 12 = 0. Solve m - 3 = -j*m for m.
3
Let r be -1 + 2 - (-4 + -5). Let w be (-12)/r*30/(-9). Solve w = -p - p for p.
-2
Suppose -3*b + 6 = -3. Solve 2*a + b = 3*a for a.
3
Let h = 2 - 1. Suppose 7*m = m - 60. Let x be (9/(-6) + h)*m. Solve x*v = v for v.
0
Suppose -d + 3 + 1 = 0. Solve d*o - 15 = o for o.
5
Let t = 8 - 5. Let v(j) = 3*j**3 - 3*j**2 + j - 2. Let h be v(2). Let g be 0/(2 + -1 + 1). Solve t*c - h = -g*c for c.
4
Suppose -3*r - 5*c + 8 = 0, -3 = -5*r - 0*c + 2*c. Suppose -r = -2*h + 9. Solve 0 = 6*z - 5*z + h for z.
-5
Let s be 4/(-12)*(-24)/2. Suppose 3*a = -0*a. Suppose p - 4*b - 20 = a, 5*b + 7 = -4*p - 18. Solve p = 4*n - s - 4 for n.
2
Suppose 2*i = 4*r - r + 6, 3*r - 9 = -3*i. Let s = -8 - -12. Solve n + s*n = r for n.
0
Let k(n) = -n**3 - n. Let s(u) = u**3 - u**2 + 2*u - 1. Let w(q) = -7*k(q) - 6*s(q). Let h be w(-7). Let x = h - -13. Solve y = -2 + x for y.
3
Let j = 13 - 10. Suppose -3 = -j*s + 3. Solve 2*p = -s*p + 20 for p.
5
Suppose -2*y = -3*y. Suppose 2*g - g = y. Solve g = -2*v + 1 - 9 for v.
-4
Let v = -4 + 10. Suppose 2*c - 4*j = -8 - 2, 2*c = -4*j + v. Let b be 0*(c + -2)/(-3). Solve 3*y = -b*y for y.
0
Suppose d - 4*w = 4*d, -3*w = -2*d - 17. Let y be d/(-4)*(0 - -23). Solve -y = 3*s - 8 for s.
-5
Suppose 1 = -2*d + 5. Suppose 0 = d*t + t - 6. Suppose -55 = -3*j - 4*o, -t*j = 7*o - 3*o - 42. Solve -3*i - 2 = j for i.
-5
Suppose 3 = c - 0*c. Suppose 0 = -3*r + 11 - 5. Let u = 6 + r. Solve -c*s = u + 1 for s.
-3
Suppose w + 4*l = -3*w + 12, 15 = 5*l. Suppose w = -0*z + 4*z. Suppose 5*c = s + 18, -2 + 5 = 2*c + s. Solve -3 = -c*v - z*v for v.
1
Suppose 3*t = u + 53, -5*t - u + 85 = -2*u. Suppose b - 13 = -5*v, 4*b + v - t = -v. Solve -w = b*w + 16 for w.
-4
Let v(s) = 2*s - 3. Let u = -1 - -4. Let m be v(u). Let x(z) = z**2 + 6*z + 1. Let h be x(-7). Solve 0 = m*g - h*g for g.
0
Let w be (2 - 0)/(-6 - -4). Let h = 2 - w. Solve h = 2*r + 1 for r.
1
Suppose 2*m + 2*m = 8. Let p be m/4*(0 + 0). Suppose 5*n - 6 = -3*i - 21, 0 = -5*n - 15. Solve p = -i*v - 5*v - 15 for v.
-3
Let q(l) = l**2 - 13*l + 2. Let b be q(13). Solve 5 - b = 3*a for a.
1
Let o(n) = n - 16. Let y be o(16). Solve g + 1 + 4 = y for g.
-5
Suppose -2*a - 2*a = -40. Solve -2*j - a = 3*j for j.
-2
Let y be (-9)/(-21) - 9/21. Let q = 5 - 9. Let s = y - q. Solve 3*c - c = -s for c.
-2
Suppose -9 = -a - 0*a. Let j be (3/2)/(a/30). Solve 5 = -j*l - 0*l for l.
-1
Let q(z) = -6*z**2 - 114*z