b*l + 1 for l.
1
Let u(p) = p**2 + p. Let q(s) = -s**3 + 5*s**2 + 6*s - 1. Let o be q(6). Let d be u(o). Suppose -z = -2 - d. Solve z*j + j = 0 for j.
0
Let h(a) = -9*a + 23. Let c(b) = -3*b + 8. Let p(q) = 8*c(q) - 3*h(q). Let x(g) = 4*g - 5. Let t(f) = 3*p(f) - 2*x(f). Let u be t(5). Solve n - 1 + 4 = u for n.
-3
Suppose -35 + 43 = 4*y. Suppose -s + 1 = y*j + 4, 3*s = 3*j + 27. Solve -15 = 2*g - s*g for g.
5
Let j be (0 + -1)/2*50. Suppose 3*s - 3*f - 28 = 71, -5*f = -s + 49. Let c = j + s. Solve 4 = c*o - 0*o for o.
1
Suppose -5*x + v = -109, -4*x + 8*v - 3*v + 83 = 0. Solve -3*d = 8*d + x for d.
-2
Let y(n) = -2*n**3 + 44*n**2 - 53*n + 234. Let v be y(21). Solve 0 = v*g + 23 - 11 for g.
-4
Let v = -249 + 269. Solve -28*y = -33*y - v for y.
-4
Let u be (-3)/(-1)*1*4. Suppose 5*s = -2*b + 12, 4*b + 2*s = b + 7. Let w be (-1 + b)*(-8)/16. Solve w = -2*g + 5*g - u for g.
4
Suppose 65*q - 66*q = 0. Solve q*g + 12 = -3*g for g.
-4
Suppose -l = -2*g - 36, -4*l - 4*g + 88 = -2*l. Let t = 56 - l. Suppose -2*h + 14 + t = 0. Solve 5*j + 35 - h = 0 for j.
-4
Let o be (3/3)/(-1)*1. Let b be -14*3/(6/o). Suppose -11 = -2*q + b. Solve 11 = -4*d - q for d.
-5
Let h = 66 + -62. Suppose 9*q = -5*s + 4*q - 15, -s + 4*q = -12. Solve -4*r - 12 + h = s for r.
-2
Suppose 8 = 223*m - 219*m. Suppose 0 = -p + j, -3*p + 2*j + 0 = -m. Let q be (-1)/2 - (-13)/2. Solve h - p = -q for h.
-4
Suppose 78*d - 10 = 73*d. Solve -z - d = -0*z for z.
-2
Suppose -3*v - 2*y = -28, -3*v - 2*v + 3*y = -72. Let k = -199 + 202. Suppose -k*q + 28 = 2*q - 2*z, -4*q - z + v = 0. Solve -b + 20 = q*b for b.
4
Suppose -3 = 4*p - 5*p. Suppose -5*w = -p*w. Suppose 3*j + 3 = w, 3*j - 1 = 4*m - 4. Solve 5*s + 3 - 8 = m for s.
1
Let w be (-6)/8 - (-207)/36. Suppose 4*f + 35 = 3*p, -w*f - 22 - 8 = -p. Solve p = -u - 0 for u.
-5
Let n(b) = 28*b**3 - 4*b**2 + 3*b - 1. Let a be n(1). Solve 12 = 30*y - a*y for y.
3
Let u(k) = -k**2 - 7*k + 11. Let t be u(-7). Let x = -6 + t. Solve -a = -0*a - x for a.
5
Suppose 3*q - 7*q = -4*u + 4, q = 2*u + 2. Let n be (-1)/(-1) - (-4 - u). Solve -n*i - 3*i = 25 for i.
-5
Suppose -3*w = w + 5*u, 0 = -2*w + 3*u - 0*u. Let d = 2 - -3. Solve w = -c + d*c - 12 for c.
3
Let y be (1 - 0)/(1/3). Suppose 0 = n - y*n + 18. Let k = 14 - n. Solve -k*m = -0*m + 25 for m.
-5
Let j = -30 - -21. Let d = -13 - -1. Let q = j - d. Solve f - 7 = -q for f.
4
Let f(l) = 3*l**2 - 6*l - 24. Let g be f(4). Solve g = -7*d - 8 - 27 for d.
-5
Suppose 6 = -4*g + 14. Let k be 16 - (1 + 5 - g). Let n = k + -10. Solve 0 = -n*u - 2*u - 16 for u.
-4
Suppose -3*b - 63 = -4*u + 3, -3*b = -3*u + 48. Let d = -15 + u. Solve 11 = d*v + 2 for v.
3
Let h = 113 - 97. Solve 2 = -9*a - h for a.
-2
Suppose -7 = -u + a, -u - 4 = -2*u - 2*a. Suppose -2*y + 28 = -u. Let b = -13 + y. Solve -b*r - 3 = 13 for r.
-4
Suppose 8*o - 2 - 22 = 0. Solve -o*n + 9 = 24 for n.
-5
Let y(h) = -h**3 + 44*h**2 + 2*h - 65. Let t be y(44). Solve 5*k = t - 3 for k.
4
Let s(t) = -t**2 + 5. Let w be s(3). Let n(g) = -g**3 - 5*g**2 - 4*g + 3. Let a be n(w). Solve c = -a*c for c.
0
Let q(r) = -r**2 + 20*r + 81. Let i be q(23). Solve -5*u = u - i for u.
2
Let j be ((-21)/(-9) + -3)*-3. Let o(d) = d + 2*d - d + j*d - 10. Let q be o(4). Solve p + q = 3*p for p.
3
Let d(p) = -3*p + 2. Let v(o) be the first derivative of o**2/2 - 4*o - 2. Let t be v(2). Let a be d(t). Solve a = r - 5*r for r.
-2
Suppose -1663 = 13*t + 677. Let z be 35/10*t/(-42). Solve -3*o - z = 2*o for o.
-3
Let f(s) = -s + 1. Let o(g) = -14*g - 5. Let x(z) = -3*f(z) + o(z). Let j be x(-3). Let y be 103/5 + (-15)/j. Solve -h + y = 3*h for h.
5
Let m(g) = -g**2 - 18*g - 32. Let f be m(-13). Suppose 2*i - f + 3 = 0. Suppose 10*t + 3 = 5*t + 3*a, -2*t - 1 = -a. Solve -w + 6*w - i = t for w.
3
Let b(o) = -o**3 + 19*o**2 + 18*o + 45. Let w be b(20). Solve 0 = -7*p + 16*p - w*p for p.
0
Let t = 460 + -457. Solve 3 = -t*m - 6 for m.
-3
Let j(b) = 4 + 12*b - 7*b - 3*b. Let h be j(-2). Solve h = -2*v - 0*v + 6 for v.
3
Suppose -9*s + 23 = -4. Let b be (-2)/3 - (-17)/3. Suppose 3*a + 3*j = -9, -1 = a + 2*j + b. Solve -s*h - 6 = -a*h for h.
-2
Let b be ((-1)/(-3))/((-5)/15). Let o be (b + 0)/(1/(-2)). Suppose 4*y - 3*w = -6 - o, 9 = -3*y + 3*w. Solve -d + y + 0 = 0 for d.
1
Suppose -3*t - t = -56. Let b be (-30)/9*3/(-2). Let u = b + -1. Solve -u*a = t + 2 for a.
-4
Suppose -3*r - 4 = -3*v + 17, 4*v + 3*r = 7. Suppose v*q - 45 = q. Let l = q - 10. Solve -s + 2*s - l = 0 for s.
5
Let g = -18 - -67. Let i be ((-4)/(-7))/(14/g). Solve 0 = 6*u - i*u + 20 for u.
-5
Let r be (0/2 - 3)/(-1). Suppose -6*t = -t - 45. Let s(g) = -g**2 + 8*g + 10. Let d be s(t). Solve r - d = c for c.
2
Let y = -117 - -119. Let c = 28 + -16. Suppose 5*m - 3*m + 4*b = c, 6 = -m + y*b. Solve u + 2 - 3 = m for u.
1
Suppose 0*v = -2*v. Let n be 1*4 - v - 0. Let u be ((-48)/10)/(21/(105/(-2))). Solve -o = -n*o + u for o.
4
Suppose 2*j - 2*c = 2*c + 16, 16 = -2*j - 4*c. Suppose -2*f - f - 12 = j. Let i be f/(-1)*15/20. Solve 0 = -3*b + i for b.
1
Let o(d) = 11*d - 96. Let a be o(9). Solve 0*s = s - a for s.
3
Suppose 0 = -6*i + i + 5. Let l(j) = 4*j - i - 3*j + 3. Let y be l(0). Solve 5 = y*z - 3 for z.
4
Let r(s) = -s**3 - 32*s**2 - 61*s - 24. Let g be r(-30). Solve -18 = -g*n + 12 for n.
5
Let g = 81 - 125. Let o = g + 44. Solve o = -s - s for s.
0
Suppose 2*w - 88 = 3*t, 0 = -3*t - t + 8. Solve w*h = 50*h + 3 for h.
-1
Let v be 12/8*2*1. Let p(y) = -y**2 - 9*y + 6. Suppose 0 = -4*q + 5 - 33. Let d be p(q). Solve v*f + 2*f = -d for f.
-4
Suppose 2*l - 96 = -5*n, 4*l + 48 = 4*n - 2*n. Let h(a) = -a**2 + 4*a + 7. Let f(i) = -i + 2. Let r be f(-3). Let s be h(r). Solve 6*g = s*g + n for g.
5
Let i be (-18)/(-5) - 4/(-10). Suppose i*y - 16 = -3*g, 3*g = -2*g - y + 38. Let q = -4 + g. Solve 0 = -q*z + 19 + 1 for z.
5
Let b(g) = g**3 - 3*g**2 - 2*g + 4. Let q be b(3). Let k = q + 8. Let v = -2 + k. Solve o - v*o = -9 for o.
3
Let l(b) be the second derivative of b**4/12 - 3*b**3/2 - 4*b**2 - 2*b. Let r = 22 + -12. Let s be l(r). Solve -y + s - 5 = 0 for y.
-3
Let k = 11 + -7. Let n be (6/15)/(2/10). Suppose -4 = k*i + 4*r - 20, 4*i - n*r = 4. Solve i*w = -w for w.
0
Suppose 144 = 6*p - 18*p. Let s be (-63)/p - 7/28. Solve 4*b = s*b + 3 for b.
-3
Suppose 5*s + 20 - 5 = 0. Let i(v) = -v + 4. Let z be i(s). Let g = -3 + z. Solve 8*b - 20 = g*b for b.
5
Let d = -95 + 96. Solve 0 = 2*q + 3 + d for q.
-2
Suppose 5*q = -4*u + 25, -3*u - 2*q - 2*q + 19 = 0. Let n be u - 6 - 3/(-1). Let w = 5 - n. Solve 4*r = w*r + 2 for r.
2
Let g be ((14 + -14)/(-16))/(1/1). Solve g = 52*m - 57*m - 5 for m.
-1
Let h be 0 + (-15)/12 + 5/4. Solve -3*y - 59 + 68 = h for y.
3
Let x be 14/3 + 9/27. Suppose 2*w + 4 = -4*y, -x*w + 6 = -y - 17. Solve 0*u + w*u + 4 = 0 for u.
-1
Suppose c - 8*c + 455 = 0. Let s = c - 63. Solve -8 - s = 2*n for n.
-5
Let d = -120 - -121. Solve -d + 5 = r for r.
4
Suppose 0 = -5*w + 2*w + 9. Let b be (-2)/(4/(-10)) - w. Solve 0 = -b*c + 6*c for c.
0
Let m(p) = 5*p**3 + 8*p**3 - 15*p**3 - 3 + 3*p + 8*p**2 + p**3. Let b be m(8). Solve 1 - b = 4*c for c.
-5
Let k(r) = -r**3 - 12*r**2 + 3*r + 17. Suppose -2*a + 0*a = 4*y + 40, -3*y = 5*a + 72. Let s be k(a). Let h = 39 + s. Solve 0 = -4*z - 0*z - h for z.
-5
Suppose -70 = -5*x - 4*k, 3*x = -k - 3*k + 50. Suppose x*f - 8*f + 36 = 0. Let t = f + 18. Solve m - 5 = -t for m.
5
Let f = 508 + -412. Solve 91*m = f*m + 25 for m.
-5
Suppose -2*o - 12 + 42 = 3*x, -x = 3*o - 10. Suppose 0 = -3*b - 4*n + 45, b - 7 = -3*n + 3. Let j = b + -16. Solve 1 = -j*q + x for q.
3
Let x = -167 - -169. Solve x*d + 22 = 14 for d.
-4
Let d = 23 + -11. Let y = -22 + d. Let g be 98/5 - 4/y. Solve -3*q - 2*q = -g for q.
4
Let i(j) = -j**3 + 11*j. Let u be i(-4). Solve 0 = -7*p + 3*p + u for p.
5
Suppose -5 = 2*r - 11. Suppose 0 = -2*q + r - 5. Let a be q + (2 - 1) + 2. Solve -a*j = -j for j.
0
Suppose -3*v = 4*w + v - 28, 5*w - 4*v = -10. Let t be w - 1*(2 + 0). Suppose 4*g + 5 - 9 = 0. Solve t*x + x = g for x.
1
Suppose -w + 46 = 3*d + 4, 6 = d + 3*w. Suppose 4*v = -k - 0*k + d, 0 = 3*v + 3*k - 9. Let c be (2 + -4)*(-15)/10. Solve v = c*q + 13 for q.
-3
Let h = -13 + 13. Let b(x) = x**2 - x + 3. Let y be b(h). Solve 0 = y*m + 2*m for m.
0
Let x be (1 - 292/(-8))*(-16)/10. Let s = -53 - x. Solve 0