 = -18 for r.
-4
Let j = 0 - -6. Let v be 16/3 + 4/6. Let r = v - j. Solve 8 + r = 4*z for z.
2
Suppose 4*b + b - 5 = 0. Let f be (1/2)/(b/4). Solve 0*h + 6 = -f*h for h.
-3
Let l(h) = 4*h**2 + 2*h + 1. Let w be l(-1). Let t be -50*(1 - w/2). Let q be 4/18 + t/9. Solve x - q*x = 2 for x.
-1
Suppose 0 = -w - f + 2, 0 = 4*w - 5*f - 10 - 7. Suppose 0 = -5*c - 5*z + 5, -c + w*z = -2*c - 3. Suppose 2 = -2*u + 12. Solve u*p - c = -13 for p.
-2
Let s(z) = z**3 + 17*z**2 + 30*z. Let v be s(-15). Solve v = -g + 1 - 2 for g.
-1
Let i = -3 - -4. Let r(u) = -6 + 2*u - 1 - u + i. Let t be r(10). Solve 0 = t*p - 0*p for p.
0
Suppose -5*s + 1 = -3*a - 0, -2*s = 5*a - 19. Solve -2*k - a*k + 10 = 0 for k.
2
Suppose 5*z + 0*z - 40 = 0. Let q(o) = o**2 - 8*o + 3. Let m be q(z). Suppose 2*u + 3*u + 4*g = 4, 0 = -m*u + g - 1. Solve 2 = -u*d - d for d.
-2
Let i(w) = w**2 - 7*w - 6. Suppose 3*j + 1 = 2*j, -3*h = -4*j - 10. Let m be (-34)/(-4) - 1/h. Let p be i(m). Solve p - 4 = y for y.
-2
Suppose -6*r = w - r - 11, 0 = -2*r + 4. Let v be w*(-2 - 0)*-3. Solve 0 = -2*z + v*z for z.
0
Let y be (0 - 2) + (6 - (3 + -1)). Solve 5 = y*m + 1 for m.
2
Suppose -2*l + 3*m = -3*l + 8, l + m = 4. Solve -14 = -l*o - 4 for o.
5
Let b be (-2)/(-2) + 4/4. Suppose 3*v = -o + 11, v = -b*v + 3*o + 3. Solve v*t - 7*t + 16 = 0 for t.
4
Suppose -4*w + 0*w = -20. Suppose -2 - 6 = -2*l. Let s = 4 - l. Solve s + 15 = -w*m for m.
-3
Let y(f) be the first derivative of -f**2/2 + 12*f + 2. Let w be y(9). Suppose -1 - 11 = -w*n. Solve 2*s = n*s for s.
0
Suppose 2*z - 6*z - 12 = 0. Let p be 22/6 - (-2)/z. Solve -p*w + 2 = -w for w.
1
Suppose 2*r = 5*w - 6, 2*w + w - 2 = 2*r. Let h = 6 - 9. Let p be (h/6)/((-1)/24). Solve -r*b - b = -p for b.
4
Let r = 5 - 5. Suppose r = 3*x - 0*x. Let l be (1/2*x)/1. Solve -4*o - 12 = -l*o for o.
-3
Suppose -26*u - 12 = -29*u. Suppose r - h + 3*h = 0, 0 = -r - 5*h - 6. Suppose -r*m - u*k = 0, k - 2*k = 4. Solve -m*z + z = 9 for z.
-3
Let y be 2/(-2)*(1 + -1). Solve -u + y = -4 for u.
4
Let b(o) = -o. Let f(k) = 4*k + 1. Suppose t + 3*s = -16, -4*t = -6*t + s + 3. Let p(n) = t*f(n) - 3*b(n). Let j be p(-4). Solve -j*m = -2*m + 1 for m.
-1
Let z = 8 + -5. Solve -8 = -f - z*f for f.
2
Let u = -13 - -6. Let j = 7 + u. Solve i + i = j for i.
0
Let z = 5 - 2. Solve 0 = -z*h + h for h.
0
Let d be (39/9)/(1 + 4/(-6)). Solve -2 - d = -3*k for k.
5
Let w = 20 - 16. Suppose 5*j - 10 = 5*p, 5*p - p - 7 = -j. Solve 15 = -w*z - p for z.
-4
Suppose -4*l - 8 = -f - 27, -2*l - 2*f + 2 = 0. Solve 0 = -0*b + 2*b + l for b.
-2
Let n be (0/(-2) - 2)*-1*2. Solve 2*l = n*l - 8 for l.
4
Let m(y) = -y - 3. Suppose 0*b + 5*b + 5 = -3*z, z = -4*b - 11. Suppose 20 = -z*l - 0*l. Let r be m(l). Solve 2*a + 1 = -r for a.
-1
Suppose 5*y - 8 = -c, -c + 8 = -y - y. Let p(j) = j**2 - 7*j + 6. Let g be p(5). Let l = g + c. Solve -6 - 6 = l*n for n.
-3
Suppose 5*z - 6 = 3*z. Let y be 6/((-6)/2) - -4. Solve -1 - y = z*c for c.
-1
Suppose -l - 4 = 0, 2*g + l + 4 = -l. Solve -3*u + g*u = 2 for u.
-2
Let f(v) = v**3 + 2*v**2 - v - 2. Let s be f(-2). Suppose s = -2*i - 1 + 5. Suppose 5*x = -n - 5, 18 + 7 = 4*x - 5*n. Solve -i*d + 5 + 3 = x for d.
4
Let c = 1 - -1. Solve 2*m = -2 - c for m.
-2
Let v be (-8)/(-4) + 0/(-2). Let b be (-11 - -5)/(-1*v). Solve 2*z + 4 = b*z for z.
4
Suppose 0 = -g - 2*v, 3*g - 4*v = v + 11. Solve g*j - 4*j - 8 = 0 for j.
-4
Let r be -1 + 10 + 0 + 2. Let b = r + -6. Suppose -n = -b*x - 7 + 1, 2*n - 3 = x. Solve -5*u = -n - 9 for u.
2
Let g(k) = k**3 + 9*k**2 - 9*k - 11. Let o be g(-10). Let n be ((-8)/(-6))/(7/o). Let s = -3 - n. Solve -s = p + 4 for p.
-5
Suppose -5*m + 4*m + 5*q = 10, 3*q = -3*m + 42. Suppose 0*r = 2*r + 5*s - 20, m = 5*s. Let o = r + -3. Solve 0 = -y - o*y + 15 for y.
5
Let b be 7 + 1*16/(-4). Solve 6*v + 3 = b*v for v.
-1
Let x be 15*(6/9)/1. Let i = 13 - x. Solve -4*f = -i - 5 for f.
2
Suppose 2*f + 0 + 1 = 3*j, 4*f + 3*j - 7 = 0. Solve g - f = -6 for g.
-5
Suppose -4*p + 64 = 4*d, d + 3*p - 3 = 5. Suppose -3*l - 2*l + d = 0. Solve -l*t = -7*t for t.
0
Let v be ((-2)/(-16))/(3/24). Solve -3*f = -2 - v for f.
1
Suppose 3*t = 10 + 2. Suppose -w - 9 = -t*w. Let l be 8/36 + 68/18. Solve 0 = -w*z + z + l for z.
2
Let g(n) = -n**3 - 6*n**2 - n - 2. Let h be g(-6). Suppose -h*q + 3 = -9. Solve 0 = -y - 4 + q for y.
-1
Suppose -4*z = 3 - 23. Suppose -4*i + z*i - 10 = 0. Solve 0 = -9*c + 4*c - i for c.
-2
Let s(h) = -2*h. Let c be s(0). Solve -f - 3*f + 16 = c for f.
4
Let t(s) = s + 5. Let p be t(-3). Solve -2*y = 6 - p for y.
-2
Let k(n) = -n**2 + 9*n + 1. Let j be k(8). Solve 3*y + 0*y = j for y.
3
Suppose -4*g + 5 + 3 = 0. Suppose -3*b - g + 14 = 0. Suppose -17 = -b*y + 3. Solve 2 = x + y for x.
-3
Let a be 6 + (3/(-2))/((-36)/(-48)). Solve -a*q - 4 = 8 for q.
-3
Let s(g) = -g**2 - 12*g - 7. Let t be s(-11). Let m be (-1)/t - (-26)/8. Solve m + 1 = -n for n.
-4
Suppose 4*p - p = 15. Solve -23 = p*a - 3 for a.
-4
Suppose m - 3*j = -4*m - 2, 5*m = -2*j + 18. Solve m - 8 = -3*g for g.
2
Let q(p) = -p**3 - 12*p**2 - 13*p + 12. Suppose z - 275 = -4*z. Suppose 2*v + 3*v + z = 0. Let y be q(v). Solve -5*a + 9 = y for a.
-5
Let d = 7 - 2. Let k = -2 + d. Suppose 0 = -k*o + 4*s + 76, -s = -o - 4*o + 155. Solve -5*f = -o + 7 for f.
5
Let f(r) = r**3 + 4*r**2 + 4*r + 3. Let i be 2/1 + 0/3. Suppose i*p + 0*p + 4 = 0. Let l be f(p). Solve -l*q + 5 = -1 for q.
2
Let y be (9 - 2)*(0 - -1). Suppose -y = k - 20. Suppose -k = -j + 2*l, -1 = -2*l - 5. Solve -4*z = 3 + j for z.
-3
Suppose 2*g = -2*t - 2, -4*g + 5*t + 3 + 38 = 0. Solve g*d = -d for d.
0
Suppose 0 = u - 6*u + 10. Suppose 2*l + u = q + 5*l, -5*q + 22 = 3*l. Let a(w) = -w**3 - 4*w**2 - 4*w - 4. Let f be a(-4). Solve 13 = q*g - f for g.
5
Let i(c) = -6 - 4*c + 8*c + 2. Let y be i(4). Solve -2*u - u + y = 0 for u.
4
Let m(v) be the first derivative of -v**4/4 + 2*v**3/3 + v**2 - 3*v - 2. Let j be m(2). Let z be 1 + j + 6/3. Solve 1 + z = -5*k for k.
-1
Suppose -2*u + 54 = 4*o, 3*o - o - 18 = 2*u. Solve 0*l - 3*l = -o for l.
4
Let b(x) = x - 2 - x - x. Let t(p) = -p**3 + 3*p**2 + 4*p - 3. Let r be t(4). Let u be b(r). Solve h - u + 2 = 0 for h.
-1
Let i(s) = -s + 1. Let k be i(1). Let q(n) = n**2 + 0*n**2 + k - 2. Let b be q(-2). Solve -b*j = j for j.
0
Let t(r) = r**3 + r**2 - r. Let l be t(0). Suppose 0 = -l*s + s + 25. Let a be (-5)/(-1)*(-10)/s. Solve -4*n + a*n = 0 for n.
0
Let h(v) = v**3 + 4*v**2 + 2*v + 1. Let x be h(-2). Let d(q) = -q**2 + 8*q - 9. Let r be d(x). Solve 8 = -4*f + r*f for f.
4
Let s = 6 + -7. Let d be 12/4 - 0/s. Suppose -18 = -3*h + h - 2*g, -2*g + 26 = d*h. Solve h = -4*p + 24 for p.
4
Suppose 4*j - 36 = -4*x, -5*x - 13 = -2*j - 2*x. Solve 6*s = 2*s - j for s.
-2
Let a = -6 - -6. Solve a*u - 4*u = -16 for u.
4
Suppose -2*d - 3*j + 12 = 0, 0 = 3*d - 2*j + 8. Let n be (2 - (2 - d)) + 6. Solve n*w - 3 = 3*w for w.
1
Let p be 10/15*(-3)/(-1). Suppose -x = -p - 6. Solve 5*n = 7 + x for n.
3
Let m = -4 + 4. Suppose -5 = -m*u - u. Suppose -19 = -f + u*x, 2*x = 2*f - x - 17. Solve f*w - 3 = w for w.
1
Let n = -103 - -103. Solve -2*l + l - 5 = n for l.
-5
Let n = -6 + 9. Solve 3 + n = -3*p for p.
-2
Let u = -3 + -2. Let l(i) = i + 7. Let a be l(u). Solve -a*r = r for r.
0
Let n be (0 - 0) + (-4)/(-2). Suppose -n*i = -0*i. Solve i*r + 3*r = 12 for r.
4
Let f = 3 - 4. Let v be (-1)/(f/(15/3)). Solve -v*x = -6 - 14 for x.
4
Let z = -21 - -28. Let g be ((-6)/(-15))/(2/10). Let k(l) = -l**3 + 3*l**2 - 2. Let j be k(g). Solve j*q - 15 = z*q for q.
-3
Let n = -40 - -44. Solve 14 = -n*g - 6 for g.
-5
Let t = 1 + -7. Let u be 33/(-44) - t/8. Solve u = -5*j - 1 + 26 for j.
5
Let p be 1/(-2)*(-2 + 2). Suppose 4*f - 21 = -j, -3*j = 7 - 22. Solve f*x - 3*x = p for x.
0
Suppose 0 = 2*t - 2*k + 6, -2*k - 2*k = -12. Solve t = -0*h + 2*h + 4 for h.
-2
Suppose 142*j = 146*j. Solve -6*d + 8*d = j for d.
0
Let u = 17 - 10. Suppose 3*j - 11 = 4*m, -4*m - u = -2*j - m. Suppose b - 38 = -3*h + 3*b, j*h - 2*b - 62 = 0. Solve 3*s = -s - h for s.
-3
Suppose 5 = b - 21. Suppose 5*h + 4*j = b, -5*h + 2*h - 2*j + 14 = 0. Solve 0 = -0*m - h*m for m.
0
Suppose -3 = -a + 1. Suppose a*q + 12 - 32 = 0. Solve -q = -u - 4*u for u.
1
Let j = 27 - 2. Let a be (40/j)/((-4)/(-50)). Let z be (0/1)/(2 + -1). Solve 0 = 5*h - z*h + a for h.