- 7 = 4*o for g.
5
Let h be (-10)/6*3 - -2. Let k be -1 - -13 - (h - 1). Solve -4*u - r + k = 0, -3*r - 6 = 4*u - 22 for u.
4
Let s(f) = 8*f**2 - 8*f + 12. Let u be s(2). Let n(t) = 6*t - 166. Let q be n(u). Solve 25 = q*w + 4*d - d, 5*w - 30 = -d for w.
5
Let t be 15/3 - (1 + -6 - -2*1). Solve 3*b + 5 = 4*n, 2*n - 6*b + t = -8*b for n.
-1
Suppose -1460*h + 3*z = -1458*h - 6, 5*h - 37 = 2*z. Solve -3*f + 15 = -3*g + h, -2 = -f - g for f.
2
Let a(w) = w**3 + w**2. Let y be a(0). Suppose 4 = -4*c, y = g + g + 4*c + 4. Let h be ((-3 - -19)/2)/2. Solve 2*k - m - 1 - 7 = g, 16 = h*k - m for k.
4
Let m be (-4)/10 + 264/(-40). Let b be 0 - ((m - -4) + -3). Suppose -b = -5*q + j - 0, 5*j - 14 = 3*q. Solve -z = -3*i + 18, 4*i = 3*z - q*z + 23 for i.
5
Suppose -12*j + 9*j = -1086. Let g = j + -356. Solve 3*u = -c + g*c + 4, 0 = 3*c - 2*u + 2 for c.
-2
Suppose -5*b - 27 = -2*c, -2*b - 2*c = -0*c + 8. Let m be b/(-3) + (-9)/(-27). Solve -3*i + 5 = i - 3*a, -3*i - 9 = m*a for i.
-1
Let n(i) = -5*i**2 - 126*i - 27. Let x be n(-25). Let s be 5/15 - x*(-5)/(-15). Solve -3*y - s = -o + 3, -o = 2*y + 1 for o.
1
Suppose 2*z + 2*z + 2*k - 24 = 0, 5*k - 10 = 0. Solve -5*t = -5, 15*o - z*t = 10*o - 15 for o.
-2
Suppose 5*b - 3*r = 4*b - 670, -b + 2*r = 667. Let z = 666 + b. Solve 0 = 2*w - t + 2, -z*w - 9 = -6*w + 3*t for w.
-3
Let c be -120 - -109 - (-17 + -1). Solve 24*q = 19*q - 2*s - 17, 0 = 3*q + 2*s + c for q.
-5
Let i(u) = -85*u**3 - 84*u**2 - 11*u - 12. Let y be i(-1). Solve -3*r - m = 0, y = 3*r - 3*m - 27 + 39 for r.
-1
Let g(t) = -2*t**3 + 19*t**2 - 2*t + 8. Let w be g(9). Let o = -71 + w. Suppose o*k - 4 = 4*f + 4*k, 2*k = -4. Solve -h - f = 2, 5*r - 24 = 3*h for r.
3
Let l = -24 + 28. Let s be 148/2 - (-2 - l/(-4)). Let a be s/27 + (-2)/(-9). Solve -a*y = 2*w - 0*w + 6, 0 = 5*y - 3*w + 10 for y.
-2
Suppose -31*x = -34*x + 11 - 5. Solve -x*w - 6 = -44*r + 45*r, w + 5 = 0 for r.
4
Suppose 4*a - 4*c = 12, 5*a + 5*c = 17 - 22. Solve -a = 2*o - 4*n + 1, -n + 2 = -o for o.
-3
Suppose -j + 3*o + 38 = 4*j, -3*j - 5*o = 18. Solve -3*m = -3*q + 21, -j - 1 = -3*q - 5*m for q.
5
Let l be (-2)/(((-1)/(-7))/((-42)/147)). Suppose 20 = 5*g, 3*g - 12 = -2*a + l. Solve -a*k - 3 = -5*f, 2*k = 2*f + 6*k - 6 for f.
1
Suppose 208*d - 306*d - 231*d = -987. Solve -o - 2*j = -3, 2*o = d*j - 6*j + 7 for o.
5
Suppose 2*n - s = 7*s - 44, -5*n = -2*s + 2. Solve -2*b + 4*o - 3 = -7*b, -3*o = n*b - 4 for b.
-1
Suppose 0 = -7*j - 4*j + 11. Let m be (6 - j)*(-3 - -7 - -3). Solve 4*o + m = 3*k, -2*o - k = k for o.
-5
Suppose 4*l - 24 = -u, 77*l = u + 76*l + 6. Solve g - 20 = 4*y, -35*g + 32*g - 3*y = u for g.
4
Suppose 110*i = 117*i - 105. Let s(v) = -4*v**2 + 58*v + 34. Let z be s(i). Solve 10 = 2*r, 0*n + z*n - 17 = -r for n.
3
Let b(t) = t + 15. Let n be b(-7). Let z = n + 0. Suppose z*j - 37 = -5. Solve 3*y - 6*s - 4 = -j*s, -4*s = -4*y for y.
4
Let b(d) = 4*d**2 + 26*d - 9. Let g be 42/15*(-10)/4. Let i be b(g). Solve -h = -i, 3*k + h + 3*h - 23 = 0 for k.
1
Suppose -5*k + 25 = 0, 6*z = 2*z - 3*k + 23. Solve -z*g - 5*y = -3*y + 2, -4*g = y + 16 for g.
-5
Let t be (-9)/(-9)*68 - -8. Suppose -43*i + 10 = -t. Solve 3 = w - 4*x, -2*w = 4*x - i*x - 6 for w.
3
Let h be (-7486)/(-494) + (-2)/13. Solve -m = -2*u - 3, 0 = 3*u + 39*m - 37*m + h for u.
-3
Let y be ((-5 - -4) + (-8)/(-5))/((-61)/(-305)). Solve 4*o + 7*i - 8*i - 20 = 0, -3*o + 15 = -y*i for o.
5
Let u(g) = 784*g - 18029. Let d be u(23). Suppose n = -2*n + 9. Solve n*x = -z + 3, 2*z = z - d for x.
2
Let r(h) = -h**2 - 9*h - 15. Let j = -6 + 6. Suppose -9*v - 10 - 17 = j. Let k be r(v). Solve -k*c + 12 = -5*u, 0*u + 20 = -5*u + 5*c for u.
0
Let o(b) = -75*b + 1594. Let w be o(21). Solve 5*d - w = -13*g + 10*g, 4*g + d - 31 = 0 for g.
8
Suppose 3*d - 161 = 4*r - 178, -4*r + 4*d + 20 = 0. Let h(q) = 13*q - 1. Let f be h(1). Solve f = -4*b + 2*w, r*w + 17 + 1 = -2*b for b.
-5
Let h be (-4)/(-12) + 42/9. Suppose a + 10 - 20 = 0. Suppose 14*g = a*g. Solve -h*q + 15 = -2*m, 0 = -g*m + 5*m - 25 for q.
5
Let t = 225 - 217. Suppose 43 - 3 = t*g. Solve 0*m = g*m + 20, -4*f = -2*m for f.
-2
Suppose 4*o + 27*o + 17*o - 144 = 0. Solve -o*s + 6 = -k + 16, 4*k = 16 for s.
-2
Let d(q) = -q + 41. Let v be d(12). Suppose 167 = v*l + 51. Solve -2*j + 22 = 4*b, -l*j + 2*b + 1 = -13 for j.
5
Let t be (-16)/(-224)*7*0. Solve 3*g - 4*b + 16 = -t*b, -3*g - b - 11 = 0 for g.
-4
Suppose 133*l - 36 - 471 = -108. Solve 0 = 5*z - 3*y - 20, l + 3 = z - y for z.
1
Let x(o) = -2*o**3 + 17*o**2 - 12*o + 43. Let n be x(8). Solve f + n = 3*r, f - r = 6*f - 9 for f.
1
Let w be 0 + (-11)/(-4) + 7/28. Suppose -w = l + d, -l + 1 - 13 = 4*d. Solve 4 = 4*c, l*h = h - 4*c + 2 for h.
2
Suppose -22*g - 2324 + 2390 = 0. Solve c + 11 = g*y, -4*c + 3 + 3 = -2*y for y.
5
Suppose 4*t + 14 = 11*t. Let i be t + (-4)/((-4)/3). Solve -2*f + 5 = -l, f + i = 4*f - 4*l for f.
3
Let l(v) be the second derivative of v**5/20 + v**4/12 - 8*v**3/3 - 13*v**2 + 68*v + 2. Let f be l(-3). Solve 0 = 2*p + 5*a + 2, -f*p = -5*a + 4 - 0 for p.
-1
Suppose -z - z + 4 = 0. Let x(y) = -y**3 - 13*y**2 - y + 16. Let n be x(-13). Suppose 29 = w + n. Solve 0*t - 3*t - 4*l = 3, w = t + z*l - 1 for t.
-5
Suppose 5*n - 48 = -3*w, 27*w - 26*w = 2*n - 6. Solve -4*t = 4*x, 6 = -x - 4*t - w for x.
4
Let d(q) = 4*q**3 + q**2 - 23*q + 37. Let w be d(2). Solve -5*v + 23 = 2*u, -29*v - 2*u - w = -34*v for v.
5
Suppose 2*c - 6*c - 64 = 0. Let t be (-10)/(-15)*(-1 - c). Suppose 3*b + 4*f + 13 = 0, 4 = -7*b + 5*b - 2*f. Solve n - 2*n = -b*s + 17, -s = 2*n - t for s.
4
Let a = 55 - 115. Let w = -57 - a. Solve 2*m + 2 = 0, -u + 0*m = w*m + 2 for u.
1
Suppose -4*y = 2*h - 14, -3*h + 21 = 4*y + 6. Solve q = 5*l - 2, 6*q - q = -y*l + 18 for l.
1
Let a be (2/10)/(24 + 6706/(-280)). Solve 0 = 2*v + 8 - 12, -a = -5*h + 3*v for h.
2
Let q be (-1 + 15/9)*(2 - -4). Suppose 15*c = q*v + 17*c - 38, -v + 17 = 2*c. Solve 2*i = 3*l + 8, 16 = 2*l + v*i - 3*i for l.
0
Let b be ((-448)/21)/4*(-303)/2. Let o = b - 803. Solve o*m + 5*g - 20 = 0, -5*m - g + 6*g = -30 for m.
5
Let b be (-4)/(-26) + 552/299. Suppose b*j - 30 = -26. Solve 7 = -3*t + 5*n + j, -2*n = -3*t - 11 for t.
-5
Let z(g) = 15 + g**2 + 183 + 47*g - 62. Let s be z(-44). Solve 3*u + 12 = -s*f + u, 4*u = 5*f + 2 for f.
-2
Suppose 0 = -d - d + 38. Let g(c) = 32*c - 121*c - 2*c**2 + 0 + 73*c + 5. Let n be g(-8). Solve -n*k - 5 = -z + d, -3*z = 5*k + 8 for k.
-4
Let v(m) = 2*m**2 - 55*m - 24. Let q be v(28). Suppose -4*d - 5 + 13 = q*o, 4*d = 2*o + 8. Solve -3*u = -2*c + 9, o*u - 2*c + 12 = -4*u for u.
-3
Let y = 6 + -5. Let u be (6 - -64)/((-125)/(-25))*(-1)/(-7). Solve -u*l + l = b - y, 4*l - 18 = 3*b for l.
3
Let g = 314 - 311. Solve 4*l + 3 = -5*v + 2, v - 2 = -g*l for v.
-1
Let a(b) = b + 12. Let c be a(-10). Suppose 4*k - 3*k = -4. Let y be 3 - (-6)/(-2) - k. Solve 0 = -y*f + d - 19, 14 = -2*f - 2*d - c*d for f.
-5
Let x = -175 - -712. Suppose -532*n + x*n - 20 = 0. Solve 0 = n*d - 3*m - 17 - 1, 2*m - 2 = -2*d for d.
3
Suppose -2*f - 3*s = -11, 2076*f + 3 = 2077*f - s. Solve 20 = f*k - k + o, 10 = 5*k - 3*o for k.
5
Let a = -262 + 267. Suppose -a*m = t, 6*m = 3*m + t. Solve 2*z - 5*i - 22 = 0, 3*i + m = -12 for z.
1
Suppose -3*b + r - 18 = 0, -5*b - 22 = -4*r + 8. Let y(n) = -11*n - 50. Let z be y(b). Solve 3*s = -2*l - z, -4*l + 5*s - 2 = 8 for l.
-5
Let f be 286/(-66)*(-36)/78. Solve -5*l = -2*m, -51*m - 14 = -f*l - 53*m for l.
2
Suppose -36 = -4*c - 4*s, -6*s = -2*c - s - 24. Solve 0 = -5*b + 5*o, 2*b - c - 5 = 4*o for b.
-4
Suppose -3029 = -202*f - 31*f. Solve 0 = -4*h - 5*r + 3, h + 2 + f = 4*r for h.
-3
Let x be -3 + 41 + 2 + 3. Let a = 45 - x. Let h(f) = -f**3 + 13*f**2 - 10*f - 1. Let j be h(12). Solve 15 = a*z - 3*y, 3*z - 3*y - j + 5 = 0 for z.
3
Suppose 5*g - 20 = 25. Suppose -g = -3*p, -2*b + 3 - 4 = -3*p. Solve -4*s = -n - b*n + 8, 2*s - 5*n = -14 for s.
3
Suppose -25*r = -24*r + 400. Let m be (-21)/6*r/175. Solve -4*o + p + m = 0, -4*o + 3*p = 3 - 19 for o.
1
Suppose -3*r = -12, 0 = 3*k - 5*k - 2*r + 8. Solve o + 4 = -x, k = -2*x + 54 - 58 for o.
-2
Let w(d) be the first derivative of -d**4/4 - 4*d**3/3 + d**2/2 + 6*d + 178. Let b be w(-4). Solve 2*z + b*l + l - 9 = 0, z + 23 = 4*l for z.
-3
Let p(o) = o. Suppose c - 6*c = -25. Suppose 0*d = -d + 3*k +