18 = c*w for w.
-3
Suppose c + 6 = 4*c, c + 38 = -5*u. Let h = -18 - u. Let g be ((-32)/40)/(4/h). Solve v - 2 = g for v.
4
Suppose 4*z - 8 = 4*y, -2*z - 2*z = -16. Let g(t) = t**2 - 44*t + 304. Let b be g(36). Suppose 6*f - b = y*f. Solve 2*d = f*d + 8 for d.
-4
Let t = -14 + 27. Let r = -2 + t. Suppose r*b = 16*b - 15. Solve -k + 4*k + b = 0 for k.
-1
Let g = 2348 + -2327. Solve -6*u = g - 21 for u.
0
Let i(r) be the third derivative of -r**5/60 + r**4/6 + 2*r**3/3 + r**2. Let q be i(5). Let o = 6 + q. Solve 4 = l - o*l for l.
-1
Suppose q + 5*v - 20 = -0*q, 0 = -3*q + v + 44. Solve 18 = -11*s - q for s.
-3
Suppose 0 = 4*v + 3*u - 15, 3*v + 8*u - 12*u + 20 = 0. Solve -2*s - 10*s = v for s.
0
Suppose 4*k + 4*c + c - 21 = 0, -2*k = c - 15. Solve 2*v + k = 5*v for v.
3
Suppose -4*d = 4*b - 164, -b + 31 + 10 = 5*d. Let j = b - 39. Solve 0*r + j*r = -2 for r.
-1
Let k(v) = v + 4. Let x = 31 + -28. Let h be k(x). Solve 3*n + h + 8 = 0 for n.
-5
Let w = 13 + -8. Suppose w*a - 10 + 0 = 0. Solve -a - 2 = -2*s for s.
2
Suppose -3*z = -19 - 59. Solve -31*q - 25 = -z*q for q.
-5
Suppose 6*q - q - b - 31 = 0, 0 = -4*q + 5*b + 8. Let a = -5 + q. Suppose -4*h + 2 = -a. Solve -h = l - 0 for l.
-1
Let a(j) = j + 21. Let c be a(-23). Let p be ((-2 - 3)/5)/(c/8). Solve -2*f - p = -2 for f.
-1
Let n(y) = -y**3 + 17*y**2 - 29*y - 13. Let l be n(15). Suppose 3*z + 27 + 6 = 0. Let m = -6 - z. Solve -l = -3*h - m for h.
-1
Let z(r) = r**3 + 4*r**2 - 19*r. Let x be z(3). Solve -5*m - x = -1 for m.
-1
Suppose 14*w - 9*w = 30. Suppose 2*m = -w, -4*v + 8*v - m = 3. Solve -20 = 4*t - v for t.
-5
Let a be (-2 - 1)/(-1) - (-9 - -9). Solve -2*s - a = -13 for s.
5
Suppose 104 - 30 = 4*y - 2*l, -49 = -2*y + 5*l. Suppose -5*c + 3 = 4*n + 1, 0 = -5*n + c + y. Let s be ((-4 - 0)/2)/(-2). Solve 5 = -n*b - s for b.
-2
Let y be 0 + 6*(-4)/8. Let f be y/(-6)*8/1. Let i be f + 4/(-12)*3. Solve -v = -i*v - 4 for v.
-2
Let c be 1/(-2)*(6 + -6). Let y be c*(-2)/((-2)/(-1)). Suppose 0 = 5*i - 4*h + 12, -2*i - 3 + 12 = 3*h. Solve i = d - y*d - 2 for d.
2
Suppose -4 = -m - 2*g - 0, 2*g = 3*m + 20. Let z be (m/6)/(6/(-45)). Let n(r) = -r**2 - 4*r + 8. Let x be n(-5). Solve -x*p = -z*p - 8 for p.
-4
Let w(s) = -s**3 + 22*s**2 + 22*s + 23. Suppose 49 = -2*n + 95. Let m be w(n). Solve q - 2 = -m*q for q.
2
Let y be (2/6)/((-1)/102*-17). Solve 8*v = 10*v + y for v.
-1
Let d = -82 - -133. Let x = d + -46. Solve -x*t = -2*t - 15 for t.
5
Suppose 10*m = 7*m. Suppose -k + 4*h = 10, -2*k - 2*h = -13 + 3. Solve m = k*f + 7 - 1 for f.
-3
Suppose -7*g - 40 = -5*m - 11*g, m + 2*g = 14. Solve 0 = 5*j - m*j + 4 for j.
-4
Let x(i) = -3*i. Suppose -p - 5 = 4*p. Let a be x(p). Solve a*d = 2*d - 1 for d.
-1
Let s = 126 - 123. Solve 15 + 0 = -s*z for z.
-5
Let d = -5 + 9. Suppose 0 = d*h + 2 - 10. Let x be 3*(-2)/(-6)*4. Solve -h = -x*j + 10 for j.
3
Let r = -1968 + 1976. Solve -56*l + r = -54*l for l.
4
Suppose 2*u = 4*u - 7*u. Let q(p) = -2*p + 4. Let a be q(u). Solve -a*r = -3*r + 5 for r.
-5
Let k be 2/(-5) - 96/10. Let u be (0 + 0)*k/(-20). Suppose -g + 11 + 9 = u. Solve 5*d = -0 + g for d.
4
Let c(w) = -w**2 + w + 13. Let d be c(4). Suppose 4*x - 8 = -0. Solve n = -d + x for n.
1
Let o be -4*(-4)/(-8) - -4. Let j = -2 + o. Suppose -5*m + m = j. Solve m = -4*g + 6 + 2 for g.
2
Suppose 47 = 5*b + 5*o + 17, 2*b + 4*o - 18 = 0. Let r be 4/6 - 52/(-3). Solve -b*t = -3 + r for t.
-5
Let f = -2 + 4. Suppose 268*c - 659 = 413. Solve -f*m - 4 = c for m.
-4
Let b(u) = -u**2 - 8*u + 52. Let s be b(-12). Solve 13*w = s*w - 18 for w.
-2
Let a be -1*2*(-1 - 3). Suppose -71*d + h = -66*d - 19, -2*d - 4*h = -12. Solve -a - 4 = -d*r for r.
3
Let x be 3/6*10/1. Let m(l) = l**2 - l + 1. Let a be m(x). Suppose -a*g = -19*g. Solve -2*t + g = -8 for t.
4
Let s = -50 - -39. Let f be s/((-231)/90) - 6/21. Solve 8 = -f*t - 4 for t.
-3
Let n = 39 + -37. Suppose 0 = -0*i - n*i. Solve 4*d + 1 - 13 = i for d.
3
Suppose 5 = -2*l + 9. Suppose n + 2 = 3*z - 18, 0 = -l*z - n + 5. Let f = -107 + 107. Solve z*r = -f*r - 5 for r.
-1
Suppose -2*g - 1 = -7, 2*s = -3*g + 13. Suppose 5*y - 3*f = -15, -5*f = 5*y + 1 + 14. Let x be (-10)/(y/(-3)*-2). Solve -s*c = -3*c + x for c.
5
Let i(k) = -22*k**3 + 5*k**2 + 14*k. Let j(a) = -7*a**3 + 2*a**2 + 5*a. Let f(r) = -4*i(r) + 11*j(r). Let n be f(1). Solve -n - 3 = -5*l for l.
3
Let x(u) = u**3 - 8*u**2 - 9*u + 14. Let b be x(9). Solve -3*l - 5 + b = 0 for l.
3
Suppose -3*w = -6*w - 4*r + 11, 2 = -2*r. Suppose 0 = -w*d - l + 6*l + 105, 3*d + 5*l = 55. Suppose 5*a - v = d, -4 = -3*a - 4*v - 15. Solve a*j = -j for j.
0
Let t(y) = y + 38. Let v be t(-26). Solve c = 7*c + v for c.
-2
Suppose -3*c = -108 - 42. Suppose 5*l + 3*b - c = 0, -2*l - 6 = -3*b - b. Solve -3*d = -l*d for d.
0
Let l(g) = -23*g - 37. Let w be l(-2). Let n be (-1 + 0)*(-1 - 4). Suppose 0 = -2*u + n + 3. Solve u*j - 3 = w for j.
3
Let i = -234 + 247. Solve -3*n + i = 25 for n.
-4
Let y(b) = -b**2 + 10*b - 6. Let k(t) = -t + 8. Let w be k(8). Suppose 3*p + w*p - 27 = 0. Let u be y(p). Solve -a = -u*a for a.
0
Let k(l) = -l - 7. Let r be k(-20). Suppose -50 = -r*v - 11. Solve v*c = -7 - 8 for c.
-5
Let z(r) = -r**3 + 8*r**2 - 7*r + 12. Let x be z(8). Let i = -40 - x. Solve i = -l - l for l.
-2
Let n(m) = m**2 - m - 14. Let c be n(18). Let u be c/(-24)*-3*-2. Let j = -48 - u. Solve 4*y + y = j for y.
5
Let b = 366 + -360. Solve -10 = b*s - 11*s for s.
2
Suppose -2*x = 4*v - 14, -v + 2*v = 3*x. Suppose 0*b = -3*b + 4*t + 19, -10 = 2*b + v*t. Solve -4 = k + b for k.
-5
Let k be (168/(-9))/(2/6). Let m be 0/(-1)*(-14)/k. Let s be 2 + -2 + 2 + m. Solve 0 = -r - s*r + 6 for r.
2
Suppose -3*c + 5 = -n, 0*n - 9 = -n - 4*c. Let f(l) = 4*l**2 + 3*l - 2. Let s be f(n). Solve -s*m - 18 = 2 for m.
-4
Let k be (-4 - 416/(-56))/(4/14). Solve 2*w - 6*w + k = 0 for w.
3
Let n = 40 + -25. Let j = n - -5. Suppose -2*o + 3*o = 0. Solve o*c - j = 5*c for c.
-4
Let m(x) = -x**2 + 44*x - 5*x**2 - x**3 - 3 - 6*x**2 - 56*x. Let z be m(-11). Solve 3*u + z = -u for u.
-2
Let a = 35 - 32. Let z be 3/(-3) - (-2 + 0)*a. Solve z*o - 16 = o for o.
4
Suppose 3*f = -2*v + 31, -4*v = -5*f + v + 85. Let a(o) = o**2 + 4. Let b be a(3). Let z = f - b. Solve -2*t + z*t = 4 for t.
-2
Let m be (-4 - -7) + 8/20*5. Suppose 0 = -m*p + 6*p + 2*p. Solve 3*s + 15 + p = 0 for s.
-5
Suppose 30 = 5*h - 2*q, -h - q + 7 = 1. Let u(d) = 2*d**2 - 10*d - 10. Let x be u(h). Solve x*g + 1 = 5 for g.
2
Suppose 6*a = 3*a - 2*g + 89, -4*a - 4*g = -124. Let k be ((-6)/(-27) + 21/a)*2. Solve k*o = -o for o.
0
Let u(x) = 95*x - 636. Let c be u(7). Solve c = 4*z + 37 for z.
-2
Suppose 5260 = 6*f + 5218. Solve f*l + 85 = 64 for l.
-3
Suppose 4*h + 4*u + 14 = 5*h, -4*h = 2*u - 2. Suppose -x = -0 - h. Solve x*m - m + 3 = 0 for m.
-3
Suppose -2*j - 2*k - 6 = -0*k, -4*j = -2*k. Let w(f) = -4*f**3 - 3*f**2 - 2*f - 1. Let u be w(j). Solve -u*v = -0*v for v.
0
Suppose -4*j + 0*j = -12. Solve -j*d + 4 = -d for d.
2
Suppose 2*h - 3*h + d + 13 = 0, 5*h - 65 = -4*d. Solve -6*i - h = 17 for i.
-5
Let c be (-1)/2 - (-2)/4. Let j be -2*3/21*-7. Solve c = s + s + j for s.
-1
Let s(f) be the second derivative of -5*f**3/6 + 13*f. Let m be s(-1). Solve m*a + 5 = -0*a for a.
-1
Let h = 1382 + -1379. Solve -h*w = -12 + 15 for w.
-1
Suppose 2*l - 80 = -2*l. Let u be -4 - (1 - -3 - l). Let z(r) = -r + 13. Let m be z(u). Solve 3*w - 10 + m = 0 for w.
3
Let b(u) be the first derivative of -4*u**2 + 40*u - 53. Let f be b(5). Solve 0 = -4*z - f*z for z.
0
Suppose 2*d = u, -3*u - 2*u + 4*d = 0. Let s be (u/(-5))/((-2)/(-1)). Solve s = 3*o - 8*o for o.
0
Let m be (0 - (3 - 1))*-1. Let k = 13 - 8. Solve m*v = k*v for v.
0
Suppose 0*l - l - 2 = 0, 5*l - 10 = -4*h. Suppose 4 = 5*x - f + 6, 0 = -x + 3*f - 6. Solve x*d = -h*d for d.
0
Let d = -2 + 6. Let y = -3568 + 3568. Solve y = 3*u + 16 - d for u.
-4
Suppose -16*z = -12*z + 6*z. Solve z = -g + 23 - 25 for g.
-2
Suppose 0 = 49*j - 51*j + 24. Suppose -2*x + 2*a = -j, -x + 0*a = -2*a - 9. Solve -v = -x*v for v.
0
Let z(r) = -3*r**2 + 4*r - 3. Let p be z(2). Let k(i) = 6 - 13 + i - 2*i. Let g be k(p). Solve 2*o - 1 + 5 = g for o.
-2
Suppose -w = -118 + 114. Solve 2 = d + w for d.
-2
Let j = -1611 + 1614. Solve -4*x + j*x = -3 for x.
3
Let i(a) = -a**2 - 6*a + 10. Let x be i(-