 0 = -p*u + t*u for u.
0
Let g be 338/91 + 2/7. Solve g = -2*j + 10 for j.
3
Let x(i) = -i**2 - 8 + i**2 - 4*i**2 + 3*i**2 + 7*i. Let s be x(5). Solve 8 + s = -2*k for k.
-5
Let n(z) = -z**3 - 4*z**2 - 2*z - 5. Let u be n(-4). Suppose 5*m = u*m - 24. Let d be (-2)/(-7) + m/42. Solve d*j = j + 4 for j.
-4
Let x = 372 - 371. Let y be -1*(2 + -3) - -2. Solve -y = o + x for o.
-4
Let l = -22 - -34. Let f(y) = -y**3 - 5*y**2 - 2*y - 3. Let u be f(-5). Let v = l - u. Solve -2 = -3*w + v*w for w.
-1
Suppose -4*p + 12 = -0*p. Solve 4*s = -11 + p for s.
-2
Let d(y) = -y - 1. Let u be d(-3). Solve u*n - 8 = 4*n for n.
-4
Let j(b) = -7*b**2 + b - 1. Let z be j(-2). Let v be -2 + z*(0 + -1). Suppose 2*n - 3*q - v = 0, n - q = -4*n + 40. Solve -4*k - 1 = n for k.
-2
Suppose -i - 3*i = -3*s + 9, -4*s + 2*i = -12. Let t be 4 - (4 + s + -4). Solve 4*y - 17 + t = 0 for y.
4
Let q = 4 - 2. Suppose 4*m + o - 7 = 4, 5*o + 29 = m. Solve 0*l - m = -q*l for l.
2
Suppose 6*r = r + 15. Let h be (2 - r)/(-1 + 0). Suppose u = 2 + h. Solve n + 2 = -u for n.
-5
Suppose -3*r + 24 = -3*s, -7*r + 2*r + 2*s + 25 = 0. Solve 5*n - r*n - 8 = 0 for n.
4
Suppose 16 = 4*d - 28. Let k = d + -2. Suppose k = -3*j - 4*t, -5*t - 5 = 4*j - 2*t. Solve -6 = x - j for x.
-5
Let q(m) = -m**3 + m**2 - 1. Let t(x) = 2*x**3 + x**2. Let w(r) = -q(r) + t(r). Let l be w(1). Let b be (4/(-2))/(8/(-60)). Solve l*h = 5 + b for h.
5
Let l be -1 + (-1 - -3) + 0 + 2. Let w = 13 - 6. Let a(p) = -p**3 + 8*p**2 - 7*p + 6. Let z be a(w). Solve -z + 18 = -l*d for d.
-4
Suppose -h - 5 = -6*h. Suppose 0*x = 4*x. Let i(m) = m**3 - 2*m**2 + m - 2. Let j be i(2). Solve x = a - j + h for a.
-1
Let k = 5 - 5. Solve k = -2*c - 4 - 2 for c.
-3
Suppose -2*a = -0*a - 6. Solve -11 = 4*z - a for z.
-2
Let r(y) = -y**3 + 2*y**2 + 2*y - 1. Let s be r(2). Suppose 3 = p - s. Solve -p = b - 3 for b.
-3
Let z be ((-9)/4 + 1)*(-21 + 17). Solve 2*i - i = -z for i.
-5
Let f = -54 - -57. Solve -f*g = 2*g for g.
0
Suppose 0 = 4*i - 3*d - 9, -3*i + 2*i - d = -11. Let f be 32/6 + i/9. Solve s = -s + f for s.
3
Suppose 0 = -5*v - 4*m + 60 + 40, v = -4*m + 36. Solve v = -x + 5*x for x.
4
Let l(k) = k. Let j(i) = -7. Let u(c) = j(c) + 3*l(c). Let a be u(3). Solve -2*n = a*n + 12 for n.
-3
Let q be 8 - (0 - (-6 - -11)). Suppose -2*x = -4*o + 10, 2*o - 5 = 4*o - 3*x. Solve o*h = 12 + q for h.
5
Suppose 0 = 3*o + o - 2*k - 36, 45 = 5*o - 3*k. Solve -5*y = 11 + o for y.
-4
Let y(q) = -q**2 - 2*q - 1. Let b be y(-1). Suppose b*z = 2*z + 4. Let s = 2 + z. Solve s = -v + 2*v for v.
0
Let i(b) = -b**3 - 6*b**2 + 6*b - 3. Let w be i(-7). Let r = 0 + 3. Suppose 3*q - r*n - 7 = 5, n - 16 = -4*q. Solve 12 = q*y + w for y.
2
Let k(a) = 13*a - 1. Let x be k(1). Solve 0 = -4*t - 0 + x for t.
3
Let g = -3 - -13. Suppose 2*i - 7*j + 2*j = -g, -3*i - 3*j = -6. Suppose -5*n = -i*n. Solve n*b = -b for b.
0
Let m(s) = -18*s**3 + s + 1. Let l be m(-1). Suppose -w = -3*w + l. Let f = w + -5. Solve -g = f*g + 20 for g.
-4
Suppose 12 = 4*g - g. Suppose 5*b + 16 = g*h, 2*h - 8 = 2*b - 6*b. Suppose 0*p - 3*p = t - 14, -5*t = -p + 10. Solve p - h = -o for o.
-1
Suppose -57 = 4*c + 103. Let o = -22 - c. Solve 2 + o = -5*m for m.
-4
Let h(a) = a**3 + 8*a**2 - 8*a + 13. Let c be h(-9). Let u = 6 - c. Suppose 0 = -d + u. Solve -4*p - d - 6 = 0 for p.
-2
Let q = -13 + 18. Suppose -5*b = q*z - 5, 0 = -4*z - z + b + 29. Let j(u) = -u**2 + 7*u - 3. Let w be j(6). Solve -w*c + z = 2*c for c.
1
Let d be (-14)/(-7) + 5/(-1). Let p = d - -8. Suppose -h - 5 = -p*o, -h = -4*o - 3*h + 18. Solve 15 = -o*u + 5*u for u.
5
Let j(d) = -d. Let h(y) = -6*y. Let t(g) = -h(g) + 4*j(g). Let a be t(1). Solve -1 - 1 = -a*l for l.
1
Suppose d - 11 = -5*r, -10 = -2*r - 2*r - 2*d. Solve -r*j = -5*j for j.
0
Let m(q) = -q**2 - 3*q + 10. Let u be m(-5). Solve 4*f = -u*f for f.
0
Let j = 6 + -6. Let r be j/(-4)*(-1)/(-2). Suppose r*n = 4*n. Solve n = 2*l + 1 - 3 for l.
1
Suppose 4*b = 3*q + 3 - 13, 3*b = 2*q - 7. Solve -j + q*j = 3 for j.
3
Let h = -20 + 23. Solve h*x - 3 = 3 for x.
2
Let h = 2 + 0. Solve -h*n = -4*n - 2 for n.
-1
Let c = -2 - -4. Solve 14 - c = 4*t for t.
3
Suppose 4*r - 3 - 5 = 0. Suppose -a - r*a + 9 = 0. Suppose 2*n + 3 - 11 = 0, 0 = a*u + 4*n - 19. Solve 0*j + u = j for j.
1
Suppose 5*o + 4*z - 7 = 0, 0 - 2 = z. Solve o*v + v = -8 for v.
-2
Suppose -3*r - 2*r + 70 = 0. Let j = -4 + r. Solve j - 30 = -5*p for p.
4
Let q = 9 - 6. Suppose h + 13 = -q*l, 0*h + 3*h - 4*l - 26 = 0. Solve -h*n = -0*n - 2 for n.
1
Let d be (6/(-4))/((-2)/4). Suppose -5*o + 1 = -2*m - 0*m, -m - 5*o + 7 = 0. Solve w = d - m for w.
1
Suppose 2*l = -s - 2 - 5, -5*s + 10 = l. Let g be 27/l + 2/5. Let h = g - -5. Solve -b - b - 10 = h for b.
-5
Suppose -6*h + 86 = 44. Suppose -3*x - 1 = 2*x - 4*y, 2*x - 3*y = -6. Let t(z) = -z**2 + 6*z + 4. Let k be t(4). Solve -x*d + h*d = k for d.
3
Let t(q) = -q**2 - 7*q - 5. Let a be t(-6). Let p be (8/5 - a)*15. Let g(w) = w**2 - 9*w + 6. Let l be g(p). Solve -l = -4*y + 10 for y.
4
Let g be (1 - 2*-1)*1. Suppose 12 = -g*l - f + 58, 0 = -f + 1. Let q be -5*3/l*-2. Solve -q*s - 2*s = 0 for s.
0
Suppose 2*x + 13 = 3, -3*p + 3*x + 27 = 0. Solve p = 5*q - 16 for q.
4
Let m be 0 + 0 + 6/(-3). Let r be (-2)/(-3) + m/3. Let t be (2 - (r + 2))/2. Solve 4*q = -t*q for q.
0
Suppose 2*v - 2 - 38 = 0. Suppose 6*u - 20 = 4. Solve -m = u*m + v for m.
-4
Let i = 1 - -7. Let s(h) = h - 1. Let k be s(-1). Let p be 0*(k/4 - 0). Solve -4*f + i = -p*f for f.
2
Let j(c) be the first derivative of c**4/4 - c**3/3 + c**2/2 - 7. Let x be j(1). Solve q + 0 = x for q.
1
Let x(y) = y**2 + 5*y + 8. Let t be x(-8). Suppose 20 + t = 4*f. Solve 1 - f = 3*d for d.
-4
Let n(z) be the third derivative of z**6/120 + z**5/20 - z**4/12 - z**3/3 + 6*z**2. Let f be n(-3). Solve 0*l + f = -2*l for l.
-2
Let f(n) = -n**3 + 4*n**2 - n + 5. Let w be f(4). Let t be w/3 + 10/6. Solve t*j = j + 4 for j.
4
Suppose 2*d - 4*d = -4. Suppose -4*k = -5*k + d. Let t be (5 - 6)/(2/(-4)). Solve -t - k = 2*j for j.
-2
Let w = 15 + -6. Suppose -3 - w = -4*f. Solve f*n = n + 4 for n.
2
Let t(b) = -2*b**2 + b. Let x be t(-1). Let y be (x/(-6) + 0)*-2. Let u be 0/(1 + y/(-1)). Solve z + u*z - 3 = 0 for z.
3
Let t = -21 - -41. Let k be ((-8)/t)/((-2)/10). Solve 6 = k*r - 0 for r.
3
Let s(h) = -6*h**3 - h + 1. Let n be s(1). Suppose -o = 2*o + 5*i - 9, 2*o - i = -7. Let j be n/(-2 - (o + 1)). Solve j*d = 3*d - 3 for d.
-1
Suppose 0 = -5*t + 5*v + 30, -5*v = t + 1 + 11. Let l = 50 - 48. Solve l*q = 3*q + t for q.
-3
Let j(a) = -a - 4. Let y be j(-8). Solve 5*k = y*k for k.
0
Suppose 39 = -5*l + 4. Let n = l + 9. Solve 0 = n*x - 6 - 4 for x.
5
Let h(d) be the third derivative of 1/10*d**5 + 4/3*d**3 - 4*d**2 + 1/120*d**6 + 0*d**4 + 0*d + 0. Let u be h(-6). Solve -20 = 3*m - u for m.
-4
Let k(u) = u**3 - 8*u**2 + 8*u - 9. Let y be k(7). Let w be (-5)/(-1) - (0 - y). Solve w*o - 8 - 4 = 0 for o.
4
Let m be (-14)/(-105) - (-394)/(-30). Let k = m + 15. Solve k + 6 = -4*o for o.
-2
Suppose v + 8 = -3*j, 2*j - 3 = 4*v - 27. Solve 0*t - 4*t = v for t.
-1
Let p be 3 + 0 + (2 - -5). Suppose -x + 6*x = p. Suppose -m = -x*m. Solve a + m*a = 2 for a.
2
Suppose 2 = 2*o - 6. Let c = -3 + 6. Let u be (c + -2)/((-1)/(-2)). Solve -o*t = -u + 6 for t.
-1
Let y = -49 - -51. Solve -y*x - 2*x = 0 for x.
0
Let l be (-24)/(-10) + (-2)/5. Suppose 5 = l*h + 2*j + 1, h + 3*j = 12. Let v = 3 + h. Solve v = -5*q + 25 for q.
5
Suppose -7*g + 12*g - 10 = 0. Solve 0 = b - g - 2 for b.
4
Let j(i) be the second derivative of i**3/2 + i**2/2 + 3*i. Let n be j(1). Suppose 2*p + 0*p + 5*f = 14, -3*f + 6 = 0. Solve -2*m - p - n = 0 for m.
-3
Let r(u) = -u**3 - 5*u**2 + 4*u - 7. Let t be r(-6). Solve -3*c + 6 = -t*c for c.
-3
Suppose 2*c + 5*c - 49 = 0. Solve -c*a = -3*a for a.
0
Suppose 16 = -o + 5*o. Let y be (o*(-5)/2)/(-2). Solve -y = -0*s + s for s.
-5
Let m = 0 + -3. Let f = m + 3. Solve f + 2 = o for o.
2
Let g = 7 + -14. Let t be 4/14 - 12/g. Solve 0 = t*z - 0*z for z.
0
Let b(z) = -z - 5. Let v be b(-7). Solve -v*g - g = -15 for g.
5
Let i = 33 - 21. Let o be 3/i + (-1)/4. Solve p = 5 - o for p.
5
Suppose 4*y - 4*h = 0, 8*h - 3*h = -4*y + 9. Let u be y + -2 - (7 - 10). Solve 3*s = u*s - 5 for s.
-5
Let t(u) = u**3 + 6*u**2 - 6*u + 7. Let p be t(-7). Sup