4*i + i, 0 = i - u*d - 18. Solve -i = 2*a - 1 for a.
-1
Suppose -7*j + 3*j + 20 = 0. Let i = j - 2. Solve -k + i = -0 for k.
3
Let j(v) = v**3 - 11*v**2 + 9*v + 10. Let k be j(10). Suppose -h + 80 = 3*h. Suppose k*b = 4*b - h. Solve -x = -b + 2 for x.
3
Let x = 125 - 116. Solve 2*h + x = -h for h.
-3
Suppose -4*y = y - 25. Solve 3*b - y*b + 6 = 0 for b.
3
Let q(v) = v**3 + 2*v**2 - 5*v - 4. Let f be q(-5). Let j be ((-1)/(-3))/((-3)/f). Let h = -9 - -14. Solve o = j*o + h for o.
-1
Suppose -5*f - 2*y = -5, 37 = 4*f - 9*y + 4*y. Solve -3 = -f*l - 12 for l.
-3
Suppose 12*z - 30 = 7*z. Solve -3*m + z = 21 for m.
-5
Suppose -12 = -n - 3*n. Suppose -5*v + 20 = 5*q, -v = n*v - 16. Suppose 3 = -3*t - 3*s, -t + 2*s - 7 = -6*t. Solve m + t = -q for m.
-3
Suppose -s = 3*s + 4*l + 16, -5*s - 4*l - 18 = 0. Let k be (-18)/(-8) + s/8. Let z = 3 + k. Solve z - 2 = w for w.
3
Suppose -y - 4*y = -10. Suppose -2*u + 0 = -y. Solve u = 4*g + 5 for g.
-1
Let f(r) = 2*r + 10. Let a(t) = -3*t - 11. Let b(c) = 3*a(c) + 4*f(c). Let q be b(7). Solve 0 = -q*s + s for s.
0
Suppose -4*w - o = -106, 5*w + 2*o - 3 = 131. Suppose -2*r + 54 = -5*r. Let a = w + r. Solve d - a = 3*d for d.
-4
Let m be (0/1)/(5 - 3). Solve 2*n = -m*n - 10 for n.
-5
Let h(w) = -2*w**2 - 8*w - 3. Let c be h(-3). Solve 8*t = 5*t - c for t.
-1
Let g = 6 + -4. Let k(w) = w**2 - 7*w - 11. Let j be k(9). Suppose 4*u = j + 25. Solve -g*v = 2*v + u for v.
-2
Let i be (-2 + 2)*-1 - -16. Solve -i = 3*u + u for u.
-4
Let q be ((-2)/7 + (-14)/(-49))/(-3). Solve h = -q*h + 3 for h.
3
Suppose -10 = -t - 5*i - 0, 2 = i. Let f = 1 + 9. Solve t*p = 2*p + f for p.
-5
Let f(l) = 2*l + 26. Let w be f(-9). Solve 15 = -w*u + 3*u for u.
-3
Let t = -6 - -9. Let d be 2*1 + -2 + t. Solve -d*n + 1 + 8 = 0 for n.
3
Let q = -4 - -8. Suppose -3*o - 2*h = 6 + 11, 5*h = q*o + 38. Let g = -4 - o. Solve -2*f = g*f - 10 for f.
2
Suppose 36 = -4*f + f. Let z be f/(-78) - (-72)/39. Solve -z*o + 20 = -6*o for o.
-5
Suppose 4*i - 2 = -122. Suppose 3*b + 4 = 1. Let n be (3/(9/i))/b. Solve -d - d + n = 0 for d.
5
Let f = 5 + -3. Solve -4 = -j + f*j for j.
-4
Let v = -4 - 0. Let t be (12/3)/((-2)/v). Solve 0 = 2*c - t for c.
4
Suppose 3*o = -3*n + 15, 2*n + 4*o = -0*o + 20. Suppose 2*t - 5*y - 27 = 0, t + 4*y + n*y + 6 = 0. Suppose 3*k = -0 + t. Solve 5*f - 3 = k for f.
1
Let n = -34 - -38. Solve -n*k + 8 - 4 = 0 for k.
1
Suppose 4*k + 2 - 6 = 0. Suppose q = 3*a + 2*a - 11, 3*a - 2*q - k = 0. Solve -a*d = d + 8 for d.
-2
Suppose -z + 8 = 3*o, -7*z - o = -3*z + 12. Let k be 12 + 1 + 5 + z. Let m = 21 - k. Solve c - 2 = -m for c.
-5
Suppose 10 = 5*h + 5*l, 3*l + 8 = 4*h + l. Suppose -3*a + 4*y = -10, 0*a = h*a + 4*y. Solve -3*v - a*v = 0 for v.
0
Let a be (-2)/(-6) - 8/6. Let u be (0 - a)*(-3)/(-1). Solve -u = -4*d - 7 for d.
-1
Let q(b) = b**3 - 6*b**2 - 6*b - 6. Let p be q(7). Let o be 3/12 - p/4. Solve -k + 5 = -o*k for k.
5
Let m(a) = a**2 - 3*a + 4. Let p be m(3). Solve -5*b - p = 1 for b.
-1
Let z(j) = -4*j - 16. Let i be z(-5). Solve -8 = -i*a + 8 for a.
4
Let z be 1/(-2) + 18/4. Suppose 3*l - 7*l - 12 = 0. Let b = l + z. Solve -b - 9 = 2*y for y.
-5
Suppose 0 = -4*u + 5*x + 3 - 17, -u - 4*x = 14. Let a be (4/u)/((-20)/90). Solve -2 = a*v + 4 for v.
-2
Let k(i) = -2*i + 14. Let u be k(11). Let y = u - -8. Solve -4 = -4*t - y*t for t.
1
Let h be (6/2)/(9/6). Suppose 5*y = y. Let d(o) = o**2 + o. Let q be d(y). Solve -h*f = 2 - q for f.
-1
Let z be (-32)/5 - (-2)/5. Let g be (-3 - 4 - -1)/2. Let c = g - z. Solve 0 = -c*v - 2 + 14 for v.
4
Suppose -2*o + 5*o = 3. Suppose -4*i + 1 + o = -2*q, -4*q + 4 = -4*i. Suppose 5*h - 34 - 16 = 0. Solve h = -i*k - 3*k for k.
-2
Suppose -2*q = q - 5*n - 47, 2*q - 5*n - 38 = 0. Solve q*p = 4*p - 5 for p.
-1
Let y = 12 + -8. Suppose -5*t + 3*t = -y. Solve -t = 4*o - 2*o for o.
-1
Let i be (-30)/(-4) + (-2)/(-4). Let k(a) = 2*a - 7. Let d = 11 - 5. Let q be k(d). Solve -i*j + q = -3*j for j.
1
Let i be 10/(-3) + 2/6. Let t(p) = -p - 2. Let s be t(i). Solve 5*a - 16 = -s for a.
3
Let v be 0/(2 - (4 + -5)). Solve v = g - 4*g + 6 for g.
2
Suppose -5*t + 9 + 6 = 0. Let p = t - -3. Let u be -1 + p - 4/4. Solve -u*l - 6 = 6 for l.
-3
Suppose -2*b = -2*r + 8, 3*r + 6*b - 4*b = 7. Solve r*q - 3 = 3 for q.
2
Let h(d) = d + 6. Let f be h(-11). Let i = 3 + f. Let p be 0 + 2 + i + 3. Solve 4*c - p = 3*c for c.
3
Suppose -g = 1 - 6. Suppose -g = k - 9. Solve 0 = -k*c - 2 - 6 for c.
-2
Suppose 5*o - 22 = -7. Suppose 19 = o*a + 1. Solve -1 + a = -5*l for l.
-1
Let m(g) = g**2 - 8*g - 5. Let r be m(10). Solve 0 = -5*n - r for n.
-3
Let q = -2 - 0. Let s be q/3 + (-28)/(-6). Solve 2*c = s*c for c.
0
Suppose -5*g - 17 = -4*t, -2*t + g = -3 - 4. Suppose -2*l - l = -t. Suppose 0 = 5*i + l - 61. Solve -7*u + 3*u - i = 0 for u.
-3
Let g(y) = -y**2 + y + 3. Let z be g(0). Suppose -a = z*a. Solve a = 4*c + c for c.
0
Let m(u) be the third derivative of u**5/60 + 7*u**4/24 + 2*u**3/3 + 2*u**2. Let q be m(-7). Let l = 1 + q. Solve -2*r = -l + 1 for r.
2
Let d(g) = -g. Let u be d(1). Let v = -1 - u. Suppose 4*b + 0 = 4*y + 40, -b + 5*y = -30. Solve 5 = -b*k - v for k.
-1
Suppose -4*q + 8 = 0, -3*h - 4*q - 8 = -1. Let g be (-13)/h + (-2)/(-5). Solve g*x - 7 = 8 for x.
5
Let o be (-49)/(-14) - 3/2. Solve 5*f + 27 = o for f.
-5
Let f = -4 + 4. Let z(b) = -b**3 + 8*b**2 + 9*b + 2. Let d be z(9). Let l(j) = j**2 - j - 2. Let r be l(d). Solve f = m - r*m for m.
0
Suppose 0 = -3*h + 23 + 34. Suppose -b - 3*b + f + h = 0, 27 = 2*b + 3*f. Let a = 138 - 138. Solve k + 2 - b = a for k.
4
Suppose 3*r = o + o + 71, -3*o + 81 = 3*r. Solve 0*x + r = 5*x for x.
5
Suppose 7 - 1 = 2*o. Solve 0 = o*m + 9 + 6 for m.
-5
Suppose -g + 13 = -4*z, 8*g + 2*z = 3*g - 1. Suppose g + 4 = c. Solve c*o + 15 = -10 for o.
-5
Suppose 0 = p - 3, -4*p = 5*c - 0*c - 17. Let i = 1 + c. Suppose -6*x + 100 = -i*x. Solve 0 = w + 4*w - x for w.
5
Let k(d) = 1 + 3*d**3 + 0*d**3 + 0*d - 2*d. Let p be k(1). Let z be 1/1*2 - p. Solve -3 + z = m for m.
-3
Let d(i) = -i**3 - 3*i**2 + 5*i + 3. Let v be d(-3). Let f be (-2)/v*3*4. Solve -1 = f*a + 1 for a.
-1
Suppose 0 = 13*z - 5*z. Let o = -2 + 0. Let b = 0 - o. Solve b*i = -z - 2 for i.
-1
Let s = -5 - -8. Solve -s*x - 1 = -13 for x.
4
Let z(s) = -s**3 + 11*s**2 - 10*s + 9. Let g be z(10). Let t = g - 4. Solve x = t*x for x.
0
Let g be (-24)/(-156) + (-48)/(-26). Solve -3*t - 1 = -g*t for t.
-1
Suppose p + 14 = 4*q - p, 2*q - 16 = 4*p. Solve q*z - 6*z - 12 = 0 for z.
-3
Suppose 3*q = 3*r + 51, 6*q = 7*q + 3*r - 5. Solve 2 + q = 4*j for j.
4
Let d(o) = -o**2 + 5*o - 1. Let u be d(2). Let i = u - 3. Solve 3*b - 13 = i for b.
5
Suppose a - 59 = -4*w + 4*a, -w + 26 = 3*a. Let o = w - 11. Solve 4 = -o*k + 2*k for k.
-1
Let g(f) be the first derivative of -f**3/3 - 5*f**2/2 - 4*f - 1. Let k be g(-3). Solve k*d + 4 + 2 = 0 for d.
-3
Let w = 67 + -64. Solve 0*k - w*k - 3 = 0 for k.
-1
Let a be 1 + -1 - (0 - 2). Solve 0 = 3*w - 2*w + a for w.
-2
Let o(k) = 2*k**3 + 5*k**2 + 4*k - 1. Let w be o(5). Let v be (-4)/26 - w/(-26). Solve -4*z - v = -7*z for z.
5
Let h = -15 - -17. Solve 3 = -h*m + 9 for m.
3
Let p(t) = -t**2 + 13*t - 9. Let o be p(12). Suppose o*g + 10 = 25. Solve -g = -a + 2*a for a.
-5
Suppose -45 = -5*x + 2*p + 31, -2*p = 5*x - 64. Suppose 11 = n - 2. Suppose 2*w = w + f - 2, 2*f - n = -w. Solve 1 = w*b - x for b.
5
Suppose y + 0 + 3 = 0. Let o = y - -7. Solve -o*d - 6 + 2 = 0 for d.
-1
Suppose -24 = 3*u - 30. Solve d - 2 = u*d for d.
-2
Let m = -11 + 21. Let y = m - 7. Suppose -q - 6 = 2*x + y*q, 0 = x - 5*q - 11. Solve -x + 7 = -3*c for c.
-2
Suppose -15 = 5*r + 5*z, -5*r - 20 = -10*r + 2*z. Solve -2*m + 0*m + r = 0 for m.
1
Suppose x - 2 = -1. Solve k - 2*k = x for k.
-1
Let p = 1 - 0. Let s be (0 - -3)/(4 + -3). Let r = s - p. Solve 3*z = -r*z + 10 for z.
2
Let t(c) = -2*c + 3. Suppose -2*q - 34 = 4*r + 3*q, 3*r - 3*q = -12. Let l be t(r). Solve -6*v = -v + l for v.
-3
Let y = 4 - 4. Suppose y = 4*v - v - 15. Suppose -o - 4*o + 5*a + 35 = 0, 29 = v*o - 3*a. Solve -x - 3*x - o = 0 for x.
-1
Let x(k) = -10*k - 10. Let b be x(-3). Solve -u = 4*u + b for u.
-4
Let k(o) = -2*o + 8. Let q be k(-2). Solve -7*p + q = -3*p for p.
3
Let s be (12/(-4) + 4)/1. Suppose 11 = 5*p - 2*p - n, 2*n = -3*p - 4. Solve -p*c + 9 = s fo