*v - 14, 0 = -4*x - v + 52. Let q = x - 7. Solve 3*f = f - q for f.
-3
Suppose 5*z - 2*f = 37, -4*z - 3*f + 18 = -z. Solve 1 = -2*o + z for o.
3
Suppose -14*h + 9 = -75. Solve x = h*x + 5 for x.
-1
Let j be (-3 - (-10)/4)*-8. Suppose -6 = -s + b, 5 = 2*s - b - j. Solve -4*n + s = -1 for n.
1
Let n(b) be the first derivative of b**2/2 - b + 2. Let y be n(5). Suppose 4*s - 4*c + 0*c = -y, 0 = 3*s - c - 5. Solve -s = -4*w + 17 for w.
5
Let g(i) = i**2 - 10*i + 7. Let b be g(11). Let h = 0 + b. Solve 5*a + h = 3 for a.
-3
Let w(j) = -j**2 + 7*j + 10. Suppose 4 = 4*b - 28. Let k be w(b). Solve 4 - 12 = -k*n for n.
4
Let f be ((-2 - (-2 - 1)) + -1)/2. Solve f = 7*g - 3*g - 16 for g.
4
Suppose 0*r + r + k = 0, -2*r - 4*k - 6 = 0. Solve r*o - 6*o = -9 for o.
3
Let m(a) = a**2 + 10*a - 35. Let d be m(-13). Solve d*g + g = -10 for g.
-2
Let b = 1 - -5. Suppose 0*z + b = 2*z. Solve z*t - 2*t = -3 for t.
-3
Let o be (-135)/(-25) - 2/5. Let s = o + -4. Suppose -c + s = -6. Solve c*k + 3 = 4*k for k.
-1
Let a be -12 + 10 - -1*2. Solve p = -a*p + 3 for p.
3
Let h(o) = 9*o. Let w be h(3). Solve -2 = 5*p - w for p.
5
Let b(c) = 2*c - 3. Let f be b(-3). Let a = f - -7. Let k be (0/((-2)/(-2)))/a. Solve p + 2*p = k for p.
0
Let l(n) = -2*n - 5. Let b be l(-5). Solve -8 - 12 = -b*f for f.
4
Let u = -1 + 1. Solve u*v = v - 3 for v.
3
Let o(d) = -d - 4. Let n be o(-4). Suppose n = -5*k - 2*w + 88, -k = -3*w - 0*w - 4. Suppose -2*p + 1 + 1 = 0, 5*u - k = -p. Solve 0 = -3*r + 4*r + u for r.
-3
Let u(h) = -h**3 + 3*h**2 + 5*h - 2. Let b be u(4). Let n be 2/2*0/b. Let z(d) = -d**3 + 10*d**2 - 9*d + 4. Let q be z(9). Solve n = q*g - 0*g for g.
0
Let k be -2*1*(5 - 1)/(-4). Solve f + 3 = k for f.
-1
Suppose h - 5 = 3. Suppose -2*w - 23 = -7*w - 4*y, 2*w = -4*y + 14. Suppose 3*x - 6*x + 4*g - 14 = 0, -7 = 4*x - w*g. Solve 0 = -x*c + 2 + h for c.
5
Suppose -5*s + 5 = 0, s - 3*s = 2*c - 6. Suppose p - 4 = -c. Let n be 20/8 - 1/(-2). Solve p + n = u for u.
5
Let a = 41 - 29. Let w = 3 + a. Solve -2*h = h + w for h.
-5
Let j = 4 - 0. Suppose 1 - j = -g. Suppose -4*p + 24 = 4*k, -5*p = -4*k - 10 - 2. Solve k*c - g = 3 for c.
3
Let n be (1 - 1)/(2 - 1). Solve n*q = -q for q.
0
Suppose -2*i + 32 = -0*i. Let u be 18 + (2*-1 - -1). Let t be u/5 - (-4)/(-10). Solve 7*o - t*o - i = 0 for o.
4
Suppose -3*a + 3 = 27. Let j be (a/6 + 2)*3. Solve 6*u = j*u - 12 for u.
-3
Let m(w) = 8*w + 98. Let i be m(-12). Solve y - 1 + i = 0 for y.
-1
Suppose -4*g + 5*s = -21, -g - 3*g + s = -17. Let q(a) = -a**2 + 5*a. Let h be q(4). Solve h*p = 2*p - g for p.
-2
Suppose p = -0*p. Suppose -2*h + 0*h = p. Suppose 2*f + h*f = 0. Solve l + f - 2 = 0 for l.
2
Suppose -5*a = -5*y - 5 - 10, -5*a + 15 = -2*y. Suppose y = -0*f + f. Suppose 8*i - 5*i - 21 = f. Solve -5*v - 2 = -i for v.
1
Let z = -65 - -101. Suppose -t + z = 2*t. Solve y - 4*y - t = 0 for y.
-4
Let s(p) = -p**2 - 9*p + 14. Let h be s(-10). Solve -3 - 13 = -h*a for a.
4
Let o = -4 - -6. Suppose -t + 3 + 0 = 0. Suppose 16 = 2*g + 5*h, 0 = 3*g + t*h - 21 + 6. Solve -o*s + 1 = -g for s.
2
Let k be (-1)/(-19)*-2 - (-13752)/684. Solve 10*w - 6*w = -k for w.
-5
Let s = 62 + -57. Solve -x - s = -0*x for x.
-5
Suppose -5*i + 4*g + 5 + 5 = 0, -5*i + 10 = 3*g. Suppose 2*o + i - 8 = 0. Suppose 3*n = -o*y, 4*y + n - 5 = -2*n. Solve 10 = y*r - 5 for r.
3
Let h = -24 - 0. Let b be 10/(-25) - h/10. Let g be (-1 - (b - -1))/(-2). Solve g*x - x = 3 for x.
3
Let v be (1/(-2))/(5/(-100)). Let y = v + -1. Solve 0 = -2*p - p + y for p.
3
Suppose 2*p + 6 = 4*g, 2*g = -0*g - 3*p + 15. Suppose -x - g*x + 80 = 0. Solve 6*m - 2*m - x = 0 for m.
5
Suppose -4*x + 8 = -0*x. Suppose -o + x*o = 0. Solve o = -0*w + 2*w - 4 for w.
2
Suppose -12 = -a - 2*u, 4*a - 4*u + u = 48. Let b(k) = -5*k**2 - 2. Let q(z) = -z**2 - 1. Let o(g) = b(g) - 4*q(g). Let c be o(0). Solve c*l + 2 = a for l.
5
Let z(n) = n**3 - 6*n**2 - n + 7. Let b be z(6). Solve j = 6 - b for j.
5
Let z = -68 - -70. Solve z*g = g + 3 for g.
3
Let z(t) = t**2 + 26*t + 56. Let j be z(-24). Solve -p - 3*p = -j for p.
2
Let q(z) = z**2 - 9*z + 3. Let v be q(9). Suppose v*o = -3 + 9. Solve o*r - 3*r - 5 = 0 for r.
-5
Suppose 11 + 9 = -5*h. Let v = h + 6. Suppose -16 = -2*p - v*y, -3*y = -5*p - 5*y + 28. Solve m - p*m + 9 = 0 for m.
3
Let s = 11 + -7. Suppose -s*n - 2 - 2 = 0, 4*j = 4*n + 20. Let q(d) = -3*d - 1. Let c be q(-3). Solve -t + j = c for t.
-4
Let q be (-382)/18 + (-4)/(-18). Let c = q + 29. Suppose -h + c = -0. Solve 5*r = h + 7 for r.
3
Let d(p) = -p**2 + 8*p + 15. Let o be d(8). Solve -5 = 5*a + o for a.
-4
Suppose 2*p - 12 + 6 = 4*o, -4*o = 2*p + 2. Let u be (-1)/(-4) - (-15)/4. Suppose 4*y = 2*f - f - 11, -5*f = 3*y - 9. Solve p = -u*j - f for j.
-1
Let h(g) = -g + 21. Let o be h(15). Solve 2*k + o = -k for k.
-2
Suppose -20 = 4*x + 40. Let d = -3 - x. Solve 3*y = -y - d for y.
-3
Let k(i) = -7*i - 9. Let w be k(-2). Solve w*r = r for r.
0
Let q(m) = m + 2. Let o = 8 - 5. Let x be q(o). Solve -x*k = -3*k - 6 for k.
3
Let b be 2/(-2 + 0)*-3. Solve -2*p - 5 = b*p for p.
-1
Suppose -3*n = -4*u - 5, 9 + 6 = -3*u. Let g = 9 + n. Let y be (g + -7)*17/(-3). Solve 0 = 5*w + 8 + y for w.
-5
Suppose -4*d = -89 + 29. Solve 0 = 6*j - 3*j - d for j.
5
Let y be (1/1)/((-3)/(-9)). Suppose 0 = y*c - 77 + 29. Let w(t) = t**3 - t**2 - t - 1. Let x be w(2). Solve -3*u + x = c for u.
-5
Suppose 3*a - 8*a = 0. Suppose -2*u - 1 = -2*o + 3, 5*o - 4*u - 9 = a. Solve 5*w + o + 4 = 0 for w.
-1
Suppose 2*t = -t + 9. Solve 20 = t*o + o for o.
5
Let j be 16/40 - 92/5. Let v = j + 13. Let p = -5 - v. Solve 0*t - 2*t - 4 = p for t.
-2
Let k be -1 + (-2)/(-4) - 74/(-4). Solve 4*i + 6 = k for i.
3
Let q be -2 - (-23)/(-1) - -4. Let t = -16 - q. Solve 4 = -3*z - t for z.
-3
Suppose 5*u - 8*u = 0. Let a be u*(-2)/(-18)*3. Suppose 3*z + z - 12 = a. Solve z*b - 6 = b for b.
3
Let f = 2 + -2. Suppose 0 = -n + 5*n - t - 14, 3*n - 14 = -t. Let l = -1 + n. Solve f*z - 3 = -l*z for z.
1
Let j be (-1)/(1 - 3/2). Let h = 61 + -43. Solve -5*v - j = h for v.
-4
Let n be 2/2*2 + 2. Let j be ((-2)/n)/((-1)/2). Suppose -j - 3 = -m. Solve 4*z + m = -0*z for z.
-1
Let x be (-3 - 22/(-6))*3. Suppose 0 = 2*l - 4 - x. Solve l*k - 15 = -2*k for k.
3
Let l(z) = -z**3 + z**2 + z + 1. Let s be l(0). Let i(a) = 3*a**2 + a - 1. Let r be i(1). Let y be 1*0*r/(-12). Solve y + s = m for m.
1
Suppose -2*q - 14 = -4*q. Let a = 6 - q. Let n = a + 6. Solve -7*m - n = -2*m for m.
-1
Let r = 67 + -45. Suppose h - r = -h. Suppose -2*v = d - 7*v + 17, 5*v = 3*d + h. Solve 0 = -d*f - 0 - 6 for f.
-2
Let k = -40 + 44. Solve 5*a - 5 = k*a for a.
5
Suppose 2*n = -4*s - n, 4*n = 0. Let g = s + 5. Solve g*i + 31 - 11 = 0 for i.
-4
Let s be 4 - (-3 - 0)/3. Solve s*l + 5 = -0 for l.
-1
Let x(c) = -c**2 - 4*c. Let z be x(-3). Solve z = 4*r - 5 for r.
2
Suppose -2*l + 4 = 3*j, 6*j - l = j + 11. Solve j*b = -3 - 1 for b.
-2
Let w = -50 + 57. Solve -w*j = -2*j - 25 for j.
5
Suppose 10 = 5*x + 5*m, -2 = -3*m + 4. Solve -2 = -x*p + 2*p for p.
-1
Let d(b) be the second derivative of b**4/12 + 5*b**3/6 - 3*b**2 - 3*b. Let a be d(-6). Let g be 9/3*(1 + a). Solve -1 = -g*p + 4*p for p.
-1
Suppose 0 = 2*y - 19 + 3. Suppose 0*l + 4*l = y. Solve -l*z = -z + 1 for z.
-1
Let q(f) = -f**2 - 4*f + 3. Let n be q(-4). Solve n*h + 1 = -11 for h.
-4
Suppose -19 = -8*n + 5. Solve -5*v = -2*v - n for v.
1
Suppose -2*p + 18 = -4*n, -3*n - 2 = 4*p + 17. Let o = p - -3. Solve -f + o*f - 1 = 0 for f.
1
Let u be (6/4)/(3/4). Solve 2*p + u*p = -8 for p.
-2
Suppose -15 = 4*s - 71. Solve -s + 34 = 4*i for i.
5
Let y(h) = -2*h + 32. Let l be y(16). Solve l = q - 7 + 3 for q.
4
Let p be (-2*(-1)/(-4))/((-5)/50). Solve 5*i - 20 = p for i.
5
Let a = 16 + -20. Let w(g) = -6*g - 9. Let q be w(a). Solve -4*p = -p - q for p.
5
Suppose 3*t = -0 + 6. Let m = 1 + t. Suppose 4*f - m*f = 0. Solve -b - b = f for b.
0
Let c be ((-15)/12)/(2/8). Let r be (-10)/(-4)*(-10)/c. Solve -5*f = -r - 20 for f.
5
Let r = 9 + -4. Suppose 3*w - 13 - 12 = 5*n, 3*w - 35 = -r*n. Solve -c = -6*c + w for c.
2
Suppose 16 = 9*q - 20. Solve -4*l + 16 = -q for l.
5
Suppose 0 = -3*b + p - 4, 20 = -6*b + b - p. Let d be (4 + (-1 - b))/2. Let s be ((-2)/4 - 0)*-2. Solve -q = -s + d for q.
-2
Suppose i - 10 = 2*s, 0*i + 31 = 4*i - 5*s. Suppose 