Solve 0*x - f*x = -15 for x.
3
Let y(i) = -i + 6. Let v(c) = c**3 + 4*c**2 + c - 3. Let b be v(-3). Let j be y(b). Suppose j*z = -2*a - 1 - 7, -2*a = -2*z + 8. Solve 0 = -3*h - z*h - 3 for h.
-1
Let j = 22 + -19. Solve -22 = j*u - 7 for u.
-5
Let u be 3 + (-3)/3 + 3. Suppose -u*n - 3 = -2*n + 4*y, -y = 3. Solve -n*s - 16 + 1 = 0 for s.
-5
Let k(t) = t - 3. Let b be k(10). Solve -o = -b + 4 for o.
3
Suppose -s = -5*s + 12. Let q = 5 + -1. Let w(t) = t**3 - 6*t**2. Let y be w(6). Solve y = -s*b + q*b for b.
0
Let r(v) = v**2 + v + 2 + 2*v**2 - 1. Let t be r(-1). Let q(l) = -l**2 - 7*l + 2. Let y be q(-7). Solve -t*g = -g + y for g.
-1
Suppose 3*f + u - 4 = 4, f - 2*u - 5 = 0. Solve -f*i = 15 - 0 for i.
-5
Let m be (-594)/(-77) + 2/7. Solve -m*d = -6*d for d.
0
Suppose -7*q + 2*q + 4*x = 10, -5*q = -2*x. Suppose 0 = -q*y - 0*y + 8. Solve -5*c + y*c + 5 = 0 for c.
5
Let q(a) = 24*a + 1. Let n be q(1). Let x(g) = -3*g. Let o be x(-1). Let k = o - -5. Solve -3*t - n = -k*t for t.
5
Let w = -3 + 5. Let h = -3 + 9. Let f = -2 + 2. Solve f = h*c - w*c for c.
0
Let i(o) = o**3 + 3*o**2 - 4*o + 5. Let j be i(-4). Let b = j + 0. Solve -m = -6*m - b for m.
-1
Let m(h) = 3*h**2 + 2*h. Let w be m(-2). Solve 0 = -t - t + w for t.
4
Suppose -4*i + 40 = -4*k, -4*i - 4*k = -i + 5. Suppose 0 = i*x - 7*r + 2*r, -2*r = 4*x. Solve -z + x + 2 = 0 for z.
2
Let l = -6 - -8. Suppose -4*u + 2*u = -l. Solve -k = -0*k + u for k.
-1
Let o be (1 - 1)/(-1 - 2). Suppose -5*x + x = o. Suppose x*r = 2*r - 12. Solve 2*u - 20 = r*u for u.
-5
Let b(n) = -2*n**2 - 5*n + 5. Suppose 0 = 3*p - 4*p + 2. Let c(l) = l**2 + 2*l - 2. Let j(d) = p*b(d) + 5*c(d). Let z be j(2). Solve -6 = -z*v + 10 for v.
4
Let l = 3 - 3. Suppose l = 5*w - 20. Suppose w*h = -h. Solve h*t + t = -4 for t.
-4
Let s = -10 - -18. Suppose 5*p - 20 = 5*h, s*p - 4*p - 13 = h. Solve c = p*c for c.
0
Suppose 4*m - 20 = -5*x - m, 2*x + 12 = 3*m. Solve x*d = -4*d - 8 for d.
-2
Let x be ((-4)/2)/((-4)/46). Suppose i - u - u - 22 = 0, i = 3*u + x. Solve -4*s + i = s for s.
4
Suppose -n - 1 + 5 = 0. Let s = -1 + 4. Suppose s*q - 20 = -q. Solve q*y + n = -21 for y.
-5
Let g(r) = -r**2 - 14*r - 20. Let d be g(-12). Solve -3*b + d*b = -1 for b.
-1
Suppose 47 = 5*j - 4*x, 3*j - 3*x - 26 - 4 = 0. Suppose s = -4*s - 5. Let k be ((-1)/(-1))/(s/(-2)). Solve 0 = j*z - k*z - 15 for z.
3
Suppose 0 = z - 4*z + 15. Let x(u) = 7*u**3 + 3*u - 1. Let j(h) = 8*h**3 + 4*h - 1. Let l(m) = 6*j(m) - 7*x(m). Let n be l(-2). Solve -n*o - z = 7 for o.
-4
Let h = 3 + -6. Let y be h + 16 - (2 - 1). Let v be 15/y - 3/(-4). Solve 3*z + v*z = -15 for z.
-3
Let i(b) = -b**3 - 5*b**2 - 3*b + 5. Let j(h) = -2*h**2 - 2*h - 1. Let v = 0 - 2. Let o be j(v). Let s be i(o). Solve 0*q - 5*q = s for q.
-4
Let u be (0 + 0)/((-6)/(9/(-3))). Solve 4*y + 4 = -u*y for y.
-1
Let q(a) be the first derivative of -1/4*a**4 - 3*a + 2 - 1/3*a**3 + 3/2*a**2. Let x be q(-3). Solve -3*h = x + 6 for h.
-4
Let f be ((-14)/(-6))/((-2)/(-6)). Suppose -a + 0*g + f = 5*g, -g = -3*a + 5. Solve -a*x - 2 = -10 for x.
4
Let n be 13/26*(-32)/(-1). Solve -n = -4*h - 0*h for h.
4
Suppose -3*g - 3 = -3*h, 4*h = 3*h + 2*g. Suppose -h*f = f - 12. Solve -3*o + 19 = f for o.
5
Suppose -5*m + 11 - 1 = 0. Let q(k) = k**2 - 5*k - 4. Let b be q(6). Suppose -4*s - 4 = h, -4*h - 4 = b*s - 3*h. Solve s = j - m*j - 4 for j.
-4
Let a = 45 + -43. Solve c + a*c = -3 for c.
-1
Suppose 0 = 3*l - 4*z + 4 + 10, -2*l - 1 = -z. Solve 5*w + 3 + l = 0 for w.
-1
Suppose 9*r = -1 + 1. Solve 4*a - 20 = -r for a.
5
Suppose -15 = -5*y - 3*j, j = -3*y - 4*j + 25. Suppose -q + 8 = 2*p, y = -5*q + 2 + 18. Solve -p*w - w + 12 = 0 for w.
4
Let n = 18 + -16. Let x(u) = u - 1. Let q be x(6). Suppose 0*z - 5 = -q*z. Solve n*r - z = 1 for r.
1
Let v(a) = -2*a. Let j be v(-2). Suppose 4*x = -0*x - 4*g + j, 0 = g + 4. Solve -x*z + 21 + 4 = 0 for z.
5
Let g = -3 - -5. Suppose -g*i + 6 = 44. Let l = i + 39. Solve -6*u + u = -l for u.
4
Let y(c) = c**2 + c + 80. Let i be y(0). Suppose i = r + 3*r. Solve 0 = -6*b + b - r for b.
-4
Suppose -6 = n - 4*n. Solve -4 = g - n*g for g.
4
Suppose -f - t = 2, -5*f = t + 3*t + 6. Suppose -3*c + 7 + 3 = -5*z, 12 = f*c + 2*z. Solve -3 - 2 = -c*b for b.
1
Suppose 0*a - 12 = -4*a. Solve 0 = -a*h + 8 - 23 for h.
-5
Let t = 8 - 6. Suppose -4*s + 3 = -9. Let g = 1 + s. Solve -g*x + t = 6 for x.
-1
Let m(d) = d**2 - 4*d + 5. Let j be m(5). Suppose 5*f = 15 + j. Let h be (5 - 4) + (2 - 0). Solve f*q + h = 2*q for q.
-1
Let y = 10 + -9. Let i = 4 - y. Solve -4 + i = f for f.
-1
Suppose o + 3 = 4*o. Let p be o - 2*2/4. Solve p = -5*c + 5 - 30 for c.
-5
Let p(j) = -j**3 + 4*j**2 - 2*j + 1. Let x be p(2). Solve 3*l = x*l - 2 for l.
1
Suppose 36 = 4*o + 5*a, 0*o + 2*o - 3*a = -4. Suppose -7*f + 3*g + 6 = -3*f, -f - o = 2*g. Solve h + f*h = 1 for h.
1
Let h(n) = -5*n + 1. Let b be h(-1). Let x(d) = -d**2 + 5*d + 39. Let q be x(9). Solve q*f = -0 + b for f.
2
Suppose -2 - 8 = -2*v. Suppose -2*g = g + 18. Let w = -4 - g. Solve v - w = 3*y for y.
1
Let o = 3 + -1. Suppose 0 = -o*m - 2*i + 5*i - 2, 3*m - i = 11. Solve 2 = m*h - 3 for h.
1
Suppose 9*p - 37 = 8. Let s(i) = 1. Let q(u) = 21*u + 1. Let j(y) = q(y) - 2*s(y). Let h be j(1). Solve -p*n + h = -n for n.
5
Let k be -2*((-8)/4 + 1). Solve -3*s = -2*s + k for s.
-2
Let n(l) = 3*l**2 + 3*l - 4. Let j be n(1). Solve j*w = w for w.
0
Let k(t) = t**2 + t - 1. Suppose 0 = 5*u + 4*b + 23, -3*b - 9 = 3*u + 6. Let w be k(u). Suppose 3*x - 32 = 5*j, w*x = 3*x + 5*j + 28. Solve -5*f = -x*f for f.
0
Let l be 3/1*(-104)/(-78). Solve -5*g = -l*g for g.
0
Let l(j) = -4*j**3 + j + 1. Let c be l(-1). Suppose -c*o = 3*h - 0*o - 37, 0 = 3*h - o - 17. Let v be -4*((-105)/(-6))/(-7). Solve -h*t - v = -2*t for t.
-2
Suppose -7*p = -4*p - 18. Solve -25 = -l + p*l for l.
-5
Let f = -30 + 44. Let j = f - 8. Let x = j + -4. Solve -1 + x = -i for i.
-1
Let a be (60/50)/((-2)/(-5)). Solve -5*k - 2 = -a*k for k.
-1
Let g be 10/((-5)/((-10)/4)). Solve z - 12 = g*z for z.
-3
Let z be 8 + -2 + (-8)/4. Solve 0 = z*i - 8 - 4 for i.
3
Let g(z) be the second derivative of -z**3/6 - 3*z**2/2 + z. Let s be g(-9). Suppose -p + i = -0*p, -s = -5*p + 2*i. Solve -p*n = 3*n + 15 for n.
-3
Let g(s) = 2*s**2 - 9*s. Let w be g(6). Suppose w = 3*v - 4*m + 6, 5*v = -3*m - 9. Suppose n - 1 - 19 = v. Solve z = 6*z + n for z.
-4
Let f(l) = 3*l - l - l - 6*l**2 + 15*l**2. Let g be f(1). Suppose -4*t = -5*c - g, c + 4*t = 35 - 13. Solve -c*a = -a + 5 for a.
-5
Suppose 15 = c - 2*c + 4*o, -o = -2*c + 5. Suppose -c*n + 10 = -60. Let s = n - 10. Solve 1 = g + s for g.
-3
Suppose 3*j - 5*j = 20. Let y be 3/(-3*(-2)/(-4)). Let i be y/j + 9/5. Solve -o = i*o for o.
0
Let w(c) = c**2 - 8*c + 9. Let t be w(8). Solve -b - t = -4*b for b.
3
Let p(z) = z**3 - 7*z**2 + 9*z - 8. Let q be p(6). Solve 0*i + q = 2*i for i.
5
Let c(o) = -o**3 + 4*o**2 + 5*o + 6. Let j be c(5). Let v(k) = -2*k**3 - k**2 + 1. Let x = 2 + -3. Let u be v(x). Solve d = u - j for d.
-4
Let a(b) = 4*b**3 - 2*b**2 + b. Let x be a(1). Let l(n) = n**2 - 12*n - 2. Let u be l(12). Let o = 2 + u. Solve -x*y = -o*y + 15 for y.
-5
Let y be 9/15 - 111/(-15). Solve 0 = -3*r - r + y for r.
2
Let s(u) = -u**3 + u**2 + u - 1. Let n be s(2). Let o = 5 + n. Suppose -g - 1 = o*h, -h - 5*g = 2*h + 19. Solve h*v = v for v.
0
Suppose -a + w = -1 - 1, 0 = -2*a + w + 2. Let t be 2/9 - (-16)/9. Suppose t*r + r = a. Solve 4*s = -r*s - 8 for s.
-2
Let w be 1/2*6 + 3. Suppose w*l = 3*l + 3. Solve 2*g - 1 = l for g.
1
Let x be (3*(-20)/(-15))/1. Solve -x*t - 13 + 1 = 0 for t.
-3
Let c(p) = -p**2 + 6*p - 4. Let d be c(3). Let n be ((-4)/3)/((-1)/(-3)). Let m = n + d. Solve -5 = f - m for f.
-4
Suppose 0 = l + 23 - 5. Let i be 4/l - 2/(-9). Solve z + 2 = -i for z.
-2
Let d = 74 - 68. Solve 0*s + d = -3*s for s.
-2
Let m = 15 - 11. Suppose -b - 9 = -4*b. Suppose -s = b*s - 4. Solve -s = m*p + 15 for p.
-4
Let r = 3 - 0. Let n be 3 + r/(-1) + 8. Solve 5*m + n = m for m.
-2
Let x = 13 - 11. Solve -2*r - x + 4 = 0 for r.
1
Suppose 5 = -p, 3*v - 1 + 0 = -4*p. Solve v + 9 = -4*a for a.
-4
Let s = -68 + 47. Let y be (-2)/1 + 2 - s. Let j = y - 14. Solve -t - j = -2 for t.
-5
Suppose n = -4*n + 4*f - 10, -5*n + 5*f = 10. Let a = -1 - n. Let g = -1 + a. Solve g = p - 0*p for p.
