+ f + j = 0 for v.
3
Let a = 9 - 5. Suppose 2*b + 2*k = 6, 0*b + a*k = -5*b + 15. Solve 3*f + 4*q = -0*q + 29, 2*f + 9 = b*q for f.
3
Suppose -66 = -3*f + 3*k, -102 = -5*f + 171*k - 174*k. Solve -3*l - 2*q = 0, -7*q + 2*q + f = -3*l for l.
-2
Let v = 4441 + -4435. Solve -3*s = 5*a + 32, -v*s + 2*s - a = 20 for s.
-4
Let u = 838 - 836. Solve -u - 2 = 2*o - 3*p, -3*p + 12 = 0 for o.
4
Suppose -16*x = 289 - 385. Solve -x*c = 3*d - 9*c - 3, 3 = 4*d - 5*c for d.
2
Let d be (0 - 1)*(225 + -258). Solve k + 16 = -4*o, 30*o - 1 = -2*k + d*o for k.
-4
Suppose 1253 = 46*a + 287. Solve s + 2*x = 3, 5*s - a = -0*x - 4*x for s.
5
Let g be (11/2)/((-781)/(-1704)). Solve 0 = -n + 3*f + 168 - 157, g = 4*n + 4*f for n.
5
Let z(x) = 2*x**2 + 3*x - 1. Let s be z(1). Solve -s*y + 19 = -3*q, 4*y + 65 - 59 = -2*q for y.
1
Let h = 3420 + -3416. Solve 6*v - 30 = -h*y + v, 0 = v - 2 for y.
5
Let g be 9*1 + 9 + -33 + 18. Solve 0 = 5*w - 10*h + 11*h + 27, 16 = -2*w - g*h for w.
-5
Suppose 14*r - 15*r + 3*l = -3, 0 = -2*l. Solve -2*s = r*v - 6*v - 11, 4*s + 5*v = -33 for s.
-2
Let n be ((-1)/3)/((-3)/18). Let h be 2/2 - (19 + -36). Suppose 4*a = 2*y + 12, -h = -4*a - a + y. Solve -2*w + a = n, 22 = -4*x + 2*w for x.
-5
Suppose 0 = -197*k + 200*k - 1161. Let z = 389 - k. Solve g + 4*s = -2, -2*s - 2 = -g + z for g.
2
Let l be (-33)/5*140/(-84). Let j = 6 - 2. Solve -3*x = t + l, 3*t = j*x + 8 - 2 for x.
-3
Let k(f) = -f**3 + 9*f**2 + 8*f + 46. Let w be k(10). Suppose 22*c - w*c + 17 = d, -2*c = 4*d - 26. Solve -3*y + 0*y = -j + 5, 3*y + d*j = -11 for y.
-2
Let v be (-66)/2*-5 - -3. Let a be (-3)/36 + 518/v. Solve a*s + 5*q = -16, 2*q + q = -6 for s.
-2
Let i be (1/(-3))/(1/(-15)). Let f be 12/(-2 + 4/8) + 4. Let x(n) = 4*n + 24. Let g be x(f). Solve 5*l + g = -2*o, 4*o - i*l - 5 - 9 = 0 for o.
1
Let d be 18/(-5 - 65/(-10)). Suppose 0 = -n + 3*g - 2, -4*n + 2*g = -g + 8. Let y = n - -4. Solve d = p - 2*f, 3*p - 24 = -p + y*f for p.
4
Suppose 5*z + 0*z - 51 = 4*k, -5*z + 15 = 0. Let w be 82/3 + 2/k*6. Solve -5*r + 5*v + 11 = -9, -5*r - v = -w for r.
5
Let d(c) = -c + 7. Let a be d(6). Suppose -3*o + 10 = a. Let g be 0/3*(-1)/2 - -5. Solve g*f = o*i + f - 4, 4*i + 4 = 3*f for i.
-4
Let t(u) = u**3 + 2*u - 1. Let g be t(1). Suppose 2*v - 38 = 1791*p - 1794*p, 0 = 2*v - p - 38. Solve 10 - 24 = g*h + 2*r, 5*h + r = -v for h.
-3
Suppose 40*k - 37*k = -12. Let s be k/(-9)*(-333)/(-74). Solve 2*y = s*n + 4, -4*n - n + 3*y - 12 = 0 for n.
-3
Let j = 28468 + -28456. Solve -n + 4 = p, -207*p + 205*p + j = 4*n for p.
2
Suppose 30 = b + b. Let j be -4*-1*b/12. Suppose -48 = -3*n + 2*x - 29, 4 = -2*n - 2*x. Solve n*l - d + j = -3*d, -5*l - 4*d = 9 for l.
-1
Let b be -5 + (-14 - (3 + -4)). Let v be (-84)/b - (-12)/(-18). Solve -r + v*h + 16 = 3*r, -2*r = 2*h + 8 for r.
0
Let j = 336 - 333. Let g(o) = -25*o + 77. Let s be g(j). Solve s*z + 3*r = 13, -5*r - 1 = z - 11 for z.
5
Let x(k) = -k**2 - 130*k + 964. Let n be x(7). Solve 5*u - 24 = h, -2*u + 5 = -n*h - 0*h for u.
5
Let f be 1 - ((-10)/12 - 4/(-12))*8. Solve -12*l - f = 5*m - 7*l, 3*m - 3*l = 21 for m.
3
Let z(y) = -3*y**2 - 145*y + 255. Let s be z(-50). Solve -x = -c + 2, 3*x + s*c + 7 = 25 for x.
1
Suppose -425*l = -538*l + 904. Solve -4*v + 8 = 4*x, 5*x - x - l = 3*v for v.
0
Suppose 0 = -5*b + 4*n + 39 + 1, -5*b + 25 = -n. Suppose 0 = 5*w + 4*r - 7, w + 1 = -b*r - 4. Solve -2 = 2*c - w*h, c + c = 5*h - 6 for c.
2
Let z = 15 - 11. Let l = 10130 - 10130. Solve 3*n - 5*p - 10 = 0, l = z*n - 5*p + 3*p - 4 for n.
0
Suppose -4*s + 138 = 5*c, -c = 3*s - 49 + 17. Suppose f - 5 = 0, -4 = 3*m + 2*f - c. Solve -q + 4*w = -18 + 1, -4*q + 20 = -m*w for q.
1
Let t(y) = -y**3 + 25*y**2 + 29*y - 23. Let h be t(27). Let q = -693 - h. Solve -4*w = 9*f - 6*f + 5, 2*f = -w + q for w.
-5
Suppose 23*b - 4*g - 8 = 25*b, -3*g - 15 = -3*b. Solve -2*v - v = z - 1, 4*v = -z + b for v.
1
Suppose 0 = -10*q + 20*q - 30. Suppose 0 = -q*v + 4*b - 17, 2 + 23 = 5*b. Solve -3*f - 4*g - v = -0*f, -5 = -4*f + g for f.
1
Suppose 0 = -235*x + 240*x + 2915. Let o = 587 + x. Solve o = -5*a + k, 2*a + k - 4 = -0*k for a.
0
Let p = -763 + 788. Let k = 238 + -233. Solve 15 = -z + 3*f, 0 = k*z - 5*f - 0*f + p for z.
0
Let s = 43 + -39. Let r(v) = v**3 - 6*v**2 + 10*v - 10. Let g be r(s). Let f be ((-12)/g)/(-4 + 7). Solve 0 = -2*o - 4*u - 0*u - 2, f*o + 2*u = -4 for o.
-3
Suppose 46*c = 49*c - 45. Suppose -z = -c*z + 210. Solve 5*f - z = -3*b, f + 3*b = 7 + 8 for f.
0
Let d(t) = -2*t**3 + 34*t**2 + 42*t - 101. Let b be d(18). Solve 5*y + 3*k + 12 = -b, 0 = -y + k - 7 for y.
-5
Let h = -208 + 214. Let j be (-1)/(h/(-4))*(-120)/(-16). Solve -j*k = 5*w + 10, -k - 2 + 25 = -4*w for k.
3
Let x = -424 + 417. Let y be (-3 - (-88)/28) + 1/x. Solve -a = j - 0*a, y = 4*j - a - 10 for j.
2
Let f = 9723 + -9719. Solve -5*a + 6 = -f*j, -89*j - 3*a + 11 = -84*j for j.
1
Let o = -44 - -64. Suppose 0 = 5*d - 5, -2*d - o = -5*t - 7. Solve -b + 2*w + 2 = 4, b - t*w + 4 = 0 for b.
2
Let c(n) = n**2 - n - 1. Let p be c(2). Suppose 2*x + 3*f - 2 + p = 0, 2*f - 4 = -2*x. Let u be (-12)/(648/90)*-3. Solve -10 = -x*z + y + 6, 0 = 5*y + u for z.
3
Suppose -9 = 3*t, -5*p - 7 + 32 = -5*t. Let u(v) = -297*v - 887. Let m be u(-3). Let g be 8/(-3)*(0 - 6). Solve 0 = -m*z - 4*a, -g = -z + p*a + a for z.
4
Suppose 5*s = -4*a - 138 - 67, 5*a + 136 = -3*s. Let l = 57 + s. Let r(u) = 5*u + 18. Let w be r(-3). Solve 11 = 2*v + w*c - 2, 0 = 4*c - l for v.
-1
Let k be 18*((-10)/(-4) - 2). Suppose 34*f - 25*f - 126 = 0. Suppose -f*x = -15*x + 3. Solve -x*v - k = -2*i, -v - i = 14 - 6 for v.
-5
Let f be (2/3)/((-1)/(-9)). Suppose -27*q + 32*q + 10 = 0. Let d be (-5)/q - (40/(-16))/5. Solve -d + f = s, v + 12 = 4*s for v.
0
Let n(z) = -25*z - 33*z + 93*z - 34*z + 11. Let l be n(-7). Solve l*u - 9*f - 1 = -4*f, 0 = -2*u - f - 3 for u.
-1
Let h(q) = -24*q + 5. Let v = -256 - -256. Let j be h(v). Solve 2*r + 0 - 2 = -2*o, -o - j = -2*r for r.
2
Suppose 10 = 2*j - 0. Let r be 7*5/(-65)*-13. Solve -4*p + 0*p - r = -5*c, 5*c = 5*p + j for c.
3
Let r be (-6 + 265/25)*5. Solve r*z + 3 = 20*z, -g + 2*z + 4 = 0 for g.
2
Suppose 4*g - 4 = 4647*m - 4649*m, -4*g = 3*m - 6. Solve 2*o + m*p - 12 = 0, -4*o = -10*p + 7*p - 10 for o.
4
Let k be ((-8)/14 - 0)/(3/(-21)). Let v be ((-6096)/(-30))/k + 2/10. Let u = v + -47. Solve 0 = -u*o + w - 16, -w + 4 = -0 for o.
-3
Let i be 10 + 0 - 0/(-5). Suppose 6*s = 10*s. Suppose s = -4*w + q + 10, 0 = 3*w + 3*q - 13 - 2. Solve i = 6*b - w*b + 4*t, 2*b = -4*t + 12 for b.
-2
Suppose 0 = -13*f - 1011 - 614. Let t = f - -128. Solve 0 = -3*d + 3, -t*m - d + 21 = 8 for m.
4
Suppose 0 = -2*c - v + 8, -5*c - 4*v + 1667 = 1641. Solve -3*y = m + 7, -17 = -c*m - 2*m + 3*y for m.
2
Suppose -15*o + 11*o - 8 = -4*a, -2*a + o + 2 = 0. Solve 11*t = -2*n + 8*t - 10, a = 3*t for n.
-5
Let r = 5898 - 5886. Solve 5*o = 5*j - 2*j - 14, 0 = 4*j - r for o.
-1
Let s be -37*(-16)/(-14)*(-35)/(-10). Let k = s + 150. Solve k*u - 2*m = 4, -7 = 4*u + 3*m + 13 for u.
-2
Let g be -4*(63/12 - 3). Let o = 11 + g. Let d be ((-1)/(-4))/(106/848). Solve -d*w = m - 0 + 15, 4*m = o*w - 10 for m.
-5
Let u(w) = 4*w**2 + 31*w + 38. Let q be u(-7). Solve 3*r = -2*b + q, -13*r + 15 = -10*r for b.
1
Let c be (20/190)/((-233)/(-26562)). Let g = 3 + 1. Suppose q - 25 = -g*b - 9, -b - 5*q + 23 = 0. Solve 5*s + c = 4*n, 2*n + b*n - 15 = -s for n.
3
Suppose 0 = -3*s + 2*w + 147, -94 = -5*s - 5*w + 101. Solve -s*a - 4*r = -48*a + 15, 0 = -4*r for a.
5
Let m(l) be the first derivative of -1/3*l**3 - 19/2*l**2 + 4 - 34*l. Let g be m(-17). Solve g = -3*n - 2*v - 4 - 4, 2*v - 6 = 4*n for n.
-2
Let k = -10259 + 10263. Solve k*w + 1 - 2 = -q, q - 6 = w for q.
5
Suppose 2 = -10*c + 42. Suppose 5*w - 4 = c*f, 4*w = 5*f + 2*w - 12. Suppose f*s - 5*s = -4. Solve -4*y + 4 = -3*u, u + 0*y = 2*y - s for u.
4
Let w(t) = -t**2 + 12*t + 110. Let g be w(18). Solve 0*l + 15 = 3*l + 3*x, -3*l + 14 = g*x for l.
4
Let v(g) = -3*g + 15. Let h be v(2). Let k = h - 13. Let i be (k/(-20))/((-3)/(-15)). Solve -f - i = -2*f + 5*l, l - 3 = -3*f for f.
1
Let b be ((-40)/(-25))/4 + (-865)/(-25). Let n be (-280)/(-49) + 10/b. Solve -19 = -2*q - 5*r, 2*q + 5 = 5*r - n for q.
2
Let s(a) = -a**2 - 9*a + 288. Let y be s(-22). Suppose -4*z = -2*v + 3 - 11, 32 = 5*v + 3*z