d for f.
2
Let q(z) = -7*z - 59. Let a be q(-9). Solve a*u + 4 = 12 for u.
2
Let h(c) = -c**3 - 8*c**2 - 8*c - 5. Let o be h(-7). Let j(r) = -r**3 + r**2 + 2*r. Let d be j(o). Solve w + d*w = -2 for w.
-2
Let t = -23 - -33. Suppose 2*d + 2*f - 4 = 0, 3*f = 4*d - 9*d + t. Solve 8 = 2*y + d for y.
3
Let u(i) = i**2 - 10*i - 2. Let q be u(11). Let c = 12 - q. Suppose 0 = -2*x + 16 + 10. Solve -c = -5*m - x for m.
-2
Suppose -f + 12 = 2*f. Suppose -3 = c - f. Solve d + 3 = -c for d.
-4
Let v be ((-9)/(-3) - -1) + -2. Solve v = 5*x + 7 for x.
-1
Let c(y) = 4*y**2 - y - 2. Let z be c(2). Let o = 7 - z. Let f = -3 - o. Solve 3*q + 25 = -f*q for q.
-5
Suppose -8 = 5*t - 3. Let p = -1 - t. Let s(k) = k**2 + 10*k + 22. Let g be s(-8). Solve p*c + g = 2*c for c.
3
Let o(x) = -5*x + 3*x + 12 + 3*x - 2*x. Let l be o(6). Suppose -l = -j - j. Solve -j*c + 5 - 17 = 0 for c.
-4
Let c be ((-10)/(-30))/(1/6). Let f be c + 0 + (2 - -1). Solve s = -4*s - f for s.
-1
Let d = 21 - 9. Suppose r = -r + d. Solve -2*g + r - 2 = 0 for g.
2
Let r(u) = 2*u**2 - 4. Suppose -b - 1 = 1. Let g be r(b). Solve d = g*d + 9 for d.
-3
Suppose -2*s = -2*h + 60, -4*s + 65 = 2*h - 7*s. Solve -3*z - 2*z = -h for z.
5
Let v = -5 + 2. Let i be (-2 - -2) + v + 7. Solve -m = -i + 1 for m.
3
Suppose 0 = -2*s + 10 - 0. Let y be (3 + (2 - 3))/1. Suppose 13 = 3*p - m, -p + 3*m = -y - s. Solve h = -h + p for h.
2
Let f = 13 + -17. Let s(p) = p**2 + 4*p + 2. Let d be s(f). Solve -6 = d*y + 4 for y.
-5
Suppose 5*a = 5*c + 20, -6*a + 70 = -a + 5*c. Solve 2*k - a = -k for k.
3
Suppose 4 = a + 2*p, -2*p + 16 - 4 = 3*a. Solve a*b - 2 = -18 for b.
-4
Suppose -5 = -3*r - 11. Let t be 0/2 + 22 + r. Let b(y) = -y**3 + 3*y**2 + 6*y - 3. Let v be b(4). Solve 0*f - t = -v*f for f.
4
Let n(h) = h - h**3 + 0*h**3 + h + 1. Let y be n(-2). Suppose -3*a + 76 - 1 = 0. Solve -y*t + 0*t = a for t.
-5
Suppose 3*f - x = 50, 4*x = -9*f + 5*f + 40. Solve 6*r + f = r for r.
-3
Let m = 31 + -25. Solve -4*k - 10 = m for k.
-4
Suppose 0 = -5*m + l + 5, -4 = 2*m - 6*m + 3*l. Solve -m = -5*b - 6 for b.
-1
Let w(s) = s**3 - 7*s**2 + s - 6. Let i be w(7). Solve 2*y + i = 3 for y.
1
Let b(w) be the first derivative of w**3 + w + 1. Let i be b(-1). Let t(g) = g - 4. Let d be t(i). Solve 2*v + 2*v + 20 = d for v.
-5
Let w be 9/((-18)/(-7)) + 2/(-4). Solve -6 = -w*x + x for x.
3
Let b be ((-6)/(-5))/(14/35). Solve b*o = -o + 20 for o.
5
Let c(g) = -g**3 + g**2 + 2*g. Let j be (-5)/(-10) - 3/(-2). Let y be c(j). Suppose -q - 3*x = -0*q - 22, 2*x - 31 = -3*q. Solve y = s + 2 - q for s.
5
Let l be 12/(-8)*(-20)/15. Solve -l = -k - 4 for k.
-2
Let r(i) = i**2 + i + 4. Let k be r(-4). Let p = k + -11. Solve 0 = -0*t - t + p for t.
5
Let v(a) = a**2 - 3*a - 6. Let h be v(5). Solve -h*u + u = 0 for u.
0
Let m be (2/(-1))/(6/3). Let t(q) = 5*q**2 + 8 - 8. Let p be t(m). Solve -p*s = -s for s.
0
Let z(y) = -y**3 - 8*y**2 - y - 2. Let o be z(-8). Suppose -12 = -2*i - 3*h, -o*i + 3*h + 9 = -i. Solve i*d + 11 = -4 for d.
-5
Let i = -30 - -31. Solve -4*t = 9 - i for t.
-2
Let i = 54 + -53. Solve 9 + i = 2*t for t.
5
Let q be (3 - 5) + (-8)/(-2). Solve 0 = m - q*m + 3 for m.
3
Suppose 0 = 4*r + 20 - 260. Suppose 5*g = 2*a - r, 4*g + 9 = -4*a + 73. Let w be (-4)/6*(-180)/40. Solve -w*m - m = a for m.
-5
Let d be (-12)/(-6) - 1 - (-16 + 1). Solve -2*z + d = 2*z for z.
4
Let g(d) = -2*d**3 - 2*d**2 + d - 2. Let k be g(-2). Let x = k + -3. Solve -j + 0 = -x for j.
1
Suppose 0 - 1 = a, -4*a + 4 = 4*z. Solve -3 + z = -n for n.
1
Suppose -4 + 19 = 3*f. Suppose -3*g = -f - 7, 4*l - 2*g = 0. Solve -s = l*s for s.
0
Let l(y) = y**3 - 9*y**2 + y - 4. Let o be 12/(-10)*(-45)/6. Let h be l(o). Suppose -d - h*b - 10 = -b, 0 = 5*d - 4*b - 22. Solve d*g = g for g.
0
Suppose c = 4*c. Solve c*o = o - 3 for o.
3
Suppose 0 = -4*l - c + 104, 3*l + 26 = c + 97. Let a(z) = -z + z + 1 - z. Let v be a(-5). Solve -x + l = -v*x for x.
-5
Suppose 0*h + 12 = 3*h. Solve 4*g = -0 - h for g.
-1
Let o = -4 + 4. Suppose -j + 0 + 2 = o. Let a(k) = k**3 + 2*k - 2. Let s be a(j). Solve 4*p + p - s = 0 for p.
2
Let f(a) = 11*a**3 - a**2 + 1. Let i be f(1). Let j be 0 - (-2 - (-1)/(-1)). Solve i = j*v - 4 for v.
5
Suppose 4*m - 175 - 17 = 0. Suppose -r = 3*r - m. Solve -5*u - r = 13 for u.
-5
Let l = -4 - -4. Let o = 0 + 5. Let i = 1 + o. Solve l = -2*m + i - 4 for m.
1
Suppose 3*l - 3 + 39 = 0. Let d(n) = -9 - n - 2*n + n + n. Let i be d(l). Solve -8 - 1 = -i*t for t.
3
Suppose -3*k + k = -0*k. Let w be -2 + 1 - 10/(-2). Let t be 2/(w/10) + 0. Solve -5*x + k = -t for x.
1
Suppose 2*c = -4*t - 14, 5*c + 5*t = t - 11. Let x = -8 - -15. Suppose 11*s = x*s + 8. Solve c = s*g - 3 for g.
2
Suppose s - 8 = -3*s. Let p be ((-1)/2)/(s/(-80)). Solve -3*t - p = 2*t for t.
-4
Let t = 9 - 5. Solve 1 + t = d for d.
5
Suppose -4*x + 0*z = z - 12, 5*x + 2*z - 15 = 0. Let m = 14 + -4. Solve x*i + m = i for i.
-5
Suppose j = 2*d + 11, 0 = -3*j + 4*d + 28 - 1. Solve 6 = -j*u - 4 for u.
-2
Suppose -7 + 1 = -s. Let d = s - 6. Solve d*l - l = 0 for l.
0
Let z be (-1 + 1)*(-2)/2. Let y be z/(-1) + -1 + 3. Suppose 4*w - 5 = 3. Solve -w = -y*m + 3*m for m.
-2
Suppose 2*v - x + 3*x + 4 = 0, 3*v = -5*x - 10. Let t = 15 + -10. Suppose t*l - 2 = 18. Solve d + l*d + 10 = v for d.
-2
Let g(m) = -2 - 2*m - m**2 + 4*m + 2*m. Let u be g(2). Let k be (6/u)/(4 - 3). Solve 0 = k*h - 2*h for h.
0
Let n be ((-32)/5)/(2/40). Let a be (-1)/3 + n/(-24). Suppose a*w - 3*w = 4. Solve -3 = w*x + x for x.
-1
Let h = 3 + -3. Solve n - 8 + 3 = h for n.
5
Suppose -2*x = -3*x + 3. Suppose -x*n = -2*n. Solve c + n*c = -2 for c.
-2
Let g(p) = -3*p - 2. Let f(k) = -k**3 - 3*k**2 - 2. Let c be f(-3). Let d be g(c). Suppose -5*o = -y - 19, o = y - d*y + 7. Solve o*q - q = 0 for q.
0
Let h = 0 + 6. Let p be (3 - 1)*(h + -3). Solve -p + 1 = -g for g.
5
Let u(b) = b**3 - 5*b**2 + 5*b. Let q be -1 + 1 + -1 + 3. Suppose 2*v - 16 = -q*v. Let f be u(v). Solve -5*c - 24 = -f for c.
-4
Let t = 6 + -3. Suppose 5*v = -2*a + a + 28, -t*a + 3*v = -30. Solve -5*x - 12 = a for x.
-5
Let s be (-8)/(-44) - 2/11. Solve s = 3*g + g - 12 for g.
3
Suppose 2*p - p = -p. Solve g - 3 + 8 = p for g.
-5
Let z be -4*3/6*-2. Let c(g) = -g + 4. Let x be c(z). Solve x = -4*y - y + 15 for y.
3
Let c = 14 - 12. Suppose -4*g + c*g + 8 = 0. Solve p - 3*p = g for p.
-2
Suppose -2*v - 10 = -20. Solve -u - 4*u - v = 0 for u.
-1
Let k(s) = s**3 - 8*s**2 - 8*s - 8. Let h be k(9). Let m be (-1 - -1) + 1 + h. Solve -2*y - 4 + m = 0 for y.
-1
Suppose -35 = -4*x + 85. Let o = 12 + -7. Solve 10 - x = o*h for h.
-4
Let q = 0 + 5. Solve -q*p = 10 - 5 for p.
-1
Suppose 9*i = 5*r + 4*i + 15, -5*r - 5*i = -25. Suppose -m = -2*j - 10, j = -5*m + 5 + r. Solve -m*x + 15 = x for x.
5
Let n be (-3)/((-9)/12*1). Solve -2 = -2*q + n*q for q.
-1
Let m(w) = -w**2 + 18*w - 28. Let t be m(16). Solve 5*u = t*u - 4 for u.
-4
Let h be 91/6 - 16/96. Solve 4*r + h = 3 for r.
-3
Let h(a) = a + 6. Let i be h(-5). Let r be 5*(4/(-10))/(-2). Solve 2*n - i = r for n.
1
Suppose 6*c + 2*a + 19 = 3*c, -4*a = -2*c - 2. Let d(w) = w**2 + 5*w - 2. Let t be d(c). Let o be 2 - (t + 4) - -2. Solve 0 = s - o + 7 for s.
-5
Suppose 2*r = 4*r - 2. Solve -4*a = 13 - r for a.
-3
Let z(m) be the third derivative of m**6/360 + m**5/60 + m**3/3 - 3*m**2. Let x(w) be the first derivative of z(w). Let l be x(-3). Solve l*s = 2*s - 4 for s.
-4
Suppose w + 2*w = 2*b - 20, -20 = -5*w. Suppose k = -3*k + b. Solve 20 - 4 = -k*n for n.
-4
Suppose -y + 10 - 7 = 0. Solve 0 = y*t - t for t.
0
Suppose 0 = -0*d + 2*d. Suppose 2*k + 8 = -2*h + h, d = 2*h - 5*k - 29. Suppose -2*v + 4 = -h. Solve 2*b + 7 = -v for b.
-5
Suppose 0 = 3*l - 4*d + 33, 2*d = -3*l - 11 - 4. Let a be (-2)/(-3)*(l - -10). Let j be (9/4)/((-3)/(-8)). Solve -a*h + 4*h = -j for h.
-3
Let o be 4615/497 + 1 + 9/(-7). Let x = 15 - 11. Let f be -6*(-3)/(18/x). Solve o*v - f*v = -20 for v.
-4
Suppose 2*t - 8 = -2*t. Let z = 17 - t. Solve 0 = -d - 4*d - z for d.
-3
Let s be (2/(-4))/((-9)/144). Suppose -125 = -s*b + 3*b. Solve -4*l = l + b for l.
-5
Let o = -10 + 15. Let h(a) = -a**3 + 16*a**2 - 14*a - 6. Let m be h(15). Solve o*c = m - 4 for c.
1
Let r = 31 - 11. Solve -4*a + 0*a = r for a.
-5
Suppose 15 = 3*m + 3*y, 0 = -4*m + 2*y - 7*y + 22. Solve -m*v + 5 = -10 f