 4*g - 10 = 10. Let z = 19 - 13. Suppose 8*b = z*b. Solve 0*a + 16 = 4*w + 2*a, w - g*a + 18 = b for w.
2
Let j(q) = -14*q**2 + 8*q - 6. Let n(p) = 5*p**2 - 3*p + 2. Let l(w) = -6*j(w) - 17*n(w). Let t be l(3). Solve 0 = k - r + 1, 3*k - t*k - 1 = -r for k.
0
Let v(j) = j**2 - j + 3. Let y be v(3). Solve g - y = 2*k - 0*g, k = -4*g + 18 for k.
-2
Suppose 4*k + 24 = 7*k. Let w = k + -4. Solve 0 = -d - 2*l, -l + 5 = -w*d + 23 for d.
4
Suppose 0 = 3*g - 2*g. Suppose l + 3 - 5 = g. Solve -l*x = -x + f - 3, -4*f = -3*x - 19 for x.
-1
Suppose 2*i + 2 = 3*a + 3, 5*a = 15. Let w = i - 5. Solve w = 4*p - 5*s + 25, 5*p = s - 0*s - 26 for p.
-5
Suppose 2*a = 2*d, 6*a = d + 2*a + 6. Let k = 2 + 0. Suppose -5 = k*n - 3*n. Solve -c - n*m + 2*m + 2 = 0, -m + 4 = d*c for c.
2
Suppose 0 = 4*l - l - 9. Solve -2 = l*f - w + 2, -5*f - 3*w + 12 = 0 for f.
0
Suppose -3*l - 78 = d - 5*d, -2*d = 5*l - 26. Solve -5*a - 4*s = -5 - 6, -5*s = 2*a - d for a.
-1
Suppose -9*o + 12*o = 0. Solve -j - 2*g - 2 = o, -5 + 4 = g for j.
0
Let g be (14/1)/(-4 + 5). Suppose 4 + g = 6*f. Suppose 4*q = 3*m - 65, 0*m + m - 17 = -q. Solve -4*r = -2*z + m - f, 0 = 2*r + 2*z + 14 for r.
-5
Let o = 13 + 6. Suppose 19 = 2*t - o. Let p = t + -13. Solve 3*m = u + 13, -2*u = -p*u - 4*m - 4 for u.
-4
Let g(o) = 4*o + 4. Let q(f) = 3*f + 3. Let a(h) = 4*g(h) - 5*q(h). Let c be a(3). Solve -2*w = l + 3*l, 2*w + 8 = c*l for l.
1
Suppose -25 = -3*d + 4*k, -29 - 18 = -5*d + 4*k. Solve 4*r + 5*n = -d, -r = -2*n - 0 - 7 for r.
1
Suppose 0 = -3*h + 2*h + 4, -3*h = 3*i - 3. Let q be i + 3 + 12/(-2). Let t be 2*(2 + (-3)/q). Solve -t*r + 0*r - 3*n - 21 = 0, -5*r + 5*n = 5 for r.
-3
Suppose 2*z = z. Let t be 2/3 + 8/6. Suppose -o = -z*o - t. Solve -2*s = 3*h + 3, -2*s + o = h - 1 for s.
3
Let h(a) = -2*a**3 + 23*a**2 + 11*a + 14. Let p be h(12). Solve -s + 3*i + p = s, -i = 4 for s.
-5
Let z be 1 + 2 + (5 - 3). Suppose -z + 41 = 3*x. Solve 2*c = 4*f + x, c + 0 = -f - 6 for f.
-4
Suppose -3 = 5*q - 6*q. Solve -h = q*n - 0*h - 7, -3*n + 13 = -2*h for n.
3
Let s(t) = -t**2 - 13*t + 35. Let q be s(-15). Let i(h) = 2*h - 4. Let v be i(3). Solve -q*g = r + 2 + v, -2*g + 4 = -r for r.
-4
Let g(n) = 13*n**3 - 2*n**2 + 2*n - 1. Let y be g(1). Solve -j - y = -4*b, -j + 4*j = 0 for b.
3
Suppose 301 = -4*p - 75. Let w be p/(-18) + (-4)/18. Solve 3*q - w*s = -35, -5*s + 3 + 17 = 0 for q.
-5
Suppose 2*j + 2 = 10. Solve 5*v = j*r, -2*v - 17 = -4*v + 5*r for v.
-4
Let d(q) = -q. Let l be d(-3). Suppose 0 = 3*c - l - 12. Solve -13 - 7 = -5*r, -4*g = c*r for g.
-5
Let p = 9 - 9. Suppose -2*a + 5*a - 3*y + 3 = p, -y = -2*a - 1. Let i(h) = h - 1. Let t be i(3). Solve 10 = t*r, 4*c = 2*r - a*r - 14 for c.
-1
Let g be -7*(-2)/6*3. Suppose f - 12 = -2*f, -3*f = -5*w + 28. Suppose 4*u = 5*q + 8, -4*u - q + w = -4*q. Solve -2*b = 3*l - g, 0*b - u*b - 1 = -5*l for b.
2
Suppose n + 42 = 4*n. Let x be n/21 + (-68)/(-6). Solve -3*p = j + 6 + 2, -4*j = 2*p + x for j.
-2
Let t(k) = -3*k - 7. Let m be t(-5). Suppose -23 = -5*j - m. Solve -c - 2*f + 1 = -4, -j*c + 2*f = 1 for c.
1
Let k be 6/(-9) + 40/6. Solve -2*b + u - k = 0, 20 = -b - 3*b + 4*u for b.
-1
Let n(g) = g + 3. Let r be n(6). Let p be -3 + (0 - r/3). Let m = p - -8. Solve y - m*s = -0*s - 12, 4 = s for y.
-4
Let a(j) be the second derivative of 1/6*j**3 - 3*j + 0 - 5/2*j**2. Let r be a(7). Solve -4*o + s = -21, 0*o - 15 = -r*o + 5*s for o.
5
Suppose -7 = 2*l - 51. Suppose -5*r + l = -3. Solve 5*s + 3*m = r*m + 31, 0 = s + 5*m + 10 for s.
5
Suppose 2*h + 11 - 21 = 0. Suppose -2 = n, 3*n + 4 = h*w - 12. Let g = 7 - 3. Solve 2*o = -3*k, -g*k + w*o = -o + 17 for k.
-2
Suppose 3*m - 12 = m. Suppose 8*c = 6*c + 34. Suppose 3*i + 2 = c. Solve i*x - 5*k = 0, 2*x + 2*k = m*k - 10 for x.
5
Let f(j) = j + 12. Let s be f(9). Let v = s - 12. Solve -4*y + v*y = -3*d - 1, -d = -5*y + 7 for y.
1
Suppose 8 = p + 5. Solve 0*u - u = -5*l + 6, p*l - u = 2 for l.
2
Suppose 0*r = 4*r - 32. Solve q - 5*q = -4*w - r, -7 = -w + 4*q for w.
-5
Let j(w) = 9*w - 6. Let p be j(6). Suppose 4*l = -0*l + p. Let n(g) = 3*g - 2. Let x be n(2). Solve -3*q = 9, x*q = -3*f - 0*q - l for f.
0
Let s be 2 + (-3)/(-6)*2. Suppose -s*i + 0*i = -9. Solve 5*f + 10 = i*l, f + l + 2 = 5*l for f.
-2
Suppose -5*q - 1 = 2*g + 1, 4*q - 2 = -2*g. Let l = g + -5. Solve -l*a + 2*o + 2*o = 0, -4*a + 3*o + 1 = 0 for a.
1
Let c(i) = i**3 - i**2 - i + 3. Let d be c(0). Suppose b = -2*b - 5*w - 11, w = -4*b + 8. Solve b = -d*f, f + 11 = 3*u - f for u.
3
Let y(d) = -3*d - 12. Let f be y(-4). Suppose -6*m + 7*m = f. Solve -5*a + 4*p + 2 = 0, 4*a - 4*p = -m*p for a.
2
Let u = -33 + 36. Solve -2*k - 3*j = -3*k - 17, k + 2*j = u for k.
-5
Let w = 11 - 15. Let z be 1/(-3)*(w - 2). Solve -o = 6*d - z*d + 2, -5*o = -5*d + 10 for d.
0
Let v(n) = -4*n**2 - 2*n + n + n**3 - 3*n. Let d be v(5). Solve -7 + 2 = -m + l, -1 = m + d*l for m.
4
Let l(s) = -s**3 - 8*s**2 - 9*s + 6. Let o be l(-7). Let d = 9 + 2. Suppose 6*i - d*i = -o. Solve q + 1 = -0*q - v, -9 = i*q + 5*v for q.
4
Suppose -2*z + p - 3 = 0, -2*z + 0*z - 5*p - 9 = 0. Let d be z/(-4)*144/9. Solve -y - d = -f, 5*f - 7 = f - y for f.
3
Let c(x) = 6*x**3 - x**2 + x - 1. Let o(z) = z**3 + z**2 - 3*z - 1. Let r be o(-2). Let s be c(r). Solve 0*l - 5*l - 19 = 3*m, -5*l + s*m = 35 for l.
-5
Let q be (-2*2)/((-4)/8). Let x be q*(7/2 - 3). Suppose 5*g - 19 = 3*p, 5*g - p = 19 + x. Solve -g = -o + 2*c, -3*c = o - 4*c for o.
-5
Suppose 0 = -m - 2*m. Let y be 7/1*40/28. Solve -2*s + 10 = -i - m*s, -s = -3*i - y for i.
-2
Let c be 6/4 - (-3)/(-2). Suppose 4*h - 4*f + 8 = 0, 4*h + c*f - 37 = -5*f. Solve -3*d - 7 + 2 = v, -h*d - 3*v = 15 for d.
0
Suppose -8*l = -6*l - 20. Suppose 5*s + 0*s = a + 8, 3*s - 4 = a. Suppose -s*y + 3 = -y. Solve x = -y*i + 10, 3*i + 3*x + l = 7*x for i.
2
Let t = -1 + 9. Suppose p + t - 81 = 0. Suppose p = 5*i - y - 2*y, -3*i - 2*y + 40 = 0. Solve 0 = 5*w - 4*u, 5*u + i = -11 for w.
-4
Suppose 3*i - 4*m + 2 = 0, 0 = 3*i + m - 9 - 14. Suppose i*o - 3*o - 9 = 0. Solve -4*a + 2*l = -10, 4*a + 0*a - 15 = -o*l for a.
3
Let a(n) = -1 + 5*n - 4*n - 2*n - 6. Let y be a(-8). Solve -4*p - 1 = 5*f - 0, 2*f = -p - y for p.
1
Let v(m) = -m + 167. Let s be v(0). Suppose 4*n = -47 + s. Let w(y) = y**2 + 5*y - 4. Let o be w(-6). Solve 0 = c - o*j - 19 + 4, 5*c - j - n = 0 for c.
5
Let k(v) = -v**3 + 4*v**2 - 3*v. Let s = -4 + 6. Let n be k(s). Solve 2*u = 7*u + n*o + 21, 0 = -3*u + 5*o + 6 for u.
-3
Let f(k) = k - 18. Let u be f(20). Let a = -4 - -6. Suppose s = -a*s + 60. Solve 0 = z - 4*d + 1, -7*z - 5*d + s = -u*z for z.
3
Suppose -3*v - v = 0. Suppose -2*g = -0 - 2. Solve -2*r = -3*o + 13, o + v = g for r.
-5
Let s(o) = 2*o + 24. Let p be s(-10). Solve -2*b = 4*t + 4, p*t - 17 = 4*b + 3 for b.
-4
Let w = -13 + 24. Let p = -7 + w. Solve -p*n - 8 = 0, v = n + n - 1 for v.
-5
Let l be (2/1 - 0) + 1. Solve 4 = p + 2*t, 5*p - 16 - 4 = l*t for p.
4
Suppose 14*m - 11 = 101. Solve d + o + m = -3*d, -10 = 5*d - 4*o for d.
-2
Suppose 3*z - 7 = 2*f, 4*z = 3*z + f + 2. Solve -2*u = -5*s + 12, 0 = 2*u - z*s + 4 for u.
4
Suppose 0 = -15*h - 0 - 0. Solve -2*d - 3*v + 11 = h, 0 = 5*d + 4*v - 17 for d.
1
Let q(s) = s**3 - 9*s**2 + 8*s + 1. Let b be q(8). Solve 8 = 4*c - 2*n, -3*c + b = n + 5 for c.
0
Let t be ((-10)/(-3) + -2)*3. Suppose 2*a - 3*a = -2. Let p be a/(-2) + (1 - -2). Solve x - m + 3 = 2, p*m - t = 0 for x.
1
Suppose -3*z = 0, 0 = -6*g + 4*g - z + 22. Let w = 4 - g. Let p be 2/w + (-153)/(-21). Solve 3*r = -f - 9, -2*f = -p*f for r.
-3
Let v(q) = q**2 - 4*q + 9. Let n be v(7). Suppose 2*a - 4*a - 3*r + n = 0, 3*a = 4*r + 62. Solve -a = -4*l + y, y - 10 = -4*y for l.
5
Let n be (-9)/6*2/3. Let f = n + 4. Let c = f + 0. Solve -c*x - 24 = -3*w - w, 0 = 3*x + 4*w for x.
-4
Let i be (-4 - (-84)/9)*3. Solve 0 = 2*t - 5*k + 4*k - 9, 0 = 3*t + k - i for t.
5
Suppose -o - 3 = -a - 0*o, -3*o = a - 3. Suppose -i = -a*i. Let f = -26 - -27. Solve -b + 0 = 1, 2*n - 3*b - f = i for n.
-1
Let b = 28 - 22. Solve -4*k - 3*p + b = -3, -5*k + 15 = 5*p for k.
0
Let h be 40/12*6/4. Suppose 3*b - 3*o - 7 = -2*o, -b = -h*o - 7. Solve 4*f + b*n = 18, -4*n + 23 = 5*f - n for f.
4
Suppose -6*f + f = 2*o - 6, o = -2*f + 3. Let g be (-12)/16*(-3 + -1). Let y = g - -1. Solve -y*j - l - 5 = 0, o*l + 15 = j - 3*j fo