 d = l + 24 for l.
-2
Suppose 5*l = x + 40, -4*l - 3*x - 12 = -7*l. Solve 2*a + 14 = l*a for a.
2
Let o be 138*7/14 + -3. Solve -12*c - o = -54 for c.
-1
Let y be (3 + -4)*(-1 + 1). Suppose -5*d = -3*t - 16, 2*d + 0*t + 4*t = -4. Suppose 0*q - 4*u = -3*q + 25, -d*q = u - 2. Solve -3*i - q + 0 = y for i.
-1
Let p = -14 + 15. Let m be (-2)/(-1) + 1 + 2 + p. Solve -x = 2*x - m for x.
2
Suppose 19*a - 29*a + 40 = 0. Solve -2*n + 2 = -a for n.
3
Suppose 4*z = -9*z. Solve z = -0*f - f + 2 for f.
2
Let o = 295 - 284. Solve 10*m + o = -m for m.
-1
Suppose -4*k = 4*u + 40, 0 = 5*k - 4*u + 5*u + 62. Let s = 18 + k. Suppose 0*f + 18 = f + s*h, 4*f - 3*h = 3. Solve -2*o = -o - f for o.
3
Let t(o) = -7*o**3 + o**2. Let f be t(1). Let r(m) = -m + 2. Let v be r(f). Let u be -3 + (-19)/((-209)/110). Solve u = -3*s - v for s.
-5
Suppose -g + 106 = -3*m + 8*m, -4*g = -2*m + 38. Solve -m + 18 = -p for p.
3
Suppose 5*s + 5*x = 7*s - 34, -3*x - 66 = -5*s. Solve -8*o + 5*o = s for o.
-4
Let a(c) = -c + 5. Let x be a(5). Let v = -281 - -287. Solve -4*l + v + 2 = x for l.
2
Suppose -31*w + 270 = -w. Solve w*m = 26 + 19 for m.
5
Let y be -3*(-1 + 3)*(-3)/6. Suppose 6 = q + y. Let f(r) = r**2 + r + 2. Let h be f(0). Solve q*c = -h*c - 15 for c.
-3
Suppose 2*j - 2 = j. Let b be ((-14)/(-21))/(j/(-3)) + 3. Solve 0 = -g + b + 2 for g.
4
Let z(r) be the second derivative of r**5/20 - 7*r**4/6 + 25*r**3/6 - 3*r**2 + 23*r. Let k be z(12). Solve o + k = -2*o for o.
-2
Let q be -1 + (-4)/(-2) + 3. Let l = 24 - q. Let z = -18 + l. Solve v - 3 = -z for v.
1
Suppose -3*i + 13 + 2 = 0. Suppose -i = t - 2*t. Solve 6*v - t = v for v.
1
Let x(u) be the third derivative of u**6/120 - u**5/5 + 11*u**4/24 + u**3/2 + 11*u**2. Let b be x(11). Suppose 0*r + b*r = 0. Solve 0 = -2*q + 8 - r for q.
4
Let q(b) = -b**3 + 22*b**2 - 15*b - 63. Let t be q(21). Solve -t*r = -58*r + 25 for r.
-5
Suppose 5*o = -f + 15, 7*o - 6 = 5*o + 4*f. Let d be 0 + 3 - (3 + -1). Solve -o = -t + d for t.
4
Suppose -64 = 20*m - 22*m. Solve -104 = 18*g - m for g.
-4
Suppose -14*u + 9*u = f - 21, 4*u + 4*f - 20 = 0. Solve q = -0*q + u for q.
4
Let s be (1/2)/((-1)/(-2)). Suppose -2*v = j + 41, -j = -4*v - 62 - 35. Let q = 27 + v. Solve 5*g - s = q*g for g.
1
Let z be (-1 - -1)*(3/2 + -2). Let f = 9 - 4. Solve -f*x + z = 20 for x.
-4
Suppose -v + y + 4 = 0, 8 = -v - 3*y + 8*y. Solve -1 - 20 = v*j for j.
-3
Suppose -127 = 3*q + t - 0*t, 3*t + 176 = -4*q. Let f = q + 45. Let a be (-2)/3*(-3 - 0). Solve 0 = a*d - f*d + 4 for d.
2
Let m be (2/2*0)/(2*1). Solve m = -i - 4*i + 10 for i.
2
Let b(n) = -17*n - 1. Let p be b(-1). Let v = p + -13. Suppose 15 = 3*o + v. Solve -7 + o = 3*m for m.
-1
Let n(c) = -c**3 + 5*c**2 - 4*c + 4. Let w be n(3). Suppose 2*z - 2*x - w + 0 = 0, 0 = z - 3*x - 3. Solve 3*k - z + 0 = 0 for k.
2
Let i be (2 - 6) + 3 + 5. Suppose h - 8 = 2*h + 4*x, 3*h - 2*x = i. Solve -5*b + 0 + 15 = h for b.
3
Suppose 3 = q - 2*d - 1, -4*d = 5*q - 48. Suppose 2*i = q - 2. Suppose -i*f + 4*f + 18 = 4*k, -5 = k - 5*f. Solve k - 1 = u for u.
4
Let h(d) = -3*d + 26. Let t = -28 - -36. Let w be h(t). Solve -w*l - 12 = l for l.
-4
Let k(s) = -s**3 - 7*s**2 - 1. Let w be k(-7). Let r be (3 - (-1)/w) + 2. Suppose p + r*a = -7, p = -3*a - 3 - 2. Solve 0 = -2*f + p - 3 for f.
-1
Suppose 0 = 5*y - 25, 2*n + 3*y + 121 = -2*n. Let q = -30 - n. Solve 0 = -q*m + 2 - 18 for m.
-4
Let v(t) = 2*t**3 - 4*t**2 + 2*t + 1. Let c be v(2). Let a(l) = 7*l + 0*l**2 - 5 + 5 - 8 - l**2. Let s be a(c). Solve s*d = -2*d for d.
0
Suppose -2*v + 36 = -2. Suppose 2*c + v = 3*c - 4*l, -3*l + 3 = 5*c. Solve -c*h = h for h.
0
Let b be 42/5 - 18/45. Let j(c) = c**2 - 9*c + 7. Let w be j(b). Let y be 1 - (0 - (w + 0)). Solve y*o = -3*o for o.
0
Suppose 3*a + 27 = -2*c, 3*c = 2*a + 3*a - 12. Let l = -4 - c. Suppose -l*t - 3*b = 2*b - 50, -4 = -t + 5*b. Solve 0*q - 3*q = -t for q.
3
Suppose 3*l + 92 + 43 = 0. Let y be 8/(-10)*l/3. Let v = y - 4. Solve -v = -5*p + p for p.
2
Let f = -6201 + 6204. Let c = 7 + 7. Solve 2 = -f*r + c for r.
4
Suppose -31*a - 115 = -54*a. Solve -a*c + 19 - 34 = 0 for c.
-3
Suppose 74 - 26 = 8*w. Solve 10 = w*c + 34 for c.
-4
Let r(m) = 5*m**2 + 8*m - 2. Let c be r(-2). Solve -43*p - c = -44*p for p.
2
Suppose -19*j + 141 + 49 = 0. Solve 6*r - j*r - 4 = 0 for r.
-1
Let n be 6 + (-1 - (0 - -1)). Let q(x) = x**3 - 3*x**2 - x - 3. Let k be q(4). Suppose k*i = n*i. Solve u + i + 1 = 0 for u.
-1
Let l(o) be the first derivative of -o**4/4 + 10*o**3/3 + 2*o + 13. Let f be l(10). Solve -f*x = x - 9 for x.
3
Let k be 1 - 3 - (3 + -8). Suppose 2 = q + 4*f, -8 = -5*q - 5*f + 2. Solve k = q*s - 5*s for s.
-1
Let f(v) = 45*v - 43. Let x be f(1). Solve 24 = x*d + 24 for d.
0
Let c(x) = -5*x**2 - 77*x - 20. Let w be c(-15). Solve w = -15*p + 13*p for p.
-5
Suppose 98*l - 96*l - 60 = 0. Let u = l + -5. Solve 4*d - u = -d for d.
5
Let h be 0 + -1 + 1 + 0. Let l = h - 0. Let d = 3014 + -3013. Solve d = -l*z - z for z.
-1
Suppose 0 = -0*l + 5*l + 3*z - 31, 0 = 5*l + 2*z - 34. Solve -4*v = -l*v - 8 for v.
-2
Let h(x) = 6*x**3 - 3*x + 3. Let m be h(2). Let b = -42 + m. Solve -4 = -k + b*k for k.
-2
Let s = -1420 + 1425. Solve -s*l - 4 = 21 for l.
-5
Let s be (25/10)/((-21)/(-42)). Solve 2*c + 28 = -s*c for c.
-4
Let a = 112 - 93. Solve 0 = 2*g - 25 + a for g.
3
Suppose -207 = -24*r + 1041. Solve 11*c - r = -15*c for c.
2
Let f(t) = -4*t - 52. Let c be f(-13). Solve c*d = 3*d - 12 for d.
4
Let g = 78 - 63. Solve 30 = -9*l - g for l.
-5
Let x(c) = -2*c. Let n be x(0). Let v = 7 + n. Solve -8 = -3*j + v*j for j.
-2
Let l be ((-9)/(-27))/((-1)/(-36)). Solve -17*z + l*z = -20 for z.
4
Let x(z) = -z**2 + 5*z + 6. Let i be x(-3). Let k = i - -34. Solve k = 6*m - 2*m for m.
4
Let g = 115 - 112. Solve 0 = d - g - 2 for d.
5
Suppose -5*u = -15 - 15. Suppose u*h + 5*h = 33. Solve -2*m = -m - h for m.
3
Suppose 0 = -8*h + 3*h + 15. Suppose 20 = y + h*y. Solve 0 = -p + 3 - y for p.
-2
Let w = 22 + -19. Suppose 5 = -w*j + 4*j. Suppose -j*m + 2*m + 21 = 0. Solve -2*s = -3 - m for s.
5
Let l(o) = 8*o**2 - 14*o - 17. Let c(r) = 3*r**2 - 5*r - 6. Let y(n) = 11*c(n) - 4*l(n). Let d be y(-1). Solve -u + 6 = d for u.
4
Let d = 1281 - 1269. Solve d*o - 3 = 9 for o.
1
Let z be (45/3)/5 - -2. Solve 2 + 8 = -z*a for a.
-2
Let v = -501 - -508. Solve 0 = -v*k + 5*k for k.
0
Suppose 4*j - 2*m - 88 = 0, -5*j + m + 115 + 1 = 0. Let c = -24 + j. Solve 0 = -c*x - 3*x for x.
0
Let u(o) = -o**3 - 7*o**2 - 13*o - 11. Let p be u(-5). Solve 2*k + p = k for k.
-4
Suppose -10*l = 4 - 24. Suppose l = -3*h + 4*h. Solve 2 - 6 = -h*p for p.
2
Let g = -60 - -68. Solve 4*u + 0*u = g for u.
2
Let a(f) = -f**2 - f + 1. Let l(g) = -g**3 - g**2 - 8*g + 7. Let o(t) = 5*a(t) - l(t). Let r be o(4). Solve 2*v = -3*v + r for v.
2
Suppose 0 = -3*z - 3*f + 1920, -4*f + 2514 - 589 = 3*z. Solve z = 3*j + 629 for j.
2
Let m(x) = 6*x**2 + 41*x + 41. Let z be m(-6). Solve z - 7 = -4*r for r.
-1
Let a be 1/(-1) + (-72)/(-6). Let n = a - 6. Let p = n - 3. Solve 0 = -p*u + 4*u + 6 for u.
-3
Let l = -773 + 790. Solve -l + 42 = 5*x for x.
5
Suppose 0 = -15*c + 191 + 184. Solve -c = 7*k - 2*k for k.
-5
Suppose 14 = 2*x - 2*r, 4*x = 8*r - 9*r + 28. Solve x*k = 1 + 34 for k.
5
Suppose c = -4*s - 2*c + 40, -3*c = -4*s + 16. Let j(n) = n**2 - 10*n + 21. Let o be j(s). Solve 0 = -4*x - o + 4 for x.
1
Let z = -192 + 198. Solve 0 = -z*i + i + 25 for i.
5
Suppose -10 = -k - 3*u, -u = -11*k + 15*k - 29. Solve k = 3*z - 5 for z.
4
Let d = -50 + 50. Suppose t = 2*o - 18, -3*o + t = -d*o - 27. Solve -o = 3*s - 0*s for s.
-3
Suppose 2*r = 6 - 2. Let y(b) = 2*b + 21. Suppose -42 = 4*v + 2*z, 3*v + 0*z + 21 = 2*z. Let k be y(v). Solve -r*x = -3*x + k for x.
3
Suppose -3 = -4*g - 2*q - 1, 0 = -2*g - 2*q. Let l = 0 + 6. Let b = l + -2. Solve -3 = b*h + g for h.
-1
Suppose 4*y = 5*s - 2*s + 52, 32 = -3*s - y. Let j(f) = -f**3 - 12*f**2 - 2*f - 18. Let v be j(s). Solve -4*a - 2 = -v for a.
1
Let t be -4 - (-7 + 2 - -1). Let m(f) = f + 3. Let w be m(-1). Solve t = -2*c - 0 + w for c.
1
Let h be (2/(-3))/(10/(-315)). Suppose v = b - 6*b + h, -b + 3 = -v. Suppose -k = b*k - 20. Solve 8 = -4*z - k for z.
-3
Let b = -17 + 84. Let y = -44 + b. Let c = y - 20. Solve 0 = 2*w + c - 11 for w.
4
Let p = 255 - 252. Suppose -2*r + 4*x = -