7 - 255 = -u*f for f.
2
Let a = 5 - 3. Let s = 156 + -154. Suppose -s*t = 4*l + 2, 0*t - 11 = -t + 4*l. Solve a*x - 9 = -t for x.
3
Let l be 15/12 + (25/(-20) - -2). Suppose 0 = l*x + 2*x - 20. Suppose 0 = x*o - 1 - 19. Solve o*n + 10 = -6 for n.
-4
Let r be (4/2 - 2) + 5. Suppose -38*k + 690 = 45*k + 32*k. Solve 11*f = k*f + r for f.
1
Suppose 4*d - 4*w + 36 = 0, -9*d = -6*d + 2*w + 52. Let c be (-58)/d + 34/(-238). Solve -10 = c*u - 14 for u.
1
Let u be ((-644)/(-112))/((-6)/(-72)). Solve 6*a - u = -75 for a.
-1
Let l be 3/((6/(-2))/(-34 + 35) - -4). Solve -25*v - 53 + l = 0 for v.
-2
Let g = -7928 + 7936. Solve 978*x + g = 974*x for x.
-2
Suppose -1194 = -5*i - 1084. Suppose 10*g - 5*t + 51 = 11*g, -t = -2*g + 47. Solve 8 = -i*x + g*x for x.
2
Let a(y) be the third derivative of 7*y**5/6 + y**4/4 - y**3 - 2*y**2 - 19*y. Let i be a(1). Solve -i = -4*o - 78 for o.
-2
Suppose -6*f + 1825 = 19*f. Suppose -40 + f = 11*h. Solve h*u - 2 = -11 for u.
-3
Let o be ((-240)/(-160))/(2/348). Solve -54 = 45*a + o for a.
-7
Suppose -1539*n - 36 + 12 = -1547*n. Solve -n*c - 21 + 33 = 0 for c.
4
Suppose 2*b - 42 = -4*a, 4*a - 114*b = -118*b + 40. Solve -37 = -26*k - a for k.
1
Let q(c) = -c**3 - 16*c**2 + 33*c - 27. Let u be q(-18). Solve u*s = 4*s - 23 for s.
-1
Suppose 27586 = 224*s - 8254. Solve s + 211 = 53*a for a.
7
Suppose -2*s + 2 = -a, -2*s = 2*a - 0*s - 2. Let y(w) = 9*w**2 - 3*w - 10. Let f be y(5). Suppose -f + 146 = -3*n. Solve a = -5*l + n + 7 for l.
5
Let k(w) = -2*w**3 - 5*w**2 - 22*w + 12. Let g(y) = -3*y**3 - 11*y**2 - 43*y + 22. Let r(q) = 4*g(q) - 7*k(q). Let x be r(6). Solve -2*j + x + 6 = 0 for j.
5
Let n(v) = 7*v**2 - 25*v - 10. Let h be n(4). Solve 71*c = 73*c - h for c.
1
Suppose -5*t - 302 = 6*m - 8*m, 4*m + 5*t - 604 = 0. Let b = 169 - m. Solve -2 - b = 5*s for s.
-4
Let u be ((-392)/(-7))/(14/10 + -1). Let r = u - 140. Solve r = 6*x - x - 15 for x.
3
Suppose -5*a + 3*u = 19, 3*a + 5*u - u = -23. Let c(m) be the first derivative of -m**2/2 - 3*m + 1514. Let o be c(a). Solve r + o = 2*r for r.
2
Let b = -150 + 157. Suppose 37*h - 20 = 32*h. Suppose 0 = -f - 2*f - n - 5, 0 = h*f + 4*n + 20. Solve b*i - 6*i = f for i.
0
Let z(m) = m**2 - 2*m - 27. Let y be z(5). Let h(n) = n**2 + 13*n + 16. Let o be h(y). Solve 5*x = o*x for x.
0
Let v be (-15)/40 + (-72)/(-192). Solve v = 27*s - 16 - 11 for s.
1
Let y(b) = -b**2 + 12*b - 20. Let r be y(10). Suppose -h = -z - 2*h, r = 5*z + 4*h - 5. Solve 4 = -z*x - 1 for x.
-1
Let z = -826 + 372. Let g be (4/(-7) - z/(-14))/(-1). Suppose -37*q = -g*q. Solve q*i = 5*i for i.
0
Let s be (-2210)/(-13)*(-2)/(-4). Let k = -83 + s. Let z be (k/4)/(1*4/24). Solve 7*t + 20 = z*t for t.
-5
Let m be -7 + 1 - (59 + -145). Solve m = 3*c + 56 for c.
8
Let b(x) = -52*x**3 - 4*x**2 - 3*x. Let m be b(-2). Let k = m - 391. Solve 0 = 3*g + k - 6 for g.
-3
Let t(v) = -2*v**2 - 16*v - 15. Let c be t(-7). Let h(z) = 3*z + 7. Let i be h(c). Solve i*u + 23 - 11 = 0 for u.
-3
Suppose 7*d = d + 90. Let c = 13602 - 13593. Solve -d*u - 6 = -c*u for u.
-1
Let i be (-6)/(-57) - (-3)/((-171)/(-336)). Suppose -2*y = -i*y - 2*l + 54, -2*y - 2*l = -30. Solve 10*n = -y + 62 for n.
5
Suppose -3*k = 0, 36*k - 524 = -y + 35*k + 1345. Solve y*d - 1871*d = -2 for d.
1
Suppose -3*w = -2*g, -4*g - 5*w = -10*w. Suppose 4*b - 36*l = -41*l + 71, 9*b - 53 = 4*l. Solve -3*z + b*z = g for z.
0
Let a(p) = 8 + 17 - 3*p + 5. Let f be a(12). Let y be 3/(f/(-16)) + -4. Solve -y*n + 1 = -19 for n.
5
Let h(y) = 3*y**2 + 63*y + 66. Let z be h(-20). Let p be z/21 - (-8)/((-392)/(-623)). Solve p*g + 20 = 8*g for g.
-4
Let q(i) = 2*i**3 - 3*i**2 + 4*i + 30. Let w be q(-4). Let z = 164 + w. Solve z*f = -0*f for f.
0
Let v(z) = -z**2 - 18*z + 2. Let s be v(-18). Suppose s*t - 184 = 2*k, -5*k - 286 = 6*t - 9*t. Let n = -83 + t. Solve n*c = 2*c + 4 for c.
2
Let f be ((-1)/2)/((-3 - -1)/8). Let g(y) be the third derivative of -y**5/60 + 2*y**4/3 + y**3/6 - 2*y**2. Let i be g(15). Solve f*m - i = -2*m for m.
4
Let y(b) = -b + 20. Let n be y(13). Suppose 0 = -2*p + 13 - 37. Let m be (n + p)*2/(-5). Solve -m + 22 = 4*k for k.
5
Let t(b) = -26*b + 90. Let x be t(2). Solve x = 26*a - 92 for a.
5
Let h(c) = c**3 - 39*c**2 + 199*c - 8. Let u be h(33). Solve -u*q = -23*q + 4 for q.
-2
Let p be (-66)/(-9)*((-1363)/(-517) + (-4)/(-11)). Solve 0 = -33*v + 11*v - p for v.
-1
Let m(h) = -h**3 + 26*h**2 - 153*h - 151. Let x be m(15). Solve x*a - 159 = -24*a for a.
3
Suppose 2*f = -2*k + 20, -2*f = -4*k - 0*f + 16. Suppose -2*q + 5*q = -s - 19, -3*s = q + 17. Let t be (1*s)/(-4 - -2). Solve k*b + 4 = t*b for b.
-1
Let b be (-4)/10 + (-109832)/(-680) + 6/(-51). Solve -22*m - 29 = -b for m.
6
Let r(w) = -w**3 - w**2 + 5*w + 2. Suppose -4*u + 2*u - 6 = 0. Let j be r(u). Let d(g) = 24*g**2 + 26*g - 27. Let c be d(1). Solve j*i - c + 8 = 0 for i.
3
Let i be (1 - 1)*(13 + 567/(-42)). Solve i*c - 9*c - c = 0 for c.
0
Let b = 12 - 3. Let o(p) = p - 7. Let u be o(b). Suppose -3*x + 6 = 0, x + 19 = 4*m - 15. Solve u*i + m = -1 for i.
-5
Let i be 1 + -1 - 1*24/(-12). Solve -12 = i*t + 10*t for t.
-1
Let o(t) = -t**2 - 8*t - 12. Let n be o(-6). Suppose n = 5*u - 8*u. Suppose -5*g - 2*a + 5 = -7*a, 3*g + 3*a = 9. Solve u = -f - f + g for f.
1
Let o be (-4)/16*-10*(-144)/(-30). Suppose 5*h = o*h - 29*h. Solve 3*n - 6*n - 6 = h for n.
-2
Suppose 3*o = 2*l + 50, 5*o = -l + 2 + 77. Suppose 5*v = 2*i + 8*v - 33, 5*v = -i + 13. Solve o = c + i for c.
-2
Suppose -6842*x + 6865*x - 69 = 0. Solve 0 = 32*s - x + 35 for s.
-1
Suppose 8*g = 3*g + 40. Let t be (50/g + -7)*-24. Let u be (2/3)/((-2)/(-15)). Solve -t = -u*n + 2 for n.
4
Let i(s) = -s**3 - 43*s**2 - 118*s + 80. Let m be i(-40). Solve m = 219*j - 216*j + 9 for j.
-3
Let x = 41 - 20. Let z = x + -21. Suppose 10 = 4*v + 2*n - z*n, 1 = n. Solve -p - 4 = -v*p for p.
4
Let m(l) = 5*l**2 - 33*l - 8. Let h be (315/30)/((-6)/(-4)). Let z be m(h). Solve -v - z = v for v.
-3
Let k be ((-2)/(-5))/(762/11430). Solve 0 = -k*v - 62 + 8 for v.
-9
Let w(h) = h**2 + 5*h - 32. Suppose 1 = -3*d + 3*v - 29, 2*v = -3*d - 25. Let t be w(d). Solve 3*y - 4*y = -t for y.
4
Let v = 4076 - 4044. Solve -90 - 38 = v*z for z.
-4
Let v be 4 + (3 + -1 - -2). Let a be (-1)/(-2)*(8 - v). Suppose a = 3*z + h, 2*z + h - 8 = 3*h. Solve -2*r - z + 3 = 0 for r.
1
Let o be 1/2*0*3/(-18). Suppose -2*v - 5*i - 19 + 58 = o, 0 = -3*v - i + 39. Let t(c) = -c + 2. Let w be t(2). Solve w = -2*k - 2 + v for k.
5
Let t = 5107 - 4470. Solve -2*g + 627 = t for g.
-5
Suppose 9464 = 75*z - 25711. Solve 463*r - z*r = 30 for r.
-5
Suppose -5*a - 2 = t - 12, 0 = -4*a - 3*t - 3. Let s be (30/18 - 0)/(a/18). Solve 0 = 8*k - s*k - 2 for k.
-1
Let v(t) = -t**2 - 74*t + 1564. Let x be v(17). Solve x = 50*q - 33*q for q.
1
Let p(q) = q**2 - 9*q + 22. Let d be ((-8)/24)/(-2*2/72). Let u be p(d). Suppose -29 = -u*m - y + 31, -4*m + 60 = -y. Solve m = -4*i - i for i.
-3
Let l be -309*((-96)/(-160))/(18/(-10)). Solve -l = -f - 107 for f.
-4
Let y be -9 - -31 - (-10)/(-2). Let a be 13/(15/y + 86/731). Solve 19*z = 6*z - a for z.
-1
Suppose -24*c + 4*c = -4740. Let n = -230 + c. Solve 2 = 5*g + n for g.
-1
Let c = -7422 - -7449. Solve c = -1245*l + 1254*l for l.
3
Suppose -3*g = -2*k - 18, -2*g + 0 = 3*k - 25. Let x be (11/(-44))/(5/g)*-5. Suppose -n - n = 0. Solve n*f = x*f for f.
0
Let x be (-36)/(-16)*(-400)/(-75). Let d = 11 + -8. Solve d*b = -b - x for b.
-3
Let l = 6704 - 6704. Solve l*z = -z for z.
0
Let f(p) be the third derivative of -p**5/60 - p**4/24 + 56*p**3/3 - 89*p**2 + 1. Let x be f(-11). Solve -x = 10*v - 11*v for v.
2
Suppose 5*t + 87 = -83. Let n = 774 - 808. Let x = t - n. Solve -4*c = -x*c + 8 for c.
-2
Let i(d) = -4*d + 113. Let f be i(17). Solve -14*n = -23*n + f for n.
5
Let o be (-14)/(-12) + (-803)/(-438). Solve -11*f + 8 = -o*f for f.
1
Suppose -46 = -5*g - 9*b, 7*b - 16 = -4*g + 5*b. Solve -g*q - 15*q - 153 = 0 for q.
-9
Suppose 588*o - 10329 = 275*o. Solve o*k = 167 - 2 for k.
5
Let w = 58 - 50. Let n be ((w/(-6))/4)/((-9)/81). Solve 0 = -n*x - 5 - 4 for x.
-3
Suppose -165*w - 2350 = -160*w. Let n = w - -482. Solve -3*b - n = -6*b for b.
4
Let d(y) = -y**3 - 15*y**2 - 14*y + 10. Let t be d(-14). Suppose 5*m = 2*f + 3*m - t, 0 = -2*m. Solve 4*z = -1 + f for z.
1
Suppose 4*s