t - 2*t - x = r for t.
4
Let c be ((70/(-12))/7)/(2/(-12)). Solve 23 - 28 = -c*s for s.
1
Suppose 2*n - 6 = -3*a + 8, 2*a = -4*n + 4. Solve -8*m + a*m = -6 for m.
3
Let z = -16 - -18. Suppose -4*x = 3*g - 13, x - 3*x = 2*g - 8. Solve h = g*h - z for h.
1
Suppose 48 = 2*w + 4*w. Let g(q) = -q**3 + 8*q**2 - 7*q + 3. Let o be g(7). Solve -o*f + w = -f for f.
4
Let w be 70/8 - (7 - (-116)/(-16)). Solve 15*b + 6 = w*b for b.
-1
Let d = 17 + -15. Let f(h) = -8*h**d + 0*h**2 - 3*h + 0*h**3 - h**3 + 13*h + 12. Let x be f(-9). Solve -x*m - 7 = -1 for m.
-2
Suppose -v = -3*v + 6. Suppose 0*r = -v*r. Let z be 4/((-1)/45*-12). Solve 3*i + r*i = z for i.
5
Let o(r) = -8*r + 48. Let h be o(3). Let g = 1 + 21. Let v be 84/g + (-4)/(-22). Solve v = 5*z + h for z.
-4
Let f(d) = 3*d**2 - d. Let o(s) = -s**3 - 6*s**2 - 3*s + 11. Let h be o(-5). Let m be f(h). Solve j - 1 = m for j.
3
Let w(t) = t + 1. Let f be 3/(-2)*40/(-15). Let c be w(f). Solve 18 = c*y + 3 for y.
3
Suppose -6*s - 476 - 184 = 0. Let y = s - -110. Solve -5*q = -y*q + 20 for q.
-4
Suppose -3*j - p + 71 = 0, 59*j - 63*j + 2*p + 98 = 0. Solve 16 = j*h - 20*h for h.
4
Suppose 45 = 5*b + 5*z, 4*b + 6 = 6*b - 2*z. Let y be (-4)/((-8)/18) - (7 + -8). Suppose b*a - y*a = 0. Solve -6 + a = 3*m for m.
-2
Let b(j) = j**2 - 1. Let g be b(1). Let h(r) = -r**3 + 5*r**2 - 3*r - 4. Let s be h(4). Solve 3*n + g*n - 6 = s for n.
2
Let c = 243 - 234. Solve -6*p = -c*p + 12 for p.
4
Let t = 93 - 91. Suppose -v = t*v - 3*r + 3, -2 = -3*v + 2*r. Solve v*u + 1 = 17 for u.
4
Let k(v) = -v - 8. Let s be 9/3 + 3 + -18. Let y be k(s). Solve y*f + 1 = 5 for f.
1
Let z be 2 + 24/(-2) + 4. Let k(j) = -j**2 - j + 9. Let w be k(z). Let m = 26 + w. Solve m*y - 17 = 3 for y.
4
Suppose -4*f - 41 = -5*t, -3 = -2*t + 2*f + 15. Solve 6*m - t*m = 0 for m.
0
Let j = 1116 - 1102. Solve 0 = 9*g - j*g - 20 for g.
-4
Let l be -3 - 141/(-45) - 1406/(-30). Solve -l + 69 = -11*o for o.
-2
Let x = -27 + 57. Let o = 34 + -3. Let l = o - x. Solve -5*c + 16 = l for c.
3
Let j(w) be the third derivative of -w**5/60 - w**4/8 + 2*w**3/3 + 15*w**2. Let g be j(-4). Solve g*v = -v - 2 for v.
-2
Let m(x) = -14*x + 366. Let o be m(26). Solve 0 = -o*y - 2*y for y.
0
Let n(g) be the first derivative of -g**2 + 12*g + 6. Suppose -2*c + 8 + 4 = 0. Let b be n(c). Solve -m = -b*m for m.
0
Suppose -2*d - 5*v + 20 = 0, -2*v + 6*v + 8 = 0. Suppose -3*a + 6*a + d = 3*u, -2*u + 17 = 5*a. Suppose -49 = -u*k + k - z, 5*z = -5. Solve -h = h - k for h.
5
Let c(r) = 3*r + 21. Let o be c(-8). Let t(g) = -g. Let z be t(o). Solve -z = -3*a + 2*a for a.
3
Let j(o) = -o**3 - o + 30. Let d = 10 - 10. Let m be j(d). Let f be (8/(-10))/((-4)/m). Solve 0*b = -2*b - f for b.
-3
Let x(a) = 12*a**3 - 7*a**2 - 8*a - 10. Let n(q) = 6*q**3 - 3*q**2 - 4*q - 5. Let k(b) = -7*n(b) + 3*x(b). Let w be k(-1). Solve 4*d = w*d - 15 for d.
5
Let p = -175 + 185. Solve s = -s + p for s.
5
Let k(b) = -b**2 + 2*b + 35. Let m be k(8). Let w(z) = -2*z**2 - 28*z - 14. Let f be w(m). Solve f*c = 9*c + 9 for c.
3
Suppose 5*d = -r + 51 + 21, -d + 4*r = -6. Let f = 20 - d. Suppose -3*n - 6 = -f*n. Solve -2*s + 16 = n*s for s.
4
Let j = -4 + 0. Let w be 6*(j + (-28)/(-6)). Suppose -6 = -4*v - 3*d + 5*d, 0 = w*v - 4*d - 12. Solve -2 = 2*m - v*m for m.
-1
Let b(c) be the first derivative of -c**3/3 + 7*c**2 - 31*c + 10. Let a be b(3). Solve -17 = -3*g - a for g.
5
Suppose 3*d + 40 = -2*d. Let m be 1*d*6/(-12). Let c(q) = -q**3 - q**2 + 6*q + 3. Let g be c(-4). Solve 7 = m*v + g for v.
-5
Let i be (2 - 5)/((-6)/8). Solve 9*z - i*z = 25 for z.
5
Let o = 1868 + -1845. Solve -o*g = -2*g + 42 for g.
-2
Let t(q) = -4 + 3 + q + 0. Let g be t(4). Suppose 0 = -g*l + 12, w + 0*w + 1 = l. Solve -s = -w*s - 4 for s.
-2
Let z = -27 - -30. Suppose z*d + 16 = 4*k - 2*d, 5*d = -k + 4. Solve -4*s + 3*s + k = 0 for s.
4
Let u(s) = -2*s**3 - 2*s**2 + s - 2. Let b be u(-2). Solve -b*j + 5*j = 5 for j.
5
Let c = -29 - -33. Solve -2*p - 4 = -c*p for p.
2
Let r be (472/(-10))/(((-2)/(-5))/(-1)). Let f = -114 + r. Solve 7*d = 6*d - f for d.
-4
Let b(c) = -c + 7. Let t = -4 - -9. Let s be b(t). Solve -2*g + s = -0 for g.
1
Let t = 8 + 2. Let q be (-32)/(-40) - (-12)/t. Suppose 0 = 3*w - 6*w + 24. Solve -q*z - 2 = w for z.
-5
Suppose -2*r + 7*r = 3*v + 7, 3*r + 9 = 4*v. Solve -6 = 3*w + v for w.
-4
Suppose -l - 4 = -14*x + 13*x, -2*l + 16 = 4*x. Solve l = 2*h - 26 + 30 for h.
-2
Let b(w) = 6*w**3 - w**2 + 2*w - 2. Let s be b(1). Suppose -4*v + s*h = -0*h - 85, -v = -5*h - 10. Solve 0 = -2*m - 3*m + v for m.
5
Let o be 3*(-1)/(2/58). Let i = o - -87. Solve i = 4*k - 0*k for k.
0
Let d be 1*(-34)/(-2)*-1. Let x = d - -28. Solve 3 = -4*s + x for s.
2
Let b(x) = -x**3 + x**2 + 4. Let i be (0/1)/(-8 + 5). Let f be b(i). Let p(r) = r**3 - 6*r**2 + 10*r - 6. Let j be p(f). Solve -j*l + 4 = -l for l.
4
Let s be 11/(22/4) - (2 + 0). Let a = 2 + s. Solve a = -z + 7 for z.
5
Suppose 0 = 31*j - 36*j + g + 21, 0 = -4*j + g + 16. Solve -22*q - j = 17 for q.
-1
Suppose -60 = 15*r - 30*r. Suppose t - 2*x - 10 = -2*t, 0 = -3*x + 12. Let u = -2 + t. Solve -r*c - u = -0 for c.
-1
Let f be 242/(-55)*20/(-8). Solve f*o = 2*o - 27 for o.
-3
Suppose a + 5*y + 4 = -17, 2*a - 23 = 3*y. Suppose -5*z + 33 - 3 = 0. Solve z*s + 8 = a*s for s.
-4
Let w(y) = -6*y**2 + y + 4. Let r be w(2). Let h be r/12*5/((-30)/4). Solve 7 - h = -2*f for f.
-3
Let t(h) = h**2 + 28*h - 13. Let p be t(-29). Solve v = -p + 12 for v.
-4
Let b = 147 + -141. Solve 6 = -b*t - 0 for t.
-1
Let d(v) = 2*v**2 + 3*v. Let t be d(-2). Solve 1 - 7 = -t*r for r.
3
Let f be 3/4*(-22)/33*0. Solve -l + 8*l - 35 = f for l.
5
Let g be 2703/68 - 6/(-24). Solve -7*y = -15*y - g for y.
-5
Suppose -971 - 789 = 5*b. Let w be 2/3 - b/12. Let i = 32 - w. Solve -i*p = -3*p + 3 for p.
3
Let r(y) = -y**2 - 5*y - 3. Let f be r(-3). Let d be 9*(-7)/84 + (-126)/(-8). Suppose -f*k + 3*x = -d, k - 17 = -4*k + 3*x. Solve 0 = -j + k - 4 for j.
-3
Suppose 4*w = -131 + 515. Suppose -c = -5*c + w. Let s = 27 - c. Solve -o = s*o + 16 for o.
-4
Suppose -3*a + 20 = 5*l, -a + 12 = l + 2*l. Solve -y + 9 = l for y.
5
Suppose 2*g + 8 = 4*f + 4*g, -4*g + 9 = f. Let o be (1 - (f - -3)) + 4. Let k be 5/20 - (-11)/4. Solve k*z - 4*z = -o for z.
1
Let t(b) = 5*b - 20. Let r be 8/(-12) - 40/(-6). Let o be t(r). Solve 3*p + o = 4 for p.
-2
Let x be (-2 + (-80)/(-28))*14/2. Solve 0 = -3*j + x*j + 6 for j.
-2
Suppose -4 = -2*w + w. Solve 2*h + w = -2 for h.
-3
Suppose -2*i = 4*r - 4*i + 2, 5 = 5*i. Let q = -215 - -217. Solve 0*z - q*z = r for z.
0
Let d(b) = 45*b + 225. Let k be d(-5). Let q = -5 + 10. Solve q*h - h = k for h.
0
Let x(y) = -y**3 + 3*y**3 - 1 + 3*y**2 + 0*y**3 - y - y**3. Let g be x(-3). Suppose r = -2*p + 3, -3*r - g*p = -3*p - 9. Solve -r*j + 0*j = 3 for j.
-1
Let c be (4/(-6) - 1)/(430/(-1548)). Solve c*b + 26 = 32 for b.
1
Let d(s) be the first derivative of s**4/4 - 5*s**3 + 11*s**2/2 + 16*s - 7. Let v be d(14). Let c = 29 + v. Solve -c*j + j - 10 = 0 for j.
-5
Let r(k) = -k**3 - 6*k**2 + 16*k + 3. Let z be r(-8). Let i = -452 + 454. Suppose 2*j + 2*j = 20. Solve j = i*u + z for u.
1
Let d be -20*(-5)/30*6. Let h(r) = r - 10. Let k be h(9). Let n be ((k - -2) + -5)/(-1). Solve 4*u + n = d for u.
4
Let i be 2 - 2 - (-3 + 2). Let s = -13 + i. Let n be 0/(s/(-3)) + 3. Solve n*o + 4 = 1 for o.
-1
Let k(l) = 5*l. Suppose -3*a = 2 + 4, -3*a - 2 = s. Let v be k(s). Let c be v/11 - 12/(-66). Solve 15 = c*i + i for i.
5
Let c(f) = -19*f**2. Let x be c(2). Let i = 104 + x. Solve 5*b - 3 = -i for b.
-5
Suppose -5*p + l = -3*l - 221, 29 = p + 3*l. Let r = p + -21. Suppose 0 = 6*h - h - r. Solve -4*n = -8*n - h for n.
-1
Suppose -3*y = 5*z + 104, 2*z + 94 = -5*y - 92. Let x = 41 + y. Solve 7*j - x*j = 0 for j.
0
Suppose -60 = -5*k - 5*d, -11 = -2*k + d + 10. Solve 0 = -5*a + 9 + k for a.
4
Let z(w) = -1 + 5 + w + 2 + 5. Let b be z(-11). Solve 4*t + t = b for t.
0
Let g(w) = -2*w**2 + 43*w + 22. Let z(q) = q**3 - 5*q**2 - 3*q + 4. Let c be z(6). Let p be g(c). Solve 3 = 3*m - p*m for m.
1
Let l(p) = -p**2 + p + 5. Let a(s) = -2*s**2 + 2*s + 10. Let h(j) = -2*a(j) + 5*l(j). Let m be h(0). Let w be (-16)/(-3) - m/15. Solve -5*o = -w - 0 for o.
1
Suppose 0 = -5*k - 2*u + 8 + 4, u = -4*k + 12. Solve 20 - k = 4*n for n.
4
Su