, -23 = u*k - 7*l + 2*l for k.
1
Suppose h + 2 - 13 = -4*f, -2*f = 4*h - 16. Suppose -651 = f*i - 655. Solve 3*p + i*c = -3*c + 15, 0 = 5*p + 4*c - 12 for p.
0
Let j be (60/9)/(198/135) - 54/99. Solve -6*k + k = r - 10, 0 = j*k - 2*r + 6 for k.
1
Let a(d) be the first derivative of d**4/4 - 3*d**3 + d**2/2 - 5*d - 50. Let i = 8 - -1. Let c be a(i). Solve -3*f = -c*j - 3, -j - 4*j = -f + 12 for f.
-3
Suppose 20 = -5*f + 5*z, -4*f - 4*z + 3*z = -4. Suppose 5*r + 1 - 26 = f. Solve -g + r = -o - 3*g, o - 2*g + 1 = 0 for o.
-3
Let d = 607 - 605. Suppose -2*n = -12*n + 100. Solve 3*v - 2*z + d = 7, 0 = 5*z - n for v.
3
Suppose 0 = -1127*m + 1121*m + 264. Let s be ((-10)/2)/(m + -45). Suppose -3*f + 45 = 2*f - 5*g, 3*g = -12. Solve f*x - 15 = s*k + 5, 4*x - 15 = 5*k for k.
1
Let x be (238/(-28) - -9)*(-3 + 3). Suppose 3*v = 6*l - 2*l + 13, 0 = -3*v - 3*l + 6. Solve 9 = -x*a - v*a - 5*j, a + 3*j + 3 = 0 for a.
-3
Suppose 2*d - 12 = -0*d. Suppose 73 - 13 = -d*i. Let p be i/(-55) + (-20)/(-11). Solve -3*y - g = p*y + 25, 5*y - 3*g = -5 for y.
-4
Suppose 7*s - 64 = 6*s. Suppose -60*a - 12 = -r - s*a, -18 = -2*r - 5*a. Solve -5*z - 1 = 2*j - r*z, -2 = 2*z for j.
0
Suppose k - 22 = -5*l, -2*l - 78 = -4*k - 56. Solve -4*q - 8 = 0, -2*q + 2 - k = -j for j.
1
Let m = -234 + 239. Suppose -2*w + 11 = m*s, 0*w + 4*w = s + 11. Solve 5*k - 26 - 2 = -w*o, -5*o + 5 = 0 for k.
5
Let f(k) = -3*k - 6. Let p be f(-6). Suppose 164 = p*w - 364. Let i = -40 + w. Solve i*m + 4*s + 16 = -0*s, -2*m + 4*s - 14 = 0 for m.
-5
Let s = 11832 + -11823. Solve 5*w + 2*c + 6 = 0, -10*w - s = -7*w + 3*c for w.
0
Let s = -60 - -48. Let r be (6/s)/(-1*(-1)/(-4)). Suppose 2*i - 5 = r*v - 1, 3*v - 5*i = -16. Solve 10*n = v*m + 5*n + 11, -2*m - 6 = -3*n for m.
3
Suppose -3*h - 72 = -7*h - 4*g, -2*h = 4*g - 44. Let w = -49 + 54. Let i be -6*5*w/(-30). Solve -h = 4*r - d, -5*d - 3 = -3*r - i for r.
-4
Suppose 11*h = 17*h - 426. Suppose -g - h = -75. Solve g*o = -3*b + o - 15, 2*b = -3*o - 12 for b.
-3
Let g = -9952 + 9956. Solve -g*h = -4*j - 14 + 6, -3*h - 3 = 0 for j.
-3
Let b = -24 - -44. Let d be (b/(-5) - -23)*-1. Let s = d - -21. Solve -2*w = -0*m + 2*m + s, -3*m + 3 = 0 for w.
-2
Let r be 632 + (7 - (-8)/(-1)). Let d = r - 617. Solve 4*j - d = -3*m, j = 2*m - 3*j + 4 for m.
2
Let a be (-1472)/18 - ((-194)/18 + 11). Let v be (-1 - -1)/(-1)*a/164. Solve v = -5*k - 0*y - 2*y + 30, -k - 3*y + 19 = 0 for k.
4
Let s = -96 - -100. Let v(u) = 2*u**2 + 10*u - 8. Let o be v(-6). Solve o*q + 0*t = -2*t, -12 = 4*q - s*t for q.
-1
Suppose -7*p = 40 + 2. Let k be (-9)/(-27) - 10/p. Solve 4*f + 25 = -u + 6, -k*f + 7 = -5*u for f.
-4
Let g(u) = -4*u**2 + 17*u + 2. Suppose 31*p = 25 + 99. Let n be g(p). Solve -3*r + 2*r + 9 = 4*j, 2*r - n = -4*j for j.
3
Let c = -1266 + 1268. Solve -b = 4*p - 12, -8*b + 6*b = c*p for b.
-4
Suppose 13354*x - 13338*x = 0. Solve -4*w = 5*r - 40, 0 = 3*r - x*w + w - 17 for r.
4
Let k = 225 + -227. Let b be 1/(-2 - (k - 1)). Solve -2 = 2*g - 4*w, -5*g + 3*w - b = 18 for g.
-5
Let c(p) = p**2 + 59*p + 275. Let w be c(-49). Let g be (-1978)/w - 1/5. Suppose j - 4 = -1. Solve r - 3 = k, -j*k = -2*k + 2*r - g for k.
1
Suppose 0 = 4*q - 0*q - 12. Suppose 3*g = -n + 17, q*n - 3*g + 2 = 5. Solve 2*z - 23 = -n*i + 5*z, 5*i - 21 = z for i.
4
Let v be (-351)/(-135) - (-8)/(80/(-6)). Solve v*g = 10, -105*h + 5*g = -103*h + 23 for h.
1
Let j(w) = 2*w**2 + 49*w - 246. Let n be j(-29). Solve 15 = 3*l + r, -274*l - 2*r - n = -277*l for l.
5
Let l(b) = -b**2 - 17*b - 43. Let i be l(-5). Solve -9 = -h + v - 6*v, -5*h + i = -3*v for h.
4
Suppose -9*y + 14*y - 15 = 0, 11*y = z + 15. Solve -3 = 3*g - 3*h - z, 8 = -4*h for g.
3
Let a(f) = -47*f - 654. Let v be a(-14). Solve 4*n - v*o = -8, 5*n = 2*o - 4*o - 3 for n.
-1
Let r(f) = f**2 - 3*f - 3. Let g be r(6). Let b(u) = 2*u**2 - 8*u - 85. Let q be b(-5). Let s be -1 - (-21*1 + 0). Solve -q*p + y = -s, y = -p - y + g for p.
5
Suppose 3*r + 6*r = 0. Suppose r = -11*l + 20*l - 27. Solve 6*i - l*i + 21 = -3*w, -15 = 5*i + w for i.
-2
Suppose 3*d + r = 4, 0 = -4*d + 4*r - 59 + 75. Solve 4*i = 3*a + 7, -i - d*a - 3 = -2*i for i.
1
Let h = -17179 - -17184. Solve 2*v - 11 = h*g + 12, 10 = 2*g + 4*v for g.
-3
Let t(z) = -z + 11. Let v = 31 - 24. Let m be t(v). Suppose -2*p + 3*x + 17 = 0, -m*x = 5*p + x - 5. Solve -p*d = 4*u + 8, 3*d + 2*u + 10 = -d for d.
-3
Let m be 20 - 0 - (17 + -17). Solve 0 = -3*n - 2*q - 86 + 76, -3*n - m = 4*q for n.
0
Let f = -564 - -573. Suppose 329 = f*i + 293. Solve -i*c - 4*s = -2*s - 8, -6 = -3*s for c.
1
Let r be 4/(12/(-1593)) + -3. Let x = r + 564. Suppose 2*j + 5*n - 18 = j, 2*j + 2*n = 12. Solve -3*l = -5*h - x, -h - j*l = -6 - 6 for h.
-3
Suppose 4*i + 30*y - 145 = 25*y, -4*y = -4*i + 136. Suppose -10*u + i = 3*d - 5*u, 5*d + u = 29. Solve -2*g = -5*h + 6, 3*g - 4 = -d*h - 13 for g.
-3
Let y(s) = -s**2 + s + 113. Suppose -m - 10 = 5*o, 2*m - 2*o - 8 = -28. Let l be y(m). Solve 0 = -5*a + 25, -5 = -i - a + l for i.
3
Suppose -19242 = 51*l - 19599. Solve -8 + 3 = -5*d + 5*v, -d - 2*v = -l for d.
3
Suppose -24*s - 28 = -31*s. Suppose 28 - s = 6*q. Solve 5*h + 5 = q*t, -4*t - 2*h = -17 + 47 for t.
-5
Let l be 97 + 1 + (-4 - -3)*1. Solve 0 = 3*g + 4*u + 19, 110 = -2*g - 3*u + l for g.
-5
Suppose 0 = 4*f - 20, -a - 3*a - 4 = -4*f. Suppose 3*n = 3*y - 45, y - 659 = 5*n - 596. Solve -a*g + y = -2*g + t, 3*g + 3 = -3*t for g.
4
Suppose 5*x - 500 = -5*d, -4*x - 203 = -3*d + 90. Suppose 5*a + 315 = k, a - d = 3*a + 5*k. Let o = a - -64. Solve -5*t - 6 = -2*u - 0, -3*u - 10 = o*t for t.
-2
Let c(i) = -i**3 - 5*i**2 + 2*i + 28. Let h be c(-3). Solve -d + 4*o - 1 = 0, -7*d - 24 = -3*d + h*o for d.
-5
Suppose 14 = 4*y - 2*y. Let w be 39/15 - 5*(-24)/300. Solve 4*d + w*n + 21 = -3, n + y = -d for d.
-3
Suppose -153*w + 150*w + 5*a - 21 = 0, 0 = -5*w - 4*a + 39. Solve -5*z + 16 = 5*x - w*z, -5*z + 21 = 3*x for x.
2
Suppose 17 + 37 = 3*n + j, -5*n - 5*j + 80 = 0. Solve -4*p - 8 = 5*f, 4*f = f + p + n for f.
4
Suppose -6*j = 54 - 156. Suppose -j = -9*x + 10. Solve 5*i + 11 = -2*f, x*i + 21 = -2*i + 3*f for i.
-3
Let s be 3/(-2)*(240/45 - 14). Solve -d + s = 5*m, -4*d + 2*d = 4*m - 8 for d.
-2
Suppose 0 = -4*l - 5*w - 10, w + 0 = 2*l - 2. Let h be 30/12*-1*(l + 4). Let p be (27/5)/((-3)/h). Solve -4*u = -5*g + 2*g - 9, -p = -3*g - 5*u for g.
1
Suppose 0 = -5*a + 4*c + c, -5*a = 5*c - 30. Suppose -2*g = a*d - 1 - 3, 0 = 4*d. Solve 3*o = -g*q - 19, 0 = -o - 2 - 3 for q.
-2
Let j be (-2 - -2)/((-22)/(-11)). Suppose j = -4*n + 30 - 78. Let u = -7 - n. Solve 10 = u*b + 5*p, -5 = 3*b + p - 3 for b.
-2
Let v be 1/1*((-8)/2 + 13). Suppose 7*x = v*x + 20. Let j be 8/x*(-60)/24. Solve -3*n - 6*o = -j*o - 29, 4*n + 13 = 5*o for n.
3
Let q(z) = 2*z**2 + 2*z + 6. Let c be q(-8). Let u = c + -116. Solve -2*h - u = -2*p, 2*p - 2 - 2 = 3*h for p.
-1
Let u be ((-2)/2)/(-1*8*9/360). Solve -1 = -2*x + u*j, j + 9 = 8 for x.
-2
Suppose 2*g - 4*g = -4*g. Suppose 3*b - 9 = g, -4*h - 2*b - 2*b = 0. Let u be (-3)/1*5/h*1. Solve -5*s - u + 20 = 5*m, -2*m = 3*s - 10 for s.
4
Let q = -390 + 422. Solve 9*h - 4*h + q = 3*g, -3*h - g - 8 = 0 for h.
-4
Let y = -23612 + 23634. Solve -18*f - 5*o = -y*f - 20, 2*f + 8 = 2*o for f.
0
Let t = 11767 - 11766. Solve -3*a = x + 9, 0 = -2*x + 5*a + 3 + t for x.
-3
Let l(v) = -2*v**3 - 3*v**2 + 7*v + 10. Let b be l(-2). Suppose -25*r + b = -0. Solve -2*f + 2*i - 12 = 0, r*f + 22 = -2*f + 4*i for f.
-1
Let a(v) = v**2 - 8*v - 6. Let x be a(9). Suppose -4*f = 3*u - 21, 21*u - 20*u - f = 0. Solve 4*k + h = 1, k - u*h + x + 0 = 0 for k.
0
Let k be (-12)/18 + (-2)/(-3). Suppose 28*f - 23*f + 45 = k. Let o(m) = m**2 + 7*m - 18. Let i be o(f). Solve -2*n + 3*a - 14 = i, n - a - 10 = 4*n for n.
-4
Let o(x) = -2*x**3 + 10*x**2 + 10*x + 16. Let i be o(6). Suppose i = 23*g - 65. Solve -r = b + 3*r + 9, 5*b = g*r + 24 for b.
3
Suppose 0 = 2*y - 0*y - 13*y. Suppose y = 36*p - 44*p. Solve -i - 2*g + 12 = p, -5*g + 21 = -i - 2 for i.
2
Suppose -509*y - 304 = -525*y. Solve -y = -4*x - 3*a, 0*x + a - 9 = -4*x for x.
1
Suppose 3*w = w + 8. Suppose 6 = w*h - 14. Let j be 4 - (-16 - (6 + -3)). Solve h*n - 5 = -3*i, 3*i - n + j = n for i.
-5
Suppose 2*l + 8*g + 1 = 7*g, g = -5. Let q = 12 + -6. Suppose -q*h + 12 = -2*h. Solve -h*x = -2*x, 2*r =