4*t + z*t - 10 for t.
-5
Let y = 13 - 14. Let o be (10/(-15))/(y/9). Suppose -5*q + 15 = -0. Solve h = q*h + o for h.
-3
Suppose 6*y - 2*y + h = -1, 0 = 2*h + 2. Solve y*o = -5*o - 15 for o.
-3
Let j(t) = t**3 - 4*t**2 + 2*t - 5. Let l be j(4). Suppose 3*i = 4*i - l. Solve 0 = -q - i - 2 for q.
-5
Let m = 12 - 9. Let c = -3 + m. Solve f = -c*f for f.
0
Let j(x) = -3*x - 7. Let k be j(-3). Solve 5*g + 13 + k = 0 for g.
-3
Let f be -1 + 4/(6 + -2). Solve f = 5*p - 2*p for p.
0
Suppose -2*z + 7 = 3*t, t - 3 + 4 = 0. Let r be 6 + 0/1 + -2. Solve z*o = r*o for o.
0
Let o(v) = v**2 - 11*v + 10. Let i be o(10). Suppose 0 = -5*h + 2 + 13. Suppose h = 2*l + 2*a - 7, -12 = -2*l - 3*a. Solve i = l*j + 5 + 4 for j.
-3
Suppose 5*o + 4*c - 3*c = 8, 0 = 3*o + 2*c - 9. Let t(w) = 6 + 0*w + 5*w**2 + 0*w + w**3 - o. Let f be t(-5). Solve -2*b + 7*b = -f for b.
-1
Suppose -o + s + 5 + 3 = 0, 5*s = -4*o - 13. Solve -8 = o*l + 7 for l.
-5
Let t(h) = h**2 - 3*h - 2. Let s be t(4). Let n(o) = -2*o + 2*o**2 + 0 + 2*o**s - o**3 - 1 + 0*o. Let f be n(2). Solve -f = 4*a - 15 for a.
3
Let v(i) = i**2 + i - 3. Let m be v(-3). Suppose 0 = m*g - 9*g. Solve -4*n + 0*n = g for n.
0
Let x be (4/(-10))/(10/(-50)). Let l = -1 - -9. Suppose -5*i = q + 10 - 36, 0 = -2*q + i + l. Solve q - 2 = x*m for m.
2
Let f = -2 - -4. Suppose -2*n + 18 = f*c, 2*n - 12 = -2*c - 2*n. Suppose 6 = 3*v + 2*m, -4*v + 0*v - 4*m + c = 0. Solve 2*b - 13 + 3 = v for b.
5
Let d be 0*((-3)/(-2) - 2). Suppose -2*w - z + 1 + 3 = d, -w + 5*z - 20 = 0. Let l = 10 + -7. Solve w = -l*q + q - 2 for q.
-1
Let l = 124 - 58. Suppose 2*f - 6 = 0, -2*f + l = -2*a - a. Let p be (-512)/a + 6/(-10). Solve 4*j = -j - p for j.
-5
Let k be 6 + -6*(-1)/(-2). Solve 3*p + k = -0*p for p.
-1
Let i(p) = -p**2 - p + 8. Let k be i(0). Solve -k = -m - 3*m for m.
2
Suppose -3*i + 4 = -2. Let q be -3 + (-30)/(-4 + i). Solve 3*s = 27 - q for s.
5
Let l be ((-4)/(-14))/((-11)/(-77)). Let o be 8 + -2 + l/(-2). Solve 0 = -o*z + z for z.
0
Let j be (-30)/105 + (-74)/(-14). Solve 0 = 4*p + 13 - j for p.
-2
Let h(i) = i**3 + 3*i**2 - 2*i - 1. Let f be h(-3). Suppose 6*z - 28 = 8. Solve -f*m + z = -2*m for m.
2
Suppose -x = 1, -2 - 9 = 2*a + 3*x. Let t = 0 + 0. Let c = t - a. Solve 3*q - 11 - c = 0 for q.
5
Suppose c + 2*a - 4*a = -3, 0 = 3*c + 3*a + 18. Let m(g) = g**3 + 5*g**2 - g - 3. Let j be m(c). Solve w = j*w for w.
0
Let r(g) = g**3 + 3*g**2 - 3*g. Let k be (-58)/18 - 4/(-18). Let h be r(k). Solve 3*a - 3 = -h for a.
-2
Let c(b) = -b**2 - 2*b. Let r be c(-2). Solve r = -3*i - 3 for i.
-1
Let t = -34 - -36. Solve -6*f = -t*f for f.
0
Suppose -3*z - 3 = -3*d, -18 = -5*z + 7. Solve -4*j + d*j + 2 = 0 for j.
-1
Let h(s) = -2*s**2 - 3*s - 1. Let g be h(-4). Let b be (1 - 8)*6/g. Solve d - 3 = b*d for d.
-3
Suppose 24 = 3*v + 5*h - 8*h, h - 22 = -5*v. Solve v*k - k = 8 for k.
2
Let s(o) = 2*o**2 - 5*o + 1. Let t be s(3). Solve -2*p + p = t for p.
-4
Let z = 15 - 10. Solve -z*b + 0*b = 0 for b.
0
Let g = 2 - 2. Solve 0*n - 4*n + 20 = g for n.
5
Let p(b) = -b**2 - 6*b - 9. Let g(l) = 2*l**2 + 12*l + 18. Let h(n) = -2*g(n) - 5*p(n). Suppose 4*o - 23 = -47. Let x be h(o). Solve -3*r + x = -6 for r.
5
Suppose 16*o + 35 = 21*o. Solve 5*z + 13 = -o for z.
-4
Let i = -9 + -2. Let r = i - -18. Solve -r = -b - 2 for b.
5
Suppose -3 - 1 = -r. Suppose y - 14 = r*p, 2*y = p - 9 + 44. Solve -5*u = y - 3 for u.
-3
Let p = -130 + 134. Solve 0 = -p*u + 5*u for u.
0
Suppose 4*o - 18 = 3*l - 58, -5*l + 57 = 3*o. Solve l = 3*x - 0 for x.
4
Let v be (1 - (2 - 0)) + 3. Suppose -v - 2 = -2*s. Solve 0 = s*a - 1 + 3 for a.
-1
Let b be 4/(-8)*-1*0. Let l be b/(0 + 3 + -2). Let z = 0 + 0. Solve -5*r + l*r = z for r.
0
Let d(b) = 5*b + 1. Let u be d(3). Let z be (42/(-9))/(4/(-6)). Let h = u - z. Solve 6*k - h = 3*k for k.
3
Suppose -4*d = -2*g, 5*d - 5*g + 11 = 1. Suppose 5 = -5*c - 2*j + 1, -j - d = 0. Suppose c = l - 3*l. Solve 5*q + l*q + 25 = 0 for q.
-5
Suppose -c - 20 = -4*u, 2*c - 3*u + 15 = 3*c. Suppose 3*q + 2*q - 60 = c. Solve 0 = 3*m + m + q for m.
-3
Suppose -6*o - 2 = -7*o. Solve -3*n = -o*n + 1 for n.
-1
Suppose -q - 8 = -3*q. Suppose 5*y = -q + 14. Solve 5*s - 12 = -y for s.
2
Let k(x) be the first derivative of -x**3/3 + x**2/2 + 1. Let o be k(1). Let d(h) = -h**2 - 12*h + 7. Let g be d(-12). Solve o = g*y - 2*y for y.
0
Let q(s) = -s. Let t be q(-2). Let l be 0 + 0 + 1 - t. Let m be (-3 + 4)*(-1 - l). Solve -3*a = -m*a for a.
0
Suppose z + 4*k - 9 = 0, z - 27 = -2*z - k. Let u be -3*(-6)/z + 20. Suppose 0 = -3*r - h + 17 - 4, u = 5*r + 2*h. Solve -1 + 13 = -r*t for t.
-3
Let h = -34 - -73. Suppose -4*g - 1 - h = 0. Let a = 2 - g. Solve 0 = 2*n - 6*n - a for n.
-3
Let o(m) = -m - 6. Let y be o(-7). Solve -i + 2 = y for i.
1
Suppose 0 = -4*w - 16, 2*a - w + 0 = 10. Suppose a*x = -4*o, -x + o = 4*x. Suppose x = 2*u - 4*u. Solve f = -u*f + 4 for f.
4
Suppose 20 = i + 5*l, -i + 6*l - 5*l = -2. Suppose -2*q + i + 5 = g, -g + 6 = q. Solve -g*a - 3 - 5 = 0 for a.
-4
Let t(n) = -7*n**2 + 13*n - 4. Let d(f) = 6*f**2 - 12*f + 3. Let w(v) = -6*d(v) - 5*t(v). Let z be -2 + 2 + 3 + 4. Let p be w(z). Solve y = -p - 0 for y.
-2
Let r be (-6 + 3)/(-1) - 1. Solve 0 = r*y + 3*y - 25 for y.
5
Let s be ((-24)/(-28))/(3/21). Solve 15 = -s*o + o for o.
-3
Let g(p) be the first derivative of p**2/2 - 8*p - 3. Let h be g(8). Solve h = -x - x + 8 for x.
4
Let x(b) = b**3 - 2*b + 8. Let y be x(0). Solve -4*z = -y*z + 8 for z.
2
Let z be (1 - 1) + -2 + -3. Let m(c) = -c**3 + 3*c - 64*c**2 + c + 60*c**2 - 5. Let s be m(z). Solve s*b = -b - 3 for b.
-3
Let k = -51 - -54. Solve -k*y + 0 = 15 for y.
-5
Let b be (2 + 10*2)/(-2). Let r = 12 + b. Solve -2*x + r = -1 for x.
1
Let b(x) = x**3 + 9*x**2 + x + 10. Let v be b(-9). Let l be v + 2 - (2 - 9). Solve 0 = -5*g + 3*g + l for g.
5
Let g = -12 + 23. Let c = 1 + -2. Let q(d) = 3*d**2 + 2*d + 1. Let f be q(c). Solve -f*x + g - 1 = 0 for x.
5
Let b(s) = -s**3 - 4*s**2 + 5*s + 2. Let x be b(-5). Suppose -5*w - 5*a + 20 = 0, 0 = -4*w - a - 0*a + 16. Solve -x + w = n for n.
2
Let l(t) = -t**3 + 31*t**2 - 25*t**2 - t + 9 + 7*t. Suppose -5*u = -5*i - 60, 4*i = 4*u + 3*i - 33. Let a be l(u). Solve 0 = -w + a*w - 2 for w.
2
Let d(w) = -w**3 + 7*w**2 - 6*w + 1. Let s be d(6). Let i(a) = 2 - s - a - a. Let o be i(-4). Solve 7 = -4*g - o for g.
-4
Suppose -8 = -4*d, -3 = 5*n - 3*d + 3. Solve 2*c = 6 - n for c.
3
Let m(z) = -z**3 + 6*z**2 + 11*z - 28. Let a be m(7). Suppose 0*l - w = -4*l, 0 = -3*l + w. Solve -i - 2 + l = a for i.
-2
Suppose -5 = -12*y + 19. Solve 0*t - t = -y for t.
2
Let c be -17 - -20 - -1*1. Solve -c*q + 4 - 20 = 0 for q.
-4
Let y be 7 + 0/(-2) - 1. Let m be 9/1 - y/(-2). Solve 2*d + d = -m for d.
-4
Let d(f) = -5*f - 30. Let w be d(-7). Solve w = -5*x - 10 for x.
-3
Suppose 4*o = -o. Suppose 5*m + o*m - 15 = 0. Let t(q) = q**3 + 5*q**2 - 5*q + 6. Let u be t(-6). Solve 0 = m*a - u*a for a.
0
Suppose f + 2*f - 41 = 4*v, 5*f + v = 53. Let k(b) = -b**3 - b**2 + 4. Let o be k(0). Solve 5*t - o - f = 0 for t.
3
Let v be (-55)/(-33) + (-8)/(-6). Suppose -2*c - 2*c = -80. Solve y = -v*y - c for y.
-5
Let t = 3 - 1. Suppose 0 = h - t*h + 6. Solve -2*n = -h*n - 8 for n.
-2
Let m(t) = -t**2 - 6*t - 7. Let p be m(-5). Let q(s) = -s. Let l be q(p). Suppose l*h - 9 + 1 = 0. Solve 3*u - h*u - 5 = 0 for u.
-5
Suppose -5*q + q - 16 = 0. Let h = q - -8. Suppose -14 = -5*y + 3*s, -4*y + 5*s = 2 - 8. Solve h = -y*n + 8 for n.
1
Suppose c + 3*c = 2*a, -a = -4. Let d be 0 + (-2 + 0)*1. Let k = c + d. Solve k = -w - w for w.
0
Suppose 4*z = -4*c + 32, -5 = 5*c - z - 15. Suppose -c*a = 2*i + 9, -3*i + 4*a = 2*i - 12. Solve k - 3 + 2 = i for k.
1
Let k = -1 + 4. Suppose -2*g + k = -7. Solve 1 - 21 = -g*d for d.
4
Suppose 122 = 5*a - 2*t, 2*a = -0*a + 4*t + 36. Suppose -3*q - 2*w - 3*w + a = 0, 2*w = -3*q + 32. Solve -2*r - 2*r = -q for r.
3
Suppose -4*c + 20 = c. Suppose -32 - 8 = -c*f. Solve 0 = 3*q + 2*q - f for q.
2
Let p(s) be the first derivative of -s**3/3 - 4*s**2 - 10*s + 1. Let y be p(-6). Solve -y + 12 = 5*d for d.
2
Let t be 2/(-6) + (-17)/3. Let d(v) = -v**2 - 8*v. Let f be d(t). Suppose -3*q + f = 0, -2*y + 29 = y + 5*q. Solve 25 = -2*g - y*g for g.
-5
Let n(t) be the second derivative of t**5/20 - t**4/3 + t**3/2 + 3*t**2/2 - t.