y - u for a.
-4
Suppose 3 + 1 = f. Suppose 1 = -a + f. Solve -3*l - 5*j = 26, 3*l - 3*j - a = 3 for l.
-2
Let h(j) = -18*j - 6. Let a be h(1). Let t be (150/a)/(2/(-8)). Solve -w + 4*x - 3 - 12 = 0, 5*x - t = -5*w for w.
1
Let g be (-5 - (-36)/6)*-9. Let b(k) = 4*k + 1. Let n be b(-1). Let r be 15/g*1*n. Solve r*m - 22 = -3*i, 2*m + i - 3*i = -4 for m.
2
Suppose -776 = -59*x + 345. Solve -4*m + o = -x, 7 = 4*m + o - 6 for m.
4
Suppose 63 = 15*k + 6*k. Solve -3*j = -5*f - 26, 0*j - f = k*j - 2 for j.
2
Let o be 64/112 + -2 + (-387)/(-21). Suppose 3*m = 1 + 5. Suppose -m*z - 2*z = 0. Solve z = -5*w + 2*u - o, 3*u = -w + 2*u - 9 for w.
-5
Let h = 675 - 672. Solve 0 = h*a - 4*w + 19, 8 = 3*w - w for a.
-1
Let m = -188 + 188. Solve m = i - d - 4, -5*d = -3*i - 0*d + 22 for i.
-1
Let c(t) = -1. Let p(v) = -v**2 - 5*v + 17. Let f(r) = -6*c(r) - p(r). Let d be f(-9). Suppose -9*s = -14*s. Solve h + 2*h + 15 = s, -3*o + 2*h + d = 0 for o.
5
Let f = -319 - -323. Solve 4*a - 25 = 5*c - a, -f*c - 5*a = -7 for c.
-2
Let q be -2*3*-3*1. Let d = 0 - 13. Let f = d + q. Solve -f*l - 30 = 5*u, 3 = -5*u + 2*l + 1 for u.
-2
Let u be (120/108 - (-1)/(-9))*4. Solve -5*m = 3*f - 9, 4*m - 4 = u*f + 16 for m.
3
Suppose 0 = -2*s - 0*s - 2. Let l be (-24)/(-6) + (s - 0). Suppose -5*j + 22 = -3*k, l*j - 9 = j + k. Solve -4 = j*r + 2*m, 0*m = m - 3 for r.
-2
Let d(f) = -f**2 - 13*f + 18. Let g be d(-14). Let r be 5*(-4)/g + 25. Solve 3*z + 5 = -2*x, 0*z - 4*z + r = -4*x for x.
-4
Suppose 0 = -2*d - 6, -3*u - 4*d = -3*d. Solve 2*o - u = 3*n - 0, 0 = -2*o - 8 for n.
-3
Let n be (-4 + 10)*2/3. Suppose -u = n*m - 20, 6*u + 5*m - 46 = 3*u. Solve 2*p + 2*c = -u, 0*p - 2*c = 5*p + 18 for p.
-2
Suppose -j = 4*w + 7 - 20, -4*w - 12 = -4*j. Solve 0 = 4*i + 16, -5*m + w*m = -i + 2 for m.
-2
Let c(j) = j**3 - 8*j**2 + 17*j - 2. Let n be c(5). Suppose 0*a = a + 91. Let l be (-390)/a + (-2)/7. Solve -3*m + l = 2*y, n = -3*m - 0*y + 4*y for m.
0
Let m(k) = -k**2 - 16*k + 5. Suppose b - 8*b - 112 = 0. Let w be m(b). Solve 2*c - w*h = -2*h + 25, -45 = -4*c + 5*h for c.
5
Suppose -22 = -5*a - 3*n - 6, -3*n + 14 = 4*a. Suppose -2*f = 3*q - 7, 39 - 32 = q - 4*f. Solve -5*o - a*g = -4*o + 1, -o = -q*g + 1 for o.
-1
Let h(g) = g**3 - 5*g**2 - 4*g - 3. Let d be h(6). Suppose 6*f - 6 = 3*f + 3*l, 2*f + 3*l = d. Solve -5*o + 5 = -3*i + 2, f*o + 2*i - 17 = 0 for o.
3
Let j be (7/((-42)/20))/((-66)/99). Solve -2 = -4*n - j*p + 20, 3*p = -n + 9 for n.
3
Let l be (-6 - (1 + -3)) + 5. Let n(v) = 8*v**2 + v. Let z be n(l). Solve 5*a = 3*x + a - 13, -x = 2*a + z for x.
-1
Suppose 0 = 22*w - 91 - 19. Solve -5*f = -w, -j - 6 = -3*f - f for j.
-2
Let o = -1639 - -1648. Solve -o = -4*s + d, 3*s + 3*d - 18 = -0*d for s.
3
Let l be 1/(217/35 + (-12)/2). Solve 0 = -l*d - f - 10, 0*d - 5*d + 4*f = -15 for d.
-1
Suppose 0 = -1359*y + 1373*y - 42. Solve 3*s + 4 = 5*i - 1, -5*s = -3*i + y for i.
1
Let d(g) be the first derivative of 3*g**2/2 + 3*g - 12. Let r be d(7). Solve -2*b + 12 = m - 6*b, 2*b + r = 5*m for m.
4
Let b be 7 + -2 + (4 - (0 - -9)). Solve d + 5*k + 27 - 11 = b, 0 = d + k for d.
4
Let j(z) = -z**2 - 9*z + 3. Let v be j(-7). Suppose 3*t = v - 5. Solve 5*g + 4 = d + g, -t*d = -2*g + 12 for d.
-4
Suppose 0 = 14*b - 8 - 104. Solve -2*r = -5*h - r - 6, -r = 2*h + b for h.
-2
Let q(w) = 14*w - 28. Let h be q(6). Suppose 0 = 4*c - 2*c + 8, 2*f + 2*c - h = 0. Solve -12 = 2*s - m, -f = s - 4*m - 12 for s.
-4
Let d be ((-85)/51 - -2)/((-2)/(-6)). Solve 2*c = m + 1, 5*c - 4*m - d = 9 for c.
-2
Let y(d) = -d**2 + 6*d + 4. Let g be y(6). Let z be (-5)/(-1) + (-15 - -13) + 0. Solve -1 = 5*n - g*c, 2*c - z*c + 16 = 4*n for n.
3
Let o be 0/((-6)/18 + (-6)/9). Solve -30 = 5*d - 5*j - o*j, 0 = -2*d + 5*j - 15 for d.
-5
Suppose 0 = 2*v + 3*g + 8, 10 = 18*v - 15*v - g. Solve v*d + 11 - 3 = 2*c, 4*c + 19 = -3*d for c.
-1
Suppose -30*l + 574 = -296. Solve 0 = -3*c - 4*o, l = -5*c - 0*o + 3*o for c.
-4
Suppose -3 = -5*k + 7. Let w be 7 - k/(6/9). Suppose 0 = w*t + 13 + 7, -5*l + 15 = -3*t. Solve -9 = -2*o - o, -5*r + 3*o - 34 = l for r.
-5
Let l = -3009 + 3009. Solve -3*t = -2*z + 14, -12 = -3*z - l for t.
-2
Let i(d) = -77*d - 428. Let t be i(-6). Solve t = 5*w - 3*j, 5*w + 18*j = 20*j + 31 for w.
5
Let o be 0/(1*(-1 - 0)). Suppose o = -5*t + 3*t + 18. Let n = 13 - t. Solve 3*g + 17 = 4*g + n*s, -5 = 2*g - 5*s for g.
5
Let i = 274 - 270. Solve 4*h + 3*c + 3 + 2 = 0, i*h + 2*c = -2 for h.
1
Suppose -13*j + 17*j - 4 = 0. Let w be (2 + j)*5/3. Solve 3*u + 25 = w*i, 4*i + u + 7 - 27 = 0 for i.
5
Let m(v) = -2*v**3 + 2*v**2 + 2*v + 2. Let c be m(-2). Suppose 3*s - c - 2 = 0. Solve 3*z = -4*f - s, -3*z = 2*f - 3 + 1 for f.
-5
Suppose 0 = -2*y - 2*i + 8, -y = 4*i - 3 - 4. Let h = -2876 + 2879. Suppose 0 = -f + 5 - 1. Solve x - h*p - y = -3*x, f*p = -20 for x.
-3
Let l = 62 + -34. Suppose -c + 6*c - 4 = -2*m, m + c = 2. Solve -5*s = -s + 4*j, l = -m*s + 5*j for s.
-4
Let s(p) = -5*p**3 - 7*p**2 + 2*p + 4. Let i be s(-2). Solve -2*q - i = 5*g, 4*q - q - 3*g - 24 = 0 for q.
4
Suppose -4*v + 3*r + 38 = 0, -5*v + 57 = 2*r - r. Suppose v*k = 16*k. Solve -t = -2, 4*h + 3*t + 1 + 1 = k for h.
-2
Let d(v) = v**2 + 6*v - 7. Let r be d(-7). Suppose 5*n - 15 = -r*n. Suppose 5*o = q + n, -3*q + 4*o + 2 = -0. Solve -q*s = 2*f + 1 + 5, 2*s + 5*f = -18 for s.
1
Let w = 222 - 216. Solve -4*r + o = w*o + 20, -4 = o for r.
0
Let z(x) = x**2 + 12*x + 13. Let k(w) = -w + 1. Let s(o) = -3*k(o) + z(o). Let l be s(-7). Let d = -34 - l. Solve 0 = 4*y + q + 24, -5*y - 49 = 3*q - d for y.
-5
Suppose 4*w - 80 = -4*k, 2*k + 7*w = 2*w + 28. Suppose -19*a - 75 = -k*a. Let u(j) = j - 4. Let i be u(6). Solve -5*x + x - 14 = i*r, 4*x + a = -r for r.
1
Let w be 2/2*(1 - 2). Let c be 1/(w/(-3) + 0). Let x = 5 - c. Solve -o - 4*n + 13 = -0*n, 3*o = -x*n + 9 for o.
1
Suppose -2*r + 2 = 2*o - 7*o, 3*o + 2 = r. Let f be (-3 - 6)*o/6. Solve 3*l - 8 = 6*l - 4*d, f*d - 6 = 4*l for l.
0
Let k(m) = -3*m**3 - 19*m**2 - 7*m - 4. Let a be k(-6). Solve 4*p - r = -19, p = a*r - 4 + 1 for p.
-5
Let n = -63 + 65. Let c(d) = 3*d**2 - 1. Let s be c(n). Solve -5 = 2*j - 4*a - 31, -j - 4*a - s = 0 for j.
5
Let j = -258 + 262. Solve k - j = z, -z - 9 = -k - k for k.
5
Let r(a) = -a**3 + 2*a**2 - a. Let o be r(1). Let h = o - -12. Let k be (3 + -4)*-5 + -4. Solve 3*j = -3*s + h, -4*j + 5*s + k = 12 for j.
1
Suppose 5*h - 2 = 8. Solve -5 = -v - 2*d, 2*v = -h*v + 5*d - 45 for v.
-5
Let p(j) = 0*j - 4*j - 10 - 2*j + 4*j. Let l be p(-7). Solve 3*f - 8 = -i, -2*f + 0 = -4*i + l for f.
2
Suppose -5*z - 4 - 1 = -3*m, 2*m = z + 1. Let d be 1*6/2 - (0 - -1). Solve -d = -2*u - r + 1, -5*r - 5 = m for u.
2
Suppose -317*f = -313*f - 8. Solve 0 = 2*m + 5*y + f, -3*y + 6 = 3*m for m.
4
Suppose 5*t - x - 1 = 2*x, -5*t - 2 = -4*x. Suppose -t = -7*r + 6*r. Solve -3*s + 12 = -o, 16 = r*o - 4*o + 4*s for o.
0
Let z(s) = -s**3 + 4*s**2 + 7*s - 7. Let v be z(5). Suppose -35 = 5*c + 2*w, -2*w = 3*c + 11 + 10. Let r = c - -9. Solve -2*l - 5 - v = r*o, 3*l = o for o.
-3
Let q(h) = -h**2 - 4*h - 4. Let d be q(-5). Let n be (-4 - d) + -4 + 11. Let i = 14 - n. Solve -b - i = 3*z - 2*b, -4 = -z + 5*b for z.
-1
Let i = 12073 - 12071. Let k(r) = -r**3 + 6*r**2 - 4*r. Let t be k(5). Solve i*h = 10, -t*j - 3*h - 5 + 45 = 0 for j.
5
Suppose 0 = 3*x - 5 - 1. Let q = -1000 - -1002. Solve -4*b + 26 = 7*p - q*p, -x*p = -2*b + 4 for b.
4
Let n(h) = 5*h**3 + 33*h**2 - 15*h - 5. Let v be n(-7). Solve u + t + v = 5, -4*u = 2*t - 12 for u.
3
Let s(n) = 2*n**2 - 4*n + 6. Let j be s(3). Let v = 8 + j. Solve -2*t + 2 - 27 = -3*z, z - v = 3*t for z.
5
Suppose 0 = -5*i + 32 - 12. Suppose -4 = t - 5*s, -2*t + 1 = 3*s - 4. Solve i*y = 16, 4*y = a + 4*a + t for a.
3
Let a(s) = -2*s + 12. Let v be a(9). Let n(i) = -i - 3. Let h be n(v). Suppose 0 = f - h - 1. Solve f*m = 2*u + 10, -2*u + 0*u - 2 = 4*m for m.
1
Let q = 199 + -195. Solve x - 8 = q*w, 5*w + 17 = -0*x + 3*x for x.
4
Suppose 12*c + 112 - 136 = 0. Solve -5*i - c*f + 30 = -5, 5*i + 4*f = 45 for i.
5
Suppose -89 - 1 = -6*h. Solve -3*z + 10 = f, 3*f = z - h - 5 for f.
-5
Let k = 47 + -25. Suppose -19*s = -k*s. Solve a - 2*w - 2 = 0, 0 = -3*a - 2*w + 6 - s for a.
2
Let x(y) = -2*y - 1. Suppose 0 = 5*z + 3*g + 4, z - 3*g = -8 - 0. Let l be x(z). Solve 3 = 3*f, -l = -4*m +