olve -i - n*i - 6 = 0 for i.
-2
Let f be (-4)/(-26) + (-304)/(-52). Suppose 4*u + f = x + 58, -2*u + 32 = x. Solve -1 = -3*r + u for r.
5
Let z(v) = v + 3. Let k be z(-3). Solve -u + 0 - 3 = k for u.
-3
Let z be (-4 - -2 - -2) + 3. Solve z*s + 14 = 2 for s.
-4
Suppose 4*d = 8, 2*i + 2*d - 12 = 10. Suppose 3*g + p = i, -g + 3*g - 2*p - 14 = 0. Solve -g = -4*t + 4 for t.
2
Suppose 4*i - 2*k - 30 = 0, 3*i - 3*k - 19 - 2 = 0. Suppose -2*m - 14 = -2*l, -3*l - 5*m = l + i. Solve 5*z - l = 2 for z.
1
Let l be ((-282)/9)/((-2)/3). Let d = l + -31. Solve j = -3*j + d for j.
4
Let p be (-4)/(-26) + (-3)/(117/6). Solve p = -d + 4*d for d.
0
Let k(n) = -n - 4. Let v be k(6). Let a = 2 + 8. Let l be (-4)/v + 16/a. Solve l*j + 16 = 6*j for j.
4
Let s = -14 - -25. Suppose -s*x = -6*x. Solve -6 = -x*u - 3*u for u.
2
Let x = 3 + -1. Suppose -x*q + 15 = q. Solve q = w + 1 for w.
4
Suppose 4*u = i + u - 10, 4*i + 3*u = 10. Solve 2*z + i = -4 for z.
-4
Suppose 5*k + 4 = -3*d, -4*k = 3*d - d + 2. Solve 0 = i + k for i.
-1
Let i = 17 + -31. Let q = 17 + i. Solve 4*z - q = 9 for z.
3
Let c(q) = q**3 - 3*q**2 - 6*q + 11. Let g be c(4). Solve -w = -g - 0 for w.
3
Let x be (225/(-30))/((-2)/4). Solve 0 = d - 6*d - x for d.
-3
Suppose 9 + 33 = 3*h. Let j = 20 - h. Solve -j*v - 12 = -2*v for v.
-3
Suppose -k + 5*k = 0. Solve 0 = 4*r - k*r - 20 for r.
5
Suppose -4 = 4*n - 16. Let q be 1 + -3 + (-6)/(-1). Suppose q*r = 6 + 6. Solve n*y + 6 = -r for y.
-3
Suppose -7*b + 3*b = -0*b. Solve 0*z - 4*z = b for z.
0
Let d = 15 + -10. Suppose x - d*x = -8. Suppose 2*h = 2*o - 14, 4*h + h = -x*o. Solve -25 = o*t - 5 for t.
-4
Suppose -3*l + 2*p = -6*l + 20, 2*l - 3*p + 4 = 0. Solve -n = n + l for n.
-2
Suppose l + 3*j = -0*l + 15, l = 5*j - 25. Solve l*s + 15 = 3*s for s.
5
Let f = -5 - -8. Suppose -f*i = 3*l - 15, 5*i + l - 25 = 2*l. Solve -w = -i*w for w.
0
Suppose -12 = -0*w + 2*w. Let n be ((-18)/w)/(3/2). Solve 0 = n*i - 12 + 2 for i.
5
Suppose 0 = 5*c + 15, -3*o - 5*c + 2*c = 9. Let h be 38/14 - (-2)/7. Solve -h*s + 6*s - 12 = o for s.
4
Let x = 3 + -2. Suppose 3*p - 14 = -5*w, p + 2*w = 4 + x. Let k be -1*1 - (-6 + 1). Solve k*q - p*q + 5 = 0 for q.
-5
Suppose 4*u - 6*u = -50. Suppose 4*n = -4*g, 3*g + u = -2*g. Let q(m) = m**2 - 2*m - 5. Let o be q(n). Solve 3*a = a + o for a.
5
Let f = 33 - 24. Solve f = -2*d + 1 for d.
-4
Suppose -7 = 7*y - 70. Suppose 2*l - y*l + 28 = 0. Solve l*u + 4 = -8 for u.
-3
Suppose -3*m - 5 = -4*m. Suppose -m*i = -0*i. Solve 2*g = -i - 4 for g.
-2
Let t(c) = -c + 5. Let s be t(0). Let f be (2 - 1)*(s + -3). Solve 1 + 7 = -f*j for j.
-4
Let y = -35 - -41. Solve -y = -3*j + 9 for j.
5
Suppose -4*r = -b, 2*b = -r - 6 - 3. Let t be 6/(-6)*(0 + b). Solve 4*f + 20 = t for f.
-4
Let n = 7 - 5. Suppose -1 = k - n. Let x be 1*(k + -2)/(-1). Solve 0 = 2*c + x - 7 for c.
3
Let n be -7 + 3 + 7 + -3. Solve 0 = z - n*z - 1 for z.
1
Let i(o) = o**3 - 6*o**2 + 6*o. Let b be i(5). Solve -b*w = -w + 16 for w.
-4
Let a = -29 + 17. Let q be 1/6 - 34/a. Solve q*x = 2 + 10 for x.
4
Let r = 1 - -2. Suppose v = r*j - 2, 0*j - 4*j = -4*v + 8. Suppose -1 = j*s - 3. Solve -6 = q - s for q.
-5
Let v be 0 + -2 - (-4 - 2). Suppose -s - 16 = -2*s. Suppose -2*h - 5*k + k + 8 = 0, 0 = 2*h - 4*k - s. Solve -6 - h = -v*q for q.
3
Let x = -1 - -5. Suppose -4*q + q = -x*n - 20, 4*q + 5*n - 37 = 0. Let k = -68 + 68. Solve 3*r - q*r - 10 = k for r.
-2
Let i be 48/9 + 3/(-9). Solve -3*x = -i*x for x.
0
Suppose -4*c = 2*h - 0*h - 14, 3 = 3*h - 3*c. Solve 2*j + h*j - 20 = 0 for j.
4
Suppose -u + 1 - 2 = -2*r, u - 1 = r. Let p = -1 + u. Let f be (p - 1)/(2/10). Solve f*a = a for a.
0
Let t(n) = -2*n - 11. Let l be t(-8). Let q be (-432)/(-10) - 1/l. Suppose -3*y - 6 = j - q, 2*j + 10 = 0. Solve 0 = 5*f - y + 4 for f.
2
Suppose 2*d + 2*d = 24. Suppose 0 = 5*n - 9 - d. Let s = -22 + 34. Solve 3 = n*a + s for a.
-3
Suppose 8*d - 16 = 16. Solve d*l - 15 = l for l.
5
Suppose 0*t + 37 = -5*j - 4*t, 0 = -5*j + t - 47. Let c(h) be the third derivative of h**4/24 + 11*h**3/6 + h**2. Let x be c(j). Solve o = -x*o for o.
0
Suppose -5*q = -q. Let t(i) = -i**3 + 4*i**2 - i - 2. Let x be t(3). Suppose x*v = 3*c + 14, c + 2 = -v + 9. Solve -b + q - c = 0 for b.
-2
Let l = -3 - -8. Suppose -2 = 4*j - l*k, -k = -3*j - 3*k + 10. Solve z = -j + 3 for z.
1
Let q = 24 - 4. Suppose 4*c + q = 2*r + c, 2*r + 3*c = -4. Solve b + b - r = 0 for b.
2
Let x be (-2)/10 - 16/(-5). Let q be 10/x - (-4)/6. Suppose -2*f - 5*l = 10, -3*l + l - q = -5*f. Solve 2 = -b - f for b.
-2
Let c(l) = -l**2 - 5*l + 1. Let x be c(-4). Let i be (2 - (x - 0)) + 5. Solve 4*q - i*q = 6 for q.
3
Let n be 5 - (-2 + -2 + 8). Solve -c + 0 - n = 0 for c.
-1
Let p(f) = f**3 - 5*f**2 + 4*f - 2. Let r be p(3). Let o = r - -8. Solve -4*a + 17 - 1 = o for a.
4
Let c(j) = j**2 - j + 2. Let g be c(0). Suppose 3*r + 2*r = 25. Solve g*i + 5 = -r for i.
-5
Let i be ((-3)/4)/(1/(-4)). Solve -i*t + 8 = -t for t.
4
Suppose 4*t + 4*m - 1 = 3, 5*t - 25 = 5*m. Let f be 8/t - 12/18. Solve -2*d + 8 = -f for d.
5
Suppose 2*z + 3*z = 20. Suppose 5*s - z = -4*n, -4*s + 5*n = s + 5. Solve 2*i + 1 + 1 = s for i.
-1
Suppose 5*p - 15 = c - 4*c, 12 = 4*p - 2*c. Suppose 5*y + 2 = 4*k, -y + p*k - 7 + 0 = 0. Solve -y*r + 4 = -4 for r.
4
Let d(r) = r**3 - 5*r**2 + 2*r - 8. Let k be d(5). Solve -k*v + 12 = 2 for v.
5
Let q be 12/30 + (0 - 4/10). Solve 3*i = -q + 12 for i.
4
Let m = -4 - -6. Let p(h) = -h**3 + 3*h**2 + 1. Let v be p(3). Solve -m*q = -1 - v for q.
1
Suppose 5 = 3*t - u, -u + 15 = 2*t + 5. Solve -6 = 3*p + t for p.
-3
Suppose 0 = -4*q - 38 + 102. Solve 4*p - 4 = q for p.
5
Let g = 27 - 25. Solve -1 - g = -3*v for v.
1
Let f be (-4)/12*(-101 + -1). Suppose -q = -2, 3*p + 9 - f = -2*q. Suppose 3*x = p + 5. Solve -x*n = n for n.
0
Suppose -5*p - 1 = 2*u, 4*u - 7 = -0*p - p. Let b be (-1)/3 - 125/(-15). Suppose b = 5*i - 3*k, 2*i - 3*k + 8 = i. Solve 0 = i*r - u - 2 for r.
1
Suppose 5*q = -2*i - 2*i + 18, 0 = 4*q + 3*i - 14. Let r be (-2)/8 + 218/8. Solve 5*s + r = q for s.
-5
Suppose -28 = -4*l + 4*s, 2*s + 3 = 4*l + 3*s. Suppose -w = -l*b - b + 12, -b + 11 = 2*w. Solve -w*g + 4*g + 4 = 0 for g.
-4
Suppose 0 = -3*j - 3*v - 9, -3*j - 3*v = -v + 5. Let h = 14 + -10. Let q(g) = g**3 - 5*g**2 + 7*g - 5. Let p be q(h). Solve 2*k = j + p for k.
4
Suppose 3*x - 6 = 3. Let p be (1 - 0)*2/(-2). Let t = 2 + p. Solve -x*o = -11 - t for o.
4
Let a be -3 + 4 + -3 - -5. Let d = -1 + a. Solve -d*z + 4 = 2 for z.
1
Let q be 4*(3 + 21/(-6)). Let y be (q/(-6))/(5/90). Solve 3*s - 3 = y for s.
3
Let q(s) = -s**2 + 10*s - 8. Let r(h) = 9*h. Let a be r(1). Let l be q(a). Solve -2*y + 3 - l = 0 for y.
1
Let l be 6/(-9) - 14/(-3). Suppose -l*p = -9*p + 15. Solve 4*z = p*z for z.
0
Let j be 25/(-10)*16/(-20). Solve j*v + 0 = -8 for v.
-4
Suppose 2*z = 13*z - 44. Solve -1 = -x - z for x.
-3
Suppose 0 = 2*l - 4*v - 5 + 1, -4*v = -3*l + 6. Suppose -3*f = -l*f + 5. Let h be f/5*-5*1. Solve -4*d + h = -3 for d.
2
Suppose 0 = 2*j + 5*n - 70, 0*n + 2*n = 0. Let h be (2 + -1)/(7/j). Solve 0 = -h*f + 3*f - 8 for f.
-4
Suppose -h = -3 - 0. Solve 1 = n + h for n.
-2
Suppose 2*s = 6*s - 48. Let u = -10 + s. Solve -2 = u*z - 10 for z.
4
Let j be -3*((0 - 2) + 1). Solve j*s + 12 = -s for s.
-3
Let g be (-4)/(-8)*(-1 - 3). Let j(o) = -o**2 + 2. Let b be j(g). Let t be 1 + 0 + (-4)/b. Solve 8*p = t*p - 15 for p.
-3
Let y be (-136)/(-36) - 4/(-18). Suppose -y*g = -0*g - 4. Solve -n - g + 3 = 0 for n.
2
Let t = -27 + 35. Solve t*z = 4*z + 16 for z.
4
Let f = 3 - -1. Suppose -6*a = -f*a - 16. Solve -3*i = -a*i - 25 for i.
-5
Let r be 5/3 - (4/6 - 1). Solve 0 = r*z - 6 - 4 for z.
5
Let n(p) = -p + 5. Let d(a) = 3*a - 16. Let q(b) = -2*d(b) - 7*n(b). Let h be q(3). Solve h = -i - i for i.
0
Let n = 6 - 4. Let v = 12 - 12. Solve v = -n*t + 3*t + 5 for t.
-5
Let i = 32 - 25. Solve -i = 5*z + 3 for z.
-2
Let k(d) = -5*d**3 - d**2 + 1. Let f be 1*15*(-3)/(-9). Suppose -10 = 3*s + 4*v + 1, 4*s + 14 = -f*v. Let i be k(s). Solve 0 = x - i*x for x.
0
Suppose -4*n + r = 6*r + 13, -32 = -4*n + 4*r. Suppose 5*o - 104 = -2*i + 9, 3*i - 4*o - 112 = 0. Let j = i + -24. Solve -2*b - n*b = j for b.
-4
Let b(m) = m**2 - m. Let f be b(-1). Solve -f*j + 5 + 5 = 0 for j.
5
Suppose 0 = -5*r + 8*r - 6. Solve -r*z = -z - 2 