-a*i for i.
0
Let d(o) = -11*o**2 + 153*o + 15. Let z be d(14). Let g(r) = r + 2. Let k be g(6). Let i = k - z. Solve 2*j + 20 = i*j for j.
4
Suppose 3*q - 10 = -2*q, 2*n - 6 = 4*q. Let k = n + -5. Suppose k*o + o - 84 = 0. Solve 8 - o = -4*u for u.
5
Let g(r) = -2*r - 2. Let j = 5 - 4. Let o(p) = -6*p**2 - 2*p + 1. Let x be o(j). Let k be g(x). Solve k = -s + 5*s for s.
3
Suppose 436 = -2*m + 454. Solve m*i - 25 = 11 for i.
4
Let j(w) = -w - 4. Let t be j(-12). Solve 0 = -t*o + 6*o for o.
0
Suppose -m + 8 = -l, -m - 2*m - 5*l = 0. Suppose 6*o - 63 = -39. Solve -o*g = -m*g for g.
0
Let y be -20 + (4 - 7 - -3). Let c = 24 + y. Solve r + c = 2 for r.
-2
Let x = -815 + 815. Solve x = -4*g + 16*g + 48 for g.
-4
Suppose -4*b + b + 2*t = 0, 4*b = 2*t. Let x be (-152)/(-28) - (5 - (-160)/(-35)). Solve b*p = -x*p for p.
0
Let w(d) = 3*d - 2 - 3 + 2*d**2 - 3 + 14*d. Let y be w(-9). Solve 5*h + 6 = y for h.
-1
Let u = 4 + 1. Let l be (-1)/1*4 - 0. Let z(n) = 3*n**2 + 10*n - 6. Let q be z(l). Solve -u*g = q + 13 for g.
-3
Let j(o) = 2*o**2 - 11*o + 12. Let w be j(4). Let r be w/(1 + (6 - 4)). Solve r = -2*p + 5*p - 9 for p.
3
Suppose 3*j - 6 = j, 2*j = -3*v + 15. Solve -v*g + 18 = -9*g for g.
-3
Let w(y) = 2*y. Let m be w(0). Let s(z) = z**3 - z + 5. Let x be s(0). Suppose -5*v = x*k - 64 - 21, 2*k - 94 = -5*v. Solve m*o + v = -4*o for o.
-5
Let n = 35 - -10. Let j be 162/n*(-5)/(-2). Solve -5*d - j = 1 for d.
-2
Suppose -3*z - 37 = 5*t, -3*t - 5*z + 1 = 36. Let p = -1 + 20. Let n = t + p. Solve 5*h + 1 + n = 0 for h.
-3
Let f = -141 + 141. Solve 3*d + 3*d - 12 = f for d.
2
Let b be (-4 - (11 + -15))*(-2)/(-8). Solve -3*x + b*x = 3 for x.
-1
Suppose 0 = 11*a - 0*a - 4*a. Solve -5 + a = -5*y for y.
1
Let v be (4 + -7)/(-3) - 5. Let p be (3/6)/((-2)/v). Suppose -5*h + 23 = f, -27 = -5*f - 4*h + h. Solve -f*l - 16 = -p for l.
-5
Let u(m) = 57*m**2 - 1142*m + 45. Let c be u(20). Suppose -w - 5*j + 31 = 0, 33 = 3*w - j - 12. Solve w = -f + c*f for f.
4
Let y(h) be the second derivative of -1/6*h**3 + h**2 + 0 - 7*h. Let c be y(-5). Solve 0 = -5*p - 8 - c for p.
-3
Suppose -3*u + 21 = -3*z, -u + 0*z = -2*z - 11. Let x be (-6)/(-4)*52/u. Suppose x*f = 27*f - 2. Solve f + 0 = -a for a.
-2
Let q(r) = r**3 + 2*r**2. Let m be q(-2). Solve -6*t - 68 + 38 = m for t.
-5
Let w be 8 - (3 - (4 + -3)). Suppose 0 = w*y - y. Suppose 0 = d + 2, 5*u = -5*d - y*d. Solve 3*v - 4 - u = 0 for v.
2
Let u be (-162)/(-12) + (63/6)/(-7). Let o be (0*(-2 + 1))/(-1). Solve o = p - 5*p - u for p.
-3
Suppose 2*i - 12 = -4*i. Solve -i*o - 15 = -5*o for o.
5
Let t be 322/115*(-10)/(-4) - -6. Solve -7*o + t = 6 for o.
1
Let q be (1/(-4))/((-1)/1684). Suppose -423*r = -q*r - 4. Suppose 0*m - 16 = -2*m. Solve 5*w + r = -m for w.
-2
Let u be -1 - -6 - -2 - -1. Suppose 4*l = u*l + 28. Let y(m) = m**2 + 8*m + 9. Let z be y(l). Solve -z = p + 3 for p.
-5
Let n(j) be the third derivative of -j**4/8 + 13*j**3/2 - j**2. Let a be n(12). Solve 0 = -2*g - 1 - a for g.
-2
Suppose -4*i - 811 = 3*y, -487 = 5*i - y + 522. Let d be 1/(-5) + i/(-10). Solve -3*c + d = -7*c for c.
-5
Let k(c) = -2*c - 9 - 18 + 0*c. Let z be k(-18). Solve -2*p + z = p for p.
3
Let m = 709 + -705. Solve 0 = -m*o + 1 + 3 for o.
1
Let g be 4/(-3)*6/(-4). Suppose -15 = 3*z - 24. Suppose -2*x + 3*n - 2 - 1 = 0, 0 = 3*x + z*n - 3. Solve 0 = -g*s - x*s for s.
0
Let o = -902 - -910. Solve -7*s = 27 + o for s.
-5
Suppose -9 - 171 = -9*h. Solve -h*c + 7*c - 13 = 0 for c.
-1
Let x be ((-15)/(-30))/((-2)/(-36)). Solve -x*d + 4 = -5*d for d.
1
Let w be 0 + (-1)/((-2)/6). Let b be 70/25 + (64/20)/(-4). Solve 0 = 2*s - w*s + b for s.
2
Let h be (5 - 6)/(8/(-24)). Solve -h*s = 30 - 15 for s.
-5
Let o be (-184)/(-44) - 2/11. Let l(f) = 2*f**2 - 4*f. Suppose 3*q - 9 - 8 = 4*j, -5*j - 4 = 2*q. Let r be l(q). Solve 10 + r = o*x for x.
4
Let m(d) = d**3 - d**2 + 13*d - 25. Let a be m(2). Solve a*r = -25 - 0 for r.
-5
Let p(s) = 5*s**3 - 4*s**2 + 4*s - 1. Let t be p(1). Solve 2*z - 6*z = t for z.
-1
Let l be 4/(-30) - 107/(-15). Suppose 8*b - 9 = l. Solve 0 = -0*u - b*u for u.
0
Let w(v) = -9*v - 9*v + 62*v**2 + 46 - 63*v**2. Let q be w(-20). Solve -p + q*p = 0 for p.
0
Let k be (-17 - 0) + (-8)/2. Let a = k + 27. Suppose -2*l = i - a, 14 = -4*i + 3*l + 5. Solve 5*x + i*x - 10 = 0 for x.
2
Let y be ((-163)/23)/(-1) + 260/(-2990). Solve 31*f - 72 = y*f for f.
3
Suppose -9 = 4*k - 149. Suppose 5*w - c = k + 23, 2*w + c - 26 = 0. Solve 3*n + 0*n - w = 0 for n.
4
Suppose -3*x + 78 = 4*v, -5*x + 5 = 3*v - 48. Solve -w = 6*w + v for w.
-3
Suppose 0 = -2*w + 2*t - 4, w + 3*t = -2*t + 28. Solve -w*d = -14 + 2 for d.
4
Suppose -2*b + 3*b = 3. Suppose -b*z - 2*t = -16, -4*z + 5*z = 5*t - 6. Let q(f) = -2*f**3 - f**2 + 1. Let d be q(-1). Solve z*u = d*u for u.
0
Let c = -3 + 11. Let u(z) = z - 4. Let a be u(c). Solve r - a = -r for r.
2
Suppose -42*j - 342 = -51*j. Solve -14*c + 4 = -j for c.
3
Let q = 3 - 3. Let g = q - -8. Suppose g*a - 6*a = 4. Solve a = 4*i - 6 for i.
2
Let q be 36/(-6) - -4*(-12)/(-8). Solve q = -4*n - 20 + 20 for n.
0
Suppose -2*n + 48 = 3*g, 4*n - 3*n = 5*g - 2. Let q = -13 + n. Solve b - q = 2*b for b.
-5
Let b be (45/(-18))/((-2)/4). Suppose 6 = -2*k + b*k. Solve 0 = -2*l + 10 - k for l.
4
Suppose -2*r - 6 = -b, -3*b + 5*r - 2*r = -9. Solve b = -3*y + 9 - 0 for y.
3
Suppose -10*x - 112 = -352. Solve -3*t - x + 33 = 0 for t.
3
Let o(b) = 6*b**3 + 13 - 6*b**2 - 5*b**3 + 20*b - 8*b - 8*b**2. Let t be o(13). Solve t = -w + 2*w for w.
0
Suppose w + 0 = 7. Let g(x) be the second derivative of x**4/12 - x**3 - 2*x**2 - 20*x. Let j be g(w). Solve -j*r = 2*r + 15 for r.
-3
Let q(n) = -n**3 - 7*n - 5. Let s be q(-2). Suppose -2*g - 3*g = 4*d - 8, 2*g - s = 3*d. Solve 0 = g*m - 10 - 6 for m.
4
Let d(c) = 2*c**2 + 6*c - 2. Suppose 0 = -2*g - 4 - 4. Let i be d(g). Suppose -3*o - 5*v + i - 1 = 0, 4*o - 4 = -4*v. Solve o = 3*l - 8*l - 5 for l.
-1
Let z(v) = v**2 + 21*v + 29. Let b be z(-20). Let s = b - 4. Solve 0 = 5*a + 5 + s for a.
-2
Let g(o) = -2*o**2 - 16*o - 8. Let k be g(-7). Suppose -3*w + 0*w = -12. Solve -w*f - k = -6*f for f.
3
Suppose 4*s + 5*h - 13 = 13, -3*h + 2 = -s. Suppose 0 = 3*d - 2*x - 4, 3*d + 0 - 2 = s*x. Solve 3*u = d*u for u.
0
Suppose 51*v = 73*v - 418. Solve -21 + v = -z for z.
2
Let v(i) = -i**2 + 8*i + 36. Suppose -7*z + 99 = 2*z. Let j be v(z). Solve -2*l = j + 5 for l.
-4
Let f = -48 + 50. Suppose 32 = 2*n + 4*g, f*n - 3*g = -3*n + 28. Solve -d - n = d for d.
-4
Let a be 14/(49/7)*70/4. Solve 2*y - 29 = -a for y.
-3
Suppose 32 = 3*c - 25. Let k = c - 10. Suppose -3*b + k = -0*b. Solve b = 2*x - 3 for x.
3
Let k(w) = -w**2 + 2*w + 13. Let u be k(4). Suppose l = -u*l + 6. Solve -l + 4 = -3*f for f.
-1
Let q be (-476)/(-21)*(-9)/3. Let a = q + 71. Solve 0 = a*s + s for s.
0
Let j be (4/10)/((-10)/(-650))*1. Solve -j*g + 25*g = 1 for g.
-1
Let x(a) = 2*a**2 + 3*a + 4. Let b be x(-2). Solve b*m - 2*m - 20 = 0 for m.
5
Let v(y) = -y**3 - 4*y**2 + 4*y - 6. Let s(i) = -i**2 - 2*i + 3. Let j be s(2). Let b be v(j). Let m be (3/6)/(b/(-6)). Solve 0 = -m*x - x for x.
0
Let i(y) = y - 5. Suppose k = -5*l + 62, 2*l - 4*l + 3*k = -35. Let c be i(l). Solve u - 3 + c = 0 for u.
-5
Suppose -8*l - l - 108 = 0. Let t be 2/3 - l/126*-7. Solve t = -w - w - 4 for w.
-2
Suppose -2*n - 595 = 5*r, -n = -4*r - 0*r - 476. Let j be (-51)/r - (-8)/14. Solve 4 = -5*h - j for h.
-1
Let u(n) = -n**2 + 6*n - 5. Let i be u(2). Suppose -i*w = -2*w + 2, -2*l = 2*w - 4. Solve -3*q - l = q for q.
-1
Let l(z) = -z**2 - 6*z + 2. Let i(x) = 4*x - 14. Let m be i(2). Let t be l(m). Solve 4*f + 2 = -t for f.
-1
Suppose 144*v + v - 1450 = 0. Solve v = -z + 6 for z.
-4
Suppose f = 3, -3*f = 4*l - 8 - 1. Suppose l = -3*h + 2*k + 26, -3*h + 3*k - 2*k + 25 = 0. Let n(u) = 2*u - 7. Let y be n(h). Solve 4*z = z + y for z.
3
Let a = -8 + 11. Suppose 5*q + 3*h + 3 = 9, h = 3*q - 12. Let f be (-2 - q)/(-1) - a. Solve -m = -f*m for m.
0
Let q(c) be the third derivative of -c**6/120 - c**5/12 - c**4/12 + 3*c**3/2 + 34*c**2 - 2. Suppose -20 = -o + 6*o. Let m be q(o). Solve -1 = -u + m for u.
2
Suppose -w = -2*z - 35, 0*w - 92 = -4*w - 4*z. Suppose 0 = 5*y - 3*c - 17, 4*y - w = -5*c - 6. Solve y*s + 12 = s for s.
-4
Let t be (7/(-14))/(5 + -3)*0. Solve t = 4*y - 15*y - 5