2 = -a*f + 2*f + 4*r. Suppose -5*w = -f - 19. Solve -w*o = -2*o + 9 for o.
-3
Let m(v) = v**3 - 8*v**2 + 5*v + 10. Let f be m(7). Suppose -6*u = -u - 10. Let l be (-3)/f*(2 + u). Solve 0 = -l*j - 0*j + 15 for j.
5
Let y = -115 + 79. Let r be ((-2)/6)/(2/y). Solve 3*n = -r + 18 for n.
4
Suppose 4*f - 4 = -4*b, -4*b + 3*f = -0*b - 18. Solve -b*c - 3 = -0 for c.
-1
Suppose 0 = -3*p + 5*p - 18. Solve 5 = p*f - 10*f for f.
-5
Let v(y) = 2*y**3 - 3*y**2 - 3*y. Let j be v(3). Let t be j/4*(-28)/(-6). Let a be t*((-10)/6 - -2). Solve 5*k + 13 = -a for k.
-4
Let o be (18/15)/((-4)/(-20)). Solve -5*m + 1 - o = 0 for m.
-1
Let g be ((-8)/(-6))/(1/3). Let i be 12/21 + 12/(-21). Solve 0*v - v + g = i for v.
4
Suppose 0*o - 2*o + 8 = 0. Suppose o*y + 5 - 13 = 0. Let n be y/(-2) + (2 - -4). Solve 3*b - n*b = -10 for b.
5
Suppose -18 = -y + k + 5, 111 = 5*y - 3*k. Let i be 5/(-15) - y/(-9). Solve -5*j + i*j = 12 for j.
-4
Let l be 2*(-4 - -7 - 1). Solve l*n - 26 = -6 for n.
5
Suppose 9 = 4*x - y - 0*y, -3*y = -9. Solve x*z = -0 + 3 for z.
1
Suppose c - 10 = -2*m, 2 - 4 = m + 4*c. Solve m*p = 7*p + 1 for p.
-1
Let n be (-4)/(-9)*6 - 2/3. Solve -n*t = 3*t - 20 for t.
4
Suppose q + 16 = 5*n, 3*n + q = -0 + 16. Solve -a = n - 2 for a.
-2
Suppose 8 = 3*d + d. Let v = d - 1. Solve v = c + 3 for c.
-2
Let g(o) = -o**2 + 8*o + 4. Let z be g(8). Let b = -1 + z. Solve b*j - 4*j = 0 for j.
0
Suppose 2*a + 45 = 7*a. Solve 1 = 4*s + a for s.
-2
Let w(r) = -r + 4. Let q be w(4). Let y = q + 5. Suppose 5 = 3*g - 0*g - 5*z, -y*z + 55 = 3*g. Solve 7*l = 2*l + g for l.
2
Let h be ((-18)/(-3))/(-3) + 2. Solve h*d - 4*d - 16 = 0 for d.
-4
Suppose 5*c - 11 = n, -5*c = n - 3*c - 3. Let x = -7 + n. Let i = -3 - x. Solve -w = 4*w - i for w.
1
Suppose r = 3*j - 9, r = 4*r + 5*j - 15. Solve r = 2*p + p - 15 for p.
5
Suppose 0 = 3*r - m, -2*r + r = -5*m. Solve -y - 2 = -r for y.
-2
Suppose -b + 6 = -0*b + 3*u, -4*b + 4*u + 24 = 0. Let r = -3 + 5. Suppose 4*f + 12 = q, -3*q - r*f - f = 9. Solve q = b*a - 3*a + 12 for a.
-4
Let l = 2 + 0. Solve -l*t - 4 = 6 for t.
-5
Suppose 3 = 3*y - 3. Let w be -2*(-2 + (-1)/y). Solve k = -0*k - w for k.
-5
Let y be (12 - (-1 + 1))/(-16 - -18). Solve 4*b - 6 = y*b for b.
-3
Suppose -4*v + 2 = -2*v. Let b be v + 3 + (-2)/2. Solve b*h + 3 = -6 for h.
-3
Suppose -4*j + 2*j + 5*i - 9 = 0, 2*i = 6. Solve 0 = -4*l - 19 + j for l.
-4
Let p(c) = -c**2 - 5*c + 2. Let n be p(-4). Solve -5*w + 3*w = -n for w.
3
Let v(p) = -p**3 + 11*p**2 - 10*p - 1. Let g be v(10). Let r be 1/(g - (-8)/7). Solve 0 = r*h - 2*h - 10 for h.
2
Let k be ((-12)/(-9) + -2)*-6. Solve 3 = k*p - 1 for p.
1
Suppose w + 16 = v + 4*v, 3*w - 12 = 0. Solve -3*d + v = d for d.
1
Let o(a) = -a**2 - 5*a - 1. Let n be o(-4). Suppose -5*q + 32 = 4*w - 35, -86 = -5*w - 4*q. Solve 0 = 3*l + w - n for l.
-5
Let n be -1*(2 + 0) - (-7 - 0). Solve -10 = -0*w + n*w for w.
-2
Suppose 0 = 4*o - 25 + 1. Solve 0 = -n + o*n - 15 for n.
3
Let z(c) = 3*c**2 - 8*c + 3. Let k be z(3). Solve -3 = 3*t - k*t for t.
1
Suppose -z = -2*z + 4. Let s be (6 - 6) + z*1. Solve s*c - 3*c = -4 for c.
-4
Suppose f - 4*f = 0. Solve h - 3*h + 6 = f for h.
3
Suppose 29 = -3*b + 2. Let r(o) = o**2 + 7*o - 10. Let g be r(b). Suppose 5*d = 4*j - j + g, -3*j + 20 = 2*d. Solve 7*p - 9 = d*p for p.
3
Suppose 13*b = 99 + 57. Solve 0 = -5*q + 2*q - b for q.
-4
Suppose 3*g = 2*g + 3. Suppose 2*y + 3*t - 3 = g, 0 = -y + 2*t + 3. Let s be 12/(-10)*(-30)/9. Solve s*o - 9 - y = 0 for o.
3
Let c(d) = 0*d - 1 + d**3 + d - 6*d**2 - 1. Let o be 9 - ((-12)/(-3) + 1 + -2). Let q be c(o). Solve 10 + 10 = q*w for w.
5
Let l be (4/(-5))/((-11)/(-55)). Let t = 0 + 4. Let a = t + l. Solve -5*r = -a*r + 25 for r.
-5
Suppose -24 = -5*n + 3*n. Solve g + 2*g = -n for g.
-4
Let o(q) = q + 14. Let h be o(-4). Solve f - h = -4*f for f.
2
Let p = -29 - -29. Solve -x - 3*x + 12 = p for x.
3
Suppose -9 = -x - 5*n, -n + 4*n + 15 = -4*x. Let m = -4 - x. Solve m*d + 4 = 14 for d.
5
Let o be (5/(-40)*6)/((-3)/24). Solve -w = w - o for w.
3
Let c(o) = -2*o + 3. Let h be c(-6). Solve -6*z + z = h for z.
-3
Suppose 0 = s - 3*s. Solve -3*z - 2*z = s for z.
0
Let o(h) = -h + 1. Let l be o(-1). Solve -l*v = v for v.
0
Suppose 2*i = i + 2. Suppose -l - i*z = 2*l - 10, l = -3*z + 8. Solve 3*c = l - 8 for c.
-2
Suppose 0*x - 4 = 4*x, -3*w + 25 = -4*x. Suppose 0 = 5*l - 5*a + 15, -w = -3*a + 2. Solve l = -2*q + 3*q - 1 for q.
1
Suppose 0*z - 10 = -5*z - 4*w, 4*w = 0. Solve -z*k + 5*k = 0 for k.
0
Suppose 2*i - 10 + 0 = 0. Suppose -i*z + 3 = -o + 2, 4*z = o + 1. Solve 0 = -z*j - 5*j - 25 for j.
-5
Let d = 23 + -21. Solve 0 = 3*v - d + 11 for v.
-3
Let l(r) = r**3 + 6*r**2 - 6*r + 10. Let a be l(-7). Suppose -x - a*h + h + 3 = 0, -2*x = -3*h - 13. Let u be (-2)/x - (-2)/5. Solve -4*c + u*c - 4 = 0 for c.
-1
Suppose 7*l - 10*l = -6. Solve 2*z - z - l = 0 for z.
2
Let w(j) = j**3 + 6*j**2 - 2*j - 4. Let n be w(-4). Suppose 0 = -b - 3*d - 4, -3*b + 3*d + n = -0*b. Solve b = -2*r + 4*r for r.
4
Let n be 16/6 + (-4)/6. Solve n*l = -l for l.
0
Let d(a) = a**2 - 4*a - 10. Let p be d(6). Solve -j = p*j - 3 for j.
1
Suppose 0 = -2*l - 0*l + 88. Suppose -3*g = g - l. Solve -g = 5*f + 14 for f.
-5
Suppose 71*o = 65*o + 18. Solve o*m = -m - 20 for m.
-5
Suppose -y = r - 7, 0*r = 5*r - y - 5. Suppose w - 5*f = r*w - 14, 5*w - 4*f - 70 = 0. Solve -w + 2 = 4*g for g.
-3
Let i = -4 - -8. Suppose -t + 3*z - 9 = 0, 2*t - i*z + 7*z = 9. Solve t = 4*g - 25 + 5 for g.
5
Let y(w) = w**3 + 6*w**2 + 8*w + 17. Let o be y(-5). Solve o*m - 5*m = 0 for m.
0
Let n be -3 - (3 + -3 + -12). Solve 7 = -4*f - n for f.
-4
Let o(b) = b**3 + 5*b**2 + 5*b + 4. Let x be o(-4). Let z(r) = -r**2 - 4*r + 5. Let u be z(-4). Solve x*i + i = -u for i.
-5
Let n = 0 - -1. Suppose 0*p + 5*r + 7 = 4*p, -14 = -4*p - 2*r. Let g be -1 + p + n + 1. Solve -2*u = -g - 6 for u.
5
Let d be (-2)/2*1*0. Suppose d = 2*f - 7*f + 2*p + 12, 2*f = 2*p. Let m(i) = 7*i - 2. Let k be m(2). Solve 0 - k = f*c for c.
-3
Let v(f) = f + 9. Let r be v(-3). Solve r = 4*m - 10 for m.
4
Suppose 13 = 3*l + 1. Suppose 3*m = l*y + 11, -m + 9 = m - 3*y. Let u be -3 - (-33 + (0 - m)). Solve -7 = -5*n - u for n.
-4
Let v(x) be the first derivative of x**4/4 - 4*x**3/3 - x**2/2 + 5*x - 2. Let y be v(4). Suppose -3*b - 81 = -4*a, b = -a + 28 + y. Solve 4*s - a + 8 = 0 for s.
4
Suppose -5*z = -4*j + 84, 0 = -z - 0*z + 5*j - 21. Let c be 0 + 11/((-33)/30). Let h = c - z. Solve -4*m - 6 - h = 0 for m.
-3
Let s = 44 - 41. Solve -s*u + 6 = -0 for u.
2
Let z(o) = o**2 - 10*o + 12. Suppose -5*g - 140 = 5*y, 4*g - 29 = 2*y + 9. Let l = -16 - y. Let v be z(l). Solve v*x - 16 = -x for x.
4
Suppose 2*h = 2*i - 8, 12 = 2*i + 2*h - 0*h. Solve 4 = -i*g - 1 for g.
-1
Suppose -k - 4*i - 5 = 0, -3*k - 5*i = -6*k + 19. Suppose -5 = -k*n + 8*n. Let b(w) = -5*w. Let g be b(n). Solve 0 = g*c + 13 + 12 for c.
-5
Let j(n) = -n**2 - 6*n. Let r be j(-6). Suppose c + 4*m + 8 = -0*m, -4*c = m - 28. Solve r - c = -2*i for i.
4
Suppose -4*i - 2 = 10, -57 = -5*t + 4*i. Let b be (-35)/3 + (-4)/(-6). Let a = -7 - b. Solve -a*c + 11 + t = 0 for c.
5
Let a be 5*-2*(-2)/4. Suppose -a = 3*p + 2*y - 1, 3*p - 3*y - 21 = 0. Suppose -5*l + p*s + 0 + 2 = 0, -s + 4 = 0. Solve 0*w = 2*w + l for w.
-1
Let p be -2 + 3 - (-39)/1. Suppose v = -v - p. Let j = v + 36. Solve -4*i = -4 - j for i.
5
Suppose -3*r + 60 = 3*w, 3*w - 61 = -2*r - 6. Solve -a = -6*a - w for a.
-3
Let u = -22 + 25. Solve u*o - 6*o = -9 for o.
3
Let r(a) = -a**2 - 5*a + 5. Let d be r(-6). Let q be 0/(d*(0 + -3)). Solve q = 3*o + 7 + 8 for o.
-5
Let r be (0 + 0)*6/(-18). Suppose 0*s - 2*s = r. Let o be s + -2 + 1 + 1. Solve 6 = -2*x - o*x for x.
-3
Let l be (2/(-5))/((-4)/220). Let d = 25 - l. Let x = -7 - -11. Solve -x*b + d*b - 4 = 0 for b.
-4
Let u = -4 + 7. Suppose -u*i - 4 = -5*i. Solve -13 = -3*d + i for d.
5
Suppose -3*o - 56 = -4*p + o, 3*p = 4*o + 47. Solve 3*q - 6 = p for q.
5
Suppose -j = -2*y + 6, -3 - 9 = -4*y + 5*j. Let h(q) = -q + 2 + 40*q**2 + 4*q - 37*q**2. Let l be h(-1). Solve l*d = -y*d for d.
0
Suppose 4*t - 4*n = -4, -4*n = -3*t - 17 + 10. Solve 0 = -t*r + r + 2 for r.
1
Let x(p) = -2*p**3 - 2*p**2 + p + 3. Let t be x(-2). Let k = 0 + 1. Solve -t = 5*h + k for h.
-2
Suppose -4*u = u - 10. Solve u = 3*k + 8 for k.