 95 + 25, -4*a + 4*b + 120 = 0. Let z = 31 - a. Solve 0 = -l - 0*l + z for l.
1
Suppose -3*l - 3*d - 15 = 0, 2*l + 4*d = 3*l - 20. Suppose -u - 4*x + 29 = l, 0 = -3*u + 6*x - x + 36. Let f be (-4)/(8/(-10)*1). Solve f - u = -4*z for z.
3
Let q(f) = f**3 - 8*f**2 + 18*f - 32. Let x be q(6). Solve -x*u = u for u.
0
Let f(z) = z - 5. Let u be f(6). Let l be (-4)/(-14) + 30/(-7). Let i = l + 6. Solve i*n + u = n for n.
-1
Suppose 10*w - 15 = 35. Let z(o) = -11*o + 1. Let n be z(-1). Solve -x - n = -w*x for x.
3
Let l = -933 - -1001. Solve l = 3*c + 62 for c.
2
Let b = -249 - -252. Solve -3*t - b - 3 = 0 for t.
-2
Suppose 3*m - 2*f = -6, -3*m + 4*f + 12 = 8*f. Solve m = -7*i - 3 + 10 for i.
1
Let d be (1/4)/((-4)/(-80)). Let n be d/(10/(-6))*-1. Solve 5*t - 8 = n*t for t.
4
Suppose 0 = 5*f - 2*c - 22, 5*f + c - 30 + 11 = 0. Solve f*k = -7*k for k.
0
Let k(c) = -c. Let r(l) = 13*l + 1. Let i(m) = 5*k(m) + r(m). Let a be i(2). Let t = -12 + a. Solve 0*j = j + t for j.
-5
Let p(u) = 2*u**2 - 13*u - 8 + 8 + 2 + 7. Let b be p(6). Solve -2*f + b = -3 for f.
3
Let f be (-3 - 8/(-3))*-6. Let t(y) = -y**f + 9 - 9*y - 6 - 7. Let r be t(-8). Solve 5*p = r*p for p.
0
Suppose 0 = x - 15*l + 12*l - 10, 0 = 4*x + 4*l - 40. Suppose b + 2 = w - 5, 4*w = 3*b + 19. Let u = b - -14. Solve -u - x = -3*m for m.
5
Suppose 5*q = q - 4*v + 36, -4*v = -2*q - 12. Solve -7*x + 10 = -q for x.
2
Let d be 4/(-1*(-4)/(-16)). Let p = 35 + d. Solve 4 - p = -5*r for r.
3
Let k = -7 + 10. Suppose -15*t = -12*t. Let d be (-7 + 0)*12/(-7). Solve -k*o + t*o = -d for o.
4
Let m(r) = -4*r**3 - 2*r**2 + 2*r - 1. Let u be m(1). Let s be (0 - 16/20)*u. Suppose -s*n = n - 10. Solve 12 = n*q + q for q.
4
Suppose 4*b - 18 = 6*q - 4*q, 4*b - q = 13. Solve 6*i - 5*i = b for i.
2
Suppose 4*o - 736 = -224. Let u be ((-6)/4)/((-24)/o). Solve -u = 5*r - 3 for r.
-1
Suppose -6*w - 6 = -7*w. Suppose q - 7 = -w. Solve i - 6 = -q for i.
5
Let b be 6/14 + 575/161. Solve -b*a = -0*a + 4 for a.
-1
Suppose -909 = 5*y + 4*y. Let u = 104 + y. Suppose 5*b = -3*c - 15, -1 = -5*c + b + 2. Solve -12 = u*n - c for n.
-4
Suppose 0 = 5*v - 5, 5*h + 5*v = 2*v - 362. Let y = h + 75. Solve -y*a + 7*a - 15 = 0 for a.
3
Let k(c) be the second derivative of c**4/12 - 8*c**3/3 - 16*c**2 + 18*c. Let b be k(18). Solve b*f = 2*f - 6 for f.
-3
Suppose 34 = 3*x - 4*y, 3*x + y - 22 = -8. Solve 0 = -5*j + 7*j + x for j.
-3
Let k = 74 + -73. Let w be (-5 + k)*(-2 - (-9)/6). Solve -w*d - 5 = -1 for d.
-2
Let w = -460 + 478. Solve 22*i = w*i + 4 for i.
1
Suppose -v - 4*k = -15, 0 = -3*v + 5*k - 8 + 2. Suppose 0 = v*l + 4 - 10. Solve 0 = -4*f - l - 18 for f.
-5
Let k be ((-12)/(-1))/(14/(-7)). Let b be ((-32)/(-12))/((-4)/k). Solve 21 - 1 = b*a for a.
5
Let q(u) = -2*u**3 - 15*u**2 + 5*u - 19. Let k be q(-8). Solve -k*d = 2*d - 21 for d.
3
Let n(l) = -15*l - 45. Let q be n(-3). Solve 12*h = -q*h for h.
0
Let u(d) = d - 7. Let w(l) = -l + 1. Let k(z) = u(z) + 2*w(z). Let n be k(-8). Suppose c + 4*g = 4, -c - n*c - 4*g = -4. Solve c*p + 5*p = 20 for p.
4
Let p(f) = f - 4. Let v(s) = s + 2. Let i be v(4). Let k be p(i). Let q = 15 + -10. Solve q - 13 = -k*x for x.
4
Let s = -22 - -32. Suppose 4*d - s = 18. Solve 3*u + d + 5 = 0 for u.
-4
Let v = -2 + 5. Suppose -v*g + 21 = 3. Suppose 8*k - 3*k = 0. Solve 4*r + g + 2 = k for r.
-2
Let a be -1*(-4 - -2) - -107. Let l = -46 + a. Suppose 2*v = -3*z + 43, -3*v - 3*z = -0*z - l. Solve -4*y = y + v for y.
-4
Let l be (-24)/(-14) - 20/(-70). Suppose l*s - y = 9, s + 5*y + 23 = -0*s. Let o(r) = r**3 - 7*r**2 - 7*r - 4. Let d be o(8). Solve 10 = -d*k + s*k for k.
-5
Suppose -2*f = -2*c + 12, f + 28 = 2*c + 3*f. Suppose -3*w - 20 - c = 0. Let m = 11 + w. Solve q + m = -1 for q.
-2
Let g(z) = -1. Let k(l) = -l. Let n(y) = 5*g(y) - k(y). Let w be n(7). Solve w*p + 4 = -0 for p.
-2
Let i(w) = 2*w. Let u be i(6). Suppose 3*m - 3 = -b, 3*m = -0*m - u. Let o be (-1 - 8)*(-5)/b. Solve 9 = -o*z - 0 for z.
-3
Suppose -4*d = -0*i + 4*i - 328, 2*d - 398 = -5*i. Let q = i + -70. Solve -q*f = -3*f for f.
0
Let y = 16 - 12. Solve -12*i - y = -8*i for i.
-1
Suppose 2*u + 0*n - 19 = 5*n, 3*u + 5*n = -34. Let b be 45/(-12)*8/u. Solve b = -2*w + 4*w for w.
5
Let l(y) be the second derivative of y**4/12 - 4*y**3/3 + 17*y**2/2 - 5*y. Let c be l(5). Solve -6 = 4*o + c for o.
-2
Let t = 35 - 30. Let o(m) = 4*m - 20. Let n(d) = 5*d - 21. Let z(w) = 3*n(w) - 4*o(w). Let f be z(0). Solve 3*v + f = t for v.
-4
Let v(u) = 2*u**2 - u**2 - 12 + 5*u - 4 + 2. Let a be v(2). Solve -2*h + 0*h + 8 = a for h.
4
Let v(i) = 2*i**3 + 29*i**2 - 13*i + 37. Let p be v(-15). Suppose 0 = -3*j + p*j - 8. Solve 6*g = j*g for g.
0
Let d = -51 + 61. Suppose d - 13 = -3*q. Solve 4*f - 5 + q = 0 for f.
1
Suppose -3*v = 2*v. Let d = -76 + 72. Let n be (d - -3)/((-318)/105 - -3). Solve v = 5*u + 10 - n for u.
5
Let k be 1/(-3) - (-128)/6. Suppose 4*d = 2*d - 2. Let s be 4*(54/24 - (-2)/d). Solve s = -4*l + k for l.
5
Suppose 5*k + 65 = -5*g, 2*k - 3*g + 1 + 20 = 0. Let f be -4 - k - (-1 + 4). Solve 0 = -0*l + f*l for l.
0
Let s(c) = -32*c**3. Let t be s(1). Let k = 32 + t. Solve 4*q + 5 - 17 = k for q.
3
Suppose 0 = -17*v + 5694 - 5609. Suppose f + 4 = 2*r, 5*r - 5*f = 2*r + 6. Suppose -5*x + 9 = -r*x. Solve -v*k - x = 22 for k.
-5
Let j(g) = 55*g + 1046. Let q be j(-19). Solve 0 = 139*u - 138*u - q for u.
1
Let q = -16 + 43. Solve 4*g + q - 7 = 0 for g.
-5
Suppose -5*h + 5*m + 2 = -43, 3*h - m - 19 = 0. Suppose 0 = 2*f - 14 - 6. Let s(k) = -k**3 - 1. Let x be s(-1). Solve -h*d + f*d = x for d.
0
Suppose 0 = -17*g - 8 - 56 + 149. Let x = 23 - 15. Solve l - x = g*l for l.
-2
Let j(h) = h**2 + 18*h - 57. Let b be j(3). Solve 5*z - 1 = -b for z.
-1
Let s(v) = -78*v**2 + 558*v - 15. Let t be s(7). Solve -5*n - t = 18*n for n.
-3
Suppose 4*t = 20, 0 = -5*m + 2*t - 5*t + 550. Let p = m - 57. Suppose -49*u = -p*u. Solve 0*x + x = u for x.
0
Let f(z) = 4*z - 5. Let h be f(-8). Let q = h - -42. Solve -20 = q*b - 0 for b.
-4
Suppose 0 = -13*n + 145 + 115. Suppose -59 = -n*j + 1. Solve 0 = -4*x + j + 1 for x.
1
Suppose 0 = -3*o + n + 7, -7*o + 9 = -2*o + n. Let b be 0/((-6)/(o/1)). Suppose b = 12*g - 11*g. Solve g*c = -5*c + 10 for c.
2
Suppose -2*w - u + 8 = -5, 0 = 3*w - 2*u - 9. Suppose 2*k + 15 = w*k. Solve -4*r + 5*r + k = 0 for r.
-5
Let n = 342 + -340. Solve n*p + 28 = 24 for p.
-2
Let s(f) = f**3 + f**2 - f + 11. Let y be s(0). Suppose 0*x + w - y = -x, 0 = 3*x - 3*w - 15. Suppose -2*l = -0 - x. Solve -4*j = -0*j + l for j.
-1
Let v(f) = -5*f**3 - 2*f - 2. Let n be v(-1). Let c = -8 - -8. Solve c = -n*o + o for o.
0
Let s = -7 + 8. Let g(w) = 7*w**2 - 4*w. Let b be g(s). Solve p - b*p = -8 for p.
4
Let a(g) = -g**2 - 3*g - 2. Let l(j) = -j**2 + 3*j + 2. Let k be l(3). Suppose -o + 6*o - 3*z - 2 = 0, -24 = k*o + 5*z. Let w be a(o). Solve w*h - 4 = -h for h.
4
Let g(b) = -5*b**2 - 15*b + 18. Let d(v) = v**2. Let x(p) = 6*d(p) + g(p). Let q be x(14). Solve 5*z - q = 3*z for z.
2
Suppose 2*z + p - 6 = 0, -p + 2*p = 4*z - 18. Suppose -51*n = 2*n. Let l = 7 - 5. Solve n = l*d + 4 + z for d.
-4
Let f be (-136)/(-4) + (1 - 4). Solve f = 13*m - 21 for m.
4
Let h be 1*((-5)/(-1) + -5). Solve h = 2*l - 6*l + 4 for l.
1
Suppose 0 = 4*s - 0*s - 112. Suppose 12*n = 19*n - s. Solve n*k = -k + 20 for k.
4
Let a be -4 - (4 - 8) - (6 - 8). Solve a = -6*i + 8 for i.
1
Let h(b) = b + 6. Let p be 2 + 1 + -3 + 2. Suppose p*o + 1 + 2 = -n, 3*o - 3*n + 18 = 0. Let j be h(o). Solve 6 - 3 = -j*q for q.
-1
Suppose -7*g - 2*c + 14 = -c, 0 = -4*c. Solve -g*d - 2 = 2 for d.
-2
Suppose 80 = 2*b + 2*z, 6*z - 48 = -b + 7*z. Solve -4*a = 7*a + b for a.
-4
Let p be (-1 + 6)/((-100)/(-40)). Suppose 5*o - 13 - 4 = -p*m, -m + 13 = 4*o. Solve -3 - m = 4*a for a.
-1
Let g = 733 - 730. Solve 0 = -13*m - g + 29 for m.
2
Let k be 14 - 3/(-12)*-28. Solve 4*s - k = 5 for s.
3
Suppose -8*v = -7*v - 2. Let w be (4/(-14))/(v/(-14)). Solve -w*z = z for z.
0
Suppose 2*q = -4*r - 11 + 13, q - 4*r = 19. Solve q*w - 15*w + 12*w = 0 for w.
0
Suppose 0 = -2*k - 2*d - d - 4, 4*d + 8 = 0. Let w be (24/36)/(k/3). Solve 0 = -w*h + 1 + 7 for h.
4
Suppose -5*d = -2*d - z - 17, 5*d - z - 27 = 0. Let a be 1*(6 + (2 - d)). Solve -a + 5 = -o for o.
-2
Let x(n) = -9*n - 3. Let k be x(4). Let p be (-65)/k + (-1)