 2*c = -4*d - 8 for c.
0
Let m(t) = -t**2 - 10*t + 14. Let j be m(-11). Let i be 2 + -2 + (j - 0). Solve -2*k = 2*a + 6, -k = 4*a + 9 - i for k.
-2
Suppose -32 = -2*d - 0*b - 2*b, 3*b = 4*d - 29. Solve d = -4*i - 3*z - 0*z, 2*i - 17 = 3*z for i.
1
Let p(q) = q**2 - q - 2. Let k be p(2). Suppose -3*f + b = -17, -3*b = f + 1 - k. Solve 5*r - 5*i + 25 = 0, f*r + i = r + 5 for r.
0
Suppose 10 = -2*d + 14. Solve -2 = -0*p + 2*p, d*p = l - 5 for l.
3
Let o(g) = -3*g + 7. Let a be o(-4). Let j = a + -14. Solve -q + 2*b = -5, -q + 3*b + 2*b + j = 0 for q.
5
Let x = 2 - -3. Suppose 0 = q + 3*i - 17, -x*q - i + 35 = 4*i. Solve -4*b + 12 = -q*k, k + 2*b = b for k.
-2
Let m(q) = q**2 + 2*q - 10. Let h be m(-5). Solve -b - 3*b = -4*r - 4, -5*b + h = 5*r for b.
1
Let b be (1/((-5)/10))/(-1). Solve 2*n = 2*x - 4, 3*n - n - b = -x for n.
0
Let t be 75/10*4/6. Let h = 27 - 12. Solve -t*l = 5*s - 0*l - 50, s + h = 4*l for s.
5
Suppose -8*x + 31 + 49 = 0. Solve -17 = -5*c + 4*i, -x - 5 = -c - 5*i for c.
5
Let b(z) = -2*z + 2. Let s be b(-4). Let l be ((-28)/35)/((-2)/s). Solve a - 12 = l*p, -5*p + 1 = a + 7 for a.
4
Let n(t) = t**3 - 6*t**2 - 8*t + 4. Let l be n(7). Let o be (-6 + 0)/l*2. Solve 4 - 3 = 3*s + j, -o*s + 2*j = 2 for s.
0
Let j = 46 - 28. Solve 3*c = -2*x - 19, -j = 4*c - x - 0*x for c.
-5
Let g be -3*1*1 - 1. Let w be 3/2*g/(-3). Let r = -1 + w. Solve 3*y = 5*j, -2*y = -4*j + r - 3 for y.
-5
Let n(y) = y**2 - 9*y + 14. Let z be n(7). Solve x + x = q + 3, z = 4*q + 4*x + 12 for q.
-3
Suppose 8 = 5*a - 4*y, -3*a - 2*y = -2*a - 10. Suppose 0 = a*x - 4 - 4. Solve 3*o + 5*c + x + 2 = 0, -5*o - 5*c - 10 = 0 for o.
-3
Suppose -12 = -4*f, -15 = -3*u + u - 5*f. Suppose -5*l - 3*y + 43 = 0, l = -u*l + y + 7. Solve -2*r = l*a - 3*a - 5, -2*a + 2 = 0 for r.
0
Let d be ((-8)/14)/((-11)/77). Solve -4*f - d*p + 25 = -f, 0 = -p + 4 for f.
3
Suppose 2*g + 315 = -3*g. Let t be g/(-13) - 4/(-26). Solve -5*b + 25 = i, 2 - 17 = i - t*b for i.
5
Suppose -2*b + 5 = -g - 6, g = 4*b - 27. Solve -4*p = -2*j + p - 23, 2*p - b = 2*j for j.
1
Let l(p) = -p + 8. Let q be l(-7). Suppose g + 4*t = 7, q = 5*g + 5*t - 5. Solve g*v = -3, -2*d - 4*v + 0*v = 6 for d.
-1
Let i be (1 - -3)*(0 + 10). Suppose -3*p + i = p. Suppose -c = 3*c. Solve -w - 2*a - 1 = -6, c = 3*w + a + p for w.
-5
Let f = 11 - 6. Suppose 4*i - 5*b = -5, -i = i - 3*b + f. Solve 1 = -i*v - 2*k - k, 0 = -v + 5*k - 17 for v.
-2
Suppose 7 = -3*g + 4*u - 6, -15 = -3*g - 3*u. Solve 5*w - 4*v = 0, w + g = -4*v + 25 for w.
4
Let w(f) = f. Let l(p) = p - 7. Let v(x) = -l(x) + 2*w(x). Let z be v(-3). Solve -8*n - 21 = -r - z*n, -3*r - 2*n = 7 for r.
1
Let w be (-1 + 0 - 0)*-4. Suppose 0 = w*b - 5*h - 26, -5*b + 5 + 7 = 4*h. Solve 5*l + 20 = -i, -3*i = -b*i + 2*l + 15 for i.
5
Suppose 4*c - 8*c + 4 = 0. Solve -4*b + 12 = -4*v, 2*v = b + c - 2 for v.
2
Let j = -24 + 77. Suppose -2*w + b + b = -18, -3*b + j = 5*w. Solve -w = -z + 5*a, 4 = 3*z - 4*a + 2*a for z.
0
Suppose 0*u - 10 = -u. Suppose 59 = 3*g - u. Solve -2*y + 7*y - 3*m = g, 0 = 2*y + 2*m - 6 for y.
4
Let n = 24 - 22. Solve -n*w = l + 1, 0 = -2*l + 3 - 1 for w.
-1
Let m(z) = z + 11. Let q be m(-11). Suppose 4*b = 28 + 20. Suppose q*v - b = -v. Solve -5*s - 2*u + 20 = 0, -5*s + v + 8 = -u for s.
4
Let d = -56 + 58. Solve 5*f = 5*l - 10, l - f - 2 = -d*f for l.
2
Let o be (-110)/(-7) + 16/56. Suppose 4*r - o = -0*r. Let i be 14/r + (-1)/2. Solve 0*m - 4*m - t = 11, 13 = -i*m + 4*t for m.
-3
Let h(f) = -2*f**2 + 12*f + 4. Let w be h(6). Solve w*i - 4*j - 3 = -3*j, -i - j + 7 = 0 for i.
2
Let h be -2 + 16/6 - 1020/(-36). Solve 3*u = -4*n + h, u - 11 - 12 = -4*n for u.
3
Let n = 9 - 5. Let s be ((1 + 0)*-4)/1. Let h be (2/4)/(s/(-32)). Solve -n*w - t + h = -4*t, 3*w + 2*t = 3 for w.
1
Suppose 0*i = 2*i - 10. Let r = 8 - 5. Solve -5*j + 2*h = -17, r + i = 2*h for j.
5
Let z be (-3)/1*(-18)/27. Solve -3*s = -8*s - z*v - 17, -2*v + 23 = -3*s for s.
-5
Let j be 80/15 + 8/(-6) + 1. Solve j*o - 15 = r, -2*o - o + 9 = r for r.
0
Let f(n) = n**2 + 3*n + 2. Let y(o) = -o**3 - 5*o**2 + 2*o + 4. Let c be y(-5). Let w be f(c). Solve s = -0*s + 5*i - w, 4*i - 35 = -3*s for s.
5
Suppose -5*a = 4*g - 36, 3*g + 5*a - 3*a = 27. Suppose 3*s - g = 2*s. Let b = s + -5. Solve -2*i + 4 = -2*y, -6 = -y - b*i + i for y.
0
Suppose -5*v = -2*n - 2*n - 75, v - 15 = -2*n. Let q be 66/v - 6/(-10). Solve q + 7 = -3*c, 0 = -4*h - c - 16 for h.
-3
Suppose -4*x + 3*x = 5*w + 2, 3*x + 6 = 3*w. Solve -z = 2*l - 2, w = -z - 0*z - l for z.
-2
Let n = 5 + -3. Let b = -18 + 25. Suppose b*r - n*r - 15 = 0. Solve -4*o + 2*k = 16, -2*o + r = -o - 4*k for o.
-5
Suppose -k = -3*i + 2*i - 4, -4*k = -8. Let l be (8/20)/(i/80). Let y be (2/(-4))/(2/l). Solve 3*j - 5*j - 2 = 0, 0 = -u - j + y for u.
5
Let t(n) = 16 - 4 + n**2 - 8 + 6*n. Let g be t(-6). Solve g*u - 4*p = 0, 3*u + 3 + 7 = 5*p for u.
5
Suppose 0*u = -3*u + 42. Suppose 4*o - 26 = -7*r + 2*r, 3*r - u = -2*o. Solve 0*m = 4*m + 4*i - 20, -5*m - 3 = -r*i for m.
1
Suppose -7*j = -9*j + 8. Suppose -3*y + 2*y = 2*k - 3, k = j*y + 24. Solve 0 = -k*i - 4*w, 4*i - w + 36 = 4*w for i.
-4
Let m be 2 + 2 + (1 - 0). Suppose m*j = 26 + 4. Solve 0 = 4*w + j*d - 2*d - 8, -2*w - 6 = -3*d for w.
0
Suppose -k - 5 - 6 = 0. Let u = -5 - k. Solve -r - 2*b - u = 0, 0 = -5*r + 4*b - 2*b + 6 for r.
0
Let m be (-2)/(-5) + (-96)/15. Let r be (m/(-4))/(1/2). Solve a + r = -2*a - 4*q, 2*a = 3*q - 2 for a.
-1
Let g(f) = -f**3 + 3*f**2 + 3*f - 3. Let c be g(4). Let v = c + 11. Suppose v*m = -m + 10. Solve -l - 9 = m*h, 1 - 3 = h for l.
-5
Let k(u) = u**3 + 3*u**2 - 2*u + 8. Let n be k(-4). Solve -5*z - 15 = 2*s - 4*s, -5*s - 2*z - 35 = n for s.
-5
Suppose -5*k - 5*w + 65 + 5 = 0, k + 4*w - 17 = 0. Solve -1 = -l, 0 = -3*u - l - 0*l + k for u.
4
Let s = -17 - -27. Solve h + s = -3*l, -3*l + 10 = -2*h - 4*l for h.
-4
Suppose -2*x = k - 12 - 4, -x = -5*k + 91. Suppose 2*d + 60 = -3*d. Let y = d + k. Solve 4*o + 0*o + y = -2*m, 5*o + 4*m + 9 = 0 for o.
-1
Let c be (-4)/(-2) - (-2 - -1). Let v(y) = -y**3 + 2*y**2 + 2*y + 3. Let d be v(c). Solve -2*n = 10 - d, 3*n = -3*k - 3 for k.
4
Let y = 27 + -10. Solve -3*u - 5 = -0*u + 5*s, y = 5*u + 2*s for u.
5
Suppose 2*y + 1 = -3*i, -5*y - 12 = 5*i - 2. Let k = -8 + 10. Let r = -1 + k. Solve i*w + 4 = -l, 4*l + 7 + r = -4*w for w.
-1
Let m(z) = z**2 - 5*z + 4. Let u be m(4). Suppose 4*i = -u*i - 4. Let s be (-42)/(-8) - i/(-4). Solve r + b - 1 = -0*b, 11 = 3*r + s*b for r.
-3
Let v be (8 + -3)*3/5. Suppose v*u = -2*u + 30. Solve 0 = 3*a - 4*d + 1, -3*a + 0*d = 3*d - u for a.
1
Let v = 11 - 11. Solve -y + 4*q = v, q + 4*q - 1 = y for y.
4
Let g(i) = 3*i + 6. Let q be g(6). Suppose 0*p + 4*o - q = -4*p, -5*p + 3*o = -22. Suppose -l = -2 - p. Solve t - 3 = 4*h, 2*h = l*h + 5*t + 10 for h.
-1
Let x be (-3 + 0)/3 + 2. Solve -5*p = -4*u + 27, -2*u - 2 = 3*p + x for u.
3
Let n(j) = j + 12. Let a be n(-8). Let g(d) = d**3 - d**2 + 30. Let u be g(0). Solve -u = -2*s - 4*c, -5*c + 50 = a*s + s for s.
5
Let v be 9 - 9/(-6)*2. Let w = 17 - v. Solve 3*b + 2*b = z - 29, 0 = w*b + 2*z + 17 for b.
-5
Let i = -93 - -97. Solve i*f + 3*p - 11 = 0, -f - 2*p + 4 = -p for f.
-1
Let j = -34 - -13. Let o be (-1)/2 + j/(-6). Let c be (-1)/o + 10/3. Solve c*y = 2*w - w + 17, 3*w = y - 11 for y.
5
Suppose 3*x - 1 - 5 = 0. Let k = -8 + 5. Let u = k + 4. Solve x*q - u = 3*b, 0 = -q - b + 2*b for q.
-1
Let r = -14 + 20. Suppose 40 = -r*p + 2*p. Let j be (-6 + 3)*p/6. Solve o = -3*t - 10, -t + j*o = 3*t + 45 for t.
-5
Let i(x) = -x - 3. Let q be i(-5). Suppose 0 = l + q - 4. Let p be 36/4*(l - 1). Solve 2*a - 10 = 2*h, 3*a - p = -0*a for h.
-2
Suppose -3*l + 4*l - 56 = 0. Suppose 2*h - l = -2*b, -3*h + 2*b + 22 + 52 = 0. Solve 5*k - 6 = 4*z + 34, 2*z + h = 4*k for z.
-5
Suppose -5*z = 23 - 3, 40 = 5*c - 5*z. Let o(h) = h**2 - 11*h + 22. Let f be o(9). Solve f*v = -s + c, -5*v + s + 1 = -4*v for v.
1
Let h be (-10)/15*-9 - 4. Solve -9 = -5*c + 2*c - 3*i, 3*i - 14 = h*c for c.
-1
Let y(g) = g**2 - 3*g - 4. Let v be y(4). Suppose 2*a - t - 66 + 14 = v, 73 = 3*a + t. Solve -5*q + 5 = -z - 0, -5*q - 3*z + a = 0 for q.
2
Suppose 4*y - 1 = -f + 27, 0 = -4*y + 3*f + 12. Solve -2*j = -y*m + 2*m + 2, -m + 14 = 4*j for j.
3
Let z be -2 + (4 + -3)*9. Solve -5*v = -h - z, 0 = 4*v + 4*h + 