 l = 31*f - 33*f for f.
-4
Suppose 31*a - 4 = 36*a + 4*c, 2*a - c = 1. Solve a = -3*p - 12*p + 45 for p.
3
Suppose 79 = 2*g + 3*r, 16 = g + 5*r - 13. Suppose y = -0*y + 1, 0 = -5*w - 4*y + g. Let v = 190 + -188. Solve v*p + 2*p - w = 0 for p.
2
Let a = -2 + -1. Suppose -4*v - 28 = -18*v. Let u be (a - v/(-3))*-3. Solve -u = -2*w - 3 for w.
2
Suppose 5*k - p = 77, -36 = 3*k - 6*k + 4*p. Solve 6*u - k = 14 for u.
5
Suppose 0 = 16*v - 66 - 14. Suppose 3 = -2*j + v. Solve 2*a - 3*a + j = 0 for a.
1
Let k be 12/42 - (-8)/(-28). Solve k = 37*a - 33*a for a.
0
Let b = 54 + -49. Suppose b*y + 27 = 37. Let v(o) = -o**2 - 5*o + 4. Let i be v(-5). Solve i*x - y*x = -6 for x.
-3
Suppose o + 4*n - 2 = 0, -n = -5*o + 37 + 15. Suppose 11*x - o*x - 6 = 0. Solve f = x*f for f.
0
Let s be (117/12)/((-3)/8). Let i be -4 + (-4 - (s + -1)). Let y = i + -17. Solve -5*z + 12 = -y*z for z.
4
Suppose 5*q = -5*n + 20, 3*q + 5 = -4*n + 26. Solve -8*v - n - 15 = 0 for v.
-3
Let j = 68 - 70. Let x be (-1 - j)/(-5 + -1 - -7). Solve x - 2 = o for o.
-1
Let l be (0/(-6 + 2))/1. Let z be 6 + 3/9*0. Suppose -z*b + 15 = -3*b. Solve -f + b + l = 0 for f.
5
Let q = 1530 + -1528. Suppose -2*i + 10 = l, l - 4*l + i = -9. Solve l*y = -6 - q for y.
-2
Let n = 350 + -341. Solve 33 = n*f - 12 for f.
5
Suppose -2*b + 6 = -12*d + 8*d, 6 = 5*d + 2*b. Solve d = 7*i + 10 - 38 for i.
4
Let b(i) = -5*i - 10. Let u(c) = 9*c + 20. Let j(y) = 11*b(y) + 6*u(y). Let w be j(6). Let q(x) = -19*x - 36. Let s be q(-2). Solve s*z + w = -2*z for z.
-1
Let s = -12 + 15. Suppose 0 = -0*p - s*p. Solve -3*o + 6 + 3 = p for o.
3
Suppose o - 7 = -2. Suppose -k - 4*k = 2*x + 14, -3*x + 3*k = 0. Let v be 3*(-3)/36 + x/(-8). Solve w = -v*w + o for w.
5
Suppose 24 = 20*f - 136. Solve 0 = -7*b + f*b - 2 for b.
2
Suppose 5*o + 5 - 20 = 0. Suppose 50 = 21*n + 4*n. Suppose -2*a + 23 = 3*a + b, n*a + o*b - 17 = 0. Solve -a*j = -0*j - 20 for j.
5
Let t(v) = -v**2 + 9*v - 8. Let d be t(8). Let k be d/1 + 0/(2 - 4). Solve 5*x = -k*x + 5 for x.
1
Let r(l) = l - 3. Let w = 2 - -6. Let g be r(w). Suppose -p - g*z + z = -21, p - 3 = 5*z. Solve -5*i = -p - 2 for i.
3
Let w(n) = -132*n + 806. Let x be w(6). Solve -4 = 9*f + x for f.
-2
Suppose -o + 9*o - 288 = 0. Suppose -4 - o = -5*m. Solve -t + m = t for t.
4
Suppose 5*d + 4*b - 266 = 0, -4*b = 4*d - 7*d + 134. Suppose 5*y = -5*y + d. Solve -s + 6*s = y for s.
1
Let h(r) = 3*r**2 - 34*r + 11. Let f be h(11). Solve 142*p - 140*p = f for p.
0
Suppose -4 - 8 = -3*x. Let i(z) = 18*z - 2 + 16*z - 33*z. Let m be i(x). Solve -3 = m*w + w for w.
-1
Let b be 27/7 - (-7)/49. Let a be (8 - 2 - b) + 1. Solve -a*x = 5 - 20 for x.
5
Suppose -19*k + 21*k = -24. Let n be (k/(-15))/(14/35). Solve -3 = -n*l - 5 for l.
-1
Let r(j) = -j**3 - j**2 + 8*j + 9. Let p(n) = n**2 - 9*n + 4. Let w be p(8). Let i be r(w). Solve 4*d = -d - i for d.
-5
Let x be (54/8 - 3)*-4. Let o = 33 + x. Let i be o/(-99) + (-101)/(-11). Solve -4*r + r = -i for r.
3
Let o be 1 + 0 - (8 - 7)*-9. Solve -2*n = 3*n - o for n.
2
Let b(c) = -c**3 + 8*c**2 + 10*c - 7. Let z be b(7). Let f = 48 - 45. Suppose f*m - z = -m. Solve -m = 5*d - 8 for d.
-4
Let a = -197 + 228. Solve -a = 4*p - 19 for p.
-3
Suppose 0 = -g + 2 - 1. Let v = g + 1. Let w = -5304 - -5308. Solve w = v*c + 14 for c.
-5
Let c = -16 - -16. Suppose 4*o + 2*v = -4, -4*v - 8 = -o - c*v. Let h be ((-3)/(-6)*o)/1. Solve h = 4*b + 7 - 19 for b.
3
Let m(h) be the third derivative of 5*h**4/12 - 15*h**3/2 + 9*h**2. Let p be m(6). Solve -3*c - p = 2*c for c.
-3
Let w(q) = 10*q - 9. Let y be w(-6). Let b = -63 - y. Solve 6*z - 4*z + b = 0 for z.
-3
Let g = 3 + 1. Suppose 2*i = g - 0. Suppose f + i*f = 9. Solve -2*a + f*a = 4 for a.
4
Let i be (2/(-8)*-3)/(6/48). Solve -d + 9 = i for d.
3
Let u be (35 + -3)/(-4) + 84/7. Solve -103 + 119 = -u*f for f.
-4
Let n = -395 + 395. Solve 5 = -c - n for c.
-5
Suppose -c - 3*o = -18 + 2, -3*c + 4*o - 17 = 0. Let h(y) = 7*y + 3. Let j be h(c). Let q be 1/2 - (-1)/(-2). Solve 2*s + q*s + j = 0 for s.
-5
Let h = -2 + 4. Suppose -q - 16 = h*a - 5*q, -1 = -3*a + q. Let x be 7 - ((-14)/77 - 172/22). Solve j - x = -a*j for j.
5
Let v(p) = -5*p + 5. Let w be v(1). Solve w = -2*y - 0*y for y.
0
Let y(o) = 7*o**2 - 42*o + 3. Let c be y(6). Solve 2*u - 5*u + c = 0 for u.
1
Let h = -565 + 568. Solve 2*b = 1 - h for b.
-1
Suppose -5*n = -3*z - 4 - 15, 3*n = 2*z + 12. Solve 2*s = n + 6 for s.
4
Let t(d) = -3*d - 12. Let o be t(-5). Let i = -5 + 7. Solve -l + o = -i*l for l.
-3
Let y(a) = 2*a**2 - 2*a - 75. Let j be y(7). Solve j*x = -x - 30 for x.
-3
Let x be 15*3/9 - 4. Let n(u) = 11*u**3 + u**2 - u + 1. Let t be n(x). Solve t = 4*a - 8 for a.
5
Let z(v) = 4*v - 5. Let x be z(3). Suppose 6*y = x*y - 2. Solve 0 = -y*l + 13 - 3 for l.
5
Let v(y) = 8*y + 3*y**2 + 0 - 7*y**2 + y**2 + 2*y**2 - 3. Let t = -17 + 24. Let o be v(t). Solve -x = -0*x - o for x.
4
Suppose -1 = -3*t + 11. Let d be 0/((-14 + 6)/(-4)) + 6. Solve t*r = r - d for r.
-2
Let l(a) = 5*a + 26. Let p be l(-5). Suppose f - q - 4 = 0, -f - p - 1 = 5*q. Solve -6 = f*y + 9 for y.
-5
Suppose 0 = -2*b + 2*z + z + 12, 2*b = 2*z + 12. Solve -12 = -3*d + b*d for d.
-4
Suppose -4*d + 56 = 4*i, 16*i - 3*d - 102 = 11*i. Solve 7*m + i = m for m.
-3
Let o = 132 + -130. Solve 0 = -o*m + 5*m for m.
0
Let u = -44 - -120. Suppose 4*i = 5*t - u, 46 = -4*i - 2*t - 2. Let a = -7 - i. Solve a + 5 = 3*m for m.
4
Let x be (-3)/((-18)/4 - -4). Let m(r) = r - 17. Let o be m(8). Let j be (-2)/o - (-4)/(-18). Solve -x = -j*q + 2*q for q.
-3
Let l be (-14 - -9) + -3 + 12. Solve -6*b + 10*b = l for b.
1
Let f(v) = v + 6. Suppose 5*q - 172 + 27 = 0. Let l = 23 - q. Let u be f(l). Solve 0 = n - u - 3 for n.
3
Let z(u) = -u - 13*u**2 - 4*u + 8*u - 34 + u**3. Let o be z(13). Solve -2*f + 3 = -o for f.
4
Let v(w) = 3*w - 5. Let a be v(4). Let i(b) = 2*b**2 + b + 2*b - a*b - 3 + b. Let g be i(3). Solve -4 = -5*y + g for y.
2
Let o be (-4)/14 - 4*(-1095)/42. Suppose -2*s - 3*k = -8*k - 60, 4*s = 2*k + o. Solve 6*l - l = -s for l.
-5
Suppose -18 = -0*h - 3*h - n, -5*n + 10 = -h. Suppose -47 = -4*g + 3*q, -5*q = h*g - 2*g + 1. Suppose g + 2 = 2*k. Solve -k = 6*p - p for p.
-1
Suppose -22*t + 126 = -4*t. Solve 4*o = 13 + t for o.
5
Suppose 19*r - 15*r = 20. Solve 3*q + 8 = r*q for q.
4
Let d be 11/2*(-3 - -1). Let g be (-2)/(-3)*2/((-4)/(-6)). Let f be 1/g*2 - d. Solve 0*i + 4*i = f for i.
3
Suppose 96 = 5*k + 26. Suppose -4*x + k = -2. Suppose -3*u + x = -2*u. Solve z = -u*z + 5 for z.
1
Let t be (21 - -1)/(2 + 0). Solve -4*b + t = -1 for b.
3
Let z = 55 - 42. Suppose 0 = z*v - 9*v - 16. Let j be 15/((-2)/((-16)/6)). Solve -v*b - b = -j for b.
4
Let b = 4 + 1. Suppose -t - 15 = -b*k, -4*k - 5*t = 1 - 13. Suppose 4*f = z + 40, 68 = 4*f + z + 28. Solve k*q - f = q for q.
5
Let x = 698 - 693. Solve 0 = x*c + 28 - 33 for c.
1
Let j be 0 - -14*1/2. Let x be 1*(-8 - (0 - 4) - -5). Solve -3*r - x = -j for r.
2
Let q(l) = -l + 10. Let y = 4 - 3. Suppose -8 - y = -o. Let f be q(o). Solve -3 + f = j for j.
-2
Suppose -33 = q - 4*q. Let x = 13 - q. Suppose j = x*d - 8, -5*j + 14 - 34 = 0. Solve -d*u = 3*u - 10 for u.
2
Let a be 71 + -34 + 9/(-6)*2. Solve h + a = 29 for h.
-5
Let d be (-1)/3 + (-3)/(18/(-662)). Suppose -d*u = -113*u. Solve r + 1 - 2 = u for r.
1
Let r(w) = w**2 - 16*w - 468. Let u be r(32). Solve -35*d = -u*d for d.
0
Suppose -3 = a, 22*a - 18*a = -b + 4. Solve 0 = -g - 3*g + b for g.
4
Let r = 25 - 15. Let z(n) = 67*n - 1. Let o be z(-1). Let y be (-2)/(-9) + o/(-18). Solve 0 = -y*i + 2*i - r for i.
-5
Let p = -21 - -33. Suppose -i + 0*i = 2*w - 4, 3*i - p = 5*w. Suppose 3*d - 26 - 10 = 0. Solve i*k - d = -0 for k.
3
Suppose i - 7 = -q, 6 = i + 2*q - 6. Let n be (3 + 0)*(-266)/(-266). Solve 0 = n*g - 4*g + i for g.
2
Suppose 0 = 4*n - 5*h + 15 - 150, 2*h = -2*n + 90. Suppose -g = 7*g - n. Suppose 0 = -4*r + 2*r. Solve -g*z + 8 + 2 = r for z.
2
Let w = -85 - -87. Suppose 0 = 3*t + 3*m + 3, m = -t - m - w. Solve -d + t = -3 for d.
3
Let c(v) = -v**2 + 13*v - 25. Let t be c(10). Solve -4 = -t*z + 6 for z.
2
Suppose 4*t + 1 = 77. Suppose -4*r = -2*i + 4 - 6, 0 = 5*i + 2*r - t. Solve -4 = -i*w + 7*w for w.
-1
Suppose 4*t - 5*n - 30 = 0, -2*t + 8 = -0*t + n. Suppose -31 - 14 = -5*p + t*s, -26 = -4*p + 2*s. Solve z 