Let r = -1 - -3. Let b be 1*(r - -1) - -2. Suppose 41 = 5*s - a, -1 = 4*a + 3. Solve -y + b*y = -s for y.
-2
Suppose 3*z + 5*y = -0*z + 37, 4*z = 4*y - 4. Suppose -4*l + 5 = 1. Solve l = d - z for d.
5
Suppose 2*u - 1 = 7. Suppose -4 = u*k - 2*b, -b + 0 = -5*k - 2. Let p = 14 - 5. Solve -3*m - p + 3 = k for m.
-2
Suppose -2*o + 0*o = 3*n + 8, 5*o = -4*n - 6. Solve o*q = 4*q + 6 for q.
-3
Let s(m) = -m - 2. Let o be s(-2). Let v(i) = 7*i**2 + i. Let h be v(-1). Suppose -2 = -k + h. Solve 0 = -o*g + 2*g - k for g.
4
Suppose -p + 8 = p - 4*h, 3*p - 16 = 4*h. Suppose -2*f - 4*a + 14 = 0, 3*f - 22 = -2*a - 9. Solve 5*s + f = p for s.
1
Suppose -65 = -2*b - 5*h, 0 = b - 5*b + 3*h + 117. Suppose -8*z + b = -3*z. Let w = z + -2. Solve -w*v = v + 10 for v.
-2
Suppose -2*z + 3*a + 0 = 1, 0 = -3*z - 4*a + 24. Let m = -19 + 99. Suppose -4*v + 8*v - m = 0. Solve z*u - v = -u for u.
4
Suppose 7 = -w + g, -w + 13 = 5*g - 10. Let c(v) be the second derivative of -2*v**3/3 - v**2 + 3*v. Let j be c(w). Solve k = -k + j for k.
3
Let v(t) be the second derivative of -13/6*t**3 - 3*t + 1/20*t**5 + t**4 + 0 + 3/2*t**2. Let b be v(-13). Solve 0 = -2*o - b*o for o.
0
Let k = 1 - 1. Suppose -2*z + 12 = -0*z + 4*h, k = -3*z + 4*h - 12. Suppose 53*b - 46*b - 21 = 0. Solve 0 = b*i - z*i for i.
0
Let u(i) = 2*i**2 - 12*i + 4. Let r be u(6). Suppose -5*n + 6 = -4. Let m = n + 3. Solve -m = r*p - 9*p for p.
1
Let w = -49 - -55. Suppose -g = -1 - 4. Solve g = w*m - m for m.
1
Let u(y) = -2*y**3 - 3*y**2 + 2. Let o be u(-3). Suppose -20 = -3*q + r + 5, -4*q + o = 3*r. Solve -25 = q*i - 3*i for i.
-5
Let u = 52 + -52. Solve u*q - 8 = -2*q for q.
4
Let z be ((0 + 0)*1)/1. Let t be 4 + 0/(2 - 4). Let j = -160 - -164. Solve t*s - j = -z*s for s.
1
Let a(x) = -9*x + 1 + 10*x + 1. Suppose 2*c + 2*b = 8, -2*b = c - 4 + 1. Let o be a(c). Solve -o = -5*f + 13 for f.
4
Suppose 0 = 5*h - 0*h - 20. Suppose 62 = 4*p - 10. Solve -h*x + 2 = -p for x.
5
Suppose 0*h = h - 1. Suppose 0 = -i - 3 + 8. Suppose 5*z = i*d + 25, 3*z + d - h = -2. Solve 4 = -n + z for n.
-3
Let c be (3 + 6 + -8)/((-2)/(-10)). Suppose -6*h + 4 = -2*h. Let k be 4*3 + (1 - h). Solve k = -2*q + c*q for q.
4
Let c be (-66)/(-30) - (-4)/(-20). Solve 4 - 14 = c*h for h.
-5
Let w = -9 + 24. Suppose -28 + 34 = f. Solve -f*x - w = -x for x.
-3
Let j be (-75)/(-65) - ((-4)/(-26) + 0). Solve -v = j + 3 for v.
-4
Let o = -3 - -6. Let f be (-1)/(-3 + (-33)/(-12)). Solve m = o*m + f for m.
-2
Suppose 0*n + 2*n = -2*r + 10, n + 15 = 3*r. Solve -3*h + r*h = 0 for h.
0
Let v be 9/36 - (-35)/4. Suppose -v*d = -6*d - 15. Solve -d*a + 6*a = 4 for a.
4
Suppose -4*q + 3*l - 80 = 0, -2*l + 0*l = 8. Let f = q - -24. Solve -j + f = -0*j for j.
1
Let f be 2/(-7) - 10/(-35). Solve -5*l + 0*l - 20 = f for l.
-4
Let f = 7 - 3. Suppose o + 12 = -f*x - 4, -4*o + 1 = 3*x. Suppose -2*c + 20 = 5*l, -c + 2*l + 8 = o*l. Solve c = 5*g + 2 + 13 for g.
-3
Let m be 1/5 + 130/(-25). Let p be 0/m*(-3)/6. Solve p = 4*f - 7*f + 9 for f.
3
Let v = 3 + -1. Let q be -1*(v + -7 + 0). Solve 2*x + 1 - q = 0 for x.
2
Suppose 76 - 20 = 4*a + 5*i, 5*i + 28 = 2*a. Let s = a - 8. Solve -d = d + s for d.
-3
Let f(q) = q**2 - 5*q - 4. Let x be f(8). Suppose y = 5*l + 4*y - 14, 2*y + 4 = 0. Solve r = -l*r - x for r.
-4
Suppose k = -0 - 6. Let l = 6 + k. Suppose -2*j + 6 = l, -2*s + j - 1 + 2 = 0. Solve 3 = -s*f - 3 for f.
-3
Let f = -14 + 10. Let z be ((-6)/4)/3*f. Suppose z*t + 15 = 5*g, -g = 3*g + 3*t - 12. Solve -2*o - o = -g for o.
1
Suppose -2 = -2*u - 4*k, 6 - 3 = 3*u - k. Solve -u - 1 = -c for c.
2
Suppose -34 = -3*m + 5*b, 2*m - 10 + 2 = -4*b. Let o(n) = 16 + 0*n**2 - m + 6 - 11*n + n**2. Let y be o(10). Solve -y*v = -2 - 18 for v.
5
Let l = 16 - 14. Suppose -1 = d, -3*i - 2*d - 2*d + l = 0. Solve i*c = -3*c + 20 for c.
4
Let k be 6/4 - 187/(-22). Solve -5*m = -0 - k for m.
2
Suppose 3*p - 2*p + 6 = 0. Let m be -2 - (-1 - (-3 - p)). Solve -3*g = m*g for g.
0
Suppose -x + 28 = -4*v, x + 5*v + 9 = -x. Suppose -2*h - 10 - x = 0. Let d be (-2)/h + 20/(-90). Solve -3*n - 2*n = d for n.
0
Suppose -21 = -3*k + 2*b + b, 5*b + 3 = -3*k. Solve -k*m + 15 = -m for m.
5
Let v(s) = -s**2 + s. Let o be v(1). Suppose 0 = -2*t - 5*d - 3, o = 4*t - 0*d + 5*d + 1. Suppose m + t = 5. Solve 0 = m*a + 3 + 9 for a.
-3
Suppose 28 = -3*a + 7*a. Solve -a = -5*v - 22 for v.
-3
Let s(j) = j**2 + 4*j - 8. Let b be s(-6). Let y = 4 + -14. Let d be (2/4)/((-1)/y). Solve -d*m - 9 + b = 0 for m.
-1
Let p be -2 - ((-2)/12 + 11/(-6)). Solve p = 2*w - 6*w + 16 for w.
4
Let n = 7 + 7. Let o be (n/(-7))/((-4)/6). Solve o*i = 5*i + 8 for i.
-4
Let n(p) = 3*p**2 - 2*p + 1. Suppose 10 = 2*q + 8. Let v be n(q). Solve -v = k - 5 for k.
3
Let g(s) = 2*s**3 - 7*s**2 + 2*s - 4. Let z be g(4). Solve -3*m = -7*m - z for m.
-5
Let z be -8 - (1 + 0 + -4). Let a be z/(5/(-9)) - 0. Let n be (6/9)/((-1)/(-6)). Solve -a - 11 = n*y for y.
-5
Let p = 0 - -4. Let j = -2 + p. Let k(q) = -q**3 - q**2 + q + 3. Let z be k(-2). Solve 0 = -j*h - z + 1 for h.
-2
Let w(j) = j**3 - 2*j**2 - 4*j + 3. Let z be w(3). Let m(q) = z + 3 - 2 - 14*q. Let g be m(-1). Solve -5*h = -0*h - g for h.
3
Let l be 5/((-5)/(-4)) + -1. Suppose u + 96 = 2*u. Suppose l*y + f + 84 = 7*y, -f + u = 5*y. Solve -m + y = -5*m for m.
-5
Let y(w) = w**2 + 3. Let b be y(4). Solve -b = 5*r + 1 for r.
-4
Suppose -5*o + 2*o = 0. Solve 4*c - 2 + 10 = o for c.
-2
Suppose 5*a + 0*a = 10. Let b be a/(-4) - (-3)/2. Solve -4*f - b + 5 = 0 for f.
1
Let c = -1 - -6. Solve -c*r + 5 = -0 for r.
1
Let c(o) = -o**3 - 5*o**2 + 6*o + 2. Let l be c(-6). Solve -4*q - 2 = l for q.
-1
Let w = 18 - 12. Let m = w - -9. Solve 0 = -4*d - d + m for d.
3
Let k(b) = -b + 6. Let q be k(3). Solve -q = -2*i + 5 for i.
4
Suppose 0*z + 5*z = 20. Let a be (-51)/(-2) + (-2)/z. Suppose 0*t - a = -t. Solve 0 = 2*h - 7*h - t for h.
-5
Suppose 16 = 3*g - u, 0*g + 5*u = 3*g - 8. Solve g*j - 4*j = -4 for j.
-2
Suppose -3*y - 34 = -4*v, -y + v = y + 21. Let t be 6/y + 189/15. Solve 3*g = -3 + t for g.
3
Let f be ((-1)/(-2))/(4/8). Let v(o) = 4*o - 2. Let s be v(f). Solve -5*g = s - 27 for g.
5
Let q = 6 + -3. Suppose 2*x = -3*x - 2*s + 20, -5*s = -3*x - 19. Suppose x*o = -10, q*u - 7*u = -4*o - 28. Solve -u*z + 0 - 10 = 0 for z.
-5
Suppose 0*r = 4*r + 28. Let m = -2 - r. Solve -2*z - 6 = -m*z for z.
2
Suppose -4*f = 2*w, 2*f - 5*w = 6*f. Suppose -2*i + 0 = -4. Solve 5*k + i - 12 = f for k.
2
Let m(t) = 2 - t**2 + 2 - 8 - 6*t. Let d be m(-3). Let g = -46 - -46. Solve g = -0*l + d*l + 10 for l.
-2
Let q(g) = 8 + 8*g**2 - g**3 + 6*g**2 - 5*g**2 + 0*g**2 - 9*g. Let k be q(8). Solve -1 = w - k for w.
-1
Let c(g) = -g**3 + 10*g**2 + g - 7. Let f be c(10). Solve -f*o = -2*o for o.
0
Suppose -9 = 3*m + 4*b, -2 = m - 4*b + 1. Let i = 6 + m. Solve 2 = -5*c - i for c.
-1
Let l(j) = j**2 - 10*j + 1. Let p(o) = -o**2 + 9*o - 2. Let d(g) = -2*l(g) - 3*p(g). Let f be d(6). Let w = f + 5. Solve 0 = 4*x - w*x - 4 for x.
4
Let m(g) = g - 7. Let d be m(10). Solve 4*f + d = f for f.
-1
Suppose -14*t + 32 = -10*t. Solve -3*b = -t*b + 25 for b.
5
Let b(k) = k + 4. Let x be b(0). Suppose -3*v + 6 = 3*u, 4*u = x*v - 27 + 3. Suppose 2*l - j + 5 - 16 = 0, v*j = -2*l + 16. Solve y = l*y for y.
0
Suppose 2*k + 0*k = -3*x + 39, -5*x = 4*k - 75. Solve k = -3*p - 0 for p.
-5
Let y = 9 + -4. Suppose 9*z = y*z. Solve z = -a - a for a.
0
Suppose 3 = 5*r - 2. Let c = 1 - r. Let f(s) = s**2 + 2. Let t be f(c). Solve -t*a + 20 = 3*a for a.
4
Let n(r) = 23*r - 22. Let w be n(2). Solve 5*u - w = -9 for u.
3
Suppose -c + 2 = 5*h - 4, -5*h + 3*c + 22 = 0. Let r(d) = 3*d**2 - d**2 - d**h - 13*d. Let j be r(13). Solve 11*w - 6*w + 20 = j for w.
-4
Suppose -4*w + 4*x - 4 = 0, 0 - 4 = -2*w - x. Solve w = 2*l + 3 for l.
-1
Let o = 2 - 0. Let l(a) = -a**2 + 7*a - 2. Let s be l(6). Solve -s*z + o = -2*z for z.
1
Let z = -3 - -5. Let k = -2 + 2. Let c = k + z. Solve 0 = c*h - 6*h - 20 for h.
-5
Suppose 0 = -2*v + 3*v - 4*h - 3, 0 = 3*v + h - 61. Solve -3*y = 7 - v for y.
4
Let v(o) = o**2 + 2*o + 1. Let m be v(-1). Let c be 378/84*(-40)/(-9). Solve -5*b + c = -m*b for b.
4
Suppose 0 = 8*r - 7*r - 2. Suppose r = m - 1. Solve -21 = m*g - 9 for g.
-4
Let j = 49 - 47. Solve -j*n - n = -12 for n.
4
Let z = -24 - -24. Solve -3*v = -z*v + 15 for v.
-5
