ve -o + 1 = -j - 0*j, r*j - 3*o = -3 for j.
0
Let b(z) = z + 1. Let v be b(1). Suppose -v*w + w = 0. Let g be (-148)/(-20) + 3/5. Solve -4 = -w*s - 2*s + 2*x, -3*s + g = -4*x for s.
0
Let f be ((-1)/(-3))/(3/18). Let y be -2 + f/2*7. Let l = 205 - 200. Solve y*w + l*u - 4*u = -22, 6 = -2*w + u for w.
-4
Let y = -32 + 23. Let a = y - -13. Suppose 0 = 2*m - a - 6. Solve -4*w - 3*l + 15 = 0, 2*l - 10 = -m*w + 7 for w.
3
Let a(w) be the second derivative of w**5/20 + w**4/3 - w**3/6 - 8*w. Let n be a(-4). Solve -5*j = 3*y + 16, -7*j - n*y - 8 = -3*j for j.
-5
Let j(n) = 3*n**2 + 10*n. Let p be j(-8). Let m(y) = y**2 + 3*y + 1. Let f be m(-4). Suppose 0 = -f*q - p + 337. Solve 5*g - 3*r - q = -5, 3*g = -2*r + 5 for g.
5
Suppose -2*m = 3*m - 10. Suppose -f - 1 = -3*g + 8, m*f + 4*g - 32 = 0. Solve f - 3 = -n, -2*a - 4*n - 12 = 0 for a.
0
Suppose -18 = 17*h - 18*h. Solve -3*r = 4*i + 3, 0*i = -5*i + r - h for i.
-3
Let j be ((-9)/18)/((-2)/4). Let b be (-105)/(-20) - j/4. Solve 5*x - 3 = -4*q, b*q + 0 + 9 = -2*x for q.
-3
Let a = -12 + 12. Solve -2*v + 8 = -c, 3*c + 3*v + 2*v - 20 = a for c.
0
Suppose 0 = 2*c - 8 - 12. Let s be 8/(-5)*(-25)/c. Solve f - 16 = 5*f - 4*w, 4*w - s = f for f.
-4
Suppose -4*y = -24 - 0. Let j be (2 - 3)*3*-1. Suppose 0 = -j*a, a + 2*a = -b. Solve 4*p - 3*m = -y*m + 6, b = m - 2 for p.
0
Suppose -q = q - 5*o + 6, 3*q + 2*o = 10. Solve q*p = 3*w, 2*w - 1 = p - 2 for w.
-2
Suppose 0 - 15 = -3*q. Let x be 46/(-8) + (-1)/4. Let g = x + 8. Solve t + 2*z = -g*z + 2, -11 = q*t - z for t.
-2
Let m(i) = -i + 18. Let l be m(9). Solve -v = -3*s + 4*v, -l = 3*v for s.
-5
Let f(h) = -h + 2*h - 2 + 1 - 2*h**3. Let m be f(1). Let v be 2/(-5) + m/(-5). Solve 12 = 4*t + 3*l - v*l, 3*l = -2*t + 12 for t.
0
Let w be (-2)/5 + (-27)/(-5). Suppose w*o - 10 = -0*o. Solve o*i - 7 - 7 = 4*b, -i + b = -2 for i.
-3
Let c(p) = -p**2 - 5*p + 4. Let s be c(-5). Suppose 2 = 3*h - s. Solve 0 = -4*j, -2*j - h*j = 5*w + 15 for w.
-3
Suppose 0*x + 4 = 3*x + 5*h, 5*x - 2*h - 17 = 0. Let d be (30/4)/(2/4). Suppose 0 = -4*y + d - 3. Solve x*c = 5*u - 19, -2*u - 3*c + 1 = y*u for u.
2
Let d(u) = -3*u - 5. Let x be d(-4). Solve x*w - 4*w + 5*c = -4, 5*c = 3*w + 14 for w.
-3
Let p = -13 + 15. Solve 10 = -5*s, -a + 0*s = -p*s - 7 for a.
3
Let x = -9 - -22. Solve 3*t = -5*m + x, -4*m + 2 = 4*t - 10 for t.
1
Suppose 0 = x - 3*x. Suppose 2*b + j - 4 = 0, -3*b - j + 1 = -5. Let y = b - -6. Solve 1 = -o + 3*n, x = -2*o - y*n + 4*n - 2 for o.
-1
Let c(z) = -z**2 + 15*z + 19. Let y be c(16). Solve -3*m - 2*i = -1, 3*m + y*i + 0 + 3 = 0 for m.
3
Let x be (1 - (-32)/(-36))*6*3. Solve -2*j = -6 - 4, 10 = -5*c + x*j for c.
0
Let p(o) = 13 + 10*o + 8*o**2 + 13*o - o**3 - 15*o. Let x be p(9). Solve -1 = -3*j - 2*s + 9, -j + x*s - 20 = 0 for j.
0
Let p = 8 - 4. Suppose 2 - p = -a. Let j = a + 1. Solve 0 = 3*v - 5*v - 3*c + 7, j*c = 2*v + 11 for v.
-1
Let w(j) = j + 1. Let s be w(1). Let m = 5 - s. Solve 5 - 13 = -m*f - 5*b, -4 = 5*f + 4*b for f.
-4
Let p(g) = 2*g**2 - 27*g + 10. Let l be p(14). Solve 0 = 2*s - h - 9, 0*s = 5*s - 3*h - l for s.
3
Let n(x) be the first derivative of x**4/4 - 4*x**3 + 5*x**2 + 14*x + 3. Let s be n(11). Solve 15 = 2*f - s*l - 2, 1 = -2*f - 3*l for f.
4
Let u be 14/(-91) + 67/13. Suppose u*v - m = 10, 3*m = -5*v + 8*m + 10. Solve 5*t = v*w + 8, 3*w - w + 4*t = 10 for w.
1
Let i(j) = -2*j. Let w = 5 - 6. Let b be i(w). Solve -5 = -l - 3*y, b*l + 0*y + 2*y + 2 = 0 for l.
-4
Let q = -6 - -3. Let c be q - 3/((-6)/28). Let t be (-3)/9 + 46/3. Solve -4*w = 5*k + t, 1 = 3*w - 4*k - c for w.
0
Suppose -29 = -5*o - 3*l + 2*l, 4*l = o + 11. Let r = 1 + -3. Let x = 0 - r. Solve -o*a - 3 - 7 = x*u, -2*a - u - 3 = 0 for a.
-4
Let b = 4 - 2. Suppose b*d - 12 = -d. Solve -4*r = -d*a - a - 7, -r - a - 5 = 0 for r.
-2
Let u = 61 + -31. Suppose 5*h + 2*q + 2 = h, 5*h - u = 4*q. Let z = 8 - -1. Solve 0 = -3*v + 3*k - z, -4*v + h*k + 1 = 3 for v.
2
Let d(r) = 3 + 3*r**2 + 4*r - r + 4*r**2. Let q be d(-2). Suppose 0 = 3*g + 2*g - q. Solve -2*h - 6 = 2*o, 0*o + 4*h = -g*o - 15 for o.
-3
Let s be 3/12 - (-7)/4. Suppose 0 = -2*o - 4*k - 12, o + 18 = 6*o - s*k. Solve -2*t + t = -o*r - 14, 3*r = -5*t + 5 for r.
-5
Suppose -3*w + 37 = 5*o, 5*o = 5*w + 2 + 3. Solve -4*i + w*k + 12 = 0, -k = -2*i + 3*i - 3 for i.
3
Suppose 14 - 34 = 4*i. Let w(q) = -q**2 - 6*q - 1. Let x be w(i). Solve -4*f - 12 = 2*m, 2*f = -0*f + x*m + 14 for f.
-1
Suppose 0*v + 55 = 5*v. Solve -m = -3*a - v, -4*a + 14 = 4*m - a for m.
5
Let y be (-18)/(-72) + 63/4. Solve a = -3*p - 3, -p - p + 4*a = y for p.
-2
Let l be (-6)/15*(3 - -2). Let z be (-6)/l + (1 - 3). Suppose -z = 4*m - 13. Solve 2*j + 3 = 2*k - 1, m*j + 12 = 5*k for k.
3
Let h = -28 + 33. Solve -2*l - 9 = c, 36 - 8 = 3*c - h*l for c.
1
Let r be (-67)/5 - 6/10. Let z = 17 + r. Solve -z*y = -12, 4*q - 32 = -4*y + y for q.
5
Let l(d) = 4*d**2 - 2*d - 1. Let n = 10 - 11. Let k be l(n). Solve -k*f - 3 = -2*t + 32, -2*f + t - 15 = 0 for f.
-5
Suppose 3*l = -4*s + 7, s - 4 + 1 = -l. Solve -x = -4*z + 8*z + 16, l*z = 4*x - 41 for x.
4
Suppose 3*j + 2*o = -0*j - 10, -2*o = -5*j + 10. Solve 0 = 2*k - 5*w, j = -4*k + 2*w - 7*w - 30 for k.
-5
Suppose 0 = 2*r - 175 - 375. Suppose -4*j + r = j. Suppose -5*y + j = 2*a, -y + 0*a - 6 = -3*a. Solve 0 = -5*o + t + 20, y*o - 4*t - 20 = 4*o for o.
4
Suppose -2*j - j + 15 = 0. Suppose -v + j*v - 16 = 0. Solve -g + 7 = -5*d + 26, -v*d = -3*g - 24 for g.
-4
Let n = 9 + -7. Solve 4 = n*c, 0 = 5*h - 0*c + 4*c - 23 for h.
3
Suppose 2*r - 3*c - 2*c = -8, -2*r = -3*c + 4. Suppose -3*k = -6, -3*p + 0*k = -5*k + r. Solve -p - 7 = 5*a - 5*d, -a - 22 = -5*d for a.
3
Let g be (-1)/(2/(-4)) - -1. Suppose 0 = -4*k + 5*k - 2. Solve -o + 19 = -g*r + 3*o, -5*o - 5 = k*r for r.
-5
Suppose -3*k + 87 = -2*o - o, 114 = 4*k - 3*o. Let p = 30 - k. Solve -v = c, -3*c + c - p = v for v.
3
Let s(x) = -x**2 - 4*x + 7. Let l be s(-5). Let y be l/((-3)/(78/(-4))). Solve 3*z = -v + 2*v + 13, -4*z - 3*v + y = 0 for z.
4
Let b be (-3)/(6*(4 - 82/20)). Solve 45 = b*c + 2*q + 3*q, c - 5*q = -15 for c.
5
Suppose -2*o = -6*o + 92. Let i be (-5 - -4) + (o - -1). Solve -2*y + 1 = -w, 2*y - y = 5*w + i for w.
-5
Suppose 16 - 4 = 4*g. Solve -b + 3*w + g = -5, b + 3*w = 2 for b.
5
Suppose -7 + 3 = 2*c + 2*r, -c = 5*r + 22. Solve -4*b - 2 = -c*z, 3*z - b + 3 = -1 for z.
-2
Suppose -4*t - 3*p = -20, -2*t - 3*t + 5*p + 60 = 0. Suppose 6*z = 2*v + 2*z - t, 2*z - 36 = -4*v. Solve -3*n = 4*d - v, 2*n + 0*n - 17 = -5*d for n.
-4
Suppose 0 = 5*a + 3*n - 37, -3*a - 3*n + 32 = a. Solve -a*o + 4*o + 2*b - 8 = 0, 3*o + 6 = -3*b for o.
-4
Let a = 9 - -21. Let v(u) = -6*u**3 - u**2 - 2*u - 1. Let o be v(-1). Solve -3*w - 12 = q, -o*q + 3*w + a = -q for q.
3
Suppose 5 + 5 = 5*n. Let o be n*(1 + -3 + 3). Solve 9 = 5*p + 3*y - 21, 2*y + o = 4*p for p.
3
Let d = 13 - 11. Suppose -3*b + d*g - 1 = 0, 5*b = -0*g + 3*g. Solve 14 = b*y + 2*y - w, -3*w = -3 for y.
3
Let z = -6 + 21. Suppose 0 = 13*t - 11*t - 6. Let x = -3 + 4. Solve t*r = 4*s + 11, -x + z = 3*r - s for r.
5
Let t = -1 - -1. Let v(l) = -l**3 + 17*l**2 - 14*l + 3. Let u be v(16). Solve j = i + 3, t*j = 5*i + 5*j + u for i.
-5
Let h(v) = -3*v**3 + 1. Let t = 5 + -6. Let m be h(t). Let w be 8/m*1/1. Solve -3 = -2*i + o, -i + 8 = w*o + 4 for i.
2
Let l(j) = -j**3 + 4*j**2 + 5*j. Let k be l(5). Suppose k = 24*h - 29*h + 25. Solve c - 7*v + 2*v = -5, h = -c - 3*v for c.
-5
Let a(d) = 29*d + 14. Let i(r) = -5*r + 0 - 5*r - 5. Let x(g) = -4*a(g) - 11*i(g). Let k be x(-1). Solve 3*l - 13 = k*n, 4*l = -n + 2*n + 6 for n.
-2
Let h = 12 + 0. Let i = 17 - h. Suppose -5*a - 20 = -2*r, 5*a - 36 = -r + a. Solve r = -5*j + p, j - 3*j - 8 = -i*p for j.
-4
Let q = -40 + 45. Solve 4*m = q*b + 24, 0 = -0*b - 5*b + m - 21 for b.
-4
Let d be (15/(-6))/((-30)/24). Solve 5*i = 0, -2*t + d*i - 6 = t for t.
-2
Let z(i) = i**3 - 3*i**2 + 2*i - 6. Let k be z(3). Solve 2*h + f = 3*f + 4, -2*h - 3*f + 4 = k for h.
2
Let a be (2 - 3) + (2 - -3). Solve 3*p - 23 = l + l, -31 = a*l - 3*p for l.
-4
Suppose -3*g + 23 = 2*b - b, 5*b - 115 = 3*g. Solve r + 0*x = 3*x - 12, r - b = -4*x for r.
3
Let a(w) = -3*w - 4 - 8 - w. Let s = 2 + -7. Let h be a(s). Solve g - 3*g = h, 2*g = 2*x - 14 for x.
3
Suppose w = -p + 10, 4*p = 4*w - 0*p. Let o be 3/(6/26