-10*y - 9 - 1 = t for y.
-1
Let i = 12 - 2. Let u = -8 + i. Solve 0 = 7*r - u*r for r.
0
Let v(p) = -p**3 - 29*p**2 - 54*p. Let u be v(-27). Suppose 0*r + r + 3 = 0. Let f be 4/6*r + 4. Solve -3*x + f + 10 = u for x.
4
Suppose 0 = -2*u + u. Suppose 10*s = -17*s. Let n = u + s. Solve r + 3 = -n for r.
-3
Suppose p - 2*t - 1 = 1, 4*t = -3*p - 4. Solve p = -2*l - 6*l - 24 for l.
-3
Let i be (38/8 - 1)/(9/12). Solve -4 = i*o + 1 for o.
-1
Suppose y - 5*y - 20 = 0. Let n(o) = o**2 + 6*o + 1. Let b be n(-4). Let k = y - b. Solve -v + k = -2 for v.
4
Suppose -2*x + 4*i - 44 = -4*x, 20 = 4*i. Solve -30*r + x = -33*r for r.
-4
Let i(d) = 4*d**2 - 38*d - 86. Let h be i(-2). Solve -h = -18*l + 21*l for l.
-2
Suppose 0*n - n = -5, -y + 5*n = 23. Let j be (-28)/462 - 1169/(-231). Suppose -j*r + 17 = -d - 3*d, 0 = -4*d + 2*r - y. Solve -b - d = b for b.
-1
Let k be (-192)/(-104) + 8/52. Suppose -4*o + k*t + 8 = 0, 4*t - 8 = 2*o - 0*o. Solve -3*x + x - o = 0 for x.
-2
Suppose 0 = 6*r - 11*r - 90. Let b = r - -18. Solve b = u - 2 - 2 for u.
4
Let m be 129/(-7) - 12/(-28). Let s = m + 38. Solve -s + 0 = 4*o for o.
-5
Suppose 23 = 4*w + 3. Suppose -3*a = 5*b + 14, 7*a + 12 = 3*a - w*b. Solve 0 = 2*k - a - 4 for k.
3
Let a(j) = -j**3 + 6*j**2 + 5*j - 3. Let m be a(7). Let c(q) = q + 18. Let p be c(m). Solve 0 = 2*l - 7 - p for l.
4
Let r(a) = -2*a - 33. Suppose -37*h = -32*h + 85. Let v be r(h). Solve 2*k + v = -1 for k.
-1
Suppose 5*s = -3*h + 3, -4*s + 21 = -3*h - 3. Suppose j + 40 = -s*j + 2*q, q - 4 = 0. Let k be (7/(14/j))/(-2). Solve 6*a + 20 = k*a for a.
-5
Let c be (24 - (-3 + 2)) + -2. Let j = -13 - 0. Let w = c + j. Solve -m - w = m for m.
-5
Suppose 10 = -2*o + 68. Suppose 0 = o*v - 24*v - 30. Solve -4*f - v - 2 = 0 for f.
-2
Suppose -3*k - 3 = -4*b + 11, 2*b = k + 6. Suppose 3*x = -b*x - 25. Let p be (x + 3 - 0) + 4. Solve 4*c - p = 2*c for c.
1
Suppose -k + 3*b = -15, 28*b - 29*b - 5 = k. Let v(n) = n**2 + 4*n - 2. Let d be v(-5). Suppose 0 = -d*r + 5*r. Solve a + k*a + 1 = r for a.
-1
Let g(s) = -s**3 + 7*s**2 - 3*s + 21. Let y be g(7). Solve y*r = -3*r for r.
0
Suppose v + 0*v = 2*n, 3*n + 4*v = 0. Suppose -3*p + 9 = -n*p. Suppose -p*h = o, 2*h = -2*o + 8 - 4. Solve u = o*u + 2 for u.
-1
Let o(h) = -h**3 - 8*h**2 - 8*h + 1. Let m be o(-7). Suppose -4*d = -m*d. Let k be -3 + (18/10)/(3/10). Solve d = k*a + a - 20 for a.
5
Let o(b) = -2*b**2 + 10*b - 5. Suppose 5*c - 45 + 25 = 0. Let t be o(c). Solve 0*u - u = t for u.
-3
Suppose -5*y - 2*p = 35, 3*p - 5 = -3*y - 35. Let h(v) = v**3 + 3*v**2 - 9*v + 5. Let c be h(y). Solve c*n + 3*n = 0 for n.
0
Suppose -h = 2*t - 9, t - 2 = 1. Let u be ((-39)/26)/((-1)/2). Suppose -3*w - 2*w = 3*w. Solve w = -u*x + 3 + h for x.
2
Let z(v) = -5*v - 1. Suppose -4 = 4*b - 5*p + p, 2*b - p = -2. Let n be z(b). Solve 2*l = l - n for l.
-4
Let i = 341 + -167. Suppose -4 = i*l - 175*l. Solve -l*r = r for r.
0
Let p = -23 + 30. Solve -5*i - p = -2 for i.
-1
Suppose 0 = -y - 3*y. Suppose y = -8*v + 5*v + 45. Suppose -v = -16*f + 11*f. Solve 8 = d - f*d for d.
-4
Let l = 14 - 10. Suppose 0 = -l*s + 6 + 6. Let c = s - -2. Solve -c*j = -2*j + 9 for j.
-3
Let j be (49/(-3) - 0)*(17 + -11). Let a = -90 - j. Solve a + 1 = 3*z for z.
3
Let f = 12 - 9. Suppose -f*v + 26 = 8. Solve -r = -3*r + v for r.
3
Let g be 6/(3*(200/65 - 3)). Solve 24*z = g*z - 10 for z.
5
Let r be (-162)/(-21) - (-6)/21. Let c be 3/2 + 4/r. Suppose -c*y - p = -11, 23 = 5*y + 3*p - 2*p. Solve -2*a + y + 2 = 0 for a.
3
Suppose -g = 3*q - 20, -4*g + 0*g - 3*q + 89 = 0. Let y = g - 18. Let b be (12/(-9))/((-4)/15). Solve -y*l - 10 + b = 0 for l.
-1
Let h(c) = -6*c + 27. Let s be h(4). Solve -s = 3*f - 18 for f.
5
Suppose -p - 3*p + 8 = 0. Suppose d - 4 = -p. Suppose 2*g - d = w, 5*w - 2 - 24 = -2*g. Solve 5 = -g*i - 10 for i.
-5
Let g(d) = d**3 - 2*d**2 - 4*d + 5. Suppose j - 9*j = -24. Let r be g(j). Solve -r*b - 3*b - 25 = 0 for b.
-5
Let a(f) = f**3 + f**2 - 12*f + 2. Let k be a(-4). Suppose k*v = v + 4. Solve -2*r = -3*r - v for r.
-4
Let h = -20 + 26. Solve -h*b + 8 = -2*b for b.
2
Suppose 2680 = 26*w + 210. Solve -5*b = 90 - w for b.
1
Let s be 0/(-3 - (-1 + 1)). Suppose s = -c + 3*c + 10. Let g = 7 + c. Solve -4 = g*f - 6*f for f.
1
Suppose -2*p + 3 = -1, 4*p = 2*y + 8. Solve 6*x - 8*x - 9*x = y for x.
0
Let l(z) = z**3 + 4*z**2 - 8*z + 20. Let o be l(-6). Let r be ((42/4)/(-1))/(3/o). Suppose -5*m + 4 - 19 = 2*i, 0 = -3*i - 5*m - 10. Solve -6 - r = -i*s for s.
4
Let k be (5/3)/(-5*(-7)/105). Suppose 0 = 4*b - 3*w - 23, b + 5*w = k*b - 25. Solve -b - 10 = 3*i for i.
-5
Let i be (23 + 1136/(-48))/(2/(-18)). Solve -i = -8*v + 2*v for v.
1
Let s(o) = 50*o + 603. Let c be s(-12). Solve -18*b + 19*b + c = 0 for b.
-3
Suppose 244*o = 253*o - 63. Solve -30 = -o*c + 13*c for c.
-5
Let n(k) = 31*k - 145. Let w be n(5). Solve -w = -4*a - 6 for a.
1
Let k = 15 - 13. Solve k*n = -3*n + 5 for n.
1
Let v(k) be the third derivative of -k**5/30 + 17*k**4/24 + 7*k**3/3 - 4*k**2 + k. Let p be v(9). Solve 0 = -p*s - 4 + 24 for s.
4
Suppose -3*j + j = -28. Suppose -j = -0*m - 7*m. Solve -p + m*p = 2 for p.
2
Let m = -2 + 2. Suppose -5*p + 110 + 330 = m. Suppose p = 4*j - 4*k, -2*j = j - k - 56. Solve -5*d - j = -2 for d.
-3
Let y(x) = x**2 + x. Let t(c) = -3*c**2 - 5*c + 2. Let s(i) = t(i) + 2*y(i). Let j be -4 + 4 + -1 - (-2 + 3). Let a be s(j). Solve 0 = a*w - 6*w - 4 for w.
-2
Let a = 38 + -32. Suppose -2*k - 4*f = -46, 0 = 2*k - 4*k + 4*f + 78. Suppose 5*z - k = -11. Solve z*q = q + a for q.
2
Let k be (9/27)/((-1)/(-6)). Suppose 6*c - 6 = -k*m + 3*c, m - 3 = -c. Let l = -15 - -17. Solve -m*d + 25 = l*d for d.
5
Suppose 0 = 2*l - 18*j + 22*j - 50, -5*j = -l + 60. Suppose 80*v - 87*v = -l. Suppose -5*p = 2 - 12. Solve p*r = v*r + 3 for r.
-1
Suppose 0 = u - 5*n + 2, u - 6*u + 102 = 3*n. Let s = -16 + u. Solve -6*h + 12 = -s*h for h.
3
Let a(h) = -h**3 - 6*h**2 - h + 4. Let q be a(-4). Let c be q/(-14) - 18/(-63). Let y be 15/(-25)*(-7 + c). Solve -y*m + 2 = -4 for m.
2
Suppose 2*b + 0*n - 3 = -n, n + 9 = 2*b. Suppose 0 = b*c + 15, 0 = -4*u + 3*c + 35. Solve u*h = 3*h + 10 for h.
5
Suppose 7*k - 8 = 9*k. Let m be -2 + (k - -1) + 3. Let b be 76/(-57)*(-1 + m). Solve -b = 3*n - 1 for n.
-1
Let p be (2 + (-2 - -3))*-1. Let n be 2*(p + 2 - -2). Suppose 0*c + 30 = n*c. Solve -3*j + 6*j = c for j.
5
Let g(t) = t**2 - 6*t - 5. Let l(m) = -m - 8. Let j be l(6). Let s = 21 + j. Let c be g(s). Solve c*f = f + 1 for f.
1
Let d(x) = -11 + 3*x**2 - 3*x**2 - 3*x**2 + 2*x**2 - 9*x. Let p be d(-7). Suppose -2*y - 4 = -b, -3*b + p*y + 16 = b. Solve b*r - 1 = -9 for r.
-2
Let d = -101 + 104. Solve d*f + 6 = -3 for f.
-3
Let v(q) = q**3 - 5*q**2 - 3*q - 8. Let k be v(6). Suppose 2*j + 5 = -5*y - 5, j + 5*y = -k. Solve -4*p - p = j for p.
0
Let c(k) = 3*k. Let n(r) = -r**3 - 6*r**2 - 5*r - 3. Let z be n(-6). Let f = z + -27. Let u be c(f). Solve 0*g + 5*g = u for g.
0
Let d(l) = -l**3 - 1. Let t be d(-2). Let k(o) be the second derivative of o**4/12 - 7*o**3/6 + 3*o**2/2 - 11*o + 3. Let m be k(t). Solve 4*q = -m - 5 for q.
-2
Let x = -16 + 21. Suppose -2*f + 17 = -13. Let a(b) = -4*b**2 - 66*b + 44. Let r be a(-17). Solve -x*m - r = f for m.
-5
Suppose 4*c = 5*t - 7*t + 20, -5*t + c = -28. Solve -t*b - 9 = -3*b for b.
-3
Suppose -7*q + g = -2*q + 4, -3*q - g + 4 = 0. Solve q = -15*y + 2*y + 13 for y.
1
Suppose -35 = -406*t + 399*t. Solve 0*g + t = -g for g.
-5
Let l(m) = m**2 - 3*m + 2. Let h be l(2). Suppose 0 = -2*w + 4*t + 24, -2 - 2 = 3*w + 2*t. Solve h - 6 = -w*c for c.
3
Suppose 0 = -8*a + 19 + 13. Suppose -v = 5*o - 15, 2*o + a - 10 = 3*v. Solve -o = m + 2 for m.
-5
Let c be 1*(2 - (0 - -2)). Suppose -4*t - a - 2*a = 0, -a + 2 = 2*t. Suppose 0 = t*d - 2*d - 2. Solve -d*u = 4 - c for u.
-2
Suppose 0 = -3*m + 23*m. Solve -5*w + 25 = -m*w for w.
5
Let h = 4 + 1. Suppose -19 = -h*j + 1. Let x be 6/(-4) - (-14)/j. Solve 2*f = 3*f + x for f.
-2
Suppose -4*w + 8*w + 3*p - 39 = 0, 2*p + 16 = 2*w. Solve -15*a = -12*a + w for a.
-3
Suppose -5*g - 3 = 22. Let l be 1/(2 + -5 + 2). Let b be 1 + l - (g - 0). Solve 2 = 3*x + b for x.
-1
Let h = -32 + 37. Solve 0 = -h*f + 25 for f.
5
Suppose 2*v = 19 - 7. Suppose 4 = 4*u - 4. Suppose -14*m + 50 = -4*m. Solve -m*n + u*n + v = 0 for n.
2
Let l = 26