7)/((-45)/30). Suppose v - 25 = -a*w, 2*v - 7*v - 15 = 0. Solve 3*o = -i - w, -3*o + i + 2*i + 9 = 0 for o.
-1
Let w(r) = r**2 - 2. Let i be w(6). Suppose -2*m = -2*b - i, 0 = -m + 5*b + 2 + 7. Let g be (3*-1)/((-1)/1). Solve 4*q + 2*z - m = 3*z, -9 = g*z for q.
4
Let b be -8 + 19 - -10 - 13. Solve -2 = 2*u, 3*d - b = -0*u - u for d.
3
Suppose 155*k + 100 = 175*k. Solve -k*t - 22 = -n - 33, -4*t - 3*n = -5 for t.
2
Let h be (-4)/3*(-8 + (-15)/(-3)). Let x be (18*h/(-28))/((-6)/28). Solve -4*t = -2*q - x, -7*t + 2*t + 6 = 2*q for q.
-2
Let x(a) be the third derivative of 0 + 1/6*a**4 + 27*a**2 + 31/6*a**3 + 0*a. Let t be x(-7). Solve -5*i + 15 = t*u, -2*i = 2*i + 4*u - 20 for i.
0
Suppose s - 13 = -3*r, 2*s + r - 2*r = 61. Suppose -s = -4*w - 24. Let f be 5 + (w/(-3))/(5/(-30)). Solve -f = -h - 3*a, 3 + 2 = -3*h + 4*a for h.
1
Let t = -6 - -6. Let o(g) = g**2 - 2*g - 24. Let h be o(6). Suppose -18 = -6*c - h. Solve -4*a - c*w = 16, t = 2*a + a - 5*w + 12 for a.
-4
Suppose -26*n + 673 = 4*n - 407. Solve 0 = 18*l - 14*l + 2*k + n, 5*l + 27 = 2*k for l.
-7
Let a = -1056 - -1062. Solve 5*o - 3 = -3*f, -4*f = -5*o - a*f + 2 for o.
0
Suppose 26*i - 40 = 16*i. Suppose 5 + i = 3*z. Suppose 0 = k + z*k + q + 3, 5*k + 6 = -2*q. Solve k = 2*y - 6*y + 4, -y = 5*u - 21 for u.
4
Let i be ((-320)/(-25))/(7/70). Let x be (1/4)/(16/i). Solve -3*z = -9, -x*z - 21 = -3*l - 6*z for l.
3
Let u = -137 + 212. Let m = u - 70. Suppose 6*c = 7 + m. Solve -4*y + 16 = 0, c*l + 4*y + 2 = 12 for l.
-3
Let k(v) = -71*v - 6. Let x be k(1). Let i = 79 + x. Solve 0 = 2*z - i, 4*p = -z - 7 for p.
-2
Let s be -2 - -1*(9 - -4). Let x(c) = -c + 16. Let v be x(s). Solve 4*d - 30 = -5*t - d, -4*t + 15 = -v*d for t.
5
Let i(g) = -g**2 - 9*g - 3. Let c be i(-1). Solve -c*r - 7 = -2*l, -4*r + 2*l + 1 = 7 for r.
-1
Let u(z) = 3*z**3 + 3*z**2 + z - 3. Let w be u(1). Solve -11*i + 4 = -10*i, 4*k + 20 = w*i for k.
-1
Suppose -33*s - 39 = -204. Suppose -3*h = h - 112. Solve 2*y - y - 3*w - 14 = 0, 0 = -3*y - s*w - h for y.
-1
Let i be (-2 + -2)*(3/2 - 2). Let m be 0/(10/(-20)*-4). Suppose -4*s - 4 = t - 2*t, -5*s + 29 = 3*t. Solve m = -i*z - t, j = -z for j.
4
Let o(m) = -3*m**2 - 103*m - 698. Let c be o(-25). Solve -3*r + 3*i = 15, 4*r - c*i - 3*i + 25 = 0 for r.
0
Let s(v) = 5*v - 1. Let j be s(1). Suppose -j*i = 5*t - 76 - 0, -4*i + 108 = -3*t. Solve -p + 4*u = 4*p + 4, 2*p = -4*u - i for p.
-4
Let b be 4 + -6 + 3 + 0. Solve -2*a - 26 = -5*r, -4*a + 3*a = r - b for r.
4
Suppose -4*t + 14 = -2*r, -2*r - 3 = 3*t + r. Let i(u) = 12*u - 39. Let j be i(4). Solve -4*c + 3 = 4*k - j, 3*k + t*c = 5 for k.
-1
Let i(f) = -3*f - 8. Let j be i(-6). Let y = j - 6. Suppose -2*q = 4*k - 6, -8*k = -12*k + 3*q + 31. Solve 4*l + 4 + 8 = -y*m, -5*m - 13 = k*l for l.
-2
Suppose -2*m = -5*m + 6. Suppose 30*h = 25*h - 3*v - 9, -3*h + 1 = v. Solve m*x = -2*j - 16, 5*j - 2*x = h*x for j.
-4
Let l(h) = h + 18. Let u be l(-13). Suppose 0 = -3*d + 1 + 11. Suppose d*k - 2 = -2*r + 20, 0 = 3*k + 5*r - 34. Solve -2*c + u*w = k*c, 2*w = 0 for c.
0
Suppose 4*a - 128 - 20 = 4*d, 0 = -3*d - 3. Suppose -a = -3*i - 3*k, 2*i + 8*k - 3*k - 12 = 0. Solve -5*n - h = -0*h - i, -2*n + 2*h = -16 for n.
4
Suppose 2*m = 0, 3*o + 2*m + 17 = 17. Solve o = -4*k - 5*l - 23, -6*l + l - 13 = -k for k.
-2
Let b be ((-8)/(-6)*-1)/(4/(-6)). Let t = 61 - b. Suppose -4*w + t + 9 = 0. Solve -9 = 3*z, -4*c - 4*z = -7*z - w for c.
2
Suppose -26*d = -3*d + 4784. Let m be 3*(-1)/2*d/24. Solve -5*r + 14 + m = 3*a, r - 11 = -2*a for r.
3
Let n(k) = k**2 - 6*k + 3. Let s be n(6). Suppose -894*v + 10560 = 830*v + 3664. Solve -s*d + 15 = 0, -v*c - 5*d + 17 = -0*d for c.
-2
Suppose -78*b + 79*b = s - 9, -5*b = 2*s + 10. Solve 19 = 4*u + s*h, 0 = 7*u - 3*u + 3*h - 13 for u.
1
Let z(k) = 35*k + 17. Let p be z(-1). Let h be (-21)/((-3213)/p) - 140/(-34). Solve 0 = h*s + 4*i - 4, -2*s + 2*i - 5*i = -7 for s.
-4
Let q(h) = -13*h - 38. Let a be q(-2). Let i be ((-5)/(-20))/((-3)/a). Solve -3*g + o = i, 0 = -3*o - 1 + 4 for g.
0
Let c = -54 + 38. Let w(v) = v**3 + 16*v**2 + v + 18. Let l be w(c). Let x be (10 - l)*10/4. Solve -3*a + x = 5*g, -3*g + 2*a - 4*a = -13 for g.
1
Let s be -6*(-10)/18*(-9)/(-3). Solve -3*i - 8*t + 4*t = -s, 2*i - 4*t = -20 for i.
-2
Suppose 28 = 3*v + r, 2*v - 4*r = 4 + 38. Let y(i) = -20 + i**3 + v + 6*i**2 - 3*i - 5. Let c be y(-6). Solve 5*b - c*f = -1, -3*f - 3 = -0*f for b.
-1
Let r = -769 + 774. Solve 4*q - 8*q = 0, -5*b - 3*q = r for b.
-1
Let j(x) = -x**3 + 6*x**2 + 7*x + 1. Let v be j(7). Suppose 4 + v = p. Suppose 0 = -6*i + 5*i + 9, 3*i = w + 25. Solve y - q = -y + w, -p*y + 4 = -2*q for y.
0
Suppose t - 1 = -3, 0 = 3*l + t - 34. Suppose -9*a = -12*a + l. Solve 2*w - z = 10, -w + 25 = a*w + 3*z for w.
5
Let z be (0 + 3)/(39*22/1430). Solve z*k - 18 = 2*c, 2*c + 24 = 5*k + 6*c for k.
4
Let w(b) be the second derivative of -19*b**3/6 + 50*b**2 + 5*b + 8. Let k be w(5). Solve x - 5 = -5*u, k*x = -0*u + u - 27 for u.
2
Suppose -74*g + 4 = -72*g + 4. Solve -2*a - 3*b - 10 = g, 10 = -a - b - 3*b for a.
-2
Let a(c) = c**2 - 10*c + 7. Let l be 66/(-44)*2/3. Let x(o) = o. Let v(m) = l*a(m) - 3*x(m). Let i be v(2). Solve -2*h - 1 = -g + 5, i*g - 14 = 2*h for h.
-1
Suppose 5*w + 5*x - 10 = 10*x, -2*w - 3*x + 14 = 0. Solve 2*d + 4*q = -12, 3*q + w = -8 for d.
2
Let u be 1 + (-2 - -7) + -2. Suppose -2*b + 6*b + 349 = 5*v, -5*v - b + 344 = 0. Let g = v + -60. Solve r + g = u*w - 6, -3*w + 15 = -2*r for w.
3
Let a = 92 - 62. Let o be (15/2)/(a/20). Solve o*p + 16 = 7*s - 3*s, 0 = 4*p + s - 4 for p.
0
Suppose 0 = -2*l - 8*k + 19 - 3, -9 = -3*l + 3*k. Solve 0 = -2*f - 3*v + l, -42*f + 3*v + 1 = -43*f for f.
5
Suppose -a + 1632 = 1627. Solve -16 = -a*i - 3*r, -48*i - 4*r = -49*i + 17 for i.
5
Let q be (14/3)/((-20)/(-60)) + -2. Suppose 0 = -15*m + q + 18. Solve m*h - 10 = 0, c - 2 = -2*h + 3 for c.
-5
Let t be 3759/12 - (66/(-24) - -3). Let z = t - 309. Solve 4*j = 3*b - 0*b + 13, -b = -j + z for b.
-3
Let q(t) = -t**3 - 4*t**2 + 45*t + 198. Let x be q(-6). Solve 4*z - 4*o - 8 = x, -22*z + 17*z - 2*o = 4 for z.
0
Let c be (2/(-4))/(-10*11/(-17380)). Let t = -56 - c. Solve -3*u - 5*s = -20, -5*u + 7 + t = 5*s for u.
5
Suppose 5*b - 2 = 38*u - 15*u, 5*u = b. Solve 0 = -3*i + 5*l - 29 + 4, 3*i + b*l + 5 = 0 for i.
-5
Let z(q) = q**3 - 141*q**2 + 12*q - 1670. Let o be z(141). Solve -5*y + 32 = -i, -4*i - o*y = -20*y - 26 for i.
3
Let m = 1238 - 1230. Solve 0 = -o + 5*d - 4, -10*o = -m*o + 5*d - 7 for o.
1
Let s(h) = h**2 + 3*h - 30. Let x be s(-7). Let v be -27 - (-1 - x - (-12)/(-6)). Let n = -18 - v. Solve -b = -j - 5, -3*b + 5*b + n = -4*j for j.
-3
Suppose -a = -l - 12 - 130, 3*l = -a + 122. Let v = -134 + a. Solve 0*c = 3*m - c - v, -4*m - 4*c + 4 = 0 for m.
1
Suppose 3*q - 37 = -2*b, 12*q + 81 = 3*b + 8*q. Let f(l) = -l**3 + 24*l**2 - 24*l + 27. Let u be f(b). Solve -2*t + 5*s = 25, u*t - 20 = -0*t - 4*s for t.
0
Let a be (-36)/48 + (-75)/12 + 15 + -4. Solve 4*q + g - 4 = 3, -2*q - a = -2*g for q.
1
Suppose -2*k - 62 = -2*u + 2*k, k - 72 = -3*u. Suppose 0 = a + 5*o + u, 5*o = 60 - 85. Solve z + 4*y - 4 - 13 = a, -5*z - 5 = 2*y for z.
-3
Let m be (-5)/(-2)*((-28)/70 - 16/(-10)). Solve -5*f - 38 + 48 = -m*d, -d = 4*f - 8 for d.
0
Let l(u) = -u**3 + 46*u**2 - 131*u + 90. Let g be l(43). Solve 2*r + g = 0, w - r + 4 = 4*w for w.
2
Let y(k) = 2*k**2 - k - 1. Let g be y(-1). Suppose 4*i + 307*f = 311*f + 52, -5*i - 5 = 5*f. Solve i*u - g*n - 2 = u, -4*n - 4 = -5*u for u.
0
Suppose 13*o + 46 = 11*o. Let s be (-1 - (2 + -1)) + (o - -26). Let z be -2*(12/((-3)/1) - s). Solve -5*w + z = 4*q + q, w + 4*q = 5 for w.
1
Suppose 8 + 14 = 11*t. Suppose -5*m - 2*i = 450, 3*m + t*i = 2*m - 82. Let w = -89 - m. Solve 3*q = 5*k - 6, 0 = k + w*q - 4 - 8 for k.
3
Let u = 6354 + -6349. Solve -21*o = -4*r - 24*o - 9, 0 = 3*r - u*o + 14 for r.
-3
Let o be 146*(-1)/(-12)*6. Suppose 82*b = o*b + 81. Solve q - 18 = 4*r, -b*q = -4*q - 2*r - 18 for q.
2
Let n be 1*(1760/80 + -3 + 0). Solve p - 4*p = w - 8, -4*p = 3*w - n for w.
5
Let u(b) = -2*b**3 - 6*b**2 + 5*b - 9. Let s be u(-4). Suppose 4*i - 4*l = 0, l = -s*i + 2 + 10. Solve -i*v = 3*r + 22 - 1, -5*v + 4*r + 1 = 0 for v.
-3
Let z be (3/6)/(12/72). Let x be -2 + 5 + z + -5. Solve 4 = 2*g, -3*b + 5*g = x - 3 fo