-3*r for r.
0
Suppose 20 = -0*w + 4*w. Let u be ((-4)/10)/((-10)/(-450)). Let p = 33 + u. Solve 5*k + w - p = 0 for k.
2
Let j = -44 + 45. Let v be (45*j)/3*(-5 + 6). Solve -v*o + 12*o = -6 for o.
2
Suppose -16 = -3*l + 2*f - 3*f, -4*f + 28 = 3*l. Suppose -6 = -3*g - l*s + 5, 5*g + 2*s = 23. Solve 11 - g = -2*x for x.
-3
Let s = -12 + 18. Let j = 9 - s. Suppose 3*d + 5*c = -15, -5*d = -j*d - 5*c - 15. Solve -3*g + d*g - 12 = 0 for g.
-4
Let u(z) = -2*z - 2. Let r be u(-2). Suppose -4*p + 6 = -r*p. Suppose -5*c = p*k - 20, 3*c - 4*c + k = -12. Solve 10 = -2*n + c*n for n.
2
Let u(s) = 3*s**2 + 5*s + 5. Let y be u(-1). Suppose 2*a - 20 = -4*n, -y*a + 2*n = 2 - 0. Solve -2*t = a*t + 12 for t.
-3
Let w = 6 + -3. Let o be (1/w)/(5/75). Suppose z + 18 = 4*z + 5*j, 0 = -o*j. Solve -z + 2 = -4*m for m.
1
Let b be (-3)/(-1) + 15 - (5 + 0). Solve -b*p + 11*p - 6 = 0 for p.
-3
Suppose -65*w + 63*w = 5*m + 9, -12 = -w + 3*m. Suppose 0 = -2*u + 10. Solve -u*a = -12 - w for a.
3
Let d(g) = 3*g**3 + 3*g**2 + 2*g + 2. Let z be (-40)/22 - 4/22. Let l be d(z). Let w = l - -14. Solve -3*b + 3 = -w for b.
1
Let g(s) = -3*s - 107. Let l be g(-37). Solve 43 = l*b + 55 for b.
-3
Let r(a) = -16*a**3 + a**2 - 5*a - 7. Let x be r(-1). Solve 560*p - 563*p - x = 0 for p.
-5
Suppose 0 = 3*a - 4 - 8, -k + 76 = 4*a. Suppose -i + k = i. Let q = i + -24. Solve 2 = -4*o - q for o.
-2
Suppose 1 = f - 6. Suppose -c + 4*w - 25 = -2*c, -2*c + 50 = w. Suppose -c = -3*u - f. Solve 0 = 6*l - 3*l - u for l.
2
Let h(o) = 5*o**2 - 8*o**2 + 8*o + 2*o**2 + 2. Let b be h(7). Let i be (b/6)/(12/16). Solve -13 = -i*r - 3 for r.
5
Let s(c) = 2*c**2 - 27*c - 68. Let q be s(16). Solve -14*w - 6 = -q*w for w.
-3
Let o be 5/(-2)*(-4)/5. Suppose 5*t = 0, 3*t = 3*w - 8 + o. Solve w = -n - n for n.
-1
Suppose 4*w - 5 = 15. Let d(z) = -z**3 + 5*z**2 + 2*z - 7. Let b be d(w). Solve 0 = 2*l - b*l + 3 for l.
3
Let g be (-1426)/26 - 3*12/234. Let m = g - -57. Solve -3*v = m*v for v.
0
Suppose 0 = 4*c - 12. Let l be c/12 + (-23)/(-4). Let w(i) = -i**3 + 7*i**2 - 5*i - 5. Let y be w(l). Solve 0 = v - 2*v + y for v.
1
Suppose 0 = 3*l + 20 - 23. Let d = l - 1. Solve -n - 2*n + 15 = d for n.
5
Suppose 0 = -8*c - 5 + 45. Solve -w + c = 8 for w.
-3
Let p = -576 - -586. Solve -p = -11*o + o for o.
1
Suppose -4*d = -2*h - 88, -5*d - 7 = 3*h - 139. Solve -9*k = -15*k + d for k.
4
Let s be 4/(-3)*21/14. Let g be 2 - (4 - 4)/s. Solve -g*z - z = 0 for z.
0
Suppose p + 5*j - 12 = 0, 2*p - 2*j + 16 = p. Let k be 22/6 + p/(-6). Solve -2*x + 12 = -k*x for x.
-4
Let z be ((-11)/5)/((-38)/(-10) + -4). Solve z - 14 = v for v.
-3
Let z(x) = -x**3 + 10*x**2 - 6*x + 1. Let s be z(9). Suppose s = -0*i + 2*i. Let b = i - 5. Solve -4*w - 3 = b for w.
-3
Let p(h) = h**2 - 6*h + 11. Let f(t) = -t**2 + 6*t. Let q be f(5). Let o be p(q). Solve 2*z - 16 = o*z for z.
-4
Let f(k) = -3*k - 28 + 13 + 13 + 5*k**2 - k**3. Let q(s) = -2*s**3 - s**2 + 3*s - 2. Let z be q(-2). Let n be f(z). Solve 0*r - n*r + 2 = 0 for r.
1
Let c(j) = -j**3 + 11*j**2 - 28*j - 4. Let z be c(6). Solve -z*i - 22 = -6 for i.
-2
Let c = -5 + 12. Let v(b) = b**3 - 5*b + 4*b**2 - 2*b - 10*b**2 + 3. Let i be v(c). Solve -4*g = i - 23 for g.
5
Let z(o) = -o**2 - o + 6. Let i be z(-3). Solve i = 11*a - 12*a + 5 for a.
5
Let n(i) = i**2 - 9*i + 16. Suppose y - 9 + 1 = -q, -q + 24 = 3*y. Let c be n(y). Solve w - c = -w for w.
4
Suppose 2*a + 16 = 4*z - 2*a, a + 4 = 5*z. Suppose z = j + j - 4. Solve 0 = -j*b - 2*b - 4 for b.
-1
Let m(s) = -s**3 - 7*s**2 + 7*s - 5. Let n(q) = -q**2 + 8*q + 4. Let l be n(6). Suppose 4*z = -16 - l. Let w be m(z). Solve w*d - 2*d = 0 for d.
0
Suppose -18 = -25*q - 18. Solve -o + 2*o - 5 = q for o.
5
Suppose -6*x + 2*a + 20 = -2*x, -5*a = x + 6. Let r be 1/2*(x + 0). Solve -6 = 2*h - r for h.
-2
Suppose 32 = l + 2*k, -4*l + 0*l + k + 128 = 0. Suppose 0 = c + c - l. Solve 4*x = -0*x - c for x.
-4
Suppose 568*q - 564*q = 24. Solve q*a = -0*a for a.
0
Suppose -28*c + 24*c + 104 = 5*i, -c = i - 21. Solve 0 = -32*z + i + 12 for z.
1
Let y be (5/(-3))/((-2)/30). Suppose -138*t + 76 = -142*t. Let s = y + t. Solve -s*c + 15 = -c for c.
3
Suppose 0 = 3*g + g - 2*q + 126, -3*g - 5*q = 75. Let f = -30 - g. Solve -4*m - 6 + 2 = f for m.
-1
Let c(f) = -6*f - 302. Let a be c(-53). Solve a*d - 11*d = 10 for d.
2
Let s(q) = -6*q - 6. Let m be s(-5). Suppose 11*k - 7*k = m. Suppose 40 = k*n - 2*n. Solve 0*f + 2*f = n for f.
5
Let b be 18/4*2/3. Suppose 9 = 5*q - a - 13, 0 = 3*q + b*a - 6. Suppose t = q*t. Solve 5*h - 4*h - 1 = t for h.
1
Let c = 5 - 2. Solve 6 = c*f + 12 for f.
-2
Suppose 0 = -5*g + 25, -4*i + g - 20 = -9*i. Let y(z) = -22*z**3 - z**2 - z. Let r be y(-1). Solve -i*x = -10 + r for x.
-4
Suppose -2*u = -5*a + 15, -4*u = -a - 5 - 10. Suppose -u*h = -6 + 21, 9 = -z - 4*h. Suppose z*d - 1 = 17. Solve -2*w = -2 - d for w.
4
Let u(l) be the first derivative of 3*l**4/4 - l**2 + 2*l + 26. Let t be u(1). Solve 0 = -4*o + o + t for o.
1
Let z = 7 - 5. Let p be (-7 + 3)*-1 - -13. Suppose 3*w = 2*t + 2, 8*t - 3*t - 2*w - p = 0. Solve -z*u + 3 = -t for u.
4
Suppose 0 = -k, 4*k + 0 = -2*m + 16. Suppose -2*w + f - 2 = -m, 6 = 2*w - 3*f. Solve 3 = 3*u - w for u.
2
Let m = -523 + 527. Solve -b = -5*b - m for b.
-1
Let h = -43 + 84. Let u = -40 + h. Solve 5*t - u - 14 = 0 for t.
3
Let t = 1338 - 1300. Solve -16*g + 6 = t for g.
-2
Let w = 37 + -25. Let t = -1841 - -1845. Solve w = t*i - 7*i for i.
-4
Let o = 1419 - 1413. Solve -o = -3*v + 6 for v.
4
Let y(v) = -v**3 + 2*v**2 + 4*v + 1. Let o be y(3). Suppose -o*g + 3 = -g. Let a be 1 + g/(4/12). Solve -5*d + d = -a for d.
1
Let g = 872 - 864. Solve 40 = g*z + 16 for z.
3
Suppose -12 = -r + 1. Let n(u) = 24*u - 44*u + 2*u**2 + 7*u - u**2. Let k be n(r). Solve k*d = -d for d.
0
Suppose 5*f - l - 159 = -3, 5*f = 4*l + 144. Let b = f + -22. Solve -2*k - b = -0*k for k.
-5
Let x = -14 + 24. Let v(g) = g**3 - 11*g**2 + 9*g + 13. Let n be v(x). Solve 0 = -2*l + n*l for l.
0
Suppose 3*i + 8 = 4*i. Let d(n) = -n + 8. Let g be d(0). Let c = i - g. Solve c = w + 4 for w.
-4
Let r = 0 + 0. Suppose 4*h + 603 = -2*m + 621, 2*h - 3 = 5*m. Solve r = 3*p - 1 + h for p.
-1
Let q = -413 + 415. Let c be 1/((-2)/(-12) - 0). Solve c*p - q*p = -8 for p.
-2
Suppose 0 = 3*d - 5*a + 50, -a + 3*a = 8. Let b be (0/(-1))/(8 + d). Solve b = -5*s + 13 + 7 for s.
4
Let l(q) = -7*q + 190. Let t be l(26). Solve 12 - t = 4*g for g.
1
Let v(h) = -h**3 + 13*h**2 + 3*h - 296. Let m be v(7). Suppose 0 = -3*f + f + 8. Solve -5*a + m - f = 0 for a.
3
Let t be (3/(-2))/(5/(-10)) + -8. Suppose 30 = 4*p - 14. Let k = t + p. Solve h = k*h for h.
0
Let i be (-32)/(-8) - (2 + -1). Suppose 4*t + t + b = 11, -2*t + 18 = -i*b. Solve t*w = -w for w.
0
Suppose 0 = y - 107 + 97. Suppose t + 50 = -0*r + 4*r, y = -5*t. Solve 0 = -6*q + 3*q - r for q.
-4
Suppose 2*h = -h + 3*b + 36, 42 = 2*h + 4*b. Suppose -2*y - u = 2*u + h, 0 = 2*u + 10. Let c(o) = o**2 - o + 3. Let n be c(y). Solve -6*d = -n*d - 9 for d.
3
Let p be 47 + -41 + 2*-3. Solve p*j = -3*j for j.
0
Let b be -2 + (17/(-51))/((-2)/24). Solve 0 = -0*i + b*i + 10 for i.
-5
Let n = -41 + 41. Suppose 3*k + n = 15. Solve 2*i + 5 = -k for i.
-5
Suppose 2*x = a + 40 - 21, -5*x - 4*a + 28 = 0. Solve -3 + 11 = -x*m for m.
-1
Let n(k) = k**2 - 3*k + 2. Let p be n(3). Let z be (1 + 0)*0/p. Let h(w) = -w**3 - 8*w**2 - 2*w - 11. Let m be h(-8). Solve m*g = -z*g - 20 for g.
-4
Suppose -4*h = 4*p + 40, -5*h - 51 + 13 = p. Let s be ((-36)/(-12))/((-3)/h). Solve 5*v - s - 3 = 0 for v.
2
Let g = 144 + -141. Solve -10 = d - g*d for d.
5
Let s(o) be the first derivative of o**2 - 4*o + 1. Suppose -3*g + 5*j + 0*j = -37, 5*g - 10 = -2*j. Let l be s(g). Solve 0*u = l*u for u.
0
Let f be (4/6)/(16/(-24)). Let p = f + 11. Suppose 2*i = -3*x + 6, 5*x + i + i = p. Solve -2*n + 4*n = -x for n.
-1
Let t be (-25 + 9 + 4)*1/(-2). Solve 4*x + 8 = t*x for x.
4
Let k(v) = v**3 - 7*v**2 - 6*v - 9. Let i be k(8). Let g = -1254 + 1258. Solve g*j + i = -1 for j.
-2
Let t = 5 - 5. Let s(z) = z - 3. Let d be s(3). Suppose -n + 4*g = -2, -17*n - 6 = -20*n - 2*g. Solve d*k + n*k = t for k.
0
Let m(l) = -2*l - 14. Let a be m(-12). Suppose 4 = -2*s + 4*o, -6*s + a*s = -2*o + 12. Solve s = 3*g - 1 for g.
1
Suppose r = -0*r + 17. Let q = r + -15.