). Solve -15 = 5*v + 3*a, -4*v + 7 - x = 5*a for v.
0
Let x = 3599 - 3578. Solve -x*i + 22*i = -3*b - 5, -b = 3*i - 1 for i.
1
Suppose -53*t + 1860 - 1065 = 0. Solve 5*k + 15 = 5*p, 5*p = -25*k + 20*k - t for k.
-3
Let t(m) = -m**2 - 47*m + 83. Let g be t(-29). Suppose -8*a + 709 = g. Solve 0 = 3*c - 3*n + n - a, 0 = 2*c + 3*n + 13 for c.
1
Let m(j) be the third derivative of -j**6/120 - j**5/20 + j**4/24 + 7*j**3/6 + j**2 - 7*j. Let v be m(-3). Solve 20 = -v*d + 4*q, -5*d - 2*q - 9 = q for d.
-3
Let f(x) = -90*x - 7. Let y be f(-1). Let l = 16 + y. Suppose 0*v = -4*b - 3*v + l, -79 = -4*b + v. Solve 2*r + 5 = 3*s + 7*r, 5*s + r = -b for s.
-5
Let b be 6/8 + 425/20. Let g be (2 - 0/1)*(-1501)/158. Let h = g + b. Solve 0 = -4*f + t + h, 2*f = -2*f - 5*t + 33 for f.
2
Let v = 1052 + -1036. Solve 4 = -a, -11*a = -5*c - v*a - 15 for c.
1
Let z(j) = 12*j + 8. Let d be z(2). Suppose 0*g + d = 3*g + 4*u, 3*g - 2*u = 20. Solve -h - g = -0*h + 3*y, -2*y = -4*h + 10 for h.
1
Let t = 248 + -248. Suppose 12*f - 6*f - 24 = t. Solve 2*b - 2 = -0*b, -4*b = -f*r + 16 for r.
5
Let i(y) = y**3 - y**2 - y + 5. Let j = -134 - -134. Let f be i(j). Solve s = -f*u - 13, 0*s + 5 = -s - u for s.
-3
Let j be 6 - 1/(((-108)/(-270))/(8/10)). Solve 2*x + 5*a = 0, -4*x - j*a + 19 - 7 = 0 for x.
5
Let n = 1006 - 1001. Solve w - 27 = -n*i, -2*i + i + 4*w - 3 = 0 for i.
5
Let h be ((10 + -20)/(-5))/(2/3). Solve -3*a + 0*a + h*d = -9, 0 = 4*a + d - 2 for a.
1
Let w = -261 + 326. Suppose w*j = 59*j + 192. Solve 0 = -3*s + 4*m - j, -3*m = -s - 24 + 5 for s.
-4
Suppose -4*r - 10*f = -13*f - 17, -5*f + 30 = 5*r. Suppose 8*c + 4 = 9*c. Suppose 0*m + m = c. Solve -4*q - 8 = m*b, 5 = b + r*q + 3 for b.
-3
Let h(o) = -12*o + 38 + 1 + 206. Let n be h(18). Solve -3*c + n = -2*z - 8*c, 0 = 4*z + c + 13 for z.
-2
Suppose 0 = -32*d + 35*d - 12. Solve 36*y - 14 = 33*y - 5*x, -d*y - 2*x = 0 for y.
-2
Let m(w) = -2*w**3 + 34*w**2 - 33*w + 18. Let z be m(16). Suppose -4*y - 7 = 4*n - 5*n, z*n - 5 = -y. Solve 4*o = 2*h + 24, -n*o - 4*h + 5 = -2 for o.
5
Suppose 2*c - 9*v + 13*v - 32 = 0, -2*v = 5*c - 16. Solve -3*m + 23 = 5*w, -37*m + 41*m + 2*w - 12 = c for m.
1
Let u(g) = g**3 - 13*g**2 - 13*g - 18. Let b be u(14). Let z(y) = 9*y - 1. Let a be z(b). Let r = 37 + a. Solve q + q + 2 = 4*v, r = -5*v + 2*q + 2 for v.
0
Let v(o) = -3*o - 29. Let l(m) = -6*m - 58. Let f(y) = 6*l(y) - 11*v(y). Let t be f(-11). Suppose 6*a + 15 = 7*a. Solve 3*p - a = 0, -x - p - t*p = -30 for x.
5
Let k = 199 + -54. Let f = k + -135. Solve -u = -3*g + 3 - 21, -f = -g - 5*u for g.
-5
Let u be 76/12 - (-4)/6. Let y(s) = s**2 - 4*s - 19. Let m be y(u). Solve -5*l + m*l + f = -10, -2*l = 2*f + 4 for l.
2
Let r(o) = 6*o**2 + 79*o - 80. Let h be r(1). Solve 264*p - 266*p + 2*a = -10, 5*p - h = a for p.
0
Let k(m) = -2253*m**2 - m**3 - 6 - 2250*m**2 + 39*m + 4497*m**2. Let h be k(-10). Solve -2*b = -2*a - 2, -h*a + 3 = 5*b - 2 for a.
0
Let m = 3403 + -3401. Suppose 2*a = -2*z + 3*a + 9, -2*a = 4*z - 22. Suppose d = 2*n - 1, z*n + 4*d - 25 = 2*d. Solve -n*c - 2 = -m*c + v, -v = -2*c + 2 for c.
0
Suppose -4 = 4*s + 35*b - 39*b, 2*b + 8 = 4*s. Solve o + 6*v - 2 = s*v, 0 = o - 3*v - 10 for o.
4
Let v be -4*165/(-20)*1. Suppose v = 11*q - 121. Solve 3*i - 2*y = i + q, 0 = 3*i - y - 11 for i.
2
Suppose -7*x - 4*w - 42 = -85, 2*x - w - 8 = 0. Solve -11*l + x = -2*p - 8*l, 3*p + l = -13 for p.
-4
Let n(g) = g - 23. Let f be n(28). Suppose 0 = 5*u + f*q + 5, 4*u + q + 5 = -4*q. Solve -b = 4*b + 4*i - 15, -5*b + 3*i + 15 = u for b.
3
Let k(o) = 2*o**3 + 4 - 52*o**2 - 51*o**2 + 100*o**2 + 3*o - 10. Let m be k(2). Solve 3*v - 8 = -2*l, v - 12 = -0*v + m*l for v.
4
Suppose -x = -51 + 24. Suppose 4*j - 43 = -x. Solve -3*o - 2*f = 19, j*o = 2*f - f - 18 for o.
-5
Let y(c) = c**3 - 7*c**2 + 59*c - 242. Let l be y(5). Solve 82*r = 78*r - l*m - 19, -5*m - 29 = 4*r for r.
-1
Let w be (-4 + 7)*5/5. Suppose 12 = -4*c - 4, -4*c = -5*o + 26. Suppose z + 2 = -5*a - 0, 4*a + 24 = o*z. Solve r + w*l - 1 - 3 = 0, -5*r + z = 3*l for r.
1
Let j(h) = -73*h + 29*h + 18*h + 94 + 20*h. Let f be j(15). Let s be ((-10)/6)/((-1)/3). Solve -f*q - 17 = -m, 12 = 5*m - 3*q - s for m.
1
Let l(m) = -m**3 - 9*m**2 - 14*m + 17. Let r be l(-7). Suppose 0 = 2*d - 6, 0 = -p - 0*d - d + r. Solve -10 = 3*a + 2*a, 0 = -3*s + 4*a + p for s.
2
Let z be (-3 + 0)*(-4)/6. Let i be (2 - 2/3)*6. Suppose 0 = -4*d - 2*s + 16, 4*d - 4*s = -0*d - i. Solve -y - z*h - 5 = h, -2*y = 2*h - d for y.
4
Let w(f) = 3*f**3 - 5*f**2 + 7*f - 12. Let k be w(3). Let l be (3/5)/(9/k). Solve 0 = 8*y - 3*y + l*h + 17, 0 = 2*y + 5*h + 22 for y.
-1
Suppose 3*q - 2 = 5*q + 3*h, 4*h + 8 = 0. Let r = 89 + -85. Suppose -3 = 4*y - 51. Solve -3*n + 5*t - 30 = -8, -r*n - y = q*t for n.
-4
Let k = -89 + 46. Let f = 46 + k. Let q be f/5*((-5)/(-1) - 0). Solve q*x - x = -a + 15, 5*a - 10 = 3*x for a.
5
Let r be (-140)/(-21) + 8/(-12). Solve p + 1 = -2*t - r, 20 = -4*p - 4*t for p.
-3
Suppose 0 = -4*r - 22 + 190. Suppose -r = p + 2*g, -4*p - 210 = p + 2*g. Let t be 0 + (-30)/p - (-2)/7. Solve 5*m + 26 = 2*u, -u + t = -2*u - m for u.
3
Suppose 0 = 4*a + a - 15. Let d be 2*(a + -4) + (-30)/(-3). Suppose -2*s + 0*s = -d. Solve -24 = 3*z - 3*c, -2*z = z - s*c + 29 for z.
-3
Let l be 656/(-6)*(-75)/100. Suppose -132 = -10*a - l. Solve 3*k + 6*n = 3*n, -3*n - a = 4*k for k.
-5
Let k(q) = -35*q - 173. Let w be k(-5). Let f(d) = -7*d**2 + 17*d - 3. Let i be f(w). Solve -i*v = -o - 0*o - 20, -4*o = 5*v - 5 for o.
-5
Let k(d) = -2*d + 17. Let j be k(3). Suppose 4*l + t - j = 10, -2*l + 14 = 4*t. Solve a + 11 = -i + 4, l*i - 4*a = 1 for i.
-3
Let k(l) be the first derivative of l**2 + 42*l + 52. Let p be k(-19). Solve 2*u = -p*q + 10, 3*u + 5 = -q + u for q.
5
Let g be -135*((-8)/(-6))/(30/9). Let l be 1 + 6 + g/(-6). Solve 2*d + 2*h - 5 = -1, -l = d - 5*h for d.
-1
Suppose -19*i + 63 = 6. Let h = -33 + 19. Let c = -10 - h. Solve 3*g + 4 = -c*d, 2*g - 5*g - 3 = i*d for g.
0
Let h be (-4)/(-10) + (-8)/(-5). Let g = 0 + 3. Let c be 24/10*71/((-6816)/(-120)). Solve -h*z + g*u = z + 12, 12 = -c*z + u for z.
-4
Let y(r) = 2*r - 2. Suppose -141*v = -140*v - 1. Let l be y(v). Solve -n = l, -2*n + 3*n = -h - 3 for h.
-3
Let w be (-142)/(-9) + (-232)/(-72) + -3. Let i(z) = -5*z**2 + 79*z + 16. Let a be i(w). Solve 3*c + 4*y - 27 = -a*c, 5*y = 3*c for c.
5
Let z(a) = a**3 + 99*a**2 + 1116*a - 172. Let t be z(-86). Solve -9*j + 5*j + 16 = t, -17 = 3*d - 2*j for d.
-3
Let g(i) = -i**3 - 3*i**2 - 5*i - 32. Let z be g(-4). Solve 13 = -3*r + s, 9*s - 11*s - z = 0 for r.
-5
Suppose -27*n = -22*n - 15. Suppose -18*s = 3*k - 15*s + n, -3 = -3*k - s. Solve -2*j = 5*d - 29, 0 = -3*j + 3*d - k - 7 for j.
2
Let t be (-7 - (-255)/35) + 19/7. Let l(c) = -2*c**3 - 3*c**2 - c + 4. Let n be l(-1). Solve n*d - 3 = -g - 18, -2*g + d = t for g.
-3
Suppose -5*j - 3*u + 2 = 0, 5*j + 61*u = 64*u + 8. Solve -5*t + 6 = -4*b + 14, 0 = 5*b - 4*t - j for b.
-3
Suppose 0 = -x + 2*x - 11. Let v(c) = -c**3 - 10*c**2 - 8*c + 11. Let i be v(-9). Suppose -i*b = -7*b + 35. Solve 0 = 5*a + 2*s + x, b*a + 9 = 2*a - 3*s for a.
-3
Let x = 358 - 354. Suppose 4*b + 4 = x*c, c - 9 - 12 = -4*b. Solve 0*u - 4*u + b*t = -20, 3*u - 23 = 5*t for u.
1
Let i = -10191 + 10203. Solve 5*o = c - 4, 3*c + i = 3*o + 24 for c.
4
Let p(r) = -4 - 2*r**2 - 22*r + 24 + 4*r. Let v(f) = -84*f + 662. Let l be v(8). Let o be p(l). Solve -5*t + z - 15 = -0*t, -5*t - 4*z + 10 = o for t.
-2
Let q = 90 - 86. Suppose -2 = -j + 5*o + 7, -8 = -j + q*o. Solve 4*p - j = 0, 2*d = 3*p - p - 4 for d.
-1
Suppose 23 = -r + 3. Let t = r + 13. Let s(v) = v**3 + 7*v**2 + 4. Let j be s(t). Solve 4*y - 17 = y + k, -j*y - 3*k = -1 for y.
4
Let k(g) = 4*g**2 + 6*g. Let i(o) = -o**2 + 8*o - 11. Let w be i(7). Let q be k(w). Let b = 45 - q. Solve t = -b, 0*d + 4*d + t = -17 for d.
-3
Suppose 45 - 1041 = -5*h - 3*q, -h = 5*q - 186. Suppose h*c + 12 = 205*c. Solve -4*l + c*y + 26 = y, l - 5*y = 20 for l.
5
Suppose 170 = 5*q + 3*p, 3*q + 12 = 4*q + 5*p. Let a(g) = -g**2 + 28*g + 31. Let h be a(29). Solve -3*b = -h*i - 23, -i - 2*i - q = -5*b for b.
5
Let z be (-4)/10 - (256/5)/(-8). Let w be 576/88 - z/11. Solve 4*k - 2*q = 8, -2*k + q = -w*k + 14 for k.
3
Let m(t) = t**2 - 3*t + 4. Let h = 204 - 201. Let o be m(h).