 -5*a - c for a.
3
Suppose -3*g - 3*n = -30, 5*g - 18*n = -15*n + 66. Solve -5 = g*m + 19 for m.
-2
Suppose -14*l = -2*f - 19*l - 6, -3*l = 6. Solve 4*n - f = 5*n for n.
-2
Let h(n) = -n**3 + 10*n**2 - n + 9. Let w be h(10). Let v be ((-3)/w)/(15/10). Solve -3*c = -v*c - 1 for c.
1
Suppose 4*d - 4*j - 92 = 0, 0*d + 37 = 2*d + j. Let l be d/5*-1 + 8. Solve l*b = 5*b + 1 for b.
-1
Let l be -1*(13/4)/((-2)/8). Suppose 0 = -0*a + l*a - 26. Solve 4 = f + a for f.
2
Let p(q) = q - 2. Let y be p(5). Let t(x) = x - 2. Suppose 38*v - 4 = 36*v. Let s be t(v). Solve s = -0*a + y*a for a.
0
Suppose 4*h + 2 = -d, 2 = h + 4. Solve 3*m = 6*m + d for m.
-2
Let r be (2/(-4))/(14/(-476)) + -6. Solve -m - 48 = r*m for m.
-4
Let w(m) = 3*m**2 - 4*m - 2*m**2 - 3*m - 2*m**3 + 6*m. Let i be w(0). Solve 2*s + 0*s - 8 = i for s.
4
Let j(a) = a**2 + 2*a - 5. Suppose 0 = -5*u + 3 + 157. Suppose -5*z = -2*z - 5*k + u, 3*k = -2*z + 4. Let b be j(z). Solve b*i + i + 4 = 0 for i.
-1
Suppose a = 5*f - 16 - 18, 5*f - 22 = -2*a. Solve -f*y + 3*y + y = 0 for y.
0
Let n be 7/(-3) - (-2)/6. Let o(c) = -3*c**2 - 10*c - 5. Let k(g) = 2*g + 1. Let l(w) = -3*k(w) - o(w). Let m be l(n). Solve m*t = 3*t + 15 for t.
5
Let s be 1/(-2)*(-6)/9*6. Let r be (-5 - (-13 + 7))/(1/s). Solve -r*x = x for x.
0
Suppose 11*q - 7*q = -3*w + 15, 5*w = 5*q + 25. Solve -w*t = 94 - 104 for t.
2
Let y(t) = -t**3 + 5*t**2 + 3*t - 4. Let k be y(4). Suppose -o + k = o - 5*p, 0 = 3*o - 4*p - 29. Solve o + 3 = -5*m for m.
-2
Let q be -3 + 2/(-12)*-10*3. Let m(y) = y**2 + 2*y - 2. Let a be m(2). Suppose -k = q*k - a. Solve 2*f = k - 8 for f.
-3
Let l = 270 - 261. Solve -6*t + l = -3*t for t.
3
Let s = 378 - 364. Solve 0 = 5*z - s*z for z.
0
Suppose -5*w + 82 = -a - 37, 5*w + 4*a = 124. Solve -60*i = -66*i - w for i.
-4
Suppose 1 = 2*a + 19. Let j = a - -12. Solve -2*o = j*o - 5 for o.
1
Let c be -4*(2*1 + 33/(-12)). Let y = 11 - c. Solve -2*q = 2*q - y for q.
2
Suppose 2*j + 4*q = -50, 5*j - 3*q + 151 = -0*j. Let i = 44 + j. Solve -u = 4*u + i for u.
-3
Suppose 47*c = 895 + 562. Solve c - 21 = -2*g for g.
-5
Let f(b) = b**3 - 3*b**2 + b + 2. Let c be f(2). Suppose c = 2*g - 12 + 2. Solve -g*o = -3 - 2 for o.
1
Let k be ((-54)/36)/((-3)/4). Suppose 2*h = -4*t + 4, 2 = -3*h + k*h. Solve t = -v + 3*v for v.
1
Let x(l) = l**2 + 4*l. Suppose 3*g - 2*o - o - 27 = 0, -g = -5*o + 3. Suppose 15*v = 12*v - g. Let t be x(v). Solve -2 = m - t for m.
-2
Let l = 0 + 4. Suppose 3*p - 4 = -2*j, 0 = -2*p - j + l. Suppose 4*c - w = 1, 0 = -6*c + p*c + w + 1. Solve c = -4*q - 1 - 15 for q.
-4
Let f(x) = x. Suppose 4*j = k + 4, -3*j = 5*k - 5*j - 16. Let u be f(k). Suppose -6*i = -3*h - i + 6, 2*h - 4*i - 4 = 0. Solve -h*o + u = -o for o.
4
Let n = 106 - 106. Solve 5*w - 10 - 10 = n for w.
4
Let b(f) = -3*f**3 + f**2 + f. Let d = -5 - -4. Let a be b(d). Suppose -2*v + a = -1. Solve -v*z + 5*z = 15 for z.
5
Let v(z) = z**3 - 8*z**2 + 3*z + 37. Let l be v(7). Solve -l*t = 8*t - 17 for t.
1
Suppose 0 = -3*x + 3*m + 24, -5*x - 5*m = -11 + 1. Let a be (-4)/22 + ((-31)/11 - 3). Let w be -10*(-4)/(-3)*9/a. Solve -5*r = w - x for r.
-3
Suppose 11*d - 96 + 8 = 0. Solve 8 = 6*x + d for x.
0
Let d = -2036 - -2041. Suppose 3*j - 3 = 2*j. Solve -j = w - d for w.
2
Suppose 2*x + 22 = 4*k, 5*x - 4*k + 64 - 3 = 0. Let v = 14 + x. Solve -j + 2 + v = 0 for j.
3
Let v(n) = -5*n - 8. Let d be v(-7). Suppose i = 2*z - d, 15 = -3*i + 2*i - 2*z. Let l = -16 - i. Solve -l*r = 5 - 0 for r.
-1
Let z be 69/1 - (-106 + 110). Solve z - 50 = -3*m for m.
-5
Suppose -v + 3*v = 30. Suppose w = -4*w - v, 2*s + 3*w = -33. Let r = -12 - s. Solve -x = -r*x + 1 for x.
-1
Let h(q) = -q**2 + 11*q + 12. Let x be h(12). Let u = x - -2. Solve u*o + 6 = -0 for o.
-3
Let l(o) = -o**2 + 15*o + 106. Let j be l(-5). Solve -j*f = -5*f - 3 for f.
3
Let q(t) = 2*t**2 + 4 - 5*t**2 + 0*t**3 + 11*t**3 - 12*t**3. Let f be q(-3). Solve 15 = f*v - v for v.
5
Let k = -18 + 20. Let f be ((0 + 0)/1)/(-2). Suppose f = -u + s + 6, -3*u + s + 20 = -s. Solve -k = 2*j + u for j.
-5
Let n = 275 - 256. Solve -n*d - 4 = -15*d for d.
-1
Suppose -2*a - 7 = 4*w - 57, 0 = 2*w + 5*a - 29. Solve 18 + w = -6*h for h.
-5
Suppose l = -l + 20. Let n = -7 + l. Suppose -3*a = 5*r - 13, r - 4*a + 4 - 2 = 0. Solve -11 = -r*w - n for w.
4
Let k(t) = -282 - t - 3*t + 0*t + 328. Let m be k(11). Solve 0 = s - m*s for s.
0
Suppose -6*y = -3*y. Suppose 0 = o - 4*u - 2, y*u + 9 = o + 3*u. Solve -2*s - o = 4 for s.
-5
Suppose -2*d + d + 2*r = 59, d + 59 = -2*r. Let q = 64 + d. Solve q*k + 1 = 16 for k.
3
Suppose 12 = -3*m - k + 44, -5*m = 3*k - 60. Let a(c) = -c - 3. Let o be a(-6). Let n be 44/12 - (-1)/o. Solve 0 = -7*r + n*r + m for r.
3
Suppose 0 = 3*c - 2 - 1. Let k be 3 + c - (3 - 0). Solve l - k = -3 for l.
-2
Let a be (-2)/(-3) - 7/(-3). Let q = 34 + -31. Let w = a + q. Solve -2*b = -w*b for b.
0
Let g = -2168 + 2176. Let u = -1 + 5. Let p(j) = -j**2 - 4*j + 5. Let v be p(-5). Solve v*h = -u*h + g for h.
2
Suppose -3*g - 6 = 0, -h + 4 = -5*g - 10. Solve -h*i - 23 + 7 = 0 for i.
-4
Suppose -2*c = -5*l + 17 + 198, 3*c = l - 43. Solve 31 - l = -3*x for x.
4
Let p = 26 - 45. Let z = p + 25. Let f be (-7)/(14/z) - -3. Solve f = -2*y + 3 + 1 for y.
2
Let s be 3/12 - 11/(-4). Suppose 3 - 42 = s*o. Let z = 13 + o. Solve z = -4*k - 2 - 14 for k.
-4
Suppose 0 = -2*k - 2*k - 136. Let n = -34 - k. Solve -f = -n*f - 5 for f.
5
Suppose 0 = -4*v - 2*c + 26, -9*c + 4 = v - 6*c. Solve 6*r = v*r - 1 for r.
1
Let w(f) be the second derivative of f**5/20 - 5*f**4/6 + 5*f**3/3 - 4*f**2 + 7*f. Let s be w(9). Let h = 1 + s. Solve -h*v + 1 = 7 for v.
-3
Suppose 169*j = 197*j - 28. Solve 4*b = j - 9 for b.
-2
Let t = -830 - -843. Solve t*b + 30 = 4 for b.
-2
Let q = 122 + -83. Suppose -4*i + i + q = 0. Solve 3*b + i = 1 for b.
-4
Let l = -605 + 623. Solve 4*n - l = -26 for n.
-2
Suppose 2*g - 10 = -2*a + 2, 2*g - 14 = -3*a. Let o be (0/a)/((-39)/(-13)). Solve 3*x - 15 = -o*x for x.
5
Let b = 60 - 57. Let r(v) = -v + 10. Let i be r(5). Solve -2 - b = i*d for d.
-1
Let p(g) = g**2 + 2*g - 8. Let s be p(-6). Let q(c) = -2*c + 15. Let w be q(7). Suppose w = 2*k - o, 5*k - 3 = o + 7. Solve s = k*m + 4 for m.
4
Let a(i) be the third derivative of -i**4/12 - i**3 - 11*i**2. Let c be a(-8). Solve -q = q + c for q.
-5
Suppose 0 = 2*k - 3*v - 4 - 29, 0 = 4*k + 4*v - 36. Suppose -9*h + k = -12*h. Let x be (-56)/21*6/h. Solve 0 = -p - p + x for p.
2
Let g(u) = -u**3 - 14*u**2 - 13*u - 3. Let z be g(-13). Let p be (0 - z) + 112/7. Suppose 4*n - 12 = 2*v, -5*n + 11 = 2*v - 22. Solve -5*w + p - v = 0 for w.
3
Let z be 8 - 9/3 - -1. Suppose -2*p + 2 = -z. Suppose -3*l - l - 22 = -2*d, -4*d + 28 = -p*l. Solve -d*q = 2 + 1 for q.
-1
Suppose -q + 11 = w, 3*q + 5*w - 23 = -0. Let g = -9 - -14. Let y = 4 + 2. Solve q = g*l + y for l.
2
Suppose w - 37 = -4*x - 9, 5*w - 89 = -3*x. Solve -w*j = -14*j - 4 for j.
2
Suppose 0 = -4*n + 1 + 11. Solve 2*l + 15 = -n*l for l.
-3
Suppose 18*y = 5*y + 78. Solve -y*i = -i for i.
0
Let f(p) = 8 + 4*p + 5*p + 0*p - 8*p. Let s be f(-5). Let y(q) = -q**3 - 3*q**2 + 9*q - 4. Let m be y(-5). Solve s*b - 4 = -m for b.
1
Let o be (-17)/(-4) - (-1)/(-4). Suppose -4*f - 3 + 1 = 3*h, -2*f = 4*h + 6. Let k be (o/(-8))/(h/4). Solve 2*u = u + k for u.
1
Suppose 0*i - 2*s = 4*i + 122, -2*s = -10. Let m = -25 - i. Solve 0 = -x - x + m for x.
4
Let k(h) = -7*h**2 - 3*h - 3. Let o be k(-2). Let m = o - -57. Suppose -12 + 2 = -5*n - d, 4*n - 4*d = m. Solve n - 4 = -v for v.
1
Let u be 6*(3 + 32/(-12)). Solve -4*b - u*b = -b for b.
0
Suppose 3*l = 3 + 24. Suppose -4*f = f + 360. Let v be (-16)/f - (-34)/9. Solve l*q = v*q for q.
0
Let d(x) = -x**2 - 9*x - 15. Let a = 15 - 21. Let p be d(a). Suppose 0 = 2*r - p*r + 4. Solve -2*v + 6*v - r = 0 for v.
1
Let k(d) = -d**2 + 6. Let r = 34 + -32. Let j be k(r). Solve j*g = -3*g - 25 for g.
-5
Let b be -1 + 4 + 1 - -1. Let l be (-4)/14 + (-2036)/28. Let a = l + 75. Solve -b*z = -a*z - 9 for z.
3
Suppose -7*h - 9*h = h. Solve h = w + w + 8 for w.
-4
Suppose 0*u + 2*u + 3*x - 15 = 0, 0 = -u - 3*x + 3. Let z = 15 - u. Solve 0 = -0*s - z*s for s.
0
Let o(w) = w**3 + 6*w**2 - 25. Let s be o(-5). Let q(x) = -x + 5. Let f be q(3). Solve -k + f - 3 = s for k.
-1
Let m = 13 + -10. Suppose -2*g - 5*c =