 b for f.
1
Let s be (-28)/(-154) - (-339)/11. Let u = s - 23. Solve 5*a = a - u for a.
-2
Let q be (9 + -9)*3*(-1)/3. Solve -55*h + 59*h - 12 = q for h.
3
Let m(a) = -2*a**2 + 51*a + 87. Let d be m(27). Solve d*g = 5*g for g.
0
Let t be (2/(-11))/(18/(-396)). Let v(m) = -m**3 - 3*m**2 + 4*m + 2. Let x be v(-4). Suppose -3*j - 48 = -t*a, -x*j + 4*j = -a + 1. Solve -4*g = -a - 7 for g.
4
Let g be (-3)/(-15)*(-100)/(-10). Suppose g*j = -s - 2, 0 + 1 = -2*s - 3*j. Solve 0*a + s*a = -20 for a.
-5
Suppose 2*q - 624 + 582 = 0. Solve q*z = 23*z - 8 for z.
4
Let d be 1 + 9 + (8 - 7) - 4. Solve d*v = 14*v - 7 for v.
1
Let k = -22 + 13. Let u be (-151)/k + 16/72. Suppose 2*i + u = 2*m + i, 2*i = 5*m - 40. Solve -1 = -x - m for x.
-5
Suppose 10 = -7*z + 5*z, 5*z = s - 69. Let c = s - 44. Solve -2*d - 3 - 5 = c for d.
-4
Let z(y) = 29*y**2 - 2*y - 1. Let v be z(-1). Suppose 0*o = -2*o + v. Suppose -1 = -4*x + 19. Solve -5*h - x = o for h.
-4
Let o be -9 + 10 - 2*-1. Suppose -3*f = 5*k - 2, -4*k - f + 0 = -o. Let i(s) = s**3 - s**2 + s - 1. Let y be i(k). Solve 0*l - 4*l + 8 = y for l.
2
Suppose 3*h - h + 0*h = 0. Suppose 5*y + 3 - 13 = h. Let l = -1 - -4. Solve -l*i - 5 = y*i for i.
-1
Let p = -16 - -18. Suppose -2*a + p*j + 13 = -a, -14 = -2*a + j. Solve -5*v - a = -0*v for v.
-1
Suppose 6*m - 3*m - 6 = 0. Suppose 5*u + 1 = 2*w, -6*w + 4 = -3*w - 5*u. Solve -w = -m*t + 3 for t.
3
Suppose -5*w + 19 = -16. Suppose -w*q + 9*q = 4. Suppose 12 = v + 2*v. Solve -2 = q*i - v for i.
1
Let x(k) = -k**3 + 16*k**2 - 4*k + 18. Let c be x(16). Let p = c + 50. Solve b + 0*b = -p for b.
-4
Let c = -754 + 754. Solve c = 2*g - 2*g + 2*g for g.
0
Suppose k + 15*x - 20*x + 17 = 0, 17 = 4*k - 3*x. Solve -k = 40*f - 38*f for f.
-4
Let f be (1 - 1)/(-29 + 28). Solve 0 = j - f*j + 4 for j.
-4
Let l(b) = 1 + 8 - 13 + b. Let x be l(7). Suppose -2*v + x*v = 12. Solve -5*m = -3 - v for m.
3
Let i be (-28)/154 - 24/(-11). Solve 5*t - i = 3 for t.
1
Let w(c) = -c**2 - 9*c + 10. Let m be w(0). Solve -5*o + 25 = m for o.
3
Suppose 2 + 10 = 3*y. Suppose y*d = d + 30. Suppose 25 = -6*q + 37. Solve q*h + 0*h = -d for h.
-5
Suppose 67 = s + 3*g, 64*s = 62*s + g + 127. Solve -8*w - 8*w - s = 0 for w.
-4
Let q(d) = -2*d - 7. Let w be q(-5). Suppose -5*b - 28 = -7*p + 4*p, 5*p - b - 32 = 0. Let k(n) = n**2 - 5*n - 2. Let o be k(p). Solve -m = w*m + o for m.
-1
Let v(x) = -18*x + 112. Let n be v(6). Let f = -34 + 49. Solve -g - f = n*g for g.
-3
Suppose 434*t = 451*t - 68. Let d be 0 + 3 + (-7 - 24). Let a be 3/4 + (-399)/d. Solve -t*f + a = -f for f.
5
Suppose -9*a - 2*a + 143 = 0. Solve -a*d = -16*d for d.
0
Let u = 228 + -223. Solve 6 = u*g - 9 for g.
3
Let j = 215 - 211. Solve c + 12 = j*c for c.
4
Let o(n) = -2*n**3 + 17*n**2 - 6*n - 15. Let k be o(8). Solve -k = d + 4 for d.
-5
Let r(m) = m - 5. Let g be r(9). Suppose 13 + 2 = 5*v. Suppose 0 = 4*w - v*w - z - 5, 0 = 4*w - 2*z - 16. Solve u = -w*u + g for u.
1
Let n = -13 + 16. Suppose 1 = o + t, 5 = -o - t - n*t. Let m be -1 + o + (-5 - -4). Solve c + 0 = -m for c.
-1
Suppose -2*k + 3 = 1. Let n be 1/4 - -1*3/(-12). Solve n*v - v + k = 0 for v.
1
Suppose n - 3*a + 25 = 0, 414*n + 12 = 411*n + 2*a. Suppose 5*w = 3 + 12. Solve 0 = -b + n - w for b.
-1
Let d(v) = -2*v**3 + v**2 + 2*v + 1. Suppose 0*s - 6 = 6*s. Let m be d(s). Let g be (4 - 2)/(-1) - -7. Solve 0 = -m*k + k + g for k.
5
Let c be (9/(-6))/(-5 + 381/78). Solve -6*s = -c*s + 35 for s.
5
Suppose 11 = 3*a + i, -3*i = 5*a - i - 17. Let x be 3 + 7 - 6/14*7. Solve -x = v - a for v.
-2
Suppose -4*s + 14 = p - 0*s, p = -2*s + 8. Suppose -10*r - p = -12*r. Solve -r = f - 4 for f.
3
Suppose 0 = c - 52 + 50. Solve -3 = -c*f + f for f.
3
Let i = -26 + 16. Let z be (2/(-4))/(3/(-78)). Let h = i + z. Solve -2 = -h*j + 10 for j.
4
Suppose 4*k + 7 = 19. Let c be (-2)/6 + 16/k. Suppose 3*h - 2*d = 6, 0*h - c*d - 1 = -4*h. Solve w - 15 = h*w for w.
-5
Let j = -1216 - -1216. Solve f + 8 - 8 = j for f.
0
Let p = 28 - 25. Let s = 15 + -10. Solve 2*n + s = -p for n.
-4
Let p = -4 + 8. Suppose 0 = p*n - 12 - 4. Let v = 4 - n. Solve v = -2*o + 4*o - 6 for o.
3
Let j be (-9)/(-2)*3/9*2. Solve -j*f = -8*f for f.
0
Let t be 3 + 0 - (6 + -5). Suppose 0 = -t*h + 2, -h = -o - 5*h + 20. Suppose -4*i - 1 = -13. Solve i*m + o = -m for m.
-4
Let a(l) = 4*l - 1. Let c be a(1). Let v be (c/3)/(2/(-4)). Let y be (0 - 2) + 8 + v. Solve -y = 5*z + 11 for z.
-3
Let m(k) = 2*k - 3. Let y(t) = t + 1. Let r(v) = -m(v) + 3*y(v). Suppose -q - 2*n - 15 = 0, 2*q - 5*q - 2*n - 25 = 0. Let w be r(q). Solve 2*z + w = -9 for z.
-5
Let x be (-4)/34 - (242/(-34) + 7). Solve -4*g + x*g = -8 for g.
2
Suppose -3*b + 58 = -4*y, 5*b + 11*y = 8*y + 145. Let p be 4/6 + 2/6. Solve -5*h + p = b for h.
-5
Let z(s) = 3*s + 0*s - 4 - 4*s. Let y be z(-4). Suppose y = l + l. Solve l*d - 3 = d for d.
-3
Let y(d) = 5*d**2 - 4*d + 4. Let t be y(-5). Let j = t - 145. Solve l = -j*l for l.
0
Let n = -6 - -9. Let k(y) = y + 2*y**2 + y - n*y + 4*y**2. Let c be k(2). Solve 4*w - c = -6 for w.
4
Suppose -87 = 4*d + l, 0 = 3*d - 2*l + 48 + 20. Let j = 23 + d. Solve -a + 2 = -j for a.
3
Suppose -3*n - 80 = r, 2*n = -3*r + 3*n - 280. Let k = r + 95. Solve -k*i = -i for i.
0
Suppose 0 = -3*d + 3, 0 = -2*c + 2*d - d - 5. Let k = 0 - c. Let o(x) = -2*x**3 - 13*x**2 - 6*x + 2. Let y be o(-6). Solve y*v = -k*v + 12 for v.
3
Let b be 8*(1 - 3/(-2)). Let x be (-2 - 0 - -2)*1. Suppose x = -t + 5*t - b. Solve t*w + 5 = -5 for w.
-2
Let h(g) = g**3 + 4*g**2 - 14*g + 50. Let a be h(-7). Solve 6*u - 1 = -a for u.
0
Let p = -5 + 7. Suppose -f + 6*f + y - 82 = 0, -2*y = -4. Solve 6*q - f = p*q for q.
4
Let c(d) be the third derivative of d**5/30 - d**4/24 + 24*d**2. Let t be c(-1). Solve 9 + 0 = -t*z for z.
-3
Let f be 6/(-18) - (-62)/6. Suppose 2*n + 4 = f. Suppose -3*w + 0*w - n*j + 24 = 0, 2*w - 4*j = 16. Solve -3*g - g = -w for g.
2
Let s = -1343 + 1343. Solve -b + 1 = -s*b for b.
1
Let l be (110 - 107)/(14/(-8) + 2). Solve -17 + 5 = -l*r for r.
1
Let i = 739 + -693. Solve 0 = 5*g - i + 36 for g.
2
Suppose 5*n - 2*r - 183 = 0, 0*r + 4 = -r. Solve n*q + 32 = 43*q for q.
4
Suppose -f + 0*s - 2*s + 2 = 0, -5*s = -3*f + 6. Suppose -l - 3*m + 15 = 3*l, 2 = f*m. Let t be (6/5)/((-27)/(-180)). Solve l*x = 7*x - t for x.
2
Suppose 6*p - 260 = -242. Solve p*o - 5 = -2 for o.
1
Suppose -1 - 7 = -4*q. Suppose d = -3*j + 6, d - 5*j + 2*j = 6. Suppose 0 = q*b + b - d. Solve 7 + b = 3*c for c.
3
Let z be (27/(-36))/((-3)/36). Solve -11 + z = -2*o for o.
1
Suppose -u + 2*v = v, 0 = -u + 5*v - 12. Let b(t) = 2*t**2 - t + 2. Let w be b(u). Let r = -7 + w. Solve 6*y = y - r for y.
-2
Suppose -3*h - 4*p + 57 = -27, 5*h - 4*p - 140 = 0. Solve 10*m = 3*m - h for m.
-4
Suppose 29 = p - 5*h, h + 13 = -0*p + 2*p. Suppose 4*j = -3*r - 1, -2*j + r - p*r - 5 = 0. Solve j*w - w = -4 for w.
-4
Let k(t) = 10*t - 97. Let h be k(10). Solve 0 = -2*m + h*m for m.
0
Let l(r) = -r + 4. Let m be l(4). Let k be -3 - (-80)/25 - (-95)/25. Solve y + k = -m*y for y.
-4
Suppose -a + 3*j = 5*j - 20, 3*j + 12 = 0. Solve f = -6*f + a for f.
4
Let o = -25 + 25. Suppose 0*d + 3*d = o. Solve c + c - 4 = d for c.
2
Suppose 3*o - 14 = -2*i - 4, o - 3*i - 7 = 0. Solve 3*f + 13 = o for f.
-3
Let r(z) be the first derivative of -11*z**2/2 - 20*z - 14. Let k be r(-4). Solve -4*f + 4 = k for f.
-5
Let m = 13 + -14. Let t be 6/24 + m/4. Solve 2*d + t*d + 10 = 0 for d.
-5
Suppose -3*y + 2*y = 7*y. Solve y = -9*n + 7*n for n.
0
Let o(u) = 6 + 3*u + 9 + 1 - u. Let v be o(-8). Solve 2*k + 2*k = v for k.
0
Suppose 21*b = 402 + 837. Solve -b = 6*h - 29 for h.
-5
Suppose -2*w + 2 = j, -4*j = -2*w - 2*w + 4. Let x(i) = -i + 13. Let k be x(13). Suppose k = -s - 5*g + 24, -5*s - 2*g = -0*g - 28. Solve w = u - s for u.
5
Suppose 0 = 3*v + 3*q - 3, -3*v - 6 = -8*v - 4*q. Let t be (-2 - -4) + 0 - 1. Solve -v*x + 7 = -t for x.
4
Suppose z - 103 = 2*q - 306, 3*q - 302 = z. Let b = -79 + q. Solve -5*w - b = -w for w.
-5
Let s = 228 - 228. Solve -2*v - 8 = -s*v for v.
-4
Suppose a - 4 + 1 = 0. Suppose -3*t + a + 6 = 0. Solve 0*b = -t*b - 3 for b.
-1
Suppose -5*h = -20 + 5. Suppose 85 + 459 = 34*l. Solve -l + 4 = h*u for u.
-4
Let i = 1263 + -1253. Solve -12*q = -i*q + 6 for q.
-3
Let l(c) = -5*c - 8. Suppose 9 + 9 = -3*g. Let f be 