
Suppose 10*o = 5*o. Solve -5*h - 19 = 3*w, 2*h = -3*w - o - 13 for w.
-3
Let k(t) = t**3 + 11*t**2 - t - 9. Let o be k(-11). Solve 2*x + 5*q - 6 = 0, 2*q + o*q = 2*x + 12 for x.
-2
Suppose -2*r + 24 = 2*r. Solve h - r*h = -5*p - 25, 4*h - 20 = 3*p for h.
5
Let q(h) = h**3 + 12*h**2 - 3*h - 25. Let c be q(-12). Solve -5*j - 22 = -2*i, 0*j + 3*i - c = 2*j for j.
-4
Let f be -2 + (21 - 0)*1. Suppose -5*u = -3*a, 2*u - 2*a = 3*a - f. Suppose -3*l + 9 + 3 = 0. Solve w = -0*w - 3*s - 4, u*w + 5*s = -l for w.
2
Let v be 6 + (-9)/(3 + 0). Suppose 0*g - 2*l = -g + 7, -v*g + 1 = 4*l. Solve 3*a + 2*a - 18 = 2*o, -o - g*a + 2 = 0 for o.
-4
Let r(w) = -4 + 2*w + 0*w - 2. Let g = 25 - 21. Let i be r(g). Solve -4*d = d + 3*c - 3, -i = d - 2*c for d.
0
Let k(g) = -g - 9. Let y be k(-11). Solve 9 = 3*n - 2*j + j, 2*n + y*j = -2 for n.
2
Let j(l) = l**2 + 6*l + 5. Let v be j(-6). Suppose 3*z = -0*z + 18. Solve 5*p + 5*r = -35, z*p - v*r = 2*p + 8 for p.
-3
Let a = -71 - -76. Solve 4*d = a*v + 2, -2*d + 10 = -0*v + 2*v for d.
3
Let x = -1 - 1. Let y = 8 + x. Solve -k - 4*o + y = k, 3*k - 2*o + 7 = 0 for k.
-1
Suppose 0 = 2*d + 1 - 5. Solve -2*k + 7*k = 5*h - 5, -4 = -d*h for k.
1
Let y be (0 + -4)*1 - -25. Solve 4*j + x - y = 0, 2*j - x - 7 = -j for j.
4
Let a be (-3)/(-6) + (-50)/(-4). Suppose -4*i - 5 = -a. Suppose -3*h - i - 4 = -d, 8 = d - 4*h. Solve 5*c = -25, -15 = -y - d*c + 3*c for y.
0
Suppose -5*o + 24 = -51. Suppose 9 + o = 4*f. Suppose -r = -f*r. Solve -1 = -z + 2*x - r, x = z for z.
-1
Let i(a) = -a + 2. Let l be i(3). Let m(j) = 15*j**2 - j. Let y be m(l). Solve x + y = 3*o - 0*x, -x - 24 = -5*o for o.
4
Suppose -30*k = -33*k. Solve 2*b - 2*n + 4 = k, 2*b + n - 5 - 3 = 0 for b.
2
Suppose 6 = 4*n - 2. Solve 0 = 5*v - x - 0*x - 8, -n = 4*v + 2*x for v.
1
Let o be (4 - 3) + (-6)/(-2). Solve -7 = 2*g - s, -8 = g + 3*g + o*s for g.
-3
Let w = 2 + 10. Suppose -2*t - w = -6*t. Solve -t*y = -5*y - 2, -4*b + 4*y = 0 for b.
-1
Suppose -55 = -22*b - 11. Let k be (-4)/6 + 4/6. Suppose 2*m = k, 5 = 3*d - 4*m - 1. Solve d*z + 3*y + 9 = -2*z, 0 = b*z + 3*y + 9 for z.
0
Suppose -4*o + 65 = 5*j - 142, -24 = -j + 5*o. Let i be 2/(-5) + 54/10. Suppose -i*w + j = -11. Solve -p = x - 3*p + 2, -5*p = -w for x.
2
Let x = -4 + 8. Let s(h) = -h**2 - 15. Let b be s(0). Let k = b + 15. Solve -x*q + k*q + 16 = 0, 0 = 3*r - 5*q + 5 for r.
5
Let t be 1/(-1) - (-3 + -1). Solve p = -2*j + 1, -4*p + 6 = -t*j + 2 for p.
1
Suppose 4*l = -3*z + 25, 4*z + 2*l - 24 = -l. Let q(w) = 16*w + 1. Let y be q(2). Suppose 5*u + 13 = y. Solve -z*n + 16 = -h - 8*n, -5*n = 4*h + u for h.
4
Let n(l) = -l**2 - 6*l + 5. Let y = 11 - 17. Let v be n(y). Suppose 2*x - 15 = -r, 4*r + x - 43 = 3. Solve -v*m - 5*f - r = 19, -2*m = -f for m.
-2
Suppose -4*p - 9 - 6 = -y, 5*y - 18 = p. Suppose 0*c = c - y. Suppose -3*o + 19 = -3*v - 2*v, v + 2 = 0. Solve -4*w + a + 1 + o = 0, 3*w - c*a - 3 = 0 for w.
1
Let p(j) = -j**2 + 7*j - 5. Let v be p(5). Suppose -v = -5*x + 5*d, d + 0*d = 3*x - 11. Solve t - q = 4*t + 14, x*q = -4*t - 37 for t.
-3
Suppose 5*a - 34 = 1. Solve 3*m - 17 = -5*y + a, -3 = 2*m - 3*y for m.
3
Let g be (-4)/28 + (-26)/14. Let o be 1 + (g - -3)*2. Solve -3*y + 2*n + 17 = 0, n + 12 + 1 = o*y for y.
3
Suppose w = 4*h + 5, 4*w + 9 = 3*h + 16. Solve -s - w = f, -6*s + 5*f - 45 = -s for s.
-5
Let b = 44 - 39. Solve 0*m - m - 4*y = b, -3*m + 7 = y for m.
3
Suppose -3*w + 4*o = 72, -3*o + 69 = 2*w - 5*w. Let q be -71 - (0 + 1) - 3. Let l be 2/8 + q/w. Solve 3*m - l*h - 5 = 0, -6*h - 35 = 3*m - 2*h for m.
-5
Suppose -8*k + 65 = -3*k. Suppose -5*i - 2*j - 18 = 0, k + 7 = -4*i - 3*j. Let t be (0 + i - 1)/(-1). Solve 3*x = 2*w + 15, -t*x + x + 21 = -5*w for x.
3
Suppose 5*l - l + 11 = -5*q, 14 = -5*q - l. Let w be -4*(-2 - (3 + q)). Let g = w + -5. Solve h - 2*h + g = -y, -y = -4*h for y.
-4
Suppose -3*y - 12 = -2*v, -2*y - 15 = -3*v + y. Solve 2*h + 5 = h - 5*z, -4*h = -v*z + 20 for h.
-5
Suppose 4*s = 3*v + v + 28, -2*s + 18 = -4*v. Let d(b) = 5*b - 30. Let r be d(7). Solve 7*t - 2*t = -5*i - 5, -s = r*i - 5*t for i.
-1
Suppose 4*f = 3*x + 15, f - 4*f = -5*x - 14. Let g be -1 + f - (3 + -3). Solve 0 = -r, -4*h + 2*r + g = -2 for h.
1
Let l(a) = -6 + 4*a - a - a. Let i(c) = c**2 + 10*c + 5. Let g be i(-10). Let j be l(g). Solve -3*p + 25 = 4*d, 0 = -j*p - 0*p + 3*d for p.
3
Let j(l) = l + 1. Let o be j(4). Solve -u + 15 = 2*u, 2*m = o*u - 23 for m.
1
Suppose r - 4*r = -9. Suppose z - j - j - 3 = 0, r*j - 13 = -2*z. Suppose 3*g - 5 = -2*v, 4*g - 3*v - 25 = -2*v. Solve g*c = x - 30, 3*c + 0*c = -2*x - z for x.
5
Let z = 5 - -17. Let x = z - 20. Solve 4*g + 8 = u, x*u - 5*g + 0*g - 13 = 0 for u.
4
Let p = -13 - -18. Suppose 0 - p = -t. Solve 4*j - 12 = t*w + 13, 0 = j + 2*w + 10 for j.
0
Suppose s - 2 = -0*s. Solve 0 = -2*k - s*r + 4*r + 6, 0 = -5*k - 2*r + 8 for k.
2
Let m = 1 + 3. Suppose -q = -2*p - p + 24, 0 = -m*p - 3*q + 19. Suppose 4*j - p = 1. Solve 0 = j*w + w + 5*h - 2, -3*w - h = -10 for w.
4
Let i(y) = -4*y - 5. Let p be i(-9). Solve -6*c + p = -2*c - 3*w, w = 4*c - 21 for c.
4
Suppose 0 = -2*m + 14 + 20. Solve u + m = 4*i, 2*u - 5*u - 30 = -5*i for i.
3
Let j be 40/18 - (-9 - 166/(-18)). Solve -2 = -j*k, -3*h - k - 14 = -0 for h.
-5
Let o be 5/(-10) - 78/(-4). Solve -3*s - 11 = v, -5*v + 2*s - o = -s for v.
-5
Let t(a) be the first derivative of -3*a**4/4 + a**3/3 - 7. Let p be t(-1). Solve -p*y + 3*x - 19 = 2, 3*y = -2*x - 3 for y.
-3
Let u = 0 - -1. Let h be (u + 0)/(1/4). Solve -h*c + 0*k = -2*k - 14, 4*c + 3*k = 9 for c.
3
Let m(x) = x**3 - x**2 - x + 2. Let b be m(-2). Suppose 0 = 5*z - z - 32. Let p = z + b. Solve -4*o - 3*s - 2*s + 21 = p, o - 5*s = -26 for o.
-1
Let c(i) = i**3 - 6*i**2 + 3*i + 1. Let q = 51 - 33. Suppose -x = 2*x - q. Let z be c(x). Solve 5*s + 4*v - z = 0, 3*s - 6*v + 2*v - 5 = 0 for s.
3
Let t(m) = m**3 - 6*m**2 - 6*m - 2. Let j be t(7). Solve -j*w - u = -6*u + 15, 12 = 4*u for w.
0
Let f = -3 + 3. Solve g - 4 = 5*g - m, -2*g + m = f for g.
-2
Suppose -1 + 7 = 6*h. Solve p = -2*a - h, 0 = 5*a - 5*p - 0 - 5 for a.
0
Let p be ((-1)/(-3))/(4/24). Let d be (85 + -4)*p/6. Solve 4*a + 3*v + 19 = 0, -a = a + 5*v + d for a.
-1
Let q(r) = -r**2 + 3*r. Let i be q(6). Let o = 35 + i. Solve b + 3*n - 6 = 0, 0 = 5*n + 2 - o for b.
-3
Let s be (-3)/(-3) - 13*-3. Solve 5*k = 4*l + 45, 2*l - 7*l - s = -3*k for l.
-5
Suppose -c - 2*c = 12. Let v = c - -9. Solve -v*m + 16 = -5*f - 19, 5*m - 25 = 0 for f.
-2
Suppose 0 = 3*u - 6, 2*i - 22 = 2*u - 6*u. Suppose 4 = i*f - 3*f. Solve 3*b + 0*b = 3, -2*b = -3*c + f for c.
1
Let n = -3 - -5. Let y be (-8)/((-3)/((-9)/(-6))). Solve 3*r - 2 = -y*q + 5*r, 5 = 5*q - n*r for q.
3
Suppose -3*w = -5*w + 4. Let s = 5 - 3. Solve s*j + 2*v = -w, 4*j - 3*v = v + 20 for j.
2
Let w = 12 + -8. Suppose 2*i + 0 - 24 = -w*b, -3*b + 24 = 3*i. Suppose -i*d = -9*d + 20. Solve -5*z + 3*z = -d*h - 14, 20 = 5*z - 5*h for z.
1
Let x(d) = -d - 5. Let y be x(-6). Solve -2*c - 2*m - 3 = y, 5*c - m - 8 = 0 for c.
1
Let o = -2 + 4. Solve -p + o = -5*u - 0, -u - 10 = 3*p for p.
-3
Let h(o) = -o**2 - o + 2. Let i be h(-2). Solve i = 2*l - 0*l + 4*k + 4, 4*k = 0 for l.
-2
Let n(c) = -c**2 - 6*c. Let d be n(-5). Let g = -1 - -6. Suppose -58 = -4*s - g*i, -2*i = -i - 2. Solve -2*m = 3*l + s, -2*m + 0*l = -d*l - 4 for m.
-3
Let f = -63 + 66. Solve f = 5*t - 5*b - 2, -3*t = -2*b - 3 for t.
1
Let z be 3*(-4)/(-6) + 1. Suppose z*x - 2*i + 4*i = -12, -4*i = -2*x + 8. Let m be (x/(-5))/((-1)/(-10)). Solve -4*h + 1 - 3 = o, 0 = -m*h for o.
-2
Let b(g) = -g**3 - 6*g**2 - 4*g + 7. Let j(f) = f**3 + 6*f**2 + 7*f + 5. Let t be j(-5). Let l be b(t). Solve 4*m = u + 16, 0 = 4*m + u + l*u for m.
3
Suppose 7*k = 6*k + 8. Let a = k + -5. Solve 3*y - 3*n + 13 = 5*y, 3*n = a for y.
5
Suppose -12*t = -14*t + 10. Solve 2*v + 4 = -4*l, -v + t*l + 2 = -5*v for v.
2
Let s be (3 - 3)/(-3) + -3. Let c = -1 - s. Solve -4*j = -2*n + 16, 0*n - 2 = 5*j + c*n for j.
-2
Suppose -18 = 3*v - v. Let l = -6 - v. Solve 0*f + 5*f = l*a + 30, -a - f = 2 for a.
-5
Suppose u - 2*u + 7 = i, -4*i + 24 = 3*u. Suppose i*l + 2*l = 0. Solve l = -2*a - 5*o - 4 + 17, 0 = 3*a + 2*o - 14 for a.
4
Let b = 87 - 84. Solve -3*q = 12, 19 = -b*f + q - 5*q for f.
-1
Let v(j) = 3*j**2 + 4*j - 8. Let q be v(-6). Suppose -2*b 