 4. Let f be t(-7). Solve -f*g - 10 = -0*g for g.
-1
Let j be 11 + ((-18)/(-3) - 8). Solve -j*k - 9 = -0 for k.
-1
Let p(x) = -2*x**2 + 4*x - 2. Let q be p(2). Let f be q/(2*(-2)/(-54)). Let m be (f/(-6))/((-9)/(-12)). Solve -5*n + m = -14 for n.
4
Let t(g) = -g + 21. Let w be t(12). Solve w*x - 14*x + 15 = 0 for x.
3
Let h = -225 - -460. Let a be (0 - (-2)/5) + 4606/h. Suppose 3*x - 32 = 4*m, -18 - 2 = 4*m. Solve 8*d - x*d - a = 0 for d.
5
Let f be ((-5)/(-15))/(1/171). Suppose f*k + 135 = 62*k. Let a = -25 + k. Solve b = -0*b - a for b.
-2
Let w(z) = -11*z + 16. Let n be w(3). Let l = -13 - n. Solve l*c = -18 + 6 for c.
-3
Let j(c) be the third derivative of c**5/60 - 3*c**4/8 + 4*c**3 + 3*c**2 - 18*c. Let n be j(5). Let d be 0 + 7 + -1 + -1. Solve f - d*f - n = 0 for f.
-1
Let b be (-1)/(2 + (-10)/6). Let o be b/(6/4) + 5. Let j = -540 + 548. Solve 0 = o*a + a - j for a.
2
Let r = -466 - -470. Solve r*o + 4*o = -24 for o.
-3
Suppose -3*g - 3*x + 66 = 0, -x + 50 - 8 = 2*g. Let s = g + -11. Solve 0 = 3*h + s + 6 for h.
-5
Let b(v) = -v**3 - 7*v**2 - 5*v + 18. Let t be b(-6). Solve -5*q + t*q = -28 for q.
-4
Let n = 1 + 1. Suppose 0 = 4*m - 5*c - 5 - 35, -3*c = n*m + 2. Suppose 0 = v - 2, -w - m*v = -10. Solve 0*s + 2*s - 6 = w for s.
3
Let u be (12/8)/(9/(-12)). Let a be ((-3)/u)/(9/12). Suppose a*t - 5*z + 15 = 0, 2*z = -4*t - z + 9. Solve 2*f + 3*f = t for f.
0
Let u = 1 - 0. Let t be (1*-4)/((-2)/u). Let h be 1*-1*(t - 5). Solve -20 = h*p + p for p.
-5
Let f be (-2)/19 - 8/(-76). Suppose 129 = -f*l + 5*l + w, 5*l - 141 = -4*w. Solve 7*i + l = 2*i for i.
-5
Let d be (-1*2)/(4 + (9 - 15)). Solve 11*u = 12*u - d for u.
1
Suppose 0 = 2*w - 2*j - 18, 5*j + 26 = 6. Suppose -28 = -9*i + w*i. Solve 3*u - i*u = -4 for u.
1
Let i(m) = 3*m - 14. Let d be i(2). Suppose -4*f - 5*v + v = -68, -3*v = -5*f + 77. Let p = f + d. Solve -y = -3*y + p for y.
4
Let c = -14 + 24. Suppose -7*n = -11*n. Let j(a) = a**2 + 2*a + 6. Let d be j(n). Solve -c = -h + d*h for h.
-2
Let f(z) = -58*z - 312. Let w be f(-6). Solve 10*r - w = -2*r for r.
3
Let s(f) = -f**2 + 6*f - 5. Let z be s(4). Let r be 0/1 + z/3. Suppose 0 = d + 4*h - 12, 3*d - 2*h - 29 = -35. Solve d*v - r = -v for v.
1
Let o = -534 - -540. Solve -5*t = -2*t - o for t.
2
Let j be (-12 + 4)*2/4. Let l be 0 - j - (-4)/(-1). Suppose -4*z - 4*r - 15 = z, 5*z + r = l. Solve -z = 3*x - 7 for x.
2
Let h be -8 + -2 + 4 + 1. Let z be 3*(-5)/(225/12)*h. Solve -z*c - 15 + 3 = 0 for c.
-3
Suppose -i - 4*y = 4*i - 28, 5*y = 2*i + 2. Suppose -i*n - n = -125. Solve -6*k = -k + n for k.
-5
Let g(o) = 16*o + 25. Let u be g(0). Solve -z + u = 29 for z.
-4
Let m(o) = o**3 + 9*o**2 + 8*o + 1. Suppose 5*y - 49 = 5*p - 2*p, 4*p + 4*y + 12 = 0. Let g be m(p). Solve -g = 5*a - 6 for a.
1
Suppose a - 5*a + 104 = 0. Suppose -3*b - 7 = a. Let x(w) = w + 26. Let r be x(b). Solve r + 5 = 4*l for l.
5
Let x = 377 + -348. Solve -x*i = -34*i - 5 for i.
-1
Let f(k) = -3*k - 10. Let a be f(-6). Let q = a - 6. Solve g - q = -g for g.
1
Suppose 29 + 66 = 19*x. Suppose 47 = x*k + 7. Solve -k = v + v for v.
-4
Let k = -5 - -7. Suppose 1 = k*d - 3. Let o = 9 - 7. Solve 3*g - o*g = -d for g.
-2
Let w(x) = 102 - x + 2*x**2 + 0*x**2 - 103. Let d be w(-3). Suppose 4*n = 3*k + 16, -k - 2*n = 3*n - d. Solve k*y + 2*y + 2 = 0 for y.
-1
Let w be (-8)/(-10) - -9*(-10)/(-75). Solve 6 = -w*s + 4*s for s.
3
Suppose -9*f = -25*f + 32. Let i = -22 - -24. Solve -i*g - f = -8 for g.
3
Let n(i) = -4*i**2 + 40. Let k(m) = 2. Let x(v) = -40*k(v) + 2*n(v). Let u be x(1). Let p = u + 8. Solve p = 5*f - 0 - 5 for f.
1
Suppose -35 = 17*f - 22*f. Let v(a) be the first derivative of a**2/2 + 18*a - 5. Let p be v(-14). Solve f = -p*n - 5 for n.
-3
Suppose 0 = 2*c + 8, -5*t - 2*c + 6*c = -31. Solve -4*z = -3*z + t for z.
-3
Let c be (-4)/1 - (-44)/(-4). Let a be (-65)/(-25) - (0 + (-9)/c). Solve 10 = a*y + 2 for y.
4
Let p(d) = 39*d - 3428. Let k be p(88). Let i(u) be the third derivative of -u**5/60 + u**4/4 + 5*u**3/6 + u**2. Let r be i(6). Solve -k*q + 3*q = -r for q.
5
Let t(g) = g - 20. Let p be t(0). Let z = -19 - p. Solve -5 = -i - z for i.
4
Suppose 0*f + 2*f + 4*t - 48 = 0, -4*t = -2*f + 32. Suppose -2*z + y = -19, 4*y - f - 34 = -5*z. Solve l = -l + z for l.
5
Let i = 27 - 20. Suppose 2*a = 3 + i. Solve -a*k = -7*k for k.
0
Suppose 10 = 3*y - 2*w, -11*w + 10*w + 4 = 3*y. Solve y*o - 48 = -56 for o.
-4
Suppose -w = -g - 2, w + 10 = 2*g - 3*g. Let v be 11/(22/(-12))*4/g. Solve -v*o - 6 = -o for o.
-2
Let g(w) = -w**2 - 4*w + 1. Let f be g(-3). Suppose 4*d + 3 - 11 = 0. Suppose 21 = 2*o - d*n - 3, n = -4*o + 43. Solve f + o = 3*r for r.
5
Suppose 0 = 5*j - 4*k - 9, -4*j = 2*k - 11 - 17. Solve -j*t - 2*t + 7 = 0 for t.
1
Suppose -19*x = -10*x. Let f(i) be the first derivative of -i**4/4 + i**3/3 + i**2 + 4. Let s be f(2). Solve s = -3*v - x*v + 15 for v.
5
Suppose -10*y + 22 = -8*y. Solve -3*r + 4 + y = 0 for r.
5
Let c = 1 + -3. Let g be ((-2)/c + -1)*-1. Suppose g*k + k = 0. Solve k*y + y = 4 for y.
4
Let z be (-7 - -10) + -3 + (2 - 0). Solve 0 = z*r - 7 + 5 for r.
1
Suppose -8*f - 2*s - 34 = -3*f, s - 22 = 4*f. Let z be f/(-2) + 0/(-1). Suppose z*m = m. Solve -c + 6*c = m for c.
0
Let l(p) = -2*p**2 - 11*p - 25. Let s(m) = -m**2 - 5*m - 13. Let k(d) = 3*l(d) - 5*s(d). Let i be k(-5). Solve i*j - 6 = 4 for j.
2
Let z be -2*((-95)/10 - -3). Solve -10*w - 12 = -z*w for w.
4
Let r(l) = -l**2 - 8*l + 4. Suppose -a - 6 - 2 = 0. Let i be r(a). Suppose 3*w + k - 4 = 0, -2*w + 26 = -5*k - 5. Solve 0 = -3*f + i*f + w for f.
-3
Let p be 3*(6 - 24/9). Solve -p*h = -9*h - 4 for h.
4
Suppose 56 = -15*y + 22*y. Solve -3*q - y = q for q.
-2
Let c be 1*4/(-6) - 204/(-36). Suppose -65 = -7*y + 3*y - c*r, -2*y + 4*r = -52. Solve 4*l - y = -l for l.
4
Suppose -6*t = 40 + 170. Let x = t + 37. Suppose 0*f = -x*k + f + 10, 4*k - 28 = 4*f. Solve c - k = -2*c for c.
1
Let z be 208/312*(-12)/(-2). Solve z = -27*d + 28*d for d.
4
Let r be 96/(-30) + 3/15. Let c be 2 + (-6 - r) + 5. Let y be 21/6 - 1/(-2). Solve y*z + 0 = c for z.
1
Let j = 0 - -3. Suppose 3 = j*d + o, d - 4*o + 2*o - 8 = 0. Solve -d*x + 3 = -1 for x.
2
Suppose -26*z + 27*z - 36 = 0. Let j = z + -29. Solve j*v = 2*v + 20 for v.
4
Let f = -1072 + 1081. Solve 7*z - 6 = f*z for z.
-3
Suppose -98*w = -97*w - 4. Solve -1 - 3 = -w*n for n.
1
Let f(x) = 20*x**2 - 97*x - 5. Let t be f(5). Solve -37*m - 54 = -t*m for m.
-2
Suppose t = 4*t + 3. Let s = t + 6. Solve 15 = s*w - 5 for w.
4
Let m(r) = -r**3 + 14*r**2 + 16*r + 1. Let a be m(15). Solve 174*n - 178*n - a = 0 for n.
-4
Let m(a) = a**3 + 7*a**2 - 3*a - 30. Let g be m(-6). Solve g*c - 27 = -3*c for c.
1
Suppose -4*c - c = 0. Suppose -2*x - 2 = -4*a, -3*x - 4*a = -c*a - 17. Suppose -6*k + 10 = -2*k + 2*w, -4*k + 4*w + 4 = 0. Solve -k*r = 1 + x for r.
-2
Let c(x) = 57*x + 4. Let u be c(1). Suppose 2*j + u - 67 = 0. Solve -j*w = -0*w - 9 for w.
3
Suppose o = -3*p + 5, 0 = p - 2*o - 12 + 1. Let k(t) = -2*t**2 - 11*t + 1. Let c be k(-5). Let r be 1 + (p + c)/3. Solve 3*z - 2 = r*z for z.
-2
Let c(j) = j**2 - 3*j - 2. Let g be c(4). Let z = -50 + 50. Suppose 8 = -4*x - 2*h - 3*h, z = -4*x + g*h + 20. Solve 0 = 2*q + 3 + x for q.
-3
Let h(i) = -i**2 + i + 48. Let s be h(-6). Solve s*y - y = 20 for y.
4
Let q(g) = g**2 - 3*g - 5. Let d be q(-2). Let h be 99/6 - 1/(-2). Let w = h + -12. Solve -d*p + 0*p = w for p.
-1
Let m(l) = 2*l**2 - 26*l - 83. Let h be m(20). Solve h*c + 3 = 198*c for c.
3
Suppose 4*s = 54 - 38. Suppose 0 = -5*u + s - 4. Solve u*r = -3*r - 9 for r.
-3
Let j be 20/6 - 240/(-360). Solve -j*k = -6*k + 2 for k.
1
Let s be (-1 - (-15)/20) + 73/4. Solve -4*b = s - 2 for b.
-4
Let h be (-32 - -2)/(24 - 26). Solve 2*c - h = -23 for c.
-4
Suppose 0 = 18*p - 693 + 603. Solve 7*o - p = 6*o for o.
5
Suppose -2*h = 4*o - 3*h - 17, 0 = 5*o + 2*h - 5. Suppose 4*p - r + 1 = 5*p, -o*p + 4 = 2*r. Solve 0 = -b + p*b for b.
0
Suppose 0 = -2*p - 3*p + 5*s + 5, 3*p + 5*s = 27. Solve 11 - 19 = p*z for z.
-2
Suppose -98*z + 85*z + 156 = 0. Solve 12*m = 16*m - z for m.
3
Let x = 210 - 206. Solve -4*i + x = -3*i for i.
4
Suppose 33*a - 33 = 22*a. Solve -a*o + o = 6 for o.
-3
Suppose -2*f - 13*f = -135. Solve 10*a - f*a = 1 for a.
1
Suppose t - 4 = -4*x - 1, -3*t = x - 9. Suppose -16