Solve t*m + 2*m = 4 for m.
2
Suppose 0*a + 2 = 2*a. Solve a = -4*c + 9 for c.
2
Let j = -5 + 8. Let b(t) = 3*t**2 - t**j + 3*t + 2*t**3 + 3*t**2 + 5. Let z be b(-4). Solve -x - 4*x - z = 0 for x.
-5
Suppose 3*s - 1 = 2*s + 3*a, 0 = -5*a. Suppose 5*u - s = r - 6, -u = -r + 5. Suppose 0 = m - 7 + 3. Solve x = -u + m for x.
4
Suppose 31 - 43 = -4*t. Solve -3*k + 0*k = t for k.
-1
Let k(n) = -51*n**3 + 2*n**2 - 9*n + 11. Let s(j) = 26*j**3 - j**2 + 5*j - 6. Let v(p) = 6*k(p) + 11*s(p). Let r be v(-1). Solve 3*t = 7*t - r for t.
5
Suppose -5*y + 4*k + 3 = 0, -k - 3 + 0 = -2*y. Solve -2*m + 3*m = y for m.
3
Let c = -3 + 7. Suppose w = c - 1. Let p = 5 - w. Solve -r = p*r - 6 for r.
2
Let w = 11 + -7. Suppose 0 = 5*y - 14 - 6. Let l = y - w. Solve -2*h = -l*h + 2 for h.
-1
Suppose 0 = 5*b - 2*b - 24. Solve -a + 3*a = b for a.
4
Let b = 13 - 22. Let m(g) = -g**3 - 10*g**2 - 10*g - 6. Let j be m(b). Suppose -k + 2 = -2*z, 4 = 2*k - j*z + 1. Solve d + 2 - 3 = k for d.
1
Let d = -2 - -2. Let q = 13 - 11. Solve k - 3 - q = d for k.
5
Let a = 3 + -1. Suppose 20 = a*v + 4*n, 5*v = -7*n + 4*n + 29. Suppose v*o - 1 = -3*p, -p + o + 13 = -4*o. Solve -k + 4 = p for k.
1
Let j(x) = -2*x + 2. Let r be j(-4). Let m = 45 - 42. Solve m*t - t - r = 0 for t.
5
Let t(u) be the second derivative of u**4/4 - u**3/2 + 2*u. Let m be t(3). Suppose -2*j + 4*j + k = 0, j - 4*k = m. Solve -22 = 5*f - j for f.
-4
Let y be ((-6)/9 + 2)*3. Suppose 3*u - 2*u = 5. Suppose 37 = 4*l - y*q + 9, 0 = -5*q - u. Solve l*g + 2 = 4*g for g.
-1
Let t(p) = -p**3 - 5*p**2 - 5*p + 2. Let b be t(-4). Suppose 2*v + 31 = -3. Let x = 21 + v. Solve 5*j + x = -b for j.
-2
Suppose 6 = 3*v - 4*r, -1 - 9 = -5*v + 2*r. Solve -2*h = v*h - 12 for h.
3
Suppose j = 2*b - b + 12, 0 = 2*j + 2*b - 12. Solve j = f + 2*f for f.
3
Let q = -36 - -36. Solve -6*y + y - 15 = q for y.
-3
Suppose -6 = -4*i + 3*i. Suppose -12 = -o - 0*o. Solve 2*p - i*p = -o for p.
3
Suppose -f + 2*d - 20 = -4*f, -5*d + 4 = -4*f. Suppose 0 = -0*t + t - f. Suppose -2*i + 0*i = -t. Solve -m - i = -0*m for m.
-2
Let o = -8 + 10. Let w be o*(0 - 1)/(-1). Suppose 10 = -3*m + 40. Solve -w*z = 3*z - m for z.
2
Suppose 3*m = -2*b - 6, 0*b - 2*b = 4*m + 6. Solve 4*k + m*k = -20 for k.
-5
Let i(h) be the first derivative of 4*h**2 - 2*h + 3. Let n be i(1). Solve n = 2*p - 4 for p.
5
Let k(l) = -13*l - 1. Let d be k(-2). Suppose q + 3 = 2*q. Solve q*f + 2*f + d = 0 for f.
-5
Let p be (196/21)/((-4)/(-6)). Suppose p = -3*j + j - 5*k, -4*j + 4*k = -28. Solve -2*s - 25 = j*s for s.
-5
Let g = 13 + -7. Let s be 1/(-3) - (-2)/g. Solve 5 = -s*j + 5*j for j.
1
Suppose 4*i = 3*i. Solve 2*t - 6 + 8 = i for t.
-1
Let b be 104/6 + 2/3. Let s be b/(-12)*(-10)/3. Solve s*o - 10 = 10 for o.
4
Let y(c) = -c**2 + c + 7. Let q be y(3). Solve l - 1 = q for l.
2
Let g(h) = h + 15. Let n be g(-12). Solve 7 + 2 = n*c for c.
3
Suppose 0 = -3*p + 4*u + 74, -3*p = p + u - 105. Suppose -4*x + 6 + p = 0. Solve 0 = -4*i + x*i - 8 for i.
2
Let j be 70/(-21)*(-12)/5. Solve j*m - 25 = 3*m for m.
5
Let x be -7 - ((-6)/2 + 1). Let r(l) = l + 9. Let u be r(x). Solve 15 = g - u*g for g.
-5
Suppose -d + 9 = 2*d. Let w be 25*(d + (-13)/5). Solve -4*n = -2*n + w for n.
-5
Suppose 8*p - 11*p + 51 = 0. Solve -5*b = -p + 2 for b.
3
Suppose 0*d = -3*r - 2*d + 27, r = -5*d + 22. Suppose -3*k + x + 11 = 0, -2*k + r*k - 3*x - 17 = 0. Solve 9*j - k*j - 15 = 0 for j.
3
Suppose g + 4*g - 2 = -2*j, 5 = 5*g + 5*j. Suppose g*o + 2*b = -2*o, 16 = 4*b. Let h(i) = i + 5. Let z be h(o). Solve 2*x - 5 - z = 0 for x.
3
Let j(x) = -x**3 + 3*x**2 + 6*x - 4. Suppose -5*q - 14 = -34. Let d be j(q). Solve 5*w - d = 21 for w.
5
Suppose 45 = -5*y - 2*l, -5*y - l = 21 + 24. Let z(g) = -g**2 - 10*g - 6. Let m be z(y). Solve -2*q + 5 = m*q for q.
1
Let a = 98 + -95. Solve -22 - a = 5*t for t.
-5
Let t(z) = 7*z - 4*z - 18 - z + 0*z. Let l be t(9). Solve -4 = u - l for u.
-4
Let s be 4/(3*1/3). Let i = 12 - s. Solve i = -y - y for y.
-4
Suppose -4*r = -z + 5*z - 32, -3*r + 20 = 2*z. Suppose -20*g + 84 = 4. Solve 2*n = g*n + z for n.
-2
Suppose u = 5*g - 47, -4*g + 40 = -u - u. Suppose -g = -3*k - 0*k. Solve -k*d = 2*d + 15 for d.
-3
Suppose -h + 12 = -3*l, 3*h + 0 - 12 = l. Suppose 2*j + 31 = -4*x + 91, -j = -2*x + 30. Solve -h*b = 2*b + x for b.
-3
Suppose -13*l + 12*l + 4 = 0. Solve l = -5*u + 9 for u.
1
Suppose 6 = -8*w + 11*w. Solve -w*v - 3 + 7 = 0 for v.
2
Let d(q) = q**2 - 7*q + 1. Let j be d(7). Let l be (4/10)/(j/10). Solve -4 - 4 = -l*i for i.
2
Let u be (-10)/65 + 100/(-26). Let g be -4*((-35)/u)/(-5). Solve 2*s - g*s = -5 for s.
1
Let r be 14/91 + (-50)/(-13). Solve -2*z - r = -10 for z.
3
Let z(q) = -q + 2. Let j be -4*((-3)/(-6) - 1). Suppose -j*x - 3*b = 25, -5*x = -3*x - 3*b - 5. Let r be z(x). Solve -2*i + r*i = -20 for i.
-4
Suppose 4*z + 8 = 4*r, 4*z + 10 = 4*r + 2*z. Suppose -u + 8 = r*u. Solve u*d = -2*d + 8 for d.
2
Suppose -5*j + 2*j = 0. Solve -2*f + 4*f - 10 = j for f.
5
Suppose -d + 0*d + 6 = 0. Suppose -3*r + i = 6*i + d, 5*r = -5*i. Solve 9 = 2*z + r for z.
3
Let z = 3 + 0. Solve -2*p + 3 = -z for p.
3
Let v = 33 + -30. Solve -v*y + 3 - 6 = 0 for y.
-1
Let w(x) = x - 3. Let v(z) = 9*z**2 - z - 1. Let q be v(-1). Let y(s) = 4*s - 11. Let k(g) = q*w(g) - 2*y(g). Let i be k(5). Solve i = -7*b + 3*b - 20 for b.
-5
Let r(o) = o - 2. Let x be r(9). Let q = x + 7. Solve 4*n + 2 = q for n.
3
Let u be -1 + 24 + (-2 - 0). Let m = 36 - u. Solve -s - m = 2*s for s.
-5
Let c = 128 - 118. Let d be 26/8 + 2/(-8). Solve -m = -d*m + c for m.
5
Suppose f + 3*b + 2 = 0, -f + 3 = -0*f - 2*b. Solve -7 - f = -2*g for g.
4
Suppose -10 = -6*p + 5*p. Solve 2 = -3*r - p for r.
-4
Suppose 3*q - 23 = 5*k - 102, -4*q = 2*k - 42. Suppose 43 = 5*i + 23. Solve k = i*w + 1 for w.
4
Let a = -13 - -19. Solve n - a + 7 = 0 for n.
-1
Let q(c) = c + 10. Let t be q(-8). Suppose -t*h = -5 - 3. Solve -4*j + h = -3*j for j.
4
Let v be (0/(-5 + 2))/1. Solve v = m + 2*m - 3 for m.
1
Let c(g) = -4*g. Let l be c(-2). Let o(r) = -r**2 + 8*r + 1. Let h be o(l). Solve -h = i + 2 for i.
-3
Suppose -2*q + 1 = -5. Suppose 0 = -q*w + 7 - 4. Suppose 0*a - 2*a = -8. Solve -w = -a*o - 5 for o.
-1
Suppose 0 = 5*p + 5, 3*h - 19 + 5 = -4*p. Let z(x) = 3*x. Let j be z(1). Solve 0 = q - j*q + h for q.
3
Let m(r) = -r + 12. Let h be m(9). Suppose -2*n + n = -h. Solve -n*d + 6 = -d for d.
3
Let g = 35 - 26. Solve b + g = -2*b for b.
-3
Let o(b) = -b - 4. Let l be o(-4). Solve l*w + 20 = 4*w for w.
5
Suppose 0*y = -4*y + 8. Suppose 2 = 4*l - y. Let b = 8 - l. Solve 0 = -3*h + b*h - 12 for h.
3
Suppose 8*u - 25 = 3*u. Suppose -3*x = -1 - u. Solve 3 = -y + x for y.
-1
Let k be 7*(44/(-14) + 4). Solve 2*i = -k - 2 for i.
-4
Let w = -129 - -153. Solve -w = q + 5*q for q.
-4
Let f be 1/3 + (-34)/(-6). Let l = -4 + f. Suppose -l*p = -5*p. Solve p = 4*s - 12 for s.
3
Let v = -14 + 31. Solve -4*n + 1 - v = 0 for n.
-4
Suppose 0*v - v = -8. Solve 5*h + v = 23 for h.
3
Let c(k) = k + 5. Let b be c(-10). Let t = b + 11. Solve -z = -t*z + 15 for z.
3
Let t be ((-30)/21)/((-1)/14). Let u = t + -17. Solve 0 = -v - u*v + 8 for v.
2
Suppose -5*l + 0*l = h - 87, -2*h - 2*l + 150 = 0. Let n be (h/27)/(2/3). Solve n*a + 0*a = 0 for a.
0
Suppose -5*s = -5*y - 120, 2*y = -3*s + 68 + 14. Solve -4*i + 10 = s for i.
-4
Let i(s) be the first derivative of -s**3/3 + 3*s**2 + 2*s - 1. Let y be i(6). Let h be (-3 + 2)*y/(-2). Solve -m + 0*m = -h for m.
1
Let r be ((-6)/(-9))/((-2)/(-9)). Suppose 4*i = -2*l - 2, -l = -0*i + r*i + 4. Solve -15 = -0*v + l*v for v.
-3
Let s(k) = 7*k. Let r(d) = -190*d. Let i(j) = -2*r(j) - 55*s(j). Let x be i(-1). Solve -14 = 3*p - x for p.
-3
Let q be -1 + (-42)/4*(-4)/6. Solve -1 = -5*r - q for r.
-1
Let o = 14 + -12. Suppose 0*a - 12 = -3*y + 4*a, o*y = 4*a + 8. Solve 2*l = y*l for l.
0
Let j(m) = -m**2 - 6*m - 5. Let f be j(-4). Let o(v) = 3*v - 7. Let i be o(f). Solve 15 = l + i*l for l.
5
Let t be (-2 - 0) + 1 + 1. Solve t = 3*s - 2*s - 3 for s.
3
Let z(t) = -t**3 - 7*t**2 + t + 6. Let w be z(-7). Let g(s) = 0 - s - s**2 - s - 1. Let n be g(w). Solve n*o = -o for o.
0
Let m(i) = 2*i + 4. Let z be m(5). Suppose 4*a + z = 70. Suppose -n - a = -4*w, -2 = -5*w - n + 20. Solve -w*k + 4 = -0*k for k.
1
Let h = 5 + 1. Solve k = h*k - 10 for k.
