 4*m + 13 + 7 for m.
-5
Let l(y) = y + 0*y - y**2 - 4 - 3*y**2 + 5*y**2. Let v be l(3). Solve 0*z - v = -4*z for z.
2
Let p(v) = -v - 6. Let y be p(-4). Let o be y/6 - 26/(-6). Solve -5*z = 29 - o for z.
-5
Suppose 3*r - r = 8. Solve -2*d = -d - r for d.
4
Let j(i) = -7*i + 1. Let q be j(-1). Let l = q - 3. Solve -b + 1 = l for b.
-4
Let i = -6 - -9. Solve -i*r - 7 = 8 for r.
-5
Suppose 3*z - 4*z - 6 = 3*c, 2*z - 4*c = -2. Let i be (-45)/(-10)*(-2)/z. Solve -i = 4*y - y for y.
-1
Let b = -9 + 19. Let d = b + -10. Solve d = 3*a - 6 - 0 for a.
2
Suppose -3 = -3*g + 3*d, -4*d + 2 = 4*g + 6. Let f = 2 + g. Solve f*j = 4*j + 8 for j.
-4
Let h = -16 + 16. Solve h = 12*b - 9*b - 9 for b.
3
Suppose 2*v - 5*k - 12 = 4, 0 = v - 5*k - 13. Suppose t = -4*b - 1 + v, 3*b = 4*t - 8. Solve 3*y - y + 10 = b for y.
-5
Let h = 47 - 43. Solve 0 = r + h*r for r.
0
Suppose 75 = 4*r - 1. Suppose y = 2*w + 4*y - 7, -4*w - y + r = 0. Solve -4*x - w = 7 for x.
-3
Let v = 16 - 9. Solve -v*s + 6 = -9*s for s.
-3
Let d be (-2 - -3)/((-1)/6). Let i be 120/32 - d/(-8). Solve -t + i = 2*t for t.
1
Let l be (-5)/(30/(-8))*3. Solve l*g + 11 + 1 = 0 for g.
-3
Suppose 4*y - 7*y = 4*m, -y - 13 = -3*m. Solve m + 7 = 5*a for a.
2
Let n = -2 + 5. Solve -6*k + 3*k + n = 0 for k.
1
Let c be -1 + (-3)/(-3 + 0). Suppose c = 2*a - 5*a + 15. Suppose -3*p + 12 = -0*v + a*v, 3*v - 11 = 2*p. Solve 0 = -0*h + 3*h + v for h.
-1
Suppose 7*h + 4 - 60 = 0. Solve h*y - 20 = 3*y for y.
4
Suppose -5*x = 3*k - 55, -3*x - 2*x = -25. Solve b + b = -k for b.
-5
Let f be 4 + -5 + 1 + 0. Solve -5*d - 20 + f = 0 for d.
-4
Let t(s) = -4*s. Let w be t(-2). Solve -n - 4 = -w for n.
4
Suppose -l = -14*l + 39. Solve -2*a - l = 7 for a.
-5
Let p = -48 - -50. Solve -5*c = -p*c + 12 for c.
-4
Let c = 3 + -2. Solve -c + 3 = -2*f for f.
-1
Let a(g) = -2*g - 4. Let u be a(-4). Suppose u*b + 0*b - 60 = 0. Let p = -95 + 100. Solve -4*j = -p - b for j.
5
Suppose 5*p = 3*q + 1, q - p = 1 - 0. Solve -b + q = 1 for b.
2
Let w = -93 + 100. Solve -h + 3 = w for h.
-4
Let d(q) = -3*q**3 - q**2 + 1. Let c be d(-1). Let r be 5/((-5)/(-2)) + c. Solve -r*n + 1 = -4*n for n.
1
Let b = -44 - -46. Let u(t) = -6*t. Let c be u(6). Let d be (-1)/(3/c + 0). Solve -n = b*n - d for n.
4
Let t(i) = i**2 - 4*i. Let u be t(4). Suppose 28 = 4*g + 5*k - k, -29 = -4*g - 3*k. Solve u*x + g = -2*x for x.
-4
Let a(i) = 2*i + 3. Let o be a(3). Let n be (-14)/8*(1 - o). Suppose -x - x = -n. Solve 3*b = -x + 1 for b.
-2
Let l be (-10)/(-1 - (-1 - -2)). Suppose 4 = -f, -3*q - f = -l*f - 34. Suppose 0 + q = 2*u. Solve u*k + 5 = 17 for k.
4
Let t = 26 + -21. Solve 0 = t*a - 7 - 3 for a.
2
Let d be (-8 + -2)*(-2)/5. Solve 4*h - d = -24 for h.
-5
Let s(f) = 10 - f - f + 9*f - 6*f. Let i be s(-7). Solve -2*k = i*k for k.
0
Suppose -5*h + 5*v + 25 = 8*v, -2*h = -2*v - 10. Solve 3*k = 2 - h for k.
-1
Suppose 5*f = -6*f - 0*f. Solve 0*k + 5*k - 10 = f for k.
2
Suppose 1 = p - 1. Solve p*y = 4 - 12 for y.
-4
Let s = 12 - 12. Suppose 3*h - 4*k - 8 = s, -3*h - 2 + 0 = k. Solve h = 5*n + 4 + 6 for n.
-2
Let s(j) = -j - 3. Let u be s(-7). Suppose -7*m = -3*y - 2*m + u, y = -3*m + 20. Suppose 0*q = -q + y. Solve 5*b - 2 - q = 0 for b.
2
Let c be (1/(-2))/((-6)/36). Suppose 2*h = c*h - 2. Let u(q) = -4*q**3 - q**2 + q + 1. Let t be u(-1). Solve -t*z = -h*z for z.
0
Suppose -6 = t - 8. Solve 2*o = -t*o for o.
0
Let h = 2 + 2. Suppose 2*y = 2*k, 2*y - 27 = -3*y - h*k. Solve -y*s - 13 = -4 for s.
-3
Suppose 6*d - 3*d - 5*b = 65, 0 = 2*b + 2. Solve -d = -2*c - 2*c for c.
5
Let d(i) = -i**2 - 6*i + 4. Let z be d(-6). Suppose -t = -z*t. Solve -2*v + t*v + 4 = 0 for v.
2
Let b = -23 + 43. Solve -b = 4*i - 0 for i.
-5
Let j(g) = -21*g**3 - g**2 + g. Let q be j(-1). Solve 0 = -5*x - q + 4 for x.
-3
Suppose 3*q - 11 - 10 = 0. Solve -y + 2 - q = 0 for y.
-5
Let k be 24/11 + (-6)/33. Suppose 6*q + 5*u = q + 10, -k = -5*q - u. Suppose n = 2*n. Solve -4*b + q + 12 = n for b.
3
Suppose -f + 12 = 5*t - 5*f, 2*t - 16 = -4*f. Suppose 0 = -5*p + 2*s - 24, 0 = -p + 3*p + 2*s + t. Let q = -1 - p. Solve -q*l = -l for l.
0
Suppose 3 - 15 = -3*o. Let g be (-2)/5 - 10/(-25). Suppose q + q - 5*b - 50 = g, -35 = -q + 5*b. Solve -r = -o*r + q for r.
5
Let i(o) = o**3 + 9*o**2 - 10*o + 5. Let l be i(-10). Suppose 5 = l*b - 15. Solve n - b*n = -9 for n.
3
Let v = 8 + -4. Solve 2*z = v*z - 8 for z.
4
Let g(v) = -v + 2. Let p be g(6). Let u be -2 + (-2 + -22)/p. Solve -4*y = -0*y + u for y.
-1
Let l(f) = -3*f. Let h be l(-1). Suppose h*w + 0 = 24. Solve -3*t + w*t = -10 for t.
-2
Let y = -10 - -11. Solve 0 = 2*q + 3 - y for q.
-1
Let t(n) = n**2 - 33. Let s be t(6). Solve -x = -s + 6 for x.
-3
Suppose -5*l = 3*w + 10, -l + 4*l + 15 = 0. Solve 4*y - w - 3 = 0 for y.
2
Let l be (-2)/(-3)*(1 - 4). Let b be 0*(-1 + (l - -4)). Solve b*j = 4*j + 8 for j.
-2
Suppose 4*c + 4*n = 36, -2*c + 5*n = 13 - 3. Let w = 6 - c. Let h be -2 + w + 0 - -1. Solve h*v = -2*v + 6 for v.
3
Let i = 3 + -1. Let c(k) = -k + 2. Let o be c(i). Solve -l = -o*l - 2 for l.
2
Let t(j) = j**2 - 8*j - 9. Let k be t(10). Solve 0 = -3*f + 2 - k for f.
-3
Let u be 3/9*0 - 0. Suppose 5*s + 5 - 45 = u. Let v be -1 + s + (-4)/2. Solve 2*l - 5 - v = 0 for l.
5
Let o(w) = -w + 4. Suppose 5*q - 1 = 4. Let v be 0/(q - -2 - 2). Let t be o(v). Solve 0*r - t = -r for r.
4
Let c = -1 + 2. Let t = 4 - c. Solve 1 - t = j for j.
-2
Suppose -z + 10 = -6*z. Let a be (-3 - z - -1)/(-1). Solve 3*y + 2*y + 20 = a for y.
-4
Let i be (16/6)/4*3. Suppose -5*c - 20 = 2*t, 4*t + 4 = -c - 0*c. Let l be (1 + -1)/(-3 - -2). Solve t = -i*d - l*d + 4 for d.
2
Suppose 0*v - v = -5*j - 5, -5*v + 25 = -4*j. Solve 0 = v*x - 0*x for x.
0
Let g = 59 - 31. Let u be ((-2)/(-4))/(7/g). Solve -u + 1 = w for w.
-1
Let g(x) = 4*x**2 + 3*x - 3. Let f be g(-3). Let s = f + 1. Suppose 2*w = -k - 0*k + s, -2*w + 15 = -k. Solve -5*z - w = -0*z for z.
-2
Let r = -28 - -32. Solve -2*j = -r*j - 8 for j.
-4
Suppose u - 1 = -0*u. Suppose 1 = y - u. Solve -y*f + 3 = -3 for f.
3
Suppose 2 = -5*s - 3*l - 4, 4*l + 8 = -4*s. Let g be -2 + 57 + 1/1. Suppose -5*q - 6 = 5*z - g, -z - 2*q + 14 = s. Solve -15 = z*h - 3*h for h.
-5
Let d(p) = -p**2 + 4*p. Let s be d(3). Let x(j) = -j**s - 3*j + 2 - j**2 - 9*j**2 - 2*j - 4*j. Let m be x(-9). Solve -m*t - t = 0 for t.
0
Let g be (2/1 + 1)/1. Suppose -a + 4 = -5*a + 4*n, 4*n = g*a. Let h = -2 - a. Solve h*z = 7*z - 15 for z.
3
Let y(q) = 3*q - 15. Let g be y(5). Solve g = -p + 6*p + 20 for p.
-4
Let a(l) = l**3 + 9*l**2 + l + 7. Let m be a(-9). Let x(j) = 3*j + 0 - 4*j + 2. Let h be x(m). Solve -y - h = 3*y for y.
-1
Suppose 2*v + 0 = 4. Suppose 5*m + 10 = -v*l, -7*m = 4*l - 4*m + 6. Solve -2 = a - l for a.
-2
Let i = -34 - -84. Let n be 3/7 + i/14. Solve -5 = n*o - 1 for o.
-1
Suppose -60 = -7*i + 3*i. Suppose -4*q + 2*j = -20 + 2, -5*j + i = 5*q. Solve 12 = -q*p + p for p.
-4
Suppose 5*l - 4 - 6 = 0. Let m = 1 + l. Solve m*h = -2*h for h.
0
Let s be 2/(-4) - (-279)/18. Solve -2*r = 3*r + s for r.
-3
Let n = -14 + 16. Solve 0 = 3*d + n*d for d.
0
Let b be 0/(4/(-6)*-3). Let o be 0/(b - (1 - 0)). Let s(c) = -c + 15. Let a be s(13). Solve a*v + 1 + 1 = o for v.
-1
Let a(t) = -t**2 - 4*t + 7. Let k be a(-5). Suppose -k = -l - 0. Suppose 0 = 5*i + 2*o + o - 14, -l*i = -3*o - 14. Solve -4 = 3*h - i*h for h.
4
Suppose -5*t = 1 + 4. Let n = t + 9. Let l = n + -4. Solve -d = -2*d + l for d.
4
Let r(c) = -c**2 - 5*c - 2. Let p be r(-2). Let w(s) = s**3 - 2*s**2 + s. Let y be w(2). Suppose -y*f + 6 = -p. Solve -2*l + f = -l for l.
5
Let c = 7 - 1. Let b(h) = -h**3 + 5*h**2 + 8*h - 8. Let x be b(c). Suppose 0 = l - 0*l - 3. Solve -x*i = -5 - l for i.
2
Let c(x) = x**2 + 4*x - 8. Let u be c(-6). Solve 12 = -u*y - 4 for y.
-4
Let m(z) = 3*z**3 + 5*z**2 + 2 + 0 - 2*z**3. Let j be m(-5). Let n = j - 0. Solve 1 = h - n*h for h.
-1
Let x(o) = o**2 + 3*o - 11. Let z be x(-6). Let l(c) = -c**3 + 8*c**2 - 8*c + 8. Let g be l(z). Solve -1 - g = -y for y.
2
Let z(p) = 4*p - 7. Let j be z(3). Let q be (-3 - -3)/(j + -4). Solve 0 = -2*i - 8 - q for i.
-4
Let l = 51 - 45. Solve 4*c + 4 = l*c for c.
2
Let y(m) = 2*m + 10. Let k be y(-5). Suppose -15 = -3*a, -2*u - 25 = -7*u - 4*a. Solve k = o - u for o.
1
Let k(u) = u + 10. Let r(c) = -9. Let a(n) = 3*k(n) + 2*r(n). Le