g - y - 3 for g.
-1
Suppose -3*y - 23 + 8 = 0, 0 = u - 5*y - 35. Suppose 15*o = u*o. Solve i + o*i = 5 for i.
5
Suppose -2280 = 39*i - 99*i. Solve i - 36 = -w for w.
-2
Let u(z) = 6*z + 2. Suppose 3*a - 21 = -12. Let i be u(a). Solve -7*c + 3*c = -i for c.
5
Suppose -23*w = -35*w + 2232. Solve -w*v = -180*v + 18 for v.
-3
Suppose -71 = -11*j + 6. Solve 0 = -j*s + 9*s for s.
0
Let q = -1598 + 1609. Solve -2*i - q*i - 39 = 0 for i.
-3
Let c be ((-896)/48)/((-2)/6). Let t be (-344)/c - 2/(-14). Let a = 11 + t. Solve a = 2*u - u for u.
5
Let v be 6/(-36)*(-6 - 6). Solve v*i + 9 = -i for i.
-3
Suppose 51 = -o + 71. Solve 12*r = 8*r - o for r.
-5
Let a(j) = -j**3 + 22*j**2 - 29*j + 171. Let u be a(21). Solve u*m = -2*m - 25 for m.
-5
Let h be 1 + 2*(-3)/6. Let b be 3 - (-31 + 2/(-1)). Let s be (5/1)/(30/b). Solve h = -3*p + 5*p + s for p.
-3
Let a(u) = u + 6 - 15 + 9*u**2 + u**3 + 7*u - 2*u. Let w be a(-7). Suppose 2*g = -r + 5, 5*r = 5*g + w + 38. Solve -r + 1 = 4*o for o.
-3
Let s = 0 + 7. Suppose -2*c - 95 = -s*c. Suppose -22*i + 45 = -c*i. Solve -3*y - i = 2*y for y.
-3
Suppose -o = 4*r - 14, 0*r - 2*r + 8 = o. Solve -9*q = -r*q for q.
0
Suppose g - 2*o + 145 = 6*g, 4*g - 109 = -3*o. Solve -22 = -3*p - g for p.
-3
Let r = -612 + 618. Solve i - 28 = -r*i for i.
4
Let x(b) = -b + 3. Let t be x(-13). Let c = t + -12. Solve 4 = -c*f - 0*f for f.
-1
Let n(c) = 2*c**3 + 5*c**2 + c + 1. Let i be n(-2). Solve 0 = 3*g + i + 3 for g.
-2
Let w(j) be the third derivative of j**5/60 + j**4/4 + j**3/3 + 16*j**2. Let h be w(-8). Solve 4*x + h + 2 = 0 for x.
-5
Let g be (-24)/(-4) + (3 - 4). Suppose g*a = 6*a. Solve -3*w + w + 10 = a for w.
5
Let g be 1/(-1)*(-72)/(-27)*-6. Solve 16 = g*f - 48 for f.
4
Let i(q) = -9*q + 6. Let j be i(2). Let a be 57/12 - 3/j. Let l = -1 + 3. Solve l = -a*v + 7 for v.
1
Let f = 52 - -2. Let g be (-303)/(-27) - 12/f. Let u = 15 - g. Solve a + 15 = u*a for a.
5
Let s = -12 - -14. Suppose 0 = 3*c - 2*c - s, 4 = n - 2*c. Suppose 6 = -2*a - 2, 3*i + a - 5 = 0. Solve -n*f + i*f = 0 for f.
0
Let o(c) = c**2 + 29*c + 201. Let g be o(-11). Solve 2*k + 7 = g for k.
-2
Let x = -129 + 133. Let a = 7 - 2. Let l be 37/a + (-6)/15. Solve x*i - 3 = l*i for i.
-1
Let f(y) = y**2 - 16*y + 4. Let g be f(16). Let t be (g/16*10)/(3/6). Solve 2*l - t = 1 for l.
3
Suppose 2*d + 2*t - 2 = 0, 6*d - 9*d - 4*t - 2 = 0. Solve 20 = d*x - 10 for x.
5
Let c(g) = 2*g**3 - g**3 - g + 1 - g**2 + 0*g. Let v be c(2). Suppose v*s - 13 = 8. Solve 13 = 5*y - s for y.
4
Suppose -169 - 11 = 3*c. Let s = c + 64. Solve -d - s = -0 for d.
-4
Suppose 4 = 2*b - 0*b. Let c = b + 2. Solve 0 = -c*k + 3*k for k.
0
Suppose 0 = 2*y + 3*y - 125. Let i be 105/y - 1/5. Suppose 5 = -i*w + 17. Solve 7 + 8 = w*m for m.
5
Let k be (161/(-7) - -11) + 21. Solve -k*m = -93 + 111 for m.
-2
Suppose v = 4*j - 40, -19*v + 21*v = 8. Solve -j*c = 10 + 12 for c.
-2
Let d = -226 - -229. Solve -2*n - d*n - 10 = 0 for n.
-2
Let j be (-5)/(-1) + 9/(-3). Suppose 36 = j*h + 2*h. Suppose -5*q = 4 - h. Solve 0*z - q = z for z.
-1
Let i(a) = 8*a - 54. Let u be i(10). Solve u*g = 38*g + 12 for g.
-1
Let f(r) = r**3 - 16*r**2 - 2*r + 32. Let p be f(16). Solve -y + 3 - 4 = p for y.
-1
Let u(k) = 3*k - 12. Let s be u(14). Let m = -24 + s. Suppose -4*n + m = -74. Solve 7*y = 2*y + n for y.
4
Let q be (0/(2/(-2)))/(-32 + 34). Suppose q = 4*x - 0*x + i + 1, 3*i + 3 = 0. Let o(u) = u. Let h be o(4). Solve -h*y = -x*y + 8 for y.
-2
Let o(a) = -5*a**2 + 9*a + 9. Let j(p) = -p**2 + 2*p + 2. Let q(x) = 9*j(x) - 2*o(x). Let h be q(2). Solve 5*v = -21 - h for v.
-5
Suppose 3*l - 10 = -2*l. Solve -13*z + 12*z = l for z.
-2
Let h be (24/(-30))/((-1)/5). Suppose -3*i = -3*a - 3, 0 = 2*a - 7*a + 2*i + h. Let c be (3 - 15)/(1 - a). Solve 4*n = 4 - c for n.
-2
Suppose -5*k + 16 = -3*p, 0 = 3*k + 4*p - 19 - 8. Let h = 903 - 899. Solve k*x = 19 - h for x.
3
Let m = -296 + 300. Solve 2*d = -m*d - 30 for d.
-5
Let n = -22 - -24. Suppose 0 = -n*w + 11 - 3. Solve -l = w*l for l.
0
Let g(k) = -2*k**3 + 10*k**2 - k + 8. Let a be g(5). Suppose 0 = a*p - 15*p. Solve 2*h - 5*h + 3 = p for h.
1
Suppose -5*w = 2*t - 23, -7 - 3 = -3*w - 5*t. Let c(i) = 11 + 14*i - 15*i + 0. Let b be c(w). Solve -5*y = 9 + b for y.
-3
Let r = 373 + -363. Solve -19*j = -14*j + r for j.
-2
Suppose 4*q - 9 - 83 = -2*v, 0 = -5*q + v + 108. Suppose 4*t - 18 = s, 0*s - s - 4*t = -q. Solve -s*n = n - 9 for n.
3
Let m be 1*4/(-8) - (-219)/6. Suppose 0*t - t + 99 = 5*l, m = 2*l + 4*t. Suppose -z + 4*c = 4, z = -2*c + 5 + 3. Solve 4*h - l + z = 0 for h.
4
Let z = -2993 + 2999. Solve -z*r = 7*r for r.
0
Let h be (-2 + 1)*(12/3 + 14). Let j(g) = -2*g - 32. Let f be j(h). Solve -2*d + 12 = f for d.
4
Let v = 84 + -80. Solve v*p + 31 = 15 for p.
-4
Let l be (-115)/(-276)*-4*18/(-5). Suppose 0 = 2*m + 3 + 1, 2*m = 2*a - 10. Suppose 0 = -a*w - 7 + 43. Solve 3*o = l*o - w for o.
4
Suppose -4*a + 5*a = 0. Let b = 226 + -223. Let u be (4/(-1) + 2)/(-2). Solve -v - u - b = a for v.
-4
Suppose 14 = 2*d - 5*p, 4*d + 0*p - p = 10. Suppose -d*q - 3*q = 0. Let s be (-2)/3 - (-28)/6. Solve q = -s*c - c for c.
0
Let s = -1 - -3. Let c = 97 + -58. Let h = 43 - c. Solve 0 = -s*l + 4*l - h for l.
2
Let k be (-40)/(-16) + (-2)/4. Let n be 13/k + (-13)/(-26). Solve 3*q + 2 = -n for q.
-3
Suppose 4*n + 43 - 7 = 0. Let s be 4/(-6) - 222/n. Suppose 0*r = -3*r + s. Solve -g = 3*g + r for g.
-2
Suppose -5*x + 4*w + 60 = -x, 0 = 2*x - 4*w - 32. Suppose -o = -2*c - 3 + 14, -2*c + x = 2*o. Suppose 4*n + 6 = c*n. Solve -g + n = -2 for g.
5
Let t = -283 - -294. Solve -t = n - 9 for n.
-2
Let w = 39 - 35. Let r be 0*((-16)/(-4))/w. Solve x - 6*x - 5 = r for x.
-1
Suppose -55*s + 210 + 450 = 0. Solve 3*p = -3*p - s for p.
-2
Let t be 2 + -2 + -2 - -7. Suppose t*i = 2*i + 9. Let u = i - 3. Solve u = r + 2*r for r.
0
Let w(i) = -i**2 - 8*i + 123. Let v be w(-15). Solve v = 4*p - 2 for p.
5
Let a(h) = h**2 - 4*h + 4. Let c be a(2). Suppose -w + c + 5 = 0. Suppose 1 - 6 = -w*f. Solve -3 + f = -r for r.
2
Suppose -3*u - 39 = -4*m + 12, 4*m - 63 = -u. Suppose 68 + 0 = 4*p. Suppose -p = -r - m. Solve -4*f = -r*f - 10 for f.
5
Let q be 3*(10 + -9 + 0). Let d(x) = x**3 - x**2 - 2*x + 3. Let v be d(2). Solve -2*p = v + q for p.
-3
Suppose -7*u = -2*u + 15. Let i = u - -5. Suppose -v - i*v = -15. Solve 25 = v*t - 0*t for t.
5
Let z(d) = -d**3 + 6*d**2 + 7*d. Let b be z(7). Suppose -4*s + 11 + 9 = b. Solve -s = -5*g - 0*g for g.
1
Suppose 12 = -q + 5*s, -3*q - 11 = 5*s + 45. Let b = -13 - q. Solve -b*k - 6 = 6 for k.
-3
Let f be (-3 - 5) + (-36)/(-3). Solve -7*z + f = -9*z for z.
-2
Let y(t) = 8*t - 4. Let l be y(3). Suppose 2*n - 5*w = -23, 0*n + 2*w = 2*n + l. Let j be (4/12)/((-1)/n). Solve -j*r - 5 = -4*r for r.
5
Let z(a) be the third derivative of a**5/60 + a**4/3 + 3*a**3/2 + 3*a**2. Let f be z(-7). Suppose -5*p = 14 - 4, f*p - 21 = -5*d. Solve 4 - 14 = -d*t for t.
2
Suppose 4*s + 66 = s - 3*j, -92 = 4*s + 2*j. Let k(a) = -a**2 - 24*a + 15. Let c be k(s). Solve -f = 2*f - c for f.
5
Suppose -2*d = 4*m + 2, 3*d - 3*m = 2*d + 19. Solve -o - 11 = -d for o.
-4
Let i be (-5 + 1)/(2/(-1)). Let p(v) = -2*v + v - v**i - 5*v + 1. Let j be p(-6). Solve 2 + j = -3*z for z.
-1
Suppose -11 = -5*r + 9. Suppose 6*p - 5*p = -2*c - 2, -r*c + 5*p + 10 = 0. Let u = -257 - -266. Solve c = -u*o + 4*o for o.
0
Let o(x) = -2*x + 7. Let p(z) = 1. Let b(q) = -2*o(q) + 14*p(q). Let i(s) = -9*s + 225. Let n be i(25). Let h be b(n). Solve h = -3*a + 3 + 9 for a.
4
Suppose -3*d - 33*z + 62 = -34*z, -3*z - 98 = -5*d. Solve -d*t = -15*t for t.
0
Let d be -4*((-165)/20 - 8/2). Let w = -44 + d. Solve -w - 1 = -2*y for y.
3
Suppose 0*x = 5*x. Suppose x*a = -3*a - a. Solve a = -2*o - 2*o - 8 for o.
-2
Let l(q) = q - 11. Let p be l(10). Let m(j) = 3*j**2 - 2*j - 1. Let c be m(p). Let s be ((-9)/12)/(3*(-2)/64). Solve -c*g = -0*g - s for g.
2
Let h = -23 + 27. Solve -h*o - 7 = 9 for o.
-4
Suppose -2*a + 0*a = 0. Let r(d) = 2*d + 17. Let y be r(-6). Solve 5 = y*j - a for j.
1
Suppose 0 = -10*l + 13*l - 96. Solve 36*h = l*h for h.
0
Let j = -1507 - -1523. Solve -j*q = -5*q + 55 for q.
-5
Suppose 4*k - 2*k - 3*q - 21 = 0, -4*k - q + 35 = 0. Solve k*i - 5 = 8*i for i.
5
Suppose -141 = 2*c - 6*c - 3*v, c = -5*v + 14. Let m = c + -36. Solve 