 + 2*q for i.
4
Let z(p) be the third derivative of 1/8*p**4 - 12*p**2 + 1/3*p**3 + 1/30*p**5 + 0*p + 0. Let a be z(-2). Solve a*w = 2*f + 6, 0 = -f - 3*w + 6*w - 5 for f.
1
Let i(s) = -30*s + 274. Let y be i(9). Solve 0 = -y*n + 12, -1 = -4*l - 0*n + n for l.
1
Let b = -1 - -3. Let j = -54 + 95. Let p = j - 38. Solve -3 = -4*l - 3*o, -b*l + 4 = o + p for l.
0
Let v = -116 + 119. Let i be 0/(-9) + 123/v. Solve -h = -3*f - 1, 5*h = -5*f - i + 6 for h.
-5
Let u be 108/(-4)*4/(-6). Let h(b) = 3*b**2 + 25*b + 10. Let t be h(-8). Solve v + 5*l = -u, 20 = -2*v - t*l + 8 for v.
-3
Suppose -5*y = -0*y - 15. Suppose -5*o + 13 = c, -3*o = -3*c - 0*c + y. Solve 4*n - o*p + 1 = -3, 2*n + 10 = 5*p for n.
0
Let k(a) = 2*a**2 + 4*a + 3. Let g be k(-3). Suppose 3*n = -0*n + g. Suppose 2*y = n*y. Solve 0 = -y*r + r - 2*f + 5, -r - 5*f + 23 = 0 for r.
3
Let b(v) = 4*v + 20*v**2 - 3*v - 7*v**2 + 1 + 24*v**2. Let g be b(-1). Let t = g - 23. Solve -4*p - t = -3*q - 5*p, -2*q - 4*p + 6 = 0 for q.
5
Let r = -57 + 57. Solve 0 = -3*m - 1 - 11, r = 5*p - m - 19 for p.
3
Let n(r) = r - 4. Let j be n(4). Suppose 4*h = 3*l - j*l - 4, 0 = -4*l + 5*h + 7. Solve 3*s + 2*q - 20 = -s, -4*s = -5*q + l for s.
3
Suppose -5*x + 5 = -5. Let t = 5 - x. Suppose -y + 0*g - 12 = -t*g, g - 20 = -5*y. Solve -p - 6 = -4*p, 4*p = -y*h + 11 for h.
1
Let y = -223 + 227. Solve i + 3*i - 1 = -q, -y*q + 15 = 5*i for i.
-1
Let t be 6783/95 - ((-4)/(-10) + 0). Suppose -12 = 68*p - t*p. Solve 0 = -p*d - 3*k + 8, -d - k + 13 = -3*k for d.
5
Suppose 0 = 14*s - s. Let w(o) = -3*o - 4. Let i be w(-4). Solve m = -3*z - i, 0 = -2*m - s*z - z - 6 for m.
-2
Let d(x) = 5*x**3 - 2*x. Let l be d(2). Let t be (-8)/l + 4/18. Solve 4*s = -p - 0*p + 24, -p + 4*s - 16 = t for p.
4
Let z(i) = i**3 - 9*i**2 + 10*i - 14. Let l be z(8). Solve 4*p = 2*k - l, -3*p + 3 = 2*k - 6 for k.
3
Let q = -443 + 447. Solve 2*z = 3*i + 16 - 3, -5*i = q*z - 15 for z.
5
Let q = -45 + -2. Let b = 52 + q. Solve 12 = 3*n, 5*k - b*n - 3 = 2 for k.
5
Let w(b) = -6*b + 27. Let s be w(-13). Suppose 5*r = -2*r + s. Solve -5*v = -r - 0, -5*v + 27 = -4*x for x.
-3
Let a(h) be the first derivative of -9*h**2/2 - 30*h + 21. Let s be a(-5). Solve -2*b - 5*v + 0 = -s, 2*v - 7 = -b for b.
5
Let y = -790 + 796. Solve y*b = -2*w + 11*b + 4, -3*w + 6 = b for w.
2
Let k = -9 + 12. Let t(y) = 2*y**2 - 7*y. Let n(r) = -4*r**2 + 15*r + 1. Let l(m) = k*n(m) + 7*t(m). Let a be l(2). Solve -5 = 5*j, -3*p + 2 = -a*j - 1 for p.
0
Suppose -62*c + 69*c = 21. Solve y + c + 4 = a, 0 = -2*a + 5*y + 23 for a.
4
Let p(d) = d**2 - 6*d - 8. Let h be p(7). Let j be 10*-2*h/4. Let t be 1 - -2 - (3 - j). Solve 35 = -0*o + 5*o - t*r, -2 = r for o.
5
Suppose -2*s = s - 2*o - 1, -s + 5*o + 9 = 0. Let q = 2 - s. Solve 3*p - 2*t - 8 = -0*p, 3*t = -q for p.
2
Let c be (-3 - (-41)/6) + 6/36. Solve -5*j + 5 = -9*w + 4*w, 5*j = -c*w - 40 for w.
-5
Suppose 16*j = 5*j + 55. Solve 2*y - 5*s = -2*s + 1, -j*s = 2*y + 23 for y.
-4
Let m = 4 + -1. Suppose m*d + 0*d - 288 = 0. Let u = d - 44. Solve 5*b = 4*x - u + 12, 3*x - 27 = 3*b for b.
-4
Let l(r) = r**3 - 24*r**2 - 53*r + 26. Let g be l(26). Solve g = -5*a + a - 5*o - 5, o + 12 = -3*a for a.
-5
Suppose -15*o + 12*o = -18. Let l(b) = -b**3 + 7*b**2 - 7*b + 9. Let f be l(o). Solve -5*u - 5 = 2*v, 5*v + 4 = -u - f*u for u.
-1
Let m be (-4 + 2)/(3/18*4). Let c be (-4*(-3)/m)/((-2)/6). Solve 0*f - 2*b + 21 = -5*f, -b = -3*f - c for f.
-3
Suppose 4*u + 4 = 6*u. Let s be (0/9)/(2/u). Solve -2*w - z + 5 = s, 8*w - 5*z = 3*w + 35 for w.
4
Suppose 2*h - 17 = -5. Let t = h + 2. Suppose -3*j + 23 = 4*n, t + 2 = n + 5*j. Solve 0*k - 2*d = -2*k + 2, 0 = 3*k + n*d - 11 for k.
2
Let i be (14 + -12)*2/1. Solve 2*u = i*l + 12, 0 = -2*l + 2*u + u + 2 for l.
-5
Let r(b) = -b**2 + 15*b - 46. Let k be r(8). Solve -x + 5*q - q = -17, q - k = 5*x for x.
-3
Let v(r) = -14*r + 129. Let o be v(9). Solve -5*l = -4*z - 25, -25 + 5 = o*z - 5*l for z.
-5
Let k = -215 - -219. Solve 3*f + k = 1, 3*f = -4*s - 3 for s.
0
Let z be (16 + -18)*19/(-1). Suppose -8 = 6*f - z. Solve -16 = -4*h - u, 2*h - 4*u = -f - 5 for h.
3
Let n be (-1)/(-4) + 0 + (-630)/(-360). Solve 9*d = 4*d - n*f + 20, -4*d + 2*f - 2 = 0 for d.
2
Let w(g) = -4*g**2 - g - 1. Let d be w(-1). Let i = 2 - d. Suppose 0 = -q - 2*q + 12. Solve 4*t + 3*j = 19, -i = -t + 3*j - q*j for t.
1
Let d = 2 + -9. Let f = -5 - d. Suppose -m + 113 = 102. Solve n - m = -f*n + 5*r, -4*n = -r - 9 for n.
2
Let w(u) = -u**2 + 10*u + 14. Let k be w(11). Let t be (-3 - -9)*-1 - k. Let m be 6/(-12) + t/(-2). Solve 0 = i - v, -m*i - 5*v = -7*v - 4 for i.
2
Let f be (1 - 3)*91/(-26). Suppose 8*x - 46 = 90. Solve -2*q + q + f = 2*d, -3*q + x = 2*d for q.
5
Let r(m) = -2*m - 9. Let q be r(-2). Let t be (4/q + 2)*(-30)/(-9). Solve 3*w = t*n + 14, -2*n - w = -n for n.
-2
Suppose 0 = -4*r + 2*r - 3*s - 11, -8 = r + 2*s. Suppose 3*f - 20 = r*v - 4*v, -2*f = 2*v - 16. Solve -5*j = -5*w - j - 29, -4*j = -f*w - 24 for w.
-5
Let w(z) = 54*z + 716. Let l be w(-13). Solve 6*p - 8*p = -4*t + l, 5*p + 2*t + 11 = 0 for p.
-3
Let d(z) = -z**3 + 9*z**2 - 11*z - 32. Let u be d(6). Solve -5*x = 4*l + 16, x - 26 = 4*l - u for x.
0
Suppose -4*h = -3*k - 52, 3*k - 2*h + 3*h = -47. Let q = k + 20. Suppose 5*m + i - 13 = 0, -6*i - 3 = m - 3*i. Solve -2*c = q, -m*c + 1 = -g + 4 for g.
-3
Suppose -7 = 2*w - 3. Let t be (-5)/w*18/15. Suppose 2 - 14 = -t*l. Solve u + 4*f + 22 = 0, l*u + 23 = -0*f - 3*f for u.
-2
Let o = 1 + 19. Suppose 60 = -5*s - o. Let u be (-5)/15 + s/(-3). Solve u*y - v + 1 = y, 5*y + 3*v = -14 for y.
-1
Let a(o) = -2*o + 6. Let u be a(2). Solve 2*l - 1 + 3 = -u*v, -l - 2*v = 1 for l.
-1
Suppose 16*f + 31 = s + 19*f, -2*s + 2*f = -22. Solve 5*z - a + s = -2, 0 = -z + a - 6 for z.
-3
Let h = -40137 + 40145. Let k(l) = -2*l - 2. Let a be k(-3). Solve -a*j + b + 3*b - h = 0, 0 = -2*j - 5*b - 11 for j.
-3
Suppose 4*b - 55 + 47 = 0. Solve -5 = -5*a + 4*s, 0*a - b*a - 4*s = 26 for a.
-3
Let s be (12/(-10))/(-3) + (-460)/(-100). Solve -11 = -5*i - 0*b - 4*b, s*b = -i - 2 for i.
3
Let f be (-4 - (-2 + -2))/2. Suppose -15 = -5*j - f. Solve r - j*o + 7 = 0, 6*o - o = 2*r + 11 for r.
2
Let b = 10 - -3. Let s = b + -10. Suppose 3*n = -7*n. Solve 0*d - 12 = -s*d + g, n = -d + 2*g + 4 for d.
4
Suppose -3 = -5*y + 17. Suppose -4*w = y*t - 3*t - 8, 0 = 5*w - 3*t - 10. Solve 9 = 2*n + 5*s, n - 4*s - 2 = -w*n for n.
2
Let s be (15 - 10)*-1 + (-16)/(-2). Solve d = 3, -h = -3*h - s*d + 15 for h.
3
Let c be 18/(((-18)/4)/(-3)). Suppose m - 25 = 5*d, 4*m - 5*d - 54 = 16. Let g = m - c. Solve 20 = 3*a + l, 0*a - g*l = a - 20 for a.
5
Suppose d = -4*d, 0 = -t + 3*d + 2. Suppose -t*b = 1 - 9. Solve b*q - 5*s = -40, -2*q = -5*q - 4*s + 1 for q.
-5
Suppose 2 = -3*d + 3*v - 1, 28 = 2*d + 4*v. Let g(w) = 2*w**2 - 5*w - 1. Let i be g(d). Let u = i + -11. Solve 4*n + 16 = -u*n - f, 5*n = -f - 21 for n.
-5
Let u = -64 + 68. Solve -2*x = u*n + 10, -4*x - 3*n - 4 = x for x.
1
Suppose -4*o = -2*v - 22, o - 5 + 1 = -v. Solve o*b + 22 = 2*p + 4, 2 = -5*b - 2*p for b.
-2
Suppose 2*z - 5*p = -2*z + 12, -p + 28 = 3*z. Suppose z = 5*r - r. Suppose -3*f + 11 = l, 2*f - 8 = -l - r. Solve b = -3*y - b + 11, 0 = -5*y + f*b + 35 for y.
5
Let q(n) = -n**2 - 9*n - 3. Let m be q(-9). Let o be (-3)/((-18)/m)*46. Let k be -1 + 1 + 1 - o. Solve -4*l - 8 = -4*g, 2*l + 0*l - k = -5*g for l.
2
Suppose -3*y = -6, 3*f - 4*y + 8 = f. Suppose 3 = t + 4*s, 0 = t + 3*t + 4*s - 12. Let p = f + t. Solve 2*b + 11 = 4*i - p*i, 4 = -4*i - 4*b for i.
3
Suppose 2*a + 3*g - 31 = 0, -3*g - 45 = -4*a + 44. Solve -5*r + a = 5*m, 5 = 2*r - 3*m + 4*m for r.
1
Let m(b) = -b**3 + 6*b**2 + 9*b + 4. Let t be m(7). Suppose -q = 5*q - t. Solve -3*l + 35 = 4*d, 0 = q*l - 2*d - 5 for l.
5
Suppose 27*w - 31*w + 44 = 0. Let h be w + (1 - 4) - 4. Solve -2 = o + 3*m, 3*o + 2*m - 2 = h*o for o.
-2
Let m be ((-420)/9)/(-10) - (-6)/(-9). Solve -4*o = 4*t + 5 - 1, -m*o = 3*t + 6 for o.
-3
Let x(m) = -m**3 + 29*m**2 + 30*m + 16. Let s be x(30). Solve 7 = -n + 4*p, -5*n + s = -0*n - 3*p for n.
5
Suppose g + 4 = 33. Suppose -12 = 26*c - g*c. Solve -2*p = -v + 6 - 12, -c*p - 4*v = 0 for p.
2
Suppose 0*q = -2*q + 8. Let s be (-180)/240*(0 - (0 + 4)). Solve 29 = -c + 4*w + 11, q*c + 20 = s*w for c.
-2
Let u = -25 - -28. Sup