w = -3*z, -2*f - 8 = -5*z. Let q(r) = r**2 + 2*r + 1. Let v be q(-1). Solve -z*o - o + 6 = v for o.
2
Let z(n) = n**2 + 8*n + 2. Let x be z(-8). Suppose -w + 2 = -3*m, 5*w - 10 = -6*m + 4*m. Solve w*t - 12 = -x for t.
5
Suppose -64*r + 800 = -24*r. Let l = 6 + -1. Solve 0*s = -l*s + r for s.
4
Let s(t) = -t - 1. Let n be s(-7). Suppose -5*i - 5 = -n*i. Suppose -2*h + d - 2*d - 3 = 0, -i*h = 4*d + 12. Solve 2 = 2*o - h for o.
1
Let n(g) = g**2 + 4*g + 1. Suppose 0 = -2*j - 0*j + 5*x + 16, -3*x - 22 = 5*j. Let b be n(j). Let v be b/(2 - -1) - -31. Solve -5*m + 5 - v = 0 for m.
-5
Suppose 33*u = 38*u. Solve 25 = -5*p - u*p for p.
-5
Suppose -2*z = 8, 3*c - z - 15 = 2*z. Let p = 888 - 883. Solve p*k + c = -19 for k.
-4
Suppose 4*m - 9 = -81. Let x = 32 + m. Solve -4*f - x = -2 for f.
-3
Suppose -4*v + 4 = 0, f - 3 - 3 = -2*v. Let c = 1254 - 1248. Solve -f*m = -m - c for m.
2
Suppose 543 = -79*g + 2044. Solve -g*t + 21 = -12*t for t.
3
Let l be (-82 + (-2)/(-1))*132/(-176). Solve 20*a - 40*a = -l for a.
3
Suppose -9*l = -2*l - 28. Suppose -l*d + 3 = -9. Solve -16 = -7*o + d*o for o.
4
Suppose 22 = 5*n + 6*n. Suppose -11 = -3*c - b, -3*c + 5*b + 3 = n*b. Solve -7*o = -c*o + 16 for o.
-4
Let a(x) be the third derivative of x**6/120 - x**5/12 - x**4/24 + 7*x**3/6 + 6*x**2. Let l be a(5). Solve 3*b - l*b + 2 = 0 for b.
-2
Let i = -32 + 37. Let q = -23 + 26. Solve -i = 2*s + q for s.
-4
Let w(r) = -r**3 - 12*r**2 + 9*r - 48. Let i be w(-13). Solve -16*k + 48 = -i*k for k.
4
Let s = 27 + -25. Suppose s*z - 20 = -8*z. Suppose 4*b - b = -4*a + 9, 5*a = z*b - 6. Solve 0 = -3*c - b - 0 for c.
-1
Suppose -i - i = 4*i. Suppose 3*y - 3*f - 6 - 6 = i, 2*y - f = 12. Solve 0 = -3*t + y + 4 for t.
4
Suppose 5*r + r + 54 = 0. Let m = r - -12. Solve m*u - 6 = -0 for u.
2
Let s(h) = 2*h**2 - 2. Let o be 1*4/(2/2). Suppose 0 = o*a + 4*r - 9*r - 33, -3*a = r - 1. Let b be s(a). Solve -b*l + 15 = -l for l.
3
Suppose 4*m + 0*m = 20. Suppose 2*v + 88 = 46. Let d be (-308)/v + 24/(-9) + 2. Solve -d = -m*z + 11 for z.
5
Let b = 135 + -134. Solve 1 + b = -r for r.
-2
Let s be -6*(-1)/2*2. Let l = -16 + 26. Let f be l/30*(-2)/(4/(-18)). Solve 0 + s = -f*k for k.
-2
Let t(y) = 63*y - 43. Let f be t(1). Solve -12*a = -7*a - f for a.
4
Suppose -5*b + 10 = 0, 0 = 2*z + b + b - 14. Solve 3*w = 8*w - z for w.
1
Let m = 4026 + -4025. Let w = -5 + 10. Solve -m - w = 3*t for t.
-2
Suppose 0 = 5*u - u - 96. Solve -8*z = -0*z + u for z.
-3
Suppose d = -10*d + 242. Suppose -6*c + 2*b + d = -2*c, -3*b + 9 = 0. Solve c*g = 2*g - 15 for g.
-3
Suppose -22*x + 77 = -11*x. Let r be 1*12/8*-2 + x. Solve -9 = -d + r*d for d.
-3
Suppose -2*j + 4*r - 13 = -r, 2*j + 5*r - 37 = 0. Solve -j*w = -5*w - 5 for w.
5
Suppose -7*m - 28 = -133. Solve -5*r - m = -0 for r.
-3
Let r = 76 - -41. Let a = r - 109. Solve -2*d - a = 2*d for d.
-2
Suppose 0 = 7*a - 8*a + 4*m + 11, 0 = -2*a + 2*m + 16. Solve 0 = a*h + 1 - 8 for h.
1
Let d be 15/5 + (-4)/2. Suppose p + d - 4 = 0. Suppose 4*v = -4*k, 5 - 2 = -p*v - 4*k. Solve 4*m = 3*m - v for m.
-3
Let p(j) = j**3 - 15*j**2 + j - 14. Let n be p(15). Solve n + 5 = -6*x for x.
-1
Let y = -109 + 25. Let q = 92 + y. Solve -5*i = -q*i for i.
0
Suppose -2238*x = -2233*x - 70. Solve -x*s - 8 = -18*s for s.
2
Suppose 0 = -3*r - 17 + 2. Let w(z) = -3*z - 7. Let x be w(r). Solve 4*j = -0*j + x for j.
2
Let n(b) = -b**3 - 17*b**2 - 15*b + 18. Let m be n(-16). Let z be (-7)/(-3) + m/3. Solve -z*i + 3 = -9 for i.
4
Suppose 0 = 52*j - 47*j - 15. Let u(r) = r**2 - 2*r + 2. Let p be u(j). Solve 2*c = p*c + 9 for c.
-3
Let h(m) = m**3 + 19*m**2 - 20*m. Let w be h(-20). Suppose w = 16*l - 6*l - 80. Solve 0 = l*c - 4*c - 12 for c.
3
Let o = 230 - 230. Solve 8*f - 3 - 5 = o for f.
1
Let a be (3 + 0)*13 + (1 - 1). Suppose 0 = 34*v - a*v + 10. Solve 7 = -m + v for m.
-5
Let x = -115 + 101. Let l = -9 - x. Solve -13 - 2 = l*n for n.
-3
Suppose 0 = -2*b + 15*d - 21*d + 292, b = -5*d + 152. Solve -30*h - 17 = -b for h.
4
Suppose 4*a = 4*c + 16, -4*c = 10 + 6. Suppose -2*i + 4 = -a*i. Solve i = -3*u - 1 for u.
-1
Let m be (-3 - -1)/(66 + -67). Solve 3 - 11 = m*r for r.
-4
Let w(k) = -9*k - 1. Let n = 1 - 0. Let i be w(n). Let o be (8/i)/((-24)/60). Solve -l - o*l = 9 for l.
-3
Let u = 617 + -601. Solve -44 - 20 = -u*v for v.
4
Let b = -7 + 14. Suppose -5*i = -b - 3. Solve 4 = -i*u - 2 for u.
-3
Let k be 2*3/5 - 47/235. Solve k = 4*c - 3 for c.
1
Let z = -56 + 60. Suppose -5*r = -5*q + 20, 4*q - 3*q = 5*r. Let w = -6 - -11. Solve -z - r = -w*s for s.
1
Let z(b) = 3*b**2 - 24*b + 41. Let y(v) = v**2 - 12*v + 20. Let c(l) = 5*y(l) - 2*z(l). Let n be c(-13). Solve n*o + 9 + 1 = 0 for o.
-2
Let d(z) = -z**2 - 8*z + 48. Let t be d(-12). Solve -3 + t = -3*p for p.
1
Let f be (8/12)/(4/18). Suppose 5*l - 25 = 0, -f = -2*p + 3*p - l. Solve a + p*a = 0 for a.
0
Suppose -2*w = 191 - 201. Suppose -5*g - w = -25. Solve 2*f - 2 = -g for f.
-1
Let d be 1/(4 + 710/(-180)). Solve -d*f = -11*f for f.
0
Let n = -5 - -10. Let x be 66/(14/(-8) + 2/2). Let v = x + 90. Solve -n*z = -v - 23 for z.
5
Suppose 0 = 4*s - c - 21, -c + 4 = s - 0*c. Let r be 1*2*(-34)/(-4). Suppose 5*t = 4*u - 3*u - r, -u + 11 = -3*t. Solve -u = s*n - 22 for n.
4
Let d(n) = n**3 + 5*n**2 - 7*n - 3. Let x be d(-6). Let k be (-7*1)/(-5 - 31/(-6)). Let i be (k/(-8))/(6/8). Solve 0 = 4*v + i - x for v.
-1
Suppose 0 = -4*q + 16, 4*q = t + 8*q - 19. Solve 0 = -10*n + t*n - 35 for n.
-5
Let o be (9/(-45))/((-6)/330). Solve -14*x + 3 = -o for x.
1
Let c(g) be the second derivative of -g**4/12 - 3*g**3/2 - 3*g**2/2 - 6*g. Let a be c(-7). Let v = 15 - a. Solve v*f - 5 = -1 for f.
1
Suppose -d - d + q - 40 = 0, 0 = d - 4*q + 6. Let j = 14 - d. Let r = j - 14. Solve -5*c = -r + 7 for c.
3
Suppose 86*h - 87*h + 5 = 0. Solve 3 = h*l - 2*l for l.
1
Let d = -248 + 257. Solve -d = -32*n + 35*n for n.
-3
Let k(i) = -4*i**2 - 59*i + 17. Let j be k(-15). Solve -j*s - 2*s = -s for s.
0
Let g(j) = -j**3 + 6*j**2 - 6*j + 5. Let i be 3/12*4*0. Suppose -d + 5 + 0 = i. Let h be g(d). Solve h*s + 3*s = 9 for s.
3
Suppose -3*d + 7 = y - 9, 14 = 3*d + 2*y. Let l(x) = -4 - 11*x**3 - 1 + d. Let c be l(-1). Solve 3*w = -0 + c for w.
4
Let t = 888 + -861. Solve t*k = 21*k - 24 for k.
-4
Suppose 4*m + g - 12 = 0, -3*m - 2*g + 14 = -0*m. Solve -5 + 7 = m*i for i.
1
Suppose -89*w + 4443 - 438 = 0. Solve w*y = 39*y for y.
0
Let i be (-1 - 0) + 2 + 4. Suppose y + j = 31, y + 0*j + i*j = 15. Suppose 4*m = -5*t + y, 0 = 5*m - 2*t - 8 - 11. Solve 14 = m*f - 6 for f.
4
Let p(w) = -w**3 + 7*w**2 + 7*w + 5. Let g be p(8). Let y = g - -8. Suppose 3*j + 5 = -5*r - 9, 0 = 4*r + 16. Solve j*k - y = 5 for k.
5
Let i(a) = 5*a + 25. Suppose -y = 207 - 202. Let z be i(y). Solve 0 = -z*q - q - 2 for q.
-2
Let g(b) be the first derivative of -7*b**2/2 - 7*b + 9. Let l be g(-1). Solve l = -2*i + 2 - 12 for i.
-5
Let i be 2 + -21*12/(-18). Solve -i*z = -11*z + 5 for z.
-1
Let d = -9 + 7. Let l(j) = 5*j**2 + j - 1. Let t be l(d). Let z = -11 + t. Solve z*k - 12 = 3*k for k.
4
Let x(t) = t**3 - 17*t**2 + 15*t + 20. Let k be x(16). Suppose -5*d + 0*d = -20. Solve -k*h + 0 = -d for h.
1
Let x be 3/(-2)*(-952)/51. Solve 8 = -4*o + x for o.
5
Suppose -4*p = 4*q, 5*p + 36 = 5*q + p. Suppose 0 = -0*z + 2*z - 8. Let k = z - 4. Solve q*b - 5 - 7 = k for b.
3
Suppose 0 = -6*m + 213 - 183. Solve -m*r = -6*r for r.
0
Suppose 0 = t - j - 4, t - 4*j = -2*j. Solve -2*s - 4 + t = 0 for s.
2
Suppose 5*c - 23 = 52. Solve a = 6*a - c for a.
3
Let p be (1/(-1))/(6/(-12)). Solve t + p*t = 12 for t.
4
Let j(b) = -2*b**2 - 17*b + 13. Let i be j(-9). Let m be ((-2)/i)/(4 - 3)*-24. Solve 6*y + m = 2*y for y.
-3
Suppose -x + 6*x = 0. Suppose b = 4*b - 4*q - 4, 4*b - 4*q - 4 = x. Suppose b = 3*o - 0*o - 12. Solve 2 + 2 = o*m for m.
1
Let t = -78 + 81. Suppose t*s + 2 = -4*p, 7*s - 2*s - 5*p - 55 = 0. Solve s*c - 15 = c for c.
3
Let z = -31 + 31. Let c = -4 - -6. Solve c*i = -z*i for i.
0
Let c be ((-4)/(-6))/((-8)/(-60)). Suppose 2 = o + c*n - 5, 4*n = -4*o + 44. Let y be 6*(o/(-9) - -2). Solve 0 = 3*a + 1 - y for a.
1
Let o = 27 - 24. Suppose o*g - 4*g + 4 = 0. Solve g*h - h = 6 for h.
2
Let y be (-33)/165 - (-52)/10. Suppose 5 = o - 5. Let m be o - 0 - (-1 - -1). Solve 0*x = -y*x - m for x.
-2
Suppose 68*b = 67*b + 1