 -8 + 13. Solve 0 = x*q + 4 - h for q.
4
Let h = 5 - 1. Let v be h/(-14) + 2/7. Suppose 0*x - x = v. Solve x*y - 2*y = -8 for y.
4
Let p be 7 + -6 - 2*-5. Let j = -7 + p. Solve j*f + 15 = -1 for f.
-4
Let q be (1 - 1)*(0 - 1). Let w be 15/(-5)*5/(-1). Let l = w - 7. Solve q*a - 2*a = l for a.
-4
Let k(m) = -m**2 - 5*m + 3. Let p be k(-5). Solve c + p*c + 12 = 0 for c.
-3
Suppose -3*y + 12 + 5 = -x, -4*y = 4*x + 4. Solve 1 = -y*k - 3 for k.
-1
Let c(h) = 4*h + 2*h**2 + 2*h**2 - 3*h**2 - 1. Let y be c(-5). Let l = 19 - y. Solve 5*a - 2*a = -l for a.
-5
Suppose g + 16 = -4*a, -4*g + 6 = 2*a - 0*a. Let t(q) = -q + 11. Let m be t(a). Solve -3*j = -7*j - m for j.
-4
Suppose 2*s - 10 = -3*s. Suppose -4*u - 5 - s = 5*w, -4*u = -w + 37. Let t = 11 + u. Solve l - 12 = -t*l for l.
3
Let v be (-2)/5 - (-12)/5. Solve 0 = j + 6 - v for j.
-4
Let d = 29 - 18. Solve -3*f = 4 + d for f.
-5
Let a be 2*1 - (-2 - 2). Let j(v) = -v**3 - 6*v**2 - 5*v + 5. Let q be j(-5). Suppose a = q*k - 4. Solve s - 5 + k = 0 for s.
3
Let n(p) = 3*p - 5. Let l be n(-5). Let q = 35 + l. Solve -5 = 5*k - q for k.
2
Suppose 8*s - 97 = -9. Solve 0 = -4*q - 1 - s for q.
-3
Let c(i) = -2*i + 5. Let o(d) = -2*d + 6. Let v(k) = 4*c(k) - 3*o(k). Let h be v(1). Solve 5*g + 16 + 4 = h for g.
-4
Let q be (0/1)/(2 + 0). Let v = 5 + q. Suppose -v*l + 16 = -l. Solve -2*t + l + 4 = 0 for t.
4
Let m = -11 - -7. Let t be 25/2 + 2/m. Solve -3 = 3*p - t for p.
3
Suppose -2*f + 0 - 2 = -o, -4*f + 32 = 4*o. Solve 2*z = o*z + 16 for z.
-4
Suppose -5*x - 4*q - 25 = 0, -2*x + 16 = 2*x - 4*q. Let n = x - -3. Let g(b) = -b**3 - 5*b**2 - 4*b. Let m be g(-4). Solve n*z + 1 - 3 = m for z.
1
Let w(m) = -m + 1. Let g be w(-3). Let r = g + -4. Solve r*x = -2*x - 2 for x.
-1
Suppose -4*m - 2*g + 7 = -1, -3*m - 4*g + 1 = 0. Solve -2*w + m = w for w.
1
Let q be (-3)/(-1) + 0/1. Suppose 6*x - 2*x - 20 = 0. Let y be (0/2)/(7 - x). Solve y*g = g + q for g.
-3
Let d be (1/(-3))/(7/(-63)). Suppose d*c + 4*r = -r - 7, 3*r + 2 = -4*c. Solve 3*k + 4 = c for k.
-1
Let p be 5 + 2 + -5 - (-12)/4. Let s(k) be the second derivative of k**5/20 - 5*k**4/12 - k**3/6 + 5*k**2/2 - k. Let i be s(p). Solve -3*g + 2*g - 4 = i for g.
-4
Let h be 1 + 6 - 4/1. Solve -h*d + 15 = 2*d for d.
3
Let q(p) = 8*p**2 - 3*p + 3. Let k be q(-3). Suppose 5*f + 0*f + 4*o = k, -f + 5*o = -40. Solve d + 3*d = -f for d.
-5
Let r(g) = -2*g**2 - 4*g - 2. Let u be r(-2). Let c be u/(3/6 + -1). Suppose -2*n = -11*n + 45. Solve -n + c = -s for s.
1
Let l(x) = x**3 - 8*x**2 + 3*x - 2. Let n be l(7). Let b = 1 + -2. Let z be (b + 3/9)*n. Solve 9*h = 4*h - z for h.
-4
Suppose -10*a = -7*a. Solve 5*d = -a*d - 15 for d.
-3
Let h = 13 + -11. Let t = 1 - 1. Solve -h*d - 10 + t = 0 for d.
-5
Let t = -30 + 34. Solve 0*y = t*y - 4 for y.
1
Let h(w) = -4*w - 2. Let l be h(3). Let d = l + 20. Solve -14 - d = -5*r for r.
4
Suppose -4*f = -47 + 7. Suppose -3*r + f = 2*b, -3*r + 0*r = -3*b. Solve r = -i + 4 for i.
2
Let m = -20 - -22. Let y be 2 + 0/2 - 0. Suppose h = 3 + m, 5 = y*v + h. Solve v = n + 4 for n.
-4
Let r = 12 - 8. Suppose 4 = -r*d + 16. Solve -d*w = 2*w + 20 for w.
-4
Let o = 49 - 34. Solve 0 = 2*f - 5 + o for f.
-5
Let l be (-2)/2 + (-10 - -5). Let a be (-2)/l + (-2)/6. Solve 5 = n - a*n for n.
5
Let q = 8 + -6. Suppose 3*n = 5*n - 5*o - 40, -3*n + 42 = -3*o. Let t be (-10)/(-4)*8/n. Solve 0*c + q = t*c for c.
1
Let a(b) = -2*b + 3. Let k be a(5). Let j = k - -9. Solve -j*h = h for h.
0
Suppose 5*f - 14 = -4. Solve 0 = -3*t + f*t - 5 for t.
-5
Suppose 9*o - 14*o = -20. Let y(s) = -s**3 - 2*s**2 + 4*s + 4. Let w be y(-4). Let u be (3 - 2 - 1)*-1. Solve u = -0*h + o*h + w for h.
-5
Let s be -12 + 0 - (2 - 4). Let w be (-6)/s*(-1 + 6). Solve -j + w = 2*j for j.
1
Let z be (-18)/(-10)*30/9. Let s be (-1)/(0 - (-2)/(-18)). Solve 0 = 5*c - z - s for c.
3
Let y be 2 + -3 + (-8 - -9). Solve y*k - 10 = 2*k for k.
-5
Let g(h) = 2*h**2 + 2*h - 1. Let d be g(-2). Let w(i) = -i**3 - i**2 - 3*i - 3. Suppose -o + 2*a = 4 - 2, 0 = 5*a. Let b be w(o). Solve -d*u = -b*u for u.
0
Let t = -15 + 18. Solve -t*i - 9 = -6*i for i.
3
Let r(q) = -2*q**3 - q**2 + q. Let y be r(1). Let l be 20/8 + (-1)/y. Solve -l*u + 2 = 8 for u.
-2
Let o be 2 - 3 - (0 - 2). Suppose -8 - o = -3*w. Solve 0*f - 9 = w*f for f.
-3
Suppose r = -2*r + 60. Suppose 3*g + r = 8*g. Solve g*o + 9 = 1 for o.
-2
Suppose 5*x + 15 = 2*x - 3*f, 4*f = x + 30. Let j = -10 - x. Solve -3*m - 12 = -j for m.
-4
Let c(o) = o**2 - 7*o - 4. Let i be c(8). Suppose i*b - 3*s = 44 + 1, -b = 3*s - 30. Let n be ((-6)/b)/((-3)/30). Solve t + 25 = -n*t for t.
-5
Let x(i) = -i**3 - 3*i**2 + 3*i - 4. Suppose c = -0 - 4. Let d be x(c). Suppose 3*k - 15 = d, -2*k - k + 15 = -4*t. Solve t = -2*y - 3*y - 15 for y.
-3
Let c(w) = -w**3 + 10*w**2 + w - 9. Let o be c(10). Solve -r = -o + 5 for r.
-4
Suppose -4*x + 8*q = 10*q - 6, 4*x + 9 = 3*q. Solve 3*v - 2 - 1 = x for v.
1
Let p(w) = -w + 6. Let h be p(4). Solve -6*u = -h*u + 16 for u.
-4
Let u = -5 + 11. Suppose -2*n + u = n. Suppose -4 - n = -2*b. Solve b*j = j for j.
0
Let f = 117 - 81. Suppose f = -3*w + 3*h, 2*w - 4*h = -w - 40. Let j be (-20)/w*(-8)/(-5). Solve m - j = -0*m for m.
4
Suppose 7*a - 38 = 5*a. Solve 4*p + a = -1 for p.
-5
Suppose 0 = -w + 3 - 1. Solve 0 - w = -r for r.
2
Let p be 8 + -5 + (-1 - 0). Solve -2*v - 6 = p for v.
-4
Let s(b) = b. Let c be s(5). Suppose 21 = c*n - 2*n. Suppose v = 1, -2*d - 3*d + 35 = 5*v. Solve n*z = d*z - 5 for z.
-5
Suppose 0 = -2*k + 2*u + 2*u - 16, -2 = 2*k + 3*u. Let c be 34/(-10) - k/10. Let o(t) = -5*t + 1. Let m be o(c). Solve 0 = 2*h - 6*h + m for h.
4
Suppose -4*w = -36 - 24. Solve 5*n = -0*n + w for n.
3
Suppose v - y = -0 - 2, 5*y - 26 = -3*v. Solve 0 = v*w - 4 - 2 for w.
3
Let t be (-56)/(-35) + (-2)/(-5). Let q be t/6 + (-4)/(-6). Solve -5 + q = 4*s for s.
-1
Suppose 6*c - 3*c + 6 = 0. Let a = c + 4. Solve a*h + h - 15 = 0 for h.
5
Let u be ((-6)/9)/(-1)*(2 - -7). Solve -3*x - 12 = -u*x for x.
4
Suppose -7*g = -2*g. Let l be (2/(-6) - g)*-30. Suppose n = -4*n + l. Solve n*k - 5 = -3*k for k.
1
Suppose m = -3*x - 8, 2*m = 5*x - 7 - 9. Suppose h + 55 = 6*h. Let v = m + h. Solve 4 - v = -k for k.
-1
Let o = 31 + -19. Let u be (-2)/(-8) + 9/o. Solve u = -5*p - 24 for p.
-5
Let c = -9 + 9. Let w = 5 + c. Solve -d + w*d = -16 for d.
-4
Let d(u) = u**2 + 2*u - 5. Let i be d(-4). Let q = -3 - -6. Suppose -3*y + y = 5*f + 4, 3*y - 5 = -2*f. Solve q*c - y = i for c.
2
Let w be (0 - 12)/(-3) + -3. Solve w = 5*h + 11 for h.
-2
Suppose 0 = -2*z - 4, 10 = 2*b + 3*z - 4*z. Solve -3 = -b*j + 1 for j.
1
Let r be (9 - 6)/(3/2). Suppose q - 2*a = 2*a - 13, r*a - 4 = 0. Let l be ((-4)/q)/((-1)/(-5)). Solve -4*s = -8*s + l for s.
1
Let r = 5 + -3. Let h be r/8 + 34/(-8). Let z = h + 9. Solve z*l - l = 0 for l.
0
Let o(x) = -13*x - 2. Let p be o(1). Let r = p + 23. Solve -y = y - r for y.
4
Let w(u) = u**3 + 15*u**2 + 15*u + 17. Let g be w(-14). Suppose g*b + 35 = 5*d, d - 5*d + 31 = -3*b. Solve d*z + 4 = -0 for z.
-1
Let y(z) = z - 1. Let m be y(4). Suppose 5*p = -5*t - 2 - m, 2*t = -2. Let f(o) = o**3 + 4*o**2 + 7*o + 43. Let x be f(-4). Solve p = 3*u - x for u.
5
Let c be 5/(-1 - (-3)/2). Solve 2*o + 3*o = -c for o.
-2
Let o(l) = -l**3 - 9*l**2 - 7*l + 2. Let q = -7 - 1. Let r be o(q). Let v(g) = g**3 + 5*g**2 - 8*g - 9. Let b be v(r). Solve j + 1 = -b for j.
-4
Let l be 0/1 - (-7 - -2). Suppose l*f - 22 = 3. Let j = -1 + f. Solve -j*x - 33 = -13 for x.
-5
Suppose -2*j - 5*t = 25, 0*t - 5 = 3*j + t. Solve -2*u + 4*u = j for u.
0
Suppose -4*o - 1 = -5. Let a be 2 - 1 - o*-2. Solve -n + a - 4 = 0 for n.
-1
Let s(j) = 8*j. Let y be s(1). Let c(i) = -i - 3. Suppose -4*q = f + q + 6, 3*q + 18 = -3*f. Let v be c(f). Solve g = -v*g + y for g.
2
Let n(r) = -r - 3. Let s be n(-6). Let c(z) = z**2 - 3*z + 3. Let d be c(3). Let x be (0/(d + -2))/1. Solve -s*f + f + 10 = x for f.
5
Let g = -29 - -34. Solve 0 = -g*z - 0*z + 5 for z.
1
Let w = -32 + 32. Solve 4*l + w + 8 = 0 for l.
-2
Let b be 6/2 + 9/(-3). Suppose -2*h + 2 + 2 = b. Solve -h = -0*u - 2*u for u.
1
Let b = -11 + 13. Solve -5*r - 7 = -b for r.
-1
Let r(n) = -2*n + 4. Let z be r(0). Solve d - z = 2*d for d.
-4
Let z(l) = -l**2 - 7*l + 2. Let h be z(-7). Suppose -3*b + h*b - 8 = 0. Let d = -5 - b