Solve 0*c = -5*c + v for c.
4
Let o be (-3)/(-6)*4 - -1. Suppose 22*f + 2 = 23*f. Solve f*x - x - o = 0 for x.
3
Let c = -74 + 78. Solve 4*t + 0*t = -c for t.
-1
Let j(i) = -2*i + i + 2 + 7 + 2*i. Let w be j(-5). Solve -w = -4*n + 4 for n.
2
Let z(i) = 4*i - 21. Let m be z(6). Let t be (20/(-8))/(1/(-2)). Let k be ((-2)/5)/1*(-5 + 0). Solve -m*j = k*j - t for j.
1
Suppose 4*y - 10 = -y. Suppose 7 = s - y*s + 4*f, -5*f + 5 = -2*s. Suppose 0 = -k + 1 + 1. Solve -s*u = -27 + k for u.
5
Let r = -1 - -4. Suppose r*v - a + 7 = 4*a, 1 = 3*v - a. Suppose 2*j - v = 7. Solve -j*x + 3*x = -3 for x.
3
Suppose -4*g + 2*g = -g. Suppose g = 2*b + u - 10, -2*b + 3*u = -b + 9. Solve 0 = -b*a - 0*a for a.
0
Let y = -109 + 112. Solve 25 = -y*t + 8*t for t.
5
Let w be (-184)/56 + (-2 - (-16)/7). Let g be ((-1 - w) + -1)*25. Solve -3*h - 2*h = -g for h.
5
Let v = 922 + -868. Solve -v*i = -59*i - 15 for i.
-3
Let c(v) be the first derivative of -v**3/3 + 2*v**2 + 5*v - 1. Let i be c(5). Solve 3*r = -i*r + 15 for r.
5
Let o be (-3)/(-7) + 992/217. Solve -10*u - o = -11*u for u.
5
Let x be 6*4/(-6)*-2. Let d be (-114)/(-27) + x/(-36). Let v(b) = 2*b. Let k be v(4). Solve -d*i - 4 = k for i.
-3
Suppose 21 = 19*q - 16*q. Suppose 5*m - 2*u = 42, 3*u = -m + q - 2. Solve 0 = i + 3*i - m for i.
2
Let t(c) = -c**3 - 2*c**2 - 5*c - 4. Let l be t(-1). Solve -7*a = -l*a - 7 for a.
1
Let b = 11 - 8. Suppose b*r + r - 16 = 0. Suppose 71*i = 62*i + 18. Solve 3*t + r + i = 0 for t.
-2
Suppose 5*n = 4*v + 49, 4*v + 0*v + 3*n + 9 = 0. Let i be 2/4 + (-9)/v. Solve i*b = -b + 12 for b.
4
Let u(q) = 2*q**3 + 16*q**2 - q - 4. Let c be u(-8). Suppose c*i - 10 = -v - 2*v, 0 = 4*i - 4. Solve p + v = 4 for p.
2
Suppose -4*i = -4*d, i = -d - 3*d. Let r(m) = -m**2 - 17*m - 26. Let s be r(-15). Solve 8 = -d*p + s*p for p.
2
Suppose 5*h - h + 4*x - 44 = 0, -3*h - 5*x = -43. Suppose -18 = -h*z + 4*z. Suppose 3*y + z = 2*y + 4*o, 3*y + 4*o = 21. Solve d + y = 1 for d.
-2
Let p be ((-108)/(-20))/(2/10). Solve -2*r = p - 33 for r.
3
Let d = 198 + -138. Solve -2*i + 52 = d for i.
-4
Suppose 30 = 9*n - 3*n. Solve -15 = n*u + 5 for u.
-4
Let n(y) = 2*y**2 + 12*y + 7. Let p be n(-6). Solve 0*f - p*f = 0 for f.
0
Let y be 40/(-4) - (-7 + 3). Let m be (0 - -2) + (y - -6). Solve -m*r - 3 = 5 for r.
-4
Suppose -32*p + 15 = -113. Solve -19*j = -17*j + p for j.
-2
Suppose 0 = -3*s - 4*b + 43, 1 = s + 4*b - 6*b. Solve s = -i + 10 for i.
1
Let i be 17 - (1*2 + 13 + -20). Solve 0 = 9*p - i + 67 for p.
-5
Suppose 2 = 2*y + 6, -2*y - 4 = 4*m. Suppose 4*a = 4*t - 29 - 11, 2*a = t - 15. Let p(d) = 2*d**2 + 10*d + 15. Let l be p(a). Solve -4*z - z + l = m for z.
3
Let m(t) = 2*t - 13. Let q be m(10). Suppose -q*n + 30 = -4*n. Suppose -5*u = -0*u - n. Solve 0 = -2*l + 2 + u for l.
2
Let w = -653 + 656. Solve w*k = 6*k - 3 for k.
1
Let d(z) = z**3 + 10*z**2 - z - 10. Let l be d(-10). Suppose -w - 15 = -3*n, n - 3*w = -l*n + 13. Solve 1 = 5*t - n for t.
1
Let i be ((-10)/8)/((-35)/(-20) - 2). Suppose -3*m + c = -13, i*m - 2*c + 7*c - 35 = 0. Solve -m*j + 2 = 7 for j.
-1
Let n(r) = -r**3 - 8*r**2 + 5*r + 7. Let b be n(-8). Let p = 36 + b. Solve -p*z = -8 + 2 for z.
2
Suppose -2*m - 150 + 156 = 0. Solve m*s - 20 = -s for s.
5
Suppose 2*d = 1253 - 1239. Solve h + 6 - d = 0 for h.
1
Suppose -a - 4*q + 9 = 0, 14 = -7*a + q + 48. Let b(c) = 4*c - c + c**2 + 0*c - 2. Let g be b(-4). Solve -a*x + g = -8 for x.
2
Suppose -2*j - 2*t = 2, 5*t = -7 - 8. Solve 0 = j*f + 2 - 8 for f.
3
Suppose 0*s - s - 6 = 2*w, -s - 14 = 4*w. Let r be 4/18 + 18/(-81). Solve 5*n - s - 3 = r for n.
1
Let n(l) = -l**3 + 7*l**2 - 8*l. Let i be n(4). Solve 3*p + p = -i for p.
-4
Let u(s) = -23*s - 90. Let p be u(-4). Solve -3*h + 6*h = -p*h for h.
0
Suppose -b - 4*b - 5*t = -75, 0 = -4*b + 4*t + 36. Let y = 17 + b. Suppose -21 = -5*w + y. Solve 4*c + c = -w for c.
-2
Suppose -10 = 4*n - 2*n, 3*i - 70 = 2*n. Let q = 4 + 1. Solve q*k + 0 = -i for k.
-4
Let l be 4/1 - (1 - 1). Suppose -l = 4*d - 0. Let g be -2 + 5 + (-3)/d. Solve g = 2*n - 4*n for n.
-3
Let u(i) = i**3 - 8*i**2 + 2*i - 7. Let a be u(8). Suppose -7*n - 2 + a = 0. Solve l + 0*l = -n for l.
-1
Let l = -34 + -14. Let a = 48 + l. Solve a*i - 1 = -i for i.
1
Let c = -1 + 1. Suppose 5*o = 40 - 20. Solve c*x = 2*x + o for x.
-2
Suppose 6 = 2*o + 6. Suppose o = -4*d - 0*y - y + 24, -4*y = 3*d - 31. Solve 0*u + 25 = d*u for u.
5
Let j be 53 - (-3 + 1 - (-2 + 2)). Let m = j - 53. Solve x - 6 = -m*x for x.
2
Let j be ((-7 - -10) + -2)*(14 + 1). Solve -20 = -19*n + j*n for n.
5
Let p be ((-4)/6)/(11/1122*-4). Solve -25*a - 83 - p = 0 for a.
-4
Let f be (-21)/(-6) + -3 + 6/(-12). Let x(l) = -11*l + 3. Let b be x(f). Solve d + 2 = b*d for d.
1
Let q(o) = -6*o + 12. Let g be q(8). Let b = g - -47. Let l(j) = -j**3 - 15*j**2 + 15*j - 14. Let m be l(-16). Solve -m + b = 3*t for t.
3
Suppose -9*l - 3*l + 12 = 0. Solve -4 = -3*z - l for z.
1
Let l be ((-32)/6)/(156/(-234)). Solve -l*a + 32*a + 48 = 0 for a.
-2
Let y be (4 - 2) + 1 + 5 + -6. Solve -15 = 5*b - y*b for b.
-5
Suppose -4*x + 7 = -5. Suppose -5*d + 35 - 5 = 5*b, -b - 19 = -4*d. Suppose -u = 4*u - 25, d*g - 20 = u. Solve g = -2*w + x for w.
-1
Let v(t) = t + 5. Let h be v(-5). Let r(s) = s**3 + 45*s**2 + 2*s + 94. Let g be r(-45). Solve h*u = -g*u for u.
0
Suppose 0 = -0*i - 6*i + 90. Solve i = 3*j - 0*j for j.
5
Suppose -5*c + 2*q + 3*q = -240, -272 = -5*c - 3*q. Let w = -49 + c. Let u be (-2)/(-11) - 84/(-22). Solve w*k = 7*k - u for k.
1
Suppose 0 = 4*y - w - 20, w = 3*y - 0*w - 14. Solve 0 = -5*i + 2*i - y for i.
-2
Let v = 58 + -35. Let u = v + -15. Suppose p - 3*p = -u. Solve 3*a - 2*a = -p for a.
-4
Suppose 9*f - 5*f = 92. Suppose 63 = 5*x + f. Solve -t = 3*t + x for t.
-2
Let t be -20 - -24 - ((-4)/2 + 1). Let l(j) = j**2 + j. Let v be l(-3). Solve 0 = t*s - v*s for s.
0
Let t(q) = q + 12. Let b be t(-7). Suppose -4*c + 12 = 3*j - 2*j, 5*c = -b*j + 30. Suppose z = 2*v - z - 2, -5*v - 4*z = -14. Solve -v*y + 4 = -c for y.
3
Let f = 31 - 27. Suppose 2*m + f = 3*m. Solve m*l + 10 = 2*l for l.
-5
Suppose 7*v - 75 + 12 = 0. Solve 10*m = 7*m - v for m.
-3
Let x(q) = 10*q**2 + 3*q + 3. Let b be x(-1). Solve -b = 4*s + 6 for s.
-4
Let l(c) = -c + 10. Let m be 14/(-4)*(-80)/56. Let h be l(m). Solve 3 + 2 = -h*y for y.
-1
Let l be (-480)/(-840) + 34/14. Solve 13 + l = -16*h for h.
-1
Let j(x) = -5*x + 39. Let k be j(7). Suppose 0 = 3*b + k - 19. Let y be ((-2)/6)/(1/(-12)). Solve -b*t + y + 6 = 0 for t.
2
Let q = -2039 + 2054. Solve 12*g + 9 + q = 0 for g.
-2
Let q(p) = -p**2 + 8*p + 276. Let d be q(-13). Solve 146 = d*n + 149 for n.
-1
Suppose n = 5*h - 3*n + 31, 5*h - 3*n + 27 = 0. Let y = -1 - h. Suppose 110*j - 114*j - 4*u + 20 = 0, -15 = -2*j - 3*u. Solve -y*m - 3*m - 20 = j for m.
-4
Let z = -60 - -88. Suppose 88 = 15*p + z. Solve -p*h + 10 = h for h.
2
Suppose 3*s = 4*z + 21, -5*s - 3*z - 18 = -8*s. Solve s*r - 21 = -18 for r.
1
Suppose -5*p - 4 + 43 = i, -3*p = 2*i - 29. Let f be 9 - p - -1*8. Suppose f = -o + 2*m - 0*m, 0 = 4*m - 20. Solve -3*l + 12 = -o*l for l.
4
Suppose 28*z - 18*z = 60. Solve 39*w = 37*w + z for w.
3
Suppose 0 = -4*p + 4 - 0. Suppose 2*z - 20 = 7*z + 5*x, 0 = -2*z + 2*x + 8. Solve z = -s + p - 2 for s.
-1
Let p(q) = 2*q**2 + 3*q + 2. Let w be p(-2). Suppose 0 = -5*z + 2*m - 763, 3*z + 460 = -3*m + 2*m. Let t be w/18 + (-425)/z. Solve 0 = t*n + n for n.
0
Suppose 15 + 35 = 5*n. Let i(m) = 1 + m + n*m**2 - 2*m**2 - 9*m**2. Let b be i(1). Solve -4*g = 19 + b for g.
-5
Let p(g) = g**2 - 3. Let i be (-2)/((-28)/12 - -3). Let u be p(i). Let w(y) = y**3 - 4*y**2 - 13*y + 8. Let m be w(u). Solve 3*s = m*s for s.
0
Suppose 5*u + 91 = -2*k - 0*k, 0 = 4*k + 3*u + 147. Let s = k + 36. Suppose -s*m = 5*w - 5, -w - 25 = -6*w + m. Solve -w*n = -n for n.
0
Let w(c) = -3*c**3 - 3*c**2 + c + 16. Let d be w(-3). Solve -11*p - 34 + d = 0 for p.
3
Suppose -x + 12 = 3*x. Let t = -3 - -22. Let d = t - 16. Solve x*k = -3 - d for k.
-2
Let p be (-9)/(-4)*1720/258. Solve 0 = -3*d + p*d for d.
0
Let y be (15/(-6) - -2)*0. Let r = -107 + 109. Suppose y*d + r*d - 4 = 0. Solve d*f = -0*f + 4 for f.
2
Let s be (-37)/(-185) + 102/(-15)*-1. Solve -s*n + 46 - 32 = 0 for n.
2
Let i = 213 - 197. Solve i = 3*y + 5*y for y.
2
Let a be (10/(-4))/((-65)/10