et s = 7 + -15. Let p = s - f. Solve c = -p + 1 for c.
-1
Suppose -3*g + 28 = 5*h, 2*h - 4*g = 6*h - 24. Solve 10*c - h*c = -5 for c.
-1
Suppose -7*v + 8*v = 0. Suppose -2*z = -2 - v. Solve -t + z = 2 for t.
-1
Suppose b + 39 = 4*b. Let i(f) = -f**2 - 9*f - 9. Let l be i(-5). Suppose l*h = b*h - 4. Solve 4 = -h*c + 6*c for c.
1
Let s = 12 - 20. Let p(o) = -o - 6. Let d be p(s). Let b be d/(-5)*(-1 + -4). Solve b - 4 = r for r.
-2
Suppose 127 = 3*f - h, -2*h + 165 = 4*f + h. Let n = -38 + f. Solve -n*o - o + 15 = 0 for o.
3
Suppose -4*b + 13 = -n + 16, 5*n = 2*b + 51. Solve y = -n + 8 for y.
-3
Let k(r) = -6 + 5*r - 4*r - 7 + r**2 + 3*r. Let o be k(-6). Let m be (-3)/(1/(-2) + o). Solve -20 = m*x + 2*x for x.
-5
Suppose 0 = 4*w - 2*i - 10, -3*w + 8*w - i - 5 = 0. Solve w*h + 3*h = 12 for h.
4
Let k(f) = -3*f + 13. Let p be k(2). Let d be 16/(-12)*3/(-2). Suppose -2*r - 1 = z - 4*z, d*z = -2*r + 4. Solve 2*x - z = p for x.
4
Suppose 0 = 2*r - r + 6. Let j be -3*(2 - (-16)/r). Suppose -s = -3 + j. Solve 3 + s = -n for n.
-4
Let y = 40 - 58. Let f = 10 + y. Let b be 3 + 1 + f/2. Solve 0 = -2*h - 4 - b for h.
-2
Let o be 5 - 2/(1 - -1). Let u be (o + -3)/((-2)/(-10)). Suppose 0 = 2*x + 4*h, -36 = 3*x - 7*x + 4*h. Solve x*b - b + u = 0 for b.
-1
Suppose -3*s + 3 = -12. Suppose -2 - 1 = -u. Suppose u*f + 3*t - 18 = 0, 2*t + 2*t = 8. Solve -s - 3 = f*r for r.
-2
Suppose 4*b - b = 12. Suppose 2*l + 3*l + 2*w = -4, 5*l = -4*w + 2. Let p(v) = -2*v**3 + v**2 + 3*v + 1. Let r be p(l). Solve -r = x - b*x for x.
5
Suppose 5*r + 2*c - 56 = 106, 3*r - 101 = -5*c. Solve -6 = r*l - 38*l for l.
1
Let l(p) = -4*p - 2. Let b be l(-2). Let f(u) = -7*u - 10 - 3*u + 16*u. Let m be f(5). Solve b*o - m = o for o.
4
Suppose -5*u + 177*s = 172*s, -5*s = -15. Solve 0 = 10*y - u + 13 for y.
-1
Suppose 0 = -k + 2*c + 16, -5*k + 5*c + 35 + 55 = 0. Solve -k = i - 6*i for i.
4
Suppose 17*l = 14*l - 4*d + 185, -2*l - d = -115. Solve -43 + l = -3*j for j.
-4
Let r(q) = -2*q - 40. Let k be r(-22). Let n(c) = 2*c**2 - 4*c - 11. Let l be n(k). Solve l = -j + 2*j for j.
5
Let x = -14 - -20. Suppose -i = 5*h + 32, -4*h + 0*h = 5*i + 34. Let p be (4 - 5)*(1 + h). Solve -1 = p*f - x for f.
1
Suppose -4*n - 18 = -7*n. Suppose n + 2 = 2*x. Solve 0 = -x*a + 5 + 15 for a.
5
Suppose -22 = -3*x + 4*t, -4*x - 2 = 3*t - 48. Suppose 3*s - x = s. Suppose 2*c - 17 + s = 0. Solve -2*i - c = -0*i for i.
-3
Let f(t) = -11*t - 15. Let z(u) = 5*u + 7. Let i(m) = -3*f(m) - 7*z(m). Let j be i(-3). Solve 20 = -7*v + j*v for v.
-4
Let r(s) = 2*s - s**2 - 9*s + 6*s. Let j be r(-1). Solve -c + 2 = -j*c for c.
2
Suppose 0 = 4*o - 8, 2*o + 12 = 5*x - 2*o. Let a be x/6*(-3)/(-1). Let j be (-71 - -77)*(2 + 6/(-4)). Solve a*w = w - j for w.
-3
Suppose -3 = -0*j - 3*j. Suppose 20*n - 190 - 90 = 0. Solve 0 = -3*h - n - j for h.
-5
Let o be 50/(-3)*(-6)/4. Let n = -10 + o. Suppose -6*f = -20 - 10. Solve 0 = f*j - 0*j - n for j.
3
Let c be (9/12)/(9/8)*18. Let p = c - 9. Solve 0 = p*a - 2*a + 2 for a.
-2
Let b be ((-90)/27 - -3) + 43/3. Suppose -w - 8 = -2*s, -2*s + b = 2*w + 6. Solve w = 4*f + 4 for f.
-1
Let v(k) = -k**2 - 3*k + 7. Let q be v(-2). Solve -3*j + q*j = -6 for j.
-1
Suppose -2*a - 133 = -5*j - 87, -3*a = -6. Solve -j*d + 6*d = 8 for d.
-2
Let v = 373 - 373. Let d(y) = -y. Let x = 2 - 3. Let r be d(x). Solve r = -v*k + k for k.
1
Let q = -1527 + 1538. Solve 3 = 10*h - q*h for h.
-3
Suppose -21*z = -2*c - 23*z + 4, -3*c = 4*z - 2. Solve -c*g = -11 + 5 for g.
1
Let p be 126/(-30) - -4 - 183/(-15). Solve 3 + p = -3*u for u.
-5
Let m(x) = 9*x**2 - 64*x + 10. Let h be m(7). Solve 6 - h = u for u.
3
Let p be (10/12)/((-16)/(-960)*10). Solve -p*k + 7 = -8 for k.
3
Let j(d) = 4*d + 2*d - 14 + d - 4*d. Let b be j(6). Solve -8 = -0*x - b*x for x.
2
Suppose -2*l - 2*s - 8 = -l, 18 = 4*l - 2*s. Let v(w) = -2*w**2 + 29*w - 14. Let g be v(14). Suppose -u - l*u + 15 = g. Solve 13 + 2 = -u*o for o.
-3
Suppose 2*o - 3*o = 3*r + 8, 3*o + 2*r = 4. Let t be 14/21 + (-2)/3. Suppose -4*q - o*k + 63 = -37, t = -2*q + 2*k + 50. Solve 3*x + q = -2*x for x.
-5
Let r(o) = -o**3 - 8*o**2 + 3*o + 6. Let a be r(-4). Let n = -49 - a. Solve -n + 6 = 5*h for h.
-3
Suppose 3*m + 5 + 19 = 3*w, 4*w - 12 = -m. Let d be (-2*w/32)/(1/(-20)). Let h = 0 + 0. Solve h = d*n - n - 12 for n.
3
Let p(x) = -2*x - 91. Let o be p(-49). Solve 16 = -o*q + 2 for q.
-2
Suppose 4*d + 40 = 4*o, 0 = 3*o - 0*d + d - 10. Solve 0 = -3*v - 20 + o for v.
-5
Let l be -3 + -1*(2 - 0). Let t be (12/(-5))/(2/l). Suppose -c - 2*c + t = 0. Solve -c*u + 1 + 9 = 0 for u.
5
Suppose 48*k - 414 = 834. Solve 0 = 2*b + k - 34 for b.
4
Let z(k) = k**3 - 2*k + 6. Let p be z(0). Solve 5*a + 6 = p for a.
0
Suppose -55*l - 12 = -67*l. Solve -2*v = -v - l for v.
1
Let m be 2*6 + 10/(-5). Let d = m - 4. Solve 3*o - d + 3 = 0 for o.
1
Let a be 3/(2 - 5)*0. Suppose a*y + 2*y = 8. Let l = 4 - y. Solve g = -l*g + 3 for g.
3
Suppose -2*h = 5*y, 5*y - 2*y - h - 11 = 0. Solve 5*a + 18 = -y for a.
-4
Let p(d) be the second derivative of d**4/12 - 7*d**3/6 + 4*d**2 + 144*d. Suppose 5*y - 17 = 13. Let v be p(y). Solve -2*t - v = -0*t for t.
-1
Let i(a) = a - 2. Let t be i(4). Suppose 5*x = -2*r - 71, -x + 11 = -2*x - 2*r. Let h = -15 - x. Solve -4*m + t*m = h for m.
0
Let q = 33 - 11. Let t = 24 - q. Solve b = -3 + t for b.
-1
Let m(a) be the first derivative of -a**3/3 - 3*a**2 + 4*a + 6. Let x be m(-6). Suppose 2*w - x*w = 0, -2*s = 3*w - 4. Solve s*l + 0 - 2 = 0 for l.
1
Suppose f + 4*r = -8, -2*f = -0*f + 3*r - 9. Let l be 3 + (4 - (5 - 1)). Suppose -2*v - l*v - 20 = 0, 0 = 5*h + 4*v - 4. Solve -b - f = -h*b for b.
4
Let y be (-8)/2 + (10 - 4). Suppose -z + 2*h - 2 = h, -2*h + 12 = y*z. Solve 0 = -0*n + z*n - 4 for n.
2
Suppose -p - a = -23 + 13, 0 = 2*p - a - 5. Let x(w) = w**2 + 2*w + 2. Let r be x(-2). Solve p*z = r - 7 for z.
-1
Suppose 10 = 3*v + d - 9, v - 3 = 3*d. Let x(n) = n**2 - 3*n - 18. Let y be x(v). Solve y = -2*j - 3*j - 25 for j.
-5
Let d(f) = 2*f**3 - 23*f**2 + 13*f - 9. Let k be d(11). Solve k + 31 = -11*i for i.
-4
Suppose -3*i + 136 = 5*r + 24, 32 = r + 3*i. Let h(n) = -n**3 + 21*n**2 - 20*n + 3. Let q be h(r). Solve -q*v - 1 = -2*v for v.
-1
Let n = -17 + 9. Let v be 6 - ((-26)/n + (-4)/16). Solve v*a - 3 - 9 = 0 for a.
4
Let i(v) = v**3 + v**2 - 1. Let r be i(1). Let m(g) = -r + 3*g + 2*g - 6*g + 0. Let q be m(-1). Solve q*z = -3*z + 15 for z.
5
Let m(l) = -l**2 - 18*l - 72. Let v be m(-9). Solve 9*h - 6*h - v = 0 for h.
3
Let b(p) = -p - 6. Let n be b(-8). Solve n*h = -0*h + 6 for h.
3
Suppose 0 = -8*x + 296. Solve 31 = 2*g + x for g.
-3
Suppose 249 = 5*b - 2*b. Let z = b + -78. Solve 8 = j - z*j for j.
-2
Let s(f) = 2*f**2 + 9*f + 10. Let k be s(-2). Let u(p) = p**3 + 8. Let q be u(0). Solve k = j + j - q for j.
4
Let w be (6/(-4))/(12/(-8) + 1). Let b(z) = -2*z - 4. Let t be b(-6). Solve -7*d = -w*d - t for d.
2
Suppose -3*c = -3*f - 9, -2*f + 7 + 17 = 3*c. Let m = 6 - c. Suppose -2*x + 26 - 10 = m. Solve -2*k + 6*k - x = 0 for k.
2
Let c = -29 + 36. Solve -c*v = -6*v - 3 for v.
3
Suppose -8*m + 89 = -87. Solve m*n - 20*n + 6 = 0 for n.
-3
Suppose 0 = 4*d - 16, -q + 4 = q - 2*d. Let b(g) = -g**2 - 8*g - 3. Let u be b(-7). Solve u*v = q*v - 10 for v.
5
Let f = -72 - -68. Let i(t) = -5*t. Let m be i(f). Solve -4*k + m = -0*k for k.
5
Let y(i) = i**3 - 3*i**2 - 20*i + 15. Suppose 44*a - 49*a = -30. Let k be y(a). Solve -5*w = -k*w - 2 for w.
1
Suppose -9*l - 13 = -22*l. Solve -2*m + 3*m = -l for m.
-1
Let r(i) = i**3 - 3*i**2 - 12*i - 4. Let u be r(-2). Solve u = -0*x - x + 5 for x.
5
Let i(m) = -m**2 + 40*m - 272. Let c be i(9). Solve -22 = -5*b - c for b.
3
Let v(p) = -p**2 - 7*p - 9. Let f be v(-8). Let u = 20 + f. Solve u*o - 22 = -7 for o.
5
Let h(a) be the first derivative of -2*a**2 - 10*a - 10. Let b be h(-3). Suppose 1 + b = d. Solve -2*q + 5 + d = 0 for q.
4
Suppose -7*q + 4*q = -3*y + 33, -4*q = 3*y - 33. Solve 13*i + y = 24 for i.
1
Let m = -78 - -83. Solve -6 = -m*b - 31 for b.
-5
Suppose -24*y + 96 = -24. Solve -y*k + 4 = -3*k for k.
2
Let l be 8/2 + 21 + 2. Let u = l + -25. Solve 0 = u*q - q - 2 for q.
2
Let b(y) = 3*y**2 - 6 - 1 - 8*y - 2 - y**2. Let k be b(6). Solve 0 = -4*q - 3 + k for q.
3
Let l(b) = b**2 - 4. Let s = -6 - -11. Suppose q + s*z