e o + 9 = -2*z for z.
-5
Suppose 12*o - 41 = 55. Suppose 2*x = 5*l - 22, 5 = 2*l + 2*x - 1. Solve 4 = -o*d + l*d for d.
-1
Suppose 3*d + 25 = 2*k, 2*k + d = k. Suppose 3*u = 9*u - 12. Solve -u*l - 3 = -k*l for l.
1
Let l = 475 - 472. Solve b + l - 2 = 0 for b.
-1
Let r = 32 - 32. Suppose r = 26*p - 28*p + 6. Solve 0*c + p*c - 12 = 0 for c.
4
Let d(b) = 2*b - 2. Let v be d(2). Suppose 0 = 4*x - 3*o - 10 - 25, 2*x = 4*o + 20. Solve 2*g + v*g = x for g.
2
Let w = 62 + -58. Suppose 0 = -3*l + 2*l - w*g + 12, -3*g - 6 = 0. Solve l = 5*r - 10*r for r.
-4
Let z(d) = -d**3 + 6*d**2 - 4*d - 4. Let r be z(5). Solve r = 5*a + 16 for a.
-3
Let f = 519 - 516. Solve -f = -2*l - 13 for l.
-5
Let b(n) = 83*n - 3*n**2 - 11 + 6*n**2 + 10 - 76*n. Let j be b(-3). Solve j*u - 2 - 3 = 0 for u.
1
Let y = -296 - -301. Solve -4 = 3*o + y for o.
-3
Suppose 8*c - 3*c = 0. Suppose 57 = 20*f - 3. Solve c = -2*r + 3*r + f for r.
-3
Suppose -3*v - 7*v = -9*v. Solve v = -y + 10 - 5 for y.
5
Let a(w) = -w**2 - 3*w + 3. Let b be a(-3). Suppose -4*f - 3*h = -10, -3*f + h - 4*h = -6. Solve f*x = b*x for x.
0
Suppose 5*t + 197 = 2*d, 2*d - 386 = -2*d + 2*t. Let k = -67 + d. Let z = k - 20. Solve 5*a - 11 = z for a.
4
Suppose -3*t + 61 = 22. Let x = t - 6. Solve 5*w + x = 2 for w.
-1
Suppose -7*b + 2*b + 110 = 0. Suppose 0 = -5*c + c + 12. Suppose 4*q = c*z - 0*z - b, 4*q + 16 = 0. Solve -z*x + 7*x - 10 = 0 for x.
2
Suppose 200*l = 205*l - 275. Solve k + 10*k = -l for k.
-5
Let r(y) = 7*y + 12. Let l be r(-3). Let w be -2*2/12 - 39/l. Suppose -4*n + 23 = 7. Solve -w*u + n = 20 for u.
-4
Let d(j) = 3*j**2 + j - 2. Let c be d(1). Suppose 0 = 8*f - c - 38. Solve -3*s = -f - 10 for s.
5
Let b be (-212)/(-8) - (-3)/(-6). Suppose -46 = -3*w + b. Suppose -7*l + w = -3*l. Solve 5*d - l*d = -3 for d.
3
Suppose 0*n - 5*d - 42 = 2*n, d - 18 = 2*n. Let k be n/(-6*1/(-2) - 4). Let o = -68 - -99. Solve 0 = 5*g - o + k for g.
4
Let x = 54 + -44. Let s be 124/x + 8/(-20). Solve 4*z + 0 = -s for z.
-3
Suppose 3*g = 2*c - 2 - 26, -c = 2*g. Suppose -68*h = -64*h - c. Solve -h*b = -b + 1 for b.
-1
Suppose 2*p + 30 = -4*z, 3*p + 36 = -2*z - 3*z. Let d = z - -13. Suppose d*n - 14 = -3*n. Solve -3*c + 1 = -n*c for c.
1
Suppose 3*z - 36 + 3 = 0. Let x(m) = -z + 15 - 2*m + 3*m. Let k be x(0). Solve i = k*i for i.
0
Suppose -4*o + 0*j - 2*j = -28, -4*j + 7 = o. Let x = o + -5. Suppose 0 = -w + 4*g - 3, x*g = -w + g + 7. Solve w*m + 5 = -20 for m.
-5
Let t = -31 + 36. Suppose -t*h + 1 + 8 = 2*s, 0 = -4*h + s + 2. Solve -a = -0*a - h for a.
1
Let a be 3 - (1 - (2 + 0)). Suppose 8 = a*h - 0. Let o = 58 - 54. Solve -3*c + o = -h for c.
2
Suppose -s = 4*t - 230, 5*t + 2*s - 61 = 4*t. Let r = -57 + t. Solve r = -2*b - 5 + 1 for b.
-2
Let q be 4/(-8) + 36/(-8). Let n = q - -25. Suppose 0 = c + 3*c - n. Solve -2*s + c - 1 = 0 for s.
2
Let f be ((-33)/9 - -3)/((-4)/54). Suppose -17*j + 68 = -0*j. Solve -c - j = -f for c.
5
Suppose -5*v = 2*m - 440, 0*v - 4*v + 5*m = -319. Solve 5*a + v - 101 = 0 for a.
3
Suppose -55*y + 204 = -21*y. Solve 0 = -18*m + 15*m - y for m.
-2
Let p(f) = 6*f**2 - 77*f + 5. Let d be p(13). Solve 0 = -y - 5*y - d for y.
-3
Let x = 332 + -327. Solve 11*r = x*r - 24 for r.
-4
Let s be (8 + -8)/(1 + 0). Solve 7*b - 7 = -s*b for b.
1
Let m be (33/297)/((-2)/(-18)). Let f be (-4)/(-14) + 9/(-7). Let d be 1*(-3)/(-3) + f. Solve -l - m = -d*l for l.
-1
Suppose -11 = -5*h - 1. Let a be h/((-6)/27) - -4. Let w(k) = k**2 + 5*k + 5. Let g be w(a). Solve -2*q + 3*q = -g for q.
-5
Let x = -218 - -239. Solve x*v = 25*v + 8 for v.
-2
Let a(v) = -v**3 + 14*v**2 + v + 11. Let z(g) = 4*g**2 - 2. Let w be z(-2). Let s be a(w). Let u be (-3)/9 - s/(-3). Solve u + 4 = 4*q for q.
3
Let r be ((-3)/(-6)*-6)/(-1 - 0). Solve 2*j = r*j - 1 for j.
1
Suppose b = -2*b + 36. Let n be ((-45)/b - -3)*24. Let p be (1/3)/((-2)/n). Solve p*o - 4 = o for o.
2
Let n(o) = -o**3 + 6*o**2 + o - 3. Let l be n(7). Let t be (0 - 8/36) + (-10)/l. Solve t = 6*f - 9*f + 3 for f.
1
Suppose -3*m = -2*i - 17, -3*i = 2*m - 5 + 11. Let u be ((-252)/(-8))/7 + 2/i. Solve -u*s + 10 = -2*s for s.
5
Let l be -10*(-2 + 3/2). Let r be (350/15)/5*6/7. Solve -r*a + l = -3 for a.
2
Let q = -279 - -281. Solve 4 + 2 = q*w for w.
3
Let s = -49 - -53. Solve -4*a + 0*a = -s for a.
1
Let i(d) = 33*d - 150. Let h be i(5). Solve 0 = -303*s + 308*s + h for s.
-3
Suppose -11 = -4*y + 2*y + 5*v, 5*y + 4*v - 44 = 0. Suppose -3*g + 4*s + y = 0, -3*s + 0 - 1 = -g. Solve -2*r + g = -3*r for r.
-4
Let r(k) = 2*k**2 - 5*k - 16. Let i be r(-2). Solve i*a + 7 - 3 = 0 for a.
-2
Suppose 4*o + 2*b - 5 - 3 = 0, -2*b = 3*o - 4. Solve 12*k = 13*k - o for k.
4
Let r(s) = 5*s**3 - 96*s**2 + 27*s - 19. Let h be r(19). Solve 0 = 132*u - h*u - 3 for u.
-3
Let z(a) = -a**3 - 19*a**2 - 35*a - 7. Let c be z(-17). Solve 0 = -c*f + 4*f - 30 for f.
-5
Suppose 5*v - 113 - 62 = 0. Let f = -20 + v. Suppose f + 29 = 4*x. Solve -3*w = x - 2 for w.
-3
Let f(i) = -71*i - 204. Let h be f(-3). Solve -h*k - 5 - 31 = 0 for k.
-4
Let m = 638 - 631. Let x be 4*((-2)/4 - 0). Let q be ((-6)/4)/(1/x). Solve -q = -5*t + m for t.
2
Let y(b) = -b**2 - 33*b - 162. Let l be y(-26). Solve -l = 3*d - 5 for d.
-5
Let j be (28*(-1)/(-2))/(18/9). Solve n = j - 2 for n.
5
Let o = 19 - 44. Let p = -6 - o. Let l = p + -15. Solve 4 = l*s - 3*s for s.
4
Suppose -4*p + 106 = 2*j, 3*j + 116 = 5*p - 0. Suppose 6*t + p = 5*m + t, -t - 3 = 0. Solve m*z = z + 1 for z.
1
Let b = -39 - -59. Suppose 0 = -4*x - 4*m + 16, 4*m + m = 3*x + b. Solve 3*u + 1 + 2 = x for u.
-1
Let j be (-30)/10 + 19 + -3. Solve -6*u - 37 = -j for u.
-4
Let m(h) = -h**3 - 6*h**2 + 10*h + 8. Let g be m(-6). Let v = 74 + g. Suppose -2*x - v = -5*n, -x + 5 = n - 2*x. Solve -w = -n*w for w.
0
Let k(l) = -l**3 + 4*l**2 - 2*l - 2. Let v be k(2). Suppose 0 = -326*t + 321*t + 15. Let n = 4 + 16. Solve t*q = -v*q - n for q.
-4
Suppose -2*o = -3*o + 3. Suppose -2*n = 4 + 2, -x - 4 = 2*n. Solve x*s = s + o for s.
3
Suppose 2*p = 5*f - 7*f + 16, -4 = 4*f - 5*p. Solve 6*i - f*i = -10 for i.
-5
Let w(h) be the first derivative of h**4/2 + 5*h**3/3 - h**2/2 - h - 23. Let z be w(2). Solve 13 = 5*r + z for r.
-4
Let k = 30 - 20. Let j be (-48)/(-26) + k/65. Solve 9 = j*u - 1 for u.
5
Suppose 3*s + 5 = -5*b - 0, -3*b = -3*s + 27. Let c be b/12 + (-4)/(-12) + 3. Solve 0*u + 3*u - c = 0 for u.
1
Let g be 1/((6/(-3))/(-8)). Solve -4*c + g = -3*c for c.
4
Let r be (75/12)/5 - (-39)/4. Solve 10*i = 31 - r for i.
2
Suppose 14 = 5*t - 26. Let q = -9 + t. Let y(r) = -12*r**3. Let z be y(q). Solve -5*l - z = -l for l.
-3
Let p be (-15)/(3/(-1 - -25)). Let l be (p/9)/(-5) + 2/(-3). Solve 0 = 4*r + l + 10 for r.
-3
Let d be 0/((-108)/12 - -8). Solve d = -19*x + 6*x + 39 for x.
3
Let t be (-10)/3*(-12)/10. Suppose -106*u + 121*u - 60 = 0. Solve 2*w - u = t for w.
4
Let h(q) = 2 - 2*q**2 - 1 + 2. Let z be h(0). Solve z*c - 14 + 5 = 0 for c.
3
Let q(f) = 3*f**2 - f - 2*f**2 - 4*f**2 + 4*f**2 - 1 + 13*f**3. Let j be q(-1). Let l = 14 + j. Solve l*b - 16 = -2*b for b.
4
Suppose 26*x + 7 = 7. Solve y - 8 + 11 = x for y.
-3
Let v(h) = -h + 16. Let m be v(14). Suppose 6*i - 3*i - 6 = 3*d, -m*d = -2. Solve -3 = 2*w - i*w for w.
3
Suppose 4*s - 22 = -3*n, -2*s + 2*n = 4 - 8. Solve 3 = s*u - 3*u for u.
3
Let f be 6 - (1 - 2)/(16/(-32)). Solve -23 = -f*a - 15 for a.
2
Let i = -313 + 317. Solve -2*r - 8 = -i for r.
-2
Let s = 1 - -5. Suppose 3*b = b + s. Solve 0 = -b*a + 18 - 6 for a.
4
Let q(c) be the third derivative of c**4/24 - c**3/3 + 4*c**2. Let s be q(0). Let r be (-3 + 3)/(-4) - s. Solve -8 = -0*n - r*n for n.
4
Let j(i) = 6*i + 1. Let b be j(-1). Let q(l) = -l. Let u be q(b). Solve -8 = u*m - 23 for m.
3
Suppose -4 = -12*g + 8*g. Let s(z) = 4*z**3 + z**2 - 3*z + 2. Let y be s(g). Suppose -5*x + 3*a + 26 = y*a, -x - 3*a + 8 = 0. Solve -x*r + 4*r - 5 = 0 for r.
-5
Let g(a) = 11*a. Let u be g(-3). Let h = u - -55. Let k(v) = -3*v**2 - 119*v + 43. Let o be k(-40). Solve -5*d + o = -h for d.
5
Suppose 21 = 5*d + r, 0*r + 8 = 4*d + 3*r. Solve -d - 4 = 3*l for l.
-3
Let l be 0/(((-4)/(-6))/(12/(-18))). Solve -5*z + 8*z = l for z.
0
Let u(o) = o**3 + 28*o**2 - 3*o - 76. Let m be u(-28). Solve -20 = m*p + 12 for p.
-4
Let q(h) = 3*h + 2*h + 12 - 4*h. Let y be q(-9). Solve -2 = m + y for