r - r. Let y be r/(-4) + 3/2. Solve -y*q = -3*q + 4 for q.
-2
Suppose -1 = -4*n + 3. Solve -4*o + n = 5 for o.
-1
Let d = -147 + 149. Solve -3*k - d = -2*k for k.
-2
Let i = -67 - -68. Solve -t = 5 - i for t.
-4
Let d(a) = -4*a + 42. Let q be d(9). Solve 4*c = q + 2 for c.
2
Let f = -86 + 88. Solve -f*o + 4 + 4 = 0 for o.
4
Let v be (-3)/((-6)/(-2)) + 19. Let d = v + -13. Suppose 0*f = f - d. Solve -f*t - 8 + 33 = 0 for t.
5
Suppose -4*c + 28 = 3*k, c + 2 = 4*k - 10. Solve -2*z = -z + k for z.
-4
Suppose 4*x = 2*u, 3 = 2*x + 2*u - 3. Let c be 3 + x*1/(-1). Solve c*t = 4*t - 4 for t.
2
Let y be 10/4*(-24)/(-10). Suppose -i - 15 = -y*i. Solve 0 = -v - 0 + i for v.
3
Let d = -18 + 18. Solve 2*z = 6 - d for z.
3
Let y = 1 - -2. Let r(z) = -z - 13. Let b(f) = -2*f - 27. Let g(x) = y*b(x) - 7*r(x). Let s be g(-6). Solve 0 = 2*t - 0*t - s for t.
2
Let w(p) = 3*p**2 - 4*p - 7. Let k be w(3). Solve -k - 2 = 2*f for f.
-5
Suppose -6*g - 5*c + 25 = -g, -15 = 3*g - 3*c. Suppose -3*p + 2*p + 2 = g. Solve -p*z - 6 = -0*z for z.
-3
Let r be 8/(-52) + (-197)/(-13). Solve -3*b - 2*b = r for b.
-3
Let n be ((-11)/3 - -3)*-21. Solve n = 5*p - 6 for p.
4
Let p(s) = 2*s - 10. Let b be p(7). Suppose 9*l - b*l - 10 = 0. Solve -l*z + z = -2 for z.
2
Let g = -30 - -31. Solve 6 - g = v for v.
5
Let s = 180 + -96. Let i = -37 + -19. Let l = s + i. Solve -3 = -5*o - l for o.
-5
Let c be 1/3 - (-52)/6. Suppose 3*y - 58 = -10. Let d(q) = q**3 - 17*q**2 + 15*q + 16. Let m be d(y). Solve -g - 2*g - c = m for g.
-3
Let g = -6 + 9. Suppose 17 = g*i - 22. Solve i + 2 = 3*d for d.
5
Let x be 2/(-8) - (-231)/28. Solve 0 = -2*c - x for c.
-4
Let j be ((-4)/(-5))/((-4)/(-10)). Suppose w - j = 3*w. Let y(t) = -2*t. Let r be y(w). Solve -r*i + 8 = 2*i for i.
2
Suppose 0 = 4*s + 4 - 24. Suppose -z - 7 = -2*t + 2*z, -s*z = -t. Solve 4*y + t = -y for y.
-1
Suppose s + 5 = 1. Let w = s + 9. Solve w = 5*k - 15 for k.
4
Suppose r = 3*r. Let w(i) = i - 3. Let l be w(r). Let c be ((-1)/l)/(5/30). Solve 0*s = c*s + 4 for s.
-2
Let b be 2 - (0 - (0 + 0)). Let n be (-1)/b - 5/(-2). Solve 0 = 3*u - n + 11 for u.
-3
Let r(q) = 2*q**2 - 53*q - 2. Let z be r(27). Solve -z = 2*t + 3*t for t.
-5
Suppose -k + 6*k = -2*a + 9, -5*a = 5*k - 45. Let i(c) = c**3 + c**2 - c + 1. Let f be i(-2). Let v be 55/10 + f/2. Solve 2*x - v*x + a = 0 for x.
4
Let w(z) = -4*z**3 + 2*z + 1. Let o be w(-1). Solve -o*y - 2*y - 5 = 0 for y.
-1
Let i be (52/12)/(1/3). Suppose -6*u = -5 - i. Solve -u*v = v for v.
0
Suppose 8*i = 4*i + 8. Let w(t) = t**3 + 3*t + 2 - t - 5*t**i - 8. Let h be w(5). Solve h*l + 2 = -2 for l.
-1
Let l(b) = b**3 + 3. Suppose 4*m - 4 = 4*k - 16, -3*m = -k + 9. Let w be l(k). Suppose 4*q - 3*r = 11, w*q - r - 7 = -0*q. Solve -q*o + 5*o = 12 for o.
4
Suppose 0 = 3*j - 5*j. Let g be (j - -4)*(-2)/(-4). Solve g*p = 3 + 1 for p.
2
Suppose 4*a - 3 = 5*y, 3*a - 2 = 2*y + 2. Solve 0 = -m - 0 - y for m.
-1
Let t = 5 - 0. Suppose 3*z - x = 16, -z = -3*z + 2*x + 12. Suppose -t*i + 6 = 2*p, i - 3*i = z*p - 15. Solve 12 = p*n + n for n.
3
Let w(u) be the second derivative of u**3/6 - 2*u**2 + 2*u. Let q be w(6). Let t(i) = 2*i**2 - 5*i. Let b be t(3). Solve -b + 1 = q*v for v.
-1
Let d(l) = -l**2 - 7*l - 5. Let r be d(-5). Suppose -4 - 8 = -2*q. Solve 0 = -q*o + o + r for o.
1
Suppose 5*b - 35 = -5*z, -4 = 4*b - 5*z + 4. Let g(s) = s**3 + 3*s**2 + 4. Let m be g(-4). Let u be b/m - 18/(-8). Solve -u*p = -0*p + 10 for p.
-5
Suppose -5*y + 19 + 6 = 0. Suppose -2*h + y*h = 15. Suppose z - 2*r - h = 0, -5*r - 14 = -4*z - 0*z. Solve z = -2*o + 11 for o.
5
Suppose p - 9 = 2*p. Let x = -5 - p. Let u = 22 - 12. Solve -x*n = -u - 10 for n.
5
Let x(o) = 12*o**2. Let c = 30 + -55. Let k be (10/c)/(2/(-5)). Let y be x(k). Solve -y = -5*d + 3 for d.
3
Let m be 77/(-28) + (-2)/8. Let t = m + 5. Solve 3*l = t*l for l.
0
Let i = -15 - -17. Solve -6 = h - i for h.
-4
Suppose -z + 9 = 2*l, 4*l + 0*l - 2*z - 14 = 0. Let y = l + -1. Solve 2*p = -y - 5 for p.
-4
Suppose -3*m - 6 = -m. Let h be 2*m/(12/(-14)). Let l = -7 + h. Solve o + o - 2 = l for o.
1
Suppose -3*i + 0*i + 21 = 5*x, -2*i + 4 = 0. Solve -c - 2 = -x*c for c.
1
Suppose 0*n + 3 = 3*u + 2*n, 5*n = 5*u - 5. Let o be ((-12)/(-8))/(9/12). Solve v - o = -u for v.
1
Suppose 2 - 11 = -n. Suppose 4*m - 13 = 11. Solve 3*v = m*v - n for v.
3
Let k be (-7)/21 - 16/(-3). Suppose k = 2*m - 1. Solve -1 + m = -r for r.
-2
Let y be 2 + -2 - (-1 - -1). Suppose 0*h - h = y. Solve 5*z + 6 - 31 = h for z.
5
Let l be ((-36)/(-16))/((-3)/12). Let b = l + 11. Solve 0 = b*g + 7 + 3 for g.
-5
Suppose -5*l - 3*r + 15 = 2*r, -5*l - 4*r = -16. Solve 0 = 2*x - l - 2 for x.
3
Let c(h) = -h**3 + h**2 + h + 2. Suppose 6 - 2 = 2*d. Let q be c(d). Solve q = -0*o + 5*o - 20 for o.
4
Let t = 34 + -7. Let b be -2*1*t/(-18). Solve b*m - 15 = -6 for m.
3
Suppose -3*m = -m + 5*t + 1, 0 = -3*m - t + 18. Let k = 125 - 110. Solve m*q + k = 2*q for q.
-3
Let u(p) = 5 - 1 + p + 1 - 4. Let j be (0 - 1)*(1 + -2). Let n be u(j). Solve -10 = -0*y - n*y for y.
5
Let p = -2 - -5. Solve -b + 8 = p*b for b.
2
Suppose -3*l + 101 = 4*m, m = -2*l - 3*l + 21. Let r = -23 + m. Solve c - r + 0 = 0 for c.
3
Suppose -4*g + 18 = 10. Solve 5 = -b + g*b for b.
5
Let o be 4 + (2 - 2) + 0. Let r = 3 + -1. Suppose -3*f - f = -5*k - 8, -r = k - f. Solve 3*x - o*x + 3 = k for x.
3
Let q(x) = 6*x + 19 - 3*x - 7 - 4*x. Let f be q(10). Solve -f = -2*h + 2 for h.
2
Suppose 5*r = -4*a - 3, 0 = -5*a - 3*r - 0*r + 6. Solve -w + 0*w = a for w.
-3
Suppose 5*p - 3*c = -0*c - 3, 4*p + 2 = 2*c. Suppose -5*q + 30 = -0*q. Suppose 2*z - q*z = p. Solve z = -t + 6*t + 25 for t.
-5
Let j = -21 + 33. Let a(c) be the first derivative of -7*c**2 - c - 1. Let x be a(-1). Solve 5*s + x = -j for s.
-5
Suppose -3*v = 5*o - 93, 5*o - 96 = 3*v + 21. Solve -o - 4 = 5*c for c.
-5
Let m = -107 + 6. Let c = -44 + m. Let x be c/(-25) + (-1)/(-5). Solve -5*q = -1 + x for q.
-1
Let g(y) = -2*y - 22. Let j be g(-14). Solve -4*c + j*c = 2 for c.
1
Suppose 2*h + 20 = 5*k, h - 5*k = -2*k - 12. Solve h*p - 4*p - 16 = 0 for p.
-4
Let b = -38 - -40. Solve b*l = -4 + 6 for l.
1
Let b = -59 + 64. Solve 0*y - b*y + 15 = 0 for y.
3
Let p be ((-4 - -5)*2)/1. Solve p*j = -2*j for j.
0
Suppose 6*h - 2*h + 3*l = 20, 4*h - 4*l - 20 = 0. Solve -3 = h*x - 18 for x.
3
Suppose 5*k + 3*r = 31, k - 2*r = 6*k - 29. Let j(w) = -w - 3. Let z be j(-3). Let x = k - z. Solve -x*h = 1 + 4 for h.
-1
Suppose 0 = 2*o + 4*w - 5*w + 1, 3*o + 2*w - 16 = 0. Suppose -2 = -o*p - 4. Let c be p + 2 + (-11 - -15). Solve -c*f - 5 = 15 for f.
-4
Let u be 24/30*5/2. Let t = u - 2. Suppose 5*a = -t*a. Solve 4*f + 1 + 7 = a for f.
-2
Suppose -24 = 5*f + k + 3*k, -4*k - 16 = 3*f. Let b be (-1 - -4)/((-6)/f). Solve b*l = l - 2 for l.
-2
Let j(s) = -15*s - 5. Let g be j(-2). Suppose -4*n = -4*a, -5*a - 10 + g = 0. Suppose n*b - 3 = 5*w + 16, 10 = -5*w. Solve -i + 20 = b*i for i.
5
Let w(j) = -j**2 - j - 24. Let d be w(0). Let z = 40 + d. Suppose -2*i = -z - 0. Solve -i = 5*b + 7 for b.
-3
Let t = 4 + -2. Suppose w - 4*w = t*a - 39, -a + 9 = -2*w. Suppose -3*f = -8*f + a. Solve -f*h = h for h.
0
Let v(x) = -2*x**2 + x. Let q be v(2). Let m be 2/q - 2/(-6). Suppose -6*t + 8 = -3*t - 4*j, -3*t - 8 = 4*j. Solve t = -m*r - r for r.
0
Suppose -4*u = 4*i - 4, 0*i + i - 4*u = 26. Solve i*r = 2*r - 12 for r.
-3
Let r(y) = -35*y**2 - 5*y - 2. Let v(s) = -52*s**2 - 7*s - 3. Let p(c) = 7*r(c) - 5*v(c). Let u be p(1). Solve -u = 4*d - 4 for d.
-3
Let n be (2/(-4))/((-6)/48). Suppose -5 = -0*o - o. Suppose 3*q + 5*g + 5 = 0, n*g + 0*g + 41 = o*q. Solve -q*p - 8 - 7 = 0 for p.
-3
Suppose -5*n + 2 = -8. Solve 0 = n*o - 0*o + 6 for o.
-3
Suppose 4*p + 0 = 4. Let r be p*-10 - (-1 - -3). Let y be (r/(-9))/(2/9). Solve -s + y = s for s.
3
Let r = 49 - 45. Solve 20 = f + r*f for f.
4
Suppose 0 = 5*m + 4*a - 40, -5*a + 22 = -3. Suppose d - 3 + 0 = -2*u, -3*u = -m*d + 12. Solve u = g - 5*g for g.
0
Let n(f) = -f - 21. Let r be n(-9). Let q = 6 + r. Let i be (2/(-1))/(3/q). Solve 4*z + 4 = -i for z.
-2
Let f = 13 + -13. Solve -5*s + 0*s + 15 = f for s.
3
Suppose 19 = -l + 5*x, 0 = 5*l + x + 12 - 47. Suppose 0*p = p - l. Let i be (9/p)/((-3)/(-4)). Solve i*z + 2 = 6 for z.
2
Suppose -a = 2*a - 4*a. Solve 3*o + a - 3 = 0 for o.
1
Let l(w)