1. Let b(n) = -3*v(n) + z(n). Let o be b(i). Solve -x + o*x = 0 for x.
0
Let h(u) = -u**2 - 5*u + 6. Let q be h(-6). Let y(g) = g**3 + 4*g**2 - 7*g - 4. Let i be y(-5). Suppose -6*x = -3*x - i. Solve q = x*d + d for d.
0
Let j(a) = -a**3 - 6*a**2 + 6*a - 7. Let m be j(-7). Suppose m = 4*y - 4*z - 4, 6*z - 23 = -2*y + z. Solve 0 = -3*b + y*b - 2 for b.
2
Suppose 5*o - 15 = -0*o. Solve 2 + o = -q for q.
-5
Suppose -7 = -2*z + 5. Suppose 11 = 2*g - 3*s - 2*s, 18 = 5*g - 3*s. Solve -g*o - 9 = -z*o for o.
3
Let h = 7 - 4. Solve 0*z - h*z = 9 for z.
-3
Let h(t) = 7*t + 7. Let k(p) = 8*p + 8. Let w(z) = 7*h(z) - 6*k(z). Let g be w(0). Let q = 56 + -51. Solve -g = q*j + 19 for j.
-4
Suppose 0 = -7*a + 6*a. Suppose 4*u = 3*b + 4 + 5, 2*u - 3*b + 3 = a. Solve -2*f - u = f for f.
-2
Suppose -2*k - 3*c = -13, 0*k + 3*c + 12 = 3*k. Suppose q - k*q = 12. Let j be (1/q)/(2/(-12)). Solve j*w - 15 = -3*w for w.
3
Suppose 1 = 3*w - f + 4, -2*w - 5*f = -15. Solve w = k - 0*k for k.
0
Let d(g) be the first derivative of g**3/3 - 3*g**2/2 - 2*g - 8. Let m be 2/((-1)/(-1)) + 2. Let x be d(m). Solve x*o - 6 = -o for o.
2
Suppose 0 = -4*r + r + 9. Suppose s + 0 = r. Let x = 6 - s. Solve n + 2 = -x for n.
-5
Suppose 0*c - c - 8 = 0. Let y = -6 - c. Solve y*l = -2*l + 16 for l.
4
Suppose i + 3 - 19 = 0. Solve 0 = 2*o + 2*o + i for o.
-4
Let z = -3 - 0. Let n = z - -3. Suppose n*s = 3*s - 6. Solve s*r = -0 - 6 for r.
-3
Suppose -16 = 5*u - 56. Let l(x) = -2*x + 2. Let z be l(-6). Suppose 0 = -4*o + z - 2. Solve -5*b + o*b - u = 0 for b.
-4
Let p be (16/14)/((-6)/(-21)). Solve p + 2 = 2*k for k.
3
Let y(z) = -z + 6. Let n be y(6). Suppose n*h = -h + 15. Solve 2*u + u + h = 0 for u.
-5
Suppose -3*a + 3 = -3. Solve q - 2*q = a for q.
-2
Let i be 3 - ((4 - 0) + -5). Solve -v = i*v for v.
0
Let c(l) = -2*l + 17. Let q be c(6). Solve 0 = h - 1 + q for h.
-4
Suppose -3*g + 6*g + 3 = 2*x, -2*x + 2*g = -4. Solve -4*j = -x*j for j.
0
Let h(l) = 2*l**2 - 2*l - 1. Let i be h(4). Let t be (2 + -3)/((-1)/(-5)). Let f = t - -8. Solve 4*q + i = f for q.
-5
Suppose 180*g = 178*g + 6. Solve 4*q - g - 13 = 0 for q.
4
Suppose -27 - 33 = -3*d. Suppose 5*w = -d, -f - 102 = -3*f + 2*w. Let y be f/5 - (-2)/(-5). Solve -1 + y = 2*n for n.
4
Let l(w) = w**3 + w**2 - w. Suppose 4*m + 2*y + 8 + 0 = 0, 0 = 4*m - 4*y - 4. Let q be l(m). Solve 2*o - q - 9 = 0 for o.
5
Let q = 44 - 40. Solve -3*t + q = 13 for t.
-3
Suppose -5*l + 16 = 1. Suppose 0 = 2*z - l*z. Suppose -5*a + 34 = 14. Solve z = -a*g + 2*g - 2 for g.
-1
Suppose -q = -3*i - 2, -i - 4*q + 5 + 3 = 0. Let l = 10 - i. Solve -l - 5 = 5*g for g.
-3
Let y(l) = -4*l + 3. Let n(u) = u - 1. Let c(v) = -3*n(v) - y(v). Let k be c(0). Solve 0 = -k*t + 5*t - 25 for t.
5
Suppose -d + 4 = 5*p - 9, -p + 5*d = -13. Solve -6 = p*m - 0*m for m.
-2
Let l = 1 - -7. Solve q + l = -q for q.
-4
Let v = 1 - -1. Solve 3 = v*q - 3*q for q.
-3
Let h = 16 + 9. Suppose h = 6*f - f. Solve 0 = 2*d - 7*d + f for d.
1
Let t be 0/((3 - 1) + -3). Solve -2*j = -t*j + 2 for j.
-1
Let o = 25 - 18. Let j(p) = -p**2 + 7*p + 4. Let w be j(o). Suppose 0*v + 2*v = w. Solve 0 = v*b + b - 15 for b.
5
Suppose 0*s - 3*s = 2*u - 4, 0 = 5*s + 20. Solve -5*g = -3*g - u for g.
4
Suppose 0 = -t + 6*t - 210. Suppose 4*c - t = 6. Solve -4*d - 4 = c for d.
-4
Let y be (54/(-2))/(-4 + 5). Let z = 42 + y. Solve -d = -4*d - z for d.
-5
Let c be ((-9)/(-6))/(5*3/50). Solve -c*f + 23 = 3 for f.
4
Suppose t = 0, -4 = -d - 3*t - 2*t. Suppose 3*a = -0*a + 24. Solve -2*w = -d*w + a for w.
4
Let z(r) = r**2 - 5*r - 2. Let t be z(6). Solve t*p - 9 = p for p.
3
Let h = 28 - 28. Solve -3*o + 2*o - 1 = h for o.
-1
Let o(g) = 4*g + 3. Let k be o(-2). Let j = k + 1. Let b = 1 - j. Solve 2*d + 15 = b*d for d.
5
Let h be (-3 - -3)/(-2 + 3). Solve -5*k = -h*k for k.
0
Suppose 0 = 3*j + 5*h - 55, -4*h + 9 = 3*j - 44. Let u = j - 11. Solve -11 = 5*r + u for r.
-3
Let a = 3 - 9. Let m = a + 13. Suppose -2*s + 19 = -2*d + 3*s, -3*d + 5*s - 16 = 0. Solve -m + d = -4*f for f.
1
Let y(j) = j**2 + 1. Suppose 5*l - 25 = -5. Suppose -4*w = -l, -4*w + 12 = 5*b - 2*w. Let f be y(b). Solve 0*z = z + f for z.
-5
Let z be (-4)/(-3)*(-27)/9. Let v = 9 + z. Solve 0 = 3*x + 2 - v for x.
1
Let a be ((-2)/(-4))/((-2)/(-8)). Let t(b) = -2 + 5*b**2 + 2*b**2 - 3*b**a + b**3 + 2*b. Let n be t(-2). Solve 4 = -0*s - n*s for s.
-2
Suppose o + 0*o - 2 = 0. Solve 1 = o*k - 3 for k.
2
Let z = -4 + 10. Suppose -2*w - z = -3*b, -2*w + 3*b = -3*w + 6. Solve w = -2*n - n + 15 for n.
5
Suppose -7 = -11*n + 4*n. Solve -i = 1 + n for i.
-2
Let w(u) = -u - 7. Let k be w(-13). Solve -k = -5*h + 19 for h.
5
Let s = -2 + 4. Solve s*a = 4*a for a.
0
Suppose 0 = 4*a - 4*v - 24, 22 = 3*a + a - 2*v. Solve -a*h = -2 - 3 for h.
1
Let d = 16 + -16. Solve -3*r - 2*r - 10 = d for r.
-2
Suppose -3*c + 0*c - 27 = 0. Let l = -8 - c. Solve -h = l - 2 for h.
1
Let x be (-16 - -1)/(-3) + -1. Suppose -x*t = 1 + 15. Let n = 6 + t. Solve -1 = -n*i - 7 for i.
-3
Let c be (-100)/(-8) + (-5)/10. Solve x = -3*x + c for x.
3
Let n(b) = b**2 - 3*b + 2. Let t(d) = -d**2 - 7*d + 4. Let v be t(-7). Let m be n(v). Suppose -3*i = -h, m = 4*h + i - 59. Solve -2*c = -5*c + h for c.
5
Let t(m) = 2*m + 2. Let g be t(-1). Suppose 2*j - 7 + 1 = g. Solve -j*y + y = -10 for y.
5
Let q = 5 - 4. Let z(r) = 21*r**3 - 1. Let h be z(q). Solve -3*g = g - h for g.
5
Suppose 0 = 3*f - 8 - 4. Suppose -f*y + 8 - 4 = 0. Solve -7 - y = 4*t for t.
-2
Let f(d) be the third derivative of -d**6/120 - d**5/10 - d**4/12 - 11*d**3/6 + 4*d**2. Let g be f(-6). Solve g = -3*i - 11 for i.
-4
Let a(c) be the first derivative of 4*c**3/3 + 1. Let n be a(1). Solve n*i = -i for i.
0
Suppose 2*c - 4*c = -p - 35, 0 = -c + 3*p + 30. Solve 0 = 4*y + y - c for y.
3
Suppose -3*n + 4*z = -0*z - 13, 3*n + 2*z - 7 = 0. Suppose -6*t + n*t = -75. Suppose b + 3*d - t = 0, -5*d - 4 = 11. Solve -5*k + 9 = b for k.
-5
Let a(d) = 4*d - 1. Let s be a(1). Solve -3*l = -s + 15 for l.
-4
Let p = -4 - -4. Suppose 2*q - 30 = -4*k, -4*q + p*k + 73 = -5*k. Let x = 7 - 2. Solve -q = x*f + 3 for f.
-4
Let n(z) = z**2 - z + 2. Let r be n(0). Solve -r*o + 6 = -0*o for o.
3
Let n(g) = 2*g**2 + 6*g. Let d be n(-4). Suppose 0*v + 3 = v. Suppose -4*x + 11 = v. Solve 0 = -4*s + x*s - d for s.
-4
Suppose 3*a + 2*l + 7 = -17, 5*a - l = -53. Let y be (18/30)/((-2)/a). Solve 0*r - y*r - 3 = 0 for r.
-1
Suppose -43 = -2*n + 3*w, -39 = -n - 2*n - 4*w. Suppose 15 = 8*z - 3*z. Solve -2 = z*c - n for c.
5
Let u be 19/(-7) + 4/(-14). Let b be 8/36 + 25/9. Let c be 1/u - (-1)/b. Solve c*g - 9 = 3*g for g.
-3
Let a(r) = r + 6. Let f be a(-3). Let p = -7 + 16. Suppose -6*v + 3*v = -p. Solve -v*s + 0 = f for s.
-1
Let q(r) = -r**2 - 3*r + 1. Let w be q(-2). Suppose 0 = 4*b - 4*d - 4, -4*b - 3*d = -3 - 1. Solve 4 - b = w*p for p.
1
Suppose -3*j = -3*h - 9, -j = 3*h - 2*j - 1. Suppose r - h = 5*q - 73, 10 = 2*q - 5*r. Solve q = -6*m + m for m.
-3
Let n be (9 - 12) + 3/(1 - 0). Solve n = -2*p + 7*p for p.
0
Let q(u) be the first derivative of u**2/2 - 4*u - 2. Let f be q(8). Let o(r) = -r**2 + 5*r + 6. Let n be o(6). Solve f*s + 3 + 17 = n for s.
-5
Suppose -4*g + 35 = 3*w, 0*w + g = w. Solve 0 = -w*v - 2 - 3 for v.
-1
Let r be (2 - 0)*1/2. Let c = r + 2. Let v be (1 + -2)/(-3)*6. Solve 5 = -v*g - c for g.
-4
Let y = 1 + 0. Let p be y/((2 - 0)/4). Suppose -2*d = -4*k - 20, -6*k = -k - 25. Solve -p*a + d = 2*a for a.
5
Suppose 11 = 5*n - 4. Solve 2*g = n*g for g.
0
Let h(b) = b + 6. Let r be h(-3). Let x = 2 + -3. Let i be -1*-1*(r + x). Solve -i*n = 8 - 2 for n.
-3
Suppose -5*c = -10*c. Let a be c + -1 - 9*-1. Solve 0 = -5*m + m - a for m.
-2
Let q be (2/((-12)/(-30)))/1. Solve q*m = 4*m - 2 for m.
-2
Suppose 2*v - t + 5 = 0, -3*t = -3*v + 2*v - 15. Solve -a - a = v for a.
0
Let d(q) = -q**3 - q. Let j be d(0). Suppose p + 0*p = j. Solve p = -k - 0*k - 3 for k.
-3
Let w(j) = 2*j**2 + 2. Let y be w(-5). Let i = y - 37. Solve -i = -0*q + 3*q for q.
-5
Let n = 11 - 7. Let m = -4 + n. Suppose 0 = -m*i - 2*i. Solve i*g = 5*g for g.
0
Suppose 15*u + 15 = 16*u. Solve 0 = 4*x - x - u for x.
5
Let n be (1*2 - 14/7)/1. Solve n = -2*s + 3 + 3 for s.
3
Let t be 0*-3*3/18*1. Solve t = -0*h + h for h.
0
Let v(u) = 12*u - 2. Let j be v(1). Suppose 0 = -s + j + 2. Solve s = 