pose 2*i = f - 2. Suppose -3*c = 3*o + 2*c - 24, c = i*o - 6. Solve 9 = 3*r + o for r.
2
Let j be (2 - 1)*0*8/16. Solve j = -o - 2 - 1 for o.
-3
Let p(s) = s + 14. Let b be (-3 - 0)*77/21. Let h be p(b). Solve 2*d + h*d = 10 for d.
2
Suppose -7*k = -2*k. Suppose -u - 6 = -w, -1 = -4*w - 2*u + 5. Suppose -5*g + j = -12, k*g + 12 = 3*g - w*j. Solve g = q + q for q.
1
Let k be -1 - (-2 + -4 + 2). Let w = 0 + k. Solve -2*i = -w*i for i.
0
Let r be (2/2)/(-1)*0. Solve 3*h + r + 6 = 0 for h.
-2
Let q be (-43)/(-3) + 3/(-9). Let m be (q/(-4))/(6/(-24)). Let s be (-6)/(-21) - 4/m. Solve s*t + t = -4 for t.
-4
Suppose 0 = 3*m + 5*s - 23, 0 = 3*m - 3*s + 7*s - 22. Suppose -2*f - m*y + 8 = -2*y, 2*f = 2*y + 2. Solve -f*z = -z for z.
0
Let l = 1 + 15. Let m be 6/4*l/6. Suppose h - m*i + i + 3 = 0, -4*h + 5 = 5*i. Solve -4*v + 0*v - 12 = h for v.
-3
Suppose 20 = 6*u - 4. Solve u = -3*t - t for t.
-1
Let g(t) = -t - 11. Let d be g(-14). Solve -k = -6 + d for k.
3
Suppose 4*z = 2*z + 8. Suppose 0 = -2*m + 22 - 0. Let o = m + -8. Solve -z = f - o*f for f.
2
Let c(k) = k**3 - 3*k**2 - 3*k + 1. Let o = 5 - 1. Let s be c(o). Suppose -r + 5 = -s*y, -5*r + 3*y + 54 = 7*y. Solve 2*u = -0*u + r for u.
5
Suppose -4*f + 8 = -2*f. Let v(x) = x**3 - x**2 + 3*x - 2. Let b(n) = -n**3 - 4*n + 3. Let t(i) = 3*b(i) + 4*v(i). Let j be t(f). Solve -2*a = -3 + j for a.
1
Let m = -10 - -10. Solve 3*z - 6 = -m*z for z.
2
Let k = 72 - 62. Solve -k = 4*c + 10 for c.
-5
Let a(d) = -d - 8. Let r be a(-8). Let b be (-2)/6*r + 3. Solve -6 - 9 = -b*c for c.
5
Let f = -61 - -61. Solve 4*w - 7*w = f for w.
0
Let l(q) = q - 2. Let c be l(6). Let p(s) = 3*s**2 + 24*s + 41. Let i be p(-6). Solve i*k - c = 21 for k.
5
Let g(a) = 2*a**3 + 3*a**2 - 5*a + 2. Let b be g(2). Solve -b = -r - 4*r for r.
4
Suppose 3*z + 109 = 5*l, -124 = -4*l + z - 41. Suppose -3*x - 13*x + 48 = 0. Solve l = -u - x*u for u.
-5
Suppose 2*a = -a + 12. Solve 0 = -2*s + a*s for s.
0
Let n = 1 - -12. Let r = n + -11. Solve 0 = r*a - 0*a for a.
0
Let h(t) = -t**3 - 3*t**2 + 10*t + 8. Let m be h(-5). Solve m = 5*n - n for n.
2
Let h = 1 - -2. Suppose 3*k - 26 = -5*q, 0 = -2*k - h*q + 10 + 6. Solve 0*x - k*x - 8 = 0 for x.
-4
Suppose w - 6*w + 25 = 0. Solve -3 = w*j + 7 for j.
-2
Let i(u) = -u**3 + u**2 + 6. Let n be i(0). Let x be n/(-9)*30/(-4). Let g = 53 - 38. Solve 0 = -0*v + x*v + g for v.
-3
Suppose r + 4*r + 20 = 0. Let p = r - -6. Solve 9 = -p*i - i for i.
-3
Let t(z) = -8*z - 7. Let h(g) = -3*g - 2. Let c(v) = 11*h(v) - 4*t(v). Let l be c(5). Solve -l = 5*n + 19 for n.
-4
Suppose -2*p - 2*p = 0. Suppose -3 = -u - p*u. Suppose 4*m - 24 = m + u*h, -m + 3*h = -18. Solve 4 = -m*c + c for c.
-2
Let y = 42 + -39. Solve 0*m = y*m for m.
0
Let y = -69 + 74. Solve -w - y = -6 for w.
1
Let f(a) = a**2 - 4*a - 5. Let r be f(5). Let b be (r + 1)/((-5)/(-25)). Solve -5*k - 15 = b for k.
-4
Let g = 13 - -2. Solve -g*i + 12*i = 9 for i.
-3
Let p(n) = 5*n - 62. Let z be p(13). Solve 0 = 3*x - z - 6 for x.
3
Let b(p) = p**3 + 6*p**2 + 5*p + 3. Let t be b(-5). Suppose 56 = t*l - l. Let r be l/8*8/2. Solve r = -4*i - 2 for i.
-4
Suppose -4*j = -3*j - 3. Let d be (-42)/(-18) - 1/j. Suppose -4*m = 4*k - 36, 3*m = 3*k + 2*m - 7. Solve d*x - 8 = k*x for x.
-4
Let z be (10/(-6))/((-1)/3). Suppose -15 = -5*q + 3*p, -4*p = -3*q - 5 + 3. Suppose 34 = 4*v - q. Solve -z*a - 25 + v = 0 for a.
-3
Let k(z) = -z + 10. Let c be k(-8). Let x be c/(-81) - (-76)/18. Solve 0*q = x*q for q.
0
Suppose -3*c = -3*r - 12, 7*c = 2*c + r + 12. Solve -c*u + 7 = 1 for u.
3
Let y(c) = -c**2 + 5*c + 19. Let f be y(-2). Solve -5*m + 20 = -f for m.
5
Let k = 19 - 17. Solve k*h - 25 = -3*h for h.
5
Let m(h) = -2*h**2 - 28*h + 4. Let r be m(-14). Solve -r*f = -3*f for f.
0
Let l(o) = -2*o + 6. Let s(q) = -q**2 + 5*q + 6. Let u be s(5). Let r be l(u). Let h be (-4)/r*15/2. Solve h*x = -7 - 3 for x.
-2
Suppose 0 = -j - i + 17, 4*j = 2*i + 18 + 20. Suppose u + w + 4 = 4*u, -2*u = -3*w - j. Solve -2*f = -u + 2 for f.
-1
Suppose -d + 0 = t - 4, -4*t - 5*d = -20. Solve t - 3 = r for r.
-3
Suppose -5*u + 4 = -3*d + 29, -5*u - 30 = -4*d. Let o(l) = 11*l**3 - l + 1. Let b be o(1). Solve d = -4*i - b for i.
-4
Let u(l) = l + 2. Let i = -9 - -7. Let s be (0/i)/(4 + -2). Let k be u(s). Solve -h + k = h for h.
1
Suppose 0*g - 4*g = -4. Let z(c) be the first derivative of c**3/3 - c + 1. Let s be z(g). Solve s = -4*j + 5 + 15 for j.
5
Let j = -4 + 13. Let f = -6 + j. Solve 0*d = -f*d for d.
0
Suppose -11 - 7 = -6*g. Solve -g*w = -2 - 4 for w.
2
Let u = 30 + -25. Solve u*t = 3*t - 8 for t.
-4
Let y(q) = -q**2 + 6*q - 2. Let x be y(5). Suppose 5*o + 40 = -5*g, -41 = 2*o - 4*g - 13. Let t be (-20)/8*36/o. Solve -x*d + 3 + t = 0 for d.
4
Let c be -9 - -14 - (4 - 0). Solve -2*a - c = -a for a.
-1
Suppose 4*x = 20, -2*i - 5 = 3*i - 5*x. Let p = i - 0. Solve 0 = -0*t - p*t for t.
0
Let h = 7 - 1. Let d = 6 - h. Solve 3*k - 4*k + 3 = d for k.
3
Suppose 40 = 4*k + 2*y - 22, -3*y = -4*k + 57. Let s(f) = -2*f + 6. Let r be s(2). Solve -r*n = n + k for n.
-5
Let q(r) = r**2 + 11*r - 5. Let d be q(-11). Let a(l) = l**3 + 6*l**2 + 4*l - 1. Let o be a(d). Solve -2*w = -o*w - 2 for w.
-1
Let c = -34 - -58. Let i = 28 - c. Solve -20 = -0*y - i*y for y.
5
Let n be 0/(-3) + 0 - 0. Solve 2*b = -n*b + 6 for b.
3
Suppose -o = 4 - 2. Let n = o + 7. Solve -1 = -n*r - 11 for r.
-2
Let u(x) = x**3 - 5*x**2 + 6*x - 5. Suppose -3*l - 9 = -a - 2, -4*a + 19 = -3*l. Let d be u(a). Suppose d + 9 = 3*v. Solve 3*z = -v + 1 for z.
-1
Suppose 3*z = 6*z - 6. Suppose 0 = 3*u + 2*c - 12, -z*u = 3*c - 2*c - 7. Solve -2 = u*m - 0 for m.
-1
Suppose -8*m - 16 = -10*m. Solve 3*z + m = z for z.
-4
Let b be (0 - 3/6)*-1*2. Solve -5 = 2*q - b for q.
-2
Let x(z) = -z + 13. Let j be x(9). Let q(o) = -2*o - 1. Let f be q(-6). Suppose 0*v - j*v + 3*t + f = 0, 4*v - 7 = -t. Solve b = -v*b + 9 for b.
3
Let o = -10 - -24. Let v be (-12)/(-42) + 304/o. Solve -v = 5*m - 7 for m.
-3
Suppose w + 4 = 2*n, w = 5*w + n - 29. Solve 3*l + w + 0 = 0 for l.
-2
Let o = 1 - 4. Let u = o + 5. Suppose 0 = s + 3*s - 5*q - 38, s - 3 = -u*q. Solve 0 = 4*k + 9 + s for k.
-4
Let z be (-12)/30 + 171/15. Solve 0 = -3*r - 4 - z for r.
-5
Let q = -20 + 24. Suppose s + 0 - 1 = 0. Suppose -1 = -o + s. Solve o*u = -6 + q for u.
-1
Suppose -10 = -2*s - 0. Suppose 3*t = -12, -s*i + i + 2*t = -8. Solve i*c = c for c.
0
Let p(v) = 5*v**2 - 11*v. Let g(y) = y**2 - 2*y. Let u(q) = 11*g(q) - 2*p(q). Let s be u(2). Suppose 0*a - a + 5 = 0. Solve s*h - 1 = a*h for h.
-1
Suppose -4*f + 19 = 3*r + 2, 3*f - 5*r = -9. Suppose f*o = 14 + 6. Solve d - o = -d for d.
5
Suppose 5*u - 102 + 77 = 0. Solve u*z - 2 - 3 = 0 for z.
1
Let s be 45/63*7/1. Solve -14 = s*c - 4 for c.
-2
Let q(l) = l**3 - 10*l**2 - 10*l - 5. Let s be q(11). Solve -4*w - 6 = s for w.
-3
Let d = 9 - 6. Solve -j - d*j = 0 for j.
0
Let x(i) = 5*i**2 - i - 1. Let j(y) = -9*y**2 + 3*y + 2. Let v(k) = 2*j(k) + 5*x(k). Let u be v(1). Let t be -12*(u/(-3) + 2). Solve t*p = 17 - 1 for p.
4
Let p be (1 - 2)/(0 - 1). Let a be ((0 - 0) + 5)/p. Suppose 6 = -3*o, a*h + 0 = 4*o + 23. Solve -h = -4*r - 15 for r.
-3
Let a be ((-72)/(-90))/(2/20). Solve -a = f + f for f.
-4
Suppose 2*d + 4 = -4*i, -5*i - 35 = -0*d - 5*d. Solve -l + 5*l = d for l.
1
Let k(m) = -m + 17. Let a be k(11). Solve -a + 2 = -2*i for i.
2
Let r(k) be the second derivative of -k**4/12 + 2*k**3/3 - k**2 + 5*k. Let f be r(2). Solve f*i + 2*i = 8 for i.
2
Let i(w) = -w**3 - 5*w**2 - 3*w - 1. Let d be i(-5). Let f be (-7)/(-1)*12/d. Solve -f = -4*j + 2*j for j.
3
Suppose 2*f - 4*l + 14 = 3*f, 4 = -f + 2*l. Solve 0 = f*g - 0*g for g.
0
Let q be 2*-2 - ((-120)/(-3))/(-4). Suppose 0 = 2*a + a - 12. Suppose a*c + 0*c = 20. Solve c*t + q = -14 for t.
-4
Let b = 29 + -28. Let t be 60/(-27) + 4/18. Let r = t - -2. Solve c - b + 2 = r for c.
-1
Suppose -v + 4 = 4*r - 2*r, 4 = 2*r - 2*v. Suppose r*n = p + 29, 0*p + 4*p - 20 = 0. Solve -2 + n = 3*t for t.
5
Let p = -8 + 12. Suppose -4*c + p*h = -9*c + 30, 0 = -c - 2*h + 12. Let d be 1*1*(-1 - -2). Solve -3*x = c + d for x.
-1
Let s be (24 + -14)/(-2 + 4). Solve 2*i = i + s for i.
5
Suppose -3*p = -5*p + 30. Let f = 71 - 51. Suppose -4*r - 3*m + 22 = 0, -2*m = 3*r + 2*m - f. Solve z = r*z - p for z.
5
Suppose 4