Let r = -2 - -4. Suppose y + 5 = 0, 5*v - r*v - 60 = 3*y. Solve -3*g + 0 = v for g.
-5
Let h be (6/4)/((-6)/(-40)). Let l(n) = -n**2 + 6*n + 8. Let c be l(6). Suppose 0 = -o + 4*u - 2 + h, -o = 4*u + c. Solve -4 = -v - o for v.
4
Suppose o - 8 = -o. Solve -p - o*p = 10 for p.
-2
Suppose 0 = -15*w - 5*w + 80. Solve 2*b + w = 6 for b.
1
Let a be 1/(-26)*4 + (-4)/(-26). Solve 3*n + a*n - 15 = 0 for n.
5
Let i(q) = -q**3 + 9*q + 3. Let p be i(-3). Solve -5*u = -p*u + 2 for u.
-1
Suppose -4*s + 12 = -3*y, -4*y = -5*s - 2*y + 8. Let p = s + 4. Solve -1 + p = b for b.
3
Suppose -5*i + 3*t + 48 = 0, 4*t - t = -5*i + 42. Solve -4*o + i = -o for o.
3
Suppose -3*h = -0 + 9. Let t = 6 + h. Solve -5 = t*p - 2*p for p.
-5
Suppose 3*q - f + 13 = 0, 2 - 8 = -2*q - 3*f. Let y be (-1 - 35)/(3/q). Suppose 5*d - y = -1. Solve x + 2 = d for x.
5
Let v = -2 + 7. Suppose -8*p + 180 = 4*z - 4*p, 4*z - 3*p - 145 = 0. Solve -z = -v*m - 15 for m.
5
Let p be 290/35 + 2/(-7). Solve -3*v = -p*v for v.
0
Suppose 23 = -3*k + 68. Solve -k + 9 = -3*s for s.
2
Suppose 6*k = k. Suppose k = 2*q + 2 + 8. Let b = 9 + q. Solve -9 = -n + b*n for n.
-3
Let n = -26 + 26. Solve -2 = d - n*d for d.
-2
Let a = 17 + -12. Let u(v) = -v**2 + 5*v + 2. Let y be u(a). Let h(f) = -f - 1. Let j be h(-5). Solve 6 = y*c - j for c.
5
Let f = 17 - -2. Suppose 4*k - f = 29. Let l = -12 - -16. Solve 0 = l*p - 28 + k for p.
4
Let x be ((-24)/10)/((-2)/5). Suppose -15 = -3*u + x. Solve u - 2 = -n for n.
-5
Let z = 10 + -8. Solve b - 2*b = -z for b.
2
Suppose -4*c - 1 = -25. Solve 0 = -0*n - 2*n + c for n.
3
Let o = -55 - -55. Suppose -5*v - 4*r + 3*r + 15 = 0, 2*v - 4*r = 28. Solve o = 5*i - v*i for i.
0
Let w(y) = -5*y**3 + 9*y**2 - 2*y + 2. Let u(g) = 6*g**3 - 10*g**2 + 2*g - 1. Let l(v) = -4*u(v) - 5*w(v). Let f be l(5). Solve 8 = 2*r - f*r for r.
-4
Suppose 0 = -4*q + 58 + 22. Solve 3*r + q = -2*r for r.
-4
Let b be (-6)/(-3)*(-1 - (-10)/4). Solve -6 = 5*p - b*p for p.
-3
Let d(n) = n - 5. Suppose -21 = -3*o + 39. Let q be (2/5)/(1/o). Let t be d(q). Solve 2 - 11 = t*b for b.
-3
Let k = 49 - 47. Solve -3*p + k*p + 5 = 0 for p.
5
Let f be (-2 + 3 - 2)*(2 + -5). Solve -f*h + 6 = -3 for h.
3
Suppose 10*q + 31 = 9*q. Let y = -24 + q. Let p be 8/5*y/(-22). Solve -9 + p = -b for b.
5
Let p(w) = -w + 41. Let j be p(0). Let z = j - 58. Let d = 0 - z. Solve 0 = -5*c + 2 - d for c.
-3
Suppose -r + 21 = 5*n, -8*r = -2*n - 3*r + 30. Let x(o) = -o**2 + o. Let w be x(0). Suppose 2*p + 3*k - 2 - 13 = w, 20 = 4*p + 4*k. Solve l + 3 - n = p for l.
2
Let u be 0/(7 - 3) + 2. Solve -5*w + 22 = u for w.
4
Suppose -11 = -3*u + 5*k, -4*u - 2*k + 0*k = -58. Suppose -f = 3*i + u, f - i = 4*i + 20. Solve 2*x - x - 2 = f for x.
2
Let b(h) = -h + 7. Let x be b(7). Suppose t - 4*t = x. Solve -d - 3 - 2 = t for d.
-5
Let j be 3*(0 + 1 - 2) + 3. Solve 0 = -j*m + m + 2 for m.
-2
Suppose 2*z + 2 - 10 = 0. Suppose -4*t - 6 = g + 6, z*t = 2*g - 12. Let o = g - -2. Solve 2*c - 16 = -o*c for c.
4
Suppose 0*z - 4*z + 24 = 2*o, 3*z - 8 = o. Solve c - z = -c for c.
2
Suppose 0 = -2*o + 8 + 2. Suppose -v + 6 + 4 = 0. Suppose 0*g = o*g - v. Solve g = 3*p + 17 for p.
-5
Suppose 7*q = 4*q, q = 2*g + 2. Let p be g - ((-1 - 0) + 3). Let x be (-7)/p - 6/(-9). Solve x*l = 7 - 4 for l.
1
Let b be -1*0*4/(-12). Let d(o) = -o**2 + 2. Let l be d(b). Solve l*v + 2*v = 0 for v.
0
Let u = -52 - -57. Solve -4*f = -u*f - 2 for f.
-2
Let v(g) = g**3 + 11*g**2 - 12*g + 6. Let p be v(-12). Solve 0 = -w + p*w for w.
0
Let k = -25 - -51. Suppose 3 = v - 0*l - l, 4*v + 3*l = 19. Solve -v*p = -6 + k for p.
-5
Let t(f) = f**3 + 3*f**2 - 6*f - 6. Let d(r) = 9*r + 2. Let n be d(2). Let k be 4/(-6) - n/6. Let a be t(k). Solve -6 = 4*j - a*j for j.
-3
Suppose -7*k - 23 + 65 = 0. Solve k*f - 10 = f for f.
2
Let v(u) = u**3 + 3*u**2 - 2*u - 4. Let z(q) = q**2 + 8*q - 12. Let i be z(-9). Let n be v(i). Solve 4 + 4 = n*x for x.
4
Let w = 10 - 10. Solve -q - q = w for q.
0
Let t(n) = -2*n**3 - 3*n**2 - 5*n - 7. Let g be t(-2). Solve 5*h = -2 + g for h.
1
Suppose 4*t + 6 + 14 = 0, 2*k = -5*t - 9. Solve 0 = 4*p + k - 4 for p.
-1
Let k(f) = -f**3 - 9*f**2 - 14*f + 6. Let h be k(-7). Let s = -3 + 4. Solve s = -g + h for g.
5
Let p(y) = 2*y**2 - 9*y + 9. Let w(n) = -n**2 + 4*n - 4. Let m(f) = -3*p(f) - 5*w(f). Let a be m(6). Let d be (a/2 + 0)*0. Solve d = v - 3 + 1 for v.
2
Let f(m) = -2 + 2*m - 3*m - 3. Let h be f(-11). Solve -5*v + 14 = -h for v.
4
Let p be (-18)/(-4) - 1/(-2). Suppose 5*a = 2*y - 15, -p*a + 0*a - 15 = 3*y. Let f = y + 4. Solve -f*t + 3*t = 0 for t.
0
Suppose -206 = 5*v + 3*g, -2*v - 4*g - 92 + 4 = 0. Let t = -28 - v. Suppose -p = p - t. Solve 2*u - 4 = -p for u.
-1
Let r be -1 + (5 - 0*4/(-16)). Let u(i) = -i**2 + 6*i + 5. Let p be u(6). Solve r*q - 5 = p*q for q.
-5
Let b = -3 - -7. Let q(a) = -b*a + 4*a - 5*a - a**2 - 4. Let w be q(-4). Solve 2*x + 5 - 1 = w for x.
-2
Let f(u) be the first derivative of u**2 + 2*u + 5. Let z be f(-1). Solve -2*a = -4 - z for a.
2
Suppose -3 = -d - 1. Suppose 3*s - 12 = -0*s. Solve -s = -i - d for i.
2
Suppose 3*n - 2*n - 3 = 0. Suppose 5*c + 2*d - 10 = 0, -n = -c + d - 8. Suppose 0 = -b - c*b + 2. Solve g + b*g + 3 = 0 for g.
-1
Let r be (-3 + (-33)/(-9))*3. Solve -n - r = n for n.
-1
Let j = 0 + 3. Let i be ((-10)/(-4) + -2)/(-2)*-8. Solve 0 = -j*y + 4*y + i for y.
-2
Let d(t) = -t**2 - 5*t + 4. Let g be d(-5). Suppose 5*q = -u - 3, -3*u = -4*q - 6 - g. Let o be 0/(-4) + (3 - 6) - -6. Solve -u*v = -v + o for v.
-3
Suppose 14*c + 4*c - 18 = 0. Solve 4 - c = v for v.
3
Let d(q) = -5*q + 6. Let n(p) = 9*p - 11. Let f(z) = -11*d(z) - 6*n(z). Let o be f(0). Solve -2 = s - o*s for s.
-2
Suppose -11*m - 9 = -14*m. Solve -q + m = -2*q for q.
-3
Let y = -12 + 18. Solve 0 = -n - 2*n + y for n.
2
Let v = -14 - -20. Let q be -1*3*(1 + -2). Let r = v - q. Solve 0*i + i = r for i.
3
Let z(a) = a**2 + 8*a + 14. Let o be z(-6). Solve 3*s + 15 = -o*s for s.
-3
Suppose 0 = 4*k - 15 + 3. Solve 2 = -k*q + 14 for q.
4
Suppose 0*q + 3 = q - 5*w, -19 = -3*q + 5*w. Suppose -5*u + 4*l - 6*l = -20, -5*u + 20 = -l. Solve -u*m = -q*m for m.
0
Let h be 3 + 1/((-1)/2). Suppose g - 4*s = -2, -3*g - 2*s + 7 = -15. Solve 5*b + g = h for b.
-1
Let j be (-7)/(-6) - 2/12. Let q be j/(-3) + 48/9. Solve 0*z = q*z + 25 for z.
-5
Suppose 2*u + 2*d = 6, 5*d + 55 = 3*u + 2*u. Suppose 5*f - u = 13. Suppose -2*t + 5*w = 2*t - 12, -w = -4*t + 12. Solve t*x + f = -5 for x.
-3
Suppose 0 = 4*i - 7*i. Solve -2*g + 8 = -i*g for g.
4
Suppose -2*u + 39 = -3. Let i(h) = -h**3 + 3*h**2 + 4*h + 4. Let b(r) = 2*r**2 - 8*r - 6. Let p be b(5). Let d be i(p). Solve -d*k - u + 5 = 0 for k.
-4
Suppose -5*a + 5 = 5*g, -5*g - 3*a + 8*a = -45. Solve 0*v + g*v = 0 for v.
0
Let d(z) = z**2 - 8*z. Let t be d(8). Suppose -5*f - 5*m + 10 = t, 0 = f + 3*f - 3*m - 36. Solve -o = -f*o for o.
0
Let q be ((-2)/6)/(9/(-54)). Solve q*z + 0*z = 4 for z.
2
Let d be (1 + 5)*7/14. Let z(f) = 3*f - 1. Let b be z(1). Suppose c + 2*c = b*j + 5, -4*j = d*c - 17. Solve -p = -1 - j for p.
3
Let d = 8 + -6. Let b(c) = -3*c**d - 4 + c + 7*c**2 - 3*c**2. Let u be b(-3). Solve -r + u = -3*r for r.
-1
Let w = 13 - -1. Solve -4*m = -2 + w for m.
-3
Let i be (-3 - -1) + (9 - 1). Let r = 72 + -47. Solve -y - r = -i*y for y.
5
Let p = -7 + 10. Solve 6 = -k + p*k for k.
3
Let i = -31 - -31. Solve i*p = -3*p - 6 for p.
-2
Let h be 1/(-2)*2*0. Solve h = -9*x + 6*x for x.
0
Let q = -17 + 18. Solve 0 = j - 4 - q for j.
5
Suppose 7 = 4*m + 4*v - 1, 2 = -2*m - 4*v. Suppose 2*j + 2 + 4 = m*y, j - 2*y = -1. Let n = 10 - j. Solve -k + n = -2 for k.
5
Suppose 3*a + 16 = 5*g - 7, -15 = -5*g + 5*a. Solve -3*m - 8 = -g*m for m.
2
Suppose -1 = -k + 1. Let q(g) = g**3 - 2. Let a be q(k). Suppose -4 + 16 = 4*m. Solve -m*j + 0*j = -a for j.
2
Suppose -4*d + 10 = -9*d. Let w be 14/3 + d/3. Solve w*f + 1 = -3 for f.
-1
Let t = -11 - 1. Let d be ((-15)/t)/(1/4). Solve d*v - 10 - 10 = 0 for v.
4
Suppose 4*k = -3*z - 13, 2*k - 4 = z + z. Let w be k - -2 - (2 + -7). Let h be 24/(-20)*(-20)/w. Solve h*y = 2*y for y.
0
Suppose -4*q + 5*z + 0*z + 19 = 0, -5*z + 35 = 5*q. Let t be -2 + (1 - -2)*q. Solve 2*x = 6*x - t for x.
4
Suppose -465 = -5*b - 5*f, -b + 4*f + 332 = 3*b. Let p = -4 + b. Suppose -4*n + 2*u + p = 0, 70 = n + 2*n - 5*u.