- 1 = 0 for o.
-2
Let n(d) = -21*d**2. Let b be n(-1). Let m be (-2 - b/9)*9. Solve -x - m = -3*p + 3, 0 = -x - 3 for p.
1
Let q = -1053 + 1057. Solve t + t + 4 = 2*h, q*t = -16 for h.
-2
Let u be 6/42 - -2*(-39)/(-42). Solve -4*i - 10 = -2*p, -u*p = -2*i - 0*i - 8 for p.
3
Suppose -6 = o - 27. Let r = -16 + o. Suppose -25 = -r*s + 3*c + 6, -5*c = 10. Solve 3*m - 19 = -2*f, -m + 2*f + 11 = s*f for m.
5
Let t be (-5 - 1) + (-18)/(-2). Solve 0 = -3*y - t*s - 24, -3*s = -y + s + 7 for y.
-5
Suppose 6*w = -2*z + 2*w + 26, -5*z + 20 = w. Solve 3*s - 11 = z*y - s, 6 = -y - s for y.
-5
Let s(c) = -c**3 + 26*c**2 + 10. Let r be s(26). Solve -4*p + r = 2*g, 0 = -4*g + 3*g - 3*p + 6 for g.
3
Suppose 7*o - 6*o = 0. Suppose 5*u = -4*h + 8, o = 4*h + h + u - 10. Let a = -6 + 11. Solve h*s - 8 = a*v + 3, -7 = v - 2*s for v.
-1
Let w(m) = 3*m - 28. Let u be w(11). Solve -3*t + 3*c = -3, -u*t + 0*t - 7 = -2*c for t.
-3
Let f be (-2)/(12/1) + (-57)/(-18). Solve 5*w = -3*z - 23, -z - w = -f*w - 7 for z.
-1
Suppose 3*n = -158 + 41. Let t = n + 41. Solve 2*v + 4*j = 16, 0 = 3*j - 4*j + t for v.
4
Let p(k) = -28*k - 132. Let m be p(-5). Solve 0 = -2*c - 5*u - 1, -3*c + m + 1 = -3*u for c.
2
Let m be (5 + -1 + -5)/((-2)/6). Let t(i) = 3*i**2 + i - 5. Let n be t(m). Solve 3*p = -2*p - n, 0 = -5*r + 4*p for r.
-4
Let l(i) = 2*i**2 - 4*i + 15. Let z be l(7). Suppose 5*c + f = 65, 0*f - 5*f = 5*c - z. Solve 0 = 3*w + c, 0 = -2*m - 3*m - 3*w + 3 for m.
3
Suppose 0*q + 2*q - 68 = 0. Suppose 2*v = 3*k - q, -3*v = 5*k - 0*k - 25. Suppose k = -2*b + 4*b. Solve 0*x - r = x - 6, 3*x = -b*r + 21 for x.
3
Let w be (-10)/(-6)*(2 + 1). Let a be (262/(-30) + 2/w)*-3. Solve -4*i - 20 = u, -i - u = 4*i + a for i.
-5
Suppose 2*f + 4*w + 50 = 0, -2*f - 3*f - 103 = -w. Let u be 2/(-14) - 108/f. Solve -30 = -u*i - j, -3*j + 18 = 4*i - 17 for i.
5
Let f = -193 + 195. Solve 14 = 2*q - f*s - 3*s, q - 4*s - 10 = 0 for q.
2
Suppose -i - o = -24, -4*i - o + 0*o + 108 = 0. Suppose -4*u + 4 = -i. Let k be 10/(-15) + u/3. Solve k*p + 9 = 3*g, 2*g + 2 = p + 8 for g.
3
Let w = 25 - 23. Suppose -r - 2*r = -12. Let g be r/(32/20)*w. Solve -3*x + o = 7, -x + g*x - 3*o + 11 = 0 for x.
-2
Let v(t) = 39*t + 792. Let p be v(-20). Let u(r) = r + 3. Let g be u(0). Solve 0 = -2*s + 2*y + 14, s + p = -g*s - 4*y for s.
2
Suppose 7*h - 36 = -15. Solve -18 = -3*d - h*v, d - 3 = -0*d + 2*v for d.
5
Suppose 40*j = 29*j. Solve 3*o = 2*b + 2*o + 13, 3*b + 2*o + 9 = j for b.
-5
Suppose -11*o = 313 - 368. Solve -5*a = -o*n - 20, 4*a - 27 = n - 11 for a.
4
Let v(j) = -25*j - 22. Let x be v(-1). Solve -d + 4*w - 10 = 0, 0*w - x*w = -5*d + 1 for d.
2
Let t(d) = -d + 6. Let l be t(5). Let q(r) = -3*r - 239. Let s be q(-81). Solve -3*p - 3 = 0, 2*p - s*p = o + l for o.
1
Let i(l) = 6*l - 69. Let q be i(13). Suppose -4*f + 20 = -0*f. Let u = -1 + 1. Solve -2*d - q = -u*w + f*w, 3*d = 4*w - 2 for w.
-1
Let f = -16 - -25. Suppose 2*n - n = -f*n. Solve n = 3*h + 4*i - 23 - 12, 4*h - i - 15 = 0 for h.
5
Let x(g) = g**2 + g - 1. Let q(y) = 7*y**2 + 12 + 2*y - 17 + 6*y. Let a(n) = q(n) - 6*x(n). Let v be a(-1). Solve -2*o - 5*h + 5 = -v*h, -13 = -3*o - 2*h for o.
5
Let r(a) = -4*a - 9. Let q be ((-6)/(-1))/(-5 + (-21)/(-7)). Let v be r(q). Solve -3*z = -3, -v*x - z + 13 = -0*z for x.
4
Suppose -16 - 8 = -8*s. Suppose -10 = -4*h - f, 4 = -s*f - 2. Solve -w - 4*i - 22 = -h*w, 7 = -w - 4*i for w.
5
Let g = 8 - 1. Suppose 5*a + 29 = c, 2*c + 5*a - 2*a = -g. Solve -4*m + 5*w - 20 = 0, -12 = -4*m - c*w + w for m.
0
Let c(m) = m**2 + m - 7. Let q be c(-3). Let y be 5*(-2 + 1)*q. Solve y*l = -2*j + 23, -5*l - 5*j + 9 + 11 = 0 for l.
5
Suppose 87*q = 76*q + 22. Solve 3*v - 2*j = -19, 2*v = 4*v + 4*j + q for v.
-5
Let d = 2 - -2. Suppose -3*k = -2*w - 4*k - 4, -w - 20 = -4*k. Let o(l) = l**2 + 11*l + 30. Let r be o(w). Solve -r*m - d*n = -5*m + 17, m + 5*n = -26 for m.
-1
Let o(t) = 2*t + 3. Let a(g) = -g**3 + 10*g**2 - 2. Let z be a(10). Let p = 2 + z. Let x be o(p). Solve 0*q - 5*c = -4*q - 23, 0 = q - x*c + 11 for q.
-2
Let o(y) = 47*y - 235. Let u be o(5). Solve 3*f = -u*n + 2*n + 7, 0 = -5*f - n + 29 for f.
5
Let v = 293 + -289. Solve -4*d - 10 = -2*y, -10 = -5*y - v*d + 15 for y.
5
Suppose -2*b + 6 = -26. Let x = 18 - b. Solve 5 = 3*m - x*m, 3*k - 23 = -4*m for k.
1
Suppose 3*d - 7*d + 60 = 0. Suppose 4*n + 0*u = 4*u, -2*n + 5*u - d = 0. Let h be (-16)/(-5) + (-3)/15. Solve -1 = b + 3*y - y, 4 = -h*b - n*y for b.
-3
Suppose 8*x - 46 + 14 = 0. Solve 17 - 7 = 2*g - x*h, 0 = -5*h - 25 for g.
-5
Suppose -k = 43 - 42. Let q(h) = 8*h**2 + 6*h + 1. Let r be q(k). Solve -4*o - r*t + 27 = 0, -5*o + 0*o = -5*t + 10 for o.
3
Suppose 0 = o + 3*q - 22, 7*q = 4*o + 3*q - 40. Let i = 5 - o. Let u be 2/(i/6)*-10. Solve -4*f + 17 = -4*g - u, -4*f + 16 = 0 for g.
-4
Let r(u) = 5*u**2 - 6*u - 6. Let w(p) = -p**2. Let d(a) = r(a) + 6*w(a). Let q be d(-6). Let z be (-16)/q*3/2. Solve z*k + 4 = 0, 0*t + t + k + 1 = 0 for t.
0
Suppose -150 = -j - j. Let r be 2*-4*j/(-40). Solve -5*i + r - 40 = 2*o, 0 = -5*i - 4*o - 35 for i.
-3
Suppose 3*f + 26*f - 638 = 0. Let i(q) = 89*q - 1. Let c be i(1). Let w be 2/(-3) + c/6. Solve -2*d + 4*r = -f, d = 2*d - 3*r - w for d.
5
Suppose 35 = 3*s - 3*w - 46, 0 = 5*s + 3*w - 111. Solve 2*k = q - 6 + 20, s = 4*k - q for k.
5
Let z be (12/18*12)/2. Solve -6 = 2*j + 2*n, -3*n = 4*j + 3 + z for j.
2
Suppose -18 - 32 = -2*o. Solve -3*p + f = -7, 3*p + 2*p + 5*f - o = 0 for p.
3
Let r = 14 - 12. Suppose 5*k - 8*k - 10 = 5*p, 0 = -k - p - 2. Solve 5*x - b - 3*b - r = k, -2*x - 13 = 3*b for x.
-2
Let v be 2*-4*5/(-10). Solve n + v*s - 19 = 0, 0 = 2*s - 0*s - 10 for n.
-1
Let w(j) = -7*j**3 - j**2 - 2*j - 1. Let y be w(-1). Let x = 25 + -13. Solve v + 3*s + y = -10, 4*s = 4*v - x for v.
-2
Let p be (42 + -2)/(-2)*(-12)/30. Solve -4*a + p + 4 = -4*f, f = -5*a + 27 for a.
5
Suppose -2*k = 3*k + 165. Let g = k - -25. Let h be (-4 - g) + -2 + -2. Solve -12 = 2*s - 2*i + 2, -i + 4 = h for s.
-3
Suppose 4*x - 2*b - 36 = 0, 7 - 16 = -x + 5*b. Solve 0 = 3*l - i - x, 2*l + 5*i + 17 = 3*l for l.
2
Suppose -r - q - 2 = 0, -3*r + 2 + 0 = q. Solve 0 = -3*s - r*j - 12, -3*s + 4*s - 2*j + 4 = 0 for s.
-4
Suppose 2*r - 12 + 4 = 0. Let l(d) = -14*d + 184. Let o be l(13). Solve -x = o*a + 8, a + r = 3*x - 0 for x.
0
Suppose 6*t + 18 = 8*t. Solve 4*y - 5*x + 31 = -2, x - t = 2*y for y.
-2
Suppose -14*i = 61 - 89. Solve -28 = -2*m + 5*h, 0 = 4*m - 0*h - i*h - 24 for m.
4
Let r(q) = 26 - 16*q + 7*q + 13*q. Let n be r(-6). Solve 3*i + 5*w = 17, -n*w = -3*i - 5*w + 9 for i.
-1
Suppose 20 = -5*m + 4*m + 5*k, -m + 30 = 5*k. Solve -5*r - 25 = 0, m*s + 9 = s - r for s.
-1
Suppose -4*g - d + 200 = -6*d, 3*g + 4*d = 181. Let h = 57 - g. Solve -h*k + 3*m = -8, 4*k - 20 = -k - 5*m for k.
4
Let q be (4/(-12))/((-1)/6). Let u = 35 + -30. Suppose i = 3*l + 5, -i + 2*l + u = -0*i. Solve 0*y - 9 = -q*y - 5*n, 15 = i*n for y.
-3
Suppose -2*h - 2*m + 23 = m, -m = -2*h + 3. Solve -2 = -3*v + 5*n, -2*v = -v - h*n + 4 for v.
4
Let j(b) = -b**2 + 7*b - 5. Let q be j(5). Let k(i) = 4*i - 15. Let p be k(q). Solve -3*g + p = -4*v, 0*g + 5*g - 3*v = 1 for g.
-1
Let q be (2 - 17/(-1)) + (9 - 7). Solve 2*c = -4*b + q + 7, 3*b - 3 = 3*c for b.
5
Let j(x) = x + 6. Suppose 5*i = 8*i. Let v = i + -4. Let t be j(v). Solve -5*c - 9 = 4*n, t = -4*c - 5*n - 7 for c.
-1
Suppose -f - 86 = -4*y + f, -4*f - 12 = 0. Suppose -4*c + 76 = y. Let d = c + -14. Solve 3*h + 2*q + d = 5, 2 = -2*h - 4*q for h.
3
Let a(q) = -q**3 + q. Let f be a(0). Let o be (f + 9/2)*-2. Let b = o + 13. Solve 4*y - 2*y + 2*n + b = 0, -5*n - 28 = -y for y.
3
Let k(v) = 4*v + 17. Let b be k(-3). Solve b*y + 5*c = -15, 0 = 2*y + 4*c - 3*c + 3 for y.
0
Let u(c) = 3*c - 4. Let h be u(11). Let l = 28 - h. Let r be 0/(-4 + (l - -1)). Solve 2*w + 7 = -5*m - r, -5 = 4*m + w for m.
-1
Let o(z) = -z**2 - 9*z - 10. Let u be o(-7). Suppose u*d - 10 = 2. Let s be 1 + (-8)/6 + 40/12. Solve -m = -d*a - 13, s*m = 5*a - 6*a + 9 for a.
-3
Let h = -75 + 78. Suppose h*n + 21 = 54. Solve -4*x + 3*o - 5 = -0*x, 5*o = -3*x - n for x.
-2
Let a be (-2 + 1)/((-4)/8). Let w be 10/((-2)/8*a). Let l = w - -22. Solve -3*o - 2*c - 7 = 0, -l*o + 0*c = c + 4 for o.
-1
Suppose -2*o + 1 = -9. Let j = -11 + 2. Let v(w) = 2*w + 20. Let q be v(j). S