- 0 for f.
3
Let a(v) = 2*v**3 - 18*v**2 + 18*v - 14. Let c be a(8). Solve -c*m = 2*t - 6*t - 4, 3 = m - 3*t for m.
0
Let r = -211 + 126. Let f = -80 - r. Suppose -5 = 5*j + f*h, -5*h = 4*j - 0*h + 9. Solve s - 5*u + 2*u = -14, 0 = -5*s - j*u - 13 for s.
-5
Suppose 0 = 244*o + 349*o. Solve 3*y + o*y + a = -3, 5*y + 5*a = -15 for y.
0
Let y = -55 - -60. Suppose y*p - 13*p = -24. Suppose 2*b - p*b + 3 = 0. Solve -x + 10 = 2*v, x + 15 = -2*x + b*v for x.
0
Suppose -42*d - 36*d = -390. Solve d = 5*y - 74*g + 77*g, 0 = -4*y + 5*g + 4 for y.
1
Let u(o) = 721*o**2 - 7209*o - 2. Let l be u(10). Solve -p + l*z - 4 = -26, z = 5*p + 7 for p.
-2
Suppose 120 = 37*r + 23*r. Solve 4*n + 28 - 11 = 3*k, 3*k - r*n = 7 for k.
-1
Suppose d + 2*z = 796, 0 = -2*d - 2*z + 1392 + 198. Let u = d - 791. Solve u*i + 2*h - 24 = -h, -12 = -2*i - h for i.
4
Let r(h) = -h**3 + 16*h**2 + 3*h - 63. Let j be r(16). Let q be 42/(-14)*j/9. Solve 2*k + k = -l - 17, -2*l - q*k - 29 = 0 for l.
-2
Let r = 312 - 292. Let j be -1 - 2 - (5 + -11). Suppose -o - 3*o + 3*w + 29 = 0, -o - 2*w - 1 = 0. Solve -o*s + r = j*u + u, s = 0 for u.
5
Let q be 7 + -8 + 12 + -7. Suppose 0 = -4*d + 8*i - 4*i, i + 15 = q*d. Solve d*k + 1 = -2*y, -y + 6 = -2*k + 2 for k.
-1
Let q(a) = -12*a**2 - 172*a + 507. Let v be q(3). Let x = 132 + -245. Let n = x - v. Solve -5*g + g - 26 = 3*o, 2 = -2*g + n*o for g.
-5
Let h = 3047 - 3044. Let l be ((20*1)/2)/2. Solve 4*u - l*d = -13, 2*d + d = 4*u + h for u.
3
Let t = -10528 - -10530. Solve 6 = 7*s - 3*s + t*l, -3*l + 12 = 3*s for s.
-1
Let i be (-22)/(-6) + (11 + -4)/21. Solve 2*c - 10 = -i*x + 2*x, 5*x - 23 = -4*c for c.
2
Suppose 5*p - 2*a = 8, -3*a - 48 + 36 = -p. Solve j + 4 = h, 2*j + 7*h - 2*h + 15 = p for j.
-5
Let w = 67 + -65. Suppose -4*l + 7*l = -4*m + 63, -3*m + 43 = -w*l. Solve -2*i + 4*i + m = -3*h, h + i + 5 = 0 for h.
-5
Suppose 150*y = 773 - 173. Solve -5*i + 5*o - 9*o - 31 = 0, -y*i = 3*o + 24 for i.
-3
Let c = 106 - 26. Suppose -320 = -8*f + c. Let h = 53 - f. Solve 5 + 13 = 2*n - 4*w, -3*w - 18 = h*n for n.
-1
Suppose 273*k + 5*k = 1299 - 187. Solve 0 = -4*d + 8, -k*m - d = 4*d - 26 for m.
4
Let l(v) = -74*v**3 + 7 - 13*v**2 + 75*v**3 + 14*v - 36. Let i be l(12). Let u = 0 - i. Solve 5*z = 25, -4*z = -4*r - z + u for r.
5
Let x(r) = r**2 - 16*r - 23. Let u be x(18). Suppose -u*n + 10*n = -258. Let i = 87 - n. Solve 4*a - 5*c + i = 0, 12 = 5*a + 3*c + 4 for a.
1
Let z(i) = i**3 + i**2 - 10*i - 8. Let v be z(-3). Suppose 0 = -4*d - 3*s + s + 14, 4*d - v*s = -4. Solve 3*j + 3*w = 2*w + 8, 0 = 2*j - d*w + 8 for j.
1
Let c(l) = -82*l + 1071. Let p be c(13). Solve -5*d = p*z + 5 - 0, -z = -5*d - 5 for z.
0
Let f = 3466 + -3431. Solve -o - f*t = -31*t - 13, -3*t + 7 = -2*o for o.
1
Suppose 8149*q - 8227*q = -2418. Solve 4*g + 4 = -f, -26*g + q*g + 5*f + 20 = 0 for g.
0
Let n(f) = 4*f - 31. Let k be n(22). Let t be (6/(-8))/(-3) + k/12. Suppose -t*a + 4 = 2*w, -3*w + a + 4 = -2. Solve 1 = -0*z + z - 2*m, -w*z + 5*m = 0 for z.
5
Let j = 10211 + -10174. Solve -j*c = -36*c + 2*n + 8, 2*c + 3*n = -12 for c.
0
Suppose -5*f + 33 = -7. Let q = 11 - f. Suppose -4*z + 14 = -2*p, 2*z - 7 + 2 = 3*p. Solve 0 = w + 4*w + 3*k - 7, 0 = -w - q*k - p for w.
2
Suppose 13*w = -4*w + 136. Suppose 22*l = 18*l + w. Solve -4*k - y + l = -6, 5*k = -4*y - 1 for k.
3
Suppose 4*t - 8 = -3*w, -16 = -3*t - t - 5*w. Let k be (5 - (t + 6)) + 5. Let i = 55 - 53. Solve -i*u - g - 3*g - 26 = 0, 3*g - 13 = k*u for u.
-5
Suppose 28*q = 32*q + 360. Let b = q - -99. Solve -i = x - 2 - 1, x = 3*i - b for x.
0
Let l be (-1)/(0 - (-2)/284). Let b = -7815 - -7678. Let k = b - l. Solve 1 = -v + d, -k = v + 2*v - 2*d for v.
-3
Let v(g) = -g**3 - g**2 + 28*g + 66. Let x be v(-4). Solve 1 = -a - m, 4*a + x = -m - 5 for a.
-2
Let o(q) = q**3 + 50*q**2 + 225*q + 25. Let f be o(-45). Solve 0 = -l - f*a + 30*a - 6, 4*l = 4*a + 8 for l.
4
Let w = 277 - 273. Suppose -t + 4 = w*t - b, 0 = 2*t + b + 4. Solve -4*j + 2 = -t*h + 3*h, -4*j - 2 = h for j.
-1
Suppose g + 33 + 241 = -5*l, -3*l - g = 164. Let v = 78 - 130. Let j = v - l. Solve 2*r + 5*t = j*t + 18, -2*t = -8 for r.
5
Let h(f) = 2*f**2 + 2*f + 4. Let d be h(0). Suppose -3*y = 3*c, -d*c + 2*y = c - 28. Solve 2*n + 20 = 4*o, -4 = 2*o - o + c*n for o.
4
Let u = 7581 + -7564. Solve 14*y + 19 = -4*z + 13*y, -u = 5*z - y for z.
-4
Let a be (1 - -11)*16/24. Suppose a*s + 5 - 29 = 0. Suppose -s*j = -5*j + 6. Solve j*b + 2*k - 12 = 0, 0 = 5*k - k - 12 for b.
2
Suppose -517 + 374 - 445 = -42*o. Solve 4*a + 2*j + o = 0, -6*j + 2*j - 17 = -3*a for a.
-1
Let m(z) = -13*z**2 + 353*z - 53. Let t be m(27). Solve -8 = -4*f - w, 3*w - t = f + 10 for f.
1
Let v(u) = -u**2 + 10*u - 17. Let o be v(7). Let w be (32/16)/(o/10). Let q be (5*2/(-3))/((-24)/36). Solve 5*h - 7 = w*p + 13, -q*h = p - 8 for p.
-2
Suppose -q = -4*r - 33, -4*q + 65 = -r + 38. Solve -5*u = -10, -3*u + 4 = q*b + 8 for b.
-2
Let c(o) be the third derivative of -o**5/60 - 5*o**4/12 - 11*o**3/6 - 13*o**2 - 3. Let k be c(-8). Solve -20 = -4*t, -k*t + 20 = -2*g - 15 for g.
-5
Suppose -109*n + 119*n = 100. Let s = 32 - 18. Let g = s - n. Solve 10 = 2*o - g*b, 0 = -3*o - o - 3*b - 13 for o.
-1
Suppose -3*o - 10 = 2*s - 269, -4*o - s + 332 = 0. Solve -2*y = -g + 3, -o*g + 86*g - 1 = 3*y for g.
-1
Suppose -z = -5*v - 23, 2*z - 49*v + 48*v - 10 = 0. Solve m - z = -2*a, -1 = -12*m + 11*m for a.
1
Suppose 944*n - 943*n - 8 = 2*a, 5*n - a - 22 = 0. Solve 3*j + 4*s = -11, 0 = -2*j + n*s - 3 + 9 for j.
-1
Let q(v) = v**2 - 5*v + 7. Let z be q(5). Suppose 294*j - 14 = -111*j - 14. Suppose 9*b - z*b - 10 = j. Solve b*y = -r - 17, -r + 4*r = -2*y - 12 for y.
-3
Let l(x) = 4*x**2 + 21*x + 8. Let j be l(6). Let u = j - 274. Solve -5*a = g - 30, -a - 3*a + u*g = 0 for a.
5
Let k(g) = -86*g + 1038. Let t be k(12). Solve -r + 8 = -t*i + i, -5*r = -5*i for r.
-2
Let p be (-1*4)/((-6)/15). Suppose -2*l + 3*l + 4*x = -16, -4*x - 16 = 0. Let g = -16 + 18. Solve 0 = -3*b - o - g, -4*b - 5*o - p = l for b.
0
Suppose -1 = 2*w + 1. Let j be (w - 0)*0 - -2. Let o(g) = g**3 + 3*g**2 - 28*g - 93. Let t be o(-4). Solve 0 = y + 4, -t*h - j*y - 2*y - 19 = 0 for h.
-1
Let j(f) = -f**2 + 10*f + 20. Suppose -6*z + 33 = -3*z. Let u be j(z). Solve -3 = -3*m, 0 = -3*i + 2*m - 5*m - u for i.
-4
Let i(k) = -2*k**3 - 19*k**2 + 122*k + 65. Let g be i(-14). Suppose 2*z = -170 - 62. Let v = z + g. Solve -4*a + u = 5*u, v*a = -3*u + 6 for a.
3
Let i(h) = 12*h + 38. Let c = 122 + -125. Let a be i(c). Solve 0 = -2*y + 2*j - 3*j + 9, -y = a*j - 6 for y.
4
Let p = 4612 - 4607. Solve -5*x = -4*z - 17, -6 = -p*x + z + 2 for x.
1
Suppose -7*v + 305 - 291 = 0. Solve 0 = -i + 3 - 0, 0 = v*t - 5*i + 21 for t.
-3
Let q(z) = -4*z - 15. Let p be q(-5). Let u be p + 1 - (-15)/(-5). Solve -3*a + 5*s + u = -10, 5*s = a - 21 for a.
-4
Suppose 4*q + 12 = 4*l, 12 = 7*q - 3*q + 4*l. Suppose 4*c + 221 - 241 = q. Solve -2*m = -0*d - 2*d, 8 = -3*d - c*m for d.
-1
Suppose 4*j - 80 = 8*j. Let d = j - -21. Let g(b) = -2*b + 4. Let w be g(d). Solve -3*u + 3 = -3*n, -3*u + 4*n = -w*u - 16 for u.
-4
Let c = 209 + -201. Suppose 12*j = 10*j + c. Solve -5 = -2*m - 3*m - g, 0 = -j*g for m.
1
Suppose -136*n + 321 = -29*n. Solve 5*d = h - 5 - 11, -n*h - 3 = 2*d for h.
1
Suppose 2*n + 3*r - 2*r = 50, n - 4*r = 34. Suppose -46*a + 264 = 66*a + 20*a. Solve 5*d + q = 0, -a*d - n = -d - 5*q for d.
-1
Let a = -62 + 85. Suppose -a*l + 12*l = 165. Let f be 2/(2 + 27/l). Solve f = 5*q + 4*y, -5*q - 5*y + 3*y = 0 for q.
-2
Suppose -5*h - 8*y = -3*y - 145, 0 = 5*y + 15. Suppose 8*x - h = -24. Solve -3*l = 2*q + x, -4*q + l + 2*l = 11 for q.
-2
Suppose -88*h = -87*h - 225. Let z = 225 - h. Solve z*i - 2*i + 2*l = 2, -3*l = 0 for i.
-1
Let w = 40 - 31. Let d = w - 9. Suppose -3*b - 2*j + 10 = 0, -2*b + 4*j + 1 - 5 = d. Solve 0 = -b*o + 3*k + 12 - 2, 0 = -k for o.
5
Suppose -98*u - 40*u + 33 + 105 = 0. Solve r = -3, 2*r = -4*a + 5 + u for a.
3
Suppose -3*s + q + 11 + 5 = 0, q + 31 = 6*s. Solve 5*u - 20 = s*g - 0*u, 4*g + 3*u + 23 = 0 for g.
-5
Suppose 46*z - 53*z + 126 = 0. Let w be (-1)/(z/968) + (-38)/171. Let a = w + 59. Solve -4*g - k + 1 - 8 = 0, -9 = 2*g - a*k for g.
-2
Let x be (-4)/(9 - 174/18). Let a(c) = 6*c**3 - 38*c**2 + 10*c + 14. Let o be a(x). Solve -4*j = 4*r - 7*j + 2, 