+ 3*c + x - a for c.
4
Let w(r) = -48*r**2 + 336*r + 5. Let t be w(7). Solve 0 = -t*k + 2*z - 22, -5*k - 3*z - 4 = 13 for k.
-4
Let b(h) = -15*h + 47. Let l be b(4). Let d be (-1)/1 + (91/l - -11). Solve c - 4*c - 10 = 2*a, d*c = -6 for a.
-2
Suppose 0 = 162*m - 59*m. Solve 15 = -3*n - g, m = 5*n + 46*g - 41*g + 15 for n.
-6
Suppose -171*w + 94 = -792 - 482. Solve -19*b + 15*b = p - 20, -4*b + w = -2*p for p.
4
Let s be (2/3)/((-18)/(-216)). Suppose -3*f - 12 = -2*r, 16*f - 18*f = -3*r + s. Solve -5*k - 4*l - 37 = 0, 2*k + r*l + 4 = 2*l for k.
-5
Suppose 3092*k - 3097*k = 0. Solve k = -4*y + 5*q - 27, -3*y + 2*q - 20 = -5 for y.
-3
Let p be (-4)/(-7)*28/40*5. Solve 6 = p*i, i - 54 = -2*m - 53 for m.
-1
Suppose 21 = 2*l + h, 0 = -4*l + 5*h + 29 + 6. Suppose l = v - 0. Suppose 9*k - v*k = -9. Solve -g + 14 = 3*o + 2, o = 4*g - k for o.
3
Let r = 2940 - 2940. Solve -2*n = -10, -k + 17 = -r*k + 4*n for k.
-3
Suppose -10*u = 2*u + 108. Let b = 31 - u. Let y be 4 - b/12 - (-2)/6. Solve 0*x = 3*x, -p + 2*x - y = 0 for p.
-1
Suppose -5*o + 16 = -o. Suppose b = -o + 7. Suppose -3 = -b*d + 3*c + 6, -5*c = -4*d + 13. Solve 0*l = d*l + 2*f + 10, l + 2*f = -6 for l.
-4
Let g be ((-31)/(-2))/(5/10). Let y = g - 31. Suppose y = -b + 3. Solve -4*f + 3*v = 6, b*f - 2*v + 7*v = 10 for f.
0
Let r be (5/2)/(55/132). Let d(g) = g + 9. Let m be d(-9). Suppose -12*x = -22*x. Solve i + x*o - 1 = -o, m = -4*i - 2*o - r for i.
-4
Let f(u) = u**3 + 23*u**2 - 41*u - 393. Let h be f(-24). Solve 2*q = 2*x - x + 10, 2*x - h = -3*q for x.
0
Let t be -2 - (2/(-1) + -2). Let w(g) = 24*g - 7. Let s be w(t). Let n = -38 + s. Solve 4*a - n*v = -5, 0 = 5*a - 3*v + 2 + 5 for a.
-2
Let q be (-9)/(-12) - 74/(-8). Suppose -8 = -2*j + q. Let t be (2/(-1) - (-14 + j))/1. Solve 0 = -5*s + 2*h, 3 = 2*s - t*h - 8 for s.
-2
Let j be (-64)/(-20) + 2/(-10). Suppose -j + 8 = -2*x - r, -5*x - r - 5 = 0. Solve -n = -x*k + k, -2*n = 0 for k.
0
Let u(y) = 21 - 15 + 2*y + 4 + 6. Suppose 1 = -3*c + 3*d - 26, -5*d + 10 = 0. Let l be u(c). Solve 0*v = l*v + 5*o - 16, 4*v - o = -12 for v.
-2
Let x be -1*(4 - 1)*-1. Let p = -1792 - -1802. Suppose 2*j + 3 = y, 3*y - 2*j - 28 - 1 = 0. Solve 4*a + p = 2*b, 2*a + y = x*b + 2 for b.
3
Let f be 15*(-3)/(-12)*56/21. Let c be (f - 11)*(-3)/3. Let l be 2*(-4 - 42/(-4)). Solve o + q - c = -0*o, -q + l = -2*o for o.
-4
Let s be 42/9*(30/35)/(8/28). Solve 5*p = y - s, -5*y - 2*p = 42 - 31 for y.
-1
Let g be (25/15)/(65/117). Solve -39 = -3*b + 3*l - 21, g*b + 4*l = -10 for b.
2
Suppose -1980 = -c - 44*c. Suppose 28 = 36*n - c. Solve n*u = 4*k - 22, -u - 2 = -2*k - 3*u for k.
4
Let o(z) = 3*z**2 + 5*z + 10. Let t be o(-8). Let k = 166 - t. Solve -5*b + v = 5, -k*b + 0 = -4*v - 12 for b.
-2
Suppose 242*f + 37*f - 1387 = 8. Solve f*q + 15 = 0, 2*q + 2*q = 2*l - 22 for l.
5
Let z(h) = h**3 - 72*h**2 - 27*h + 1947. Let s be z(72). Solve -g - 2*b - 3 = 0, s*g - 5*b = -27 + 29 for g.
-1
Let r(q) = -29*q + 87. Let y be r(3). Solve -4*a = 2*p + 2*p + 20, y = p + 4*a + 14 for p.
-2
Suppose -32*c - 121 = -33*c. Suppose 6*f = c - 109. Solve -4*s - i = -18, -f*i + 3*i + 12 = 2*s for s.
5
Let d be ((-4)/6)/(18 - 4896/270). Solve 2*b - 9 + 17 = d*c, -2*c = 0 for b.
-4
Let j be ((-145)/(-290))/((-1)/(-38)). Solve -2*o + j = 3*v, 7*v - 2*v - 35 = -4*o for o.
5
Let s be 141/(7 + -4) + 2/(-1). Let u = -14 + s. Let h = u + -28. Solve h*k = -5*f + 22 + 5, -19 = -k - 5*f for k.
4
Let c be (-20)/350 + (-1161)/(-105). Let g = -19 - -28. Suppose g = c*y - 24. Solve a - d + 2 = 0, 0 = -a - 3*a + y*d - 11 for a.
-5
Suppose -4*i + 3*s = -67, 38 = 4*i + 5*s - 53. Let m be ((-44)/10)/(i/95). Let u = 42 + m. Solve 23 = -4*k - 3*v, 0*v - 2*v = 5*k + u for k.
-2
Let x be 10/14 + 2/7 + -87. Let b = x + 89. Suppose -14 = -4*r - b*r. Solve a - 3*u + 10 = r*a, 14 = -3*a + 2*u for a.
-2
Suppose 4*r = -o - 0*r + 68, 5*r = 2*o - 71. Suppose -8*m + o = 24. Solve -d + 8 = m*b, 2*b + 3*b - 5*d - 40 = 0 for b.
4
Let v = -34425 + 34429. Solve 4*i + 3*b = 6*i, -v*i = 2*b for i.
0
Let x be (-3 + (-21)/3)*21/(-6). Suppose 2*a = -5*a + x. Suppose -4*b + 4 + 16 = 0. Solve b*u - 8 + 23 = 0, u - 2 = a*t for t.
-1
Let v = 20 + -16. Suppose 5*l - 12 = v*o - 2, -3*l + 28 = 2*o. Suppose 0 = 2*c - 2 - l. Solve -3*m + 3*b = -c + 1, -5*m + 2*b = -14 for m.
4
Suppose 5*j - 2*v = -122, 2*j - 7*j - 110 = -5*v. Let r = 26 + j. Let a be (4 - r/2) + 1 + -2. Solve 3*l - 9 = -a*n, 6 - 3 = 4*l - 5*n for l.
2
Let g be (-45)/180*(6/3 + -18). Solve g*q - f + 4 = 0, -q - f = -6*q - 5 for q.
-1
Let y(n) = 43*n - 10. Let m be y(-1). Let d = -51 - m. Solve -4*h + 17 = x, 0 = 5*x + d - 7 for h.
4
Let g = 3011 - 3007. Solve -5*t = -g*i - 37, -i + 2*i = -2*t + 7 for i.
-3
Let q = 12509 - 12499. Solve 4*l + q = 3*o, -45*o = -4*l - 49*o - 24 for l.
-4
Let v be (6/5)/(249/1660). Suppose -258 = -v*y - 242. Solve 0 = -u + y*u - 5, -4*a + 2*u - 18 = 0 for a.
-2
Let i be 6156/270 - (-1 + (-4)/(-5)). Suppose 2*f - 6 = 3*n - i, f = 2*n - 10. Solve 0 = n*w - 4*w - 2*g + 3, w - g = 0 for w.
1
Suppose 0 = 98*b + 4 - 102. Solve -4*v - 4*t - 28 = -0*v, -b = 4*v - 5*t for v.
-4
Suppose 0 = -3*w + 5*w + 2*f - 118, 0 = 5*f - 20. Suppose w = 8*u + 15. Suppose 12*m - u*m - 35 = 0. Solve 3*o = n, -4*o - 2*n - m + 15 = 0 for o.
1
Let t(u) = -u. Let j = 367 + -372. Let n be t(j). Solve n*z - 10 = -2*d, 8*d - 4*d = -2*z + 20 for d.
5
Suppose -5*j - 11 = 4*g - 36, g = 0. Suppose -j*s + 23 = t - 2, 4*t = -2*s + 10. Solve 3*u - w - 6 = t, 5*u - 2*w - 6 = w for u.
3
Suppose -9*f - 74 - 70 = 0. Let m be (f - -15)/((-3)/6). Solve 0 = -0*s + m*s - 3*o - 8, 0 = 3*o + 6 for s.
1
Let l be 3*2/(-2)*(10 - 9). Let j be 3 + (l - (-1 - 0)) + -1. Suppose j = c + 28 - 31. Solve -3*a - 18 = 3*f, a + c*a - 5*f - 21 = 0 for a.
-1
Let i be -2 + 0 - (-5 - (-3)/1). Let s be (i + (-1)/2)/((-2)/20). Solve 0 = 6*z - z + 5*p + 5, -s*z - 2*p + 1 = 0 for z.
1
Let s(k) = 115*k + 1152. Let z be s(-10). Solve 0 = -2*j - 3*p - 7, 5*j - 2*p - 40 = z*p for j.
4
Let z be (-4)/(-6) + 55/(-33). Let n be (z/4)/((-11)/132). Let w = 49 - 47. Solve b - s = -n*s - 7, w*s + 2 = 0 for b.
-5
Suppose 0 = w - 3*d - 16, -2*w - 5*d + 60 = 3*w. Let b be (-7)/(273/(-111)) + 2/w. Solve 0 = -4*h - b*x + 8, 3*x - 13 + 2 = -h for h.
-1
Let x(j) = j + 9. Let n be x(-5). Let p be (2700/750)/(574/570 - 1). Let f = 515 - p. Solve -3*q + z - n = f*z, -4*z = -5*q + 16 for q.
0
Suppose q - 3*q + 24 = 4*b, -5*b + 2*q + 12 = 0. Suppose -2*t + 26 = b*m, -m + 19 = 4*t - 4*m. Let s = 3 + -1. Solve x = 2*g + 3, t*g - s*g - 5*x = -5 for g.
-2
Suppose -3*x + 3 = 0, -1152*m + 4*x + 6 = -1150*m. Solve -4*i - 26 = m*t, i + 8 + 0 = -2*t for i.
-4
Let m(j) = 162*j - 4046. Let s be m(25). Solve 2*p - s*t = 10, -2*p = -4*t + 6*t + 14 for p.
-3
Let r(a) = 136*a + 146. Let o be r(-1). Solve -x + 5*z - 6 = 0, -8 = -o*z + 6*z for x.
4
Suppose 3*a - 191*n + 194*n = 27, -5*a = -n - 9. Suppose 0 = 5*u - 4 - 6. Solve -a*r + 13 = -u*w, -5*r + 2 + 26 = 3*w for r.
5
Suppose -3*t + 11 = -5*a, -4*t + 4*a + 12 = -0*a. Suppose 6 = t*y, 4 = 2*n + 8*y - 12*y. Solve s - 2*q = -2, -s + q + n = 4*q for s.
2
Let n = 74 + -49. Let i(l) = l**3 - 11*l**2 - 4*l - 66. Let h be i(11). Let q = h - -110. Solve -20 = 2*w + 5*m, -3*w + 2*m - 7*m - n = q for w.
-5
Let r be (-1)/(8/(-200)*5). Solve -y = v - 2, -r*v = 2*y - 2*v - 7 for y.
-1
Let y = 67 + -69. Let f be 0/7 - (1 + -4) - y. Suppose -25 = -f*b - 5*m, -5*m = 3*b - 6 - 15. Solve -c - 3 = -b*a, 2*a - 3*c + 1 = 2 for a.
2
Suppose 333 = -3*y - 6*y. Let i = -47 - y. Let a be (-4 - i/2)*0. Solve -4*t + 2*t + 15 = 3*s, 4*s - 12 = a for t.
3
Let g be ((-2)/(-12))/(162/8748). Solve -3*b - 3*k = g, -22 = 148*b - 143*b - 2*k for b.
-4
Suppose x + 5*r - 64 = 0, 123 - 37 = 2*x - 4*r. Let o = x - 44. Solve 4*k + 17 = -5*s - 15, 0 = k - 2*s - o for k.
-3
Suppose 5*l - 4*l = -3. Let z be -2*(3/l - 0). Let m = -643 + 646. Solve -a - 18 = 3*a + z*b, 4*a - 3*b = -m for a.
-3
Let r be ((6 - 10) + 3*3)*1. Suppose 3*s - r*d = -6*d + 10, -3*s + 16 = -2*d. Solve s*i + 2*y = -i + 31, 12 = 4*y for i.
5
Suppose 18*a - 32 = 2*a. Suppose -15 = -a*t - 15. Solve 5*r + 4*x + 10 = 2, t = r + x + 2 for r.
0
Suppose 4*o = -2*d + 3*d + 161, -4*d = 3*o - 97. Let a(c) = 3*c**2 - 2*c + 3. Let v be a(4). Let w = v - o. Solve -3*p = 4*u + 4, 2*u -