 3*t for t.
0
Let c(y) = 2*y**2 - y. Let p be c(2). Solve 5*r = p*r + 4 for r.
-4
Let d(v) = v + 39. Let j be d(-12). Solve -22*s + j*s + 20 = 0 for s.
-4
Suppose 3*m + 3*l + 6 = 0, -m = -0*m - 3*l - 18. Let o = m + 4. Solve 5*v + o = -13 for v.
-4
Let b(n) = n**3 + 5*n**2 + 4*n + 3. Suppose 0*p + 4*p = 12. Suppose 1 = p*j + 10. Let x be b(j). Solve r = -2*r - x for r.
-3
Suppose 20*v - 17*v + 3*f - 24 = 0, 0 = v - 3*f + 8. Solve v*n = -2*n for n.
0
Suppose -15 = 3*k, 4*l - 2*k = 9*l - 55. Solve -l = -4*o - 17 for o.
-1
Let g be 2/(-3)*(5 - 23). Solve -4*v = -g*v + 16 for v.
2
Let x(l) = -l**2 - 16*l - 12. Let g be x(-15). Solve 0 = -g*f + 7 - 10 for f.
-1
Suppose -3*b + 7*b = 2*b. Solve b = -h + 1 for h.
1
Let g be 16/(-72) + (-110)/(-9). Solve 0 = 4*f - g - 4 for f.
4
Let t(a) = -a**2 + 7*a + 20. Let c be t(7). Suppose -y = -23 + c. Solve -y*x + 1 = -4*x for x.
-1
Suppose -5*b + 10 = 0, 2*v + 6 + 0 = 3*b. Suppose a + v*a - 2 = 0. Let h be (1 - (-4)/5) + 20/100. Solve a*n + 0*n - h = 0 for n.
1
Let c = 10 + -8. Let r(q) = q**2 + 4*q - 3. Let x be r(-5). Suppose 12 = z - x*d - 0, -2*d = 10. Solve z = 4*f - c*f for f.
1
Suppose 0 = -5*u + w + 90, -2*u - 5*w + 36 = -0*u. Solve 4*p + 2*p - u = 0 for p.
3
Suppose -138 = -8*f - 18. Let o(p) = p**2 - 14*p - 11. Let c be o(f). Solve -g + 3*g + c = 0 for g.
-2
Let a be (4/(4 - -4))/((-1)/(-10)). Solve a*w = 4*w for w.
0
Suppose f = 4*f - 18. Let n be -2 + 0 + 6 + 0. Suppose j = n*s - 6, s - 2*s = -j. Solve f = -s*c + 4 for c.
-1
Let l(z) be the second derivative of -4*z + 0 + 1/6*z**3 - 3/2*z**2. Let i be l(7). Solve i*m - 2 = 2*m for m.
1
Suppose -1527*h + 1517*h = -80. Solve h*m = 9 + 15 for m.
3
Let t be 2 + (-3)/((-6)/(-4)). Let w be 6 - (2 - 1) - t. Let p be (10/(-6))/(w/(-18)). Solve z - 4*z = -p for z.
2
Let v(i) = -4*i**3 - i**2 - i - 1. Let f = 23 - 24. Let a be v(f). Solve a*m = m + 6 for m.
3
Let k = -6 - -15. Suppose 0 = 2*r + 15 + k. Let j = -7 - r. Solve 4*h + 15 = -j for h.
-5
Suppose 5 = -h + 2*l + 3*l, 4*h = -l + 1. Let q = -1 - -2. Let p be h/(-2 + 1 - q). Solve p*x + 1 = x for x.
1
Suppose 3*n + 2*r = -10, 5*n + 5*r - 66 = -91. Solve 5 = t - n for t.
5
Let g(d) = d**2 + 19*d + 93. Let f be g(-8). Solve -f*y + 9 = -6 for y.
3
Suppose -145 = 2*m - 177. Solve -2 = 7*i - m for i.
2
Let g(t) = t**3 - t + 2. Let o(q) = q**3 - 3*q**2 + 1. Let z be o(3). Let p be g(z). Solve -x = -0 + p for x.
-2
Let r be (1/1)/((-567)/(-141) + -4). Let w = r + -45. Solve -u + 5 = -w*u for u.
-5
Let y = -593 - -603. Solve -3*q - y = -8*q for q.
2
Suppose -3*d = g - 16, 2*d + 4 = -g + 15. Suppose q = -d*q + 30. Solve -4*x + q - 13 = 0 for x.
-2
Let m(u) = -u**2 - 5*u - 2. Let v = -52 + 50. Let p be m(v). Solve 0 = p*h + h for h.
0
Let s be (-1 + -9)/((-3)/6). Suppose -s - 1 = -7*i. Suppose 4*j = i*k - 30, -7*k - 3*j + 21 = -2*k. Solve -25 = -k*x + x for x.
5
Suppose 0*w = -w - 2*w. Suppose -g - 4*g - 34 = -3*n, 4*g - 4 = w. Solve 4*r + n = 1 for r.
-3
Let m(c) = c**2 + 4*c - 8. Let h be m(-7). Suppose -8*d = -h*d. Let k(w) = -w**3 - 15*w**2 - 13*w + 19. Let u be k(-14). Solve d = -u*i + i - 4 for i.
-1
Suppose -2*s - 15 = 3*s, 2*u - 2*s = 34. Solve -u*f + 2 = -13*f for f.
2
Let w(s) = -s**3 - 10*s**2 - 24*s + 4. Let k be w(-7). Solve k*d = d for d.
0
Let g = 5 - 2. Suppose 0 = -g*l + l. Solve l = -y + 1 - 3 for y.
-2
Let v be 1/((-1)/2) + 3. Let a be (0 - v)/(-1) - -2. Let c = 4016 - 4016. Solve c = r - a*r for r.
0
Let k(x) = x**3 + 2*x**2 - 7*x - 8. Let n be k(-3). Solve n*g = -14 + 2 for g.
-3
Let w = -30 - -30. Suppose -3*f + 0*f + 2*o = -26, 0 = -f - 2*o + 22. Let i be (f/10)/(10/25). Solve w*r - 9 = i*r for r.
-3
Let l = -422 - -427. Solve -l*c = -c + 16 for c.
-4
Let o = -321 - -324. Solve 6*t - 33 + o = 0 for t.
5
Suppose -2*q = 0, -q + 3 = -i + 2*i. Suppose l = -i*a - 2, 3*l - 3*a - 5 = -a. Suppose z - 1 - l = 0. Solve 3 = -y - z for y.
-5
Let h be ((-4)/12 - -1) + (-125)/(-15). Solve 21 = -h*n + 16*n for n.
3
Let f = 957 + -949. Solve 3*t - 7 - f = 0 for t.
5
Suppose 2*n + 21 = 9*n. Suppose 4*u + n*u = 14. Solve 6 = u*l + 4 for l.
1
Suppose 5*b - 3*k - 48 = 0, -4*b + 2 + 31 = 3*k. Solve -b = -67*h + 70*h for h.
-3
Suppose 0 = j + 4*j - 130. Suppose 4 = 3*y - j. Solve 0 = 5*o - 0 + y for o.
-2
Let r = 216 - 214. Solve -4 = 2*l - r for l.
-1
Suppose 3*m + 39 = 3*k, 0*m - 5*k - 79 = 4*m. Let j = 8 - m. Let t be ((-64)/j)/((-1)/3). Solve 0 = -2*q + t - 0 for q.
4
Let i = -9 + 12. Let m(c) = -i*c - 8 + 3*c + c - 5*c. Let h be m(-4). Solve h = -v - v for v.
-4
Suppose 0 = -10*h - 211 + 401. Solve h*f - 25*f = -11*f for f.
0
Let z be (8/10)/(2/10). Suppose -8 = -1466*y + 1458*y. Solve -y = -r - z for r.
-3
Let z = 31 - 22. Let k be (42/8)/(z/24). Suppose 0 = -10*b + k*b - 20. Solve b*d = -0*d for d.
0
Let w(n) = 4*n**3 + 3*n**2 - 2*n - 1. Let k be w(1). Solve k*m + 16 = 8*m for m.
4
Let j(z) = -z**3 + 2*z**2 + 2*z + 4. Let c be j(0). Suppose -c*m - 2*m = -2*m. Solve -d = -m*d - 4 for d.
4
Let b = -523 - -525. Solve -w = b*w - 0*w for w.
0
Let d = -280 - -432. Let w be 6/15 + d/20. Let s be w/4*(-9)/(-6). Solve s*c = c for c.
0
Let s(q) = -2*q - 1. Suppose 0 = -r - v - 7, 5*v - 11 = 2*r + 3. Let m be s(r). Suppose 0 = 2*b + 9 - m. Solve -b - 1 = w for w.
-3
Let o(t) = 4*t - 2. Let q be (-124)/(-8) + (-6)/4. Suppose 2 = -4*f + 2*i - 2, 2*f = 4*i - q. Let j be o(f). Solve w = j - 5 for w.
-3
Let t(o) = 18*o + 2. Let h be t(0). Solve h*v - 12 = -4 for v.
4
Let n = -165 - -59. Let o = n - -109. Solve 0 = -o*t + t for t.
0
Suppose 0*k - 3*v = -k + 10, -k - v = -2. Solve 0*x = k*x + 8 for x.
-2
Suppose 26*r - 306 = -25*r. Solve r*u = -3*u - 36 for u.
-4
Suppose -2*n + 5*n = 4*o - 12, 5*n = -3*o - 20. Solve -5*c + c = o for c.
0
Let w(i) be the second derivative of i**5/20 - i**4/3 + i**3/2 + i**2 + 26*i. Let d be w(3). Solve d*o - 6 = 4*o for o.
-3
Let f(o) = o**2 - 3*o + 5. Let i be f(4). Suppose i*h - 9 = 6*h. Suppose 2*x - 2*u - 1 = 9, 0 = -5*x - 2*u + 11. Solve x*k - h = 9 for k.
4
Suppose 0 = -3*b + 2*i + 12, b + 55*i - 56*i - 5 = 0. Let u(o) = 2*o - 6. Let s be u(4). Solve -s*f = b*f for f.
0
Suppose 0 = -10*b + 344 - 2844. Let i be (2/(-5))/((-35)/b)*-7. Solve -s + i = 3*s for s.
5
Let g = 7 + -2. Suppose -2*o - 3*n = -6, 0 = -4*o + 2*n + 11 + 17. Suppose -v + o*v + 3*f = 60, -16 = v - g*f. Solve -z + v = 2*z for z.
3
Let c(o) = -o**3 - 4*o**2 - o + 4. Let u be c(-4). Let l be -4 + 4*(-1 - -5 - 2). Solve u = -2*y + l*y for y.
4
Let x(m) = m**2 + 18*m + 1. Let r be x(-10). Let o = r + 84. Solve 8*q - o = 3*q for q.
1
Suppose -2*h + 6*h = b + 9, -h + 5*b = -7. Let c be (-6)/10 + 147/(-105). Let z be 5 + c - (h + -2). Solve -2 = -z*n + 4*n for n.
-2
Let x(c) = c**3 + c**2. Let w = 25 + -25. Let z be x(w). Suppose -i + 6 - 1 = z. Solve 0 = n - i*n for n.
0
Let o = 27 + -27. Suppose 4*n - 22 - 4 = -3*g, 0 = -n + g + 3. Suppose -4*b + 8 = q, -2*b + 13 = n*q - 9. Solve -j = -o*j - q for j.
4
Suppose 0 = -11*j - 98 + 164. Solve j*y = -2*y + 8 for y.
1
Let g(m) be the first derivative of m**4/4 - m**3 + m**2/2 - m + 7. Let q be g(3). Suppose -2*b - q*h = h + 2, -3*b = -5*h - 35. Solve b*s - 3*s = -2 for s.
-1
Suppose -5*c - 5*b = -5, -5*c + 26 = -2*b - 0. Let z = -65 + 66. Suppose 0 = -v - 3 + 16. Solve c*t + v = z for t.
-3
Let c(g) = 26*g**3 - g**2 + g - 2. Let u be c(1). Solve 6*y = 12*y + u for y.
-4
Let z(w) = w**2 - w - 9. Let q(d) = -5*d**3 + d. Let o be q(-1). Let j be z(o). Suppose -5*g = j*n - 17, -n - g = -5*n + 15. Solve -u = -n*u for u.
0
Suppose 3*a = 2*a + 7. Let j(t) = -t**2 + 5*t + 16. Let m be j(a). Let b be (-2)/m + 12 - 4. Solve 2*q - 3 = b for q.
5
Let s be ((-9)/(-27))/(7/231). Solve 9*t + 6 = s*t for t.
3
Suppose 0 = 58*i - 136 + 20. Solve 4*u - 10 + i = 0 for u.
2
Let c(j) = j**3 + 6*j**2 + 2*j + 11. Let o be c(-6). Let t be (1 + -1)*o/(-2). Suppose 2*w - 18 = -3*k, t = -3*k - 0 + 12. Solve -w = 4*q - 11 for q.
2
Let v = 93 + -80. Suppose 3*a - v = 8. Solve -2*x = -a*x for x.
0
Suppose 0 = 2*m - 5*w + 17, 3*m - 14 = 2*m - 2*w. Suppose 10*k = 6*k + 12. Suppose k*u + 15 = 0, -m*u - 30 = -3*b - u. Solve 2*o = b*o - 3 for o.
1
Let m = 0 - 0. Let i(v) = v + 1. Let q be i(1). Suppose 4*u - 3 - 57 = -4*b, 2*u - 2*b - 30 = 0. Solve -q*a - a - u = m for a.
-5
Suppose -4*r - 2*l - 102 = 0, 5 - 3