 9 = y*b - 0*b for b.
3
Let c be (-19)/(-57) + (-4)/(-6). Solve -5 + c = 2*u for u.
-2
Let f be 2/(-1) - (0 + -2). Let h be (-28)/(-12) + 1/(-3). Suppose 5*m + h = 6*m. Solve 4*s - 10 - m = f for s.
3
Let v = -26 - -28. Solve -4 + 6 = v*g for g.
1
Let h(z) = -z - 1. Let c be 1 + 0 - (0 + 7). Let o be h(c). Let w = 1 + 6. Solve -o*i = -w - 8 for i.
3
Let t(p) = p**2 + 6*p - 6. Let h be t(-12). Let i = -21 + h. Suppose 0 = 5*z - i - 25. Solve 3*f = -z + 2 for f.
-4
Let c = 9 - 6. Suppose 0 = g + c*g. Let a = 54 + -50. Solve -a*u - u = g for u.
0
Let z(r) = -r**2 + 8*r - 13. Let k be z(4). Solve 4*j - 5*j = k for j.
-3
Let t be (2 - 7)/(3 + -4). Solve 0 = 2*f - t*f + 12 for f.
4
Let f be 0/(-2) + -3 - -1. Let z be 5 + (f - (-6 - -3)). Let c be 4/z - 2/3. Solve 0*n - n = c for n.
0
Let u = -4 - -6. Suppose 2*r - 13 = -2*r - l, 7 = 4*r + 3*l. Let m = r - u. Solve -m*n = n for n.
0
Let p be ((-15)/10)/(9/(-12)). Solve p*l = -l + 12 for l.
4
Let u = -21 + 28. Suppose 18 = u*x - 5*x. Solve 2*p - x - 1 = 0 for p.
5
Suppose -r + 9 = 2*r, -r + 15 = 4*z. Solve -z*m - 16 = -7*m for m.
4
Let x be (-14)/(-1) + 5/(-5). Solve -1 = -3*a - x for a.
-4
Let w(d) = d**3 - 12*d**2 + 12*d - 9. Let y be w(11). Solve -y*p + 4*p + 2 = 0 for p.
-1
Suppose 0 = 4*g - 2*x - 6, -2*g - 5 = -5*x - 4. Suppose -g*h - h + 12 = o, -3*o + 9 = 0. Let i be 1/(-5) - (-1)/5. Solve i = h*n - n for n.
0
Let x(t) = -t**3 - t**2 + 4*t + 4. Let k be x(-2). Solve k = 3*u - 0*u + 9 for u.
-3
Let h(m) be the second derivative of m**4/12 + 2*m**3/3 + m**2/2 + m. Let z be h(-4). Let b be (-2)/5 + (-6)/(-15). Solve c + z + 1 = b for c.
-2
Suppose -8 = -2*s - 2*s. Let h be -2 + 3*(-4)/(-6). Suppose z + 28 = 3*z. Solve 4*i + s - z = h for i.
3
Let u be 3 - 0*(-4)/(-16). Solve 5 = u*q + 17 for q.
-4
Suppose 4*s = 0, 4*b - 10 = -s + 2. Let i(v) = -v**2 + 7*v - 3. Let j be i(4). Suppose -j = b*c - 4*c. Solve 2*h + c = -1 for h.
-5
Suppose 5*q - 3*a = 47, 3*a - 6 - 7 = -q. Suppose n = -n + q. Solve 4 + 21 = n*o for o.
5
Let p = -8 + 16. Let d(y) = 8*y**2 - 1. Let g be d(-1). Let s be g/2 - 4/p. Solve -s*h - 4 = -h for h.
-2
Let g = 32 + -22. Let l = 4 - 1. Solve g = -l*c + c for c.
-5
Let i(u) = -u**2 + 6*u - 6. Let j be i(4). Solve -1 - j = 3*q for q.
-1
Let i = 15 - 11. Solve i*t + 5 = -11 for t.
-4
Let l be 2/(-7) - (-46)/14. Suppose w + 10 = 3*a, 14 = -5*w - l*a + 54. Solve -w*r - 2 - 13 = 0 for r.
-3
Suppose 0 = -3*v + 13 - 7. Solve v*j = 3*j + 1 for j.
-1
Suppose -4*w = 2*g - 26, -g = w - 5*w - 25. Solve 0 = -5*u - g - 8 for u.
-5
Let t(o) = o**2 + 6*o + 2. Let s be t(-5). Let v be (-6)/4*(15 + s). Let u be v/4*(-4)/6. Solve 0*z + 6 = u*z for z.
2
Suppose r = o - r - 1, 0 = -3*o - 5*r - 8. Let q be -2*1 + 2 + 1. Let t = q + o. Solve -3*b = -3 - t for b.
1
Let n be 2/(-4)*(3 + -2 + -5). Solve 4*t = n*t + 10 for t.
5
Let s be (-4 - -5) + 1/1. Suppose 10 = 7*m - s*m. Solve -m*u = -3*u for u.
0
Suppose -2*a - 6 = 0, 0 = s - a - 5. Suppose -7*n = -s*n. Solve 2*g = -n*g for g.
0
Let m = 18 - 18. Solve n + 1 = -m for n.
-1
Suppose 0 = c - 17 + 13. Solve -k + c*k = 0 for k.
0
Let c(l) = -2*l**2 + 3*l + 2. Let f be c(2). Solve -5 + f = 5*y for y.
-1
Suppose 32 = 5*s - 4*f, 0 = 2*s - 5*f - 16 - 7. Solve s*v + 6 = -2 for v.
-2
Let h(u) = 6*u - 4. Let n be h(4). Suppose 0 = -2*g - 4*c, -2*c = -2*g - c - n. Let i = g + 15. Solve 8 + i = -3*d for d.
-5
Let k be (1/(-2))/(1/(-4)). Solve -25 = -7*c + k*c for c.
5
Let s be ((-21)/(-4) - 5) + (-45)/(-12). Solve 3*u - s*u + 2 = 0 for u.
2
Let r(l) = -l**2 + 7*l - 2. Let m be r(6). Let v be 10/m + 6/12. Solve -2*c + 11 = v for c.
4
Let k = -14 - -4. Let c = k - -18. Solve 2*t + 0*t = c for t.
4
Let m be (0 + 0)/4 - -3. Solve -1 = -4*g + m for g.
1
Suppose -3*m + 5*d - 2 = 0, 2*m + 4*d + 9 = -7. Let v be m/(-8)*(9 - 1). Suppose 2*y = 4*u + 2, -5*y + 0*u + v*u = -5. Solve -a + 3 = -y for a.
4
Let t = -28 - -38. Solve -t = x + 4*x for x.
-2
Let b be 56/5 + 2/(-10). Let p = b - 9. Solve 0 = u + p + 3 for u.
-5
Let l(q) = -q - 1. Let p be l(-5). Let k be (1/(-1))/((-2)/8). Suppose -s + 4*f = 2, -3*f = -k*s - 1 + 6. Solve -2 = p*j - s*j for j.
-1
Let g(u) = -u**3 + 5*u**2 + 2*u - 1. Let z be g(5). Let m(y) = -y**3 + 4*y**2 - y - 3. Let w be m(3). Solve w*v + z = -0 for v.
-3
Let u(r) = r - 5. Let t be u(9). Suppose -t = -2*f + 2. Suppose -2*l + f = 1. Solve -15 - l = 4*h for h.
-4
Suppose 5*m + 4*t - 46 = -0*t, m + 2*t = 14. Suppose y - m*d = -d + 12, 0 = -3*y - 5*d - 4. Solve 0*j = -y*j for j.
0
Suppose 2*f - 5*f = 0. Solve f = 3*z + 2*z - 10 for z.
2
Let k = 54 + -50. Let a = 8 - 5. Solve k*o = o - a for o.
-1
Let k = 51 + -51. Solve 4*a = -k*a for a.
0
Let x be 32/3*(-21)/14. Let z be (-2)/(((-2)/x)/(-1)). Let y be 0/2 - z/(-2). Solve 7 = -5*v - y for v.
-3
Let p = -12 - -15. Solve -3*v = -9 - p for v.
4
Let n(t) = -5*t + 45. Let a be n(9). Suppose 3*u - 3*y + 4*y - 4 = 0, 5*y = 5*u - 40. Suppose -u*v + 6 = -0*v. Solve a = -f + v*f + 4 for f.
-4
Suppose -5*u - p = -9 - 8, 0 = u + 5*p - 13. Solve 2*z - u*z - 2 = 0 for z.
-2
Let v = 34 - 34. Solve v = q - 2 + 5 for q.
-3
Let h be (-2)/(1*(-10)/25). Solve -4*x - x = -h for x.
1
Let a(l) be the third derivative of l**4/24 + 3*l**2. Let w be a(5). Solve -14 = -w*h + 1 for h.
3
Suppose -i = 3*i. Let z be (-4)/(-10) + (-9)/(-15). Let o(d) = d - 1. Let f be o(z). Solve i = 3*u - f*u - 12 for u.
4
Let s(t) = -2*t - 7. Let u be s(-6). Solve -u*h - 1 + 6 = 0 for h.
1
Let o = 7 - -1. Solve 4 = -d + o for d.
4
Let f(w) = w + 4. Suppose n + 3 + 0 = 0. Let r be f(n). Suppose -21 = -2*a - r. Solve -a = -5*u - 0 for u.
2
Let l = -5 + 23. Suppose 3*v = -v + t + l, 3*t = -4*v + 26. Let h(c) = -c - 13. Let m be h(-16). Solve m*g - 4 = v*g for g.
-2
Suppose 32 = u - 4*l + 5, 0 = u - 3*l - 22. Solve -6*c + u = 37 for c.
-5
Let l(r) = r**2 - 14*r - 15. Let i be l(15). Let p(g) = -g**3 - g**2 - 1. Let a be p(-2). Solve c = -i*c - a for c.
-3
Suppose -4*p - b = -15, -p = b - 1 - 5. Solve 2*l - 25 = -p*l for l.
5
Let m = 13 - 13. Solve -l + 4 = -m*l for l.
4
Let r(j) = 2*j + 5. Let g be r(-5). Let f = 5 + g. Suppose 0 = p + c, p + f - 12 = 3*c. Solve 3*n + p = -0 for n.
-1
Suppose 3*k + 1 = 4*k. Suppose 2*o - t = -0*o + k, -4*o - 4*t = -8. Solve 1 = 2*x - o for x.
1
Let p(c) = 2*c - 9. Let j be p(6). Solve 0 = 4*x - j - 1 for x.
1
Let m = 28 + -24. Solve -m*q = -3*q - 5 for q.
5
Let h be 2 + -2 + 3 - -1. Suppose -t - 3 = -0*u - h*u, 3*u - 8 = -5*t. Solve -z - 5 = -t for z.
-4
Suppose -5*n + 3*n + 3*g = 5, -2*g = 2*n. Let z be (-1)/(n*(-2)/(-26)). Solve 0 = -2*t - 3 + z for t.
5
Suppose -9 = -5*d + 1. Let c be (0 + d)/((-2)/(-4)). Solve j + c = 3*j for j.
2
Let a(h) = -3*h. Suppose -3*x + 5*x - 3*v = -16, v = 4*x + 12. Let t be a(x). Let n(y) = -y**2 + 6*y + 2. Let i be n(t). Solve m - i*m = 1 for m.
-1
Let k(u) = u**2 - u + 15. Let w be k(0). Solve 3*t + 0 = w for t.
5
Suppose 0 = 2*f + 4 - 12. Suppose -146*s = -144*s - 8. Solve 4*r + s = -f for r.
-2
Suppose 4*g + 3 = -5. Let m be 4 - (2 - 3 - g). Suppose -m*l - 2*y + 33 = 3*y, -27 = -3*l - 3*y. Solve -5*k + 1 = -l*k for k.
-1
Let q(i) = i**2 + i - 4. Let t be q(2). Solve -23 = -5*g + t for g.
5
Let l(w) = 2*w**3 - 4*w**2 - 3*w - 2. Let n be l(4). Let c be (160/n)/(2/5). Solve 2*g = c + 2 for g.
5
Suppose -3*m = -0*m + 3. Let n be 7 + (-1)/(m + 2). Suppose 0*b - n = -3*b. Solve 8 + 2 = b*y for y.
5
Suppose 6*j = 2*j + 20. Solve 2*z - j - 3 = 0 for z.
4
Let d be (2 + -1)*(-3 - -4). Suppose -5 = -2*j - d. Solve -3*v - 3 = -j*v for v.
-3
Let z = 4 - 3. Suppose -d + 6 - z = 0. Let q be ((-12)/(-21))/(18/315). Solve -d*a + q = -10 for a.
4
Let p(v) = -v**3 + 3*v**2 - 3*v + 3. Let z be p(2). Solve -d = -z - 0 for d.
1
Suppose -2 = 4*z - 18. Solve 2 = -z*g + 3*g for g.
-2
Let w = 32 + -29. Solve -j - w = 2*j for j.
-1
Let x be ((-3)/6)/(3/(-18)). Solve 0 = -x*t - t - 8 for t.
-2
Suppose -c = -4*c + 3. Let t(s) = 1 - s - 2 + 2*s. Let d be t(c). Solve d = -b + 4*b - 12 for b.
4
Let b(r) = r**3 + 3*r**2 - 8*r - 5. Let c be b(-5). Let g = 48 - 49. Let a be 1/((g + -2)/c). Solve 2*y - a = -13 for y.
-4
Let i be 2/(-8)*-4 + (7 - 4). Suppose 3*y - 3*o = 4*y - 21, 2*y + 5*o = 37. Let d(l) = -l**3 + 5*l**2 + 8*l - 8. Let p be d(y). Solve p*z = 3*z + i for z.
4
Let y = 52 - 49. Solve -5 = -y*j + 8*j for j