*o = -a + 11, -19 = a + f*o for a.
1
Suppose 8 = -0*o + 2*o. Let s be (-2)/(-3)*(-15)/10. Let v be (0 - s)*(8 - 6). Solve u + 8 = -2*c, v*c - o = 4*u + 3*c for u.
0
Suppose 0 = 67*i - 64*i - 6. Let c be (1 - (-2 - -2)) + 3. Solve o + 0*u = -3*u - 2, -i*o = 3*u + c for o.
-2
Let r be ((-92)/16 - -1)/(2/(-8)). Suppose -4 - r = -l. Solve -2*o - g + 5 + 7 = 0, -l = -5*o + g for o.
5
Let h be 32 - (-2 + 2/2). Let i = -20 + h. Let v = -244 - -250. Solve -3*k = 2*g - i, -1 = -2*g + 3*k - v for g.
2
Let a = 1183 + -1179. Solve -j + a*z = 7, 2*z + 10 = -0*j - 4*j for j.
-3
Let n = -269 - -287. Solve 3*p - o = n, -9 = 4*o + 3 for p.
5
Suppose -627 = -5*g - 0*z + z, -4*z = 8. Suppose 0*y - 5*y + g = 0. Solve 3*s + 2*s = -4*l - y, 2*s + l = -10 for s.
-5
Let d(b) = -b + 2. Let v be d(-4). Solve -4*h + 3*f - 18 = v*f, -h + 7 = -5*f for h.
-3
Suppose 5*f - 18 = 7, -5*f = -4*o + 3. Suppose -10*h = -o - 23. Solve -3*a + 6 = h*b, -3*a + 4*b + 6 = b for a.
2
Suppose 4 = 4*j - 4*y, -6*y - 7 = -3*j - 5*y. Solve -j*c = -c + 5*t + 11, -2*t - 2 = 2*c for c.
2
Let z(j) = -j**2 + 13*j - 8. Let l be ((-8)/10)/(7/(-140)). Suppose -4*m + l = -32. Let i be z(m). Solve 0 = 2*g - i*b - 20, 4*b = 4*g - 6 - 14 for g.
0
Let b = 14 + -8. Let t be (4 - 24) + 10 - -12. Solve -2*g = -5*d + 13, -3*g - b*d = -t*d - 15 for g.
1
Suppose 60 + 31 = 7*g. Solve -3*a + v = -g, 2*a = 2*v + 5 + 1 for a.
5
Let z(k) = -k + 14. Let n be z(9). Solve -w + 9 = -n*m, 10*m + 2*w + 12 = 5*m for m.
-2
Let g = 203 - 200. Solve 2*q - q = -3*s + 5, s + g*q = -9 for s.
3
Let y = -28 - -30. Suppose y*z = z + 3. Solve -z*w - 4 = 2*t + 9, 21 = 4*w - 5*t for w.
-1
Suppose 6*a - 9*a + 26 = 5*k, 2*k - 8 = 0. Solve 0 = -5*t - 7*y + 4*y + 28, a*y = 2 for t.
5
Let l be 4*(-3)/18 - (-119)/21. Solve -4*n = -5*n + 3*u + l, -3*u - 9 = 0 for n.
-4
Let j = -380 + 380. Solve j = 3*w - f - 1 + 2, 4*w + 16 = 5*f for w.
1
Let m = -29 + 101. Let y = m - 68. Solve y*k - 5*i + 2 = -0*i, -i + 6 = 2*k for k.
2
Suppose -4*n = -5*a + 25, 2*a = 2*n - 3*a + 25. Suppose 3*x - 2 - 10 = n. Suppose -x*q + 25 = -3. Solve -q*v + 10 = -2*v - 3*r, 4*v = -r - 9 for v.
-1
Let z(t) = 2*t**2 + 9*t + 8. Let c be z(-4). Solve x = c*x - a - 7, x = 2*a + 4 for x.
2
Suppose -n + 2*k - 6*k = -17, n - 12 = -3*k. Let z be 15*(105/25 + n). Solve -4*d = m + z, 0 = m + d - 6*d - 27 for m.
2
Let j be ((5 - 5)/(-3))/(-2). Let z(k) = -k**2. Let v be z(j). Solve 2*l - 5 - 3 = -q, v = 4*q + 2*l - 20 for q.
4
Suppose -4*x + 5*w + 15 = 0, -7*x + 40 = -2*x - 2*w. Solve 0 = -5*k - 4*r + 6, 2*r + 2*r = 3*k - x for k.
2
Let g = -206 + 236. Suppose 11*t = 136 + 7. Solve -5*p = -3*u - t, 2*p + 3*u - g = -2*u for p.
5
Let x = 922 + -922. Solve -5*u = -3*g - 7 + 3, x = u + 5*g - 12 for u.
2
Suppose 1 = 7*m + 15. Let v be (-4)/16 - m/(-8)*-1. Solve 4*l = 4, v = 5*n - 2*l + 1 + 6 for n.
-1
Let f(p) = p**3 + 4*p**2 - 8*p. Let y be f(-5). Let z = 4 + 18. Solve 4*g - q = -0*q - z, y = -g + 5*q for g.
-5
Let w be (-1)/((-78)/24 - -3). Solve -5*m + 35 = -w*g, -3*g = g + 3*m + 11 for g.
-5
Let z be (320/(-25) + 2)*-10. Suppose -7*x = -x - z. Solve 3*c + x = 3*t, -10 - 16 = 5*c - t for c.
-5
Suppose -3*g + 0*h = -0*g - h, 2*h = 0. Solve g = -3*b - 3, -b + 3 = -z - 2*b for z.
-2
Suppose 52*s = 54*s. Solve 2*y + 3*i - 11 = s, 5*y - 4*i + 1 = 17 for y.
4
Let y be (-8)/(-10) - (38/10 - 8). Solve 13 = -f - 3*c, y*f - c - 11 = 3*c for f.
-1
Let l(f) = 19*f**2 - 4*f - 3. Let s be l(-1). Solve -5*v + 22 = 2*t - v, -4*v + s = 0 for t.
1
Suppose 0 = -437*w + 462*w - 550. Suppose 3*l - 24 = -3*h, -34 = -5*l - h - h. Solve -5*v = -4*c - w, -2*v + c - 5 = -l*v for v.
2
Suppose -3*c = -2*x - 14, -2*c - 16 = -3*x + 8*x. Solve 3*r + 6 = 2*f + 5*r, -6 = -c*f + 5*r for f.
3
Let o(b) = -28*b + 590. Let z be o(21). Solve 20 = -4*m + k, 3*m + 4*k + 4 = z*k for m.
-4
Let s(p) be the first derivative of p**3/3 - p**2/2 - 4*p - 11. Let b be s(3). Solve 10 = 4*q - 3*l - 6, -2*l = -b*q + 8 for q.
4
Suppose -24 = 4*f - 8*f. Suppose 5*t - f = -w + 4, 4*w = 4*t + 16. Solve 4*c = -2*h - 16, w*c - h + 6 = -0*h for c.
-2
Let s be -1*(0 + -1) - 2. Let h(b) = -b**3 + 2*b**2 - 1. Let c be h(s). Solve -2*y - 7 = 4*m - 1, -6 = -4*m + c*y for m.
0
Let f be (2 - -2)/(5 - 3). Suppose 0 = 2*g + f*g - 52. Solve 4*k - 41 = -5*n, n - 8 = -4*k + g for n.
5
Let o be 9/15 - (-6)/(-10). Let t(k) = -3*k + 8. Let l be t(o). Solve 2*w - 3*u = -l, -4*w - 12 = -w + 4*u for w.
-4
Let k(c) = -c**2 + 12*c - 15. Let r be k(9). Suppose 2*q = -8, r = 2*v - 0*v - 2*q. Solve 2*h = -5*o - 29, -o - v*h + 7*h = -5 for o.
-5
Suppose 3*c + z = -0*c + 8, -4*c + 5*z = 21. Let x(b) = 15*b**2 - b. Let f be x(c). Suppose -4*d - 17 = -49. Solve 2*s - 2*o = -d, -3*o = -2*s - 2*s - f for s.
-2
Let f = 111 + -78. Let p = f - 31. Solve -2 = -p*r, r - 7 = -5*q + 4*r for q.
2
Suppose 0 = -3*o + 3*h + 6, 0*o = 5*o + 2*h - 31. Solve 5*k = k + q - 19, -o*q = -k for k.
-5
Let y be 1*2 + -1 + 3. Suppose y*v + 2*w + 18 = 46, -w - 6 = -2*v. Solve i = -4*r - 32 + 12, -2*i = -v*r - 12 for r.
-4
Suppose 9 = v + 3*y, y - 4 = -v - y. Let a(g) = -2*g + 18. Let l be a(8). Let h be (v/(-6))/(l/8). Solve 5*c - 3*u = 5, -5*c + h*u - 5*u = -5 for c.
1
Let b be 5 + -5 + -2 - 36. Let g = b + 40. Solve -2*t = -5*z - 5, -g*z + 23 - 1 = 4*t for t.
5
Suppose 2*n - 6 = -4*f, -n = -f - 3*n. Solve 3*b - 3 = 0, 0*w - 2*w - 2 = -f*b for w.
0
Let j = 7 + -4. Let x be -8 + (2 + -1)*4. Let t be 6 + 16/x + 4. Solve 2 = -2*f - 4*q, j*q - 15 = -3*f + t*q for f.
3
Let c(w) = w**2 + 7*w + 4. Let u = 10 - 17. Let b be c(u). Let x(r) = -r**2 + 5*r - 3. Let t be x(b). Solve -3 = -s - l, s + 4*l + 2 = -t for s.
5
Let g(x) = -x**2 + 13*x - 36. Let f = -55 + 63. Let t be g(f). Solve 2 = t*q + r, 9*q - 4*q + 2*r - 4 = 0 for q.
0
Let p(n) = n**2 - 17*n + 5. Let m be p(17). Suppose -5*v = 3*h + 5, 1 - m = -4*h + 4*v. Solve 3*d = 2*b - 10, d + h*b - b = -4 for d.
-2
Let y be (-6)/(-4)*-2 - -17. Suppose -17*r + 16*r + y = 0. Solve -p = 3*p - b - 11, p + 2*b = r for p.
4
Suppose 3*o - 40 = -2*o. Let r = 5 - o. Let x be 3 + r + -2 + 4. Solve -x*q - q + 6 = g, -5*q + 2*g = -10 for q.
2
Let l(o) = -3*o + 2. Let p be l(2). Let w be p/(-10) + (-6)/15. Solve w = 4*n - 3*i + 7, 3*n = -0*i + i + 1 for n.
2
Let j = -136 + 139. Solve -4 = -4*q - 5*f, j*q + 6*f = 2*f + 3 for q.
1
Let w be 96/(-256) + (-442)/16. Suppose 0 = -r - r - 52. Let l = r - w. Solve h - 13 = -2*a, -3*h + 3*a - l = 4 for h.
3
Let c(v) = v - 5. Suppose 4*p = 5*d - 13, p = -2*d - 1 + 14. Let w be c(d). Suppose -2*m + m = w. Solve m = -0*s + 5*s + k + 21, 3*k = 3*s + 27 for s.
-5
Suppose -2*j - 55 = -5*y, -2*j + 18 = y - j. Let f = 17 - y. Solve -2*p - 18 = 5*a, 20 = f*p - 2*a - 2*a for p.
1
Let b = 73 - 33. Suppose 7*t - b = 2*t. Solve -3*n + 6 + 0 = 3*w, -4*n + t = -w for w.
0
Let d = -82 - -85. Suppose 0 = b - h - 15, 5*b - 3*b = 4*h + 28. Let n = b - 8. Solve 4*o + 4*p = n, d*o - p - 4 = -3*p for o.
0
Suppose 3*f = -f - 2*i + 118, 2*f = 2*i + 62. Let s = -6 - 14. Let r be (8/(-3))/(s/f). Solve -r*x + 5*z - 28 = -0, -16 = -4*z for x.
-2
Suppose 0 = 15*d - 1 + 1. Let k be (-6)/(-39) + (-22)/(-26). Solve d = -2*t + l - 0*l + k, 0 = -4*t - 2*l + 14 for t.
2
Let y(b) = b**3 - 10*b**2 + b - 10. Let m be y(10). Solve 0*r - 4*x + 12 = -2*r, -5*r - x - 19 = m for r.
-4
Let m(n) = 12*n - 127. Let d be m(11). Solve -v + 4 = -2*j, -3*v - j + d = -0*v for v.
2
Let w(u) = -u**2 + 13*u + 292. Let m be w(24). Suppose 3*z = 3*t - 27, -t + 2 = -4*z - 13. Suppose 5*a = t*a - m. Solve -4*y - 18 = 2*o, 2*y + o + a = -y for y.
-5
Suppose 0 = 30*b - 28*b + 6, -4*u + b + 19 = 0. Solve a - 15 = 4*d, 2*d - 7 - 3 = u*a for d.
-5
Let j = 0 + -2. Let d be j/((-3)/(-5) - 1). Suppose 0 = 3*g - 3 - 3, 4*p - 5*g = 6. Solve d*n - 17 = -3*r, -r = -p*n - 0*r + 17 for n.
4
Let v(g) = -9*g + 10. Let d(k) = -14*k + 15. Let o(l) = -5*d(l) + 8*v(l). Let a be o(0). Solve -4*n + 1 + 6 = m, 4 = -a*n + 3*m for n.
1
Suppose -21*m + 25*m = 48. Suppose -13 = 4*l - 29. Suppose 5*y - 8 = l*z, -y = 4*y + 4*z + 8. Solve h - 4 = -2*h - f, y = 2*h + 3*f - m for h.
0
Let s = 5 + 3. Let b be s + 1 + (9 - 5). Suppose 0 = -b*k + 9*k + 8. Solve 5*q - q - k = -5*t, 0 = -3*q - t + 7 for q.
3
Suppose -3*j = -t + 12, -3*j - 24 = -t - 4*t. Solve t*k = 3*a + 9 + 15, 4*a = -12 for k.
5
Let h(a) = -14