- 0*v - v - 3, 0 = 3*g + 4*v + 12. Solve -2*b + 0 + 4 = g for b.
2
Suppose -2*p - 2*a = -0*a + 10, -4*a = -p - 5. Let g = -3 - p. Solve 3*t = -5 + g for t.
-1
Let w = -21 - -33. Let b be (30/w)/((-10)/(-8)). Solve 4*h - b*h = -6 for h.
-3
Suppose -f + 0*j + 3*j = -8, 0 = -5*f - j + 24. Solve 2*m + 1 - f = 0 for m.
2
Let b = 193 - 193. Solve -3*n + b*n = 0 for n.
0
Let v be 29/9 - 8/36. Suppose -5*z = -2*p - 6, -v*p + 3 + 3 = 0. Solve 5*d - z*d = -3 for d.
-1
Let c = 55 - 47. Solve c*v - 3*v - 10 = 0 for v.
2
Let k be (8/16)/(1/4). Suppose -2*n + 32 = 5*d - n, 5*n + 1 = -k*d. Solve -d*p + 2*p = -25 for p.
5
Suppose 44 + 81 = 5*q. Suppose 2*x + 0*x = 0. Let i be 0 + x + -1 + 3. Solve -7*j = -i*j + q for j.
-5
Let y = 2 - 12. Let k = y - -21. Solve -k = -2*x - 3 for x.
4
Suppose 3*v + 3 = -q - 10, -4*v - 28 = -4*q. Solve -q = s - 6 for s.
4
Let s = -2 + 7. Let d be (110/4)/s*2. Suppose 2*h + 0*h - d = -3*g, -g - 4*h = -17. Solve 2*p - 7 = -g for p.
3
Let y(s) = -4 + 5 + 5 - 5 + s. Let o be y(2). Solve 6*n = o*n - 9 for n.
-3
Let d(m) = -m**2 + 3*m - 2. Let z be d(3). Let u = 4 - z. Solve 3*j + 15 = u*j for j.
5
Suppose -4*h + 3*n + 1 = 0, 3 = 3*h - 6*h + 3*n. Solve 0 = -h*s - s + 10 for s.
2
Suppose -4*u = -9*u + 5*g, -2*g + 1 = -u. Solve -5*f - 24 = u for f.
-5
Let k(x) = x**2 - 5*x - 3. Let l be k(6). Suppose -l*f - 5*q = -34, q - 24 = -3*f - 2*q. Solve -f*m + 11 = 5 for m.
2
Let a = 4 + -4. Let f = a - -2. Suppose -2*o = -3*o + f. Solve -4 = -2*w + o for w.
3
Suppose 6*o - 5*x - 35 = 2*o, -o + 17 = -4*x. Suppose -28 = o*t - 73. Solve t = 5*g - 11 for g.
4
Let b(d) = -d**2 - d + 10. Let f be b(0). Let m = 11 + 24. Solve -5*u - m = -f for u.
-5
Let n = -21 + 8. Let h = 16 + n. Solve 0 + 3 = -h*d for d.
-1
Suppose -275 = -d - 13. Suppose -5*w = -d + 12. Suppose 0 = -y + 6*y - w. Solve y = 5*h - 5 for h.
3
Let u(x) = -x - 3. Let y be u(-4). Let l = y + 1. Solve -4 = -2*z - l*z for z.
1
Suppose 2*h = -0*h + 4. Let c(n) = -17*n**3 - 2*n + 1. Let g be c(1). Let a be (g/(-5))/(4/10). Solve -h*p = -1 + a for p.
-4
Let y = 5 + -2. Let w be (-20)/(-30) - (-8)/6. Solve 5 = -w*r + y for r.
-1
Let q(j) = -j + 5. Let t be q(5). Suppose 4*u = 8*u - g - 52, 0 = u - 4*g - 28. Solve t = -3*b - u for b.
-4
Let j be (1/3)/(1/12). Let p(m) = -j*m - 8 + 0*m + 5*m + 2. Let b be p(6). Solve 0 = 3*y - 3 - b for y.
1
Let t(s) = s**3 - 8*s**2 + 2*s - 12. Let r be t(8). Let m(a) = 3 - 4*a + a**3 + r*a + 8*a**2. Let b be m(-8). Solve -y + 7 = b for y.
4
Let q(g) = -g**2 - 6*g - 3. Let k be q(-5). Let w be k - (0 + 1) - -3. Solve 1 = -d + w for d.
3
Suppose -9 - 9 = -2*y. Suppose -l - y = -29. Let m = l + -13. Solve -m*s + 2*s + 25 = 0 for s.
5
Suppose 3*f - w - 5 = 0, 2*f - 1 = -2*w - 11. Solve 5*i - 2*i - 15 = f for i.
5
Suppose -5 = -j, u + 2*u + 3*j = 0. Let s be ((-2)/6)/(u/90). Let f = s - 5. Solve 2*y = y + f for y.
1
Suppose -18 = 4*z - 2. Let d = 2 - z. Solve 0 = -d*t + t + 5 for t.
1
Let c = 5 - 7. Let n = c - -2. Let x be (6/(-9))/((-7)/21). Solve n = -3*f - x*f - 20 for f.
-4
Let c = 5 - 4. Let o be (-1 - (-2 + 1))*c. Solve b + 0*b + 1 = o for b.
-1
Let i(x) = 2*x**2 - 3*x. Let r be i(2). Suppose r*o + o = 0. Solve o*p = 3*p for p.
0
Let r(g) = g**3 - 16*g**2 - g + 20. Let a be r(16). Solve -a*d + d - 3 = 0 for d.
-1
Suppose -t = t - 22. Solve -5*q + 4 = -t for q.
3
Let t(w) = -2*w + 8. Let u be t(-8). Suppose -15 = 5*y, 2*v + 0*v - 4*y - u = 0. Solve k - 3 = -v for k.
-3
Let z be 4/(-2)*(-80)/32. Solve 15 = -5*d - z for d.
-4
Suppose -4*t - 13 = -z, 0 = -4*t - 5*z - 8 + 1. Let a be (1*2)/(3/t). Let u be (0 - -3) + a/(-1). Solve u*b - 2*b = 3 for b.
1
Suppose 5*d - 4*d = -2*y - 1, 0 = 3*y + 2*d + 2. Solve v + 4 = -y*v for v.
-4
Let f(q) = 4*q**2 + 1. Let t = -6 - -5. Let r be f(t). Suppose -3*m + 5*v + 15 = -5*m, 3 = -r*m - v. Solve -5*c + 25 = -m*c for c.
5
Let a(d) = 6*d**3 + 2*d**2 - 2*d. Let v be a(1). Suppose s = -4*t + v, -2*s + 6*s + 3*t = 11. Solve 2*c - 2 - s = 0 for c.
2
Suppose -15 = 4*u + 1. Let o = 11 + u. Suppose -2*f + 5*f + 3 = 0, p = -4*f + o. Solve -1 + p = -2*c for c.
-5
Let d = 1 - -3. Suppose d = w - 2*b, -b - 1 = -0*b. Solve w*v = v for v.
0
Let j be (-4)/((-4)/(-3)) + 6. Suppose 0 = j*t + t. Solve p - 4 = -t*p for p.
4
Let w(r) = r + 2. Let t be w(-5). Let s = t + 3. Suppose -4*v - k = -6 - 4, 5*v - 20 = -5*k. Solve s = v*o - 0*o for o.
0
Suppose -a + 4 = a - 4*x, 3*a + 2 = -2*x. Solve 5*d + 15 = -a*d for d.
-3
Suppose -o = -0*o - 5. Suppose -z + o*z = 0. Suppose -4*u = -3*g - 0*u + 7, g + 3*u + 2 = 0. Solve z*x - g = -x for x.
1
Let y(x) = -x**3 - 8*x**2 - 10*x - 6. Let q be y(-7). Solve 0 = 6*l - l - q for l.
3
Suppose -5*y + 2 = -2*q + 6, -4*q = 5*y - 8. Suppose 164 = 4*x + 4*h, -x + y*x + 35 = -5*h. Suppose x = 3*p + p. Solve -1 = -3*u - p for u.
-3
Let y(t) = -t - 1. Let j be y(-3). Solve g - j = -g for g.
1
Let p = -41 + 44. Solve p*k + 4 = 10 for k.
2
Let u(g) = -5*g + 6. Let l be u(-1). Solve 5*d + l + 14 = 0 for d.
-5
Let z(f) = f - 1. Let b(d) = 3*d - 2. Let i(l) = -2*b(l) + 5*z(l). Let g be i(0). Let a be 1*-1*1/g. Solve -2*n + a = -3 for n.
2
Let h be (-8 + 14)/(4/10). Solve -h = -m - 2*m for m.
5
Suppose j - 4 = -3*j, -5*j = 4*c - 21. Solve -3*g = -c*g for g.
0
Suppose 12 = -4*g, -g = -4*t - 3*g + 434. Suppose -m + t = 4*m. Suppose 42 = 4*s - m. Solve 6*h - 2*h = s for h.
4
Let l be 21/15*(-15)/(-3). Let b = 4 - 2. Suppose b*j + 1 - 7 = 0. Solve -j = -5*g + l for g.
2
Suppose -8 = -4*q + 4*m, 6 = 3*q + 2*m - 0*m. Solve 2*z = -q + 8 for z.
3
Suppose 2*s = -s. Suppose -7*h + 4*h = -9. Let z(j) = -j + 5. Let k be z(0). Solve s = k*o - h*o for o.
0
Suppose -5*l = n - 33 + 8, -34 = -n + 4*l. Suppose 2*y + y - n = 0. Let v be y/(-4)*(-42)/35. Solve 0 = -7*d + v*d - 8 for d.
-2
Let r be (-460)/45 + (-2)/(-9). Let o = r - -10. Solve 3*u - 2*u + 2 = o for u.
-2
Let j be 5/2*16/10. Suppose 0 = n - j*n. Solve n = q - 4 for q.
4
Suppose 4*j - 60 = -2*h, 0 = -5*j - 5*h + 65 + 10. Let k = j - 14. Solve 7 = 3*l + k for l.
2
Let z(n) be the first derivative of n**5/20 - n**4/2 + n**3/2 - n**2 - n - 3. Let c(u) be the first derivative of z(u). Let p be c(6). Solve 5*x = -p - 4 for x.
-4
Let o = -13 - -6. Let t = 9 + o. Suppose -t*s = 2*z + s - 18, 3*z + 5*s = 29. Solve -u + 0*u = z for u.
-3
Suppose 10 = 3*h - 2. Suppose -4*a + 2 = -h*w - 18, -a = w - 5. Suppose -f = 4*f. Solve 4*z + f*z + 4 = w for z.
-1
Let y be (-2)/4 - 18/(-4). Solve -m - y*m = 5 for m.
-1
Suppose -c + 0 + 5 = 0. Let k be (-8)/(-6) - 426/(-18). Solve c*u - 5 = -k for u.
-4
Suppose 0*h = 5*a + h - 30, -a = -h. Suppose -33 = -q - 0*q. Suppose m = 4*k - 18, -a*k + q - 3 = -5*m. Solve -k*t + 8*t - 20 = 0 for t.
5
Suppose 0 = -0*m + 2*m - 16. Let a be 2/(-8) - (-50)/m. Let k = -5 + a. Solve -3*q + k = -5 for q.
2
Let f = 5 - 4. Suppose f = 3*g - 5. Solve 2*x + g = 12 for x.
5
Let j(t) be the first derivative of -t**4/4 + 10*t**3/3 + t**2 - 15*t + 1. Let l be j(10). Let c = 7 + l. Solve 4*q = q - c for q.
-4
Let r = 3 - 0. Solve -4 + 19 = -r*p for p.
-5
Let c be (-6)/51 + (-2)/(-17). Solve -3*t + 2*t - 2 = c for t.
-2
Let w(g) = 2 - g - 3*g**2 + 0*g - 4*g + g**3 + 4. Let d be w(4). Solve -d*k = k - 15 for k.
5
Let c(b) = b**3 + 11*b**2 + 8*b. Let w be c(-10). Let s = w + -10. Solve -6*v = -v - s for v.
2
Let l = 15 + 1. Suppose 6*c - l = 2*c. Suppose c*k + 3*n - 9 = 23, 4*k - 32 = -n. Solve t - k = -t for t.
4
Let q(h) = -h**2 - 3*h + 2. Suppose -4*w = 15 - 7. Let u be q(w). Solve -3*t = -u*t - 4 for t.
-4
Suppose -605 = -4*y + 3*z, 6*z + 757 = 5*y + 3*z. Let w be y/56 + 4/14. Solve -w = f - 0*f for f.
-3
Suppose 3*z = 2 + 4. Solve z*x - 10 = -0*x for x.
5
Suppose 7 = -4*d + 27. Suppose d*r = 3*r. Solve r - 2 = -2*i for i.
1
Let w(m) = -5*m - 34. Let l be w(-8). Solve 2*k + k = -l for k.
-2
Let r(c) = 3 - 3*c**2 + 1 + 4*c**2 + 4*c. Let h be r(-4). Solve -20 = h*o - 0*o for o.
-5
Suppose -60 = 4*q + i - 5*i, -5*q = 5*i + 35. Let z = -6 - q. Solve z*b + 25 + 0 = 0 for b.
-5
Let m = 138 + -136. Solve x = -m*x for x.
0
Suppose 0 = -4*i + 16, 3*a + 3*i + 2*i = 17. Let u be 0 + (-2)/(a/1). Solve 11 = u*y + 1 for y.
5
Let z = -51 + 54. Solve -2*p + z = 9 for p.
-3
Let m(b) = -b**3 + 5*b**2 - 5*b + 1. Let r be m(2). Solve -6*h = -r*h for h.
0
Let i be (-1 - 1 - -4) + 3. Let y(r) = 