 + 24. Suppose -2*t - b = -1. Let a = -3 - t. Solve -2*d + 4*q - 6 = a, -3*q + q + 23 = -5*d for d.
-5
Suppose o - 7 = -k, 4*o - o = -5*k + 27. Suppose -o = -b - 1. Solve -4*u + 5*a - b = -7*u, -a = 3*u + 9 for u.
-4
Let q be ((-12)/15)/((-4)/10). Suppose 2*i - 4 - q = 0. Suppose 0 = 2*b - 3*a + 3, -8*b + 18 = -i*b + a. Solve -f + 0*u = b*u + 10, 3*f + 6 = 3*u for f.
-4
Suppose -2*i - 2*i + 8 = 0. Let g be i - (1 + (1 - 2)). Suppose -4 = -2*z + g. Solve 4*s + z*p + 9 = -3, 0 = 5*p for s.
-3
Let h be (11/(-22))/((-1)/6). Let g = 6 - h. Solve -4*d - 2*r + 0*r = -6, -3*r = g*d - 3 for d.
2
Let j(x) = x**3 - 2*x**2 + 2. Let t be j(2). Solve 0 = 5*m + 25, -3*a - m = -0*a + t for a.
1
Let f be (-24)/15*15/(-6). Suppose f = 5*o - 11. Suppose 12 = -3*m, 0*m = -2*l - 3*m - 2. Solve a = l*v - 23, -o*a - v = -2*a - 7 for a.
2
Let o be (-4)/(-30) - 464/(-120). Let g = -6 + 9. Solve -w + 4 = w, -o*w + 17 = g*n for n.
3
Let q(t) = -2*t - 2. Let x be q(-3). Let n = 4 - -1. Suppose -2*u = 1 - n. Solve -3 = i, -u*w + 3*i - x*i = 3 for w.
0
Suppose -7 + 15 = -4*x. Let r be 4 + -2*(-1)/x. Solve 4*g - q = 3*q - 28, -r*g - q - 13 = 0 for g.
-5
Let r be (-1)/((-1)/6*2). Let n(x) = x - 5. Let g be n(6). Let s = r - g. Solve y - q = 1, 4*y + s*q - 8 = 5*q for y.
5
Let a(z) = -3*z**3 - 5*z**2 + 4. Let d be a(-4). Let q be d/36 - (-2)/(-9). Solve k = -3*k + 3*v + 18, -q*k = -4*v - 17 for k.
3
Suppose 0 = -u - 7 + 11. Solve 2 = 3*c + 5*l + 14, 4 = -c + u*l for c.
-4
Let i(x) = x**2 + 2*x. Let f be i(-3). Let u be -3*(0 - (f + -2)). Let n = -41 - -45. Solve 0 = -u*q + 3*z - 3, -8*q + 2*z - n = -4*q for q.
-1
Let w = -6 + 11. Suppose -3*m - 8 = -w*m. Solve -m*l = -2*u - 10, -3*u - 1 = -0*l + l for u.
-1
Let b = 5 - 1. Solve -3*m - 5 = -z + 2*m, 3*z + b*m + 4 = 0 for z.
0
Let d(y) = 2*y**2 + 4*y. Let h be d(-3). Suppose -w + h*w = 40. Solve 5*z = 3*v - 20, -z - z = -v + w for v.
0
Let t be (-4)/6*-9 - -1. Suppose 3*p + t = 2*i - 3*i, -3*i + 2*p = -12. Solve -2*g + 6*g = 3*u + 17, g = i for u.
-3
Suppose 2*a - a - 25 = 4*k, -5*a + 5 = 4*k. Suppose -11 = -a*p + 3*m, 5*p - 2*m + 3 = 17. Solve 2*r = -p*j + 1 + 9, -5*r + 1 = 4*j for r.
-3
Let t = 23 - 18. Solve b + t*m = 3*b - 16, 0 = -4*b + m - 4 for b.
-2
Let s = -22 + 25. Solve -s*j + 0*l - 5*l = -16, -j = -l for j.
2
Suppose -5*m = -n + 12 + 29, -5*n - 5*m + 85 = 0. Solve 0*v + n = -4*b - 5*v, 2*v = 2*b + 6 for b.
-4
Let q = -12 + 12. Let c = 7 + -3. Suppose o - 2*x + 7 = q, o - 3 - 20 = -c*x. Solve -1 = -5*v - 6, 5 = o*y + v for y.
2
Suppose -4*n + 18 = -26. Suppose 0 = -5*l + 4*u + 24, 4*u + 0 = -4*l + 12. Solve 0*v = -v - l*a - n, -5*a = 2*v + 13 for v.
1
Suppose -142 = -10*d + 58. Solve p = 4*t - 3 - 2, 0 = 4*t + 4*p + d for t.
0
Suppose 4*a = -0*a. Solve a = -c - 3*n - 6, -3*c - n + 6 = -0 for c.
3
Suppose -5*i = -0*i - 20. Suppose z - u - 3 = -0*z, 3*z = -3*u + 9. Suppose z*q = -0*q + 78. Solve 0 = -n - i*w - 23, -2*n - 3*w - q = -5 for n.
-3
Let m(y) = y**2 + y - 6. Let p be m(5). Let c(f) = f**2 - 33. Let k be c(6). Let g(b) = b + 6. Let q be g(-5). Solve k*a = 5 + q, -2*a + p = -5*r for r.
-4
Suppose 3*m + 5 = 14. Let y = m + -3. Solve y = -5*z - w - 22, 3*w = 4*z + 30 - 1 for z.
-5
Let j be (-6)/(-36) - 178/(-12). Suppose a = 4*a - j. Solve -3*q - q = a*m + 3, -11 = -m + 5*q for m.
1
Suppose -11 - 11 = u. Let v be (-4)/u + (-106)/(-22). Suppose 0 = v*c - 10. Solve -4*n = c*f - 16, 3*f + f - 5*n + 7 = 0 for f.
2
Let p(n) = -n**3 + n**2 + n + 4. Let w be p(0). Suppose -w*i = -0*i. Suppose i = 3*t - 1 - 5. Solve 3*o - o = t*j + 4, -9 = -3*o for j.
1
Suppose l - 8 = -l. Let d(g) = 3*g**2 + 1 + g**2 + 1 - 5*g**2 - l*g. Let j be d(-3). Solve 0 = 4*o + q + 9, 2*o + j*q = 3*q - 6 for o.
-2
Suppose 9*h - 1 = 44. Solve 0 = m - 0 - 4, h*r - 28 = -2*m for r.
4
Suppose -h = 4*o + 1 - 12, -2*h = -5*o + 17. Let r(u) = 4 + u**2 + 5*u + 0 + o. Let c be r(-6). Solve 0 = 2*j - 4*m - 6, 3*j + 4 = -5*m + c for j.
3
Suppose -18 = -5*o - c - 3, 4*c = 3*o - 32. Let j be (-3*1)/(-1 + 0). Suppose -5*n + j*n = -4. Solve 0 = 3*q + 3*h - 6, h = o*q - 0 + n for q.
0
Let d = -4 + 6. Solve -d*i + 2 = 0, -5*i = a - 2*a - 3 for a.
2
Suppose m - 9 + 0 = 0. Let v(p) = p**3 + 12*p**2 + p + 15. Suppose 0 = -5*o + 8 - 68. Let g be v(o). Solve -2*x = -0*x - 6, 3*r = -g*x + m for r.
0
Let p(q) = 3*q - 8. Let z be p(6). Let c be z/(-4 + (-24)/(-4)). Solve c*n - 3*l + 13 = 0, 2*n + 3*l = -0*n - 1 for n.
-2
Let z be (-250)/(-9) + 2/9. Solve 4*x + 0*x - 5*q = -z, 3*x + q = -2 for x.
-2
Let j = 42 + -37. Solve p + 2 = 2*d - 5, 2*d - 27 = j*p for p.
-5
Let y = -57 - -57. Solve i = -y*v + 2*v + 8, 4*v = 3*i - 14 for i.
-2
Let n = 28 + -25. Solve 0 = -n*w - k + 8, -2*w + 5*k = -12 + 35 for w.
1
Let s be (16/10)/(6/15). Suppose -5*j = 5*z - s*j - 15, 0 = -5*z - 4*j. Solve 5*x - 36 = -4*k, 5*k - z*x = -0 + 4 for k.
4
Let w(n) = -n**3 + 3*n**2 - 4*n + 6. Let o be w(2). Solve d + 5 = 4*y + o*d, -3 = -2*y - d for y.
1
Let u be -2*3*-4*1. Let m = -8 + u. Solve t = -2*t - 5*d - 22, 4*t + 4*d = -m for t.
1
Let r = 24 - 17. Let f(t) = t + 7. Let k be f(r). Solve 4 - 2 = -3*i + 4*m, 5*m = -2*i + k for i.
2
Let t(g) = -g + 1. Let d(c) = -5*c + 15. Let p = -12 + 6. Let l(f) = p*t(f) + d(f). Let v be l(-7). Solve -v*j + 5*j - 6 = 3*a, 0 = -5*a + 4*j - 10 for a.
-2
Let s(o) = 5*o + 12. Let b be s(-6). Let k be 40/18 - (-4)/b. Solve 0*q + q + 12 = -5*t, 0 = 3*t - k*q + 15 for t.
-3
Let z be 5/(-3) + 20/30 + 3. Solve -5*v - 4 - 2 = -g, 0 = z*g - 3*v + 2 for g.
-4
Suppose 2*k - 5 = 11. Solve -2*w + 2*m + k = 0, 3*m - 4 = w + 6*m for w.
2
Let o be 6/(3 - 0) - 0. Solve 4*w - 30 = -2*y, o*w - 4*w - 10 = -4*y for w.
5
Let f be 14/(-4) - (-1)/(-2). Let r = 6 + f. Let y = 9 + -6. Solve -12 = y*w + c + 5, -w - 14 = r*c for w.
-4
Suppose 6*v + 9 = 5*v - 3*z, -4*z - 16 = 0. Solve -3*p = -v*f - 7*p - 8, 0 = -p - 5 for f.
4
Suppose -9*b = -10*b + 4. Suppose 0 = p + 2*q - 0*q - 12, -b*p = 3*q - 23. Solve a + 2*o = 6 + p, -5*a = -2*o + 20 for a.
-2
Let f(j) = -j**2 - 6*j - 4. Let w be f(-4). Solve -5*r + v + 15 = -w*v, -4*v = -5*r + 12 for r.
0
Suppose 17 = 5*y + 7. Solve 2*c - 18 = 4*d, -y*c + 5*c - 3*d = 12 for c.
-1
Suppose 2*b = -2*b. Solve 3 + 3 = 2*r + j, -j = b for r.
3
Let i be (1*-9)/(3/(-2)). Suppose i = v - 0. Let r(p) = -p**3 + 3*p**2 + 3*p - 1. Let t be r(3). Solve 10 = -2*j + v*s - 4*s, -2*s - t = 4*j for j.
-3
Suppose s - 4 = 6. Suppose -34 = 2*v - 4. Let o = s - v. Solve -4*k + 5*z + o = 0, 0 = 3*k - 3*z - 18 for k.
5
Let g be ((-16)/20)/((-1)/5). Suppose -8*q = -g*q - 32. Solve -4 = -o + 5*u, 4*u + q = -5*o + u for o.
-1
Let t(i) = -i**3 - 4*i**2 - i + 5. Let b be t(-4). Let n = -5 + b. Let s be n + (-1 + 1 - 0). Solve 0 = -2*z + 4, -3*x + s*x + 5*z = 7 for x.
-3
Suppose -3*o + 30 = -3*g, 6 + 19 = -5*g. Solve -3*d = o*c - 12, 0 = c - 4*d - 0*d - 7 for c.
3
Let g be (-8)/12*24 + 1. Let d(t) = -t**2 - 14*t + 17. Let l be d(g). Let w be (-21)/(-15)*10/2. Solve 0 = 3*o - 12, b = 3*o - l - w for b.
3
Suppose 5*o - 14 = -2*o. Solve -o*b - 2*x = -b + 8, -2*b + 16 = -4*x for b.
0
Let n(l) = l**2 + 4*l - 2. Let m be n(-6). Let v = 11 - m. Solve v = -3*b + 7, 0 = 4*s + 5*b - 14 for s.
1
Let z(k) = 4*k**3 + 2*k - 2. Let y be z(1). Solve x = -2*o + 2, -o + 0*x - 6 = y*x for o.
2
Let m(p) = p**3 - 5*p**2 + 5*p - 1. Let r be m(4). Let u be (-1)/(-3) - 5/(-3). Let v = r + u. Solve 8 = 2*n - 2*x, -4*x = -v*x - 1 for n.
3
Let d = 23 + -16. Suppose -i + d = -3. Suppose b = 3*z + 16, -5*z = 2*b - 3*z. Solve 5*s + i = 2*v, -s + 3*s - 12 = b*v for v.
-5
Let d(k) = k**2 + 4*k + 6. Let v be d(-3). Solve -v*h + 11 = 5*q, 15 = 4*h + h + 5*q for h.
2
Let x = 0 - 0. Let s = x + 12. Suppose 3 = -d + s. Solve -3*l - g = -d, l - g - g + 4 = 0 for l.
2
Let y(z) = -z**2. Let i be y(0). Let v(l) = 4*l**2 - l. Let r be v(1). Let d(x) = 4*x + 4. Let p be d(r). Solve 4*f + i*f + p = 3*c, 5*f + 17 = 3*c for c.
4
Let y = 27 - 22. Solve 0 = 5*a - 5*f + 5, 3*a - y*a = -3*f + 7 for a.
4
Suppose 0 = 2*f - 4. Suppose 6*j = f*j. Suppose 4*y - 5 = -0*y + c, 5*y + 4*c - 1 = j. Solve -5*a = -3*g + y, 0*a = 2*a + 2*g - 6 for a.
1
Let w(g) = g**2 - g + 3. Let r be w(3). Solve -9 = -5*t - 3*o, r*t - 7 = 4*t - 4*o for t.
3
Let w(y) = 3*y - 39. Let q be w(15). Solve 2*r = -q, -3*b - 3*r - 17 = b for b.
-2
Let m(r) = -3*r