c + o for c.
-3
Suppose -180*r + 176*r - v + 19 = 0, -13 = -r - 3*v. Solve 2*o - 10 = 2*m, o + m + 13 = -r*m for o.
2
Let j(o) = o**2 - 8*o - 15. Let g be j(10). Suppose -g*r = -8 - 12. Solve 2*d + 16 = r*b - 0, -2*d - 12 = -3*b for d.
0
Suppose -189*m + 169*m = -40. Solve -m*q + p - 25 = -7*q, -40 = -5*q - 4*p for q.
4
Let y(u) = 5*u**3 - u**2 + u + 1. Suppose -3*k = -3, 3*d + 0*k + k = 4. Let w be y(d). Solve w = 2*n - s, 2*n + 7*s - 3*s - 26 = 0 for n.
5
Let p be (-28)/98*(-5 - 2). Solve 2*j - p*b = -4 + 16, 0 = -4*j + 2*b + 16 for j.
2
Let y be (-1 + 3)*10/4. Let f be (1 + -2)*((-12)/3 - 1). Let t be (-2 - -1) + 7 + -2. Solve q + y = t*g, -2 + f = 2*q + 5*g for q.
-1
Let o = -32 - -37. Suppose 5 = 5*v, -o*v = 2*z - 6*v - 7. Solve 14 = w + z*w + 2*m, -4*w = -3*m - 25 for w.
4
Suppose -16*z + 20*z = 8. Suppose 3*c + 15 = 3*r, -1 = z*r - 5*c - 2. Solve -5*w + 13 = -b, 2*b = -0*b + 4*w - r for b.
2
Let i(m) = 2*m**2 + 6*m - 13. Let x be i(-6). Solve -2*d - x = -5*p, -4*d + 0*p - 3*p = 7 for d.
-4
Suppose r = 1 - 3. Let o be 17/34 + (-9)/r. Solve -2*i + 15 + 2 = 5*j, o*j = i + 29 for j.
5
Let g be 2 - 4 - -4 - 21. Let a = -19 - g. Solve a = -p + 4*b - 6, 2*b - 12 = -3*p - b for p.
2
Let w(u) = u - 4. Let v = -12 - -25. Let r = v + -6. Let i be w(r). Solve -12 = 5*n + i*d, 4 = 2*n - 4*d + 3*d for n.
0
Let p(h) = h**2 + 13*h + 38. Let m be p(-6). Let j be ((14/m)/7)/((-2)/8). Solve -s + 23 = 5*l, 0 = j*s + l - 3*l + 2 for s.
3
Let v = 9 + -6. Let z(p) = -v*p + 13 - 2*p + 4*p. Let o be z(8). Solve -2*m - 4 = -3*h, o*m - 2*h + 10 = -0*h for m.
-2
Suppose 152*s + 43 = 195*s. Let l(n) = n**3 + 3*n**2 + 2*n + 3. Let j be l(-2). Solve -4*a - 11 = j*r + 2*r, -4*a + s = r for a.
1
Let d = -92 + 95. Solve -2*p = k + 5, d*p - 5*k + 35 = -2*p for p.
-4
Let u = 2 - 2. Let s be u + 2 - (-10)/(-5). Suppose -g + s*g + 4 = 0. Solve -g*y - 3*r - 23 = 0, 5*y = -4*r + 4 - 34 for y.
-2
Let w be 0/2 + -3 + 4. Let o(m) = -5 + 2 - w + m + 3 + 5*m**2. Let i be o(1). Solve -i = 2*n - 3*c, -5*n + 2*n + 3*c = 3 for n.
2
Let i(f) = -f**3 - 2*f**2 - 5*f. Let t be i(-5). Suppose 5*n - t = n. Let o = n + -24. Solve -2*d = 2*g - 4 - 2, d = g - o for d.
1
Let v = -5 - -14. Suppose 0 = -b + 5*q - v - 0, 12 = b + 2*q. Suppose -4*m + b = -2. Solve 14 = -4*t - m*a, 2*t - 3*a - 5 = -0*t for t.
-2
Let t(o) = -92*o + 288. Let n be t(3). Solve -4*s = 4*k + n, -4*k - 4*s - 4 = -2*k for k.
-4
Let h = 23 - 17. Solve 3*y = 6*y - 3*f + h, -22 = -3*y - 4*f for y.
2
Let g(w) = -131*w - 913. Let p be g(-7). Solve -3*o = -p*k - 7 - 19, -3*o + k + 11 = 0 for o.
2
Suppose -8 = -2*z - 4*m, 5*z + 5*m = 25 - 15. Solve 4*v - 5*a + 5 = z, -3*a = 5*v - 15 - 25 for v.
5
Let w(q) = -q + 3. Let g be w(2). Suppose -61 = -5*m - g. Let d be (m/(-8) + 1)*0. Solve -5*l + 2*y = -4*l - 2, 5*y = d for l.
2
Suppose -5*w = -2*z - 6, 3*z - 5*w = -2*w. Suppose -4*j + 4 + 0 = -z*x, 5*j = 2*x + 7. Solve -j*h = -2*t - 16, -6 = t - 1 for h.
2
Let m be (1 + -2 - 1) + 2 - 0. Suppose 64 = 4*h - m. Solve 4*w - 5*y + h = 0, 0 = 2*w - 0*w + y - 6 for w.
1
Let f(b) = 2*b**2 - 2*b - 8. Let z be f(3). Suppose -28 = -3*a - a. Solve -j = -z*p + 2*j + a, -4*j = -12 for p.
4
Let k be 10*(-4 - 5/10). Let p be (-12)/(-5) + -9*3/k. Solve p = -3*u + 4*v, -2 = 2*u + 6*v - 2*v for u.
-1
Suppose 4*t - 14*t + 80 = 0. Suppose -k = 5*v + 5 + t, -2*v - 8 = -k. Solve -2*s + 4*u = -30, -s - k*u + 10 = 3*s for s.
5
Let a = -503 - -509. Solve -5*q = 4*b + 32, -5*q + 3*b - 5 - a = 0 for q.
-4
Let z be 2 - (-21)/(-6) - (-208)/32. Solve -z*d - 10 = 4*s, d - 5*s - 27 = -0*d for d.
2
Suppose -7*k + 677 = 663. Solve 0 = -5*l + 2*l + 5*f + k, l - 10 = -3*f for l.
4
Suppose 0 = 2*p - p - g - 4, 3*p - 17 = -2*g. Solve p = -5*n, 4*v = 3*v - 5*n - 6 for v.
-1
Let p be 1/((1 - 0)*3/(-123)). Let w = p + 62. Solve -y + w = 4*y - 2*m, 23 = 3*y + 4*m for y.
5
Suppose -3*f + 140 = -7*f. Let h be 21/f - (-14)/(-10). Let c(g) = 2*g**2 + 4*g + 2. Let a be c(h). Solve -u = -5*l - 6*u + 10, -a*u + 6 = 0 for l.
-1
Suppose 0 = -m + 5*m - 16. Suppose 0 = -m*f - 5*p + 15, p - 3*p + 6 = 0. Suppose f*l = -l + 3. Solve 4 = -4*k + 5*v, 2*v = 5*k - l*v for k.
4
Let n(f) = 4*f - 25. Let x be n(7). Suppose -x*r - 6 = -21. Solve 4 = -3*y + 2*c, 0*c = r*y + 3*c - 25 for y.
2
Suppose -9 = -5*h + 11. Let p be -1 + 3/(-3) + h. Let i be ((2 + -3)*34)/(-2). Solve -2*f - i = p*f - r, -5*f = 5*r + 40 for f.
-5
Let f be (2/4)/(24/960). Suppose 4*t = -x - 17, 0 = -5*x + 4*t + 15 + f. Solve -14 = -2*l - 2*q, -l + 2*l = x*q - 9 for l.
3
Suppose 0 = 2*i - 4*x + 12, -32*i + 29*i - 3*x = -27. Solve -v - 7*g + 4*g = 1, i*v = -2*g - 4 for v.
-1
Let c = 4 + -12. Let g(f) = f**2 + 5*f - 17. Let p be g(c). Solve 0 = -5*u + w - 2*w - 13, 3*w + p = u for u.
-2
Let u(z) = -2*z**3 - 46*z**2 - 43*z + 26. Let n be u(-22). Solve 0 = -2*g + n*g - 4, -g = -2*h - 8 for h.
-3
Let i(h) = 3*h**2 + 18*h + 4. Let p be i(-7). Solve 0 = r + 2*r - 3*f - 9, 0 = -5*f - p for r.
-2
Suppose w + 13 = 2*r, 5*r + w - 14 - 36 = 0. Let m = 14 - r. Let o = -31 - -36. Solve -4*f + u = -3*f - 6, -m*f = o*u + 10 for f.
2
Suppose -5*y + 7*f = 3*f - 46, 2*y = 5*f + 32. Suppose -y = -0*b - b. Let q be -3 + (-1)/3 + 790/30. Solve -l = l + 4*t + b, 4*l = 3*t - q for l.
-5
Let j be -3*((-4)/6 + 1). Let s be j/(40/(-13) + 3). Suppose -5*u + 7 = -s. Solve 0 = 6*w - 2*w - 4*o - 24, 0 = 2*o + u for w.
4
Suppose 5*u = 2 + 3. Let b(h) = h**2 + 7 - 5*h - u - 1. Let y be b(5). Solve 3*k = -3, 3*l + 5 = y*l - k for l.
2
Let f(a) = -a**3 + a**2 + 2*a + 1. Let x be f(2). Let t = x + 3. Solve -n = 2*j - 2, 0 = t*j - n - 13 - 3 for j.
3
Suppose 0 = -3*w + 22 + 14. Suppose -2*z = 10 - 6 - 10. Suppose -l + 4 + 1 = 0. Solve -3*r + 2 = p, l*p = 2*r + z*p - w for r.
2
Suppose 0*c - 5 = 3*c + 4*o, 0 = c + 3*o + 10. Suppose -2*i + 23 = 3*n, 2*i + 9*n = 5*n + 28. Solve 2*w - 1 = i*l - 7, -1 = -c*l - 4*w for l.
1
Let f(p) = 2*p**2 + p - 1. Let u be f(1). Solve -4*d + u = 5*q - 5, -4 = 2*d for q.
3
Let t be 24/(-15)*(-150)/4. Suppose -t = -o - 4*o. Solve 2*y + 6 = 2*z, 4*z = 3*y + 2*y + o for z.
3
Suppose -44 = -13*j + 8. Suppose u - j*u + 48 = 0. Solve -3*b + 5*x + 0*x = 5, -3*x - u = 2*b for b.
-5
Let u be ((-11)/(539/(-1638)))/(6/28). Let o be u/30 + (-2)/10. Solve -5*v - 2*m - 13 = 0, -2*v - 3*v + o*m + 15 = 0 for v.
-1
Suppose 3*c + 7*c - 30 = 0. Solve 5*y - 5*l - 15 = 0, 2*l - 3 = -y + c for y.
4
Let l(j) = -j**3 + 26*j**2 - 47*j - 17. Let n be l(24). Solve -4 = -3*z - 2*b, 5*z + 3*b - n = -2 for z.
-2
Suppose -7*k + 62 = -8. Solve i + 4*t = 21, -3*i - k = -3*t + 2 for i.
1
Let w(k) = -k**3 + 8*k**2 + k - 3. Let v be w(8). Suppose -5*r + 22 = -4*r - 4*o, -o = 5. Solve 2*u - r = 0, 4*q + 2*u = q + v for q.
1
Let h(p) = 5*p - 73 + 64 - p. Let v be h(3). Suppose v*o + 110 = 5*m, 5*o + 21 + 45 = 3*m. Solve 2*l - m = 5*y - y, 4*y + l + 19 = 0 for y.
-5
Suppose 0 = -14*u + 314 + 1198. Let v = u + -108. Solve -2*x - 19 = 5*m, -5*x + 5 = -v*x - 5*m for x.
-2
Suppose 0 = 2*c - 22 + 6. Suppose 0 = 4*b + c - 20. Solve 5*y - b = -2*d - 2, -2*y + 5*d + 12 = 0 for y.
1
Let z(l) = l**2 - 6*l + 3. Let c be z(4). Let s = c + 1. Let f be s/2*8/(-4). Solve b = f*d + 18, d + 16 = -4*d - 2*b for d.
-4
Let f = -8 - -10. Suppose f*x - 12 = -x. Suppose 0 = -5*n - 2*t + 6, -3*t = -5*n + 2*t + 20. Solve g = -n*r - 2*r + x, -5*r - g = -4 for r.
0
Suppose 0 = 2*f - 2*x + 15 + 1745, x = 0. Let j be f/(-66) + 2/3. Suppose 2*l = -5*l + j. Solve i + 19 = -4*g, -18 = 3*g + g + l*i for g.
-5
Suppose -3*i - 5 + 11 = 3*p, 3 = 4*p - i. Solve 5*q + 0*q + 5*z + 5 = 0, -5*z = 4*q + p for q.
-4
Let d be -3 - (-1)/((-4)/(-44)). Solve 2*y + 2*z + 0 = 4, -4*z + d = 3*y for y.
0
Let g = 1 + -6. Let y be ((-20)/(-8))/(g/10)*-1. Solve 5 = 4*f - 2*v + v, -v - y = f for f.
0
Suppose -4*c = 124 - 132. Solve 0*k + 7 = -o - c*k, 0 = 5*o + k + 26 for o.
-5
Let v(k) = k**3 + 12*k**2 + 26*k - 4. Let o be v(-9). Solve -4*a - a = -o*s, -2*s + 3*a = -5 for s.
-5
Let s = 1433 + -1430. Solve -2*c + 2 = 4*v, 7*c - s*c = 5*v - 22 for c.
-3
Let d(o) = 14*o + 434. Let s be d(-31). Solve s = -x - 2*w - 2*w + 7, 15 = 5*w for x.
-5
Suppose -16 = 4*x + 3*h - 92, x - 2*h = 8. Suppose s - 26 + x = 0. Solve 3*l = 5*j - 10, -6*j + 4*l + s = -j for j.
2
Suppose 0*b + 9 = 4*b + p, -b - 3*p - 6 = 0. Let q = -12 - -23. Suppo