r s.
-5
Suppose 0 = r - 4*r + 9. Suppose -t = r*l - 20, -4*l + 5*t + 2 = -2*l. Solve l - 1 = -o for o.
-5
Suppose -5*r = -8*r + 6. Solve 0 = r*a - 4*a + 2 for a.
1
Let c(h) be the first derivative of h**4/4 - 2*h**3/3 + h**2/2 + h + 6. Let v be c(2). Solve -5 = 2*i - v*i for i.
5
Let n = -11 + 13. Solve 0 = -6*v + n*v + 20 for v.
5
Let v(n) = n**2 + 3*n - 4. Let x be v(-5). Let d be 1*10/(x/3). Solve -2 = -3*p - d for p.
-1
Let f(s) = -3*s**3 - s**2 - s - 1. Suppose -5 = 4*w - 2*a + 3*a, -4*a = -3*w + 1. Let x be f(w). Solve -x*c + 4*c + 8 = 0 for c.
-4
Suppose b + 5*w - 8 = 0, 3*b - 3*w + 4*w = 10. Suppose -4 = -4*i, -4*g - b*i = -3*g - 28. Solve 0 = 6*h - h + g for h.
-5
Let i = 24 - 35. Let c = 14 + i. Solve 0 = c*x - 9 - 6 for x.
5
Let n = -11 + 22. Suppose -2*a + 1 = -13. Let z = n - a. Solve 0 = -0*g - z*g + 4 for g.
1
Let q(j) = -j**3 + 4*j**2 - 2*j. Let r be q(3). Let p be (-1*10)/((-1)/16). Let v be (r/(-2))/((-12)/p). Solve 0 = x + 3*x + v for x.
-5
Let l(u) = 4*u**2 + u + 12. Let a be l(5). Let p be (-8)/(-28) - a/(-7). Solve 0 = 3*s + p - 2 for s.
-5
Suppose -d + v - 5 = -2*d, -d + 17 = 5*v. Let m(x) = 3*x**2 - 1. Let i be m(-1). Suppose 0*s - i*s = -d*y - 4, 0 = -4*y + s + 7. Solve -y*h = -0*h for h.
0
Let x(a) = -a**3 - a**2 - a - 1. Let v be x(-2). Let t(i) = i**3 + 6*i**2 + 5*i + 6. Let r be t(-5). Solve r*o = o - v for o.
-1
Let t = 6 - 3. Suppose -2*w - 3*b = t, -w - b = 2*w + 8. Let r be (w + 6/2)/(-1). Solve -2*a + 6*a - 20 = r for a.
5
Let a be 10/(-3)*(-6)/1. Suppose 3*i = 4*t + 15, 2*t - 4*i + 0*i + a = 0. Suppose 2*k + k - 2*p - 11 = 0, -6 = -2*k + 2*p. Solve 4*o - k*o - 3 = t for o.
-3
Let s(n) = -n - 2. Let x be s(-5). Solve 2*b - x - 3 = 0 for b.
3
Let q = -11 + 14. Solve 8*t = q*t - 25 for t.
-5
Let a(w) = 9*w**2 + w. Let x be a(1). Suppose -6*v + x*v = 16. Solve -2*b - 2*b = -v for b.
1
Let v(u) = -u**2 + 2. Let g be v(0). Solve -4 = -g*m - 14 for m.
-5
Suppose 3*y + 6 = -2*w, -4*y - 12 = -2*w - 4. Let j = 6 - w. Suppose -18*o = -21*o. Solve j*c - 3*c + 12 = o for c.
-4
Let r(q) = q**2 - 6*q - 10. Let k be r(7). Let n = k + 5. Solve n*s = -3*s for s.
0
Let r = 10 + -5. Suppose -q = q - a - r, -4*a = 5*q - 32. Suppose -4*u + q + 8 = 0. Solve -3*s = -0*s + u for s.
-1
Let t = -10 + 20. Let h(b) = -b**3 + 9*b**2 + 9*b + 3. Let x be h(t). Let z be -3*x/(21/20). Solve -u - 4*u = -z for u.
4
Let p = 41 + -21. Let l(y) = 4*y + 1. Let u be l(6). Suppose 3*i = 2*b + u, -2*i - 3*i + 4*b + 45 = 0. Solve -i*r = -r - p for r.
5
Suppose 4 = 4*s - 3*s. Solve -j = -s*j for j.
0
Suppose 0 = -f - 4*f + 70. Solve 4*u + 2 = -f for u.
-4
Suppose 2*x - 80 = 3*k - 8*k, 3*k - 41 = -x. Suppose 5*c - x = 2*b, 2*c - 3*b + 4*b = 5. Suppose -c*l + 3*l = -12. Solve l*i = 3*i + 15 for i.
5
Let m(j) = 3*j**2 - 3*j + 1. Let s be m(2). Let q be 0 + 3 - (-2)/(-2). Solve -q*f - 25 = -s*f for f.
5
Suppose 0*q = 2*q - 88. Let y = q - 16. Suppose -g - g + y = 0. Solve -6 = 5*k + g for k.
-4
Let g(u) = u**3 + 5*u**2 + 2. Let t be g(-5). Let j be (-2)/t + (0 - -4). Suppose 0 = r + 4*x + 4, r + r + 2*x = 4. Solve 2*d - j*d = -r for d.
4
Suppose -r - 7 = 5*n - 37, -3*r + 71 = -4*n. Solve o = -4*o - r for o.
-5
Suppose 10 = 4*d + j, -4*d + 20 = d + 5*j. Solve -h - d = -1 for h.
-1
Let j(s) = -s + 3. Let q be j(-4). Solve q*o + 4 = 3*o for o.
-1
Let j = 10 + -28. Let u = 29 + j. Solve u = -5*k + 1 for k.
-2
Suppose t = -t. Suppose 3*q - 88 = -5*z, 0*q = 5*q + 20. Suppose t*i + 5*i - z = 0. Solve -2*s - i = -0 for s.
-2
Let l = 0 + 4. Suppose -l*r - 20 = -3*o + 1, -o + 4*r = -15. Solve -q = -o*q for q.
0
Suppose 0 = 6*h - 3*h - 9. Solve 20 = h*i + 2*i for i.
4
Let s = 17 - 13. Solve -s*q = -3*q + 1 for q.
-1
Let l be ((-3)/((-18)/24))/(8/6). Let d = 8 - 4. Solve d*x = l*x for x.
0
Let g(l) = -l**2 + 6*l + 9. Let k(f) = f**3 - 4*f**2 + 2*f - 1. Let x be k(4). Let a be g(x). Solve 6 = -a*r - r for r.
-2
Let n be (-21)/28*4 - 1*-3. Let y = 0 - -2. Solve n = y*v - 6*v for v.
0
Suppose -5*t - 2*b + 5 = 0, -14 = 5*t - 3*t + 4*b. Suppose 0 = -t*g + g. Solve -3*w = -g*w - 3 for w.
1
Let k be (-3)/(-9) - 28/(-6). Let o = k + -6. Let m = o + 2. Solve g - m = 3 for g.
4
Let r(q) = -q**3 + 9*q**2 - 9*q + 10. Let n be r(8). Let a be (1/n)/(-1)*16. Let l = -7 - a. Solve l = 5*b - 14 for b.
3
Suppose 1 = -4*u + 13. Suppose 12 = u*s + g, -4*s + 4 = -3*s + 4*g. Solve 2*w = -0*w + s for w.
2
Let x = 8 - 8. Let i = x - 1. Let b be (1 - i)*40/16. Solve -20 = -h + b*h for h.
-5
Suppose -p + 7 = -3*f, 3*p + 0*f - 2*f = 14. Let h(i) = i**3 - 8*i**2 + 13*i - 3. Let b be h(6). Solve 0 = -p*l + b*l + 3 for l.
3
Suppose -5*j + 6 + 9 = 0. Suppose -3*s + 21 = -j*a, -5*a = 4*s - 2*a. Solve s*b = 5*b for b.
0
Let p(j) = -49*j - 1. Let t be p(1). Let o = -30 - t. Suppose 4*x + s - 20 = -0*s, -o = -5*s. Solve -2*a + a + x = 0 for a.
4
Suppose 2 = z - 1. Solve -2*q - z = -3*q for q.
3
Suppose -3 = p - x, p = 4*x + 5 - 23. Let v be (-12)/(-15)*(3 + p). Solve v*m = 5*m + 3 for m.
-3
Let z(g) = -10*g - 7. Let b be z(-2). Solve b - 5 = 2*r for r.
4
Let u = -2 - -6. Suppose -2*l = -5*v + 5, 2*l - 2*v = u*l - 2. Solve -w - 1 - 1 = l for w.
-2
Let p be 22 + (-1 + -3 - -3). Suppose -5*s = -p - 4. Solve s*m + 4 = m for m.
-1
Let z(m) = 5*m**3 - 2*m**2 + 3*m - 1. Let a be z(1). Solve a*q = 3*q for q.
0
Let u be -2*(-2)/(8/10). Suppose -12 = -a + 2*s, 4*a + 0*a + u*s = -17. Let q = 15 - 9. Solve q*l = 4*l + a for l.
1
Suppose 5*u + 0*u = -10. Let a be 1 + -2*1/u. Let b(p) = p**3 - 4*p**2 + p - 1. Let o be b(4). Solve -o*v = 1 + a for v.
-1
Let m be 3/(-6) + (-42)/(-4). Suppose -m = 3*j - 8*j. Suppose 0*s - j*s = -6. Solve -s*i + 4 = 19 for i.
-5
Let q(x) = 9*x - 4. Let s be q(3). Suppose -5*z - s = -j - 0*j, -9 = 3*z. Suppose j*n = 3*n + 10, 5*n + 14 = 2*l. Solve 4*g + 0*g = -l for g.
-3
Let d(x) = x**2 + 8*x + 23. Let b be d(-5). Solve -7*w + b = -9*w for w.
-4
Let c(r) = -4*r - 1. Let d(f) = -4*f. Let b(n) = 4*c(n) - 3*d(n). Let w be b(-3). Let o be (-18)/(-4) - (-4)/w. Solve 0 = o*t + 25 for t.
-5
Let x(l) = l. Suppose 2*s = -2*s - 24. Let n(c) = c**2 + 7*c + 9. Let d be n(s). Let y be x(d). Solve -5*p - 2 = -y*p for p.
-1
Let a(i) = 4*i + 8. Let h be a(-4). Let y = 8 + h. Solve y*p = -p for p.
0
Let q(w) = w**2 + 11*w - 17. Let t be q(-14). Let p = t - 21. Solve -p*m = -5*m for m.
0
Suppose -2*f + 103 = 3*f + u, 0 = 5*f + 5*u - 115. Suppose -f = 2*a - 0*a. Let t be ((-8)/a + 0)*10. Solve 0 = -p - 3 + t for p.
5
Let f(q) be the first derivative of -q**3/3 + 5*q**2/2 - 2*q + 4. Let h be f(3). Solve -h*r = -2 + 6 for r.
-1
Let r be -10*(10/4 - 1). Let w be 4/(0 + (-6)/r). Suppose -2*u - w = -5*x + 2*u, u = 3*x - 6. Solve -2*n - 4 = x*n for n.
-1
Let v(g) = -g**3 - 7*g**2 - g - 3. Let h be v(-7). Solve h*d = 2 + 18 for d.
5
Let u(t) = -t**3 + 5*t**2 + 7*t - 2. Suppose 6 = 2*i - 6. Let x be u(i). Solve x*g + 16 = -0*g for g.
-4
Let h = 11 - 9. Solve h*d = -d for d.
0
Suppose 0 = -3*s - s. Suppose 0*b + b - 2 = s. Suppose 2*t + b*t - 12 = 0. Solve t = -u + 1 for u.
-2
Let m be -1 + (-2 - -16) + -3. Solve -2*z + 0*z = m for z.
-5
Suppose 2*i = -4 + 10. Suppose -i = -5*k + 7, -4*h = -5*k - 2. Solve 4*j + h + 13 = 0 for j.
-4
Let w = 74 - 62. Solve -x = -5*x - w for x.
-3
Suppose -z = -19*z + 36. Let m = 49 + -27. Suppose -2*j - m = -8*h + 4*h, 3*j - 3 = 0. Solve h = z*b - 4 for b.
5
Let o = -17 - -19. Let w be 6 + -2 + (1 - 1). Let l be (-10)/(-4) - (-2)/w. Solve o + 7 = -l*t for t.
-3
Let j be (0/(-2))/(-1 + 3). Suppose 9*z - 7*z = 0. Solve z = -j*n + 3*n for n.
0
Let d(t) = -t + 1. Let l(k) = 3*k - 12. Let s = 3 - 4. Let z(n) = s*l(n) - 4*d(n). Let m be z(-5). Solve 0 = -m*u + u - 2 for u.
-1
Suppose 2*g - 5*o = 32, 3*o + o = -16. Solve f = g*f for f.
0
Let u(d) = 2*d**2 - 2*d - 3. Let y be u(3). Let w(h) = 2*h - 12. Let b be w(y). Let j = 1 - 1. Solve j = -0*c + 3*c - b for c.
2
Let q be 7/3 + 2/3. Suppose -q*x - 4*a + 23 = 0, -x + a + a + 1 = 0. Suppose 0*l + 4 = 3*l - m, 5*m = x*l + 10. Solve -l*b + 9 - 3 = 0 for b.
2
Let b(h) = -h**2 - 4*h + 1. Let s be b(-3). Suppose -s*d + 36 = -d. Suppose -d = 4*f, 5*f + 36 = z - 4. Solve 10*u = 5*u + z for u.
5
Suppose 5*g - 2 = 4*g. Suppose -5 = -4*u - 3*q - g, 2*u + 4*q - 4 = 0. Solve -p + 0 + 3 = u for p.
3
Suppose -32 = -5*i + 18. Suppose -2*c = -5*c + 4*v