0 for x.
2
Let q = 1 - -32. Let o(r) = r**2 - 3*r - 6. Let v be o(5). Solve v*h = q - 13 for h.
5
Let i = -58 - -70. Solve 4*x + i = -4 for x.
-4
Suppose 5*z = -4*q + 29, q + 9 = z + 5*q. Let i(t) = 3*t**2 - 2*t + 2*t - 1. Let o be i(-1). Solve -o*h + z + 5 = 0 for h.
5
Let d = 14 - -18. Suppose 4*t - d = -0*t. Let n(y) = 2*y - 9. Let m be n(t). Solve 5 = -4*j - m for j.
-3
Let b(a) = -a**2 - 6*a - 5. Let s be b(-4). Suppose 2*l + 91 = 3*j - 4, -s*j + 3*l + 99 = 0. Suppose n + 3*n + 3*t = j, t = -2*n + 13. Solve n*x = -2 - 8 for x.
-2
Let q = 28 - 11. Solve -5*x = q + 3 for x.
-4
Suppose -4*n + 8*n - 3*w - 23 = 0, -2*n = -4*w - 14. Solve 0 = -n*s - 13 + 3 for s.
-2
Suppose 2*g - 1 - 5 = 0. Suppose -5*h - 2 = 2*w, -5*w + 6*h - g*h + 26 = 0. Solve -3*f = -5*f + w for f.
2
Let t(d) = -d**3 + 4*d**2 + 11*d - 10. Let p(m) = -m**2 + 1. Let a(n) = 5*p(n) - t(n). Let z be a(10). Let i = z + -5. Solve -2*k - 2 - 2 = i for k.
-2
Suppose 7*k = 3*k. Solve 2*t = -k*t for t.
0
Let m be -1*(-12)/(16/4). Suppose -3*t = -5*n + 11 - 2, 3*n - 15 = -m*t. Solve -q = n + 2 for q.
-5
Suppose 0 = 3*t + 2*t. Let l = t - -9. Solve 2*w + w - l = 0 for w.
3
Let a = 16 - 23. Let v = 12 + a. Solve 0 = 3*l - v*l + 10 for l.
5
Let q(f) be the second derivative of -f**3/6 - f**2/2 + f. Let t(d) = 2*d - 1. Let n be t(-2). Let s be q(n). Solve 0 = -w - 1 + s for w.
3
Let u = 14 + -5. Suppose 3*z + 15 = 63. Let c = z - u. Solve 3*r - c = 8 for r.
5
Let l = -6 + 9. Suppose -l = -5*m + 37. Let w be 1/(2/(-8)*-1). Solve 0*p = w*p - m for p.
2
Suppose 4*t + 4*w + 4 = 0, -3*w = -9 - 6. Let z = -3 - t. Suppose -6*u = -5*u. Solve z*k + 1 + 2 = u for k.
-1
Let l(j) = -j**3 + 6*j**2 - 1. Let z be (18/(-7))/3*-7. Let u be l(z). Let i be u/(-2) + 25/10. Solve i*v = -0*v + 15 for v.
5
Let u(j) = j**2 - 7*j + 1. Let o be u(7). Let w = -1 + o. Solve 0*r + r = w for r.
0
Suppose 3*q - n - 3 = -24, 2*q = -4*n. Let w = -8 - q. Let f = 1 - w. Solve -m = -f*m for m.
0
Let k be (-2)/(-9) + (-176)/(-18). Let x be (-2)/10 - (-32)/k. Let g = -1 + x. Solve l = -g + 6 for l.
4
Let f = -61 - -62. Solve 10 = 3*h + f for h.
3
Suppose 5 - 1 = 4*x. Solve 5*y + 4 + x = 0 for y.
-1
Let q(m) = -3*m + 4*m + 4*m**2 + 12 - 5*m**2. Let h be q(0). Solve 2*c = 6*c - h for c.
3
Suppose 0 = 5*i - 4*i - 3. Suppose 3*b + h = -19, -23 + 8 = 3*b - 3*h. Let p(s) = s + 7. Let q be p(b). Solve q = -4*m - i for m.
-1
Suppose 2*d - 16 = 3*j, -5*j + 2*j = 12. Let b(m) = -m**2 + 3*m + 2. Let v be b(d). Solve v*p = 8 + 4 for p.
3
Suppose -2*x + 6*x = 0. Solve -u = -x*u - 3 for u.
3
Suppose 5*j = 2 + 48. Let a be (j/(-4))/((-2)/4). Suppose a*f - 54 - 21 = 0. Solve -w = -4*w - f for w.
-5
Let y(z) = z + 2. Let c be y(3). Suppose 0 = -5*o - 2*f + f - 22, 20 = -o + c*f. Let h be o/(1/(2/(-2))). Solve -h = 4*t + t for t.
-1
Let b(s) = s**2 - s + 2*s**3 - 5*s**3 + s**3 - 2*s**3. Let q be b(1). Let n be q/6 + (-120)/(-18). Solve -6 = -3*x + n for x.
4
Let u(j) = 2*j. Let x be u(3). Suppose 96*d = 101*d + 25. Let w = x + d. Solve n = 2*n - w for n.
1
Let o(w) = w**3 - 4*w**2 + 5. Let z be o(4). Suppose 0 = -4*l - 0*h + 3*h + 13, -5*l + 4*h = -16. Suppose -5*d - l + 19 = 0. Solve 10 = d*g - z*g for g.
-5
Suppose 0 = 2*f - 3*t - 16 + 3, 0 = f + 3*t + 7. Solve 0 = -6*y + f*y + 12 for y.
3
Let p be (3/4)/((-3)/(-12)). Solve p*x + 3 = -6 for x.
-3
Let s(d) = -d**3 + d + 7. Let f be s(0). Suppose 6 - 20 = -f*p. Solve 0*l - 8 = p*l for l.
-4
Let w = -99 + 104. Solve w*k - 16 = k for k.
4
Let c(r) be the third derivative of r**6/120 - r**5/60 - r**4/12 - 2*r**2. Let j(h) = -h**2 + h + 2. Let s be j(0). Let a be c(s). Solve a = -2*p - 2*p for p.
0
Suppose 5*o - 2*o = 9. Let m = 3 - -3. Solve m*x - 6 = o*x for x.
2
Let w(s) = s**2 - 8*s - 13. Let y be w(11). Solve 4*o + y = -o for o.
-4
Let i(g) = g**2 - 11*g + 14. Let b be i(10). Suppose 8 = 3*m - b. Let a(y) = -y. Let n be a(0). Solve 2*k = -n*k + m for k.
2
Let m(z) = z + 11. Let c be m(-8). Let t(r) = r**2 - 3*r + 2. Let n be t(2). Solve n = -2*x - 1 + c for x.
1
Let u(s) = 2*s - 12. Let t(k) = -2*k + 25 - 3*k + 0*k. Let z(x) = -3*t(x) - 7*u(x). Let c be z(-5). Solve -5*m + c*m = 3 for m.
-3
Let j = -31 - -35. Solve 0 = -r - j for r.
-4
Suppose -4*o - 2*t + 36 = 0, 7 + 13 = 4*o - 2*t. Suppose g - 2*z = -5, -2*z + 3*z + 36 = -5*g. Let b = g + o. Solve b*v + v = 0 for v.
0
Let k(g) = -g - 11. Let r be k(-11). Solve r = 4*u - 0*u for u.
0
Let c be 2/(2/10*2). Suppose h = c*h. Solve -t + 6*t + 20 = h for t.
-4
Let w be -4*(-1)/2 + -3. Let z be (2/(-2))/(w/10). Let p be ((-3)/(-5))/(2/z). Solve 0 = -j + 1 - p for j.
-2
Suppose 2*d + 30 = -3*d. Let k be (-50)/d + 3/(-9). Suppose -4*a + 5*a = 1. Solve -a = -3*g + k for g.
3
Let u = -5 + 6. Suppose -3*w - 2*w + c = -18, 0 = -w - 3*c - 6. Let r(n) = n**2 - n - 4. Let z be r(w). Solve -z - u = -k for k.
3
Let r(o) = -4 + o + 4*o - 7*o + 0*o. Let d be r(-8). Solve -3*n = n + d for n.
-3
Let s be 1/3 - 1/3. Solve 2*y - 1 + 3 = s for y.
-1
Let a = 2 - 2. Suppose 5*t - 10 = -a*t. Solve 2*z = -0*z - t for z.
-1
Let z = -5 - -4. Let t(d) = -5*d - 1. Let f be t(z). Let a be (-5)/(-1) - 0/4. Solve -f*r + 3 = -a for r.
2
Let v = 3 + 0. Let k be (-3 + -12)*(-2)/5. Suppose -4*p + 10 + k = 0. Solve -p*g = -v*g for g.
0
Let x be (-22)/4 - (-2)/(-4). Let v = 6 + x. Let o be (3 - 0) + (0 - 0). Solve v*u + o = -u for u.
-3
Let c = 17 - 17. Solve c = -9*x + 4*x - 25 for x.
-5
Let k(i) = i + 5. Let v be k(0). Suppose -6*j = -j + v. Let h be j/(-3) + 92/3. Solve 5*q + h - 11 = 0 for q.
-4
Suppose 4*t = -3*n - 8 + 33, 5 = -n. Solve -t + 4 = 3*q for q.
-2
Let z(n) = -2*n + 12 - 12. Let i be z(-2). Solve 0 = -a + i*a - 9 for a.
3
Suppose -5*h = 6*h. Solve h = z - 2*z + 3 for z.
3
Suppose 2*h + 24 = 2*q, -5*h - 43 = -4*q - 0*q. Solve -q = -5*t - 7 for t.
2
Let v = 6 - 7. Let r be -1 + v - (-15)/3. Solve -5*d - 8 = -r for d.
-1
Let s = 35 + -20. Suppose s = o + 4*o. Solve -o*t + 1 = -14 for t.
5
Let k = 49 + -47. Solve k*f + 0*f + 2 = 0 for f.
-1
Let d(b) = -b**3 + 2*b**2 - 2*b + 1. Let a be d(2). Let i(c) = -c**2 - 5*c - 3. Let w be i(a). Solve f - w = 2*f for f.
-3
Suppose 254*o - 248*o - 18 = 0. Suppose 0 = f - 1 - 17. Let d be 1/(-4) + f/8. Solve o*m = d*m - 2 for m.
-2
Let f(r) = -10*r + 2. Let b be f(-1). Solve 8 = -4*i - b for i.
-5
Let h(z) = -7*z**2 + 0*z**2 - 3 - 5*z + 8*z**2. Let a be h(6). Solve a*f = -0*f - 15 for f.
-5
Suppose -1 = -l + 3. Suppose h = -0*h. Solve h*x + x = -l for x.
-4
Suppose -6*s - w = -3*s + 5, 0 = 4*s - w - 5. Suppose -f - 6 + 24 = s. Let m be (f/(-21) - 0)*-7. Solve m*h - h + 5 = 0 for h.
-1
Suppose 4*c + 3 = 2*i + 5, 0 = -i - c + 2. Let o(r) = 3*r + 15. Let x be o(-5). Solve x = m - i for m.
1
Suppose -7 = -5*s - 2. Solve 5*f = s - 6 for f.
-1
Let d(a) = -5*a**3 - 9*a**2 + a + 5. Let v = 11 - 7. Let o(y) = -y**3. Let l(f) = v*o(f) - d(f). Let g be l(-9). Solve 0*s = -g*s + 12 for s.
3
Let b(v) = -v**2 + 7. Let z be b(3). Let r(x) = -x + 1. Let a be r(z). Solve a*c = 2*c for c.
0
Let q(z) = z - 15. Let p be q(15). Let k be 2/3*12/(-8). Let u be (0/(-2 - k))/2. Solve p = -3*y - u*y - 15 for y.
-5
Suppose -1 = h + 11. Let c = h - -12. Solve c = -2*s - 2 for s.
-1
Suppose -1 = -3*u + 11. Suppose 4 = -u*m + 20. Solve -4*s + m = -2*s for s.
2
Let t(h) = 3*h**2 + h. Let l be t(-1). Solve -l*q = -3*q for q.
0
Suppose -k = -5*b + 2 + 6, -k - 2*b = -6. Suppose p + 0*p - 4*w - 12 = 0, -12 = -4*p - 2*w. Let r be ((-6)/3 - -3)*0. Solve r*v + p = k*v for v.
2
Suppose b - 4*d + 2*d + 10 = 0, -5*d = -25. Let v = -1 - -3. Suppose -o + v = -b. Solve 5*x + o + 18 = 0 for x.
-4
Let s be (12/(-8))/((-3)/4). Let f = 10 + -9. Solve 0 = -s*l - f - 5 for l.
-3
Let a(g) = -g**2 + 8*g + 3. Let v be a(8). Let k(l) = -l**3 + 4*l**2 + 3*l - 3. Let i be k(v). Solve -r - 2*r = i for r.
-5
Let y be ((4/(-16))/(2/(-8)))/1. Let l = 2 - 2. Solve b = -l*b + y for b.
1
Suppose -7*g + 5*g = 4*u - 24, 4*g - 4*u + 12 = 0. Solve 2*m = 3*m - g for m.
2
Let i = -1 - -4. Suppose 4*j = -k - 2, j + i*k + 2 = -4. Suppose 35 = -j*c + 5*c. Solve w + 3 = c for w.
4
Let t(h) = 5*h + 17. Let w(f) = 11*f + 35. Let r(o) = 13*t(o) - 6*w(o). Let q be r(-9). Solve q = 2*s + 2*s for s.
5
Let c(a) = a**3 - 9*a**2 - 11*a + 13. Let l be c(10). Solve -l*g + 4 = -g for g.
2
Suppose 0 = -2*o + x - 2*