3 = 3*q + u, -w + 2 = -2*q. Solve -2*n - 3 = q for n.
-2
Suppose -5*a + 71 + 73 = 3*t, 3*a - 100 = 5*t. Suppose 2*v + n = -v + a, -2*v + 19 = n. Suppose -2*j + 12 = 4*j. Solve j*l - 1 = -v for l.
-5
Let y be (2/((-1)/(-1)))/1. Suppose -1 = -f - 3. Let n = y - f. Solve -2*w = -n*w for w.
0
Let q(b) = -b**2 - b. Let l be q(0). Solve l + 4 = -2*f for f.
-2
Suppose -1 = -4*z + 3. Let b = 0 + z. Solve -2*s + 3 + b = 0 for s.
2
Let d(s) = -s**3 - 13*s**2 - 11*s + 14. Let q be d(-12). Solve -i = -q*i for i.
0
Suppose g = 2*x - 7, 0 = -2*x - x + 4*g + 18. Solve 6*y = x*y + 8 for y.
2
Let q be (-3)/((-2)/(8 + -4)). Solve 3*h = 6*h + q for h.
-2
Suppose 20 = 3*k + 2*k. Suppose -t - 2*u - 2 = -3*t, 5*t = 4*u + 7. Solve -t*j + k*j + 5 = 0 for j.
-5
Suppose -5*r + 5*v - v = -32, 0 = -3*r + 5*v + 27. Solve 3*l - 5 = r*l for l.
-5
Suppose -q = -5*o - 13, 3*o + 2*o = -3*q - 1. Suppose -z + 40 = 4*z. Solve -q*n + 5 = -z*n for n.
-1
Let n be (-81)/(-21) - 1/(-7). Solve -n*s + 10 = 2 for s.
2
Let u = -22 - -36. Let j(n) = n - 11. Let g be j(u). Solve -g - 2 = q for q.
-5
Let t be 6 - (-3)/((-12)/4). Solve t = -8*z + 3*z for z.
-1
Let n be (18/5)/(32/80). Suppose 5*j = 1 + n. Solve -j = k - 7 for k.
5
Suppose 4*p - 13 = 3. Let s(x) = x**3 - 2*x**2 - x - 4. Let h be s(3). Suppose 4*i - 12 = 2*l, p*l + h*i - 14 = 12. Solve 0*o + 4*o - l = 0 for o.
1
Suppose -4*c - 6 = -5*c - a, -5*c - 2*a + 15 = 0. Let s = 1 - c. Let l = s + 0. Solve 0*f - 3*f - 9 = l for f.
-3
Suppose -4*b = 3*f + 47, 4*b - 17 + 73 = -4*f. Let o = f + 13. Solve o*j = j for j.
0
Suppose 5*l + 9 = -3*k, -2*l = 3*k - 0*k. Let f be (-2 + 1 + 2)*k. Solve h = f*h + 3 for h.
-3
Let o(t) = -t**3 + 4*t**2 - 3*t + 1. Let g be o(3). Solve -2*h + g = -3*h for h.
-1
Let u(n) = -n - 15. Let q be u(0). Let z be 16/6*q/(-2). Solve -3*o - o = -z for o.
5
Let j(w) = 11*w - 1. Let n be j(1). Suppose -n = -3*y + 14. Solve -2*q - y = 2*q for q.
-2
Let m(x) = -x - 8. Let q be m(-4). Let c be 3/(-12) - 21/q. Solve 4*s = c + 3 for s.
2
Let m(x) = -3*x + 84. Let p be m(26). Solve 2*w = p*w - 20 for w.
5
Let y be (0 - -1)*(-8)/(-1). Suppose 3*n + 5*q = 2*q - 3, 0 = -5*n + q + 7. Let g = 1 + n. Solve 5*h + g = -y for h.
-2
Let c be 20/35*(-14)/(-4). Let j = 13 - c. Solve -3*d - 2 + j = 0 for d.
3
Suppose 15 = -0*n + 3*n. Let j = -5 + n. Solve 0 = -2*o - j*o for o.
0
Let v = 10 + -7. Suppose -v*r + 58 = -u, 3*u = r - 8 - 6. Solve w - r = -3*w for w.
5
Suppose -9*v = -14*v. Suppose v*k = k - 4. Solve k*s = -0*s + 4 for s.
1
Let t = 3 + -1. Let n = -9 + t. Let r(i) = i**2 + 6*i - 3. Let z be r(n). Solve -5*x + z = -x for x.
1
Let o(g) = g**3 - 4*g**2 + 4. Let c be o(4). Suppose -4*t = -c*j + 10 + 6, 5*t + 12 = 3*j. Solve -3*a = -t*a - 3 for a.
1
Suppose -8 = -3*d - x, x + 8 = 5*d - 0*x. Suppose 4*g - d = -3*p + 7, -2*g + 3*p = -9. Solve g*n + n = 4 for n.
1
Let f be ((-4)/4)/(2/(-4)). Suppose f*i = -4*n + 4 + 12, 0 = n - 5*i + 7. Solve -n*a + 8 = a for a.
2
Suppose 0 = t + 5*g - 30, g + 77 = 4*t - 22. Solve 5*p - 5 + t = 0 for p.
-4
Let s be 20/8*(-24)/(-15). Solve s + 11 = -3*l for l.
-5
Let b = -134 - -137. Solve b*o + 3 = -0 for o.
-1
Let c = 2 - 2. Let l = c + 6. Let q be 2/(-7) - l/(-21). Solve -7*i + 3*i - 12 = q for i.
-3
Let h = -7 + 7. Suppose -4*c + 11 + 5 = h. Solve 0*u + 20 = c*u for u.
5
Suppose 4*f + 4*z - 52 = 0, -2*f = 2*f + 5*z - 56. Let w be 2/8*36/f. Solve -2*p = -3*p - w for p.
-1
Let v = 5 + 11. Let u be 0 + (1 - 5) + 2. Let g be (0 - 10)/(-2) + u. Solve -g*p = p + v for p.
-4
Let o(y) = y**2 + 3*y - 2. Let p be ((-13)/(-4) + -2)*4. Suppose 4*d = -p*i - 31, -4*i = -6*d + d - 8. Let g be o(d). Solve -m = -0 + g for m.
-2
Let p be (-4)/(-3) - 442/(-51). Solve -2*m = 3*m - p for m.
2
Suppose 5*h - 20 = -5*j, -2*j + 4*h + 10 - 2 = 0. Solve 6 - j = 2*z for z.
1
Let t be (-9)/63 + (-36)/(-7). Let v(n) = -3*n**3 - n**2. Let z be v(-1). Solve -t = g - z*g for g.
5
Let l(o) = o + 115. Let u be l(0). Suppose 4*d - u = -h, d - 5*d = -16. Suppose h = 4*f + 11. Solve -5*c + f = -3 for c.
5
Let f(b) = b - 2. Let y be f(5). Suppose o - y = 3. Solve 3*l = l - o for l.
-3
Let w(o) = 2*o**2 + 4*o. Let y be w(-3). Let f(v) = v - 6. Let i be f(y). Solve i = 3*x - 9 - 6 for x.
5
Suppose 0 = 3*k + 5*a - 20, 0*k - 5*a = -k - 20. Let l(d) = -5*d**3 + 4*d + 4*d**3 + 1 + 2*d**2 + k*d**2. Let v be l(3). Solve -2*m + v*m = -8 for m.
-4
Let b be 19/((-5)/5 + 1 + 1). Solve b = -4*t + 3 for t.
-4
Suppose -1 = 2*b - 3. Solve -2*x + b = -1 for x.
1
Let j(k) = -2*k + 34. Let x be j(17). Solve -2*c - 2 + 4 = x for c.
1
Let s = 93 + -89. Solve -b - s - 1 = 0 for b.
-5
Let p = 33 + -23. Suppose -2 = -q + p. Solve -o + 4*o = q for o.
4
Suppose 5*x + n = 15, -2*x + 5*n = -32 - 1. Solve 3 = -b + x for b.
1
Let r(k) = -1. Let m(t) = -t - 8. Let x(w) = -2*m(w) + 4*r(w). Let h be x(-5). Solve -25 = 3*u + h*u for u.
-5
Suppose 0 = -5*k + s + 182, 53 = 4*k + 5*s - 81. Suppose 3*f - 13 + 5 = v, k = 4*f + 5*v. Solve -3 - 5 = -f*l for l.
2
Let u(o) = o**2 + 10*o + 7. Let l be u(-11). Suppose 0*b - 3*b = -l. Solve 3*q = 3 + b for q.
3
Let r(s) = 2*s + 13. Let g be r(-5). Solve 2*f - g*f - 2 = 0 for f.
-2
Let u = -3 + 7. Suppose 18 = 2*w + u. Solve -27 = -5*p - w for p.
4
Suppose -6 = 3*h - 12. Suppose 0 = 4*y + h*f - 44, y - f - 2 = 6. Solve -y = 5*m - 5 for m.
-1
Suppose 0 = -4*c + 7*c. Suppose c = 3*r - 11 - 19. Solve 5*q - 10 = r for q.
4
Let p(r) = -r**2 + 7*r + 1. Suppose -5*q - 3*g = -0*q - 29, 3*g - 22 = -4*q. Let v be p(q). Suppose 2*n = -2*y - 6 + 2, -y - v = 2*n. Solve -d - n = 3 for d.
-4
Let x be 13 + -3 - (2 + 0). Solve -x = -5*r - 33 for r.
-5
Suppose 3*v = 5*z + 5*v, 0 = -v. Solve z = 3*d + 9 - 3 for d.
-2
Let g(v) = v**2 + v + 24. Let c be g(0). Let u be (-2)/13 + c/156. Solve u = -4*d + 10 + 2 for d.
3
Let f = -103 - -104. Solve 0 = a - f + 3 for a.
-2
Let d = -4 - -6. Let z = -102 + 114. Solve 5*b - d*b - z = 0 for b.
4
Let r(q) = q**3 - 10*q**2 + q - 6. Let u be r(10). Solve 20 = -u*o + 4 for o.
-4
Let d be ((-2)/(-6))/(3/18). Suppose 2*j - d = j. Let m be 0*((-6)/(-4))/3. Solve j*a - 5*a + 12 = m for a.
4
Suppose 2*o = 6*o - 24. Solve -2*c = -o*c - 8 for c.
-2
Let v(k) = k**3 - 7*k**2 + 2*k + 3. Let y be v(7). Let j = -1 + 2. Let x be (-2)/3*2*-3. Solve -x*l + j - y = 0 for l.
-4
Let s(i) = 3*i**2 + 2*i + 1. Let n be s(-1). Suppose 2 = -8*u + 9*u. Solve -u*r + n = 4 for r.
-1
Let k = -10 + 18. Suppose -2*d = -d - k. Let l(n) = -2*n + 4. Let v be l(-6). Solve d*g = 4*g - v for g.
-4
Let c = -8 - -9. Solve -5*n - 4 = c for n.
-1
Let j be 4 - 4*(-1)/(-2). Suppose j*c = 1 - 3. Let u(h) = -2*h**3 - h**2 + 1. Let l be u(c). Solve -5*k + 12 = l for k.
2
Let v be (1 - 1)*(-2)/4. Suppose v = -4*h - 0*h. Solve -g + 4*g = h for g.
0
Let w = -5 - -6. Let s(h) = h + 3. Let k be s(-7). Let b = k + 9. Solve 0 = b*d + w + 9 for d.
-2
Let t(h) = -h**2 - h + 77. Let c be t(0). Let i be (-1)/(-2) - c/(-14). Solve 9 = -5*b - i for b.
-3
Suppose -54 = -2*d - 3*o, 6*d + 4*o = 3*d + 79. Let b be (-1)/(d/(-9) - -2). Solve b*l = 2 + 4 for l.
2
Let z(r) = 4*r - 51. Let x be z(19). Solve 5*b = -0*b + x for b.
5
Let w(q) = q**2 + 11*q + 5. Let b be w(-11). Solve 4*x + 15 = -b for x.
-5
Suppose 0 = 2*i + i. Solve 0 = x - i*x for x.
0
Suppose -2 = 2*n - 10. Let v be -2 + (0/2 - 1). Let a be 0/((1*v)/(-3)). Solve k + n*k - 25 = a for k.
5
Let l be 276/60 + (-2)/(-5). Solve 5*g = 10 + l for g.
3
Suppose 0 = -d - h, 0*h = 5*h + 20. Solve -z + 1 = -d for z.
5
Let z = -26 + 28. Solve z*c + 0 + 6 = 0 for c.
-3
Let k be -1*((-3 - 1) + 1). Suppose -u + k + 2 = 0. Suppose -16 = -2*a - 0*a. Solve t - u*t = -a for t.
2
Suppose -2*b + 2 = 8. Let m be (-12)/18 + (-2)/b. Solve 1 + m = r for r.
1
Let t be (-5)/(-2) + 1/2. Suppose 2*l = t*l - 4. Let k(z) = 5*z + 30. Let f be k(-6). Solve f*a + a + l = 0 for a.
-4
Suppose v - 34 = -0*v. Suppose -4*g + 28 = 84. Let q = v + g. Solve -r = 4*r + q for r.
-4
Let u(r) = 2*r + 15. Let h be u(-6). Solve -2 - 1 = -h*g for g.
1
Let a(s) = -64*s - 3. Let w be a(4). Let p be 4/(-10) + w/(-35). Solve -3*c - 16 = -p*c for c.
4
Suppose -11*q + 3 = -8*q. Let s(u) = -6*u. Let i(m) = -19*m. Let c(f) = 2*i(f) - 7*s(f). Let g be c(q). Solve 2*w - 6 = -g for w.
1
Let a be ((-5)/(40/6))/((-3)/12). Solve -a*t + 3 = 9 for t.
-2
Suppose 0 = -7*g + 21