
-1
Let s = -5 + 5. Suppose q + s*q - 32 = 0. Suppose -5*f + f = -q. Solve f = 5*o + 4*h, -2*o - 6*h = -2*h - 8 for o.
0
Let o(h) = -4*h - 12. Let l = 58 + -29. Suppose -l = 4*s + 3. Let n be o(s). Solve 0 = -4*z - n, 10*x - 5*x = -5*z - 30 for x.
-1
Let d = 0 + 5. Solve -3*r + 2*x = 21, 0*r = 4*r + 5*x + d for r.
-5
Let t = -2 - -5. Suppose 5 = 3*h + f, 0*f = 5*h + 5*f - 5. Solve 11 = h*g - t*c, g - 5 = -g + c for g.
1
Suppose -4*i + 8 = -5*u + 4*u, -3*u - i + 15 = 0. Suppose -3*a + 26 = -5*y, 2*y + 44 = u*a - 0*y. Solve -l = 3*n + a, -4*l = -n + 5*n + 16 for n.
-4
Suppose -3*w - 4*n - 93 + 241 = 0, -4*n = -w + 44. Let v be 0 + w/(-2 + -1). Let x be (v/5)/(6/(-15)). Solve 2*y - 6 = g + 3, 0 = 2*y - x for g.
-1
Suppose 2*j = 6 - 2. Suppose -2*x - 24 = 4*q, -5*x - 22 = -2. Let l = 6 + q. Solve 3*p + 2*g - l = 0, -4*p + 0*g + 6 = j*g for p.
4
Let v = -9 + 11. Suppose v*n = 4*n - 6. Solve 2*w - 3*w = -n*d + 3, -4*w - 1 = -d for d.
1
Suppose 5*h - 2*h = 60. Suppose -4*k - k = -h. Let n = 1 - -5. Solve 2*o = 4*x, 5 = 3*x + k*o - n for x.
1
Suppose t - 18 = -t. Let z = t - 5. Solve 3*u = 5*x + z*u + 25, 5 = -x + 3*u for x.
-5
Suppose 0 = -2*s - w + 3, w - 3*w - 4 = -s. Solve k - 15 = -s*k, 3 = 4*a - k for a.
2
Let g(a) = 3*a**2 - 1. Let k(i) = -2*i**2 + 1. Let t = 9 + -4. Let y(j) = t*g(j) + 7*k(j). Let r be y(0). Solve -4*n = 2*x + 2 - 10, -x + n - r = 0 for x.
0
Suppose 0 = -6*p + 2*p - 16. Let y(j) = j**2 - 4. Let u be y(p). Solve c - 3*c + u = 2*l, 5*c + 2 = 3*l for c.
2
Let k(f) = f + 9. Suppose -12 = -5*m - 32. Let w be k(m). Solve -3*a + 6 = 0, y - 5*a + 14 = w*y for y.
1
Suppose 0 = -5*m + 3*v + 37, 5*m - 5*v - 35 = -0*v. Suppose -4*y + t + m = 0, -14 = y - 3*y - 2*t. Solve 3*p - y*n + 0 = 6, 3*p - 6 = -5*n for p.
2
Let p = -40 + 43. Solve 2*w - p*h - 11 = 0, -14 = w + h + 4*h for w.
1
Let b be 4 + (6/3 - 1). Suppose 0 = m - b - 7. Suppose -5*i + 3 = -m. Solve -3*p + 2*c = 15, 2*p + i*c - 3 = -0 for p.
-3
Suppose 0 = 5*l - 4*z - z - 5, 0 = 3*l - 4*z + 1. Solve l*r + 49 = -3*s + 14, 0 = -4*r - 4*s - 36 for r.
-4
Let b = 109 + -107. Solve 0 = 4*m - 3*n + b*n + 5, 5*m - 5*n = -25 for m.
0
Let y be (18/4)/(1/(-2)). Let j be (y/(-2))/(6/8). Suppose -5*u + 2*p = j, 0 = -3*u - 3*p + 2*p + 3. Solve 3*z - 10 = 2*g, -4*g - 5*z + 0 + 2 = u for g.
-2
Suppose 64 - 10 = 3*h - 4*d, 0 = 3*h + 3*d - 75. Let b = h - 3. Let w(g) = g + 7. Let t be w(-5). Solve -4*o + 3*j - 2*j = -b, -3*o + 18 = -t*j for o.
4
Let c(r) = r + 6. Let k be c(-5). Let y = 11 + k. Let h(l) = l + 1. Let d be h(8). Solve 5*o + s + y = 0, -3*s + d = -2*o - 2*s for o.
-3
Let h(j) = 3*j**2 + 6*j + 4. Let i be h(-2). Solve 0*w - i = -d + 2*w, w = 0 for d.
4
Let l(o) = -2*o - 1. Let u be l(-5). Suppose 0 = -5*i + 5, 2*w + i - u - 6 = 0. Solve 4*g = 2*a + 3*g + w, 5*g = 5 for a.
-3
Let v = 20 + -20. Solve 5*n + t - 15 = 2*n, v = -2*n + t + 5 for n.
4
Let u = 0 - -3. Solve u*f - 12 = 0, i - 16 = -4*f - 0*f for i.
0
Suppose -3*j = 5*n - 11, 3*n - 9 + 0 = -j. Let w be 2 + 3/6*n. Solve 4*o + o = -20, 2*p = 2*o + w for p.
-2
Suppose -39 = 4*l - 3. Let s = l + 13. Solve 3*p = 5*j + p - 20, 5*j = s*p + 30 for j.
2
Suppose -4*d + 5*w + 9 = 24, -4*w - 4 = 0. Let b be (-6)/d*(-50)/(-15). Let l be (24/(-9))/(b/(-6)). Solve -4*p - 24 = l*u, 2*u + 0*u + 4*p + 18 = 0 for u.
-3
Suppose 3*d = d + 14. Let b = -5 + 7. Suppose -2 = -f + b. Solve 3*h - f*v + 4 = -d, -v = -5*h - 7 for h.
-1
Let a = -1 - -3. Solve a*c = -c - 4*j - 14, 4*j = -4*c - 12 for c.
2
Suppose 0 = -s - s + 10. Solve -s*k = 2*g + 21, k = -g + 2*k + 7 for g.
2
Suppose 2*w = 3*w - 7. Let v = w + -2. Solve -l - 1 = v*s + 3*l, s = l - 2 for s.
-1
Let h = -12 - -17. Solve 16 = h*a + g - 13, -4*g = -16 for a.
5
Suppose 0*i - 4*i + 40 = 0. Let m = i - 13. Let y = 2 - m. Solve -2*u = y*t - 2*t + 10, 5*u + 25 = 4*t for u.
-5
Let m be (-4)/2 - (-4 + -6). Solve -w - 8 = -6*w + 3*p, -2*p = -m for w.
4
Let l(d) = -d + 12. Let x be l(10). Solve x*y - 4*y = -r + 9, -3 = -4*r - 3*y for r.
3
Suppose 0 = 4*o - 7 - 1. Solve -o*k = -2*x + 6, -3*k + 10 = 5*x + 3 for x.
2
Let c(y) be the first derivative of 3*y**4/2 - y**2/2 - 2. Let b be c(1). Solve -3*a + 38 = b*o + 1, a - 3*o + 11 = 0 for a.
4
Suppose 2*v + 0*v = 0. Let j = v + 3. Let u be j/(-9) - (-26)/6. Solve -3*h - 16 = u*x, -2*h + 2*x + 3 = -5 for h.
0
Let q = -70 + 72. Solve 4*d - 22 = q*l, 2 = -l - 2*d + 3 for l.
-5
Suppose 0 = -h + 2. Solve h*z = -3*i - 0 - 3, 2*z - 4*i = 4 for z.
0
Let j be 10/4*(-6)/(-3). Solve -5*z + o + 16 + 6 = 0, -j*o - 26 = -4*z for z.
4
Let y be -5 + 6*(-32)/(-12). Let d be 0/(0/1 + 2). Suppose -s - 4*s + 20 = d. Solve x - s = -4*a + 13, -2*x - y = -a for x.
-3
Let i(q) = -2*q - 6. Let y be i(-8). Solve -b - 8 = -r, 2*r - y = 5*b + 18 for r.
4
Let p(n) = -n**2 + 4. Let y be p(-3). Let q = y - -9. Let s be ((-3)/2)/(-1)*4. Solve 4*c + q = 3*b, s = 2*c + b - 2 for c.
2
Suppose 0 = -5*x - 20, 3*m = -3*x + x + 7. Solve 3*y - 3*w + 6 = -4*w, -3*y + 12 = -m*w for y.
-1
Suppose 0 = 3*r - 55 + 16. Let p be -4*2/(-8)*r. Let s = -13 + 20. Solve -5*v + 2*i - s = i, 3*v - 5*i + p = 0 for v.
-1
Let p be 153/63 + (-3)/7. Solve -5*q - 2 = 4*o + p, -q + 2 = -2*o for q.
0
Let q(v) = -v**2 - 14*v - 8. Let s be q(-12). Suppose 4*b = m + 15, 4*m + 5*b - s = 8. Let c = m + 5. Solve 2*r - c*r + 24 = 4*n, 5*r = -4*n + 26 for r.
2
Suppose -15*j + 8 = -11*j. Solve -j*k + 2 = -4*h, 2*k + 2*k + 20 = 0 for h.
-3
Suppose 4*g - p - 48 = -5*p, -4*g = -p - 38. Let c = 16 - g. Let s = c - 1. Solve 3*w = -4*y - 1 - 1, 2*w = -s*y - 6 for y.
-2
Let o(a) = 3*a**2 - a + 1. Let h be o(1). Solve h*b - 2*u - 12 = -u, -2*b + 3*u + 15 = 0 for b.
3
Suppose -2*y = -4*i - 5*y - 49, 4*y = i - 2. Let t be (-2 - -1)/(i/50). Solve -5*u - 25 = 5*j, -j + 5*u = -0*u + t for j.
-5
Suppose 103 - 34 = 3*a. Suppose 3 = -0*k + 3*k. Suppose u = 6 - k. Solve 3*r + 4*y - a = 0, u*y - 8 - 2 = 0 for r.
5
Suppose 2*w - 11 + 1 = 0. Solve -3*q + 15 = -3*p + 3, -w*q = -4*p - 19 for q.
3
Suppose -18 + 0 = 3*y. Let n = -3 - y. Suppose -28 - 2 = -n*f. Solve -4*t + 2*v = -2*v - 28, f = 4*t + 2*v for t.
4
Suppose -v + 3*v - 15 = 5*d, 2*d + 6 = 3*v. Suppose -3*n - 3 + 9 = v. Solve 4*t - 20 = -4*g - 0*t, n*g - 14 = -4*t for g.
3
Suppose 3*p = -0*p + 6. Suppose p*h - 32 = -2*h. Suppose 4*c - c + h = 4*x, -5 = 5*c - 5*x. Solve 9 = -5*o - b + 36, -4*o + 28 = c*b for o.
5
Let n = 1 + 1. Solve 5*d - 22 = 2*h, -4*d - n*h - 2*h = -12 for d.
4
Suppose 14*i = 141 + 55. Suppose -2*k + 20 = 3*k. Let y be k/6 - (-4)/(-6). Solve 2*j + 3*f + 4 - i = y, 14 = 5*j + 2*f for j.
2
Let b(q) = -q**2 + 4*q + 2. Suppose 5*x = x + 16. Let i be b(x). Solve 0 = -i*z + 3*d + 25, 3*d + 10 = -2*z - d for z.
5
Let y = -9 - -24. Let v be (6/y)/((-1)/(-5)). Suppose 0*j + j = v. Solve -5*s - 2*f = 7, s = j*s + 4*f + 5 for s.
-1
Let t be (12/10)/(6/15). Solve -p - t*p + 19 = 3*m, 0 = 4*m - p for m.
1
Suppose j - 2*j = -2. Solve -m = j*i + 5 - 1, 4*m = -i - 2 for i.
-2
Suppose c + 258 = 2*r, -506 = c + c - 2*r. Let m be 12/54 - c/18. Solve 5*n - v - 6 = 0, 0 = -2*n - 3*n - v + m for n.
2
Let c = -11 - -13. Let n be c*(0 - 1) + 6. Solve r - 2*l - n = -2, -3*r + 14 = 2*l for r.
4
Suppose 5*m = 5*n + 40, 5*m - 3*n = n + 36. Solve 5*h - 5 = m*a - 2, 9 = 2*h + a for h.
3
Let a(q) = -q**2 + 2*q + 1. Suppose -3*l - 3 = -0*l. Let v be a(l). Let j be (-63)/(-12) + v/8. Solve o + 7 = -n, n - j*o - 11 = -2*n for n.
-3
Let y = 149 - 145. Solve -2*a - 4 + 0 = 2*r, -2*r - 10 = -y*a for a.
1
Let a be (-740)/(-25) + (-4)/(-10). Solve 4*x + u = -15, 3*x + 2*x + a = u for x.
-5
Let u = 2 + -8. Let p = 45 - 34. Let a = p + u. Solve -25 = -f - 5*y, -14 + 34 = a*f + 4*y for f.
0
Let c(w) = w**3 + 5*w**2 - 7*w - 4. Let p be c(-6). Solve p + 0 = -d, -d - 5 = -3*s for s.
1
Suppose a - 18 = -5*f, f - 2 = 1. Suppose -c + a - 1 = 0. Solve 0 = 5*l + c*v - 5, -l = 6*v - 2*v - 1 for l.
1
Let x(z) = z - 14. Let j be x(17). Solve -18 = -5*o - 4*t + j, 9 = o + 2*t for o.
1
Suppose s + s = 6. Solve 5*m - 18 = -s*g + 2*m, -4 = 4*g - 3*m for g.
2
Let j = -31 + 42. Solve -2*o - 5 - j = 4*x, -o = 3*x + 10 for x.
-2
Suppose 4*j = -5 - 3. Let y be 186*(3/j + 2). Suppose 5*v - 5*l - y = -3*l, -23 = -v - 4*l. Solve 4*t = -x - v, t + 15 = 5*x - t for x.
1
Let p be (-360)/(-84)*(-14)/(-3). Solve 6*x - 5 = x + 5*g, -5*g = 