5
Suppose -26 = -9*w + 55. Solve w = 4*y - y for y.
3
Suppose -5*m - 10*m = -30. Solve m*o - 3 = -7 for o.
-2
Suppose -n + 9 = 7. Solve 4 = -2*q - n for q.
-3
Suppose 0 = -4*s + 3*a - 9, s + 0*s - 15 = -5*a. Suppose -4*k + 0*k = -6*k. Solve 3*j + s + 3 = k for j.
-1
Let v(d) = -d**3 - 6*d**2 + 7*d + 10. Let j be v(-7). Let q = -4 + j. Solve q = b - 3*b for b.
-3
Suppose 0 = 3*d - 6*d + 6. Suppose -n = -j - d, n = 5*n + 2*j - 14. Solve 0 = -n*w + 4*w - 3 for w.
3
Let r be 2/2 - (1 - 5/5). Solve z - r = -4 for z.
-3
Let s(x) = 4*x**2 - x - 1. Let m(d) = -d**2 - 7*d - 1. Let f be m(-7). Let z be s(f). Solve -5 = z*k + 15 for k.
-5
Suppose -6*l + 7*l = -4. Let d = 19 + l. Solve 3*v + 2*v + d = 0 for v.
-3
Let x be -2 - -4 - (9 - 15). Solve -4*t - x = -6*t for t.
4
Let u(w) = -1 - w + 2 - 2. Let q be u(-1). Let i(z) = z - 2. Let n be i(6). Solve q*o + 8 = n*o for o.
2
Suppose d = -d + j + 12, 0 = 3*d - 4*j - 23. Solve -7 = d*l - 17 for l.
2
Let o = 2 - -4. Suppose 4*l - l = o. Suppose -3*z = 3*s - 6, -2*z + 3 = s + l. Solve 0 = s*f + 13 + 2 for f.
-5
Let z be (-4 - -19) + -3 - -4. Solve -5*t = 1 - z for t.
3
Suppose 5*r = 7 + 3. Suppose -2*b = r*b. Suppose j - 4 = -3*j. Solve -g - j + b = 0 for g.
-1
Suppose -3 = -c + 21. Suppose 4*z = 3*x - c, 3*z = -x + 3*x - 18. Let s be (15/z)/(2/(-4)). Solve s*v + 12 = 2*v for v.
-4
Let q(k) = 2*k - k - 5 - 4*k. Let i = -15 + 8. Let u be q(i). Solve u = 5*d - d for d.
4
Suppose -4*y = 0, z + 2*y - 8 = -2. Solve -z*h = -2*h for h.
0
Let t be ((-30)/5)/(-1 + -2). Solve b - 2 = t for b.
4
Let k = 29 - 29. Solve k*d + 25 = -5*d for d.
-5
Let a = 15 - 7. Let w = -4 + a. Solve 0 = -4*o - 24 + w for o.
-5
Suppose 2*z - 6 = 3*z. Let t be 3/z*(-6 + -2). Solve -4*w = t + 16 for w.
-5
Let u(t) = 2*t - 12. Let w(r) = 3*r - 13. Let p(h) = 6*u(h) - 5*w(h). Let c be p(-5). Solve 2 - c = -2*a for a.
3
Let k be (-8)/5*70/(-4). Solve 0 = -5*p - 3 + k for p.
5
Let d(a) be the first derivative of -a**2/2 + 4*a - 6. Let b be d(0). Solve -8 = -6*z + b*z for z.
4
Let s be 0*(16/32)/((-2)/(-4)). Solve 3*c + 0*c = s for c.
0
Let t = 13 - 13. Suppose 0 = -2*q - 2 + 8. Suppose -v - q*v + 8 = t. Solve 0*o = -o + v for o.
2
Let i be (-8)/(-6) + 1/(-3). Let k = i - -3. Solve k*d = -d - 5 for d.
-1
Let r = 0 + 3. Solve -2*c - r*c + 25 = 0 for c.
5
Suppose -5*k = 3*q + 18 - 5, -5 = 5*q + 5*k. Suppose -n = -5*t - 1, -1 - 3 = -4*n + q*t. Solve 4 = -5*v - n for v.
-1
Suppose -2*l = 3*v - 7, -4*l - v = 2 - 11. Suppose -4*d = -2*d - d. Suppose d*b = -b + l. Solve 8 = 3*q + b for q.
2
Let a(r) = -r**3 - 3*r**2 + 5*r + 6. Let p be a(-4). Suppose -18 = -4*c - p*z, -z = -c + z + 2. Solve i = c*i - 9 for i.
3
Let s be 8/4 + 0/2. Solve q = -s*q + 6 for q.
2
Suppose -5*h + 14 = -16. Let b be ((-40)/h)/((-16)/24). Solve b + 0 = 2*i for i.
5
Let v be -4 + 0 - (-54)/9. Let g be 9/6*(-8)/(-6). Solve v*w = -g - 2 for w.
-2
Suppose -3*g = -2*z - 5, -5*g + 3*g - 3*z = -12. Solve 10 = g*x + 2*x for x.
2
Let f be 3*2*16/12. Let c = f + 12. Suppose x - c = -5. Solve 6*l = 3*l - x for l.
-5
Suppose -3*j = q + 4, 0 = q - 2*j - 16 + 5. Suppose -q*i - 8 = -38. Solve -i*z - 15 = -z for z.
-3
Let t be (-2)/1 - (0 - 4). Suppose 0*p - 10 = -2*p. Suppose p = 4*d - 19. Solve -d*v - 4 = -t*v for v.
-1
Let f(d) = d**2 + 2*d + 2. Let p be f(-3). Solve x = p*x for x.
0
Let o be 4/(-18) + (-180)/(-81). Solve -3*h + 4 + o = 0 for h.
2
Let g(p) = -2*p + 0 + 18 + p - 5. Let c be g(9). Solve -c*w - w = 10 for w.
-2
Let u(n) = -n**3 - 7*n**2 + 5*n - 4. Let m be u(-8). Suppose 4*v - 3*k = 17, -8 = 2*v + 3*k - 3. Solve -v*g - 2*g + m = 0 for g.
5
Let k = 3 - 0. Let m be -1 + k/(-9)*-6. Solve 2*j + m = -3 for j.
-2
Let i(y) = -y - 7. Let s be i(0). Let b(o) = -o - 3. Let g be b(s). Suppose 0 = 5*r + g*d - 5 + 1, -r - d = 0. Solve -r*u - 3 = -u for u.
-1
Let a(k) = k**2 - 6*k + 5. Let p be a(4). Let g = 13 + p. Suppose 0 = -5*s + g - 0. Solve -s*w = -w for w.
0
Suppose 3*d + 3*b + 6 + 0 = 0, -4 = -d + b. Let i be 0/(3/((-3)/d)). Suppose r - 2*m + 3*m - 3 = i, 2*r - 6 = -5*m. Solve r = -l - 1 for l.
-4
Let w(v) = 2*v + 8. Let k be w(-6). Let c = k - -7. Suppose 1 = c*a - 5. Solve 4*q - a*q - 10 = 0 for q.
5
Suppose 5*g = 25, -4*f + 16 = -2*f + 2*g. Solve -f = -b + 2 for b.
5
Let b = -2 + 7. Let p(v) = v + 7. Let g be p(-6). Let o be (0 + (0 - 0))*g. Solve o*f = -b*f - 5 for f.
-1
Suppose -s = -3*s. Let m be (1 - s)/((-3)/(-9)). Solve 0 - 9 = m*y for y.
-3
Let c(s) = -s + 7. Suppose 0*i + 25 = 5*i. Let d be c(i). Solve -d*m = -0*m + 6 for m.
-3
Let s(c) = -c**3 + 11*c**2 + 5*c - 14. Let q(g) = g**3 - 11*g**2 - 4*g + 13. Let j(a) = -4*q(a) - 3*s(a). Let p be j(11). Solve p = 2*w - 5 for w.
3
Let i be (4/(0 + -2))/(-1). Let q = 22 + -22. Let y(c) = -c**3 + c**2 + 4. Let h be y(0). Solve q = -i*t + h*t for t.
0
Let r(w) = w**3 + 2*w**2 + w + 2. Let h be r(-2). Solve h = 3*c + 6 + 6 for c.
-4
Let u be 0/(1/1 - -1). Let x(g) = -2*g**2 - 6*g. Let f be x(-5). Let r be (-2)/(-2) + -1 - f. Solve 5*j = -u*j - r for j.
-4
Let w be (2 - 1)*(-2)/(-2). Suppose a = -5*z + 24, 2*a + 0*z - 5*z + 12 = 0. Let i = a + w. Solve i*o - 19 - 6 = 0 for o.
5
Let k(s) = s**2 - s + 56. Let l be k(0). Suppose 5*u = -2*n + 4*n + l, -5*u = -n - 58. Solve -2*a - u = -5*a for a.
4
Let z(y) = -4*y**2 - 21*y + 6. Let p(r) = -r**2 - 7*r + 2. Let n(t) = -7*p(t) + 2*z(t). Let x be n(3). Solve -2*g + 4*g = -x for g.
-5
Let y = 85 + -37. Let r be (y/(-30))/((-4)/10). Solve -r*o + 3 = -1 for o.
1
Suppose 0 = v + v - a - 3, -2*v - a = 3. Suppose v = -2*w - 3*w + 50. Let p be ((-12)/w)/((-6)/20). Solve 8*k + 20 = p*k for k.
-5
Suppose -11*k - 20 = -16*k. Solve 5*j - k*j + 2 = 0 for j.
-2
Let r = 58 - 55. Solve -2*s + 3 = -r*s for s.
-3
Suppose 13*v = 16*v - 3. Solve v = -4*z - 3 for z.
-1
Let i(s) = -s**3 + 6*s**2 + 2*s - 4. Let k be i(6). Suppose 4*j + 0 - k = 0. Solve -h = -2*h + j for h.
2
Suppose 31*l - 320 = -9*l. Let o be (0 - 0)/((-2)/1). Suppose o*g - 5 = -g. Solve g*p = p - l for p.
-2
Let x be (-42)/(-4) + (-9)/6. Solve -x - 6 = -5*a for a.
3
Let d = 6 + -3. Suppose -3*x = 3, -x = -4*w - 5*x - 4. Let s be ((w/(-2))/(-2))/(-1). Solve s = -d*c + 2*c + 4 for c.
4
Suppose 5*q + o = 28, -o = -q + 3*o - 7. Let v(g) = 4*g**2 + 1. Let p be v(1). Suppose -3*z - 35 = -p*h - z, 3*z + 35 = 4*h. Solve 0*a - h = -q*a for a.
1
Let s = 185 - 177. Suppose -g = -6*g + 15. Solve -s = t + g*t for t.
-2
Suppose 13 = -4*a - 5*v, -a - a + 16 = -2*v. Solve a*h + h + 20 = 0 for h.
-5
Let i(h) = -2*h - 3*h + h**3 + 3 + 1. Suppose 15 = 6*r - r. Let n be i(r). Solve -n = 5*c - 1 for c.
-3
Let v(p) = -p + 5. Let j = 5 + 0. Let q be v(j). Solve -16 = -q*r - 4*r for r.
4
Suppose 3*r - 19 = -4. Solve -r*q - 12 = 13 for q.
-5
Let k = 0 - -2. Let o be 1/(k/4) + 0. Solve 2 = -4*i - o for i.
-1
Let b(z) = -2*z - 8. Let l be b(-8). Suppose 1 = 3*s - l. Solve 0*p + s = 3*p for p.
1
Let d(n) = 3*n + 43. Let m be d(-14). Solve -j = -2 - m for j.
3
Suppose -d + 33 = -4*j + 1, 2*j = -2*d - 26. Let a(f) = -4*f**2 + 13 - 8*f + 0*f**2 + f**2 + 2*f**2. Let o be a(j). Solve 26 = -o*t + 6 for t.
-5
Let b = 14 - 12. Suppose m - b = -m. Solve 3*t + m = 4 for t.
1
Let s = 14 + -9. Let l(q) = -q**2 + 10*q - 6. Let z be l(9). Suppose -r = -s*r + z*j + 20, 0 = 4*j + 16. Solve -r*f + 0 = 2 for f.
-1
Suppose 2*c = 4*y - 30, 5*y + 4*c - 11 = 20. Suppose -5*m = -q + 3, 0 = -q - y*m + 4*m - 5. Let j = 4 + q. Solve j*d = -2*d for d.
0
Let z(w) = 28*w**2 + w + 6 + w**3 + 4*w - 23*w**2. Let b be z(-4). Solve -7 + 17 = -b*h for h.
-5
Suppose -9*a = -8*a. Suppose -c + 12 = -a*c. Solve 6*r + c = 3*r for r.
-4
Let q(z) = z**2 - 10*z - 1. Let b be q(11). Solve -5*r = -b*r for r.
0
Suppose -8 = -3*n - 3*o + 1, 2*o = 5*n - 8. Suppose -2*f + n*b + 8 = 0, -2*f - 2*f - 4*b = 0. Let v = 15 + -11. Solve f*c + v = -0 for c.
-2
Suppose -3*t - 2*q = 15 - 6, 0 = -t - 3*q - 10. Let f be (t/3)/(2/(-60)). Suppose c + s = 0, -4*s - f - 6 = 0. Solve 0 = c*j - 3 + 23 for j.
-5
Suppose 3*n = 25 - 16. Solve 0 = -0*z + n*z + 12 for z.
-4
Let b be -26*(-1 - (-9)/6). Let z = b - -15. Solve -5*x + z*x = 15 for x.
-5
Let i be 8/32 - (-3)/(-12). Solve 7*q - 2*q = i for q.
0
Suppose -q + 14 + 1 = -4*t, -q - 3 = 2*t. Solve i + 4 = -q*i for i.
-1
Let i be 1/((-2)/20)*-1. Let n = -41 - -44. Solve -2*h = n*h + 