u*i + v + 2 for i.
-2
Let j(f) = -f + 2. Let s be j(6). Let k be s/10 + 2/5. Solve k = b + b for b.
0
Let y = 11 + -6. Suppose -j = -y, 0 = 2*w - 0*w - 5*j + 77. Let o be w/(-6) - 2/6. Solve 2*v - o*v - 6 = 0 for v.
-3
Let j = -15 + 4. Let k = -7 - j. Let a(t) = t**3 - 5*t**2 - 4*t + 8. Let c be a(6). Solve -k*i - i = c for i.
-4
Let z(i) = -i**2 + 7*i - 1. Let n be z(6). Suppose -n*a = j - 14, 8 = -a + 5*a. Solve -18 + 6 = -j*s for s.
3
Suppose 4*h - 17 = -17. Solve 3*c = -h*c for c.
0
Let w be 1/(0 - (-2)/(-2)). Let u be 2*w + -3 + 7. Solve 0 = u*k + 5 + 1 for k.
-3
Suppose 0 = 4*n + 5*t - 10, t = -2*n - 2*t + 6. Suppose n = 2*r - 5*r. Solve -2*o + 2 + 0 = r for o.
1
Suppose -77 = -9*c - 23. Solve -4*u + u = c for u.
-2
Let p = -11 + 18. Let y = -3 + p. Suppose -5*g + 8 = -y*g. Solve 4*b + 0 - g = 0 for b.
2
Suppose t - 5*k + 13 = 0, 0*t + t + 1 = 2*k. Solve 3*z = t*z for z.
0
Suppose -n + 2*h = -2, -5*n + 5 = -n - 5*h. Solve -3*x - 12 = -n*x for x.
-4
Let m(t) = -6*t**3 - 2*t - 1. Let l be ((-1)/1 + 8)*3. Let c be 2/7 - 27/l. Let h be m(c). Solve -4*z + h*z = 6 for z.
2
Let c(d) = -d - 2. Let s be c(-8). Suppose 5*o + 0 = 10. Solve -o*p - s = 4 for p.
-5
Suppose 4*x + x = 10. Suppose z = -x*z + 9. Solve -z*n = -6*n + 6 for n.
2
Let h be -2 - 0 - 16/(-7 + 3). Solve -h*y = -0*y - 6 for y.
3
Suppose 5*r - 15 = 3*z, -r + 2*r - 4*z = 3. Let d = 23 + -21. Let y be (r/(-9))/(d/(-18)). Solve -4*v - y = -v for v.
-1
Suppose 3*g - 9 = 3. Let l = -4 + g. Solve l = s + 3*s for s.
0
Suppose 5*l - 5 = -0*l. Let m = l + -1. Let v(f) = f**2 + 6*f + 4. Let t be v(-6). Solve m = -7*n + t*n - 12 for n.
-4
Suppose 5*s + 3*k - 47 = 0, s + 4*k = 6 + 17. Solve s = 5*v - 3 for v.
2
Let x(g) = 2*g - 5. Let q be x(4). Let p(o) = o**2 + 5*o + 3. Let u be p(-3). Let t = u + q. Solve 6*i - 3*i - 12 = t for i.
4
Suppose -2*g - 3*q + 8*q = 20, 8 = 2*g + 2*q. Suppose 4*y + s - 28 = g, -7 + 21 = 2*y - 3*s. Solve y + 9 = 4*w for w.
4
Let r be (-1)/6 - (-75)/18. Solve -c + r = -1 for c.
5
Let h = -2 - -4. Solve -h*t - 4 = 4 for t.
-4
Let t = -52 + 52. Solve -x + 0*x = t for x.
0
Suppose -v = 4*v - a - 1, v = -a - 1. Let o be -1 - (2 - (0 + 8)). Solve -3*s + o*s - 10 = v for s.
5
Let h = -5 - -5. Let g be (h/(-9))/(1*3). Solve g*o + 2 = -o for o.
-2
Suppose h - r + 5*r = 18, 3*r = 3*h + 6. Solve 3 = -u - h for u.
-5
Suppose 0 = -4*l - 12, 0*o + 4*l = -o - 10. Solve -5 = o*c - 7*c for c.
1
Let n(f) = -1 - 13*f + 12*f + 3. Let w(a) = -4*a**2 + 1. Let b be w(1). Let s be n(b). Solve 15 = 4*p - s for p.
5
Suppose c = 2*c - 3. Let p be ((-1)/c)/(1/(-33)). Suppose 0 = -5*l - 5*u + 9 + p, 5*u - 12 = -l. Solve -2*b - l*b = 0 for b.
0
Let j(b) = 2*b**2 - 19*b + 9. Let g be j(9). Solve 5*z - 4 - 21 = g for z.
5
Let k be (-19)/(-3) + (-8)/(-12). Suppose 0 = 2*p - k - 3. Let l = 8 + -1. Solve l + p = -3*a for a.
-4
Suppose c - 4 = -1. Solve 0 = c*n - n - 10 for n.
5
Suppose 5*q - 3*k = 3*q + 36, 48 = 3*q - 3*k. Solve 0*c = 4*c - q for c.
3
Let a(i) = i**3 - 4*i**2 - 6*i + 12. Let l be a(5). Solve -2*f + 20 = -l*f for f.
-4
Let y = -1 + 1. Let n(i) = -i. Let z be n(y). Solve -3*f - 7 + 4 = z for f.
-1
Suppose -y + 6 = 2. Solve -y = -4*b - 0 for b.
1
Let o = 6 - 6. Suppose o*r = 5*r. Solve r = -0*z - 3*z for z.
0
Let t(g) = -2*g + 3. Let z be t(-4). Let r be z/3 - 3/(-9). Suppose -11 = -r*o - w, w - 6*w - 13 = 3*o. Solve 0 = -2*c + 4 + o for c.
4
Let j(l) = l + 12. Let v be j(-9). Let c(b) = -b**2 - 6*b + 2. Let t be c(-5). Let y be (1 - t)/((-6)/16). Solve v*a = -a + y for a.
4
Suppose -4*h = 5*z - 103, -4*z = 2*h - h - 23. Let l = -23 + h. Solve 14 = -l*x - 2 for x.
-4
Let v be -32*(20/(-8) - -2). Solve v*s = 17*s - 5 for s.
5
Let a = -3 - -11. Suppose 2*o + 4*j = -20, 3*j + 23 = -o + a. Let y = o + 15. Solve 5 = -5*g - y for g.
-4
Suppose 0*p - 20 = -5*p. Solve -p = -2*x + 6 for x.
5
Suppose 0 = -5*x + 4*n + 15, -2*n + 2 = 4*x - 10. Solve -7 = 5*w + x for w.
-2
Let f = -12 + 12. Suppose f = x - 6*x - 3*w, -3*x - 2*w = 1. Solve -t - x = -2*t for t.
3
Let o(r) = -6*r + 24. Let u be o(4). Solve 0 = -k + 5 - u for k.
5
Let m(x) = x - 1. Let z be m(4). Suppose -z*c + 4*f = 0, -c + 3*f = -0*c + 5. Solve b + c*b + 25 = 0 for b.
-5
Let r = -5 + 13. Suppose -6*o + 56 = -13*o. Let w = r + o. Solve w = -3*f + 15 for f.
5
Suppose -4*u + 0*u = -16, -2*t = 4*u - 2. Let d(g) = g**3 + 8*g**2 + 6*g + 9. Let c be d(t). Suppose 2*l = 4*l - c. Solve 2 = -5*b - l for b.
-2
Let j(c) = -c**2 - 7*c - 4. Let w be j(-6). Solve -w*i + 20 = 3*i for i.
4
Let r(o) = 3*o - 1. Let c be r(3). Let a be c/(-12) - 202/(-6). Suppose 0 = -s + 4*n + 4, -2*s - n + a = 2*s. Solve -l = 4 - s for l.
4
Let t(b) = 4*b + 2. Let a be t(0). Solve -3*s + a*s = 0 for s.
0
Let q be 117/17 - (-6)/51. Suppose o = 2*o - 32. Solve -5*b = q - o for b.
5
Let x(j) = j + 10. Let w be x(-8). Let u = 0 + w. Suppose 2*a = -u*a + 32. Solve 2*i + 2 + a = 0 for i.
-5
Let w be 11/4 + 1/4. Let n(f) = f + 7. Let x be n(-3). Suppose -l = 2*o + w*o - 2, 2*l - x = 3*o. Solve -l*d - 3*d = -15 for d.
3
Suppose -4*a + 4 = 0, 2*n - 3*n - 19 = a. Let f(w) = -w**2 + w + 6. Let g be f(5). Let t = g - n. Solve 0 = t*m - 3*m - 6 for m.
2
Let c(k) = k**2 - 3*k + 2. Let a be c(5). Solve -5*o + a = -o for o.
3
Suppose 4*h = -3*k + 18, 4*h - 2*h - 5*k = -4. Suppose h*p - 15 = 2*n, 6 = -n + p + 1. Let q be n/(-2) + 30/6. Solve -q*x + 0 = -25 for x.
5
Suppose -v = -7 + 3. Solve v*a + 12 = -0 for a.
-3
Suppose -3*u - 10 = -5*u. Suppose d - u = -1. Let k(w) = -3*w - 15. Let f be k(-9). Solve 7*b - d*b = f for b.
4
Let o(p) = 10*p - 66. Let i be o(7). Solve i = -n + 2 for n.
-2
Suppose 5*i - 41 + 208 = -4*k, 5*k - 109 = 4*i. Let p = -19 - i. Solve p = 3*w - 0 for w.
4
Let o = 0 + 2. Solve -4 = -o*x + 2 for x.
3
Let n(s) = -s**3 - 15*s**2 - 16*s - 23. Let b be n(-14). Solve b = -4*t + 1 for t.
-1
Suppose 5*u = -4*i + 32, -11*i = -12*i + 4*u - 13. Solve 17 + i = -4*l for l.
-5
Suppose 0 = 4*r - 3*y - 2, 0 = 4*y - 2 - 6. Suppose -5*a + 17 = r. Solve -4*c - a = -19 for c.
4
Let g = 92 + -89. Solve 0*o = g*o - 15 for o.
5
Let m = -10 + 10. Suppose -2*n + 18 = -m*n. Solve 0 = d + 2*d + n for d.
-3
Let z(o) = -5*o - 3*o**3 + 4 + o**2 + 3*o**2 + o**2 + 2*o**3. Let k be z(4). Suppose k = -0*a + 2*a. Solve -2*i + a = -6 for i.
3
Let f = 15 - 6. Suppose f = 2*i + i - p, -5*i + 3*p = -11. Solve -1 + 13 = i*n for n.
3
Let i(x) = -2*x - 12. Let b(v) = -4*v + 2. Let o be b(2). Let d be i(o). Solve -5 = -d*r - r for r.
5
Suppose 8 - 4 = h. Suppose 2 = 2*n - n. Solve -n*v = h - 10 for v.
3
Let k(h) = -4*h**3 - 2*h - 10*h**3 - 1 - 12*h**3. Let f be k(-1). Let d(p) = 5*p - 1. Let g be d(1). Solve g*y = -f + 11 for y.
-4
Let y(m) be the first derivative of -m**2/2 + 11*m - 2. Let z be y(10). Solve -4*r - 11 = z for r.
-3
Let k = -98 + 102. Solve 0 = k*d - 3*d - 4 for d.
4
Let s(w) = w + 0 + 3*w + 1 - 5*w. Let y be s(-4). Suppose -3*b = 4*k - 9, -k + y = k + b. Solve -5*q = k - 13 for q.
2
Suppose 4*m = 20 + 12. Suppose 2*w - m + 4 = 0. Suppose -5*y + 15 = -w*y. Solve -y*t + 13 - 3 = 0 for t.
2
Suppose -9*m = -10*m + 8. Let n = m + -7. Solve -2*q - 9 - n = 0 for q.
-5
Let w = 11 - 1. Suppose -d - 5*m = -22, w = 2*d + m + 2. Solve -l = -d*l for l.
0
Suppose -99*u = -101*u + 16. Solve -8 = 4*h + u for h.
-4
Suppose 5*h - 4*h = 0. Let q(l) = -l**3 - l**2 - l + 2. Let x be q(h). Suppose a = -x*a + 18. Solve -r - 2 = -a for r.
4
Let m = 10 + -3. Let p = -7 + 3. Let r be 2 - 1/(p/8). Solve -5 = -r*w + m for w.
3
Let i = 4 - 1. Let u(r) = 3*r - 22. Let z be u(9). Solve -2*q + i*q = z for q.
5
Let d = -35 - -44. Solve -z = 2*z + d for z.
-3
Let a = -4 - -9. Suppose -13 = -5*y - 0*y - 2*k, 3*y + 4*k = a. Let q = 6 - y. Solve -l - q - 2 = 0 for l.
-5
Let w(i) = -i**3 - 10*i**2 - 10*i - 9. Let y be w(-9). Suppose 4*d - d - 15 = y. Solve 0*u = d*u - 20 for u.
4
Let z(k) = 2*k - 12. Let x be z(8). Let j be (-3)/(-6) + x/(-8). Solve j = -a - 0 + 1 for a.
1
Let y be 4*55/40*2. Solve y = -3*u - 1 for u.
-4
Let y = 7 - 4. Suppose 3*h - 3 = -2*b, 4*h + b - 18 = y*b. Solve h*q + 15 = -0*q for q.
-5
Let c be 4 + 0 + 13/((-65)/10). Solve 5 - 3 = -c*z for z.
-1
Let j be 12 + (5 - (-1 + 2)). Solve -5*u + u = -j for u.
4
Suppose 2*s - 3*s = 0. Suppose 0 = -s*i + 2*i. Solve -5*w + 8 - 3 = i for w.
1
Suppose -x + 3