 z.
2
Suppose 0 = -i + 3*i - 6. Solve -q = -2*q - i for q.
-3
Let u be (-3)/(-12)*10*6. Suppose -2*w = -5*w + u. Solve 0 = k - w for k.
5
Suppose 59 = 2*o + 5*f, 2*o + o + 2*f - 61 = 0. Let c be (-1 - (-26)/14)*7. Let u be (-4)/c + o/3. Solve 32 = -u*i + 7 for i.
-5
Let l(t) = t**2 - 6*t + 2. Let u be l(6). Suppose -u*d + 2*p = d - 27, -4*p = d + 5. Suppose -5*b = -0 - 10. Solve -3*f - b = d for f.
-3
Let w(h) = 2*h**2 - 5*h + 2. Let x be w(3). Solve -x*g + 2 = -3 for g.
1
Let a be 2/2*(1 - 0). Solve 5 = -m + a for m.
-4
Suppose 0*z + 3*z = 63. Let n = z + -31. Let f = 14 + n. Solve f*u = 5*u + 3 for u.
-3
Let f = 4 + -3. Suppose 4*g + 2*m + 3*m - 1 = 0, -3*g = m + 2. Let p = f + g. Solve p = -0*y + 3*y + 12 for y.
-4
Let f = -14 + 14. Suppose f = -5*t + 7*t - 50. Solve 0 = -m + 6*m + t for m.
-5
Let r be -1 + 6*(1 - 0). Let b be 2/2 - (-2 + r). Let y = b + 2. Solve w = -y*w for w.
0
Let z = -8 + 11. Suppose 2*g - 13 = -s, 0 = z*g + 4*s - 29 - 3. Solve 0 = 4*y + g for y.
-1
Let s(c) = c**2 + 11*c - 23. Let z be s(-13). Solve -k = -z*k for k.
0
Suppose -r - 4*r = -15. Suppose -n - 16 = -r*n + 5*y, -4*n + y + 14 = 0. Solve -1 = n*f + 11 for f.
-4
Suppose 3*h = 5*h - 18. Suppose 4*s - h = s. Solve 2 = s*r - 1 for r.
1
Let y(a) = -a**2 - 8*a + 6. Let i be y(-7). Let t = -3 + i. Solve 5*x - t = 3*x for x.
5
Let i(z) = -z + 5. Let v be i(5). Suppose 0*x - 3*x = v. Solve x*g = g for g.
0
Suppose 3*h - h - 8 = 0. Solve -2*b + 4 = -h*b for b.
-2
Suppose -2 = -2*d + 12. Suppose 27 = 3*m - 0*c - 5*c, -2*m - 5*c = d. Solve -4*f + m + 0 = 0 for f.
1
Let w(t) = 5*t + 30. Let c be w(-6). Solve c = -3*u + 1 + 2 for u.
1
Let r = -23 - -25. Solve -5*v = r - 7 for v.
1
Suppose -22 = -7*i + 13. Solve -q = 3 - i for q.
2
Let c be 200/22 + (-1)/11. Solve 3*m + 6 = -c for m.
-5
Suppose -v - 2*v = -24. Let x = -5 + 7. Let b = 2 - x. Solve b = -q - 3*q + v for q.
2
Let k(v) = v**2 + 5*v - 3. Let o be k(-6). Solve 9 + 0 = -o*c for c.
-3
Suppose 0 = 5*o - 5*i, -5*o = -2*o + 4*i + 7. Let r = o + 3. Solve r + 1 = -3*z for z.
-1
Let x be (2 + -5)*-1 - 1. Suppose -5*o + 3*f + 6 = 0, 3*o - x*o = 2*f - 3. Suppose 0*k + o*k = 0. Solve -y = -k*y for y.
0
Let s be (-16)/(-3) + 4/6. Let u = 3 + 2. Suppose 38 + 37 = u*b. Solve s*z = 3*z + b for z.
5
Let z = -25 - -11. Let y be 12/z*(-21)/3. Solve r = y - 1 for r.
5
Let c(s) = s**2 + 12*s + 3. Let l be c(-12). Solve -18 + 6 = -l*y for y.
4
Suppose -19 = -3*l - 4. Suppose -3*m = l*n - m - 34, -2*n - 2*m = -16. Solve n*q = 4*q - 4 for q.
-2
Let t = 0 + 8. Solve 0 = 4*p - t - 0 for p.
2
Let y(x) = x**2 - 14*x + 5. Suppose -60 = -4*t + 2*g, 0 = 7*t - 2*t - 4*g - 78. Let h be y(t). Solve -h*i + 4 = -16 for i.
4
Suppose -11*s + 64 = 31. Let l(v) = -v**2 - 5*v + 1. Let n be l(-4). Solve -n*o - 13 = -s for o.
-2
Suppose 4*u - 3 - 5 = 0. Solve -x = -2*x - u for x.
-2
Suppose 2*f + 57 = 61. Solve -3*d - f*d = -15 for d.
3
Let k(u) be the first derivative of u**4/4 - 7*u**3/3 - 4*u**2 + 8*u - 2. Let f be k(8). Solve 0*x - f = -4*x for x.
2
Let u be 2 + -2 - (3 + -5). Suppose -u*n - 3*m - 10 = m, m = -4. Solve n*c = 8*c for c.
0
Suppose -b + 4*q = -13, b - 6*b - 60 = 5*q. Let t = 13 + b. Solve -4*s + t*s = -2 for s.
-1
Let g(b) = b**3 - 4*b**2 - 4*b - 1. Let j be g(5). Solve j*u = 3 + 17 for u.
5
Let m = 1331 + -1331. Suppose 4*z + 2 = 6. Let p(l) = -l + 1. Let t be p(z). Solve 2*y + t + 4 = m for y.
-2
Let b be (3/(-6))/((-2)/(-4)). Let x(z) = -2*z + 2. Let a be x(b). Solve -2*c - 8 = -a*c for c.
4
Suppose 6*d = 23 + 19. Solve d*p = 8*p + 4 for p.
-4
Let w = 12 + -10. Solve 9 = -b - w*b for b.
-3
Let z(t) = -9*t - 46. Let y be z(-6). Suppose -1 - 1 = -f. Solve -f*k - y = -4*k for k.
4
Let c(d) = -3*d - 6. Let f(m) = m - 1. Let n be f(-5). Let o be c(n). Solve 0 = 4*i - o for i.
3
Suppose -s + 6*s = 0. Let h(r) = r**3 - r**2 - 1. Let g(b) = -3*b**3 + 3*b**2 + 2*b - 1. Let a(q) = -g(q) - 2*h(q). Let n be a(2). Solve j - n + 1 = s for j.
2
Let k(q) = 2*q**2 - 5*q - 5. Let v be k(5). Solve -4*c = -0*c + v for c.
-5
Let c(y) = y - 5. Let f be c(6). Solve 0 = -s - f - 4 for s.
-5
Suppose -2 = 2*r - 0. Let y be r/(-2) - (-3)/2. Suppose -y*j + 3 = -3. Solve j*q = q + 6 for q.
3
Suppose -4*g - 3 = -23. Let x(j) = -j**3 + 5*j**2 + 3. Let p be x(g). Solve -5*z = -p*z + 6 for z.
-3
Let f = 13 - 9. Suppose -14*y = 14*y - 8*y. Solve 4*r + f = -y for r.
-1
Suppose -35 = -2*y + 5*f + 4, -5*f = -y + 27. Solve -4*q + 0*q - y = 0 for q.
-3
Let p = -16 - -18. Solve 0 = -p*k + 7*k for k.
0
Let f(d) = d**2. Let i be f(-2). Let m(j) = -j**2 + 7*j - 6. Suppose -9 = 4*s - 33. Let x be m(s). Solve x*z + 20 = -i*z for z.
-5
Suppose 24*t - 26*t + 8 = 0. Solve w = -t*w + 10 for w.
2
Suppose a - 1 = 1. Solve 0 = l + a for l.
-2
Let s = 1 + -1. Suppose 2*p - 2 - 11 = -n, -n + p + 1 = s. Let f(y) = -y**2 + 10*y + 11. Let x be f(11). Solve 0 = -n*l - x*l for l.
0
Suppose -k + 2*y + 5 + 1 = 0, -4*y = 2*k - 12. Solve 15 = 3*m + k for m.
3
Let a be 2*2*(-1)/(-1). Suppose c + a*c = 0. Suppose c = -v + 3 - 0, 2*u = -5*v + 35. Solve -q - q = -u for q.
5
Let m be (-64)/(-6) - (-8)/(-12). Let s = -7 + m. Suppose o - s = 2*o, 5*i + 9 = -3*o. Solve i = -3*y + 1 + 2 for y.
1
Let k(t) = t**3 + 5*t**2 - 7*t - 6. Let o be k(-6). Solve o = 6*p - 3*p - 12 for p.
4
Suppose b - 2*i + 0*i = 3, -3*b + 5*i + 10 = 0. Suppose -b*k = -k - 8. Solve -k*p = -p + 4 for p.
-4
Suppose -p = -1 - 0. Solve g + 0 - p = 0 for g.
1
Suppose 4*v = 3*b + 18, 3*v = 3*b + 15 - 0. Let s be (-6)/(-8) + 10/8. Suppose v*m - 5 = -s. Solve -a = 4 + m for a.
-5
Let k = 5 + 6. Let z(w) = w**3 + w**2 + w + 15. Let h be z(0). Let a = h - k. Solve 0 = 6*l - a*l - 8 for l.
4
Let l be (-5 - -10)*(1 + 0). Solve 5 = -5*o - l for o.
-2
Let x = 2 + 8. Let p be ((-8)/x)/(1/(-10)). Solve -3*f - p = 4 for f.
-4
Suppose 0 = -8*l + 35 - 3. Solve 9*y - 20 = l*y for y.
4
Let h = 8 + -5. Solve 0*l - l = h for l.
-3
Let a be ((-12)/(-8))/((-3)/(-6)). Solve -a = -m - 2 for m.
1
Let s(w) = 7*w**3 + 2*w**2 - 2*w + 1. Let p be s(1). Suppose p = 4*q - 0. Let d be -2*(-4 - (0 - q)). Solve 2 = -d*l + 2*l for l.
-1
Let l(h) = h**3 - h**2 - 2*h + 3. Let r be l(2). Suppose 0 = -f + 1 + 2. Suppose f*g - 2*q - 28 = 0, -3*q + 33 = -g + 4*g. Solve -u + g = -r*u for u.
-5
Let l be (2 + (-18)/15)*30. Suppose v + 3*v = l. Solve v = 2*m - 0 for m.
3
Let w(s) = s**3 - s + 14. Let c be w(0). Let p be 3/9 + c/3. Solve -3 - 17 = -p*b for b.
4
Let v be (-29)/3*(-7 - -4). Suppose n + 12 = 3*u, -4*u + 0*u - 3*n = -v. Solve u + 7 = -3*m for m.
-4
Let c(y) = -y**2 + 3*y + 3. Let d be c(-4). Let p = d - -16. Let x be p/2*(-6)/9. Solve x*k = 4*k for k.
0
Let z = 7 - 7. Let l be (-6)/(-15) + 4/(-10). Solve l = -z*k + k for k.
0
Suppose 2*b + 30 = -4*m, 5*m - 23 = 5*b - 83. Let l be m/2*(-56)/126. Solve 3*p - 10 = -l*p for p.
2
Suppose -20 = -2*q - 0*q. Solve 5*g = 10 + q for g.
4
Let y(u) = -u**2 + 4*u + 1. Let m be y(2). Solve 3*c = m*c for c.
0
Let t(l) = -l**3 + l**2 + 5*l + 5. Let i be t(-2). Solve -2*v - 1 = i for v.
-4
Let f(v) = 3*v - 6. Let y be f(4). Solve 6*l = 3*l + y for l.
2
Let q = -14 - -30. Suppose 4*v + 4*s - q = 24, v + 4*s = 13. Solve v = 3*d + 3 for d.
2
Suppose -t = 2*a - 12, -3*a + 12 = -a - 4*t. Solve -s + a = -3*s for s.
-3
Let a = 15 - 6. Let n be ((-40)/(-15) + -4)/(2/(-3)). Let p = 7 - 2. Solve a = -n*s + p*s for s.
3
Let d(v) = v**2 - 10*v - 2. Let c be d(11). Solve c = 2*r + r for r.
3
Suppose -7 + 3 = -s. Suppose s*i + 5 = -175. Let y = -25 - i. Solve 0 = k + 3*k - y for k.
5
Let l(y) = -4*y + 2 + 0*y**2 - y**2 - 2*y. Let r = 4 - 10. Let w be l(r). Solve -3*t = -w*t for t.
0
Let d(x) = x + 11. Let w be d(-8). Solve 0 = w*c - 4 - 8 for c.
4
Let p(f) = -5*f**3 - f. Let z be p(-1). Suppose 0 = -4*g - 2*w + 6, -z*g + 2*g - 6 = -2*w. Suppose 0 = -2*k - g*k. Solve k = 6*d - d for d.
0
Let k be (-2 - -6)*11/(44/3). Solve 0 = -4*i - 9 - k for i.
-3
Let d(f) = -f**2 - 7*f - 2. Let r be d(-7). Let g(q) = q**3 + 3*q**2 + q - 1. Let m be g(r). Solve -m - 2 = -3*v for v.
1
Suppose 2 = b - 3*c, 0*c + 3*c - 14 = -b. Suppose -2*n + 2*s + 11 = s, b = -n - 4*s. Suppose w + 34 = -y + 6*y, 5*w = -4*y + n. Solve -y*q = -q - 5 for q.
1
Suppose d + d - b = 4, 0 = -5*b - 20. Suppose d*u - 4*u = -8. Solve 0 = -h + u*h for h.
0
Let w(f) = f**3 - 2*f**2 - 4*f + 