- 2 - k for l.
0
Suppose 0 = q + 3*q - 20. Let m = -4 + 22. Let c be (-3)/m*2*0. Solve q*x - 3*n + 2*n - 15 = c, 2*x - 6 = -3*n for x.
3
Suppose 0 = -3*b - 2*b + 10. Let g be (-7)/b*24/(-42). Solve 2*u = -5*j - 8 + g, 3*u + j = -9 for u.
-3
Let b be (-6)/14 - 42/(-98). Solve 4*g - 4 = b, 2*z + 8*g - 3*g = 3 for z.
-1
Suppose -118*b + 124*b = 12. Solve 4 = o + x, 3*o - 16 = b*o - 4*x for o.
0
Let i = 7 - 7. Let j = 2 - i. Let t be (0 - j - 3)*-1. Solve -3*w = 2*l - w + 6, 11 = -t*l - 3*w for l.
-1
Suppose 11*y - 10*y - 8 = -2*u, 3*y = -5*u + 21. Solve -2*f = 5*r - f, -y*r + 4*f = 0 for r.
0
Let q be -1*1*32/8. Let d = q + 6. Suppose -n + 2 = -d. Solve 20 = -3*y - 2*c, 12 = -n*y + 2*y - c for y.
-4
Let w(s) = -s**2 - s + 34. Let z be w(0). Let t be 139/4 + 3/(-4). Let x = t - z. Solve x = -3*g + 2*q - 3, -4*g + 3 - 9 = -2*q for g.
-3
Suppose -5*z = -10, 2*z + 2*z = -u. Let p(l) = 5 + 6 - 3*l**2 + 2*l**2 - 8*l. Let i be p(u). Solve 3*r - 5 = q, 5*q - 5*r + 4*r = -i for q.
-2
Suppose 29*p = 64 + 371. Let z be 2 - (1 + 1 - 0). Solve z = i + 2*l - 6, 6*i + p = 2*i + 5*l for i.
0
Let n(p) = p**3 + 5*p**2 + 4. Let o be n(-5). Let b(t) = -t**2 - 5*t - 2. Let w be b(-2). Solve 3*l = 4*v + 4, w*v - 24 = -o*l - 0 for v.
2
Suppose r = -2*t + 6, -6*r + 7*r - 3*t = 31. Solve -1 = u + 3*f + 15, 4*u - 4*f = r for u.
-1
Let s(v) be the first derivative of -v**2/2 - 10*v - 1. Let k be s(-10). Let x be 2 - (2 + k)*1. Solve x*y = 3*j + y - 10, 0 = -3*j + y + 8 for j.
3
Suppose 6*j - 2*s - 10 = 3*j, 3*j = 4*s + 20. Let c be j + ((-4)/(-3))/(15/270). Solve 0 = -4*k + 6*k + d - 6, 5*d - c = -4*k for k.
1
Suppose -i = 2*i - 15. Suppose -i = -4*b + 3*b. Let f = 8 - b. Solve 3*l = -5*a - 6, -5*l - f - 7 = 4*a for a.
0
Suppose -4*f - 11 = -47. Suppose -127*h - f = -130*h. Solve 0 = 3*m - 3*t, -h*t = -0*m - 2*m + 3 for m.
-3
Suppose j = 2, -3*y + j + 24 = -7. Let a be (-24)/(-10) - 2/5. Solve 3*n = f + a, 3*f + 0 = 4*n - y for n.
-1
Let a be -7 - -1 - 6/(-2). Let c be -3 - a/3 - -14. Suppose u = -2*u + c. Solve 0 = 6*s - u*s + 2*v + 6, 3*s + 13 = -5*v for s.
-1
Let o = 373 + -370. Solve 0 = 2*v + 4*m - 16, -o*v - 4*m + 11 = -3 for v.
-2
Let k = 314 + -291. Let t(g) = g - 17. Let n be t(0). Let v = k + n. Solve -3*x = z + 11, -18 = 2*z + v*x - x for z.
1
Let w(q) = -q**3 + 6*q**2 - 11. Let n be w(6). Let o = n + 11. Suppose 0 = -6*d + d. Solve d = -y - 5*m + 10, o = 3*y - 0*y + m - 2 for y.
0
Suppose -11 - 129 = -7*p. Let b be (4 + -5)/(2/(-12)). Let m(i) = i**3 + 4*i**2 - 5*i + 5. Let s be m(-5). Solve -3*y - p = -b*h + h, 3*h - s*y - 28 = 0 for h.
1
Let b(l) = 4*l + 14. Let z be b(9). Let p be (25/10)/(-2 - z/(-24)). Solve -4*a - 20 = -3*g + 3, -4*g + 5*a = -p for g.
5
Suppose 8 = 4*s - i + 2*i, s - 3*i = 15. Solve s*l - 4*k + 28 = 0, 3*l = 7*l - 2*k + 24 for l.
-4
Suppose -9 = 47*w - 50*w. Solve -w = -z - 3*j, 3*z = j + 3*j - 4 for z.
0
Suppose -2*z + 0*z + 87 = 5*x, -2*x - z + 35 = 0. Suppose 3*t - x = -2. Let b = t + 0. Solve -g - 2 = -b*n - 3, -2*n = -2*g - 6 for g.
-4
Suppose t = 2266 - 2263. Solve -4*b = -2*k - 14, -t*b + 30 = 2*k + 3*k for k.
3
Suppose 6*y = -0*y. Let v = 21 - y. Let q = 23 - v. Solve -5*w = -2*w - q*x + 4, -5*w + 5*x = 0 for w.
-4
Suppose -3*a = -3 - 0. Let t be (0 - (a - 1))/(-2). Suppose -2*v - 2*v = t. Solve 5*x + 5*p + 10 = v, -x - 2*p = 4*x - 2 for x.
2
Suppose 3*v = -4*v + 336. Suppose -4*r + 5*o = -v + 5, -2*r + 4*o = -20. Suppose 0 = w + 3*p, 5*w = p + 11 + 5. Solve -c - w*x - r = 0, c - x = x + 8 for c.
0
Let t = -224 + 227. Solve -a = 2*h - 2*a - 6, -t*h = 5*a - 35 for h.
5
Let b(t) = -t**2 - 4*t + 20. Let i = -7 + 7. Let y be b(i). Solve -5*s + 3*d - 8*d + 10 = 0, 5*d + y = 5*s for s.
3
Let d = 171 + -167. Solve -2*g + 6 = -d*t - 4, 2*g - 10 = -4*t for t.
0
Let j(c) = c**2 - 7*c + 20. Let k be j(3). Let l be 12/(0 + -1 + k/4). Solve -4*n - l = 5*p, 5*n + p = -p + 2 for n.
2
Let p(l) = -35*l**2 - 180*l - 3. Let z be p(-5). Solve 9*a - 4*n - z = 4*a, 12 = -4*n for a.
2
Let c be (-71)/(-2)*(-24)/(-12). Let a = c + -68. Let m be (-2)/(10/(-4) - -2). Solve -d - m = 2*g - 15, d - a*g = -9 for d.
3
Let b(c) = -2*c**2 + 8*c + 4. Let t be b(4). Solve 4*s + 4 = t*x, s + s = x - 4 for x.
-2
Let p(x) = x**2 + 46*x - 300. Let r be p(-52). Solve -9*y + 8*y + 4*d + 18 = 0, 3*d + r = 0 for y.
2
Let t be 0 - -7 - 16/8. Suppose -t*i + 92 = 3*u, 2 = -2*u + 10. Solve -l = 3*b - i, -b + 3*b = -4*l + 14 for b.
5
Let a = 1639 - 1635. Solve 3*v - 5*o - 5 = 2, 0 = a*v - 5*o - 11 for v.
4
Let a(s) = -3*s - 51. Let f be a(-21). Solve -z = 3*d - 7, f = 2*d + 4*z - 6 for d.
1
Let d(a) = -a**2 - 6*a + 44. Let h be d(-10). Solve 3*z - r = 6*z + 13, -h*r + 13 = -z for z.
-5
Let a = 12 + -7. Let x be -50*(4/(-8) - 0). Suppose -3*v - b + x = -3*b, 11 = v - 2*b. Solve v = 2*k - 4*k + 3*r, -2*k = -a*r + 9 for k.
-2
Let k = 11 - 6. Suppose 18*z + 260 = 296. Solve -w + 3 + k = -3*h, 2*h = -z*w for h.
-2
Suppose -3*u = -11 - 94. Let w = -27 + u. Solve 1 = -2*x + 3*c, 0 = -2*x + 5*c - w + 1 for x.
4
Suppose 5*t - 4*z - 5 = -1, t + 5*z = -5. Suppose 2*x - x - 6 = t. Solve h + 14 = -4*r - x, h - 16 = 5*r for r.
-4
Let k(h) = -5*h**3 + 6*h**3 + 6*h**2 - 2*h**3 + 7*h + 5. Let v be k(7). Solve 0 = v*j - 3*r + 2*r - 3, r - 6 = -4*j for j.
1
Let n(s) = -8*s**3 + s + 2. Let k be n(-1). Let r be 3 + k/12 - (-4)/16. Solve -7 = q - 4*t, t - 3*t + 14 = -r*q for q.
-3
Let t(z) = z**2 - 11*z + 15. Let k be t(11). Suppose 90 = 4*m - f, m - 3*f - 13 = 2*f. Solve m - 3 = 4*a + l, 0 = -3*a + l + k for a.
5
Let k = -3 + 6. Suppose -6*c + k*c = 0. Let n be 4*((3 - c) + -2). Solve -n*a = h - 5, -5*a - h - 3*h + 9 = 0 for a.
1
Let j(d) = -d**2 + 4. Let t be j(0). Suppose -l = 3*s + 92, 5*l = -3*s + l - 80. Let u be 2 - s/(t + 0). Solve -2*w + 0*w + 2*x = 0, 4*w - 2*x = u for w.
5
Suppose -2*l = -l - 5*n - 18, 0 = -4*l + 2*n. Let w be (-2)/4 + (-1)/l. Suppose -4*v + 11 = -1. Solve -v*s = 2*c - w - 7, -5 = 5*c for s.
3
Let p = 62 - 60. Suppose 2*d - 30 = -p*c - 0, -2*d = -c - 15. Solve -5*n + 0*t = -3*t - d, 0 = 3*n + t + 8 for n.
-1
Let c be (-10)/(-40) + 2/(-8). Suppose 5*i - 56 + 31 = c. Suppose 0 = i*h + 5*a, 0*a + a = h. Solve -w + 2*z - 10 = 0, -5 = -3*w - h*z - z for w.
0
Let g(j) = -19*j + 59. Let s be g(3). Solve 4*i + z = 24, s*i + 0*z = -z + 14 for i.
5
Let o = -2062 + 2077. Solve -11*b = -o*b + k - 7, 5*k + 25 = 0 for b.
-3
Let d be (-11)/(-4) - (-1)/4. Let w be (-2)/3*((-44)/8 - -1). Suppose w*a + o - 7 = d, 4*a - 5*o = 45. Solve -r + 2*b + 11 = 0, r + a*b = -4*r - 20 for r.
1
Let m be (3/6 - (-70)/20)/(3 - 2). Let k = 2 - 2. Solve 4*h = -j - 4, j - 6*h + h + m = k for j.
-4
Let u = 1858 + -1838. Suppose 0 = 5*g - 10 - 15. Solve -3 = -3*x, -6*f + u = -11*f - g*x for f.
-5
Let b be (0/(6 + -4))/1. Suppose i - 3 = b, -5*i + 22 + 13 = 4*c. Let p(v) = 4*v - 17. Let q be p(c). Solve -4*x + z = 8, -2*z = -q*x - z - 6 for x.
-2
Let c be (-40)/(-32) + (-3)/(-4). Let x be 2 - 15/(-6 + 1). Solve -6*g + 3*z = -c*g + 11, 3*g + x = -z for g.
-2
Let v = -59 + 55. Let j be 1*(1 + -3)*v. Solve d - j = -s, 4*s = 4*d - 0*d - 8 for d.
5
Let z(s) = 23*s + 5. Let u be z(-3). Let v = 69 + u. Solve 2*o - 14 = -v*b, 3*b - o = -5*o for b.
4
Let x be (8/10)/(6/15). Suppose 2*l - 32 = 10. Let t = l + -13. Solve z - t = x*c, -5*z - 5 = 5*c + 15 for c.
-4
Let v = -105 - -105. Let i be (-3 - (v - 1)*5) + 5. Solve 0 = 5*w + 2*t + i, 3*t = 3*w + 3 + 18 for w.
-3
Let g be -5 + ((-2)/2 - -3) - -9. Suppose -2*n = 5*u - 26, -5*n + 8*n + 4*u = 32. Suppose 5*y - n - 7 = 0. Solve 0 = 5*w + 15, 3*k + y*w = g - 3 for k.
4
Let i be 4 - -18*10/4. Suppose v - i = -6*v. Let l = 12 - v. Solve t + f = -2*t - 3, 21 = -3*t + l*f for t.
-2
Suppose -10*q = -4*q - 30. Suppose 1 = -5*n - 4*c - 1, -4*n - 6 = c. Let u = n + q. Solve -4*m = -5*p - 11, -7 = -2*p - 2*m + u for p.
1
Let p(b) = -b**2 - 8*b + 5. Let i be p(-6). Suppose 0 = c - 2*m - i, -29 = -c + 5*m - 3. Solve 0*f + c = 3*f + g, 2*f - 22 = 3*g for f.
5
Let r = -14 + 6. Suppose 6 - 3 = a. Let i be r/(-2 - -3 - a). Solve -2*w - 2*w + 2*p + 8 = 0, 0 = 3*w - p - i for w.
0
Let n be -3 - (-14 + (-8 + 2 - -12)). Solve -2*p + 4*y - 10 = 0, 2*p - 10 = n*p - y for p.
-3
Suppose -3 = 6*h - 21. Let j = 4 + -1. Solve -4*a = -j*s - 7, 8 = -h*a - a for s.
-5
Let k = 10 + -6. Let c(u) = 