- 5*a, 5*a - 20 = -2*r for r.
0
Let t be ((-779)/(-287))/(((-9)/(-21))/3). Solve 0 = -a + 5*d + t - 0, -2*a + 4*d + 20 = 0 for a.
4
Suppose 10 = 4*r + 6. Let n = -98 + 98. Solve 5*i + v - 17 = n, -2*i + r = -2*v - 13 for i.
4
Let u = 1621 - 1618. Solve 2*k = 6*k + u*d + 15, 4*k + 20 = -4*d for k.
0
Let i(r) = -r - 1. Let g be i(-45). Let q(m) = 4*m - 174. Let c be q(g). Solve -2*y - 4 = -t, -4*t + 3*t - 4 = c*y for y.
-2
Suppose 0 = -355*z + 349*z + 84. Let u(m) = -m**3 + 14*m**2 - m + 16. Let c be u(z). Solve -3*w - 6 = 3*o, -4*w + 8 = -o - c*w for o.
-4
Suppose n - 29 = 5*w, 4*n - 21 = 827*w - 826*w. Solve 0*i - 4*o = -4*i - 8, -2*i - 3*o = n for i.
-2
Let q be (-21)/(-2)*(-32)/(-6). Let p = q - 49. Suppose p = u - 2. Solve 0 = 3*a + v - 5, 4*a - 4*v - 3 = -u*v for a.
2
Suppose 0 = -3*y - y + 8. Let a be 1*-3 - (-80 + 13). Let m = a + -61. Solve y*n - 8 = s + 2*s, -4*n + m*s + 10 = 0 for n.
1
Let x(k) = -10*k + 35. Let s be x(8). Let q = 50 + s. Solve 3*r + 12 = q*v, -2*v + 4*r + 0*r = -16 for v.
0
Let f(o) = 130*o - 6235. Let b be f(48). Solve 65*t + 16 = 4*y + 70*t, 20 = 5*y - b*t for y.
4
Let s = -105 - -115. Solve w - 7*o - s = -5*o, 4*o + 22 = 3*w for w.
2
Suppose 6*i - 7*i - 34 = 2*k, -4*i - 24 = k. Let y be 3/(-24)*-22 - k/64. Solve y*l + 2*l - 12 = -4*o, -4*o = 4*l - 12 for l.
0
Let o(a) = a**3 + 13*a**2 - 5*a - 47. Let k be o(-13). Suppose 2*c + 96 = k*c. Solve s = c - 4, 4 = 2*u + 3*s for u.
-1
Suppose 3*t + 8*t - 44 = 0. Let x be ((t - 6)/6)/((-1)/30). Solve -3*q + 19 - 1 = -3*g, 0 = 5*q - x for g.
-4
Suppose -6*f = 4*n - 3*f - 9, n = -f + 2. Let b be (-1 - 13/(-11)) + ((-1116)/(-33) - 33). Solve -2*m + 8 = 4*a, b + 6 = 5*m - n*a for m.
2
Suppose -u - 2*n = -2, -4*n - 17 = -u - n. Let j = u + -3. Suppose i - 8 = -j. Solve -i*k + 23 = -4*z - 0*k, -5*k = -z - 10 for z.
-5
Let b be 34/6 + (-2)/3. Let t = -315 + 203. Let q = -84 - t. Solve k - 3*c = 11, -b*c - q - 9 = 3*k for k.
-4
Let r(b) = 2*b**2 - 68 - 66 + 3*b + 139. Let f be r(2). Solve 4*v - 32 = 4*a, -a - f + 1 = -3*v for v.
5
Let d(h) = 1502*h + 7534. Let j be d(-5). Solve 29 = y + 5*l, -50*l + 54*l - j = -y for y.
4
Suppose 0 = 27*d - 20*d + 2114. Let l = -297 - d. Solve 3*m = -3*k - 9, -3*m - 15 = -0*m + l*k for m.
0
Let b be -4 - (-18 - (-2 - 5)). Solve 0 = -2*i + 6*a - a - 19, -b*i - 20 = -2*a for i.
-2
Suppose -3*p - 4*n - n = -126, 3*p - 3*n = 126. Let s be 1/((p/(-7))/(-6)). Solve l + 3*r = s, 0 + 4 = 4*l - 4*r for l.
1
Let b(k) = 2*k**3 - 9*k**2 + 14. Let h be b(6). Let u = h - 62. Let f = u - 56. Solve 3*g - f*c = 24, 5*c - 5 + 20 = 0 for g.
4
Let l be ((-7470)/830)/((1*-1)/1). Solve -2*q + h = l, -q + 3 - 12 = -5*h for q.
-4
Let w(t) = -t**2 + 5 + 213*t**3 - 108*t**3 - t**2 - 106*t**3 + 3*t**2. Suppose r + r = 0. Let n be w(r). Solve -3*p = 5*d - 7*p + 33, -n*d - 29 = -2*p for d.
-5
Suppose 342 = -9*o + 450. Suppose -96*x + 99*x = o. Solve -3*z = m + 7, 5*m = -z + x*z - 17 for m.
-4
Let g = 14 - 10. Let m = 2317 - 1630. Let w = m + -684. Solve -4*l = -3*l - n - g, 0 = 2*l + w*n - 8 for l.
4
Suppose 20838 = 35*l - 12*l. Let d = 917 - l. Solve 5*w + 2*z = -23, 3*z = -4*w - d - 6 for w.
-5
Let h(r) = -8*r + 895. Let j(y) = 2*y - 299. Let a(l) = 3*h(l) + 8*j(l). Let i be a(36). Solve i*o - 22 = -b, -3*b + 2*o + 0*o = 2 for b.
2
Let f(p) = p**2 + 3*p - 10. Let d be f(-6). Suppose d*j + 8 - 104 = 0. Solve 2*q + 4*l + j = 0, 5*q - l = -0*l + 3 for q.
0
Let q(g) = -4*g**2 + 24*g + 25. Let t be q(7). Let u(p) = 16*p + 78. Let b be u(t). Solve 3*s = 5*f - b, -21 = 3*s - 6 for f.
3
Suppose 6*l - 9*l = -12. Suppose t = w - 9, 6*w - w + l*t = 90. Suppose 4*j - 4 = -0*d - d, 0 = j - 3*d - w. Solve u + 9 = 5*b + j*u, 4*b + u = 8 for b.
1
Let o = -84 - -102. Suppose -o*r = -4*r - 42. Solve -4*c = -r*b - 2*b + 5, 0 = -2*b - 3*c + 2 for b.
1
Let r = 193 + -16. Let m = r + -175. Solve m*o + 5 + 5 = g, 0 = 5*o - 2*g + 23 for o.
-3
Let c be (6/4)/(9 + (-51)/6). Suppose -4*q + 10 = b, 4*q = -7*b + c*b + 16. Solve -5*g - q*r - 1 = -6, 5*g = -3*r + 5 for g.
1
Suppose 36 = 52*u - 40*u. Solve 9 = 3*s - 11*d + 6*d, 4*d = -u*s - 18 for s.
-2
Suppose 11*w = -0*w + 110. Suppose 3*o = -w - 20. Let q = o + 14. Solve 3*f + 0*f + q*u + 14 = 0, 0 = 5*f + u + 12 for f.
-2
Let b be 12/(-20)*(-20)/(-10)*-10. Solve 5*o + c + 22 = 0, -2*c - b = -0*o + 2*o for o.
-4
Let f = 44 + -23. Let b be ((-144)/30)/6 + 139/5. Suppose -25*k - 6 = -b*k. Solve k*p = -x - 13, x - 6*x = 4*p + f for x.
-1
Suppose -10*w + 130 = 10. Suppose -5*v - 33 = -4*u, -46*u - w = -42*u + 4*v. Solve -3 = t - u*z, -z = -5*t + 2*t - 9 for t.
-3
Suppose 3*f - 8*f = -150. Suppose -4*z + 2*q + 32 = -8, -5*z + 53 = -4*q. Suppose -p + f = z*p. Solve 5*o = -p*w + 13, 0 = -4*o + 5*w + 45 - 5 for o.
5
Suppose -3*y = -2*y - 5. Suppose -14*z + 536 + 1004 = 0. Suppose -5*u = -5*n + z, y*n + 3*u = -0*n + 134. Solve h + 5*i = n, 2*h = -2*h + 5*i - 25 for h.
0
Let w(g) = 3*g**2 + g + 1. Let o(v) = -11*v**2 + 11*v + 48. Let d(n) = -o(n) - 4*w(n). Let x be d(-8). Solve -5*a + 3*r + 1 = x*r, 18 = 2*a - 4*r for a.
1
Let u(h) be the first derivative of -h**4/4 - 38*h**3/3 - 35*h**2 + 75*h - 231. Let t be u(-36). Solve 2*x + 0 = 5*i - t, 0 = 3*x - 2*i + 10 for x.
-4
Let u = 558980 - 558978. Suppose 2*r - 12 = -r. Solve -u*o + 15 = 3*s, -3 = -s - 4*s + r*o for s.
3
Let u be -7 + (12 - -11) - 11. Solve -2*a = 2*y - 2, -u*a + 2*y + 233 - 214 = 0 for a.
3
Suppose 40*q = 3 + 157. Suppose 0*a + 2*a - 6 = -q*h, -7 = -4*h - a. Solve 0 = 2*k + k - h*s + 15, -2*k - 5*s - 10 = 0 for k.
-5
Let y(d) = d**3 + 40*d**2 - 40*d + 44. Let s be y(-41). Solve -5*m = -s*m - 2, -2*m = -p + 3 for p.
5
Let p = -85 + 39. Let s = -34 - p. Suppose 2*l = -2 + s. Solve -15 - 5 = l*t, 2*o - 2*t = 2 for o.
-3
Let o = -6523 - -6528. Solve 2*m + o = u, 0*m = 5*u - m - 16 for u.
3
Let t = 11224 - 11224. Solve -o - z + 10 = t, -10*o - 4*z + 35 = -7*o for o.
5
Suppose -14*n + 364 = -10*n. Let b = -83 + n. Suppose 13 = d + 2*l, -5*l + 20 = 4*d - 20. Solve -2*k = 4*a + b, 9*k = 8*k + d*a + 10 for k.
0
Let n = 5519 + -5516. Solve 27 = 5*i + 4*a, -n*i + 16*a = 19*a - 18 for i.
3
Suppose -2*f + 140 = 4*b + 112, b = -f + 10. Suppose 2*t - 5 + 1 = 0. Solve t*o - 13 = 3*v, -b*v - v + 5*o = 20 for v.
-5
Let z be (4 - 2)/(-4)*0. Let j be (29 + -34)/((-1)/4). Suppose 0 = -80*s + 75*s + j. Solve 2*d + y + 6 = z, -s*y = d + 10 + 7 for d.
-1
Let a = 4827 + -4819. Solve 5*z - 21*q = -18*q - a, -2*z = q - 10 for z.
2
Suppose 0*c + 2*c + 6 = -u, 2*u - 5*c - 33 = 0. Let l be (-7)/u + 2 - (-470)/40. Solve 4*f + 8 = 3*z, -l = 2*f - 6*f - 2*z for f.
1
Suppose 0 = 2*o - 3*u + 2 + 2, -5*u + 15 = -5*o. Let w be o - -16 - 4 - 7. Solve 3*p - 6*p + 9 = w, 15 = -3*d + 2*p for d.
-3
Let u = 901 + -1270. Let v = 372 + u. Solve 3*c - 2 - 5 = -p, -3*p = -v*c + 27 for c.
4
Let f be (-2)/(-1)*12/8. Suppose g - w - 10 = -3, 0 = g + f*w + 9. Solve -45 = 4*t - 5*u, -4*t - g*u - 4 = 1 for t.
-5
Suppose -k + 3*l + 10 = 0, -10*k = -6*k + 4*l - 56. Let c be 316/8 - k/(-26). Solve 2*h - 3*s + 9 = 0, -3*h - 5*s + c = 2*h for h.
3
Let y be ((-8)/12)/((-22)/99). Suppose 6*x - 7*x - y = -2*w, 2*w = -5*x + 45. Solve 0 = -3*d + 3*v - 20 + 5, 3*d + x = -5*v for d.
-4
Let a(h) = 6*h + 9. Suppose 0 = -154*i + 153*i - 141. Let f = 141 + i. Let v be a(f). Solve -v = -b - b - 5*n, 4*n = b + 2 for b.
2
Let d be 2304/128 + -8*((-4)/(-4))/(-2). Solve 0 = 4*w + 27*f - 32*f - d, -4*f = -2*w + 8 for w.
8
Suppose -19*n = -50*n + 310. Suppose 295*s = 300*s - n. Solve -2*u - 2 = -s*b - 2*b, -u - 11 = 3*b for u.
-5
Let d be (1100/(-660))/((-2)/((-144)/(-10))). Solve 0*z + 2*z - 7 = l, 3*z - l = d for z.
5
Suppose 32 = -6*t + 32. Suppose -23*s + 24*s + 1 = t. Let n be (-4)/(-1) - (-2 - s). Solve -n*r - 13 + 35 = z, 2*z - 3*r = -8 for z.
2
Suppose -i + 2*j + 10 = 0, -5*j = 5*i + 578 - 568. Solve 0*m - 6 = -i*m + a, -2*m = -3*a + 2 for m.
5
Suppose -3*a + 5*a = -r + 3, -4*a + r + 9 = 0. Solve -5*c - 18*g + 11 = -14*g, 0 = -4*c + a*g - 12 for c.
-1
Let j(n) = -115*n**3 + 229*n**3 + 25 - 113*n**3 - 11*n**2 + 8*n. Let w be j(10). Solve -3 = -5*z - 3*x + 32, 5*z + w = 5*x for z.
4
Suppose 6*s = 3*s + 21*s - 54. Solve 0 = 3*h + s*f, -15*f + 3 = 4*h - 14*f for h.
1
Let l = 5771 - 5330. Solve 0 = 5*p - 3*q + 16, -440*p = -l*p - 5*q + 8 for p.
-2
Suppose -14*h +