v*f - 6 = -0 for f.
3
Suppose 2*f + 5*t - 10 = 0, -2*f + t = 2*f + 2. Let s(x) = f*x + x - 5 - 2*x. Let w be s(-8). Solve -w*d = -0*d - 6 for d.
2
Let m(c) = 23*c + 210. Let p be m(-9). Suppose 2 = -a + s + 11, 5*a - 41 = s. Solve a*y - 20 = p*y for y.
4
Let c(z) = -16 + 10*z + 12*z - 19*z. Let o be c(6). Solve -o = 2*b + 6 for b.
-4
Suppose -3*x = -0*x + 2*b - 12, 20 = 4*x + 4*b. Suppose -3*a + 92 = 4*w, -x*w + 58 = -a + 3*a. Solve 4*c - a + 8 = 0 for c.
4
Let z = 169 - 162. Solve -5*m + z*m = -8 for m.
-4
Suppose -3*a - 12 = -3*d, 4*a - 7 = -3*d + 33. Suppose -d = 5*s - 8. Solve s = -2*k + 7 + 1 for k.
4
Let f(h) = h**2 - 9*h + 12. Suppose 0 = -2*r + 3*r - 2*g - 4, g - 3 = 0. Let b be f(r). Suppose b = p - 5*y, 4*p - 6 = y + 6. Solve -1 = -w - p for w.
-1
Let b be (29 - (-2 + 11)) + -8. Solve 2*w + b = 14 for w.
1
Suppose 4*f + 4 = 0, 0 = p + 2*f - 2 - 28. Solve 7*j - p = -j for j.
4
Let h be -9 - -34 - (8 + -3). Solve h*l - 18*l + 10 = 0 for l.
-5
Let h(f) = -7*f**3 - 12*f**2 + 6*f + 26. Let t(v) = -3*v**3 - 6*v**2 + 3*v + 13. Let n(a) = 2*h(a) - 5*t(a). Let m be n(-6). Solve 6 = w + m for w.
1
Let v = 1210 + -1206. Solve -64*c = -63*c - v for c.
4
Let f = 191 - 189. Solve 4*z = 14 - f for z.
3
Let z(y) = -y**2 - 8*y + 15. Let r be z(-9). Solve r*m = 2*m - 8 for m.
-2
Suppose 0 = -4*y + 5*l + 5, 4*y = 3*l + 8 - 5. Solve -15*i + 8*i - 14 = y for i.
-2
Suppose -2*j - 65 = -15*j. Solve -37*p - j = -32*p for p.
-1
Let q(k) be the third derivative of -k**6/120 + k**5/60 + k**4/3 - k**3 + 6*k**2. Let u be q(3). Solve u = -i - i - 2 for i.
-1
Suppose -3*b = d + 9, -3*b + 0*d = 3*d + 3. Let u be -5 - (b - (-3 + 2)). Let f be (11 - 4) + 4/u. Solve f = 4*r + r for r.
1
Suppose -28*z = -739 + 67. Solve -z = 11*o + o for o.
-2
Suppose 14 + 36 = 5*x. Solve -3*d - x = -5*d for d.
5
Let h(i) = 21*i - 166. Let a be h(8). Solve -11*d + 12*d = a for d.
2
Suppose -2*u + 184 - 154 = 0. Solve -u = -15*h + 10*h for h.
3
Suppose 3*a = 4*y + 12, 2*a + y = -3*a - 3. Suppose 0*s - 2*s = a. Solve s = -3*i - i + 4 for i.
1
Let d = 44 + -39. Suppose a = 2*a + 4*t, -2*t = 2*a. Solve -d = 5*b - a for b.
-1
Suppose -5*n - 22 = -3*n. Let c = n - -11. Solve l = -c*l for l.
0
Let d = -13 - 46. Let v = d + 60. Solve -s - v = 3 for s.
-4
Suppose -o - 2*z = 3*z - 21, 12 = 4*z. Solve 0*b = o*b for b.
0
Let w(h) = h**2 - 24*h - 12. Let b be w(26). Solve -b + 28 = -3*c for c.
4
Suppose 0*u + 12 = 2*u - 2*s, -3*s - 10 = u. Let k be 114/42 + u/7. Suppose -j - 1 = -k*n, -3*j - 4*n + 3*n = -27. Solve j = -d - 3*d for d.
-2
Let i(z) = z**2 + 3. Let h be i(-2). Suppose -23 = -m - h. Solve 2*s = 6*s - m for s.
4
Let b = -274 + 276. Solve b*j - 9 = 5*j for j.
-3
Let n = -9 + 15. Let y(q) = 3*q - 15. Let m be ((-20)/(-30))/((-2)/(-24)). Let w be y(m). Solve 3*s - n = w for s.
5
Let y(t) = -7*t + 12. Let r be (6 - 1) + 8/(-8). Let i be y(r). Let j be ((-4)/i)/(1/4). Solve -21 = 4*n - j for n.
-5
Let a be 1 - 0*(-1 + 12/8). Let p be ((-15)/10 + a)*0. Solve p = -4*i + 3 - 7 for i.
-1
Suppose 3*b + 3 = -5*y - 18, 5 = -b - y. Let p(o) = o**3 - 4*o**2 - o - 3. Let h be p(4). Let j = b - h. Solve 10 = -0*d + j*d for d.
2
Suppose -14*g = 19*g. Solve -5*n - 32 + 17 = g for n.
-3
Suppose -16*j = -13*j - 15. Suppose -36 = -j*g + 4*m, -4*g + 5*m + 16 = -5*g. Suppose -2*v = 3*d + 3*v - 63, 0 = -g*d - 4*v + 76. Solve s + d = 5*s for s.
4
Suppose 0 = 4*p + 6 - 14. Suppose 0 = 5*j - 2*m - 65, 4*j + p*m = -3*m + 19. Suppose 3*l = -2 + j. Solve l - 6 = f for f.
-3
Let c = 681 - 640. Solve -13*p - 24 - c = 0 for p.
-5
Suppose -6*z = -7*z + 6. Suppose 0 = g - 0*g - z. Solve 0 = -o - g + 2 for o.
-4
Let b(r) = r**3 - 21*r**2 + 7. Let h be b(21). Solve -3*c + h + 8 = 0 for c.
5
Suppose -4*d + 130 = 5*n - 66, -4*n - 3*d + 156 = 0. Let l be (n/(-3))/(1 + 15/(-6)). Solve 3*s + l = -1 for s.
-3
Let f = 1104 + -1090. Solve -9*u = -f*u for u.
0
Suppose -118 - 206 = -9*p. Solve 10*m = m + p for m.
4
Let j be 5*(-3 - -2) - (-205)/41. Suppose 0 = -4*b + l + 6, 5*b = 2*b - 4*l + 14. Solve j = h - b*h for h.
0
Suppose -2*h - 6 = w, h = -2*w - h - 6. Let m(o) = o**3 + 12*o**2 - 2. Let i be m(-12). Let d be (w/(i + 1))/(-1). Solve 0 = -d*x + 5*x - 25 for x.
5
Let t(l) = -l**2 + 9*l + 38. Let z be t(12). Let n(s) = s**2 + 6*s + 2. Let g be n(-6). Solve g*u - z = u for u.
2
Let b be ((-18)/15)/((-6)/15). Suppose -j - b + 12 = 2*q, 5*j = -q. Solve -2*y - q = -1 for y.
-2
Let a(u) = -u - 10. Let w be a(-6). Let v be (-4)/w + (13 - 4). Solve 4*t = 26 - v for t.
4
Let a be (-1 - 0)*2*7. Let s be (2/(-4))/1*a. Let h be (-1)/s + 504/98. Solve -b + 6*b - h = 0 for b.
1
Let r be 2/11 + 4*18/88. Let w = 6 + -2. Solve -o = -w + r for o.
3
Let g be ((-4)/(-6))/(5/(-45)). Let m be ((-26)/g)/(1/3). Let o = m - 11. Solve -3*y + 5 = -o*y for y.
5
Let p be 2/(-4)*-2 + (-3795)/33. Let o = p + 119. Solve -6 + 1 = -o*x for x.
1
Suppose t - 5*l - 11 = 0, -5*l - 19 = -2*t - 2. Suppose t*j - 10*j = -16. Let f be -5 - (2 - j) - -6. Solve -f*p + 16 - 1 = 0 for p.
5
Let z be (20/(-25))/(3/(-75)). Solve -z = 20*g + 60 for g.
-4
Let r(f) = 0 - f**2 + 3 - 2*f + 4*f + 2*f. Let t be r(4). Let o be t/(-6)*(1 - 3). Solve -4*q + o = 9 for q.
-2
Let v(f) = -15*f - 57. Let u be v(-4). Solve -2 + u = -c for c.
-1
Suppose 2*x = 6*x - 18*x. Solve x = -24*r - 0*r for r.
0
Let w = -26 + 16. Let v(c) = -c**2 - 8*c + 20. Let p be v(w). Solve p = 3*a + 7 - 1 for a.
-2
Let r(z) = 7*z**3 - 2*z + 1. Let m be r(1). Suppose -m*x = -10*x. Solve -3*s - 2*s - 10 = x for s.
-2
Suppose 0 = -33*u - 24*u + 285. Solve 0 = u*v - 10 + 5 for v.
1
Suppose 87*x - 89*x = 0. Solve -43*z + 38*z - 5 = x for z.
-1
Let l = 7 - -1. Suppose 7*q - l*q = 0. Let x = -82 + 85. Solve -x*u + 20 - 5 = q for u.
5
Let f = -67 + 72. Solve -f*u + 10 = -7*u for u.
-5
Let h(l) = -l**3 + 6*l**2 - 10*l + 25. Let r be h(5). Suppose r = 5*f + c - 50, 13 - 3 = f + 5*c. Solve 5*n = 15 - f for n.
1
Let w be (-3)/(-4)*(-40)/(-5). Suppose -5*q - 3*a = -17, q - a + w = 3*q. Let k(o) = 4*o**2 - 2*o. Let m be k(q). Solve -m = 2*t - 12 for t.
5
Let b(w) = -w**3 + 7*w**2 - 11*w + 7. Let m be b(5). Suppose -8 = -5*k - 3*z + m*z, 4*k - 12 = 2*z. Solve j - 4 = -k for j.
2
Suppose 3*y - 69 = 21. Suppose 3*l - y = -7*l. Solve 0 = -3*f - 0 + l for f.
1
Let u(x) = -3*x - 32. Let b be u(-8). Let z be (b/20)/(4/(-40)). Solve -f - f = z for f.
-2
Let t be ((-3)/4)/((-2)/8). Suppose 4*w - 4*i = 40, 0 = w - 6*i + t*i - 10. Let n(c) = 9*c - 50. Let p be n(6). Solve p*m - 26 = -w for m.
4
Let s = 141 + -144. Let l(w) = w**3 + 4*w**2 + 2*w - 2. Let j be l(s). Solve -5*t + 4*t + j = 0 for t.
1
Suppose -5*b - 2*v + 10 = 0, -v + 0*v + 7 = 3*b. Let u(j) = 37*j - 848. Let y be u(23). Solve -f + y = b for f.
-1
Suppose -3*f + y = -5, 0*y + 2*y = -3*f + 17. Suppose f*s + s = 24. Suppose q - 2*q = -s. Solve q = -2*m - 0*m for m.
-3
Let l(o) = 5*o + 95. Let p be l(-18). Solve -p*x + 17 - 2 = 0 for x.
3
Suppose 23 + 1 = 4*o. Solve 4*c + o*c = 0 for c.
0
Suppose -872*r = -878*r + 156. Solve 22*x = r*x - 8 for x.
2
Suppose 5*i + 63 = 2*i. Let s be 26/7 + (-6)/i. Solve 2 = d + s for d.
-2
Suppose -5*y - 5 = -a, 4*a - 3*y - 2 = -y. Suppose a*j - 8 = 4*j. Let f be j/(-9) - 12/54. Solve 3*v - 12 = -f for v.
4
Let y be (1/((-5)/(-4)))/(6/15). Solve -6 - y = 2*x for x.
-4
Let n = -49 + 49. Suppose 24 = 5*d - 4*o, -2*d - 4*o = -n*o - 4. Solve k + d = -0 for k.
-4
Let n be (0*(-4)/(-8))/2. Suppose 4*x + 0*k - 2 = -2*k, -3*x - 3*k - 6 = n. Suppose x*s - 8*s = -15. Solve -s + 4 = -o for o.
-1
Suppose 3*m - 2*m - o + 4 = 0, -3*o = m - 12. Let q(w) = -w**3 + 6*w**2 + 54*w - 314. Let s be q(6). Solve 3*g + 4 - s = m for g.
2
Let x = 540 + -534. Solve -8 = m - x for m.
-2
Let o = -46 - -31. Let b be (3 - o/(-6))*-2*-28. Solve 0 = 5*d - b + 3 for d.
5
Suppose 4*v + 163 = 171. Suppose -v*q = -10 + 8. Suppose -b = 3*b - 16. Solve b*n = q + 19 for n.
5
Let u = 133 - 147. Suppose 28 - 3 = -5*s, 2*b + s = 29. Let z = b + u. Solve r - 6 = z*r for r.
-3
Let k = -7 - -3. Let l = 8 + k. Suppose 10*o - 7*o - 4*i + 20 = 0, 4*o + 10 = 2*i. Solve -h + l*h = o for h.
0
Let x = 22 - 9. Let r = x + -9. Suppose p = 2*p - r. Solve p*q + 9 = q for q.
-3
Suppose 0*h - 2*h - 3*q = -3, -32 = -3*h + q. Suppose -2*l + b + 9 = 0, 0*l - 4*b = l - h. Solve y + l = -0*y for y.
-5
Let