= -4*q + 13. Solve 3*k - 5 = -q*k for k.
1
Suppose 23 + 7 = 5*v. Let z = v + -6. Solve -4*n + 0 + 4 = z for n.
1
Suppose 4*i - 18 = r + r, -i - 2*r = -2. Solve 2*s + i = s for s.
-4
Let r(q) be the first derivative of 5*q**4/4 + q - 2. Let j be 2/4 + 1/2. Let n be r(j). Solve -3*l - 6 = n for l.
-4
Suppose 0 = -s + 3 - 1. Suppose 0 = -3*v + 9 + 18. Solve -s*o = o + v for o.
-3
Let o be 1*(0 - -1) + -4. Let m = -3 + 6. Let k = o + m. Solve k = -0*q + q for q.
0
Let a = 1341 - 1331. Let m(f) = -6*f - 1. Let l be m(-1). Suppose 0 = l*p - p - 8. Solve -3*b - p*b + a = 0 for b.
2
Suppose -o = -4*o + 12. Solve -5*x + o*x - 3 = 0 for x.
-3
Let l(t) = -4*t - 8. Let k be l(-7). Solve 0 = 3*f + 2*f + k for f.
-4
Let x(k) = 2 - k + 6 + 3. Let h be 16*(1 + 1/(-2)). Let c be x(h). Solve c*i = -0*i - 9 for i.
-3
Suppose -6*l - 2 + 14 = 0. Solve -l*n + 4*n - 6 = 0 for n.
3
Suppose -8*d + 4*d = -16. Solve -d*g = 1 - 5 for g.
1
Let b be -1 - 2/((-10)/15). Solve b*k - 7*k = 0 for k.
0
Let p be (0 + 3 - 6)/(12/(-8)). Solve -3*n + 2 = -p*n for n.
2
Suppose -37 = 3*w + 5*n, 0 = -3*w + 5*w + 3*n + 23. Let p be ((-2)/6)/(w/300). Suppose 5*m = -0*d - 3*d - p, -4*m - 20 = -3*d. Solve d = -2*z + 5*z + 3 for z.
-1
Suppose v = -4*v - 20. Let t be (v/(-3))/((-6)/(-27)). Let c = t - 3. Solve m + c = 4*m for m.
1
Suppose -3*f - 16 = 2*s - 3, -2*s + 5 = -3*f. Suppose -r - 2 = 4*g - 0*g, -3*r + 3*g + 24 = 0. Let o = s + r. Solve 2*c - o = 6*c for c.
-1
Let c be ((-20)/25)/((-2)/15). Solve q = -2*q + c for q.
2
Suppose -6*j + 3*j = 0. Suppose -5*u + 19 = -21. Suppose u + 2 = t. Solve j = -2*p - t + 2 for p.
-4
Let g(m) = -3*m + 17. Let f(q) = q - 8. Let a(v) = -5*f(v) - 2*g(v). Let k be a(-3). Solve k = 2*j + 9 for j.
-3
Let u = -5 - -10. Let z = 4 - 1. Solve 0 = -z*q + 1 + u for q.
2
Let r be (8/(-24))/(2/(-12)). Suppose r*t = -t. Suppose -4*h - 2*j + 4 + 6 = t, -2*h + 15 = -j. Solve -h*m = -m for m.
0
Let u = -6 + 8. Let z = 52 + -34. Suppose o + 3*d - z = 0, o + 2*o - 28 = 4*d. Solve 4 = -u*x + o for x.
4
Let c = 11 + -11. Let r(a) = -a**3 - 2*a**2 - a - 3. Let q be r(-3). Solve c = 5*n + q + 6 for n.
-3
Let q(s) = 1 + 4*s + 8 - 3*s. Let o be q(11). Let z be ((-1)/(-3)*0)/(-2). Solve -5*h - o + z = 0 for h.
-4
Suppose -4*s + 10 = -38. Let a = -9 + s. Solve o - 8 = a*o for o.
-4
Let p(a) = -2*a + 26. Let q be p(11). Solve -4*x + 0 = q for x.
-1
Let a(b) = b**3 + 8*b**2 + 7*b - 6. Let f be a(-7). Let k = f + 11. Solve -9 + 34 = k*j for j.
5
Let z = -49 + 49. Solve z*j - 3*j = -6 for j.
2
Let o = -27 - -32. Solve -16 = -o*i + i for i.
4
Suppose 0 = -5*u + u + 12. Suppose -u*x + 2 = -10. Solve 0*t + x*t + 12 = 0 for t.
-3
Let m be 1/(-3 + 0 + 4). Solve -4*c - m + 17 = 0 for c.
4
Suppose -40 = -5*n + n. Suppose -4*o + n = 2. Solve -5*a + o = -3 for a.
1
Let y be ((-2)/6)/((-2)/66). Solve -5*p - y = 4 for p.
-3
Let i(t) = 2*t**2 + 10 - 4*t**2 + 8*t + t**2. Let p be 0 - (-24 - 3)/3. Let z be i(p). Solve 4*m - 9 = -z for m.
2
Let f be (-1)/((-1)/(-1)) - 26. Let a be (-1398)/f - (-2)/9. Suppose -5 = -3*y + a. Solve 5*j + 6 = -y for j.
-5
Let q(b) = -b**2 - 4*b - 1 - b**2 + 7 + b**3 - b**2. Let o be 4 - 1/(-1)*0. Let p be q(o). Solve -y = y + p for y.
-3
Suppose -5*h = -5*i + 5, -2*h + 33 = 4*i + i. Solve 7 = i*z - 18 for z.
5
Suppose -7*t + 35 = -2*t. Let k be t - ((0 - -3) + -1). Solve -a = 4*a - k for a.
1
Suppose -j = 3*j. Let l = -4 - -7. Solve j = l*a + a for a.
0
Let x be 10/(-8) + 1/4. Suppose -3*f = 4 + 2. Let y be (5 - 4)/(x/f). Solve k = y*k for k.
0
Suppose -2*a + 3*a + 2 = 0, -2*a + 2 = 2*b. Solve -b*o + 4 = -7*o for o.
-1
Let q be 88/10 + (-9)/(-45). Solve 0 = -2*m - q - 1 for m.
-5
Let v be ((-4)/(-12))/(2/24). Let a = -2 - -2. Solve a = v*s + 23 - 3 for s.
-5
Let k = -13 + 17. Solve 0 = -k*f + 5 + 7 for f.
3
Let p be ((-21)/7)/((-3)/17). Let t = -15 + p. Solve 2*y - 3*y - t = 0 for y.
-2
Let t(u) = -u**2 - 8*u - 3. Let z be t(-7). Solve z*q + 1 = 5 for q.
1
Suppose 0 = -5*w + 1 - 6. Let q(a) = -5*a**2 - 1. Let r be q(3). Let g be w/3 + r/(-3). Solve 0 = 2*j + 3*j - g for j.
3
Suppose 5*j - 23 - 17 = 0. Suppose -17 = -2*g + g. Suppose 0*q + 3*d - 3 = -3*q, 5*q - 3*d = 37. Solve g + j = q*z for z.
5
Let s(l) = -4*l**3 + l**2 + l. Let a(y) = -3*y**3 + y**2 + 2*y. Let n(h) = -3*a(h) + 2*s(h). Let f be n(3). Solve q = 3*q - f for q.
3
Let c(n) = -n**3 + 5*n**2 + 2*n - 5. Let t = 23 - 18. Let d be c(t). Solve -d*o = -2*o - 15 for o.
5
Let o(f) = 6*f - 70. Let s be o(18). Solve 18 - s = -4*y for y.
5
Let z = 37 - 37. Solve 0 = 4*n - z - 4 for n.
1
Let v = -35 + 37. Suppose -10 = -5*h + 10. Solve 0 = 2*i + v*i - h for i.
1
Let l be 6/(-8) + 39/4. Let t be 3/(l/15 + 0). Solve -2*f - t = -f for f.
-5
Let z = 5 - 4. Let c be z*-1*5 - -1. Let x = c - -9. Solve 0 = -x*p - 0*p + 20 for p.
4
Suppose 0 = 5*c - 2*q - 17, 6 = 3*q - 6. Suppose -c*o = -0*o. Let y be -2 - (-2 + o + 0). Solve y*d = d + 2 for d.
-2
Let c be (-12)/15*10/(-4). Suppose j + c = 8. Suppose -4*l + j*l - 6 = 0. Solve z + l = -1 for z.
-4
Let s(k) = -2*k + 8. Let w be s(7). Let d(m) be the third derivative of m**4/24 + 3*m**3/2 + m**2. Let g be d(w). Solve 0 = -8*v + 5*v - g for v.
-1
Let z be ((-1)/(-3))/(9/(-135)). Let u = z - -25. Solve -3*n = n - u for n.
5
Let d(f) = -4*f. Let i be d(-6). Suppose a + i = 5*a. Solve v + a = -v for v.
-3
Suppose -8*p = -8 - 16. Solve p*i - 3 - 6 = 0 for i.
3
Suppose 0 = -t + 2 - 0. Solve 12 = -t*s - s for s.
-4
Let w = -8 - -11. Solve -w*k + 16 = -7*k for k.
-4
Suppose 0 = 3*x + 2*x + 2*w - 36, 5*w = -2*x + 27. Solve x*y - 3*y = 6 for y.
2
Let x = -2 - -18. Solve -z - 3*z = x for z.
-4
Let a = -30 + 34. Solve a*b - 5 = 5*b for b.
-5
Let s be (-913)/(-77) + (-2)/(-14). Solve -3*r = s - 3 for r.
-3
Suppose -4*z + 6 = -3*z - 3*k, 0 = 4*z + k - 11. Solve -z - 1 = 2*l for l.
-2
Let t(z) = -z**3 - 5*z**2 + 4*z - 10. Let k be t(-6). Solve -y = -3*y + k for y.
1
Let k be 40/(-16)*(-8)/10. Suppose -1 = k*x - 5. Solve 0 = j - x + 1 for j.
1
Let h be 2 - (0 + 2)*-1. Let k be 7/42 + (-233)/(-6). Let z = k - 39. Solve z = -8*f + h*f for f.
0
Let m be 5*(-2)/20*-8. Solve m = 4*z - 0 for z.
1
Let r be 6/(-4)*(-4)/3. Suppose j + 2 = r*l, -3 = 2*l - 2*j - 7. Let v = l - -8. Solve v*c + 20 = 3*c for c.
-4
Let o(p) = p + 5. Let w(k) = 2*k + 11. Let y(c) = -7*o(c) + 3*w(c). Let g be y(-7). Let q = 12 - g. Solve -3 = -5*d + q for d.
2
Let s be ((-3)/(0 - 3))/(-3 - -4). Let f = -7 + 10. Solve f*z = -16 + s for z.
-5
Let d(r) = r - 1. Let m be d(6). Suppose 0 = -v, -2*f + f - m*v + 3 = 0. Let h = -23 - -45. Solve 7 = -f*x + h for x.
5
Let i(l) be the first derivative of l**4/4 + 4*l - 2. Let j be i(0). Solve -3 + j = -m for m.
-1
Let w(x) = x + 2. Let m be w(-2). Let z = m - -3. Solve z = 4*u + 19 for u.
-4
Let q(v) = v**2 - 8*v - 3. Let i be q(7). Let k be i/4*32/(-40). Solve 15 = k*d - 5*d for d.
-5
Let y be (3/2)/((-3)/(-16)). Solve -y = 2*d - 4*d for d.
4
Let g = -1 + 1. Let y = -2 - -5. Suppose g = y*z + 2*z - 30. Solve -2*p = p + z for p.
-2
Suppose -16*o + 160 = -96. Solve 4*s - o = -4 for s.
3
Suppose 2 = -2*c + 12. Suppose 6*g - c*g - 3 = 0. Solve g + 1 = -4*m for m.
-1
Let i be 0*2/(2/1). Let l be (-3)/(3/(-4) - i). Let a(q) = q**3 + 9*q**2 + 7*q - 6. Let o be a(-8). Solve l = 2*h + o*h for h.
1
Let n = 20 - 18. Solve 7*s + 20 = n*s for s.
-4
Suppose -12 = 4*c - 0, 3*b - 9 = 3*c. Suppose -3*n + 9 = -b. Suppose -18 = -2*l - 5*f, -n*l + 3*f = f - 8. Solve 10 = 2*d + l for d.
3
Suppose -19 = -4*b + 3*v, 2*b - 3*v = 4 + 7. Solve 2*d + b = -2 for d.
-3
Let c = 15 + -6. Suppose -2*t + c - 3 = 0. Solve -t*a - a = 4 for a.
-1
Let f be ((-14)/(-4))/(-7)*-2. Suppose -5*u - f = -11. Suppose 5*x - 37 = 13. Solve 3*z = -u*z + x for z.
2
Suppose 0*l + l = 2*v - 41, -2*l = 5*v + 55. Let o be (20/l)/((-2)/7). Solve -5*t + 3 = -o*t for t.
1
Let k = 7 - 3. Solve -b = -k*b for b.
0
Let l(f) be the first derivative of -13*f**2/2 - 2*f - 2. Let d be l(-3). Suppose -4*k + 11 + d = 0. Solve -5*j + k + 8 = 0 for j.
4
Let z(i) = i**3 - 12*i**2 + 3*i - 4. Let u be z(12). Let w be u/6 - (-18)/27. Solve 0*b - w = -3*b for b.
2
Suppose -3*f = -2*f - 2. Suppose -4*s + u + 17 = 0, -2*s + 3*u + f*u = -31. Let h = 20 - 18. Solve h = 5*j - s*j for j.
1
Suppose 0 = 2*v - 7 - 3. Suppose 2*x = 10*x - 16. Solve 3*r + x = v 