 1. Let u be (1/q)/((-2)/36). Let j = u - 5. Solve -b + 1 = -j for b.
2
Let o = 1 - 1. Let p be ((-2)/(-6))/(5/30). Suppose 2*v + 3*t - 24 = p*t, -t = -4. Solve -v = 5*c - o*c for c.
-2
Let b be (0 - 1) + -1 + -2. Let z be 26/4 - (-2)/b. Solve 4*o + 22 - z = 0 for o.
-4
Suppose 3*z = -4*f - 2*z - 11, 0 = 2*f + 3*z + 7. Let m = f + 2. Solve c = -m*c + 16 for c.
4
Let c be (-1)/2 + 2/4. Let i be (-4 - -2 - c)*-1. Let q = 2 - 2. Solve -2 = -i*v - q for v.
1
Let c = -41 - -41. Suppose -4*v + 2*m = -18, 3*v - 3 = 3*m + 6. Solve c = -v*k + 2*k - 12 for k.
-3
Let i(l) = -3*l + 1. Let j be i(-2). Suppose 4*h = j - 35. Let m = 8 + h. Solve -w + m = -0*w for w.
1
Let x(g) = -g**3 - 9*g**2 - 7*g + 1. Let f be x(-8). Let q(i) = -i**2 - 6*i + 5. Let u be q(f). Let w = u - -5. Solve 0 = -w*z + 4*z for z.
0
Let r(m) = m**3 + 7*m**2 + 5*m - 6. Let l be r(-6). Solve l*g + 2 = g for g.
2
Suppose -z + 2*z = 6. Suppose -k + 6 = 2*p - 5*p, z = -3*p. Solve k = 2*f - f + 1 for f.
-1
Let f = -4 - -5. Let l = 7 + f. Suppose -10 = -3*y + l. Solve 2*v - 4*v + y = 0 for v.
3
Suppose 0 = 5*d - 4*s + 2, 3*d + 5 = 7*d - s. Let x = 0 + d. Suppose 4*t + x*b = 6, -b = t - 0*t. Solve 11 = 2*m + t for m.
4
Let d(r) = 2*r - 8. Suppose -5*c + 45 = -0. Let i = c - 3. Let q be d(i). Solve -11 - q = 3*o for o.
-5
Suppose 0 = -6*j + 5*j + 5. Solve j = -5*q - 0 for q.
-1
Suppose 2*q = -v - 11 - 3, 0 = -4*v + q - 56. Let r be (-2 + 1 + 0)*v. Let f(g) = -25*g - 123. Let j be f(-5). Solve 4*h + r = -j for h.
-4
Let q be 0/((2 - 4) + 4). Suppose -2*x + 7*x = 0. Solve x = 4*c - q - 4 for c.
1
Let g(c) = c**2 + 7*c - 5. Let b be g(-7). Let s = b + 5. Solve 0 = -2*x - s*x for x.
0
Let v = 2 + -2. Let u be 4 + -1 - (0 + v). Solve u - 5 = 2*f for f.
-1
Let g = -12 + 13. Let y be -1 + (4 - -1) + g. Solve -2 = -y*s + 3 for s.
1
Let q(l) = -l**3 + 6*l**2 + 3*l - 17. Let d be q(6). Solve -2*t + 3 = d for t.
1
Let t be 2/6 + (-4)/(-6). Let o be (19 - t) + 2*1. Suppose -3*l - 15 = 0, x - l + 0*l = o. Solve 0*r = 5*r - x for r.
3
Let s(v) = v**3 + 6*v**2 - 3*v - 14. Let i be s(-6). Solve -2*c + i = 2*c for c.
1
Suppose -z - x - 4*x = 15, z = -4*x - 10. Suppose z = 5*s - 0*s - 3*q, -s + 3*q + 2 = 0. Suppose 0 = -6*c + 4*c. Solve c*t - t = -s for t.
2
Let w = 7 + -3. Solve -2*l + 0 = -w for l.
2
Suppose 1 = 4*c - 3, -c = -5*b + 4. Let m be 0/(b - 1/(-1)). Solve -5*s + 11 + 14 = m for s.
5
Suppose s = h + h - 14, s = 3*h - 12. Let k be (-68)/s + 4/18. Solve -b - k = -1 for b.
-3
Let w(r) = r + 3. Let m be w(-1). Solve 9*h + m = 7*h for h.
-1
Let k = 0 - -3. Suppose -1 = -k*h + 8. Solve h*w = -9 + 21 for w.
4
Let r(w) = w - 7. Let p be r(6). Let o = -3 - -3. Let k be (p - o) + (-12)/(-3). Solve -k*c = 2*c - 25 for c.
5
Let h be (17/3)/((-1)/(-3)). Let u(w) = w**3 + 16*w**2 - 18*w - 16. Let z be u(-17). Let o = h - z. Solve 0*q - 4*q = o for q.
-4
Let a(k) = -6 + 1 - 1 + 7*k - k**2. Let u be a(5). Solve -3*o + o = u for o.
-2
Suppose 3 = 5*w - 12. Let t(j) be the second derivative of -j**5/20 + j**4/6 + 2*j**3/3 - 3*j**2/2 + j. Let s be t(w). Solve 8 = -s*k - 4*k for k.
-2
Let d = 1 - -5. Let i(q) = -q + 8. Let x be i(d). Solve -o - x*o - 12 = 0 for o.
-4
Suppose 0 = -5*h + z - 3 + 6, 0 = 3*z + 9. Let d(m) = 4*m**3 + m**2 - 2*m + 1. Let u be d(1). Solve h*j = u*j + 8 for j.
-2
Suppose 3*m + 2 = 4*m. Solve m = -l - 3 for l.
-5
Suppose p + n + 2*n = -16, 0 = -4*n - 20. Let q = -1 - p. Solve 5*t - 2 - 3 = q for t.
1
Let p(l) = -7*l - 1. Let k be p(2). Let x be 10/k - (-28)/6. Suppose -4*h = 3*r - 9, 2*r = -x*h + 4 + 2. Solve -2*t - r = -9 for t.
3
Suppose 9*w = 4*w + 20. Suppose -k - 6 = -w*k. Solve -n + k*n + 4 = 0 for n.
-4
Let k(z) = z**2 + 4*z - 7. Let t be k(-5). Let w be (1 + -1)/(-2 - 0). Let n be -3*(w + (t - -1)). Solve -n*x - 15 + 3 = 0 for x.
-4
Suppose 17 = -r + 3*y + 5, 5*y - 25 = 0. Solve -1 + 7 = -r*t for t.
-2
Suppose -2*x + 3*q = -20, 0*q = -x - 2*q + 3. Let d(u) = -u**2 + 0 + 9*u + 1 - 9. Let o be d(x). Solve -n + 2 = o for n.
-4
Suppose 0*b = -2*b. Suppose 0*r = -2*w - 5*r + 10, -w + 2*r - 4 = b. Suppose -4*g + 2*g + 8 = w. Solve -2*t = 2*t - g for t.
1
Let a(o) be the third derivative of o**5/60 - 7*o**4/24 - 2*o**3/3 + 3*o**2. Let x be a(8). Suppose 14 = 3*z + 4*r, z - 28 = -z + 2*r. Solve x*f = -f + z for f.
2
Let k(h) = -h**3 + 5*h**2 + 3*h + 5. Let r be k(5). Suppose -f = -2*f + 5. Suppose 0 = -v - v, 2*d + 3*v = 0. Solve u - f*u - r = d for u.
-5
Let z(k) = k - 3. Let x be z(0). Let w = 7 + x. Solve -w*m = -0*m for m.
0
Suppose -3*h = h - 8. Let l be -12*((-75)/12)/(-5). Let z = l - -15. Solve -h*g + 3*g + 2 = z for g.
-2
Let n be 28/6 - 6/9. Suppose z + 5*s + 2 = 1, n*z = s + 17. Solve z*x + 0*x = 16 for x.
4
Let t be -2*((-7)/(-2) - 2). Let j be ((-10)/t)/(2/9). Let b = j + -9. Solve b + 19 = 5*h for h.
5
Let v be (0*(2 + -1))/(0 - -2). Solve v = 3*j + 2*j - 25 for j.
5
Let l = 7 + -4. Let k be 15 - ((3 - 1) + (-6)/2). Solve -k = l*d + d for d.
-4
Let t be -1*(0 - -1) - -6. Let k(y) = y**2 - 6*y - 9. Let c be k(7). Let b = t + c. Solve -2 = 5*j + b for j.
-1
Suppose 2*m = 5*o - 14, 2*m - 4*m = 4*o - 22. Suppose 0*l + s + m = 3*l, 4*l = -s - 3. Solve x - 4 = -l*x for x.
4
Suppose 6*w - 75 = -51. Solve -w*l = -0*l for l.
0
Let b(m) = 2*m**2 + 5*m + 2. Let t(p) = p**2 - 5*p - 3. Let o be t(5). Let j be b(o). Solve j*s + 0*s = 0 for s.
0
Let r be 26*1 + -1 + 0. Let h be (2/4)/(57/456). Solve -h*l - r = l for l.
-5
Let x be (-2)/8 + 203/28. Suppose -x*s + 20 = -3*s. Solve -s*o + 19 = 4 for o.
3
Let o(v) = 66*v - 1. Let x be o(1). Suppose 5*g = -5*n + x, -2*n + n + 22 = 4*g. Suppose z - 6*z = -n. Solve -z*q - q - 15 = 0 for q.
-5
Let t(f) = f**2 + 3*f + 6. Let h be t(-6). Suppose 4*x - h = 20. Let o be (-2)/(-2)*(1 - 0). Solve -2*g - o = -x for g.
5
Let n = -6 + 1. Let i = 5 + n. Solve -4*w = -i*w - 12 for w.
3
Suppose -13 = -5*y + 2*y - 2*s, s - 2 = 0. Solve -y = 3*m + 6 for m.
-3
Let z(m) = 4*m**2 - m - 4. Let t be z(2). Solve 2*q + t = 7*q for q.
2
Let i(k) = 5*k + 10. Let v be i(-2). Solve v = 3*l - 2 - 13 for l.
5
Let k = 49 - 45. Solve 19 = -k*o - 1 for o.
-5
Suppose -3*h - 2 = 1. Let t be h/(1*(-2)/(-8)). Let r be 3/(-1) - 20/t. Solve -15 = -r*m - 5 for m.
5
Let y(v) = -v**3 - 11*v**2 - 12*v - 17. Let p be y(-10). Solve -p*u = -5 - 1 for u.
2
Let v = -2 + 2. Let l(x) = x**2 - x + 3. Let s be l(v). Solve 0*j - s*j = -3 for j.
1
Let l be 11*(-1*4)/4. Let m(h) = h**2 + 10*h - 11. Let j be m(l). Solve -4*y = -j*y - 8 for y.
2
Suppose 0 = -5*g + g - 8. Let h = 4 + g. Suppose -h*y = -7*y + 20. Solve 18 - 6 = y*s for s.
3
Let h(m) = -m**3 - 6*m**2 - 1. Let y be h(-6). Suppose 23 = s + 5*r, -32 = -4*s - 2*r - 3*r. Let q = s + y. Solve q*g = g - 1 for g.
-1
Let v be 9/(-2)*(-1 + -1). Suppose -4*q + v = -q. Suppose 0 = -0*c - q*c. Solve -w = -c*w + 5 for w.
-5
Suppose -2*l + 3*p + 8 = 0, -p - p = -4*l + 16. Solve 4 = -l*h - 12 for h.
-4
Let k = -49 - -54. Solve -k = -2*y + y for y.
5
Let o be (-16)/(-24)*138/4. Suppose 2*m - o + 7 = 0. Solve 3*r - m = r for r.
4
Let w = -19 + 11. Let z be (-2)/(-4) + (-35)/(-2). Let d be 1/(-4) - z/w. Solve -d*q = -7*q for q.
0
Let d be 13*2/(-5 - -3). Let b = 15 + d. Solve i + b*i + 6 = 0 for i.
-2
Suppose 0*k = 11*k - 33. Solve 2*x - k = 1 for x.
2
Let u be -5*1/5*-4. Let r(q) = -q**2 - 18*q - 13. Let n be r(-17). Solve -n = -u*k - 0*k for k.
1
Let r(v) = -v**3 + 5*v**2 + 8*v - 2. Let c be r(6). Let n(d) = d - 6. Let k be n(c). Solve k*g = g - 9 for g.
-3
Suppose 5*r - 18 = -3*y, 2*r - 2*y - 5 = -y. Suppose r*v - 13 = 8. Let c be (-8)/(-28) + (-2)/v. Solve c = -3*s - 11 + 2 for s.
-3
Suppose -2*f - 15 + 21 = 0. Solve f - 1 = v for v.
2
Suppose 0 = 4*k - 7*k - 6. Let r be k/(4/(-2))*-5. Let p be ((-18)/r)/((-6)/(-20)). Solve 4*t + 0 + p = 0 for t.
-3
Suppose -2*f = f - 87. Let u = f - 17. Suppose -4*k = -0*k - u. Solve k*h - h = 10 for h.
5
Suppose -4*w - 3 = 5*v, -7 = 4*v - 4*w + 17. Let k be v/(-2)*(11 - 5). Suppose 0 = -3*c - k, -6*a + 2*a + 12 = -4*c. Solve m - 3*m = a for m.
0
Suppose 4*q = 8*q - 20. Let y(c) = c - 1. Let b be y(4). Solve b*g - 4*g = -q for g.
5
Let d = 20 + -19. Solve 0 = 4*x + d + 3 for x.
-1
Let x(d) = d - 6. Let o be x(4). Let r be (4 - (0 - 2)) + o. Suppose r*n + 1 = 13. Solve -p = -n*p - 4 for p.
-2
Suppose 81 = 5*r + 26. So