 -f = 5*y + 3 for y.
-1
Let d(v) = 2*v. Let m be d(2). Solve -c = m*c + 5 for c.
-1
Let h(o) = -3*o + o + 1 - o + 2*o. Let s be h(-2). Solve -s*f + 8 = -5*f for f.
-4
Let n = 2 - -2. Solve 4 = -n*j + 16 for j.
3
Let y(k) = k**2 + 2*k - 2. Let i be y(-3). Let a = i + -1. Let d = a + 2. Solve -6*g = -d*g - 4 for g.
1
Suppose -4*b = -3 - 29. Solve 2*t = 6*t - b for t.
2
Let q(m) = m**3 - 2*m**2 - 4*m + 1. Let i be q(4). Let v(h) = h**2 - 17*h + 4. Let p be v(i). Solve 5 = -n + p for n.
-1
Suppose 0 = 5*p + 5*q - 16 + 6, -4*q - 24 = -4*p. Solve p*h - 3 = 3*h for h.
3
Suppose u - l = 4*l + 2, 5*l - 4 = 3*u. Let j = 13 - u. Solve p - 5*p = -j for p.
4
Let p(j) = 11*j**2 + 20*j + 9. Let t(q) = -4*q**2 - 7*q - 3. Let y(w) = 3*p(w) + 8*t(w). Let u be y(-5). Solve 2*x = -0*x - u for x.
-4
Suppose 22 = 5*d + 7. Solve 2*a + d*a + 15 = 0 for a.
-3
Suppose 0 = 5*x - x - 16. Suppose -x*f = -7*s + 3*s + 8, 0 = 3*s - f - 6. Let a = s - -2. Solve 5*l + 11 = -a for l.
-3
Suppose 1 = -2*d + 3*d - 2*z, 57 = 5*d + 3*z. Suppose -4*f + 14 = -2*t, -3*t - 10 = -5*f + d. Let r = -7 - -12. Solve -f*x - r = 3*x for x.
-1
Let h = -36 - -40. Suppose 5 = 4*z + z. Let a = z + h. Solve -a*g - 19 = 1 for g.
-4
Let p(i) = -i + 8. Let u be p(-7). Solve 4*g + 1 + u = 0 for g.
-4
Let g be 0 - -1 - (-6)/((-54)/(-45)). Solve 3*o - g = o for o.
3
Let c be (-14)/(3 - -4)*2/(-4). Solve -4 = -n - c for n.
3
Suppose 4*c - 8 - 40 = 0. Let h be 3 + 0 - (-3 - -3). Solve h*z - c = -3 for z.
3
Let c be 3 - (9/3 + 3). Let u be (c + 6 - 3) + 2. Solve -3*i + u + 7 = 0 for i.
3
Suppose 0*o - 12 = -4*o. Suppose 0 = 2*w - 5*w + o. Solve -w - 1 = n for n.
-2
Let q(l) = -l + 10. Let n be q(8). Let g be n/3 + 48/9. Let o(s) = -s**2 + 8*s - 9. Let y be o(g). Solve -i - 2 = -y*i for i.
1
Let f be 22/6*(-8 - -11) + -3. Solve f*x = 5*x - 12 for x.
-4
Suppose -4*l + 6 + 26 = 0. Let d be 6/(-7)*(-28)/l. Solve 0 = -d*f - 11 - 1 for f.
-4
Suppose 5*z - 2*h - 8 = 0, h + h - 2 = 0. Suppose 0 = s - z*s + 3. Solve -s*v + v = 0 for v.
0
Suppose -2 = -5*y + 4*y. Solve -y*a - 4 = -0 for a.
-2
Let s be (4/6)/(2/24). Suppose -4*w + 2*z = -20, 5*z = -2*w + 18 + 16. Let q = w + -7. Solve q*m = 4*m - s for m.
2
Suppose -o - o = 5*a - 3, 4*o + 4*a = 24. Let r = -4 + o. Let p be 22/1 - 2/2. Solve -r*q = -6 + p for q.
-3
Let x be 0/(-3)*(2/2 + -2). Solve x = -0*n - 4*n for n.
0
Let b(n) = n**2 + 11*n + 12. Let a be b(-10). Let i = a - -1. Suppose -4 = -i*f + f. Solve f + 0 = 2*k for k.
1
Suppose a + 2*w - 4 = 0, -4*w - 4 = 2*a - 3*a. Let o = 1 + -2. Let v be 2/(3 + 2/o). Solve v - 6 = a*r for r.
-1
Let l = 21 - -3. Suppose -5*h = d - 0*h + 15, l = 4*d - h. Solve -d*k + 20 = -0*k for k.
4
Let r be (6/8)/((-2)/8). Let z = 7 + r. Let h be 8/(-12) + (-26)/(-3). Solve h*a = z*a + 8 for a.
2
Suppose 3*p - 11 = -4*v - 2*p, -4*p = -v + 8. Solve -6 = -2*o + v for o.
5
Let b(x) = x**3 - 5*x**2 - 7*x + 7. Let l be b(6). Solve -m = -0*m - l for m.
1
Suppose 4*a = -2*y - 13 - 5, 3*y + 18 = -3*a. Let b be 3*(-1)/y - -2. Suppose -17 = -3*r - 2*h, b*r - 2*h - 5 = -h. Solve 3*d + r + 0 = 0 for d.
-1
Let h(b) = b**3 + 5*b**2 + 6*b + 1. Let o be h(-4). Let x be (-3)/(-1) - o/(-7). Solve x*d - 6*d = 0 for d.
0
Let q(s) = -2*s - 3. Suppose 2*j = 2*r - 22, -1 = -5*j - 2*r - 56. Let a = -14 - j. Let u be q(a). Solve -2*o + u = o for o.
1
Let p be 19/5 + (-2)/(-10). Suppose 9*z - p*z = 0. Let y be (2 - 2)/(-2 - z). Solve y = -2*l - l - 12 for l.
-4
Suppose -3*z = -0*z + q - 30, -2*q + 15 = z. Solve 3*f + z = -3 for f.
-4
Let q = -4 + 5. Let j be -1 + 0/q + 3. Solve 0 = c + j*c - 9 for c.
3
Suppose 4*v - 33 = -5*s, -v - 2*v = s - 11. Solve -v*o = -o + 4 for o.
-4
Let b = -26 - -14. Let c be (-16)/(-6) - b/(-18). Solve -4*m + c = -3*m for m.
2
Let i be 2 + (1 - 0) + -1. Let l be 10/(-15)*3*2. Let h = -2 - l. Solve -w + i = -h for w.
4
Suppose -s + 3*s + 5*p + 14 = 0, -3*s - 3*p - 3 = 0. Solve -4*c = -5*c + s for c.
3
Let l = 16 + -11. Solve -l*p + 0*p = 0 for p.
0
Let v be (-2 - 8/(-2))*1. Solve -5*i - v = -7 for i.
1
Let j = -2 - -3. Suppose -i + j = 34. Let q = -21 - i. Solve q = g + 2*g for g.
4
Let j(z) be the first derivative of z**2/2 - 2*z + 6. Let f be j(2). Let p be 2 + (-1*1 - 0). Solve s = -f*s + p for s.
1
Let a = 59 - 56. Solve a*g = 5*g + 6 for g.
-3
Let i be 11 + (0 - 3) + 3. Solve -5 = 4*v + i for v.
-4
Suppose -5*d - 7 + 2 = 4*k, 3*k = 2*d + 2. Suppose -2*s + 8*f - 3*f + 10 = 0, 3*f = k. Suppose -25 = -s*u - j, -4*j - 20 = -4*u - 0*j. Solve -q + 0 = u for q.
-5
Suppose -4*f - f + 5*n = -65, -2*f + 26 = -5*n. Let a = 28 - f. Suppose -a = -g - 4*g. Solve -g*t = -t + 10 for t.
-5
Let q(l) = -l + 3. Suppose 2*s = 3*i - 3 - 3, -3*s + 5*i = 11. Suppose 0 = k + o - s, 4*k + o + 0 = 3. Let p be q(k). Solve p*y - 16 = -4 for y.
4
Let o be ((-92)/16)/((-3)/12). Let l = o + -20. Solve -l = -0*z + z for z.
-3
Let p = -2 - 0. Let b be ((-6)/(-2))/3 - p. Let s = 3 - b. Solve 5*i - i = s for i.
0
Suppose 2*m - 40 = -4*j, 5*j + 6 = -4*m + 74. Solve 0*n + m = 3*n for n.
4
Let z = -2 - -4. Suppose 0*a - z*a = 44. Let h be (-48)/a + 4/(-22). Solve 0*t = -h*t + 4 for t.
2
Let a be 2/7 + (-216)/(-28). Suppose a - 23 = -5*f. Let b = f + -3. Solve b = 4*o - 9 + 1 for o.
2
Suppose 3*j + 5 = 23. Suppose -6 = -4*p + 3*p. Let g = j - p. Solve g = 4*r - 6 - 14 for r.
5
Let j(t) = t**3 + 14*t**2 + t + 19. Let w be j(-14). Let s = -2 + w. Solve -5*v = -s*v + 2 for v.
-1
Let i be 48/27 - 8/(-36). Solve -i*u - 15 = 3*u for u.
-3
Suppose 0 = -k + 5*k - 20. Suppose 0 = x + 3, -2*h + x + k = -4. Solve h*y = 2*y - 1 for y.
-1
Suppose v + 3*v - 20 = 0. Suppose 4*t + v*s - 345 = 0, -2*t + s + 84 = -t. Suppose 25 - t = -5*n. Solve -4*o - 8 = n for o.
-5
Suppose -o = 1 + 1. Let p be o*((-14)/(-4) + -2). Let j = 1 - p. Solve 0 = -3*u + j*u - 1 for u.
1
Let w be 3/((-6)/(-2))*-7. Let g = -3 - w. Solve 18 - 2 = -g*b for b.
-4
Suppose 4*d = -0*d. Solve d = 4*i + 8 + 4 for i.
-3
Let f(d) = d**3 + 9*d**2 - 2*d + 2. Let u be f(-9). Solve 2*q = -2*q + u for q.
5
Suppose 6*y + 4*j - 16 = 2*y, -4*y + j = -6. Suppose -2*i = 3*f - 8 - 5, -15 = -y*f + 5*i. Solve 0 = -f*v + 25 - 0 for v.
5
Suppose -10 = -2*o - x, 5*o + x - 22 = -3. Solve o*v + 8 = v for v.
-4
Suppose 61 + 9 = 2*y. Suppose 0*g - 17 = -3*g - 2*r, 5*g + 5*r - y = 0. Let q be g - (-2 + (3 - 1)). Solve -q*x - 2*x = 0 for x.
0
Suppose -5*x = 2*p + 12, -p + x + 6 = -2*p. Let j be 3 + p*2/4. Suppose j = -3*k - 5*u + 51, -60 = -5*k - 3*u + 25. Solve 3*q + 2 = k for q.
5
Suppose -42*m - 30 = -48*m. Suppose -p - 3*p = f - 27, -3*p + 1 = -2*f. Solve -m = -2*u + f*u for u.
-1
Let l = -30 + 55. Solve -5*b + l = -0 for b.
5
Let g = 4 + -4. Let l = 2 - -2. Let m = l + g. Solve m*k - 12 = -0 for k.
3
Let j(i) = 2*i**3 - 3*i**2 + 3*i. Let r be j(2). Let z = -6 + r. Suppose -4*c - z = g, 3*g - 20 = 3*c + c. Solve g*q + q - 25 = 0 for q.
5
Suppose 4*w = s - 23, -2*w = 2*w + 20. Solve -s - 2 = -h for h.
5
Let q be (-15)/6*6/(-5). Let i be 0 - (2 - 2 - q). Solve 0 = -5*c + i + 2 for c.
1
Let p(a) = -a**3 + 12*a**2 - 12*a + 15. Let f be p(11). Suppose 5*k = -f*h + 23, -5*k + 30 = 3*h + 9. Solve -6 = h*y - 2 for y.
-2
Let y be (-39)/(-12) - (-21)/28. Solve -y*w = -7*w - 6 for w.
-2
Suppose 0 = -3*i - 3*u + 57, -3*i - i = u - 67. Solve b + 3*b = -i for b.
-4
Let g be (-36)/(-15) - (-8)/(-20). Suppose -g*z - z = 2*b + 6, -2*b = -2*z - 4. Solve b*k = 2*k + 8 for k.
-4
Let z(m) = -m**2 - 11*m - 9. Let k be z(-11). Let r be 1/(k/(-4) - 2). Solve -r*n + 0*n = -16 for n.
4
Let n be (-2)/10 + 208/40. Suppose -2*k = 2*x + 3*k - 8, 0 = n*x - 3*k - 20. Solve -4*o - x = -0 for o.
-1
Suppose 2*t + 2*t = 132. Let s be (36/(-30))/(1/(-10)). Suppose 2*f + f = s. Solve f*c - 13 = -t for c.
-5
Suppose -3*b - 5*t + 59 = -6*t, -3*b = -4*t - 56. Suppose -2*o = -2*y + 2, -3*o - 5 = -4*y + 3. Solve -x = o*x + b for x.
-4
Let o be 0/(2/(-2) + 3)*-1. Solve 12 = -o*r + 4*r for r.
3
Let v(t) = t**2 - 3*t - 3. Let o(w) = w**3 - 3*w**2 + 4*w + 2. Let s be o(2). Let p be v(s). Solve 2*x - p = -3*x for x.
3
Suppose -2*j = -3 - 17. Solve -2*d - 2 = -j for d.
4
Let y be (-3 + 1)/(3/(-6)). Solve -y*j + 3*j = -4 for j.
4
Suppose 5*s - 4 = 41. Let j = s + -9. Solve 0*a + a + 5 = j for a.
-5
Let v(w) = -w**2 - 10*w + 2. Let p be v(-10). Solve -r = p + 2 for r.
-4
Suppose 5*u