 - 2*y. Suppose 4*g - 7 = -5*b, j = 2*b + b + 3. Solve -3*m - 5*z + 9 = -1, 3*m = -g*z + 12 for m.
5
Suppose 1 = 3*j - 5. Suppose -j*l = -0*l. Solve -5*b + 4*y + 36 = 0, -4*b + 4*y - y + 28 = l for b.
4
Let g be (-8)/10*5/2. Let f be g - (15*2)/(-3). Solve -5*j = -2*o - f, -6*j + 8 = -2*o - 4*j for o.
-4
Let i be (2/8)/((-3)/(-60)). Solve -3 + 8 = -i*k, 0 = -5*p + 4*k - 6 for p.
-2
Suppose 5*f + 5 = -5*j, -4*j + 4*f + 32 = -j. Let c = 95 - 93. Solve -4*m + c*v = -8, -3*m = -8*v + 4*v + j for m.
4
Let h(k) = 2*k - 3. Suppose 0 = -2*m - 2*w - 8, 0*m + 4*m + w = -1. Let b = 4 - m. Let f be h(b). Solve 0*x + 4*x = 2*u - 12, f*x = -6 for u.
2
Suppose 3*s + 28 = 4*p, -3*p - 8 = -0*p + 5*s. Solve 4*w + 0*n + 2 = -5*n, 0 = 3*w + n - p for w.
2
Let g be -21*(8/(-3) + 2). Suppose 5*n - 102 = 8. Solve 4*r - n = -0*r - 2*h, -2*r - 4*h = -g for r.
5
Let p = 14 + -10. Suppose f - 3*f = 5*m, 4*m = p*f. Suppose -6*s + 60 = -2*s. Solve 0*g - g + s = 4*n, -4*n + 2*g + 6 = m for n.
3
Let g(k) = 3*k**2 + 1. Let o be g(-1). Solve 2*z + 2*w = o, 3*z - 2*w = -w - 14 for z.
-3
Let x be (2/(-6) - 0)*-12. Suppose x*h - 4 = 4. Solve 2*m = -2*v - 0 + h, m = -4*v + 1 for v.
0
Let y = 57 - 41. Let f = 18 - y. Solve 3*q + 4*k - 18 = -0*k, -2*q + 10 = f*k for q.
2
Let h(i) = -i**3 + 4*i**2 + 8*i + 4. Let y be h(5). Solve 16 = -p + x + 3*x, -p - 3*x + y = 0 for p.
4
Suppose 3*w - 6 = 0, 3*c - 3*w = 46 + 23. Solve v + v + 22 = 3*p, -v - c = -5*p for v.
-5
Let a(b) = 5*b**3 - b + 1. Let p be a(1). Solve 3*w = 2*f - p*f - 12, 0 = 4*w + f + 4 for w.
0
Suppose 5*z + 10 = 0, 0 = -3*k + 3*z + 5 + 1. Suppose 0 = -g, 0*a = -a + 5*g + 5. Solve k = c - a*f + 13, -f - 9 = 3*c - 2 for c.
-3
Let w(j) = -j + 24. Let b be w(14). Solve 0 = 3*p, 2*v - 4*p + b = -3*p for v.
-5
Let h be (2/4 - 3)*8/(-10). Solve -3*q - 9 = h*z, -5*z + q + 10 = -10 for z.
3
Let x = 6 - 6. Let u be 141/21 + 4/14. Let f = u + x. Solve f*j + 4*q + 25 = 2*j, -3*j - 15 = -4*q for j.
-5
Suppose 0 = p + 2*d - 6*d - 3, -4*p + 12 = -5*d. Suppose 4*r - 26 = -2*w, -1 = 3*w + r - p*r. Solve -2*n + 6 = n + w*c, 5*n - 20 = 5*c for n.
3
Let g = -10 + 13. Let q be 3/(-3) + (6 - g). Solve -8 = -3*y + 2*y - 3*i, 0 = y + q*i - 7 for y.
5
Let d be ((-6)/(-10))/(3/10). Suppose -2*g = -7*g - 2*r + 79, -g = 2*r - 19. Suppose -d*l = l - g. Solve 3*v - 16 = l*o, -4 = -4*o + 4*v - 20 for o.
-2
Suppose -6*s + 3 = -3*s. Let p be s/(-1)*6/(-2). Solve 0 = 5*v + 2*u + 9, -3*v - p*u = -4*v + 5 for v.
-1
Let c = 77 - 75. Solve -3*l + t = 11, -c*t = -5*l + t - 17 for l.
-4
Let t be -3 - 6/(2 - 4). Solve 5*w - 24 = -4*b, -w - 5*b + 10*b - 1 = t for w.
4
Let p(i) = i**2 + 2*i - 1. Let f be p(-3). Solve r + 2*x = 9, -4*x + x - 4 = -f*r for r.
5
Suppose -7*v = -3*v + 5*q + 31, 3*v - q = -9. Let j be (-6)/v*40/30. Solve 5*x + 10 = 3*d, -j*d - 12 - 18 = 4*x for d.
-5
Let x = -76 + 76. Solve -12 = -3*b + 3*n - x*n, -b = -4*n - 16 for b.
0
Let m be 36 + (4 - (7 - 2)). Solve 5*c + 5*a + m = -0*c, 2*c - 2*a = 6 for c.
-2
Let k be (-36)/63*(-7)/1. Let b(y) = y**3 - 4*y**2 + y - 1. Let z be b(k). Solve 0 = -q + f, 14 + 21 = z*q + 4*f for q.
5
Let z be (-28)/(-6) + 2/(-3). Let v be (28/6)/((-4)/(-72)). Suppose g = 4*g - v. Solve -5*y - 5*j = 0, 3*y - 3*j + z = g for y.
4
Suppose -6*j + 11 = -1. Suppose -3*c + 8 = -c. Solve -6 = -c*g + j, 2*g = v + 5 for v.
-1
Suppose -q + 19 = 4*i, 0 = 3*i - 2*q + q - 16. Let u = -97 - -101. Solve 2*l = 5*t - 2*l + i, u*t = 3*l - 3 for t.
3
Let w(o) = -o**3 + 6*o**2 + 2*o - 9. Let u be w(6). Solve -25 = -0*m - 2*m + u*b, -4*m + 3*b = -35 for m.
5
Let o be (4/1)/(10 - 8). Let m(x) = -x**3 + 5*x**2 + 6*x - 2. Let t be m(6). Let z be (-102)/(-24) - t/(-8). Solve -4*d + 8 = -o*u - 6, 3*d + 6 = -z*u for u.
-3
Let n(q) = q**2 - 12*q - 10. Let t be n(13). Solve -t*g + g = -4*x + 24, 0 = 2*x - 5*g - 28 for x.
4
Let a = 197 + -192. Solve 3*n - a*d + 3 = 5, 3*n + 5*d = 22 for n.
4
Let i be 15 + 0/1 + -5. Solve 0 = -4*m - h - i, 2*m + 10 = -5*h + 2*h for m.
-2
Let z(d) = -d - 3. Let o(c) = c**3 - 8*c**2 - 8*c - 12. Let n be o(9). Let y be z(n). Suppose -25 = -y*l - l. Solve 5*f - 5*t - l = 0, 0 = 2*t + 11 - 1 for f.
0
Let z(r) = -r**2 - 6*r - 5. Suppose 3*j + 5 = -2*y + 2*j, -2*j - 15 = 5*y. Let t be z(y). Solve 0 = -0*m - 3*m + 15, -g + 4*m - 23 = t for g.
-3
Let s(j) = -2*j**2 + 21*j - 9. Let y(i) = i**2 - 10*i + 4. Let c(w) = -6*s(w) - 13*y(w). Let v be c(4). Solve -d - q - v - 3 = 0, -4*q + 4 = -4*d for d.
-3
Let w(h) = h**2 + 2*h + 1. Let s be w(-1). Let b be 2232/54 - (-1)/(-3). Solve b = 2*g + 3*g - 4*n, s = 5*g - n - 29 for g.
5
Let a(y) = -y + 21. Let j be a(12). Solve 3*c - j = 2*n, 3*c - 2*n = -3*n + 9 for c.
3
Let d(m) = m**3 + 6*m**2 - 8*m - 4. Let x be d(-7). Suppose 0 = -x*w + 2 + 13. Let i be (2 - -1 - 3)/(-2). Solve -f - 2 = -3*r + 5, r - f - w = i for r.
1
Let t be 0/((-24)/(-4)*(-2)/6). Solve 9 = -4*a + k, t = -4*a - k - 0 + 1 for a.
-1
Let a be (27/(-45))/((-2)/10). Solve 0 = -0*f + a*f - 3*p, 0 = -2*f - 2*p for f.
0
Let j(k) = -k**3 + 9*k**2 - 9*k + 13. Let g be j(8). Solve -g*r - y - 25 = 5, -4*r - 30 = 2*y for r.
-5
Let m = -77 - -81. Solve -p + 12 = m*s + 4*p, 0 = 2*s - 5*p + 24 for s.
-2
Suppose 2*n - 2*q = -2, -n + 8 = -0*n + 2*q. Solve 2*i + 4 = -n*c, 3*i + c + 3 + 3 = 0 for i.
-2
Let j(c) = 2*c + 3. Let p be j(4). Let f = p - 8. Solve 3*b = -0*n - f*n + 6, 0 = 5*b + 2*n + 5 for b.
-3
Suppose -7 = 2*u - u. Let o be 3 - u/((-14)/(-4)). Solve -2*m - 5*c + 16 = -0*c, -4*m - o*c = -12 for m.
-2
Let j be (-6)/(-7)*56/12. Solve 3*x + j = -4*h, -5*h - 46 + 10 = -4*x for h.
-4
Suppose 4*c = -4*j - 0*c - 8, -3*j = c + 2. Suppose -64 = -2*m + 4*l, 3*l - 12 = -j*m - m. Solve 5*s - 3*b = s - m, -s - b = -1 for s.
-3
Let j(m) = -2*m + 7. Let c be j(-7). Suppose 0 = 2*k - 5*v + 12 - 75, -5*k = 3*v - 111. Solve -k = -4*x - f, 0*x + f = 5*x - c for x.
5
Let s(q) = q**2 + 5*q + 2. Let r be s(-5). Let m be (-4)/(-10) - 22/5. Let x be r/8 - 11/m. Solve 4*l + k + 7 = l, -l - 19 = -x*k for l.
-4
Let p(t) = t**2 + 5*t - 1. Let a be p(-6). Let x = -1 - -6. Suppose 19 = x*q - 1. Solve -a*j = q*n - 5 - 0, j = -5*n + 22 for j.
-3
Let w = -103 - -148. Let q be 10*3*24/w. Suppose 3*n - 5*n = 4*l + q, -5*l - 31 = -3*n. Solve -t = -n*g - 6 + 16, -2 = -3*g - 5*t for g.
4
Let o(q) = q**2 - 4*q - 1. Let v(m) = m**2 - 3*m - 1. Let l(c) = -5*o(c) + 6*v(c). Let z be l(-3). Solve 2*d = 2*r - 7*r + 18, -r = 2*d - z for r.
4
Suppose -5*b + 124 = -16. Let c = 40 - b. Solve 0 = 2*t - 4*f + 14, -4*f = 3*t - c - 7 for t.
1
Let f = -30 - -21. Let o = -6 - f. Solve -o*l = -l + 3*u - 14, -l + 2*u - 7 = 0 for l.
1
Suppose -2*q + 6 = 0, 5*w - 3*q - 44 = -q. Suppose -p + w = 2*p - 2*m, 4*m - 4 = 0. Suppose p = b + 2. Solve g - 6*l + 6 = -b*l, -2*l = -5*g + 6 for g.
2
Suppose -b = 4, 2*b = 5*w + b + 31. Let y be -2 + 3 + 13 - 2. Let s = y + w. Solve 0 = s*q - 3*f + 10, 2*q = -2*q + f - 1 for q.
1
Suppose -4*o = -5 - 3. Solve -5*l - 5 = 5*n, 1 = -o*n - 5*l + 8 for n.
-4
Suppose 5*i = -89 - 46. Suppose -l = -g - 7, 0*l - 3*l + 13 = -g. Let v be g/6 - 666/i. Solve m + 3*a = 4*m + v, 4*a - 36 = 5*m for m.
-4
Let y = -4 + 6. Let q(p) = -p**2 - 8*p + 5. Let l be q(-8). Solve -2*a + a = y*g + 3, -5*g = -l*a + 15 for g.
-2
Let a = 84 + -80. Solve 3*z + 11 = 4*f, -z - 2 = f + a for f.
-1
Let a(t) = t - 2. Let f be a(6). Solve 0 = -f*x - 2*k - 14, 2*x + 4*k = -x - 3 for x.
-5
Let i be 3/7 - 54/(-21). Solve -2*v + i*x - 7 = 0, 5*v + 1 = -x + 26 for v.
4
Suppose -x + 12 = 5*v, -4*x = -0*v + 3*v - 14. Solve -x = -2*q - 2*s - 0, 5*s - 45 = 5*q for q.
-4
Suppose 3*t + w = 17, 9 = -4*t + 5*w - 0*w. Suppose h + 2*h = -2*q + 23, -5*q + 40 = t*h. Solve h*f + 6 - 21 = c, 3*c - 2*f = -6 for c.
0
Let p(m) = -m**3 + 4*m**2 + m - 4. Let q be p(4). Solve -3*n + 3*o = 9, n + o + 7 = -q*n for n.
-5
Let q(s) = -s + 13. Let l be q(8). Suppose t - 30 = -l*t. Solve -3*w = -t*r - 3 - 2, -4*r - 7 = -3*w for w.
5
Let r = -3 - -10. Let i be -8*(3 - r/2). Solve 2*u + u - 2*y = 2, 5*u - i*y - 6 = 0 for u.
-2
Suppose 39 = -3*n - 5*i, 0 = -2*n + i + 4*i - 1. Let m be 4/n + (-5)/(-2). Suppose -m*o + 5 = -23. Solve -5*f - s = 17, -4*f - o = s - 0*s for f.
-3
Let f(k) be the second derivative of k**5/20 + 2*k**4/3 + 5*k**3/6 - 5*k**2 + 2*k. Let n be f(-7). Solve -2*x - n*w = 18, -3*x - 2*w + 5*w 