e y = 4*q - 1 for q.
1
Let j(y) = -y**2 + 7*y - 4. Let u be j(6). Solve -6 = 2*q - u for q.
-2
Let c = -4 + 9. Let h be 13 - c - (-1 + 3). Suppose 4*p = -h*t + 2*t + 4, 2*t = p + 14. Solve -z = 1 - t for z.
4
Suppose 4*v = -4, 3*v + 12 = 3*u - 0*u. Let z = -7 - -11. Solve -z = -u*c + 2 for c.
2
Let p be ((-4)/6)/(5/15). Let j be p/(-3) + 28/21. Suppose 3*y - 4*z - 4 = 0, -y = 4*z - 2*z - 8. Solve -y*o = j + 2 for o.
-1
Let f = 0 + 2. Let r(s) = s**3 - 3*s**2 + 3*s - 2. Let q be r(2). Suppose 15 = 5*b - 3*o, -3*b + 4*o - 2*o + 9 = q. Solve -f*i - 1 = b for i.
-2
Suppose -22 = -5*n - 3*g, -1 = 4*g - 3*g. Suppose f = 4*d - 4, -n*f = d - 0*d - 22. Solve -1 = -f*t + 3 for t.
1
Let l be (-50)/(-4) + (-24)/16. Solve 6 = -r + l for r.
5
Let q(p) = p**2 - 2*p. Let d be q(2). Solve 0*z + 2*z - 10 = d for z.
5
Let n be (-3)/((6/(-4))/1). Suppose 0 = n*v - 3*v + 2. Solve v*j = j + 2 for j.
2
Let y(x) = x**3 - 5*x**2 + 6*x - 1. Let g be y(4). Suppose -38 = -3*k + 22. Solve -g*o = -2*o - k for o.
4
Suppose -4*p = 20, -6*t + 3*t - p + 7 = 0. Suppose 2*o - 3*o + 3*h + t = 0, -40 = 5*o + 5*h. Let a be 1/(-2)*(-3 + o). Solve 0 = -4*s - a - 0 for s.
-1
Suppose 0 = -4*o - 8 + 12. Suppose r - o = 0, 0 = -6*z + 4*z - 4*r + 12. Solve -z = p - 1 for p.
-3
Let n(j) = 2*j**2 - 5*j + 2. Let f be n(3). Let x = 3 - f. Let o(w) = -2*w**3 - 4*w**2 - 3*w - 2. Let z be o(x). Solve -22 = -z*h - 6 for h.
4
Let w be (0 - -1) + (7 - -32) + -3. Solve 5*q = 12 - w for q.
-5
Suppose -4*t - 6 = 3*y, 0 = 3*y + 2 + 4. Suppose -3*p = k - p + 9, -5*p = -2*k + 27. Solve t*a - k = -a for a.
1
Suppose -2*q = 13 - 37. Let n be 0 + q - 1 - -1. Solve 0 = 4*g - 0*g + n for g.
-3
Let n(h) = -h + 16. Let a be n(13). Let o be 4 - (a - 0)/3. Solve -t - o = -0*t for t.
-3
Let p = 12 - 0. Suppose x - 3*x = -3*q - 11, -3*q = 2*x - 5. Solve p = x*n - 0*n for n.
3
Let d(s) = s - 5. Let n be (-10)/(-2)*1/1. Let p be d(n). Solve -3*b - 6 = -p for b.
-2
Let f = 4 - 1. Let b(d) = -4 - d + 7*d - d**f + 0 - 6*d**2. Let m be b(-7). Solve m*j - 1 = -10 for j.
-3
Let j = 27 - 27. Suppose -20 = -4*y - y. Let b = -1 - -4. Solve -y*a + b*a = j for a.
0
Suppose -2*v = -5*m + 19, 0 = -3*m - 4*v + 1 - 0. Suppose 0 = 2*s - m - 1. Suppose -22*l = -2*l. Solve p - s*p + 2 = l for p.
2
Let h be 31*(-1)/(-11) + 18/99. Solve -b + 6 = -h*b for b.
-3
Let b(o) = 8 + 52*o - 53*o + 7 - 2. Let v be b(11). Solve 0 = 6*t - v*t - 4 for t.
1
Let x be (2 - 1) + (18/6 - 0). Solve 0 = 2*n - x*n for n.
0
Suppose -12 = 5*z - 3*w, 3*z = -z + 4*w - 16. Solve -2*p - 3*p + 20 = z for p.
4
Suppose 0 = -5*w - 4*a + 16, 5*a = 2*a - 3. Let x = 9 - w. Solve -2*y + 1 + x = 0 for y.
3
Suppose 2 = j - 3. Suppose 3*c - j*c + 2 = 0. Let m be 39/12 + c/(-4). Solve -5*i - m = 2 for i.
-1
Let n(w) = -w**2 + 5*w - 4. Let f be n(3). Suppose z - 6 = -f*h, 0 = -z + 3 - 7. Let t = 25 + -19. Solve -h*s + 31 = t for s.
5
Let z be (-21)/14 - -3*2/4. Solve z*p = p - 4 for p.
4
Let x be 2/9 - (-2)/(-9). Suppose -5 - 7 = -2*z. Suppose -4*s + z*s - 10 = x. Solve -7 = 3*m + s for m.
-4
Let t = -11 + 18. Suppose -o - 4 = 4*v, -5 = 2*o - t*o + 5*v. Suppose o*n - 8 = -2*n. Solve -2*f + 4*f = -n for f.
-2
Let x = 13 - 19. Let q = -3 - x. Solve r - q*r + 4 = 0 for r.
2
Let c(z) = z**3 - 8*z**2 - 8*z + 6. Let n be c(9). Solve n = -4*h - 5 for h.
-5
Suppose 4*x - 16 = 5*u, -4*x + 13 + 3 = 5*u. Solve 5*z = -u*z for z.
0
Suppose -5*i + f = -4*f + 20, 5*i - 2*f + 8 = 0. Suppose -5*q + 25 = 3*o + 2*o, i = 5*o - 4*q + 20. Solve o = j - 0*j for j.
0
Let p(v) = -v**2 + 1. Let i(a) = -a**3 + 12*a**2 - 7*a - 5. Let l(r) = i(r) + 5*p(r). Let z be l(5). Solve 5 = 2*j + z for j.
-5
Let i(u) = -u**3 - 8*u**2 + 10*u + 13. Let z be i(-9). Solve 0 = -z*k + k + 9 for k.
3
Suppose -4*l + 98 = 5*n, 5*n + 39 = 3*l + 123. Let r be ((-6)/(-18))/(1/n). Suppose 0*c = 2*c. Solve c = -2*i - r for i.
-3
Suppose 0 = 2*k + 3*y, 3*k - 7*k = 2*y. Solve -2*h = -2 - k for h.
1
Suppose 0 = -2*u + 6*u + 3*l - 4, -4*u - 20 = -3*l. Let j = u + 4. Solve -13 = j*a - 3 for a.
-5
Let p(s) = -s - 8. Let i be p(-10). Let z be -2*(0 + -1) - -4. Solve 2*b + z = -i for b.
-4
Let g = -4 + -1. Let m = g - -7. Solve -m = 5*i + 8 for i.
-2
Suppose r + 4*z - 16 = -3*r, -r = 4*z + 8. Let i be 25/10*r/5. Solve a - i = 1 for a.
5
Let y = -9 - -17. Let g be 48/9 - 2/6. Suppose m - 5*n + g = -y, m - 17 = -5*n. Solve 0 = -m*o + 4 for o.
2
Let t(u) = -5*u - 60. Let j be t(-12). Solve d - 2*d = j for d.
0
Let n = -15 + 11. Let q be (-80)/(-2)*(-2)/n. Suppose -4*v - j + 7 = -2*j, -q = -5*v - j. Solve -v*x - 16 = x for x.
-4
Let f be (-1)/(-2) + 6/4. Let g(i) = i**3 + 4*i**2 - 7*i. Let h be g(-5). Suppose -2*m + 14 = 5*s - s, -5*s + 5*m + h = 0. Solve f*j - s = -j for j.
1
Suppose 3*c - c = 18. Let d = -3 + c. Solve o + o = -d for o.
-3
Let d be 4 - (-2 + 4) - 2. Let p = -18 + 19. Solve d*o - p = -o for o.
1
Suppose -16*b = -7 - 25. Solve -8 = -0*w - b*w for w.
4
Suppose 0*t + d = -2*t + 11, 4*t - 32 = -4*d. Solve 0 = -o - 0*o + t for o.
3
Let k = 31 - 28. Solve k*j + 0*j = -12 for j.
-4
Let a(d) = -d**3 + 3*d**2 - 3*d + 2. Let y be a(2). Solve o + 2*o = y for o.
0
Let w(u) = 3*u - 81. Let j be w(28). Solve j - 1 = -n for n.
-2
Let s = -20 - -24. Suppose -u + 15 = s*u. Solve -1 = z + u for z.
-4
Let l(v) = v**3 - 4*v**2 + v. Let i be l(4). Suppose 2*n + 0*c + 2*c - 38 = 0, i*n + c = 64. Solve -2*j = -7*j + n for j.
3
Suppose 0 = 3*s, 0 = 3*x - x - 4*s - 8. Let p = -8 + 11. Solve x*c - p*c = -3 for c.
-3
Let i = 45 + -36. Solve -u = 2*u - i for u.
3
Suppose 15 = 2*d - 0*d + 3*h, 2*d = h - 5. Suppose 4*z - 5*o - 72 = d, 2*z + o + 72 = 6*z. Suppose -3*c = -0*c - z. Solve -a + c*a = -25 for a.
-5
Suppose -3*b + 35 = 4*x, 0*b - 4*x + 15 = -b. Suppose 0 = b*a - v - v - 18, -24 = -2*a + 5*v. Solve -i = i + a for i.
-1
Let r(x) = -x**2 - 7*x - 4. Let n be r(-6). Suppose 21 = -2*p - 3*j, -n*p + j - 9 = -0*p. Let t be 1/3 + (-10)/p. Solve t*h = -1 + 3 for h.
1
Let o be (-10*(1 + 0))/(-2). Solve 0*a - a = o for a.
-5
Let w(c) = c**2 - 8*c - 1. Let x be w(9). Let d(p) = 3*p - 4. Let u be d(x). Solve -7*m + 3*m - u = 0 for m.
-5
Let l(x) = -3 + x**3 + x + 2*x**2 + 0*x**2 - 5*x**2. Let i = -18 - -21. Let q be l(i). Solve -2 = u - q*u for u.
-2
Suppose 0 = -2*o + 4 + 4. Solve 0 = o*z - 3*z + 2 for z.
-2
Let m(f) = -f**2 + 3*f + 2. Let u be m(-2). Let y = u + 11. Suppose 3*b - 7 = v, 4*v - 14 = -b - y. Solve 0 = -p + v*p + 5 for p.
-5
Let t = -17 + 25. Solve v + t = -3*v for v.
-2
Let y(r) = r**3 + 2*r**2 + 3*r + 7. Let z(a) = 1. Let t(k) = -y(k) + 6*z(k). Let m be t(-2). Suppose h + 11 = 3*n, 0 = -n - 0*n + m. Solve c + 3 = h for c.
1
Let u(j) = -8*j - 4. Let g be u(-3). Solve g = 2*a + 2*a for a.
5
Let a be 3/(-9) + 32/6. Let n be (-12)/10*(-25)/10. Suppose -4*u - n + 11 = 0. Solve 0 = -u*k + a*k - 3 for k.
1
Let y be (-9)/(3*3/(-6)). Solve 2*s - 5*s + y = 0 for s.
2
Suppose -4*w + 5*w = -1. Suppose 17 - 2 = x. Let j be (x/6)/(w/(-2)). Solve -3*s = j + 1 for s.
-2
Let m(g) = -g - 1. Let k be m(-4). Suppose -2*v - 120 = -8*v. Let t = v + -8. Solve t = -j - k*j for j.
-3
Suppose -5*z = -17 + 7. Solve 3*g - z*g = -2 for g.
-2
Suppose 2*z + 6 = 0, 0 = -p + 2*z + 8 + 1. Let y(s) = -s + 10. Let a be y(7). Solve p = -a*x - 6 for x.
-3
Let t be 8/(-28) - 158/(-14). Let h(x) = x - 10. Let g be h(t). Solve g + 2 = -o for o.
-3
Suppose 0 = -3*j - 4*v, 2*j + v = -j. Solve -r - 3 = -j for r.
-3
Suppose 4*n = -8, 0 = -5*x + 19*n - 14*n + 15. Solve t = -x + 5 for t.
4
Suppose 0 = t, 0 = -2*k - 2*t + 3*t + 18. Let y be (24/k)/(4/6). Suppose q = -0*q + y. Solve 5*l - q - 1 = 0 for l.
1
Suppose -33 = -2*j - 9. Let b = 12 - j. Solve b*w = -w for w.
0
Let n = -23 + 25. Solve -n*w - 16 = -6*w for w.
4
Suppose 2*m = 3*m - 4. Suppose 5*s = s + 32. Solve s*q - m*q = 4 for q.
1
Suppose -5*h - 12 = -3*v, -v - 5*h = -5*v + 11. Let b(y) = y**2 + 2*y + 3. Let i be b(-3). Let w = i + v. Solve 0*u = -w*u for u.
0
Let l(m) = m**3 + 13*m**2 + 11*m - 9. Let w be l(-12). Solve w*c - 2*c = -5 for c.
-5
Suppose 5 = 2*n - 7. Let g = n - 3. Suppose -5*o + 35 = -q, 2*o = 3*o + q - 13. Solve -j = -g*j + o for j.
4
Let k(d) = -d**3 - 24*d**2 - 46*d - 38. Let f be k(-22). Solve 0 = 4*g - f*g + 8 for g.
4
Let q(l) = -3*l - 4. Let n be q(-2). Let b = -3 + 2. Let c be (n/6)/(b/(-12)). Solv