i for i.
2
Suppose -4*g + 58 = 10. Solve -4*d = -8*d + g for d.
3
Let c(p) = 2*p**3 + 4*p**2 - 2*p - 2. Let b be c(-2). Solve 4*l - 10 = -b for l.
2
Let s be 2 + (-5 + 2 - -1). Let n(r) be the second derivative of -r**4/12 + 7*r**3/6 + r**2 + 2*r. Let v be n(5). Solve s = 3*u - v - 3 for u.
5
Suppose -4*w - 2*o = 42, w - 2*w + 2*o = 13. Let f = w - -13. Suppose f*y - 3 = -11, 2*a = 3*y + 16. Solve a*z - 3 = z for z.
3
Let k(g) = -12*g - 22. Let i be k(-2). Let r(c) = c**3 + 3*c**2 - 5*c. Let a = -3 - 1. Let q be r(a). Solve i*o + q = -2*o for o.
-1
Let l(p) = 7*p**2 - 159*p - 38. Let d be l(23). Solve -18*v + 130 = d*v for v.
5
Let o(h) = -h**3 + 4*h**2 + 66*h + 40. Let r be o(-6). Suppose -3*s + 2 = -2*g + 8, 0 = 3*s + 3*g - 9. Solve s = 3*l + 8 + r for l.
-4
Suppose 3*i = 44 - 14. Suppose 3*u = 2 + i, -4*t = -2*u - 8. Suppose -5*y + t*c + 18 = 0, -2*y + c - 5*c - 4 = 0. Solve -10 = -y*b - 2 for b.
4
Let b(g) = g**3 + 12*g**2 - 12*g + 13. Let h be b(-13). Solve h = -t - 6 + 2 for t.
-4
Let x be 0*-2*2/(-8). Suppose x*l = -4*l + 12. Let h be (0/l)/(0 - 1). Solve -2*d - 10 = -h*d for d.
-5
Let a be (-1 + 3)/(1/2). Let y be 12*3/12 + 0. Solve y*n + a = n for n.
-2
Let m(n) be the third derivative of n**6/120 - n**5/6 + 3*n**4/8 + 5*n**3/6 + 2*n**2. Let y be m(9). Solve -2*a + y*a = 0 for a.
0
Suppose 2*n - v = 244, -2*n - 7*v = -3*v - 224. Solve -n*s + 122*s - 6 = 0 for s.
3
Suppose 5*q = 4*j - 21, 3*q = -4*j + 6*q + 19. Suppose j*f - f = 18. Suppose -5*m - 10 = -f*m. Solve 6*b = b - m for b.
-2
Let h(b) = -b**2 - 25*b + 62. Let f be h(-27). Solve 4*d + f = -0*d for d.
-2
Let o be 4/(-4) - (0 - -1). Let r = o + 2. Let d be (r + -2)/((-3)/18). Solve -2*a + d = -5*a for a.
-4
Let o be (2/(-4))/(1/(-6)). Suppose 3*b + o = 3. Solve b = -3*w + 6 + 6 for w.
4
Let n = 716 + -700. Solve -n = -2*g - 16 for g.
0
Suppose 0 = 15*z + 5*z. Solve 0 = -z*t + 4*t + 12 for t.
-3
Let w = 1 - -6. Suppose 0 = -2*y + 4*b + 12, -2*b + 25 = 5*y - w*b. Suppose 41 = y*j - 39. Solve 4*p = -4 + j for p.
4
Let b = -125 + 132. Solve -b*a = -a - 6 for a.
1
Let k(a) = 5*a**2 - 2*a + 2. Let y be (-21)/(-12) - 9/12. Let b be k(y). Suppose 2*n = o + 4*n - 9, b*o - 4*n = -11. Solve -2 = -u + o for u.
3
Let h = -31 - -31. Solve 4*c - 34 + 26 = h for c.
2
Let m be (-2)/(-8) + 87/(-12). Let q = m + 17. Let c be (4/(-5))/((-2)/q). Solve 0 = -c*h - h for h.
0
Suppose -5*q - 32 = 4*c, -4*q = c - 2*c + 13. Let a(s) be the third derivative of -s**4/24 - s**3/3 + 13*s**2. Let m be a(q). Solve -12 = -n - m*n for n.
4
Suppose 5*p - 25 = 45. Suppose 4*c - p = 2. Suppose 4*o - 32 = -7*l + 4*l, 24 = 3*o + l. Solve 0 = 2*x - c*x - o for x.
-4
Let a(i) be the third derivative of i**6/120 + 3*i**5/20 + 7*i**4/24 + i**3/3 + 12*i**2. Let y be a(-8). Solve g - 3*g = y for g.
-5
Let x(j) = -8*j - 14. Let m(r) = -r. Let y(g) = 6*m(g) - x(g). Let h be y(-5). Suppose -h*k - 8 = -12*k. Solve -k + 21 = -4*l for l.
-5
Let t = 296 + -115. Let l = t + -172. Solve l + 6 = 5*a for a.
3
Let w(b) = b**2 - 66*b - 299. Let f be w(-5). Solve 62*s - 24 = f*s for s.
4
Let i(h) = 0*h**2 + 3 + h**2 - 2*h**2 + 2*h**2. Let j be i(-3). Let s = j - 10. Solve 0 = -s*y - 2*y + 8 for y.
2
Suppose 11*p - 33 = 22. Solve 0 = -p*t + 26 - 1 for t.
5
Let j(i) = -2*i**2 - i + 42. Let x(l) = l**2 - 21. Let a(o) = 2*j(o) + 5*x(o). Let p be a(-4). Solve 4 = -p*h + 1 for h.
-1
Suppose 4*p - 5*x + 12 = 0, 18 = -0*p + p + 4*x. Suppose p*j - 10 = -3*n - n, n = -j. Solve n*u = u for u.
0
Let i(r) = -r**2 - 12*r + 50. Let d be i(-15). Solve d*w = 8*w - 9 for w.
3
Let i = -22 + 46. Solve -5*k = k + i for k.
-4
Let y(a) = -a**2 + 16*a - 8. Let n be y(14). Let f = 22 - n. Suppose -h + f = -3. Solve 3*j + h = 2*j for j.
-5
Let p = -123 - -129. Suppose -2*h + 4 = -p. Solve -m - 20 = -h*m for m.
5
Let a(t) = t**2 + 31*t + 92. Let f be a(-3). Solve 0 = -5*z - f - 7 for z.
-3
Let c = -67 + 152. Suppose 3*v = 3*j - 72, -5*j + 4*v + 30 = -c. Suppose 2*h = -8, 10*r - 5*r - j = h. Solve -n + r = 1 for n.
2
Suppose -6*n = 5*n + 44. Let u = n - -6. Solve u*y = -y - 6 for y.
-2
Let r be 22/6 + 40/30. Solve 0*w - 25 = r*w for w.
-5
Suppose 0 = -575*k + 578*k - 132. Solve -5*n = -k + 29 for n.
3
Let z = -428 + 437. Suppose 14 = -0*a + 3*a - 5*f, 0 = -3*a + 2*f + 11. Solve a*q = -3 - z for q.
-4
Suppose 0 = -4*v + 5*a + 27, -4*v + 18 = -7*a + 5*a. Solve -g + 1 = v for g.
-2
Let b = 57 + -52. Let w be (b + -6)/(3/(-9)). Solve w*m - 7 - 5 = 0 for m.
4
Let g be ((-32)/(-280)*-5)/((-4)/98). Solve g*t - 12*t = -10 for t.
-5
Suppose -6*t = -27*t + 273. Solve 20*a - t = 27 for a.
2
Suppose -6*u + 26 - 2 = 0. Solve -u*m = -5*m + 5 for m.
5
Let x(p) = -2*p - 5. Let k be x(-6). Suppose -642 + 100 = -5*v - w, -3*w - 534 = -5*v. Let f = 110 - v. Solve f*r + 20 = k*r for r.
4
Let u = -11 - 101. Let f be (-1)/(-5) - u/40. Suppose l = f*r - 0*r - 20, -l - 30 = -5*r. Solve 3 - 13 = -r*s for s.
2
Let o be 16/56 + (-26)/(-7). Let r be 0 - 0*(-1)/o. Suppose 4*d = 2*d. Solve r*g + g = d for g.
0
Suppose -2*h - 6 = -q, -4 = 5*q - h + 2. Let v(n) = 3*n + 7. Let f be v(q). Solve f = 3*l + 4 for l.
-1
Let t(z) = -2*z + 74. Let p be t(35). Solve -p*f + 1 = 9 for f.
-2
Let r = 14 + -9. Solve 7*g = r*g + 2 for g.
1
Let i(r) = -2*r + 3. Let z(t) = t - 3. Let m(b) = -2*i(b) - 3*z(b). Let o be m(0). Solve 0 = o*a - 2*a for a.
0
Let v be (-225)/(-20) + 1 + 3/4. Suppose 0 = 4*a + a - 45. Let q = v - a. Solve 0 = q*b - b + 9 for b.
-3
Suppose -15*b + 75 = -10*b. Let f be -1 + (-5)/(-3) + (-10)/b. Solve f = -3*o - o + 16 for o.
4
Let r = 9 - 20. Let n = -7 - r. Solve 1 = -n*c - 7 for c.
-2
Let s = -20 + 26. Let b(n) = -n + 6. Let o be b(s). Solve o = 4*i - 4 - 12 for i.
4
Suppose -32 + 5 = 3*s. Let w = s + 9. Solve 4*y - 1 - 15 = w for y.
4
Suppose 4*y + 28 = -n + 9, 3*n + 2 = -y. Let a be (3 - -1) + (3 - n). Solve 0 = g - 3*g + a for g.
3
Let i(x) = -3*x**2 + 41*x. Let u be i(13). Solve -u - 10 = -18*c for c.
2
Let u = 23 + -27. Let i be (-4 - u)/(2/(-1)). Solve i*f - f = -5 for f.
5
Let a(d) = -d**3 - 7*d**2 - 6*d - 3. Let n be a(-7). Let y = n - 35. Solve -q - 12 = -y*q for q.
4
Let f = -1294 - -1329. Solve -7*y = -0*y - f for y.
5
Let q(b) = -b**3 + 9*b**2 + 24*b - 8. Let w be q(11). Suppose -2*z - 8 = -w. Solve -z*v - 1 = -7 for v.
2
Suppose 11*z + 20 = 13*z. Suppose z*m + 10 = 11*m. Solve -2 + m = -2*o for o.
-4
Let t be -2 + 5 - (-3)/(-3). Let n(k) = k**3 - 11*k**2 - 28*k + 29. Let v be n(13). Solve t = -v*x - 1 for x.
-1
Let p be 2/(-7) + 164/(-14). Let q = -12 - p. Solve q = -w - 1 - 2 for w.
-3
Let t(j) = 3*j**2 - 69*j + 28. Let f be t(23). Solve -11*s = f + 5 for s.
-3
Suppose 5*j = -2*u + j + 2, 2*u - j = 7. Solve 5*v - 2*v + u = 0 for v.
-1
Let z be (-8)/(-12)*(4 + -1). Solve -z*i = -11*i - 27 for i.
-3
Let n(c) = 3*c + 3. Let k be n(-5). Let i(q) = q + 4. Let l be i(k). Let j = l + 13. Solve -j*h + 12 = -8 for h.
4
Let s be (1/(-1) - -6) + 3. Suppose -3*a - 2 = -s. Solve 10 = 4*b - a*b for b.
5
Let r = -20 - -23. Let s(y) = 3 - 3*y - 2*y**2 - 1 + 3*y**2 + r. Let f be s(2). Solve k = -f - 2 for k.
-5
Let f = -740 + 740. Suppose -4*t + 19 - 3 = 0. Solve f = t*g + g + 20 for g.
-4
Let c(a) = a**2 + a + 10. Let s be c(4). Solve -s = -6*q - 0*q for q.
5
Suppose -2*n = -5*t + 349, 4*t - n - 167 = 111. Solve 8*q = -t + 85 for q.
2
Let r be (-3 - -3) + (-7 - -3). Let g be (-3)/r - (-456)/32. Let c = -6 + 10. Solve -m = c*m - g for m.
3
Let n = 378 + -378. Solve n = -f + 16 - 11 for f.
5
Let c(f) = -2*f**3 - f**2 + 3*f. Let h be c(2). Let v be (-4)/h - (-78)/21. Solve -w + v = w for w.
2
Let v(i) = i + 1. Let m(r) = -3*r - 19. Let l(a) = -m(a) - v(a). Let o be l(-8). Solve 12 = o*q + 2 for q.
5
Let b(v) = -v**3 + 28*v**2 - 25*v - 48. Let z be b(27). Solve 0 = -z*n + n + 25 for n.
5
Let j(s) = -s + 26. Let i be j(15). Suppose -i*p = -10*p - 3. Suppose 5*q - 8 = p*q. Solve -q*r = -3*r - 2 for r.
2
Suppose -k - 2*b + 4 = 9, -b - 16 = -4*k. Solve 6*w - 7*w = -k for w.
3
Suppose 16*z = 61 + 67. Solve -z - 12 = -4*h for h.
5
Let k(x) = 17*x - 1. Let f be k(-1). Let w be (-1)/6 - (-159)/f. Let v(q) = q**2 + 8*q - 7. Let g be v(w). Solve g*y - 4 = -0*y for y.
2
Suppose 2*m = 5*q - 81 + 15, 5*q - 43 = m. Let l = -18 - m. Solve 0 = l*d + 15 + 10 for d.
-5
Suppose 5*u + 2*h - 4*h - 53 = 0, 0 = 