for t.
1
Suppose -4*c + 54 - 20 = 5*f, -2*c + 5*f + 32 = 0. Suppose a - c - 18 = 0. Let d = -27 + a. Solve -d*h - 6 = -2 for h.
-2
Suppose n = -2*m + 52 - 7, -3*m + 85 = 5*n. Solve -m = -25*v + 30*v for v.
-4
Let k(i) = i**2 - i + 2. Let t be k(0). Suppose 0 = 2*x + 5*b - 26 - 13, x + 4*b - 27 = 0. Let p be (3 - (1 + 1))*3/3. Solve -t*f - p = x for f.
-4
Suppose 4*u + u = 0. Let x be -3 - (78/(-10) + 5/(-25)). Solve u - x = -t for t.
5
Let f(y) = 2*y**3 - 9*y**2 - 3*y. Let o be f(5). Solve 38 = 7*u + o for u.
4
Suppose 0 = -31*h + 25*h + 30. Solve -h*x - 14 = 6 for x.
-4
Let d be 1/(-2) - 21/6. Let b(x) be the second derivative of x**4/12 - x**3/6 + 5*x**2/2 + 4*x. Let n be b(d). Solve -7*t = -2*t + n for t.
-5
Let z = 765 + -709. Solve -13*s - z = s for s.
-4
Let v = 14 + -5. Let r be 0 + 6*(-6)/v. Let n be (-2)/r - 15/(-10). Solve -n*b = 3*b - 20 for b.
4
Let x(g) = 2*g + 12. Let s be x(-5). Suppose 0 = -c + s + 3. Solve 0*h = -c*h + 25 for h.
5
Suppose -4*j + j = -2*j. Suppose 2*p = -h + 11, j*h + 2*p = -4*h + 26. Solve -g - 3 = -h for g.
2
Let m(s) = s**2 + 5*s - 1. Let k be m(-6). Let r be ((-3)/(9/10))/(62/(-93)). Let x(z) = 4*z + 32. Let t be x(-8). Solve 0 = -t*q - r*q - k for q.
-1
Suppose 6 = -2*d + 4*d, 4*q - 99 = -5*d. Solve 33 = q*b - 32*b for b.
-3
Let p(a) = a**3 + 39*a**2 + 142*a + 86. Let n be p(-35). Solve 3 = n*l + 35 for l.
-2
Let d(a) = -a**2 + 6*a. Let h(u) = u**3 + 7*u**2 - 6*u + 11. Let b be h(-8). Let x = b + 11. Let t be d(x). Solve 2 = -t*w - w for w.
-2
Let u(t) = -t + 12. Let k be u(9). Suppose -4*o + 7 = k*y - 36, 25 = 2*y - o. Let w = y - 11. Solve 0*x + 2*x = -w for x.
-1
Let u(r) = 2*r**2 + 5*r + 3. Let p be u(-3). Suppose -p = 4*b + 14. Let s be -2 + b/((-10)/16). Solve l = -1 + s for l.
5
Suppose 0*j = -4*j - 5*b + 3, -5*b = 3*j + 4. Solve j*z - 10*z = -19*z for z.
0
Let y(g) = 3*g + 55. Let p be y(-17). Solve p*l - 6*l - 8 = 0 for l.
-4
Let s = -183 + 333. Let g(p) = 0*p**3 - s*p - 9*p**2 + 3 + 140*p + p**3. Let c be g(10). Solve c*r - 5*r = -2 for r.
1
Suppose 5*n = -n + 84. Solve -5 = -19*m + n*m for m.
1
Let i be (1 - -1)*(-253)/(-46). Solve 0 = -5*r - i - 14 for r.
-5
Let s be (5 + 1)*6/(-9) - -7. Solve 3*q - 6 = s for q.
3
Let c = 4 - 1. Let v = 23 - 20. Let s = c + v. Solve -2*r + s*r = 0 for r.
0
Suppose -4*p + 72 = -5*s, 9 = p - 3*s + 4*s. Solve 5 = p*z + 18 for z.
-1
Let p(r) = -r**2 + 2*r - 3. Let u be p(3). Suppose 3*w + 8 = -34. Let t = u - w. Solve a - 3*a = t for a.
-4
Let b(n) = -n**2 - n - 3. Let a be b(-3). Let q be (-24)/a - (-1)/3. Solve -7 = m - q for m.
-4
Let p be (-8 + -2)*(3 - 1). Let s = p - -21. Let h(u) = 4*u**2 - u - 1. Let o be h(s). Solve -o*g + g + 2 = 0 for g.
2
Let s be (-2)/6*15 - 1*-32. Solve -5*g - 4*g = s for g.
-3
Let t be (-3)/(-1)*6/9. Suppose 13*l - 3*k + 6 = 9*l, -4*l = 3*k - 6. Solve l = -t*m + 6*m + 8 for m.
-2
Suppose 55*d = 58*d + 231. Let f = -77 - d. Solve f = 3*a - a + 8 for a.
-4
Suppose 0 = -h + 2*z + 5, -5*h + z = -z - 65. Suppose -6*v = -h + 3. Solve 0*l = -v*l - 8 for l.
-4
Let b(r) = r**2 + 5*r - 8. Let z be b(-8). Suppose 1 = -3*q + z. Solve 5*u + q + 5 = 0 for u.
-2
Suppose -20*g = -25*g - 135. Let d be (9/(g/12))/(-2). Solve d = -0*f - f for f.
-2
Suppose 0 = -0*u - 3*u + 6. Suppose 0 = 2*v - 4*f, 5*v + 1 = -u*f + 13. Solve -k = v*k + 9 for k.
-3
Let s be (-9)/(-6)*42/7. Suppose x = -1, -5*t + 2*x - 18 = -s*t. Suppose -i - 3*c = -3*i + 10, 3*i - 4*c = 14. Solve 3*m + i = t*m for m.
1
Let d(i) = -2*i - 11. Let k be d(-8). Suppose 0*v - 2*v + w = -37, -w = k. Suppose -v = -4*z, c - 3*z = -0*z - 12. Solve c*j = -4*j + 20 for j.
5
Let d(s) = -3*s - 14. Let v(f) be the first derivative of f**2 + 2*f - 4. Let c be v(-4). Let o be d(c). Solve -o*t = -9*t for t.
0
Let s = -175 - -179. Solve 6*w - 8 = s*w for w.
4
Suppose 5*r + 4*q - 84 = 0, -r + 9*q - 12*q = -8. Solve -4*h = h + r for h.
-4
Let p be 0*(0 - -3)/(-6). Let v be 6 + -1*(-18)/(-6). Solve v*h = -p*h - 3 for h.
-1
Let k be (-20)/(-8) + -3 - 9/(-2). Suppose -4*a + 0*a = -k*l - 20, -2*l - 13 = -5*a. Solve -4*c - a - 11 = 0 for c.
-3
Let w be 3*(-92)/(-12)*1. Let o = w - 17. Let y be (12/20)/(o/20). Solve -2*i = y*i for i.
0
Suppose -14*g = -12*g. Solve -2*b + 5*b = g for b.
0
Let k = 2 + 0. Let u = 362 - 354. Suppose -u = -k*g - 0*g. Solve -a + g = -2*a for a.
-4
Let c = -14 + 24. Let l(u) = u**2 - 11*u + 16. Let g be l(c). Solve -b + g = 1 for b.
5
Let h = -11 + 14. Suppose -2*i + 0*i + 2 = 3*q, h*q = 2*i + 22. Suppose -4*v + q = c + c, -5 = -c + v. Solve -c*d = -2*d + 10 for d.
-5
Suppose -2*o + 92 = -106. Let q = 101 - o. Solve -6*b = -8*b - q for b.
-1
Suppose -4*l - 36 = -2*o, 4*o = -7*l + 3*l + 24. Solve -6*f + 8*f = o for f.
5
Let u be (54/12)/(6/20). Let i be (-4)/6 - (-175)/u. Solve -i = -5*q - 36 for q.
-5
Let f = 39 - 39. Suppose 3*x - 4 + 4 = f. Solve x = 2*d - d + 1 for d.
-1
Suppose 6*r - 13 = 5. Suppose -3*w + 14 = m, 2*m = -2*w + r*m + 11. Solve w*d - 18 = 7 for d.
5
Suppose t + 2 + 3 = 0. Let b be t/(-15) - -3 - (-2)/(-6). Solve 20 = v + b*v for v.
5
Suppose -3*o + 2 + 10 = 0. Suppose 3*w = -u + 4*w - 6*w, 0 = 2*u + w. Solve o + u = -g for g.
-4
Suppose 0*o = 2*l - 2*o - 40, 37 = 2*l - 5*o. Let j be 7/2*(96/l + -4). Solve 0 = j*d - 0 + 10 for d.
-5
Suppose -22 + 54 = 8*t. Solve -6*u + t = -4*u for u.
2
Let l(k) = 2*k**2 - k + 1. Let a be l(-1). Solve 3*j = 8 + a for j.
4
Let t be (-12)/(-2 - (1 - -1)). Solve -t*n - 2 = -4*n for n.
2
Let v = -373 - -380. Suppose g + 12 = 4*g. Let j(k) = -k**2 + 6*k - 4. Let l be j(g). Solve 0 = -l*m - v - 1 for m.
-2
Suppose -4*a - h = -119, -3*h + 27 = 4*a - 90. Let p be (2/2)/(15/a). Solve -x = -p + 7 for x.
-5
Suppose 0 = -2*l - x - 9 + 47, -l - 4*x + 33 = 0. Suppose -h + 15 - 2 = -2*w, -3*h - 2*w + 7 = 0. Let j = h - 0. Solve -8 = j*n + l for n.
-5
Let t(m) = -17*m**2 - 1. Let n be t(-1). Let g = 0 - n. Let j = 23 - g. Solve -2*z + 3 = -j for z.
4
Suppose -3*t = -8*t. Suppose 4*g + 3*f - 97 = t, 3*g + 14 - 88 = -f. Solve 6*j + g = j for j.
-5
Suppose 2*z - 8 = -o, 9*o + 4*z - 6 = 12*o. Solve -6*d - o*d + 16 = 0 for d.
2
Let v be 3/(1*1/1). Suppose -z - 3*x - 4 = -0*x, -x + 8 = 5*z. Solve 0 = v*q - z*q + 4 for q.
-4
Let t(v) = 2*v**3 - 17*v**2 + 10*v - 13. Let b be t(8). Solve m = -b*m - 4 for m.
-1
Let z = -10 + 10. Let o = 5 - z. Let c be (-9 - -14)*(1 - -1)/1. Solve o*t - 3*t = c for t.
5
Let t(v) = 20*v**3 + v - 1. Let c be t(1). Let r = c + -20. Solve r = 3*w - 8*w + 20 for w.
4
Let u be (32/5)/((-54)/(-135)). Solve u*r + 4 = 20*r for r.
1
Suppose 5*b - 171 = -3*a, 4*a + 109 - 18 = 3*b. Solve -11*s - b + 0 = 0 for s.
-3
Suppose 50 = -0*b + 5*b. Let q be 528/77 - 2/(-14). Let d = b - q. Solve d - 4 = -x for x.
1
Suppose -h + 0*h = -4. Let v be (18/(-27))/(h/(-6)). Let b(i) = 8*i**3 + 2*i**2 - i. Let k be b(v). Solve d - 4*d = k for d.
-3
Let f(x) = x - 2. Let j be f(0). Let l be -5*1/1*(-10)/(-25). Let c be (2 + j)*l/(-4). Solve 0 = -v - c*v for v.
0
Suppose k - 10 = -k. Suppose -2*y + 0*l + 4 = 2*l, -5*l - 10 = -5*y. Suppose 17 = k*r + y. Solve -r*d = d + 8 for d.
-2
Let h(i) = -4*i. Let w be h(1). Let m(c) = c**2 + 4*c + 5. Let g be m(w). Let j be (g/4)/((-4)/(-16)). Solve j*q - 28 = -3 for q.
5
Suppose -5*d + 1 = 4*k + 12, -8 = -5*k + d. Let s be (2 - (0 - 0))/1. Solve -3*c + s = -k for c.
1
Suppose 12*y = 36 + 24. Solve 0 = -4*o + y*o - 4 for o.
4
Let s(p) = 45*p - 3. Let w be s(1). Let y be (-14 + -1)*(-14)/w. Solve 5 = -y*m - 0 for m.
-1
Let g be (-9)/(-4) - 1/4. Let l(x) = -8*x - 55. Let s be l(-7). Suppose u - p = 2*p - s, 23 = 5*u - p. Solve -u + 3 = g*r for r.
-1
Let s = 51 - 49. Solve 9*w - 8*w - s = 0 for w.
2
Let l = 44 + -21. Suppose 1 + l = 8*n. Solve -n = w + 1 for w.
-4
Suppose 3*a = 4*x + 38, 18 = a - 2*x + 2. Suppose -10*q + 7*q = -a. Let r be 1 + 4/(q - 1). Solve -r*m + 13 = -12 for m.
5
Suppose 0*b = -4*b + 2*m - 20, 5*m = -20. Let u = 9 + b. Let t = -65 + 68. Solve u = -t*i + 11 for i.
3
Let w be 3/(7 - (-3 + 9)). Solve w - 6 = -x for x.
3
Suppose -4*d = -2*r + 68 + 44, 4*r + 5*d = 211. Suppose -p + 59 = r. Solve 10 + 10 = -p*o for o.
-4
Let s = 6 - 6. Suppose s = -4*j + 9 - 1. Solve 0 = -j*d - 0*d for d.
0
Let k(o) be the first derivative of -o**2/2 - 8*o + 6. Let u be k(-9). Let r be u/(-2) - (-121)/22. Solve 0 = l -