3
Suppose 12 = -2*g + 6*g. Suppose -2*o = g - 13. Solve -b - 13 = -o*h + 7, -5*h = 4*b - 20 for b.
0
Suppose 0 = t - 5*w - 17, 2*w = -2. Let h = t + -1. Solve 4*f - 13 = -v, 0 = -2*f + 5*v - 10*v + h for f.
3
Let k be 13/(260/(-8)) - (-2)/5. Solve -4 = -4*a - g, k = 2*g - 6*g for a.
1
Let g = -20 + 4. Let l be 4/g - 18/(-8). Suppose -l*p = 2*p - 16. Solve -7 = 3*o + 5*d - 2, 0 = -p*o - 4*d - 12 for o.
-5
Let b(p) = 5*p. Let a be b(1). Let m be 1/(-1)*(-23 - -3). Suppose 5*k - k = m. Solve 3*v + a*n = 4*v + 19, -v + 11 = k*n for v.
-4
Let y = -4 - 5. Let j(f) = f**3 + 8*f**2 - 9*f + 5. Let m be j(y). Solve 3*t - 15 = 4*r - m, -r = -5*t + 11 for r.
-1
Let k(a) = a + 4. Let y be k(-13). Let x = 13 + y. Solve -x*f = 4*s, -3*s = s - 3*f - 7 for s.
1
Let d(f) = -f**3 + 4*f**2 + 5*f + 3. Let a be d(5). Solve -a - 12 = -5*l + 2*v, 4*v + 20 = 0 for l.
1
Let b be ((-1 + -2)/(-3))/(-1). Let c = b - -3. Solve -5*y - 3*r = 37, -c*y + 0*y + 3*r + 2 = 0 for y.
-5
Let y be 22/5 - 4/10. Let a(d) = -d**3 - 6*d**2 - 6*d - 1. Let r be a(-4). Let i = r - -21. Solve -4*s = -4*c + i, y*c + 15 = 5*c - 4*s for c.
-1
Let j = 2 - 2. Suppose 3*b + 2*c = 32, b - 32 = -b - 4*c. Solve j = 4*v + b, 1 = -n - 4*v - 11 for n.
-4
Let w(f) = -f**2 + 10*f - 12. Let q be w(8). Solve 5*x - 4*k = -45, 0*k = q*x + 3*k + 5 for x.
-5
Let n(j) be the third derivative of j**6/120 - j**5/60 + j**4/24 - 2*j**3/3 - 2*j**2. Let l be n(2). Solve 5*o - 10 = 0, -l*o + 24 = 2*g - 6*g for g.
-5
Let h be (-2)/(-9) - (-188)/(-36). Let m be (-1 - h)/2 + 0. Solve -k + 1 = -q, 5*q = 2*k + m*k - 6 for q.
-2
Let f be ((-5)/10*0)/1. Solve f = -2*d, 2*d + 0*d = 5*r - 20 for r.
4
Suppose 3*y + 46 = 121. Let q(u) = -u**2 + 6*u - 2. Let l be q(5). Suppose 0 = l*k - k - 24. Solve 20 + k = 4*v + 3*c, v = -5*c + y for v.
5
Let k be (-12)/(((-2)/3)/1). Let h(c) = c - 4. Let x be h(6). Suppose x*v = -v + k. Solve 0 = -3*z + 3*w - v, z = 2*z - 2*w - 1 for z.
-5
Let j(t) = t**3 - 7*t**2 + 7*t - 2. Suppose f + 3*f = -5*y + 34, -5*y = f - 16. Let c be j(f). Solve -3*z - b + 6 = 17, -4*b - 12 = c*z for z.
-4
Suppose 4*w = 4*m, w - 3 - 7 = -m. Suppose -m = 4*i - 5*i. Let l(h) = h + 7. Let x be l(-5). Solve o + 3*z = -3*o + 20, x*z - 25 = -i*o for o.
5
Let y be (-1 + 24)*3/3. Let d(n) = -n - 1. Let p be d(-3). Suppose -p*t = -3*t + 5. Solve 0 = -i + 3*q - 2, -2*q + 0*q + y = -t*i for i.
-5
Let a = 0 - 0. Let o be (-120)/(-25) + -4 + 6/5. Solve p - o*p - 5*v + 4 = 0, v - 1 = a for p.
-1
Suppose 5*o - o = 0. Suppose 4*g - 3*f = o, 2*g + 32 = -5*f + 6. Let m(v) = v**2 + 2*v. Let t be m(g). Solve 0 = -9*z + 4*z + t*q - 12, -5*z + q = 4 for z.
0
Let m(t) = t**3 - 9*t**2 + 7*t + 6. Let r be m(8). Suppose 0 = 2*p + p. Let d = p - r. Solve -4*h + d*s = -16, 7 = -h - s + 14 for h.
5
Suppose 3*j - 9 = -d, 0*j + 4*j = -d + 12. Let x(z) = -z**3 - 4*z**2 + 5*z + 4. Let l be x(-5). Solve 2*m = 6*m + l*c + 36, d = 5*c + 20 for m.
-5
Let v(z) = -z**3 + 35*z**2 - 33*z - 30. Let b be v(34). Solve 3*o = 5*o + 4*m + 2, b = -2*m for o.
3
Suppose 0 = -2*m + 3*o + 4 - 1, 0 = -3*m + 5*o + 4. Solve -a - 4*a - 4 = -m*b, 3*a + 5*b + 16 = 0 for a.
-2
Let z(h) = 4*h + 46. Let b be z(-11). Solve -2*d = -4*t + 30, 5*t = -4*d + b*t - 5 for d.
-5
Let m = -11 - -15. Let s = 2 - -5. Let g = -2 + s. Solve -g*p - 4*o = 3, -p - 3*o = 1 + m for p.
1
Let l be -5*(4/(-10) + 1). Let g be (-2)/((-6)/(-3) + l). Solve 2*j = 4*b - 5 - 7, g*j = -2*b + 18 for j.
4
Let s(h) = h**3 + 9*h**2 + 21*h + 7. Let f be s(-5). Solve -r = -5, -14 = -2*t - 2*r - f*r for t.
-3
Suppose -2*j + 2 = -2. Suppose 5 = j*q + 1. Solve -2 = -d - v, 4*d = -v + q - 9 for d.
-3
Let c be 6/2*6/18. Let l be (-13)/(-4) - c/4. Solve -3*k - 9 = -4*s, -l*s = 2*k + k - 12 for k.
1
Let u = 31 - 25. Solve -4*a - 3*m - 4 = -3*a, 0 = 2*a + 5*m + u for a.
2
Let o(s) = -s**2 - 5*s + 6. Let d be o(-5). Let g = 9 - d. Let l = g + -3. Solve -2*u - 12 = u + 4*m, -m = l for u.
-4
Suppose 0 = 3*k - 4*a + 39, 0 = -5*k + a + 4*a - 65. Let l = k + 16. Solve 0 = -5*z + 5*q, q + 13 - l = -z for z.
-5
Let k be -2*(0 + -1) - -2. Solve 3*l + k*c = -0*l + 9, -c = 2*l - 6 for l.
3
Let u be (1 - 1/1)/(-2). Solve 2*m - 4*h + 16 = u, 7*h + 1 = -5*m + 4*h for m.
-2
Suppose -3*z + 12 = 0, -z + 16 = -3*s + 3*z. Suppose 3*m + 0 = 6. Solve -3*u - m*i - 5 = -s*u, -i = 5*u + 13 for u.
-3
Suppose 38 = 3*j - 4*v, -5*j + 4*v + 52 = -22. Let h = j - 13. Solve -2*s + 8 = -r, -1 = 5*s + 4*r + h for s.
2
Let y(q) = 5*q**3 + q**2 - 2*q + 1. Let l(t) = 2*t. Let c be l(-2). Let x be (6/c + 2)*2. Let p be y(x). Solve -2*d - 6 = -h - 0*d, 5*d = p*h - 5 for h.
-4
Let w be (12/6)/(1*-1). Let g be (6 - -36)/(-1 - w). Let y be 2/(-7) + 264/g. Solve 2 = -r - t - 1, 5*t = 2*r + y for r.
-3
Let f = 85 - 49. Suppose -99 = 2*a + 19. Let u = a - -90. Solve -c + 4*g = -5*c - f, -4*c - u = 3*g for c.
-4
Suppose -2*c = 3*c. Solve c*m + 5*m = 5*t + 10, -t + 2 = 0 for m.
4
Let k = 41 - 29. Solve -2*h - 2*p = -6*h + k, -4 = 3*h + 5*p for h.
2
Let f = -62 - -64. Solve h + h = -5*o + 8, -h - f*o = -4 for h.
4
Let q(d) = 2*d**2 + 2*d - 1. Let o = -20 + 18. Let i be q(o). Solve i*b + 4 = -3*r + 13, -8 = -2*r - b for r.
5
Let c(p) = -p**2 + p + 13. Let n be 0/(-3 + -4 + 11). Let k be c(n). Solve 4*b - 4*m = 12, 2*b + m = -b + k for b.
4
Let f = 73 + -67. Solve 2*i = -3*s - 1, -2*i + f*i - 4 = -4*s for s.
-3
Suppose -4*v + 2*v = -14. Suppose 4*l - 2 = 3*l. Let x = 3 + l. Solve p = -d - d + 4, 0 = -d - x*p - v for d.
3
Suppose 2*x + 2*b - 12 = 0, -3*b - 18 = -4*x + 41. Solve 2*t = 2*f - 8, -3*t + t - f = x for t.
-5
Let z(y) = y**2 + 8*y + 9. Let a be z(-7). Suppose 4 = a*w - 0. Solve s + 5*m - 11 = 4, -w*s + 2*m = 6 for s.
0
Let z(v) = -2*v + 12. Let i(k) = k**3 + 3*k**2 - k - 1. Let n be i(-2). Let u be z(n). Solve -16 + 3 = -3*x - 2*f, -2*f = -u*x + 2 for x.
3
Let y(z) = z**2 - 9*z - 20. Let b be y(11). Solve -28 = 4*r + b*m, -5*r = -r + 5*m + 40 for r.
-5
Let u be (-29)/(-5) + ((-2)/(-5))/2. Solve -2*w - p = -1, -4*w + u*w = -5*p + 13 for w.
-1
Let i be 2*(1 - (-5)/2). Suppose 26*b + 16 = 30*b. Solve 2*x + 5*m + 10 = i*x, -5*m - b = x for x.
1
Let v(k) = -k**3 + k**2 + k + 11. Let y be v(0). Suppose 0 = q + 4*q. Solve q = -4*h + m, 4*h + 4*m + 9 = -y for h.
-1
Let r(k) = -k**3 - 7*k**2 + 7*k + 7. Let q be r(-8). Let m be -2 + 3/3*q. Suppose 4*g = -1 + m. Solve 0*y = -2*w + 5*y - 3, g*w + 14 = -2*y for w.
-4
Let j = -23 + 16. Let c = j - -16. Suppose -3*b - 9 = 2*q, q - 17 = -3*q + b. Solve q*m + 7 = i, -4*i = -i + m + c for i.
-2
Let g(c) = c**3 - 5*c**2 - 6. Let u be g(5). Let d be 40/u*(-6)/4. Let q be 126/d - 18/30. Solve 5*o - 22 = 3*s, -5*s + 3*s + q = 2*o for o.
5
Let j(t) = 5*t - 5*t - 1 - 2*t - t. Let w be j(-2). Solve -2*i + 3*i - 1 = w*g, 2*g = 0 for i.
1
Let g be (-2)/(2/(-7) - 0). Suppose -g - 2 = -3*v. Solve 4*m + v*s - 9 - 16 = 0, 9 = 3*s for m.
4
Suppose -d = 3*y - 68, -2*d + 76 = 3*y + 3*d. Suppose 5*p + 3 = 23. Suppose 0 = 3*h - 6, -h + y = 3*v + p*h. Solve 0 = w + 2*w + 5*q - 25, 20 = 3*w + v*q for w.
0
Suppose 4*t - 5*t - 4*b = 0, 2*b = 0. Solve a + 3 - 6 = 0, t = g - 3*a + 14 for g.
-5
Let a = -26 - -31. Solve 4*o - a*g + 0 = 9, 2*g + 10 = 0 for o.
-4
Suppose 3*l + 0*l - 1680 = 0. Suppose 3*t - l = -t. Suppose -3*w = 0, -m - w = -6*m + t. Solve f - 2*f = -2*q + 11, -3*f + 5*q - m = 0 for f.
-1
Let q(k) = -6*k**2 - 17*k + 3. Let n be q(-3). Solve n = -3*v + 5*h - 24, -v - h - 4*h = -12 for v.
-3
Let n = 188 + -186. Solve -2*v + 8 = z, -v = -0*v - n for z.
4
Suppose x - 4 = -0. Let w = x + -7. Let r be (0 + 0)*w/(-6). Solve 0 = -2*h + 3 + 3, -4*n - 3*h + 9 = r for n.
0
Let g = 8 + -5. Suppose -5*k - 55 = -g*p, -p + 9 = 3*k - 0*k. Solve -5*w = -4*u - p, 0 = -2*u - 2*w + w - 11 for u.
-5
Let k(w) = -w - 4. Let g be k(-6). Let u(m) = 5*m**3 - m + 3*m + 2 - 5*m**g - 4*m**3. Let b be u(5). Solve -2*y + 5*z + 18 = -y, z = 3*y - b for y.
3
Suppose 9*y - 4 = 41. Solve 5*k + 2*z + z + 12 = 0, -17 = y*k - 2*z for k.
-3
Let u be (5/(-2))/((-7)/14). Suppose -3*i - 2*w = -7, 12 = u*i - 2*w - 5. Solve 5*c = j + 10, 4*c - 4 = -i*j + 2*c for j.
0
Let c(m) = 3*m + 15. Let k be c(-8). Let r = 1 + -3. Let x be r/(-3) - 30/k. Solve -x*q = -5*g - 33, 5*q + 3*g - g = 0 for q.
2
Let h = 0 + 2. Suppose 20 = -2*j - 2*v, -h*j - 4*v = -7*v + 20. Let l be (28/j)/(2/(-