a*u = -2 - 1 for u.
-1
Suppose 2*b + 9 = -b. Let q = 7 + b. Solve -10 - 2 = q*f for f.
-3
Let w(d) = 7*d + 2. Let m be w(4). Suppose m + 6 = 3*s. Suppose 0 = -0*u + 4*u - s. Solve -25 = 2*z + u*z for z.
-5
Suppose -3*d = f + 4, f - 2 = -4*f - 4*d. Suppose -4*o + j = -20, -o + 2*j - 5 = -f*o. Solve l = o*l for l.
0
Let g(a) = -4*a - 1. Let y be g(-2). Let u = y + -7. Suppose u = 2*t - 0 - 4. Solve -2*z - t*z = -16 for z.
4
Let p be (-94)/(-6) + (-22)/33. Solve -4*n = -p - 1 for n.
4
Let d(f) = f**3 - 3*f**2 - 5*f + 4. Let h be d(4). Suppose 0 = -2*w - 4*v - 0*v, 5 = 2*w - v. Solve w = -2*c - h for c.
-1
Let a(q) = 2*q**2 + 5*q. Let g be a(-4). Let h be (-6)/(-10) + g/(-20). Solve -3*p + 4 - 1 = h for p.
1
Suppose 2*h = -0 + 4. Solve 0 = -m + 6 - h for m.
4
Let c = 5 - 1. Solve 2*h - h + c = 0 for h.
-4
Let n be (-4 - 1)*(-2)/5. Suppose -8 - 5 = 2*s - 5*a, -2*a = -n. Let k(u) = u + 8. Let h be k(s). Solve t - 3 = -h for t.
-1
Suppose l - 5*g = -11, 2*l + 25 = 6*l + 3*g. Suppose -l*r = -2*r - 8. Let c = 26 + -26. Solve -r*p - p - 20 = c for p.
-4
Let k(i) = i**3 + 6*i**2 - 2*i - 9. Let l be k(-6). Suppose -2*r - 4*o = 10, -4*o + l = 5*r - o. Solve x = r*x - 10 for x.
5
Let c be (12/9)/(6/9). Solve 0 = -c*o - 4 - 6 for o.
-5
Suppose -40 = -4*u + 3*u. Let o be (-1)/(-3) - u/(-6). Let c = -4 - -9. Solve 27 = -c*d + o for d.
-4
Suppose -30 = -5*u - 5*f, 2*u - 4*f = 5 + 7. Solve q = u*q for q.
0
Suppose z - 13 = -5*h, 6*z + 3*h - 21 = z. Let d be (z - 0 - 6) + 9. Solve -4*n + d*n = 8 for n.
4
Suppose 0 = 7*q + 7 - 35. Solve -q*y + 6 = -y for y.
2
Suppose -3*c = -2 - 10. Let l be -2 - (-2 + c)*-2. Suppose 10 = t - 3*p, 2*t + 0*p - 8 = 2*p. Solve -l*s + s = t for s.
-1
Suppose -4*z = 2*o - 7*o + 1, 4*o - 2 = 2*z. Let r be (-10)/(-2) - (z + 1). Suppose -w = -3*d + 15, -d + r*w + 9 = -4. Solve d = q + 2 for q.
2
Let z be (-4 - (0 + -4))/1. Solve z = 5*h - 0 - 10 for h.
2
Let c(w) = w - 10. Let y be c(10). Suppose y = -4*p + 12 + 16. Let u be -1 - p*(0 + -1). Solve u - 1 = -n for n.
-5
Suppose 4*i = 4*l - 12, -4*l - l + 35 = 5*i. Solve -3*n = -4*n - i for n.
-2
Suppose 5*x = 5*k + 10, 2*x = 2*k - 5*k + 4. Suppose k*n = -n. Solve -q - 5 = -n for q.
-5
Let d be (-2 - 2)/((-2)/(-4)*-4). Solve 0 = a - d*a for a.
0
Let t(p) = -2*p + 18. Let n be t(9). Solve -3*d + 9 = -n*d for d.
3
Let x = 73 + -72. Solve -3*w - 2 = x for w.
-1
Let x = 19 - 13. Solve -4*o + x - 2 = 0 for o.
1
Let r be (3 + 1 + -4)/(-2). Solve 2*m - 10 = -r*m for m.
5
Let y(i) = i**3 - 3*i**2 + 3*i - 6. Let l be y(3). Solve 3 + 0 = l*d for d.
1
Suppose 29 = 4*d + 5. Let y be 51/12 - d/(-8). Solve 0 = -2*o + y*o + 15 for o.
-5
Let y(r) = r**2 + 5*r - 7. Let i be y(-6). Let w = i - -4. Solve -w + 11 = 2*k for k.
4
Let j = -27 - -12. Let y = 23 + j. Solve y = 3*f - 5*f for f.
-4
Suppose -5*j = 4*h - 19, -3 = -j - j + 3*h. Suppose -i = -z - 1, 5*z = 2*i - i + 7. Suppose d = 5*d - 4*v - 96, j*d - 68 = z*v. Solve 0 = -m - 4*m + d for m.
4
Let u(y) = -y - 7. Let q be u(-9). Let a(d) = q*d - 2*d - 1 + 14*d**2 - 2*d. Let j be a(-1). Solve j = -0*p - 3*p for p.
-5
Suppose -2*b + 0*b = -6. Let i be (b + 0 - 3)/1. Solve -6*k + k + 25 = i for k.
5
Suppose 3*m + 9*m = 0. Solve -3*y - 2 - 10 = m for y.
-4
Suppose 2*l + 2*g - 9 = 3, -5*g = -2*l + 5. Suppose 0*n - 5*n + l*w + 25 = 0, 11 = -2*n - 5*w. Solve 1 - 3 = n*m for m.
-1
Suppose 4*c = -3 - 21. Let f(q) = -q**3 - 7*q**2 - 7*q - 6. Let r be f(c). Solve r = -5*s - 1 - 4 for s.
-1
Let w = 8 + -6. Solve -w*p = -6*p + 20 for p.
5
Let r = -11 - -28. Suppose -r + 8 = -3*t. Solve v = -t*v + 12 for v.
3
Suppose 34*i - 39*i = -50. Solve 5*r + 15 = -i for r.
-5
Let c = -5 + 8. Suppose -9 = -4*w + c. Solve 0 = -w*r - 0 - 6 for r.
-2
Suppose -3*t = 4*a - 25, 2*a = 3*t + 1 - 2. Solve 2*x + t = x for x.
-3
Let m(l) = -l**3 - 8*l**2 + 21*l + 12. Let h be m(-10). Solve h*y = 3*y - 1 for y.
1
Let d(g) = 16*g + 2 - g**2 + 23 + 8*g - 6*g. Let t be d(19). Solve t = -3*b - 0 for b.
-2
Let o(v) = -v**3 - 4*v**2 + 4*v + 1. Let u be o(-5). Suppose 12*f - 14 = 22. Solve f*a = u*a for a.
0
Let q(f) be the first derivative of -f**4/4 + 4*f**3/3 + 13*f**2/2 + f + 6. Let z be q(6). Solve 0 = 3*d + z + 5 for d.
-4
Suppose -5*t + 2*b - 4 = -7*t, -2*b = 4. Solve q = -3*q + t for q.
1
Let j(l) = 2*l + 1. Let c be j(1). Solve -b = -c*b for b.
0
Suppose 3*f + 2*q = 15, -2*f = -f + 5*q - 18. Solve 0 = g - 2 - f for g.
5
Let l(j) = 10*j - 4. Let y be l(3). Suppose 2*q - y = -0*q. Solve 0 = -5*m - q - 12 for m.
-5
Suppose 0 = -4*m + 5*w - 8, 5*m + 3*w - 23 = w. Suppose -5*t + m*u + 4 = -22, 2*u - 41 = -5*t. Solve 0 = -4*g + 3 - t for g.
-1
Let z be (-26)/(-5) + 3/(-15). Let g = -6 - -9. Let f be ((-14)/8)/((-3)/24). Solve -z + f = g*s for s.
3
Let k be 3/(-6)*-2 - -1. Suppose 3*f = 4*w - 63, 5*f - 35 = k*w - 7*w. Solve 0*u - 4*u = -w for u.
3
Suppose 3*q - 11 - 1 = 0. Suppose -4*i - t + 1 + 135 = 0, -5*t = q*i - 120. Suppose 5*g = 5*j - i, 4*g + 8 = 2*g. Solve 2*v - 20 = -j*v for v.
4
Let l(x) = 2*x - 3*x**3 - 5 + 2*x**3 + x + 4*x**2. Let s be l(4). Suppose o = -13*o + 70. Solve s = o*d + 2 for d.
1
Suppose -77 = 7*p - 14*p. Suppose 0 = -4*g + 4. Solve 3*r - p = g for r.
4
Suppose -4*g = f - 0*f - 25, -5*f + 20 = -g. Let a(z) = z**2 + 2*z. Let c be a(-3). Let n = c + g. Solve 0*b - n = -4*b for b.
2
Suppose -3*c = 2*c - 40. Let z = -137 - -137. Solve z = -2*v + 4*v + c for v.
-4
Let n(u) = u**3 - 4*u**2 - 16*u + 16. Let l be n(6). Let w(y) = 0*y**2 - y**2 - 6 - 9*y + 0*y**2. Let k be w(l). Solve -s = k*s + 6 for s.
-2
Suppose 41 = 3*y + 26. Solve 0 = -c + 4 - y for c.
-1
Let a = -8 - -12. Suppose -2*t + p + 9 = 0, -p - 21 = -4*t + a*p. Solve 0 = 4*w - 0 - t for w.
1
Suppose 2*l = -2*l + 12. Let y = -8 + 9. Suppose 2*q - 5*q = -l*t, -2*t = -q - y. Solve 0 = d + t - 2 for d.
1
Let j(h) = 2*h + 14*h**2 - 4 + 5 + 1 - 11*h**2 - h**3. Let d be j(3). Solve 0 = 3*p + p - d for p.
2
Let l(b) = 0 - 2 - b**2 - 11*b - 6. Let r be l(-7). Suppose a = 4, -2*n - 4*a = -n - r. Solve n*k - 6 = 2 for k.
2
Let z be ((-4)/5)/(6/(-30)). Suppose z*w - 11 = 5. Solve 3*h - 2*h + w = 0 for h.
-4
Let a be (-52)/6*12/(-8). Solve -5*o - 12 - a = 0 for o.
-5
Let f(d) = -5*d + 6. Let l(x) = -6*x + 6. Let w(s) = -3*f(s) + 2*l(s). Let o be w(5). Let t = o + -6. Solve -t*v + 2 = -4*v for v.
-2
Suppose 4*z + 0*z = 0. Solve 8 = -z*a + 4*a for a.
2
Let l(n) = -n**3 + 5*n**2 + 5*n + 6. Let k = 0 - 0. Let y be 8 - (3 + (-1 - k)). Let a be l(y). Solve a*h - 20 = 4*h for h.
-5
Suppose -4*f + 20 = -0, -5*f + 37 = 3*x. Solve 10 = x*g + 2 for g.
2
Let a(i) = 14*i**3 - 9*i**2 - 23*i - 20. Let o(b) = -5*b**3 + 3*b**2 + 8*b + 7. Let h(r) = 6*a(r) + 17*o(r). Let q be h(-3). Solve q = -g + 1 for g.
-4
Suppose -l + 4*l - 27 = 0. Solve 0 = 2*j + j - l for j.
3
Suppose 0 = 6*j - 9*j - 33. Let t = -4 - j. Solve t = 4*s - 13 for s.
5
Let a be 160/26 - (-28)/(-182). Solve k = -3 + a for k.
3
Suppose 1 = -2*h - 3. Let u(d) = d**3 + 2*d**2 - d. Let c be u(h). Solve -2*l - 20 = c*l for l.
-5
Let d = 2 - -1. Let l(u) = -2*u - 1 - 3 + d*u. Let q be l(7). Solve -q*m = -2*m - 4 for m.
4
Suppose -5*a + 20 = -f + 6*f, -2*a = -4*f + 22. Suppose 3*k + 2*g = -2, -3*g - 4 = 2*k - 1. Suppose 0 = f*m - k*m - 10. Solve 0 = -4*c - 2 - m for c.
-1
Let y = -4 + -8. Let f = -6 - y. Solve -f = -s + 3*s for s.
-3
Let x(r) = r**2 + 2*r + 1. Let k be x(4). Suppose p + 4*p = k. Solve p*b = b for b.
0
Let k be (-6)/(-9) - 16/(-3). Let d be 2*(-2 + 15/k). Let p be 2/3*3 + d. Solve -p*o + 6 + 0 = 0 for o.
2
Let a = 56 - 53. Solve -c + a*c = 0 for c.
0
Let m(j) = -j + 9. Let x be m(6). Solve 0*h + 15 = -x*h for h.
-5
Let y(s) = s**3 - s**2 - s + 1. Let c(j) = 6*j**3 - 10*j**2 - 4*j + 2. Let w(o) = c(o) - 5*y(o). Let i be w(5). Let b = 3 + i. Solve 0 = -b*m + 17 + 3 for m.
4
Let n(h) = h**3 + 6*h**2 + h + 7. Let p be n(-5). Let i be 29/(-9) + 6/p. Let t be (i/(-6))/(1/50). Solve 4*d + d = -t for d.
-5
Let f(t) = t**2 + 3*t - 6. Let v be f(-5). Suppose -v*p + 7 = 2*c + c, -4 = -3*c - p. Solve d - 4 = c for d.
5
Suppose -1 = 3*v - 13, -n - 5*v + 21 = 0. Let r = 6 + n. Let w be (-2)/r + 60/14. Solve -w*d = -d for d.
0
Let o(r) = r**3 + 8. Let v be o(0). Solve 0 = -l - v + 3 for l.
-5
Let u = -40 + 40. Solve 3 = -3*b - u for b.
-1
Let g = -10 + 0. Let y be (19 - 11)/((-4)/g). 