= 0*y + 2*y + 3 - 5 + 0*y. Let q be k(2). Solve 6*s + 19 = -i + q*s, -r*i = -4*s - 10 for i.
-3
Let k = 45 + -81. Let u = -24 - k. Solve 4*f - f = 9, r + 3*f = u for r.
3
Suppose 3*l + 11 = 5*k, 8 + 2 = -3*l + 4*k. Let b be 1 + (-1)/(-2)*l. Solve 3*s - 3*u + 9 = 0, 5*s + 0*u + 5*u + 15 = b for s.
-3
Let g = -147 - -149. Solve -u - g = -3*u, -z - 2 = -5*u for z.
3
Let r(d) = -d**2 + 4*d + 7. Let j be r(5). Let t be (-4 - -4)/(j - 0). Solve -4*c - 18 = m, 4*c - 2*m + m + 22 = t for c.
-5
Let i be (5/4)/((-12)/(-240)). Suppose 4*a - i = -a. Solve 0 = -3*k - 2*x - x - 9, -a*x = 3*k + 11 for k.
-2
Suppose -2*m = 0, 0 = 3*f - 8*f - 5*m + 10. Solve h = f*j, -h + 2*j = -3*h + 12 for h.
4
Let d = -14 - -10. Let p(f) = -f**2 - 4*f + 4. Let n be p(d). Solve -20 = 2*z + 4*x, -3*x = -n*z - 0*x - 7 for z.
-4
Let f be 2 - (-1 + (-3 - -5)). Solve 0 = -5*p + 2*v + 13, 2*v - 4 = -p + f for p.
3
Suppose m + m = 6. Suppose 0 = -0*c + 5*c - 5*a - 25, -3*a = -m. Solve 4*i + 15 = -n, -3*i - c = 2*n + 9 for n.
-3
Let j(r) = r**2 + r + 30. Let w be (0 + 0)*2/(-4). Let x be j(w). Let i be x/(-8)*8/(-3). Solve -11 = d - 4*y, -4*d + y - 4 = i for d.
-3
Let x = 1 + 2. Let k be (2 + -3)*(1 - 4). Suppose -x*f = -9 + k. Solve -5*w = -f*q - 31, 30 = 4*w - q + 7 for w.
5
Suppose r = -5*z + 27, -4*z = -0*z + 4*r - 28. Solve -4*i + p + 4 = 2, 0 = z*i - 5*p + 5 for i.
1
Let a be (1/(1*(-1)/(-4)))/2. Solve 0 = -5*z + 15, a*k - 4*z = -0*z - 20 for k.
-4
Let p be (23 + 2)/5*1. Solve p*c + 17 + 6 = -4*x, -4*c + 5*x - 2 = 0 for c.
-3
Suppose -19*z - 10 = -21*z. Solve z*b - 2*p + 17 = 0, -p - 3*p + 10 = -2*b for b.
-3
Suppose -14*g = -1 - 27. Solve -4*s = 2*d - 24, 0 = g*s - 4*s - 2*d + 16 for s.
4
Let c be 24/3 - (1 - -2). Solve 0 = -3*f - 2*o + 4, c*f - 3*o = 8 + 5 for f.
2
Let g be (-3)/(-2)*(-11 + 9). Let h = 6 + g. Solve -3*f + h*x + 6 = 0, 2*f - 16 = 3*f + 5*x for f.
-1
Let g(w) = 2*w**2 + 2*w - 7. Let b be g(2). Solve -l + b*l + 4*p - 20 = 0, l + 4 = 2*p for l.
2
Suppose -4*x - 22 = -166. Suppose -4*t + 0*t + x = -4*w, 4*t - 12 = -2*w. Solve -5*z + t*c = 5, z - 5*c = 3*z + 23 for z.
-4
Let l(n) = 3*n**2 + n. Let x be l(-2). Let j be 4/x - (-8)/5. Solve -3*f = 0, -j = -2*i + 2*f - f for i.
1
Let z be (-3)/(-2) - -2*2/8. Solve -t + 6 = 2*o, 3*o = -5*t - z*o + 25 for t.
4
Let k = -5 + 22. Suppose -3*v + k = 5. Let x be (-2)/(-3)*3/2. Solve -v*n - 7 = w, 3*n + 0*w - x = -2*w for n.
-3
Suppose -12 = -2*p + 3*u, -p = -3*u - 4 + 1. Solve -2 = 4*y - p*y - 3*n, 0 = -y + 2*n + 3 for y.
1
Suppose -3*d + d + 20 = 0. Let x = -5 + d. Solve -x*g - 2*f - 3*f = 20, 5*f = 5 for g.
-5
Let o be (-12)/7 - (-8)/(-28). Let j be o/4 + 7/2. Suppose -p + 12 = 3*k, -k = -4*p - 8 - 9. Solve 4*d = j*i + i + 4, -k*i = 2*d - 23 for i.
3
Suppose -2*n = 2*n - 4*w + 20, -2*n + w - 5 = 0. Solve 5*x + 2*t + 2*t - 33 = 0, n = -x + 5*t - 5 for x.
5
Let g(t) = t**3 - t**2 - t + 1. Let i(q) = -3*q**3 - 4*q**2 + q - 4. Let a(h) = 2*g(h) + i(h). Let o be a(-6). Solve o*m = -3*k - 18, 2*m + 4 + 4 = -k for k.
-2
Suppose -5*t + 1 = -14. Solve -2*u - t*f = -18, u + 4*f = -2*u + 25 for u.
3
Let t = 0 + 4. Let b(v) = -v**3 + 5*v**2 - 2. Let s be b(3). Solve 3*i - s = 7*i + 3*h, 13 = 3*i - t*h for i.
-1
Suppose 0 = c - 7 + 25. Let h be 10/(-45) - 40/c. Solve 0 = 5*u + h*x - 12, 2*u - 2*x = -x + 3 for u.
2
Let q be 12/7 - 6/(-21). Let t(x) = 5 + 2*x**2 + 6*x - 6 - 3*x**q. Let m be t(4). Solve -4*o - 2 = -u, 4*o + 2*u + 1 + m = 0 for o.
-1
Let o(f) = -f - 1. Let m be o(-4). Solve -4*x - x - 34 = m*u, 0 = 3*x - 4*u + 3 for x.
-5
Suppose 1 = g - 19. Suppose 4*r - 2*t - g = 0, 0 = t + 4*t. Solve 0 = 5*b - 4*v - 35, -31 = -5*b + r*v + 9 for b.
3
Let y = -38 - -41. Solve h + i - 3 = -0*i, i - 1 = -y*h for h.
-1
Suppose s - 5*s - 2 = -a, 0 = 2*s - 3*a + 6. Solve -3*f = o - s*o + 7, 2 = o for f.
-3
Let l = 3 - 1. Suppose 1 = l*h - 5. Suppose 12 = 4*n - 4*j, -1 = -h*n + 5*j + 8. Solve 0 = -c + 3*w + 10, 1 + 1 = 2*c + n*w for c.
4
Let q(o) be the third derivative of o**4/24 - o**3/3 + 3*o**2. Let v be q(2). Solve v = 5*h - 2*p - 9, -3*h + h - 4 = 3*p for h.
1
Let k be (1/(3/12))/2. Suppose -k*g = -1 - 5. Solve q + 2 = t, -2*t = 3*q + g*t - 34 for q.
3
Let r(o) = -2*o - 7. Let g be r(-6). Let m be (0 + 0)*(-1)/2. Solve g*h + 2*n - 19 = m, -5*n + 34 = 5*h + 9 for h.
3
Suppose 5*v + 2*z = 4*z - 4, -2 = 4*v - 2*z. Let m be (v + 20)*(-2)/(-6). Solve -5*j + m = c, -4*c - 1 = 3*j - 8*j for c.
1
Let t be 0*((-2)/(-3))/(-2). Suppose -2*k = -t*k - 8. Solve -2*x - k*g + 14 = x, 3*g - 16 = -5*x for x.
2
Let c be ((-14)/(-35))/(2/20). Suppose -c*h = 2*h. Solve h = -3*s - v + 6*v - 13, 3*s + 4*v = 32 for s.
4
Let l(d) = d**3 - d**2 - 2. Let q be l(2). Suppose 0 = c - q*i - 8, 3*i = -4*c - c + 1. Solve -4*a = -2*a - 5*v + 15, 0 = -5*a - c*v + 35 for a.
5
Let l be (-80)/(-12) - 6/9. Solve -19 = -4*d - w - l, w + 3 = 4*d for d.
2
Suppose 0*c + 3*c = -48. Let t = c + 22. Suppose -10 = -t*m + m. Solve 3 = 2*u - j, 0*u + m*u - 3*j = -7 for u.
4
Suppose y + 5*j + 35 = -3*y, 4*y + 3*j = -37. Let l = -6 - y. Let x = 694 + -678. Solve -4*m - x = 0, -l*i - m = -2*m for i.
-1
Let m be (-4)/10 - 396/(-90). Solve -m*f + 0*f - 3*h = 17, 4*h = -5*f - 21 for f.
-5
Let h = 9 + -4. Solve -5*w + 0*d - h = -4*d, d = -2*w + 11 for w.
3
Suppose 24 = 2*v + 2*v. Let i be (v - 9)/((-2)/2). Suppose -d + 2 = -2. Solve 4*y = 5*y + i*l - 13, 0 = -d*l + 12 for y.
4
Let i(l) = -2*l + 16. Let x be i(7). Solve 10 = x*g - 4*o, 9*g - 7 = 4*g + 4*o for g.
-1
Let w be 12/20 + 54/10. Let y(c) be the second derivative of c**4/12 - 7*c**3/6 + 3*c**2 + c. Let g be y(w). Solve -1 = q + 3*u - g, -2*q + u = 9 for q.
-4
Let m = -26 + 28. Solve -5*r = 2*o + 2*o - 29, -14 = -4*o - m*r for o.
1
Suppose 5*c + 15 = 0, 3*d + 2*d - 30 = 5*c. Suppose 0*k + 2*s = 2*k - 10, -17 = -5*k + d*s. Solve -3*b - k = -0*i + i, 5 = -5*i + b for i.
-1
Let t = 15 - 10. Solve -4*z - t*r = 2 + 3, -4*z - 3*r - 3 = 0 for z.
0
Suppose 0 = -3*z + 7 + 5. Solve 0 = z*m + 16, -5*b = -3*b - m + 4 for b.
-4
Let j(v) = v**2 - v - 7. Let y be j(8). Let m be (-4)/(-14) + 231/y. Solve -m*b = -f + 15, 4*b = -5*f + 2*f + 7 for b.
-2
Let i(u) = -17*u. Let h be i(1). Let f = -12 - h. Let x = 1660 - 1630. Solve 0 = f*r + 2*q + x, 5*q + 5 = -r - 24 for r.
-4
Let p be (-25)/(-4) - 4/16. Let s be 2*(6 - p/3). Let o = -4 + s. Solve 16 = 4*t, 0 = o*i + 2*t - 7*t + 28 for i.
-2
Let z be (-1)/4 + (-51)/(-12). Let g = 41 - z. Solve 4 = -h, -5*q - h = -4*h - g for q.
5
Let t = -9 - -13. Solve 4*n + 3*c = 14, -8 = t*n + 5*c - 26 for n.
2
Let p be (-4)/20 + (-16)/(-5). Solve 5*w - p + 11 = f, -f = -2*w - 5 for f.
3
Suppose 12 = 4*m - q - 13, 0 = -2*m + 4*q + 30. Let p be 60*(2 - (-3)/(-2)). Let w be (p/(-9))/(2/(-3)). Solve m = w*f + 4*i, 2*f + 0*i + 3*i = 9 for f.
-3
Let a = 0 - -3. Let r be 14*(7/2 + -3) - -3. Solve -5*i - a = -4*u + 7, 4*u = -5*i - r for u.
0
Let c be -2 + (1 - -2)*1. Let n be 0*(-3 + c + 1). Solve -3*d - 9 = 2*v, -5*v - 3*d + 4*d - 14 = n for v.
-3
Suppose 4 = -x + 6. Solve -2*y - x*y = 4*q + 12, 0 = -q + y + 5 for q.
1
Let k = 8 + -4. Suppose -o - 2 = -k. Suppose o*q + q = 12. Solve r - q = -m, -3*r = 2*r + 3*m - 20 for r.
4
Suppose 2*t = 1 + 5. Solve -3*f + t + 6 = 0, 0 = -3*i - 4*f for i.
-4
Let d be (1 - 7/9) + 6440/180. Let i(w) = -w**2 + 4*w - 2. Let g be i(4). Let l be -3*2/3*g. Solve -3 = -4*f + 17, 4*t - d = -l*f for t.
4
Let a = -38 - -66. Solve 0 = 3*d - 9, -5*t - 5*d + a = 3 for t.
2
Suppose 6*w = w + 80. Suppose -w = -5*i + 4. Solve -5*l = g + 9, 0 = -4*l + i*g + g + 16 for l.
-1
Let h(o) = 2*o + 15. Let n be h(-5). Solve -4*f = -4*a + 5*a + 4, 0 = 3*a - 5*f - n for a.
0
Let j = -2 - -3. Let y = 3 + j. Solve 2*h + u = -3*u + 18, u - 22 = -y*h for h.
5
Suppose -5*d + 12 = -8. Solve 2*a - 2 = -2*h, -d*h + 5 - 11 = -a for a.
2
Suppose -4 = 4*r, -s + 0 = -r - 1. Let v be (-2 - -1)/(3/(-6)). Solve 5*f - 5*t = -v*t + 29, s = -3*t - 9 for f.
4
Let v = -17 + 19. Solve 0 = 3*m - 0*m + v*w - 19, -2*m = w - 11 for m.
3
Let v(p) = -p**3 - 7*p**2 - 5*p + 1. Let m be v(-6). Let x = m + 10. Solve -3*c + 4*c + h - 4 = 0, h = x for c.
-1
Let j(q) = -q - 13. Let t be j(-12). Let w(i) = -3*i**3 - 2*i**2 - i. Let n be w(t). Solve -u = -3*l - 14, -4*l - n*u = -7*l - 16 for l.
-4
Suppose -3 = -n + 1. Solve 2*r - 2*k = -k, -16 = n*k