- g, 0 = t - x for j.
2
Let y be (-8)/6*204/8. Let q = 75 + y. Let x(g) = 4*g**3 + g**2 - 3*g + 2. Let a be x(2). Solve -3*t - a = 4*l, 2*l + 3*l = -4*t - q for t.
-4
Let q(m) = m**2 - m - 5. Let a be ((-4)/(-1))/(-1 - -2). Let u be q(a). Suppose -4*p + u = -1. Solve 5*o - c - 12 = 0, 3*o - p*c - 7 = -4 for o.
3
Let v(t) = t - 3. Let m be v(0). Let o be m + 0 + 10 + 0. Solve -2*i + 3*x + 20 = 7*x, -5*x + o = -2*i for i.
4
Let j be (-1 - -1) + 0/(-2). Let z = -19 - -22. Solve j*c + 20 = -c + 3*f, 0 = 3*c + z*f for c.
-5
Let v(t) = -t**2 + 6*t + 1. Let z be v(6). Let p = z - -5. Solve 2*y + p = -u, -4*y = -2*u - y + 16 for u.
2
Suppose 0 = -3*x - x + 3*g + 49, 5*x - 105 = -5*g. Suppose x + 4 = 5*s. Solve 3*c = -s*h + 14, c + c + 14 = 2*h for c.
-2
Let n(m) = -m + 12. Let y be n(9). Let l be (1/y)/((-10)/(-240)). Solve 5*t + 10 = -5*w, 0 = 5*t - 4*w + 3*w - l for t.
1
Let p(z) = -z**2 - 9*z - 2. Let r be p(-7). Let d be ((-3)/(-6))/(3/r). Solve d*o + 10 = -4*n, 4*n + 7 + 0 = -5*o for o.
1
Let j be (2/6)/(4/24). Solve 4*y = -4, 2*y - 2 = -j*c - 2*y for c.
3
Let q(n) = n**3 + 8*n**2 - 9*n - 3. Let v be q(-9). Let o be (0 - v)/(-3) - -1. Solve 4*m - 2*d - d = -9, o = -3*m + d - 8 for m.
-3
Let b be 21/2*(-30)/(-45). Solve y + f = b, 0*y + f = 2*y + 1 for y.
2
Let z(o) = -o**3 - 11*o**2 - 5*o + 7. Let p be z(-11). Let g be p/3 - 10/15. Solve 0 = -4*w + g, 0 = 5*b + 3*w + 7 - 32 for b.
2
Let j be (-20)/4 - (0 - 2). Let g = j + 8. Solve 0*w + 5*w - g*r = -35, 5*w = r - 15 for w.
-2
Suppose z = -2*z + 9. Solve 5 = -5*t + 3*a, -z*a = t + 2*a - 27 for t.
2
Let f be -2 + (3 - 4) - -5. Suppose -5 = -2*h - 1. Let d be -3 + 7 + h/(-2). Solve 5 + 0 = d*m - b, 5*m = -f*b + 23 for m.
3
Let m = 26 + -23. Solve 4*l = -m*g - 4, l - 2 = -g - 4 for g.
-4
Suppose -9 = -5*t + 26. Let f = t - 4. Solve 0 = f*g - 0 + 6, -2*y - 8 = 3*g for y.
-1
Suppose 0 = -5*f + 44 - 14. Let y = f - 1. Solve k + y = 5*l - 5, 4*k = 0 for l.
2
Let i be (-1 + -2)/6*0. Suppose 0 + 16 = 2*h. Solve 2*p - 4 = 4*a - i*a, 0 = 4*a + h for p.
-2
Suppose 10 = 5*i - 0*i. Let m be 2/i*15/3. Suppose -b = -0*b - m. Solve 2*h = 5*h - 5*l + 20, b*h + 22 = -3*l for h.
-5
Let m = -4 + 8. Solve -f = 3*f + 5*p + 20, m*f = 3*p + 12 for f.
0
Suppose p + 3 - 8 = -n, -p = -1. Let s(j) be the second derivative of j**3/3 - 3*j**2/2 + 2*j. Let u be s(4). Solve -4 = -n*i - u*z, 4*i - 3*z + 36 = 2*z for i.
-4
Let a(f) = 6*f**2 - 2*f + 2. Let k be a(1). Solve 0 = 2*n - 3*v - 18, v - k*v = 4*n + 8 for n.
3
Suppose 0 = -2*i + 6*i - 12. Let x = i - 0. Solve x*g - 8 = 3*u + 7, 2*g - 6 = -2*u for g.
4
Let s be 18/14 + (-8)/28. Solve -2*m - m = -2*z - 7, s = 2*z + 5*m for z.
-2
Suppose o + 0*o - 4 = 0. Let g = 1 + o. Let s(m) = -m**2 - 11*m - 22. Let l be s(-8). Solve 10 = -g*k + 2*p, -18 = l*k - p + 3*p for k.
-4
Let q(l) = -l**3 + 6*l**2 - 2*l - 12. Let c be q(5). Solve -4*s + i = -4*i + 4, 0 = 4*s + c*i + 4 for s.
-1
Suppose 4*g + 5*q - 15 = 0, 2*g - 6 = 4*q - 18. Solve 3*x + p - 10 - 5 = 0, -x - 3*p + 5 = g for x.
5
Let b = 53 + -50. Solve d - b*k = -3*d - 27, 3*k - 9 = -2*d for d.
-3
Suppose -2*i = -5*i + 279. Let x be 34/10 - 4/10. Suppose -x*h + 129 = 5*p, 0*h - h - i = -4*p. Solve 3*j + 3*r - p = -0, -3*r = -5*j for j.
3
Suppose 4*h - 15 = -3*g, 5*g = 4*h + 7 + 18. Suppose 0 = g*l - 2*l - 24. Solve -3*s = -x + l, 6*x - 21 = s + 2*x for s.
-1
Suppose -3*r = -0*r - 12. Suppose 2*l = l + 22. Suppose -2*t + 24 = 4*n, -l = -r*n - 6. Solve -t*x + 24 = 5*j, -j + 20 = 4*j for x.
1
Suppose 0 = -5*g + 5*i - 4 + 44, 2*g - 4 = -i. Let k(z) = -z. Let h be k(-2). Suppose -g = -h*t + t. Solve -y - 11 = -t*b - 6*y, 0 = b + 4*y for b.
4
Let s be (-1)/((-3)/6) + 2. Suppose 3*p - 9 = m, p = -s*p - m + 15. Solve p*v - a = 4*a - 7, 2*a + 2 = 0 for v.
-4
Let x be (-2)/12 - 38/(-12). Solve 0 = -u + 3*b + 7, -b - x*b - 22 = 5*u for u.
-2
Let o = 7 - 1. Suppose q = o + 5. Solve 4*r - 5*i + 23 = r, 5*r = -4*i + q for r.
-1
Let m(z) = -z**2 - 2*z + 3. Let t be 2 + -1*(1 + 4). Let c be m(t). Solve -2*a + j - 3*j = 10, 4*j + 8 = c for a.
-3
Let s = 168 - 38. Suppose -t = -5*t + 20, -4*g - 2*t = -s. Solve m = -4*w + 3*w + 10, 4*w = -2*m + g for m.
5
Suppose -d + 4*t = 57, 2*d - 7 = 3*t - 121. Let r = -41 - d. Solve -2*n + 10 = -4*z, -n - 4*n + r = -z for z.
-1
Suppose -8 = -2*t - 2. Let v = t - 3. Suppose v*j = -4*j + 12. Solve 0*g - 2*g = 3*x, -x - 7 = j*g for x.
2
Let i be (0/(-2) - 1) + 9/3. Solve -4 = 5*o + i*u - 13, 2 = 4*o - u for o.
1
Let r be (-88)/(-24) + (-5)/3. Solve 5*l + 4*w - 27 = 0, l + 11 = 4*w + r for l.
3
Let r be ((-2)/(-3))/(1/6). Suppose 5 + 11 = 5*t - 2*y, -2 = 5*t + r*y. Let n = t - 2. Solve -3*s + w + 8 - 4 = n, 2*w = s - 3 for s.
1
Let h(m) = m - 6. Let b(s) = 5*s - 29. Let y(o) = 2*b(o) - 11*h(o). Let v be y(5). Suppose -i + 24 = v*i. Solve 3*a = -t + i, -6 = -3*a + 2*t - t for a.
2
Suppose -9*z - 10 = -14*z. Let k = -9 + -1. Let t be ((-2)/(-5))/((-2)/k). Solve 4 = -t*x + z*h - 0, 0 = -3*h + 9 for x.
1
Let q be (-3)/(((-2)/6)/((-4)/(-12))). Solve 0*k + 5*d = q*k - 22, 2*k = 3*d + 14 for k.
4
Let c = -2 + 4. Suppose -5*m = -5*d - 5, 7 = 5*d + m - 2*m. Solve -d*t - 2 = 0, -3*k + t + 2 + c = 0 for k.
1
Suppose t + 0 = 3. Suppose -t*l + 29 = 2*l - 4*j, 5*j = -l. Suppose 5*x = 4 + 1, 4*a + 3*x = 23. Solve -a*f + 3 = -h + 6, 5*f = -l for h.
-2
Let c be 9/((-1)/(-1)) - -1. Solve 5*m + 0 = c, m - 2 = 3*j for j.
0
Let z = 82 - 77. Suppose 3*d = -3*v + 15, 4*v = 3*d + 2 + 4. Solve 3*k - 7*k + v*g + 15 = 0, -z = 5*k + g for k.
0
Suppose -5*p = -2*p - 27. Let l(u) = u**2 - 10*u + 11. Let j be l(p). Solve 2*q + a = -2*a - j, 4 = q - a for q.
2
Let q(j) = j**3 - j**2 - 3*j + 1. Let l = -6 - -8. Let f be q(l). Let b be (2/(-4) - f)*4. Solve 0 = b*y - 2*c + c - 3, 5*c = -15 for y.
0
Let b = 21 + -13. Let h = 8 - b. Solve h = -2*c + 4, -3*q = -5*q + 5*c - 8 for q.
1
Suppose -o - 3*u = 5, u - 4*u = 9. Suppose -o*c = -3*d - 14, d + 4*c = -2*d + 26. Solve -4*p - x = 15, d*p + 2*x - 6*x = -12 for p.
-4
Suppose -4*l + 5 = -3*l. Solve -c - 23 = -5*j, -2*j + l*c = 2*c - 4 for j.
5
Let k = 2 + -6. Let z = k + 4. Suppose -5 = 5*w - 3*f, -3*w + f = -2*f + 9. Solve 2*c = 4*y, w = 3*y - z*y - c for y.
2
Suppose 3*l + 32 = 4*n, 0 = 2*n - n + l - 1. Suppose n*c + 22 = -363. Let w = -54 - c. Solve -3*d + 3*g - 24 = 0, 4*d + 0*d + w = g for d.
-5
Suppose 5*n - 3*j = -0*n + 30, 5*n + j - 10 = 0. Solve -s - 3*g = n*s - 2, -g - 12 = -5*s for s.
2
Let h be (0 + 2)/(3 + -4). Let n(c) = -2*c + 0*c - 2 + 2*c - 3*c. Let b be n(h). Solve 5*w + 5*f = -3 - 7, -b = 2*f for w.
0
Let n be (-45 + 3)/3*-1. Let v = 17 - n. Solve 0 = 5*d - s + 4 + 21, -v*d - 15 = -2*s for d.
-5
Let p be (-272)/(-20) + 3/((-60)/(-8)). Solve 3*d + y = -8, y = 3*d - 8*d - p for d.
-3
Let u(w) = -4*w - 2. Let o(i) = 3*i + 1. Let c(r) = -3*o(r) - 2*u(r). Let b be c(1). Let k = 0 + b. Solve k = -2*p - 3*x - 16, -18 = -p + x + 4*x for p.
-2
Let h = 4 - 10. Let l(g) = -3*g + g - 3*g + 4*g. Let c be l(h). Solve c*f - f + 2*m + 28 = 0, 8 = -2*m for f.
-4
Suppose -3*o + 6*o + 48 = 0. Let c be ((-3)/(-2))/(o/(-32)). Solve 2*q + 2*t - 2 = -0*q, 0 = -4*q - c*t for q.
-3
Suppose 0 = h - 5*a - 27, 3*h - 2*a = h + 14. Solve 4*k = -3*x + 12, 2*x = 7*x - h*k - 20 for x.
4
Suppose -5*k = -0*k. Let c = 10 - k. Solve 2*s - 3*z = 7, 0*z = 5*s - 5*z - c for s.
-1
Let n = 262 + -157. Suppose -3*v = 15 - n. Suppose 14 = 4*g - 3*r, -4*g = -0*g + 5*r - v. Solve 0 = a + 5*i - 19, 0 = -g*a - 4*i - 4 + 15 for a.
-1
Let p be -1*(-3)/(-3) + 3. Let u(g) = g - 8. Let z be u(7). Let h be -1 - z - (-13 - 4). Solve p*j + 4*f = 22, -j - 4*f = -4*j - h for j.
1
Let m(p) = -p**2 - p + 4. Let y be m(0). Suppose -5*n = v + y, v + 3*v - 59 = 5*n. Solve -i - 3*t = -v, 5*t = -4*i - i + 25 for i.
2
Let b = 14 - 7. Let l(v) = v**2 - 6*v - 3. Let q be l(b). Solve -2*o - 2*k = 2*o + 8, -q*o = -5*k + 8 for o.
-2
Suppose 0 = 5*v + 4*o - 42, v + 0*o = -o + 8. Solve 0*w = -2*w - p + 5, -2*w + v = 2*p for w.
0
Suppose 0 = i - 4*s, 0 = 2*i + 5*s - 2*s. Solve i = 3*r + r - 5*u + 6, -2*r = 4*u - 10 for r.
1
Let f(x) = -x + 2. Let y be f(-3). Let r be 2/((-2)/y*1). Let w(t) = t**2 + 2*t + 1. Let i be w(r). Solve -5*j = -2*m + i, -4*m - j - 1 + 11 = 0 for m.
3
Let f be (-1)/(5/5) + 7. Solve 0 = 3*y - 2*c, 2*y + 11 = f*y + c for y.
2
Suppose