*l - 5*b + 23 - 1 for l.
-3
Suppose -4*g + i = 3*i, 4*g - 3*i = 0. Let r be (-2)/10 - 3731/273*3/(-5). Solve -4*c + 17 = 5*o, 2*c + 0*c + 2*o - r = g for c.
3
Suppose 20*n - 5*n - 120 = -15*n. Solve 3*i = 6, -q + n*i - 1 = 14 for q.
-7
Let f be -16 + -6 + (6 - -1). Let k be (-4)/(-2) - (f - 6). Solve -2*o - o - 27 = 3*b, 3*b = -2*o - k for o.
-4
Let t be (-10)/(-25) + -1 - (-653)/5. Let o = 130 - t. Solve -3*w - 5*x - 8 = o, 2*w + 3*w = x + 24 for w.
4
Let m be (-5)/(-2 + (-3)/(-3)). Suppose -4*h - s = -12 - 79, -2*s - 16 = -h. Let o = h - -18. Solve -u - 11 = 3*q, -o + 15 = 5*q - m*u for q.
-4
Suppose -1 = -19*c - 1. Suppose 5*g = 4*s - s + 10, c = 4*g - 4*s. Suppose -g*w = -4*y + 16, -2*y - 8 = -w - 4*y. Solve 0 = 4*v + u - 6 - 1, 3*v - u = w for v.
1
Let i(d) = 6*d**3 - 4*d - 2. Let m be i(3). Let a = m + -128. Solve 5*q + 2*v = -0*v - 8, 2*q - 5*v - a = 0 for q.
0
Let q(d) = d**3 + 4*d**2 - 5*d + 4. Let g be q(-5). Let b(h) = -2*h**3 - 21*h + 28. Let c be b(10). Let m = c - -2187. Solve f - g = -0, -m*f = -5*n for n.
4
Suppose c - 4*i - 10 = 0, 11*c - 72 = 8*c - 2*i. Suppose 5*j + 5*r - 85 = 2*r, -4*r - c = -3*j. Solve 2*n + j = 2*u, 0 = -n - 4*u + 1 + 2 for n.
-5
Suppose 2*y = 2*s - 2, 0 = 5*y + 5*s - 4 - 41. Suppose 23 = y*u - 3*m, -m + 3 = -u + 9. Solve -u*f + 4*j + 8 = 0, -5*f - 3*j - 5 = 1 for f.
0
Suppose -7 - 38 = -3*v. Suppose 9*x - 6*x = v. Let f(n) = 56*n. Let d be f(0). Solve d = -k, -x*y = -k - 0*k - 25 for y.
5
Suppose 0 = -4*o + 95 - 87. Suppose -3*k + 36 = 5*b, -3*k + 0 = -6. Let c = b - o. Solve 3*n - 11 = -y, 3*n - c*y + 30 = 8*n for n.
2
Let o be 193/13 + (50/(-13) - -4). Suppose -6*i - 4*u = -i - 15, -3*u = 5*i - o. Solve 4*p = y - i, -5*y - 3*p + 0*p = 31 for y.
-5
Suppose 0 = 30*t - 50*t + 41*t - 84. Solve 5*s = t*g + 29, -2*s - 3*s - g = -24 for s.
5
Suppose -59*f = -61*f + 8. Let l be (-10)/f*(56/10)/(-7). Solve 3*i + 6 = -l*x, 2*x + 11 = -2*i + 3*x for i.
-4
Suppose -22*c + 21*c = -3. Suppose -c*t + 5*z = -6*t - 34, -t = 4*z + 9. Let y be (t/(-26))/((-1)/(-34)). Solve -2*v + 0*k + y = 3*k, 0 = 4*v + 4*k - 24 for v.
1
Let f = -1391 - -1395. Let x(p) = -p**2 - 10*p - 4. Let r be x(-8). Solve 5*z + f = -4*q, 4*q - 3*q - r = 2*z for q.
4
Let d = -455 - -459. Solve d*n + 19 = -p, 0*p + 4*p = 5*n + 8 for n.
-4
Let g = 26250 + -26247. Solve -5*c - 33 = -g*f, -f - 3 + 28 = -4*c for f.
1
Let s(t) = 2*t**3 + t**2 - t + 1. Let i be s(2). Solve -h + i*v - 4 = 18*v, -5 = -4*h - 3*v for h.
-1
Suppose 4*t - 75 = -2*x - 85, t + 5 = 0. Solve 2*h - 5 = -4*k + 13, -h = -x*k + 26 for h.
-1
Let f(i) be the first derivative of i**2/2 + 7*i + 22. Let r be f(-4). Let d be 2/8 + 3/4. Solve -2 = 2*v + 3*b, -2*b - r = d for v.
2
Let u be ((-3)/42)/(415/70 - 6). Solve 19*y + 5*l = 16*y + 5, 0 = -2*y + l - u for y.
0
Suppose -11*w - 5*a - 57 = -15*w, 3*a - 136 = -5*w. Solve 0 = q - 5*x + w, 0 = -20*x + 17*x + 15 for q.
2
Suppose -s - 5*v = -28, -v + 5*v = -4*s + 112. Suppose -49 = -s*t + 63. Solve t*y = -2*m - 12, m + 4*y + 3 = -11 for m.
2
Let k = -1879 + 1886. Solve 11*a - 12*a = 4*b - 3, b = a + k for b.
2
Let v = -153 + 32. Let a = v - -135. Suppose 6*j = a*j. Solve j = -x - k + 2*k, -3*k = -12 for x.
4
Let w = -4445 + 4455. Solve w = -5*u - 5*x, 3*x - 4 + 3 = 4*u for u.
-1
Suppose 32 = 4*r + 4*r. Suppose -25*v - 85 = -42*v. Solve 0*i - i - 4*n = 16, r*i + 31 = -v*n for i.
-4
Let r = -1211 + 1213. Suppose p + c = 6, -3*p + c = -2*c + 6. Solve 3*m - p*m - 2*j = -9, 0 = 5*m - r*j + 13 for m.
-1
Let s be 0/((-3)/((-9)/6)). Suppose 0 = -2*m + 272 + 40. Let o = -152 + m. Solve s = r + o*a + a - 22, -a + 4 = 0 for r.
2
Suppose 32*p + 1033 - 1129 = 0. Suppose -1 = -3*b + 20. Solve p*z - x = 11, -3*x = b*z - 5*z - 11 for z.
4
Let a = 10077 + -10074. Solve a*p + 0 = -n + 8, -2*p + 4*n = -10 for p.
3
Let c be 304/32*130/5. Suppose 313 = 11*n + c. Solve 0 = -4*u + 4, 4*s + 0*s - 2*u - n = 0 for s.
2
Let l = 664 - 654. Let h = 18 + -14. Solve 0 = -4*k - f - 8 - 3, -h*k - l = 2*f for k.
-3
Let h(y) = y**2 - 12*y + 26. Let l be h(8). Let w(j) = -j**2 - 10*j - 8. Let d be w(l). Solve -d = -4*t - b, 5*t - b - 38 + 9 = 0 for t.
5
Suppose 13*v = 25*v - 8*v, 0*z + 10 = z + 4*v. Suppose -10 = -w - 5*t, -3*w - t = -5*w + 9. Solve 3*p + z = -w*i, -4*i = 2 - 6 for p.
-5
Let z = 21 + 20. Let c = z + -65. Let d be (-2)/4*1/(4/c). Solve -3 = -3*j - 3*m, -j = -d*j - 5*m - 10 for j.
5
Let t be 5/(70/144) + 2/(-7). Suppose -858 = -t*y - y. Let r be (2/3)/(-4 + y/18). Solve r*d = 2*f + 12, -5*f + 1 = 2*d + 10 for f.
-3
Suppose -2*h + 7*l - 397 = 6*l, -4*h = 3*l + 779. Let m = h + 199. Solve -c - 3 = v, -4*c = m*v - 1 + 13 for c.
-3
Let f be 4 + (74/259 - 16/7). Solve 3*h + 31 = 5*p, -10 = 7*h - f*h for p.
5
Suppose -6*p - 17*p + 75 - 6 = 0. Solve -3*r + 25 = 5*w, p*r - 5 = -w - 0 for r.
0
Let f(z) = 5*z**3 + 20*z**2 - 21*z - 60. Let d be f(-4). Solve -5*g - 4*r = 32, d = -27*g + 23*g - 4*r for g.
-8
Suppose -4*z + 2*b = 8, -3*b - 80 = -z - 92. Solve 3*k - 11*x + 7*x + 7 = z, 0 = -3*k - 3*x for k.
-1
Let k be 2/(-4)*(1 - 1). Let r(b) = 7 - 22*b + 29*b**2 + 15*b**2 - 3*b**3 - 25*b + 5*b**3. Let a be r(-23). Solve 3*j + 3*c - a = k, 4*c - 11 = j + 4 for j.
5
Let j be 4 - -3*5/(-15). Suppose 5*z - 29 - j = 4*p, 3*p + 21 = 3*z. Solve -4*r + z*g - 4 = -g, 3*g - 4 = 2*r for r.
4
Let y(n) = 56*n - 4026. Let b be y(72). Solve 6*x - 5*v = -3, -2*x - 18 = -2*v + b*v for x.
-3
Let o(r) = r**2 + 175*r - 6381. Let i be o(31). Solve 2*p - 17 = -i*c, 2*p - 11 = -c - 2*c for c.
3
Suppose 7382*i + 748 = 7393*i. Solve -i*w + 4*z + 3 = -65*w, w - 1 = -z for w.
1
Suppose -3*o + 5*v = 88, 5*o = 6*o - 5*v + 46. Let b(s) = s + 26. Let w be b(o). Solve -5*k + 5*t - 7 = -32, w*t + 15 = -5*k for k.
1
Suppose 0 = 24*j - 20*j - 36. Suppose j*i + 5 = 10*i. Solve 5*d + 2*l = 13, 0*d - 14 = -i*d - l for d.
3
Let u be 2*(-8)/20 - 20/(-25). Solve v + g + 3 = 7, -3*v - 5*g + 12 = u for v.
4
Suppose -3 - 1 = 4*p. Let g be (14 + p + -1)*20/(-6). Let b be (-1 - 1)/(g/(-12) - 4). Solve 0 = -3*a + 3*n - 4*n - 1, 31 = -b*a + 5*n for a.
-2
Let d(o) = -2*o**2 - 13*o - 5. Let w be d(-6). Let c be 14/3 - (-8)/(-12)*w. Suppose 3*z = 11 - 2. Solve z*v - 5*x - 6 + 0 = 0, c*v = 5*x + 8 for v.
2
Let p(x) = -x**2 + 8*x - 56. Let q be p(18). Let b = -231 - q. Let a = 6 + -4. Solve -4*n + i = a*i + 12, -b*i = n - 16 for n.
-4
Let h = 7154 - 7137. Let a(r) = -r**2 + 6*r - 1. Let v be a(5). Suppose -2*s - 4*m = 2*s + v, 4*s - h = 3*m. Solve 5*b + 35 = -4*u, b + u = -s*u - 18 for b.
-3
Let n = -2122 + 2124. Solve n*i + 2*y = -3 + 9, -7*i + 3*y = 19 for i.
-1
Let u(v) = 4*v**2 + 21*v - 31. Let r be u(-10). Suppose -r*t + 10 = -158*t. Solve 2*s + 5*i - 10 - 2 = 0, 5*i - t = 0 for s.
1
Let r be (-3)/2*(-4)/3. Let f = 52 - 29. Let u(v) = -8*v + 189. Let k be u(f). Solve -k*p + 20 = h, r*p - 3*h - 30 = -p for p.
5
Let z be 4/24*0/21. Solve 0 = 2*y - 4, 5*y = 3*n - 2 - z for n.
4
Let l = -450 - -656. Suppose -l*n - 28 = -208*n. Solve 2*d - 2*w + n = 2*w, 2*d + 4*w = 10 for d.
-1
Suppose 0 = -15*m + 5*m - 40. Let v = -86 + m. Let t = v - -92. Solve 0 = 2*y - 4*w + w - 3, 4*y - t*w = 2 for y.
0
Suppose 0 = -18*i + 45 - 9. Suppose i*n = -3*k - 2, 3*n + 0*k - 2 = -2*k. Solve -6 = -n*u, 4*l - 3*u = -7 + 18 for l.
5
Let m = -12732 - -12737. Solve -23 = -3*j + 2*r, -m*j + 5*r + 50 = 5 for j.
5
Let p(z) = 5*z**2 + 132*z + 179. Let n be p(-25). Let s(h) = -2*h - 5. Let q be s(-5). Solve q*w - 4 = -n*y, 0*y = -2*w + y - 1 for w.
0
Let u = -5983 + 5987. Solve -4*s - u*g + 11 + 21 = 0, -2*s - 19 = -5*g for s.
3
Let w(z) = 3*z - 4. Let x be w(2). Solve -3 + 37 = 3*u - 5*y, -26 = -x*u + 4*y for u.
3
Let u(t) = t**3 - 85*t**2 + 75*t + 756. Let c be u(84). Let i = 14 - 14. Let d be -2 + -3*(-2 + -6). Solve c = -y - i*q - 5*q - d, -q + 4 = -4*y for y.
-2
Let j = -2448 - -2452. Solve -4*v - n + 22 = 0, -4*n + j + 9 = v for v.
5
Let g be ((-44)/33)/(2/(-417)). Suppose 8*c - g = 122. Let x = 62 - c. Solve n = -h + 4, 0*n + 2*h = 2*n + x for n.
-1
Let l be (-18)/(0 - -3)*(-35)/(-21). Let r be (-6)/l - (-1)/((-30)/(-102)). Solve 0 = -g - 2, -2*g + r = -2*v + g for v.
-5
Suppose 0 = -4*s - 5*n - 30, 5*s - 2 - 16 = 3*n. Solve 5*h - 5*a = -35, s = 3*h - 5*a - 0*a + 29 for h.
-3
Let o be (-21)/9 + (-110)/(-15). Solve 0 = -o*w + 10, -g + 2*w = 14 - 7 f