 = -4*f - 1 + b for f.
1
Let h(g) = 3*g**2 + 39*g. Let y be h(-13). Solve 10*j + 1 + 19 = y for j.
-2
Suppose 2 = 13*t - 11*t. Let d be (-3 + 2 + -2 + t)/(-1). Solve q = -d + 3 for q.
1
Let c = 21 - 6. Suppose -b + 14 = 4*h - 9, 0 = 5*h - c. Let y be (b/33)/((-2)/(-12)). Solve -5*x - 9 = -y*x for x.
-3
Let v(z) = 3*z - 70. Let o be v(0). Let d = o + 75. Solve 0*h = h + d for h.
-5
Suppose 5*z = 3*i + 12, 0*z - i - 4 = z. Let c(v) = -3*v**2 - 12*v + 3. Let o be c(-4). Solve z = -4*t + o*t + 1 for t.
1
Let o = -46 + 49. Suppose 6*z - 12 = 3*z. Suppose 4*l - o*l + z*p + 16 = 0, -5*p - 45 = -5*l. Solve -l*w = w + 10 for w.
-2
Let a = 5 + 0. Let x be (-198)/(-45) + (4/a)/(-2). Solve x*r = 21 - 5 for r.
4
Let o be (1 - 76/4) + -3. Let t be 2/3*o/(-2). Suppose 0 = -3*m + t*m - 16. Solve m*z + z = -20 for z.
-4
Let p be (2 + 6)*-1 - -10. Solve -p*g - 4 = -6*g for g.
1
Let l(j) = -38*j - 228. Let q be l(-6). Solve -15*p + 5*p + 40 = q for p.
4
Let z = 2 + -3. Let c = z - -16. Let o(p) = 15*p - 330. Let l be o(22). Solve l = 3*b - c - 0 for b.
5
Suppose 0*b = 5*b - b. Solve b = 2*o + 1 + 1 for o.
-1
Let g(z) = -z**3 - z**2. Let f be g(-2). Suppose -4*s + 8 = 2*v, s - f = -v - 0*s. Suppose u = -v*u. Solve j = -u*j + 4 for j.
4
Suppose -3*s = y - 106, -2*y + 5*s = 28 - 273. Suppose 9*i = 4*i + y. Solve -4*j = -3 + i for j.
-5
Suppose -6*k = -2*k - 12. Suppose -4*d - d - 2*x - 9 = 0, -d = k*x - 6. Let v = d - -6. Solve -v*s = 2*s for s.
0
Let i be 306/21 - (-21)/49. Solve -i = -q + 4*q for q.
-5
Suppose 98 + 22 = 12*l. Solve 5*x + 5 = l*x for x.
1
Suppose -2*t = 4*i - 0*i - 12, 3*i = 4*t - 79. Suppose 3*x + t = w, -3*w - 3*x = -0*w + 12. Solve 0*k = k - w for k.
1
Let g = 231 - 225. Solve 3*j + g = -6 for j.
-4
Let x(v) = -v**2 + 20*v - 11. Let q be x(18). Let m = q + -13. Solve -8*z + 4*z - m = 0 for z.
-3
Let x(a) = -a**2 + a + 12. Let v be x(4). Suppose 0 = -3*n - 2*g + 8, 0 = 5*n + g - v - 4. Solve n = 2*r - 0*r + 2 for r.
-1
Let b(k) = k**2 + 11*k - 12. Let j be b(-12). Suppose 4*q = 2*t - 84, j = -q + 6*q - 3*t + 107. Let f = -17 - q. Solve 3 + 3 = f*y for y.
3
Let j = 107 - 107. Solve j = 8*w + 30 - 14 for w.
-2
Suppose -4*q = d + d + 42, 0 = 5*q - 3*d + 58. Let j = -1 - q. Solve -o - 4*o - j = 0 for o.
-2
Suppose 3*p = 3, 0*h = -4*h - 5*p + 45. Solve -6*x + 8*x + h = 0 for x.
-5
Suppose -3*l - 2*z + 6 = -l, -4*l = -2*z + 18. Let w be (1/l)/((-6)/84). Suppose 2*k + 10 = w*k. Solve 4*c - 4 = k*c for c.
2
Let l be (-2)/(-9) - 52/(-9). Let j(y) = -y**3 + 11*y**2 - 11*y + 8. Let s(f) = 1. Let k(x) = -j(x) + s(x). Let r be k(10). Solve -r*c + l = -c for c.
3
Let t = -20 - -12. Suppose 5*p = 3*w + 115, 2*p - 35 = 5*w + 30. Let g be (-6 - t) + p/2. Solve g = 3*j - 0*j for j.
4
Suppose 2*m - 2 = 0, -3*q + 8*m - 3*m = -10. Suppose 3*k - 5*g = -g + 20, -q*k + 22 = -g. Solve 20 = j + k*j for j.
4
Let z = -9 + 11. Let r(w) = -w - 5. Let d be r(-12). Suppose 6 = -6*j + d*j. Solve -z*m - m - j = 0 for m.
-2
Suppose 366 - 502 = -2*f. Solve 8*h - 28 = -f for h.
-5
Suppose 0*g + 19 = l - 4*g, 5*l = 4*g + 31. Let v(j) = -j**3 + 6*j**2 - 2*j - 15. Let t be v(5). Solve l*b + 6 = -t for b.
-2
Let y = -1 + 6. Suppose 0 = -t + 2*c + 7, 5*t + 0*t + y*c = 5. Solve -1 - 2 = t*g for g.
-1
Suppose -4*s = 5*j + 16, 3*j - 8 = 4*s - 2*s. Suppose -t + f + j*f = 0, 0 = -5*t + f + 12. Suppose -t*b - 4 = -4*b. Solve b*u = 2*u - 10 for u.
-5
Let u(n) = -n**3 - 5*n**2 + n - 1. Let x be u(-5). Let v(g) = g**2 + 8*g + 18. Let j be v(x). Solve 3*q = j*q + 15 for q.
-5
Suppose 2*q = 10, 2*q + 30 + 47 = -u. Let d = u - -93. Solve -a - a = d for a.
-3
Let k(n) = n**2 - 5*n + 2. Let b be k(5). Let o be 16*-1 - (3 + -7). Let t be o/(-30) + 4/(-10). Solve t = b*y + 2*y for y.
0
Let t(a) = -2*a**2 + 20*a - 12. Let s be (-100)/(-12) - (-2)/6*-1. Let l be t(s). Solve -l = 3*p + 2*p for p.
-4
Suppose -2*w = -3*h - 47, w = h + 21 + 3. Let l be (-3)/5 + 115/w. Suppose -2*i = -4*p + 16, l*i = -3*p + 4*p - 11. Solve 0 + p = j for j.
3
Suppose -2*i = 5*m - 1, 0 = -5*m + 5 - 0. Let t(u) = 2*u + 8. Let w be t(i). Solve -4*d + 12 - w = 0 for d.
2
Let q be (-60)/8*-6*6/45. Let c be 1/(-10)*-4 + q/(-15). Solve 0 = -s - 1 - c for s.
-1
Let y(p) = p**3 + 9*p**2 - 12*p - 14. Let b be y(-10). Suppose 0 = b*x - 5 - 31. Solve -2*q - 2 = x for q.
-4
Let p(i) = -38*i**3 - i**2 - i - 1. Let b be p(-1). Suppose -4*j + b + 11 = 0. Solve j = 5*y - 8 for y.
4
Suppose -q = -4*l + l - 7, 4*q = -2*l. Let m be ((-40)/(-16))/(q/2). Suppose 0 = 4*b + f - 16, -m*b = -4*f - 29 + 9. Solve -b*v - 1 = 3 for v.
-1
Let y(a) = 3*a - 3. Let l be y(2). Suppose -1 + 0 = -2*f + p, 4*f - 17 = -l*p. Let q be 2/(1/((-9)/(-2))). Solve -f*c = q - 1 for c.
-4
Suppose -6*j = -2*j - 44. Suppose 3*f + j = y - 6*y, -4*y - 1 = 5*f. Solve -n = f*n for n.
0
Let s be (-5)/(-3) - 4/6. Let k be s + 0 - (-1 + 0). Let r(u) = 4*u + 98. Let d be r(-23). Solve -d*z - 20 = -k*z for z.
-5
Suppose -2*b = -8 - 8. Suppose -k + 5*k = b. Solve -3*h - k = 4 for h.
-2
Suppose 0 = -5*s + 22 - 7. Suppose 5*q - 14 - 1 = -2*m, -s*m = 15. Suppose f + 4*f = q. Solve -6 = -z - f for z.
5
Let s = 2 - 1. Suppose 0 = -5*u - 5*y + 10, -5*u + 9 = 3*y - 1. Suppose 4*h + u*k = -3*k, 2*h - 3*k = 22. Solve s = -2*j + h for j.
2
Let g = -37 - -39. Solve -5*y + g*y - 3 = 0 for y.
-1
Let k = -8 + 5. Let m(x) = x**3 + 2*x**2 - 2*x + 2. Let q be m(k). Let c be (4 - 4)*q/2. Solve c*i + i - 2 = 0 for i.
2
Let i(z) = 0*z**2 + 8*z + 2*z**2 + 10 - z**2. Let u be i(-7). Let n(o) = 9*o + 104. Let j be n(-11). Solve j*k + u = -17 for k.
-4
Let y be (123/(-12))/(-3 + (-55)/(-20)). Suppose -7*i + 99 = -y. Solve 2*c - i = -3*c for c.
4
Suppose 16*b - 8*b - 16 = 0. Solve 10*v = -b*v - 24 for v.
-2
Suppose 18*o = 24*o - 18. Suppose 2*h = -3*h + 45. Solve -o*b + 0*b - h = 0 for b.
-3
Let r = -257 + 257. Solve h + 7*h + 24 = r for h.
-3
Suppose -23*w = -19*w + 12. Let t(z) = z**3 + 3*z**2 - 2*z - 1. Let b be t(w). Solve -14 = -b*a + 11 for a.
5
Suppose u - 2*a - 21 = 0, -3*u + 5*a = 2*u - 105. Solve 17*r + 4 = u*r for r.
1
Let z(q) = -q - 13. Let k(a) = -1. Let c(x) = 3*k(x) + z(x). Let g be c(-16). Solve 2*w - 10 = -g for w.
5
Let j(d) = -5*d**2 - 10*d - 15. Let l(q) = -q**2 - 1. Let z(h) = j(h) - 6*l(h). Let b be z(11). Solve b = 2*w - 2 for w.
2
Suppose 0 = -q + 2*q + 2*v - 3, -3*v + 12 = -q. Let h(w) = -w - 3. Let f be h(q). Solve 2*y - 3 - 3 = f for y.
3
Let f be 3 + -2 + 1 - -3. Suppose f*r - 12 = 8. Let p = 9 - r. Solve -2*b - 3*b = p for b.
-1
Let l be 3/(6/(-4)) - 27. Let z = 37 + l. Solve -4*k - 12 - z = 0 for k.
-5
Let t = 28 - 37. Let y = t + 9. Solve y = -x - 3 + 1 for x.
-2
Let a = -27 - -33. Suppose -a*v + 4*v = 0. Solve -6 = -2*k - v*k for k.
3
Let j be 72/39 + (-4)/(-26). Let v(i) = -1 + 0 - 5 + 1 - 2*i. Let u be v(-4). Solve -u*l = j*l + 5 for l.
-1
Let z be ((-70)/(-28))/((-5)/(-12)). Let o = -4 + z. Solve 2 = -o*m - 2 for m.
-2
Let h be 1 + (-5 - 8*1/(-2)). Solve h = g - 0*g for g.
0
Let o be 1*1/(-9) - (-112)/36. Solve -o*c + 7*c = 12 for c.
3
Suppose 242*o - 229*o = 65. Solve 6*m - o*m - 1 = 0 for m.
1
Let f(k) = -k**3 - 9*k**2 - 9*k - 5. Let l be f(-9). Let r = l - 73. Solve 2*s = r*s + 3 for s.
-3
Suppose 4*t - 7*t + 6 = 0. Suppose -3*p - d = -t*d - 22, -28 = -4*p + d. Suppose -m = -p*m. Solve -f = -m*f for f.
0
Let a(h) = h**3 + 7*h**2 - h - 7. Let l(c) = -c**3 - 4*c**2 + 8*c + 8. Let t be l(-5). Let j be a(t). Solve 3*b + j*b - 15 = 0 for b.
5
Let m = -700 - -730. Solve 14 = -m*a + 23*a for a.
-2
Suppose 0 = -2*i + 2*i + 2*i. Solve -26*n + 23*n - 12 = i for n.
-4
Let i = -1687 - -1782. Solve -i*c + 35 = -102*c for c.
-5
Suppose -5*x - 2*p = -4*p - 47, -3*x + p + 28 = 0. Let w be (-1)/(3/x) + 4. Solve -w = s + 3 for s.
-4
Let q(a) = -2*a**2 + 22*a - 20. Let u be q(1). Solve u = -14*i - 30 + 100 for i.
5
Suppose 58*d - 57*d = 15. Solve 0*q + d = -5*q for q.
-3
Suppose -49 = -f - 5*j, -f - 3*f + 2*j = -86. Let a be -1 - f/(-3 - 0). Solve -2*d - 3 = a for d.
-5
Let z(p) = -2*p**3 - 4*p**2 - 2*p + 2. Let c be z(-2). Let m = 151 - 147. Solve -c = -5*g + m for g.
2
Let y = -2013 + 2023. Solve -84*d + 86*d + y = 0 for d.
-5
Let t(n) = -n - 8. Let f be t(-11). Suppose -2*y + 20 = f*y. Suppose -y*j + 2*j = 0. Solve -3*s = -j*s + 6 for s.
-2
Suppose 0*p - 576 = -5*p - 4*y, 2*p - 216 