0 = v*j + 4 + 12 for j.
-4
Let o(q) = q**2 - 1. Let f be o(1). Suppose f = 3*a - 30 - 0. Let p = 14 - a. Solve 0 = 4*t - 8*t - p for t.
-1
Let q = 1 - -4. Suppose 4*r = 3*x, -q*x + 2*r = 3*r - 23. Solve j = 3*j + x for j.
-2
Let x = -2 - -4. Let k be (-2)/(-8) - (-6)/(-24). Suppose k = x*u - 5*i - 13, -4*u + 3*i = -30 + 11. Solve -3*s = -s + u for s.
-2
Let w(n) = 2*n**2 - 3*n - 3. Let c be w(3). Solve -2*s = s + c for s.
-2
Let r be 10 + -1 + -1 + 3. Suppose f - r = 4*t, 2*t + 11 = -2*f - 3*f. Let k = 3 - f. Solve -k + 0 = -4*q for q.
1
Let g = -6 - -9. Let m be (-1)/g - 26/(-6). Suppose -m*j = -j - 15. Solve j*h - 15 = 2*h for h.
5
Let f be 5/10*(-1 - -13). Let d = -2 + f. Solve d = -2*y - 6 for y.
-5
Let u = 2 - -1. Let c = u + 0. Solve -c*p - 3 = -2*p for p.
-3
Suppose -i - 5*i = -18. Suppose -i*k = -31 - 17. Solve -2*c = 2*c - k for c.
4
Let r = 3 + -3. Suppose 0 = 3*k - 2*k - 1. Let b(y) = -y**3 - 4*y**2 - 4*y + 2. Let m be b(-2). Solve r = m*w - w - k for w.
1
Let y = -181 + 183. Solve -y*l = -6*l for l.
0
Suppose -2 = r - 2*r. Let x = 2 - r. Suppose 2*m + 5*u + 11 = x, 6*m - 16 = 3*m - u. Solve -2*d + m*d = 5 for d.
1
Let f be 2 - ((-8)/(-5) + (-6)/(-15)). Solve f = -4*r + 20 for r.
5
Let o = -12 - -8. Let h be 18/27 - o/3. Solve t = h*t - 2 for t.
2
Let c(j) = -j + 2. Let h be c(0). Suppose h = w + 6. Let v be w/(-10) + 4/(-10). Solve 0 = g + 2 - v for g.
-2
Let m be (0/(-3))/(12/6). Solve m = 4*b - 4 for b.
1
Let m = 23 - 8. Solve 5*d + m = -0 for d.
-3
Let d(t) = -t**2 - 4*t + 5. Let z be d(-4). Solve -u = -2*u - z for u.
-5
Let d(c) = 2*c**3 - 9*c**2 - 8*c + 18. Let y be d(5). Solve 6 = -3*a - y for a.
-3
Let z(r) = 2*r**3 - 2*r**2 - 3*r + 2. Let s be z(2). Solve m = s*m for m.
0
Suppose 0 = j + 3 - 35. Suppose 3*o + o = j. Solve 4*t + o = -12 for t.
-5
Let z be (-6)/21 + 6*(-3)/(-63). Solve 4*a + 0*a = z for a.
0
Let o = -1 - -17. Solve -o = 5*l - l for l.
-4
Let h(b) = 5*b - 1. Let q(p) = -p + 1. Let a(y) = -9*y + 7. Let n(o) = a(o) - 5*q(o). Let m(d) = 5*h(d) + 6*n(d). Let t be m(-6). Solve -w - t = -0*w for w.
-1
Let o = 94 + -82. Solve 7*a - o*a - 20 = 0 for a.
-4
Let s be 1/3 + 20/(-6). Let h = 6 + s. Solve -h*f + 5 = -4 for f.
3
Let j be (-3 + 2)*(-1 + 0). Let w be (j/5)/((-1)/(-5)). Solve 0 = -2*x - w - 1 for x.
-1
Suppose 0 = -0*d + 4*d. Let f = 6 + d. Solve 4*n = 14 + f for n.
5
Let b(s) = -4*s + 4. Let m be b(4). Let h be (-1 - (-28)/(-4))*1. Let x = h - m. Solve 3 = -x*w + 23 for w.
5
Suppose 0 = -25*a - 51 + 151. Solve 5*i + 1 = -a for i.
-1
Let o = 129 + -125. Solve 0 = -0*p + o*p + 20 for p.
-5
Let j be 32/14 - 14/49. Solve 0*x - 10 = -j*x for x.
5
Let g = -4 + 7. Solve -g = -x - 7 for x.
-4
Suppose 0 = 2*k - k - 7. Solve -4*g + k = 27 for g.
-5
Let t(d) = -13*d + 26. Let j be t(2). Solve -2*f + j*f = -4 for f.
2
Suppose -5*m - 1 = 9. Let x be m - (-6 + -1)/1. Suppose 0 = -3*r - 5*p + 53, 44 = 3*r - 0*p - 4*p. Solve -x*d = -9 - r for d.
5
Let a be (-4)/22 - (-26)/22. Solve -a + 0 = t for t.
-1
Suppose 5*u = z + z - 20, z + 5*u + 20 = 0. Solve 3*c = -z*c for c.
0
Let l be (8/10)/((-1)/5). Let w = l + 9. Solve d + 20 = w*d for d.
5
Let f = -2 + 17. Let i be ((-6)/f)/(1/(-5)). Suppose -3*o + 11 = -i*o. Solve 4*a = -9 - o for a.
-5
Let l = 12 - 4. Suppose -40 = -0*r - 4*r. Let v = r - l. Solve v*q - q = 1 for q.
1
Let v = -10 - -25. Solve 0 = 5*r - 5 + v for r.
-2
Suppose 6*j - 60 = 3*j. Solve 0*w + 5*w + j = 0 for w.
-4
Let j(d) = 2*d**2 - 4*d + 1. Let q be j(3). Solve q*h - 15 = 4*h for h.
5
Let u(i) = 3*i + 3. Let c be u(7). Suppose 4*g = 2*v - c, -v + 28 = 2*v - 2*g. Solve 0 = -2*x + v - 0 for x.
4
Let f = 2 + 0. Let s be 2 - f*(2 - 1). Suppose 2*p = -4*c + 32, s*c + 43 = 5*c + p. Solve 3 - c = 3*o for o.
-2
Let q(y) = y**3 - 2*y**2 + y - 2. Let a be q(2). Suppose a = -0*c - c + 9. Solve 0 = -r - 2*r - c for r.
-3
Suppose 3*v + 4*d - 23 = 0, -4*v + v + 29 = -2*d. Suppose -4*s + v = -7. Solve -2*q - 2*q = -s for q.
1
Suppose -3*g = -5*r + 19, -r - 2*g - 2 = r. Solve -r*h = 2*h for h.
0
Let s = -122 + 86. Let l be (-6)/s + 3/(-18). Solve n = -l*n for n.
0
Let b(i) = -i**2 - 4*i - 1. Let p be b(-3). Suppose -p*c + 18 = 4*l, -3*l = -4*c + 2*c - 10. Solve -11 - 5 = -l*t for t.
4
Let a(b) = 31 - b + 2*b - 15. Let w be a(-14). Solve -w*k + 6 = 2 for k.
2
Let f = 7 - 20. Let b = -11 - f. Solve 0*t - b = -t for t.
2
Let i = 5 - 3. Let a = 1 + i. Let r(z) = -2*z + 3. Let p be r(-3). Solve -a = 2*o - p for o.
3
Let r be (-6)/5*270/(-81). Solve -4*o - r = -8*o for o.
1
Let y be 15/7 + 1/(-7). Solve -y*i + 7 = -1 for i.
4
Let j be 0*3/(-9)*3. Solve j = -0*m - 2*m + 6 for m.
3
Let d(k) = -k + 6. Let b be d(6). Suppose 3*i - 2*i + 6 = b. Let g(w) = -w**3 - 6*w**2 - w - 6. Let u be g(i). Solve -2*c + 4 = -u for c.
2
Let n = 153 + -149. Solve l + n - 2 = 0 for l.
-2
Let l = -22 - -32. Let q be (8/(-10))/((-4)/l). Solve 4 = r + q for r.
2
Suppose 2*u = -4*w + 16, 2*u + 9 + 11 = 5*w. Solve -2*o = -0*o - w for o.
2
Suppose 4*y - y + 7 = 4*z, -5*y = -2*z + 7. Let w(g) = 2*g**2 - 23*g - 8. Let x be w(12). Solve -z = x*h - 13 for h.
3
Let s(d) = 3*d + 6. Let h be s(-8). Let f = h + 20. Solve f*u + 0 = -10 for u.
-5
Let l(r) be the second derivative of r**6/720 - r**5/40 + r**4/12 + r. Let q(o) be the third derivative of l(o). Let a be q(5). Solve a*s = -s for s.
0
Let l = -4 + 26. Let w(z) = 8*z. Let n be w(2). Let d = l - n. Solve -9 = -5*t + d for t.
3
Let a be (-1)/(((-6)/(-8))/(-3)). Suppose 20 = a*m + 2*n - 5*n, 0 = -m + 2*n + 5. Let v = -2 + m. Solve o - v*o = -4 for o.
2
Let s(d) = -d + 10. Let v be s(8). Solve 3*l + 25 = -v*l for l.
-5
Suppose 24 = -4*y + 80. Let q = 3 - 1. Let a(z) = z**2 - 4*z - 6. Let v be a(6). Solve v - y = -q*l for l.
4
Let z = 42 + -37. Solve 0 = -z*v + 5 - 25 for v.
-4
Let d = -87 + 95. Solve 3*g + d = 5*g for g.
4
Let t(a) = -2*a - 6. Let l be t(-6). Solve 3*i = i + l for i.
3
Let p = -21 + 29. Let y(u) = -u**3 - 7*u**2 - 4*u + 4. Let x be y(-6). Let i = x + p. Solve 5*s - s + 4 = i for s.
-1
Suppose 24 = 2*s + 4*s. Suppose 3*u - 4*u = 2, -5*k - s*u + 7 = 0. Solve -k*t + 5 = 20 for t.
-5
Suppose 5*h + 19 = i, -6*i - 3*h = -i + 45. Let c = 22 + i. Solve c = 5*r + 1 for r.
3
Let j be 4 + -4*(-3)/(-6) - -1. Solve -o + 10 = -j*o for o.
-5
Suppose -3*b + 16 = 3*v - 17, 0 = 5*b - v - 55. Let c = b + -6. Let n(t) = t + 10. Let q be n(-5). Solve -10 = -q*p - c for p.
1
Let o(s) = s**3 - 9*s**2 + 9*s - 7. Let g be o(8). Suppose 38 = 3*z + 2*y, -g = -y - 0. Let u be 140/24 - (-2)/z. Solve -2*q = -u*q + 4 for q.
1
Suppose 0 = -x - 5*k - 1 + 4, 4*x + 3*k - 63 = 0. Let y(d) = d - 15. Let n be y(x). Solve -4*i = -3*i + n for i.
-3
Let v(j) = j**2 - 3*j + 2. Let w = -6 + 9. Let r be v(w). Let z(i) = -i**2 + 5*i + 2. Let x be z(4). Solve 4 + x = -r*p for p.
-5
Let s(j) = j**3 + 6*j**2 - 17*j - 4. Let c be s(-8). Solve c*v - 4 = 3*v for v.
4
Suppose 0 = 5*x - 13 + 3. Solve 5 = x*d - 3 for d.
4
Suppose o - 3*g + 0*g - 6 = 0, 5*o = -g - 2. Solve 0*d - d = o for d.
0
Let o = 53 - 51. Solve 0 = 2*s - 2 - o for s.
2
Suppose -z + 13 - 8 = 0. Suppose 0 = -5*x + 5*r + 35, x = 5*x + z*r + 17. Solve 8 = 3*k + x for k.
2
Let i = 9 + -6. Let o(j) = 2*j - 3. Let t be o(i). Solve t*c + 1 - 4 = 0 for c.
1
Let y(r) = r**2 - 14*r + 26. Let l be y(12). Solve -3*m + 5 = l for m.
1
Suppose -4*a - 3*v + 71 = 0, 2*a - 1 = -3*v + 30. Solve -a + 18 = -p for p.
2
Let t = -141 + 141. Solve -x + 2*x = t for x.
0
Let t(g) be the first derivative of -g**3/3 + 11*g**2/2 - 7*g - 9. Let l be t(10). Solve l*d - d = 0 for d.
0
Suppose 45 = -4*k - 3*d, 3*d + 4 = 19. Let t = k + 22. Suppose -t - 3 = -5*m. Solve -u - m*u + 3 = 0 for u.
1
Let l(f) = 3*f + 14. Let d be l(-9). Let o = d + 18. Let i = -1 - -3. Solve -g = -i*g - o for g.
-5
Let j = 69 + -49. Suppose -5*v = -3*w + 5*w - 20, 5*v - j = w. Suppose v*u = -3*c + 22 + 10, 0 = u - 5. Solve 9*t - c*t + 10 = 0 for t.
-2
Suppose -4*l - 5*u = -2 - 4, -5*l + 5*u = -30. Solve -4 + 0 = l*t for t.
-1
Let l be (-2)/(-4) - 36/(-8). Suppose 4*g = -2*h - 0*h + 42, -92 = -4*h - 4*g. Let x be 2*(-3)/(-15)*h. Solve -l*f = -0*f + x for f.
-2
Suppose 5*j - 18 = -2*t, 0 = 3*j + 5*t - 11 + 4. Solve -j*f - 4 = 4 for f.
-2
Let z = -23 + 26. Solve 8 - z = -5*d for d.
-1
Let p(v) = -v**3 - v**2. Let b(a) = -2*a**2 + 4*a + 