e v(-7). Suppose y + y - 4*q = 40, g*y + 2*q = x. Solve -6*w + y = -w for w.
4
Suppose 3*t - 3 = 3. Let z be 0*((-6)/3 - -1). Solve t*i - 6 = -z*i for i.
3
Let t be (3*-2)/(-3) - 0. Let w = t + 4. Solve 0 = 4*n - 6 - w for n.
3
Let d(y) = -4 + y - 1 - 1. Let r be d(6). Let m = 0 - r. Solve 3 = -t - m for t.
-3
Suppose -3*r + 8 + 34 = 0. Let m be 38 - ((-80)/(-30))/(4/6). Solve m = 4*u + r for u.
5
Let y = -6 - -9. Suppose -y*d = 3 - 15. Solve -3*v = -d*v + 3 for v.
3
Let m(p) = p + 5. Let u be m(-3). Solve -u*w = -0*w for w.
0
Let a be -1*14*10/(-4). Let j be 46/14 - 10/a. Solve j*s = -1 + 13 for s.
4
Let m = 3 + -3. Suppose m*n + 4*n = 16. Let f(y) = -y**3 + 5*y**2 - 4*y + 2. Let v be f(n). Solve -v*a - 3 = 5 for a.
-4
Let s be (3 + -2)*(-2 + 4). Solve 6 = -s*c - 2 for c.
-4
Suppose -2*s = -o + 4, -o + 4*s + 8 = -0. Solve o + 2 = 2*u for u.
1
Suppose -3*u + u + 4*x + 324 = 0, 2*u - 5*x = 328. Let k be (-14)/35 + u/10. Solve -o + k = 2*o for o.
5
Let c(p) = 2*p. Let u be c(1). Suppose u*l - 5*l = 0. Solve 0 = -l*y + y + 4 for y.
-4
Suppose m + 2 = 3. Let t be m + 2 + (0 - 0). Let i be (2*-2)/(-2) - 0. Solve -11 = t*a - i for a.
-3
Let c(n) = 4*n - 15. Let y(q) = 2*q**2 + 4*q. Let f be y(-3). Let z be c(f). Solve -g - 2*g + z = 0 for g.
3
Let j(c) = -c**3 - c**2 + 2. Let k be j(0). Solve 0 = -k*w + 2 - 8 for w.
-3
Let y = 13 + -25. Let m = 16 + y. Suppose 0 = -2*c - 3*c. Solve c = -f - m + 3 for f.
-1
Let g = -5 - -4. Let b = g + -1. Let z = 2 + b. Solve z = -4*r + 2*r - 2 for r.
-1
Let s = 7 - 4. Let q = s + 3. Let v(n) = n**2 - 5*n - 3. Let j be v(q). Solve j = -5*a - 2 for a.
-1
Let w be 0 - 1 - 6/(-1). Suppose -f + 2*g = 2, -2*f - 3*g + 8*g = w. Suppose -6 = -f*p - 2*p. Solve 0 = -2*r + p - 1 for r.
1
Suppose -11*h = -102 + 25. Solve 0 = 3*v - h*v for v.
0
Let n(a) = 3*a + 2. Let l be n(0). Solve 0 = l*j - 0 + 8 for j.
-4
Suppose 0*u - 49 = 3*u - q, 0 = -5*u - 3*q - 77. Let g = -10 - u. Solve -g*j + 4*j = 8 for j.
-4
Suppose 5*j - 8 = -l, -3*l = -0*l - 2*j - 7. Let p be 4 - 0/(0 - -2). Solve p*m + 3 = l*m for m.
-3
Let q(s) = -6 + s**2 - 1 - 8*s + 1 + 0*s**2. Let o be q(9). Let d = o + 2. Solve -d*f + 16 + 9 = 0 for f.
5
Suppose 0 = 2*z + 3*z - 20. Suppose -2*r = b + 1, -b = 3*b - z*r - 20. Solve -b*f = f - 4 for f.
1
Suppose -3 = 6*n - 33. Let q(w) = -2 + w**2 - 4*w + 2. Let y be q(n). Solve y*j - j - 12 = 0 for j.
3
Suppose 4*a = -18 + 22. Suppose -5*c + 7 = -2*s, 5*s - 6 - 17 = -c. Solve -o - c = -a for o.
-2
Let k = 2 + 18. Solve -3*z - k = 2*z for z.
-4
Suppose -q + 32 = 8. Let c = q + 2. Suppose -r - 4*j + c = 0, -3*j = 2*r - 5 - 27. Solve -r = 3*w - 1 for w.
-3
Let a(g) = 10*g + 6. Let z(n) = -9*n - 5. Let u(y) = -6*a(y) - 7*z(y). Let s be u(1). Solve -s*o - o = 0 for o.
0
Let j(u) = 9*u**2 + 34*u + 7. Let g be j(-4). Solve -g*o + 2 = -14*o for o.
2
Suppose p = a + 4*p - 2, 3*a = 4*p - 7. Suppose n - 2 = -1. Let b be (a/((-2)/2))/n. Solve -b = 5*i - 16 for i.
3
Suppose 5*x + 53 - 18 = 0. Let a = x - -12. Solve 4*l + a = 5*l for l.
5
Let k(o) = -6*o**3 - o**2 - o - 1. Let n be k(-1). Solve 2 = -n*v + 7 for v.
1
Let a(u) = -4*u - 2*u + u**2 + 0*u**2 + u. Let p be a(5). Let f = -9 + 11. Solve -w - f = -p*w for w.
-2
Let d = -15 - -16. Solve 3 = j - d for j.
4
Let l(z) = z**3 - 8*z + 3. Let n be l(3). Solve 0 = 2*h - n*h for h.
0
Let i(y) = -y**3 + 5*y**2 - 3. Let s be i(5). Let f be (4 + s - -2) + -1. Solve f*n = -3*n - 20 for n.
-4
Let h = -26 + 51. Suppose -i + h - 5 = 4*x, 2*i = 3*x + 18. Solve -i = -2*b - b for b.
4
Suppose 3*s = z - 0*z - 1, -4*z + 4 = -2*s. Let v(w) = -w**2 - 2*w + 3. Let j be v(-3). Let u = j + s. Solve k + k = u for k.
0
Let k = 1 + -1. Suppose -2*i + k*i = -16. Solve 3*t - i - 1 = 0 for t.
3
Let s = 9 - 6. Let o be (s/9)/(1/3). Solve -4*n = 19 + o for n.
-5
Let j = 7 - 4. Solve -j*t = 4 - 1 for t.
-1
Suppose 3*y = -3*v - 3, -2*v + 37 = -2*y + 3*v. Let t be ((-4)/6)/((-2)/y). Let q = 2 + t. Solve 3 + q = -r for r.
-3
Let i = -6 - 1. Let d = -7 - i. Solve d = -3*w - 0*w - 9 for w.
-3
Let h = -115 - -118. Solve h*l - 2*l = -5 for l.
-5
Suppose -r - 2*r + 15 = 0. Suppose -4*z + 4*g + 8 = 2*g, 0 = 5*z - g - 7. Solve -2*p + r = z for p.
2
Suppose -2*f + 5*f = 0. Solve -4*o = -f*o - 20 for o.
5
Let b(m) = m**2 - 5*m + 7. Let z be b(5). Let i = -11 + 15. Solve i*f - z + 27 = 0 for f.
-5
Let a(j) = j**2 - 9*j + 4. Let i be a(9). Suppose 0*b = -i*b + 16. Suppose -w = -4*n + 4, -3*w = -b*n - 3 - 1. Solve 0 = w*m - 7*m - 15 for m.
-5
Suppose -n = -0*n - 4. Suppose 2*d - 2*s - 8 = -n*s, 3*s = 0. Suppose d*m + 15 = 35. Solve m = -2*x + x for x.
-5
Let h be 2*(-2)/4 - 10. Let n be h/(-3) - 4/6. Solve 0 = n*l + 4 + 2 for l.
-2
Let i(a) = -a - 4. Let d be i(-6). Suppose -4*b = 4*s - s - 37, -4*s = d*b - 36. Solve -s*w + 15 = -2*w for w.
3
Let l be 1*-3*(-228)/9. Suppose -x + l = 3*x - f, 0 = 2*f - 8. Solve -5*p - 5 = x for p.
-5
Let c be (-10)/(-4 - 1 - -3). Suppose 3*r = c*r - 6. Solve 20 = z + r*z for z.
5
Suppose -n + 9 = 2*n. Solve 20 = n*w + w for w.
5
Suppose -2*y - 4 = -8. Let i be (2 + -1)/(y/6). Suppose 5*r - 112 + 12 = 0. Solve -7*d - r = -i*d for d.
-5
Suppose 5*i - 4 - 6 = 0. Suppose 5*h + 4 = t + i, -2*t = h - 4. Solve h = 3*r - 5*r + 2 for r.
1
Let d = -3 - -5. Let f = 5 - d. Let j = -13 + 18. Solve -f*r - j - 7 = 0 for r.
-4
Let x = 12 + -12. Let b(p) = -p + 7. Let k be b(5). Solve k*t + 6 = -x for t.
-3
Let p = 10 - -9. Suppose 21 + p = 5*l. Solve 4*i + 0*i = -l for i.
-2
Let t(n) = n**2 - n + 2. Let f be t(0). Suppose j = -f*j. Solve -r - 4*r = j for r.
0
Let y(h) = h**2 + 3*h - 8. Let w be y(-5). Solve q = w*q for q.
0
Let z(x) = -x**2 + 8*x - 9. Let t be z(6). Suppose 43 = t*o + 4. Solve 5 = -4*n + o for n.
2
Let d = -12 - -15. Solve 4*i = d*i + 2 for i.
2
Suppose 4 = -9*h + 5*h. Let n(p) be the first derivative of 2*p**3/3 + p**2/2 + 1. Let k be n(h). Solve 3*b - k - 14 = 0 for b.
5
Let a(v) = -v**3 - 7*v**2 - 4*v + 6. Let o be a(-6). Let j = o - -11. Let z(r) = -r**2 - 3*r + 5. Let p be z(-4). Solve -2*i = -p - j for i.
3
Suppose -3 + 5 = b. Suppose 8 + 40 = 4*x. Solve -x = -t - b*t for t.
4
Let s(a) = -1 - 4*a + 4 - a**2 + 3. Let y be s(-5). Let f = y - 0. Solve 4*d - f + 17 = 0 for d.
-4
Let k be (-51)/(-4) + (-7)/(-28). Let s = k - 9. Solve -s*t + t - 15 = 0 for t.
-5
Let y be (-102)/(-5) + 2/(-5). Suppose 0 = -5*u - n + 5, -u + y = -3*n + 3. Solve -d - d = -u for d.
1
Suppose -16 = 3*g - 6*g - 4*z, 4*z + 12 = 4*g. Let i(b) = 2*b**2 - 6*b + 4. Let l be i(g). Solve 0 = 2*c + c - l for c.
4
Suppose 2*t - 2*c + 4 = 0, -2*c - 4 = 2*t - 8. Solve t*j = -2*j for j.
0
Let a(n) = n**2 + 12*n - 12. Let i be a(-13). Let y be (i + -2)/(3 + -4). Solve -5 = 4*z - y for z.
-1
Let p be -6*(1/3 - 1). Suppose 3*c - 12 = -0*c - p*k, 5*c - 20 = -k. Solve -i + c = i for i.
2
Let t(o) = 2*o**2 - o - 1. Let a be 4 - (0 + 2) - 0. Let p be t(a). Solve -2*x = -3*x - p for x.
-5
Let a(p) = p**3 + 2*p**2 + 2*p - 1. Let t be a(-2). Let r = -4 - t. Let k = r + 1. Solve 1 + 1 = -k*y for y.
-1
Let q(n) = n**2 - 7*n - 4. Let j be q(9). Suppose 0 = -5*x + 5*h + 30, 3*x - h = 4 + j. Solve -2*v + x*v = -12 for v.
-3
Let n(d) = d**2 + 6*d - 3. Let c be n(-6). Let u be 2 - 12/(-1 + c). Solve 2*v - 3*v = u for v.
-5
Suppose 0 = -5*a - 0. Solve -3*f = -a*f for f.
0
Let u(f) = -f - 7. Let w be u(-10). Solve -w*s - 4 - 11 = 0 for s.
-5
Suppose -16 = -3*b + 3*n - 2*n, -4*n - 12 = b. Solve -b*w + 18 = -2 for w.
5
Suppose -3*o - 10 = -52. Solve -5*x + o = 4 for x.
2
Suppose -5*s = -6*s + 4*v + 27, 4*s - 53 = 5*v. Suppose -4*f + 5*p - 4*p = -13, -p = 5*f - 5. Solve -3*t = s + f for t.
-3
Suppose 4*b - 67 = 1. Suppose -v = 4*n - 20, 0 = -v + 3*n + 2 - b. Suppose -4*w - 3*k = 3, v*k + 4 = -4*k. Solve w*m = m for m.
0
Let f = -12 - -13. Solve -f = 2*j + 7 for j.
-4
Suppose 0 = d + 2*s, 6 + 3 = 4*d + 5*s. Suppose 3*p - 4*w = 20, -p - 3*w - 26 = -6*p. Solve 0 = -f + p*f + d for f.
-2
Suppose -4*d = -p + 10, -3*d - 4 = 2. Solve -7 = -3*k + p for k.
3
Let s(t) = 2*t**2 + 3*t - 4. Let d be s(-3). Solve 2*c - 5 - d = 0 for c.
5
Let p = -8 + 12. Suppose -2*m - 4*u = 2, -m - p*u + 1 + 0 = 0. Let q be 1*(-5 + 3 - m). Solve -1 = d + q for d.
-2
Let a(g) = -g**2 + 6*g - 1. Let h be (-12)/(-42) - 66/(-14). Let t be a(h). Solve -7 + t = -3*x for x.
1
Let v(c) 