4). Solve -13 - y = 11*g for g.
-2
Let a be -2 + -1 + (-73 - -32). Let q = 46 + a. Solve 2*z + 2 = -q for z.
-2
Let p(q) = -q - 6. Let m be p(-8). Let a = 33 + -33. Suppose a = m*c + c - 9. Solve -1 + 10 = -c*b for b.
-3
Let v(p) = p**3 - 16*p**2 + 13*p + 34. Let f be v(15). Let m be (5/(-15))/((-1)/15). Solve -21 = -m*r + f for r.
5
Suppose -3*k = -3*t - 60, -t = 5*k + t - 65. Let w be 61/610 + 49/10. Solve -5 = w*q + k for q.
-4
Let z be (5 - -1)/(3 - (-12)/(-8)). Let n = 79 - 35. Suppose 3*y = y + n. Solve 0 = -z*r + 2 - y for r.
-5
Suppose -5*p = t - 88, -2*p + 0*t = -5*t - 46. Suppose 13 = -x + 3*a, 3*a - p = x - a. Solve -4*f + 6 = -x*f for f.
3
Let t(d) = -d**3 + 11*d**2 - 3*d - 8. Let s be t(4). Suppose -11*h - 4 = -s. Solve g = -g - h for g.
-4
Let f(q) = -3*q**2 - 33*q - 15. Let t be f(-10). Solve -t = 13*n - 80 for n.
5
Let t(p) = p**3 + 7*p**2 - 9*p - 12. Let r be t(-8). Let s be 6/(-4)*r/3. Solve s*v = -0*v for v.
0
Let l(h) = 8*h - 12. Let z be l(6). Suppose 6*y = 150 - z. Let w be -1*(-1)/(-2)*-10. Solve -w*v - y + 4 = 0 for v.
-3
Suppose 6*b - 1134 = -75*b. Solve 0 = -b*v + 8 - 64 for v.
-4
Let n be -2 - (-1)/(1/1). Let l be 11 + (n - 0/4). Suppose 9*f = 4*f + l. Solve 0 = f*j - 2 - 6 for j.
4
Suppose -42 = 6*v - 174. Let i = 25 - v. Let c be 666/33 + (-4)/22. Solve -i*a - a - c = 0 for a.
-5
Let b(t) = t**3 - 9*t**2 + 8*t - 9. Let v be b(8). Let i be (-1 - v)/(3 + -1). Let r be 27 + -1*(3 + 0). Solve r - i = -4*x for x.
-5
Suppose 6*n - n = 5*q + 20, -5*n - 2*q - 1 = 0. Suppose -5*o - 4*z - n = 0, 8*o - 2 = 6*o - z. Suppose 0 = 4*k - o*k - 1. Solve 2*p - k = -7 for p.
-3
Suppose -f + 4*p = 0, -5*f + 8*f - p = 0. Let r be (9/18)/(1/24). Let m be (8/5)/(r/30). Solve m*l - 2*l - 8 = f for l.
4
Suppose -7 = p - 3. Let k = 6 + p. Suppose 3 = k*w + j - 4, -j = -3*w - 2. Solve 3 + w = c for c.
4
Let h = -35 + 40. Let y(r) = -r. Let d be y(-2). Solve h*t - d*t = 15 for t.
5
Let c = 2130 - 2116. Solve -12*j - 38 + c = 0 for j.
-2
Let b be 21/7 + 0 + -1. Suppose 0*g + 5*g = t + 207, 456 = -b*t - 4*g. Let h be t/(-9) + 3/9. Solve -l = 4*l + h for l.
-5
Suppose c + 5*d - 54 = 0, -4*c + 2*d + 96 = -54. Solve 134 - c = 19*i for i.
5
Let u = -176 + 180. Solve 0 = -u*f - 4 - 0 for f.
-1
Suppose 0 = 8*f + 4*f - 1008. Let g = f - 77. Suppose -9 = 3*m - 6*m. Solve -m*n = 5 + g for n.
-4
Let k(t) = 11*t**2 + 19*t - 11. Let g(a) = -5*a**2 - 9*a + 5. Let h(x) = -9*g(x) - 4*k(x). Let i be h(-5). Let s be (i - 1/(-1))/(-2). Solve s*z = -z + 5 for z.
5
Let l = -461 - -466. Solve -l*b = 5*b - 10 for b.
1
Suppose -5*l - 4*a + 152 = 0, 2*a - 68 = -4*l + 56. Solve 10*g + l = 2*g for g.
-4
Let n be 1*-2*9/(-6). Suppose -l - 2 = j, 4*l + 4 = 3*j + n. Let d be l/2*(0 + -12). Solve 0*f = -2*f + d for f.
3
Let g be 1/14*-8*-42. Solve 22 = -2*k + g for k.
1
Let m(a) = a**3 + 11*a**2 - 13*a - 2. Let j be m(-12). Let q be 26/(-65) - 6/j. Let g be -1 - (q + -2 - -2). Solve g*r - 3 = -r for r.
3
Let p(n) = -2*n + 15. Let b be p(7). Let w = b + 3. Let t be -2 - (-6 - -3)*1. Solve w*s - 3*s = -t for s.
-1
Suppose -2*p = -3*b - 4, 8 = 2*p + p - 4*b. Solve p*q = q for q.
0
Let f(c) = -c**3 - 15*c**2 - 9*c - 22. Let t be f(-14). Let v = 96 + t. Solve 0 = 2*r - 3*r + v for r.
4
Let f = 17 + -2. Let j be ((-8)/5)/((-6)/f). Suppose -k = j*k - 45. Solve k = -m - 2*m for m.
-3
Suppose 0 = -3*i - i + 4. Let n be (-2 - -1)/(i/(-4)). Suppose j = 4*d - n, 5*d + 5*j - 26 = 2*d. Solve -w = d*w - 6 for w.
2
Suppose 0 = -2*v - l + 9, 4*v + 0*v - 4*l = -12. Suppose v*w - w = 4. Suppose -4*x = -0*x - 5*j - 21, 8 = x - 4*j. Solve -3*a + x = -w*a for a.
-4
Let z(b) = 5*b**3 + b**2 - 3*b + 2. Let c be z(1). Let m = 3 - 4. Let v be (-9)/m*2/2. Solve c*u + v = -6 for u.
-3
Let a be (-1 - (-2 + 1))/1. Suppose -5*v - 599 = 4*c, -14*c = -12*c + 5*v + 307. Let j = c - -149. Solve -7*t + j*t = a for t.
0
Suppose -7 = -4*d + 13. Suppose 0 = -d*h + 3*v + 65, v + v = 5*h - 60. Let b be (32/20 - 2)/((-1)/10). Solve -b*a - h = -2 for a.
-2
Suppose -2*o - 35 = 3*o. Let p = 15 + o. Let f be 7/(28/p) - -1. Solve 2*a - f = -1 for a.
1
Suppose 0 = -2*u + 4. Let d = -18 + 23. Solve u*x - 12 = d*x for x.
-4
Suppose -2*w = 4*r - 18, -3*r - r - w + 21 = 0. Solve 0 = -0*x + 3*x + r for x.
-2
Let i = 12 + -15. Let f be (-4 - -5 - 3)*3/i. Solve 6*w = f*w - 8 for w.
-2
Let p(z) = z**2 - 17*z + 32. Let i be p(15). Let h be i + 4 + -2 - -4. Solve 4*d = h*d for d.
0
Let x(z) = 2*z**2 - z + 9. Let h be x(-3). Let a be (5/2)/(h/72). Solve 0 = a*g - g + 20 for g.
-4
Let o = -6 - -8. Suppose -o*k - 10 = 3*k. Let q be 3*(-3 - (-6 - k)). Solve 2 = -n - q for n.
-5
Suppose a = 50 - 35. Solve 6*p - 3*p + a = 0 for p.
-5
Let q(r) = r**2 + r + 1. Let u be q(4). Let k = u - 13. Suppose v + 4*j = 23, -v + 0*j + k = j. Solve -5*t - 8 = -v*t for t.
-4
Suppose -17*m - 8*m = -6*m. Solve 5*w + 57 - 42 = m for w.
-3
Suppose -o + 7 = r, -o - 25 = -5*r - 4*o. Suppose -6 = -r*h - 2. Solve h*f - 6 = -0 for f.
3
Let o be (1 - (7 - 14)) + (-1 - -2). Solve -20 = -11*r - o for r.
1
Suppose 0 = z - 262 + 258. Solve z*o = -0 - 20 for o.
-5
Let l = -14 + 11. Let z be 0/((-6)/l - 4). Solve 0 = -5*h - z*h + 15 for h.
3
Suppose 2*v + m - 97 = 0, -2*m + 128 = 2*v + 32. Suppose -53*q + v*q + 8 = 0. Solve -2*j = q*j + 8 for j.
-2
Let d be (6/(-15))/1 + (-243)/(-45). Suppose -d*a = 5*s - 40, 46 = 5*a - 4*s + 6. Solve -4*y + a*y = 4 for y.
1
Suppose t = 5*c - 1, t - 4*t = -c - 25. Let y(s) = -23*s + 3. Let l be y(0). Solve -3*p = l - t for p.
2
Let w(q) = 2*q**2 - 10*q - 8. Suppose -21 - 3 = 4*n. Let t be w(n). Let i be t/12 + (-1)/3. Solve z + z = i for z.
5
Suppose -3 = -3*b + 2*b. Let t be (72/60)/(b/10). Let o be t/(-8) - 1/(-2). Solve -5*f + 1 + 4 = o for f.
1
Let s be (-96)/(-40)*(1 - 6/(-4)). Suppose -6*f - s*f + 24 = 0. Solve l = -f*l for l.
0
Let v(g) = 3*g**3 - 3*g**2 + 4*g - 3. Let u be v(2). Let w = 20 - u. Solve 0 = w*p - 0*p - 6 for p.
2
Let o = -116 + 118. Solve o*r = 7*r for r.
0
Let c = -16 - -15. Let h be (-1 - c)*(-1)/2. Let p(j) = j**3 + 5. Let n be p(h). Solve -23 + 8 = n*v for v.
-3
Let p be (-2)/(-4)*(14 - 4). Suppose t - p = -4*s, -9 = -3*s + 5*t + 12. Solve -s = d + 1 for d.
-3
Let v be (-9)/12 - 628/16. Let w = v + 45. Solve 3 - 8 = w*d for d.
-1
Let x = 13 - 67. Suppose -3*b + 0*b - 96 = -3*v, b + v + 32 = 0. Let o = b - x. Solve -o + 7 = 5*w for w.
-3
Let x = -3 + 3. Suppose -4*k + x = 12. Let v = k + 3. Solve -l + v = -3 for l.
3
Suppose -95*b = -114*b + 1102. Solve 0 = b*f - 47*f + 44 for f.
-4
Suppose w - 12 + 10 = 0. Suppose -q - w = -4. Solve q*h - 2 - 6 = 0 for h.
4
Let a be 18/(4/(-6)*27/(-12)). Suppose 0 = k - 2*s + 3, -2*k - 5*s = -33 + a. Solve -6 = -k*o + o for o.
3
Let k(c) be the third derivative of c**5/60 - 7*c**4/12 - 5*c**3/3 + 42*c**2. Let u be k(15). Solve 0*m + u = m for m.
5
Suppose 3*s - 2 = 4. Let r be (3/9)/(3/27). Let q be 52/8 + r/(-2). Solve 9 = -q*v + s*v for v.
-3
Let u = 4 - 4. Suppose -f - 59 = -2*i - 3*i, -2*f - 46 = -4*i. Suppose -i = -4*k + t, 3*k = -t - t - 2. Solve u*y - k = 2*y for y.
-1
Let d = 8 - 8. Suppose d = 3*n - 7*n + 60. Suppose -4 = 2*q - 2*j, -3*q + 3*j = 2*q. Solve q*l = -2*l + n for l.
3
Let d(c) = c**2 - 2*c - 6. Let w be d(5). Let y(h) = -16 + 10 + 14*h - 23*h + 10*h. Let r be y(w). Solve 7*s = r*s + 20 for s.
5
Let w = -503 - -537. Solve 32 = w*v - 42*v for v.
-4
Suppose 4*j + 14 - 70 = 0. Suppose -5*f = -8 - 2. Solve -j = -f*g - 12 for g.
1
Let i = 45 - 26. Let w = i + -13. Let b be -1 + 1 - (-3 + -1). Solve -2*o + w - b = 0 for o.
1
Let k be (0 + (-3)/9)/(36/(-324)). Solve -k*v + 1 = -5 for v.
2
Let n(q) = q. Let c be n(0). Suppose c = o - 2 - 8. Suppose -5*x + 10 = -o. Solve i + x - 1 = 0 for i.
-3
Suppose -34 = 15*k - 17*k - 2*y, k = 5*y - 7. Solve 3 - k = 2*l for l.
-5
Let t(l) = -12*l + 3. Let n be t(0). Solve 2*h + 20 = -n*h for h.
-4
Suppose -8*t + 67 = -69. Suppose -5*l + t = -8. Solve -4*i + 11 = -l for i.
4
Let j(g) = 3*g - 9. Let h be j(3). Suppose 24*d - 22*d - 6 = h. Solve -d*r - r = 0 for r.
0
Let m = 39 + -28. Suppose 75 = -6*j + m*j. Solve -3*h + 8*h - j = 0 for h.
3
Suppose -3*w = -k - 16, 4 = -3*w - 4*k - 0. Suppose 5*v - 35 = -w*i, i + 2*i + 26 = v. Solve -v - 4 = -5*p for p.
3
Let r(h) = -h**3 + 7*h**2 - 3*h - 11. Let t be r(6). Suppose t*x = 6*x