be l(6). Solve 12 + b = m*g for g.
4
Let u(i) = -2*i - 4. Let h be u(5). Let w = 14 + h. Solve w = -2*m - 3*m for m.
0
Let d = -53 + 57. Solve d*h - 8 + 4 = 0 for h.
1
Suppose -m + 7*j + 5 = 2*j, 0 = -4*m + 3*j + 54. Let i = m - 10. Solve 2*v - 3 - i = 0 for v.
4
Let q(t) = -6*t - 7. Let u be q(8). Let p = u + 80. Let x = -7 + 12. Solve x*o - p = -0*o for o.
5
Suppose 53*m = 52*m + 5. Solve 4*h + h = -m for h.
-1
Let j be (-3 - 0)*(-3)/3. Let m = j - 2. Let h = 7 - m. Solve h = g - 3*g for g.
-3
Suppose a + 5*n = 0, 5*a + 4*n - 68 = 16. Suppose -3*f - 3*g = 2*g - 20, -5*f - 5*g + a = 0. Solve k - 2*k - 5 = f for k.
-5
Suppose g = -g + 4. Let d be g*8/6*3. Let j(a) = -2*a - 2. Let l be j(-3). Solve d + l = -4*v for v.
-3
Suppose a - 3*w - 9 = 2, a + 3*w + 7 = 0. Solve -n = -1 - a for n.
3
Let z = 13 - 11. Suppose z*j - j = 2. Solve 2*b = -8 - j for b.
-5
Suppose 0 = -26*l + 22*l + 8. Solve 0*p + l*p + 10 = 0 for p.
-5
Let d = -3 - -2. Let x(i) = i - 1. Let q be x(d). Let b be (-2 - -4)*q/(-4). Solve b + 3 = -4*t for t.
-1
Let f = 7 - 3. Suppose f*x + 0*q - 4*q = 4, -2*x - 4*q + 14 = 0. Let k be 5/3 - (-2)/6. Solve -k*u + x = -u for u.
3
Let d = -9 - -12. Suppose 5*p + 3 = -d*x - 1, -x - 6 = 4*p. Solve x*l + 3 + 3 = 0 for l.
-3
Let o(n) = -n**3 - 4*n**2 + 4*n - 2. Let l be o(-5). Suppose 184 - 78 = -4*x - 3*a, -2*x = 5*a + 60. Let b = 25 + x. Solve 0 = 3*y - b - l for y.
1
Let t(c) = -c - 3. Let x be t(-7). Let o be (x/(-10))/(2/(-30)). Let m = 11 - o. Solve -h - 12 = -m*h for h.
3
Suppose 47 + 0 = -3*b + f, 0 = b - f + 17. Let t be 1/4 + b/(-4). Suppose 16 = t*w - 0. Solve w*v = v for v.
0
Let k(i) = i**2 + 3*i + 2. Let z be k(0). Solve -p + z = 7 for p.
-5
Let v = 23 - 8. Solve n + v = 4*n for n.
5
Let m(l) = l**3 - 10*l**2 - 12. Let o be m(10). Let n = o - -16. Solve n*g = g for g.
0
Suppose -220 = 5*s - 16*s. Solve 7*q + s = 2*q for q.
-4
Suppose -20 = -5*m + 2*s - s, m - 2*s + 5 = 0. Solve -5*w + 20 + m = 0 for w.
5
Let y = -4 - -6. Let l(w) = -2*w**2 - 16*w - 6. Let x be l(-7). Solve y = -2*t - x for t.
-5
Let n(v) = -3*v. Let s be n(-1). Suppose 3*i - 2*j - 10 = -0, j + 5 = s*i. Suppose i*a = -5*a + 20. Solve -a*h + 2 + 2 = 0 for h.
1
Let s = 9 - -1. Let m be ((-12)/s)/((-2)/5). Solve m*k - 12 = -k for k.
3
Suppose -3*f + 9 + 9 = 0. Let q(a) = 3*a - 8. Let h(d) = -d + 1. Let x(t) = -2*h(t) - q(t). Let k be x(f). Solve -4*j + 3 + 1 = k for j.
1
Let l(p) = p**2 - 6*p - 36. Let j be l(10). Solve n = -j*n for n.
0
Suppose 4*i + 4*q - 2 - 14 = 0, 0 = -4*i + 5*q + 16. Suppose 0*h = -h + 3. Suppose 5*k - 56 = -3*r - 2, -r + 30 = h*k. Solve -i*d - k = -d for d.
-3
Let t = -1 + 4. Suppose t*p - 7 - 5 = 0. Solve 6*d - p*d + 4 = 0 for d.
-2
Suppose d - 2*m = -0 - 3, 3*m = -5*d + 24. Let l be (2/6)/(d/27). Suppose 2*t = l*s - 2*t - 14, 2*t = -5*s + 6. Solve 8 = 3*w + s for w.
2
Suppose 4*u + 4 = -2*k - k, -4*u - 24 = -2*k. Let f be (-10)/(-25) - 8/(-5). Solve -f + 10 = k*z for z.
2
Suppose 16*p + 4 = 18*p. Solve -p*c - 2 = -c for c.
-2
Let x = 21 + -16. Suppose -u = u + 6. Let s = x + u. Solve s*f = -2*f for f.
0
Suppose -x = -5*x + 4. Let q be -5 - -7 - (1 - x). Solve -3*m = q*m + 25 for m.
-5
Let h = -29 + 34. Solve -3*k + h = 17 for k.
-4
Let v = -6 - -7. Suppose 2*u + v = 5. Solve -2*w - u*w = -20 for w.
5
Let b = 3 - 3. Let x be -2*(b - (-4)/(-2)). Let f = -1 + 1. Solve f = u + x*u + 25 for u.
-5
Suppose 3*n - 3*g - 2*g + 106 = 0, g = 2. Let b be 2/(-6) + n/(-6). Let p(h) = h + 7. Let o be p(-3). Solve o*f = b*f for f.
0
Suppose -5*n + 10 = -0*n. Solve j = -n + 7 for j.
5
Suppose -3*x - o - 16 = 4*o, -5*o - 31 = -2*x. Solve -x*w - 5 = 4 for w.
-3
Suppose 0 = -4*o + 12, -2*o + 5*o = -4*a + 17. Suppose 10 = 3*i + a*u, -5*u = -4*i - u. Solve -r - i = -3 for r.
1
Let r(b) = -3*b**3 + 1. Let j be r(-1). Suppose -5*v + 3*v + 2*y = -4, 5*y - 17 = -j*v. Solve -v*w - 8 = 1 for w.
-3
Let m = -2 - -5. Suppose -m*f = f. Suppose f = c + 3*c. Solve c = h - 0*h for h.
0
Let t(w) = -w**2 - w + 21. Let x be t(-5). Solve 4*m + x = -11 for m.
-3
Let j be ((171/18)/19)/((-2)/(-8)). Let r = 1 - 1. Let t(q) = -q + 5. Let a be t(3). Solve j*x + 0*x - a = r for x.
1
Let k = -8 + 13. Let n = k - 3. Solve -1 = n*m - 3 for m.
1
Suppose 2*m + 18 = 3*m. Let r be (48/m)/((-1)/(-3)). Solve 0 = -b - 4 + r for b.
4
Let x be (-3)/(-7) + (-516)/(-21). Solve -8*w = -3*w + x for w.
-5
Let r = 6 - 9. Let p(b) = -b**3 - 4*b**2 - 3*b + 4. Let c be p(r). Solve -25 = -c*d - d for d.
5
Suppose -5*m - 3*o + o = -25, 4*m = -o + 20. Solve 10*r - m*r = -20 for r.
-4
Suppose 0 = 2*n - n + 4*p - 24, 0 = -2*n + 3*p - 7. Solve n*k + 8 = 6*k for k.
4
Let h(m) = 8*m - 13. Let j(z) = -4*z + 6. Let k(t) = -3*h(t) - 5*j(t). Let i be k(6). Let u be i*(-1)/(3/2). Solve -5*r = -30 + u for r.
4
Let m be (-18)/2 + (1 - 1). Let h = 13 + m. Solve 0 = -0*y - y + h for y.
4
Let t = -34 - -18. Let h be 4/(-10) - t/40. Solve -w + 4*w + 9 = h for w.
-3
Let r be (-9)/6 - 7/(-2). Suppose -t = -4*t + r*m + 9, -26 = -4*t - 2*m. Solve -3*a + 2*a + t = 0 for a.
5
Let s(l) = 6 - 3 + 2*l + 1 - l**2 - 11*l. Let c be s(-9). Solve c = -f - 1 for f.
-5
Let s(p) = p**2 - 4*p + 4. Let t be s(3). Let k(q) = -q**2 - q. Let m be (3 - 3)/(0 - -2). Let r be k(m). Solve r = -d - t for d.
-1
Suppose -b - b - 4 = s, -2*s - 2*b - 2 = 0. Solve -j + s = -3 for j.
5
Let l(d) = -d - 2. Let w be l(-3). Let g be (w - 1/1)/2. Solve -3*o + 0*o + 9 = g for o.
3
Let g = -1 - -1. Suppose g = -3*d + d. Let w be (0 - d)/((-2)/(-2)). Solve w = -2*r - 2*r + 16 for r.
4
Let x(k) = k**3 - 6*k**2 - 2*k. Let f be x(6). Let w be (2 + f/5)*5. Let m(u) = u**2 + 2*u + 2. Let i be m(w). Solve i = 2*p + 12 for p.
-5
Let y = 6 - 4. Solve 5 = -y*v + 1 for v.
-2
Let y(i) = 2*i + 1. Let r be y(1). Suppose r*x - 3*p = -7*p + 13, 5*x - p - 14 = 0. Suppose 0 = 3*b - 15 + x. Solve -3*v + 3 = -b*v for v.
-3
Let v(q) be the first derivative of q**3/3 - 5*q**2/2 - q - 5. Let d be v(6). Solve 0 = -m + 2 - d for m.
-3
Let m be -2*4*3/(-12). Let u = 3 - -32. Let b be (u/(-21))/(m/(-30)). Solve -7*c + b = -2*c for c.
5
Suppose 0 = u - 3*u + 42. Let x = 3 + 1. Solve 5*c + x + u = 0 for c.
-5
Let j = 2 + 10. Solve -4*s = j - 32 for s.
5
Let h = 13 + -4. Suppose 0 = 3*z - 9, 12 = -3*c + 4*c + 4*z. Solve c = 5*l - h + 34 for l.
-5
Let j(g) = g**3 + 6*g**2 - g - 6. Let b be j(-6). Solve -f + 0 + 4 = b for f.
4
Suppose 4*d = -3*z + 3, -5*d - 5*z + 3*z = -9. Let n be (-2)/d - 18/(-27). Solve n*w = 2*w for w.
0
Let d = -3 + 4. Let k be -21*(5 - 3)/(-6). Suppose 0 = -5*q + 8 + k. Solve q*s = 10 - d for s.
3
Suppose -z - 6 = -3*z. Suppose 0*n + 2*n = 8. Solve -n*r - 2 = -z*r for r.
-2
Suppose -4*d + 5 = 1. Let w(y) = 3*y**2 + 3*y - 2. Let x be w(d). Solve x*q = -16 - 0 for q.
-4
Let x(p) = -p**2 + 9*p + 1. Let a be x(5). Let s = -61 - -95. Suppose 0 = -3*f + 5*i + s, 0 = -4*f - 4*i + a + 3. Solve 4*g - 4 = f for g.
3
Let z be (-1 - -1)*(-1)/(-2). Suppose t + z*t = 3. Let g be (6/(-2) - -10)/1. Solve -t*w + 19 = g for w.
4
Suppose 0 = -0*d + d. Solve d = -3*n + 6*n + 3 for n.
-1
Let i(q) = -q + 2. Suppose 0*p - 3*p = 0. Let s be i(p). Solve s*t = -2 - 4 for t.
-3
Let k = 11 - 8. Solve 0 = -0*s + k*s for s.
0
Let u be -4*2*(-5)/20. Solve 0 = -u*o - 2*o for o.
0
Let k = -51 - -55. Solve -k = 3*z + z for z.
-1
Suppose 5*y + 15 = 4*l + l, y - 1 = -l. Solve 0*o - 2*o = l for o.
-1
Let z(p) = -p**2 + 6*p + 7. Let d be z(7). Let m(i) = i + 3. Let w be m(d). Suppose -w*c - 2*c + 45 = 0. Solve -2*b - c = b for b.
-3
Suppose 3*s - s = 32. Suppose 3*f = q - s, -9 = 2*q - f - 21. Solve -n = q*n for n.
0
Let z(d) = 2*d. Let x be 4/2*(-4)/8. Let k be z(x). Let u be (4/1)/k - -7. Solve -2*p - 1 - u = 0 for p.
-3
Suppose -5*u + 19 = 3*g, 2*u + 5*g - 19 = -0*u. Suppose -3*o = -u*o. Solve o + 8 = 2*n for n.
4
Suppose 0 = o - 5*r - 10, 6 = -0*r - 3*r. Solve 3*c + c + 20 = o for c.
-5
Suppose 3*d + 2*d = -3*x - 3, -5*x + 2*d + 26 = 0. Suppose -p + 9 = -x*y, 0*y - y - 4 = -2*p. Let r be (p - -2) + 2/(-2). Solve r*m - 6*m = -20 for m.
5
Suppose -4*i + 27 = 5*f, -12 = -3*f - i - 0*i. Let g be (f*-1)/(3/(-10)). Let m(b) = b**3 - 11*b**2 + 11*b - 8. Let o be m(g). Solve 3*a - o*a - 1 = 0 for a.
1
Suppose y + 3 = 9. Let f be (-2)/(-8) + 161/28. Solve -4*v - f = y for v.
-3
Let x(b) = b**3 - 3*b**2 + 2*b +