
Let g be 377/117 + 4/(-18). Solve -5 = -4*z + g*z for z.
5
Suppose 0*l = -l + 10. Let f = l - 5. Solve -4*z = f + 11 for z.
-4
Let q be 2 - -2*1*1. Let l = -1 - -2. Solve -5*o = -l - q for o.
1
Suppose -2*i = -13 - 5. Suppose 0 = -5*l - s - 0*s + 5, -1 = -l - s. Solve -4*h - l = -i for h.
2
Suppose 0 = -9*q + 4*q + 10. Let w be 1*(-2 - -2) + 0. Solve w = -q*s - s - 6 for s.
-2
Let l be (4 - 4)/(3 - 1). Solve 5*s + 4 + 21 = l for s.
-5
Let q(n) = -n**2 + 8*n - 4. Let i = -5 - -12. Let s be q(i). Let z be (-2)/9 + 329/63. Solve -z = -s*p + 1 for p.
2
Let n(j) = 2*j + 3. Let g(f) = 2*f + 2. Let z(s) = 4*g(s) - 5*n(s). Let m be z(-5). Let d = 5 - m. Solve -8 = -d*t + 2 for t.
5
Suppose d + 25 = 3*d - 5*r, -19 = -5*d - 2*r. Let w(i) = i**3 - 2*i**2 + 3*i - 2. Let m be w(2). Solve -f = -d*f - m for f.
-1
Let t = 3 - 1. Suppose 0 = m - t*m. Suppose -z = -m*z. Solve z = r + 6 - 2 for r.
-4
Suppose 3*n = 4*j, -5*j = 3*n - 6*n. Suppose n = -8*c + 3*c - 35. Let q = c + 7. Solve k - 3*k + 2 = q for k.
1
Suppose -2*u = f - 7, 3*f - 4*f = -5*u + 7. Solve 2*i + 20 = -u*i for i.
-5
Let m(h) = -2*h - 7. Let u be m(-5). Suppose u*n - 6 = -0. Solve -2*x = -n - 2 for x.
2
Let t(h) = 5*h**3 + 5*h**2 - 4*h + 2. Let u(x) = 4*x**3 + 5*x**2 - 3*x + 3. Let o(z) = -3*t(z) + 4*u(z). Let i be o(-5). Let b = i + -4. Solve b = -n - 1 for n.
-3
Let c = 10 + -5. Solve 4 = h + c for h.
-1
Let f(s) be the first derivative of s**3/3 - 6*s**2 + 13*s - 3. Let g be f(11). Solve -g*p - 3*p = -10 for p.
2
Let g(d) = -d - 4. Let h be g(-6). Solve h*l = 5*l for l.
0
Let q be 3/3 + -1*1. Suppose -3*s - 5*x - 14 = q, 9*s - 3*x = 4*s + 22. Solve -s*g = -4*g for g.
0
Suppose 2*o + 27 = 5*p, 5*o = -3*p - 0*p + 10. Suppose 5*u = p*a + 20, a + 2*u + 12 - 2 = 0. Let j = 10 + a. Solve -25 + 5 = j*t for t.
-5
Let d = 117 - 114. Solve 0 = -2*g - d*g for g.
0
Let i = -1 + 5. Let u(y) = -y**3 + 8*y**2 - 5*y + 3. Let h be u(7). Suppose -l + 5*o = -h, -15 = 3*l + i*o - 47. Solve 5*z = -3 - l for z.
-3
Suppose -8 = -4*h + 4*n - 6*n, 0 = 2*h + 2*n. Let u be (-4)/h*-5*3. Let g = 0 - 0. Solve g = -2*b - 3*b + u for b.
3
Let t(p) = p**3 + 4*p**2 - 6*p - 2. Let z be t(-5). Suppose -r = -17 - z. Let c be (r/(-6) - -3)*0. Solve c*v = v for v.
0
Let o be 11/(-2)*2*-1. Suppose 5*y = -k + 22, -2*k + 26 = k + 5*y. Suppose k*t - 5 = 5. Solve -t*l + 4 = -o for l.
3
Let r be (4 + (-14)/2 + 4)*0. Solve -3*u = -r*u for u.
0
Let c = -192 - -192. Suppose z - 2 = 2. Solve c*h + z*h = 4 for h.
1
Let q be (-8)/(-6) + 2/(-6). Suppose -3*w - 3*j + 3 = 0, -w - 2*j - 3 + q = 0. Solve 6 = -2*t - w for t.
-5
Let r = 36 + -21. Solve 7 - r = 4*i for i.
-2
Let t = -7 - -10. Suppose -1 = -4*b + t. Suppose 4*g = b + 7. Solve 4*j + 2 = -g for j.
-1
Suppose -2*c + 2 = -10. Let p = -3 + c. Solve -3*i = -4*i + p for i.
3
Let c be 1/(-3) + 20/6. Let f be (1*6)/(4 - 2). Let n be f + (0 - 0)/2. Solve 0 = -n*d - 0 - c for d.
-1
Let q be 2/10 + 3/(-15). Let m = -9 + 10. Solve x + 0*x - m = q for x.
1
Let g = 51 - 51. Solve -4*n + 0*n + 12 = g for n.
3
Suppose 0 = -4*y - 2*j + 3*j + 4, -5*y - j + 5 = 0. Suppose -3*h + 34 = 2*q, 5*h - 40 = 3*q + 2*q. Let t be (-1)/(-2) - (-15)/h. Solve -y = -t*s - 5 for s.
-2
Let y = 0 + 0. Solve y = 4*k - 20 + 8 for k.
3
Suppose 10 = z + 2. Let r(b) = -4*b. Let v be r(-5). Let k be (-1 + -2)*v/(-15). Solve k + z = 4*p for p.
3
Suppose 0 = -48*f + 54*f - 12. Solve k - f - 1 = 0 for k.
3
Suppose 3*i - 15 = -5*k + 2*k, 0 = 2*k + 5*i - 19. Let n be (k + -2)/2*-1. Solve n*r = 5*r + 10 for r.
-2
Suppose -1 + 0 = m. Let z = 1 - m. Solve -7*u + z*u = 0 for u.
0
Suppose -3*v - v = 12. Let a = v + 6. Solve -25 = -2*i - a*i for i.
5
Let d be (-55)/(-25) - 1/5. Suppose -d*u + w + 12 = 3*u, 3*u - 5*w = 16. Solve -x - u + 7 = 0 for x.
5
Suppose f - 3 = 3. Let d = 4 + -2. Solve -d*k = -f*k for k.
0
Suppose -u + 3*u = 8. Suppose u = z - 1. Solve 2*q = q - z for q.
-5
Let b(h) = h + 4. Let i be b(0). Let t be i/16 + (-62)/(-8). Solve 3*c - 4 = t for c.
4
Let v be (1/(-3))/(1/(-15)). Suppose 3*q - 9 = 12. Let z = q - v. Solve 3*u + 1 = z*u for u.
-1
Let x = -8 + 11. Solve 3 + x = 3*g for g.
2
Suppose -72 = -7*f + 4*f. Solve 5*o = 11*o - f for o.
4
Suppose 0 = -4*y + 10 + 10. Suppose 5*x - 6*g = -g + 30, 0 = -3*x - 3*g + 12. Solve -x*h + 5 = -y for h.
2
Let y = -26 - -30. Solve -y*i = -4 + 20 for i.
-4
Let q = 20 - 20. Solve q*i - 25 = 5*i for i.
-5
Let f = 0 + 2. Let a(r) = -3*r**2 - 25*r + 4. Let n be a(-8). Solve 0 = -2*v - f*v + n for v.
3
Suppose t - 4*o = 23, 6*o - 16 = -2*t + 8*o. Solve -t = c - 1 for c.
-2
Let m be 87/2 - (-3)/2. Let n be m/(-6)*(-8)/5. Suppose -5*w + y + n = 4*y, -y + 4 = 0. Solve k + w = -5 for k.
-5
Suppose 4*l - 7 = 5. Let j be 3/3*(-2 + 8). Solve l = -3*x - j for x.
-3
Suppose 0 = 8*i - 5*i - 12. Solve 0 = -3*u + 1 - i for u.
-1
Suppose -3 = y + 5*z, -z - 4*z - 15 = -5*y. Suppose y*u + 3*u = 5*d + 40, -3*u = 4*d - 3. Solve -2 = -u*i + 3 for i.
1
Let d be 3 - 1/(-2)*-6. Suppose -4*n + 51 = -3*f, -n - 2*f = -2 - 19. Solve 5*h + n + 10 = d for h.
-5
Suppose -7*x + x = -30. Solve 4 = x*j + 14 for j.
-2
Let n = -2 + 5. Solve n*d = 5*d + 10 for d.
-5
Suppose 0 = y + y. Suppose 0 = -3*i - y*i. Solve i = 4*c - 2*c + 2 for c.
-1
Let k(q) = -q**2 + 10*q - 4. Let a be k(9). Let g = -4 + a. Solve g = i - 4 for i.
5
Let u = -6 - -7. Suppose -5 - u = -3*j. Solve j*n + 0*n = 4 for n.
2
Let k = 128 + -127. Solve 3*m + k = 13 for m.
4
Let o(g) = -g**2 - 10*g + 7. Let n be o(-10). Solve -2*t - n - 1 = 0 for t.
-4
Suppose -2*m + 5*d - 19 = 0, -m = -0*m - 4*d + 17. Suppose -3*o = o + y - 8, -11 = -5*o - y. Suppose -c = o*c - 8. Solve -c*t + m = t for t.
1
Suppose -19 = -5*v + 6. Suppose 0 = 3*c - v*c + 32. Let r be 6*(-1 - -2*1). Solve -r*g = -2*g + c for g.
-4
Let a(l) = -3*l - 2. Let g be a(-3). Solve -1 + g = -3*c for c.
-2
Let g be 2*1/2 - -1. Let n be ((-52)/(-16) - 3)*0. Suppose n*y - g*y = -6. Solve y*z - 6 + 0 = 0 for z.
2
Let u = 14 - -11. Suppose -19 = -f - 8. Suppose 2*j + u = 6*j + n, -2*j + n = -f. Solve 0 = -5*m - 1 + j for m.
1
Let n(h) be the third derivative of -h**6/120 + h**5/30 + h**4/8 + 2*h**2. Let k be 6 - (-4)/(-2) - 1. Let f be n(k). Solve f*x - x = -3 for x.
3
Let h be (12/(-10))/(-3 + 26/10). Solve 2*z = h*z for z.
0
Let p = 5 - -25. Let j be p/(-4) + 3/(-6). Let n be j/(-20) + 98/5. Solve n = 5*l - l for l.
5
Suppose -5*s = 2*h + h + 6, 0 = -5*s - 5*h - 10. Solve s = -5*j + 35 - 10 for j.
5
Suppose -7*v = -3*v. Let u(h) = 6*h + 11. Let t(z) = -z - 2. Let k(o) = 11*t(o) + 2*u(o). Let p be k(v). Solve p = 7*y - 3*y - 16 for y.
4
Let x(w) = -2*w**2 - 4*w. Let q be x(-3). Suppose 0 = 4*b - 0*b + 8. Let j be 3/q*b + 1. Solve m = -j*m for m.
0
Suppose 23*b - 27*b = 0. Solve -4*a + b = -12 for a.
3
Let g be 2/(-24)*-3*4. Let h = 7 + g. Let v be (-3)/(-12) + (-11)/(-4). Solve -h - 4 = v*c for c.
-4
Let d(c) = c - 2 + 6 - 15. Let l(w) = w**3 - 2*w**2 - 4*w - 5. Let x be l(4). Let m be d(x). Solve m = -3*n + 6 - 0 for n.
2
Let z(w) = -w**3 + 5*w**2 + 7*w - 2. Let j be z(6). Let x = 5 + -3. Let t = x + j. Solve -2*q + 20 = -t*q for q.
-5
Suppose 7*j + 8 = 11*j. Solve 0*b = b - j for b.
2
Let v = -54 - -60. Solve 0 = -4*x + v*x for x.
0
Let a(q) = -q**2 - 18*q + 41. Let p be a(-20). Solve p = -s - 0*s for s.
-1
Let b(a) = -2*a**3 + 20*a**2 + a - 8. Let q be b(10). Solve r - 3 = -q for r.
1
Let a(x) = -x**3 + 0*x**3 - 6*x**2 + 11*x**2 - 4*x. Let m be a(3). Solve 0 = -2*n + m*n - 8 for n.
2
Let b(q) = -q**3 - q**2 - q + 1. Let g(s) = 4*s**3 + 9*s**2 + 3*s - 7. Let c(n) = 3*b(n) + g(n). Let x be c(-6). Let z = x + 6. Solve 0 = 3*r + z*r + 20 for r.
-4
Suppose 8 = 3*k + 2. Let p(n) = 5 - 3 + n**k - 1. Let s be p(-1). Solve -o = s*o + 12 for o.
-4
Suppose -4*j - 20 = 0, 23 = 4*k - 2*k - 3*j. Let i = -149 - -161. Solve 0 = -k*q + 4 - i for q.
-2
Suppose 5*f = 2*l + 28, 5*l - 21 = 4*f - 57. Solve -f*h + 23 - 3 = 0 for h.
5
Suppose 0 = -4*z - 5*x - 13, 0*z - 2*x = z + 7. Suppose -z*c + 4 = -2. Solve 0 = -3*f + c*f + 3 for f.
3
Let d be (-10)/4*(-16)/10. Let w = d + -4. Solve w*g + 1 = g for g.
1
Let d(b) = -b**2 - 10*b - 5. Let h be d(-7). Suppose -j + 4*w = 11, 2*w - 3*w = -4*j + h. Solve -8*n + 3*n = -j for n.
1
Let n = 11 - 5. Suppose -5*z + 21 = n. Solve -z*q = -q for q.
0
Suppose 0 = 4*v - 0*v - 20.