ve 0 = 5*d + 1 + t for d.
-3
Suppose 16 + 14 = 2*d. Solve -d = -5*v + 10 for v.
5
Let b(r) = -2*r + 7. Let c be b(-7). Suppose c = -u + 5*x, 4*u + 2*x - 26 = -0*u. Suppose 5*l + u = 29. Solve -l*j = -11 - 9 for j.
4
Let t(v) = -v**2 + 7*v + 6. Let w be t(8). Let s be 22/8 - w/8. Solve s*u - 25 = -2*u for u.
5
Let t(d) = -4*d + 3. Let r(z) = 4*z - 4. Let s(n) = 4*r(n) + 5*t(n). Let x be s(-2). Solve 2 - x = -o for o.
5
Let l(m) be the second derivative of m**5/20 - 17*m**4/12 - m**3/6 + 10*m**2 - 7*m. Let n be l(17). Solve -n*k = k for k.
0
Let n be ((-7)/(42/9))/(3/(-4)). Suppose 0*o = 2*o - 4. Solve -n = 4*m + o for m.
-1
Let o = 35 + -19. Suppose -o = -2*c + 2*y, 2 - 10 = -c - 2*y. Let j be 2/(-4) - (-100)/c. Solve -3*g = -j - 3 for g.
5
Let b(k) = 2*k**2 + 3*k. Let n be b(-3). Solve -3*y - 3 + n = 0 for y.
2
Let o = -2 - -6. Suppose -2*a = -2, o*b = 3*b + 5*a. Solve 2*k + 1 - b = 0 for k.
2
Let y be -2 - (-4 - (-1 - -1)). Let q = -1 - y. Let c be 2/1 - (q + -10). Solve -3*h = -0*h + c for h.
-5
Let n(t) = 2*t**2 - 14*t - 16. Let l be n(8). Solve 3*d + l - 3 = 0 for d.
1
Let y(u) = u**3 + u**2 + u + 1. Let r be y(-1). Let v = r - 4. Let p be 2/v - (-6)/12. Solve p = 3*n + 2*n for n.
0
Suppose 10 = z - u, -2*z - 27 = -5*z + 4*u. Solve -3*w - z = -1 for w.
-4
Let x(i) = -i + 2. Let u be x(2). Suppose 0 = -u*a - 5*a + 15. Solve 0 = a*m - 5 - 4 for m.
3
Suppose -c - 8 = 2*h, -5*h + h = -4*c - 8. Let t = c + 4. Let x(j) = -j**2 - j + 3. Let d be x(t). Solve -2*b = -5*b + d for b.
1
Suppose -u = -3*u + 12. Solve -i = 2*i + u for i.
-2
Let h be (0 + -5)*12/15. Let a be 66/15 + h/10. Suppose a*t + t - 100 = 0. Solve d - t = -3*d for d.
5
Let b = 281 + -263. Suppose -1 - 2 = -o. Solve -3 + b = o*l for l.
5
Let v(a) = -a - 5. Suppose 20 = -7*o + 3*o. Let z be v(o). Solve 0 = -z*i + 2*i for i.
0
Let f be ((-16)/(-20))/((-6)/(-15)). Solve -f*t = 3*t - 5 for t.
1
Let r = 24 - 24. Solve -5*z = -r*z for z.
0
Let j(n) = n**2 - 6*n. Let l be j(6). Solve -p - 4*p = l for p.
0
Let l(b) = b**3 - 3*b**2 + 2*b - 4. Let k be l(3). Solve -3*m = k*m - 25 for m.
5
Suppose -s + 3*s = 12. Solve 0 + s = -2*w for w.
-3
Suppose -5*x - 4 = -29. Solve -5 = -x*n - 0 for n.
1
Let z = 10 - 10. Suppose -4*x + z + 4 = 0. Solve -u - 1 = x for u.
-2
Let f = 6 + -4. Let u = 2 - -2. Let b be u/(-10) - 2/(-5). Solve b = 4*d + 6 + f for d.
-2
Suppose 0 = -3*f - 2*f - 5. Let k(v) = 2*v + 2. Let z be k(f). Solve -6*t + t - 10 = z for t.
-2
Let w be ((-36)/(-8))/(-9)*0. Solve w*y = -y for y.
0
Suppose 0 = -2*a + 13 - 3. Let y = a + -3. Solve -y = -0*k + k for k.
-2
Suppose 1 = -m - 3*r + 4, 48 = 5*m + 4*r. Let h = m - 7. Let z(j) = 12*j + 1. Let a be z(1). Solve a = -h*o - 7 for o.
-4
Let y(s) = 11*s - 24. Let b(x) = -4*x + 8. Let i(f) = -4*f**2 - 2*f - 1. Let o be i(-1). Let j(g) = o*y(g) - 8*b(g). Let n be j(5). Solve 3 = -n*t - 3 for t.
-2
Let h(x) = x**2 - x + 0*x**2 + 5*x - 2*x**2. Let g be h(3). Solve 0 = 4*k + 17 + g for k.
-5
Let q(l) = l**2 + l. Let c be q(-2). Solve 1 = -c*y + 3*y for y.
1
Let a = 1 - -2. Solve -1 = -a*w - 13 for w.
-4
Suppose 1 = 5*l - 4, p - 6 = l. Suppose 2 = 2*v + 2*w, -3*v + 5 = w - 0. Solve -v*d - 10 = -p*d for d.
2
Let n be 2/12 + 89/(-12)*-2. Solve -n = -2*y - y for y.
5
Let y(a) = -a + 9. Let b be y(7). Solve -2*c - b*c = 8 for c.
-2
Suppose -v - 2*v = 0. Suppose 5*r - 48 = -4*w, v = 5*r - 0*w - w - 63. Solve 0*l = -3*l + r for l.
4
Let b(g) = g - 2. Let c be b(4). Let l(m) be the first derivative of m**3/3 - m**2 + 2*m + 2. Let z be l(c). Solve 0*s - z = s for s.
-2
Let u be (16/(-10))/(12/(-30)). Solve 0 = -q + u - 0 for q.
4
Let o(l) = l**3 + 21*l**2 - 23*l - 14. Let x be o(-22). Solve 4*b + 24 = x for b.
-4
Let o be (-13 - -13)/(-2 + 1). Let c be 3 + (1 - 0/2). Let h be (3 - o) + c + 2. Solve 3 = 3*x + h for x.
-2
Suppose o + 9 = 2*o. Let w be 0 + 0*3/o. Solve 0 = 5*s - w*s + 25 for s.
-5
Let r(f) = f - 2 + 5 - 4. Let q be r(3). Solve -q = 4*l - 22 for l.
5
Let f be 3/1 + (-1)/(-1). Solve -9 = -o - f for o.
5
Suppose -4*k + 1 = -3*k. Let t be (k + -1)/(-1)*-1. Solve t = m + 4*m - 10 for m.
2
Suppose -3 = p - 5. Let u be ((9*p)/3)/2. Suppose -75 + 18 = -u*l. Solve 5*s - l = 1 for s.
4
Suppose 0 = 3*k - 19*k + 240. Solve -k = 5*a - 2*a for a.
-5
Let r = -26 + 33. Solve -3*v - r = -4 for v.
-1
Suppose 6*z = 10*z - 20. Solve -z = 4*h + 3 for h.
-2
Suppose -3*s = -5*w - 6, -w - 2*s = 4 + 5. Let y = 3 + w. Solve y = 2*k - 1 + 7 for k.
-3
Suppose -2*o + 3*i - 15 = 0, -7 = -4*i + 13. Let r be o + (4*-1)/(-2). Solve r*j = -j for j.
0
Let p be 1/(-1) - 1*-13. Suppose 3*b + 11 = -2*a - 1, 0 = -3*a + 4*b + 16. Solve 4*j + a = -p for j.
-3
Let r be 0 - -3 - (-14 - 0). Let d = r + -12. Solve 0*w - 10 = -d*w for w.
2
Suppose w + 0 - 3 = 0, -4*f = -2*w - 10. Suppose -f*q = -0*q - 16. Solve 0 = q*n - 0*n for n.
0
Let f be -4 + (-4 - -6 - -6). Suppose -4 = -f*y + 8. Solve -2 = y*g - 5 for g.
1
Suppose 2*i = 1 + 3. Suppose 14 = 4*a + i*s - 4*s, -2*a = 2*s + 2. Solve -4 = -a*b + b for b.
4
Let k(l) = 10*l**3 + l - 1. Let v be (-2)/9 + 33/27. Let q be k(v). Solve 0 = 4*r - 2*r + q for r.
-5
Let g(m) = m + 1. Let f be g(7). Suppose -3*o + 5*o = f. Solve 0 = -0*j + o*j + 8 for j.
-2
Let a be 9/11 + (20/(-11) - -2). Solve 3*b - a = 2*b for b.
1
Let h(s) = s - 1. Let o be h(-1). Let b = o - -2. Let u be (5 - 0) + (-2)/1. Solve b = u*q - q for q.
0
Let o be -13*((-3 - -1) + 1). Solve o*b = 8*b + 15 for b.
3
Let q be (-18)/(-4) - 4/(-8). Let u be (4 - 3) + (-10)/(-1). Suppose -f - 29 = -5*k - u, -10 = -5*f. Solve k*x - 7 - q = 0 for x.
3
Let c be (1 + 5)*14/21. Let o be ((-5)/c)/(6/(-24)). Solve -2*a + o*a = 6 for a.
2
Suppose -52 = -2*f + 2. Suppose -4*h + f = 7. Let k(m) = m**2 - 6*m + 12. Let r be k(4). Solve -r*s - h - 15 = 0 for s.
-5
Let a(p) = p**2. Let b(f) = 4*f**2 - 3*f - 1. Let u(c) = 5*a(c) - b(c). Suppose 0 = 5*n + 6 + 9. Let l be u(n). Solve -l + 2 = t for t.
1
Suppose 4*y = 18 + 6. Solve 0 = -4*a + a + y for a.
2
Suppose -11*u = -15*u + 96. Suppose 3*m - 9*m + u = 0. Solve m*a = 6*a - 8 for a.
4
Suppose -9 = -3*j, -4*p + 13*j + 24 = 17*j. Solve 0*b + p*b + 15 = 0 for b.
-5
Suppose -33 = 6*w - 9*w. Suppose -w = v - 5*i, -2*v = -0*i + 2*i - 14. Suppose 0 = m + v*m. Solve -3*g + 5*g + 6 = m for g.
-3
Suppose -3*t + t - 3*t = 0. Solve -3*y - 7 - 8 = t for y.
-5
Let j be 3/(-12) + (-4)/(-16). Suppose 3*f - 19 + 4 = j. Solve 1 - f = -a for a.
4
Suppose 5*y - 32 = 2*r - 3*r, 0 = 4*y - 2*r - 20. Solve -3*m + y*m + 12 = 0 for m.
-4
Suppose w = 4*x - 1 - 9, 2*w - 13 = -3*x. Solve -x*g = g for g.
0
Suppose -5*l - 137 = -3*v, -239 = -5*v + 3*l - 0*l. Let i = v - 35. Let o be 4/i + (-12)/42. Solve o = -3*f - 4 + 10 for f.
2
Let p be ((-160)/(-28))/1 + (-4)/(-14). Solve -p*q = -8*q for q.
0
Let r = -13 + 18. Let s = -2 - -2. Suppose s = -3*k - k + 60. Solve 8*v - k = r*v for v.
5
Let u be (-2440)/110 + 2/11. Let n = u + 33. Solve 4*r = n + 1 for r.
3
Let v(h) = -h**3 - h**2 + h + 1. Let r(m) = 4*m**3 + 5*m**2 - 3*m - 4. Let y(b) = -r(b) - 3*v(b). Let n be y(-1). Solve n = 5*q - 4*q - 5 for q.
5
Let b be -2 - -11 - (-3)/(-1). Suppose 18 = d - 3*y, b*d - d = -5*y - 10. Solve 0 = -d*j + 3 for j.
1
Let b(s) = -s**3 + 6*s**2 + 6*s + 7. Let g be b(7). Suppose 2*f - 9 - 9 = g. Let m be 0 - 3/(f/(-6)). Solve 0*z - z - m = 0 for z.
-2
Let k(j) = j + 1. Let w be k(6). Let y(u) = 6*u + 1. Let i be y(-1). Let x = w + i. Solve 0 = x*b + b for b.
0
Suppose -y = 1 + 3. Let d(q) = q**2 - q - 2. Let x be d(y). Suppose -g - x = -5*n - 3*g, 3*g + 7 = n. Solve -25 = -a - n*a for a.
5
Let d be ((-6)/5 + 2)*(5 - 0). Solve 0 = d*m + m - 10 for m.
2
Suppose 0 = 4*g - 5*v + 9, -2*g + 0*g - 9 = -v. Let i be (g/(-15))/(1/(-5)). Let j be (-2)/(-4)*i - -4. Solve 6*z - j*z - 6 = 0 for z.
2
Let q(y) = -y**3 - 10*y**2 - 9*y + 12. Let b be q(-9). Let t = 23 + -23. Solve -3*f + 0*f + b = t for f.
4
Let z be (18/(-27))/(4/(-6)). Solve 2*p - z = -7 for p.
-3
Suppose 3*l + 0*l = 0. Suppose 3 = s - l*s. Suppose s*v - y - 3 = v, 3*v = 3*y. Solve b = -v*b + 16 for b.
4
Let v = 16 + -16. Let x(c) = -2*c + 4. Let w be x(v). Solve 5 - 13 = w*n for n.
-2
Let l(n) = -3*n + 60. Let g be l(18). Solve -k - g = -4*k for k.
2
Let b(s) = s + 14. Let z(v) = -v**3 - 7*v**2 - 9. Let x be z(-7). Let h be b(x). Solve -4 = -