 s + 10 for s.
2
Let u(v) = -v**2 + 44*v - 311. Let b be u(9). Solve 5*r - b*j = -40, -3*j = -9*r + 7*r - 23 for r.
-4
Let d = 8688 - 8684. Solve -17 = -d*p - 4*f + 3, 25 = 5*p - 3*f for p.
5
Suppose 2*j - 75 = -31. Suppose 18 + j = 5*u. Let h = 11 - u. Solve -3*i + 20 = 5*a, 3*i - 1 = -a + h for i.
0
Let a(g) = -g**3 + 7*g**2 + 6*g + 16. Let s be a(8). Suppose 46*q - 43*q = s. Solve n + 2*n = -5*t + 12, -3*n - 3*t + 12 = q for n.
4
Let a be ((-12)/5)/((-4)/(-160)*-12). Let w be (a/(-32))/(4/(-32)). Solve -4*l - f - 8 = 0, -f + w = -l + f for l.
-2
Let o(p) = p**3 - 2*p**2 - 11*p. Let t be o(5). Suppose i + 3*l - 16 = 0, -t*l + 15*l = -20. Solve 3*b = 3*q - 6, i*b + 2*q - 4 = 3*b for b.
0
Let t(a) = 11*a + 4*a - 20 - 13 - a**2 - 2. Suppose 6*j - 18 = 54. Let v be t(j). Solve v = 2*g - 7, -2*g = 5*d - 8 for d.
0
Let w(r) = 2*r + 1. Let s be w(1). Let u = -293 + 306. Suppose 3*g + 13 = u. Solve 0*j - 1 = -c - s*j, -j = g for c.
1
Suppose -82 = -4*f + 67 - 133. Solve -2*q = -6*t + f*t - 8, 3*t = 5*q - 18 for t.
-1
Let c = -11 + 21. Let x be 5/c*-2*45. Let g be (-3)/(-6) + (x/10)/(-1). Solve g*r = -k - 16, 4*r + 8 = -k + r for k.
4
Let d(i) be the third derivative of -i**4/12 + i**3/2 - i**2. Let h be d(-3). Let q be 720/345 + 12/(-138). Solve h = 4*x - 3*r - 0, -3*x + q*r + 6 = 0 for x.
0
Let r = 84 + -79. Let p(h) = -h**3 + 4*h**2 + 13*h - 37. Let b be p(r). Solve -5*q = 5*g + 15 + 5, -b*g + 4*q = 12 for g.
-4
Let j = -355 + 372. Suppose -14*s - j*s + 62 = 0. Solve 0 = -s*l + 3*i - 3, 4*l = 5*i - 4 + 1 for l.
3
Suppose 110*t - 447 = 1398 + 355. Solve -t = -4*m - 3*w - 44, 5*m = -4*w - 31 for m.
-3
Let h = -6384 - -6389. Let w = 9 + -6. Suppose w*q - 9 = -0. Solve -4*k - q*x + h = k, -k + 2*x = -14 for k.
4
Suppose -10*n - 1566 = 19*n. Let p be 2/(-3*12/n). Solve 3*i - 10 = -f, -i - p*i + 18 = -f for f.
-2
Let t(y) = 5*y - 7. Let h be t(2). Suppose c + h - 8 = 0. Suppose -j + 12 = c*j. Solve -4*i = j*a + 6, a + i = -3*a - 12 for a.
-3
Suppose 12 = -2*v - 8. Let t(m) = m**2 + 11*m + 15. Let h be t(v). Solve -2*i = -h*p + 35, 2*p - 3*i = 17 + 8 for p.
5
Let z(k) = -6 - 7 + 15*k + k**2 - 5. Let y be z(-15). Let t be ((-132)/y)/11*15/2. Solve t*r + 4*u = 7, -r - 4*u - 2 = -13 for r.
-1
Let z = 3606 - 3606. Solve -11*p + 14*p - 3 = u, 5*p - u - 3 = z for p.
0
Let o(z) = -z**3 - 3*z**2 + 86*z - 75*z - 6*z**2 + 12. Let v be 3/18 + (-61)/6. Let j be o(v). Solve 4*f = 4*x + 8, -x + j*x = -3*f + 2 for x.
-1
Let t be 84/(-210) + (-54)/(-10). Solve -6 = j - t*n, -9*n + 6*n + 5 = -2*j for j.
-1
Let m be (-10)/(-15)*3*(-15)/(-2). Solve -3*y = m, 102*c - 100*c = 2*y for c.
-5
Let a be (-504)/5796 + (-2)/(-23). Solve -2*q + 21 = k + 36, a = 5*k - 5 for q.
-8
Let n = -1533 - -1537. Let z = -3 - -10. Solve 4*t = c - z, 6*c = n*c - 2*t + 4 for c.
3
Suppose 2*f = -2*f + 12, 0 = 5*z - 4*f + 2. Let p be ((-2)/2)/((-7)/z - -3). Solve -2*d = n - 7 - p, d = -5*n for d.
5
Suppose 88*o - 1718 = 1347 + 719. Solve p + o*m - 12 = 40*m, 5*m - 40 = -5*p for p.
6
Let c = -488 - -506. Suppose 0 = c*o - 19*o + 2. Solve o*t - t = 3*m, -4*t + 5*m = 0 for t.
0
Suppose a + 4 = -3*b, 6*b + 4*a = b - 16. Solve -2*d + 3*m + 9 = -6, 5*d - 2*m - 21 = b for d.
3
Suppose -275 = 4*a - 295. Let l = 234 + -233. Solve r + l + 4 = j, a = -4*j - r for j.
0
Suppose 3*n + 5 = 11. Let w be n*(-7)/(21/(-30)). Let m be (-6)/8 - (-138)/24. Solve j = 5*c, 0*c + 5*j + w = m*c for c.
-1
Let j(p) = 2*p**2 + p - 132. Suppose -10 = -i + 2*t, 6*i + 4*t - 36 = i. Let o be j(i). Solve -c - 20 = -o*c - 2*y, 3*y = 2*c + 4 for c.
4
Suppose -7*f - 79*f = -602. Solve -14 = -5*l - 4*v, 0 = -0*l + 4*l - v - f for l.
2
Let p = 24205 - 24200. Solve 2*i = p*c + 5, -2*i = -17*c + 22*c + 25 for c.
-3
Let o be 3/42*4*(-1 + 8). Suppose -8 = -2*h - 0*h + 2*p, 2*h - 5*p = o. Solve 2*z = -m - 13, 2*m + h = -2*z + 3*z for m.
-5
Suppose 4*c - 8*y = -4*y + 852, -3*c + 4*y = -642. Let g be c/8 - (-19)/(-76). Solve n - 5*n - g = 2*z, z = 3*n + 12 for n.
-5
Suppose 0 = 5*f - 6*f + 4. Suppose 3*k - 68 = 5*r - 0*r, f*r - 144 = -4*k. Solve -2*d = -5*p - k, -7*d + 32 = -3*d - 4*p for d.
3
Suppose 619*s = 176*s + 21264. Solve -c - 6 = -t, s*c - 47*c + 4*t = 4 for c.
-4
Let g(m) = 7*m + 101. Let p be g(-14). Let y be (105/42)/(10/32). Solve -2*c = -2*v + 4 - y, -p*v = 5*c - 10 for c.
2
Let s(f) = 7*f - 63. Suppose 4*z = -2*w - z - 2, 5*w + 5*z = 25. Let d be s(w). Solve d = -5*l + j - 6*j - 25, 2*l = 5*j + 25 for l.
0
Let l = 3 + -3. Suppose -5*p + 4 + 12 = s, l = 4*s + 4*p. Let a be (-2)/(-1*s/(-8)). Solve 0 = -5*o + f + 21, -a*o - 2*f + 40 = 3*f for o.
5
Let t = -16537 - -16547. Solve 4*x + 3*w = -14, t*w = -4*x + 5*w - 10 for x.
-5
Let i be (4/(-7))/(42/(-147)). Solve -2*m + 5 = -5*u, -22 = 5*m - i*u - 3 for m.
-5
Suppose -150*j = -1220 - 4601 + 1321. Solve 2*f = j*t - 27*t + 11, -t + 15 = 4*f for f.
4
Suppose -8*o = -3*v - 12*o + 3, 5*v - 2*o = 31. Solve 6*f = v*b + 4*f - 26, -4*f = b - 14 for b.
6
Let g(k) = -2*k**2 + 11*k - 12. Let u be g(4). Let t = 31 - 27. Suppose t*q - 27 = q. Solve -y - 2*o - q = u, -2*y - 3*o + o - 14 = 0 for y.
-5
Let q(g) = 9*g**2 + 308*g + 70. Let a be q(-34). Solve 2*i + 16 = -a*f, -14 + 0 = 3*i - 2*f for i.
-6
Suppose 145*x - 1794 = -199. Solve 5*c - 5 = 0, 5*w + 42 = 6*c + x for w.
-5
Let f = -24588 - -24607. Solve 20*o = 16*o - p + 10, -f = -3*o + 5*p for o.
3
Suppose -8*g + 15 = -3*g - 3*q, 0 = 3*q. Solve -3*j + 5*h - 3 - g = 0, 3*j - 3*h = 0 for j.
3
Suppose 67*b - 305 = 1035. Solve -15 = -3*o + 3*f, -8*o - 4*f + b = -4*o for o.
5
Let d(j) = j**2 - 64*j + 768. Let h be d(16). Solve 2 = 2*y - i, 10*y - 5*y + 5*i - 20 = h for y.
2
Suppose 3 = -5*k + 63. Suppose -9*b - 24 = -b. Let m be -1*b/(15/20). Solve -5*f = -z - 4 - k, -3*z - m*f + 9 = 0 for z.
-1
Let o be 44*69/92 - 3. Solve -5*f = -3*j - o, -22 = -5*f - 4*j - 27 for f.
3
Suppose -123 - 183 = -153*a. Suppose -4*w = 4*d - 56, -5 = -d + 4*w + 24. Solve 3*x + 19 = a*x - 4*j, 2*x = 3*j + d for x.
1
Suppose 5*f + 3*s = 28, 8*f - 12 = 6*f - 2*s. Solve -f*h = j - 26, h + 0*j - 10 = -5*j for h.
5
Suppose 12*p - 8*p = 4*n + 4, 20 = 2*p + 4*n. Solve p = u + 2*k, -9*u - k = -8*u - 3 for u.
2
Let n(y) = -18*y + 8. Let w be n(3). Let h = w + 51. Let z = h - 1. Solve -j = -3*d, -j - 18 = 3*d + z*j for d.
-1
Suppose 31*u - 34*u - 3*m + 54 = 0, -3*u + 4*m = -47. Solve 0 = -2*z + 2, 4*z = 3*c + 6*z - u for c.
5
Let z = -288 - -454. Suppose 3*x - x - z = 0. Let u = -80 + x. Solve -5*w - 12 = u*p - 2*p, 0 = -4*p + w - 6 for p.
-2
Suppose 25*i + 6 - 12 = 119. Solve -j + 12 = -4*z, z - 160 + 144 = i*j for j.
-4
Let t be (2/(-5))/((-1)/7 - 252/(-5880)). Solve 3*a - t*k = 4, -18*a = -14*a + 3*k - 22 for a.
4
Let a be 13 + (-1)/3*3. Suppose 0 = -3*h + 7*h + a*h. Solve 4*g + x = -1, h*x - x = -3 for g.
-1
Let o = 49 - 47. Suppose 3*l - 7 + 19 = 0, -24 = -4*n + o*l. Solve -a + n = -z, -5*a = -2*z + 3*z - 8 for a.
2
Suppose 2*d + 1 = n, n + 4*d - 11 - 2 = 0. Let g(y) = y - 4. Let h = -24 + 32. Let q be g(h). Solve q*m - 3*p - 11 = 0, 0 = n*m + 2*p + 5 - 13 for m.
2
Suppose 21 = 16*s - 35 - 8. Solve -3*c + 21 = 7*m - s*m, -5*m = -3*c - 19 for c.
2
Suppose 0 = 10*x - 4*x - 36. Let i(r) = -8*r**2 + 52*r - 20. Let w be i(x). Solve -2*u = 2*n - w, -n + 0*u = -4*u - 17 for n.
5
Suppose -4*c = 179 - 283. Suppose c = -8*g + 21*g. Solve s - 3 = -g, -2*u = 2*s - 8 for u.
3
Let m be (-6)/4 + (-90)/(-20). Suppose 25 = m*x + 5*c, -2*x - 3*c + 15 = x. Let j be (-19 + 18)/(3/(-15)). Solve 2*d = 4*l + 2 - 0, x = -5*d + 5*l + j for d.
1
Suppose -57*b - 124 + 940 + 495 = 0. Solve 5*j + 5*v = 25, -20*j - 4*v = -b*j - 6 for j.
2
Suppose -2*r = -k + 7 - 22, -5*r + 3*k + 40 = 0. Solve r*d - 23 = -3*i, 2*i - 5*d + 8 = -10 for i.
1
Suppose 95*d - 94*d = -4*o + 17, -3*d - o + 7 = 0. Suppose -d = 12*z - 193. Solve 6*k + 5*w = 2*k - z, 0 = 2*w for k.
-4
Let d = 8 + -4. Suppose 5*b - 18*b = -2067. Let h = b - 156. Solve h*o = z + 12, -o = d*z + 2*o - 12 for z.
0
Let f(y) = -124*y + 3724. Let i be f(30). Solve -h - 5*v = -7, -6*v + i*v = -h for h.
2
Let p(o) = 28*o - 866. Let b be p(31). Solve 5*s = -7*r + 11*r - 7, 5*s + b*r - 11 = 0 for s.
1
Let t be (30*(1 - 4))/((-5)/(-40)). Let o = 725 + t. Solve o*s = 3*x + 2, -s = 2*x + 2*s - 5 for x.
1
Suppose 11*w - 3*w - 24 = 0. Suppose w*g + 4 = 46. Suppo