ve n = -2*b + 9 for b.
2
Suppose 5 = 8*f - 19. Suppose k - 11 = -3*v, 2*v - k - 2 = -f. Solve 0 = -4*j - 2 - v for j.
-1
Suppose 2*p - 19 = p. Let z = p - 19. Suppose z*s + 4*s - 20 = 0. Solve 3*k + 2 = s for k.
1
Suppose 4*t + 25*t - 145 = 0. Solve -9*k = -t*k - 8 for k.
2
Suppose 3*u = 5*u - 5*z - 33, -u - 2*z = 6. Suppose 0 = -i + u*i - 6. Solve 0*x + i*x = 4 for x.
2
Let i be 2/(-9) - (-60)/27. Let p be i/4*(-3 + 1) - -8. Solve p*z = 2*z + 20 for z.
4
Let k be 275/(-165) + (-53)/(-3). Solve 26 = -k*r + 3*r for r.
-2
Let d = -2013 + 2119. Solve d*r = 103*r for r.
0
Suppose b = -4*n + 22, 5*b + 3*n - 61 + 36 = 0. Solve b*d - 10 = 4*d for d.
-5
Let s(p) = -p**3 - 5*p**2 - 7*p - 3. Let k be s(-3). Let u be (1*5)/(k - 20/(-24)). Solve -i = -u*i - 5 for i.
-1
Suppose -7*n + 3*x - 78 = -2*n, 2*n = x - 31. Let j be ((-10)/n)/((-11)/(-3) - 3). Solve -4*a - 11 = j for a.
-3
Let v be (-14)/18*(-45 - -36). Solve 0 = -18*w + v*w + 55 for w.
5
Suppose -y - 95*a + 90*a - 18 = 0, 3*y - a = 10. Solve 0 = y*d - 6 + 4 for d.
1
Let l(j) = j**3 + 4*j**2 + j. Let q = -41 - -40. Let y be l(q). Solve 0 = 3*k + y - 5 for k.
1
Suppose 3*n - 2*o - 12 = 11, -2*n - 2*o + 2 = 0. Solve -n*p + 8 = -p for p.
2
Suppose -32*z - 30 = -37*z. Solve -z*o + 11*o - 25 = 0 for o.
5
Let l be (7 + -7)*(1/(-3) + 0). Suppose l = -4*o - 4*v + 40, 0*o - 15 = -4*o + v. Solve 0 = 4*b - 3*b - o for b.
5
Suppose -2*w = 3*t - 5, -13 = 5*w - 4*t - 14. Solve -2*b + 5 - w = 0 for b.
2
Suppose 51*q - 74*q = -92. Solve -8 = -8*g + q*g for g.
2
Let k be ((-212)/4 + 3)/(-1). Let p = -48 + k. Solve -p*j - 15 = -5*j for j.
5
Let t = 47 - 67. Let r be (-14)/(-4)*t/(-35). Suppose r*h - 16 = -12. Solve -4 = h*c + 6 for c.
-5
Let b = -1502 - -1506. Solve 0*x + 0*x = b*x for x.
0
Suppose 9 = 4*x + 3*m, -2*m + 0 = 5*x - 13. Suppose 0 = 2*s - 2*y - 26, -x*s + 10 + 45 = 5*y. Solve -q + 4*q = s for q.
5
Suppose -n - 12*n = -39. Suppose 2*y - 10 = 2*d, n*y + 3*d - 8 = -23. Solve y = 2*v + 6 - 0 for v.
-3
Let q = 32 + -32. Suppose m + 2*m + 2*c - 12 = q, -3*c + 21 = 5*m. Solve -j = -m*j + 25 for j.
5
Suppose -69 = -3*z + 96. Suppose 3*y - z = -16. Solve 0 = -5*r - 7 - y for r.
-4
Let c(y) = 34*y**2 - 17*y + 1. Let p be c(1). Solve p = -9*w + 3*w for w.
-3
Let i(k) = k**3 + 5*k**2 + k + 8. Let t be i(-5). Let c be -3 - (-7 - t) - 1. Solve 3 - c = -3*u for u.
1
Let r(i) = -i + 2. Let m be r(-3). Suppose -4 = -m*g - 2*y, 0 = -2*g + g - 2*y + 4. Let o be -1*(-3 - (-2 + 5)). Solve g = s - o*s for s.
0
Suppose 2*i + 2*n = -0*i + 50, -117 = -5*i - 3*n. Solve -67 = 22*o + i for o.
-4
Suppose 7*y = 5*y - 4*y. Solve y = -b - 5 + 7 for b.
2
Let n(k) = k**2 - 18*k + 8. Let w be n(18). Suppose -6*t - w = -8. Solve 3*i - 6 + t = 0 for i.
2
Suppose -i + 2*n = -3 - 0, 4*i + 3*n = 12. Suppose 0 = 4*v + i*x, -2*v = -6*v - 4*x. Solve 5 = -v*c + c for c.
5
Suppose 3*o + o - 12 = 0. Let x = 5 - o. Suppose -3*v = -7*v + 12. Solve 0 = v*t + x*t - 10 for t.
2
Let t(q) = q**2 + 9*q + 10. Let m be t(-8). Suppose 16 = m*n - 2. Suppose 17 = 4*o + 3*p, 0*o + n = o - 4*p. Solve 4*c - 5*c - o = 0 for c.
-5
Let z(b) = 2*b**2 - 8*b + 3. Let t be z(5). Suppose -t = -5*j + 7. Solve 0 = j*r - 8 - 0 for r.
2
Let c = -630 - -630. Solve -2*k - 2*k + 4 = c for k.
1
Suppose 0*q = -4*q + 16. Suppose 0 = 2*i - q + 2. Suppose 11 = 2*d - i. Solve 0 = 4*o - 2 - d for o.
2
Let t be 3 - (12*-2)/(-4). Let d(w) = -w**3 + 3*w**2 + 4*w. Let b be d(t). Suppose b = 5*j - 33. Solve -2*q = -7*q + j for q.
3
Suppose -5*l = -0*l - 95. Suppose 4 = x - l. Let d = x + -15. Solve -2*k + d = 2*k for k.
2
Suppose 4*y = 8*u - 7*u - 25, -25 = -4*u + y. Solve 0 = -u*n + 3*n for n.
0
Let h(l) = l**2 + 12. Let s(g) = 2*g**2 + 10*g - 8. Let u be s(-5). Let t = u + 8. Let a be h(t). Solve 32 = 4*m + a for m.
5
Let m(i) = -i**3 + i**2 + 24*i - 15. Let k be m(5). Solve -k*r + 12 = 37 for r.
-5
Let s(i) = 3*i**2 + 40*i + 10. Let x be s(-14). Solve -3 = -35*g + x*g for g.
-1
Suppose 3*o + 122 = -4*m, -6*o - 213 = -o - 3*m. Let r = -38 - o. Solve r*n - 3*n = 0 for n.
0
Suppose -3*f - 185 = -2*u, -4*f + 4*u - 51 - 193 = 0. Let r = f - -63. Solve r = 4*j - 9*j for j.
0
Let p be 216/162 + (-10)/(-6). Solve -11 = p*l - 5 for l.
-2
Suppose 4 = c + 16. Let s = c - -15. Solve -5 = -s*l + 1 for l.
2
Let y(p) = p - 6. Let v be y(10). Suppose -4*r - v*w + 32 = 0, -4*r + w + 9 = -8. Suppose 0 = -2*g - 1 + r. Solve 5*d + 3 + g = 0 for d.
-1
Let h(g) = g**2 + 7. Let k be h(0). Suppose -b = -2*z - 13, 3*b - 46*z - 27 = -42*z. Solve -3*p + b = k for p.
-2
Let f(q) = 3*q - 13. Let w be 2 - (-8)/(1 - -3). Let u be f(w). Let m be (-3 - u) + (-3)/(-1). Solve -m = -l - 5 for l.
-4
Let c = 75 - 55. Suppose 0 = -w + 5*p + c, 4*w = -2*p - p + 57. Let l = -7 + 13. Solve d - w = l*d for d.
-3
Suppose -3*u + 18 = -3*c + 3, 5*c + 15 = 0. Suppose 0 = -4*t + 7*t + 3*p + 18, t - 5*p - 24 = 0. Let l = t - -1. Solve l = u*s + s for s.
0
Let k(q) = -q**3 - 6*q**2 - 6*q - 2. Let b be k(-5). Suppose 70*u = 66*u + 20. Solve -u*j + 8 = b for j.
1
Let v = -699 + 714. Solve 12*l - v = 9*l for l.
5
Let k be -35*(-3 - (-48)/20). Let m be (0 + 0)*k/(-42). Solve 2 = -m*g + 2*g for g.
1
Suppose -4*c - 132 = -6*l + 2*l, 3*c = -2*l + 51. Solve 0 = 4*n - l + 46 for n.
-4
Suppose 0 = -2*s + 5*o - 9*o - 12, 5*s - 2 = -2*o. Solve i - s*i + 5 = 0 for i.
5
Let h be 8/(-14) + 3/(-7). Let j be (-5)/h + 1 + -2. Solve -p + j - 1 = 0 for p.
3
Suppose 2*a + 2*x = 6 - 8, 5*a + 3*x - 1 = 0. Solve -a = -2*k - 8 for k.
-3
Suppose 18*b - 4*b = 210. Suppose 4*v - 14 = 5*t + b, -t - 6 = -v. Solve k + v = 5 for k.
4
Let l = 15 + -11. Let m be (-15)/20 - (-23)/l. Solve -4 = m*s + 6 for s.
-2
Suppose 3*k - 12*s + 10*s - 20 = 0, -5*s - 5 = -3*k. Solve -k*v + 45 = 15 for v.
3
Let v be (0 - 1)*-5 + (176 - 176). Solve 3*g = 2*g - v for g.
-5
Let b(f) = -f**3 - f**2 - 2*f - 1. Let p be b(-1). Let g = 11 + -11. Suppose g = 3*m - 5*y - 12, 0 = -3*m + 5*y - 3*y + 12. Solve p = -l - m for l.
-5
Let z(j) = -29*j - 22. Let l be z(-1). Solve -l + 3 = -m for m.
4
Let p(k) = -k**2 + 25*k - 139. Let h be p(16). Solve 11 = -h*s - 9 for s.
-4
Let i be 44/(-10) + 2/5. Let a(h) = h**2 + 4*h + 3. Let g be a(i). Suppose -111 = -44*p - 13*p + 345. Solve d + p = g for d.
-5
Let t = -107 - -111. Solve 0 = 5*h - 3*h - t for h.
2
Let u be -111*(-4 + 3 + (-6)/(-9)). Let f = u + -33. Solve -35 = f*m - 15 for m.
-5
Let s(o) = -o**2 + 22*o + 31. Let c be s(23). Solve c*r = 7*r + 1 for r.
1
Let d be (-3)/(-18) + (-250)/(-12). Let c = d - 17. Let g = 33 + -29. Solve g*t = -8 - c for t.
-3
Suppose 11*x + 270 = 17*x. Solve -14*g = g + x for g.
-3
Let t = 23 - 7. Let f = -11 + t. Suppose -q - k + f = 1, 5*q - 20 = -2*k. Solve 5*v = q*v for v.
0
Let c be 20/(-90) + (-65)/(-9). Let r(l) = l**2 - 7*l + 4. Let n be r(c). Solve 0*d = -d + n for d.
4
Let o(c) be the second derivative of 2*c**3/3 + 5*c**2/2 - 14*c. Let b be o(1). Solve -4*s + b = -7 for s.
4
Suppose -2*l + 2*g + 40 = 0, 4*g = -67*l + 63*l + 80. Solve -25*b + 29*b - l = 0 for b.
5
Suppose -66*s + 72 = -58*s. Solve 13*j - s*j = -12 for j.
-3
Let w = 8 + -5. Let o be 2*w/(-18)*-3. Suppose 0 = -4*i - j + 5, 4*i - i = -5*j + 8. Solve 0 = -v + i + o for v.
2
Suppose 44 = 2*p + 20*p. Let i = -15 + 23. Suppose p*d = i, 5*a - 135 = -5*d - 15. Solve -6*c + a = -2*c for c.
5
Let o be (4/2 - 1) + -2. Let r be (-80)/(-15) + o/3. Suppose r*n - 2*c - 42 + 13 = 0, -3*n = 5*c - 5. Solve 17 = n*k - 8 for k.
5
Suppose -6*f - 2*f = 0. Solve f = -72*a + 79*a + 14 for a.
-2
Suppose 0 = -2*g + 14 - 4. Suppose 3*d + 14 = 2*b + 5*d, -d - 13 = -3*b. Suppose 5*s - b = 0, 5*v - 5*s = -4*s + 24. Solve -g*t = -4*t - v for t.
5
Let p(q) = 108*q + 324. Let i be p(-3). Solve 7*h + 20 - 6 = i for h.
-2
Let n(x) = -x**3 - 27*x**2 - 39*x - 321. Let u be n(-26). Solve -u*p = -23*p - 12 for p.
-2
Let g = -98 + 101. Solve 4 = -g*n + 1 for n.
-1
Suppose -3*j - 152 + 242 = 0. Solve 12 = -j*k + 36*k for k.
2
Let p(z) = 11*z + 27. Let m(b) = -4*b - 9. Let r(o) = -8*m(o) - 3*p(o). Let v be r(11). Let u = 25 + v. Solve 4*l + l - u = 0 for l.
1
Let c = 206 - 206. Let u(x) = -x**2 + 6*x + 5. Let p be u(6). Suppose -p*o - 14 + 24 = c. Solve 3*y - y - o = 0 for y.
1
Let a(k) = 102 - 78 + 10*k**2 + k + k + k**3. Let p be a(-10). Solve 0*x - 4 = -p*x for x.
1
Suppose 115*