l + 3*i + 5, 3*l - f*l + 5*i = -19 for l.
1
Let r be (-42)/(-28)*(6 - 0) + 2. Solve 5*d - r = d - f, -d - 2*f = -1 for d.
3
Let i = -113 - -116. Solve -i = -g, 2*w = w + 3*g - 10 for w.
-1
Let r(k) = -2*k**3 + 11*k**2 + 7*k - 2. Let d be r(6). Solve 0*c + 2*c - 6 = 0, d*c - 37 = 5*p for p.
-5
Let p(r) = 5*r - 15. Let z be p(13). Let g = z + -44. Solve -c = 4*u - 5*u + g, -c = 2*u - 3 for c.
-3
Suppose -k = -2*o - 11, k - 2*k = 5*o + 10. Suppose 0 = k*f - d, 2*f - 2*d = -0*f. Solve 3*q - 3*a - 21 = f, q - 6*q + 19 = -a for q.
3
Suppose 178 - 58 = 3*s. Solve 2*f = 5*w - 12, -3*w + s = 5*f + 2*w for f.
4
Suppose 2*g - 5 = 4*x - 9, 2 = 3*x - 2*g. Suppose x*m + 0*m = -0*m. Solve 3*l + 3*y - 15 = -2*y, m = -l + 5*y - 15 for l.
0
Let o(q) = -q**3 + 14*q**2 + 3*q - 34. Let s be o(14). Solve -v = v + y + s, 5*y = 2*v + 20 for v.
-5
Let w be ((3 + 1)/2)/((-2)/(-3)). Solve -6*q + 3*q - 5*r + 34 = 0, -3*q - w*r + 24 = 0 for q.
3
Let g be 2/4 + 46/4. Suppose 0 = 4*l + 5*q + 3, q + 6 = -2*l - 3. Let w be ((-2)/4 - -1)*(-3 - l). Solve -w*t = a + a - g, -17 = -2*t - 3*a for t.
1
Suppose -2*g - 31 = 6*q - q, -4*g = -2*q + 74. Let p(v) = -v**2 - 20*v - 34. Let i be p(g). Solve -2*b + 3*a - 10 = 0, b - i*a - 25 = 6*b for b.
-5
Let w(s) = -s**3 - 11*s**2 - 2*s - 10. Let j be w(-11). Suppose -2*b = -b - j. Suppose -b*a = -10*a - 20. Solve 0*x + x + z - 2 = 0, -4*x + 5*z = a for x.
0
Suppose -24 = 4*r + 56. Let s be r/16 - (-6)/(-8). Let y be s/(-9) + (-64)/(-36). Solve -2*g = -l - 2, -5*l - 4 = -y*g - 3*l for g.
0
Let t be (-5 + 5)/(50/(-50)). Suppose -4*q + 4*h + 116 = 0, 1 = -2*h - 1. Solve 0 = 5*o + 2*c - q, -4*c + t*c = -16 for o.
4
Suppose 0 = -f + 3. Let q(y) be the second derivative of -y**4/3 - 23*y**3/6 + 4*y**2 + y. Let s be q(-6). Solve -x = x + f*r - 13, s*x = 5*r + 5 for x.
5
Let p = -686 - -691. Suppose -2*t - 48 = -4*t. Solve -t = 4*i + w + 3*w, -p*i - w - 18 = 0 for i.
-3
Suppose 2*t = -190 + 194. Solve -z - t*a + 2 = -3, -3*z + 4*a + 15 = 0 for z.
5
Let b be 30/7 + (-50)/(-70). Solve 3*t + 20 = -5*y, b*y + 15 + 5 = 0 for t.
0
Suppose -2*u = -u + 3*g - 20, u - 2*g - 15 = 0. Let t = u + -15. Solve -2 = 3*w + t*d - 5, -4*d = 0 for w.
1
Let b = 1559 + -1555. Solve 3*p + x + b*x = 23, -6 = -2*p - x for p.
1
Suppose -54 = 7*j - 75. Solve 4*a = 5*c - 9, c + a + j = 3*c for c.
1
Suppose -4*v - u + 9 = 0, 38*v = 41*v - 5*u - 24. Solve -5*j - 15 = -v*p, 5*p + 1 - 4 = j for p.
0
Let l = 2 + -4. Let b be (-2)/(-1) + (l - 0). Solve b = 2*w + 3*g - 7*g - 28, g + 5 = 0 for w.
4
Suppose 0*x - 2*x + 2*w = 10, 0 = 2*w - 10. Let g = 60 - 112. Let q = 77 + g. Solve -4*z + 5*t - q = x, -z - t = z - 5 for z.
0
Let z = -7 - -11. Let o(a) = a - 8. Let r be o(12). Suppose -b - 4 = 2*p + 3*b, 3*p - z*b - r = 0. Solve 3*s = h + 9, 3*h - 5*s = -p*h - 19 for h.
-3
Let x be ((-4)/16)/((-6)/72). Solve 0 = -x*b + 2*r - 3, 4*r = -2*b + 6*b for b.
-3
Let x(a) = -3*a**3 + 69*a**2 - a + 27. Let l be x(23). Solve 11 = -g - l*j, -4*j = -j + 12 for g.
5
Let m = 46 - 13. Suppose x - 5*z = -15, 3*x + 2*x - m = -2*z. Solve -4*j = n - 0*j - 15, 4*j = x*n - 3 for n.
3
Let q = 2948 - 2944. Solve -2*y = -3*d - d - q, 2*d = -2 for y.
0
Suppose 0 = 2*v - 2*x - 10, -3*x = v - 5*x - 7. Suppose 0 = -5*r + 3*r. Suppose r*k = 2*k - 8. Solve -p = k, 4*p = -v*j - j - 16 for j.
0
Let a be 2 + 195/40 - 3/(-24). Solve 2*v = -c - 11, 2*c + a*v + 17 = 4*v for c.
-1
Suppose -6*f + 165 = -75. Suppose -30 = -3*b + 2*h, -4*b + 3*h + 0*h = -f. Solve 10*r - 5*r - 13 = -4*d, 2*r - b = -4*d for r.
1
Suppose 517*n = 525*n - 128. Solve -21 = 5*y + 3*u - 4, 5*u + n = 4*y for y.
-1
Suppose 0 = 2*q - q - 2*a - 6, -2*a - 6 = 5*q. Solve 2*b + 3 = 3*p + b, q = 2*p - b - 2 for p.
1
Suppose 0 = -3*d - 2*a + 24, 5*d + 4*a - 30 = 8. Suppose -2*c - 1 = -7. Suppose 0 = c*z - 8*z + d. Solve 0*n = n - z, h - 7 = -4*n for h.
-1
Let f = -121 + 123. Solve -3*r = f*d - 6*r + 4, -3*d - 4 = -4*r for d.
4
Let n(c) = 2*c**2 + 33*c - 13. Let x be n(-17). Solve -4*q - 16 = 4*h, 4*q + x*h - 19 = 7*h for q.
1
Let x(q) = 15 - 46*q**2 - q + 47*q**2 + 17*q. Let d be x(-15). Suppose d = -m - m. Solve -2*r + 2*j + 6 = -0*r, m = r - 2*j - 6 for r.
0
Suppose -10*p + 20 = -20. Let x(f) = f**3 - 2*f**2 - 3*f - 6. Let r be x(p). Solve -w - w = -3*l - 16, -2*l = -3*w + r for l.
-4
Let m = -298 - -302. Solve u - 11 = m*b + 6*u, b + 11 = -4*u for b.
1
Let n(r) = -r**3 + 7*r**2 - 14*r + 22. Let c be n(5). Solve -c*q = -4*d - 14, q - 7 = -3*d - q for d.
-1
Let r = -6 + 8. Let h = r - 28. Let p = h - -44. Solve -4*d - 22 = -4*m - 7*d, -d + p = 4*m for m.
4
Let o = -1178 - -1183. Solve -o*l + 3*c = -13, 0 = l + 2*l + 5*c - 35 for l.
5
Suppose 2*b - 61 = -y, 4*b + 0*b - 4*y - 104 = 0. Let w = b + -27. Solve -3*q - q = -3*f + 11, -w*q = 5*f + 25 for q.
-5
Suppose a + 6*h - 2*h = 11, -a + 2*h + 11 = 0. Solve 0 = -2*b + 5*u - 19, -2*b - 4*u = -15 - a for b.
3
Suppose -6 = 4*c + 18. Let x = c - 6. Let q = -10 - x. Solve -u = 3*p - 5*p - 1, 5*p + q = 3*u for p.
-1
Let u be 32/20*(0 - -10). Suppose 4*h = -0*h + u. Suppose -r = -h*r. Solve -d - 4*d - 3*v - 22 = r, -5*v - 10 = -5*d for d.
-2
Let i be 5*(-4)/(-20)*11. Suppose 0 = -10*q + q + 36. Solve 3*c + 2*n = i, -7*n + 2*n = -q*c + 7 for c.
3
Let x = 15 + -14. Suppose x + 10 = 4*f + z, -z = -2*f + 1. Let p = 21 + -18. Solve -5*h + 12 = -5*i - 13, f*i = -p*h for i.
-3
Let q be 0 + -3 - (-36 + 33). Solve 4*b + 3*c - 23 = q, 2*b + c = -3*c + 24 for b.
2
Let a = -410 + 416. Solve -4*g - n + a*n - 3 = 0, g + 2*n + 4 = 0 for g.
-2
Let i = 4 + 7. Let z be (-27)/(-15)*(-80)/(-12). Suppose -z*j = -i*j. Solve -17 = -4*v + g, 5*v + j = 5*g + 25 for v.
4
Suppose 6*h - 2*h + z - 10 = 0, 0 = 5*h - 5*z - 25. Solve 2*j + 6 = 0, -h*a - 5*j - 3 = 21 for a.
-3
Suppose 0 = 426*u - 432*u + 36. Solve 5*p - u + 22 = -2*b, 2*p - 5 = 3*b for p.
-2
Let l(x) = 7*x - 8. Let h(j) = -j + 1. Let w(r) = 5*h(r) + l(r). Let f be w(6). Suppose 3*i = f + 3. Solve 0 = 2*p + i*y - 2, -2*p - y - 10 = 2*p for p.
-3
Let b(k) = -k**2 - 10*k - 11. Let a be b(-2). Solve 4*o = 0, -a*d + 4*o = -0*d for d.
0
Let y(u) = -u**2 + 6*u + 7. Let n be y(8). Let d be n*2 - 6/3. Let t = d + 35. Solve 3*m - 2*q - 15 = q, 3*m + 3*q - t = 0 for m.
5
Let u(n) be the third derivative of n**4/8 - 5*n**3/3 + 13*n**2. Let g be u(4). Solve -4*j + g*d - 22 = -0*j, 5*d = -j for j.
-5
Let a = -191 - -191. Solve a = -4*x + 2*n - 6, -3*n + 2 = -3*x - 4 for x.
-1
Let q = -151 + 161. Solve 5*c = -2*y - 17, c + q - 1 = y for c.
-5
Let c(v) = -2*v - 7. Let o be c(-6). Suppose -4*y + 44 = -x, 0*y + 54 = o*y - x. Solve -7 = -3*p - g - 0, -2*p = 2*g - y for p.
1
Suppose -17*g = 6*g - 69. Solve -3*z + 3 = 2*w, -2*w + 19 = -4*z + g*w for z.
-1
Let g be (1 - 1)/(1 + -3). Suppose 3*i + 4 - 40 = g. Let u be -2 - ((-119)/(-68))/(1/(-4)). Solve u*j = h + 20, h + j + 2*j = i for h.
0
Let f be (27/5 + -3)/((-10)/(-50)). Suppose -f = -77*h + 74*h. Solve -n + 7*a = h*a + 11, 2*a - 19 = 3*n for n.
-5
Suppose 2*h - 12 = 2*v, -4*v + 3 = -2*h + 13. Solve 8*i - 10 = -3*t + h*i, 4*i + 4 = -t for t.
4
Suppose -276*l = -277*l + 10. Solve 4*o - g = o + 15, 0 = -2*o - g + l for o.
5
Let z be 6/11 - (-78)/(-143). Solve z = -2*v + 4*h - 14, -v + 2*h + h = 11 for v.
1
Suppose 0*l - 9 = -l. Suppose j + l = 11. Solve 2*c + 20 = 4*z + 3*c, 4*z - j*c - 8 = 0 for z.
4
Let u be (128/(-12))/((-4)/6). Let b(i) = i**3 - 17*i**2 + 17*i - 1. Let k be b(u). Let y = -13 + k. Solve 2*t - 24 = 4*d + d, -8 = y*d for t.
2
Let w = -136 - -211. Let h be w/10*(-4)/(-6). Solve -3*s + 5*k = -0*s - 19, h*k = -3*s - 31 for s.
-2
Suppose 134 = 12*n - 10. Let u = -6 + 9. Let j be ((-20)/(-16))/(u/n). Solve 8*z - 32 = 4*z - 5*v, -5*z = -j*v + 5 for z.
3
Let i(w) = 12*w**2 + 15*w + 4. Let x be i(-2). Solve 3*r = -5*c + c + x, -5*c = 4*r - 28 for r.
2
Let k be 5 + -4 - (-2)/(-1). Let a be -1*(-2 + -1) + k. Solve -a*o - 15 + 1 = 3*l, 0 = -4*o + 4*l + 12 for o.
-1
Let x be (-4)/(-8)*0*1. Suppose 24 = -x*y - 3*y. Let r be 2 - y - (0 - 0). Solve -3*w - 2*u = w - r, -4*w + 6 = -2*u for w.
2
Let u be 6216/1050 + 4/50. Solve -4*l - 7 = r, 3*r + u = r for l.
-1
Suppose -3*c + 10 = 64. Let l = c + 18. Let m = 5 + -2. Solve l = -z - 0 - m, 13 = -4*y + z for y.
-4
Suppose 19*c = -5*u + 18*c + 21, 0 = -2*u + c + 7. Solve -4*l - l - 9 = f, 2*l = -u*