t = -18 - s, 2*t + 17 = 3*w. Suppose w*u - 5 - 7 = 0. Solve -5*v + 1 + u = 0 for v.
1
Let r(s) = s + 10. Let b be r(-7). Suppose -b*x + 20 = 2*x. Let d = 6 - 3. Solve g + d = x*g for g.
1
Let o(p) = -6*p**2 - p - 2. Let r(t) = -5*t**2 - t - 2. Let v(q) = 6*o(q) - 7*r(q). Let b be v(0). Solve b = g + g for g.
1
Let g be 1/(-1*(-3)/9). Suppose 0 = 2*o - 5*o + 12. Suppose 4*f - 8 = -2*z, -4*z - z = o*f + 4. Solve k + f = -g*k for k.
-1
Let u(x) = -21*x + 3. Let n be u(1). Let s = 24 + n. Solve 0 = -4*m + 14 - s for m.
2
Let f(m) = m**3 - 3*m**2 + 1. Let l be f(3). Suppose 4*x + l = 9. Solve -4 = -x*n + 3*n for n.
-4
Let l(r) = 3*r**3 - r - 1. Let o be l(1). Solve -c - 4 = o for c.
-5
Suppose 0*c = -4*c. Suppose c*f + 2*f - 2 = -2*v, -4*v = f - 16. Suppose 10 = v*s + 2*n, 4*s = -5*n + 2*n + 8. Solve s*h = -h for h.
0
Suppose 48 = -0*t + 3*t. Suppose -2*z = 2*z - t. Solve z*g = -4 - 8 for g.
-3
Let l be 1/(-3) + (-42)/(-18). Suppose -2*v + 22 = 5*r - 0*v, -50 = -5*r + 5*v. Solve -l = 4*o + r for o.
-2
Suppose -h + 2 = -8. Let k(a) = -a**3 + 11*a**2 - 10*a. Let d be k(h). Solve d = -s - s for s.
0
Suppose 4*o - 24 = 4*x, -2*o + 5*x = -3*o - 12. Let i = o - 0. Solve -i = -2*h + 1 for h.
2
Suppose -y - 30 = -6*y. Solve 0 = 3*w + y + 6 for w.
-4
Let v = -54 - -58. Solve -11 = -v*f - 27 for f.
-4
Suppose -3*c + 39 = -c + 5*p, 3*c - 30 = 2*p. Let a = 4 + -2. Let k be 3*(0 - 15/(-9)). Solve -a + c = -k*g for g.
-2
Suppose -2 = s + 2*z - 0, -5*s - 2*z - 2 = 0. Let g(w) = w - 4. Let d(u) = u**2 + u. Let m(q) = 2*d(q) + g(q). Let l be m(-3). Solve s = -l*c - 10 - 15 for c.
-5
Let w = 23 - 14. Suppose 5*h - 39 = -w. Solve -h*o = -o for o.
0
Let p = 53 + -34. Suppose -5*o + 2*o + 5*x = 11, -5*o + p = x. Let b = 3 + -3. Solve 2*k - 3*k - o = b for k.
-3
Let f = -4 - -9. Let r be 48/9 - (-8)/12. Let l = 8 - 4. Solve -r - l = f*b for b.
-2
Let j(u) = -u**2 + 7*u + 4. Let f = 7 - 0. Let w be j(f). Suppose -4*z = 4*h - z - 3, -2*h = 4*z - w. Solve h + 4 = 2*m for m.
2
Let h(f) = -f**2 - 11*f. Let p be h(-10). Solve 4*o - 2 = p for o.
3
Let g be 2 + -2 - -8 - 2. Solve -g = x - 2 for x.
-4
Let r = -105 + 109. Solve -r = -4*f + 8*f for f.
-1
Let b(t) = t + 6. Let r(i) = -1. Let a(p) = b(p) - 2*r(p). Suppose 4*d - 5*o - 8 + 31 = 0, 2*d + 2*o = -16. Let y be a(d). Solve 2*h = 3*h + y for h.
-1
Suppose 0 = 4*a + 16, 3*x - 2*a - 2*a - 28 = 0. Solve p + 25 = -x*p for p.
-5
Let r be (2*10/4)/1. Suppose -3*u + 2 = 2*t - 12, 20 = r*t. Suppose u = -2*z + 6. Solve 0 = -z*p + 3*p - 5 for p.
5
Suppose 4*x = -4*q + 32, -4*x + 32 = -0*x + 3*q. Solve -4*a = -0 - x for a.
2
Let r = 3 + 0. Suppose r*f = -f + 8. Solve -20 = -3*w - f*w for w.
4
Suppose -2*v - 2 = 0, y - v - 5 = -1. Suppose 0 = 2*r - y*r + 5. Solve 14 + 11 = r*h for h.
5
Let a(p) = -p**3 + 2*p**2 + 2. Let i be a(-3). Suppose -2*s - 4*g + 26 = 0, 3*s = 6*s - 2*g - i. Suppose 0 = 4*l + l - s. Solve 0 = -2*r - l*r for r.
0
Suppose 3*b + t - 1 = 1, 8 = -4*b + 4*t. Suppose 0 = -4*s - b*s. Solve s = 2*y + 3*y + 15 for y.
-3
Let c = 1 - 0. Let v be -1*(-8)/4*c. Solve -2 = -2*y + v for y.
2
Let n(w) = w**3 + 7*w**2 + 5*w - 3. Let i be n(-6). Let v(r) = -r**3 + 3*r - 4. Let g be v(-3). Suppose -15*s + g*s = -2. Solve i*o = s*o - 5 for o.
-5
Suppose 3*h - 4*o - 15 = 0, -h + o + 2 + 2 = 0. Suppose -12 = 5*p + 4*m, 4*p + 5*m + h = -14. Solve p = -4*a + 8 for a.
2
Suppose -4*l = 2*l. Solve -a + 3*a + 8 = l for a.
-4
Suppose 3*k + 2*d - 8 = 0, d + 6 = -2*d. Solve -k = 4*u - 8*u for u.
1
Suppose 0 = 4*k + c + 4*c - 26, -3*k - c = -14. Suppose a + a - 4 = k*q, -5*q - 5 = 2*a. Solve a = -f - 4*f for f.
0
Let p = 67 - 64. Solve 0 = p*b - 2 + 5 for b.
-1
Let m be (0 - (-1)/(-1)) + 16. Suppose -5*x + 4*o + 27 = -0*o, m = x - 4*o. Suppose -4*g = -x*g - 13. Solve 12 + g = 5*t for t.
5
Suppose 30 = 9*b + b. Solve 0 = 3*y - 2*y - b for y.
3
Let y be (-20)/(-2) - (0 - 0). Suppose -2*a - 9 - 5 = -2*s, -3*a = 12. Solve -1 = -s*b - y for b.
-3
Let m = 8 - 1. Let c be (-2)/m - 46/(-14). Solve 0 = d + c*d + 20 for d.
-5
Let z be (-232)/(-28) - 4/14. Let y = -3 + z. Solve 2*s = y*s - 15 for s.
5
Suppose b + 2*b - 10 = -m, -5*b = -3*m - 40. Suppose 8*l - 2*n = 3*l + 108, -4*n = -b*l + 116. Solve l = 4*w - 9*w for w.
-4
Suppose 0 = -2*u - z + 12, -4*z = -u - u + 2. Suppose 4*f = 2*g + g - 29, u*g - 20 = f. Solve g*k - k - 6 = 0 for k.
3
Suppose 14*w = 15*w. Solve 8*n - 4*n + 8 = w for n.
-2
Suppose 4*u = -0*u + 28. Suppose -2*k = 9 - 1, u = 3*p - 4*k. Let s be -4*-2*p/(-12). Solve c = -s*c for c.
0
Suppose 0 = -5*a - 3*l + 17, 5*l = -3*a - 0*l + 23. Let g(y) = y - 1. Let o be g(a). Suppose 3 = h - o*h. Solve 0 = -w - h*w - 8 for w.
-2
Let d be 3/(-4 + 1) - 1*-2. Let o(x) be the first derivative of x**2/2 + x - 1. Let a be o(3). Solve -d = -a*j - 9 for j.
-2
Let c be (6 + -6)/(1*2). Suppose c = -3*f + 5*f - 12. Suppose -2*y - y + f = 0. Solve -3 = -y*m - 9 for m.
-3
Let s = -35 - -38. Solve s*q - 9 = 3 for q.
4
Let b = 8 - 5. Let u = 283 + -283. Solve b*x - 2*x = u for x.
0
Let l = 2 - 1. Suppose y = -4*t + 18, 0 = 3*t + y - l - 13. Let w = 1 - -1. Solve w = -t*z - 6 for z.
-2
Suppose 0 = 4*q + 3 + 1, -2*k - 2*q = 22. Let h be ((-16)/k)/(34/85). Solve 0 = -h*b + 3*b + 4 for b.
4
Suppose 0 = 57*y - 61*y + 16. Solve y*f - 3*f = 0 for f.
0
Let g(l) = l**2 - 1. Let a(q) = -q**2 + q + 3. Let h be a(3). Let i be g(h). Let o = 8 - 8. Solve 0*j + 2*j + i = o for j.
-4
Let p be -2 - 0/(1 - -2). Let m be -1 + (0 - 6)/p. Solve g + m = 3 for g.
1
Suppose -9*c = -i - 5*c + 17, 5*c = -5*i - 15. Let d(w) = 6*w + 0 - 5*w**2 + 4*w**2 - 3. Let b be d(5). Solve -b = -3*j + i for j.
1
Suppose -5*m + 8*m = 6. Let t be (-3 - -5)/m - 1. Let a = 10 + -7. Solve -a*u = -t*u - 3 for u.
1
Let x(j) = j**3 - 5*j**2 - 5*j - 1. Let k be x(6). Solve 0 = -u - k - 0 for u.
-5
Let w = 47 + -41. Solve r = w*r for r.
0
Let n be (-37)/(-4) - (-1)/(-4). Let i be 315/(-30)*(-40)/(-6). Let q be n/(-5)*i/21. Solve 3*f + q = -3 for f.
-3
Suppose -2*s + 52 = 16. Let a be (2 - 3)/(3/s). Let q(x) = -x - 2. Let n be q(a). Solve 0 = -5*g - n - 1 for g.
-1
Suppose -7*l = -3*l. Let r be -12*(2/(-6) + l). Suppose -r*a + 64 = -0*a. Solve -3*z = z - a for z.
4
Let a be 22/55 + (-73)/(-5). Solve 0 = 3*z + 2*z + a for z.
-3
Let q(s) = 13*s - 4. Let o be q(8). Suppose -2*c = -7*c + o. Solve -c = 6*i - i for i.
-4
Suppose 9*s - 10*s + 1 = 0. Solve -m - 4 = -s for m.
-3
Suppose 20*f = 17*f + 9. Solve 2*o - 5 = f for o.
4
Suppose 5*k - 1 = 9. Suppose 3*y - k*b - 28 = 0, -8*b + 16 = -4*b. Let l = y + 0. Solve 5*g - l = g for g.
3
Let x be (1 - 0)/((-9)/(-63)). Solve -2*h - x - 1 = 0 for h.
-4
Let d = -1 + 13. Let g(m) = -m + 13. Let w be g(7). Solve 3*r - w*r - d = 0 for r.
-4
Let r = 14 - 23. Let o = r - -9. Solve 3*h + 2*h + 15 = o for h.
-3
Let w be 10 + (0 + 1)*(-8 + 7). Solve -3*g - w = -6*g for g.
3
Let l = 10 - 6. Suppose 0 = -3*x + 5*c + 11, -3*c = -3*x - 2*x + 13. Suppose -l = 2*y + 4*n, 5*n - x*n + 4 = -y. Solve -4*v = -2*v + y for v.
-1
Let u be 96/(-12) - (-3 + 1). Let c = 6 + u. Solve c = -4*t + 2*t + 10 for t.
5
Let x(n) = -n**2 - 10*n - 2. Let r be x(-9). Let i be (-7)/2*(-4)/r. Suppose -c - q + 4 = 0, -3 = -5*c + i*q + 3. Solve c*y = y - 4 for y.
-4
Let w(v) = -v**3 + 4*v**2 - v + 4. Let j be w(4). Solve j = 2*x + x - 15 for x.
5
Suppose 3*z + 4*c + 2 = 5*z, 2*c = -z + 21. Let s = 13 - z. Suppose 0 = 3*i - 14 + 2. Solve -i*g = -s*g + 10 for g.
-5
Let j(x) = -x**3 - 3*x**2 + 4*x + 4. Suppose 2*c - 4 = 3*c. Let r be j(c). Solve r*m = -4 - 0 for m.
-1
Let z(j) = -j - 4. Let t(m) = -m**2 + 2*m + 1. Let f be t(-2). Let b be z(f). Suppose 3*g + b*a - 27 = 0, 2*a + 4 + 8 = 4*g. Solve 0 = g*c - 4 + 14 for c.
-2
Let l(z) = 2*z - 37. Let x be l(21). Solve 4 = -x*w - 6 for w.
-2
Suppose 0 = d - 1 - 3. Solve d*z = z for z.
0
Suppose 3*f - 1 = 5. Solve 0 = u - f*u for u.
0
Suppose 6*z - z - 40 = 0. Suppose -2*t = -0*t - z. Solve -3*o - 5 = t for o.
-3
Let c(g) = g - 6. Suppose 2*x - w - 17 = 0, 2*x - 2*w = 5 + 11. Let y be c(x). Solve -j + 8 = y for j.
5
Suppose -2*w + 3*w = 3*i - 20, 24 = 5*i + 3*w. Suppose 14 = 2*p + i. Solve -p*y = -5*y for y.
0
Let o(x) = -6*x. Let v(w) = -5*w - 5 + 2 + 2 - 2*w. Let q(f) = 6*o(f) - 5*v(f). Let l be q(3). Solve l = -0*k - 2*k for k.
-1
Let z = -8 - -9. Solve -2*v + z = 