6 = 0, 4*x + 6 = -2*b for x.
-2
Suppose 4*b - b + 2*q - 11 = 0, -4*b + 11 = -q. Suppose 4*v = 5*g - 1 - 0, -4*v + 5 = g. Solve 0 = 4*a + a + h - g, 2*a + 3*h - b = 0 for a.
0
Let g(j) = 2*j**2 - 7*j + 1. Let d be g(4). Solve i + 2 = -q - 1, d*q = 10 for i.
-5
Suppose 2*l - 65 = c, c - 115 = -4*l - 0*c. Suppose 15*h - l = 10*h. Let x = h + -6. Solve 5*y + 3*o = -35, x*o + o - 7 = 3*y for y.
-4
Let z(d) = -5*d**2 - 21*d + 9. Let t be z(-4). Solve -2*v = -n + t - 7, 5*v = -n - 22 for n.
-2
Suppose 0 = 3*f + 5*j - 4 - 3, -5*f + 3*j + 23 = 0. Suppose 2*r - f = 14. Let l = 12 - r. Solve l*h + 2*h = 4*a, -a + 5*h + 15 = 0 for a.
-5
Let a(d) = d**3 - 20*d**2 + 8. Let g be a(20). Let f be (2*20/g)/1. Solve 5*h + f*r = -5, -2*h + 4*h = -3*r - 7 for h.
4
Suppose -m + 24 = -3*m. Let t(g) = g**2 + 13*g + 15. Let d be t(m). Solve -2*n = -4*n - 5*o - 22, d*o = n - 11 for n.
-1
Let g(r) = -r**3 - 14*r**2 - 30*r - 67. Let j be g(-12). Let w = 1 + 1. Suppose -w*n - 3 + 31 = 0. Solve -n = -4*d - j*i, 10 = 4*d + i + 4 for d.
1
Let i = 65 + -48. Let t be (-10)/25 + i/5. Solve -2*v + t - 1 = -2*l, 5*v + l = -25 for v.
-4
Let x(l) = 2*l - 2. Let a = -93 + 95. Let t be x(a). Solve -p - 13 = -4*q + 10, -4*p - 2 = t*q for q.
5
Let l be (-1)/3*1*24/(-4). Solve -3*s + 1 = 4*k + 4, l = -2*s + 5*k for s.
-1
Let l = -1263 - -1265. Solve z = w + 2, 5*z - 10 = -l*w - 0*w for z.
2
Suppose z - 2*z + 15 = 0. Let b = -124 - -215. Let u = b + -88. Solve -3*x + 8 = -7, u*x - z = -3*q for q.
0
Suppose 0 = 4*p + 4, 83*p = -5*q + 87*p + 4. Solve 16 = m + 3*m, -4*k - 3*m + 4 = q for k.
-2
Let t(s) = 5*s + 28. Let u be t(-5). Solve -3*c + w = 10, -4*c + w = -u*w for c.
-5
Suppose -4*v - 6*g + g = 40, -65 = 3*v - 5*g. Let u = 18 + v. Let q = u + 2. Solve 6*d - 3*d - 2*f - q = 0, -2*d - 3*f + 25 = 0 for d.
5
Let h(t) = 57*t - 227. Let g be h(4). Solve -5*s + g + 21 = 2*v, -s - 3*v + 7 = 0 for s.
4
Let i = 204 + -191. Solve -4*u - 4*n + i = -11, -4*u + 2*n = 0 for u.
2
Let c(f) = f**3 + 4*f**2 - 10*f - 23. Let z be c(-4). Solve -4*b = 2*o - 10, 3*o = 8*o - 4*b + z for o.
-1
Suppose 7*l = n + 3*l - 4, -4*l + 12 = 0. Let b = n + -22. Let w = -3 - b. Solve -o - 2*o + 18 = 4*u, -4*o - w*u + 17 = 0 for o.
2
Suppose -5*f = -q + 24, 3*q + 3*f + 8 = 26. Suppose -q*m + 4*m - 45 = 0. Let y(k) = -k - 6. Let n be y(m). Solve s + 6 = 3*v, -n*v = -2 - 4 for s.
0
Let m(i) = 8*i + 99. Let s be m(-12). Solve 2*a - 5 = -r, 2*a + s = r + 14 for a.
4
Let t = 4 - -8. Suppose 4*a - a = -t. Let j be a/(-12) - 16/(-6). Solve -5*b - j*y - 7 = 0, 9*b + 4*y = 4*b - 11 for b.
1
Suppose 5*n - j = 3*n + 8, 5*j - 38 = -3*n. Suppose -n*d - 8 = -20. Solve 6 = 2*g + d*m, 3*g - 2*m - m = 15 for g.
4
Let z be 14/3*(-66)/(-77). Solve -3*b - 2*o = -19, -5*o + 17 = z*b - 4*o for b.
3
Let m be 1/3*-2*-6. Suppose 0 = -2*y - 3 + 21. Let u = y - 5. Solve -3*c + 4*z + 29 = 0, u*z = m - 24 for c.
3
Let b = -682 + 702. Suppose -5*v + 27 = -0*l - 4*l, 0 = 2*v + 2*l - 18. Solve 5*d = -p - b, 3*d - 5*p + v = -33 for d.
-5
Suppose 2*j - 4*p + 8 = 0, -2*j + 15 = p + 3. Suppose j*b - 50 - 34 = 0. Solve -3*v = 2*r + v + 14, -5*r + b = -4*v for r.
1
Suppose 6*j - 5*j = 3. Suppose 5*c - 28 = j*c. Solve -2*m + 4*y - c = 0, 0 = 3*m - 0*y - 5*y + 18 for m.
-1
Suppose -3*s - 4*d + 52 = s, -s + 5*d = 11. Let m(a) = a**2 - 7*a + 2. Let w be m(s). Solve 5*q = -3*x - w, 2*x - 2*q - 16 = 2*q for x.
0
Suppose 3*h + 16 = -h. Let y = h + 12. Suppose -4*g + 4*f + 12 = 0, 5*f + 3 - 2 = 3*g. Solve g = -5*n - y, -3*n = -3*m + 15 for m.
2
Suppose 6*t - t = 25. Suppose -4*m + g + 22 = -0*g, 14 = 4*m + 3*g. Solve -5*i - 4*l - 11 = 0, 0 = 3*i - m*l + 19 - t for i.
-3
Let q = 5 - 1. Let n = -10 - -13. Suppose -2*b + 2*f = -8, -2*b + n*f + 22 = 3*b. Solve -3*k - 3*r + 0*r = 0, -q*r - 4 = b*k for k.
-4
Let i be -1 + -5 + (39 + -7 - 0). Solve 2*p - 4 = -2*b + 4*b, 0 = -4*b - 2*p - i for b.
-5
Let d(v) = -v**3 - 16*v**2 - 13*v + 36. Let i be d(-15). Solve 5*s + 4*w - 5 = -0*w, -3*s + i = 3*w for s.
-3
Let y = -41 + 59. Let k(g) = g**3 + g**2 + 5*g - 12. Let q be k(4). Let u = q - 88. Solve 0 = b - 3*t + 12, u*b + 5*t = b + y for b.
-3
Let s = 1 - -6. Suppose 7*q = 551 + 184. Let r = 107 - q. Solve -x - 12 = -r*y, -4*x + y - s = 6 for x.
-2
Let i(b) = b**3 - 11*b**2 - 26*b. Let y be i(13). Solve -3*z + 5*l + 22 = y, -5 = -4*z - z + 2*l for z.
-1
Suppose -v + 2 = -3. Let m be 25/5 - 12/(-1). Solve v*z + 16 + 7 = 3*j, 5*j - m = 3*z for j.
1
Suppose -4360*q + 4364*q = 28. Solve q*s + 5 = -3*r + 8*s, 5*r = -5*s + 5 for r.
-1
Suppose 46 - 37 = 3*o. Solve 2*j + 5*d = -0*d - 3, -o = -4*j - d for j.
1
Let r(t) = -8*t + 371. Let b be r(46). Let l be 4/3*(-6)/(-4). Solve l*o - 3 = 3*o, 3*w - 2*o = b for w.
-1
Let b be (10/15)/(6/27). Solve l - 9 = -a, l = a + b - 2 for a.
4
Let c(w) = -w**3 + 9*w**2 - 2*w + 22. Let r be c(9). Solve 5*l - 3*b - 17 = b, r*l - 19 = 5*b for l.
1
Let z(a) = -2*a - 15. Suppose 5*v = 5, 3*v + 21 = -3*y - 3. Let t be z(y). Solve 0*g = 5*g + t*s - 10, 4*g + 2*s = 10 for g.
5
Let z = -2 - -2. Let k = -75 - -81. Suppose z = x + 2*x - k. Solve 0 = -3*d + 4 + 8, 18 = x*h + 2*d for h.
5
Let h = -22 + 34. Suppose 13*w = h*w + 14. Solve 5*t = 4*t - 5*p - w, -7 = -t + 2*p for t.
1
Let a = -864 - -891. Solve -18 = 5*b - 4*r + a, -3*r + 10 = b for b.
-5
Suppose -30 = -3*q + 8*q. Let t be (-4)/(-5)*(-15)/q. Solve t*v + 3*c - 17 = 0, 10 = -0*c + 2*c for v.
1
Let v(a) = a**3 - 10*a**2 + 9*a + 2. Let k be v(9). Solve -k*g - 6 = h, 2*g - 4*h = -2*g for g.
-2
Suppose 4*w = -3*l - 7, l - 3*w = 4*l + 3. Let f = 11 + -10. Suppose -4*c - p = f, 5*p = -8*c + 3*c - 5. Solve l*z + 4 = -2*k - c, 4*k + 2 = -3*z for z.
-2
Let c = 175 - 175. Solve 3*r + 7 = -2*g + 7*g, c = -5*g + r - 1 for g.
-1
Suppose 5*y + 85 = -80. Let f = y - -35. Suppose -9 = -2*o - 3*s, s + 3 = 3*o + f*s. Solve r + o*r - 1 = -5*h, 2*h - 14 = 3*r for r.
-4
Suppose -3*x + 2*c = 35, -2*x + 2*c + 2 - 26 = 0. Let v = x - -11. Let b(u) = u**2 - u + 4. Let n be b(v). Solve w - 2*s + 17 = -n*w, 2*s - 2 = 0 for w.
-3
Let x = 40 - 30. Let n be (-855)/(-18)*4/x. Solve -5*i - 24 = 4*c, c = 5*i - 0*c + n for i.
-4
Suppose 0 = -t - 5, -4*b - 5*t + 2 = 3. Solve -2*w + 1 = -b*w - 5*g, 0 = -w + 3*g + 4 for w.
1
Let p(o) = -o**3 + 12*o**2 + 14. Let m be p(12). Suppose a - 6 - 6 = -2*g, 0 = a + 5*g - 21. Let y be 88/33*a/8. Solve 13 = 4*z + i + y*i, z - 5*i = -m for z.
1
Let h = -151 + 248. Let g = 101 - h. Solve g*s + 2*d = d + 19, -4*s + 25 = -5*d for s.
5
Suppose -10*k + 14*k - 8 = 0. Let p = 14 - 14. Solve -v + 5*b + 6 = 0, p = k*v - 6*v + 3*b + 7 for v.
1
Let h(a) = 4*a**2 - a + 1. Let x be h(1). Suppose 3*i + 5*q - 15 = 6*i, 2*q = -2*i + 6. Solve -x*l + 3*l + 3 = 4*d, -2*d - 3*l - 11 = i for d.
2
Suppose -173*l + 170*l + 12 = 0. Solve j + 4*u - 3*u = l, -5*u = -j - 20 for j.
0
Let s(d) = d**3 + 4*d**2 - 5*d + 2. Let y be s(-5). Let t be (-2 + 7)*y/2. Suppose 3*l - 12 = -q - t, -3*q + 4*l = -8. Solve x - q*f - 5 = 16, f = -x + 1 for x.
5
Let g = -1093 - -1115. Solve 3*v + 17 = -v + l, v = -5*l + g for v.
-3
Let i(f) = -6*f + 34. Let z be i(5). Solve -5*b = 3*g - 9, 5*b + z*g = 11 + 1 for b.
0
Let w(t) be the second derivative of -1/12*t**4 + 9*t - 3*t**2 + 0 + 7/6*t**3. Let x be w(4). Solve d - 3*d = 4, 4*v - 5*d = -x for v.
-4
Let p be (-1)/2 - 1729/26. Let w = -144 - p. Let m be w/(-3) - 6/9. Solve -5*v - g = -2*g - m, -v + 29 = -5*g for v.
4
Let u be 5/(-2)*(72/45)/(-1). Solve 0 = 3*g - 4*k + 13, 3*g - 13 = -u*k + 6 for g.
1
Suppose -2 + 12 = 5*i. Let d(y) = -5*y + 1. Let h be d(i). Let f be ((-1)/(-1))/((-3)/h). Solve -5*p - 1 = 5*b + 14, b - 1 = -f*p for b.
-5
Suppose -2*s = -2*i + 4, -5*s - 4 - 8 = -3*i. Suppose -l - 5*u = 8, -3*u = 2*l - 6*l + 37. Let c = l + s. Solve -5*o + 10*o = -5*z, -2*z = c*o - 2 for o.
1
Suppose 4*l - 1 - 7 = 0. Let o be 55/22 - l/4. Solve 0 = o*q + 3*z - 2*z - 14, -40 = -4*q - 5*z for q.
5
Let w be 29/9 + -6*(-1)/(-27). Solve -4*i - 3*p + 1 = -w*i, -4 = -4*i + 2*p for i.
1
Let a be (11/33)/((-2)/12). Let x(b) = b**3 + 3*b**2 - b - 4. Let k be x(a). Solve -2*q + q = k*t + 8, -3*q + 5*t + 9 = 0 for q.
-2
Let h = 890 - 864. Solve 5*r - 10*r - h = -k, 5*k - 30 = 5*r for r.
-5
Let i(d) = -d + 2. Let m be i(-3). Let p be (-5 + m)/(1 - -1). Solve p = -x - 8*n + 3*n - 4, 20 = -5*x + n for x.
