 = -l. Let b be 3/(1 + -1 - -1). Solve -b*g = -d*g for g.
0
Suppose h = 1 - 8. Let t be (2 + -3 - h) + -1. Let f = -27 - -42. Solve 0*x = t*x - f for x.
3
Suppose -8019*g + 50 = -8009*g. Solve -g*x - 178 + 168 = 0 for x.
-2
Let p = -23 - -25. Solve p*n + 40 = -6*n for n.
-5
Let p be 2/4 - 18/(-4). Let u be 10/30 - (-22)/6. Suppose -u*a - 32 = -8*a. Solve -p*d = -d + a for d.
-2
Let u(p) be the third derivative of p**4/24 - p**3/2 - 7*p**2. Let s(h) = -h + 2. Let n(f) = -3*s(f) - 4*u(f). Let r be n(4). Solve 3 = -r*k - 5 for k.
-4
Let x(j) = j**2 - 27*j + 21. Let d be x(27). Let f = d - 19. Solve 3*h + f = 5*h for h.
1
Let u be 37/3 - (-5)/(-15). Let a be -2 + 3/((-9)/(-600)). Let x be a/42 + (-4)/(-14). Solve -w + x*w - u = 0 for w.
3
Let c = 352 - 341. Suppose 3*n = -2*h - 8, 5*n = 5*h - 10*h - 20. Solve -5*l + 4 + c = n for l.
3
Suppose -8 = 2*r, -24 = -5*z + 5*r + 6. Suppose 0*u + 63 = 3*t + u, -z*t = -3*u - 31. Solve -x = -5*x - t for x.
-5
Suppose 16*j = -30*j + 2024. Solve 0 = -2*v + 13*v - j for v.
4
Let g(k) = 11*k - 74. Let t be g(7). Suppose 15 = -5*a + 4*q, t*a + 4*q - 29 = -6. Solve a = 2*l - 1 for l.
1
Let p be 6/8 - 2/(-8). Let m be (35/(-15))/(p/(-6)). Solve m = -4*u + 6 for u.
-2
Let u = 10 - 4. Suppose 0 = -4*a, 3*a = y + a - u. Suppose y*r + 32 = 10*r. Solve -5*x = -x - r for x.
2
Let t = 241 - 235. Solve -4*p = -2*p - t for p.
3
Suppose 0 = 190*g + 332*g - 6786. Suppose -14 = 3*y - 2*v, -4*v + 3 = -v. Let q be ((-6)/y)/(2/4). Solve -2*p + q = g for p.
-5
Let h = 16 - 11. Suppose k - 2 = -a - 3, -15 = -k + 3*a. Let m = h - k. Solve 0 = -m*t + 4 for t.
2
Let b(k) = k**2 + k. Let z be b(1). Solve -z*d - 12 = 4*d for d.
-2
Suppose 0 = -4*k - 12, -3*v - v = 5*k - 5. Suppose -5 = n + 5*p, 4*n = v*p - 7*p + 16. Solve 4*r + n = -3 for r.
-2
Let m(c) = c**2 + c - 12. Let j be m(5). Solve j = -0*g - 6*g for g.
-3
Let s(k) = -k**3 + 25*k**2 + 28*k - 48. Let f be s(26). Suppose 3*t + 3 = -2*a + a, 4*t = 3*a + 9. Solve 8 = -t*v + f*v for v.
2
Let n(t) = -3*t**3 - 3*t**2 + 2*t - 1. Let u(z) = -2*z**3 - 4*z**2 + 3*z - 2. Let c(h) = 3*n(h) - 4*u(h). Let q be c(6). Solve -q*d + 2*d - 3 = 0 for d.
-1
Let d(n) = -n**2 - 9*n - 6. Let h be d(-6). Suppose a = 3*a - h. Let u be (3 + -8 + 5)/(-3). Solve -3*q - a = -u*q for q.
-2
Let j(k) = -3*k**3 + k + 1. Let b be j(-1). Suppose -6*h - b = -7*h. Solve h = -5*v + 8 for v.
1
Let j = 43 + -33. Let m be 18*(j/(-4) + 3). Solve 6*d - 3*d - m = 0 for d.
3
Let p(d) = 0*d**3 - 4 + 0*d - d + d**3 + 4*d**2 + 0. Let a be p(-4). Let r = -2 + 3. Solve a*m + m = r for m.
1
Let x(p) = p + 5. Suppose 2*n - 12 = -i, 4*n - 12 = n. Let a be x(i). Solve -a = -3*b + 6 for b.
5
Suppose -11*u + 8*u = -27. Solve -u*z = 3*z + 36 for z.
-3
Suppose 875 = 22*s + 3*s. Solve -s = 2*p + 5*p for p.
-5
Suppose -30*u - 94 = -35*u - 4*v, 3*u + 4*v - 58 = 0. Solve 26*f - 34 = u for f.
2
Suppose -5*d - 5 = 4*y, 5*y - 1 + 32 = 2*d. Let g be ((-20)/(-6))/((-2)/12). Let o = g - -24. Solve 5*a = d*a - o for a.
-2
Suppose 0 = 55*h - 39 - 236. Solve -6*o = -h*o + 5 for o.
-5
Let y = -196 + 131. Let o = y + 67. Solve -o*k = -k - 1 for k.
1
Suppose 0*g + 3*g = t + 16, t = -g. Suppose -8 = -5*w + g*p + 16, 2*w - 4 = -4*p. Solve 0 = w*r - 18 + 2 for r.
4
Let y be 9 + 2 - 13 - -4. Solve -y*s + 46 - 36 = 0 for s.
5
Suppose 5 = -4*c + 5*d + 41, -2*c + 4*d + 24 = 0. Solve 2*p = c*p + 8 for p.
-4
Let f(n) = -n**2 + 3*n + 6. Let j be f(-3). Let h(y) = y**2 + 11*y - 9. Let v be h(j). Solve p - 6 = -v for p.
3
Let m(o) = -3*o**3 + 7*o**2 - 5*o. Let s(l) = -l**3 + l. Let v(w) = -m(w) + 2*s(w). Let d = 66 + -60. Let z be v(d). Solve -z*q = -q for q.
0
Suppose 0 = 2*g + g - 5*t - 104, 0 = -g - 2*t + 42. Let f = 40 - g. Solve -3*o + f*o + 5 = 0 for o.
5
Let x be (7 - -6)/(16 + -15). Solve 0 = 4*v - 1 + x for v.
-3
Suppose -5*s = -4*y - 199, s - 2 + 7 = 0. Let u = y - -60. Solve -u*r = -3*r - 3 for r.
3
Let o(w) = w**3 - 7*w**2 - 8*w + 3. Let j be o(8). Let f = 8 + -6. Let i be f/(-8) + 100/16. Solve i*a = j*a for a.
0
Let c(j) = -j**3 - 7*j**2 + 7*j - 5. Let p be c(-8). Let g be (p/(-6))/((-4)/32). Let f(a) = a**2 - 5*a + 6. Let d be f(g). Solve -3*r - 1 = d for r.
-1
Suppose 30*c - 28*c = 0. Let t be 1*c*5/25. Solve 2 = -t*l - 2*l for l.
-1
Let i = 22 + -76. Let f be 18/i + 7/3. Solve 0 = f*d + d for d.
0
Suppose 8*i - 89 = 5*i + f, -4*i + 3*f = -122. Solve 3*q + 23 = i for q.
2
Suppose -38*t = -575 - 489. Solve 31*n = t*n + 15 for n.
5
Let q(y) = -y**3 + 12*y**2 + 7. Let l be q(12). Suppose 0 = -2*g + 3*s - l + 1, 4*g - 32 = -5*s. Solve -1 + 4 = -g*m for m.
-1
Suppose 0 = d - 2*d - 3, 0 = -4*m + d + 135. Let l be 105/m - (-8)/(-44). Solve l*q - 10 = q for q.
5
Let h = 1 - 0. Let t be (h - (-3)/(-2))*-4. Solve t*b + 4 = -2*b for b.
-1
Let i(r) = -r. Let s(b) = -10*b + 1. Suppose -2*w - 3*n + 11 = 0, -5*w - 2*n - 30 = -6*n. Let l(f) = w*s(f) + 22*i(f). Let m be l(-3). Solve m*h - 6 = 10 for h.
4
Let x = 1 + 2. Suppose -2*q + 11 = -q - x*o, 4*q - 23 = 5*o. Solve 1 + q = -u for u.
-3
Let s(r) = r**2 - r - 3. Let n be s(3). Suppose n*c + 3*x - 4 + 10 = 0, 34 = 3*c - 5*x. Solve 4*y = c*y + 4 for y.
4
Let s be (-1)/((-8)/(-3)) - 1004/(-32). Solve 0 = -8*h + s + 1 for h.
4
Let g(y) = 8*y**2 - 14*y - 2. Let s be g(2). Solve -s*v + 4 = -6*v for v.
-1
Let a be (((-9)/6)/(-1))/(1/2). Let c(w) = -3*w**2 - 29*w - 10. Let i be c(-9). Solve i*p - a*p = 15 for p.
3
Let g be (1*13)/((-7 - -3)/4). Let y = -9 - g. Solve 0 = -y*j - j for j.
0
Suppose -8*p + 41 = -39. Suppose 11*i = 6*i + p. Solve i*u - 2 = u for u.
2
Let y be (-21)/6 - (-55)/10. Suppose 0 = 4*h + 3*s - 29, -3*h + 5*s - 5 = -h. Suppose -3*k - 21 = -t, -h*t + 0*t - y*k = -54. Solve 3*i + 0*i = t for i.
4
Let n = 3 + 0. Let c be (n + 0)/((-9)/12). Let o be 0 - -2 - (-3 - c). Solve o = 3*p + 4 for p.
-1
Suppose -3*c + 12 = 0, o + c - 3 = 5. Suppose -4*n = -5*v + 7, -3*n + 0*n - 4*v = -18. Solve o = -n*g + 3*g for g.
4
Let g(v) = 2*v**3 + 10*v**2 - v - 1. Let i be g(-5). Solve 0 = -i*x + 2 - 22 for x.
-5
Let u = -271 - -280. Solve -11*y - 4 = -u*y for y.
-2
Suppose 3*d + 14 = 2*q, -2*d - 10 = -4*q + 2. Let j be 30/7 - d/(-14). Let a be 3/1 + -3 + 1 - 1. Solve -j = r - a for r.
-4
Let a be 0/(2 - (9 + -5 - 1)). Solve -h = -a*h + 3 for h.
-3
Suppose -4*j + j + 6*j = 0. Suppose 0 = -j*y + 5*y. Solve -v + 2 = -y*v for v.
2
Suppose 0 = 4*g - 2*g - 10. Suppose 16 = 4*z + 2*h - 4*h, -4*z - 5*h + 30 = 0. Let n = 28 + -8. Solve g*o - z = n for o.
5
Let s = 1077 - 1074. Solve 0 = -7*v + 6*v + s*v for v.
0
Let u = -1017 - -1040. Solve u*r - 14*r = -45 for r.
-5
Let g = 25 + -19. Suppose 7*r + g = 10*r. Suppose 2*w - r = 10. Solve -p + w = 5 for p.
1
Let h(k) = -k**3 - k**2 - 25. Let o be h(-4). Solve 0 = -x - 22 + o for x.
1
Let v(q) = 2*q**2 - 8*q + 2. Let y(m) = m**2 - 4*m + 1. Let d(z) = -6*v(z) + 13*y(z). Let i be d(6). Solve 0 = -5*n + i + 12 for n.
5
Suppose 6*y - 127 + 313 = 0. Let i = -26 - y. Solve i*f + 8 = f for f.
-2
Let x(r) = r**2. Let p be x(1). Suppose 2*z - 9 = p. Solve 0 = -z*g + g - 20 for g.
-5
Let r(b) = 20*b**2 - 94*b - 93. Let h be r(-1). Solve -8*w + 52 = -h*w for w.
-4
Let d(z) = -z**3 - 25. Let b be d(0). Let c = b - -27. Solve q - c = -q for q.
1
Let v(r) = r + 22. Let n be v(-17). Suppose -2*h = 5*l + 15, 11 - 1 = -h - n*l. Let b(z) = z**3 + 4*z**2 - 7*z - 7. Let o be b(h). Solve -m - o = 2 for m.
-5
Suppose -45*t + 94 = 14 - 280. Let h be (10/(-4))/((-2)/4). Solve 3 = h*a + t for a.
-1
Let r(w) = w - 8. Let o be r(10). Solve o*x + 8 = -2*x for x.
-2
Suppose -i + 23*t + 8 = 27*t, -4*t = 3*i - 8. Let f be 0/(-2) + (0 - 0). Solve d + f*d = i for d.
0
Suppose z - 7 = -h, -31*z + 8 = -4*h - 26*z. Solve h*v = -0*v + 9*v for v.
0
Suppose -2*l + 5*n = -110 + 1, 4*n - 223 = -5*l. Solve l*d + 5 = 48*d for d.
5
Let z = -5304 + 5322. Suppose l - 10 = 3*l. Let o = -2 - l. Solve o*i - z = -3 for i.
5
Suppose 0*c + 5*u = 2*c - 1, 5*c = -u - 11. Suppose 0 = -3*s - s. Let a = s - c. Solve a*h = 5*h - 12 for h.
4
Let m(v) = -9*v - 25. Let z be m(-3). Solve -22 = 5*j - z for j.
-4
Let p(j) = -j**3 + 7*j**2 - 5*j. Let g be p(6). Let w be (2/(-4))/(5/(-50)). Suppose 2*d + 1 = 3*a - 21, w*a + 5*d + 5 = 0. Solve -5*v = -a - g for v.
2
Let y be (25/15)/(3/9). Suppose -2*c = -c - y. Let w = -3 - -6. Solve c = -w*m 