 (-2 - -5). Solve -l = -x*l for l.
0
Suppose -4*l + 2 = -3*l. Suppose -4*k = -l*k - 6. Solve b - 4 = k*b for b.
-2
Let u = -25 - -15. Let m be 20/3 - u/(-15). Solve p - m = 3*p for p.
-3
Suppose 4*h = -h + 60. Suppose 0 = 11*b - 8*b - h. Solve 3*o = b*o + 5 for o.
-5
Suppose 4*r - 2*a = 24, r + 2*a + 5 - 1 = 0. Suppose 8 + 0 = r*f. Solve 0 = -f*l + 3*l - 4 for l.
4
Let r(z) = -4*z**2 + 4*z**2 - 6*z + 0*z**2 - 4 + z**2. Let o = 14 - 7. Let u be r(o). Solve -2*x = -u*x for x.
0
Suppose 3*s - 20 = -c, -2*c + 5 = -s - 0*s. Solve 0 = s*k - 0 - 10 for k.
2
Let y be ((-5)/2 + 3)*4. Suppose k = 3, -5*u - y*k + 3 + 18 = 0. Solve -u*x = -0*x - 9 for x.
3
Suppose a + 10 = 3*a. Let j be 2*a/((-10)/8). Let w be (2/j)/((-2)/16). Solve 0 = 3*b + w*b for b.
0
Let i be 3/2*260/15. Suppose -2*z + 4*s - i = 0, 3*z = -s + 2 - 6. Let c = -3 - z. Solve -2*o + 4*o + 2 = c for o.
-1
Suppose 0 = 185*x - 188*x + 30. Solve x*y = 12*y - 8 for y.
4
Let d be (-18)/(-4) - (-3)/6. Suppose 2*g - 15 = -2*a + d*a, 4*a = g - 20. Suppose -3*u - 3*m + 3 = -0, g = u - 4*m + 4. Solve u = s - 0*s for s.
0
Let d be 3 + 1 + (0/(-1))/(-1). Solve 15 = -d*q - q for q.
-3
Suppose v - 2*v - 6 = 0. Let c be (-7)/(-5) + v/(-10). Solve -4 + c = -a for a.
2
Let z(q) = -2*q**2 - 3*q. Let d be z(-2). Let m = d + 2. Suppose -5*x + 1 = -4*x. Solve -x = -m*s + s for s.
-1
Suppose 7 = 5*h + 4*x - 1, -3*h = 4*x - 8. Solve -p = -h*p for p.
0
Suppose -2*u = 3*r + 7, 3*u - r - 7 = -2*r. Let j = 1 + u. Suppose j*a + 5 = -3*l, -5*l - a = -l + 1. Solve l + 2 = w for w.
2
Let j be -1 + 0/((-2)/(-1)). Let u(a) = -5*a**3 - 2*a**2 + 1. Let p be u(j). Let g = 31 + -16. Solve -g = -p*z - z for z.
3
Let a(n) = n**3 - 2*n**2 - 4*n + 6. Let t be a(3). Solve -d - 10 = -t*d for d.
5
Let p be (-2)/((-39)/(-15) - 3). Suppose p*r - 18 = 2*r. Solve u - r = -u for u.
3
Suppose -4*d + m - 16 = 1, 16 = -5*d - 4*m. Let g be 18/d*4/3. Let y = 9 + g. Solve y = -4*s - 1 for s.
-1
Suppose -4*k - 3*n = -4*n - 5, 7 = 2*k + n. Solve -q - k + 0 = 0 for q.
-2
Let g(j) = j**2 + j. Let b(r) = r - 4. Let k be b(2). Let w be g(k). Solve 0 = w*y - 0*y for y.
0
Suppose 2*f = 5*a - 3*f + 45, 1 = 3*a + 4*f. Let z be (1 + a)*(-2)/4. Solve -z*s = 3 - 13 for s.
5
Let u(s) = -8 + 2*s - 3*s**2 - 3*s + 12*s. Let a(r) = -2*r**2 + 7*r - 5. Let q(y) = -7*a(y) + 5*u(y). Let c be q(5). Solve d = -c*d for d.
0
Let u = 18 + -15. Let b be 1 - u/(-5 + 2). Solve 5*q + b = -18 for q.
-4
Let g be 1/(-1) - -2 - -1. Suppose 2*z + 3*r - 19 = 0, 2*z + 2*r = 6*z + g. Solve z*f - 6 = -f for f.
2
Let f = -43 - -50. Solve -f = -3*j + 5 for j.
4
Suppose 4*x - 6 = 2*r, -2 = -3*r + 2*x + 1. Solve -6*o + 9 = -r*o for o.
3
Suppose 5*o = 19 + 41. Solve 5*k = 2*k - o for k.
-4
Suppose 3*f - 2*f - 8 = 0. Suppose 2*h + f = -4*t, 0*t + 3*t = -6. Solve h = 3*r + 6 for r.
-2
Let r = 3 + 0. Let w be r/(-9) + (-1)/(-3). Suppose 3*m + 2*m = w. Solve 0 = -m*k - 3*k for k.
0
Let o = -105 - -112. Solve 1 = 2*y + o for y.
-3
Let s = 34 - 28. Solve 4*w = w + s for w.
2
Let c be (128/48)/((-4)/(-6)). Solve -c + 3 = q for q.
-1
Suppose 3*y = 4*x + x + 8, 3*y = -x - 16. Let t be (x/(-6))/((-2)/(-6)). Solve 0 = 3*q - t*q for q.
0
Let g(d) = d**2 + 3*d + 1. Let q be g(-4). Suppose 2*j + q*o = 33, -5*j + 0*o + 10 = -2*o. Let c be j/3*18/6. Solve -3*p = -11 - c for p.
5
Let j(a) = -a - 2. Let p be j(-2). Suppose -q - 4*u = -8, p = -0*u + 3*u. Suppose 0 = 3*w - 5*w + q. Solve -2*o = -w - 4 for o.
4
Let y = -7 - -1. Let g = y - -11. Solve -g*s = 17 - 2 for s.
-3
Let h(c) = -6*c**2 + c - 1. Let j be h(1). Let d be j/(-12) - 3/(-2). Solve -d*g = -3*g for g.
0
Let b(x) = x**3 - 6*x**2 + 11*x - 7. Let c be b(4). Solve 0 = -c*q - 0*q - 10 for q.
-2
Suppose 0 = -5*f + 2*i - 49, -i - 4*i + 55 = -5*f. Let c(a) = 7*a**2 - 6*a**2 + 7*a**2 + 0*a**3 - 9*a + a**3. Let q be c(f). Solve 0 = 3*j - q*j + 15 for j.
-5
Let j be ((-10)/35)/(2/(-14)). Let d(z) = -z**3 + 4*z**2 - 3*z + 4. Let g be d(3). Suppose -v = -g*v. Solve -2*u + j + 4 = v for u.
3
Suppose 5*j + 27 - 7 = -5*u, -j = -4*u + 24. Let m = j + 15. Let c(d) = d - 7. Let x be c(m). Solve 4*o + x*o = 20 for o.
5
Let z be (1/2)/((-2)/(-12)). Solve -t - z*t = -4 for t.
1
Suppose 2*l = d + 77, -2*l - 2*l = -4*d - 148. Suppose -2*t + 0*t = -l. Solve -5*i + 10*i = t for i.
4
Suppose -3*z - z + 8 = 0. Suppose z*y - 9 = -5*w + 10, w + y - 2 = 0. Let h be (-1 - -4)/3*w. Solve h*r + 10 = 3*r for r.
-5
Let y be 7 - -4*(-2)/4. Suppose q = -3*g + y, 14 = 5*g - 4*q - 0*q. Suppose 0 = -z - o, -5*z = -4*o - 13 - 14. Solve l + g + z = 0 for l.
-5
Let v = 1 - 2. Let n(h) = -h**3 - h**2 - 2*h - 1. Let o be n(v). Suppose 3*a - f = 10, 2 - o = -f. Solve -3*g - 12 = -a for g.
-3
Let f be 0/(-1) - (-4 + -2). Solve 15 = f*y - 11*y for y.
-3
Suppose 0 = -3*t + 4*f + 29, -4*t - 2*f + 2 = -0*f. Solve 1 = w + t for w.
-2
Suppose -4*d = -5*o, -o - 6 = -2*d - 0. Suppose -5*a + o = -16. Suppose a*h + 30 = 9*h. Solve 0 = -4*f - 2 - h for f.
-2
Let p = -74 + 84. Solve 2*a + p = -3*a for a.
-2
Let x be (-66)/(-7) - (-15)/(-35). Let b = x - 9. Solve b = -w - w - 6 for w.
-3
Suppose -5*a + 36 = 2*x, -x + 44 = 4*x + a. Solve 0*c - x = 2*c for c.
-4
Let v(q) = q**3 + 6*q**2 + 2*q - 11. Let c be v(-5). Solve c*a - 1 = 7 for a.
2
Let f(w) = w**3 - 7*w**2 - 9*w + 8. Suppose -24 = -5*b + 2*b. Let p be f(b). Solve -2 = z - p*z for z.
-2
Suppose 0 = 9*g - 29 + 2. Solve -g*y - 4 = y for y.
-1
Let u(v) = -v**2 - 6*v. Let b be u(-6). Let c be (3/(-2))/((-6)/8). Suppose -l + 2 = -a, -5*a - l = c*l - 22. Solve -3*w + a*w + 3 = b for w.
3
Let v(a) be the third derivative of a**4/24 + 2*a**3/3 + 3*a**2. Let x be v(0). Solve 3*s = -s + x for s.
1
Let x = 9 - 8. Suppose 6 = m + x. Solve 3 + 2 = m*k for k.
1
Let x be (-2 + (-44)/(-8))*6. Solve 4*a + x = 9 for a.
-3
Suppose 0 = 5*m + 4 - 34. Solve 0 = 3*f - f + m for f.
-3
Suppose -7*z = -4*z. Suppose -2*g - 3*c + 32 = z, 3*g - 2*c - c - 18 = 0. Suppose -y + g = y. Solve y + 5 = 5*j for j.
2
Let i be (-2 - -3)/((-3)/(-12)). Solve -5*j + i + 1 = 0 for j.
1
Let i(m) = -m**2 + 8*m + 4. Let o be i(7). Suppose o*z + 9 = 14*z. Solve -12 = d + z*d for d.
-3
Let s = 2 + 3. Suppose 0*a - z = 3*a - 16, 2*a = z + 4. Let b be (-2 - -4)*(-1)/(-2). Solve a = -s*u - b for u.
-1
Let n be (4/(-6))/((-3)/9). Solve -2*j + 0*j - n = 0 for j.
-1
Suppose -4*r - 7 = -3*r - 3*m, -5*r + 45 = 5*m. Solve -3*a + r = 2*a for a.
1
Let m be (6/((-90)/5))/((-2)/12). Solve m*n - 5*n = -9 for n.
3
Suppose 3*w - 16 + 4 = 0. Let u = w + -2. Suppose 4*n = -4*c + 16, u*n - 4 = c + c. Solve c = -y - 4 for y.
-5
Let q(c) = c**2 + 4*c + 3. Let z be q(-3). Solve 2*h + z*h + 4 = 0 for h.
-2
Suppose 4*i - 5*k - 83 = 0, 23 = -0*i + i - 2*k. Let r = 28 - i. Solve 4*n - 9 = r for n.
5
Suppose 2*x - 19 = -3*w - 0*x, 2*x - 13 = -w. Let z(l) = -12*l**2 - l + 2 + 7 + l**w + 4. Let t be z(12). Solve -2*y = -5 + t for y.
2
Let l = -2 + 7. Solve -l*r = -2 + 7 for r.
-1
Let j be (18/(-12))/(6/(-8)). Suppose -5*o - 2*m = 1, -o - 4*o + j*m = -11. Suppose 2*a = 2*t - 2, a + t - 4 = o. Solve 4*v = a*v for v.
0
Suppose f = 4*f - 3, 3*q = -f + 1. Suppose q*m = -m + 3. Let t(x) = 3*x**3 - 1. Let s be t(1). Solve -1 - m = -s*a for a.
2
Let g = -181 + 193. Solve g = -4*s - 0 for s.
-3
Let u be 4 + (-4)/(-2) + -1. Solve -u*o + 16 = -o for o.
4
Let m be ((-5)/15)/((-2)/78). Let w be 12/(-8) - m/(-2). Solve 3 + 2 = -w*y for y.
-1
Let h = 31 - 27. Solve -h*y - 1 = -5 for y.
1
Suppose 6*w = 5*w + 4. Suppose -w*n + 0*n + 8 = 0. Solve -n*v = v - 3 for v.
1
Let f be 1/(((-5)/(-3))/5). Solve 7 = f*d - 2 for d.
3
Let s(b) = 4*b - 2. Let o be s(1). Solve -o*k - 3*k = 15 for k.
-3
Suppose 0 = 12*v - 41 - 43. Solve 2 = -v*w + 5*w for w.
-1
Let k be (-39)/(-9) + (-6)/(-9). Suppose 3*n - k*n + 4 = 0. Solve -4*b + 10 = -n for b.
3
Let i be (5 - -20)/5 - -2. Solve -3*t = -i*t for t.
0
Suppose 0 = x + 2*i + 10, 6*i - 35 = 5*x + i. Let j = x - -9. Solve -j = n - 4 for n.
3
Suppose -2*i = -2*g + 2, -2*i - 3*g + 3 + 0 = 0. Suppose i*w + w = 20. Suppose 0*q - 16 = -4*q + 4*c, 2 = -q - 5*c. Solve 2*o - w = -q*o for o.
4
Let x be 1/5 + (-936)/(-45). Suppose -x = 5*n - 81. Solve 2*s = -2*s - n for s.
-3
Let t be -3 - (-8)/1 - 2. Let u = 1 - 2. Let p = t - u. Solve -2*g + 3*g + p = 0 for g.
-4
Let z(n) = -7. Let m(g) = g. Let p(u) = 2*m(u) +