5*f - 24 for f.
4
Suppose 3*y - 22 = -7. Let a = 37 - 26. Let j be ((-12)/16)/((-462)/(-96) + -5). Solve -2 = -2*k + j*k - 2*n, y*n - a = 2*k for k.
2
Let z(d) = 3*d**2 - 3*d - 71. Let k be z(-5). Solve 0 = 2*l - 6, 2*l + k = -0*t + 5*t for t.
5
Let t be 5/(65/(-336)) + 6/(-39). Let f be -29*(1 - 1 - 1). Let h = f + t. Solve b + 1 = -h*j - 6, j = 3*b + 1 for j.
-2
Suppose 78 = q + 5*z - 2*z, 0 = -q + z + 62. Let n = 3 + -2. Let l be n/(-5) - q/(-30). Solve 2*u + p = -13, 4*p + 2 = l*u - 0*u for u.
-5
Suppose -9*d + 4*d + 5 = p, -4*d = 0. Solve -2*v + 4*j + 0 + 2 = 0, 2*v + p*j = -16 for v.
-3
Let f = 189 + -185. Solve p - 8 = -5*w, -4*w - f*p - 2 = p for w.
2
Let l(a) = -7*a - 2. Let q be l(2). Let p(u) = -u**3 - 15*u**2 + 17*u + 18. Let r be p(q). Solve -x = 4, -r*g + g = 2*x + 9 for g.
-1
Suppose 9 = 2*g - 2*j + 7*j, -2*j + 10 = 4*g. Solve -5*t - 50 = 5*n, 0 = -g*t - 2*t - 5*n - 45 for t.
-5
Let s be 3*4*15/20. Let d(u) = u**2 + 5*u - 1. Let g be d(-5). Let b = s - g. Solve -5*k = -2*o + 16, -2*k + 2 = b for o.
-2
Let k be (-2)/(-10)*-5 + 3. Solve -2*c - 4*q = -10 + 34, -k*q = -5*c - 12 for c.
-4
Let a = 557 + -553. Solve 3*j - 11 = -0*j - 2*c, 4*c - 16 = -a*j for j.
3
Let p(x) = 85 + 0*x - 31 - x - 38. Suppose 4*v - 27 = 21. Let m be p(v). Solve 0 = -m*d - 0*d - 2*g + 14, 3*g + 29 = 4*d for d.
5
Let f = -585 - -586. Solve 3*h + 1 = 2*l - f, h = l - 1 for l.
1
Let a be 1/(((-10)/(-15))/2). Solve -4*b - 7 = a*n, n + 2*n = -3*b - 9 for n.
-5
Suppose -r - 179 = -5*d, 37 = d - 3*r - 10. Let q be 16/(-10)*d/(-2). Let b be ((-3)/2)/((-2)/q). Solve -a - 4*t - 23 = -4*a, b = -4*a - 5*t for a.
1
Let g(f) = f + 7. Let h(m) = -3. Let p(a) = 2*g(a) + 5*h(a). Let v be p(5). Suppose 1 = j, -4*y + 15 = -j - 0*j. Solve -4*x + 3*w = 1, y*w = 3*x + 1 - v for x.
-4
Suppose 0 = -9*n + 10*n + 4*j + 18, -4*j = -5*n + 30. Solve -s = -n*s - d - 4, 5*s = 4*d - 29 for s.
-5
Let a(f) = 4*f. Let m be a(1). Suppose -3 = -0*v - v. Suppose 4*u + w - 17 = 0, -v*u + 3*w = -0 - 9. Solve -5*q - 8 - 19 = -m*p, -9 = u*q + p for q.
-3
Suppose 3*l = 3*z - z - 3, -z - 4*l = -7. Let a be (-11 + 11)*6/12. Solve 6 = z*b, a*h = 4*h + 5*b + 6 for h.
-4
Let m = -48 + 62. Solve 4*p + 2 = -m, p = -2*k - 2 for k.
1
Suppose 50*b - 12*b - 6*b - 192 = 0. Let v be (2 + (0 - 4))/(-2). Solve 5*y + 2*p - v = 1, y = p + b for y.
2
Let u be (-8)/(-52) + 850/221. Suppose 0 = 5*o - 6*o + 2. Solve -2*h + 2*v = o*h, 26 = -5*h - u*v for h.
-2
Let t(b) = -b**3 - 26*b**2 - 50*b - 48. Let m be t(-24). Solve -2*u + 5*l - 29 = m, 3*u + 1 = -l - 0 for u.
-2
Suppose 10 - 15 = 5*u, -3*w + 2*u = -8. Solve -4*q = w*m + 22, -3*m = -q - 4*q for m.
-5
Suppose 4*t + 21 = 3*w, -w - 7*t - 3 = -5*t. Solve 0 = 2*j + w*x + 22, 6*j + 7 = 3*j + 2*x for j.
-5
Let v be (3 - (-3)/(-1))/2. Suppose 5 = o - v. Solve 0 = -5*b + b + 5*x + 17, x = o*b + 5 for b.
-2
Let a be (6*-1)/(3/6). Let y be (a/(-5))/(2/5). Solve -2*v - 3*f - y + 1 = 0, -5 = -5*v - 4*f for v.
5
Suppose 4*t + 2 = -22. Let w(d) = d**2 + 4*d - 8. Let x be w(t). Solve 0 = -5*j + 3*q - 5 + 13, 4*j = -x*q for j.
1
Let f(y) = -2*y + 34. Let p be f(6). Solve -4*m + p = -w, 0*m + 4*m - 20 = 0 for w.
-2
Let u be 2/((-895)/295 - -3). Let q = u - -69. Solve 3*n = -5*t + 22, t + q = 2*t + 2*n for t.
2
Suppose -j + 0*j + 14 = 0. Let r = 14 - j. Let y = r - -3. Solve 19 = 5*z + y*i, -20 = 2*z - 6*z - 4*i for z.
2
Let t(m) = -m**3 + 6*m**2 + 25*m + 23. Let p be t(9). Solve -p*q - 4*y = 30 + 5, q - y - 2 = 0 for q.
-3
Let u(k) = 2*k**3 + 10*k**2 - 3*k - 13. Let p be u(-5). Solve -g + 1 = x + 2*g, p*x = g + 9 for x.
4
Let f(x) = -12*x**3 + x + 2. Let s be f(-1). Let p be s/5 - (-6 - (-112)/20). Solve -5*h + p = -2*c - c, 2*c - 2*h + 2 = 0 for c.
-1
Suppose 3*z + 10 + 5 = 0. Let x(w) = w**2 + 5*w + 3. Let c be x(z). Solve c*j - 3*o - 2*o + 12 = 0, 0 = 3*j - o for j.
1
Let c = -9177 + 9181. Suppose -2*m + 8 = -m - p, -2*m + 4 = 4*p. Suppose -m*d = -d - 175. Solve -o + d = -4*o - c*n, 4*o = 5*n + 5 for o.
-5
Let l be (5/(-2))/((-2)/4). Suppose l*n + 12 - 2 = 0. Let j be (n/1 - -3) + 4. Solve -4*b + 4 = -5*m + 16, j*b = -2*m - 15 for b.
-3
Let f(s) = 10*s + 30. Let y be f(-6). Let z be 2/(-6) - 10/y. Solve -4*t = -2*n + 4, -t + z*n = -5*n + 19 for t.
1
Suppose 1 - 5 = -2*s. Let r(t) = 86 + s*t - 86 + 2*t**2. Let z be r(-2). Solve z*n - 4 = 3*c - 7, 3*c - 3 = 2*n for n.
0
Let r = -17 - -19. Suppose -a = -0*a - r. Suppose 3 = -0*q + q, s - 19 = -5*q. Solve -7 = -5*j - s*t, 6*j - 20 = a*j + 4*t for j.
3
Let t = -14 + 44. Let c = t - 8. Suppose 0 = -2*f - 4, 2*k - c = -f - 6. Solve -2*r - r - k = -d, 4*r = -12 for d.
0
Let z be -2 - (2*(-4)/(-8) - 8). Suppose z*w + 3*o - 19 = 0, 4*o - 9*o = 10. Solve 2*d - 2 = 3*r, w*d - 2*d - 4*r = 2 for d.
-2
Let w(z) = z**3 + 14*z**2 - 2*z - 18. Let u be w(-14). Solve -k = c - u, 5*c - k - 13 - 7 = 0 for c.
5
Suppose -v + 6*v - 45 = 0. Suppose -26 = -k - i - 8, -8 = -4*i. Let c = 8387 - 8384. Solve 4*s = -k, -v - 8 = -n + c*s for n.
5
Let g = 90 - 71. Solve -3*w + z + 4 = 0, -w - 4*z - g = -3 for w.
0
Let m = -840 - -843. Solve j - 4*w = -2*w + 9, -j + m*w + 14 = 0 for j.
-1
Let w be (-18)/(-81) + ((-248)/18)/(-1). Let f(r) = r**3 - 12*r**2 - 28*r + 3. Let m be f(w). Solve o - 2*o = -2*a + m, -3*a = 5*o + 28 for o.
-5
Suppose 5*o + 60 = 20*o. Suppose -3*n - o*l = 0, 5*n + 3*l - 17 = -6. Solve u = -2*u - 3*h - 21, -3 = n*u - h for u.
-2
Let q be (-1 + -2)*3/(-3). Suppose q*a = 7*a - 4*p - 16, -3*a - p + 16 = 0. Solve -a*t = -5*o + 40, -3*t + 0*t - 2*o = 4 for t.
-4
Suppose -3*o = h + 2*h, -3*h + 5 = 2*o. Let l be -4 - h/(10/(-8)). Solve 5*t + l*c = 2*c + 6, -3*c - 9 = -t for t.
0
Let i(u) = 2*u + 3. Let k be i(1). Suppose 0 = k*y - 4*y + 3, -2*y = 2*h - 24. Solve 0 = -4*p - x + h, x + 20 = -3*x for p.
5
Let n(h) = -h**2 - 10*h + 58. Let c be n(-14). Suppose -d + 4*z = c*d - 18, 5*d = 5*z + 30. Solve d = -4*s - v, -5*s + 5 = -2*v + 6 for s.
-1
Let r(q) = q - 10*q**3 + 2 + 9*q**3 - 5*q - 5*q**2. Let n be r(-4). Suppose -21 = -n*p - p. Solve -g - 5*v + 1 = 0, 2*g - p*g + 5*v - 25 = 0 for g.
-4
Let s be (-13)/(-52)*388/1. Let q = 116 - s. Solve q = -0*g + 3*g - 5*u, 4*u = 5*g - 10 for g.
-2
Let r(g) = 6*g - 200. Let a be r(34). Solve 0 = 3*o + a*u + 7, -4*o = u + 16 + 2 for o.
-5
Let o be (-13)/4 + (-2)/(-8). Let n be o/(-2 + 5)*0. Suppose p - 2 + n = 0. Solve -p*h = z + z - 8, 5*h + 10 = z for z.
5
Suppose 0*f + a = -f + 6, -2*f + 10 = a. Solve p - 9 = 2*c, 0*c - 12 = f*c for p.
3
Let n be (-1 - 0) + 9 - 4. Solve -l - 4 = 3*k, n = -l + 4*k - 3*k for l.
-4
Suppose -5*d + 13*z + 20 = 9*z, -18 = -d - 2*z. Solve -2*u = u + 12, -p + 2*u + d = 0 for p.
0
Let w be 6/(-3)*(-1 - 1). Suppose -5 = 2*i - 9. Let y be 32*((-2)/i)/(1 + -3). Solve c + 4*c + y = 3*j, w*j + 2*c + 22 = 0 for j.
-3
Let o(t) = t - 2. Let h be o(0). Let n be 124/(-20) - 2/(-10). Let m be h + 1 - 18/n. Solve -2*q - 2 = -c + 3, -m*c = q for c.
1
Let j(f) = -f + 9. Let a = 8 + -20. Let p be 5/10*(-2 - a). Let k be j(p). Solve 4*y = l + 4, 4 = 5*y - y + k*l for y.
1
Let x be 125/25*(5 + -4). Solve p - 2 = 3*w, -9*p = -x*w - 8*p for w.
1
Let t be 17 + -1 + (-8 - (-22 + 10)). Solve 0 = i + 4*j + t, 5*i - 2*j = -0*j + 10 for i.
0
Let t(m) = -m + 3. Let x be t(-3). Suppose -3*a + 21 = 3*h, -16*h = -14*h - 4*a + 16. Solve -5*v + 5*g = 2*g + x, -g = -5*v - h for v.
0
Let i(g) = -2*g + 15. Let d be i(6). Suppose -3*b + 15 = 0, -7*b + d*b + 17 = -c. Solve 0 = -5*z - c*s - 5 - 1, -5*z + 4*s - 27 = 0 for z.
-3
Let r be (6/(-2))/(-6)*8/2. Suppose 0 = -2*j + j + r. Solve n - 2*t + 1 = 0, j*n + 14 = 3*n + 3*t for n.
5
Let v(x) = x**2 + 24*x - 106. Let t be v(4). Solve 0 = t*b - b - 5*u, -u = 2*b - 3 for b.
1
Let k(z) = -z**2 + 10*z - 7. Let n be 6 + (2 - (1 - (5 + -3))). Let g be k(n). Solve 4*m + 2*d + 17 = 7*d, g*d - 4 = 3*m for m.
2
Let o = 2 + 0. Suppose 0 = -5*m - 83 + 153. Suppose 9*p + 25 = m*p. Solve -2*k + 14 = 4*u - 12, -o*u = -5*k + p for k.
3
Let b be ((-3)/(-14) + 4/14)*38. Suppose 5 = 8*z - b. Let d = -5 - -8. Solve z*o - 4*h - d = 1, 1 = -4*o - h for o.
0
Let w = -3 - -3. Let g = 3 - w. Let m = -5 - -32. Solve -2*n + g*u = -2*u - m, -2*n - 4*u = 18 for n.
1
Let v(b) = -43*b - 7. Let s = 1 + 6. Let j be v(s). Let z be (3/(-2))/(42/j). Solve 0*f + i + 15 = 3*f, -f = 5*i + z for f.
4
Suppose 