 for c.
3
Let y = 1153 - 1150. Solve y*u = -p + 16, 0*p + p - 26 = -5*u for u.
5
Let k be -2 + 11 - (3 + -2 + 3). Solve 0*x - 20 = -2*x + 4*w, k*x - 3*w = 22 for x.
2
Suppose 11 = 2*p + d, 2*p - 7 = p - 2*d. Let f = -9 - p. Let o = 16 + f. Solve 0 = -o*s, -7*c + 15 = -4*c - 5*s for c.
5
Let s be 1/4 - (-45)/12. Suppose -2*z - 4*g = -16, 3*z - 4*z - 27 = -5*g. Let k be (2 + z)/(-3)*-1. Solve -2*b + s*j = -4*b - 6, k = 4*b - 5*j + 25 for b.
-5
Suppose -80 = 45*b - 50*b. Suppose -4*h + b = z, 0*z - 4*h = -z - 8. Solve z*r - 8 = 4*f - 0, 0 = -f for r.
2
Let h(c) = c**2 - 13*c + 6. Let y be h(11). Let d be y/24 + 2/3. Suppose 4*g - g + 8 = -5*i, g + 4*i + 12 = d. Solve n - g = 6*j - j, n = j + 4 for n.
4
Suppose 4*j - 8 - 7 = 3*o, 0 = -3*o - 15. Let w be 1 - j - (-14)/7. Let t = -1 + 1. Solve -w*v = -c + 11 - t, 4*v + 18 = -2*c for c.
-1
Let s(q) = 2*q**2 + 4*q + 2. Let a be s(-2). Let n = -37 + 40. Let m = n + 17. Solve 5*x = a*k + m, 2*k + k = -5*x - 5 for x.
2
Let z = -235 - -242. Solve -2*j - 3*l = -z*j + 28, 4*l = -5*j + 21 for j.
5
Let l = 280 - 278. Let q be 5*7/(70/36). Let g be (-10)/45 - (-22)/q. Solve g = 4*u - 3, -l*h - 7 = -5*u for h.
-1
Suppose u + 2*g = -2*g, -2*g + 14 = 4*u. Suppose 3*v - v + 4*o = 24, v = -u*o + 12. Let z = 14 - v. Solve 0 = -3*k - z*h - 2, 3 = -2*k - 2*h + 5 for k.
-4
Suppose -2*l = -4*l - 5*g + 3, -7 = -3*l - 5*g. Suppose z - 3*z + 26 = a, -l*a = -z + 13. Solve -3*o + b = -b + z, -o - 9 = -3*b for o.
-3
Let j(f) = 4*f**2 + 5*f - 2. Let v be j(1). Suppose -v*n - 28 = -35. Solve 4*h - 20 = -2*a, -4*a = h + n - 6 for h.
5
Let r be 1/(4/4 + 0). Let q be (3 - r) + -1 - -6. Let m = -4 + q. Solve -6 = -c + n, -5*c + 4*n + 10 = m*n for c.
1
Let w(u) = -u**3 + 23*u**2 + 22*u + 50. Let t be w(24). Solve -2*k + 3*k = 2*g - 7, 4*k - 12 = -t*g for g.
4
Let h(v) = 2*v**2 + 5*v + 0*v**2 - 7*v + 10*v**3. Let p be h(1). Solve -d + 15 = -6*d, u + 2*d + p = 0 for u.
-4
Let r(g) = g**2 - 4*g - 7. Let v be r(-2). Solve v*f = -3*k - 13, -2*f = 2*k + 1 + 1 for k.
4
Let w = -2 - -5. Suppose -4*h + 2*b = -2*b - 16, h - w*b = 4. Let g = -1539 + 1543. Solve -z + g*z - 9 = 5*o, 0 = 5*o + h*z - 12 for o.
0
Suppose -2*q = -5*v + 155, 0 = -4*q - 3*v - 0*v - 271. Let a be 2/4 + q/(-28). Solve a*h = f + 10 + 1, 0 = -5*h - 5*f + 45 for h.
5
Suppose -4*i = 11 - 31. Suppose i*a = -z + 3 + 2, -4*a + 4 = 0. Solve 5*h + z*y = -y + 20, -3*h - y + 10 = 0 for h.
5
Let h be (-5 + 48/10)/((-2)/40). Solve -v - 4*l = 3, -h*v - 2*l = -2*v for v.
1
Suppose 669*u - g = 668*u + 4, -6 = -u + 3*g. Suppose 0 = -0*t + t. Solve 0 = -4*y - 2*h - 12, t = u*y - 5*h - 17 for y.
-1
Let k be 29 + 13/((-39)/24). Solve 4*b + k + 20 = -5*c, 4*b + c + 21 = 0 for b.
-4
Let t be ((-285)/(-5) - 2) + -1. Suppose -3*v + 2*s + t = 0, -s - 25 = -2*v + 12. Solve 0 = 4*a + 4*c + v, -4*a - 4*c + 7*c + 15 = 0 for a.
0
Suppose -96 = -11*a + 5*a. Solve -4*k = 4*l + a, 4*l + 4 = -0 for k.
-3
Let m(r) = r**2 - 2*r - 4. Let c be m(4). Let t be c/14 + (-19)/(-7). Let y be 38/11 + ((-1122)/121)/(-17). Solve t*a + f + 0 = y, 5*a - 3 = 2*f for a.
1
Suppose -3*f + 5*u + 40 = 0, -3*u - 45 = -4*f - 10. Let l = f + -1. Solve -l*w + 4 = -2*k + 10, -2*w + 17 = 3*k for w.
1
Let n(w) = w**3 + 42*w**2 - 41*w + 92. Let b be n(-43). Solve c + 4 = f + b*c, 2*f + 4*c = 8 for f.
4
Let k = 23 + -26. Let d be (-22)/(-6) + 2/k. Suppose 0 = -3*p - r - 2*r + 15, 5*p + d*r = 19. Solve -t = -5*b + 17 - p, -18 = -2*b - 2*t for b.
4
Let m be 1/(((-108)/(-15))/6 - 1). Solve -10 = -2*z + 3*y, -z + m*y - 9*y - 17 = 0 for z.
-1
Suppose 5*f = -4*d + 8, -8 - 1 = 3*d. Suppose 0 = l + f*l. Solve 4*t - 4*n + 15 + 5 = l, 0 = -5*t - 3*n + 7 for t.
-1
Let t be 29/((-1740)/(-72)) + 8/10. Solve -2*o - t = v + 9, o - 4*v = 17 for o.
-3
Let b = -4 + 8. Let l be b*44/48 + 2/6. Solve c - 4*t + 0 = 13, 0 = -l*c + 4*t + 16 for c.
1
Suppose 5*q - 6*q = -7. Suppose q*u - 4 = 6*u. Solve -5*j - 5 = -3*d - 0*j, -u*d - 5 = 5*j for d.
0
Suppose -5*u - l - 47 = 0, 0 = u + 2*l + 2*l - 2. Let w = -10 - u. Let f(d) = -9*d - 71. Let j be f(-10). Solve w*n + 5 = n - 3*x, -5*x - j = n for n.
-4
Let o = -228 + 230. Solve -3*i = 3*g - 6, -g = -4*i + g + o for i.
1
Let n(g) = -4*g**3 + 105*g**2 - 21*g - 130. Let c be n(26). Solve -2*p - r - 4 = c, -17 + 33 = -4*r for p.
0
Let d(v) = v**2 - 1. Let r be d(0). Let h = r + 1. Solve -w = h, 4*w + 2 = -s + 1 for s.
-1
Let c be 4/44*-2 - 14/(-77). Solve -4*s + 3*q + 9 = c, -q = -2*s + s + 2 for s.
3
Let d = -178 - -181. Solve 5*x - 28 = 4*y, -d*x + 8 = y - 2 for y.
-2
Suppose -13*q - 8 = -17*q. Suppose 2*k = -k, -10 = -q*t + k. Solve -5*y - h - 4 = 0, 4*y - 3 - 17 = t*h for y.
0
Let q = 36 - 58. Let i be 4 - (-168)/(-44) - 40/q. Solve -4*b + 9 = -t, -5*t = b + i*b + 22 for t.
-5
Let h be (-15 - -12) + (39 - 1). Let m = h - 28. Solve -2*a = 3*p - 4*p - m, 2*a = -p - 3 for a.
1
Let v(s) = -s**2 - 4*s + 14. Let h be v(6). Let w = 49 + h. Solve -w*f = -2*i + 14, 4*i - f = i + 14 for i.
4
Let r(w) = -w**3 - 2*w**2 + 3*w - 18. Let g be r(-4). Solve 3*m - 12 = -3*c, m - 15 = -4*c - g*m for c.
3
Let f be 0/(((-192)/8)/8). Solve 3*u + 4*n = -f*u + 19, 2*u = -4*n + 18 for u.
1
Suppose 0 = -9*z + 230 - 185. Solve 0 = -5*g - 0*g + z, g = u for u.
1
Suppose 3*h = -3*h + 18. Suppose -4*v + 1 + 7 = 0, -f + 6 = -3*v. Solve -3*n + f = 0, -h*n = 3*s - n - 2 for s.
-2
Let f be ((-112)/(-35))/8 + 1384/(-10). Let p = 140 + f. Solve 0 = -5*o + 3*k - 2, 0*o + 5*k - 24 = -p*o for o.
2
Let g be 0/(4/(-1)*(-5)/10). Solve g = -4*k + 16, -3*n - k = -0*n - 7 for n.
1
Suppose 2*a + 4*p = 34, -129*a + 126*a + 2 = -p. Let y(f) = 6*f**2 - f. Let t be y(1). Solve -2*l + t*s - 18 = 3*s, a*s = l + 17 for l.
-5
Let q = 1 - 0. Suppose -j + 5 = -4*m - m, -2*m = 2*j + 2. Solve j = w + w - 5*n - q, -2*n = -w for w.
-2
Let h be (312/117)/(8/6). Solve 6 + 3 = 3*j - h*o, 0 = -2*j + 4*o + 6 for j.
3
Suppose 0 = g - 3*l - 17, -2*g - 12*l + 14 = -13*l. Solve j = 3*h + h + 3, -4*j + g*h - 10 = 0 for j.
-5
Let b be 16/3 - (-7)/(-21). Suppose p = b*k - 5, 6 = -p + 3*k + 3. Let r = p + 1. Solve 3*h - l - 5 = 0, -23 + r = -2*h - 4*l for h.
3
Let v be 1 + -1 - (-4)/1. Suppose 0 = v*p - 2*p - 20. Solve -5*n - 30 = 5*h, 0*h - p = h + 3*n for h.
-4
Let b(n) = -n + 7. Let v be b(5). Suppose -6*j + 44 = -46. Suppose 48 - j = 4*a + y, 4*a = -v*y + 34. Solve -2*o + a = 2*t - t, -3*o - 2 = -2*t for t.
4
Let q = -203 + 208. Solve q = -0*c + 4*c + 5*d, -4*d - 22 = -2*c for c.
5
Let r(k) = -2*k**2 + 78*k + 84. Let d be r(40). Solve -3*t + 5*y = 19, 0*t - 3*t + d*y = 14 for t.
2
Let i be ((-65)/(-39))/((-15)/18 + 1). Solve -4*x + 4 = -2*x - 2*g, x + i = -5*g for x.
0
Let m = -8 - -4. Let p be (19 + -19)*2/m. Solve -4*k - 3*x = 0, p = -2*x + x for k.
0
Let s(h) = h**3 + 3*h**2 - 23*h - 15. Let w be s(-6). Solve 3*c + 21 = -5*j + 5*c, 3*j - 2*c = -w for j.
-3
Suppose -3*d = 4 + 26. Let o be -4 + 3 - 1*d. Solve -y = -6*y + 5*n + 10, 5*n + o = 4*y for y.
1
Let t(k) = k**2 + 15*k + 18. Let c be t(-14). Suppose -2*j = -c, -14 = -5*y + y + j. Let g be (-2)/(-7) - (-57)/21. Solve g*i - m = -8, -4*i = -m + y + 8 for i.
-4
Suppose 12*b - 105 = 5*b. Let q = -7 + b. Solve 5*t + q + 11 = 4*m, -3*m - 12 = 5*t for t.
-3
Suppose -2*v + 61 = 141. Let w be 2/3 - v/30. Suppose 4*f - 10 = 2*c - w, -c + 4*f = 10. Solve -u = 5*a + 1, 2 + 0 = -a - c*u for a.
0
Let r(t) = 2*t + 22. Let q be r(-6). Solve 5*u - 4*l - 10 = 0, q = 6*u - u - 2*l for u.
2
Let l be 2/(-2)*3 + 6. Suppose 3*n - 15 = 2*r + r, -23 = -5*n + l*r. Solve 17 = 5*k + p, 2*k = -n*p - 0*p - 4 for k.
4
Let p(i) = 7*i + 131. Let q be p(-18). Solve -3*a - 1 = -4*b, -a - 3 = b - q*a for b.
1
Let l = 371 - 369. Solve -f = x - 4, 0*f + 1 = -l*f + x for f.
1
Suppose q + 3 = 1. Let d(w) = -w - 22 + 4*w - 3*w**3 + 24 - 2*w - 3*w**2. Let t be d(q). Solve t = -3*h - k, -5 = h + k - 3 for h.
-5
Let x be (-33)/(-8) - 20/160. Let r(y) = y - 2. Let a be r(5). Suppose -17 = -a*p + 4. Solve x*t - m - p = -t, -4*t + 2*m = -8 for t.
1
Let w(r) = -r**2 + 20*r + 49. Let u be w(21). Let f = -25 + u. Solve 0 = f*q - 3*b - 12, q = -q - b + 11 for q.
5
Let m(s) be the third derivative of s**6/120 + s**5/12 - s**4/4 - 16*s**2. Let d be m(-6). Solve 3*b + c - 9 = 0, d*b + 4*c - 2 = 5*b for b.
2
Suppose -q + 3*o - o = -20, 3*q = -4*o + 70. Suppose 2 = 6*d -