et b = z + 1. Solve b = 3*g - 3 + 15 for g.
-4
Suppose -9 = -3*q + x, q - 4*x + 5 = -3. Suppose q*v = -l + 79, -2*v - 2 = 2*l - 40. Solve -p = 4*p + v for p.
-4
Let z(p) = 5*p**3 - 19*p**2 - 15*p - 18. Let j(b) = -2*b**3 + 9*b**2 + 7*b + 9. Let n(l) = -7*j(l) - 3*z(l). Let h be n(-6). Solve 0*t + h = -5*t for t.
-3
Let b be (-1)/1*3/(-1). Suppose o + k - 7 = -4, 7 = 5*o - 3*k. Suppose -4 - o = -b*s. Solve -w + 0 = s for w.
-2
Let r be 6/(((-25)/(-10))/((-10)/(-8))). Solve 0 = -r*t - t for t.
0
Suppose 17 = 5*s + 2*u - 37, -5*u = -10. Solve 0 = 4*z + z - s for z.
2
Suppose 0 = -g - 0 + 4. Suppose -2*j - 4*y + 20 = 0, y = -g*j + 5*y - 20. Suppose 2 = p - j. Solve p = 4*o - 2 for o.
1
Let y be (5/(-4))/((-3)/12). Suppose y*t - 80 = 2*k + 28, -k - 44 = -2*t. Solve -3*h - 5 + t = 0 for h.
5
Suppose 4*z = 4*c - 112, 3*c + 4*z = 6*z + 88. Let a be 19/5 + c/(-40). Suppose 0 = d - 2 - 1. Solve -d*k = a + 9 for k.
-4
Suppose 0*w = -5*w. Solve w = -4*z + 3*z for z.
0
Let d(f) = f**2 - 8*f + 6. Let y be d(6). Let p(m) = -m - 6. Let i be p(y). Solve 2*k - k + 4 = i for k.
-4
Let v(z) = z + 2. Let p be v(2). Let y = 46 + -33. Suppose 3 = -n + y. Solve -p*b - 6 = n for b.
-4
Let y be 68/18 - 10/(-45). Let t(z) = z**2 - 3*z + 5. Let n be t(y). Solve 4*j + n + 3 = 0 for j.
-3
Let g(q) = 4 - 3*q**2 + 2 + 2*q**2 - 7*q - 3. Let y be g(-6). Let r be 6/(-4) + y/6. Solve -4*b + 16 = -r*b for b.
4
Let l(i) = -2 + 5 - 4 + i - 2*i. Let m be l(-3). Solve m*y = y for y.
0
Let s(t) = t + 2. Let n be s(4). Let r = n - 3. Solve r*k - 4 = 2 for k.
2
Let w(m) = 3*m**3 + m**2 - 2*m + 1. Let g be w(1). Let l be (-15)/2*(-4)/g. Suppose -2*q + 16 = 3*t - 6*t, 0 = 5*q + 3*t + 2. Solve 0 = q*s - 0*s + l for s.
-5
Let p be -3*(-1)/3*0. Let u = 0 + p. Suppose -x - 3*x + 8 = u. Solve x*y - 6*y = 20 for y.
-5
Suppose 11 = 10*z - 19. Solve z*i + 10 = -2*i for i.
-2
Let q(k) = k + 9. Let r be q(-9). Suppose r = 4*f - f - 9. Solve -4*l - f + 19 = 0 for l.
4
Let a = 2 + 1. Suppose 11 = 2*s + 5*d, 0 = 3*s + a*d - 19 + 7. Solve -s*f - 2 = -11 for f.
3
Let j(d) = -d**3 - 7*d**2 - 9*d + 7. Let h be j(-5). Solve -7 = h*u - 3 for u.
-2
Suppose 5 = -5*x - 10. Let g be x/6*(0 - 8). Solve -3*j + g = -j for j.
2
Let n = 0 - -1. Suppose -4 = 5*q - i + 4, -14 = 2*q + 5*i. Let b be (0/q)/(4*-1). Solve b = -0*g - g + n for g.
1
Let v(n) = n - 5. Let o be v(7). Let m = 4 - o. Solve -m*s = 4 + 2 for s.
-3
Suppose 0 = 3*g - 25 - 14. Let z = 16 - g. Solve 0 = 4*f - z*f for f.
0
Suppose -5*r - 212 = -5*t - 32, -5*r = t - 12. Suppose 4*x + 12 - t = 0. Let p = 3 - 0. Solve p*d - x = 10 for d.
5
Let g be (-408)/(-42) - (-4)/14. Let i = g - 10. Solve i*u + 1 = u for u.
1
Suppose -a - 5*j = 23, 4*j = 4*a - 2*a - 24. Let d(p) = p. Let m be d(3). Suppose -2*x - 3 = -m*x. Solve -a*z - x = z for z.
-1
Suppose 0 = 3*n - 4*n. Solve n = -3*l - 3 - 9 for l.
-4
Suppose 4*y = -4*m - 16, 2*y = 5*m - 14 + 62. Let v(i) = -i - 4. Let w be v(m). Solve -w*z = 3 - 19 for z.
4
Let i be (-6)/(2 + -4 - 0). Solve b - 6 = i*b for b.
-3
Let f(v) = v - 2. Let n be f(2). Solve -o + 0 - 3 = n for o.
-3
Let l(i) = i**3 + 5*i**2 + 3*i - 1. Let c be l(-4). Suppose 3*t - 30 = -3*a, c*a + 2*t - 5*t = 0. Solve 0 = a*r + 2 + 8 for r.
-2
Let z be 25/15 + 4/(-6). Let u be (4 + -5)*(-3)/z. Suppose -k = -u*k. Solve k = 4*o - 0*o + 12 for o.
-3
Let r(w) = 2*w**2 + 9*w + 6. Let t be r(-4). Solve -q = t*q for q.
0
Let r = -8 + 10. Let g be (-2 - -1*6)/r. Solve -g = -2*x + 2 for x.
2
Suppose -12*a = -6*a - 12. Solve -a*q = -3*q - 1 for q.
-1
Let d be -2*(-2 + 2/4). Suppose -16 = -4*y + 3*t, t - 2 + 9 = d*y. Let q be (0 - y) + (-2)/(-2). Solve -z - z + 6 = q for z.
3
Let b be 6/(-27) + 22/18. Suppose -3 = -2*o + 3. Solve 0 = -o*m - 13 + b for m.
-4
Suppose 0*k - 5*k = -30. Suppose 0 = -0*g - 2*g + k, -4*m - g = -15. Solve m*z - z = 0 for z.
0
Suppose 14*d - 48 = 2*d. Solve h = d*h - 9 for h.
3
Let c = 9 + 1. Let t = -7 + 9. Suppose 0 = -o - 2, -5*y + 5*o + 16 = t*o. Solve -y*f = -0*f - c for f.
5
Suppose q = 0, 5*z = 3*q + 4 + 11. Solve 15 = -4*g + z for g.
-3
Suppose h = -4*h + 15. Suppose -3*l + q = 1, -7 = -0*l - h*l - q. Solve l = 4*o + 9 for o.
-2
Suppose 4 = j - 0. Solve j = -y - 1 for y.
-5
Let l = -6 - -10. Suppose -2*f - 2*f = -8. Suppose l + f = 3*h. Solve -3 = v + h for v.
-5
Let t(l) = l**2 - 9*l + 16. Let g be t(8). Solve -3*w = -5*w + g for w.
4
Let v be (0 - -12) + 1*-3. Solve 0 = -3*q - 0*q + v for q.
3
Let f be 11 + (20/(-4))/(-5). Solve 0 = -0*w + 3*w - f for w.
4
Let p(y) = -5*y + 75. Let q be p(14). Solve 0 = -q*c - 4 - 1 for c.
-1
Let q(x) = -x**3 - x**2 - x + 4. Let w be q(0). Suppose -3*m + w = -0*m - l, l - 2 = m. Solve 28 = -5*b + m for b.
-5
Let f(b) = -b**2 - 10*b - 21. Let h be f(-6). Solve 2*j - 5 = -h*j for j.
1
Let h(l) = 2*l + 8*l - 4 - 3 - l**2. Suppose -q + 0 + 9 = 0. Let p be h(q). Solve -2 = p*t - 3*t for t.
2
Suppose -2*o + 7 = -3. Suppose 3*v - 342 = -3*g, 2*v - 295 = -3*g + 42. Suppose 4*t - 15 = g. Solve o*b + 6 = t for b.
5
Suppose -5*w = -w - 40. Solve 0 = 5*a - 0*a + w for a.
-2
Let j be 1/((-5 + 4)*-1). Solve -x - 2 + j = 0 for x.
-1
Let m be 6*(-2 - 5/(-2)). Suppose m*w - 53 = -8. Solve 0 = -6*j + 3*j + w for j.
5
Suppose 7 = 9*w - 11. Solve t - 4 = w*t for t.
-4
Suppose -w - 20 = -5*r - 2*w, 0 = 3*r - 2*w + 1. Suppose -r*f + 46 + 14 = 0. Suppose -n - n = -f. Solve 0 = 2*j + 3*j + n for j.
-2
Let v = 14 - 10. Let x be v - (-1 + -2 + 3). Solve -12 = x*q - q for q.
-4
Let v(j) = -j**3 + 7*j**2 - 6*j - 4. Let h be v(5). Suppose h = 5*u - 4. Solve -4 + 20 = u*x for x.
4
Let u(z) = -2*z. Let w be u(1). Let k(x) = -2*x - 2. Let m be k(w). Solve 5*h - m*h - 3 = 0 for h.
1
Suppose 8*g = 3*g - 10. Let t(h) = h**2 - 1. Let b be t(g). Solve 0 = b*w - 4*w + 5 for w.
5
Let v be (-76)/(-10) + 4/10. Suppose 2 = 5*d - v. Solve d = -w + 7 for w.
5
Let f be (2 - 6)/(10/(-15)). Let k = f - 4. Let c be 32/(-12)*(-4 - -1). Solve 0*r - k*r - c = 0 for r.
-4
Let t be (-2)/(4/2)*-4. Suppose -k = 2*k - t*d - 14, -5*k = 5*d. Suppose 0 = -k*v - 3*v + 30. Solve -2*s + v*s = 16 for s.
4
Let b(g) be the second derivative of -g**3/2 - 7*g**2/2 - 8*g. Let c be b(-5). Solve -2*z - c = 2 for z.
-5
Let q = -14 - -24. Suppose z = 5*f + 6*z + q, -f + 4 = -z. Solve 2 - f = -v for v.
-1
Let z(x) = x**3 + 13*x**2 + 11*x - 10. Let p be z(-12). Suppose p*h - 4 - 6 = 0. Solve 4*d + d + h = 0 for d.
-1
Suppose -4*b = h - 6, -h + 30 = 4*h - 5*b. Solve -h*n + 4*n + 10 = 0 for n.
5
Let z = -34 - -41. Solve 3*b = z*b - 8 for b.
2
Suppose 9 = -4*z + 7*z. Solve z*n - 20 = -n for n.
5
Let h(a) = 2*a + 1. Let r be h(2). Solve 0 = 5*c - 0 + r for c.
-1
Suppose -8*n + 7*n = 0. Let s = 2 - 2. Suppose -4*l + o + 27 = s, l + 39 = 4*l + 3*o. Solve 0 = 4*q + l - n for q.
-2
Let w(q) = -5*q - 30. Let r be w(-7). Solve -r = 3*x - 17 for x.
4
Let v(x) = -x + 20. Let b be v(15). Solve 0*n + b*n = 0 for n.
0
Suppose 2*a = 5*v - 10, -v = 2*a - a - 9. Suppose -3*w - 5*i = -37, -v*w + 3*w - 4*i = -24. Solve -w = -4*s + 8*s for s.
-1
Let u(m) = m - m**2 - 14 + 0*m**2 - m**3 + 17. Let g be u(0). Solve 6*t - g*t + 15 = 0 for t.
-5
Suppose -2*o + 4*o = -4. Let b = o - -8. Suppose -b = z + 2*f, -4*f = -5*z - 7 + 19. Solve z = 4*g - g for g.
0
Suppose -5*v + 20 = -0*v. Suppose v*g - 17 = 43. Solve g = 4*j + j for j.
3
Let q = -38 + 46. Solve -o + q = o for o.
4
Let y be 2*4/((-8)/7). Let s be (-7 - y)*(1 - 0). Suppose -3*n + 2*n + 3 = s. Solve -3*i + n = -4*i for i.
-3
Let l = 6 + -4. Suppose -5*n = -l*d - 6, -8 - 4 = -n + 4*d. Solve n = -2*a - 4 for a.
-2
Let n(o) = -o**2 - 3*o - 2. Let k = 4 - 5. Let p be n(k). Solve -4*b - 10 - 2 = p for b.
-3
Let m(y) = 3*y**3 + 3*y**2 - 1. Let a be m(-2). Let x = -7 - a. Suppose -2 + x = 2*s. Solve -6 + 0 = s*z for z.
-3
Let f(j) = -5*j + 9. Let h(v) = 11*v - 18. Let q(w) = 13*f(w) + 6*h(w). Let m be q(-6). Solve m*a = 2*a for a.
0
Let u be 3/(((-42)/(-8))/7). Solve -u + 8 = l for l.
4
Suppose -4*w - 7 = -j + 7, 22 = -3*j - 4*w. Let f be 1*12*j/(-2). Solve h = 4*h - f for h.
4
Suppose 5*q = 2*q + 9. Solve 0 = q*i - 4*i - 4 for i.
-4
Suppose 0*t + 8 = -n + t, 4*t - 8 = 0. Let w be (-15)/n*(-4)/(-5). Suppose -a = -w*a. Solve 2*k + a*k = 0 for k.
0
Suppose -3*k = 2*q - 3, k = -2*q - 0*q + 1. Suppose 2*z + 3*c + 6 = q, 3*c + 15 = 5*z - 12. So