 + m - f for m.
-3
Let s be (-1)/(((-4)/8)/(-1 + 2)). Let c be (-2 - -7)*3/5. Suppose c*j - s*b = 10, 2 = 5*j + 2*b - 4. Solve 0*l + j*l = -10 for l.
-5
Let s = 15 - 3. Suppose 6 = -5*a - 39. Let g = a + s. Solve -2*r = -g*r + 5 for r.
5
Suppose -5*u = -4*d - 8 + 4, -3*d - 4 = -4*u. Solve -d*y + 24 = 2*y for y.
4
Let g(f) = -f**2 - 11*f - 5. Let o be g(-10). Suppose 0 = 3*n + o*q - q, 0 = -2*n + q. Suppose -2*p + 4 = -n. Solve 15 = i + p*i for i.
5
Let x = 13 - 23. Let j be 6*(-1 - x/4). Let n(o) = o**2 - 10*o + 10. Let k be n(9). Solve k - j = -2*s for s.
4
Let i be (13/(-91) + 78/(-42))*(-3)/2. Let g be 1*(-1)/((-2)/4). Solve -g = -w + i*w for w.
-1
Suppose -3*v = -3*c - 2*v + 11, 5*c = 5*v + 15. Suppose 0 = -c*a + 3*a + 19. Solve -a = -5*d - 4 for d.
3
Let z(a) = -a**3 - 7*a**2 - 4*a - 28. Let d be z(-7). Suppose 3*u = 7*u - w - 20, -4*u - 5*w = -44. Let v = 8 - u. Solve d*h = v*h - 2 for h.
1
Suppose -28 = 21*d - 25*d. Suppose -4*x - d*x + 5*x = 0. Suppose 0 - 2 = -o. Solve -o*g + 8 = -x for g.
4
Let t be ((-4)/(-6))/(36/(-270)) + 14. Solve -t*x + 52 = 17*x for x.
2
Suppose n + r - 4 = 0, 155*r = 3*n + 157*r - 8. Solve n = -11*w + 33 for w.
3
Let p(h) = -17*h**3 - h**2 - h + 3. Let n be p(0). Let g = 0 - 0. Let q = 3 + g. Solve -n = 4*a - q*a for a.
-3
Let w be 0 + 2/(-6)*-15. Let z(a) be the first derivative of a**4/4 - 10*a**3/3 - 11*a**2/2 - 1. Let j be z(11). Solve j*f = -w*f for f.
0
Let g be -1*78/(-13) + 3. Let m(c) = -c**3 + 3*c**2 - c. Let y be m(2). Solve -g = -5*z + y*z for z.
3
Let l = -307 + 327. Solve l*u = 15*u for u.
0
Suppose 0 = -5*o - 8 + 33. Solve -4*y + o = y for y.
1
Let s = -144 - -164. Solve -3*n + s = -8*n for n.
-4
Let y = 1282 + -1075. Solve -182 = 5*g - y for g.
5
Let y = 81 + -98. Let o = 22 + y. Solve 14 = -o*x - 1 for x.
-3
Let n(r) be the second derivative of -5*r**3/6 - r**2/2 - 3*r. Let f be n(-1). Solve 0 = -4*x - 4 - f for x.
-2
Let x(g) be the third derivative of g**4/24 + 3*g**3 + 19*g**2. Let u be x(-18). Solve -6*q + 5*q - 5 = u for q.
-5
Let q = 1 - 6. Let l be (q/4)/(10/(-40)). Suppose l*p = 2*p. Solve v + v = p for v.
0
Let s(i) = -2*i**2 - 2*i + 1. Let f be s(-2). Let w = 7 + f. Let g(n) = 17*n + 73. Let y be g(-4). Solve -w*o + 7 = -y for o.
3
Let y(n) = -n**3 - 4*n**2 + 21*n + 3. Let g be y(3). Let b = -10 + 6. Let a(p) = -p**2 - 6*p - 2. Let c be a(b). Solve g*r = -c + 15 for r.
3
Let x(g) = g + 1. Let m be x(-1). Let b = 136 - 161. Let u(k) = k**2 + 26*k + 28. Let z be u(b). Solve 5*j - 12 - z = m for j.
3
Let l be (3/(-6))/(1/4). Let v(y) = y**3 + 4 - 3 + y**2 + 0 - 2*y. Let n be v(l). Solve 4*d - 15 = n for d.
4
Suppose -215 = -5*c - y, -2*c + c - 2*y = -43. Solve 0 = -p - 48 + c for p.
-5
Suppose -2*n - 24 = -5*x - 2, 0 = 4*x - 4*n - 20. Suppose d + 5 = -x*d, 1 = -i - 4*d. Solve i*s + 2*s = 0 for s.
0
Let r(s) = 17*s**2 + 6*s - 3. Let i be r(2). Suppose -75 + i = b. Solve 5*u + b = 3*u for u.
-1
Let s(p) = -p + 17. Let l be s(13). Let u be (-3)/3*l + 9. Solve u*h - 1 = 9 for h.
2
Let d(w) = 2*w + 26. Let o be d(12). Suppose -o = -3*a + a. Solve -a = -0*x - 5*x for x.
5
Let k = 126 - 89. Suppose 2*x + 19 = 5*w - 24, k = 3*w - 4*x. Solve -w = 3*b + 2 for b.
-3
Suppose -6*x = -11 - 61. Suppose 9 + x = 7*t. Solve -h = -0 + t for h.
-3
Let h(f) = 9*f - 7. Let z be h(3). Let k(s) = 13*s**3 + 2*s + 1. Let m be k(-1). Let g = z + m. Solve g = -4*t + t for t.
-2
Let j(l) = -6*l + 2. Let c be j(-6). Let y = -38 + c. Solve z - 3 = -y for z.
3
Suppose -g = -3*m + 6 - 11, g = 2*m + 5. Solve g*b = b for b.
0
Let f be (-1 + 0)/((-19)/(16 - -117)). Solve -7 = f*r + 7 for r.
-2
Let k be ((-54)/(-36))/(2/((-8)/(-3))). Let l be -23 - -21 - (-8)/k. Solve -v = l*v + 9 for v.
-3
Let j = -11 + 19. Let y = j + -11. Let d be -4 - -1 - 9/y. Solve z - 2 = -d for z.
2
Let d be (-2 + -13)/(-5) + 3/(-1). Suppose -2*s + 4*s - 6 = d. Solve 0 = -s*v + v + 8 for v.
4
Let p = -9 + -4. Let y = p + 27. Let f = -12 + 17. Solve -f*r = -1 - y for r.
3
Suppose -x = 3*i + 38, -2*i = x - 7*i - 2. Let h = -19 - x. Solve -b + 15 = -h*b for b.
-5
Let u be (-18)/(-2)*1/3. Suppose 3*x = -2*x + 4*n + 32, -18 = -u*x + 2*n. Let c be x/(-2)*(-21)/14. Solve c*g + 16 = -g for g.
-4
Let r be (80/14)/(4/14). Let i be ((-56)/(-10))/(r/50). Solve -4*y - 6 = i for y.
-5
Suppose 3*g + 12*g = 30. Solve 0 = g*z + 13 - 3 for z.
-5
Suppose -5*s = -24 - 1. Suppose g + g + s = -v, g = -4. Suppose -z + v = -3. Solve 3*t = z*t - 12 for t.
4
Suppose 3*r + 7*r = -r. Solve 9*n + 5*n + 14 = r for n.
-1
Let m = 11 + -6. Suppose 5*y - 15 + m = 0. Suppose y*a + 14 = -2*x + 54, 4*x + 45 = a. Solve -5 + a = 5*t for t.
4
Let g(t) = 7*t**3 + 100*t**2 + 27*t + 7. Let o be g(-14). Solve -14 = -o*w + 14*w for w.
2
Let i = -172 - -184. Solve 2*a = -2*a - i for a.
-3
Let h be (-136)/24 - -10 - 2/(-3). Solve -h*v + 15 = -0 for v.
3
Let n = 505 - 500. Solve 8 + 7 = -n*u for u.
-3
Let w(d) = -6*d + 118. Let o be w(19). Solve -7 = -o*z + 5 for z.
3
Suppose 4*v - 3*v = -1. Let l be (4/v + 4)*(-2)/4. Solve l = -k + 1 + 4 for k.
5
Let r(o) = o**2 - 14*o - 30. Let z be r(16). Suppose 3*v = -v + 12. Suppose -b = -v + 1. Solve -b*p + z = -0*p for p.
1
Suppose -398*f = -394*f - 212. Solve 32 = -17*b - f for b.
-5
Let n(j) = j**3 + 10*j**2 + 8*j - 2. Let s = -17 + 8. Let w be n(s). Let z = -4 + w. Solve 0 = y + z for y.
-3
Let c(s) = -s**3 + 6*s**2 + 4*s - 9. Suppose 5*u - 5 = -5*m, u + 4*u - 10 = -4*m. Let x be c(u). Solve x = -3*r - 2*r for r.
-3
Let k(d) = -d + 7. Let z be k(4). Suppose -32 = -z*g - 3*r + 28, -98 = -4*g + 2*r. Let f = g + -22. Solve -m = -f + 4 for m.
-3
Suppose 1 = 2*q - 3*q. Let p be 2 - (q + 3 - (-4 - -6)). Solve -6 = -d - p*d for d.
2
Suppose -2*o - 5*s - 17 = 0, 0 = 5*o - 4*s + 31 - 5. Let u = o + 18. Let n be (4/u)/(1/6). Solve -3*z - n*z = 25 for z.
-5
Let c(o) = -o**3 - o**2 + 3*o + 13. Let t be c(-3). Solve -21*g = -t*g - 2 for g.
-2
Let s = 1388 - 1373. Solve s*z = 2*z - 65 for z.
-5
Let x(z) = -z**3 - 8*z**2 + 84*z + 8. Let d be x(-14). Solve 0 = s + 3*s + d for s.
-2
Suppose 0*w + 3*w - 9 = 0. Suppose -3*f + w*q + 51 = -0*f, f + 13 = -5*q. Solve -m = 3*m + f for m.
-3
Let p = -59 + 65. Let i be p/(-8)*260/(-39). Solve 0 = -9*h + 4*h - i for h.
-1
Let q = -490 + 500. Solve 0 = 5*g - 15 - q for g.
5
Let y be 108/28 - (-3)/21. Suppose -6*i + 4*i + y = 0. Suppose i*u = -3*m + 17, 0*u - 5 = m - 2*u. Solve 0 = 3*a + 3 + m for a.
-2
Let w be (-4 + 1)/6*0. Let s be w*((-12)/(-8) - 1). Let o be (-1 - (3 + s))/(-2). Solve -3*a + 2*a = o for a.
-2
Let v(t) = t**2 + 14*t + 94. Let h be v(-9). Solve -5*q = -h + 24 for q.
5
Suppose 3*z - 56 = 5*b, -2*b + 13 = 5*z - 39. Suppose -l = 4*q + 14, 4*l = -4*q + 5*q + z. Solve 0 = j + l*j + 3 for j.
-1
Let y(j) = 24*j - 6. Let q be y(-4). Let c be 4/(-10) + q/(-5). Solve -3*v - c = v for v.
-5
Let a = -22 + 4. Let h = -16 - a. Solve 0*u - 2 = h*u for u.
-1
Let d(v) = -v**3 + 7*v**2 - 6*v + 3. Let n(g) = g**3 - 17*g**2 + g - 11. Suppose 24*h = 23*h + 17. Let x be n(h). Let s be d(x). Solve -3 = s*q + 3 for q.
-2
Suppose -1 = -d, -2*y + 0 = 4*d + 8. Let q be y/39 - (-4)/26. Solve 0 = 3*a - 9 - q for a.
3
Let l(c) = 2*c + 3. Let b be l(-3). Let f be (2/(-4))/(b/(-24)). Let y be (3 - 3) + (-4)/f. Solve 2*x + y = -7 for x.
-4
Let r = 9 + -7. Let m be r/(-8) + (-14)/8. Let c(h) = -2*h**3 - 4*h**2 - 3*h - 2. Let t be c(m). Solve t*v = -v for v.
0
Let q = 37 + -41. Let a be (-1)/q - ((-22)/8 - -2). Solve a = -4*l - 19 for l.
-5
Suppose -51*i - 15 = -56*i. Solve i*g = -g + 4 for g.
1
Let z(y) = y**2 + 2*y - 3. Let w be z(1). Solve w = 62*k - 68*k + 6 for k.
1
Let c(r) be the second derivative of -r**4/12 - 5*r**3/2 - 17*r**2/2 + 5*r. Let d be c(-13). Suppose o = 6 + d. Solve o = -5*y - 0 for y.
-3
Let y = -4 - -7. Suppose 0 = m - y, 0 = -2*o + 4*o - 5*m + 5. Solve o*u = 12 + 8 for u.
4
Let r = -5 - -13. Let h be 1 - 9/((-18)/r). Solve -5*i = h + 5 for i.
-2
Let j(c) be the third derivative of c**6/120 + c**5/10 - 2*c**3/3 + 7*c**2. Let o be j(-6). Let w = o + 6. Solve w = -u - u for u.
-1
Let n(k) = k**3 - 15*k**2 + 15*k - 10. Let y be (-312)/(-22) + (-1)/22*4. Let f be n(y). Solve q + f = 2 for q.
-2
Suppose 0 = -2*d + r + 3*r - 4, 5*d = r - 1. Suppose b - s + 2 = d, -5*s = -17 - 8. Solve 19 - b = -4*y for y.
-4
Suppose 5*p + 