 Suppose i - 3 - 1 = x. Solve 0 = -2*z + i for z.
2
Let q = -49 - -49. Solve q = -k + 5*k + 12 for k.
-3
Let m(v) = -v**3 + 2*v**2 + 5*v - 3. Let n be m(3). Suppose 17*s - 10 = 19*s. Let t(l) = -l**2 - 5*l + 4. Let f be t(s). Solve -n*q = -q + f for q.
-2
Suppose -6*j - 72 = -3*j. Let q = 27 + j. Solve 0 = a - q - 2 for a.
5
Let a(j) = j**3 - 7*j**2 - 4*j - 7. Let k be a(8). Suppose 15 = 5*u - k. Solve -b - b - u = 0 for b.
-4
Suppose 5 = 5*f - 10. Suppose -c + 0 = -6. Solve -c = -f*d + 3 for d.
3
Let r = 11 + -9. Suppose 0 = -r*i - 2*i + 16. Solve o - 9 = i*o for o.
-3
Suppose -2*c = 2*p - 3*p + 10, -p + 4*c + 20 = 0. Solve p = t - 3*t - 2 for t.
-1
Suppose g - 6 = 2*v, -3*v - 9 = g + 4*g. Solve g = -3*b + 7 + 8 for b.
5
Suppose 2 = 5*h - 8. Suppose -h*r - 4*l = -18, -3*l + 0*l - 3 = -4*r. Solve r - 4 = y for y.
-1
Let o(v) = v + 2. Let c be o(-2). Solve 3*f - f = c for f.
0
Let t(i) = i**3 + 5*i**2 - 2*i - 4. Let d be t(-5). Solve -4*n + n = -d for n.
2
Let l be 2/(-4)*(-5 + 1). Let x(j) = -j**3 - 14*j**2 - 13*j + 2. Let s be x(-13). Solve 0 = l*m + s*m for m.
0
Let r = -87 - -98. Solve -3*m = -r - 1 for m.
4
Let m(q) = 4*q - 9. Let y be m(3). Solve y*b = 5*b + 8 for b.
-4
Let y(q) = -3*q - 1. Let t be y(-1). Suppose 3*j - 3*a = j + 23, j + t*a - 22 = 0. Solve j = 5*o - o for o.
4
Let f = 6 - 6. Suppose f = 4*r - 0*r. Solve k = -r*k + 5 for k.
5
Let l(s) = s - 20. Let x be l(15). Let t = -1 - x. Let n = 3 - 2. Solve n = 5*r - t for r.
1
Let c(t) = -t**2 + 5*t + 7. Let a be c(6). Let x be 0/(-4 + a - -5). Suppose -3*f - 2*w + 9 + 8 = x, 2*w - 22 = -4*f. Solve -f = 2*k - k for k.
-5
Let y(k) = k**3 + 4. Let m be y(0). Let j be (m/(-6))/((-1)/6). Solve j = 2*t - 4*t for t.
-2
Suppose 0 = -x - 2*x - 4*k + 20, 4 = 2*x - 2*k. Solve x*n - 5 + 1 = 0 for n.
1
Let k(h) = -h**2 - 9*h + 2. Let a(q) = -q**3 + q**2 + 3*q + 2. Let v be a(3). Let f be k(v). Solve f = -0*c - 4*c for c.
-4
Let a be ((-2)/7)/((-1)/7). Suppose -5*d = -a*d + 33. Let v = -8 - d. Solve -v*j + 19 - 4 = 0 for j.
5
Let o be ((-26)/39)/(2/3)*-4. Solve -o*r = -6*r for r.
0
Let t = -7 - -7. Suppose -2 = -2*a + v + v, -3*v + 1 = -a. Suppose -5*l - 4*u = -6, -2*u + 2 = a*l - 0*l. Solve -5*o - l - 3 = t for o.
-1
Let g(t) = 6*t + 2. Let z be g(3). Solve -z = -4*x - 0*x for x.
5
Suppose -14*p + 73 = -39. Solve p*m - 6*m + 10 = 0 for m.
-5
Let a be ((-4)/8)/(1/(-12)). Suppose 2*v - 18 = -a. Solve -3*w + 6 = -v for w.
4
Suppose -20 = -3*x + 5*x. Let d be 2/10 - 118/x. Solve 0 = t - 5*t + d for t.
3
Let k = 11 - 6. Solve -18 + 3 = -k*o for o.
3
Let m = 23 - 22. Solve 2 = -c + m for c.
-1
Suppose 0 = 2*d - 7*d + 20. Solve 2*a + 4 = -d for a.
-4
Suppose -2*z + 27 - 3 = 4*a, -2*z = -2*a. Let v = -2 - -5. Solve -7 = -a*q - v for q.
1
Let c = 21 - 10. Suppose -3*p = -n - 9, -2*p + 9 + c = 4*n. Solve n*z = -z for z.
0
Let s = -10 + -1. Let l = -7 - s. Solve t - 3*t - l = 0 for t.
-2
Suppose -p - 2*i + 17 = 3*i, 0 = -2*i + 2. Solve -n - p = 2*n for n.
-4
Let m be -18 - 0/(4/(-2)). Let l be (-1)/(((-21)/m)/(-7)). Solve -2*g + l*g = -8 for g.
-2
Let a(h) = 3*h + 5. Let q be a(0). Solve t = -1 + q for t.
4
Suppose 15 = -0*c + 3*c. Solve 0 = x - c*x + 16 for x.
4
Suppose h - 2*h = -5*d + 5, 5*d = 20. Solve -6*s = -11*s - h for s.
-3
Suppose 0 = -2*i - 1 + 5. Let x be 93 - 2*(1 + -2). Suppose q - 3*m - 35 = 0, -m + x = i*q + 3*q. Solve 3*w = 7*w - q for w.
5
Suppose -2*y + 5*x + 15 = 0, 4*y - 6*y + 3 = -x. Suppose -3*n - 14 = -n + 4*l, y = -5*n - 2*l + 5. Let o be 0*(-3)/3*(-2 - -1). Solve -2*k + 9 - n = o for k.
3
Let i be (-6 - -2) + 8/(0 - -2). Solve 0*z - 3*z = i for z.
0
Let z(d) = 3*d**2 - 4*d + 2. Let j be z(2). Solve -3*b = -j - 9 for b.
5
Let r(h) = -h - 1. Let s be r(-5). Solve s*u - 3*u = -4 for u.
-4
Suppose 210 = -4*f + 9*f. Let c be (-18)/f - 90/(-14). Solve c*v + 4 = 2*v for v.
-1
Let u(k) = -1 + 2*k**2 - 3 - 3*k**2 + 10*k. Let g be u(9). Suppose 7*h - 2*h = g. Solve -4*w = h - 5 for w.
1
Suppose 5 + 11 = b. Let r be 1/4 + 156/b. Suppose -5*z + 3*d + 15 = -2*z, -r = -3*z + 2*d. Solve 0 = -2*m - 6 - z for m.
-3
Let d = 3 - -1. Suppose -5 = -5*x - a, d*a + 5 - 1 = 4*x. Solve j - x = 4 for j.
5
Suppose -3*y = -5 - 37. Suppose 0 = 4*x - 11*x + y. Solve -3*c = x*c + 25 for c.
-5
Let v be 0/(1/((-4)/(-8))). Solve 0 = -k - v - 3 for k.
-3
Suppose 2*c + 5*g = 38, -g - 20 = -3*c + 37. Solve -5*x + 6 = -c for x.
5
Suppose 1 - 5 = x. Let q be (x + 60/16)*-20. Solve q*n + 9 + 1 = 0 for n.
-2
Suppose -3*r + 0 + 3 = 0. Suppose 0*v + 5*v = 3*n + 16, 2*v - 3*n - r = 0. Solve v*w - 12 = -2 for w.
2
Let u be (0*(-3)/(-12))/(-1). Solve 2*d - 10 + 0 = u for d.
5
Let m be 3 + 0*(-3)/(-9). Suppose m*g - 4*g + 5 = 0. Let d = g - 5. Solve -c - c + 10 = d for c.
5
Let c be 9*-1*14/6. Let a = c - -25. Solve 0 = -p - a*p + 10 for p.
2
Let j = 81 + -78. Solve -2*s = j*s for s.
0
Let i be (-132)/(-21) + (-6)/21. Solve -3*l + 0 + i = 0 for l.
2
Let m be 0 + ((-66)/2)/(-3). Let p = -1 - -5. Solve 0 = -p*s + m + 5 for s.
4
Let y be 1*((1 - -5) + -1). Suppose -3*b = -y*h - 7*b + 8, -3*h + 5*b = 10. Suppose 3*v - 12 = -3. Solve h*q - v*q = -3 for q.
1
Let m(n) be the second derivative of -7/2*n**2 + 0 + n + 4/3*n**3 - 1/12*n**4. Let h be m(6). Solve -4*a + h = -7 for a.
3
Let n = -8 - -1. Let c = -3 - n. Solve c*u + 6 + 6 = 0 for u.
-3
Let s(t) = t + 27. Let w be s(-23). Solve -w = 3*x + x for x.
-1
Let i = 24 + -23. Let h(y) = 3*y**3 - 2*y**2 + 2*y - 1. Let p be h(i). Solve b - p*b - 4 = 0 for b.
-4
Suppose 0 = 2*q - 2 - 8. Solve 3*p + 10 = q*p for p.
5
Let v = 13 + -9. Let a = 16 - 9. Solve -a = v*s + 1 for s.
-2
Let a be 2*(-2 - -1)*3. Let d = a + 6. Solve 4 = -d*n + 4*n for n.
1
Suppose 2*i - z - 18 = -5*z, 5*i - 5*z = 105. Solve -i = 5*w - 2 for w.
-3
Suppose 2*u = 4*v - 2, -5*v = -4*u + u - 1. Let y be (2/(-3))/((-2)/21). Let z be y - 6/9*-3. Solve -v*s - z = s for s.
-3
Let p = -16 + 21. Suppose 0 = f - 1 - p. Solve 4*t = t + f for t.
2
Let u = -1 - 0. Let c = u - -2. Let i(f) = f**2 + 5*f - 4. Let q be i(1). Solve q*r + c = -7 for r.
-4
Suppose 22 = 2*t + 2*t - 2*p, 4*p = -4. Let q = t + -2. Suppose -q*r + 14 = 2. Solve 10 = -r*u - 2 for u.
-3
Suppose 0 = -0*y - 2*y + 2*z - 8, -3*z + 12 = 5*y. Suppose 4*w = 9*d - 13*d + 16, -2*d = -2*w + 8. Solve y = v + w*v for v.
0
Suppose 0*o - 3*o = -5*u - 25, -3*o + 3*u + 21 = 0. Solve 2 - o = -d for d.
3
Suppose -3*d + 7 = 7. Solve r + r = d for r.
0
Let y = 9 - 6. Solve 2 = 5*f - y for f.
1
Let b(d) = -d - 4. Let z be b(-12). Solve -8*j + z = -4*j for j.
2
Suppose 4*v = 3*b - 8 - 45, -3*v - 15 = 0. Suppose -1 = -3*y + b. Let z be 19 + (3 - 6) + y. Solve 8*o - 3*o = -z for o.
-4
Let d(z) = 3*z - 6. Suppose o = -3*l + 2 + 1, 4*o + 3*l - 21 = 0. Let c be d(o). Solve 0*s - c = 3*s for s.
-4
Let k = -17 + 18. Solve -d - k = -2 for d.
1
Suppose -7*b + r = -3*b - 26, 5*r = 10. Suppose 8 + b = y. Solve 5 = 2*p + y for p.
-5
Suppose 4 = -19*p + 21*p. Solve -2*o + 20 = p*o for o.
5
Suppose 5*d - 13 = -4*j, -4*j = 3*d - 3*j - 12. Solve 2*p - d*p + 12 = 0 for p.
4
Let h be ((-3)/4)/((-24)/64). Solve -h*q = -4*q + 8 for q.
4
Let m(d) = -2*d**2 + 22*d - 7. Let n be m(10). Solve 3*b = 2 + n for b.
5
Let u be (-6)/9 + 10/6. Let l = 45 + -41. Solve -u - l = j for j.
-5
Let b be (-2)/7 + 52/(-14). Let q(n) = -1 + 2*n + 0*n + 0*n**2 + n**2. Let w be q(b). Solve w*l - 3*l + 20 = 0 for l.
-5
Let v be (-2)/6 + 205/(-15). Let a = -12 - v. Solve a*t - 5 + 1 = 0 for t.
2
Suppose -2*k + 9 = k. Let s be -3*(4 - 5) + -3. Solve -7*c + k*c - 8 = s for c.
-2
Suppose q + i = -5 + 2, 0 = -4*q - i - 9. Let u be 3 - q*(-4)/(-8). Let z = 1 + -1. Solve -f - u*f - 10 = z for f.
-2
Let q = 40 - 38. Solve 0 = -5*z - 12 + q for z.
-2
Suppose 0 = 6*l - 7*l + 3. Solve -5 = -2*n + l for n.
4
Let v be (-1 + 3)/((-6)/(-15)). Let y(d) = -d**3 + 6*d**2 + 8*d - 7. Let r be y(7). Suppose r*c + c = s - 2, -10 = -2*s - 4*c. Solve s*i = v*i + 6 for i.
-3
Let x be 3/12 - 39/(-4). Let q = 6 - 4. Solve q*m - x = 4*m for m.
-5
Let p(k) = -k**2 + 6*k - 4. Let q be p(5). Solve -4*j - q = -5 for j.
1
Let i(m) = -m**3 - 8*m**2 - 2*m + 3. Let y(p) = -p**3 - 7*p**2 - 2*p + 3. Let a(l) = 3*i(l) - 4*y(l). Let o be a(-3). Solve o - 5 = k for k.
-5
Suppose -u - 3 + 9 = 0. Let b(j) = 5*j - 3*j**3 + 3*j**3 + 0*j + j**3 - u*j**2. Let s be 