7. Let q be x(-15). Let w = q - 0. Solve 0 = -w*b + 8 - 0 for b.
4
Let w(k) = k + 9. Let y be w(-7). Solve -3 = y*x - x for x.
-3
Let m = -26 + 29. Suppose -m = u, 3*r + 3*u = 2*u + 9. Solve r*v - 3*v + 5 = 0 for v.
-5
Let q be 12/5 - (-6)/(-15). Suppose -15*b = -q*b. Solve b = 5*r - 8*r + 3 for r.
1
Suppose -3*h = -9 - 135. Suppose 4*l - h + 32 = 0. Solve l*d - 16 = -0*d for d.
4
Suppose -59*a - 7*a = -264. Let t be (-2 - 0) + 3 - 1. Solve -4*d - a = -t*d for d.
-1
Suppose y - 2*y + 3*f = 6, 0 = 2*f - 8. Let j(b) = -b**2 + 4*b + 15. Let i be j(y). Solve -6*r = -i*r + 15 for r.
-5
Let f(o) = 2 + 2 + o**2 + o**3 + 1 + 2. Let d(i) = -i**3 + i - 6. Let j(t) = -7*d(t) - 6*f(t). Let v be j(7). Solve -x + 0 + 2 = v for x.
2
Let m(c) = -c + 6. Let h be m(5). Suppose r = 3 - h. Let f = r + 0. Solve 0 = -0*s - f*s + 6 for s.
3
Let q = 142 + -138. Solve 0 = q*y - 0*y for y.
0
Let d be (112/224)/((-1)/(-4)). Solve -4*g = -g + d*g for g.
0
Let u = -2090 + 2150. Solve -62 = 2*k - u for k.
-1
Suppose -22 = -10*b + 48. Solve -b*t - 12 = 23 for t.
-5
Suppose 5*p + 5*s = 5, -1 - 1 = 4*p - 2*s. Let w = 81 + -92. Let o be 2*-1 + (11 - w). Solve -o = -5*k - p for k.
4
Suppose 0*k + 2*k = 0. Let m(x) = -x**2 + 11*x - 10. Suppose 4*i + 4*l = 18 + 18, -3*l = 3. Let d be m(i). Solve g + d*g = k for g.
0
Let n be (-1)/(-2) + 2/(-4). Let m be 495/220 + (-1)/4 + 0. Suppose f - 2*d - 21 = -m*f, 5*f + d - 22 = n. Solve f*h - 13 = -3 for h.
2
Let s = -878 - -880. Solve s = -95*t + 96*t for t.
2
Suppose 101*o = 98*o. Solve o*s - 5*s = -15 for s.
3
Let x(m) = 3*m**2 + 48*m + 11. Let a be x(-16). Solve a*d - 13*d = 4 for d.
-2
Let l(u) = 6*u + 10. Let b be l(-1). Solve b*t = 6 + 14 for t.
5
Suppose 112 = -3*j + 7*j. Suppose 19 = -3*s + j. Solve -s = 4*b - 7 for b.
1
Suppose 3*y = 4*b + 4, -5*b = 4*y - 0*b + 5. Suppose 4*n + 0*n = y. Solve n = 2*o + 3*o for o.
0
Let w(p) = -2*p + 36. Let x be w(12). Let u be ((-2)/3)/(4/x) - -2. Solve -20 = 4*f - u*f for f.
-5
Suppose 0 = j - 2*j. Suppose j = 8*t - 60 + 4. Solve -4*d + 9 = -t*d for d.
-3
Let q be (-68)/(-20) + 4/(-10). Suppose 9 = q*s - 15. Solve -4*r + s = -0 for r.
2
Let d(t) = 2*t**2 + 5*t - 4. Let f be d(-5). Let p = f + -12. Let n(x) = x - 6. Let h be n(p). Solve -h*r = -4*r - 3 for r.
-3
Let l(o) = -o**2 - 2*o + 1. Let k be l(-2). Let j be k*((-3 - -11) + -2). Solve -j - 2 = -4*q for q.
2
Let z be 12*(-6)/48*(-28)/6. Solve -8 = -3*u + z for u.
5
Let b(s) = s. Let v(h) = 5*h - 30. Let p(z) = 3*b(z) + v(z). Let y be p(4). Solve y*n + 0*n - 10 = 0 for n.
5
Let h be (-27209)/(-221) + (60/68 - 1). Solve 123 = 4*a + h for a.
0
Let j(i) = i + 25. Let h be j(-21). Solve 4*b + 40 = -h*b for b.
-5
Let p = 2 + 6. Suppose 5*n - 21 = -3*s + p, -3*n - 105 = -5*s. Suppose 3*z - 8 = -r, 4*z - s + 4 = 2*r. Solve z*f = -f for f.
0
Suppose 0 = -18*v + 6 + 48. Let u(y) = -y**2 + 2. Let t(f) = f**3 + 6*f**2 - 11. Let o(g) = 2*t(g) + 11*u(g). Let h be o(1). Solve h = -v*x + 2*x for x.
-3
Let z = 91 + -85. Solve -z*u = 3 - 9 for u.
1
Let l = -3 - -2. Let x be 3 - l*(-5)/1. Let q be (0 + x)*2/(-4). Solve 9 - q = 2*p for p.
4
Let d be (-1 - -1 - -2) + -47 + -1. Let g = 47 + d. Solve b = -g + 5 for b.
4
Suppose 4*q + 41 = 5*i - 3, -2*q + 32 = 2*i. Solve 12*m - i = 9*m for m.
4
Let g = 6 - 2. Suppose 19 = -y + 5*o + g, 0 = 3*y + 2*o - 6. Let w = -14 - -29. Solve 5*a + 5 + w = y for a.
-4
Let l be (-3 - 0)/((-21)/7). Let a(d) = -d**3 + 2*d**2 + 11*d - 8. Let k be a(4). Solve -l = -k*b + 3 for b.
1
Let k be ((-2)/1)/((-3)/72). Let w be (k/30)/(2/10). Suppose -w = -4*b - 4*a, a - 3 = 5*b - 1. Solve b = -2*h - 3*h + 15 for h.
3
Let v(n) = 20*n - 59. Let a be v(3). Solve -a = -2*u + u for u.
1
Suppose t - 8 = a, a = -3*t - 3*a - 11. Suppose 3*d + 7 + 11 = t*b, 5*d = -5*b - 10. Solve 0 = 2*o + b*o - 16 for o.
4
Suppose 18 = 10*u - 13*u. Let d(b) be the first derivative of b**3/3 + 5*b**2/2 - 4*b + 1. Let a be d(u). Solve -a*f = f - 9 for f.
3
Suppose -33 = -3*a - 4*h + 41, 0 = 5*a + 4*h - 110. Let i = 105 - 101. Solve 0 = -i*o + a - 6 for o.
3
Let a = -284 - -291. Solve k - a = -11 for k.
-4
Let q be 6/9 - 91/(-21). Suppose -q*j - w - 5 = 0, w = -j - 1 - 4. Solve j = 4*y + 3 + 5 for y.
-2
Let u(h) = -13*h + 189. Let d be u(14). Solve 0*n + d*n - 2*n = 0 for n.
0
Let o be ((-6)/(-18))/(1/(-3)). Suppose -20 = -8*p + 4*p + 2*v, -3*v - 20 = -4*p. Let u = p + o. Solve -2*r = -3*r + u for r.
4
Let y be (54/(-3))/3*3. Let v(o) = -2*o**3 + 5*o**2 - 4*o - 1. Let g be v(3). Let z = y - g. Solve -z = 2*i - 4*i for i.
2
Let d be (-24)/(-4) + 1*5/(-1). Solve d = -2*v + 7 for v.
3
Let f = 273 + -264. Suppose 0 = 2*j + j - 6. Solve -f = j*c - 1 for c.
-4
Let d = 41 - 44. Let u be (0 - d)*((-28)/(-7) + -3). Solve u*p - 2 + 8 = 0 for p.
-2
Suppose -v = 5*b - 5, 0 = -b - 4*v - 4 - 14. Solve 10 = -b*z + 4*z for z.
5
Let a be 32/(-2)*(14 - 15)*(-2)/(-8). Let c = -2 + 4. Solve 5*s = a*s - c for s.
-2
Let l(i) = -8 - 7*i + 2 + 9*i. Let n be l(4). Suppose -3*j + 13 = n*q, 0*q - 3*q = -2*j - 13. Solve -c = 3 + j for c.
-4
Let j = -105 - -113. Solve j = -8*q - 24 for q.
-4
Let c(j) = j**3 - 8*j**2 + 25*j - 45. Let o be c(5). Suppose 45 = 3*v + 2*v. Solve o*i = 2*i - v for i.
-3
Suppose 18 = d + 3*z, 5*z - 84 = -4*d + 23. Solve -d*m + 4 = -31*m for m.
2
Suppose -2*j + 0*r = 5*r - 62, 3*r - 33 = -j. Let f be 50/2 + 3 - -1. Let d = f - j. Solve a + d = -a for a.
-4
Suppose 4*r = -12, 3*r = -g + 7*r + 28. Solve -4*c + 0 = -g for c.
4
Let u = 89 + -83. Solve 0*o + 18 = -u*o for o.
-3
Suppose 5*a = -n + 9 + 1, n = 5*a + 10. Solve n*v + 30 = 4*v for v.
-5
Let p = 24 - 33. Let l be 2*(-6)/(-9)*p/(-6). Solve -l*f - 5 - 3 = 0 for f.
-4
Suppose 0*u = 2*v - 2*u + 2, -u = 3*v - 17. Let b = v - 0. Let x be (56/(-21))/(b/(-6)). Solve -x*z = z for z.
0
Suppose -33*z + 180 = -24*z. Solve -84*r - z = -80*r for r.
-5
Suppose 3*p = -4*n + 17, -3*n - 20 = -5*p + 18. Let q be (-6)/4 - (p + 126/(-12)). Solve -q*o = -0 - 2 for o.
1
Let y = -192 + 195. Solve 5 - 17 = y*k for k.
-4
Let t = -53 + 56. Let z = 21 - 17. Solve h + t*h = -z for h.
-1
Let l(z) = -z**3 - 4*z**2 + 5*z + 3. Let m be l(-5). Suppose 57 = m*b - 3. Solve -3*v - b = 2*v for v.
-4
Suppose -9*y - 4 = -121. Solve 0 = -3*j - y + 7 for j.
-2
Let h = 35 + -27. Solve 12 = 2*r + h for r.
2
Let h be (2 - (2 + 0))*1. Let r(y) = -11 - y + 11. Let m be r(h). Solve 0 = b - m*b - 5 for b.
5
Suppose -13*q = -16*q + 24. Suppose 2*k + q = 4*k. Solve 1 = -u - k for u.
-5
Let i(c) = -23*c - 161. Let d be i(-7). Solve d = -2*b + 6*b for b.
0
Let u = 68 + -66. Suppose 3*g - 4*v + 20 = 0, 5*g = -u*v + 4*v - 10. Solve 0 = -2*p - g*p - 6 for p.
-3
Let t = -12 - -16. Suppose -6*r + 3*r + b + 4 = 0, 0 = t*r + 5*b - 37. Solve r*d = d + 2 for d.
1
Suppose 2*u + j = 4*j + 27, 5*u = -5*j + 105. Solve u = -3*z - 3*z for z.
-3
Let g = 150 - 144. Solve g = -3*b - 0*b for b.
-2
Suppose -15 = -3*p - 2*p. Suppose -3 = 2*m + p, -4*v = -5*m - 31. Suppose 4*u - 3*s = 16 + 11, -5*u = v*s + 5. Solve 4*w = u*w for w.
0
Let h(a) = -2*a**2 - 9*a - 8. Let d be h(-4). Let j(f) = f + 2. Let v(c) = 4*c + 6. Let z(k) = 7*j(k) - 2*v(k). Let p be z(d). Solve i = p*i - 15 for i.
3
Suppose -4*j = -v - 2*j - 5, -j + 1 = -2*v. Suppose -22 - 3 = 5*c. Let x be (4/(-5))/(2/c). Solve 3 - v = x*y for y.
1
Let u(j) = j**2 + 7*j - 14. Let p be ((-12)/16)/(2/24). Let h be u(p). Solve 0*w = 2*w - h for w.
2
Let u be (-12)/(-9) + 472/24. Solve -78 = -u*c + 6 for c.
4
Let j = -11 + 13. Suppose -32 = -4*f + j*f. Let z be (f/3)/(2/3). Solve y - z = -3 for y.
5
Suppose 2*z - 4*t = -6, 2*z + 28*t = 27*t + 9. Solve -z*m + 2 + 4 = 0 for m.
2
Suppose 0 = -3*c + 3*i - 42, -3*c - 2*c - 4*i - 25 = 0. Let d(h) = -h**3 - 10*h**2 - 7*h - 7. Let v be d(c). Let j = -19 - v. Solve 2*w + j = -0 for w.
-3
Let t be (-160)/680*17/(-2). Solve -t*d - 8*d + 10 = 0 for d.
1
Let o(v) = 21*v - 115. Let w be o(6). Solve -16*u = -w*u for u.
0
Let r = 4 + 0. Let h = 77 - 75. Suppose h*m + 2*d + r = 16, 0 = 4*m + 2*d - 20. Solve 0 = -y + 1 - m for y.
-3
Let w = -344 + 348. Solve -s = w*s + 15 for s.
-3
Suppose 16*g - 13*g = 24. Suppose 4*b + 2*i = g, 0 = 3*b + 2*i + 3*i + 1. Solve -4 - 2 = b*p for p.
-2
Suppose 4*n + 361 = 9. Let h = n - -90. Solve 0 = -y + h + 2 for y.
4
Let y(u) = -u**2 - 22*u + 50. Let w be y(-24). Solve