be d(-7). Let h be -5*((-16)/20 + y). Solve r + 12 = 3*z, -h*r + 4 = -z - r for z.
5
Let y = 39 - 25. Let o = 140 - 139. Suppose 19 = 5*f - z, 2*f - 3*z = 4*f - 11. Solve -f*d = q - y, 4*d = 2*q + 9 - o for d.
3
Let b(v) = -5*v + 5. Let u(q) = -11*q + 10. Let y(r) = 5*b(r) - 2*u(r). Let w be y(0). Solve -w*t = -k - 4, -3*k - 2*t + 2 = -3 for k.
1
Let t = 65 - 82. Let q = -13 - t. Solve 1 = h + q*r, 2*h - 3*r - 2 = r for h.
1
Let z = 1370 - 1366. Solve 3*c + 4*n + 29 = 0, -z*c - n = 9 + 8 for c.
-3
Let p(o) = 3*o + 29. Let j be p(-7). Suppose 2*v - j = -0*v. Solve -4*f = -3*m + 1, -29 = 5*m - v*f + 5*f for m.
-5
Suppose -130 = -5*f + 4*f. Suppose 0 = -2*p - 3*b + 33, 0 = 5*p - 3*b + b - f. Solve v - p = -4*n, -5 - 5 = -2*n for v.
4
Suppose -4*n - 17 = -105. Let d = -17 + n. Solve -5*m = d*q, 2*m + 21 = 4*q + q for m.
-3
Let h = -623 + 635. Solve -3 + h = 2*o - n, 14 = 2*o + 4*n for o.
5
Suppose z + 3*z - 4*w - 40 = 0, 3*w = -2*z - 5. Let d be (-1 - 2) + (10 - z). Solve 3*c - m = d*m - 3, 19 = 2*c + 5*m for c.
2
Suppose -6 = -t - 0. Suppose 5*b - 6*b + t = 0. Suppose -2*g + b*g = 4. Solve 2*h = -4*l - 2, -4*h = 4*l - g + 5 for h.
-1
Let a be 6/(0 - (-6)/4). Suppose -38*w + 145 = -9*w. Suppose -4*i + 56 = 4*n, -5*i - n + 50 = -0*n. Solve 3 = -w*p - a*b, -3 - i = p - 3*b for p.
-3
Let l(x) = x**3 + 11*x**2 + 12*x - 51. Let w be l(-9). Solve -j = -w, -16*p - 4*j + 16 = -17*p for p.
-4
Suppose 5*i = 10, 2*i - 11 = -2*o - 1. Let b be 3 + o + -1 - 0. Suppose -25 = -a - b*t, -6*a + 2*a - t = -157. Solve 2*k - 5*n = 10, a = -3*k - k - 5*n for k.
-5
Suppose 4*y - 32 = -4*w, -y = 7*w - 3*w - 20. Let x(b) = 3*b - 43. Let a be x(20). Let m = a + y. Solve -m + 6 = v + 4*d, 3*d + 13 = v for v.
1
Let d(f) = -12*f + 8. Let l be d(-5). Let t = l + -68. Solve -5*o = -o, t = -q - 4*o + 4 for q.
4
Let v be 5/4 + (-2)/8. Let j(a) = -4*a - 38. Let t be j(-10). Let q(d) = d**3 + 2*d**2 - d + 1. Let y be q(-2). Solve 5*o - 15 = 0, -y*w + t*w - 2*o = -v for w.
-5
Suppose 0*d + 4*s - 22 = -3*d, 7*s = -4*d + 36. Solve 2*g + 3*w = d*w - 8, 5*w = 2*g + 20 for g.
-5
Suppose -9*o + 17 + 1 = 0. Suppose -5*w = -o*l - 20, -2*w = -3*w - 2*l - 8. Solve -6*j - 5*d = -j, j = w*d for j.
0
Let f(v) = 12*v + 15 - 6*v - 5*v. Let i be f(-7). Let g = i + -6. Solve -3*w = -2*b - b + 3, g*w = -b - 8 for w.
-3
Let d = -4 - -7. Suppose 2*k + t - 259 = -d*k, 206 = 4*k + 2*t. Suppose -5*s - k = -f - f, -f - 3*s + 4 = 0. Solve -4*u + 5*u + 11 = 4*h, -4*h + f = 4*u for h.
3
Suppose -3*j + 14 = 4*b, -j + 5*j - 4*b = 0. Suppose -14 = -5*a - j*a. Solve v - 2*v - 6 = -5*k, 0 = -a*k - 2*v + 12 for k.
2
Suppose -7*d + 308 - 135 = -142. Suppose 4*k - 1 = 3*k. Let i = k + -1. Solve 10 = -5*z - 5*u + d, i = -5*z + 5*u - 5 for z.
3
Suppose -2*f + 12 = 3*b - 5*f, 0 = -5*f. Solve 19 = -4*p - p - 4*s, -b = 4*s for p.
-3
Let q be ((-555)/65 + 9)*13. Solve 0 = 2*p + r, -p - 11*r + 9*r + q = 0 for p.
-2
Let b be (-5)/2*(-17 - (1 + -14)). Solve -2*f = 6*u - 4*u + b, -9 = 3*u for f.
-2
Suppose 7*g - 16*g + 45 = 0. Let r = -14 - -17. Solve -6 = 2*s - 4*v, -g*v = -3*s - r*v - 9 for s.
-3
Suppose -3*t = -8*t + 15. Suppose -4*j + t*w + 19 = 0, -4*j - 7 = -7*j - 5*w. Solve 3*u + 0*u - 5*l = -16, 2*u + j*l = 4 for u.
-2
Let p be 7*-13*(-65)/1183. Let w(u) = -u. Suppose -2*k - 4*q = k + 11, 0 = 3*q - 3. Let o be w(k). Solve -4*h + 9 = -p*c - h, -o*h + 15 = -c for c.
0
Let g(m) = -m**3 - 10*m**2 + m + 10. Let l be g(-10). Suppose -6*d - 11 + 35 = l. Solve 5*f - 8 = 4*j, -j + 6 = -d*j for f.
0
Let v(q) = q**3 - 2*q**2 - 5*q + 2. Let y be v(3). Let c = 58 - 62. Let j = y - c. Solve 3*f - 4*k + 17 = -0*f, j = -4*f + 5*k - 21 for f.
1
Let z(b) = 2*b**2 + 3*b - 15. Let w be z(3). Suppose -w = -42*f + 39*f. Solve 0 = -f*v + 2*v - 2*t - 12, -5*t - 24 = -v for v.
-1
Suppose -2*o + 30 = 2*v - 8, -2*o = 4*v - 48. Let r = -11 + o. Solve -6*z + r*z = p - 16, -2*z = -8 for p.
4
Suppose 5*a = 5*u - 25, u - 4*u + 5*a + 23 = 0. Let n be -3 - (-65)/5 - u*-2. Solve 0 = -i - 4*o + o + n, 2*i + 11 = o for i.
-3
Let d(z) = -4*z - 14. Let s be d(0). Let j be (7/s)/((-2)/16). Solve -3*o - 3*w + 2 = -13, -4*o + j*w = -4 for o.
3
Suppose 0 = -15*q - 1365 + 1425. Solve 5 = -3*k + q*w, k = -4*w + 3*w - 4 for k.
-3
Let i(b) = -2*b**2 - 18*b - 23. Let w be i(-7). Let t be ((-2)/(-6))/(w + (-88)/18). Solve 0 = 2*a + y - 2 - 3, t*a + 4*y = -5 for a.
5
Suppose d - 34 = 2*g + 5*d, -4*d = 20. Let j = -3 + 28. Let c = j + g. Solve k + 4 = -p - 2, -c = 5*p + k for p.
-3
Let h = -64 - -68. Suppose q = -h*s - 14, -q + 8*s = 11*s + 10. Solve 2*n = 3*i - 2*i, -q*n = 4*i for i.
0
Suppose -10*h - 12 = -16*h. Solve 3*o - 2*r = 2*r + 12, -2*o = h*r - 8 for o.
4
Let r = 53 + -48. Suppose -5*f + r = -10. Solve -t + 10 = -f*p, 0 = 3*t + p + 3*p - 4 for t.
4
Suppose 9 = 3*m, -3*j + m + 15 = 3*m. Suppose -j*q + 49 + 5 = 0. Solve -n + 2*i = 7, 1 - q = 5*n - i for n.
-3
Let m be (-84)/63 + (-38)/(-12)*2. Solve -3*v = 2 + 7, m*g = 5*v + 5 for g.
-2
Let q = -23 - -26. Solve -3*l + 2*l = -w + 3, -5 = -l - q*w for l.
-1
Let p = 5 - 1. Suppose 0 = 2*j - j + 42. Let n be (2/6)/((-7)/j). Solve 0 = u - 2*w + 11, 4*w - p = -n*u + 6 for u.
-3
Let g be (10/(-3))/((-94)/141). Solve 5*w = -4*f - g, -f + w = -2*w - 3 for f.
0
Suppose 0 = 3*x, 2*c - 6*x + 3*x = 40. Solve 5*v - c = 3*y, 5*v = 4*v - 5*y + 4 for v.
4
Let s = 269 - 266. Solve 2*b = -4*l - 2, 10*b - 5*b - 21 = s*l for l.
-2
Let p be (-52)/(-78)*(-414)/(-4). Let o = p + -58. Solve -3*z + o = k, -18 + 42 = -4*k + 5*z for k.
-1
Suppose 7 = -3*a - 4*c + 25, 0 = 3*a - 2*c. Suppose 0 = -15*u + 7*u + 192. Suppose -2*l + u = a*l. Solve -d + o = -l*d + 30, 4*d + 4*o = 40 for d.
5
Let f be 9/36 + (-27)/(-4). Let c = -4 + f. Solve 0 = 2*o + 10, o - c*o - 7 = 3*d for d.
1
Let z be (28/6)/(-1)*936/(-364). Solve 0*b = -q + 4*b - 12, 2*q = 4*b - z for q.
0
Let q be 6/5 - 28/(-35). Suppose q*v = 5*v - 6. Solve h + 3*u = -v + 6, -3*h + u = -2 for h.
1
Let u be (-5 + 5 - -12)*-6. Let g be (3 + 0/(-2))*(-120)/u. Let p = 2 - 2. Solve -3*j - g*a + 23 = -p*a, 4*a = 5*j + 11 for j.
1
Let d be 4 + 1 + (1 - (-2 + 4)). Suppose -5*k + 3 = -2*h - 4*k, 4*h - d*k = -12. Solve 0*b = -5*b - 5, h = -5*v + 2*b - 8 for v.
-2
Let b(u) = -4*u**3 - 2*u**2 - 5*u - 2. Let d be b(-1). Solve 0*z = 5*z + 3*c - 20, 5*z - 2*c + d = 0 for z.
1
Let k = 641 - 641. Let y(t) = -t**3 + 5*t**2 + 7*t - 3. Let w(a) = -a + 6. Let f be w(0). Let p be y(f). Solve p*v - 11 = s, 18 = 2*v - k*v + 2*s for v.
5
Let t(k) = k**3 + 38*k**2 + 18*k + 7 - 28*k**2 - 19*k**2. Let w be t(6). Solve -5*q = -3*s - w, q = s - 3*q for s.
-4
Suppose 4*b = 3*b - 1, 5*d + 4*b - 16 = 0. Let o(v) = v + 11. Let h be o(-6). Suppose -8 - 2 = -h*w. Solve -2*s + 9 + 3 = d*n, -5*s + 18 = -w*n for s.
4
Suppose -5*c + 0 = l - 11, c = -5*l - 17. Solve -5*j = -u + 13, c*u - 5 + 4 = -4*j for j.
-2
Let c be (-1025)/(-40) + (-3)/(-8). Let j = 28 - c. Solve 0 = -4*m - 4*a - 8, -4*m + j*m - 4 = a for m.
-2
Let h be (-1 - 27/(-33)) + (-456)/(-88). Let u be (-21)/(-6) + (-6)/(-4). Solve -u = v + 2*i, v + 2*i = h*v for v.
-1
Let f(r) = -r**3 - 25*r**2 - r - 19. Let y be f(-25). Suppose 0 = y*s + 42 - 162. Solve 5*a + s = 5*q, 2*a = -4*q - 0*a - 2 for q.
1
Let v = -404 + 419. Solve -5*c + 13 = 2*b - 22, b - v = -2*c for c.
5
Let b(y) = 25 + 12*y - 11 - 3*y - 9 - 10*y. Let f(i) = -i**2 - 6*i. Let q be f(-5). Let a be b(q). Solve -8 = 4*t - 5*d - a, t - 2*d = -5 for t.
3
Let y(c) = c + 1 - 1. Let n = 700 - 693. Let s be y(n). Solve -o - 3 = m + s, -4*m = 5*o + 45 for m.
-5
Let f(s) = s**3 + 5*s**2 - 14*s + 4. Let j be -4 - 2/(8/12). Let g be f(j). Solve 0 = -4*p + 8, -g*n - n + p - 2 = 0 for n.
0
Suppose 3 = 9*c - 42. Solve -3*k - 2*k + c*l - 40 = 0, 25 = -5*k + 2*l for k.
-3
Let l be (44 - 28) + -1*5. Suppose -23 = -5*m - 3. Solve -w + m*o - 33 = -l, -4*w = -4*o + 28 for w.
-2
Let y(z) = -z + 4. Let n be y(2). Let h = 65 + -68. Let q be h/(30/(-125))*2. Solve -5*c = -n*s - c - 10, -c + q = 4*s for s.
5
Let u = 118 + -214. Let v be u/(-42) - 2/7. Solve z - 1 = -v*m - 2*z, 22 = 2*m - 4*z for m.
5
Suppose 0*d = -5*d + g - 65, 3*g - 27 = d. Let z = d - -9. Let q be (4 + (-3 - z))/1. Solve 0 = -q*o - 20, 7 + 0 = -j - o for j.
-2
Let o(s) = 23*s + 305. Let d be o(-12). Solve 4*x + 5*g - d = 0, 3*g = -2*x - 6 + 23 for x.
1
Le