 + 3*b - x, -5*k + 2 = -b for k.
1
Suppose 4*f + v + 1 = 0, -1 = 3*f + 2*f + v. Solve -3 = -y, 4*q + 5*y = 7 - f for q.
-2
Suppose -32 = -5*p + 2*x, -4*p - 24*x + 28*x + 28 = 0. Solve -5*d - 2 = 2*i - p, 10 = 2*d + 5*i for d.
0
Suppose -3*t + 15 = 5*z, 3*t = -0*t. Suppose 5*i + 3*w = 0, -2*i + 6*w - 3*w + 21 = 0. Solve -z*f = i*l - 30, -7*f - l + 25 = -3*f for f.
5
Suppose 15*k - 43 + 13 = 0. Solve -4*u = -5*u - k*c - 8, -u = -2*c - 8 for u.
0
Suppose 0 = c + 9 - 4. Let u(g) = g**2 + 2*g - 10. Let j be u(c). Solve -31 = -j*l + 4*w, -4*w - 20 = w for l.
3
Let k be (-3 + (-17)/(-5))*5. Solve g + 1 = d, -3*d + 7*d - 2*g = -k for d.
-2
Suppose -102 + 144 = 14*c. Solve c*g - 6*g - 4*i - 8 = 0, 25 = -5*g + 5*i for g.
-4
Let p(k) = -2*k**2 + 4*k + 5. Let s be p(-2). Let f = -9 - s. Suppose -y + f = 2*y - 2*i, 12 = 3*y + 3*i. Solve 2*d + z = -y*d, -z - 4 = 0 for d.
1
Let i = 44 + -40. Suppose 5*l - i*y = -5*y + 9, -11 = -4*l + 3*y. Solve -j + 2*r + l = -2, 0 = 4*j - 2*r - 10 for j.
2
Let o = -2 + 7. Suppose -l + 3*w = -16, -4 = 2*l + w + 2*w. Suppose 0*n + l*n - 41 = 5*a, 3*a + 23 = 2*n. Solve 0 = n*f + 5*d + 10, -f + o*d = d - 8 for f.
0
Suppose -80 + 88 = 4*v. Solve -v*d + 0*m = -2*m - 6, d + 2*m = 0 for d.
2
Suppose -3*a = -8*a + 5. Solve 5*d = -2*h - 35, -2*h = -5*d + a - 16 for h.
-5
Let j be 138/30 - (-4)/10. Suppose o = j*o. Let x be o - 2/((-2)/23). Solve 0 = -z + 4*m - 2 + x, 0 = -5*z - m for z.
1
Suppose -2*n - 5*u - 19 = 0, 5 = -3*u + 2*u. Suppose 25 = 5*a, -f - n*a + 48 = 9. Solve -4*r - l - f = 4*l, 0 = 3*r - 4*l - 13 for r.
-1
Suppose -427 + 417 = -2*p. Solve 6 + 4 = p*f - x, -5*x + 34 = 3*f for f.
3
Let z(j) = j**2 + 8*j + 7. Let k(o) = 2*o**2 + 8*o + 6. Let m(d) = 2*k(d) - 3*z(d). Let t be m(9). Solve 4 + t = a + i, -15 = 5*a - 2*i for a.
-1
Let t(g) = -g**3 - 7*g**2 + 10. Let k be t(-3). Let l = k - -29. Solve -3*x + 21 = l*y, -4*y + 8 = -0*y for x.
5
Suppose 28*s - 24*s + 63 = 3*c, 0 = 2*c - 2*s - 44. Solve -7 = 3*n - 5*a + 10, -5*n + c = 5*a for n.
1
Let h(a) = -7 - 8 + 5*a + 16. Let x be h(1). Let b be x + -1 + (-5 - -3). Solve 5*w = -t - 0 - b, -2*t - 6 = 0 for w.
0
Let j(a) = 5*a**3 + a**2. Let i be j(-1). Let u be 4/(2*i/(-16)). Suppose u*t - 8 = -0. Solve 3*l - t = -4*c, -3*l + 2*c = -3*c + 8 for l.
-1
Suppose -3*i - 144 = -19*i. Solve -3*w + 0 = i, -4*w = -3*l for l.
-4
Let t(k) = -k**2 + 3*k - 2. Let j be t(3). Let p be ((-7)/j)/7*0. Suppose -3*o + 9*w = 4*w - 24, 4*o + 3*w = 3. Solve 6 = 4*c - 2*c, p = -3*q + o*c - 24 for q.
-5
Suppose 0 = -5*r + g + 29 + 19, -5*g = -2*r + 10. Suppose 0 = -16*m + 21*m - r. Solve 5*j - m*k + 10 + 0 = 0, 2 = -j + 5*k for j.
-2
Let c be (140/315)/((-1)/(-9)). Solve 4*q - 4*z - 24 = 0, -c*z - 4 - 14 = 2*q for q.
1
Let x be (-30)/15*2*1/(-2). Let v(g) be the second derivative of g**3/6 - g**2 - g. Let p be v(2). Solve z + 2 - 4 = p, l - x*z + 2 = 0 for l.
2
Suppose -4*f = -d + 21, -d = 2*d - 2*f - 63. Solve -4*m + 2*z + 12 = 0, 0 = 2*m - m - 5*z - d for m.
1
Let o = 84 + -42. Let j = o + -36. Solve -5*y = 2*l - 2*y - j, l + 3*y = 6 for l.
0
Let n = -155 + 111. Let q = 47 + n. Solve g + q*g = 4*d, -2*d + 12 = -5*g for g.
-4
Let f(u) = -3*u**3 - 7*u**2 + 1. Let w be f(-3). Suppose 0 = -w*s + 15*s. Solve 2*n - 14 = -2*p + 2, s = -5*p - 2*n + 28 for p.
4
Let j be (-2)/(-7) - (-628)/7. Let g be ((-1)/2)/((-9)/j). Solve 5*w = -g*b - 5, -5*w - 5 = b - 5*b for b.
0
Let t = -41 + 77. Let l = -32 + t. Solve d + d = -2*z, -l*z = -d - 15 for d.
-3
Let t be (-5 - 49/(-14))/(1/(-2)). Solve p - 5*p + 21 = -3*l, 0 = -t*l - 5*p + 6 for l.
-3
Let f be (690/(-92))/((-3)/2). Solve -3*x - f*t = -31 + 3, -3*t + 17 = 2*x for x.
1
Suppose 23*o - 29*o = -30. Solve -2*j + o*v = j + 28, -2*j + 3*v - 17 = 0 for j.
-1
Let t = -38 - -30. Let b be -2*2 - (4 + t). Solve b = 3*y, -y + 4 = 2*k - 3*y for k.
2
Let t = 14 - 12. Suppose -t*p + 4 = -p. Solve 2*a - 16 = 3*v, -a = -p*a + 2*v + 14 for a.
2
Suppose -c + 0*c + 5 = 0. Suppose c*d - 18 = 12. Suppose y - 22 = 5*i + 5, 3*i + 15 = 0. Solve -l - 4*t = -d*l - 3, 5*l - y*t = 1 for l.
1
Let p(r) = r**2 + 10*r - 14. Let v be p(-12). Let q be (-15)/v - (-59)/2. Let w = q - 26. Solve 12 = -5*g - 4*s, -g - w*g - 22 = -5*s for g.
-4
Let c(m) = 9*m - 62. Let d be c(8). Solve 4*w - d = -2, 0 = 5*y - 5*w + 30 for y.
-4
Let u be 11/11*(2 + 3). Solve -u*o + 0*w - 16 = 3*w, -o + 1 = 2*w for o.
-5
Suppose -h = 2*h + 4*j + 22, -4*j + 62 = -3*h. Let g = h + 28. Suppose g*d = 16*d - 20. Solve -3*x + p + d = 2*p, -5*x = -3*p - 12 for x.
3
Suppose -3*z = z - 12. Suppose z*n = -3*y, 9 = 2*y - 2*n + 1. Let d be (64/144)/(4/18). Solve 0 = -3*m + y*j + 4 - 3, j = d*m for m.
-1
Let n(q) = -q + 14. Let t be n(9). Let k = 230 - 226. Solve u = k*u + 3*l, -2*u + t*l + 7 = 0 for u.
1
Let l(n) = -10*n + 2. Let x(j) = j. Let z(h) = l(h) - 2*x(h). Let a be z(-3). Let v be 2/8 - a/(-8). Solve 2*q + 5*m + 15 = 0, 11 = 2*q - v*q + 4*m for q.
-5
Suppose n - 9 = 5*v, 4*n - 7*n - 5*v = -67. Solve -4*m = m - k - 26, -k = 4*m - n for m.
5
Let j be (6/4 - 0)*-4. Let n = j - -6. Suppose -4*h - 2*c + 10 = 0, n = -3*h - 0*c + 2*c + 25. Solve 2*f - 4*y + 1 = -f, -4*y = -h*f - 7 for f.
-3
Let i be ((-64)/(-8) - 9)/((-1)/4). Solve -4*s + 9 = -3*l + 4*l, -i*s = 4*l for s.
3
Let v = 104 - 70. Let r = 46 - v. Solve 5*m + 3*l - r = 0, m + 5*l = -2*m + 4 for m.
3
Let q(u) = u. Let v(n) = 12. Let g(t) = -2*q(t) + v(t). Let f be g(8). Let h be (-8)/f*2/2. Solve h*b + 3 = o + 7, -5*o + b - 20 = 0 for o.
-4
Let m = -9 + 22. Let u = 0 + m. Solve -s + 5*h = -u, 4*s = -3*h + 2*h - 11 for s.
-2
Suppose -32 = 3*h - 47. Solve 14 = -2*q - 2*v, -h*v + 17 = -5*q - v for q.
-5
Let c be 1/(-4) + (-65)/(-20). Suppose -2*v = -c - 7. Solve 5*g + v*b = -15, -b - 3 = 3*g + 2 for g.
-1
Suppose 14 = 3*i + 5, -11 = -k - 3*i. Suppose k = -3*v - o, v + 5*o = -0*o - 10. Let r be ((-10)/(-4) + -2)*v. Solve -4*d + 12 = r, -j + 5*d + 10 = -6*j for j.
-5
Let v = 28 + -14. Let b(t) = -t**3 + t**2. Let s(r) = r**3 - 8*r**2 + 6*r + 7. Let y be s(7). Let c be b(y). Solve -j = 3*k - v, j + 6 = -c*k + 2*k for k.
4
Let a(j) = -j**3 + 7*j**2 + 9*j - 3. Let c be a(8). Let m be 5*-3*1/(-15). Let w be -1 - (1 - m - 28). Solve -2*z - c*v = -w, 3*v - 15 = z - 1 for z.
1
Let q(n) = 7*n + 10. Let l be q(-6). Let c be (l/(-56))/(2/14). Let a be 1 + c/2 + 1. Solve 2*o = v + 10, 2*o - 14 = 3*v + a for o.
3
Let x(d) = d**2 - d - 2. Let g be x(5). Suppose 3*r - 89 = 2*y, -3*y + 109 + 52 = 5*r. Let o = r - g. Solve 4*p - o = -f - 30, -2*f - 5*p - 22 = 0 for f.
-1
Suppose z + 3*u + u = -9, u - 36 = 4*z. Let m be (z/(-3) + 2)/1. Solve -2*h - h - 3*g + 3 = 0, m*g + 5 = 0 for h.
2
Let c(f) = -f**3 + 3*f**2 + 4*f + 2. Let s be c(4). Solve 3*k = -u + 9 + 8, -2 = -2*u + s*k for u.
5
Let x(t) = -t**3 + 10*t**2 + 26*t. Let p be x(12). Let z be 6/(-3) - (-2)/1. Suppose z = 2*j - 5*j. Solve -r + j*r = -5*b - p, 5*b + 40 = 5*r for b.
-4
Let t(j) = j**2 + 4*j - 4. Let w be t(-6). Let i = -5 + w. Suppose v + 3*g - 6 = 0, -i*v = 3*g - 7*g - 5. Solve 4 + 7 = -k + 5*h, 3*h = -v*k + 21 for k.
4
Let p(x) = x**3 + 32*x**2 - 29*x + 135. Let i be p(-33). Solve 22 = -3*s - 5*m, 10 = -i*s - 3*m - 2 for s.
1
Let r = 346 - 344. Solve -r*q - 15 = 5*w, 5*w - 8*q + 4*q + 45 = 0 for w.
-5
Suppose 1 + 5 = 2*c. Let z(k) = 2*k - 2. Let u be z(c). Solve u*l + g = -12, 2*l + 0*l + 2*g = 0 for l.
-4
Suppose 5*m = 3*m - 9*m. Solve m = 4*k + 3 + 5, 5*v + 3*k + 1 = 0 for v.
1
Suppose 0 = -20*o + 15*o. Let j = o + 27. Solve j = -4*f - 3*i, 0 = -4*f + 5*i + 16 - 3 for f.
-3
Suppose 5 = 2*a - 1. Suppose -24*s = -28*s + 116. Let k(v) = -10*v**3 + v. Let g be k(-1). Solve 2*y + 3*u + s = g, a*y + 5*u = -32 for y.
-4
Let k = 74 - 52. Suppose 88 = k*c - 18*c. Solve 4*l = -2*m - c, m = 5*l - 2*l + 9 for m.
-3
Suppose 6*a - 3*a = -9. Let r be -1 + (5 - (a + 4)). Solve 7*c = r*c, c = -4*l - 4 for l.
-1
Suppose 21*w - 154 = -w. Solve h - 2*h = c + w, 4*c - 3*h + 14 = 0 for c.
-5
Let v be (-26)/6 - (-130)/(-195) - -10. Solve -v*z - 5*a = -10, -3*a + 9 - 2 = 4*z for z.
1
Let q = 36 + -22. Let z be (q/(-6))/((-1)/(-3)). Let f be (1 + -1)/(7/z). Solve -s - 2*w = -3, -w - 3*w + 4 = f for s.
1
Let o be 4/10 + 83/5. Let j = o + -14. Let f be (3 + -7)/4 + j. Solve -5*c + n - f = 0, 4*c + 5*n + 16 = 3*c for c.
-1
Let n(p) be the firs