d + 1. Let o be f(3). Let p = o - 11. Suppose 5*a + 0*a = 160. Solve p*b - a = -7 for b.
5
Suppose 0 = -3*x + 4*t - 7*t - 12, -3*x = -2*t - 8. Suppose i - 2*i + 1 = x. Solve -5 = -2*w - i for w.
2
Let n be 0 - (-3 + (-1 - 9)). Solve -4*r + 3 = -n for r.
4
Let g be 2/4*(-2 + 6). Suppose 0 = g*v - 5*h - 16 - 11, 4*v + 3*h - 15 = 0. Suppose 2*i - v = -i. Solve 0 = i*p + p for p.
0
Let y = 3 - 1. Solve -3*u - y = -u for u.
-1
Let y(t) = -t**3 + 5*t**2 + 8*t - 8. Let v be y(6). Suppose 16 = 4*m + 2*q, 0*m - 3*q = -4*m - 4. Solve v - m = -g for g.
-2
Let d(h) = 2*h**2 + h + 4. Let n be d(3). Suppose 4*o - n = -5. Solve -2*m + 3*m = o for m.
5
Let o = -126 + 132. Solve -o = 3*d - d for d.
-3
Suppose -j - 1 + 2 = 0. Let o be (0 - 0)/(2 + j). Solve -2*w - 3*w - 15 = o for w.
-3
Let v = 7 + -3. Suppose 0 = 5*o + 4*q - 60, -4*q = 3*o - q - 39. Solve v*c = 6*c - o for c.
4
Suppose 0*t + t = 3*p + 8, -5*t + 3*p = -16. Solve -t*f = 3*f - 25 for f.
5
Let u(s) = -s**3 - s**2 - s - 12. Let o be u(-3). Solve -2*d + o = d for d.
3
Let g be (-90)/(-15) + 2 + -1. Solve 5 = 4*o - g for o.
3
Let b = 18 - 11. Let f = 11 - b. Suppose -4 - 9 = -f*d + i, -11 = -2*d - i. Solve -2*h + h = -d for h.
4
Let h be 24/60 + 39/15. Suppose 2*n = -4*g + 2, -2*g - n - n = -2. Solve -z + h - 4 = g for z.
-1
Let h(g) = -g**2 + 7*g - 4. Let o be h(5). Suppose 0 = -2*y - q + 2, 2*y - 3*q + o = -6*q. Suppose -y*s = -5*s. Solve s*u - 2 = -2*u for u.
1
Let m(y) = -2*y - 6. Let r be m(-3). Solve r = b - 4*b + 12 for b.
4
Let l(r) = -r**3 - 2*r**2 - 2*r + 1. Let d be l(-2). Solve -5*t - d = 5 for t.
-2
Suppose -4*a = -5*o - 6*a, 0 = -3*o + 4*a. Solve o = -6*s + 4*s + 10 for s.
5
Let y(g) = 2*g - 4. Let d be y(3). Suppose d*i = -0*i + 8. Suppose -z = -i*s - 4*z + 23, -3*s + 2*z - 4 = 0. Solve -w = w + s for w.
-1
Let j be (2/7 - 19/(-7)) + -1. Suppose 2*u = 4*u - 4. Solve 16 = -j*o - u*o for o.
-4
Let a(l) = l**3 + 11*l**2 - l - 13. Let f be a(-11). Let s be f/(-8) - (-237)/12. Solve -3*y + s = -8*y for y.
-4
Let v = -3 + 20. Solve 5*c = -2 + v for c.
3
Let c(s) = -13*s + 4. Let w be c(-3). Suppose q - 1 = -0, -3*d - q + w = 0. Solve 11 = -5*r - d for r.
-5
Let b be (-4)/5 + 177/15. Let a = b - 9. Solve 5*p - a = -7 for p.
-1
Suppose -4*h + 5*q = -2*h - 25, 0 = 5*h - 2*q - 10. Let t = h - -2. Suppose 0 = -y + t, k - 13 = -2*y - 2. Solve k - 17 = 5*u for u.
-2
Let k = 4 - -4. Suppose 2*g = -0 + k. Solve 15 = g*j + j for j.
3
Let m(s) = -s**3 + 4*s**2 - s - 2. Let c be m(3). Suppose -k + 15 = c*k. Solve -12 = -0*i + k*i for i.
-4
Let z be 20/4*(-6)/(-15). Solve z*n = -2*n + 4 for n.
1
Suppose u + 4 = -2*l + 3, 11 = 3*l - u. Suppose -1 - l = -d. Solve -d*c + 6 = -c for c.
3
Suppose 4*x + 4*k - 12 = 3*k, -3*x - 3*k = 0. Let g(f) = f. Let n be g(5). Solve -7 = x*l + n for l.
-3
Let h = 2 - -1. Let s = h + -3. Solve b + s*b + 1 = 0 for b.
-1
Let b(h) = -h. Let f(y) = 9*y - 2. Let q(s) = 6*b(s) + f(s). Let u be q(2). Let c(n) = n**2 + 5*n - 6. Let j be c(-6). Solve j = -2*d + d - u for d.
-4
Let y(j) = -j + 2. Let t(o) = -o - 2. Let w be t(-2). Let q be y(w). Suppose -n = -3*n - 10, -120 = -5*p - n. Solve -3*r - p = q*r for r.
-5
Suppose -8*b = -5*b - 12. Let a(r) = r**3 - 3*r**2 - r + 3. Let m be a(b). Solve -2*l + m = l for l.
5
Let j = -5 + 11. Suppose -j*k = -2*k. Solve -b - b - 10 = k for b.
-5
Suppose -7*o + 8*o = 0. Suppose o = 2*r - 0*r. Solve 4*m + r = 4 for m.
1
Let q(z) = -z + 11. Let o be q(9). Let k(f) = f**3 - f**2 - 3*f + 2. Let u be k(o). Let j be u/(-2)*3/9. Solve j = -0*y - y for y.
0
Suppose -10 = 2*i - 4*i. Let k be (i + -5)/(-1 + -1). Solve j + k*j = 0 for j.
0
Suppose 5*s - 2*h + 11 - 81 = 0, 37 = s - 5*h. Solve 3*j - 6*j = s for j.
-4
Let z be (-3)/9*(-10 - 2). Solve -g - z = -5 for g.
1
Let v = -4 - -10. Let r be 2 + (-2*1)/(-2). Let b = 1 + -1. Solve -v = -b*q + r*q for q.
-2
Let i(n) = -4*n**3 + 11*n**2 + 10*n - 6. Let f(a) = 3*a**3 - 10*a**2 - 10*a + 7. Let j(k) = -3*f(k) - 2*i(k). Let o be j(9). Solve -c - c = o for c.
0
Let i(o) = o**3 + 4*o**2 + o - 3. Let f be i(-4). Let w = -4 - f. Solve w*s + 6 = -6 for s.
-4
Let z = 2 - 8. Let l = 10 + z. Suppose 0*y = 4*h - 3*y - 32, 41 = 5*h - l*y. Solve h*d + 0*d = -25 for d.
-5
Suppose 3*q - 21 = -0*q. Let d = q - 7. Solve -t + d = -2 for t.
2
Suppose -67*u + 72*u - 40 = 0. Solve -3 + u = -5*p for p.
-1
Suppose 6 = -2*x, -4*n + 2 - 5 = -3*x. Let w be (-1)/n*-8*-3. Solve k - w = -k for k.
4
Let u(d) = -3*d**2 + 12*d + 11. Let m(l) = 2*l**2 - 12*l - 11. Let n(y) = 4*m(y) + 3*u(y). Let v be n(-11). Solve v*g + 9 = -3*g for g.
-3
Let h be 2/4 - (-3)/6. Solve 5*w = -6 + h for w.
-1
Let q(x) = -x**2 + 18*x - 32. Let d be q(16). Solve 3*l + 9 + 6 = d for l.
-5
Suppose 4*t - 6 = -2*z, 2*z - 6 = -3*t - 0. Suppose -3*f = c - 2, 3*c - z*f = c + 22. Solve 2*g - c = 2 for g.
5
Suppose 0*w = 2*w - 18. Let r = w - 9. Solve r = -2*i - i for i.
0
Let c be (-374)/(-18) - 12/(-54). Let s = -18 + c. Solve 25 = -s*q + 8*q for q.
5
Suppose -14 = -z - 4. Suppose -3*r = j - z, -3*r = -5*j - 3 - 1. Solve -4 = -r*b - b for b.
1
Let a(j) = -j**3 - 7*j**2 - 6*j. Suppose 5*s + 17 + 23 = -5*n, 5*n = 4*s - 22. Let b be a(n). Solve b = -3*h + 5*h + 4 for h.
-2
Let c be ((-2)/6)/(1/(-12)). Let v be 3 + 1/1 + -1. Suppose -4*l + 0 = -2*p + 12, -v*l = 0. Solve p = c*y - y for y.
2
Suppose w + 3*w - 3*d - 14 = 0, w - 3*d = 8. Solve -7*v = -w*v + 25 for v.
-5
Let y be (0 + -10)*4/(-10). Let k = -29 - -17. Let v = 16 + k. Solve -y*m = v + 8 for m.
-3
Let k(o) = o**2 + 10*o - 2. Let v be k(-12). Let a = -8 + v. Solve a = 3*l - 1 for l.
5
Suppose 2*u = 2*w + 22, -3*w + 5*w = -5*u + 48. Let g(o) = -2*o - 2. Let s be g(-2). Solve u = -0*x + s*x for x.
5
Let l(j) be the first derivative of j**4/4 + 14*j**3/3 - 8*j**2 - 15*j - 3. Let f be l(-15). Solve f = -k + 2 - 0 for k.
2
Let l = 1 - -4. Suppose -15 = m - 6*m. Let h = l - m. Solve -h*c - 3 = 1 for c.
-2
Suppose -m - w + 6 = 0, 2*m - 5*w - 40 = -0*m. Suppose 5*l - 15 = m. Let t be l/(-3 + 5 + -1). Solve 1 = -2*n - t for n.
-3
Suppose 5*b = 5*d - 15, -4*d = 2*b + 3*b - 12. Suppose b*o = -o + 2. Suppose -o*z + 2*n = -2*n - 8, 0 = 4*z + 3*n - 16. Solve -i = z*i for i.
0
Let d = -15 + 31. Suppose v = 3*v - d. Solve 0 = 5*w - 12 - v for w.
4
Let z = -18 - -14. Let t be z*1/(-4)*2. Solve -9 = -t*y + 1 for y.
5
Let v(b) = -b**3 - 10*b**2 + 10*b - 6. Let h = 14 - 25. Let p be v(h). Solve p*a - 6 = 3*a for a.
3
Let u = 8 - 3. Suppose q + t + 1 = 0, 3 + u = -2*t. Solve o = -q + 4 for o.
1
Suppose 5*q + 4 = 29. Let d(x) = 4*x. Let n be d(q). Solve -6*u - n = -u for u.
-4
Suppose 0*n = 4*n - 12. Solve -4*w + 7 = n for w.
1
Let v(l) = -l**3 + l - 4. Let c be v(-2). Solve -7*g = -c*g - 20 for g.
4
Let l(f) = -f**3 + 6*f**2 + 8*f - 12. Let w be l(7). Let o be -2 + w/(-1 + 0). Solve 3*x = 6*x + o for x.
-1
Let d(b) = b**3 - 9*b**2 + 6. Let q be d(9). Let m be q/(-27) - (-4)/18. Solve m = l - 2 for l.
2
Let h(d) = -d + 7 + 11 - 5 + 3. Let o be h(9). Solve 0 = 2*b - o*b + 5 for b.
1
Let t = 78 - 72. Solve 0 = -q + t*q - 15 for q.
3
Let z be 1 + (-1 - -4) - 0. Solve 2 = 3*d - z for d.
2
Suppose -a - 3*r + 7 = -4*r, -4*a + 3*r = -29. Let f be ((-10)/8)/((-5)/20). Let k = a - f. Solve v + k*v = -8 for v.
-2
Let a(c) = 2*c. Let d be a(2). Solve -d*k = -8*k + 16 for k.
4
Let r(g) = g + 4. Let d be r(0). Let h = d - 1. Suppose h*b = 3*z - 12, 4*z - 28 - 24 = -5*b. Solve q = 3*q + z for q.
-4
Let j(v) = 2*v - 5. Let a be j(5). Solve -a*y - 5 - 10 = 0 for y.
-3
Let j = 15 + -8. Solve -4*m - 9 - j = 0 for m.
-4
Let d(k) = -k**2 + 4*k + 2. Let i be d(4). Suppose 2*j = 8, -10 = i*s - 0*j - 3*j. Let r be s*6/3 + -2. Solve 4*l + r*l + 4 = 0 for l.
-1
Let l(m) = -m**3 + 8*m**2 - 6*m - 5. Let z be l(7). Let d = 8 - z. Solve g - d*g - 10 = 0 for g.
-2
Let o(q) = q**3 - 6*q**2 + 6*q - 6. Let r be o(5). Let j be (3/9)/(r/(-18)). Solve 2*b = 2 + j for b.
4
Let p(w) be the second derivative of 155*w**4/12 - w**3/6 + 2*w. Let d be p(-1). Let j be d/15 - (-4)/(-10). Solve -3*f - 2*f = j for f.
-2
Let b(a) = a**2 - 5*a - 4. Let x be b(6). Let y(g) = 13*g**3 + 3*g**2 - 2. Let o be y(x). Let f be o/27 + 6/(-27). Solve -f = 2*l + 6 for l.
-5
Let l be (-3)/2*4/(-3). Solve -3 + 1 = l*v for v.
-1
Suppose 12 = -2*f + 4*y, 4*f - 3*y = 1 - 10. Suppose 2*k - 3*k +