or u.
-3
Suppose -t = 5, 4*l = -l - t - 40. Let r = -5 - l. Solve 3*q = -r*i + 3*i - 7, -i - 5 = 0 for q.
-4
Suppose -i - 47 = 4*a - 4*i, 5*a + 30 = -2*i. Let r be 2/a + 744/32. Solve -x - r = -5*u, -x - 2*u = -3*u + 7 for x.
-3
Let r(m) = m**2 - 3*m + 6. Let j be r(4). Solve 3*v + 5*u + j = 0, 0 = -u + 3 - 2 for v.
-5
Let r(j) = 6 - 1 - j - 4 + j**2. Let s be r(2). Solve -3*i + s = z, -6*z = -4*z for i.
1
Suppose 28 + 24 = -4*u. Let i be u*(-1 + -2)/3. Solve -3*k - p - 3*p = i, -p - 10 = 3*k for k.
-3
Let n be (0 + (0 - 1))*-4. Suppose 3*d - 4*d = 0. Solve 3*v - 3*r - n + 16 = d, 4*v = 2*r - 18 for v.
-5
Suppose 0*y - 2*h = 2*y, -5*h - 4 = 3*y. Suppose -f = -2*v - 2, -2*v + y = -v. Solve f*q + 17 = q + 2*k, 3*q = 3*k - 12 for q.
-3
Suppose 3*q - g = 11, 0*q - 2*q - 3*g + 11 = 0. Solve -21 = -q*v + 3*l, 5*l = -2*v - 5 - 4 for v.
3
Let f(w) = w**2 + 15*w - 5. Let i be f(-16). Solve 3*p + 2 = i, -3*t - p + 9 = 0 for t.
2
Let o(g) = g**2 - 9*g + 10. Let v be o(8). Let s(a) = a + 5. Let b be s(-8). Let j = v - b. Solve j*t - 10 = -5*x, -2*x = 5*t - 5 - 8 for x.
-1
Let w = 0 + 0. Let a be 13*(-2)/(w - 2). Suppose -a = 4*j - 49. Solve -5*v - 2*i = 10, 0 = v - 2*i + i + j for v.
-4
Let d(x) = x**3 - 5*x**2 + 5*x - 4. Let r be d(4). Suppose j - 8 = -2*s, -3*j + 2*s = -r*s. Solve 4*v - 1 = -3*h + 5*v, -j*v = 3*h - 16 for h.
2
Let y = -18 - -41. Solve n = -s - 3*s + y, 4*s = -5*n + 35 for n.
3
Let y = 90 + -90. Solve 5*l + h - 9 = y, 8*l - 3*l - 13 = -2*h for l.
1
Let o(d) = d + 9. Let m be o(-7). Suppose -i - 4 = -m*i. Solve f - j + 13 = -5*j, -i*j = 4*f + 16 for f.
-1
Suppose 7*d - 41 = 8. Solve 0 = -3*a + 3*h - 9, 0 = a + 5*h - h - d for a.
-1
Let n(o) = 2*o - 15. Let l be n(10). Solve 0 = -l*q - 4*f - 2, -4*q + 23 = -7*f + 2*f for q.
2
Let t = 2 - 0. Suppose -x = t*x. Suppose 3 + 1 = y, 2*o - 5*y + 10 = x. Solve -2*i + o = -5*k, 2*k + 2*k + 5*i + 4 = 0 for k.
-1
Suppose 0 = 5*k - 17 + 7. Solve -k*w - 4*c - 12 = 0, -2*c + 7*c = 3*w - 4 for w.
-2
Suppose 4*f = 5*q + 13, 5*f - 9 = -q - 0*f. Let v be 0/(-2 - -3)*q. Suppose y = -v*y + 5. Solve 0*p + 18 = -y*x + p, -12 = 5*x - 4*p for x.
-4
Let n be (-4)/(-6) - (-13)/3. Suppose q - 10 = 2*m, q + n*m - 20 = -4*q. Solve -4*d = -4*o - q*d + 10, 3*o - d = 5 for o.
2
Suppose 2*j - 2*q + 0 - 6 = 0, 0 = -5*j + q + 11. Suppose j*y - 8 = 0, 0*m + 2*m - 3*y = 2. Solve b - 2*a = 2, 3 = 5*b + 4*a + m for b.
0
Suppose -4*f - 3 = -3*f + 5*r, 0 = -3*f - r + 5. Suppose -f*j - 4 = -10, -15 = -p - 3*j. Solve v = 2*c + p + 8, -v = c + 1 for v.
4
Suppose s = -3*s + 20. Solve 22 = -s*b - h, 4*b + 3*h + 22 = -0*b for b.
-4
Suppose 3*f = -5*c + 77, 3*f - c + 32 = 121. Let s = f + -9. Let d(i) = -2*i**2 + 13*i + 47. Let u be d(9). Solve 8 + 27 = -5*o + 2*y, u*y = 2*o + s for o.
-5
Suppose 0 = 21*y - 36*y + 75. Solve -2*h - 2 = 2*u, 1 = -y*h - 6*u + 2*u for h.
3
Suppose -5*w + 9 = -11. Solve -3*g + 19 = -w*j, -2*g = -8*j + 3*j - 22 for j.
-4
Let v be 395/55 - 4/22. Let x = v - 4. Solve -x*d + f - 11 = -f, f = 3*d + 7 for d.
-1
Let g(j) = -2*j**2 + 5*j + 1. Let b be g(-5). Let n be (-2)/8 + b/(-8). Let q = n - 4. Solve -q*u + 8 = p, -4*p + 7 + 8 = 3*u for p.
3
Suppose 2*x - 14 = -54. Suppose 5 - 3 = s. Let t be ((-24)/x)/(s/15). Solve -5*f = j + 15, -6*f - 4*j - t = -3*f for f.
-3
Let j = 11 + -25. Let s be j/(-4) - (-6)/(-12). Solve 3*k - 3*a = -3, -s*a = -3*k - 6*a - 27 for k.
-5
Suppose 0 = -8*h + 3*h. Suppose 0 = 4*r - 4 - 4. Solve r*p = -h*p - 6, 0 = 4*o + 5*p + 3 for o.
3
Let p = -41 - -51. Solve 3*f + p = -4*l, 2 + 0 = f - 4*l for f.
-2
Let r = -6 + 8. Let w = 2 + -10. Let x = 11 + w. Solve 0 = i + 2 - 0, r*i + 10 = x*z for z.
2
Suppose -17 = -2*z - 5*x + 5, 0 = 4*x - 16. Solve 7 = 4*a + 2*i + 17, 0 = i - z for a.
-3
Suppose -15 = -3*l, 0 = z + z - 5*l + 25. Solve z = u + 4, 3*d + 4*u = 2*u + 4 for d.
4
Let t(p) = -p + 7. Let c be t(9). Let x = c + 5. Solve -2*o = -4*g - 4, -g - 3 = x*o - 2 for g.
-1
Suppose 0 = -46*j + 51*j - 25. Solve -t - 2*t - 6 = -2*x, -10 = 5*x + j*t for x.
0
Suppose -16 = -6*j + 2*j. Let l(u) = -5*u**2 - u + 1. Let a be l(-3). Let o = a - -72. Solve -j*w = 3*f + o, -6*f + f - w = 29 for f.
-5
Suppose 5 = 5*t + 20, -3 = 4*f + t. Let u(v) = v**3 + 3. Let w be u(f). Solve 5*q = 5*p + 15, q = -p - w - 4 for p.
-5
Suppose 0*u + 4*u = 40. Let z(t) = -2*t - 2. Let o be z(-4). Suppose -o = -4*s + u. Solve 12 = s*n, -c + 3*n = -4*c + 12 for c.
1
Suppose -8 + 34 = -5*f - d, -4*f - 16 = 2*d. Let a = 10 + f. Suppose 15 = a*j - 1. Solve 12 = 4*h - 2*b, 3*h + 0*b + j*b = -2 for h.
2
Suppose o = -2*o + 42. Solve 3*l = 5*y - 12 - 5, o = -2*l + 4*y for l.
1
Let f = 16 + -13. Solve 4*a - 32 = -4*v - 0*v, 0 = a + f*v - 18 for a.
3
Let s(l) = -l**3 - 4*l**2 - 3*l - 2. Let p be s(-4). Let f(r) = -2*r + 1. Let g be f(-1). Solve 4*t - 4*c + 9 + 15 = 0, -p = g*t + c for t.
-4
Suppose 0 = -2*o + 4*z + 34, 3*o - 2*z - 47 = -0*z. Let h be (0/3 + 0)/1. Let x be -10*((-2)/5 - h). Solve 2*s - o = 4*p + s, 3*s + 3 = -x*p for p.
-3
Suppose 4*k - 19 = -3*y, 2*k - 4*y = k. Suppose 2*d + 2 - 4 = 4*f, 0 = -4*f - 2*d - 14. Let v be f/(-2)*-1 - -9. Solve 5*n = -t + v, -n = k*t - 5*n - 8 for t.
3
Let i = -1 - 11. Let g be (i/(-9) - 2)*3. Let w = g - -4. Solve 3*d = -w*t + 4, 0 = 4*d + t - 4*t - 28 for d.
4
Let m(n) = n**2 + 6. Let a be m(0). Solve l - a*l - 29 = 4*d, d = l + 4 for l.
-5
Suppose 2 - 5 = -2*i + 3*z, 4*z - 7 = -i. Let t = 90 - 86. Solve -2*c - 12 = i*y, t*c - 6 = 4*y + 10 for c.
0
Let d(b) = -3*b. Let x be d(-10). Solve -x + 9 = -3*k + 2*y, -5*y = 15 for k.
5
Let t be 1*2 + 0 + -5. Let g = t - -1. Let o = 4 + g. Solve o*p + 2 = p - 2*x, 0 = 5*x + 10 for p.
2
Let g(x) = x**2 - x - 14. Let u be g(5). Suppose -3*j - 1 = -13. Solve j*m = 2*f + 18, 3*f + m = 5*f + u for f.
-1
Let m = -5 - -7. Let r = 2 - m. Suppose -3*x - 3*l - 9 = 0, 3*x - 4*l = l + 31. Solve r = -5*v + i + 11, 0 = v + 2*i + x*i + 2 for v.
2
Let l = 20 - 14. Suppose l + 4 = 2*v. Suppose t + v*d + 9 = 0, t + d = 2*d + 15. Solve 0*p - 3*f = -2*p - t, -p = -2*f + 6 for p.
-4
Suppose 4*x - 5*c = -3*c + 10, -3*c = x + 1. Solve 0 = -2*n - 2, 3*t - 7 = -x*n + 3*n for t.
2
Let c = 9 + 8. Solve -r + 4 = 0, -4*r - c = 5*z - 2*r for z.
-5
Let b(s) be the third derivative of -s**2 + 1/12*s**4 + 0*s + 5/3*s**3 + 0. Let d be b(7). Solve -3*v + 6*t - 4 = 2*t, 4*v + d = -4*t for v.
-4
Let w(z) = -z**3 + 8*z**2 + 10*z - 11. Let h be w(9). Let l = -1 - h. Solve j - 4*s = 20, 3*j + 4*s + 3 = -l for j.
4
Suppose s + 2 = -0*f - f, 3*f - 2 = -s. Suppose f*m = -m + 9. Solve 5*n + 3*y = 21 - 7, -4*n - m*y = -13 for n.
1
Let q = 6 - 1. Suppose u = -q*c - 2 - 1, -5*c = 2*u + 6. Suppose 5*a - 12 - 18 = c. Solve -5*i = -0*i - 10, a = 2*r + 2*i for r.
1
Let c be 4/6 - (-52)/12. Let o be (-19)/(0 + 2 - 1). Let v be o/(-7) + (-8)/(-28). Solve -v*s - s - c*h = -13, 0 = h - 5 for s.
-3
Let f(k) = 4*k + 5. Let q be f(5). Let d be ((-30)/q)/((-4)/10). Solve -5*v + r + 18 = 0, 3*v - 2*r = -d + 18 for v.
3
Suppose 5*t + 2*z = 139, -t = -z + 3*z - 31. Solve -m = -5*g - t, 5*g + 29 = m + m for m.
2
Let k(n) = n + 1. Let v = 8 + -5. Let d be k(v). Suppose -d*r + 7 + 1 = 0. Solve 0 = 4*y + h + 20, 3*y = -r*h - 12 - 8 for y.
-4
Let z(s) = s + 9. Let l be z(7). Let d be l - ((-9)/(-3) - 1). Solve -2*f + d = -w, w - 11 = -7*f + 4*f for w.
-4
Let g be (-8)/20 + 22/5. Suppose 0 = g*m + o - 5*o - 40, 66 = 5*m - o. Solve m = -3*k + 5*p, 2*k - 2*p + 2 = -k for k.
2
Let r(l) = -2*l**2 - 22*l - 21. Let v be r(-9). Solve v = 3*p + 3, 3*t = -3*p for t.
-4
Let x = 14 - 22. Let t = x + 11. Suppose -4*f - 2*m + 24 = 0, f + 2 = 2*m + 3. Solve -t*z - 6 = 5*s + 9, f*s - 3*z + 15 = 0 for s.
-3
Suppose 15 = -5*h, 0 = 3*p - 2*h - 12 - 6. Solve -4*q + p*v + 12 = 0, 4*q - 10 = 3*v - 0*v for q.
1
Suppose -13 = 3*n - 22. Solve 4*p - 2*p - 22 = n*i, -2*p = -i - 14 for p.
5
Suppose -110*o + 9 = -107*o. Solve r - o = 4*s - 3*s, s - 1 = 5*r for s.
-4
Let z(x) = 5*x**2. Let c be z(-1). Let k = 2 + c. Suppose -3*w - 1 = -k. Solve 2*j = -w*u - 1 + 3, -2*u = 6 for j.
4
Suppose -45 = 5*x - 4*q + 31, -x - 5*q + 8 = 0. Let l be ((-4)/(-6))/((-2)/x). Solve 0*s = s - l*n + 18, -s + 2*n = 8 for s.
2
Suppose 4 = -3*d + 10. Solve 5*w - d*u - 10 = 0, -5*u + 20 = -u for w.
4
Let n be (-1 - (1 + 8))/(-2). Solve -n*h - 3 - 2 = 4*v, -4 = 4*h 