 = 0, b - 1 = 3*y - 4*b. Solve -2*v = 1 - y for v.
1
Suppose -2*s - 3*s = -5. Suppose -u + s = -4. Solve u*d - d = 0 for d.
0
Let c be -3 + (9 - 1)/1. Suppose -y + c + 2 = 0. Solve -3*p = 2 + y for p.
-3
Let d(o) = -o**2 + 8*o + 9. Let w be d(9). Solve w*u = -u for u.
0
Suppose 2 = 2*v - 0. Let z = 2 + v. Solve 2*j = -z*j for j.
0
Let d be 6/18 + (-22)/(-6). Solve -d*v = -0*v + 16 for v.
-4
Suppose -4*k = k. Solve 2*m + k = -4 for m.
-2
Suppose 5*i - 8 = 2. Suppose -y + 10 = 4*y. Suppose -3*h = -4*u - 28, 2*h + 0*h - 5*u = 21. Solve i*v + y*v - h = 0 for v.
2
Suppose 0 = 2*u - 7*u + 100. Suppose 0 = 5*b + 3*c - 149, 3*b - 37 = -5*c + 62. Suppose 2 = -4*y + 3*y + 4*j, 2*j - b = -4*y. Solve -2*w = -y*w - u for w.
-5
Let d(a) = -a**3 + 3*a**2 + 3*a - 9. Let z be d(3). Solve z*p = -p + 4 for p.
4
Suppose 0 = -5*d + 93 - 33. Suppose 2*b - 2*r - 14 = 0, 4*b + 12 = 2*r - 6*r. Solve -d = -a - b*a for a.
4
Let h be 8 - 4 - 5 - -8. Solve -4 = -h*z + 3*z for z.
1
Suppose -5*k + y + 78 = -2*y, -4*k - 3*y = -84. Suppose 0 = -2*r - 4*f + 18, -4*r + 4*f + k = -30. Solve r = -2*z + 1 for z.
-5
Let a = 69 + -65. Solve z = -a*z - 10 for z.
-2
Suppose -o = -5*o - 4*r, 12 = 2*o - r. Suppose -o + 12 = 2*p. Solve -3*l + p*l = 5 for l.
5
Suppose 0 = -4*n - 0*n - 3*s + 22, 5*n - 45 = 5*s. Let o = 0 + n. Suppose 2*h = 2*p + 2, -p - 2*h + o = -1. Solve u - 3 = -p for u.
1
Let j = -191 - -203. Solve 0 = -10*k + 7*k + j for k.
4
Let w(p) = -2*p**2 - 16*p + 4. Suppose 15 + 25 = -5*t. Let k be w(t). Solve -k*i + 5 = i for i.
1
Let b(n) = -8*n + 1. Let i be b(-2). Suppose -i - 23 = -5*l. Let u = -3 + l. Solve -18 + 3 = -u*j for j.
3
Let y = -15 - -15. Suppose y = -4*a + 5*a - 4. Solve -a = 3*s + 5 for s.
-3
Let v = -2 + 8. Let s = v - 2. Let r be 1/s + 14/8. Solve r*p + 7 = 1 for p.
-3
Suppose u = -0 + 4. Let c be (-4)/(u/2) - -2. Suppose 2*l + 4*w = 14, -w + 36 = 5*l - 8. Solve 4*d - l + 1 = c for d.
2
Let w be ((-2)/(-1))/(5/5). Suppose -7 = -3*s + w. Solve -2*h - 5 = -s for h.
-1
Suppose -o - 4*o + 30 = 0. Suppose o + 6 = 3*r. Let g be 18/4 - 2/r. Solve 0 = g*a - 2*a for a.
0
Let o(r) = -r**3 - 15*r**2 - 14*r + 2. Let j be o(-14). Solve 1 = j*s - 5 for s.
3
Let j(i) = i**2 - 3*i + 2. Let n be j(2). Suppose -2*z - 3*o + 11 = 0, -3*z + 2*o + 24 = -o. Suppose -3*w + z + 8 = 0. Solve n*y + w = -y for y.
-5
Suppose -176*f = -189*f + 26. Let a = -1 + 1. Let w be (5 - a) + (1 - 1). Solve f*m - m + w = 0 for m.
-5
Let d be -18*(2 - (-6)/(-4)). Let x = d - -9. Solve x = -5*b + 2*b - 15 for b.
-5
Let s(m) = m**2 - 6*m + 8. Let a be s(5). Suppose 0*r = -a*r + 15. Suppose -k + 10 = -u, -2*u - 3*u = 15. Solve k = r*f - 8 for f.
3
Let l = 11 - 5. Let n = 10 + -5. Suppose -n*x + 4*w + 23 = -4, -5*x - 3*w = -l. Solve c = x*c for c.
0
Let a(g) = -g + 3. Let x be a(3). Solve 7*h - 2*h + 20 = x for h.
-4
Let z be (-5)/4 + (-1)/(-4). Let o be (z + 2)/((-1)/(-13)). Let c = 5 + -3. Solve 5*g + o + c = 0 for g.
-3
Suppose a + 16 = 36. Solve -5*z + a = 5 for z.
3
Suppose 0 = -3*l + 2*d - 5, 2 = -5*l - 0*l - 3*d. Let k(b) = 7*b**2. Let q be k(l). Solve -q*z - 15 = -4*z for z.
-5
Let k(r) be the third derivative of -r**6/120 + r**4/24 + 4*r**2. Let a be k(-1). Solve a*l = -l for l.
0
Let v(h) = h**2 + h - 4. Let d be v(-3). Let o = -8 - -5. Let y = d - o. Solve 2*i + y = -5 for i.
-5
Let d(q) = q + 6. Let r be d(-6). Solve r = -7*z + 3*z for z.
0
Let s be (-10)/(-25) + (-84)/10. Let f = s + 11. Let x = f + 2. Solve -x*p - 6 - 14 = 0 for p.
-4
Suppose -2*a = -4*g + 34, -2*g + 5*a = 3*g - 50. Solve 5 = 3*x - g for x.
4
Let l(r) = -r. Let p(t) = -t**2 + 2. Let k(n) = -6*l(n) + p(n). Suppose -4*s + 17 = -7. Let f be k(s). Solve f*j + 0 - 6 = 0 for j.
3
Let v be (1/3)/((-1)/6). Let w = 15 + v. Solve -4*s + 5 - w = 0 for s.
-2
Let i(t) = 5*t + 0*t - 5*t + t + 3. Let s be (-6)/2*(-2)/(-2). Let n be i(s). Solve n = -2*z - 3*z + 10 for z.
2
Let n = 20 - 12. Suppose 0 = -3*g - n - 4. Let x = 0 - g. Solve -r + x = r for r.
2
Suppose 3*v + 0*v = 12. Suppose -10 = -2*a + v*r, -3*a + r + 65 = 5*r. Solve -a + 3 = -3*k for k.
4
Let f = 124 + -118. Suppose -c + 2*p + 20 = -2*p, 20 = 2*c - 4*p. Let b = 0 - c. Solve s + 2*s + f = b for s.
-2
Suppose 9*d = 4*d. Solve d = 4*x + 3 + 1 for x.
-1
Suppose 0 = 6*n - 18 + 6. Solve n*y - 4 = -2*y for y.
1
Suppose 0 = -5*w + 10 + 5. Suppose -5*j + 10 = 5. Let u be (0/(12/(-3)))/j. Solve u = -5*f + 17 + w for f.
4
Let x(d) = -d**2 + 9. Let c be x(0). Suppose 0*a + 5*w - 27 = -a, a = 4*w - c. Let h(l) = l - 1. Let u be h(a). Solve 2*j - u = -2 for j.
2
Let g(r) = 9*r + 5. Let p be g(5). Suppose 5*x + 0*x = p. Solve 0*u + x = 2*u for u.
5
Let v be ((-1)/1)/1 + -1. Let f = v + 1. Let i be 3 - 2 - (f - -1). Solve l + 0 = i for l.
1
Let f be (-2 + 2)/2 + 0. Solve f = 2*u - u - 1 for u.
1
Suppose -20 = -0*s - 5*s. Let j = s + -1. Let n be -1 + 6 - (-2 + j). Solve -i = -n*i for i.
0
Let q be -1*(3 - (-3 + 7)). Solve 2*r = 11 - q for r.
5
Let o be (-2)/(-10) + (-72)/(-15). Suppose o = -k + 7. Solve k*j - 4 = -0 for j.
2
Let b be 17/4 + (-5 + 7)/(-8). Solve 0 = b*f - 2*f - 6 for f.
3
Let z be 1 + -3 - 3 - 1. Let a(f) = -f**2 - 6*f + 3. Let h be a(z). Suppose -h*j + 15 = 2*j. Solve 7*n = j*n - 8 for n.
-2
Let d be -1 + -4 - (-3 + -2). Solve d = -m + 1 - 4 for m.
-3
Let u = 18 - 38. Let d be (12/(-10))/(6/u). Suppose d*i + 4 = 5*i. Solve -4 + 0 = -i*n for n.
1
Let j(g) = -3*g + g - 1 - 3 + 3. Let f be j(-3). Solve 0*k - f = k for k.
-5
Suppose 3*t = -3*t. Solve -3*o - 1 - 14 = t for o.
-5
Suppose 20 = -0*d - 2*d. Let j be ((-6)/d)/((-4)/(-20)). Suppose j*w = 6*w - 4*m - 11, 0 = -5*w + m + 7. Solve i = -0*i - w for i.
-1
Suppose 4*s - 3*s - 2 = 0. Let x be (s/5)/(1/5). Suppose -5*l = 3*j + j - 40, 4*j - 80 = 5*l. Solve j = -5*a + x*a for a.
-5
Let c = 11 - 9. Suppose -4*g + c*g = 0. Solve g = 4*d + 11 + 9 for d.
-5
Suppose -4*m = m - 100. Let n be (-4)/(-20) - (-276)/m. Solve -n + 4 = 2*l for l.
-5
Let a(k) = -4*k. Let x(u) = u + 4. Let n be x(-5). Let d be a(n). Solve -d*g - g = -15 for g.
3
Let l(i) be the first derivative of i**3/3 - 2*i**2 - 4*i - 3. Let u be l(5). Solve -u = 2*o - 3*o for o.
1
Suppose -2 = -w + z, -1 + 13 = 3*w + 3*z. Suppose -2*h = w*h. Solve h = -0*v + 3*v - 6 for v.
2
Suppose -52 = -t + 3*t. Let q = t + 38. Solve -q = -3*u - u for u.
3
Suppose 3 = 4*g - 1. Let a = g - -4. Solve 2*j - a*j = 0 for j.
0
Let q be (-1)/(-6)*-4*-3. Suppose -q*g - 8 = -4*g. Suppose 0 = -2*c - 4*k - 20, -c = -2*c + g*k + 20. Solve c = d - 4*d for d.
0
Let m = 17 - 12. Suppose -7*h + 2*h - o + 23 = 0, -3*o + 29 = m*h. Suppose 5*p + 0*j - j = -4, 16 = h*p + 4*j. Solve p = a + 2*a - 12 for a.
4
Suppose -2*w = w + w. Solve -2*y = -w*y + 6 for y.
-3
Let u be 10*((-9)/(-6) + 2). Suppose -3*q - q - 56 = 0. Let p be (q/u)/(2/(-10)). Solve -4*o + p = -3*o for o.
2
Suppose -6*l - 1 = -19. Suppose 0 = l*i - 2*i + 2, 0 = -3*x + i + 8. Solve -7 - x = -3*s for s.
3
Suppose 8*d = 3*d + 10. Suppose 4*h = d*h. Solve h = -5*a + 31 - 6 for a.
5
Suppose o - 11 = 3*y, -5*o + y = -15 - 12. Suppose -o*z = -25, 3*p + 2*z - 13 = 2*p. Suppose -3*w + 79 = 64. Solve p*i - w = 4*i for i.
-5
Let r be -12 + -2 + 0 - -2. Let v be 1/((-2)/r + 0). Suppose -5*s = -2*g - 8, -s = s - 5*g + 1. Solve v = -u + s for u.
-4
Suppose j + 1230 = 4*j. Suppose 0 = -5*o + 5*b + j, 3*o + 85 = 4*b + 333. Suppose -s - 3*n = -3 - 1, -4*s + o = -4*n. Solve 2*t + 2*t - s = 0 for t.
4
Let y be 4/3*6/2. Let f = 137 + -131. Solve f = 2*i - y*i for i.
-3
Let a be -3*6/((-6)/3). Suppose -3*g + a = -0. Suppose 2*z + g = 7. Solve 8 = -4*l + z*l for l.
-4
Let c(y) = 153*y**3 - y + 1. Let s be c(1). Let w be s/17*2/2. Solve -4*t - 10 = -w*t for t.
2
Suppose -3*f = -7*f + 16. Suppose 2*n = n - 5, 0 = f*i + 3*n - 5. Solve r + i = 2 for r.
-3
Let s = -2 - 3. Suppose -2*v + 4 = w + 3*w, -3*v + 5*w = 16. Let r = v - s. Solve -22 - r = -5*z for z.
5
Suppose -8*x + 4*x + 4 = 0. Let y be ((-3)/(-9))/(x/6). Solve -y*s - 2 = 6 for s.
-4
Let v(u) = u**3 + 8*u**2 - 11*u - 14. Let w be v(-9). Solve 3*g + w = -g for g.
-1
Let p = 164 + -157. Solve 0 = -4*c + p*c - 6 for c.
2
Let t = -4 - -6. Solve t*d + 15 = 5*d for d.
5
Suppose 5*x - 47 = -4*d, -5*x + 49 = 3*d - 4*x. Let j(a) = a**3 - 6*a**2 + 5. Let u be (-6)/(-33) - 64/(-11). Let i be j(u). Solve i*l - d 