 d + 5*o - 10, -4*o - 2 = -m*d - 10 for d.
0
Let f(i) = -2*i**2 + i. Let w be f(1). Let u be 13*w + 3 + -4. Let c = u - -23. Solve -g - 2*g = -c, -5*g + 15 = -2*m for m.
0
Suppose -103 = -5*i - 3*o, -4*i = -6*i + 5*o + 35. Solve 4*g = -i, -4 = 2*k + k - g for k.
-3
Let l = -21 + 73. Let d = l + -51. Solve d = w + 3*o - 8, 15 = 3*w + 5*o for w.
0
Let s be 1/3 - (-240)/(-45). Let z be (1 - 6)*44/s. Let y = z - 24. Solve 5*f = -5*i - y, 0 = -5*f - 2*i - 8 for f.
0
Let g(v) = 2*v**2 + 18*v + 18. Let s be g(-8). Suppose -x + 7*d - 2*d = 24, -2*d + 10 = 0. Solve -15 = -3*u + 2*b + x, 4*b = -s*u - 16 for u.
2
Let j = 3069 + -3064. Suppose 5*d + 0*h + 2*h - 5 = 0, 0 = -4*d + 2*h + 22. Suppose p = d*p. Solve 3*v + 0*v - 4*w = -1, -j*v + w - 13 = p for v.
-3
Let g be -4 + 1 + 2 - -5. Suppose -g*z = -33 + 9. Solve 5*r + z = 3*c, 5*r - 4 = -3*c + 2 for r.
0
Let y(f) = -f**3 + 2*f**2 + 11*f - 10. Let l be y(-3). Solve 2*w - 5*w + 7 = -4*g, -l*g - 2 = 0 for w.
1
Let d(f) = 7*f**2 - 34*f + 32. Let w be d(1). Solve -3*t + 2*h + 25 = 0, 13*t - 45 = 9*t + w*h for t.
5
Let d be 22*(520/(-44) + 12). Solve 2*c + 0*c = d*a - 4, -4*c + a - 1 = 0 for c.
0
Let g = 4 - 33. Let f = -26 - g. Solve 5 = -5*k + 5*u, f*u = -3*k + 2*u + 13 for k.
3
Let j = -148 + 152. Solve -4*i + 3*h + j = -4, 4*i - 8 = h for i.
2
Let r be (-4)/(-10) + 26/10. Let x = -138 - -140. Suppose 5*f + 10 = 0, x*w + 2*f - 4 = -0. Solve v - w*z - 5 = -2, 0 = -r*z - 3 for v.
-1
Let l(r) = 2*r**3 + 19*r**2 - 17*r - 1. Let a be l(1). Solve 4*p + a*d - 40 = -p, p = -3*d + 20 for p.
5
Let q be (-260)/(-39)*((-2)/4 + -1). Let z be 2/q + (62/10 - 3). Solve 3*g + 0 - 6 = 3*t, z*g = -2*t + 16 for g.
4
Let q(x) = 2*x**2 + 50*x - 50. Let w be q(1). Solve -15 = -2*b - b - w*y, b = 5*y + 5 for b.
5
Suppose -4*j = -4*c, 7*c - 30 = -2*j + 3*c. Solve i + 2*f = -0*i + 5, -j*i - 50 = -5*f for i.
-5
Let x = -1 - -2. Let a be -1*(0 + x)*0 - -23. Solve -m = 5*i - 4*m + a, -4*m = -4 for i.
-4
Suppose -4*y - 2*f + 12 = 0, -4*y + 2*f = 3*f - 8. Let d be y*15*(-2)/(-6). Solve -2*m + 7*m + 19 = -2*p, -4*p + 7 = -d*m for m.
-3
Let a(u) = -u**2 - 4*u - 3. Let q(s) = -2*s + 4. Let m be q(5). Let l = -9 - m. Let t be a(l). Solve t = -3*d + 6, 3*j - d = d - 13 for j.
-3
Suppose 5*d - 11 = 4. Suppose -2*x + 15 = x. Let i(l) = -l**2 + 6*l - 1. Let n be i(x). Solve -22 = -d*g - 2*r, -3*g + 17 = n*r - 3*r for g.
4
Let z(l) = -l**2 + 5*l + 8. Suppose -p - 2*p = -24. Let m be -2 + 7/(7/p). Let r be z(m). Solve 3*c + 10 = r*c - 2*g, -3*c + 5*g + 14 = 0 for c.
-2
Let j(r) = -r**3 + 7*r**2 - 6*r + 6. Let u be j(6). Let d be 2 - (1 - -18 - 2). Let s be (-57)/d + (-3)/(-15). Solve 5*p = -3*t + 2*p - u, -s*t - 14 = p for t.
-4
Suppose -20*y - 84 = -424. Solve -o = 3*j + 6, 2*o + y = -5*j - 2*o for j.
-1
Let f = 6 - 4. Suppose 11*d + 138 = 28. Let o be 45/d*(-4)/6. Solve n + 12 = -o*p, -12 = 3*p - f*n - n for p.
-4
Suppose -7*t - 280 = -2*t. Let n = 59 + t. Solve 3*f + 10 = w - 2, 3*f + n = -2*w for w.
3
Suppose -w + 6*w = 3*s + 23, 15 = 4*w + s. Solve -2*m + 6 = -4*p, -8*p + 7*p = -w*m + 5 for m.
1
Let v(n) = 4*n**3 + 2*n**2 - 3*n + 2. Let k be v(1). Solve 5*p + 9 = -3*u, k*p = 3*u - 24 + 3 for u.
2
Let g be 1*(8 - -1 - 7). Solve 5*n + 0*n - 5 = -5*x, x - g*n + 11 = 0 for x.
-3
Suppose -2*o + 2 + 8 = 4*g, 2*o = g + 20. Suppose -7*m + 4*m + o = 0. Solve -h - v = 3*v + 5, -2*h + 5*v + m = 0 for h.
-1
Let t(j) = -4 + 5 + 2*j - 4*j. Let r be t(-1). Let q be 351/(-65) + 2/5 + 16. Solve 3*f - k = -r*k - q, f = -k - 3 for f.
-5
Suppose -4*h + 96 = -40. Let n = 40 - h. Let x = 11 + -6. Solve n*q - 17 = -4*t + 3*q, -22 = -x*t - 3*q for t.
5
Suppose 2*m + 0*m = 0, 4*m = -2*w. Let t be (w + 12/16)*40. Suppose 4*z - t = -z. Solve 6 = -3*a - 0*a, 2*x - 5*a = z for x.
-2
Let g be (4 + 52/(-6))/((-4)/24). Solve 5*l + 24 - 14 = -s, l + g = 5*s for l.
-3
Let h = 27 + 11. Let y = h - 39. Let z be 36/8 + y/2. Solve u + 2*u = 3*w, -z*w = -3*u for u.
0
Let d(n) be the second derivative of 15/2*n**2 + 6*n + 1/12*n**4 + 0 - 2*n**3. Let t be d(11). Solve -3*u - 2*u = 5*h + 20, t*h - 4 = 0 for u.
-5
Suppose -28 = -j + 17. Solve -5*l + j = -5*z - 0*z, -2*l = z - 3 for z.
-5
Let u(p) = -p**3 + 11*p**2. Let t be u(11). Suppose 2*j = -o + 15, t*o - 10 = o - 3*j. Solve 0 = -4*l - 5*g + o, 1 = 4*l - g + 2 for l.
0
Suppose -5*h - a + 0*a = -21, -4*h - 5*a = -21. Suppose 4 = 2*p - h. Solve 3*v = m, 0 = 3*m + p*v - 0*v + 13 for m.
-3
Suppose 0 = -v - g - 3, -5*v + v = -2*g - 18. Let r(a) = -a**2 - 4*a + 2. Suppose -7*f = -6*f + 3. Let w be r(f). Solve d + w - 2 = -3*l, v*d + 6 = -2*l for l.
0
Let p be (-21)/((-56)/8)*7. Solve -5*c + 6 = 2*h, -p + 3 = 5*h - 4*c for h.
-2
Let x = 26 + -12. Let z = -12 + x. Suppose 0 = -z*l + 5*l. Solve -5*c - 6 = 2*n + 13, -3*n - 5*c - 16 = l for n.
3
Suppose -10*k = -20*k + 30. Solve -4*z - k*h - 1 = -5*z, -6 = 3*h for z.
-5
Let n be 2*((2 - 4) + 4). Suppose -n*s + s = -9. Solve s*h - 14 = -5*l, -l + 5*h - 16 = -2*l for l.
1
Let z(o) = o**3 + 8*o**2 - 11*o - 19. Let a be z(-8). Let q = a + -68. Solve 4*t = -2*y + 2, 2*t - 2*y + 1 = -q for t.
0
Let s(w) = 6*w - 7. Let v(l) = -7*l + 8. Let z(p) = 4*s(p) + 3*v(p). Let u be z(2). Solve n - u*n = g, -2*n + 3*g - 10 = 0 for n.
-2
Let q be 4 - -6*6/(-9). Suppose q*y = 5*y - 25. Solve 0 = 2*o + 4*r, 5*o + y*r = -13 + 3 for o.
-4
Let k be (-14)/(-1) + (-1)/1. Suppose 3*b + 0*b + 30 = 0. Let a be (-2)/b + 90/50. Solve -3*m - 3*g - 3 + 0 = 0, 0 = -a*m + 3*g + k for m.
2
Let l = -361 - -377. Solve 0 = 4*t - a - a - l, -7 = -t - a for t.
5
Let k(y) = -6*y**3 + 2*y**2 + 7*y + 4. Let n be k(-1). Solve -n*o - 3 = -5*t - 28, o + 15 = -3*t for t.
-5
Suppose 0 = -71*y + 159 - 17. Solve -4 - y = -n - o, -n - 2 = -3*o for n.
4
Let m = -32 - -37. Suppose -x + 5*x + 3*n + 4 = 0, 4*n = -m*x - 6. Solve -2*b - 2*b - 2 = 3*j, -b + 5 = -x*j for b.
1
Let b be 3/(6/(-1)) - (-102)/12. Suppose 126*i = 130*i - b. Let w(l) = l**2 + 5*l + 3. Let p be w(-5). Solve -p*v + 2*x = -v + 2, -2*v + i = 2*x for v.
0
Let b = 7 - 2. Let o be ((-4)/16)/(15/(-60)). Let j(f) = f - 1. Let m be j(6). Solve -2*c + o = g, -c = 4*g + m + b for g.
-3
Suppose -174*z = -197*z + 69. Solve -z*n + 2*n = 4*u - 4, -16 = -4*n - 2*u for n.
4
Suppose -12*y + 42*y = 60. Solve 5*u = 2*f + 6, 0*u + 3*u - y*f - 6 = 0 for u.
0
Suppose 0 = -2*h + 7*h. Let r = -12481 + 12484. Solve -2*g + 10 = -r*q, h = -2*q - 5*g + 1 + 5 for q.
-2
Let m(c) = -c**2 - 11*c - 25. Let o be m(-5). Solve -2*s = 3*p + o + 14, s = -p - 7 for s.
-2
Suppose -a + 6 = -11. Solve g + 3*g - a = -b, -23 = -g - 4*b for g.
3
Let v be 4*((-15)/4 + 24/6). Let p(g) = 9*g**2 + 2*g - 3. Let u be p(v). Solve -5*i - 20 = -5*n, -5*i = -3*n + 12 + u for i.
-4
Let l be (20/12)/((-7)/(-21)). Solve -2*r - 8 - 4 = -x, 0 = 2*x + l*r + 21 for x.
2
Let w be (-88)/(-10) + (-3)/(-15). Suppose 0 = -y + 4*y - w. Suppose j = -y*t + 2, -j = -4*j + 2*t + 6. Solve -2*o - 2*h - 12 = -j, -5*o = -4*h - 11 for o.
-1
Let z be (-13)/(-2) - 11/22. Suppose -z = -t + 3*i, -5*t + 0*i + 2*i + 17 = 0. Let p be 0 - (-5 + (t - 2)). Solve 6*k = -p*y + k + 16, -17 = y - 4*k for y.
-1
Let d be (12/(-8))/(-3)*0. Let w be (-4)/(-16) + (-3)/12. Suppose 5*f + 2*n - 20 = w, -6*f - 4*n + 10 = -11*f. Solve 5*m - 4*x + f*x - 35 = 0, m + x = d for m.
5
Let z(g) = -3*g**2 + 7*g - 14. Let v be z(5). Let h be (-12)/v + 6/(-27). Solve -2*x - 11 = -3*a, 2*a + h*x - 2 = -4*x for a.
3
Let u be (-3)/(-1) - 0/(2/(-2)). Solve 18 = -5*n - y, 4*n - 2*y = 3*y + u for n.
-3
Let s = 1122 + -1120. Solve -5*p + s = -v + 3, -v + 3*p = -1 for v.
1
Let b(r) = r**3 + 7*r**2 - 5*r + 27. Let m be b(-8). Solve m*u = 4*a - 5*a - 7, 0 = 2*a - u - 14 for a.
5
Let n be ((-60)/18)/((-1)/12). Solve 24 = -v + 5*q, -5*v + 2*q - n = -3*q for v.
-4
Let o(f) = 2*f - 2. Let u be 13 - 0*1/(-4). Let i = u - 8. Let r be o(i). Solve 3*c = 2*c - 5*a - 6, -4*a - r = 4*c for c.
-1
Suppose -192 = -4*v - 5*t, 4*v = -3*t + t + 192. Suppose 3*w = 12, 7*o - 2*o = -2*w + v. Solve -4*j = 4*l - 8, o = -j + 5*l - 20 for j.
-3
Suppose 2*s = 9 + 3. Suppose -5*o - 17 = -5*u + 3, -4 = -u - 4*o. Solve -u*c - 18 = -4*n + 6, -3*n = -s for c.
-4
Suppose -d = -3*g - 32, 0 = -g - 0*g + 4*d + 4. Let m(s) = s**2 + 11*s. Let b be m(g). Solve 2*c + 3*k = -2*k - b, -3*c - 1 = -k for c.
-1
Let m(j) = -3*j**3