= 11, 5*m + 34 = -t*f for f.
-3
Suppose 2*s - 34 = -2*d, 2*d + 55 = 5*s + d. Suppose 6*a - s = 2*a. Solve 2*f + 5*i = -10, -a*i + 2 = -2*f - 4*i for f.
0
Let v(w) = -7*w + 10. Let i(b) = b + 1. Let f(z) = 6*i(z) + v(z). Let a be f(0). Solve -4*g - 5*k = -3*g - a, -2*g + 5*k - 28 = 0 for g.
-4
Let p(y) = -4*y. Let b be p(-2). Solve -4*k + b = 0, 5*h + 0*k - 7 = -k for h.
1
Let d = 49 - 36. Solve -5*u = -2*g + 11, 4*u - g + d = -u for u.
-3
Let b(x) = x**3 + 6*x**2 + 3*x - 5. Let c be b(-5). Let w = -9 + 9. Let u = 37 + -21. Solve w = -2*o + l + 6, -c*o + l + u = 4 for o.
2
Suppose -s - 15 = -4*s. Suppose 23 + 2 = s*v. Suppose 2*x + 3*o = -o + 30, 4*x - 5*o = -5. Solve -3*j - t = -j - x, v*j = t + 30 for j.
5
Suppose -195 = -0*j - 5*j. Let l = j - 19. Solve 0*x - 2*x - 2*s - 2 = 0, l = 5*s for x.
-5
Suppose -4*s + c + 36 = -6, 2*s + 4*c = 30. Suppose 0 = 4*m - s - 1. Solve -5*k = m*y - k - 12, 3*y + 3*k - 12 = 0 for y.
4
Let z = 15 - 12. Solve -z*k + 11 = -1, 0 = -2*x + 3*k - 12 for x.
0
Let z = 36 - 10. Solve 6*f - f - 4*k = 9, -2*f - 4*k + z = 0 for f.
5
Let a(u) = u**2 + 5*u + 14. Let z be a(-4). Solve -5*l - 30 = -3*v - 8, -5*v - 5*l + z = 0 for v.
4
Let k = -28 - -30. Solve 4*y = 5*q - 11, -3*y + q - 13 = k*q for y.
-4
Let v(s) = 2*s - 36. Let o be v(19). Solve 5*r - o*b = 5, 4*r + 4*b + 24 = -0*r for r.
-1
Suppose 62 = 4*a - q, -5*a - q + 0*q + 73 = 0. Let r be (72/a)/(2/10). Solve -2*o + 2*h - 13 = 3*o, -r = 4*o - 5*h for o.
-1
Suppose -2*g - 5*l + 7 = 2*g, -g - l = -2. Suppose 7*f + 15 = 12*f. Suppose 2*r = f + 7. Solve 0*n + g*n - 13 = -4*q, 2*n = q + r for n.
3
Let x = -6 + 9. Suppose -p + 24 = x*p. Suppose 5*w + 12 = 4*z, 0 = 2*z - w + 5*w - p. Solve -5*h - 2*m = -12, -h + z*m - 1 = -17 for h.
4
Let k(i) = -i**3 + 9*i**2 + 4*i - 20. Let g(a) = -a**2 - 10*a - 15. Let r be g(-6). Let v be k(r). Solve -3*y + 3*o - 8*o = v, 3*y = -4*o - 14 for y.
-2
Let s be 7 + (6/(-3))/2. Let i be (-33)/(-7) - s/(-21). Suppose 0 = t + i*h - 30, -3*h - 5 = -5*t + h. Solve 5*n + t = g - 19, 3*n + 16 = g for n.
-4
Let f be (1 - 8)*12/(-14). Let g = 3 + -7. Let k = f + g. Solve 15 = 5*y + 5*w, -3*y + 6 + 2 = k*w for y.
2
Suppose 2*p + 130 = -2*p + 3*y, -4*p = 2*y + 140. Let n be p/(-10) + (-4)/10. Solve n*s = 3*h - 0*h, -20 = 2*s + 2*h for s.
-5
Suppose -6*t + 16 + 14 = 0. Let m be (19 - 0)/(1/3). Suppose 3 + m = t*z. Solve 3*p = -5*k + z, -2*p = -2 - 6 for k.
0
Let j(q) = q + 7. Let z be j(-4). Let v = -2 + -3. Let f(b) = -b**3 - 5*b**2 - b. Let h be f(v). Solve 7*r - z*r = 2*n - 4, 0 = -h*n - 5*r - 35 for n.
-4
Let r be 8/18*6*87/58. Solve -o - 3*f + r = -2*o, -4*o = -3*f + 7 for o.
-1
Let t = 6 + 4. Suppose s + s = t. Solve -g - 24 = -5*w, 3*g - 8*g + s*w = 20 for g.
1
Let x be (-4)/(-6)*(-12)/8. Let r = x - -4. Let m = -4 - -6. Solve 1 = -2*t + 5, 0 = -r*i + m*t - 10 for i.
-2
Let n be 6/21*(12 + -5). Solve 0 = -2*z - 0*z - 3*p - 2, 2*p - 12 = n*z for z.
-4
Let u = 4 + -12. Let k = u - -20. Solve 5*o = r - 0 + 18, k = -3*r + o for r.
-3
Suppose -4*a + 20 = 3*s, -2*a + 0*a = 5*s - 24. Let f = a + 3. Let i(p) = p**2 - 25*p - 23. Let v be i(26). Solve 0*z + 24 = -f*x - z, 5*x + 28 = v*z for x.
-5
Suppose 25 = 8*y - 3*y. Suppose 2*a - y*n = 3, n - 5 = -4*n. Solve 5 = 5*w - a*g, 2*w = 3*g - 0*g + 9 for w.
-3
Let p = -157 - -161. Solve -4*r - u = 17, 1 = -p*r - 4*u - 31 for r.
-3
Suppose 0*r - 3*c - 115 = -5*r, -4*r + 70 = 2*c. Solve 0 = -n + 4*j + r, 3*n + 5*j = -22 - 3 for n.
0
Let a = -10 - 1. Let k = -8 - a. Suppose k*f = 7*f. Solve -b + 5*q + 23 = f, 29 - 4 = -5*b - 3*q for b.
-2
Let h(p) = -3*p - 1. Let x be h(-1). Let q be 3 - 2 - (x + -3). Let s(m) = 2*m**3 - m**2 + m. Let y be s(1). Solve -4*n = y*w + 14, q*n - 2*w = 1 - 11 for n.
-4
Suppose 5*t - 32 = -17. Solve 0 = t*g + 3*b + 9, 3*b - 1 = -5*g - 10 for g.
0
Let l(k) = k**2 + 3*k + 2. Let b be l(-3). Let g be (b + (-14)/6)*0. Solve -3*u = 2*u + 5*j + 10, -2*u + j - 1 = g for u.
-1
Let d(j) = -j + 14. Let g be d(7). Suppose g*o - 72 = 3*o. Solve 5*h = 4*x + o, -6*h + 2 = 2*x - 3*h for x.
-2
Let i be (2 - 1)/((-2)/(-4)). Suppose -i*h = 3*c + 11, 4*h - 2 + 23 = -5*c. Let w = 7 + h. Solve -3*g = -w*a + 3, 0 = a + 4*g + 10 + 14 for a.
-4
Let i(p) = -6*p + 16. Let o be i(2). Solve 2*y - 15 = t - y, -o*t - 3*y = -15 for t.
0
Suppose -12 = -c + 15. Solve 5*k = 3*t - c, 3*k + 25 = 3*t + t for k.
-3
Let c = -147 + 157. Solve 5*a + 2*x - c + 4 = 0, -a + 3 = x for a.
0
Let w = -1 + 4. Suppose -2*n = w*o - 38, 0 = -0*o - 2*o + 4. Suppose 5*q = -5*z + q + 13, 0 = -2*z + 2*q + n. Solve 4*t - l = 2*l + 35, z = -3*t - 4*l for t.
5
Suppose 0 = 2*c + 3*c - 85. Let i = c + -11. Let t = i + -5. Solve -5*f + 2*x = t, 13 = -0*f + f + 4*x for f.
1
Suppose j + 113 = 5*g + 8, 3*g - 4*j - 80 = 0. Suppose x - g = -5*h + 28, 0 = -2*h - x + 21. Solve r = 5*b, -4*r = 4*b + h + 15 for b.
-1
Let a(s) = s + 7. Let w be a(-5). Let l = 2 + w. Solve -u - l = c, -5*c - 28 = -2*u - 1 for c.
-5
Let p(z) = -z**3 + 6*z**2 - 3*z - 3. Let b be p(5). Solve -2*q + b*q - 3*i + 18 = 0, -2*q - 5 = i for q.
-3
Let v be (-4)/(-5)*(4 + 1). Let x(p) = 10*p**3 + p**2 + p. Let c be x(-1). Let z be 8/(-40) + (-52)/c. Solve 5*b - 19 = z*s - v, -s - 2*b = 9 for s.
-5
Let b = 13 - 8. Let j(v) = -6*v - 2. Let d be j(-1). Suppose 24 = 4*c - 5*r + d, -5*c + 25 = 4*r. Solve 2*k = b*k - y + 16, k + 24 = c*y for k.
-4
Let z(d) = 2*d**3 - 3*d**2 + 1. Let r be z(2). Solve -r*b + f + 11 = -0, 2*f = 2*b + 2 for b.
3
Let h(s) be the first derivative of -10*s**2 - s + 2. Let z be h(-1). Solve -4*r + 3*g + z = -13, -2*g - 8 = 0 for r.
5
Let w = 2 - -1. Let p = w + 11. Let h = -20 - -46. Solve -2*z = 4*g + h, g + 0*g + p = -2*z for z.
-5
Let g = 8 - 3. Solve -g*p = -5*c, c - 3*c - 2 = -3*p for p.
2
Suppose 2*w - 3 = -b, -3*w - 15 = -b - 4*b. Solve 2*g = -b*f - 7 + 2, 0 = 2*f + 4*g - 2 for f.
-3
Suppose -20 = -i - 3*s, -5*s + 54 = 3*i + 14. Suppose 3*t + 15 - 1 = -5*g, -i*g = t + 18. Solve -15 = t*x + 3*x, -4*x = d + 17 for d.
-5
Suppose -x - 1 = -2*x + j, -4*j = 4*x - 20. Let b be (-8)/(-2)*x/4. Solve 0 = 5*p - a + 23, b*a - 3 = 2*p + 1 for p.
-5
Suppose 0 = -2*n - 2*n + 32. Suppose 0 = -3*z + 5*r + n, 2*z - 3 = r + 7. Solve -2*u - y = y + z, 0 = -2*u - 3*y - 5 for u.
-4
Let o(r) = r - 6. Let a be o(6). Solve -w + a*w + 4*n - 21 = 0, 7 = -3*w - 2*n for w.
-5
Let l(f) = 9*f + 1 + 7*f - 11 - f**2 - 7*f. Let g be l(7). Solve 7*h - 3*k + 12 = 4*h, 16 = -2*h + g*k for h.
0
Suppose -z + 30 = 2*z. Suppose 0 = 4*o - 2*m - 32, -o = -4*o + 5*m + z. Suppose 3*f - o = -2*f. Solve f*k - s - 4 = 0, s + 2*s = -3*k - 3 for k.
1
Let f be -4*2 - (-1)/1. Let m be (10/(-4))/(f/14). Solve i = m*p - 1, 3*p + 0 = 4*i + 4 for p.
0
Suppose -2*c + 12 = -0*c. Suppose 14 = 5*r - c. Suppose -4*j + 69 = 5. Solve -j = 4*f, r = -4*t - 0*f + 3*f for t.
-4
Let t = -3 + 66. Suppose 0 = -5*h - 3*o - t, -h - 2*h = 5*o + 25. Let r be (-459)/h - 3/5. Solve -3*v + i + 10 = 0, v + 2*v - r = -3*i for v.
5
Let k be 3/12 + (-38)/(-8). Let c be (10/(-4))/(2/8). Let g be (-2)/k - 54/c. Solve 0 = g*x + m - 1, x - 3*m + 3 = -0*m for x.
0
Let k(d) = -d**2 - 6*d + 4. Let u be k(-6). Suppose -u*q - 16 = 3*n - 5, 2*q + 7 = -n. Solve -n*m + 4*g - 26 = 2*m, 24 = -2*m + 5*g for m.
-2
Let q be 1/4 - (-36)/(-16). Let f be q/(-6) - 8/(-3). Solve y = t + 5, f*y - 17 - 2 = 5*t for t.
-2
Suppose 3*i + 13 = 2*k, -i + k - 2 = 3. Let h = 24 + i. Solve 5*n = -3*u + n - h, -2*n - 9 = u for u.
-3
Let t(a) = a - 1. Let g = 16 - 10. Let m be t(g). Solve 4*v = -4*l + 2*l, -5*v + m*l - 30 = 0 for v.
-2
Let y(s) = -2*s. Let b(r) = -5*r - 1. Let i(z) = 3*b(z) - 7*y(z). Let w be i(-5). Solve 0 = v + w, -3*k - 2*k + 21 = 2*v for k.
5
Suppose 33 = 5*x - 2*x. Let p = -2 - -6. Solve -p*o = 2*w - 8, -5*o + 2*w = -x - 8 for o.
3
Suppose -k + 3*k + 6 = 0. Suppose 2*w - 3*d = -5, 2*w - 4*d = -3*w + 5. Let v = w + k. Solve 0 = 2*x + v*h, -3*h - 1 = 5*x - 7 for x.
3
Let a = -13 - -18. Suppose -a*m + 17 + 3 = 0. Solve 0 = 2*i + q + 2 + 10, 5*i + m = 4*q for i.
-4
Let a be (-31)/(-5) + (-2)/10. Suppose 0*x = x - a. Solve 0 = -z - f - x, 0 = -z - z - 4*f - 20 for z.
-2
Let c = -6 + 6. Suppose -5*h - 5*i - 5 = c, -3*h - 2*i - 2 = -4*h. Solve 2*l + 5*y + 25 = 0, h - 5 = y for l.
0
Let u = 16 - 46. Suppose -1 = w - 5. Let y be ((-72)/20)/(w/u). Solve -v