e 386 - n = -5*h for h.
4
Suppose 59*a = 62*a + 5*t - 20, -2*t = -3*a - 8. Solve a = -12*b + 1 - 37 for b.
-3
Let o(g) = -g**2 + 7*g - 12. Let v be o(3). Let n be -1*(2 - 1) - -1. Let z = n - -6. Solve v = -2*f - f - z for f.
-2
Let o(x) = x**2 - 13*x + 10. Let h be o(12). Let s(y) = -3 + 75*y**3 - 2*y**2 - 33*y**3 - 19*y**3 - 25*y**3 - 5*y. Let i be s(h). Solve -i*b = -20*b - 10 for b.
-2
Let d = -20284 + 20492. Solve 36*z - 44 = d for z.
7
Let x = 41 + -40. Let t(y) = 50*y - 446. Let a be t(9). Let d = 8 - 5. Solve -a*m = -d*m + x for m.
-1
Let n = 63 - 42. Let q = -1697 - -1677. Let f = n + q. Solve x - f = -6 for x.
-5
Let k = 27 - 21. Suppose j + 7*y = k*y - 2, 0 = 4*j + 2*y - 2. Solve j*r - 4*r - 4 = 0 for r.
-4
Let k(h) = -h**2 + 17*h - 16. Let u be k(16). Suppose 0 = -o - u*o - 4*l - 4, -o + 5 = -5*l. Suppose o = 3*c + 18 - 33. Solve -c*j = -2*j - 12 for j.
4
Suppose 5*l - 7 = 18. Suppose 0 = 2*f - l*f + 6. Solve -n + 3 = f for n.
1
Suppose 481*v = 496*v - 90. Solve 746*j - 743*j = -v for j.
-2
Let k(f) = -16*f**2 - f + 4. Let p(m) = 32*m**2 + m - 8. Let s(r) = 7*k(r) + 4*p(r). Let t be s(-2). Let j = t + -65. Solve j = 5*n - 9 for n.
2
Let u(k) = -20*k + 304. Let x be u(14). Solve 218*q - x = 210*q for q.
3
Let y(d) = d - 11. Suppose 42 = 2*b - 5*i, 4 = -2*i - 0. Suppose 5*o + 29 - 4 = 0, b = n - o. Let a be y(n). Solve 2*x + x + 9 = a for x.
-3
Let r(u) = -29*u + 644. Let b be r(22). Solve -49*y = -51*y - b for y.
-3
Let f = 93 - 81. Suppose -u - 3*u + f = 0. Solve 0 = u*s - 7*s + 8 for s.
2
Suppose -z - 32 = -3*z. Let k be (-106)/(-20) + ((-100674)/1020)/329. Solve z - k = -11*j for j.
-1
Suppose 4 = -2*k - 0*k. Let s be (-7 - -6)*(k - (1 - -1)). Solve -1 = s*i - 5 for i.
1
Let m(g) = -16*g**3 - g**2. Let w be m(-1). Suppose 4*k = -s + 15, -1 = -k + 4*s - 7*s. Suppose 0 = -k*f + 3*t, -8*f = -9*f + 4*t. Solve 6*c - c - w = f for c.
3
Let l(m) = -80*m + 1602. Let w be l(20). Let f be 74/12 + (-5)/30. Solve -5*i = -f*i - w for i.
-2
Let q(g) = g**2 - 76*g + 1405. Let l be q(31). Solve -l*n + 0*n = -30 for n.
3
Let d = -23110 - -23130. Solve d = -8*b + 76 for b.
7
Suppose 1 = 3*j - 2. Let d = 197 + -197. Let u be d - ((4/j)/4 + -5). Solve z + z + u = 0 for z.
-2
Suppose 574*y - 3*u + 17 = 575*y, -25 = -5*y + 5*u. Solve -y*c - 86 = -22 for c.
-8
Suppose 89 = -6*s + 299. Solve -31 = 2*q - s for q.
2
Suppose 2*a - 2 = a. Suppose 0*v + a*v = -x + 8, -5*v = 3*x - 19. Suppose -v*g + 29 - 14 = 0. Solve 4*z = 11 - g for z.
2
Let s = 6 + -10. Let p(a) = a**2 + a - 6. Let z be p(s). Let h = -4 + z. Solve 3 = h*t - 1 for t.
2
Let a be (3 - 30) + 28 + 0 + 3. Solve a*l = 7*l + 9 for l.
-3
Let a be 6 + (-4 - -22) - -21. Solve -469*v = -460*v + a for v.
-5
Suppose -6 = -5*q - 3*u, -q = 4*u - 9*u - 18. Suppose 0 = q*h + 4*c + 10, -3*c = 5*h - 15 + 17. Solve -3 = -h*b - 1 for b.
1
Let q(b) = b**2 + 3. Let j be q(0). Suppose 700 = 61*a - 54*a. Suppose -14*s = a - 142. Solve -2*r + j*r = s for r.
3
Let v be -5 - 147/(-28) - 130/8. Let z = v + 48. Let y be (6/4)/(16/z). Solve y*a = 6*a for a.
0
Suppose 3*b - 5 - 4 - 12 = 0. Solve 7*w - 7 - b = 0 for w.
2
Suppose 26*u + 25 = 31*u. Solve -25 - u = 10*f for f.
-3
Let d(z) = -3*z**2 - 35*z + 12. Let a be d(-10). Solve -12 = 58*l - a*l for l.
3
Suppose -m - 9 = 7*q - 3*q, 0 = -5*m - 5*q. Let x = 332 + -330. Let t be x - (-5 + (-4 - -8)). Solve m*c = t - 0 for c.
1
Let i = 3269 + -3123. Solve -54*a + i = -178 for a.
6
Suppose 8*w - 26 = 5*v, 2*w + 2 = -2*v - v. Solve -278 + 272 = w*b for b.
-3
Let j(i) = i**3 - 4*i**2 - 8*i + 24. Let k be j(5). Let a(p) = p**2 - 4*p - 41. Let d be a(k). Solve -d*t + 12 + 4 = 0 for t.
4
Let m be (13 + 189/(-14))*0/(-5). Solve m*p = 21*p + 84 for p.
-4
Let q(a) = a**3 + 17*a**2 - 36*a + 216. Let t be q(-19). Solve 3*d = -184 + t for d.
-2
Let u be 151/17 - -3 - 13/((-1768)/16). Let a(k) = k - 6. Let l be a(9). Solve -3*m + u - l = 0 for m.
3
Let t(u) = -3*u**3 + u**2 + u + 1. Let z(l) = -l**3 + 23*l**2 + l - 24. Let s be z(23). Let n be t(s). Solve 0 = -n*d + 11*d for d.
0
Let a(w) = 5*w**2 + 8*w. Let z be a(-3). Solve 9 = -15*q - z for q.
-2
Let v be 6/1*60/(-18). Let h be 161/(-5) - (-4)/v*-1. Let b be 4*1 - 0*4/h. Solve 0 = b*t + t + 5 for t.
-1
Let f(u) = u**2 - 21*u + 108. Let x be f(9). Suppose -4*h - 4 = 0, x = d - 8*h + 9*h - 1. Solve 0 = -d*z + 12 - 2 for z.
5
Let x(r) = -r**3 - 13*r**2 + 97*r. Let k be x(5). Solve 54 = -k*o - 86 for o.
-4
Let n(j) = j**2 + 82*j + 849. Let z be n(-12). Let p = 8 - 6. Suppose -d + 9 = p*d. Solve 0*k + z = -d*k for k.
-3
Let m(x) = -80*x + 400. Let s be m(5). Solve s = 56*o - 19*o + 222 for o.
-6
Suppose 10*f - 4*f = 54. Let g = -6 + f. Solve 4*l - g = 5*l for l.
-3
Let f = 3651 + -3647. Solve 21 = f*o + 21 for o.
0
Let x be 50/40 + 105/(-84). Solve 43*h - 162 - 96 = x for h.
6
Let w = -8287 + 8297. Solve 284 = -42*k - w for k.
-7
Let k be (-3 + 5)*(-21)/(-6). Suppose 1 = -c + k. Let i be 30/1*(-1)/(-3). Solve f = c*f + i for f.
-2
Let b = 2372 - 2323. Solve 0 = 20*k + 9 - b for k.
2
Suppose 1 = -g + 5*q, 0 = -5*q + 10. Suppose -2*r - g = -11. Solve r = s + 5 for s.
-4
Let s(z) = z**3 + z**2 - 7*z + 10. Let f be s(0). Solve -20*m + 90 = f*m for m.
3
Let x(v) = -2*v**2 - 70*v - 578. Let m be x(-14). Solve -216 = 26*g + m*g for g.
-6
Suppose 4*p - 4*g = -3*g + 27, 0 = -4*p - 5*g + 33. Solve 18 = -13*q + p*q for q.
-3
Let m(g) = g**3 + 16*g**2 + 15*g + 8. Let b be (9/(-3) + 27/6)*-10. Let n be m(b). Let v be (1 - 0) + -7 + n. Solve -v*i + 0 = 6 for i.
-3
Let o = 175 - 330. Let n = 168 + o. Solve 0 = 7*f - n*f - 24 for f.
-4
Let c(k) = -k**3 + 10*k**2 + 2*k - 14. Let n be c(10). Let j be (60/8)/(n/8). Solve 5*g = 15 + j for g.
5
Let v(q) = 2*q**3 + 4*q**2 - q - 5. Let w be v(-3). Let o = 28 + w. Suppose o*m - 3*m - 15 = 0. Solve z - 4 = -m*z for z.
1
Suppose -348 = 24*x - 82*x. Let d be 2 + -1 - (2 + -9). Solve x*i + 26 = d for i.
-3
Suppose -3*m + 4*m = 0. Let b = -164 - -336. Let c = 174 - b. Solve c = -m*f - 2*f for f.
-1
Suppose i + 6*u - 4*u + 24 = 0, -4*i - 69 = -u. Let l = -13 + i. Let y = l + 35. Solve 9*c = y*c - 15 for c.
-3
Let n(m) = m**3 + 5*m**2 - 12*m - 32. Let z be n(-6). Suppose u - 4*u - 3*l = 0, 3*u + 4*l = -z. Solve 9 - 29 = -u*p for p.
5
Let d = -1282 + 1292. Solve -d*p = 9*p + 114 for p.
-6
Suppose -8*w = -3*s + 239, -3*w - 251 = -5*s + 168. Solve 6*x = -s + 61 for x.
-4
Let d = -20525 + 20912. Solve -342 = 9*o - d for o.
5
Suppose 0 = -c + 3, 3*z = -4*c + 39. Let h(n) = 2*n**3 + 40*n**2 + 129*n + 18. Let o be h(-16). Solve o*t + 1 = z for t.
4
Suppose -18 + 43 = 5*r. Suppose 2*q - 16 = -r*m, -3*m + 4 = -2*m. Let i = q + 18. Solve 0 = g - 5*g + i for g.
4
Suppose 20 = -6*k + 32. Suppose -9 = -n - 4*m, -k*m - 9 = -n - 4*m. Solve n*j + 20 = 5*j for j.
-5
Let n(a) = 5*a**2 - 3*a + 2. Suppose -23*z = 8*z - 93. Let r be n(z). Solve -r*w - 5 = -33*w for w.
-1
Suppose 143*t - 646 = -217. Solve -t*n + 0*n - 6 = 0 for n.
-2
Suppose -40783 = 5*j - 40858. Solve 0 = -j*f + 1253 - 1268 for f.
-1
Suppose -171 = -5*v + 3*v - j, 2*v - 5*j - 201 = 0. Suppose v*z = 91*z - 15. Solve -27 = z*w - 7 for w.
-4
Let l(x) = x**2 + 12*x - 15. Let w be l(-13). Let c be (-5)/((-4)/(-16)*w) - 2. Suppose 29*s - 30*s = -c. Solve m = -3*m + s for m.
2
Let m(g) = g**3 - 19*g**2 + 16*g + 42. Let l be m(18). Suppose -362 + 302 = -l*s. Solve -2*i = 4 - s for i.
3
Suppose -b = 3*n + 16, b - 3 + 21 = -4*n. Suppose 4*v = 9*v + 75. Let j be 46/6 - b/v. Solve -j - 18 = -5*s for s.
5
Let u = -5456 + 6224. Solve -t - u = -768 for t.
0
Suppose 32 = 3*r - 10. Let t = r - 9. Suppose 8*m - 3*m - t = u, -2*m = -4*u + 70. Solve -g - 3*g = -u for g.
5
Suppose r - 5*u + 30 = -0*r, -5*r + 2*u = 173. Let n = 57 + r. Solve 6*c + n = -2 for c.
-4
Let c = 6 + -3. Let v = 28113 + -28112. Solve 4*j - c = v for j.
1
Suppose 4*j - 4*q = 1716, -q - 861 = -2*j + 2*q. Let b = j - 391. Solve 6*z = -z + b for z.
5
Suppose 0 = -4*s - 5*d + 17, -d - 3 + 1 = -s. Let o = -28 + 40. Let h = -12 + o. Solve h*y = -s*y for y.
0
Suppose -29 = 97*v - 89*v - 37. Suppose 3*g - 5 - 1 = 0. Solve -g*w - v = -w for w.
-1
Suppose -2*z - 16 = 2*b, -z = -b - 11 - 1. Let y(l) = -l**3 - 10*l**2 - 2*l - 15. Let u be y(b). Solve -25*v - u = -26*v for v.
5
Suppose 0 = 2*v - 3*v + 2, 2*v = -4*a + 16. Suppose