*g + g - 315. Let c be (-116)/(-30) + (-14)/g. Solve 2*w + v - c = 0 for w.
-3
Let g = -141 - -167. Solve 0 = -g*z + 23*z - 6 for z.
-2
Suppose 2*l - 7*l = m - 41, 5*l + 2*m = 42. Suppose l*k = 5*k. Suppose k = b - 4. Solve -b*j = -4 - 12 for j.
4
Let y(l) = -l + 6. Let a be y(10). Let q(u) = -6*u - 11. Let i be q(a). Suppose -3*t - t + 5*r = -i, 7 = t - 5*r. Solve 6 = -t*b - 4 for b.
-5
Let t be (-36)/(-10) + 4/10. Let o be -2 + -1 + 16/t. Suppose -o = -3*l + 2*l. Solve -i - 4 = -l for i.
-3
Let f(s) = s**2 + 15*s - 17. Let t be f(-16). Let j be -1*(-2 - t - 4). Let n(z) = z + 2. Let b be n(-2). Solve 0 = -b*v + j*v + 25 for v.
-5
Suppose 2*f = d + 2*d - 133, f - 1 = 0. Suppose 51 = 4*x - d. Suppose -20*m - 12 = -x*m. Solve -m*q = q for q.
0
Suppose -4*v + 341 - 317 = 0. Solve 0 = 5*y - v*y - 5 for y.
-5
Let w = -1 + 11. Let n = w - 7. Suppose 28 = 5*q + n. Solve -q = -3*f - 17 for f.
-4
Suppose 0*d + 252 = 9*d. Solve 4*y - d = -12 for y.
4
Let k be 0 + (-2 - (-21)/3). Let a = -13 - -34. Solve -k*o - 6 = -a for o.
3
Let a = -377 - -386. Solve 0 = -12*p + a*p + 15 for p.
5
Suppose d - 12 = -3*o, 2*o + 2*o - 16 = -5*d. Suppose 6 = 3*x, -p - o*p + 4*x - 33 = 0. Let f(i) = i**2 + 5*i + 2. Let b be f(p). Solve 2*m - 4 = -b*m for m.
1
Let h(y) = -5*y - 20. Let v be h(-4). Let f be 3/9 + 16/6. Solve f*m - 4 - 2 = v for m.
2
Let z be 21 + -16 - (-1 + 2). Solve -z*s + 8 + 8 = 0 for s.
4
Suppose 28*j + 22 = 30*j. Let b = j + -11. Solve b = l - 3*l - 8 for l.
-4
Let w be (0 - -4) + -5 + 4. Let q be 3/3 - (-1 + 1). Suppose 5*g - 50 = 5*l, -q = -2*l - 5. Solve -w*m - g - 4 = 0 for m.
-4
Let o be (-2)/(-17) + (-4563)/(-663). Solve -r = -o*r - 12 for r.
-2
Suppose 0 = -3*o - 3 + 18. Suppose -o*h = -h - 24. Suppose 2*z + 0 = h. Solve 0*c + z*c = 0 for c.
0
Let t(r) = -r**3 + 5*r**2 - 5*r + 4. Let n be t(3). Let v(c) be the second derivative of c**4/12 - 7*c**3/6 + 58*c. Let o be v(n). Solve 5 = 5*l - o for l.
1
Let n = 87 - 70. Suppose -k - 5*x = 1, -4*k - 5*x = -k - n. Solve -6*g - 9 = -k*g for g.
3
Suppose 4*a - 3*d - 52 = 0, 7*a - 4*a - 39 = -4*d. Solve -17*g = -a*g + 8 for g.
-2
Suppose -5*m + 368 = 3*l, 61 = l + 2*m - 62. Let j = l + -114. Solve -3*s + 12 = -j*s for s.
-3
Let u(c) = c**2 - 4*c - 5. Let w be u(5). Suppose -17 - 3 = -4*g. Solve w*a - g*a + 15 = 0 for a.
3
Let z(b) = -b**2 - 9*b - 17. Let m be z(-4). Suppose -m*n + f + 2 = 0, -2*n + f + 8 = 2*f. Solve 0 = -n*d + 10 - 0 for d.
5
Suppose 2*h - 2*s = 5 + 9, -h = 4*s + 18. Solve a - 1 = h for a.
3
Let a = 97 - 68. Let u = -26 + a. Solve 2*q = u*q - 5 for q.
5
Let r(a) = -a**2 - 18*a + 2. Let d be r(-16). Solve -5*s + 24 - d = 0 for s.
-2
Let h(d) = -d**2 - 7*d - 2. Let m be h(-6). Let q be 93/1 - (3 + -5). Let a be q/15 + (-1)/3. Solve 0 = 2*n - a - m for n.
5
Suppose -4*w + 12 + 8 = 0. Suppose 0*n - 22 = -r + w*n, 2*r - 24 = 5*n. Suppose 8 = 2*m + r*m. Solve m - 4 = -x for x.
2
Suppose 278*z - 270*z = 480. Solve 4*s + 44 = z for s.
4
Let p = -3 - -3. Suppose -2*y + 16 = -p*y. Solve 5*a = 2 + y for a.
2
Suppose -x + 4*l = -12, 0 = -0*l - 2*l - 4. Suppose 24 = 4*u + x*z, 2*u - 12 = -3*z + 3. Solve -5*r = u + 7 for r.
-2
Let p(f) = 2*f**2 - 3*f - 4. Let u be p(3). Solve 4*w - 9 = -u*w for w.
1
Let h = -12 - -12. Suppose 2*b - l + 12 = h, 0 = 2*b - l - 3*l + 18. Let z = b + 9. Solve r - 9 = z*r for r.
-3
Suppose -t = -3*h + 29, -13 = 4*t - 5. Solve -5*j - h = -2*j for j.
-3
Let l(i) = -i**2 + 11*i + 24. Suppose 3*z - 2*p - 44 = 0, -2*z - 40 = -6*z - 2*p. Let x be l(z). Solve 3*b - x = -b for b.
3
Let d(u) = 2*u - 11. Let o be d(7). Let a be o + (4 - 5) - 0. Solve 15 = a*b + 3*b for b.
3
Let p be ((-8)/10)/(2/10). Let y(h) = h**2 - h - 4. Let i be y(p). Suppose 2*v + 3*v = -3*a + 30, 0 = 5*v - 15. Solve -41 = a*s - i for s.
-5
Let b be 29/203 + (-69)/(-7). Solve 4*q - b = -26 for q.
-4
Let d be 2 + (10 - (5 - 5)/3). Solve -15*c = -27*c - d for c.
-1
Let b(u) = -u**3 + 9*u**2 + 11*u - 17. Let y be b(10). Let t be ((0/1)/(-5 - y))/1. Solve 2*v + 13 - 3 = t for v.
-5
Let b be ((78/27)/(-1))/(3/(-27)). Solve -b*a + 47 = -57 for a.
4
Suppose 0 = 103*p - 104*p + 4. Solve 0 = p*k - 10*k - 24 for k.
-4
Let v = 677 - 661. Let a(k) = 2*k**2 - 3*k + 3. Let p be a(2). Solve -p*i - 1 + v = 0 for i.
3
Let p(s) = s - 8. Let u be p(8). Suppose u*n + 4 = 4*n. Solve -n + 3 = 2*c for c.
1
Suppose 0*x = -5*x + 10. Let p(k) = 12*k - 23. Let s be p(2). Solve 3 - s = -x*b for b.
-1
Suppose -r + 4 = 3*j, -7*r = -4*r - 3*j - 72. Solve r*h - 15*h - 16 = 0 for h.
4
Let f = -21 + 23. Suppose -5 = -5*r + 4*r - 5*p, -3*r - f*p + 2 = 0. Suppose -4*u + u = r. Solve u*n = 2*n for n.
0
Let q = -15 + 13. Let t be 6/(-2)*q + -1. Suppose 5*y + u - 5 = 0, y = t*u + 26 + 1. Solve 3 = y*d + 9 for d.
-3
Let g(r) = -r**2 - r + 3. Let d be g(0). Suppose 0 = -d*s - 4*s + 49. Let i(y) = -y**2 + 4*y. Let v be i(3). Solve 0 = 5*n + v + s for n.
-2
Let r be 13/(-2) - (-2)/4. Let i(u) = -u**2 - 5*u + 7. Let c be i(r). Suppose 10 = -3*q + 25. Solve q*g + c = -4 for g.
-1
Let v = 1471 + -1405. Solve 3 = 23*p - v for p.
3
Let n be 3 - (-1)/(2 + -3). Suppose 8*a - a = -2*a. Solve a = f - 2*f + n for f.
2
Let r(z) = z**2 - 11*z + 13. Let h be r(10). Suppose -5*x + 76 = g, 0 = x - 2*g - 2*g - 32. Suppose -v = -h*s - x, v + 3*s + 15 = 1. Solve -v = b - 2*b for b.
1
Let q be 1 + -2 + (-3)/(-3). Solve q = -f - 0 + 2 for f.
2
Suppose -22*s = -6*s. Let z be (2 - s)/2*2. Let d(r) = -r**2 + 3*r. Let k be d(2). Solve b = z*b - k for b.
2
Suppose -2*r = -2*p + 46, -p + 4*r = -2*p + 13. Solve -p*l + 31*l + 30 = 0 for l.
-3
Let x be 0 + (-2)/(-5) + (-915)/(-25). Suppose -24 = -5*v - w, 2*v + 4*w - 24 = -0*w. Suppose x = v*m + 13. Solve -u = 2*u - m for u.
2
Suppose -6 - 39 = -u + z, u = 2*z + 41. Suppose -5*v + u = 2*t, t = -v + 10 + 10. Let f(x) = 4*x + 3. Let i be f(0). Solve -4*a = -i - t for a.
5
Let p be 9/(-6)*2/(-1). Let q(n) = -n + 2. Let m be 4 - 3/((-9)/(-12)). Let d be q(m). Solve -p = -d*k - k for k.
1
Suppose -2*d = -0*d - 6. Let r be (-2 - 7/(-2))/((-3)/8). Let m be (10/d)/(r/(-12)). Solve m = -5*o - 15 for o.
-5
Let q(m) = m**3 + 11*m**2 + 8*m - 11. Let i be q(-10). Suppose -5*o - 5*c = -45, 0*o - c + 17 = 3*o. Solve o = -v + i for v.
5
Let o be (-7)/(-3 - -10)*-1. Solve 5*u + 19 = -o for u.
-4
Let p = 153 - 147. Solve -w = 2*w + p for w.
-2
Suppose 0 = -3*d + 3 + 6. Let y = -18 + 20. Solve -y*h - d = -13 for h.
5
Let n be ((-84)/(-5))/(11/55). Suppose 4*t + n = 16*t. Solve -2*v = -t*v + 15 for v.
3
Suppose -31*y = -27*y - 24. Let s = -2 + y. Let u be -2 + -1 + 14 + 2. Solve s*r = -u + 1 for r.
-3
Suppose -6*m - 180 = -21*m. Solve 0 = 4*u - m - 8 for u.
5
Suppose 4*r - 8 = 2*r. Suppose -1 = -m - 2*m - 4*f, -r*m + 5*f = -22. Solve 0 = -0*a + m*a + 6 for a.
-2
Let w = -97 + 130. Solve -14*x + w = 5 for x.
2
Let v(f) = -f**3 - 6*f**2 - 4*f + 7. Let r be v(-5). Solve -4*q = -r - 2 for q.
1
Let s(x) = -12*x + 43. Let u be s(-9). Let m = 152 - u. Solve 3*p = 2*p - m for p.
-1
Suppose -5*u - 5*m + 2 = -18, -3*m = 9. Suppose 5*y - 3 = u. Solve y*n = n + 1 for n.
1
Suppose z + 6 = 4*z. Suppose 0 = 2*f - 4 - z. Let b be (-4)/(f - -1) + 4. Solve -10 = b*h - h for h.
-5
Suppose 6*l + 36 = 18*l. Solve l*g - 8*g = 0 for g.
0
Suppose -54 = -9*h - 0. Let b = -1 + 3. Solve -b - h = 2*m for m.
-4
Suppose 2*t - 3*t + 3 = -3*g, 5*g = 4*t - 5. Let i = -15 - -1. Let n be (-144)/i - (-1)/(28/(-8)). Solve n = -2*c - t*c for c.
-5
Suppose 3*p - 20*k - 20 = -18*k, 5*p + 5*k = 50. Let d(l) = -l**3 + 8*l**2 - 7*l + 3. Let o be d(7). Let i be 24/9 - (-1)/o. Solve -p = -i*h + 1 for h.
3
Suppose 4*g - 50 = 2*v, -g - 25 = -4*g + 4*v. Let y be 1*g + 5 + -8. Suppose s - 3*s = 4*c + y, 3*s = -c + 2. Solve s*o + 3*o - 25 = 0 for o.
5
Let r be (4/(-10))/(6/(-45)). Let c(j) = 0*j - 3*j + 4*j**2 - j + r*j + 1. Let w be c(1). Solve -p - w = 1 for p.
-5
Let s = 13 + -11. Let c = 0 + s. Suppose -p + 5*p + 2 = -5*l, 5*p + 19 = c*l. Solve -l*f + 8 = -0*f for f.
4
Suppose -3*i + 8 = -i. Solve 2*a + i - 6 = 0 for a.
1
Let a = 31 + -53. Let n = a + 25. Solve -6 = -3*s - n for s.
1
Let h(f) = -4*f - 4. Let p be h(-4). Suppose 6*c + p = 5*c. Let r = c - -15. Solve -1 = -u - r for u.
-2
Suppose 4*f - 2*f - 3 = -x, -5*x + 5*f + 15 = 0. Suppose p - 4*j - 32 = 0, -5*p + 43 = -x*j - 32. Suppose 