 -c*x - 6 = -4*x for x.
3
Let f(v) = -1. Let a(z) = -4*z + 23. Let u(t) = a(t) + 2*f(t). Let r be u(4). Solve -r*h = 1 - 11 for h.
2
Let j(c) = c**2 - 12*c + 35. Let z be j(8). Solve -7 = -2*b + z for b.
5
Let f = 804 - 797. Solve -2*a - f = -1 for a.
-3
Let g = 22 - 17. Let d be ((-2)/g)/((-5)/25). Suppose 6*f = 5*f + d. Solve -f*u = -1 - 1 for u.
1
Let d = -38 - -47. Let y be (-2*d/(-6))/((-27)/(-18)). Solve y*z = -0*z for z.
0
Suppose 0*j + 5*d = j - 53, -4*j = -d - 136. Solve -j*s = -27*s + 12 for s.
-2
Let p be 3 - 0/3 - 0. Suppose 2*h = -h + p. Let d = 9 - 6. Solve -d = s - h for s.
-2
Let n be 10*1*3/(-6) - -33. Solve -25*s + 15 = -n*s for s.
-5
Suppose -440 + 278 = -9*d. Solve d*r = 15*r - 9 for r.
-3
Let c be (-2)/8*(-4 + 0). Let x = c - -2. Suppose 0 = 3*p, 8 = 66*j - 62*j - 4*p. Solve -j*n + x + 1 = 0 for n.
2
Let g be 29/((-174)/36)*1/(-2). Solve g*f + 8 - 11 = 0 for f.
1
Let y be (1 - -12) + -5 - -2. Solve y*p - 3 = 11*p for p.
-3
Let v be (1 - 0) + -1 - 3. Let w(x) = -3*x - 3. Let f be w(v). Solve -f = -k + 3*k for k.
-3
Let t(l) = -99*l**3 - l**2 - 4*l - 3. Let w be t(-1). Suppose w*y = 94*y + 5. Solve -11 = -3*f + y for f.
4
Suppose -3 = -2*b + 5*m, 23 = 2*b - 3*m + 2*m. Let r = b - 20. Let q = 3 - r. Solve -2*w = w + q for w.
-3
Let q = -13 + 26. Suppose 2 + q = 3*m. Suppose -3*v = b - 19, -5*v - 5 = m*b - 50. Solve 0*l = v*l + 15 for l.
-3
Let z = 1685 - 1678. Solve 0 = z*v + 9*v for v.
0
Let k(y) = -y**2 - 37*y - 268. Let a be k(-27). Let o be (6/(-5))/(2/(-10)). Suppose -v = a*v - o. Solve -2*q = -8 - v for q.
5
Let v(u) = u**3 + 7*u**2 - 5*u - 4. Let x be v(-8). Let y be (-188)/x + (-6)/(-21). Solve y*o - 9 = 4*o for o.
3
Suppose 0 = -4*d + 4*j + 16, 3*d - 17 = -2*j + 5. Suppose -d*r + 4*g = -4*r, -18 = -4*r - g. Solve -r*l - l + 15 = 0 for l.
3
Let h be (-2)/(-4)*(10 + -4). Suppose -4*n + 2*j = -8, -h*j + 32 = 6*n - n. Suppose 4*g - 2*g + q = 7, 0 = -n*q - 4. Solve -2 = g*t + 6 for t.
-2
Suppose -3*a - 14 = -5*c, 38*c - 35*c - 3*a = 6. Solve 0 = c*x - 7*x for x.
0
Suppose 0*l + l - 2*q = -9, -23 = -3*l - 4*q. Let s = 1 - -17. Let f = 18 - s. Solve -l = p - f for p.
-1
Let t be (-4 + (-28)/(-7))*-1. Solve w + 69 - 69 = t for w.
0
Let p be 4/3 + (-60)/45. Solve p*m = -3*m + 6 for m.
2
Suppose -22*m + 26*m = 96. Suppose 4*r + 0*x = 2*x + m, 30 = 4*r - 5*x. Solve r*y = -6 - 4 for y.
-2
Suppose -3 - 3 = -3*f. Suppose -3*a - 3*z + 9 = z, -15 = -5*a + 4*z. Suppose a*u = 4*u. Solve u = f*g + 2*g for g.
0
Let k(i) = -5*i - 2. Let f be k(-2). Suppose 0*c - 4*c = 2*l - 2, f = -l - 5*c. Suppose -4*u = s - 3, -5*u + l = 3*s - 5*s. Solve 1 + u = -w for w.
-2
Let t = 13 - 12. Let s be (t - -8)*2/6. Suppose s*r = 15, -2*j - 5*r + 2*r + 15 = 0. Solve 3*b - 4*b = j for b.
0
Suppose 0*n - 8 = 2*m - 2*n, 0 = m + 3*n + 24. Let w be (-48)/(-56)*(-42)/m. Solve 3 = -w*x - 1 for x.
-1
Let g be 2/(((-8)/(-10))/(-2)). Let p be (14*-1)/(g + 3). Let c = -5 + p. Solve 0 = 5*v + 7 - c for v.
-1
Let p(o) = 4*o**2 + 24*o - 8. Let k(z) = -2*z**2 - 11*z + 4. Let m(s) = -9*k(s) - 4*p(s). Let t = -3 + 5. Let v be m(t). Solve -6 = -4*h - v for h.
-1
Let g = -1 + 4. Solve 4*q = g*q - 4 for q.
-4
Let f = -37 + 29. Let h be (-12)/f - (-6)/4. Solve -2*s - s + h = 0 for s.
1
Suppose -5*p - 3*u = -682, -2*u + 678 = 4*p + p. Let o = -49 + p. Let g be (-6)/(-10) - o/(-25). Solve -g*b + 7*b - 12 = 0 for b.
4
Let f(t) = 2*t**2 + 30*t + 57. Let w be f(-13). Solve -w + 9 = -2*a for a.
-2
Let g(y) = -37*y + 20*y + 18*y + 7. Let j be g(-5). Solve -v + j = 5 for v.
-3
Let q = -91 - -100. Suppose 3*s = 4*t - 2*t - q, 3*s = -3*t - 9. Solve t*v + 3*v + 3 = 0 for v.
-1
Let q(h) = h**2 + 8*h + 5. Let b be q(-8). Suppose -b*g - 24 = -11*g. Solve g*c = 2*c for c.
0
Suppose 126 = -2*z - 42. Let m = z - -88. Solve 2 = -m*d - 18 for d.
-5
Let b = 44 + -37. Suppose 0 = n + 3 - b. Solve -14 + n = 2*i for i.
-5
Let f be 1 - -1*(3 - 3). Let v = -4 - -8. Let j be (-5 - f)/(v/(-2)). Solve 2*o - j = o for o.
3
Let f = 62 - 60. Let m be (f - 22)/(-2) + (8 - 8). Solve 4*w + w = m for w.
2
Suppose 0 = 2*a + 7 - 19. Solve -7*p = -a*p for p.
0
Suppose -24*l + 15*l = -72. Solve 6*u - 8 = l*u for u.
-4
Let h(a) = a**3 - 6*a**2 + 3*a - 3. Let s be h(6). Let t = -12 + s. Solve -c = -t*c for c.
0
Let r(m) = m**2 - 3*m - 4. Let z be r(9). Suppose -3*t + z = -8*t. Let h = t + 12. Solve -a - h = 3 for a.
-5
Let l(h) = -4*h + 22. Let w = 118 - 113. Let f be l(w). Solve -2 = n + f for n.
-4
Let g be 28/(-42) - (-2)/3. Let a(c) = -c + 3. Let k be a(g). Solve -k*d + 2 = 5 for d.
-1
Let f(j) = -2*j**3 - 5*j**2 + 4*j + 3. Let d be f(-4). Let g be (4 + (-150)/d)*-14. Solve 0 = -g*i + 10 + 2 for i.
3
Suppose 2*t + 5 = -7*g + 4*g, 4*t + 2 = 2*g. Let z(w) = -9*w**3 + w**2 - 1. Let k be z(t). Solve k = -2*j - 1 for j.
-5
Suppose 2*g - 13 = 3*d, -2*d - 16 + 4 = -2*g. Let z = d - -1. Solve q + 0*q = z for q.
0
Let l(m) be the third derivative of m**4/24 + 2*m**3 + 14*m**2. Let d be l(-12). Solve 5*w - 2*w - 15 = d for w.
5
Let b = -2 + 8. Let c be 12/3 - (0 - -1). Let a = -3 - -18. Solve -c*r + b*r = a for r.
5
Let n(m) = -m**2 + m. Suppose j + 5*f + 3 = 0, -2*f = -j - f + 3. Let i be n(j). Let b(l) = -9*l - 1. Let d be b(i). Solve 0 = 4*k + d + 3 for k.
-5
Let y = 76 - 204. Let x = y + 131. Solve g + 7 - x = 0 for g.
-4
Suppose a + 4*t = -t - 3, -2*a = 4*t. Suppose a*v - 2*u - 23 = -u, 5*u - 11 = v. Suppose -s - 1 + 6 = 0. Solve -1 - v = -s*m for m.
3
Let s = 756 - 744. Solve -7*r - 5 = -s for r.
1
Let w be 318/66 - (-2)/11. Suppose -23 = -w*f - x, f - 2*x = 2*f - 10. Suppose 4*g + 0 = f. Solve g = -d - 0*d for d.
-1
Suppose -4*g + 8 = 3*t, 2*g + 5*t = 4*g - 4. Suppose 0 = -o - 0 + g. Solve 0 = -2*i - o - 2 for i.
-2
Let v be (5/3)/(1/3). Let z be 0/(-2 - (-7 - -7)). Solve v*a = -z*a for a.
0
Let s = -23 - -16. Let c(o) = o**2 + 6*o - 2. Let p be c(s). Let h = 3 + p. Solve 2*k + 2 = h for k.
3
Let i be (-18)/(-4)*(0 + 4/6). Let s be ((-2)/(-4))/(2/12). Suppose -2*h + i = -s. Solve -h*f - 8 = -7*f for f.
2
Let p = 67 - 118. Let x = p + 54. Solve o - 6 = -x for o.
3
Suppose i - 1 = -0*w - 2*w, i = -3*w - 1. Let o = -5 - -7. Suppose i = o*v - v. Solve -v - 7 = -3*y for y.
4
Let d(v) = -v**3 - v**2 - 2. Let n be (8/3)/(-2)*9. Let j = n + 10. Let s be d(j). Solve 10 = -0*i - s*i for i.
-5
Suppose -12*d + 27 = -8*d - 5*k, 21 = 2*d - 5*k. Solve 0 = 12*o - 13*o + d for o.
3
Suppose -8*w - 21 = -109. Solve -9*v + w = 2*v for v.
1
Let p be 1/(((-20)/15)/(-4)). Let j = 11 + -7. Solve -p*g = -2*g - j for g.
4
Let s(q) = -q**2 + 36*q - 83. Let n be s(26). Solve 137 - n = -8*a for a.
5
Suppose 2*d + 1 - 8 = -g, 7 = 3*d - 2*g. Solve 7 + 5 = d*p for p.
4
Suppose -923*t + 907*t + 1152 = 0. Solve 71*z - t*z = -2 for z.
2
Suppose 0 = -7*j + 14*j - 28. Let d(b) = b. Let w be d(4). Solve -8 = -w*u + j for u.
3
Suppose 42 = 4*l - p - 59, -98 = -4*l - 2*p. Let g be (-3 + l - 1) + -3. Let o be g/(-3)*(-1)/2. Solve 0 = 5*t + o + 7 for t.
-2
Suppose -2*l = -l. Suppose 0 = -5*m + 56 + 9. Let o = m + -5. Solve l = -0*g - 4*g - o for g.
-2
Let u = -3 - -3. Solve u*n - 13*n = 0 for n.
0
Suppose 97*i + 21 = 234 - 19. Let m be -3*(-4)/6 - 2. Solve i*q = -m*q + 2 for q.
1
Let m(k) = k**2 + 4 - 11 + 4*k + 0*k - 21. Let q be m(-8). Solve -2*v + q = 10 for v.
-3
Let o = -81 - -166. Let x = o - 83. Solve 1 = -c - x for c.
-3
Suppose 0 = -5*h - 13 + 48. Suppose -3*r = -15, -12 = -3*w + 2*w - 2*r. Solve 0 = h*u - w*u for u.
0
Suppose -147 = -53*c + 4*c. Solve -c*q + 8 = q for q.
2
Let z(j) = -2*j + 19 + 4*j - 5 - j. Let b be z(-11). Let g(x) = -x**3 + 3*x**2 - x + 3. Let r be g(b). Solve r*m - 2 = -m for m.
2
Let s(q) = -q**2 - 15*q - 30. Let g be s(-13). Let i be g/(-6) - ((-48)/9 + 0). Solve 4*k - i*k - 8 = 0 for k.
-4
Suppose l - 29 = -4*c + 2*l, -2*c = -5*l - 1. Solve -7*y = -c*y + 3 for y.
3
Let k be (26 - 18)*(-5)/((-120)/201). Solve k = q + 66 for q.
1
Let c(a) = 4*a**2 - 281*a + 76. Let u be c(70). Solve -u = -3*t - 18 for t.
-4
Suppose 22 = 4*d + 3*f - f, -5*d - f = -26. Suppose -d*o - 3*h + 43 = 0, 3*o + 3*h - 21 = -0*h. Solve -4*j = o + 1 for j.
-3
Let j(c) be the second derivative of -c**5/20 + 5*c**4/3 - 17*c**3/6 - 33*c**2/2 - 18*c. Let r be j(19). Solve -w = -r*w - 4 for w.
-1
Let g(t) = 2*t**2 + 9*t - 5. Let u be g(-5). Suppose u*n 