= -f for a.
-3
Let a be -6*((-407)/33 - -11). Solve -a = 19*l - 11*l for l.
-1
Let m(k) = -k**3 - 10*k**2 - 12*k - 27. Suppose 5*g - 7 = -17. Let z be g/11 - (-1455)/(-165). Let c be m(z). Solve -3*l = -c*l - 15 for l.
5
Suppose -m - 5*b + 18 = -0*b, -2*b + 21 = 5*m. Suppose 10 = m*k - 44. Suppose 29 - k = i. Solve 5*h - 26 = -i for h.
3
Let m be ((-468)/(-48))/(6/(-368)). Let d = m - -628. Solve 6*q = d - 6 for q.
4
Suppose -3 = 3*t, -s - 3*t - 53 = 2*t. Let p be 1 - -2 - 0/s. Solve p*f = -2 + 8 for f.
2
Let v(h) = h**3 + 11*h**2 + 23*h + 79. Let j be v(-7). Solve 156*d = 175*d + j for d.
-6
Suppose -16 = -4*j + 36. Suppose -25 - j = -19*u. Solve -2*i - i + u*i = 0 for i.
0
Suppose 2*f + 15*f = -2*f. Suppose f = 10*n - 5*n - 10. Solve n*q = -9 + 11 for q.
1
Let y = 91 + -170. Let g = y + 84. Solve -12 = -g*x - 17 for x.
-1
Suppose 4*c = -4*l + 12, -5*l - 45 = -c - 4*c. Let d be (12 - 10)*c/4. Solve 3*m + 30 = -d*m for m.
-5
Suppose 0 = -4*q + 5*g - 12, g - 5*g = 5*q - 26. Let r(j) = j**2 - 7*j + 6. Let y be r(6). Suppose y*z + 6 = 2*z. Solve -z = -q*v - 1 for v.
1
Suppose 0*j + j - 11 = 0. Suppose k - 3*p = 18, 24*k = 28*k - 3*p - 27. Suppose 2*r + k*a = 43, 5*r = -3*a + 52 + 33. Solve 5*y + j = -r for y.
-5
Let x = 495 - 489. Let z = 9 + -4. Let v be 3/(9/x) + z. Solve 0 = y - v + 4 for y.
3
Let i(p) = 10*p - 5. Let z be i(1). Let l be ((-355)/(-25) - z)*15. Let b = l + -135. Solve -b*w + 25 = -8*w for w.
-5
Let a be -5 + (149/10 - (-1)/10). Suppose q - 3*w - 20 = 0, -5*q + 29*w - 24*w + 100 = 0. Solve -5*l - q = -a*l for l.
4
Let l = -2 + 6. Suppose -5*t = -2*y, -l*t = y + 3*y. Let u be 16 - (-33 + (-918)/(-27)). Solve 3*g - u + 3 = t for g.
4
Let h be -11 - (-23 + (-16)/(-2)). Solve 25 - 49 = -h*s for s.
6
Let s be (36/(-42))/((-15)/140). Let i(l) = l**3 + 7*l**2 + 6*l + 4. Let z be i(-4). Suppose 0 = -r + s*r - z. Solve 4*f + r = -0*f for f.
-1
Let p(r) = -2*r. Let w be p(-1). Let m = 55 + -246. Let g = m - -193. Solve -4 = w*v - g for v.
-1
Let b be (-9)/(-6)*2 - 1. Suppose -214*q = -281*q + 134. Solve 3*x = q*x - b for x.
-2
Let t be (-84 - (5 - 2))/(-3). Suppose v = -2*w + t + 2, -3*w - 4*v = -49. Solve 5*k + w = 10*k for k.
3
Suppose -4*b - 8 + 12 = 0. Suppose -2*j + 3 = -b. Suppose j*x = g + 4, 0 = -4*x + 2 + 10. Solve 0*r - 10 = g*r for r.
-5
Let d be (((-70)/8)/5)/((-261)/1044). Solve 0 = d*x + 58 - 37 for x.
-3
Let f be 9 - (-1 - 4/(-2)). Suppose -2*m - y = -16, 0 = 2*m - 7*m + 3*y + 18. Solve 8*l - m*l = f for l.
4
Let f be ((-2)/(-4))/((-2)/(-28)). Let m(l) = l**2 - 48*l + 384. Let h be m(38). Solve h*y - f - 1 = 0 for y.
2
Let z be 114/10 - (-3 - 60/(-25)). Suppose 0 = c + 5*c - z. Solve -1 - c = -l for l.
3
Suppose -1343 = 3*u + 40*u - 6503. Solve 25*t = 5*t + u for t.
6
Suppose -2244 = -71*r + 65*r. Let s = r + -370. Let t(b) = -2*b - 3. Let h be t(-3). Solve h*l + s = 2*l for l.
-4
Suppose 4*y + 0*y + r = 241, y + 5*r - 65 = 0. Suppose 5*f - 21 = -3*u, 0 = 4*u + 5*f - 9*f - y. Solve 70 = -u*b + 10 for b.
-5
Suppose 0 = -6*z + 4*z. Let s = -39 + 43. Let k = z + s. Solve 3*l = k*l - 1 for l.
1
Let n(a) be the first derivative of -8 - 1/4*a**4 + 4*a**3 - 16*a - 9/2*a**2. Let k be n(11). Solve -k - 9 = -3*t for t.
5
Let n = -1987 - -1990. Solve 11 = 14*x - n*x for x.
1
Suppose -14 = 75*b - 152 - 12. Solve -g = -0*g + b for g.
-2
Let i = 2128 - 2121. Solve 0 = -46*w + 45*w - i for w.
-7
Let p(g) = 5*g - 8. Let t be p(3). Let z = 398 + -380. Solve -t*d = -13*d + z for d.
3
Let y be (-7)/4 - 7/(-4). Let q be 5 - 8/(8 - y). Solve -35*u + 31*u - q = 0 for u.
-1
Suppose 9*w - 31 = -22. Let h be ((-4 - -7) + -3)/(w/(-1)). Let v be (-15)/(-20) + (3/4)/(-1). Solve -4*c + h*c = v for c.
0
Let o(m) = m**3 + 2*m**2 + 67*m - 425. Let x be o(8). Solve x*k = 757*k - 12 for k.
2
Let z be 3 - (0/(-19))/(-19). Solve -9*o = -10*o + z for o.
3
Let c be (-27)/63 - 31/(-7). Suppose -5*r = -4*r - c*p - 16, -r - 5*p - 11 = 0. Suppose -4*k - 4 + 0 = -r*u, 3*u - 11 = -k. Solve 0 = -h - k for h.
-2
Suppose -11*u + 19*u = 200. Suppose 0 = -u*f + 33 + 67. Solve 19 + 1 = -f*v for v.
-5
Suppose -b = 4*b. Suppose 4*i - 1 + 5 = b. Let r be (5/(-10)*0/i)/(-2). Solve r*v = -v for v.
0
Let s be (6 - 1)*5/((-30)/(-72)). Suppose 0 = 4*a + 5*u - s, 12 - 36 = -2*a - 4*u. Solve n + 3*n - a = 0 for n.
5
Suppose 8*b + 18 = 11*b. Let v be b/9*(-39)/2. Let h = v - -15. Solve 2*n + h*n = 0 for n.
0
Let l be (255/(-34))/(2/96*-2). Suppose 6*t - 12*t + l = 0. Solve t = 5*q + 55 for q.
-5
Let i(d) = d**2 + 548*d - 2749. Let z be i(5). Suppose -5*n + 18 = 3. Solve -17*h + z*h + n = 0 for h.
3
Suppose 64 = 14*i + 2*i. Solve 0 = 23*n + 50 - i for n.
-2
Let b(l) = -32*l**2 - 85*l + 1. Let p be b(-2). Solve 50*q - 14 = p*q for q.
2
Suppose -42*d - 57913 - 4095 = -379*d. Solve 8*t + 200 = d for t.
-2
Let q(n) = -n**3 + 21*n**2 - 54*n + 40. Let g be q(18). Solve 0*c = 8*c - g for c.
5
Let s(n) = -n**3 + 10*n**2 + 59*n - 232. Let y be s(3). Solve y = -5753*u + 5752*u for u.
-8
Suppose 305 = 4*a - 3*y, -4*a = -6*y + 2*y - 304. Suppose -a - 33 = -10*k. Solve 5*v = k + 4 for v.
3
Let r be (-2)/5 + 1064/(-140). Let x be (4/r + 2)*6. Let y be -1 + x + (-7 + 3 - -1). Solve -6*c + 11*c = y for c.
1
Let h(d) = -5*d - 81. Suppose 5*x - 10*g = -15*g - 115, -5*x + 4*g - 133 = 0. Let a be h(x). Solve 0 = 40*l - a*l for l.
0
Let o(b) = b**3 + b**2 + b + 3. Let w be o(0). Let d be (w/(-1))/((-5)/20*6). Suppose 0 = n - 4*g + 6, -2*n + 14 = -d*g + 7*g. Solve -n*a - a + 6 = 0 for a.
2
Let f(m) = -2*m**3 + 2*m**2 + 8*m + 29. Let d be f(-3). Solve -d*k = -71*k + 24 for k.
-4
Let r be 1 + 2 - -15 - -2. Suppose 3*m + 4*b - r = 0, -2*b = 3*m + b - 18. Suppose h - 1 = -2*d + 9, d - 8 = -h. Solve h*k + m = 2*k for k.
-1
Let q = 190259 + -190257. Let f(s) = -s**2 + 3*s + 4. Let b be f(4). Solve -q*j - j = -b*j for j.
0
Suppose -4*t = 4*r - 44, 3*r - 6*r = -t - 5. Suppose -z - t = m - 35, 4*z + 5*m - 112 = 0. Solve -4*c + 11*c = -z for c.
-4
Let n(z) = -z**3 - 3*z**2 + 4*z + 1. Suppose 14*r + 44 = -12. Let j be n(r). Solve -2*b = 9 - j for b.
-4
Let u(t) = 825*t - 4941. Let v be u(6). Solve 714 - 768 = v*l for l.
-6
Let c(n) = 633*n**3 - 6*n**2 + 10*n - 1. Let r be c(1). Solve -2*w - r = -648 for w.
6
Suppose 0 = 22*l - 14*l - 192. Suppose -4*h + 2*r - 5 = -31, h - 4*r - l = 0. Solve 0 = t - 5*t + h for t.
1
Suppose 3*v - 7 - 11 = 0. Let j = v + 0. Solve 1 = -l + j for l.
5
Let p(i) = 24*i**2 + i**3 - 144 + 17*i + 131 - 5*i**2. Let g be p(-18). Solve -10 = -g*z - 0 for z.
2
Let l(y) = -4*y**3 + 68*y**2 - 37*y + 131. Let t be l(16). Solve t*x - 48 = 569*x for x.
-8
Let u = 57 + -9. Suppose 0 = 2*k - k - 3*g - 51, 0 = -g. Let o = k - u. Solve f + 20 = -o*f for f.
-5
Let x(r) = 10*r**2 - 19*r + 19. Let y be x(1). Let s be 6/4*24/18. Let l be 3/6*(2 - 2). Solve l = s*f - 4*f - y for f.
-5
Let n be (0 - -1) + 22 - -1. Let k be (63/(-6))/(-7)*n/9. Solve -k*w = -1 + 9 for w.
-2
Suppose -5*y + 175 = -0*y. Suppose 14*g - y = 35. Solve 0 = 8*p - g*p for p.
0
Suppose -w + 2 = -0*w. Suppose -3 = l + w*l - 3*o, -l - 3 = -3*o. Suppose 4*c + 4*b - 5*b - 4 = 0, -4*c = -5*b + 12. Solve v - 4 + c = l for v.
2
Suppose -4*g = 5*q + 66, -8*q + 3*g - 28 = -4*q. Let d(l) be the third derivative of -l**5/60 - 5*l**4/12 - 2*l**2. Let z be d(q). Solve z*m = 5*m for m.
0
Suppose q - 9*t = -14*t - 13, -2*q = -t + 70. Let o(k) = -4*k - 126. Let b be o(q). Solve -12*d + b*d - 30 = 0 for d.
-5
Suppose -2*t - 11 = a, a - 25 = 5*t - 1. Let u(b) = -b - 2. Let q(k) = -k - 5. Let g(s) = -q(s) + 4*u(s). Let f be g(a). Solve f*y = 2*y - 6 for y.
3
Let z be ((-2)/6*1)/(3/(-180)). Let c be z/6*120/50. Solve 5*g - c = 9*g for g.
-2
Suppose 0 = -11*z + 103 + 370. Suppose -3*b + z - 8 = 2*x, 0 = -2*b - 3*x + 30. Solve -31 = -8*f + b for f.
5
Let i(f) = 17*f**2 + 12*f**3 + 13*f**3 - 24*f**3 + 18 + 31*f. Let z be i(-15). Solve z*y + 9 = 6*y for y.
3
Let v = -3919 + 3953. Solve b + 41 = v for b.
-7
Let c = 338 - 354. Let y(x) = -x**3 - 17*x**2 - 14*x + 36. Let r be y(c). Solve -2*w = 2 - r for w.
1
Let w = -60 - -65. Suppose -17 = w*o - 322. Let b = -59 + o. Solve -6 = -b*d - 0 for d.
3
Let p(h) = -h**3 - 51*h**2 + 105*h - 53. Let d be p(-53). Solve 19*x + 186 - 205 = d for x.
1
Let k(q) = q**3 + 8*q**2 - 13*q - 98. Let p be k(-8). Solve -11*x - p*x 