v = 0 for c.
0
Suppose f + 15 = 9. Let i be (-6)/(-10) - f/15. Solve 2*x + 3*c = -c, -5*c = 2*x + i for x.
2
Let c(x) = 24*x**2 - 79*x + 9. Let t be c(5). Let n = t + -211. Solve -4*d = -n*k + 28, 4*d - 2*d - 8 = -4*k for k.
4
Let j = 36 + -34. Let h(z) = z**2 - 19*z - 14 - 11 - z**2 + z**j. Let u be h(21). Solve -u - 9 = -5*d + 4*b, -b = 4 for d.
2
Let o(t) = -126*t - 1005. Let f be o(-8). Solve -2*c - 8*y - 23 = -13*y, 0 = 3*c - f*y + 12 for c.
1
Let l = 711 - 705. Solve -f = 2*o - l, 0 = o - 8 + 4 for f.
-2
Let m be -2 + 3 + (1 - -2). Suppose 0 = 4*b + 3*c - 22, -c + 11 + 7 = m*b. Solve 2*t = -0*t - b, 3*g - 2*t + 8 = 0 for g.
-4
Let y = 2 + -2. Suppose y*i = 9*i - 72. Suppose -i*t - t = -288. Solve -4*o - t = 5*d, 5*o - 5 = 5*d - 0 for d.
-4
Let r = 6 + -4. Let l = -48 - -82. Let h = -29 + l. Solve o + h = -2*q, -r = 5*o + 3*q - 5 for o.
3
Suppose x - 14 = 4*z, -2 = -5*x - z + 5. Suppose -v = 0, -x*m - 8*v = -11*v - 46. Solve 5*i + 4*f - 35 = -f, 5*i = -f + m for i.
4
Let g(t) be the third derivative of -t**4/8 - 5*t**3/2 + 16*t**2 + 2. Let h be g(-5). Solve 2*z + h*z + 5 = j, -5*z - 5 = 0 for j.
3
Let r(k) = 9*k**2 + 133*k - 26. Let u be r(-15). Solve -5*q - 4*l = -0*l + 23, -u*q - 2 = -5*l for q.
-3
Let c = 95 + -72. Let a(l) = 4*l - 6. Let n be a(4). Suppose 4*t + 15 = -f, -2*f + n = -f - t. Solve -5*u + i = c, -f*i + i - 13 = u for u.
-5
Suppose 4*c = u - 0*c + 9, -4*c = -12. Let r(j) = 2*j**2 + 4*j**2 + 59*j - 57*j - j**u - 9. Let b be r(6). Solve -8*f = -b*f - 5*m - 10, f = -5*m - 4 for f.
1
Suppose 0 = 5*x + 2*q + 148 - 3748, -720 = -x - 3*q. Let j = 720 - x. Solve 2*v = o - j*v - 2, 5*o = -3*v - 3 for o.
0
Suppose 2*w - 8 = -z, -z + 19*w - 17*w - 8 = 0. Solve -2*p = 5*g - 13, 2*p - 4*g - 4 = -z for p.
4
Suppose -5*z - 368*s + 367*s = -77, 7 = -z - 3*s. Solve -20 = -2*g - 243*f + 247*f, 3*f = 2*g - z for g.
4
Let m be (28 + (-5824)/196)/(2/(-14)). Solve -5*r + k + m = -9*r, 3*r - 14 = 5*k for r.
-2
Let i = 406 - 434. Let d be (-3)/(-6) + (-98)/i. Solve 2*j - 1 = -d*r - 11, -4*r + j = 13 for r.
-3
Suppose -6*l + 2*l - l = 0. Suppose l = 10*y - 17 - 13. Solve -4*d = y*z - 10, d = -3*z + z for z.
-2
Suppose -37*b = -156*b + 1904. Solve -21 = 3*n - 5*r - 1, -3*n - 4*r + b = 0 for n.
0
Suppose -74*k = -66*k - 4128. Let m = -511 + k. Solve -24 = -4*v + 4*z, m = -5*v + z - 3*z for v.
1
Let j = -14 + 54. Let c = -50 + j. Let h(y) = -y**3 - 10*y**2 + 2. Let n be h(c). Solve 3 = 2*q - 5*b + 13, n*q + 2 = 3*b for q.
5
Suppose 4*j + 6*z - 82 = 0, -3*z + 491 = 5*j + 438. Suppose a = -l + 5, 2*l - 14 = -4*a - 0*l. Solve -9 = -u - 5*o, j = a*o - 0 for u.
-1
Let r(y) = 58*y - 2086. Let u be r(36). Solve k + 27 = -5*d, -u*d + k + 17 = -5*d for d.
-5
Suppose 0 = 6*j - 11*j + 10. Solve 4*w + 2*u = -12, j*w + 2*u + 14 = 3*u for w.
-5
Let s be (1/4)/((-12)/(-96)). Suppose -2*b - 3*n - 20 = 15, 82 = -5*b - s*n. Let p = 16 + b. Solve -g + 2*c + 11 = p, 3*g + 2*c = c + 12 for g.
5
Let k = -193 + -31. Let x be (((-360)/21)/(-4))/((-4)/k). Suppose -4*d - x = -10*d. Solve -a = -5*s - 6*a + d, -4*s + 23 = a for s.
5
Suppose 0 = 4*o + 383*k - 385*k - 28, 12 = 4*o + 2*k. Solve 0 = 2*f + o*s + 15, -3*f - 2*s - 20 = -5*f for f.
5
Let w be (11 - 18)*5/(-70)*34 + -1. Solve -f - 69 = w*p, 2*f = -2*f - p - 24 for f.
-5
Suppose a - 18 = -2*n, -2*n = -8*a + 99 + 45. Solve 0 = 5*l + 24*r - 23*r + a, -l + 6 = -3*r for l.
-3
Let q be (-8)/(-48)*-4*(-24 - (-5 - -2)). Solve -3*d + 2*z + q = 0, -3*d + 57 = z + 55 for d.
2
Let n(a) = -34*a + 80. Suppose 7*w + 6 = 10*w. Let s be n(w). Suppose 30 = 2*d + 3*d - 2*v, -4*d + v + 21 = 0. Solve 2*b = d*h + 2, 4*b - s = h - 1 for h.
1
Let y = -21 + 35. Let d(s) be the first derivative of s**2/2 - 15*s - 11. Let f be d(18). Solve 4*g + 27 = -f*t, g - y = 4*t - g for t.
-5
Let a(w) = -139*w + 1116. Let x be a(8). Solve 3*n - x*d + 4 = 1, 4*d + 7 = n for n.
-5
Suppose 4*h + 10*h - 45 = 11. Solve a - 3*t = -2*t + 2, 0 = h*t + 8 for a.
0
Suppose -5*r = 0, 3*j - 5*j - 5*r = 0. Let z(k) = 2*k**2 + 6*k - 31. Let p be 11 - (7 - 0/5). Let c be z(p). Solve j*x + c = 5*y + 3*x, -x = -5*y + 5 for y.
2
Suppose d - 21 = 3*a, 3*d - 52 = -0*d - 2*a. Suppose -d = -9*j + 198. Solve -w = -5*r + w - 23, w - j = 5*r for r.
-5
Suppose 0 = -5*h - m + 269 - 241, -3*h + 14 = 2*m. Solve -a - 4*x = -8, h*x = -a + 10*x for a.
4
Suppose 34*h = -0*h + 102 + 748. Solve -2*f + 2*m - 2 = 0, -5*f - 6*m + m + h = 0 for f.
2
Suppose -31 = -4*p - 11. Let s be p*(0/3 + 1). Suppose -9*n + 123*n = 805 - 7. Solve -m - 5*y - n = 0, s*y = 5*m - 0*m - 25 for m.
3
Suppose 2930 = -18*u + 2948. Solve -l = o + 8 - 4, -o = 4*l + u for l.
1
Let o(r) = -2*r**2 - 87*r + 89. Let v be o(1). Solve 9 = -3*t + 2*s, v = -13*t + 17*t - 2*s + 14 for t.
-5
Let b(h) = -h**2 + 6*h + 4. Let d be b(6). Let x be -2 + (-12)/d + 5. Solve 0 = -i - 3*l + 12, -2*i + 0*l + 4*l - 16 = x for i.
0
Suppose -13*g = 10*g - 943 + 851. Solve -a + 2*n = -4 - 7, -4*a = -g*n - 28 for a.
3
Suppose 6*f = 4 + 14. Suppose 6*h = h - f*s + 4, -14 = -3*h + 4*s. Suppose -34*a + 52 = -84. Solve a*b + 15 = d, -5 = -h*b - 3*d - 2 for b.
-3
Let b(c) be the first derivative of 11*c**2 - 107*c + 142. Let v be b(5). Solve 2*f - 5*y - 1 = 0, 7 = v*f - 4*y + 2*y for f.
3
Let i be -4 + 150/35 - 438/14. Let g = -31 - i. Let l(k) = -k**2 + 7*k - 5. Let r be l(2). Solve -3*m + 2*c + 17 = 0, g*m - 4*m = r*c + 8 for m.
3
Let n(c) = -5*c - 4. Let m be n(8). Let o = m - -46. Suppose -3*d + v + 11 = 0, o*v = -5*d + 11 + 22. Solve 3*h = -3*q + 18, 3*h - 28 = -h - d*q for h.
2
Suppose -38*m + 13*m = 9300. Let r = m - -373. Solve 4*a = -4*n, n - 4*n = 2*a - r for n.
1
Suppose 5 = -8*y + 53. Suppose -y*m = m + m. Let o be (-2 - -1)*4/(-12)*m. Solve o*n + w = 2*n + 3, n + 4*w + 24 = 0 for n.
-4
Let o be (36/(-48))/((-6)/360). Let d be 4 - o/10 - (-3)/6. Solve 5*i - 2*p = -d*i - 1, 5*i = -3*p - 11 for i.
-1
Let k(w) = 2*w**3 + 7*w**2 - 7*w. Let z be k(-4). Suppose -14*y + z*y = -84. Suppose -y = -4*m - 22. Solve -5*p + 4*q = -4 - m, 0 = -5*q - 5 for p.
1
Suppose 0 = -33*g + 18*g - 18*g + 264. Solve -g*s - 8 = 2*v - 4*s, s = -4*v - 2 for v.
0
Let n(t) = -t**2 + 30*t - 55. Let m be n(28). Solve 4*s - 5*r = -m + 16, 2*s + 5*r - 15 = 0 for s.
5
Let q(b) = b**3 + b**2 - 39*b + 45. Let g be q(5). Suppose -14 = -3*n + 7. Let o = n + -5. Solve g*t = 4*r - 3*t - 2, 2*r - o = t for r.
2
Suppose 304*s - 308*s = -76. Let t be (2 + -4)/(-2)*-7. Let p = t + s. Solve -3*y - 12 + 3 = 3*d, -5*y - p = 2*d for y.
-2
Suppose -40*x + 36*x + 222 = q, 0 = -2*x - 2*q + 114. Solve 1 = -3*y - 4*s, 0 = 52*y - x*y + 3*s - 15 for y.
-3
Let k = 3734 - 3712. Solve 5*h + 2 = -5*i + k, -5*h = 4*i - 19 for i.
1
Suppose 0 = 3*d - 5*g - 26, 4*g = 5*d - 2 - 24. Solve -9 = 2*o + p, 4*o - 2*p + 8 - d = 0 for o.
-3
Suppose 405 = 46*q + 35*q - 243. Solve 5*s - 7*v = -q*v + 5, v - 5 = -s for s.
0
Suppose j = -k + 7, 0 = k + 4*j + 22 - 44. Let c be (-4)/((0 - 1)/1). Solve -c*t = d + 9, 8 = 4*t - 2*t - k*d for t.
-1
Let n(i) = -2017*i - 12100. Let v be n(-6). Solve 0 = w - 3*w - v*z - 6, w - z - 7 = 0 for w.
2
Let y(l) = -l**3 + 36*l**2 + 517*l + 3. Let j be y(-11). Solve 2*v - 2 = -3*c, 4*v + 3 = -c - j for c.
2
Suppose 5*y - 27 = 2*h, -453*y - 4*h = -449*y - 16. Solve 5*p - 3*k = 31, 19 + 11 = 4*p - y*k for p.
5
Suppose 4*b = -2*d + 18, 14*d - 19 = -2*b + 11*d. Solve -b*f + 5*f - j = 6, -2*f + j + 5 = 0 for f.
1
Let o be (1 + 5/(-15))/((-4)/(-30)). Suppose o*m = 13*m + 1200. Let y be 3/2*m/(-9). Solve -z = 5*t + 17, 0*t + 3*z - y = 4*t for t.
-4
Suppose 21*f - 44*f + 225 = 22*f. Solve f*g = -t - 3*t, 3*t + 5*g = -5 for t.
5
Let u(d) = -d**2 + 13*d + 2*d + d**2 - d**2 - 15. Let n be 1/(-2 - (-162)/78). Let i be u(n). Solve 3*f - i = p, 3 = 5*p - 3*f - 2 for p.
4
Let x = -4162 + 4177. Solve 16 = -3*q + 4*f + 5, -5*f + x = -4*q for q.
-5
Let p be 4 - (6/(-1))/(-6). Suppose 2*f - 18*o - 31 = -15*o, -3*o - 45 = -p*f. Solve 4*c - 4*h + 12 = 0, 0 = -4*c - 4*h - 2 + f for c.
0
Let q = -134 - -196. Let u = -61 + q. Let b be u/((-2)/(-6)) - -2. Solve 0*g = 2*g + b*m + 10, 0 = -5*m - 20 for g.
5
Let q = 2 + 1. Suppose -2*d + 107 = -275. Suppose 8*i - 33 = d. Solve 2*x - 1 = -q*p, p + i = 7*x - 2*x for p.
-3
Let t be 92*(-2 + 3) + -3 + 1. Let w be (2*(-2)/(-12))/((-10)/t). Let r = 8 + w. Solve k 