-13 = -4*y + c for y.
2
Let a = 1 - -1. Let y be -5*1/40 - 2/(-16). Solve 3*i - 2*p - 10 = 0, 3*i + y = -2*p + a for i.
2
Suppose 3*q - 10 - 29 = 0. Let x = q - -1. Suppose -5*l + x = t - 3*l, -4*l + 24 = t. Solve i + 1 = -3*c, -c + t*i + 3 = -1 for c.
0
Let m(d) = -12*d + 4. Let j be m(3). Suppose -11*h + 8*h - 3*z = 141, -h + 2*z - 47 = 0. Let x = j - h. Solve -2*a + 4*l + 1 + x = 0, 3 = -l for a.
2
Let w = 1074 + -1548. Let c be (-4)/(-10) - w/15. Solve -5*u = -5*i, u + 2*u = -5*i + c for i.
4
Let w(c) be the third derivative of -c**4/24 + 5*c**3/3 - 2*c**2. Let z be w(8). Solve -3 = u - 3*o, -2*u - 6*o = -z*o - 14 for u.
3
Let y be (5*(-3)/(-9))/((-30)/(-36)). Solve -5*w - 15 = -7*b + y*b, -4*w = -5*b + 11 for b.
-1
Let s = -42 + 12. Let t = s + 20. Let u = -5 - t. Solve 4*n - r = -n - 27, 0 = -n - 5*r + u for n.
-5
Let w = -121 + 123. Solve 3*f - 8 = -4*v, 2 = -v - w*f - 1 for v.
5
Let q(k) = -k**3 - 9*k**2 - 24*k - 17. Let j be q(-3). Solve 2*p + j = x - 0, 11 = 3*x + 2*p for x.
3
Let j(t) = 131*t + 275. Let d be j(-2). Solve -3*r = -u, -2*r - d - 1 = 4*u for r.
-1
Let d(z) = -z**2 + z + 3. Let y be d(-3). Let t = 6 + y. Let g = t - -5. Solve 6*h - g*h = -3*k - 23, 11 = 4*k - 3*h for k.
-1
Let p(d) = -d + 9. Let b = -28 - -35. Let i be p(b). Solve i*j + 1 = -y - 5, -2*j - 18 = -5*y for y.
2
Let z(d) = d**2 + 2*d - 13. Let w be z(-5). Solve -4*i - 5*k - 21 = 0, 0 = 2*i + 3*k - w*k + 9 for i.
-4
Suppose 144 = 4*p - 5*v - 61, -5*v = 25. Let o be 44*9/72*(-8)/(-22)*2. Solve x = o*y - 21, -5*y + 0*x + 5*x = -p for y.
4
Suppose 4*u + 2*c = 72, 0 = -3*u - 39*c + 41*c + 61. Solve -5*j = 5*n + 35, u = -4*n - 2*j - 1 for n.
-3
Suppose 4 + 1 = 2*i - h, i - 3 = h. Solve -i*x + 26 = -5*q, -3*q + 6*q + 6 = -2*x for q.
-4
Let v be 5/15*36/4. Solve -4*o + 4 = -v*y - 5*o, -o + 2 = y for y.
-3
Let r = -35 + 37. Let h = -25 - 12. Let b = 40 + h. Solve b*n - r*d + 4 = 0, n + d = -12 + 4 for n.
-4
Suppose 0 = 6*a - 3 - 15. Let t be (-6 + a)/((-1)/(-2)*-1). Solve 5*m = 3*x - t*x + 16, -2*m = -3*x - 19 for m.
5
Let j be -1*4*39/(-6). Suppose -2*i - 25 = t - i, 4*i + 122 = -5*t. Let k = t + j. Solve k*d = 5*l + 21, -4*d = l + 13 - 4 for l.
-5
Suppose -12 = -30*k + 27*k. Solve -3*j - 12 = k*n, 4*n = -j - 3 - 9 for n.
-3
Let t(a) = -a**2 + 7*a - 4. Let l be t(5). Suppose -2*g + 3*g + 8 = 4*n, 3*n - g = l. Suppose b - 18 = -n. Solve -4*f + 5*s + b = -4, 4 = -2*f - s for f.
0
Suppose 13 = 5*k - 7. Let l(t) = t**3 - 5*t**2 + 5*t + 4. Let h be l(k). Let g = h - 3. Solve 0*x + 28 = 5*x + 3*f, 0 = -2*x + g*f + 5 for x.
5
Suppose -3*s - 11 = 1, 3*s = 3*f + 9. Let b = 9 + f. Suppose -3 = -b*z + 1. Solve -3*g - g - 2*w - 6 = 0, -3*w - 9 = z*g for g.
0
Let d(p) = -2*p + 13. Let l(s) = -s + 16. Let r be l(12). Let x be d(r). Solve 3*v = -n + 20, -2*v - 30 = -x*v - 3*n for v.
5
Let k = 15 + -27. Let o be 2/k - 200/(-48). Suppose 40 + 8 = o*x. Solve l + 4 = -5*s, 0*s - 3*l = -5*s + x for s.
0
Suppose 536*w = 538*w - 8. Solve 5*p + 17 + 15 = 3*k, k - w*p = 20 for k.
4
Suppose -240*l + 236*l + 12 = 0. Let h = 13 - 7. Let o = h + -4. Solve -a + 1 - 2 = l*f, -4*a + o*f = 4 for a.
-1
Let s = 1 + 3. Suppose 0*w - w + 2 = 0. Suppose -15*z - 28*z + 860 = 0. Solve z = -d + s*d + v, 0 = w*d - 4*v + 10 for d.
5
Let c(x) = -x**3 - 16*x**2 + 17*x + 29. Let y be c(-17). Solve 4*a - 5*m = -y, 2*m - 15 = 3*a + 2*a for a.
-1
Suppose 0 = -46*x + 74 + 18. Solve -y = -u + 3*y + 9, -5*y + 5 = x*u for u.
5
Suppose c - 2*a + 75 = 6*c, -80 = -5*c - a. Suppose -g = z - 3*z - c, 16 = -z - 2*g. Let u be 2/z - 21/(-5). Solve b + 6 = 3*t - 1, u*b = -5*t + 23 for t.
3
Let q be -2 - -14*4/8 - 2. Solve -q*m + 15 = -5*p, 0 + 3 = -m - p for m.
0
Suppose -5*m = -3*h - 45, -5*h = -h + 20. Solve 5*k - 4*d = -21, -m*k = -k - 2*d + 23 for k.
-5
Suppose 0 = -o - 6 + 4. Let v be 14/6 - o/(-6). Solve f + 3*t = v, -4*t - 2 = -10 for f.
-4
Suppose -45 = 11*u - 155. Suppose -u*i + 6*i = 0. Solve i = -2*x + 5*t + 7, -2*x + 4*t = -2 - 4 for x.
1
Suppose 13 + 89 = 34*q. Solve -q*t - 5*j + 6 + 21 = 0, -5*j = 2*t - 23 for t.
4
Let f(l) = -3*l**2 + 3 + 57*l - 54*l + 4*l**2. Let i be f(-3). Let h be -4 - (i + -5*2). Solve -6 = t - h, -2*s = -5*t - 21 for s.
3
Suppose -4*k = -2*o, -3*o - 3 = 3*k - 12. Solve -4*g - o = -5*d, -5*g + 4*d = -4 + 11 for g.
-3
Suppose -3*f - 55 = 20. Suppose -3*v - 2 = -2*k - 78, -5*v + 3*k + 128 = 0. Let p = f + v. Solve 0*j + 3*r = -3*j + p, 0 = 4*j - 3*r - 32 for j.
5
Suppose 0 = -17*s + 15*s + 8. Solve -3*u + 14 = -s*n - 5*u, -2*n - 12 = -4*u for n.
-4
Let r = 307 + -299. Solve g + s = 0, -4*g = -3*g + 5*s - r for g.
-2
Let n be (-144)/(-30) - 2/(-10). Let h(f) = 3*f**3 + 5 - 2*f**3 - 4. Let i be h(-1). Solve n*k + 2*b = -4, -k + 3*b - 2 - 9 = i for k.
-2
Let w = -821 - -823. Solve -14 = 4*n - 5*r + 7*r, -w*n + 5*r = 13 for n.
-4
Let c(y) = 3*y - y**2 - 14 - y - 2*y**3 + 15 - y. Let w be c(-1). Let t be w*(-2)/(-1) - 0. Solve -z + 9 = -3*a, -4*a + z + t*z = 12 for a.
-3
Suppose 5*l - 16*l + 220 = 0. Let f = -17 + l. Solve f*h = -2*u + 4, -3*h + 3 = 4*u - 5 for h.
0
Suppose -7*s + 40 = -5*s. Suppose 2*y + s = 7*y - 2*q, 2*y = 4*q + 8. Solve -y + 16 = -3*r - t, 5*t = 2*r + 8 for r.
-4
Let m(x) = -2*x**3 - 105*x**2 + 55*x + 109. Let y be m(-53). Solve -3*r + 18 = -y*d, 0 = d - 3*r - 4 + 14 for d.
-4
Suppose -4*j = -7*j + q - 368, -2*j + 2*q - 248 = 0. Let r = -122 - j. Solve r = -3*h - 2*c + 2, h - c - 4*c + 22 = 0 for h.
-2
Suppose -2*s = -28 + 4. Suppose -17*k + 13*k = -s. Solve -5*f = -k*f + 3*m - 9, 2*f + m = 3 for f.
0
Let q(r) = r**2 + 6*r - 2. Let m be q(-7). Let k be (18/m)/((-1)/(-5)). Solve 2*i + k = h + 4*h, -5*i = 4*h - 21 for i.
1
Let g = 602 + -598. Solve g*r - 8 = -0*r - 4*v, v = 0 for r.
2
Let n = 3 - -12. Let l be (-171)/n - (-8)/20. Let q be (-2)/11 + (-101)/l. Solve -2*r + q = 2*r - m, 0 = -2*r + 3*m - 3 for r.
3
Let w(v) = -v**3 - 5*v**2 - 6*v - 4. Suppose 0*h - 16 = 4*h. Let c be w(h). Suppose -15*l = 9*l - 192. Solve -2*z = -z + c, -3*z + l = 5*o for o.
4
Suppose 438 - 444 = -3*v. Solve -6 = -2*z - m, z - 7*m - 14 = -v*m for z.
4
Let y be (-2 - -3)*-2 + (5 - -2). Let s be 40/6*3/2. Let w = s - y. Solve 3*p - 17 = -5, -3*k - w*p = -26 for k.
2
Let f(j) = 3*j - 5. Let o be f(2). Let g = -8 - -5. Let b be (o - 2)*g - 3. Solve 3*w + 4*l + 11 = 0, -2*l + b*l - 3 = -w for w.
-1
Suppose -v - 21 = -3*g, 5*g - 2*v = -v + 35. Let b = 7 - g. Solve 3*q = -2*r + 5*q + 14, -5*r - 2*q + 7 = b for r.
3
Let f be ((-2)/4)/(5/(-41 + 1)). Let i be (22 - (2 + -2)) + f. Solve 0*p = 3*o - 4*p - i, 3*o = 2*p + 16 for o.
2
Let j(z) = -13*z + 1. Let p be j(-1). Let o be (p - -1)*(-44)/(-33). Suppose -3*m + 2 = -q - 9, 2*m - 4*q - 4 = 0. Solve 0 = n + 5, 4*n + o = m*l - 3*l for l.
0
Let c be 5 + -1 + 6 + -4 + -3. Solve 4*k - 2*p + 6 = 0, -2*k = -0*p - c*p + 13 for k.
1
Let w = 10 - 6. Suppose -5*b - 6*u - 6 = -2*u, -22 = -b + 5*u. Suppose -c = -5*p + 5, b*p + 3 = p + c. Solve -w*o - x = 1 - 19, -2*o - p*x = -12 for o.
4
Let d(s) = -s**2 - 8*s + 3. Let c be d(-5). Suppose -5 = -p + t, 17*t - 12*t + 7 = -4*p. Solve -2*z + 7 - c = -i, -p*i = -2*z - 16 for z.
-3
Let f be (60/80)/(3/20). Let r(o) = -2*o**3 - 3*o**2 - 2*o - 3. Let u be r(-2). Solve -2*b + 0*b = -v, u*b = -f for v.
-2
Let l(z) = 23*z - 20. Let i be l(1). Solve i = -2*d - d - 2*u, -d - u = 2 for d.
1
Suppose -4*g + 69 = 5*r, 0*r + 4*g = 2*r - 50. Suppose 10*h - 13 - r = 0. Solve 0 = -v + 2*v, h*q + 5*v = -9 for q.
-3
Suppose -6*a + a = 230. Let g = 46 + a. Solve t = -2*f - 3, 5*f - 6*t + 2*t - 25 = g for f.
1
Let y = -141 - -96. Let n be -42*5/y + 2/6. Solve 5*x + d = -0*x - 20, -n*x + 5*d = 50 for x.
-5
Let y = 2107 + -2104. Solve -b - y*g = -6*b + 7, 4*g + 17 = -b for b.
-1
Let v be -116*(-24)/32 + -4 + 1. Let w = v - 79. Suppose -11 = 5*d - 96. Solve -3*t + 11 = -w*y, y - t = -4*y - d for y.
-4
Suppose 59*d - 20 = 54*d - 2*s, 0 = 4*s - 20. Solve 0 = 2*m + 4, 4*h + d*m - 15 - 1 = 0 for h.
5
Let c be (9/(-12))/(9/(-24)). Let x be 4 + c/4*(-32)/8. Solve v = 5, 3*p - 2*v - x = -p for p.
3
Let x = 92 - 92. Let i = 4 - x. Solve 2*u - 3*p + 29 = 2*p, 0 = -3*u + i*p - 26 for u.
-2
Suppose -916 + 946 = d. Solve 4*a = 5*m - 5, d = m - 0*a + 5*a for m.
5
Let z = -308 + 314. Suppose -22*h - z = -23*h. Let j(r) = 2*r - 7. Let d be j(5). Solve -d*u + 