-3*y for y.
4
Suppose 0 = 5*a + 2*a - 35. Solve -a*y = -y + 8 for y.
-2
Let g(z) = -z**3 + 5*z**2 - 3*z + 3. Let a be g(4). Suppose -c - a*c = -16. Solve -c*b + 5 + 1 = 0 for b.
3
Suppose 4*m + 12 = 3*x, 4*x - 5*m = 20 - 4. Let u be (2/3)/((32/60)/x). Solve 0*v + v = -u for v.
-5
Let u = 133 + -111. Suppose -u*m + 23*m = 12. Solve m*d + 15 = 17*d for d.
3
Suppose 5*p - 4*p = 4. Let k be p/(-10) + 187/55. Suppose -k*a + 2*c = 3 - 14, -5 = -3*a - 4*c. Solve q + 0 = a for q.
3
Suppose 153*l + 18 = 155*l + a, -3*a = l - 19. Solve -l*r + 15 = 8 for r.
1
Let z be 16/(-14)*35/(-10). Suppose z*y = y. Solve y = -3*d + 6*d + 3 for d.
-1
Suppose 3*r - r = 5*a + 6, -4*r - 4*a = -12. Suppose 5*q - 366 = i, 4*q - r*i - 86 - 198 = 0. Let h be 6/(-18) + q/6. Solve -4*z - h = -4 for z.
-2
Suppose 0 = 3*b - 3*y - 3, 2*b - y - 4 = 0. Let q be b/(((-36)/(-8))/3). Suppose n - 28 = -4*n - q*k, 12 = 4*n - k. Solve n*v = 3*v for v.
0
Let z = -442 - -448. Solve -8*n = -z*n - 2 for n.
1
Suppose 12 = -3*k + 300. Suppose o = 5, -2*w = 5*o - o - k. Let u = w + -36. Solve u*h - 10 = 7*h for h.
-2
Suppose -152*f + 144*f = 24. Let l(x) be the second derivative of -2*x**3/3 + 3*x**2 - x. Let i be l(f). Solve 5*k + i = -7 for k.
-5
Suppose -7*f + 23 = 2*u - 2*f, -4*u - 5*f + 71 = 0. Solve 2*a - 26 = -u for a.
1
Let j be -1 - ((-11)/((-44)/96) + 1). Let q = j + 36. Solve -w - w = q for w.
-5
Let n = 181 + -179. Solve -n*o + 8 = -4*o for o.
-4
Suppose 5*a = -5*j + 4*j - 5, 3*a + 3 = -2*j. Let x(z) = z**2 - 3*z - 5. Let u be x(5). Solve j = 2*b - u*b - 9 for b.
-3
Let w = 762 + -741. Solve -5*f = -w + 16 for f.
1
Suppose 84 = -11*d + 15*d. Suppose r - 7 - 20 = -5*x, -3*x + d = -r. Solve -k + x*k = 10 for k.
2
Suppose -6 = -2*u, 4*u + 13 = -0*l + 5*l. Solve -127*o + 128*o - l = 0 for o.
5
Let l(h) = -1 + 0*h - 6*h + 7*h. Suppose -v = -5*v + 20. Let k be l(v). Solve k*p - 20 = -0*p for p.
5
Suppose 0 = 2*m - m - 3. Let i be (19 + -27)*(3/(-2))/m. Solve -i = r - 2*r for r.
4
Let z = 52 + -36. Let a = 26 - z. Solve a = 6*l - 4*l for l.
5
Let m be (-9)/(-5) - (-594)/45. Solve -71*y = -76*y - m for y.
-3
Let n be 0*((-6)/8)/((-105)/(-70)). Solve n = 4*h + 2*h for h.
0
Let q(a) = 16*a + 4. Let v be q(-1). Let n(b) = -b**2 - 9*b + 36. Let l be n(v). Solve l*p + 10 = 5*p for p.
2
Let w = -37 - -29. Let h(j) = -j**3 - 9*j**2 - 6*j + 18. Let n be h(w). Solve -4*r = -3*r - n for r.
2
Let w be (-5)/(20/6) + (-579)/(-6). Let t = w + -89. Solve t = f + f for f.
3
Let b(m) be the first derivative of -2*m + 0*m**3 - 1/4*m**4 + 1/2*m**2 - 9. Let d be b(-2). Solve -3*s = -d - 2 for s.
2
Suppose 0 = -34*s + 7*s + 243. Solve s = -4*d - 3 for d.
-3
Let k = 507 + -507. Solve k = 8*y + y - 9 for y.
1
Suppose 4*k = 2*o - 240, 0 = -5*o - 4*k + 527 + 129. Let h = -123 + o. Solve -h*g + 3 - 28 = 0 for g.
-5
Let l = -1716 + 1719. Let d(t) = -t**3 - t**2 + t + 2. Let r be d(0). Solve -13 - r = l*v for v.
-5
Suppose -4*b - 4*k = 5 - 165, -2*k + 35 = b. Solve 49*i = b*i + 12 for i.
3
Let u = -1190 - -1200. Solve 19*v - 24*v - u = 0 for v.
-2
Let c = 1731 - 1727. Solve 10*u = 6*u - c for u.
-1
Let o(z) = z**3 + 1 - 2*z**3 - 3 - 10*z + 11*z**2 + 4. Let l be o(10). Suppose -i + 0*i = 3*r - 9, 3*r = 2*i. Solve -l*b - i = 1 for b.
-2
Suppose -3*f = -12 + 3. Suppose -10 = f*z - 5*z. Solve -j = -z + 3 for j.
2
Suppose 990*i - 30 = 984*i. Solve 30 - 5 = -i*g for g.
-5
Let z be 1 + -2 + -1 + 4. Suppose -4*h + z*q + 10 = -h, 0 = 3*h + 2*q - 2. Suppose h = 2*o, 0 = -3*v + v - o + 3. Solve r - 2 = -v for r.
1
Suppose -g = -2*v - 11, 3*g - 2*g - 4*v - 17 = 0. Solve g*z - 3 = -18 for z.
-3
Let m(a) = -a**2 + 22. Let h be m(0). Let k be h/3 - 2/(-3). Suppose -45 = k*x - 11*x. Solve -6*q = -q + x for q.
-3
Let y(m) = -2*m - 9. Suppose 24 - 6 = -3*j. Let a be y(j). Let p = 8 - a. Solve 13 = -4*n + p for n.
-2
Let d be (-4)/20 + 42/10. Suppose 4*r - 532 = -0*r - d*g, 4*r + g - 538 = 0. Let x be (-4)/18 + 435/r. Solve 4*v - x = 5*v for v.
-3
Let y be (-40)/30*(-6)/4. Suppose 3 = y*k - 5. Solve 4 + 12 = -k*g for g.
-4
Let h(v) be the third derivative of -v**4/8 + 7*v**3 - 32*v**2. Let i be h(12). Solve 2 = 2*q - i for q.
4
Let b(r) = 2 - 2 - 1 + 6*r**2 - r. Let k be b(-1). Let o(m) = -m**2 - 6*m. Let g be o(-6). Solve 3*u - 6*u + k = g for u.
2
Suppose -5*z - 4*y + 51 + 5 = 0, -3*y = 5*z - 57. Solve 0 = -8*n + 28 + z for n.
5
Let d(w) = w**3 - 4*w**2 + 2*w + 2. Let v be d(2). Let t = 2 - v. Let q(m) = m**3 - 4*m**2 + 5*m - 3. Let f be q(3). Solve f*i - 8 = t for i.
4
Let y be (6/3)/((-12)/36) + 7. Solve 160*x - y = 159*x for x.
1
Let o = 347 + -342. Solve 9 = -o*z + 8*z for z.
3
Let f = 33 + -29. Suppose -d = f*d. Suppose b - i - 7 = -b, -3*b - 4*i + 5 = 0. Solve -b*s - 15 = -d*s for s.
-5
Let n = -116 - -121. Solve -n*y + y + 4 = 0 for y.
1
Let r = 283 + -266. Solve 21 = -2*v + r for v.
-2
Let t(h) = -5*h + 33. Let y be t(8). Let o be 1*-7*6/y. Solve o = 3*l - 6 for l.
4
Let s(k) = k**2 + 15*k + 12. Let t be s(-15). Solve 6*i + t = 10*i for i.
3
Let l(h) = -h**3 + 30*h**2 - h + 35. Let z be l(30). Suppose 3 = z*p + 4*j, -3*p + 5*p - 5*j - 21 = 0. Solve 5 = p*u - 7 for u.
4
Suppose -4*q - 34 = -3*a, 5*a = 3*q + 26 + 27. Solve -5*h + a*h = 5 for h.
1
Let j(o) = -o**3 + 5*o**2 - 3*o - 2. Let f be j(4). Let q(m) = m + 2. Let h be q(f). Suppose i + h = 9. Solve -i*v + 7 = -13 for v.
4
Let y be 2/(-7) + 22/77. Suppose 3*v + 6 - 9 = y. Solve -v = -c - 2 for c.
-1
Suppose 3*s + 21 = v - 0*s, 2*v - 4*s = 36. Let j be (40/25)/4 + 156/(-15). Let m = j + v. Solve -w = -5 + m for w.
3
Suppose -3*a + 10 = 2*a. Let q be (1 + (1 - 2)*a)*-9. Solve -3*c = -0*c + q for c.
-3
Suppose -2*t + 18 = 5*k + 2*t, 4*k = 3*t + 2. Let s = 7360 - 7360. Solve k*b - b + 3 = s for b.
-3
Let b be (-28 - -9)*(1 + -2). Suppose -2*h + b = -5. Let c be 34/h - (-1)/6. Solve -c*y = y + 20 for y.
-5
Let b(r) = -r**2 + 5*r + 8. Let h be b(6). Let i = -91 + 94. Let m be ((-95)/20 - -4)/(i/(-4)). Solve h = k + m for k.
1
Let z be 4/(-8) + 27/2. Suppose -y + 3 = 2. Solve 0 = 4*l + z - y for l.
-3
Let c(r) = r**3 - 3*r**2 - 1. Let s be c(-3). Let l = -36 - s. Let p = l + -19. Solve -x + 1 - 3 = p for x.
-2
Let a = -1171 + 1246. Solve b + a = -14*b for b.
-5
Let u be (-3)/(-3*(-7)/(-126)). Solve -19*r = -u*r - 1 for r.
1
Suppose -6*n = -3*n - 12. Suppose b = -4*j + 4, -n*j - 20 = -3*b - 2*b. Solve 5*v + 2 + 3 = j for v.
-1
Let m be (42/(-9))/((-10)/45). Suppose -i = 5*o, 7*i + 14 = 10*i + o. Solve m = -4*f + i for f.
-4
Let u be (-1)/(-3) + 44/3. Let p be (-10)/65 + (-108)/(-26). Suppose -4*m = -4*d + 24, 0*d + 3 = 5*d + p*m. Solve d*r = 6*r - u for r.
5
Let v(h) = 41*h - 40*h - 15 - 4. Let k be v(19). Solve k = -b - 4*b + 10 for b.
2
Let c(u) = -24*u + 182. Let j be c(7). Solve -j*l - 2 = -12*l for l.
-1
Let q be 35/(-20) + 2 - (-107)/4. Let g(p) = 7*p + 2. Let f be g(-3). Let t = f + q. Solve t = -2*a - 0*a for a.
-4
Suppose -6 = 3*v - 5*v. Suppose -v*g + 4 = -m + 6, 4*g + 6 = 3*m. Solve 4*j + 6 - m = 0 for j.
-1
Let x(q) = 3*q**3 + 80*q**2 - 25*q + 66. Let m be x(-27). Suppose s + 7 = 12. Suppose w = -b + 1, -5 = -3*b - 0*b - s*w. Solve 3*z = m - b for z.
4
Let d be -33 + 30 - (1 + -2 - 2). Solve d*c + 4*c = -20 for c.
-5
Let a(h) = -7*h**2 - 52*h - 17. Let r be a(-7). Solve 0 = 58*g - 59*g + r for g.
4
Let f = 353 + -326. Solve 41 + f = 17*x for x.
4
Let v be -4*((-9)/(-4))/3 + 6. Suppose 4*k = -3*n + 16, -4*n - k = v - 20. Solve -n*w + 6*w + 10 = 0 for w.
-5
Suppose -4*o + 59*j = 60*j - 37, -o = -2*j - 7. Solve 16*l - o*l - 14 = 0 for l.
2
Let p(x) = -3*x**2 + 115*x - 28. Let m be p(38). Solve 9*d + m*d - 76 = 0 for d.
4
Let k = 922 - 902. Let j(f) = 2*f - 10. Let h be j(8). Solve y = h*y - k for y.
4
Let l(c) = c**2 - 4*c + 12. Let w be l(5). Solve 13 = 4*p + w for p.
-1
Suppose 4*m - 10*u = -12*u - 4, 0 = -3*m + 3*u + 6. Solve m = 17*o - 20*o - 6 for o.
-2
Let d(s) = 4*s - 9. Let g(v) = -3*v - 1. Let k be g(3). Let n be 6/(-8)*(k - -2). Let p be d(n). Solve -5*f + p = -8*f for f.
-5
Suppose -3*l = 5*b - 7, 5*l + 3 - 4 = -3*b. Let x(d) = -11*d**3 - d**2. Let i be x(l). Solve 2*p + i = -0*p for p.
-5
Let a be (2/(-6) + 0)/(1/39). Let y = a + 19. Solve -2*q + y = 4 for q.
1
Let h(z) = z**2 + z - 20. Let b be h(7). Let o = -36 + b. Suppose o = -5*j + 2*d - 7*d + 5, 5*j