+ 4. Let c be v(6). Let k = c + m. Solve -k = z + z for z.
-4
Let s(w) = 65*w + 302. Let q be s(-4). Solve 5*h - q = -37 for h.
1
Let i(o) = o**3 + 3*o**2 - 4*o - 2. Let a be i(-3). Let f(c) = c**3 + 7*c**2 - 8*c. Let y be f(-8). Solve 2*s = -y + a for s.
5
Let k(c) = c**3 - 6*c**2 - 15*c + 61. Let m be k(7). Solve 9*b - 4 = m*b for b.
1
Let v be (1 + -2)*(-2 + 0). Suppose -u - 4 = -v*x, 0*x + 5*u = 5*x - 20. Let l = -1209 - -1209. Solve l*c + 2*c - 10 = x for c.
5
Let t = 1216 + -1213. Solve 0*x - 5*x - t*x = 0 for x.
0
Let b = 1091 - 1091. Solve b = 23*q - 18*q - 5 for q.
1
Let n = 29 - 37. Let j = 10 + n. Solve -3*b + 7 = -j for b.
3
Suppose 4*b + 4 = o, 4*b - 116 = 4*o - 8*o. Solve 4 = -7*w - o for w.
-4
Let w be ((-1)/(-4))/(39/1716). Solve -3 = 4*a - w for a.
2
Let c = -2160 - -2188. Solve -21*q = -c*q - 28 for q.
-4
Let a(s) = 6*s + 9*s**2 - s**2 - 7*s**2 - 7 - 6. Let o be a(-8). Let w(q) = q**3 - 4*q**2 + 2*q - 4. Let d be w(4). Solve o*b = d*b for b.
0
Let h be -2 + 2 - (-4)/2. Let k be ((-84)/(-15) - -2) + 100/250. Solve 2 = h*v - k for v.
5
Let o(h) = -h**3 + 2*h**2 + 9*h - 15. Let y be o(4). Let p(c) = -c**3 - 2*c**2 + 5*c - 1. Let d be p(-4). Let u = d + y. Solve 4*z - 5*z - 1 = u for z.
-1
Suppose -3*l = -5*l + 30. Suppose -25*a + 20*a = -l. Solve 0 = -a*v - 0*v - 9 for v.
-3
Let q = 82 + -58. Let r = 24 - q. Solve r = 11*y - 8*y - 6 for y.
2
Let c(p) = 7*p**3 - 3*p**2 - 5*p + 8. Let v be c(1). Solve -v*h - 58 = -30 for h.
-4
Let c(z) = 63*z + 1139. Let d be c(-18). Solve 35*l = 36*l - d for l.
5
Let a be -2 + 3/3 + 4. Suppose -2*n - 5 = -a*n. Let x = -23 - -25. Solve -6 = -n*z + x*z for z.
2
Suppose 4*r + c - 2 = 3*r, -2*r + 3*c + 4 = 0. Suppose 3*w = b - 9, -r*b - w - 12 = 3*w. Let y be (-1)/4 + ((-126)/(-8))/7. Solve -f - y*f - 6 = b for f.
-2
Suppose 2*o - 5*l - 14 = 0, 2*l = -o - 2*l - 6. Let w be (20 - 17)/(o - 1). Solve j + w = -2*j for j.
-1
Let u be (-6 + 4)*(-237)/(-2). Let l be 1*1/4 + u/(-12). Solve 7*c - 3*c = -l for c.
-5
Let x = -19 - -19. Let n be (-7)/140*-12*(-10)/(-1). Solve -3*b = -x*b + n for b.
-2
Let p = -32 + 51. Let y = p - 22. Let h be 12/5 + y/(-5). Solve r + 10 = h*r for r.
5
Let u be ((-3)/6 - (-12)/8)*1. Let c = 4 - 2. Solve c*t = -7 + u for t.
-3
Let z(b) = -b**3 + 4*b**2 - 3*b + 2. Let y be z(3). Let v(c) = 89*c - 2312. Let q be v(26). Solve y*n = -0 + q for n.
1
Let m(n) = n - 2. Let h be m(6). Let o be 1/(26/4) - 380/(-65). Solve h*b - o*b = 0 for b.
0
Let u(t) = 2*t - 8. Let p be u(5). Suppose 0 = 7*w - 5*w - p. Solve w = q - 0 for q.
1
Let p(k) = k + 2. Let n be p(-8). Let h = n - -8. Suppose 4*b = h*z - 1 + 11, 0 = 5*b - 5*z - 10. Solve 4 = -b*g - 5 for g.
-3
Suppose -4*z + 15 = -z. Solve z*p - 4 = p for p.
1
Suppose 0 = -18*n + 16*n + 38. Solve -1 - n = -4*y for y.
5
Let h be 40/(-140) + (-4)/(-14). Suppose h = -28*r + 31*r - 18. Solve -k = -r*k for k.
0
Let h(o) be the second derivative of -o**4/12 + 3*o**3/2 + 17*o**2/2 - o. Let f be h(12). Let c = -15 - f. Solve c*p = -27 + 7 for p.
-5
Let l be (1 + -3)/(4/(-14)). Let i be 0/(l/(28/(-8))). Suppose i = -5*t - 2*y + 5, 0*y + y + 11 = 2*t. Solve 3*z + t = 12 for z.
3
Suppose -215 = -5*s + 105. Suppose -p - 2*a - 4 = 4, 5*p + s = -4*a. Let z = 16 + p. Solve z - 3 = -d for d.
3
Let m(h) = -7*h**2 + 54*h + 18. Let d be m(8). Solve d*i + 3 = 3*i for i.
3
Let a(h) = h**2 - 3*h + 5. Let x be a(3). Suppose x*b = -d + 5, -5*b + 2 = -3*d + 17. Solve -j = 4*j + d for j.
-1
Let i = -1069 - -1073. Solve -8*u + i = 12 for u.
-1
Let c(q) = 4*q + 13. Let z be c(0). Suppose 8*f - 11 - z = 0. Solve -x - f = 2*x for x.
-1
Let s be -1 - (-8)/(-2) - -10. Suppose -3*l + g = -l - 11, -5*l + s*g + 35 = 0. Solve 0*w = -l*w + 4 for w.
1
Let w be (4/(-18))/(11/(-198)). Solve 35 = -w*g + 11*g for g.
5
Let w be ((-95)/57)/((-3)/153). Solve 0 = g + 80 - w for g.
5
Suppose 3*s = 4*p - 7 - 2, 4*s - 4 = 0. Suppose p*k + 25 = 5*r, 4*r - 23 = 4*k - k. Solve r*m = -m for m.
0
Suppose 6 = 9*z - 3. Let d be 0/5 + z - -1. Solve -m = d*m for m.
0
Suppose 30*i - 17*i = 39. Solve -i*o + 2*o + 2 = 0 for o.
2
Suppose 84 = 2*l - l. Let k = 264 - l. Let c be k/27*(-6)/(-4). Solve c = -a + 3*a for a.
5
Let y = -103 + 98. Let a be 0/y + (-15)/(-3). Solve 3*r - a = -17 for r.
-4
Let w = 12 + -10. Suppose 47 = o + w*o - 2*k, -56 = -4*o + k. Solve -5*n = -3 + o for n.
-2
Let l(u) = -2*u + 15. Let b be l(6). Let o(p) = p - 1. Let d be o(b). Suppose -10*w = -9*w - d. Solve 7*q - w*q - 5 = 0 for q.
1
Suppose 3*i - 1 - 11 = 5*s, -s - 5*i + 20 = 0. Solve 2*j - j = s for j.
0
Let h = 29 - 30. Let p be 3 - 6 - h - -2. Solve j + j + 8 = p for j.
-4
Let d = 531 + -531. Let q(j) = j**3 - 4*j**2 - 5*j + 5. Let u be q(5). Solve 0 = -d*l - u*l for l.
0
Suppose -9*w + 5*w = -6*w. Suppose 4*x + 3 = 3*y, -y + w*y + 1 = -2*x. Solve 4*o - 16 = -x*o for o.
4
Let o = 5 - 5. Suppose 50*t - 54*t = o. Suppose t = -6*i + i + 10. Solve 9 = i*u - 5*u for u.
-3
Let c(z) = z**3 - 6*z**2 + 4*z + 9. Let b be c(5). Suppose -4*i + 54 = -2*x, 0*x + 15 = -5*x. Solve -b*k + k = i for k.
-4
Suppose 3*s - 39 = -10*s. Solve -n - 2 = -s for n.
1
Let z(s) = -s**3 + 14*s**2 - 15*s - 3. Let y be z(13). Let q = -48 - y. Let r be (5 - q)*3/6. Solve 4*j - j - r = 0 for j.
4
Let o be -3*(-1)/6*2. Suppose -3*a = -3*b + 12, -5*b + 17 = a - 3. Let n be o*(0 - a)/3. Solve -p - p = n for p.
0
Let v(c) = 6*c + 2. Let x be v(-4). Let i be 4 - (x/(-6) + (-10)/(-30)). Solve -3*m + 9 = -i*m for m.
3
Suppose 4*b - 4*q = -0*b + 20, 5*q = b - 5. Solve -2*x + b = -5 for x.
5
Let k(w) = -w + 2. Suppose 5*i + 4*v - 14 = 0, 0 = 2*i - 3*v - 1 - 0. Suppose 7 = -3*b - i. Let y be k(b). Solve u - 6*u = y for u.
-1
Suppose -49*h + 13*h + 144 = 0. Let t(d) = d**3 + 3*d**2 - d - 1. Let p(c) = c - 4. Let m be p(2). Let x be t(m). Solve 9 = x*r + h for r.
1
Let i(t) be the third derivative of -t**5/20 - 11*t**4/24 + 2*t**3/3 + 35*t**2. Let j be i(-4). Solve j = -3*b - 2*b + 20 for b.
4
Suppose 0 = -16*c + 550 + 634. Solve c*y - 72*y = -10 for y.
-5
Let z = 92 - 90. Suppose -z*h + 18 = 10. Solve 3*i + 4 = h*i for i.
4
Let s(t) = -17*t**3 + 2*t + 1. Let x be s(-1). Suppose 0 = 4*n + 2*l - 28, -n + 5*l = 7 + 8. Solve -q + x = -n*q for q.
-4
Suppose -4*f + 76 = 4*b + 20, 0 = -5*b + 2*f + 105. Suppose b = 3*t - 8. Let c = 17 - t. Solve 2*d - c = -0 for d.
4
Let d(q) = -15*q + 35. Let b be d(3). Let p = 30 - 20. Let w = b + p. Solve -3 = -r - w for r.
3
Let u be (-9)/((-42)/16 - -3). Let n be 4/(-6) - 112/u. Solve 1 - n = r for r.
-3
Let x = -40 + 42. Suppose 2*z - x = 4. Solve z*c = 7*c - 8 for c.
2
Suppose 52 - 156 = -4*p. Let y = 30 - p. Solve a - y + 3 = 0 for a.
1
Let b(y) = -3*y + 8. Let z(n) = -n. Let w(x) = b(x) - 2*z(x). Let h be w(4). Solve -u = -2*u + h for u.
4
Suppose 3*j + 5*v = 16, -2*j - 5*v = -v - 12. Solve -8 = 5*r + j for r.
-2
Suppose 0*z - z + 36 = 4*i, i + 2*z = 2. Solve -12*a - 2 = -i*a for a.
-1
Suppose -53 = -4*z + 5*q, 5*z + 0*z - q = 40. Let l(w) = w**2 - 10*w. Let y be l(z). Let v be ((-6)/(-8))/(y/(-56)). Solve k = -v*k for k.
0
Let v(c) = 2*c**3 - c**2 - 2*c. Let x be v(2). Let s = 188 - 188. Suppose s = -2*y - 4 + x. Solve -f = -0*f + y for f.
-2
Let t(r) = r**2 + 3. Let c be t(-3). Suppose -95 = -3*q + 25. Suppose 4*l - q = -l. Solve 0 = 5*g - c - l for g.
4
Let y be ((-22)/6)/(5/(-30)). Let p = -17 + y. Suppose 3*r + 2 = p*r. Solve -l = -6 + r for l.
5
Suppose -171*m + 146*m + 2450 = 0. Solve -8*o + m = 74 for o.
3
Suppose -15*u - 809 + 809 = 0. Let x(k) = -k**3 + 4*k**2 + 2*k - 6. Let v be x(4). Solve 6 = -v*s - u for s.
-3
Let p be (-4)/12 - 37/(-3). Let a = 14 - p. Suppose k = 3*k - a. Solve y + k = 3 for y.
2
Suppose -2*b = 3*o - 7, -9*o - 4 = -13*o. Solve -b*z - 4 = -2 for z.
-1
Suppose 3*k + 196 = 7*k. Let a = -46 + k. Solve -a*b = 2*b for b.
0
Let t be 8/20 - (-116)/10. Suppose 4*c = 8 + t. Solve 3*d - 10 = c for d.
5
Let i be (-6)/3 - (-54)/6. Suppose -2*v = x + 3 - 16, 3*x = 2*v + i. Solve -3*k + v = -5 for k.
3
Let d(j) = -13*j - 7*j**2 - 7*j**2 - j**3 + 29 + 26 - 48. Let p be d(-13). Let u = p + 1. Solve 4*n + u + 4 = 0 for n.
-3
Let z be 125/(-10)*(96/30)/(-8). Solve 1 - z = 4*y for y.
-1
Suppose n + 2*n = 0. Suppose -4*z = -4*b + 12, 4*b + n*z - 2*z - 14 = 0. Let i = -2110 - -2114. Solve i = b*h - 0 for h.
1
Let z = 7