- v, -o + 2*d + 0*d - 8 = 0 for o.
2
Suppose -3*w = -3*b - b - 4, 0 = -3*b + 6. Suppose -a + 528 = 520. Solve -w*o + a = -3*q, 0*q + q + 16 = 4*o for o.
5
Suppose -10*c + 39 = -8*c - 3*f, -2*f = 5*c - 69. Solve -7 = -5*p - 3*k + c, 5*p = -4*k + 26 for p.
2
Let f be (7 - (-1 + 4)) + 1. Let t(i) = i + 0*i + 25 - 22. Let g be t(f). Solve -3*k + 4*n - 15 = -g*k, -10 = -2*n for k.
-1
Let g(h) = h**3 + 3*h**2 - h. Let c be g(-3). Suppose 8 = -c*i + 5*i. Solve -4*s + 5 = 2*z - 13, -5*s = -i*z - 16 for z.
1
Let n(f) = 4*f**2 - 8*f + 2. Let b be n(2). Suppose k - 8 = -3*k + b*m, 2*k - 16 = -2*m. Solve -k*x + 3*t = 17, -t - 21 = 6*x - 2*x for x.
-5
Suppose 2*p + 1 = 3. Let c be 28*((-99)/21 + p - -4). Solve 2 = z - m, 5*z + 3*m + c = -6 for z.
-1
Suppose -4*h + 36 - 4 = 0. Suppose -14 = -2*l - h. Solve -4*i - 5*t + l = -5, 0 = -3*i - 2*t - 1 for i.
-3
Let x be (-17 - 1648/(-96)) + (-1)/6. Solve 4*t + 20 = -5*i + 8*t, x = -t + 5 for i.
0
Suppose -5*d - 2*x = -47 - 79, 2*x = 6. Let r = d - 22. Suppose 4*y - m - m - 22 = 0, 2*y - 2 = -r*m. Solve 0 = -f - 2*f - y*w - 13, -4*f + 16 = -3*w for f.
1
Let l(x) = 2*x + 2. Suppose -3*v - 2*r = -7*r - 15, 5*v = -4*r - 12. Let g be l(v). Solve -5*d - 33 = -g*f, -4*d + 7*f - 2*f = 40 for d.
-5
Suppose 3*b - 1248 = -1245. Solve 1 = 2*u + h - 2*h, 4*u - b = 3*h for u.
1
Let p = 55 + -40. Suppose 2*r - 43 + 39 = 0. Solve -r*c - c + 25 = -5*x, 3*x - 3*c + p = 0 for x.
-5
Let j be -1 + (-10)/(-16) + 216/576. Solve 5*b - 15 = b - 3*p, b - 5*p + 25 = j for b.
0
Let h = -259 - -261. Solve 0 = j - 2*v - 1, -h*v - 2*v + 3 = -3*j for j.
-5
Suppose 25 = 3*f + 2*f. Let j(z) = -z**3 + 4*z**2 + 5*z + 4. Let v be j(f). Suppose -6*h + v*h + 10 = 0. Solve 6*q + h = -5*l + q, -3*l = -4*q - 18 for l.
2
Let c be 1/((-1)/(-7)) - 3. Let b be -3*c*2/(-12). Solve -o + 2 - 7 = 4*p, b*p - 4*o = 20 for p.
0
Let v(w) = -w**2 + 8*w - 4. Suppose 0 = 5*h - 107 - 133. Let b be (-6)/(-8) + 300/h. Let r be v(b). Solve 10 = 3*i - 4*d, 0 = -3*i + d - r*d - 14 for i.
-2
Let c(a) = -2*a + 41. Let k be c(17). Suppose -4 = -k*b + 5*b. Solve -p = 4*p - 4*u - 30, -2*p + b*u + 14 = 0 for p.
2
Suppose 2*p = -2*s + 4*p - 6, -4*s + p + 3 = 0. Solve -20 = t + 5*l, t - s*l = -t + 20 for t.
5
Let v(h) = -h + 5. Let b be v(0). Suppose -4*d + l + 5 = 0, d + b = -d - l. Solve d = -f - 5*m + 15, 5*f + 2*m - 21 = 4*m for f.
5
Let f be 33/22*(11 - -1). Suppose -4*h = -3*h - f. Suppose 17 - 1 = -4*o, -5*k + h = -2*o. Solve -3*p = 4 + k, 0 = 5*z + 3*p + 21 for z.
-3
Suppose 324 = 3*m + 321. Solve 3*d - 2*h = -14, -4*h + 7 = -d - m for d.
-4
Let p(z) = 4*z**2 + 4*z + 3. Let g be p(-2). Suppose -5*n = -g - 4. Suppose 8*c - 164 = -124. Solve 5*q - c = -5*w, -5*q - 1 = n*w - 6 for w.
0
Let r(l) = l**2 - 17*l + 2. Let a be r(0). Solve -2 = 2*v + 4*k, 0 = 5*v + a*k - 0*k - 19 for v.
5
Let y = -11 + -34. Let x be (-9)/(y/20) - -1. Solve 0 = p + 3*c - 16, 4*p = -p + x*c for p.
4
Let l(y) = -y + 6. Let o be l(3). Suppose 2*w - 7 = z, -4*w + 8 = -o*z - 5. Solve w*s + 17 = -j + 7*s, -4*j = -2*s + 18 for j.
-2
Let r(f) = -f**3 - 2*f**2 + 119*f + 12. Let m be r(10). Solve 1 = 5*q + m*i, 5*q - 5*i = q - 19 for q.
-1
Suppose 12*b - 230 - 10 = 0. Solve -5*u - b = 2*m, 28 = -4*m - 4*u - 0*u for m.
-5
Let m(y) = -3*y - 3. Let a be m(-4). Let i be a/18 - (-31)/2. Solve 4*q - 5*f = -i, 3*f = 2*q + 3 + 7 for q.
1
Let v be 3 + (-3)/(-12)*8. Solve -15 = 5*j + v*u, 3*u = j + u - 9 for j.
1
Let n be 10/6 - 6/9. Let b be (n + 2)*4/12. Let l(u) = u + 3. Let o be l(b). Solve -1 = o*q + 3*p + 10, 0 = 3*q - 3*p + 3 for q.
-2
Let x = 218 + -207. Let a(u) = u**3 - 7*u - 1. Let o be a(3). Solve -3*k - f = -10, -o*k - x = -3*f - 37 for k.
4
Let t be (41 - 0)*(0 - -1). Let l be ((-1)/(-3))/((-2)/(-30)). Suppose -9 = -8*q + l*q. Solve 0 = q*h - 4*w + 31, 6*h + t = h + 4*w for h.
-5
Let a be (-4 - 13/(-2)) + (-1)/2. Suppose 0 = 4*v - 2*d - 20, 2*v = -6*d + a*d + 10. Solve -3*o + v*m = 9, -5*o + 3*m - 20 = -5 for o.
-3
Let i = -166 + -298. Let n be (4/(-5))/(-2) - i/40. Solve -3*s + n = -0*s, 4*s = -3*v + 16 for v.
0
Let y = 15 + -15. Suppose y = -10*v + 16*v. Solve v*q - 2*q - 2 = -3*t, 0 = -2*q - 2 for t.
0
Suppose 2*m = 3*i + 25, 0 = 4*i - 6*i - 10. Suppose 4*v + m*t = 0, -2*t = -v + 3*v. Solve -7 = -2*h - r, -3*h + v + 12 = 3*r for h.
3
Let h(p) = -p**2 - 5*p + 2. Let o be 20/(-25)*(-70)/(-4). Let m = o - -10. Let a be h(m). Solve 0 = -2*t + 3*u, 4*t - 3*u + a = -0*t for t.
-3
Suppose -12 = 4*k + 3*b, 16 = 2*b - 6*b. Suppose -s + 30 - 28 = k. Suppose -2*o = -3*o + 5. Solve -o*z + 5*p - 9 = 21, 4*z = s*p - 20 for z.
-4
Let h(q) = -3*q**3 - 36*q**2 + q + 16. Let o be h(-12). Solve -t - 7 = -o*z, -2*t + 5*t + 7 = 5*z for t.
1
Let d = 10 + -5. Suppose 8 = d*m - 12. Suppose 2*x + 0 = m. Solve c + 5*j = -8, -x*c = -0*j + j + 7 for c.
-3
Let n(s) = -6*s + 63. Suppose -2*r + 2*z + 16 = 0, r + 2*z - 34 = -2*r. Let y be n(r). Solve -11 = -v + 3*f + f, -y*f - 8 = -v for v.
-1
Let p = 100 + -229. Let j = p + 132. Solve m + 4*k - 29 = 4*m, -3 = -4*m - j*k for m.
-3
Let v = -341 - -343. Solve v*d + 3*d = -2*x + 19, 5*x + 40 = 5*d for d.
5
Let t(o) = -o**3 + 24*o**2 + 21*o + 105. Let g be t(25). Solve -5*a + 2*x - 1 - 19 = 0, -5*a = 3*x - g for a.
-2
Suppose 3*c = -111 + 120. Suppose 0*u + 3 = a + 3*u, u - 11 = -a. Solve c*n = 4*s + a, -s - 2*s = 9 for n.
1
Let x = -221 - -226. Solve -4*g = -0*g - x*w + 9, -3*g = 3*w for g.
-1
Suppose -3*m - 3*m + 24 = 0. Suppose m*l = 5*b + 1, 4*b - 9 = b. Suppose l*p - 116 = -4*y, y = p - 2*y - 33. Solve o + 2*n - 15 = -2*n, 0 = 5*o - n + p for o.
-5
Suppose -20*n - 2 + 102 = 0. Let f(g) = -4*g - 1. Let c = -6 + 5. Let m be f(c). Solve -2*w = -n*w - m*v - 9, 4*w - 2*v = -18 for w.
-4
Let z be (0 + -44)*6/12. Let h = 25 + z. Solve h*k - q + 0 = -4, 4 = 3*k - 5*q for k.
-2
Suppose -116*g + 279 = -23*g. Solve m - g*n + 8*n = -2, -4*m = 2*n - 10 for m.
3
Suppose 0 = 5*k - 2*c + 20 + 4, -4*k + 4*c - 24 = 0. Let p be k/(-16) - 2/8. Solve -v + 0 - 1 = 0, -w + 4*v + 1 = p for w.
-3
Let g = 24 + -7. Let h = -14 + g. Let q = 61 - 34. Solve 5*p - q = -4*x, 0 = -2*p - h*x - 2*x + 21 for p.
3
Let u be ((-9)/(-2))/((-5)/(-10)) + -5. Solve -4*f = u*s + 8, 0*s - 2*f = -5*s - 17 for s.
-3
Suppose 7*g - 12 = 3*g. Suppose -5*u - 4*j - 8 = 0, 3*j = -3*u - 6 - 0. Solve -g*v + u + 1 = -d, 4 = 2*v + d for v.
1
Let h(m) = 2*m**2 - 3*m. Let n be h(2). Let q = 12 + -9. Solve 4*s - 5*a = 14, q*s + 4*a = n*a - 1 for s.
1
Suppose o - 28 = -4*z, -z + 60 = 4*z - 5*o. Let x = z - 3. Solve 4*v + 4*p = 9*v - 8, 5*v - x*p = 10 for v.
0
Let i(j) = -j**3 + 3*j**2 - j + 6. Let n be i(4). Let t be (4/(-7))/(2/n). Solve l - 6 - 1 = -3*k, -t*l = -2*k for k.
2
Let a = 113 - 112. Suppose x - a + 15 = 5*f, 0 = -2*f + 3*x + 16. Solve -3*i + 5 = -f*i + 2*p, 0 = 4*i - 3*p + 24 for i.
-3
Let o be 40/(-12)*(2 - -1). Let r = o + 12. Suppose -5*j + r*k + 5 = 0, 4*k = -3*j + 2*j + 23. Solve -17 = 4*w - 5*h, -j*h = -5 + 2 for w.
-3
Let w(o) = -10*o - 30. Let d be w(-4). Solve 2*n - 9 = -3*l + 5, 5*n = 5*l + d for l.
2
Suppose -5*n + 3*f = -23, -3*n + 6*n - 3*f - 9 = 0. Solve 0*x + r = 2*x + n, -x - r = 8 for x.
-5
Suppose 0 = -314*p + 318*p - 40. Solve -2*k - 2*g = 4, g = -4*k - k + p for k.
3
Suppose 0*m + 5*m + 35 = 0. Let i(z) = z**2 + 7*z + 2. Let x be i(m). Let d = 231 + -228. Solve x*j + 13 = j - d*o, -5*j + 25 = -3*o for j.
2
Let l be (-9)/1 + (-3 - -6). Let q be (-3*(-8)/42)/(l/(-21)). Solve 0 = 2*d - k - 9, q*k = 2*d - 2 - 12 for d.
2
Suppose 4*h - 1145 = -1133. Solve -a = -z + 5, -z - z - 10 = h*a for z.
1
Suppose 0*o + 4 = 2*o. Let u be 3 - (1 - o)*1. Let h = 20 + u. Solve -1 - 19 = 4*f + c, f + 5*c = -h for f.
-4
Let p be (-55)/(-88)*(-2 + 10). Solve -g = -5*d + 9, p = -9*d + 12*d - g for d.
2
Suppose 57*l + 2*s = 62*l + 8, 4*s = -l + 16. Solve 5*p + 2*m + 5 = l, 2*p - 3 = 2*m - 19 for p.
-3
Let b = 25 + -21. Suppose b*g - 9 = 7. Solve 5*d = -m - 8, -6*d = -5*d - m + g for d.
-2
Let d(n) = 4*n**2 - 5*n + 1. Let w be d(1). Solve -2*a = 2*t - w*t + 14, a = -5*t - 27 for t.
-5
Suppose 7 = 5*m + 2*v, 2*m - 7*v + 14 = -12*v. Solve 0 = 4*k + m*s - 5, 2*k + 3*s - 8 = k for k.
-1
Let r(x) = -2*x - 6. Let m be r(-5). Let v = 274 + -270. Solve 9 = m*c + 1, -2*c = -v*a - 20 for a.
-4
Suppose 0 = -16*q + 4*q + 336. Let n(c) = c**2 - 