i - 0 + 3 for i.
-1
Suppose 0 = 2*p - 3*p. Solve -2*x + 0*x - 6 = p for x.
-3
Let b be 14/(-35) - 107/(-5). Solve 4*v + b = 9 for v.
-3
Suppose 5*k + 0*k - m = 17, -4*m = 8. Suppose -2*j - 9 - 1 = 0, -3*j - 13 = -2*t. Let w = t + 1. Solve -b + w = -k for b.
3
Suppose -2 = 7*d - 8*d. Solve -d*t = t + 9 for t.
-3
Let s(w) = 4*w**2 + 1. Let o be s(-1). Solve -o*i - 4 = 21 for i.
-5
Suppose 5*q - 4 = -24. Let x be 1/q - 30/(-24). Solve 2*b + x = -5 for b.
-3
Let o be (-57)/(-3) - (0 - 2). Suppose 0 = -5*m - 1 + o. Let q be ((-1)/2)/((-1)/m). Solve g = q*g + 4 for g.
-4
Let h(b) = -b**3 - 6*b**2 - b - 4. Let j be h(-6). Suppose -o + 18 = j*o. Solve o*r = 3*r + 9 for r.
3
Let w(h) be the first derivative of h**5/120 + h**4/12 - 2*h**3/3 - 1. Let c(l) be the third derivative of w(l). Let q be c(2). Solve y + 5 = -q*y for y.
-1
Let v(f) = -f**2 - 9*f - 2. Let u be v(-8). Solve -u*i - 10 = -i for i.
-2
Let m = -6 - -2. Let n = 4 + m. Solve n = -5*c + 6 - 1 for c.
1
Let q = -20 - -8. Let h be q/(-7) - 14/(-49). Suppose -3*o - h*o + 25 = 0. Solve -o*d + 5 = -0*d for d.
1
Let q be 4/5*(-10)/(-4). Let h = q + -2. Solve 20 = -h*c - 4*c for c.
-5
Let w be (-1)/4 - (-351)/12. Suppose -2*a - w = -4*a + z, -4*a - 3*z = -53. Let i be 4/a - 40/(-7). Solve -x = -i*x for x.
0
Suppose -2*n - 20 = -4*m, 6*n + 27 = 5*m + 4*n. Solve -5*i + m = 2 for i.
1
Let g be (1/(-2))/((-2)/12). Solve -g = 3*s - 6*s for s.
1
Let a = -15 - -19. Solve -2*u = -3*u - a for u.
-4
Let s(i) = 4*i**3 - 10*i. Let g(d) = -3*d**3 + d**2 + 9*d. Let y(f) = -5*g(f) - 4*s(f). Let r be y(-4). Suppose -100 = -r*n - n. Solve 2*p = -2*p + n for p.
5
Let v(m) = -m**3 - 10*m**2 + 9. Let x be v(-10). Suppose 0 = -2*s + 11 - 5. Suppose y + s*q = 3, 4*y + 4*q = -q + 5. Solve 3*l = -y*l + x for l.
3
Suppose -6*w + w - 5*u + 25 = 0, -22 = -4*w - 5*u. Solve 0*v - w = 3*v for v.
-1
Let a(x) = -x**2 - 2*x + 3. Let h be a(-3). Suppose -5*r + 20 = 0, -5*i - 2*r = -h*i - 23. Solve -i*d = d - 16 for d.
4
Suppose 0 = 5*f + r + 4, -2*f + 5*r + 20 = -f. Solve f = q + 4*q - 15 for q.
3
Suppose 5*p + 16 = 3*i - 0, -3*i + 4*p + 14 = 0. Suppose -i = -3*v + 2*v. Solve 3*u + v*u = 0 for u.
0
Suppose v - 4*y = 8, y + 11 = 2*v - 2*y. Let i = 10 + -6. Suppose -i*m + 5 = -w - v, -3 = -w. Solve 0 = m*l + l + 8 for l.
-2
Let k(q) = q + 11. Let d be k(6). Let z = -15 + d. Solve -h + 0 = -z for h.
2
Suppose 3*o - 79 = c, -3*c + 63 = o + 2*o. Solve -4*p - p = -o for p.
5
Let d = -4 - -9. Let g be (-5 + (-46)/(-8))/((-2)/(-8)). Solve 0 = g*n + d + 4 for n.
-3
Let b(y) = -y**3 + 2*y**2 + 3*y. Let p be b(3). Solve 0 = -p*m + 5*m for m.
0
Suppose -u + 3 = -1. Let z(v) = -v - 8. Let q be z(-6). Let x = u + q. Solve 0 = -l + x*l - 5 for l.
5
Suppose -z = 3*z - 8. Let u be (-2 - 32) + (3 - -1). Let t be (12/u)/((-2)/30). Solve 14 = z*r + t for r.
4
Let p = -34 - -38. Solve p*n - 15 = -n for n.
3
Suppose 5*m + 5*i - 70 = 0, -2*i + 2 = m - 4*i. Let t = 18 - m. Let d be (-5)/(-2) - 3/(-6). Solve x - t = d*x for x.
-4
Let v be ((-1)/(-3))/((-1)/(-27)). Suppose -c - 2*q = v, 5*c + 2*q = -6 + 1. Solve c + 5 = -3*l for l.
-2
Suppose 30*w - 32*w = 0. Solve 0 = -2*a - w - 2 for a.
-1
Suppose -125 = -13*h + 8*h. Solve 2*d + h = -3*d for d.
-5
Suppose -1 = -2*l + 3*l + 2*c, -l - 10 = 5*c. Solve -2*b = -l - 1 for b.
3
Suppose -2*j = -3*j. Let f(i) = 2*i**2 + 3*i - 4. Let g be f(-3). Suppose 4*l + g*o - 65 = -j*l, 0 = 2*l + 4*o - 34. Solve 4*t = -t + l for t.
3
Suppose -3 - 17 = -5*z. Suppose 4*l - g = -5*g + z, -4*g - 4 = 0. Solve p - 2 = l for p.
4
Let n(g) = -g**3 - 9*g**2 + 9*g - 12. Let v be n(-10). Let p = -14 - v. Let u be (-15)/(-4)*(-32)/p. Solve 0 = -q - 4*q - u for q.
-2
Let n be 1/(-2) + (-25)/(-2). Suppose u - o = 2*u - 5, 4*o = n. Solve u*m - 4 = -12 for m.
-4
Let u be (0 - -1 - 0)*3. Suppose -25 = -5*j + i, -3*j - u*i + 0*i = 3. Let l = j - 3. Solve -2*y = l + 1 for y.
-1
Let d be (-16)/(-3) + 1/(-3). Suppose -5*y - 4*h - 9 = 0, -5*y - 3*h = -y + 7. Let v = y - -5. Solve 0 = -b - v*b + d for b.
1
Let c be 32/10*(3 - -2). Suppose 5*m - 68 = -4*y - 4, -2*m = 4*y - 28. Suppose v + 3*h = 16, v - h - 3*h + m = 0. Solve v = 4*d + c for d.
-3
Let u(h) = h**2 - 7*h + 1. Let l be u(6). Let m(y) = 2*y + 4. Let g be m(l). Let n be 4/g + 22/6. Solve -9 = -3*c + n for c.
4
Suppose -6 = m - 0. Let f = 11 + m. Solve a = f*a for a.
0
Suppose 34*x = 33*x. Solve 5*o - o + 12 = x for o.
-3
Let n = -42 - -43. Solve 0 = w + 4 + n for w.
-5
Let c(a) = a**3 - 16*a**2 + 28*a + 12. Let i be c(14). Solve -3*v - i = v for v.
-3
Let y(a) = -a**3 + 7*a**2 - 7*a - 11. Let w be y(5). Solve -1 = -5*g + w for g.
1
Let g(k) = k + 0*k + k - k. Let b be g(2). Solve 0*y = -y + b for y.
2
Let b(l) = l**3 + l. Suppose x + 3*v - 16 = 0, x + 4*v = -2*x + 28. Suppose -q - x = -5*q. Let k be b(q). Solve 0 = k*h + h for h.
0
Let w be (-9)/2*(-1 - -3). Let r = -6 - w. Suppose 3*u - 17 + 32 = g, -6 = 2*u. Solve 0 = r*y - y - g for y.
3
Let l be 2/8 - 6/(-8). Let n = 4 - l. Solve -6 = -n*u - 0*u for u.
2
Suppose -5*a + 6 + 4 = 0. Suppose -a*u = u. Solve 5*l + u*l = 0 for l.
0
Let d(v) = v**3 - 4*v**2 - 4*v + 4. Let q be d(5). Let o = q + -1. Let k be 2*(3/(-6) + 2). Solve -o = k*a + a for a.
-2
Let l = 3 - -4. Let h = l - 7. Suppose p + p = h. Solve p = -f + 2*f for f.
0
Let u be -3 - -4 - (1 + -3). Let l(d) = -u*d - 2*d**2 + d**2 + 0*d**2 + 2 - 4*d. Let t be l(-7). Solve t*y + 2 = 4 for y.
1
Let a = -87 + 87. Solve f - 5*f - 8 = a for f.
-2
Let d be ((-12)/8)/(2/(-4)). Let k = d - -1. Solve -2*n + n - k = 0 for n.
-4
Suppose -4*f = -3 - 5. Suppose 4*i = 55 - 51. Solve -i + 3 = f*l for l.
1
Suppose g - 4 = -5*s, -4*s + 8*s - 8 = -2*g. Solve -g*r - 9 = -r for r.
-3
Let r(y) = y. Let b be r(4). Solve 5 = -b*d + 1 for d.
-1
Suppose 0*j + 3*j = 6. Solve -j*u = -u + 4 for u.
-4
Let y = -4 + -1. Let w = 6 + y. Let c = 2 - w. Solve 4 = -n + c for n.
-3
Let w(b) = 4*b - 17. Let s be w(5). Suppose 6*d = 2*d + 12. Suppose 5*a - 75 = -5*z + 15, 3*z - 78 = d*a. Solve 5*r + z = -s for r.
-5
Suppose -5*j - 5 = 5*q, 10 = -3*q + q. Suppose 4*h = -4*f + 12, -2*h = -h + 2*f - 3. Let c = 6 - h. Solve c*g - 5*g = -j for g.
2
Suppose -22*c = -13*c. Solve 5*k = -c + 25 for k.
5
Suppose t = -5, 0 = 2*z - 0*z + 5*t + 19. Solve 3*d + 6 = -z for d.
-3
Let p be (-8)/12 - (-2)/3. Solve p = 3*g - g + 8 for g.
-4
Let p be (2/6)/((-5)/(-30)). Let l be (2/p - -1)/1. Solve l*v = -2*v for v.
0
Suppose -t = -5*t + 20. Solve -y = 4*y - t for y.
1
Let t(o) = o - 1. Let c be t(3). Let h = -2 + c. Let d(u) = -u**3 - 6*u**2 - 6*u. Let i be d(-5). Solve 0 = -j - h*j + i for j.
5
Let f = -36 - -46. Solve -2*q + f = 3*q for q.
2
Suppose 2*j + 4 = 10. Suppose -2*r = -6, -r = -5*m + 13 + 4. Solve -m = j*n - 2*n for n.
-4
Let f be 6*2/(-3) + 10. Solve 3*v + f = v for v.
-3
Let i(w) = w**3 + 9*w**2 + 7*w - 10. Let s be i(-8). Let x = s + 5. Solve -2*a + x*a = -4 for a.
-4
Let u = -12 - -32. Solve -9*i = -5*i - u for i.
5
Suppose 3*t + z + 0*z - 4 = 0, 5*t = 2*z - 8. Solve t = -6*r + 4*r - 2 for r.
-1
Suppose 8*y = 9*y - 18. Suppose -g + 5*v + y = 0, 4 = 4*g + 3*v + 1. Solve -5 - 4 = g*h for h.
-3
Let u(w) = 10*w**3 + w**2 + 2*w + 1. Let r be u(-1). Suppose 55 = -4*b - 1. Let i = r - b. Solve -i = t + 3*t for t.
-1
Let p(d) = -d - 9. Let q be p(-11). Solve q*i - 16 = 6*i for i.
-4
Suppose 3*r - 3 = u - 3*u, -u = r. Suppose r*d - 4*g + 1 = -4, 4*d + 3*g - 35 = 0. Let w be d/((-15)/(-12)) + -2. Solve 3*y - 20 = -w*y for y.
4
Let m be (-76)/(-18) - (-6)/(-27). Solve a = m*a - 12 for a.
4
Suppose x = 6*x - q - 21, 15 = -x + 5*q. Suppose -4*w + z = -6 - 6, x*w - 15 = z. Solve -w = 4*i + 1 for i.
-1
Let d be (-21 - (-3 - -1)) + 1. Let i = 26 + d. Solve -w + i = w for w.
4
Suppose 2 - 4 = 2*u. Let s = u - -1. Let q = 6 + -4. Solve 6*k - q*k + 16 = s for k.
-4
Suppose 3*x = -0*x + 36. Solve 3*i = -3 - x for i.
-5
Let k(m) = -2*m - 2. Let a be k(-6). Solve -a = 3*b + 5 for b.
-5
Let j be (6 + 3/3)/1. Let v = j + -1. Suppose -n + o + v = -3, 5*o = 0. Solve 6*m - 3*m = n for m.
3
Suppose 0 = p - 3, 0 = -2*w + p + 2 + 5. Suppose -3*q + 3*m - 15 = -3, -4 = -w*q - 3*m. Let c be 18/15 - q/(-5). Solve 3 = 4*v - c for v.
1
Let t(f) = -3*f**2 - 5*f - 2. Let z be t(-3). Let s be z/(-6) - (-3)/(-9). Let l be (-6)/(-4) + 2/(-4). Solve 0 = -s*p +