uppose 3*d - i = 7. Solve -3*a + d = -0*a for a.
1
Let i(q) = q**2 + q + 3. Let k be i(0). Let a be 2/4*(11 - 1). Suppose a = j + 2. Solve k*y - 18 = -j for y.
5
Let s = -87 - -88. Solve -s = -5*k + 9 for k.
2
Suppose 4*f + h - 18 = 0, 0 = 6*f - 2*f - 3*h - 10. Solve -f*s + 11 = -5 for s.
4
Suppose -2*g + 30 = -5*g. Let v = 11 + g. Solve 2 + v = -3*k for k.
-1
Let z(f) = -7*f**3. Let x(a) = -a**3 + 4*a**2 - 3*a - 1. Let c be x(3). Let k be z(c). Let s(u) = -u + 7. Let t be s(k). Solve t*m = -m for m.
0
Suppose 12*z = 14*z. Solve 12 = -3*x - z*x for x.
-4
Let p = -14 - -30. Suppose 28 = 5*v + c, -2*v + c = -c - p. Suppose 9 - 39 = -5*s. Solve 3*n - v*n + s = 0 for n.
2
Suppose -q + 3*q + 5 = -z, -3*z - 10 = 5*q. Suppose h - 3*d - 3 - 4 = 0, -z*h - 5*d = -15. Suppose h*o + o = 10. Solve 0 = -o*f + 5*f - 3 for f.
1
Suppose 0 = -a + 3*a - 4. Suppose -5*g - c - 2 = -0, -a*c = 4*g - 2. Let b = g + 3. Solve b*i + i + 3 = 0 for i.
-1
Suppose -12*p + 71 = 11. Solve 3*v + 8 = p*v for v.
4
Let s(h) = h + 28. Let q be s(-18). Solve -z - 4*z + q = 0 for z.
2
Suppose 45*w = 46*w. Solve -5*p + 2 + 13 = w for p.
3
Let w be 2 - 14*(-1 - 0). Suppose -4 = -3*j + 23. Let u = -14 + 19. Solve -j - w = -u*z for z.
5
Suppose 0 = -2*a - 2*v - 14, 2*v - 4 = 4*a - 0*v. Let d = a + 5. Solve d = -r + 3 for r.
1
Let o be 8 + (0 - (4 - 1)). Solve -o*j = -j + 20 for j.
-5
Let u = 40 + -14. Solve 0 = 4*o - 10 + u for o.
-4
Let z(g) = g + 1. Let p be z(1). Suppose 2*q + 28 = 4*q. Let m = q + -10. Solve -m*j - p = 10 for j.
-3
Let w be (-1 - 3) + (-1 - -2). Let k be (-3 - w) + -3 - -5. Solve -25 = k*z + 3*z for z.
-5
Let g = 32 + -29. Solve 0 = -g*t - t + 20 for t.
5
Let p be 3 + -2 - (-12)/4. Suppose 0*i - 3*i + 6 = 0. Let v = i + p. Solve -v*r + r = -10 for r.
2
Suppose 0 = 2*m - 6 - 0. Solve 0 = m*j - 2*j + 4 for j.
-4
Let r = 1 + 3. Let s(q) be the third derivative of 11*q**6/120 - q**5/60 + q**3/6 - 2*q**2. Let o be s(1). Solve -o = -r*x + 9 for x.
5
Let f = 9 - -1. Solve 4*d - f = -d for d.
2
Let w be (-3 - 15/(-6))*0. Solve 5*b + w*b = 0 for b.
0
Suppose -2*z = -5*q - 8, q + 4 = z - 0*z. Let x(w) be the first derivative of -2*w**2 + w - 2. Let h be x(-1). Solve -h*p = -20 - q for p.
4
Suppose 0 = -3*t + 1 + 17. Let r be (-1 + t)*4/10. Solve -r*k = -7*k for k.
0
Let r = -12 + 16. Solve -r*f + 9 = -f for f.
3
Let v(i) = -i**2 - 6*i + 1. Let f be v(-6). Suppose -20 = 4*b, 0*u = 2*u - b - 17. Suppose 3*p + u = 18. Solve -p*q = -5 + f for q.
1
Suppose -j + 8*j = 0. Solve 0*h + 4*h - 4 = j for h.
1
Suppose 3*j - 22 = -2*u, j + 4*u - 5 - 9 = 0. Let g = 1 - 6. Let t be 2/g + (-51)/(-15). Solve -3*l + j = -t for l.
3
Suppose 0 = q - 5*x - 13, -q + 0*q + 4*x = -10. Let h be (-3 + -1)/q + 2. Solve v + h*v = 20 for v.
4
Let g(t) = 4*t**3 - t**2 + 2*t - 1. Let w be g(1). Let q = 2 + w. Solve 0*c + q = 2*c for c.
3
Let k(g) = -3*g**2 - 52*g - 9. Let j be k(-17). Solve 4*m - j = -0 for m.
2
Let x(c) = -3 - c**3 - c - 23*c**2 + 0 + 20*c**2. Let v be x(-3). Solve v = -2*r - r - 6 for r.
-2
Let d = 15 + -28. Let y = 13 + d. Solve 0 = -y*n - n - 4 for n.
-4
Let k(j) = j**3 - 5*j**2 + 5*j. Let f be k(4). Suppose 10*v = 5*v + 15, -2*y = 4*v - 52. Solve -p - f*p = y for p.
-4
Let b = -5 + 5. Suppose -3*a + b + 12 = 0. Suppose 0 = 3*m - 20 - a. Solve -m = -3*i + 4 for i.
4
Let s = 91 - 91. Solve -4*x = -s*x for x.
0
Let j be (-6)/(-9) + 7/3. Suppose 4*d + 1 = j*d. Let x(m) = -m. Let k be x(d). Solve 2*q - k = q for q.
1
Let g be (-1)/(0 + (-2)/6). Suppose w = 2*w - 3*d - g, -3*d = 4*w - 27. Let l be (w + (-2 - 0))*1. Solve 0 = 3*z - l*z + 3 for z.
3
Let c = 13 - 7. Let a be 88/24 - 4/(-3). Suppose q - 3*f - a = 0, 3*f - 15 = -3*q + c*f. Solve -5*b + 0*b + q = 0 for b.
1
Let r(k) = -k**2 + 10*k - 7. Let y be 27*(0 + 4/12). Let n be r(y). Solve n = 3*u - 7 for u.
3
Let h be (4 + -4)/(-3 - -1). Let d be (4 - 2) + h/1. Let c = d + 1. Solve -g - c = -1 for g.
-2
Suppose 0 = 2*t + l - 162, 0*t + 2*l - 75 = -t. Let m = t - 47. Suppose -a - 3*a = -m. Solve 2*i = -a + 3 for i.
-3
Let c(p) = -4*p**3 - 4*p**2 - 3*p - 2. Suppose 5*i + 2 = 4*i. Let v be c(i). Solve 0 = -3*y - y + v for y.
5
Suppose -5*l + 38 = 2*h - 4*l, -h + l + 13 = 0. Suppose 0 = -a - 2*r + 7, h = 2*a + 5*r + 1. Solve 3 + 9 = -a*f for f.
-4
Let o(c) = 6*c + 3. Let y(n) = -17*n - 10. Let k(r) = 11*o(r) + 4*y(r). Let v be k(-6). Suppose -13 = -v*a + 2. Solve 4*j - 1 = a for j.
1
Let l(p) be the second derivative of -p**5/20 + p**4/4 + 5*p**3/6 - 2*p. Let z be l(4). Solve -3*o + z*o = -5 for o.
-5
Let n(x) = -x**3 - 2*x**2 - 3. Let l be n(-4). Suppose 5*z + 5*g - l = 2*z, 3*g + 3 = 5*z. Solve 2*u - 20 = -z*u for u.
4
Let i(m) = m**3 + 6*m**2 + 3*m - 7. Let j be i(-5). Suppose 0 = -j*r + s + s, 0 = -r - 4*s. Solve -7*q + 2*q + 20 = r for q.
4
Let s be 19/3 + 3/(-9). Let k = -6 + s. Let l = -2 - -14. Solve k = 2*r + r + l for r.
-4
Suppose -16 = 2*j - 26. Solve -10 = -0*p + j*p for p.
-2
Let x = 56 + -47. Solve -4*a + a - x = 0 for a.
-3
Suppose 24 = 7*a - a. Solve -5*x - 9 = -a for x.
-1
Let u = -13 - -18. Solve -u = -0*j - j for j.
5
Let z = 21 + -19. Solve 0 = -0*p + z*p - 4 for p.
2
Let s be 0 + 0 - -3 - 1. Let x be (s - -2)*(-1 - -2). Solve -x*w = 2 + 2 for w.
-1
Let h be 0 + -4*(-3)/6. Suppose -h*o = -5*o. Solve -5*y - 24 + 4 = o for y.
-4
Suppose -6*v = 1 - 31. Solve 5*u - 10 - v = 0 for u.
3
Let k = 2 - 2. Solve k = -3*s + 8*s for s.
0
Let b be (-8)/1 - (-1 + 0). Let s = -3 - b. Suppose 4*w - 2*y - 5 = -3*y, -2*y + 10 = -s*w. Solve w*i + 4 = 4*i for i.
1
Let h(g) = g + 14. Let s be h(-9). Let x(y) = y**3 + 8*y**2 + 8*y + 7. Let u be x(-7). Suppose -4*z + u*z + 80 = 0. Solve -s*j + j = z for j.
-5
Let y = -2 + 7. Suppose -k = 3*t - 10, -3*t + 0*t - y*k = -26. Solve t*c - 5 = -1 for c.
2
Suppose -5*d + 12 = 5*q - 13, -5*d = 3*q - 7. Suppose 4*f + 3*p - 20 = -p, -5*p = 0. Suppose 4*u = -f*k + 7 + 15, k - 17 = -5*u. Solve k*y - 1 = -q for y.
-4
Suppose -4*t = -22 + 6. Solve -2*k = -t*k + 4 for k.
2
Suppose -554*u = -548*u. Suppose 58 = 5*y - 3*y. Solve -5*n + y - 4 = u for n.
5
Suppose 8 = 2*f - 8. Let s = f + -8. Solve s = 2*b - 5*b - 6 for b.
-2
Suppose -61*p = -63*p + 40. Solve 0*j = 4*j - p for j.
5
Let p = 2 + -5. Let b be (-6)/((-15)/(-6) + p). Solve -2*y - b = 2*y for y.
-3
Let z be (0 + -1 + 1)*1. Suppose -x - 6 = -3*v - z, 2*x + 2*v = 12. Solve 0 = 2*n + x*n + 5 for n.
-1
Let q = 44 + -42. Solve -m + q = 6 for m.
-4
Let g = -62 + 62. Solve -r - r + 2 = g for r.
1
Let k(l) = -l - 1. Let p be k(-1). Let u(b) = b**3 + 2*b**2 - 5*b - 2. Let a be u(-3). Solve p*h + a*h = -20 for h.
-5
Suppose -2*h - 8 = -38. Solve -4*o - h = 1 for o.
-4
Suppose 2*p - 7 - 9 = 0. Suppose -3*y + 12 = 3*l, 0*y - 3*y + p = l. Solve h + y = 3 for h.
1
Suppose -5*u + 3*u = 0. Suppose u = -2*o + 3*o - 2. Solve -4 = k - o for k.
-2
Let k(l) = -l**2 + 6*l + 3. Let t = -4 - -10. Let r be k(t). Let o(n) = -n**2 + 5*n - 4. Let f be o(r). Solve f*g + 0*g = 0 for g.
0
Let r(g) = 2 + 6*g + 2*g - 9*g. Let y be r(-4). Solve y*d = d + 25 for d.
5
Let p be 4/(-6) - 48/(-18). Suppose -p*q = -q - 3. Let g = -3 - -4. Solve g = q*f - 8 for f.
3
Suppose -22 = -2*w + n + 3*n, -5*w + 4*n + 31 = 0. Suppose -j - w*i - 3 = 5, -j - i + 2 = 0. Solve -j*d + 2*d = -10 for d.
2
Suppose 0 = 5*m - c - 13, -5*m + 3*c + 0*c + 9 = 0. Suppose 0 = m*j - 12 - 6. Solve -n - n = j for n.
-3
Let z be 3/5 + 2/5. Let a be ((-18)/(-12))/(z/(-6)). Let k(v) = v**2 + 8*v - 9. Let y be k(a). Solve b - 6 + 3 = y for b.
3
Suppose 5*q + 14 + 6 = 0, -2*q - 11 = -x. Suppose 5*r - 5*h = 5, -x*r + h + h = -5. Solve a = -r*a for a.
0
Let k = 4 - 1. Suppose 0 = -w + j + 11, 4 - 9 = 5*j. Let c be -2 + 0 - (k - w). Solve -t - 1 = -c for t.
4
Suppose -3*t - 5*y + 1 = 0, 3*t = -0*y + 2*y - 34. Let j(h) = -2*h - 12. Let u be j(t). Let z = -4 - -7. Solve u*s = -z - 5 for s.
-2
Let u = -3 + 5. Suppose 3*a - 3*d = 156, 3*a - 204 = -a + 3*d. Let x be 3/4 + 444/a. Solve -u*w + x + 0 = 0 for w.
5
Suppose -b + 4*v + 15 = 0, -b - b - 5*v = -30. Solve -b = t + 4*t for t.
-3
Let v(t) = t**2 + 2. Let d be v(-2). Solve -3*x - 21 = -d for x.
-5
Let j = -16 - -19. Solve -3*p + 6 = -j for p.
3
Suppose -3*l - 9 = -33. Solve 0*q = 2*q + l for q.
-4
Let v = -81 - -91. Solve c + c = -v for c.
-5
Suppose 3*n - 49 = w, 0 = 4*n - 0*