 12 = -5*f, 4*c + f = 25. Solve c = -l + v for l.
5
Let k = -219 + 256. Solve 0 = 9*s + 19 - k for s.
2
Suppose -7*j + 36 = 1. Suppose -6*m + j*m + 6 = 0. Solve -4*f + f = m for f.
-2
Let c = 8 - 4. Suppose f - 7 = -5*h + 18, 0 = 5*f + 5*h - 25. Solve f*b = -c*b for b.
0
Suppose -2 + 44 = 5*j + 4*w, -5*w = 3*j - 33. Let d = j + -4. Let a(n) = n**2 - 26*n + 72. Let h be a(23). Solve 20 = d*m + h*m for m.
4
Let x = -294 + 297. Let b(w) = -2*w**3 - w**2 - w. Let y be b(-2). Solve -y = x*z - 2 for z.
-4
Suppose r + 2*o = -0 - 2, 5*r + 5*o + 15 = 0. Let s(t) = -3*t - 6 + 0*t - 2. Let v be s(r). Solve x - 3*x - v = 0 for x.
-2
Let c = 11 + -9. Suppose g + 4*g = c*v - 57, 3*v + 2*g = 38. Let j be (1 - (-10)/(-15))*0. Solve -m + 5*m + v = j for m.
-4
Let z(p) = 62*p - 553. Let k be z(9). Solve k*f + 30 = -f for f.
-5
Let j = -279 - -304. Solve 2*m = -3*m + j for m.
5
Let t be 32/5 - (-4)/(-10). Let g(x) = 2*x**3 - 5*x**2 + 11. Let a be g(3). Solve -u = -t*u + a for u.
4
Let i(b) = 13*b**2 + 10*b + 6. Let p be i(-1). Solve p*t = 7*t - 2 for t.
-1
Suppose 5*q + t = 2*t + 4, 3*t = -12. Suppose 0 = -73*p - 4*p + 847. Suppose p*x - 10*x = q. Solve x = -4*s + 3 - 15 for s.
-3
Let h(i) = -i**2 - 18*i - 16. Let b be h(-16). Suppose 0 = 2*j - g + 4, -2*j = 2*g - 6*g + b. Solve -5*k + j*k + 25 = 0 for k.
5
Let n(x) = -x**3 - 10*x**2 + 22*x - 20. Let y be n(-12). Solve 3*p - 5*p + y = 0 for p.
2
Suppose 6*s - 36 = -12. Solve 0 = 9*q - 7*q - s for q.
2
Suppose 21*j - 148 + 22 = 0. Let d = 1 - -17. Suppose -j*q + 5 = -q + o, -4*q + d = -2*o. Solve -q*a = 2*a for a.
0
Let c be 1*16 + 0/26. Solve g = -7*g + c for g.
2
Suppose -6*m = -14*m + 96. Solve -f + 5*f = -m for f.
-3
Let r(a) = 11*a**2 - 5*a - 4. Let d be r(-1). Solve -d*y = -11*y + 5 for y.
-5
Let w(v) = -v**2 + 42*v + 3*v**2 - 14 - 22*v. Let q be w(-11). Solve -4*s + 0 = -q for s.
2
Let d(y) = -6*y - 121. Let v be d(-21). Solve -v*j + 4 = -11 for j.
3
Let n be 2 - (-1 + -6)/7. Solve n*v = 12*v for v.
0
Let a(l) = 12*l + 555. Let g be a(-46). Solve 6*x - 9 = -g*x for x.
1
Let m(r) = 2*r - 4. Let b be m(4). Let d be (-1 + -1)*(-3325)/266. Solve -t = b*t + d for t.
-5
Suppose -538*i = -546*i + 520. Solve 2*w + 69 = i for w.
-2
Suppose -h + 10 = -2*j, -4*h - 4*j + 21 + 31 = 0. Solve 31 = -h*s - 17 for s.
-4
Let r = 3 - 4. Let q = -134 + 131. Let u = r - q. Solve u*m = -3*m for m.
0
Let g be (-45)/(-15)*(-16)/(-12). Solve i - g*i + 12 = 0 for i.
4
Let z be (-2 - 4/(-5))/((-24)/160). Let w(u) = -u**3 + 8*u**2 + 3. Let v be w(z). Solve 2 + 1 = v*g for g.
1
Let v = 44 - 30. Let l be (24/v)/((-4)/(-28)). Let x be 30/4*l/18. Solve -u + x = -0*u for u.
5
Let c(m) = 10*m**2 + m + 3. Let x be c(-1). Solve 12*u - 9*u = x for u.
4
Suppose 566 + 2362 = 24*g. Solve 0 = 3*x + 113 - g for x.
3
Suppose q + 3*h - 9 = 5*h, 2*h + 3 = -q. Suppose 2*v = q*v - 8. Suppose i + i = v. Solve -3*x = -8 - i for x.
4
Suppose -4*x = 3*b - 17, 2*x - 14*b + 11*b - 13 = 0. Suppose 25 = x*d + 5. Solve 4*t + 0*t - d = 0 for t.
1
Let r = -33 + 45. Solve 6*m = -0*m - r for m.
-2
Let c = 71 - 51. Let o = c + -18. Suppose 0 = 3*r + 4*w - 1, 0*r = 5*r - 2*w - 19. Solve 0 = r*y + 10 + o for y.
-4
Let s(u) = 8*u + 12. Let o be s(3). Suppose -8*f = -2*f - o. Solve 0 + f = 3*d for d.
2
Suppose -20 = -4*s - 5*j, 3*s - 5*j = 38 + 12. Let d = s + -2. Suppose 0 = -4*k + 3*i + 16, i - d = 2*k - 4*k. Solve -k*y = 18 + 2 for y.
-5
Let r = -251 - -257. Solve -8*v - r = 10 for v.
-2
Suppose 0 = -261*g + 253*g + 80. Let o = 4 + -2. Solve -o*w = -7*w + g for w.
2
Let x be (-35)/(-10) - 1/(-2). Suppose y - 3*q - 22 = -6, x*y = -4*q + 32. Solve -3*c + y = -5*c for c.
-5
Suppose 7*z - 96 = 58. Solve -z - 3 = 5*r for r.
-5
Let z be (-4)/(-22) - 80/(-44). Suppose 3*n = z*m + 1, 2*m - n + 5*n = 20. Suppose 0 = 5*a + b - 15, 2*a - 5 = -b - 2. Solve 0 = 2*g - a*g + m for g.
2
Let f = -9 + 15. Let m be (-2)/(-3) - ((-8)/f + 2). Solve t + 0 + 3 = m for t.
-3
Let g(z) = z**2 - 7*z + 8. Let k be g(6). Suppose -k*b + 4*b + 2*o - 10 = 0, 5*b + o - 21 = 0. Let m(c) = c**2 - c - 2. Let q be m(-3). Solve q = l + b*l for l.
2
Let h(y) = -y + 15. Let w be h(5). Suppose 0 = w*j - 14*j. Solve -3*x + x + 6 = j for x.
3
Suppose 4*k - 55 = -3*h, -8*h - k + 69 = -3*h. Suppose 0 = 11*p - h - 31. Solve -5*m + p - 19 = 0 for m.
-3
Suppose -36 = -10*i + 154. Solve -i*n + 14*n = -5 for n.
1
Let l(m) = m + 15. Let p be l(-11). Solve -p = 3*r + 11 for r.
-5
Let u(a) = a**2 + 6*a + 11. Let w be u(-4). Solve x - 2 - w = 0 for x.
5
Let n(c) = 3*c. Let s be n(0). Let j(y) = y**2 + 7*y + 4. Let m be j(-7). Solve -m*a = 4 - s for a.
-1
Suppose -4*y + 2*b + 26 = 0, y - 3 + 1 = 2*b. Solve h - y = -h for h.
4
Let m(z) = 3 + 31*z + 25 - z**2 - 20*z. Let i be m(13). Suppose 9 = -3*q + 24. Solve -8 - i = q*s for s.
-2
Suppose -15 = -5*y, -3*d - 39 = 3*y + 15. Let w = d + 26. Solve 0 = 2*s - w*s + 6 for s.
2
Suppose -r - w = -49, -4*r + 223 = -10*w + 5*w. Let b = -50 + r. Solve -b*d - 2 = -4*d for d.
1
Suppose -2*y = 6*p - p + 243, 0 = -4*p - 12. Let a be ((-3)/(-6))/((-3)/y). Suppose 3*g - 5*n = -a, 4*n = -g + 4*g + 14. Solve 0 = -g*q - 9 + 1 for q.
-4
Suppose 258 = 69*i - 18. Solve -i*j = 140 - 152 for j.
3
Let s = -9 + 9. Suppose s = -5*g - g. Solve g + 3 = -3*o for o.
-1
Suppose 4 = 13*w - 11*w, 0 = a + w - 4. Solve -p + 3 + a = 0 for p.
5
Let g(x) = x**3 + 6*x**2 + 4*x - 8. Let f be g(-4). Let d(y) = y - 6. Let o be d(f). Solve -o*j - 20 = 2*j for j.
-5
Suppose -4*g + 18 = s - 2*s, 24 = 4*g + 2*s. Let j(z) = z**3 + 2*z**2 - z - 2. Let o be j(-2). Let k be o + 1 + 1 + (-3 - -4). Solve -g*y + 2 = -k for y.
1
Suppose 2*c = -c - 6*c. Solve c = -3*o + 23 - 20 for o.
1
Suppose 0 = 3*d + 3, -z + 3*d + 4 + 1 = 0. Let o = 5 - 10. Let j be (-12)/42 + o/(70/(-4)). Solve 2*g - z - 2 = j for g.
2
Suppose 3*u = -1 + 7. Suppose -5*y = 4*x - 8, -3*y - 4 = -2*x - u*y. Suppose -12 = -2*z - x, -z - 75 = -4*l. Solve l = -5*q - 0*q for q.
-4
Let j(i) = -i + 2. Let d be j(-4). Let q(t) = -t**3 + 11*t**3 - 9*t**3 + 2 + 12*t - 8*t**2. Let x be q(d). Solve 5 = -x*k + 3 for k.
-1
Let t(m) = m**3 + 2*m**2 - m. Let l be t(-2). Suppose 8*s - l = 7*s. Suppose -z + s*z = -3*j + 19, 2*z - 54 = 2*j. Solve -4*o = o - z for o.
5
Let y = 29138 + -29134. Let u = -4 + 6. Let v be u/(4/6) + 0. Solve 3*l - v = y*l for l.
-3
Let x be (-1)/(21/46 - (-14)/(-28)). Solve 4*z = 31 - x for z.
2
Suppose -18 = -3*m - 3*o, o = m - 0*o - 2. Suppose 5*h = -2*a + 26, 5*a - 28 = a - m*h. Solve -i + a = -0*i for i.
3
Let q(k) = -16*k**2 - 46*k - 161. Let d(y) = 3*y**2 + 9*y + 32. Let l(u) = 11*d(u) + 2*q(u). Let a be l(-5). Solve a = -2*p + 7*p for p.
4
Suppose 0 = 2*z - 5*z + 4*g - 1, 0 = 2*z - 2*g. Suppose 0 = -3*y + 2*o + 21, 3*y = -0*y - 5*o + 21. Let i be 5 - (-3)/(-5 - -4). Solve i*s = -z - y for s.
-4
Let s(y) = -7*y**2 + 12*y**2 - 12 - 4*y**2. Let c(f) = f. Let q(p) = -3*c(p) - s(p). Let r be q(-5). Solve a - 4 = -r for a.
2
Suppose 0 = 37*p - 275 + 16. Solve 27 = -10*t + p for t.
-2
Let n(d) = -19*d + 805. Let p be n(42). Let u = 2 + -2. Suppose 0*i + 3*i - 9 = u. Solve 5 = -i*m - p for m.
-4
Let g(t) = t**2 + 15*t + 3. Let f = 17 + -30. Let y = f + -2. Let i be g(y). Solve 0 = -i*b - 3 - 12 for b.
-5
Let w be 4171/215 - 2/5. Solve 0 = -17*d + w*d - 6 for d.
3
Suppose 5*x - 3*j - 35 = 0, -9 + 38 = x - 5*j. Let w be (-2)/7 - 117/(-91). Let u be (4 - 1)/(w + 0). Solve -u - 9 = -x*g for g.
3
Suppose 2*b - z - 2 = -3*z, -3*b = -3*z - 9. Solve b*a = a - 3 for a.
-3
Let m be 1*(-5)/(-3)*3. Suppose c = 3*y - y - 11, -y + m*c + 10 = 0. Let x be (-2)/(-3) - (-1)/3. Solve y = -4*s + x for s.
-1
Let l(k) be the first derivative of -k**2/2 - 4*k - 3. Let q be l(-6). Let j(v) = 8*v. Let h be j(q). Solve -3*u - h = u for u.
-4
Let o(b) = b**2 + 5*b + 4. Let m be o(-4). Let n(z) = -z**2 - 16*z + 20. Let x be n(-17). Solve m = x*u + u for u.
0
Let o = 4 - 2. Let y(b) = 2*b + 2. Let x be y(2). Solve v + o*v = -x for v.
-2
Suppose -4*j + 11 = a - 0*a, -5*a - 29 = -j. Suppose 0 = -j*i - 52 + 96. Solve -i - 5 = -4*d for d.
4
Let f be (-2)/(-5) - 156/15. Let s(y) = -7*y + 6. Let p be s(-28). Let k be p/10 - (-2)/f. Solve -2*i - k = 3*i for i.
-4
Suppose 0*a - 9 = 3*a. Let t = 31 + a. Suppose 3*o - t = -3*r + 4*r, 2*r - 54 = -5*o. Solve 0 = 4*p + o - 30 for p.
5
Let