 2*m**2 + 2*m - 1. Let o be z(3). Solve t - 17 = -o for t.
3
Suppose -2*r + 0*u - 7 = -3*u, -r + 2*u = 5. Solve -r + 7 = 2*h for h.
3
Let l(g) = g**2 + 8*g + 3. Let u be l(-5). Let h = 15 + u. Solve -6 = h*d - 3 for d.
-1
Suppose -5*j + 19 = -6. Suppose 2*i + 15 = -j*x + 35, x = 2. Solve i*l - 11 = -1 for l.
2
Suppose 4*h + 8 = -2*c - 0, -2*c = 0. Let q = h - -4. Solve a = -q*a for a.
0
Let y be (-12)/8*(-2)/1. Let n = 6 - y. Solve 5 - n = -k for k.
-2
Let y be (1 - 0)/((-2)/(-4)). Solve -20 = 2*n + y*n for n.
-5
Let j = 7 - 15. Let q = j + 12. Suppose -4*x + 31 = 5*m + 5, 0 = -q*x + 5*m + 6. Solve -x*r + r = 0 for r.
0
Suppose 5*b = -20, -2*u + u = b + 4. Solve u = 4*m + 6 + 2 for m.
-2
Suppose -7*h = -4*h - 5*p + 7, 5*h - 7 = -p. Solve 2*w + h = 5 for w.
2
Let o(t) = -3*t - 4*t**2 + 7*t + 6*t**2. Let r be o(-4). Solve 0 = -3*c - c - r for c.
-4
Let w(u) = -u**2 - 8*u + 3. Let b be (-16)/40 + (-76)/10. Let l be w(b). Solve 5*h = l*h for h.
0
Let m(k) = -k**2 + 9*k - 9. Let z be 84/(-8)*(-2)/3. Let o be m(z). Suppose -41 - 1 = -2*w + o*j, -w - 2*j = -12. Solve w = 2*f + 6 for f.
5
Let c(y) = -y**2 + y + 2. Let z be c(2). Solve 0 = -2*t - z*t - 8 for t.
-4
Let j = -4 - -17. Let m = j - 7. Let u be (-3 + 2)*(2 - 2). Solve 0 = -2*q + m - u for q.
3
Suppose 6*h - 12 = 3*h. Let u(k) = k**2 - 3*k + 4. Let q be u(3). Suppose 3*x = -q*t + 16, 5*t = -5 - 5. Solve 0*g = h*g - x for g.
2
Let m(z) = 3*z**3 + 8 + z**2 + z**3 - 5*z**3. Let g be m(0). Let n be (-28)/(-13) + 20/(-130). Solve n*o = -2*o - g for o.
-2
Suppose -38 = -7*w + 32. Let o(c) = c**2 + 5*c + 3. Let q be o(-5). Solve w = j - q*j for j.
-5
Suppose 3*c + 12 = -2*c - 2*n, 4*c - 2*n = -24. Let p be (-20)/(6/c + 1). Suppose -5 = 5*g - p. Solve -f = 2 - g for f.
5
Let f(m) = -m + 2. Let u be f(-6). Let g(i) = i - 5. Let y be g(-6). Let h = y + 16. Solve h*d - 7 = u for d.
3
Let r(t) = -t**3 + 6*t**2 - t + 7. Let v be r(6). Solve -u + v = -0*u for u.
1
Let n be 1 + 2*-1*-1. Suppose z + z = 10. Suppose z = -3*s + 14. Solve 0*c + n = s*c for c.
1
Let p = 12 + -8. Suppose 5*b + 173 = p*f + 2*b, 0 = f + 4*b - 48. Suppose 0*r = 2*r - f. Solve -5*s + 2 - r = 0 for s.
-4
Suppose 3*b - 21 = -3*k, 4*b = 5*k - 3*k + 4. Suppose -2*p = j - 2, 5*p - j + b*j - 7 = 0. Solve 3*y = p + 3 for y.
2
Let d be (-2)/(-9) + 34/9. Suppose -5*c - 6 = -0*c - 3*n, 2*n - d = 0. Solve c = -2*t - 2*t + 8 for t.
2
Suppose -4*z - 100 = -9*z. Let t = 23 + -11. Let p = z - t. Solve -4*j + 16 = -p*j for j.
-4
Suppose 4*t + 12 = 3*f, -2*f = 3*f - 5*t - 20. Let c be -3*f/6*-1. Suppose 4*d = -14 - 6, -4*a + d + 13 = 0. Solve 6 = -a*w + c for w.
-2
Let s be (-2)/2 - (-1)/1. Suppose s = -5*q + 6 - 21. Let a = -2 - q. Solve 0*m = m + a for m.
-1
Let m be 0 + -1 - 4*-3. Suppose -3*t = 5*d + m, 0*d + d = -t - 1. Solve 0 = 3*s - t + 12 for s.
-3
Let p(h) = 2*h + 5. Let x be p(-4). Suppose 0*b = 4*b - n - 14, 3*n + 3 = -b. Let j = b + x. Solve -5*w - 11 - 4 = j for w.
-3
Let g be 0/(3 - -4*1/(-4)). Let o be (-4)/14 - (-2)/7. Solve o*t - t = g for t.
0
Let i(b) = b**3 + 6*b**2 + 4*b - 5. Let j be i(-5). Suppose j = k + 3*k. Suppose r = -r + 10, k = -4*z + 2*r - 2. Solve z*p = 3*p for p.
0
Let j(l) = 7*l**2 - l - l**3 + 0*l + 2*l - 6. Let w be j(7). Solve -q - w = 3 for q.
-4
Let j = -19 - -11. Let w = j - -13. Solve -m = 1 - w for m.
4
Let d = -9 + 4. Let f = d + 4. Let o be 0/f*(-4)/4. Solve o*r + 4 = r for r.
4
Suppose n = 2*i + 6 - 39, 2*n + 36 = 2*i. Let d be (-4)/(-6)*3/(-2). Let g = -1 - d. Solve i = -3*p - g*p for p.
-5
Let o(f) = f**3 - 6*f**2 - 7*f + 4. Let v be o(7). Solve v*c - 8 + 0 = 0 for c.
2
Let z = -1 + 5. Suppose -z*l - 1 = -13. Solve 0*p = l*p for p.
0
Suppose 0 = -3*y - 3 + 72. Let h = y + -7. Suppose o - 12 = -2*f, -h = 3*o - o - 4*f. Solve -o*j = 2*j for j.
0
Let d = -35 - -35. Solve d = -5*p + 7 - 2 for p.
1
Let i(r) = -2 - 3*r**2 + 2 + r**3. Let h be i(3). Suppose 12*d = 71 + 109. Solve n + 2*n + d = h for n.
-5
Let p(y) = -7*y + 9. Let d(l) = -l. Let b(n) = -2*d(n) + p(n). Let z be b(6). Let r be (-6)/z - (-26)/7. Solve 0*k = k + r for k.
-4
Suppose 4*f - 4*i = -2*i + 16, -3*f = 3*i - 21. Suppose -3*a - 2*j = -8*a + 20, a - j = 1. Suppose -a*s + s = 0. Solve -f*p - 6 + 1 = s for p.
-1
Let c(h) = h**2 + 5*h - 8. Let u be c(-7). Suppose -5*l + 3*v - 2*v = -u, -l - v = -6. Solve -y - 5 = -l*y for y.
5
Let n(o) = -o**3 - 4*o**2 + 2*o + 5. Let g be n(-4). Let h be 2/(-1*1/g). Solve 0 = -c + h*c - 10 for c.
2
Let z be 3 - ((0 - -2) + 1). Solve -2*v + 4 = -z*v for v.
2
Suppose 0 = 4*b + 3*l - 31, -5*b = -4*l + 2*l - 10. Suppose -w + 1 = b*r - 8, 0 = -4*w + 5*r + 15. Solve q - w = -4*q for q.
1
Let t(m) = 2*m - 1. Let r be t(1). Let i = r - 1. Let x = 2 - 2. Solve x*w + w + 1 = i for w.
-1
Let i(x) = -x**2 + 7*x + 2. Let l be i(6). Let p(z) = -z + 1. Let s be p(-3). Let r = l - s. Solve -m + r = -1 for m.
5
Let j(c) = c**3 - 11*c**2 + 12*c - 14. Let z be j(10). Solve -3*q - z = 3 for q.
-3
Suppose -6*l = -2*l + 8. Let a = l - -2. Let c(y) = y**3 + 5*y**2 - 3*y - 6. Let x be c(-5). Solve 2*k + k - x = a for k.
3
Let u(s) = 2*s - 13. Suppose 4*r - 2*l = 32, 0*r - 4*r + 46 = 5*l. Let v be u(r). Let d be -2*(3 + 1)/(-2). Solve d*k + v = -k for k.
-1
Suppose 3*d = 10 - 4. Let z = -22 + 38. Let c = z - 16. Solve c*t = -d*t for t.
0
Let d(s) = -s**2 + 4*s - 3. Let c be d(1). Solve c*n = n - 1 for n.
1
Let g be -2*3/18*-3. Suppose -a + 0 = -g, -5*a = 2*p - 19. Solve p = 3*x - 5 for x.
4
Suppose -5*n + 11 = -2*k, 0*n - n + 5 = k. Solve -n - 1 = -v for v.
4
Suppose 0*a = -3*a + 15. Suppose a*i - 10 = -0*i. Solve -k = k - i for k.
1
Let d = 33 + -21. Solve 3*r + 0*r + d = 0 for r.
-4
Let o(m) = -m. Let x be (-4)/2*(-10)/(-4). Let d be o(x). Solve 3 = -d*n - 17 for n.
-4
Let n be 1/4*5*16. Suppose 2*w - 22 - n = 0. Suppose -4*y + 33 = -3*q, w = 2*y - 0*q - 3*q. Solve x - y = -x for x.
3
Let c be 0 + (-8)/2 + 4. Solve 5*g + 5 - 15 = c for g.
2
Let u be -1 + (2 - -1) + 44. Let a be (-3)/4 + u/8. Solve a*i + 20 = -5 for i.
-5
Suppose -3*k + 15 = -4*a - a, 0 = 3*k + 3*a + 9. Solve 0 = r - k*r - 3 for r.
3
Let b be 6/(-15) - 2/(-5). Suppose -3*j + 3*r + 15 = b, 0 = -0*j - j - 4*r - 5. Solve -j*a = a + 8 for a.
-2
Let m(p) = -p**3 - 8*p**2 - 6*p + 10. Let b be m(-7). Solve -b*f + 21 - 6 = 0 for f.
5
Let b(d) = -4*d - 1. Let t be b(-1). Suppose -25 = u + 5*g, -t*u - g - 5 = -u. Suppose u*p = -2*p + 8. Solve 0 = 3*q - 2*q - p for q.
4
Suppose -28 = -4*i - 0*i. Suppose -4*a + 4 = y, 3*a + 0*a - y - 10 = 0. Solve a*h + 1 = i for h.
3
Suppose -2*y + 2 = -4*g, y - 2*y - 5*g = -15. Let z = 4 + -6. Let c be (-4 - 1)*-1 - z. Solve y = -4*j - c for j.
-3
Let w be (3 - 6) + 1 - 2. Let v be (-2 + (-26)/(-6))*3. Let a = w + v. Solve x = a*x - 8 for x.
4
Let r be 1/(3/(-12)) - -6. Solve 0 = -r*j + 6*j - 12 for j.
3
Suppose p + 2*p - 9 = 2*i, -4*i + 2 = -2*p. Suppose -p*g + 6 + 4 = 0. Solve 0 = -g*n + 3*n for n.
0
Let i be (-14)/(-5) - 2/(-10). Suppose -i*r - 21 = -0*r. Let z = 12 + r. Solve z*v = -4 - 6 for v.
-2
Let b = -15 - -5. Let i be (8 - -1)*b/3. Let v = -21 - i. Solve x + v = -2*x for x.
-3
Let v = -6 - -10. Suppose -19 + 3 = -4*u. Solve 4*w - u = v for w.
2
Let t(y) = -2*y - 8. Let g be t(-6). Let r(z) = z + 2. Let j be r(3). Suppose 3*o = 2*h + 2, o - 1 = -j*h + 11. Solve -2*d = -h + g for d.
-1
Let i = 19 + -25. Let f = 12 + i. Solve 5*a + 21 = f for a.
-3
Let z(k) = k**2 + 2*k + 1. Let v be z(2). Let h(s) = -s**2 + s + 3. Let q be h(0). Let f = 3 + q. Solve -f - v = 3*a for a.
-5
Suppose 4*y + 9 = 7*y. Solve 3*t + 6 = -y for t.
-3
Let m(x) = -2*x**2 - x + 15. Let s be m(0). Suppose -8*u + 3*u = -s. Solve 3 = -u*y - 9 for y.
-4
Let d = 2 + -2. Let j(m) = m**3 - 4*m**2 + m. Let w be j(4). Suppose -w = -p - 3. Solve k + p + 3 = d for k.
-4
Suppose -102 + 30 = -18*c. Solve -c*i + 3*i = 4 for i.
-4
Suppose -9*b + 13*b - 64 = 0. Solve 0 = -4*w - 4 + b for w.
3
Let r = 14 + -6. Let x(l) = l**2 + 8*l - 2. Let d be x(-9). Solve r = -3*u - d for u.
-5
Let b(v) = v**3 + 9*v**2 + 6*v - 11. Let y be b(-8). Solve 0 = -g - 2 + y for g.
3
Suppose -2 = -3*p - 8, 13 = -v - 5*p. Let y = 5 + v. Solve -y*m = -m - 2 for m.
2
Suppose 113 - 93 = 4*b. Solve b*w + 8 = -17 for w.
-5
Suppose -2*f = 3*o - 5, 0 = -3*f + 2*o - 0*o + 14. Solve f = z - 0 for z.
4
Suppose