
-1
Let j = 46 - 23. Suppose j*m = 8*m. Solve m = -5*s - 5*z + z + 40, 2*z = 10 for s.
4
Suppose -y + 69 = 2*y. Let z be (-4)/(-10) + (-10)/25. Let x(f) = -f + 2. Let h be x(z). Solve 0*r + 4*r = h*c - 2, 3*c - y = -4*r for r.
2
Suppose -4*i + 4*w + 236 = -0*i, -2*w = 10. Suppose z - 60 = -5*q + 2*z, 3*q + 3*z - i = 0. Solve -l - 4*a = -q, 3*a = l + l + 7 for l.
1
Suppose 4*b + 3*m - 9 = 16, -2*b - m = -11. Solve -l + 11 = -5*d + 2, -2*d = b*l + 8 for d.
-2
Let f = -17 + 20. Suppose f*g - 16 = g + 3*d, 8 = g - 3*d. Let c = g - 4. Solve 5*u + 0*x + 2 = 2*x, c*x - 4 = u for u.
0
Suppose -4*g + 3 + 1 = 0. Let x be g/(1*1/(-5)). Let z be (2 - (3 + 0))*x. Solve z*o - 15 = -4*h, 0 = 2*h - 3*h + 5 for o.
-1
Let p = 10 + 1. Let j(x) = x**3 + 2*x**2 - 28*x - 13. Let l be j(-6). Suppose -b + 0*b = -2. Solve -2*o - 5*t = -l, b*o = -t + p - 4 for o.
3
Let m be 1 + (20/5 - -3). Let f = 2 + m. Solve f = z + 3*k, -2*k + 30 = 3*z - 7*z for z.
-5
Let w(j) = 14*j - 9. Let m(t) = 8*t + 57. Let g be m(-7). Let r be w(g). Solve q + 3*d = r*q - 8, q + d - 2 = 0 for q.
2
Let k(v) = -6*v - 4 + 1 + 4 - 2. Let f be k(-1). Solve -2*i + 2*q - 12 = 0, f*i + q + 2 = -q for i.
-2
Let u be (4/(-6))/(4/(-30)). Suppose -171 = -u*x - 21. Let m(r) = -r**3 + 12*r**2 - 14*r + 38. Let k be m(11). Solve 4*f + 12 = 0, -p - x = 2*p + k*f for p.
-5
Let l(o) = -o**3 + 9*o**2 - 7*o - 2. Let q be l(6). Let t = q - 61. Let y be 0/((2 - 0) + -4). Solve -14 = t*a - d, -5*a - d + 0*d - 18 = y for a.
-4
Suppose 2*v - 6 = -5*f, 0 = 4*f - 5*v - 8 - 10. Solve -i - 3 = -o, -f*o - 5*i + 18 = -i for o.
5
Suppose 0 = -2*n + 5*n - 5*i - 20, -2*i = 8. Suppose 3*l - 5 - 19 = n. Suppose -4*k + l*k - 20 = 0. Solve -2*c + 3*d = -0*c - 7, -c + 7 = -k*d for c.
2
Let n(x) = -x**3 + 14*x**2 - 23*x - 10. Let l be n(12). Solve -2*o = 3*w - 13, 4*w - 2 = l*o + 6 for o.
2
Let v = 24 - 22. Suppose u + 5 = 5*u + w, u + 4 = -v*w. Solve 2*p = 2*s + p - 3, -5*s + u*p + 5 = 0 for s.
-1
Let u(i) = -28*i + 647. Let z be u(23). Solve 5 - 8 = o, 4*q = -3*o + z for q.
3
Let r = 11 - 1. Suppose -3*b = -26 - r. Solve -i + 0*l - b = 4*l, -3*i + 28 = -4*l for i.
4
Suppose 155*q - 158*q + 9 = 0. Solve -3*i - 21 = -3*l, -5*i - 18 = -l - q for i.
-2
Suppose 11 + 9 = 5*y. Suppose x + 0 = 4. Let t be x/12*-3 + 4. Solve -2*n - 2*q - t*q + 18 = 0, -4*n + y*q = -8 for n.
4
Let t(j) = -18*j + 29*j - 1 + 36*j. Let n be t(1). Suppose -2*u - 6 = -n. Solve -4*k + 14 = -k + x, -5*x + u = 5*k for k.
5
Let j be -1 - 2 - (-210)/14 - -5. Solve 3*b + 5*q = 7*b + 19, 5*b + j = 4*q for b.
-1
Let s(d) = 3*d**2 + 23*d + 8. Let k be s(-7). Let r = -4 - k. Solve 3*z - 2*t = -21 + 9, 0 = -5*z - r*t - 4 for z.
-2
Let l be (-63)/(-9) - (-3)/(-1). Suppose 3*o + 2*p = -2, 2 + l = -5*o - 4*p. Let b be (6/o)/(0 + 3). Solve -4*r - 3*m - b = 14, -17 = 5*r + 2*m for r.
-3
Let v be ((-12)/(-5))/((-6)/(-30)). Let i be 1/4 + 57/v. Solve 5*h + 7 = p, -5*p + 4*h - i - 2 = 0 for p.
-3
Let j(y) = -3*y. Let a be j(-1). Let t be (-4 - 545/(-60)) + (-14)/168. Solve -n = t*o - 0*n + 2, -15 = a*o - 4*n for o.
-1
Suppose 7*b + 5*b = 0. Suppose q + 4*i = -1 - 3, -q + 4*i + 12 = b. Solve 0 = q*u - 4*k + k + 4, u = -k - 1 for u.
-1
Let s = -23 - -31. Let v be (-1)/(20/s - 3). Solve l + 0*l = g - v, -2*l - 4 = 5*g for l.
-2
Let w = -63 - -68. Suppose 2*o + w*o = 77. Solve -5*v = -3*x - 4*v, -4*v - o = -x for x.
-1
Suppose 4*s - 19 + 7 = 0, 3*s = 3*q - 42. Solve 4*k + 20 = 4*v, q = 5*v - 3*k - 0 for v.
1
Let g = -158 - -162. Solve -5*i = g*x - 2, -3*x + i - 10 = -2 for x.
-2
Let l(t) = -t**3 - 12*t**2 + 9. Let x be l(-12). Solve 2*j - 7 = 3*b, x - 10 = -5*j + 2*b for j.
-1
Let z be (-7 - (-2 + -2)) + 5. Let l be (-3 + 10/z)*2. Suppose 0*c = -c + 3*i - 3, -l*i - 7 = -5*c. Solve 0 = o + 4*u + 12, o - u + c*u + 6 = 0 for o.
0
Let a = 94 - 170. Let w = a - -78. Solve o = -4*r - 3, -o + 0 = w*r + 1 for o.
1
Let t(v) = -2*v**3 + 3*v**3 + 5*v**2 - 3*v**2 - v + 0*v**2. Let n be t(0). Solve -5*s = 5*m + 5, -5*m - 3*s + 0 - 3 = n for m.
0
Let p(i) = -i**3 - 15*i**2 + 16*i + 5. Let a be p(-16). Suppose t = 2, a*w - 22 = -5*t + 3. Solve w*d = 8*d - 10, -2*j - 8 = -d for j.
-3
Let i(c) = 2*c**2 - 23*c - 15. Let m(s) = -3*s**2 + 34*s + 22. Let t(d) = -7*i(d) - 5*m(d). Let r be t(10). Solve 19 = 3*f - 7*x + 3*x, -2*x - 27 = -r*f for f.
5
Suppose -21 = -2*a - 3*n, -2*a - 1 - 8 = -3*n. Solve j - 2 = 3*b - 14, -4*b = a*j - 16 for b.
4
Suppose 2*s - 14 = -10. Solve 2*j = -4*w - 18, -w + s - 3 = 4*j for j.
1
Suppose -85*z = -58*z - 540. Solve -4*c = -z, -s + 3*c - 4 = 7 for s.
4
Let k(s) = -12*s - 4. Let y be k(-2). Suppose y = -h + 5*h. Solve -h*n + 18 = 4*i, -5*i + 0 = -n - 8 for i.
2
Let w(r) = r - 3. Let x be w(6). Solve 0 = -x*h - 3*k + 4*k - 19, 2*h + 26 = 4*k for h.
-5
Let o = -20 + 29. Suppose 0 = 3*m - o - 3. Solve -3*h + 11 = -m*r, -4*r + 1 = -h + 10 for h.
1
Let l = -43 - -44. Suppose -f = y - 0*y - l, -3*y + 5*f + 11 = 0. Solve 9 = q + 3*w, -y*q + w - 4 + 1 = 0 for q.
0
Let w(y) = -9*y + 30. Let n be w(-7). Suppose 5*b - n + 13 = 0. Solve 3*p + k = -b, -2*p - 13 = 3*k - 0*k for p.
-5
Suppose -17 + 21 = l. Suppose 0 = -l*a - 3*n + 9, -4*a = a + 3*n - 9. Solve 0 = 5*h + k + k - 15, 4*k = a for h.
3
Let j(c) be the first derivative of -c**2 - 4*c - 19. Let k be j(-2). Solve -a - 4*m + 3 = k, 2*a - 5*a = -2*m - 9 for a.
3
Let a be (-18)/(-12)*2*1. Let u be (-28)/6*(3 - 0). Let q = u - -17. Solve 0 = -c + a, -3*g - 3*c + 0*c = -q for g.
-2
Let y(c) = c**2 - 7*c + 4. Let u be y(-6). Suppose 4*o + 30 = u. Suppose 5*a + 10 = 0, -3*l + l - 2*a + 4 = 0. Solve v - l*v + 3 = 3*j, -3*v + o = -2*j for v.
3
Suppose 3 = 2*b - 5. Solve -l - p - 2 - 2 = 0, b*l - 3*p = 5 for l.
-1
Let v = 28 + -25. Solve 0 = 2*f + r - 2, v*f - 2*f - 2*r = 1 for f.
1
Let t(l) = -2*l + 11. Let c(b) = 11*b - 67. Let q(d) = -6*c(d) - 34*t(d). Let s be q(-14). Solve 0 = 6*m - m - 3*z, 3*m - z + 4 = s for m.
-3
Let z = -312 - -314. Solve -n + s + 4 = 0, -s = 4*n + z*s - 2 for n.
2
Suppose 0 = -5*v + 7 + 3. Let l(d) = 10*d + 174. Let b be l(-17). Solve 5*u + 4*s + 23 - v = 0, 0 = 3*u + b*s + 19 for u.
-1
Let c = -217 + 245. Solve 0 = -5*a - 3*w + c, 8*a = 3*a + w + 24 for a.
5
Suppose 5*r - 8 = -4*i + 5, 0 = -5*i + 10. Solve 0*q - 7 = -4*x - 3*q, -4*x + 5*q = r for x.
1
Let p be 10/2*(14 - 13). Suppose 2*q + 2*q = -t - 3, -4*t = 12. Suppose p*y - 5 - 5 = q. Solve -2*c + 4*d - 8 = 0, 4*c - 2*d - y*d = -16 for c.
-4
Suppose 0 - 5 = -5*x. Let j be 2/(-6)*(-10 + x). Solve j*q - 2*h + 0*h = 17, 5*h + 10 = q for q.
5
Suppose 0 = -5*o - 10 - 15, -2*l - 20 = 4*o. Solve 2*r + 12 = 5*y + 3*r, l = y - r - 6 for y.
3
Let t be 6*1/(-1) - (115 + -129). Solve -2*h - t = -p, 5*h = 5*p - 26 - 4 for p.
4
Suppose u = j - 19, 2*j - 2*u - 80 = -2*j. Solve 2 + 0 = -2*s - 2*z, -z - j = -4*s for s.
4
Suppose -14 = -3*r + 7. Suppose -r*h = -2*h - 40. Let o = -8 + h. Solve y - 4*g + 5 = o, 3*g = -3*y + 8*g - 15 for y.
-5
Suppose s + 16 = 2*b + 73, -26 = b - 3*s. Let a = b - -31. Suppose -2*g = 2*r - 16, -4*g = -4*r + r - 67. Solve a*p - 2*x + 2 = -6*x, 4*x - g = p for p.
-5
Let m = -3 - -3. Let h be ((-12)/9 - m)*-3. Solve -2*q - 2*s = q - 16, -h*q = 4*s - 24 for q.
4
Let r(v) = -3*v - 7. Suppose 1 - 12 = -3*o - 4*t, -18 = o - 3*t. Let h be r(o). Solve -4*n = -h*b - 18, 0 = -3*b - 3*n - 5 + 23 for b.
1
Let y = 446 + -444. Solve -3*l + 4*r + 3 = r, -4*l = y*r + 8 for l.
-1
Let k(u) = 5*u + 31. Let l(m) = 4*m + 30. Let a(r) = 4*k(r) - 3*l(r). Let p be a(-4). Solve -d + 5*q = 17, 4*d = d + p*q + 1 for d.
3
Let o(i) = 2*i + 3. Let r be o(-7). Let b be 5/30 - r/6. Let q = -18 - -26. Solve s + b*f + q = -f, 0 = s - f for s.
-2
Let s(p) = -2*p**3 - 5*p**2 - p - 7. Let l be s(-3). Let c be (3 - (-16)/(-10))*l. Solve -3*h - 5*x + 2*x - 27 = 0, 0 = 2*h - 3*x - c for h.
-4
Suppose -16*q - 2 = b - 15*q, -4 = q. Solve 3*g + 4*d - 8 = 0, -b*g + 4*d + 15 = 3 for g.
4
Suppose 142 = 32*j + 39*j. Solve 3*k - 2*s = 7, -2*s = -0 - j for k.
3
Let x(v) = -2*v**2 + 4 - 9*v**3 + 6*v**2 - 1 + 8*v**3 + 6*v. Let f be x(5). Let n = f - 3. Solve k + 7 = 4*q - q, -4*q + 13 = -n*k for q.
2
Let q(m) = -m**2 - 8*m + 22. Let y be q(-10). Suppose -4*k + 1 = -3. Let t be (-6 - -6)/(k*y). Solve -l - 5*r + 14 = 0, 4*r = -l - t*r + 11 for l.
-1
Let f = -494 + 496. Solve -2*v - 20 = 2*o, 7*