 f = -q - 2*q + 6. Solve 0 = q*b - 2 - 0 for b.
1
Suppose 3*k + 422 + 723 = 5*i, 913 = 4*i - 3*k. Solve 0 = -6*w - 208 + i for w.
4
Let w(o) = -o - 11. Let t(p) = 3*p - 63. Let c be t(22). Suppose l = -7*a + c*a - 18, -l - 2*a - 16 = 0. Let s be w(l). Solve s*u = -1 + 13 for u.
4
Suppose -5*h + 11 = -t - 7*h, 0 = 3*h + 12. Let u be 5 + (-147 + t)/(-6). Solve 0 = -p + 7*p - u for p.
5
Suppose 0 = u - 5*u. Suppose 3*d = 5*y - 22, -139*y + 134*y - d = -26. Solve y*v - 2*v = u for v.
0
Suppose 77*n - 150 = 27*n. Let c = 11 + -9. Let h = c + -2. Solve n*v + 1 - 4 = h for v.
1
Let u(a) = -9*a**2 + 80*a + 11. Let d be u(9). Suppose d*w + 27*w = 0. Solve -v - v - 3*v = w for v.
0
Let j be 21*6/42 - (2 + -23). Solve -21*q + 60 = -j for q.
4
Let h = -151 - -153. Let a(k) = -4 - 18*k + 11*k + 10*k. Let l be a(2). Solve -4 + h = -l*s for s.
1
Let f(s) = -10*s + 95. Let x be f(9). Solve -n + x = 1 for n.
4
Suppose -39 = 14*j - 109. Let q(g) = -1 + 1 + 0 - 1 + 2*g. Let a be q(j). Solve -a*f = -4*f - 25 for f.
5
Let p = 2 + 2. Let c = -2446 + 2458. Solve c = p*r - 0*r for r.
3
Let o(j) = j**3 + 25*j**2 - 36*j - 251. Let f be o(-24). Solve -f*w + 1183*w - 12 = 0 for w.
-2
Suppose 0 = 3*l - i + 807, -5*l + i - 174 = 1171. Let o = l + 272. Solve 5 = o*b - 4*b for b.
-5
Let m(k) = -k**3 + 4*k**2 - k - 3. Let r be m(2). Suppose v - 96 = -r*v. Solve -16 = -2*f - v for f.
-4
Let q(g) be the first derivative of -3*g**2/2 + 27*g + 29. Let f be q(8). Solve -f*d = -7*d + 8 for d.
2
Suppose 3*g - 8*g = -15. Let l(f) = -f**3 - 32*f**2 + 68*f + 1. Let r be l(-34). Solve r = u + g for u.
-2
Let h(l) = 3*l + 54. Let t be h(-5). Suppose 4*n + 5*x - t = 0, 4*n = 5*x + 10 - 1. Suppose -6*i = -8*i + n. Solve -i*o = -5*o for o.
0
Let t be (-4)/(-18) - 3512/(-72). Let m = t + -41. Solve -m*v - 6 = -10*v for v.
3
Let p(m) = -m**2 - 37*m + 40. Let q be p(-38). Suppose q*k + 0*k - 26 = -2*v, 5*v + 54 = 2*k. Solve -k = 2*r - 23 for r.
3
Let n be -8 - 170/(-10) - 27/(-3). Solve -8*a - 14 = n for a.
-4
Let z = 1 - 1. Suppose -3*s - 3 = q, 2*s + 27 = -2*q + 25. Let i be (-152)/38 + s*-2*2. Solve l + i + 5 = z for l.
-5
Suppose 8 = -4*f + 212. Suppose 4*r - 252 = -4*z, 4*r = 3*r + 5*z + f. Let u = 64 - r. Solve -8*w = -u*w for w.
0
Suppose -4*j = 3*y - 79, -9*j = 4*y - 4*j - 106. Let r be y/9 + (-16)/72 + 3. Solve 0 = -r*k - 10 - 8 for k.
-3
Suppose 2*b = -6, -3*k = -k + 3*b + 9. Suppose 32 = -z + 3*y, -4*z - y + 8 + 20 = 0. Solve i + k*i = -z for i.
-4
Let d = -29003 + 29024. Solve 0 = -d*o + 3 - 108 for o.
-5
Let d be 52 - 40 - -9*(-2)/3. Suppose 440*f = 442*f - d. Solve h - 4 = -f*h for h.
1
Let n(p) be the first derivative of -p**3/3 + 19*p**2/2 + 97*p + 64. Let x be n(23). Solve x = -2*w - 5 for w.
-5
Let l = 1740 + -1725. Solve -53 + 128 = l*m for m.
5
Let t(w) = -w**3 + 21*w**2 + 7*w - 139. Let l be t(21). Solve -26 = -l*m - 5*m for m.
2
Let y(a) = -413*a**3 - a**2 - 4*a - 2. Let z be y(-1). Solve -208*o + 70*o = -z for o.
3
Let q(t) = 13*t + 122. Let b be q(-7). Solve 37*v - b*v = -6 for v.
-1
Let u be (8 - 0)/4 + 2. Suppose 12 = -p + u*p. Let h be (-3)/(12/(-8))*5/10. Solve -h - 7 = -p*x for x.
2
Let z = -29 + 45. Suppose -h + 17 = -4*y, 210*y - 16 = 4*h + 215*y. Solve -z + h = -5*q for q.
3
Let u = -10 - -16. Let h = -66914 - -66924. Solve h*k + 8 = u*k for k.
-2
Suppose 0 = 8*x + 144 - 24. Let k(i) = -i**3 - 15*i**2 + 7*i - 10. Let j be k(x). Let y = -115 - j. Solve 0*w + 4*w = y for w.
0
Let w be 2 - ((-3)/(-1) + -6). Let r(h) = 3*h**2 + 14*h + 29. Let m be r(-3). Suppose o = y - 7, 4*o + m = 2*y - 8. Solve y*f = w*f for f.
0
Let p(k) = -414*k - 989. Let r be p(-3). Solve 0 = 17*a + 168 - r for a.
5
Suppose 3*a = -2*a - 2*u + 27, 1 = 3*a + 5*u. Suppose -m = -9 + a. Solve -m*k = -0*k for k.
0
Let u(j) be the first derivative of -j - 12 + 0*j**2 + 1/3*j**3. Let m be u(1). Solve 2*q + m = 6 for q.
3
Suppose 0 = -s + 2*n - 3 - 26, -n - 73 = 2*s. Let q = 39 + s. Solve 0 = -4*z - 0*z + q for z.
1
Suppose -5767 = -9*x - 25*x - 327. Solve x = -5*z + 150 for z.
-2
Let z = -16350 + 16398. Solve -5*u = u + z for u.
-8
Let c be (126/12)/(2/8). Let x(g) = -g**3 - 7*g**2 - g + 5. Let f be x(-5). Let k = f + c. Solve z + 0 - k = 0 for z.
2
Let l = 2011 + -2007. Solve -9*a - l = -40 for a.
4
Let b be (-225)/(-30) - (-1)/2. Suppose 4 = 4*j, c - 3*j = -42 + 55. Solve 4*i = b - c for i.
-2
Suppose 61*b = 2*v + 58*b + 5, -2*v + 25 = 3*b. Solve -81 = v*d - 71 for d.
-2
Let s be (7 - 121)/((-6)/4). Suppose 6 = -7*p + s. Suppose p = 3*l - f, -l = -4*l + 5*f - 10. Solve -l*v = 8 + 2 for v.
-2
Suppose -7 + 4 = o. Let r(a) = -a**2 - 4*a - 2. Let n be r(o). Suppose n = -2*j + 31. Solve 5*b - j = 2*b for b.
5
Suppose -5*h = 2*x - 8, 310*h - 4*x - 32 = 308*h. Let o = 15 + -13. Solve -o*z - 4 = h for z.
-4
Suppose -8 = -u + 5*u. Let f(b) = 12*b + 10. Let v be f(u). Let s be (28/v)/((-1)/2). Solve -7 = -s*d + 13 for d.
5
Suppose -4*b + 560 = 18*j - 14*j, -3*b + 415 = 4*j. Solve -2*i + b = 139 for i.
3
Suppose i = -6*q + 65, -4*i + 243 = 5*q + 59. Solve 8 = i*a - 39*a for a.
4
Let d(q) = 411*q - 8. Let z be d(1). Let a = 411 - z. Solve -a*i + 4 = -4 for i.
1
Suppose -3*n + 141 = 3*l, 0 = 5*n + 27 - 7. Suppose -l*v - 3 = -52*v. Suppose 2*u - 18 = v*x - x, -u - 5*x = 21. Solve -10 = -u*f + 2 for f.
3
Let w = -37 + 43. Suppose 6*x - w = 3*x. Solve 0*q - 4 = -x*q for q.
2
Suppose -c = 2 - 4. Suppose t = c*t. Let b(y) = 4*y - 39. Let p be b(16). Solve -5*z = -t*z + p for z.
-5
Let h = -23172 - -23185. Solve -99 = -h*v - 164 for v.
-5
Let c = -1 - -10. Suppose 0 = z + 2*z + c. Let x(m) = m**3 + 3*m**2 - 3*m - 7. Let l be x(z). Solve -l + 1 = -h for h.
1
Suppose -11166 = -17*d - 9058. Solve 0 = -55*n + d + 151 for n.
5
Suppose -12*k = -27*k - 15. Let p be 1/(3*k/12). Let a be 0/22 - 6/p*6. Solve 2*i - 5*i - a = 0 for i.
-3
Let b = -255 - -259. Let g = b + 0. Let j = -3 + 8. Solve -j*p + p = -g for p.
1
Let p(w) = 2*w**3 + 20*w**2 + 33*w + 15. Let c be p(-5). Solve 41*y - c = 64 for y.
4
Let a = 6084 - 6028. Solve 65*x = 9*x - a for x.
-1
Suppose 15*c - 568 = -478. Suppose -5*l = -4*k - 85, c*l = l + 5*k + 90. Solve -1 = l*b - 14*b for b.
1
Suppose -q - 5*n + 20 + 7 = 0, -5*n = 5*q - 35. Suppose -5*k + q*t = -2*t - 30, 4*k = 2*t + 30. Solve k = -g - g for g.
-5
Let a = -397 - -247. Let k = 152 + a. Solve 4 = -c + k*c for c.
4
Suppose -o - 4*o = 4*k - 125, 0 = o + 5*k - 46. Suppose -26*c = -o*c - 15. Solve 6 = c*a - 3 for a.
3
Let a = -14747 + 14747. Solve -20*r - 80 = -a*r for r.
-4
Let o = 217 - 206. Suppose -o*j + 86 = 42. Solve 23 = j*c + 7 for c.
4
Let w(a) = -a**2 - 27*a + 87. Let o be w(-30). Let y be 10 + o + 8 + -11. Solve -y*n + 19 = 11 for n.
2
Let n(l) = -2254*l + 2263. Let i be n(1). Solve 160*c - 157*c + i = 0 for c.
-3
Let t = -61 - -57. Let f be (6/(-8))/(-7 + (-27)/t). Suppose 0*p + f*p - 4*p = 0. Solve 2*z = -p*z - 8 for z.
-4
Suppose 10*p + 3 = 11*p, -10 = 5*b + 5*p. Let i be -7 - (b + -7) - 3. Solve z - 3*z = i for z.
-1
Suppose 40*k - 3720 = 20*k. Suppose 195*b = k*b + 45. Solve b = -z + 2 for z.
-3
Suppose -v = 4*v - 55. Let a be (-26)/(-12)*9 + 1/2. Suppose 0 = 5*h + 5*s - a, -5*h + 9 = -4*s - 20. Solve 2*c - h = -v for c.
-3
Suppose -298 = -9*w - 280. Suppose 0 = c - w*g - 2*g - 5, -5*c + 101 = -g. Solve -i - 6*i = c for i.
-3
Let d(c) = -c**3 + 16*c**2 + 37*c - 9. Let r(w) = 33*w - 180. Let o be r(6). Let q be d(o). Solve j + q - 5 = 0 for j.
-4
Suppose 2*f - 30 = 4*y + y, -24 = -2*f + 4*y. Solve f*n = 21*n for n.
0
Suppose 377*k - 396*k + 175 = 61. Solve k*n + 88 = 28*n for n.
4
Let s = -7763 - -7781. Solve 23*m - 29*m = s for m.
-3
Suppose 0 = -4*n - 3*d + 351, 24*d - 260 = -3*n + 25*d. Solve -5*t = -34*t + n for t.
3
Suppose -r = 2*r - 2*a, r = 2*a. Suppose -4*f = -r*g + 5*g - 4, 3*g = -12. Solve m + f = -m for m.
-3
Let v = 31 + -34. Let y be 2/v - 66/(-18) - 0. Solve -4*m = -y + 19 for m.
-4
Let c be (206/2 + -2)*162/162. Solve -y = -c + 103 for y.
-2
Let d(h) = 2*h**3 - 3*h + 31. Let p be d(0). Solve -11 = 21*g + p for g.
-2
Suppose -3*h - 18 - 58 = -o, -3*o - h = -198. Solve -2*u + 67 - o = 0 for u.
0
Let o = -3159 + 3245. Solve -o + 86 = -11*y for y.
0
Suppose 0 = -6*u - 3*q + 381, -3*u + 2*q + 66 = -142. Solve -u*i + 15 = -71*i for i.
-3
Suppose 5*z + 15 = 2*x, 3*z - x + 3*x = 