= -m*f + 4 for f.
4
Suppose -5*a = 3*y, 0 = -4*a - 5*y + 2*y - 3. Suppose 5*v - a*b + 4*b = -28, -3*v + b - 12 = 0. Let t = v - -17. Solve -5*j = -j - t for j.
3
Let a = 1886 - 1845. Solve -a*k + 4 = -45*k for k.
-1
Let d be 27/15*20/6. Let g be 4/12 - (-3)/(-9). Suppose -100 = -4*o - g. Solve o = -d*i + i for i.
-5
Let x(r) = -33*r - 2. Let t be x(1). Let m = t + 41. Solve -m*f + f = 25 for f.
-5
Suppose 8*g + 371 = 579. Solve 2*u = g - 16 for u.
5
Suppose -9*h = 1709 - 1862. Solve 0 = -h*j + 11*j - 30 for j.
-5
Suppose -4*k = -2*w + 28, -k = -4*w + 2*k + 51. Suppose -4*o = h - 10, 4*o - 6 = h + 16. Let x = h + w. Solve a + 2*a = x for a.
2
Let z be (0 - (2 + -1)) + 1. Let t(q) = 0 + 4*q + 0 + q**2 + z*q. Let r be t(-5). Solve r*u + 6 = -4 for u.
-2
Let b = 3 + 2. Suppose 0 = 432*o - 427*o. Suppose o = -2*z + 5*z. Solve -f - b = -z*f for f.
-5
Let a(k) = 4*k**3 - k**2 + k - 1. Let i be a(1). Let n = 49 + -44. Solve -n = -i*o - 2*o for o.
1
Suppose 4*v - 48 = -4*z, z - 46 = -4*v - 4. Suppose -10 = -2*w - v. Solve w = -h + 4 + 1 for h.
5
Let c(k) = k. Let j be c(-5). Let t be 1 + -1 + -4 - (-8 - -12). Let f = j - t. Solve f*m = -0*m + 12 for m.
4
Suppose 14 - 68 = -9*y. Solve -22 = y*x - 4 for x.
-3
Let s be 1 + 0 - (3 + -5). Suppose 10*x - 13*x - s = 0. Let i = x - -1. Solve v = -i + 5 for v.
5
Let l = -136 + 142. Suppose 0 = -2*k - 233 - 197. Let g be k/(-45) + 2/9. Solve -19 = g*q + l for q.
-5
Suppose 0 = 2*s + 4, 2*x + 5*s - 8*s - 28 = 0. Solve q + 10 = x for q.
1
Let o = 528 + -523. Solve -8 + 18 = -o*j for j.
-2
Let c(s) = -19*s + 4. Let i be c(4). Let j = 74 + i. Solve 0 = 4*f + 18 + j for f.
-5
Let l = -667 - -673. Solve 4*b = 6*b - l for b.
3
Let g(d) = -4*d - 2. Let v be g(1). Let s be 2/((-44)/(-28) - v/14). Solve s + 1 = t for t.
2
Let f = -409 + 424. Solve -13*s - f = -18*s for s.
3
Let d = 2 - 26. Let p be (-1)/(-4) + (-18)/d. Suppose -o = 4*o. Solve 0 = -j - o*j - p for j.
-1
Suppose -5*f - 3*u = -22, 4*u + 0*u = -4. Let k(y) = -y**3 - 12*y**2 + 3*y + 39. Let d be k(-12). Solve d*m = f*m for m.
0
Suppose -18*q = -80*q + 248. Solve -q*o = -4*o + 5*o for o.
0
Suppose 4*q - 2*q - 8 = -5*f, 18 = q - f. Solve q*m - 17*m = 6 for m.
-2
Let s = -11 + 15. Suppose 153*f - 532 = 115*f. Solve -f = -s*l - 2 for l.
3
Let p = 4 - -4. Let j be ((18/p)/1)/(99/264). Solve -4*s = -j*s - 4 for s.
-2
Let d(o) = 0*o**2 + 5*o**2 - 10*o - 7*o**2 - 15 + 3*o**2. Let y be d(12). Solve 3*u = -0*u + y for u.
3
Let p(g) = -2*g**2 + 33*g - 60. Let n be p(13). Solve -n + 25 = -3*z for z.
2
Let q = 44 + -41. Let j = 6 - 1. Suppose 4*p + 53 - 9 = 4*i, j*i = 3*p + 45. Solve 6*c - i = q*c for c.
2
Let p = -539 + 545. Solve 2*r - 3*r = -p*r for r.
0
Let o = 33 + -21. Suppose -w + o = 3*j, j - 3*w - 20 = -4*j. Solve -10 - 2 = j*z for z.
-3
Let y(t) = -t**3 - 9*t**2 + 13*t + 1. Let i be y(-10). Let b = i - -31. Let r = 13 + -13. Solve -b*v - v = r for v.
0
Let d(t) = -26*t**2 + 19*t**2 + 15*t**2 + 2*t - 2 - 9 - t**3. Let m be d(8). Solve -3*y + 20 = m for y.
5
Let g(w) = -4 + 8*w**2 + 4 - 6*w + w**3 - 2*w**2 + 8. Suppose 8*r - 11*r = 21. Let z be g(r). Solve -3*f = -4 + z for f.
1
Let k be 2/5 - 504/(-15). Let p = -34 + k. Solve -r = -1 - p for r.
1
Suppose -o + 20 = 4*o. Let f = 10 - o. Suppose 5*r = f*r. Solve -6*v + 2*v - 16 = r for v.
-4
Let u = 354 - 351. Solve -15 + u = -4*d for d.
3
Let l be ((-5)/3 + 3)*18*-1. Let b be (2/(-6))/(2/l). Solve 2*y - 4 = b*y for y.
-2
Suppose 5*n - 25 = s, 5*s - 55 = 2*n - 7*n. Solve 6 = -3*o - n for o.
-4
Suppose 0*g + 21 = 2*g + u, 4*g - 39 = -3*u. Solve -5*w + 2 = g for w.
-2
Let q(p) = -2*p - 8. Suppose 5*o = 2*o + 48. Suppose 3*f + o = -5. Let n be q(f). Solve -n = a - 1 for a.
-5
Let s = -1875 + 1875. Solve s = 6*z - 11*z - 25 for z.
-5
Suppose -77 = -21*x - 14. Solve x = 3*r + 12 for r.
-3
Suppose -6*x + 7*x - 4 = 0. Solve -x*o = -0*o - 12 for o.
3
Suppose -3*x - 30 = -4*k, -5*k + 47 = -5*x + 7. Let z be 2 - (-3)/(-9)*k. Solve -2 = -2*s - z for s.
1
Let v = -10 - -32. Let o = -20 + v. Solve o = m + m for m.
1
Suppose 5*i = -3*k + 15, 3*k = i - 0*k + 15. Let r be (i + -2)/(6/(-30)). Solve -r = -9*n + 4*n for n.
2
Let r = -2160 + 2175. Solve 5*l = 2*l - r for l.
-5
Let a be -3 - (-1 - 16/2). Solve 9*j - a*j = 15 for j.
5
Let r = -288 + 293. Solve 44 = -r*v + 39 for v.
-1
Suppose 4*z - 3*c + 390 = 0, -289 - 201 = 5*z - 5*c. Let y be z/18*(-3)/1. Solve 3*t = -t - y for t.
-4
Suppose 4*g + 6*h = 2*h, 0 = 2*g - h - 15. Solve 0 = 5*b + b - g*b for b.
0
Let m(i) = 2*i**2 + 3*i - 2. Let y be m(1). Suppose 0*o = y*o. Solve o = 3*w - 3 + 15 for w.
-4
Let h = 1 + -14. Let i = h - -16. Let c = 9 + -5. Solve -i*s - c = -s for s.
-2
Let z be 1*(3 - -2) - 3. Let c = 5 + -3. Let q(i) = -3*i + 4. Let b be q(0). Solve z*f = b + c for f.
3
Suppose 105 = a + 6*a. Let z(g) = 4*g - 52. Let m be z(a). Solve -4 = -7*q + m*q for q.
-4
Suppose 0 = -9*b + 3*b. Suppose b = 5*u - 2*u - 3. Solve 0 = 5*q - 4 - u for q.
1
Let f = -7 + 9. Suppose f*s - 6*s = -36. Solve -1 = -4*u - s for u.
-2
Let l be (-21 - (2 + -1))*-1. Let x = 2 + 4. Suppose -2*i = -x*i - o + l, -o = -4*i + 18. Solve 0*b = -b + i for b.
5
Let c(b) = -2*b + 20. Let h be c(14). Let m be (21/(-14))/(6/h). Suppose -1 - 3 = -m*o. Solve o*z + 0 = 8 for z.
4
Suppose 0 = -3*n + 54 + 21. Solve 22*d - 3 = n*d for d.
-1
Let c be 2 + 1/((-2)/58). Let t be 6/c - (-22)/18. Let m = t - 1. Solve m*a - 3*a = 3 for a.
-1
Suppose -10 = -5*u - 6*o + o, -2*u + o + 16 = 0. Solve -u*x + 8*x = 6 for x.
3
Let o(a) = -2*a + 28. Let p be (-10 + 10)*1*-1. Let k be o(p). Solve -k = 5*j - 8 for j.
-4
Suppose 3*z - 3 = -0*z. Let n be 6*-1*299/(-69). Suppose -4*j = -n - 6. Solve z + j = 3*m for m.
3
Suppose -114 = 42*b - 61*b. Solve -3*g - 15 = -b for g.
-3
Suppose 2*w - 3*j = 3*w - 7*j, 0 = j. Solve w = -6*b - 11 + 35 for b.
4
Suppose 3*r + 2*r = -5. Let b be r/(-2) + (-3 - (-7)/2). Solve 3*d - 11 = b for d.
4
Let v = 382 + -368. Solve n = -6*n - v for n.
-2
Let p = 13 - 5. Let g be (2 - 0) + p/(-2). Let t be g - ((-4)/(-4) - 3). Solve -2*l = -t - 6 for l.
3
Let h = 27 - 29. Let u be h/(-4) - 72/(-16). Suppose -17 = -3*s - 2. Solve 5 = u*o - s for o.
2
Let c(f) = f**2 - 2*f + 5. Let r be c(0). Solve d = -r - 0 for d.
-5
Let u be (47 + -23)/(2/3). Suppose 2*n + u = 8*n. Solve t - 15 = n*t for t.
-3
Suppose 2*d = -n + 10, 3*d + 2*n - 6 = 11. Suppose 84 = d*u + 5*t, 6*t - 126 = -4*u + 4*t. Let y = u - 32. Solve 4*k = y - 5 for k.
-1
Let k(a) = 3*a + 23. Suppose 4*q - 12 = -40. Let u be k(q). Solve 0 = -u*z + 1 + 9 for z.
5
Let s(p) = -p**3 - 7*p**2 - 2*p - 7. Let n be s(-7). Let t(y) = y - 5. Let m be t(n). Suppose -4*l + 22 - m = 0. Solve l*b = b + 12 for b.
3
Let n(d) = -d + 24. Let c be n(18). Suppose c*k - 3*k - 4*j = 7, -k - 2 = 3*j. Solve k = p - 2 for p.
3
Let b(a) = a**3 - a**2 - a - 14. Let r be b(0). Let l = r - -22. Suppose l*x - 30 = 2*x. Solve 0 = -0*g + x*g - 10 for g.
2
Let v be -1 + (-34)/(-10) + (-6)/15. Solve -v*i = 3 - 11 for i.
4
Suppose d = 3*d + 4, -3*z = 3*d - 12. Suppose 2 + 2 = -3*p - i, -3*p - 3*i + z = 0. Let h = p - -8. Solve 10*m = h*m - 25 for m.
-5
Let b(w) = -76*w - 912. Let r be b(-12). Solve r = -3*h + 13 + 2 for h.
5
Let i(n) = -2*n**2 - 5*n + 3. Suppose -4*w + 3 = 19. Let d be i(w). Let c be 2*d/(-6) + 1. Solve 0 = -h - c + 7 for h.
3
Suppose -5*p + 3*b = -12, -3*b - 2*b = -5. Suppose -2*g - 4*f = -6, 2*g - p*f = -0*g + 6. Let a be ((-22 - -6) + 9)/(-1). Solve a*x = g*x for x.
0
Let a = -1 + 4. Let w(i) = -17 - 12 + 20 + 3*i. Let d be w(6). Solve d = -3*f + a for f.
-2
Let g(c) = -35*c + 5. Let l be g(0). Solve h - l*h = 7*h for h.
0
Let r be 3/(3/2) - 2. Let y = 5076 - 5074. Solve y*j = -r*j for j.
0
Let d be 287/28 + (-2)/8. Let n = 29 - 25. Let l be n/d - 2/5. Solve 4 + l = y for y.
4
Let q be ((-5)/(-3))/(1/(-6)). Let l be (-18)/(-30) - 284/q. Solve 0 = 5*a - l + 9 for a.
4
Suppose 20 = 2*f - 3*u, 3*u = 5*f - 4*f - 16. Solve -f*w = 6 - 2 for w.
-1
Let y = -147 + 155. Suppose 5*o + g = -g + 6, 4*o + g - 3 = 0. Suppose o = 5*s - y*s. Solve f + s = -1 for f.
-1
Suppose -5*m = -8*m - 2*b + 33, 3*b = 2*m - 22. Solve -m*x = -12*x - 1 for x.
-1
Let d(q) = q**2 - 3*q - 3. Let k be d(4). Let h be 6 + (-6)/2*12/12. Let z be -1 + 1 - (-4 + 0). Solve -h*j + z = k for j.
1
Let b(x) = -10*