 = 18 + -16. Suppose 4 = v*l - 0. Solve z - l*z - 2 = 0 for z.
-2
Let z(t) = 48*t + 724. Let k be z(-15). Solve 42 - 22 = k*x for x.
5
Let r = 2 - -1. Suppose r*y + 42 = -24. Let u = -17 - y. Solve -u*c = -22 - 3 for c.
5
Let l(r) = 4*r**2 + 60*r - 3. Let u be l(-16). Solve 57*c = u*c + 8 for c.
-2
Let p be -2 + (-5)/((-20)/8). Let i = p + 2. Suppose i*t = 5*t - z - 3, -9 = 3*z. Solve t = -2*m - 10 - 0 for m.
-5
Let o be (-40)/(-12)*(-24)/(-5). Solve 4 = 4*q + o for q.
-3
Let q(t) = -t**2 + 12*t. Let h be q(3). Suppose 0*a - i = 5*a - h, -3*i - 3 = a. Suppose 3*s - a*s = 5*j + 9, j - 4*s - 12 = 0. Solve -m + j*m + 4 = 0 for m.
4
Let j(g) be the second derivative of -g**3/6 + g**2/2 - g. Let i(y) = -2*y + 1. Let r(l) = i(l) - j(l). Let t be r(-8). Solve -3*w = -t*w for w.
0
Let q = 0 - -9. Suppose 11*h - 12*h - 3*a = 11, 0 = -5*h - 3*a + 5. Solve c = h*c + q for c.
-3
Suppose 0 = -2*i - 2*y - 2, 4*y + 12 = i - 7. Suppose 0 = -2*h + 6, h - i*h = -2*q + 12. Solve 0 = -3*j - q for j.
-3
Let x be 4/5*-1*20/(-4). Solve -2*w + x = -3*w for w.
-4
Suppose 5*m + 140 = j, -3*m + 7*m + 136 = -4*j. Let o = m - -34. Solve -o*r = -4*r - 4 for r.
4
Suppose -3*t - 152 = -53. Let b = t - -36. Solve g - b*g + 4 = 0 for g.
2
Suppose 3*r + 23 = f, 2 = -3*r + 4*r. Let t = 27 - f. Let g be (t - 6)*(-4)/8. Solve 5 - 1 = -g*l for l.
-1
Let o(x) = x**3 + 14*x**2 - 13*x + 40. Let u be o(-15). Solve 2*l = u*l + 40 for l.
-5
Let j be (9/6)/(6/(-16)). Let v be (j - 81/(-15))*5. Let k(d) = 20*d - 1. Let l be k(1). Solve -4*u + v = l for u.
-3
Suppose -351 - 369 = -8*c. Suppose -15*m + c = 15. Let f = -7 - -10. Solve -m*y = -f*y - 6 for y.
3
Suppose -3*v - 4*t = -0*v - 16, 21 = 4*v + 5*t. Solve -2*q = -2 - v for q.
3
Let o(l) = 14*l + 6. Let f be o(0). Solve -5*k - 33 = f*k for k.
-3
Suppose 3 + 3 = 2*f. Suppose -b - 14 = 5*o - 0*b, 6 = -f*o - 3*b. Let l(m) = -3*m - 3. Let w be l(o). Solve -3*u + 6 + w = 0 for u.
4
Suppose -5*d = b + 9 + 12, 0 = -5*b - 4*d. Solve -b*r = -0*r + 20 for r.
-5
Let m(k) = k**3 + 3*k**2 - 7*k - 7. Let d be (-6)/(-9)*135/6. Let w = d + -19. Let j be m(w). Solve 0 = 3*z + 14 - j for z.
-3
Suppose 7*y = 5*y + 8. Let x(f) = -f + 6. Let a be x(-5). Suppose -3*b - b + 7 = -c, 3*b = y*c - a. Solve c*p = 39 - 14 for p.
5
Let r = -309 - -319. Solve 0 = -21*x + 26*x + r for x.
-2
Suppose -95 = -3*z + 2*m - 7, 2*m + 24 = z. Solve -9*s + z = 5 for s.
3
Suppose 0 = -3*g + 6 + 3, 5*j = -4*g + 42. Suppose 19 = -2*u + 3*q, -u - 3*u - 3*q = 11. Let d = -1 - u. Solve 0 = -j*n + d*n - 8 for n.
-4
Suppose 3*s + 2*s + d = 63, 4*s = 4*d + 36. Solve -5*f = 2 - s for f.
2
Let r(j) = j**2 - 7*j + 12. Let g be r(5). Suppose -g*n + 6*n - 4*l = -4, 2 = 2*l. Solve -2*i - 2*i = n for i.
0
Let u(s) = -s**2 + 5*s - 1. Let w be u(4). Let i = -26 - -28. Solve 3*d - i*d = w for d.
3
Suppose -3*b + 4*r = -60 + 16, 2*b - 2*r = 32. Let s be (-5)/(-2)*b/25. Solve -4*d + s*d = -8 for d.
4
Let k be ((-1)/(-3))/(9/81). Suppose -d + 6 = k. Solve -y = d*y + 4 for y.
-1
Let g(d) = -d**3 - 62*d**2 + 60*d - 183. Let n be g(-63). Solve -5*b = -n*b + 4 for b.
4
Suppose 0 = j - 42 - 22. Let u = 69 - j. Solve 0 = -3*h - u + 14 for h.
3
Suppose 422 = 6*g - 562. Solve 0 = 169*m - g*m for m.
0
Let m(t) = t + 18. Let w(z) = 48*z**2. Let d be w(1). Suppose 2*r + d = -2*r. Let g be m(r). Solve h + 3 = g for h.
3
Suppose 8 = -h + 5*k - 0*k, -14 = -3*h - 4*k. Suppose -g - 10 = m - 2, 0 = -3*g - 6. Let f(a) = -a - 6. Let u be f(m). Solve h*y + u*y = 10 for y.
5
Suppose 33*y - 10 = 56. Solve -y*f + 10 = 3*f for f.
2
Let k(z) = -2*z**2 + 8*z + 2. Let v be k(4). Suppose -3*j - s = -10, -2*j = s - v - 4. Solve -j*g = -2*g for g.
0
Let f be (16/(-20) - 0)/(4/(-20)). Solve f*q - 8*q = 12 for q.
-3
Let t = 30 + -26. Suppose 26 = 6*w - t. Solve 4*h = -h + w for h.
1
Let i be (-5 + 6/2)*2. Let u = 3 - i. Let h be -2 + -2 + u + 1. Solve 2*y = h*y + 6 for y.
-3
Let d(f) = 7*f + 51. Let m be d(11). Solve -123 = l - m for l.
5
Let s = -70 - -72. Let i(x) = 7*x - 3. Let w be i(1). Solve 4 = s*l - w for l.
4
Let g be (4/14)/(348/(-70) - -5). Solve 0 = s - g + 5 for s.
5
Suppose -18*m - 14*m = -128. Suppose j = -j. Solve j = -4*w + 3*w + m for w.
4
Let y(i) = -14*i - 75. Let x be y(-7). Solve x = 5*v + 3 for v.
4
Let h(y) = -y**3 + 3*y**2 + y + 8. Let t(p) = -2*p**3 + 7*p**2 + 3*p + 17. Let m(i) = 5*h(i) - 2*t(i). Let u be m(0). Solve 0 = w - u*w + 15 for w.
3
Suppose 15*n - 8*n - 252 = 0. Suppose 4*r - n = 6*r. Let q = r + 18. Solve 0 = -q*i - 4*i + 12 for i.
3
Let q = -20 + 33. Suppose -q*o = -8*o. Solve o*t + 3*t - 6 = 0 for t.
2
Let t(p) = -p**3 - 7*p**2 + 8*p + 4. Let m be t(-8). Let z be (-1 - -8)*(m + -6). Let v be (4/z)/(2/(-28)). Solve 0*o - v*o = 0 for o.
0
Let d be -3*(3 + (0 - -14))*-1. Let f = d - 51. Solve f*r = r for r.
0
Let l(x) = 2*x**2 - 59*x - 25. Let r be l(30). Solve 0 = -r*v - 5 - 0 for v.
-1
Let i = 717 + -713. Solve -i*x = -9*x for x.
0
Suppose 0 = -3*c + 2 + 19. Suppose -4*o - 3*r = -c*r + 12, 0 = 5*o + 5*r + 45. Let n be (o/4)/((-7)/42). Solve -n = -2*t + 5*t for t.
-3
Let o = -78 + 12. Let g = o - -67. Solve h = -0*h - g for h.
-1
Let b be 98 + -14 + (0 - (2 + -2)). Let q be 2/7 + (-24)/b. Let m be (4/6)/((-4)/(-30)). Solve m*y + 0*y - 25 = q for y.
5
Let p be ((-66)/(-18))/(2/6). Let r(f) = -f + 2. Let i be r(-12). Let w = i - p. Solve 2*m - 5 = -w*m for m.
1
Let b(f) = f**3 + 8*f**2 - f - 8. Let s be b(-8). Let y = -468 - -470. Let i be (1/3*0)/(-1). Solve i*d + y*d = s for d.
0
Let d be 11/7 + (-9)/(-21). Suppose -2*o = -d - 6. Suppose 0 = -9*j + 4*j. Solve -5*h + o*h + 1 = j for h.
1
Let p = -18 - -27. Let b be 12/(-4) - (2 - 7). Suppose -36 = b*w - 48. Solve 5*t - p = w for t.
3
Suppose 8 = 5*d - d. Let y = 4 - d. Let q be (4/18)/(6/27). Solve q = g - y*g for g.
-1
Let x(p) = 35*p + 152. Let f be x(-4). Solve 0 = f*t - 16*t + 4 for t.
1
Let j be 157/5 - 46/115. Suppose -j + 34 = z. Solve -z*a = -8 - 7 for a.
5
Let g be 4*(52/(-16))/(-1). Let x(c) = -c**2 + 14*c + 3. Let h be x(g). Let y = 20 - h. Solve -2 = -2*n + y*n for n.
-1
Let z(h) = -2*h + 3. Let s be z(1). Let p be (-1146)/48 - s/8. Let f = p - -24. Solve f = 6*w - 3*w - 6 for w.
2
Let z = -121 + 126. Let l be z + 0 + (-20)/4. Solve l*k = -k + 2 for k.
2
Let x(w) = w**2 - 9*w - 27. Let m be x(12). Let d be 27/m + (0 - -5 - 0). Solve c + c + d = 0 for c.
-4
Let i(l) = 6*l**2 - l**3 + 0*l + 0*l + 0*l - 2*l - 11. Let g be i(5). Solve g*f - 3*f - 4 = 0 for f.
4
Suppose -s = -5*s + 20. Suppose 83 = -3*r + 2*g, 3*r + 5*g = 9*g - 85. Let k = r + 45. Solve -7 = -s*c + k for c.
5
Let j = 68 - 104. Let v = j - -38. Solve 15 = 7*q - v*q for q.
3
Let w(l) = l**2 + 10*l - 10. Let q(i) = -i**2 - 3*i - 1. Let d be q(-5). Let r be w(d). Solve -n = -r - 4 for n.
5
Let w be 1*2/(2/(-7)). Let y(q) = 187*q**2 - 195*q**2 - 2*q - q**3 - 5*q. Let b be y(w). Solve d = -b*d + 4 for d.
4
Let y(u) = -3*u**2 + 89*u + 38. Let p be y(30). Solve -p*v - 2 = -10*v for v.
1
Suppose -11*c + 31 = -10*c. Solve -7*p + c = 3 for p.
4
Let m = -4 - -11. Suppose -12 = 4*a - m*a. Solve a - 20 = -4*w for w.
4
Suppose o = 2 + 3. Suppose -o*f + t = -121, -3*f - 3 = -2*t - 77. Let h = f + -16. Solve 3*p = h*p for p.
0
Suppose 11 + 25 = 4*z. Suppose z + 3 = p. Let o be (p + -12)/(1 - -1). Solve o = 4*m - 2*m + 2 for m.
-1
Suppose 0 = t + t. Suppose 0*k + 2*k = t. Let c = 599 + -595. Solve c*f - 10 + 30 = k for f.
-5
Suppose 138 = 68*r - 338. Solve r = 2*l + 5*l for l.
1
Let l(h) = h**2 + 15*h + 19. Let v(y) = -5*y**2 - 5*y - 4. Let p = -2 + 0. Let z be v(p). Let t be l(z). Solve -3*r + 11 = t for r.
2
Let l be (-8)/(-10)*(-45)/(-6). Let n(o) = l*o**2 + 2*o - 2*o**2 - 2*o**2 - 3*o**3 + o**3 + 1. Let d be n(-1). Solve -d*p + 6 = -5*p for p.
-3
Let x be (-25)/(-15) - (-774)/54. Solve -2*d = 20 - x for d.
-2
Let k(j) = j**2 + 6*j. Let b be k(-5). Let u be 3/9 - b/3. Suppose 0*f = -u*p - 2*f - 10, -20 = -4*p + 4*f. Solve p = -0*x + 4*x + 20 for x.
-5
Suppose 0 = -5*c - 25, -12*c + 90 = 4*d - 14*c. Solve -15*f = -d*f + 15 for f.
3
Let u = -117 - -117. Suppose x = i - 2 - 0, u = -3*i + x + 10. Solve i = q + 3*q for q.
1
Let y(r) = 13*r + 12. Let z be y(0). Suppose -z = -5*v + 2*v. Solve 7 = o + v for o.
3
Let w be (-333)/12 + (-2)/8. Let p be (-104)/w + 4/14. Let b(j) = j**3 - 3*j*