 a*r - 24 - 1 = 0 for r.
5
Suppose g = -m - 0*g + 5, 3*m = 5*g + 7. Suppose 2 + m = 2*x. Solve s + x = -2 for s.
-5
Let g be (-2 + 2)/(0 + 1). Suppose -2*q + g = -2. Let l be -2 - (0/q - 4). Solve 0 = l*s - s + 5 for s.
-5
Suppose -1 = -l - 2. Suppose -4*a = a - 75. Let w be a/6 - l/2. Solve -d = w*d for d.
0
Let f be -9*(40/(-12) + 1). Solve -3*w = -6 + f for w.
-5
Suppose v + 4*v - 25 = 0. Suppose v*j - 24 = 2*j. Solve -j*z + 4*z - 16 = 0 for z.
-4
Let k(v) = v**3 + 2*v**2 - 3*v. Let c be k(-3). Suppose 0 = -m - c*m + 5. Let i = 1 - -1. Solve m*t = i*t for t.
0
Let o be (8 + 0/2)*1. Solve -a = 3*a - o for a.
2
Let z(y) = y + 5. Let k be z(0). Solve -6 + 16 = k*i for i.
2
Let o = -3 + 9. Let x(p) = p - 4. Let u be x(o). Solve 3*d = -u*d - 15 for d.
-3
Let q = -14 + 14. Solve -3*d = -q*d + 12 for d.
-4
Suppose 24 = -12*g + 72. Solve 0 = -2*p - g - 6 for p.
-5
Let m = -20 + 16. Let o = -3 - m. Solve 0 = v + 6 - o for v.
-5
Let x(b) be the first derivative of -b**5/60 - b**4/4 + b**3/3 + b**2 + 1. Let a(r) be the second derivative of x(r). Let p be a(-4). Solve -q + p = -6*q for q.
-2
Let c be 2/5 - 7/5. Let o = c + 0. Let k be -4*((-1)/o)/(-2). Solve -3*m = k*m for m.
0
Let p = -14 + 20. Solve 16 = 2*t + p for t.
5
Suppose -3*g + 25 = 2*j, -15 = -3*g + j + 4. Suppose t + 3*c - g = c, t - c - 1 = 0. Solve 0*s - t = 3*s for s.
-1
Suppose -c - 1 = 2. Let k be 3 - 4 - 0 - c. Solve -6 = -2*x - k for x.
2
Suppose 3*x - 5*x = 4. Let v be (-2)/3 - (-4)/6. Let l be v/(3 - (2 + x)). Solve l = -4*o + o + 12 for o.
4
Let c(o) = -10*o - 10. Let w be c(-1). Solve w = -2*m - m for m.
0
Suppose 5*x - x - 12 = 0. Suppose -u + 2*u = 4*i + 17, -x*i = 9. Suppose 5*a - u*c = 0, a - 3*c + 7*c - 15 = 0. Solve -a*o = 2*o for o.
0
Let o be (9 + (-2 - 0))*-1. Let k(q) = 7*q + 13. Let s(l) = -13*l - 25. Let p(x) = 11*k(x) + 6*s(x). Let y be p(o). Solve -2*m + 4*m + 4 = y for m.
-2
Let p = 3 - 2. Let k(a) = -2*a + 2*a + a + 4*a**2. Let n be k(p). Solve n*o = 3*o for o.
0
Let x be 24 + (-3)/(2 - -1). Suppose 5*s - x = 2*n, 2*n - 4*n - 3 = -s. Solve -s*m = -0*m - 25 for m.
5
Let u(a) = a**3 + 13*a**2 + 13*a + 15. Let o be u(-12). Solve -6*h + o*h = 0 for h.
0
Suppose -5*w = -3*w. Solve -15 = 3*y - w*y for y.
-5
Suppose -3*o = 5*c - 7, 3*o - 4*c - 3 = -7*c. Let s(h) be the third derivative of h**5/15 - h**4/24 + 2*h**2. Let f be s(o). Solve f*x - 20 = 9*x for x.
-5
Let w = -5 + 10. Suppose -4*q = -w*q. Solve 3*d + 3 + q = 0 for d.
-1
Let k(p) = -3 - 2*p + 0*p - p. Let t be k(-2). Suppose 0*x = t*x. Solve 0 = -4*d - x*d + 20 for d.
5
Suppose 2*b + 5 + 1 = 2*o, 0 = 2*o - 3*b - 4. Suppose 0 = -h + 6*h - o. Solve 5*w - 19 = h for w.
4
Suppose 0 = -5*y - 11 + 86. Suppose -3*o - 2*o = -y. Suppose o*s = -k - 3, 2*k + 4 = s - 2. Solve 5*i - i = s for i.
0
Suppose 5*k = k + 252. Let j be k/7 + 1*2. Let c = j - 7. Solve 0 = -y - y + c for y.
2
Let u(m) = -5*m + 55. Let r be u(7). Solve -11*k + 16*k = r for k.
4
Let t(h) = 2*h - 4. Let b be t(3). Suppose 0*a - 6 = -b*a. Solve 0 = -a*n + 6 for n.
2
Let b be 2/10 - 8*36/40. Let u be (2/(-2))/1 + -2. Let a = u - b. Solve 0*s = -a*s - 16 for s.
-4
Let h be (0 - -3)*(-2)/(-2). Let g(q) = q. Let v be g(1). Solve -4 + v = -h*o for o.
1
Suppose 4*g = -3*g + 21. Let t(n) = n - 1. Let b be t(3). Solve u = -b*u - g for u.
-1
Let i = -3 - -5. Suppose 2*y + 28 = -t - 3*y, 4*t + i = 2*y. Let d(k) = -k**3 - 2*k**2 - 1. Let v be d(t). Solve -v + 4 = -x for x.
4
Suppose -4*t - 9*t + 26 = 0. Solve 0 = t*n - 0*n for n.
0
Let d be (-26)/(-4) - 3/6. Let v be 2/d - (-28)/6. Suppose 0 = 8*n - 3*n - 3*w - v, 2*n = -w + 13. Solve -n*k + 2*k = 0 for k.
0
Suppose -4*u = -20, 0 = -4*i + 2*i - 2*u - 2. Let p(o) = o**3 + 7*o**2 + 7*o + 14. Let q be p(i). Suppose -4*n + n + 12 = 0. Solve -n*j - 20 = -q*j for j.
5
Let m(a) = -a + 8. Let s be m(7). Solve -q = s + 2 for q.
-3
Suppose 2 = -l - l. Let q be l/(1 + 1)*-4. Let p = -5 + 8. Solve -x = -p*x - q for x.
-1
Let w(x) = -19*x**3 - 2*x - 1. Let o be w(-1). Let p be (-5)/(-2*2/o). Solve -3*a - 2*a - p = 0 for a.
-5
Let u(p) = -p**2 - 7*p + 2. Suppose 4*l - 23 = -3*m, -3*l + 6*l - 5*m - 10 = 0. Suppose l*r + 34 = -1. Let c be u(r). Solve -3*v - c = 1 for v.
-1
Let w = -1 - -4. Suppose 4*p - w*s - 51 = 0, -2*s + 3*s - 11 = -p. Suppose -l - 2*l = -3*i - p, -l = 2*i - 4. Solve i = -3*h - 0*h - 3 for h.
-1
Let l = -3 - 0. Let v(m) = m**3 + 8*m**2 + 6*m - 6. Let f be v(-7). Let t be (-236)/(-12) - f/l. Solve 0 = o + 4*o + t for o.
-4
Let t(s) = -s**3 + 6*s**2 + s - 4. Let j be t(6). Solve -v + 5 - j = 0 for v.
3
Suppose -2*y - 2*r = -y, -r + 3 = 2*y. Let t(p) = p + 1 - y + 13. Let h be t(-9). Solve 0*d - h*d = 0 for d.
0
Let k(t) be the first derivative of t**3/3 - 3*t**2/2 + 4*t + 1. Let n be k(3). Solve n*f = 6 - 18 for f.
-3
Let s(r) = r**2 + 5*r + 1. Let b be s(-6). Suppose 22 = 3*v + b. Suppose -d = -v*t + 22, 5*t = 2*d + 4*t - 1. Solve d*h - 2 - 4 = 0 for h.
2
Suppose -5*f = -2*f - 4*o + 7, 3*f + 4*o = 1. Let x be (f - -1)*2/4. Solve x*b + 5*b + 25 = 0 for b.
-5
Suppose 4 - 2 = b. Let r be -1 - (1 - 1 - b). Let y be 0*(2/(-3) + r). Solve 0 = -4*v - y*v - 8 for v.
-2
Let n(c) = -3*c**2 + 7*c - 2. Let j be n(5). Let t be j/(-9) - 2/3. Suppose -m = 5*v + 15, 2 = m - t*v - 19. Solve m = 3*x + 2*x for x.
1
Let z = -3 - -8. Suppose 0 = 4*c + 5*x + 20, c = 3*x + z + 7. Solve -6 = -c*p + 2*p for p.
-3
Suppose -2*p - 2*y = 14, -2*p - y - 20 = 3*y. Let t = p + 4. Suppose t*r + 3*r - 12 = 0. Solve 5*q + r = 3*q for q.
-2
Suppose -d + 21 = c + 3*c, 0 = d + 3*c - 18. Let i = -5 + d. Let g = -1 + i. Solve 0*t = g*t - 6 for t.
2
Let j = 183 - 181. Solve 10 = 4*k - j*k for k.
5
Let i be ((-8)/(-14))/((-32)/(-112)). Solve 0 = -2*l + 3*l + i for l.
-2
Let f = 12 - 10. Let z be 105/(-14)*f/(-3). Suppose -z*n + 28 - 3 = 0. Solve -2 + n = s for s.
3
Let u(z) = z + 1. Let f be u(-2). Suppose 0 = -17*d + 16*d. Let l = d - f. Solve -m = l + 2 for m.
-3
Let g = 44 - 44. Solve g = -d + 4*d for d.
0
Let s be (-11)/(-3) + 4/12. Suppose 0 = -s*k - 0*k + 8. Solve -k = a - 0 for a.
-2
Let r be ((-4)/(-10))/(-2) + 2/10. Solve 12 = -3*d - r*d for d.
-4
Let d be 3/7 - (-102)/7. Suppose -4*m - m + d = 0. Solve -2 - 1 = -m*i for i.
1
Let r(d) be the second derivative of 4*d + 0 - 1/20*d**5 - 3/2*d**2 + 1/4*d**4 + d**3. Let x be r(4). Solve -x = 3*c - 20 for c.
5
Let t(z) = -z**3 + 2*z**2 + 4*z. Let h be t(3). Suppose -3*a + 6*a + h*m = 33, -18 = -2*a - 3*m. Let x be 7/(-14) + (-3)/(-6). Solve 2*c - 5*c + a = x for c.
5
Suppose 30 = 3*y - y. Solve 4*z = z - y for z.
-5
Suppose -12 = -2*h - 0*h. Suppose -1 = -2*j + 4*j - 5*z, 4*z = -12. Let w be 21/14*j/(-6). Solve -h*r - 16 = -w*r for r.
-4
Let q = -31 + 34. Solve 0*a = q*a for a.
0
Suppose w + 4*w + t = -31, w = -2*t + 1. Let o be 95/35 + (-2)/w. Solve -o*i - 3 = -2*i for i.
-3
Suppose 9*t - 20 = 4*t. Suppose -2 = -s - t. Let i = s + 2. Solve 12 + i = -3*q for q.
-4
Let v be -3*(4/4)/(-1). Suppose -6 = -6*u + v*u. Solve x = u*x + 2 for x.
-2
Suppose 3*b + 30 = d - 0*d, 5*b + 55 = 2*d. Solve -d = -5*a - 40 for a.
-5
Let f be (-2)/(-4) + 1/(-2). Solve -3*z - 1 + 4 = f for z.
1
Let n(u) = 3*u**3 - 7*u**2 + u - 7. Let b be n(3). Solve -3*t = -2 + b for t.
-4
Let j be ((-15)/6)/((-2)/4). Suppose 34*a - 120 = 28*a. Solve -j*v - a = -v for v.
-5
Let d be 4/10 + 86/10. Suppose w - d = -3*t, 2*t + w + 4*w = 19. Let p(q) = -q**2 + 5*q - 1. Let i be p(t). Solve 0 = -i*k + 6 - 1 for k.
1
Let v(y) = y - 5. Let w = 17 + -12. Let c be v(w). Solve -4*h + c*h - 8 = 0 for h.
-2
Let x(k) = -k**3 + 3*k**2 + 4*k**2 + 0*k**3 + 4. Let h be x(7). Solve -h + 12 = -2*f for f.
-4
Let t = 11 + -5. Let a = 23 - 13. Let m be a/t + 1/3. Solve 3*p - m*p = 0 for p.
0
Suppose -3*f = -4*f. Suppose f = -5*z + 4*a - 12, 0 = -2*z + 2*a - a - 3. Solve z*o - 4 = -4*o for o.
1
Let l = -27 - -59. Suppose -4*x - 4 = -l. Solve -2 = 5*k - x for k.
1
Let s = 25 - 17. Let m be 10/14 + s/28. Suppose 2*x = 10 + 2. Solve -x = -g - m for g.
5
Let k be (3 + -6)/(-3)*-2. Let y(h) = 2*h**2 + 4*h + 3. Let i be y(k). Solve 20 = -8*u + i*u for u.
-4
Suppose 0 = 3*j + j. Let r = j - 0. Let n(u) = -u + 17. Let t be n(7). Solve 4*s + s - t = r for s.
2
Suppose 5*g - 24 = -g. Solve g*w + 16 = 4 for w.
-3
Suppose 9*p = -7*p + 32. Suppose -4*r + 15 = -1. Solv