 28 + 3 for i.
5
Suppose 0 = 4395*v - 4384*v - 44. Suppose 2*f - 4*w - 25 = -f, 0 = -4*f + 5*w + 32. Suppose 5*t - 10 = -z + f*t, -z - v*t = -18. Solve 5*a = -z + 12 for a.
2
Suppose 45 = 3*z - 57. Suppose 0 = -5*u - 0*q + 2*q + z, 4*q + 4 = 2*u. Let x(g) = -33*g + 231. Let o be x(7). Solve o = -h + 3*h + u for h.
-4
Suppose 14*w + 291 = 17*w + i, 0 = i - 6. Solve -160 = -13*q - w for q.
5
Let l be (-2)/(-3) - 7502/93. Let z = -189 - l. Let u = z - -117. Solve -r = r - u for r.
4
Let f(u) = 12*u**2 + 37 + 3*u + 12*u**2 + 9*u - 23*u**2. Let b be f(-9). Solve -b*y = -5*y + 15 for y.
-3
Let a(t) = t**2 + 16*t + 42. Let r be a(-3). Let v = -6 + 12. Let s = v + -6. Solve r*y + s = 3 for y.
1
Let i(h) = -3*h**3 + 3*h**2 - 5*h + 4. Let c(p) = 7*p**3 - 7*p**2 + 11*p - 9. Let w(s) = 4*c(s) + 9*i(s). Let q be w(2). Solve 4*b = 3*b + q for b.
2
Let j(w) = -125*w**3 - 6*w**2 - 11*w - 4. Let q be j(-1). Solve 40 = q*y - 116*y for y.
4
Suppose -20*c + 2*c = c - 418. Solve -11*x = c*x for x.
0
Let n(l) = l**2 + 12*l - 28. Let b be n(-14). Suppose 0 = -4*f - 4*x, -2 = -3*f - 4*x - 7. Solve b = -f*c - 18 + 3 for c.
-3
Suppose -90 = -0*q - 9*q. Let s = 26 + -24. Let p be 1/s*0/(-17). Solve -2*c - q = -p*c for c.
-5
Suppose -3*p - 55 = -c - 12, -4*p = 20. Solve 26 = c*z - 2 for z.
1
Let d be (-2 - -2)/(2 + -5). Suppose -9*b = -7*b - 8. Suppose -4*x = -3*l - 0*l + 24, 0 = -l - 2*x - 2. Solve b*a = -d*a + l for a.
1
Let j be 28/(-7)*166/(-8). Let o be 3/(-9)*0*1. Suppose o = -5*x + 5, v + 3*x = -3*v + j. Solve -4*z - z = -v for z.
4
Let y(q) = 2*q + 6. Let t be y(-5). Let m(h) = 11*h + 3. Let s be m(t). Let l = -38 - s. Solve l*b + 4 = 4*b for b.
4
Let u(v) be the first derivative of 2*v**3 - 1/2*v**2 + 9 + 0*v. Let y be u(1). Solve 0 = -y*b + b for b.
0
Suppose 4*h = 8, 3*o - 68 = -o - 2*h. Let u be 20309/1766 - (1/2)/(-1). Solve -o = u*g - 8*g for g.
-4
Let o(t) = -2*t**2 + 11*t - 7. Let y be o(7). Let h = y - -32. Solve 0 = 11*r - 9*r + h for r.
-2
Suppose 41 = 13*r + 15. Suppose r*t + 22 = 3*s, 2*s - t - 5 - 8 = 0. Solve s*p + 21 - 5 = 0 for p.
-4
Let s = 66 + -59. Suppose -8 = -r - s. Let f = r + 15. Solve 0 = 2*c - 6 + f for c.
-5
Let z(m) = 7*m**2 - 13. Let o be z(-2). Solve 10*v = 7*v - o for v.
-5
Suppose -5*z - 1 = j, 2*z - 3 = j - 2. Suppose p - 13 + 5 = z. Suppose 4*v - 96 = -p*v. Solve -q - q = v for q.
-4
Let k = -223 - 152. Let t be -3 + k/(-21) + (-22)/(-154). Solve 39*m - t = 34*m for m.
3
Let g be 1/(38/(-4)) - 140967/12939. Let w(u) be the second derivative of -u**3/3 - 10*u**2 - u. Let h be w(g). Solve 3*x - h*x = 4 for x.
4
Let y(i) = i**2 - 28*i + 12. Let s be y(20). Let j = s - -220. Suppose 3*q = 9*q - j. Solve 6*a + q = 3*a for a.
-4
Suppose -477*v + 234*v = -232*v - 9108. Solve 2*i = -90*i - v for i.
-9
Let m = 211 + -200. Suppose 15*w - 20 = m*w, 3*w - 13 = t. Solve 3*i + 1 + t = 0 for i.
-1
Let u(l) = -l**3 - 11*l**2 - l - 14. Let p be u(-11). Let h be -1 - (p + -50 + 0). Suppose 12 = -4*f + h. Solve 3*o - 5*o + f = 0 for o.
5
Let s be (-48)/(-54)*(2 - -7). Solve -s*w = -17 + 1 for w.
2
Suppose -4*r + 34 = 3*q, 20 - 4 = 4*r. Let u = 9 - q. Solve u*v + 2*v = 0 for v.
0
Let w = 892 + -887. Suppose -11*l - 4*p = -9*l + 4, 3*l + 5*p = -w. Solve 7*y + l*y = 21 for y.
3
Let t = 3851 + -3851. Solve t = 2*a - 8*a for a.
0
Let w(k) = -k**3 - 21*k**2 + 13*k + 47. Let t be w(-22). Let x = t - 243. Solve -3 = d + x*d for d.
-1
Suppose 3*s + 44 = -10. Let c be (-45)/(-9)*s/(-10). Solve 7*k = c*k - 6 for k.
3
Suppose -5*h - 4*h = -45. Let a = 1815 - 1794. Solve h = -4*b + a for b.
4
Suppose -x = -b - 55, 0 = 4*b + 5*x - 8*x + 217. Let c be (20/(-6))/(b/24 - -2). Solve 0 = u + 3*u + c for u.
-5
Suppose 0 = -12*f + 16*f - 60. Suppose f*i - 21*i = -36. Solve i*w = -0*w + 12 for w.
2
Suppose 20*p - 21*p - 51 = 0. Let s be (4 - 4/(-2))*(-17)/p. Solve -5*l + s = -8 for l.
2
Suppose 0 = 5*x - 3*h - 9, -3*x - 3*h = -2 - 13. Let t be (-3)/3 - (0/1 + x). Let m be (2 - (-6)/t)*0. Solve -s = -m*s + 4 for s.
-4
Let q(r) = -2*r**2 - r + 18. Let b(l) = 33*l + 129. Let s be b(-4). Let w be q(s). Solve -w*m + 0 = 12 for m.
-4
Suppose 0 = -3*x + 5*o + 74, 68*x - 80 = 65*x + 2*o. Solve -25 = -x*v + 33*v for v.
-5
Let g(h) = -254 - 6*h + 233 + 182. Let d be g(26). Solve -24*k = -19*k - d for k.
1
Let s = 7872 - 7868. Solve 2*x - 14 = s*x for x.
-7
Suppose 2*k = -4*j + 28, 0 = 90*k - 95*k - j + 7. Solve -49*v + 111*v - 372 = k for v.
6
Let v(q) = -q**2 - 7*q + 7. Let d be v(-6). Suppose 0 = -d*y + 9*y + 20. Let p(l) = -l**2 - 7*l + 8. Let i be p(-8). Solve 0 = -i*t + y*t + 25 for t.
-5
Let p be 4316/415*(-1 + 27/2). Suppose 4*s - p = -22*s. Solve 24 + 1 = -s*n for n.
-5
Let z = 185 - 180. Suppose 0 = -z*v - 6*p + 2*p, -p - 5 = 0. Solve -v*g + 13 = 1 for g.
3
Suppose 11*t - 31 = 2. Suppose 2*x = -3*g - 12, 0 = 4*g + 8 + 8. Suppose -s + 0 = t*y - 8, -s + 5 = x. Solve -2*b + b + y = 0 for b.
1
Let a(g) = -2*g**3 - 4*g**2 + 7*g + 9. Let c(n) = -n**3 + 2*n**2 + 6*n + 5. Let j be c(4). Let f be a(j). Solve 0 = -8*w + 10*w - f for w.
3
Let o(b) = 1998*b - 5978. Let y be o(3). Solve 4 - 68 = -y*i for i.
4
Let k(m) = 4*m + 2. Let a be k(3). Suppose 3*o = 2*o - a. Let r = o + 16. Solve r*q + 1 = -5 for q.
-3
Suppose -26664*i + 1184 = -26627*i. Solve -i*y - 150 = 18*y for y.
-3
Suppose -3*o - 2*o + k = 411, -4*o = -k + 329. Let n = o - -82. Suppose n = -7*w + 26 + 30. Solve f - 3*f + w = 0 for f.
4
Suppose -5*y = -4*o + 24, -31 = 762*o - 763*o - 5*y. Solve 0 = -26*d + 41 + o for d.
2
Let o(y) = -2*y + 1. Let f be o(-1). Suppose 5*l + 27 = -3*j, f*l + 4*j + 8 + 17 = 0. Let g be (-1)/(l + 2)*(-5 + 10). Solve -4*m = m - g for m.
1
Suppose 0 = -3*b + 98 - 92. Suppose 2*v + 2*y - 4 - 8 = 0, v - y + b = 0. Solve v*u + 2 = -4 for u.
-3
Suppose 3*l = -10*v + 5*v - 13, v + 2*l - 3 = 0. Let m be v*(3/9 - (-36)/(-27)). Solve -25 = m*w - 0*w for w.
-5
Let o(q) = q**3 + 19*q**2 + 25*q + 24. Let c be o(-16). Suppose 0*b + 7*b - c = 0. Let m = 56 - b. Solve m = -5*d - 11 + 31 for d.
4
Suppose 4*x + 2*z - 8 = -3*z, -2*x + 4 = 5*z. Suppose 0*p + x*p - 24 = r, -43 = 2*r - 3*p. Let g = r - -30. Solve g = 4*d + 4 for d.
3
Let s be ((-1314)/(-72) + -24)/(2/(-8)). Solve 28*m = s*m + 15 for m.
3
Let q be (5/2)/(28/(-168)). Let d be (-2 + (-4)/(-2))/(q/(-15)). Solve 3*l + 1 - 16 = d for l.
5
Let n = 93 - 90. Solve 2*g - 19*g - n*g = 0 for g.
0
Suppose -5*k + 25 = 5*g, -5*k + 2*k + 4*g + 50 = 0. Suppose 20 = 3*o - k. Solve -o = 4*v - 9*v for v.
2
Let o(t) = 4*t**3 + 23 + 0*t**3 - 13*t - 3*t**3 - 9*t + 2*t**2 - 10*t. Let y be o(-7). Solve -y*s = s - 12 for s.
4
Let c = 11163 - 10927. Solve c*x = 233*x for x.
0
Let l = -565 - -575. Suppose -u + 5*m - 1 = -6, 3*m = 4*u - 20. Suppose 9 - 2 = 4*p + 3*d, 0 = u*p + 5*d - l. Solve 0 = -i - p + 2 for i.
1
Suppose -4*a + 1070 = -5*l + 15415, 3*l = a + 8607. Let t be (-4)/34 + l/(-323). Let b = 22 + t. Solve 0 = -3*s + b + 2 for s.
5
Let x(l) = -l**2 + 16*l + 137. Suppose -z = -22 + 28. Let d be x(z). Solve 20 = -5*g - d for g.
-5
Let d = 21265 + -20939. Solve -d*w + 331*w = -25 for w.
-5
Suppose -127*k + 104 = -7389. Solve 161 = -k*i + 82*i for i.
7
Suppose 0 = -60*p + 63*p + 5*i - 31, 2*i = 10. Suppose 4*u - 74 = 2*u - p*j, 4*u = -2*j + 158. Solve -6 = 9*z - u for z.
4
Let p(n) = -n**3 + 12*n**2 - 2*n + 11. Let c be p(12). Let w be 3*1 + c + 12. Suppose w*i - 2*d = 16, 0 = 2*i + 2*i - 2*d - 32. Solve -3*l = i + 7 for l.
-5
Suppose 5*m - 3*m + 7 = w, 2*w + 2*m = 8. Let i be (w - 1)*-1 + 13. Suppose -2*l + 7 = -i. Solve -3 = r - l for r.
5
Suppose -y + 9*q = 5*q - 16, -542 = -14*y + 3*q. Solve -41 = y*c + c for c.
-1
Let h = 279 + -169. Let m be (-4 + 4 - -1)*-3. Let s be h/25 - m/5. Solve c = 6*c + s for c.
-1
Let p = -10038 - -10041. Solve -32 = -p*v - 23 for v.
3
Suppose -69*u + 70*u - 5 = 0. Solve -u*w - 4 = 6 for w.
-2
Suppose 330592*l = 330695*l - 927. Let t(f) = 9*f**3 + f**2 - f. Let d be t(1). Solve d = -2*o + l for o.
0
Suppose 3*o - 419 = -m, 0 = 2*o - 0*m - 2*m - 274. Let f = 133 - o. Let c = 8 + f. Solve -3*j + 15 = c*j for j.
3
Let s(y) be the third derivative of 0 - 11/6*y**3 + 0*y - 1/120*y**6 - 11/60*y**5 - 1/24*y**4 - 25*y**2. Let o be s(-11). Solve o*k - 25 = 5*k for k.
-5
Suppose -3*k + 4*k + 2*q + 5 = 0, -5*k + 31 = -4*q. Solve -3 + 9 = k*m 