3*v - r. Solve 5*y + i + 1 = 0 for y.
-2
Suppose 0 = 5*j - 65 - 30. Solve 18 - j = m for m.
-1
Suppose 3*m = 2*f - 49, 115 = 5*f - 3*m - 2*m. Solve -f = 52*z - 56*z for z.
5
Let q(h) = h**3 + 3*h**2 - 9*h + 12. Let l be q(-5). Let i be (60/l)/2 + (-14)/49. Solve 1 = d - i for d.
5
Let u(v) = -v**2 - 8*v - 9. Let j be u(-2). Solve -j*o + 3 = -6 for o.
3
Suppose 0 = 2*y + 3*y - 20. Suppose -14 = -5*a + y*c, -4*a + 4 = -0*a - 5*c. Solve -q + a = q for q.
3
Suppose -190 = -y - 4*y. Let r = -33 + y. Solve -2*s = -1 + r for s.
-2
Suppose 5*a - 4*r - 71 = 0, -a + 3*a = -3*r + 33. Solve 4 = -a*k + 19*k for k.
1
Let h be -12*(-1 + (-2)/(-8)). Let c = -65 - -94. Suppose -i + 34 = 3*s, i = 3*s - 3*i - c. Solve -h = -5*q + s for q.
4
Let c be (-45)/(-21) - 1/7 - -10. Suppose -4*v + c = -3*r + 4, -8 = r - 4*v. Solve 3*h + 15 = -r*h for h.
-5
Let b = 277 - 273. Solve 0*r + b = 2*r for r.
2
Let d(c) = -4*c**3 + 1. Let g(i) = 3*i + 2. Let x be g(-1). Let u be d(x). Solve u*v - 2*v + 12 = 0 for v.
-4
Suppose -4*t + 39 = -81. Solve 0 = 9*q - 3*q + t for q.
-5
Let l(z) = -z**3 - z**2 - 3*z - 5. Let t be l(-2). Suppose -g - 8 = -t*g - 4*a, 2*g + 2 = 4*a. Solve -g = 3*b - 2*b for b.
-1
Let m = -576 + 576. Solve 4 = -4*i - m for i.
-1
Let z = 5 - 4. Suppose -5*w - 2*k + z + 18 = 0, -5*w = k - 17. Suppose -w*y - 2*x + 0*x = -15, -2*y - 2*x + 12 = 0. Solve y*a = 8 + 4 for a.
4
Let a(l) = 21*l + 62. Let w be a(-2). Solve -w = -3*y - 2*y for y.
4
Let z = 17 - 11. Solve z*d - 15 = -39 for d.
-4
Let t be (-6)/9 - 154/(-6). Suppose 153 = -9*a + 54. Let v = t + a. Solve 0 = -4*k - v - 6 for k.
-5
Suppose -7*j = -11*j + 8. Suppose -4*p + 8 = d, -2*d - j = -0*p - p. Solve -k = k + p for k.
-1
Let v = 14 - -21. Let c = v + -33. Solve -n + c = 7 for n.
-5
Suppose -s - 36 = -4*j, 2*j + 5*s - 31 = -13. Suppose -y + 6 = t, -11*y + 12*y = 5*t - 24. Solve -t*d + 6 + j = 0 for d.
3
Suppose -4*j - 3*a = -0*j - 11, 2*j - 7 = -3*a. Solve -j = 2*q - 0 for q.
-1
Suppose 0 = -5*o + 5*h + 15, h - 3 = -3*o - 2*h. Suppose -2*w + 20 = o*w. Suppose -3*f = 4*a - 95, -4*a + 6*f = 2*f - 60. Solve -w*b - a = -b for b.
-5
Let y(j) = j**2 - 4*j + 2. Let u be y(5). Suppose 5*p = u*p - 6. Suppose -2*f - p = -7. Solve 0 = f*c - 4*c for c.
0
Let x(w) = -24*w + 14. Let k be x(3). Let f = k - -60. Solve f*m + 0 = 4 for m.
2
Let f(i) = -i**3 + 6*i**2 - 2*i + 13. Let n be f(6). Let k be 306/30 - n/5. Solve -2*h = -4*h + k for h.
5
Let h be (-46 + -6)*19/(-76). Solve h*n - 16 = 5*n for n.
2
Suppose 0 = 22*u - 72 - 38. Solve -u + 1 = -4*q for q.
1
Let o be -12*(0 + 4/(-24)). Solve -2 - 6 = o*b for b.
-4
Suppose 5*b - 108 = b. Suppose -2*a - 3*a = -25, -3*a = 3*y - b. Suppose 16 = y*c, 11 = -o + 6*c - 3*c. Solve h + 0*h = o for h.
1
Let i = 70 - 66. Suppose -4*m = -5*l + 33, i*m - m + 1 = -l. Solve -l = o - 7 for o.
2
Let t(i) = -3 + 2*i**3 + 6*i - 6*i**2 - i**3 + 4. Let n be t(5). Suppose 0 = 5*z - 25, -n*z + 4*z = 5*q - 25. Solve q*r = r + 8 for r.
4
Let h be (-7 + 10 - 2) + 3. Suppose -14 = -4*c - o, 2*c + 0 = -5*o - 2. Solve 0 = -h*v - c - 16 for v.
-5
Suppose 2*r - 4*a - 42 = 28, -a - 130 = -3*r. Solve r = -5*o + 14*o for o.
5
Let c be 2/(-3) - 12/36 - -6. Suppose -c*x - 2*u = -23 - 2, -2*x = 2*u - 4. Solve j + 10 = x for j.
-3
Let y = 145 - 226. Let a = y - -81. Solve -5*b + 20 = -a*b for b.
4
Let y(c) = c**2 - 60. Let p be y(8). Solve 12*x = 16*x + p for x.
-1
Let z(n) = -n**3 + 9*n**2 + 1. Let i be z(9). Suppose 0 = -4*u + 3*x + 15, -4*x + 11 = 5*u - 0*u. Let b = -5 - -9. Solve b = -u*m + i for m.
-1
Let k(v) = -v - 1. Suppose -7*y = -0*y. Let z be k(y). Let s be (-2 - -3) + z + 6. Solve -15 = -s*f + f for f.
3
Suppose -6 = p - 9. Let m(i) = 2*i - 5. Let b be m(p). Solve 2*n = b - 3 for n.
-1
Suppose -5*g - 3*q + 7 = 0, -4*g = 4*q - 2*q - 6. Solve 0*p + 10 = -g*p for p.
-5
Let j(s) = s + 6. Let h = 16 + -15. Let v be j(h). Solve -4*i - 1 - v = 0 for i.
-2
Suppose 67*b = 69*b - d - 13, -4*d + 38 = 2*b. Solve 5 = 8*r - b*r for r.
-5
Let i(v) = 5*v**2 - 2 + 2*v**3 - 6*v - 2*v + 0*v - v**3. Suppose -53 = 2*b - 41. Let y be i(b). Solve -2*t = -4*t + y for t.
5
Let i(c) be the first derivative of c**3/3 - c**2/2 - 8*c + 9. Let b be i(4). Solve -2*l = -b*l - 6 for l.
-3
Suppose 2 = 2*b - 0. Let k = b + 2. Suppose 10*r = 3*r + 140. Solve d = -k*d - r for d.
-5
Let h be 12*(-3)/6 + 7. Solve -4*f + h = 1 for f.
0
Let a(c) = 59*c + 535. Let p be a(-9). Solve -44*v = -40*v - p for v.
1
Let q(j) = j**2 + j + 26. Let o be q(0). Let v = o - 22. Let d be v/8*(-3 + 13). Solve 2*w = -3*w - d for w.
-1
Suppose 0 = 9*z - 3*z - 42. Suppose -z*f + 8 = -13. Solve n = -0*n + f for n.
3
Suppose -5*p + 59 = 4*m + 4, 5*p - 45 = -3*m. Solve 0 = -5*r - 35 + m for r.
-5
Let n = 9 + 9. Let j = n - 13. Let q be (-8)/(-20) - (-116)/10. Solve j*y + q = -3 for y.
-3
Let c = -25 - -37. Let u be (-7)/(28/c) - (-13 - -1). Solve u*n = 4*n + 25 for n.
5
Let l be 13 + (0 - 3 - -1). Let o = l - 6. Suppose -2*y + 17 - 5 = -o*g, y = 5*g + 11. Solve p = y + 1 for p.
2
Suppose 6*f - 4*f - 36 = 0. Suppose 0 = 2*q - 2*w - f, 3*q + w = -0 + 15. Suppose 5*c = 10, -2*c - 2 = 3*j - q. Solve j = 2*b - 3*b for b.
0
Suppose -29*t = -17*t - 672. Solve 0 = d - 57 + t for d.
1
Let u be 154/10 - (-12)/(-40)*-2. Let t be ((-1)/(-2))/(-4*(-1)/u). Solve -k = -1 - t for k.
3
Let q(w) be the first derivative of w**4/4 - 17*w**3/3 - 9*w**2 + 4*w + 15. Let y be q(18). Let f = -1 - -1. Solve -y*m + 2*m = f for m.
0
Suppose 4*k - 11 - 5 = 0. Suppose k*r - 7 = -5*s, 10 = 2*s - r + 2. Solve -s*q + 16 = -7*q for q.
-4
Let b be (-16)/136 + 108/51. Solve -b*y + 3 = 13 for y.
-5
Let k be -2 + -8*(-738)/24. Solve k*h + 1 = 243*h for h.
-1
Let r = -89 + 98. Suppose r = 8*k - 5*k. Suppose 4*y + n - 44 = 4*n, 44 = 5*y - n. Solve 5*j - y = k*j for j.
4
Let o = 258 - 241. Solve 3*k = 2 - o for k.
-5
Let g = -36 - -22. Let k = 23 - 4. Let u = k + g. Solve u*x + 6 = 1 for x.
-1
Let i = 13 + -13. Suppose 3*a = -2*a + 3*p + 34, i = p + 3. Solve -v = 4*v - a for v.
1
Let c be (-6)/3 + (3/1 - -1). Solve -c*t = -3 - 7 for t.
5
Let n be (50/30)/((-2)/(-3))*2. Suppose 3*f + n*l = 26, -2*f - 12 = -4*l - 0*l. Solve f*p - 6*p = -20 for p.
5
Let g(o) = -2*o**3 + 24*o**2 + 2*o - 12. Let d be g(12). Solve 14 = 5*b - d*b for b.
-2
Let l be (2/6)/(5/45). Suppose 41 - 5 = l*k. Suppose 19 = 8*h - 13. Solve -u + k = -h*u for u.
-4
Let p be ((0/(-3) - -1) + -2)*-7. Solve 2*w + 3 = p for w.
2
Let k be (-1)/(5 + 84/(-16)). Solve m = k*m - 6 for m.
2
Let x(r) = 6*r - 67. Let p be x(12). Solve -10 = p*a + 10 for a.
-4
Let a(m) = 3*m**2 + 16*m - 4. Let y be a(-6). Solve 0 = -3*j + y*j for j.
0
Suppose 200 = 5*k + 3*k. Let j be (6/(-5))/((-10)/k) - 1. Solve 2 - 12 = -j*w for w.
5
Let p = 214 + -29. Let o = -173 + p. Solve o = 4*m - 0*m for m.
3
Suppose -17 = -2*o + 3*c, 1 = 5*o + c - 33. Suppose -2*m = 5*v + m - o, 5*v - 5*m = 15. Suppose -4*l - d = -15 + 2, 0 = -d + 1. Solve -l*u - v*u = -20 for u.
4
Let t(h) = -h**3 + 6*h**2 + 4. Let s be t(6). Suppose -10*g - 5 = -9 - 6. Solve -19 = s*u + g for u.
-5
Suppose 3*m = 15 + 24. Suppose -6*z + m + 83 = 0. Solve -7*s + 3*s + z = 0 for s.
4
Let x(g) = 9*g + 13. Let n be x(-1). Solve 3*y - n*y + 4 = 0 for y.
4
Suppose 20 = 4*o - 3*j, 3*o + 5*j + 7 + 7 = 0. Suppose -z = 4*f + 6, z + o*f = 2*z - 12. Solve 2*v + 0 = -z for v.
-3
Let i(y) = y. Let m be i(0). Let n be 26/2 - ((0 - m) + 3). Solve 3*a + n = -2*a for a.
-2
Let w be ((-2)/3)/((-212)/21306). Solve -68*v + 5 = -w*v for v.
5
Let o(a) = 11*a**2 + 100*a + 13. Let p be o(-9). Solve 4*u = -p - 0 for u.
-1
Let g(v) = 8*v**3 + 48*v**2 + 2*v + 12. Let l be g(-6). Solve -10*z = -l*z - 40 for z.
4
Let x(d) = -d**3 + d**2 - d + 2. Let s be x(2). Let o(z) = 8*z**2 - 2*z - 1. Let b be o(-1). Let j = b + s. Solve 0*y + j*y = 0 for y.
0
Let d(q) = -q**2 + 12*q + 20. Let w be d(10). Suppose 5*b = -w + 40. Solve b = -2*j + 6 - 4 for j.
1
Suppose 4*b + 3 - 27 = 0. Suppose -5*g + 17 = -3. Let m be (-2)/(7 - 4 - 30/9). Solve m*y = g*y + b for y.
3
Suppose 8 = 4*b - 0. Let g be b + (-5)/1 + 3. Suppose -3*l + 0*l + 15 = g. Solve -23 = -l*n - 3 for n.
4
Suppose -7*s - 19 = -33. Solve -s*z - 3 + 1 = 0 for z.
-1
Suppose -3*n - 4 - 7 = -4*j, -5*n = 5*j - 5. Let v(d) = d**2 - 6*d + 12. Let w be v(j). Solve -2*q - 2 - w = 0 for q