 3*c for j.
4
Let i(t) = -6*t**2 + 20*t - 4. Let m be i(3). Let n be m + 13 - (-1 - -1). Solve -4*z - 4*l + 5*l = -n, -l = -5*z + 18 for z.
3
Let l be (((-250)/75)/(-10))/((-3)/108*-3). Solve 0 = -l*b - x + 16, -x - 13 = -3*b - 1 for b.
4
Let d = -15694 - -15700. Solve 23*n - 28*n + 3*f = 4, -4*f - d = -n for n.
-2
Let f(n) = -3*n - 14. Let l be f(-6). Suppose 0 = 394*d - 393*d - l. Solve -d*g = -12, -5*m - 3 = -0*m - g for m.
0
Let y = 371 + -239. Let c be ((-96)/y)/(6/(-33)). Let t be (-2 - -1)*-6 + -1. Solve 0 = 4*d + c*p - 8, -4*d = -t*p + 33 + 4 for d.
-3
Let o = -17692 + 17697. Let d(i) = i**2 + 1. Let j be d(1). Suppose 2 = v - 3*p, -2*v + 2 = 3*p - j. Solve -8 - 6 = -o*w - m, -v*w = 4*m - 2 for w.
3
Let h(k) = 10*k - 5. Let i be h(2). Suppose 7*w = i + 6. Solve w*x + 15 = 2*r, 2*r + 2*x + 3*x + 9 = 0 for r.
3
Let z = -18 - -38. Suppose 0 = 3*k + 2*k - z. Let y = -112 - -117. Solve -k*o + 32 = -4*l, -6*o - y*l = -o for o.
4
Suppose 37*a = -110 + 665. Solve 0 = 3*t + k - a, -8*t + 20 = -4*t - 2*k for t.
5
Let g = -1959 - -1962. Let f be 19*(-1 - (-10)/5). Solve -2*l - f = -g*x, l = x - 4 - 4 for x.
3
Let v = -61 - -55. Let w be (-133)/6 + (1 - (-5)/v). Let a be w/(-4) + (3 - 15/6). Solve c + 10 = -3*o, 0 = -c - 4*o - 7 - a for c.
-1
Let u = -32 - -34. Let n = 3 + u. Suppose 0*r + n*r - 50 = 0. Solve -20 = a - 3*s, -2*a + r = 8*s - 4*s for a.
-5
Let z = -4637 - -4664. Solve -9 = 2*l + 5*k, 32*k - z*k + 1 = 2*l for l.
-2
Suppose 280 = -15*q + 23*q. Suppose -3*s - 3*l + 20 = -2*s, -4*l + q = 3*s. Solve 0 = -s*v - 5*b - 30, -v + 9 = -6*b + 2*b for v.
-3
Suppose -1 - 2 = -3*a. Let w be (0 + a)*(-6)/(-2). Let u(o) = o**3 + 25*o**2 - 2*o - 46. Let l be u(-25). Solve -5*m = -w*r - 18, -5*m = l*r - 6*r - 17 for r.
-1
Let y(i) = i**2 + 3*i. Let n be y(-3). Suppose -3*v - c + 266 = n, 3*c = -3*v + 17 + 241. Let x = v - 88. Solve -3*u = g + 4 + 12, 5*u = -x*g - 28 for u.
-4
Suppose 10*r = 19*r + 108. Let n be 2 + -15*80/r. Let m = 105 - n. Solve z + 4 = -3*l, -l + m*l = z - 11 for z.
5
Let i(k) = 3*k**2 + k - 2. Let f be i(1). Let d(v) = -38*v**2 - 3. Let p be d(f). Let h be ((-4)/5 - 0)*p/62. Solve -3*s - 3*y - 6 = 0, 0 + h = -s + 3*y for s.
-2
Let i = -30 + 30. Suppose 4*m = -i + 8. Suppose 21 = m*x - 5*a - 3, 5*x - 5*a = 30. Solve -3*c - 11 = -2*w, -3 = x*w + 1 for c.
-5
Let i(a) = 257*a - 751. Let b be i(3). Solve 4*y - b = 0, -15*r - 31 = -12*r - 5*y for r.
-2
Let t be 0/(5/(5/3)). Let x be ((-22)/(-8) - 2)*4. Suppose -x*y + 5 + 1 = t. Solve 11 = 2*r - y*i - 3, 2*r - 5*i - 23 = 0 for r.
4
Suppose 2*b - 2*i = -7*i - 15, -4*i - 10 = 2*b. Solve 4*c + 2 = b*c + u, 0 = -3*u + 15 for c.
-3
Let n = 827 - 673. Suppose 0 = 13*y - 24*y + n. Solve -2*f - 9 = -5*k - 23, 2*f + y = -2*k for f.
-3
Suppose -11*j + 160 = 5*j. Suppose 0 = 3*i - 2*s - 55, 3*i - 2*s - 52 = 3*s. Let n = i - 8. Solve w - 2*b = 5*w - j, -4*w - b = -n for w.
3
Let a be 26/65 + (-8)/(-5). Let o be (14/8)/((-6)/(-24)). Suppose h = a*h - o. Solve 2*g = 2, -h*s - 4*g = -2*s - 9 for s.
1
Suppose -2*z = 42 - 50. Suppose -2*a + 3*i - 2*i = -z, -i - 4 = -3*a. Solve 2*r - 18 = 3*x, a*r - 3*r + 21 = -3*x for x.
-4
Let h = -218 - -439. Let c = h - 220. Solve -4*s - 5*o + 44 = 13, -2*s - c = -3*o for s.
4
Suppose 1057 - 280 + 663 = 180*v. Solve 2*n - 4*g + 16 = v, 5 = 5*g for n.
-2
Let y = -21356 - -21380. Solve 3*a + 2*u + y = 10, -5*a = -3*u + 17 for a.
-4
Let u be 16 - (1 - -15*(-3)/(-9)). Solve -2*g + r - 6 = -11, 2*r = -g - u for g.
0
Let y(c) = -103*c**3 - 6*c**2 - 10*c - 2. Let f be y(-2). Let q = f + -814. Solve -6*m + u + 7 = -q*m, 0 = -4*u + 4 for m.
4
Suppose 29*j = 34*j - 1420. Let d = j - 280. Let t(w) = -w + 10. Let r be t(5). Solve 21 = -d*c - 2*l + l, -r*l = -c for c.
-5
Suppose -317 - 23 = -5*b. Let c = b - 67. Let y be ((0 + -1)/(1/(-3)))/c. Solve 0 = s, -2*s = -y*h - 3*s + 12 for h.
4
Suppose 36*n = 37*n + 3*q - 14, 0 = 4*n - 4*q - 8. Solve -2*w - 5*v - 11 = 0, 3*v + 3 = -n*w + 2*w for w.
2
Let n = 10765 - 10761. Solve -n*a = -b - 11, 42*a = 40*a - 2*b - 2 for a.
2
Suppose -5*w + 6*w = -3*p + 47, -3*p = -3*w + 81. Suppose 14*s + 2*s = w. Solve h - 4*m = 3*h - 14, -s*h - 26 = -4*m for h.
-3
Suppose -244*k + 4779 = 143. Solve 0 = -5*c + 6*i + 59, 3*i = -c + 2*c - k for c.
7
Suppose 6*z - 7*z = -24*z + 207. Solve -22*p + 17*p = 4*c + 3, -z = 4*p + c for p.
-3
Let t(i) = -i**2 - 41*i - 349. Let o be t(-27). Solve 4*x + 7*j - 10*j + o = 0, -2*j + 6 = 0 for x.
-5
Let w(a) = -1551*a + 10869. Let b be w(7). Solve -5*t + 14*i - b*i - 27 = 0, -17 = 3*t - 2*i for t.
-5
Suppose 0 = 2*p - 2*o + 8, 4 = 93*o - 92*o. Solve 4*g - 2*f = -10, p = -2*f + 4*f + 2 for g.
-3
Suppose -4*n + 2*y = -20, -4*n - 5*y + 47 = -1. Let d = -74 - -77. Solve 5*h + d*a - 1 = n*a, 0 = 2*h - a - 1 for h.
1
Let a = 376 - 372. Let b be (12/a)/((-18)/(-102)). Solve -3*s + 0 = 2*k + b, 15 = -5*s for k.
-4
Let a = 128 + -126. Suppose -c + 5 = a*r - 1, -15 = -5*r - c. Solve -3*b - 11 = -2*w, -w - 2 = 3*b - r for b.
-1
Let h = 10 + -1. Let q be (0 + -9)*(-6)/h. Let s be (5/(-3))/(q/(-18)). Solve s*w = d - 19, 17 = 3*w - 2*w + 5*d for w.
-3
Let o(d) = -41*d + 47 + 46 + 52 + 35*d. Let w be o(22). Solve 3*p = -9*c + 4*c + w, 2*c - 2 = -2*p for p.
-4
Suppose 1522 = 14*h - 900. Suppose h*b - 174*b = -4. Solve -s + 4*m + 11 = -3, -6 = 3*s + b*m for s.
2
Suppose 0 = 3*v + 3*x - 27, -4*v + x = -11. Suppose -15 = -5*c - 3*y - 1, 2*y = -v*c + 10. Let z = 106 + -104. Solve -z*w = -o + 3*w - 16, -c = 4*o + w for o.
-1
Let b = -43120 + 43124. Let m = 1 + 2. Solve r - 9 = 4*v, 5 - 15 = -b*r + m*v for r.
1
Let n = -22954 - -22957. Solve -o + 2*c = 9, -n*c = -14*o + 11*o - 12 for o.
1
Let g be (60 - 39)*-1*(-3 - -2). Suppose 38*k = g*k. Solve -2*x = -5*n - 25, 3*x + x = k for n.
-5
Let h = 77 + 52. Suppose 39 = -4*w - h. Let c = -39 - w. Solve c*n - 2*d + 0*d = 14, -5*d - 30 = -5*n for n.
2
Let z(d) = -21*d + 75 + 3*d**2 - 37*d - 53. Let m be z(19). Suppose 7*w + m*o - 27 = 4*w, 3*w = -2*o + 28. Solve -4*y = -2*y + f + 10, 4*y - 3*f + w = 0 for y.
-4
Suppose 0 = 17*w - 9*w - 0 - 40. Solve -3*i + 2*h = 1, -10*i + w*i = -4*h + 5 for i.
3
Let u = -30 + 32. Let r = -79 + 142. Let w = r + -62. Solve 0 = q - w, 0 = f + u*f - 5*q + 11 for f.
-2
Suppose 2*m - 2*h = m + 10, 5*m - h = 14. Let q(x) = -19*x + 5*x - 12*x - 137 - 54 - 2*x. Let u be q(-7). Solve -2*o - 2 = u*j + 23, 5*j + 5 = m*o for j.
-3
Suppose 41*y - 38*y + 3 = 0. Let i be ((-15)/(-9))/(y/(-3)). Solve -1 = c - q + i, 3*q = 15 for c.
-1
Suppose -396 = 31*w - 790 + 394. Let r be 5 - 0*(-2)/6. Solve 4*t = 3*h - 10, -r*h - 6 - 4 = w for t.
-4
Let q(k) be the first derivative of k**3/3 + 11*k**2/2 + 27*k - 12. Let s be q(-9). Suppose -9 - s = -2*h. Solve -o + h = -4*b, -5*b - 4*o + 11 = -4 for b.
-1
Let i(l) = -2*l**2 - 105*l + 166. Let o be i(-54). Solve -9*k = 2*y - 7*k - 20, -o*k + 5 = -3*y for y.
5
Let j = 7886 - 7878. Solve 4*g - 4*b - j = 0, 0 = -2*g - 0*b + b + 8 for g.
6
Let i be (-39)/117*4/16*0. Solve -3*l + 2*n = i, -2*n - 14 = l + 2*n for l.
-2
Suppose -2*m = -2*o - 745 + 761, -m = 6. Solve -o*u = -4*q + 10, 3*u = -21*q + 18*q - 15 for q.
0
Let l(t) = -t**2 + 35*t - 193. Let g be l(7). Let j(u) = 8*u - 53. Let q be j(7). Solve 0 = g*o + z - 4, -2*o = q*z - 12 for o.
0
Let j = 1701 + -1680. Let c = -12 + 17. Solve 3*r + j = -r - c*i, 4*i + 20 = -4*r for r.
-4
Let m = -2750 - -2759. Solve -4*z + 2*o = -m*z + 36, 24 = 5*z - 2*o for z.
6
Suppose 71*t - 485 + 201 = 0. Solve -t*z - k - 25 = -20, -3*k = 4*z - 1 for z.
-2
Suppose -13*c - 480 = -45*c. Solve 0 = o, 3*m + 2*o - c = 4*o for m.
5
Let g be 1 - ((-35)/(-7 - -14) - -4). Solve -4*o + 5 = -g*o + 5*f, -5*o = 5*f - 5 for o.
0
Let o(n) = 3*n**2 + 9*n - 118. Let q be o(5). Solve -4*i = 4, 5 = -2*r - q*r + 3*i for r.
-2
Let x(y) = -4 - 6 - 3 - y + 44*y. Let p be x(1). Suppose -5*j = 16 - 26. Solve -a + j*b - 15 = -3*b, 4*a - 5*b + p = 0 for a.
-5
Let x(w) = 2*w**3 + 25*w**2 + 61*w - 15. Let b be x(-4). Solve -4*h + 3*s - b = 0, 2*s = -2*s - 4 for h.
-4
Let z be -5 + 6 + 8 + -5. Suppose -z*w + 62 = 50. Solve -12 = -4*f - 4*y, -2*f = -6*f + w*y + 12 for f.
3
Let u(i) = 4*i**2 - 153*i + 44. Let o be u(38). Suppose -3*p + o + 6 = -g, -3*p + 4*g = -21. Solve v - 8 = 6*b - b, -p*v - 16 = 5*b for v.
-2
Let z = -2198 - -2201. Solve 0