r j.
-4
Let h(s) = 7*s + 40. Let m be h(-5). Solve -3*c = -7 - m for c.
4
Let x(v) = v**2 - 13*v + 40. Let p be x(9). Let o be (0 - -1) + 2 - -1. Solve 0 = -0*y + o*y + p for y.
-1
Let i(l) = l**3 - 2*l**2 + 4*l - 3. Let r be i(2). Solve 0 = -n + r for n.
5
Let b(q) = q**3 + 6*q**2 - 16*q + 4. Let v be b(-8). Solve 2*w - v = 6 for w.
5
Let f = 41 - 41. Solve f = -0*h + h + 3 for h.
-3
Let u = 23 - 20. Solve 3 + 9 = -u*g for g.
-4
Suppose 0 = -5*s + 3*r + 424, 2*r = 4*s + 5*r - 323. Let y(i) = 2*i - 7. Let n be y(5). Suppose -n = 4*g - s. Solve -g = -0*x + 4*x for x.
-5
Let p = 141 - 85. Let q(r) = -r**3 + 14*r**2 - 13*r - 10. Let x be q(13). Let u be (-4)/x - p/(-35). Solve 0 = -3*a + u + 4 for a.
2
Suppose -30 = -4*c - 18. Solve -1 = c*b + 8 for b.
-3
Suppose 2*x = d + 1, -4*d + 36 = 4*x + 4. Solve -4*u + d*u = -5 for u.
-5
Let k = 29 + -19. Let n = -4 + k. Solve n*v - 2*v + 16 = 0 for v.
-4
Let c be 3*(-2)/3 - (-8)/4. Solve c = -l - 0*l - 1 for l.
-1
Let p(f) = f**3 - 4*f**2 + 3. Let y be p(4). Solve 0*d + y*d - 6 = 0 for d.
2
Let c(x) be the second derivative of x**5/20 - x**4/3 - 5*x**3/6 + x**2/2 + x. Let j be c(5). Let a be j/2*(-2 - -4). Solve 2 = y - a for y.
3
Suppose 3*x - s = -0*x + 6, -3*x + 3 = -2*s. Let d be (2 - -6)*(-1)/(-2). Let k be ((-1)/d)/((-3)/84). Solve -x*j = -k*j for j.
0
Let d = -15 + 31. Suppose -3*p - 47 = -4*u - d, -p + 7 = 3*u. Let v be 1/((-3)/u + 1). Solve -3*n - 1 = -v*n for n.
1
Suppose 5*o - 37 - 23 = 0. Suppose 0 = -4*f + f + o. Solve 0 = g + g + f for g.
-2
Let g(c) = -13*c**3 - 2*c**2 + 1. Suppose 7*f - 2*f = -5. Let p be g(f). Solve 4*x + p = x for x.
-4
Let j = 40 + -36. Solve j*c + 0*c = -8 for c.
-2
Let z(u) = u + 9. Let l be z(-5). Solve -l*s - 20 = -8*s for s.
5
Suppose -2*q = 4*q. Solve q = 5*w - 0 + 15 for w.
-3
Suppose -13 = -3*v + 5. Let o = -6 - -8. Solve -m = -v + o for m.
4
Let k = -9 + 13. Suppose 4*q - 3*s = s, -k*q + 2 = -3*s. Solve q*y - 16 = 6*y for y.
-4
Let q(a) = 3*a**3 + a**2 - 1. Let j be q(1). Let c = 5 - j. Solve -4*k = -c + 14 for k.
-3
Suppose 2 = t - 2. Let b be 0 + 50/6 - (-3)/(-9). Solve t*o - b = 8 for o.
4
Suppose 0 = -d - 1. Let v be 1 + -2 + 1/d. Let s = 3 + v. Solve -2*u - 5 = s for u.
-3
Let l(s) = -s**3 - 13*s**2 - 12*s + 4. Let y be l(-12). Solve -y*i = -5*i - 3 for i.
-3
Suppose 10 = -v - 4*r, 0*r + 4*r = v - 14. Solve -v*b - 3 = b for b.
-1
Suppose 2*b - b - 4 = 0. Suppose -3*u = -z - 0*u, -3*u = -b*z. Solve z = -d - 3*d for d.
0
Let v = -44 + 54. Solve -v = -t + 6*t for t.
-2
Let y(i) = i**2 - 2*i - 1. Let m be y(-1). Let r = 0 + 0. Let p = m + r. Solve -p*q + 13 - 3 = 0 for q.
5
Let v(u) = -3*u - 23. Let g be v(-9). Solve -g*l - 2 = -18 for l.
4
Let t(i) be the second derivative of -i**4/12 + 7*i**3/3 - 4*i**2 + 2*i. Let v be t(11). Solve 0 = 5*r - 10 + v for r.
-3
Suppose x - 4*x = 21. Let j = 31 - 21. Let u = x + j. Solve 0 = -u*w + 3 + 6 for w.
3
Let v(r) = -r + 0*r**2 + 4*r**2 + 6*r**2 + 0*r. Let a be v(1). Solve a - 21 = 3*t for t.
-4
Let x = 21 - 17. Solve -h = h - x for h.
2
Suppose j - 2*j - 25 = 0. Let k = -15 - j. Solve 0 = 4*z - 2*z + k for z.
-5
Let d(b) = -b**3 - 7*b**2 - 8*b - 7. Let f = 10 + -16. Let q be d(f). Let c(l) = l**2 - 5*l. Let h be c(q). Solve 0 = -s - h*s for s.
0
Let f be 21*-1*(-14)/6. Suppose 0*d - 5*z = -4*d + f, 3*z = d - 21. Solve 18 = -3*m + d for m.
-4
Let a be (-2)/10 - (-2)/10. Let g(q) be the first derivative of q**3/3 - q + 2. Let f be g(2). Solve a = -2*h + f*h + 4 for h.
-4
Let a = 2 + -2. Suppose -2*h = -c + 1 + 4, -5*c - h + 3 = a. Suppose q - c - 3 = 0. Solve -q = -2*v - 2*v for v.
1
Let p(f) = -f**3 + 10*f**2 - 7*f - 15. Let q be p(9). Solve 2*l + q*l = 15 for l.
3
Suppose -f = f - 18. Solve 0*u - f = -3*u for u.
3
Suppose -20 = 4*u - 5*u. Solve 0 = o + 4*o + u for o.
-4
Suppose 3*b = 3*p + 3, -3*p + 0*b = -2*b + 2. Solve p = 7*q - 2*q - 10 for q.
2
Suppose 0*s + 4*n = -s + 15, 2*s - 18 = -4*n. Solve -s*f = -1 + 10 for f.
-3
Let c(h) = -2*h - 1. Let s be c(4). Let u(r) = r**3 + 10*r**2 + 8*r + 11. Let d be u(s). Solve 6*v = v - d for v.
-4
Let y(d) = -2 - 3 - d**3 - 6*d**2 + 1 + 2 - 6*d. Let n be y(-5). Suppose 3 = 2*q - n. Solve 0 = -q*l - 4 - 8 for l.
-4
Suppose 0 = -2*k + k. Solve -3*v = -k*v - 9 for v.
3
Suppose f - 15 = 5*k, 0 = f + 2*f + 4*k + 12. Solve f = 2*y - y + 5 for y.
-5
Let d(o) = -2*o - 12. Let l = 4 - 2. Suppose 0 = -l*h - 7 - 9. Let r be d(h). Solve f + r = 1 for f.
-3
Let g be -5*(-1 + 6)/(-1). Suppose -i - g = -3*s, -3*i = 2*s - 37 + 2. Suppose 4*v - 8*v + 26 = -5*o, 4*v = -3*o + s. Solve -v*m + m = -9 for m.
3
Let w be (6/(-5))/(12/(-20)). Solve h = w*h for h.
0
Let a(v) = v**3 + 5*v**2 - 2*v - 5. Let y be a(-5). Solve -3 = -2*n + y*n for n.
-1
Let z be (2 - 3) + (-3)/(-1). Let s(t) = 5*t - 4*t - z*t + 9. Let h be s(4). Solve -14 - 6 = h*d for d.
-4
Suppose -60 = -5*s - 0*s. Let z = 11 + -8. Suppose 3*m - q = 6, z*m + 0 = -q + s. Solve 0*t = t - m for t.
3
Let d(w) = w - 6. Let o be d(6). Suppose o = -0*n - 2*n. Solve n = r + 3*r - 12 for r.
3
Let t be 4 + (2 - 1) + -3. Let p = 9 - 5. Suppose 3*b - m - 5 = -2*m, -p*m = 16. Solve -t = -2*a + b*a for a.
-2
Let o = -12 - -3. Let a = -6 - o. Solve 0 = -2*b - a*b + 20 for b.
4
Let y be 10/(-15) + (-8)/(-3). Solve -20 = -6*p + y*p for p.
5
Let c(k) = -k**2 - 7*k - 10. Let q be c(-5). Solve q = -4*p - 1 + 9 for p.
2
Let y(t) = -t**2 + 6*t + 18. Let d be y(8). Solve 3*i - d - 1 = 0 for i.
1
Let r(t) = 2*t**2. Let x be r(-3). Let n be x/4*(-4)/(-3). Solve 3*l - n*l = -12 for l.
4
Let i(v) = -4*v - 1. Let g be i(-1). Let w be 33/9 - 2/g. Let c be (-3)/w - (-1 + -2). Solve -j = -3*j - c for j.
-1
Suppose 43 = -5*z + 3*m, -4*z = z + 3*m + 37. Let j(a) = -a**3 - 7*a**2 + 8*a + 4. Let k be j(z). Let s be -42*3/((-18)/k). Solve 3 - s = -5*g for g.
5
Suppose 5*d + 5*u - 10 - 30 = 0, 3*d = u + 12. Suppose 0 = -z - t - d, -3*t = z - 1 + 16. Solve 4 = -z*b + b for b.
4
Let o = -17 - -32. Suppose 4*g + g - o = 0. Solve 2*z + 3 = -g for z.
-3
Suppose 5*y + 7 - 7 = 0. Solve y*r = r for r.
0
Let v be (3/2)/((-5)/20*-1). Solve -7*h + h = v for h.
-1
Suppose -3*j - 20 = -7*j. Solve s - j = 6*s for s.
-1
Suppose -4*h = 3*q - 6, -5*q + 9 + 1 = -3*h. Let c be (q/(-4))/(1/(-18)). Suppose -5 = -3*d + r, 3*r + c = -2*d - 6. Solve -a - a = d for a.
0
Let h(c) = c**3 - 8*c**2 + 8*c - 4. Let b be h(7). Solve -b*o - 2*o = 15 for o.
-3
Let b(z) = 2*z**2 + 3*z + 4. Let n be b(-3). Suppose -5*q + 12 = -n. Suppose 2 = -x + q. Solve x*t = t + 6 for t.
3
Let i(b) = 2*b**2 + 3*b - 2. Let j be i(-3). Let k = j - 4. Solve 9 = -k*o - 6 for o.
-5
Let k be 39/(-5) + 4/(-20). Suppose 2*v = v + 18. Let z = v + k. Solve 0 = -2*y + 7*y + z for y.
-2
Suppose 17 + 8 = -5*k, -d = 2*k + 5. Suppose 65 = d*p - 135. Let c be (48/p)/((-4)/(-10)). Solve -c = t - 4 for t.
1
Suppose 2*r - 12 = -0. Suppose j = 4*j - r. Solve -j*w = 3*w for w.
0
Suppose 2*m = g + 225, 2*m = 5*g + 174 + 55. Let h be m/40 - (-2)/10. Solve h = 3*c + 18 for c.
-5
Let f(s) = -s**3 + 4*s**2 - 2*s + 2. Let l be f(3). Suppose -k + 4*k + 20 = -l*x, 3*x = -3*k - 12. Solve -5*t + k*t = 0 for t.
0
Suppose 224 = 5*j + 4*p, 123 = 4*j - p - 52. Suppose 5*t + 2*k - 46 = j, k - 18 = -t. Solve -5*h - 2 - t = 0 for h.
-4
Suppose 56 = -0*r + 2*r. Suppose -n = 5*v - r, -v + 8 = 3*n - 6. Solve -1 = -v*p + 4 for p.
1
Let j = 8 + -2. Let p be (-2)/j*2*-6. Let q = -6 + 10. Solve 5*t - p*t = q for t.
4
Suppose 6 = -5*o + 2*m - 2, -2*m = -4*o - 8. Solve o = -5*b - 4 - 21 for b.
-5
Let c be 0 + (0 + 4)/2. Let y be 12*((-2)/(-3))/c. Solve 2*v = 4*v - y for v.
2
Let b(v) = -v**3 + 4*v**2 - 7*v + 15. Let w be b(3). Solve -5 - 4 = -w*g for g.
3
Let g be (1 - -3) + (0 - 1). Suppose -70 = g*r - 8*r. Suppose o - w = 2*w + r, -4*o = 3*w + 4. Solve o*a + 3*a + 5 = 0 for a.
-1
Let f(p) = 2*p. Let h be f(6). Suppose -3*w = -w. Let n = h + w. Solve -2*d - n = d for d.
-4
Let w(u) = 1 + u + u + 0. Let j be w(1). Suppose 0 = -0*h + 5*h - 60. Solve j*l + 3 = h for l.
3
Suppose -k = j - 3, 3*j - 2*k = -2*j + 15. Solve -c + j*c - 8 = 0 for c.
4
Let n(z) = -2*z - 3. Suppose 0*p + 15 = -3*p. Let q be n(p). Solve 2*s + q = 1 for s.
-3
Suppose 0 = 3*c + 3*a + 5 + 1, -4 = 4*c + 3*a. Suppose i + 5 - 21 = c*x, 3*i - 24 = -2*x. Suppose 24 = 5*v - 2*v. Solve i = v*z - 3*z for z