*c. Solve 1 = -r*v - 7 for v.
-2
Let q be 18/8 + (-144)/(-192). Solve -q*v - 2 = 1 for v.
-1
Suppose 0 = -2*h - 9 + 25. Suppose x - h = -10. Let u(w) = -6*w - 6. Let i be u(x). Solve 21 = 3*c + i for c.
5
Let l(r) = -r**3 + 3*r**2 + 5*r + 1. Let w be l(4). Suppose -w*j + 4*q + 12 = -0*q, 5*q - 6 = j. Solve -4 = j*m - 0 for m.
-1
Suppose 4*c = 5*r + 31, 27 = -5*c - 5*r + 32. Solve -c*o = 19*o - 23 for o.
1
Suppose -z + 67 - 61 = 0. Let n be (-10)/20*(1 - 1). Suppose n = -0*d - d + 3*m + 8, 2*m = -d + 13. Solve d*q + 25 = z*q for q.
-5
Let b be 128/(-10)*15/(-2). Let v be ((-2)/(-3))/(8/b). Solve u - v + 3 = 0 for u.
5
Let b = -34 + 40. Suppose 2*j = -2*i + 4*i - 4, 3*j + b = 0. Solve i*v = v for v.
0
Suppose -4*t - 3*j + 21 = 0, 3*t + 2 - 17 = -2*j. Suppose 2*o + 93 = 5*o. Let i = -29 + o. Solve t*v = -i*v for v.
0
Let p = 1015 + -1015. Solve 4*l - 16*l + 48 = p for l.
4
Let l be 12 + 2*(3 - 54/12). Solve 14*j + 20 = l*j for j.
-4
Suppose -w - 16*v + 11*v = 11, 3*w + 5*v + 3 = 0. Solve w = 8*f + 36 for f.
-4
Let r be 279/21 - ((-280)/49 - -6). Solve -r*o = -5*o - 24 for o.
3
Suppose 5*g = 10*g - 45. Let m = g - 7. Solve m*i - 25 = 7*i for i.
-5
Suppose -d + 15 = 2. Let o = d - 11. Let k be -1*(3 - o)*-3. Solve -n = -k*n + 10 for n.
5
Suppose -2*i + 5*i = -21. Let n be (2/i)/1 + (-40)/(-140). Solve n = o - 2 for o.
2
Suppose 3*x + 3*m - 18 = 0, 4*m - 4 - 2 = 5*x. Suppose 3*y = -4*j + 12, -5*y - 1 = -4*j + 11. Let c be 0/j - (-1 - 3). Solve 0 = -4*u + x*u + c for u.
2
Let d(x) = 4*x - 22. Let c be d(6). Solve -t + 9 = c*t for t.
3
Let r(o) = o**3 - o**2 + o + 7. Let m be r(0). Suppose 33*n - 37*n = -4*h + 40, -39 = -4*h + 3*n. Solve m*v - h*v - 10 = 0 for v.
-5
Let l = 11 + -4. Let v(a) = 2*a - 5*a + l*a - 8. Let g be v(6). Solve 0 = -c - 3*c - g for c.
-4
Let f = -300 - -302. Solve 5*k = -3 - f for k.
-1
Suppose -30*h - 95 = -49*h. Solve -50 + 65 = h*j for j.
3
Let b(u) = -2*u - 4. Let o(x) = x + 2. Let w(g) = 4*b(g) + 7*o(g). Suppose 3*c = -c - 28. Let d be w(c). Solve -j + 4 = -d*j for j.
-1
Suppose 15 = -4*j + 155. Suppose 2*c - j = -b, 0 = 3*c + 4*b - 19 - 26. Let x = c + -16. Solve 0 = -x*g + 9 + 3 for g.
4
Let y be -5 - -5 - 3 - -3. Suppose y - 48 = -6*i. Solve -2*z - 2*z = -i for z.
2
Let q be ((-72)/(-54))/((-2)/(-12)). Let h(b) = -5*b. Let j be h(-1). Solve q = j*z - 12 for z.
4
Suppose 15 = -4*i + 9*i. Solve 0 = -i*m - 3*m - 18 for m.
-3
Let h(c) = c**3 - 2*c**2 + 2. Let z(d) = -d**3 - 13*d**2 - 13*d - 10. Let k be z(-12). Let g be h(k). Solve -5 = v - g for v.
-3
Let v be (12/9 + -3)/((-2)/6). Suppose 3 + v = 4*c. Solve -c*q - 13 = -3 for q.
-5
Suppose 2*c + c + 69 = 0. Suppose z - m = 3*z - 51, -4*m + 129 = 5*z. Let f = z + c. Solve 0 = -r + f*r - 1 for r.
1
Suppose 6*g - 19 = -7. Suppose g*d = 2*o - 12 + 2, -10 = -2*o + 3*d. Solve -4*k - o - 11 = 0 for k.
-4
Let x be -4 + (6/2)/3. Let g be 676/(-28) + x/(-21). Let i = 26 + g. Solve -i*d - 5 = -3 for d.
-1
Let a be -1*1*(-1 - -1). Let v(m) = 4*m**3 - m**2 + 3*m - 2. Let o be v(1). Suppose 0 = -j - b + 1, j + 4*b + o + 7 = 0. Solve -r + j*r + 16 = a for r.
-4
Suppose -24*j + 73 = -95. Solve 0 = 2*w + j + 1 for w.
-4
Suppose -16 = -2*u - 24. Let w(o) = -o**2 - 6*o - 2. Let x be w(u). Suppose -10 = b - x*b. Solve -7*r = -b*r - 5 for r.
1
Let f be 2*4/(-8) + (2 - 4). Let u be 21 - -2*(-6)/f. Solve 9*s - u = 4*s for s.
5
Let s(m) = -m**3 + 15*m**2 - 12*m + 15. Let n be s(14). Solve 0 = 2*l + n - 33 for l.
-5
Let o(v) = v**2 - 2*v - 2. Let b be o(-3). Suppose n - 7 = -5*r + b, r = -n + 4. Solve 2 = -3*u + r*u for u.
2
Let g(l) = 3*l**2 + 13*l + 11. Let b(u) = 4*u**2 + 13*u + 12. Let s(k) = 2*b(k) - 3*g(k). Let o be s(-12). Solve 0 = -o*y + 7 + 5 for y.
4
Let v = 645 - 645. Solve 4*b + 4 + v = 0 for b.
-1
Suppose -2*x + 4*x = 3*m + 7, 5*m = -3*x + 20. Suppose 0 = x*w - 0*w + 3*n, w = 5*n. Suppose 5*h + 3*r - 4 = r, -4*r = 4*h + 4. Solve w = h*f + f + 12 for f.
-4
Let t = 68 + -52. Suppose t = 5*c + 6. Solve -y + 3*y = c for y.
1
Let n = -390 + 394. Solve n*o + 3 = 5*o for o.
3
Suppose 25 = 6*k - k. Suppose -v - 2*v = -12. Suppose 0 = 34*m - 0*m - 102. Solve -v*f + k*f + m = 0 for f.
-3
Suppose 0 = -2*u - 0 - 24. Let g = -4 - u. Let v = -5 + g. Solve -2*j + 5 = v for j.
1
Let h = -3 - -6. Let b(r) = -9*r - r**2 + 6 - 5 + 14. Let u be b(-10). Solve h*d + u = -4 for d.
-3
Let w be (-4)/(-14) - ((-351)/21 + 5). Suppose -2*j - j + w = 0. Solve -12 = -v + j*v for v.
-4
Let d(o) = 2*o - 17. Suppose -5*f - f + 60 = 0. Let p be d(f). Let k be (8 + -5)*(0 + p). Solve -4*i = -k*i for i.
0
Suppose -7*p + 32 = -3. Suppose -p*y - 5*s + 5 = 0, -s - 8 - 6 = -2*y. Solve y*k - 2*k = -9 for k.
-3
Let q = 251 - 239. Solve q*l = 11*l + 1 for l.
1
Let s(x) = -x**2 + 15*x + 20. Let r be s(15). Solve 0*i + 4*i = -r for i.
-5
Let j(i) be the second derivative of i**5/20 + 13*i**4/12 - 13*i**3/6 + 15*i**2/2 + 5*i. Let f be j(-14). Let d = 2 - f. Solve 0 = -b + 4 + d for b.
5
Let x(t) = 3*t**3 - 19*t**2 - 4*t + 40. Let l(k) = k**3 - k + 1. Let p(u) = 2*l(u) - x(u). Let a be p(19). Solve 4*c - 8 + 12 = a for c.
-1
Suppose -5*r - 18 = 22. Let p(i) = i**3 + 7*i**2 - 9*i + 4. Let h be p(r). Suppose 0*a - h = -2*a. Solve -v + a = v for v.
3
Let z(w) = -2*w**2 + 24*w - 15. Let p be z(11). Let b(v) = v**2 + 4*v + 1. Let d be b(-2). Let i = d + p. Solve 15 = -o + i*o for o.
5
Let b = 121 + -121. Suppose -13 = p - 0*l - 4*l, -24 = -4*p - 3*l. Suppose x - 12 = -3*h + 2*h, 0 = 3*x - 2*h - 36. Solve p*n - x = -b*n for n.
4
Suppose -3*p = 2*j - 10, j + 5*p + 6 = 18. Suppose -4*f = -4*h - 1 - 3, 2*h - 4 = -f. Suppose s + 6 = 3*q, -s + 2*q - 8 = -f*q. Solve -n + j = -s for n.
2
Let w(h) = h**2 + 6*h + 17. Let q be w(-5). Solve 0 = -4*o - q - 0 for o.
-3
Suppose 0 = 2*w - 4*w. Suppose -4*s + 6 = 3*i, -i + 2 = -w*s + 2*s. Suppose 9 = -i*m + 23. Solve -t + 4 = m for t.
-3
Suppose -5*q = -47*x + 44*x, 2*q + 2*x = 0. Solve q = -30*s - 25 + 145 for s.
4
Let u be 306/(-816)*(-5*2 - -2). Solve u = 42*q - 41*q for q.
3
Let p(w) = w**2 - 2*w + 5. Let y be p(4). Suppose 17*k = y*k. Suppose k*s - 4 = -s. Solve -2*n - s = -4*n for n.
2
Let t = 184 + -116. Let m = t - 64. Solve m*a - 20 = 8*a for a.
-5
Let u = -250 + 255. Solve 0 = -3*j + u*j - 6 for j.
3
Let g(x) = -x**3 - 6*x**2 + 2*x + 4. Let m be g(-6). Let k be (-12)/(-4)*m/6. Let o be k/22 - (-316)/44. Solve 0 = -2*h + 3 - o for h.
-2
Let a = -22 + 49. Let t = a - 46. Let o = 21 + t. Solve 0*v = -v - o for v.
-2
Suppose -3*y - 5 = -44. Solve -y*l + 4*l - 9 = 0 for l.
-1
Let z(l) = l**2 - 4*l + 1. Let d be z(4). Let t = d + -8. Let b = t - -8. Solve b - 26 = -5*m for m.
5
Let b(x) = x**3 + 8*x**2 + 3. Let g be b(-8). Suppose -3*j = 20 - 26. Suppose 7*u - 18 = j*u - g*f, f - 14 = -3*u. Solve o = u*o + 25 for o.
-5
Suppose -c = 5*b + 21, 2*b + 2 + 8 = 0. Let v be (26/(-4))/((-2)/(-4)). Let i = v - -17. Solve -c*o = -16 + i for o.
3
Let k(v) = -v**3 - 10*v**2 - 27*v - 13. Let y be k(-6). Solve y*s = -s - 30 for s.
-5
Suppose 7*b = 858 - 179. Let p = b + -94. Solve -r + 2*r - p = 0 for r.
3
Let d be 0/3 + 0/(10 + -4). Solve 6*m - 2 + 8 = d for m.
-1
Let o be -2 + 1*(0 + -3). Let m = o - 4. Let k(b) = -b**3 - 10*b**2 - 9*b + 2. Let l be k(m). Solve -l*q - 1 + 11 = 0 for q.
5
Let k(n) = -35*n. Let c be k(-1). Solve 10 = 5*y + c for y.
-5
Let l(s) = 8*s - 109. Let w be l(14). Solve -5*a + w*a = 3*a for a.
0
Let j be (11 - (-132)/(-20)) + (-6)/(-10). Solve -19*b + j = -20*b for b.
-5
Let p be -28 + 8/1 + -4. Let c be p/(-4) + (-3 - -3). Solve -c*i - 4 = -4*i for i.
-2
Let o(x) = -x**2 + 15*x + 10. Let a be o(0). Solve j - 6*j = a for j.
-2
Let p(w) = -w**3 - 12*w**2 + 14*w + 18. Let l be p(-13). Suppose l*j + 2 - 4 = -o, 4*j + 2*o = 4. Solve j = -0*k + 5*k for k.
0
Let x be -3 + 0 + (32 - -2). Let w = x + -35. Let a be (w/6)/(3/(-18)). Solve 2*t = 3*t - a for t.
4
Let c(a) be the first derivative of 1/3*a**3 + 7/2*a**2 - 9 + 8*a. Let j be c(-7). Solve 3*g + j = g for g.
-4
Let i be 2/(-4) + (-54)/(-4). Let t = 123 + -64. Suppose 10*j = -9 + t. Solve j*p + i = 3 for p.
-2
Let p(k) = -k**3 + 12*k**2 + k - 7. Let y be p(12). Suppose -33 = 4*v + 2*t + 3*t, 4*t + 20 = 0. Let m be (-3 + (1 - v))/1. Solve m = -y*l - 14 - 6 for l.
-4
Suppose 0 + 42 = 3*r. Let x = -9 + r. Let l be 3/(-15) - (-26)/x. So