f for t.
-4
Suppose 0*v - 5*v - 5 = 0. Let j be ((-40)/12)/(-2)*(-3)/v. Solve x = j*f + 14, 3*f - x + 9 = 1 for f.
-3
Suppose -5*b = 2*v - 6 + 1, -23 = 3*b - 4*v. Let k(c) = c**2 - 5*c + 12. Let j be k(9). Let p be (2 + b)/(6/j). Solve 2*y = p, 5*m + 10*y - 5*y = 0 for m.
-4
Let d(b) = 4*b. Let g be d(3). Let f be (-42)/(-9) + (-189)/(-81). Let h = g - f. Solve -16 = -r - 4*j, -3*r + h*j + 2 = 22 for r.
0
Let x be (39/(-26))/((-6)/8). Suppose 0 = h - 2*r, x*h - 2*r - 12 = -h. Solve -l - 2*w + h = 5, 4*l + 5*w = 7 for l.
3
Let g(k) = 2*k**2 - 8*k + 11. Let s be g(2). Suppose -s*q + 7*q = 20. Solve 0*m - t + q = -m, -m - 5*t = -1 for m.
-4
Suppose -39*v = 25*v - 832. Solve 5*g = -4*r + 1, -v*r + 4*g - 9 = -8*r for r.
-1
Suppose -131 + 131 = -19*p. Solve 4*l = -f - 16, -2*l - 5*f + 1 - 9 = p for l.
-4
Let d be (8/12)/(3/9*-2). Let y = d + 4. Solve 2*m - y*n = 23, -4*m - 4*n - 9 = n for m.
4
Let q(r) = -r**3 - 3*r**2 + 18*r. Let c be q(-6). Suppose -b - 2*m + 3 = c, 2*m = -5*b + 10 + 5. Solve b + 1 = i - 3*f, -12 = 4*i + 2*f for i.
-2
Let s = 33 + -34. Let a be (-6)/3*s - (0 + 1). Suppose x = -3*x + 16. Solve -5*p - 21 = i + a, x*p - 4*i + 32 = 0 for p.
-5
Suppose t + 18 = 4. Suppose s = 6*s + 55. Let u = s - t. Solve -3*z + 0 = u*a - 9, -3*a - 2*z + 7 = 0 for a.
1
Suppose -27*b + 29*b + 72 = 0. Let i = 36 + b. Solve 0 = 3*j - 2*j - t + 9, -j - 4*t + 16 = i for j.
-4
Suppose -5*o + 8*o = 15. Suppose 29 = 3*z + o. Solve -3*v + 5*p = -z*v - 45, 0 = -4*v + 5*p + 9 for v.
-4
Let v = -29 + 83. Let x = 58 - v. Solve 2*m + 3*s = 6*s + 2, -x*s - 8 = 0 for m.
-2
Let t be 12 + 3 + (1 - 6). Let d(g) = -g + 3. Let k be d(t). Let p = -3 - k. Solve -p*u = -3*w + 7, 4*w + 0*w - 3*u - 14 = 0 for w.
5
Suppose -5*k - 64 = -k. Let p = 18 + k. Let x be 4 + 4 + (-10)/p. Solve 2*z - d + x = 10, 3*z = -4*d + 5 for z.
3
Suppose -66*u = -6*u - 240. Solve -3*m - 40 = 5*j, -u*j + 9*j + 4*m + 45 = 0 for j.
-5
Suppose -2*b + b - 3*q = 8, 2*q + 16 = 2*b. Let v = -40 - -42. Solve -b*m + v*r = -2, m - 2 = -m + 2*r for m.
0
Suppose -4*o - 5*b = -115 + 95, -4*b - 25 = -5*o. Solve -4*h + 2*x - 8 = -0*h, -2*h - o*x + 8 = 0 for h.
-1
Suppose 0 = k + 2*k - 9. Suppose 5*x = 3*h - h + 16, h - 3 = -k*x. Solve -3*y = -v + 8, -x*y = 2*y + 5*v - 21 for y.
-1
Let x(n) = 2*n**2 - 4*n - 1. Let b be x(4). Let y = b - 17. Let w be (-1)/2*y + 2. Solve w*s - 3*m - 2*m = 4, 4*s = 5*m + 2 for s.
-2
Let f = 2337 + -2332. Solve -f*y = -y + 2*w + 10, -y - 4*w = -1 for y.
-3
Let s be (-2)/(104/40 + 6/(-10)). Let a = 5 + s. Solve 4*q = -2*w - a, -q - 3*w + 0 - 11 = 0 for q.
1
Let p be (-2)/(-4)*(8 + -1 - 7). Solve -3*b + 21 = 5*c - p*b, 0 = -c + 2*b - 1 for c.
3
Let k be (-8)/(-24) - (-10)/6. Suppose 3*m + 4*g = 7, 0*m + k*m = 3*g + 16. Solve -3*d = s - 11, s = -m*d + 2*s + 21 for d.
4
Let s = 120 + -117. Suppose 26 = 5*b - 4*t, 3*b + 0*b = -3*t - 6. Solve -b = -s*z + 2*h, -4*z - z - 5*h + 45 = 0 for z.
4
Let t(l) = -l + 5. Let u be t(3). Suppose 0*x + u*x = b - 5, 5*b = 5. Let s be -7*(x - (-6)/(-7)). Solve 3*v - 2*p - 15 = 0, -s = -4*v + p - 0*p for v.
5
Suppose -15*k + 84 = -6. Solve k*j - 3*j + 2*d - 6 = 0, 2*j = -3*d + 4 for j.
2
Let n be ((-24)/(-9))/((-16)/(-24)). Solve -n*g + 3*t + 25 = 0, -3*g - 2*t + 10 = 4 for g.
4
Suppose 0 = 39*o - 40*o. Solve -a = -3*x - 9, o = 3*x + 8 + 1 for a.
0
Suppose 0 = 2*c - 2*z - 10 - 4, 0 = 4*z + 8. Solve 4*t + 9 = 4*i + 1, 3*i = -c*t - 26 for i.
-2
Suppose 3*j = -41*h + 38*h + 3, -4*j - 32 = -5*h. Solve 5*w + 11 + 9 = -h*k, 0 = -3*w + 5*k - 12 for w.
-4
Let b(f) = 2*f**3 - 16*f**2 + 3*f - 22. Let r be b(8). Solve -9 = t - 2*z, 18 = -5*t + 3*z - r*z for t.
-3
Suppose 0 = -0*a - a + 5*p + 10, -2*a + 20 = -2*p. Suppose -28*f - a = -30*f. Solve 7*h - 2*h = 5*y + f, y = -4*h + 14 for h.
3
Suppose -6*k = -9*k + 45. Suppose -4*l = l - k. Solve 23 - l = 3*f + 4*g, f = -g + 5 for f.
0
Suppose 2*c = 10, 58*y = 59*y - 5*c + 25. Solve -3*q - w - 14 = 0, y = 3*q + 3*w + 5 + 7 for q.
-5
Suppose 5*k = -5*j - 5, 3*j + 5*k = -6 - 3. Suppose 2*b - 6 = j*d, -4*d = -3*d + 1. Solve n = 3*v - n - b, -3*v = 3*n + 3 for v.
0
Let b(q) = q**3 - 4*q**2 - 5*q. Let a be b(5). Suppose -2*i + i + 5 = a. Solve i*l + 0*l - 9 = -r, -15 = -4*r + l for r.
4
Let a = 45 - 29. Let c be 0*((-5)/(-18) - a/(-72)). Solve 0 = -4*w - c*n - 4*n - 24, -14 = -3*w + 5*n for w.
-2
Let u = 161 - 155. Let m(o) = -o**2 - 7*o - 3. Let t be m(-5). Suppose -3*x + t + 8 = 0. Solve -4*a + x*p = -u, -5*a = -3*a + 5*p + 12 for a.
-1
Let d(a) = 2*a + 11. Let j be d(-11). Let h(x) = 3*x + 16. Let i be h(j). Let v = -15 - i. Solve -v*s - 5*q + 7 = -5*s, 3*s = -5*q + 13 for s.
1
Let n be (11 - (7 + -1))/1. Solve -n*f - 20 = u - 0*f, -4*u = 4*f + 32 for u.
-5
Let a be -3 + -55 + 0 + 1. Let d be 8/(-3)*a/76. Solve -r - d*w = -2 - 2, -3*r = w + 8 for r.
-4
Suppose -5*k + 88 = 39*k. Solve -4*v + 14 = n, -12 = k*n - 3*v + v for n.
-2
Let v(q) = -6*q + 126. Let p be v(21). Solve 4*y = -n + 5*y - 2, -3*y + 15 = p for n.
3
Let v(c) = -39*c**2 - c. Let s be v(-1). Let p = s + 45. Solve x + p = 2*i, -4*x = x + 4*i + 7 for x.
-3
Let x = -4 - -40. Let h be 24/x - 26/(-6). Solve -1 = 3*u + 5, -h*u = n + 15 for n.
-5
Let u be (1 + -52)*(176/12 + -15). Solve -2*l + 6*l - 23 = -3*p, -4*l = -5*p + u for l.
2
Let u(g) = g**2 - 5*g - 2. Let y be u(5). Let j be (5 - 1) + 0/y. Suppose -3*p + 8*p - x = 21, j*p = 5*x. Solve -5*o - 35 = -2*w, -p*o + 2*w - 5*w = 10 for o.
-5
Suppose -20 = -8*b + 3*b. Suppose 5*q = -b*l + 6 + 11, -5*l + 4*q = -11. Solve l*x + 3*u = 21, 2*x + 0*u + 6 = 3*u for x.
3
Let y(u) = -64*u**2 + 126*u**2 - 61*u**2 + 2*u - 7*u - 3. Let q be y(6). Solve -4*l = -0*l - q*f + 8, l - 2*f = 3 for l.
-5
Let o(q) = q + 8. Let a be o(-7). Suppose 4*j - 2*f - 37 = -a, -5*j = -f - 42. Let d be (-5)/(-7) - (-2)/7. Solve 5*l + d = 4*x - 6, x - j = -5*l for l.
1
Let b(j) = 3*j**3 - 15*j**2 + 2*j - 5. Let z be b(5). Solve -2*u + q - 6 = 0, -z*u - 4 + 3 = q for u.
-1
Let q = 59 - 55. Let f be -3 + 0 + (q - -8). Solve 5*r + m - f = 0, -m + 7 = 5*r + 2*m for r.
2
Let i be 2/9 + 1939/63. Suppose -14*b = -39 - i. Solve 0 = 5*x + h + 24, -x - 2 = -2*h + b for x.
-5
Let c = 34 + -22. Let z = 17 - c. Solve -5*x = z*v, -3*x + 6*v - 7 = 2*v for x.
-1
Let y = -113 + 125. Suppose -5*m - 12 = 4*h, -4*m + 0*m + y = -4*h. Solve -14 = -4*n + 5*w, -2*w - w - 6 = m for n.
1
Let z(g) = -6*g + 130. Let b be z(21). Solve 3*w - 10 = -5*n - 2*w, -b*w = -n - 23 for n.
-3
Suppose -4*x + 33 = -h, -21 = 9*x - 12*x + 2*h. Solve -3*s - 3*a = -x, -5 = -4*s - a + 13 for s.
5
Suppose -99 = -20*m + 17*m. Suppose -7*p + 2 = -m. Solve 2*a + 16 + 0 = 5*g, -p*a = 3*g + 9 for a.
-3
Let m(x) = -x**2 - 9*x + 25. Let j be m(-11). Solve 2*d - 5*r - 5 = 2, -4*d + j*r - 7 = 0 for d.
-4
Suppose -2*h + m + 4 = -4*h, -3*h = m + 4. Let i(s) = 6*s - 20. Let r be i(5). Suppose g - 2 + 0 = 0. Solve 16 = 2*n - 5*j, h = g*n + j + r - 2 for n.
-2
Let r = -1907 + 1923. Solve 0 + 4 = v, -r = 4*i - 2*v for i.
-2
Let b(y) = 3*y + 8. Let f be b(-6). Let d be f/(-6) - (-2)/6. Suppose -p + 15 = -3*v - 4*p, -d*v - 15 = 3*p. Solve 4*q - 5*n - 15 = 1, v = -q + n + 3 for q.
-1
Let r be 2/((1/(-3))/(7/(-42))). Let h be (2 + 0 + 3)/r. Solve -5*n + 28 = -2*t, 0 = -h*n + 3*t + 2*t + 40 for n.
4
Suppose -5*t - 30 + 40 = -4*y, -2*y = 2*t - 4. Solve -3 = -h + t, 16 = 3*m + 2*h for m.
2
Let r = 8 - -67. Let b = -70 + r. Solve i - s = 3*s + 12, b*s + 2 = -2*i for i.
4
Suppose 3*l - 2*w + w - 152 = 0, -3*w - 56 = -l. Let q = l + -45. Solve 5*u = 25, 3 = q*n + u - 2 for n.
0
Suppose 0 = 4*y + 20, 2*y - 30 - 4 = -4*k. Suppose -5*a + 9 = 2*i, -i + 6*i + a = k. Solve 4*x = -12, -r + 3*x - x + i = 0 for r.
-4
Suppose 9*y = 19 - 37. Let s(d) = -d**2 - 3*d + 2. Let v be s(y). Solve -3*g - 1 = -0*g + 5*r, 0 = -3*g - v*r + 1 for g.
3
Suppose -632*j + 618*j = -14. Solve -5*k + 4 = 5*i - j, 2*i - 8 = 4*k for k.
-1
Suppose -3*z + 28 - 10 = 0. Suppose z*i - 25 = -1. Solve -3*f = i*l - 5, 6*l - l = -f + 20 for f.
-5
Suppose 2*z = 3*z + 92. Let l = 55 + z. Let n = l + 42. Solve -n*c + 0*c + 8 = 2*f, 5*f - 4*c = 20 for f.
4
Let t(i) = -i**3 - 4*i + 66. Let q be t(0). Let p = -62 + q. Solve 16 = 4*x - o, x + x - 8 = p*o for x.
4
Let d be (-2)/(18 - 9 - 10). Solve -5*l + d*z - 9 = 0, -6 = -2*l + 3*l + z for l.
-3
Suppose -b - 47 