8 = -4*h, 2*q - l*h = 3*q + 2 for q.
-2
Let q(s) = 3*s + 1. Let h be q(1). Suppose 0*n = -3*r + 2*n + 13, -h*n - 8 = 0. Solve -12 - 8 = -r*y + 2*v, -8 = 2*v for y.
4
Let a be -1 + (2 - 4) + 3. Let d = 1 - a. Suppose -5*s + d = 2*n - 0, n - 8 = -s. Solve 0 = -5*f + x + n, -1 = 2*f + 3*x - 13 for f.
3
Let x = 176 - 84. Suppose 3 = 2*k + 3*g - 17, -5*k + 3*g = -x. Let b = k + -11. Solve -2*m + 2 = -v - 6, -b*m = -4*v - 26 for m.
2
Let f be 12/(-21) - 214/(-7). Solve 4*x + f = 5*y, 3*y = -5*x - 23 + 4 for x.
-5
Let b(u) = 7*u + 3. Let q be b(4). Let s = 407 - 384. Let g be (1/(-3))/((-2)/30). Solve g*x = 3*k - q, 0*k = -3*x + 4*k - s for x.
-5
Let t(f) = -f**3 - 2*f**2 - f + 2. Let q be t(-2). Suppose 2*r = 3*j + 3*r - 17, 0 = -q*j + 3*r + 40. Solve 3*a - j = l, 0 = 5*l - l - 2*a - 2 for l.
2
Suppose -10 - 15 = -5*t. Suppose -m + t = 2. Suppose -4*h - 3*b = -4, m*b + 16 = -h - 2*b. Solve h*v = z - 2 - 14, -5*z + 20 = -5*v for z.
0
Suppose j - 2*j = 0. Suppose -2*q + 4*q = j. Solve y + q*l = -5*l + 6, l = -y + 2 for y.
1
Let a(y) = y**2 + 4*y + 2. Let l be a(-3). Let f be -3 - (-12)/(-2)*l. Solve 11 = -d - 0*d + 4*v, f*d + v = -7 for d.
-3
Let k(i) = -1 - i**2 - 2 + i**3 - 5*i + 3*i**2. Let o = -7 - -4. Let g be k(o). Solve g*p + 3*x - x + 21 = 0, x = 4*p + 17 for p.
-5
Let m(h) = h**2 - 5*h + 4. Let t be m(4). Let b be 3/5 - (-4)/10. Let d be (2 + t)/(b/8). Solve -n + 4*n + d = -k, -4*n - 20 = k for n.
-4
Let j = -7 + 8. Let n(c) = 4*c**2 - c. Let a be n(j). Suppose -3 = t - 7. Solve -4*q = -t*v, q + 5*v - a = 5*q for q.
3
Let c(l) = -l + 9. Let t be c(4). Suppose -4*n = 4*i - 20, 13 = 3*i + 4*n - t. Solve 3*y - y + i = -2*j, 13 = -4*j - y for j.
-4
Suppose 2*q = -q - 9. Let p = -1 - q. Suppose -2*y + r = -1, 2*y - p*r + 7 = y. Solve 0*h + 2*x + 20 = -y*h, 4*h = -x - 20 for h.
-4
Let q(s) = -s**2 - 6*s + 12. Let g be q(-7). Suppose u + 4 = -0*u, -g*u = 3*t + 14. Solve 0 = -4*o + 5*r - 0 - 4, -4*o + 24 = t*r for o.
4
Let r be 3/4 + 2/8. Suppose -2*h + 5 = -r. Suppose -9 = -3*v - u, -6*v + 3*v + 9 = -4*u. Solve 5*q = -h*n + 11, v*q - n - 2 = -1 for q.
1
Suppose -3*c = -3*w + 27, 2*c = -w + 4*w - 22. Let s(u) = -2*u - 6. Let v be s(-4). Let a be (5/w - v)*-4. Solve x + 2*x - 3 = 0, 2*x + 7 = -a*r for r.
-3
Let q = 1 - 0. Let l be 3/(q - 19/18). Let x = 75 + l. Solve -3*z - x = -2*m - 0*m, z + m = -2 for z.
-5
Suppose -12 = 6*x - 0. Let c = 3 - x. Solve -4*f = 3*s - 11, s - c = -0 for f.
-1
Let u = 32 + -27. Solve -4*o + 3 = -u*r + 36, 4*o = 4*r - 28 for r.
5
Let m(z) = 7*z - 31. Let x be m(5). Solve 4*c = -a + x, 2 = 4*a + 4*c + 10 for a.
-4
Let f(b) = b - 11. Let w be f(11). Solve -3*c + w*g - g = -10, -5*g - 10 = 0 for c.
4
Suppose -2*w = -0 - 4. Let f(v) = v**3 - 5*v**2 + 7*v - 8. Let b be f(4). Solve -12 = -w*h - b*i, -7 + 3 = -4*i for h.
4
Suppose -16*g = -21*g. Solve 4*h - 8 = 8*h - 2*z, 3*h + 2*z - 1 = g for h.
-1
Suppose 28 = l - 5*m, -5*m + 16 = 41. Solve 2*g = -2*p + 8, -4*g + 3 = l*p - 11 for p.
2
Let k(x) = x**2 - 7*x + 5. Let j be k(7). Let o be -1 + 1 + (10 - j). Solve 0 = -y + 3*d - 6*d - 14, -o*y - 2*d - 5 = 0 for y.
1
Let h be 6/15 - (-27)/(-5). Let p be h/(-20) + (-38)/(-8). Solve -p = -3*q + 2*q + 2*u, -3*q + 15 = -3*u for q.
5
Let u(y) = -y - 3. Let m be u(-5). Solve 0 = 3*f + 4*t + 20, m*f - t - 4 = -10 for f.
-4
Let f = 4 + -2. Suppose -20 = -2*w - f*w. Solve 0 = -2*u - 6, 12 = -w*y + u for y.
-3
Suppose 2*u - 4 + 3 = -a, 5*a - 14 = -u. Let v = a + -4. Let y be (v/2)/((-2)/4). Solve 5*k = k + 3*d + 14, -k + 2*d + y = 0 for k.
5
Let s be 4/14 - (-198)/42. Solve -6*j - 15 = -j, -s*r - 5*j = 20 for r.
-1
Let l(h) = h - 9. Let q = 31 + -19. Let x = q + -3. Let d be l(x). Solve -m = 3*v + 4, 2*m = 5*v - d*m + 3 for v.
-1
Let b(f) = -f**3 - 4. Let l be b(0). Let m(k) = -2*k + 100 - 100 + k. Let a be m(l). Solve 10 = 3*d - 4*h, -5*h = d - a*h + 6 for d.
-2
Suppose 707 = -r + 3*r + w, 2*r - w = 713. Suppose -2*j - 154 = 2*x, 5*j - x + r = -0*x. Let s be 2/5 - j/20. Solve -3*v - 8 = -v, 3*v + s = 4*q for q.
-2
Let v be ((-76)/(-24) + -3)*8*6. Solve -10 = u - 2*p, 2*u + 3*p - 4*p + v = 0 for u.
-2
Suppose -13*t + 128 = 37. Solve 3*f = x + 7, t*x + 10 = 3*f + 3*x for f.
2
Let r(t) = 7*t**3 - 4*t**2 + 2*t + 1. Let i be r(2). Let h be i/(-9)*1*-1. Solve -7*b - 5*u = -2*b - h, -5*u = b - 5 for b.
0
Let f(o) = o - 1. Let z be f(6). Let v(n) = -n**2 - 14*n + 15. Let r be v(-13). Let m = 19 - 13. Solve z*l = -g - r, g = -2*l - 7 - m for l.
-5
Suppose 14*l - 10*l - 8 = 0. Let n be (-2 - -1)/((-2)/6). Solve l*i - 3 = -m, 28 = -n*i + 5*i - 4*m for i.
4
Suppose -3 = -2*a - n - 2*n, -2*a = 4*n. Solve 2*u + k + 5 = 0, -k + a*k + 25 = -4*u for u.
0
Suppose -2*k - 4*i = 3*k - 40, 5*k - 3*i - 5 = 0. Solve 0 = -4*h - 2*j - 9 + 33, -4*j + k = -3*h for h.
4
Let t be (-9)/(-5)*40/6. Solve 2*y = 3*p - 9, t = 3*p - 4*y - 3 for p.
1
Let f be 0*-1*2/(-2). Suppose 2*i = 6 + 4. Solve -i*w - 3*t = 2*t, f = -w + t - 10 for w.
-5
Let n(r) = -5*r**3. Let t be n(-1). Solve 0 = -t*m - 0*k + k - 7, -2*m = -5*k + 12 for m.
-1
Suppose -4*d = -5*b + 16, -3*b + 3*d - 2 = -11. Solve -6 + 2 = 4*q + 4*w, 2*q + 3*w = -b for q.
1
Let j = -41 + 44. Solve -c - 14 = -2*v + j*c, 2*v - 10 = 2*c for v.
3
Suppose 5*n - 2*n = 0. Let i = 14 + -10. Solve -i*o - 4 = 3*b, -2 = 2*o + 3*b - n for o.
-1
Let w be 1/2*4*1. Solve -w*k - 5*h - 17 = 0, 4*k - 2*h = -k + 30 for k.
4
Suppose 6 = 2*a + 2. Solve -2*n = 5*v - 3, -3*n - 6 = -v + a*n for v.
1
Let u = -14 - -14. Let a(i) = 2*i - 5. Let n(z) = z - 5. Let t(q) = 2*a(q) - 3*n(q). Let x be t(u). Solve r - g = -0*g - 4, -x*g = -3*r - 12 for r.
-4
Let h = -31 - -51. Let x = -18 - -20. Solve -a - h = -5*f, 10 = -3*a + x*a + 3*f for a.
5
Let d be 1 + -1 + 0/(-13). Solve -2*u - 5 - 1 = d, 4*y + 2*u = 6 for y.
3
Let w(q) = q**2. Suppose s - 16 = 4*l - 3*s, 0 = -2*s - 2. Let m be w(l). Let p be 2/(-5) + 85/m. Solve -1 = -5*b - 3*i - 5, 14 = -4*b + p*i for b.
-2
Let k(f) = -f + 2. Let l be k(-6). Let g = l + -5. Suppose -9 = -3*z - g. Solve -n = -0*j + z*j - 2, -n + 8 = 5*j for j.
2
Suppose -4*q = -5*q. Suppose -4*y + q*d - 5 = -5*d, 0 = 3*y - d - 10. Solve -2*z + 9 = -y*i - 5, -10 = i + 2*z for i.
-4
Suppose -2*i + 4 = -4*u, -u - 2*i - 10 = 2*i. Let h = u - -4. Solve 4*s - 2*m = -20, -h*s + 6*m - 18 = m for s.
-4
Suppose 0 = -4*q + 20 - 0. Let u be 0 - 0 - (3 - 6). Solve b = -u*v + 2*b + 2, -q*b = 5*v - 10 for v.
1
Suppose 0 = -9*d + 12*d - 33. Solve -4 = 2*b, 6*a = a + 3*b + d for a.
1
Let c be 3/(-2) - (-7)/(-2). Let w(u) = u**2 + 6*u + 7. Let d be w(c). Solve 10 = -v - d*x - 2*x, -5*x = -5*v + 25 for v.
2
Suppose -p + z = -0*p - 7, -2*p - 2*z - 2 = 0. Suppose v - 12 = -p*v. Solve -5*t + 7*y - 3*y = 31, 5*t - v*y = -27 for t.
-3
Let i = -18 - -18. Solve -2*h + 0*r + r = i, h - r - 2 = 0 for h.
-2
Let f = -15 + 21. Let b = f - 2. Solve -3*h - 4 = 4*x, -3 - 5 = 2*h + b*x for h.
4
Let r = 40 - 40. Solve -y = -r*y - 4*k - 16, 12 = 4*y - 3*k for y.
0
Let n = 5 + 6. Let k = -10 - -16. Suppose -u + k*u = 10. Solve 0 = 5*v + u*w - n, -5*v + w + 9 = 4*w for v.
3
Suppose -14 - 3 = -3*t - 2*h, -h = -1. Suppose t*n - 56 + 6 = 0. Let u = -31 - -57. Solve -5*i = -f + u, -3*f = -i + 2*f - n for i.
-5
Let n = -1 - -12. Suppose -6*j + 16 = -2*j. Solve -j*r + n - 1 = -f, 0 = -3*r + 9 for f.
2
Let f(z) = z**2 - 9*z - 8. Let o be f(10). Solve -2*d = 5*a + 6, 0*a - o*a - 2*d = 6 for a.
0
Let q(h) = -2*h**3 - 2*h**2 + 3. Let i be q(-2). Solve -2*o = -3*g + i, 3*o - o = 4 for g.
5
Suppose v - 2*m = 8, -m + 2 + 3 = 4*v. Suppose 2*n - 4*j = 4, 6*n - 8*n = j - 9. Solve -2*f = -2*w, -v*w + 0*w + n = -3*f for w.
-4
Suppose 0 = -f - f - 8. Let w = f - -7. Solve -4*x - w*s = x + 30, 5*x - 10 = 5*s for x.
-3
Let u(d) = d**2 - 5*d + 2. Suppose 0*r + 3*r - 27 = -4*g, -2*r + 13 = g. Let s be u(r). Solve -2*j + 0 = -4*l + 2, -3*j = -s*l - 9 for l.
3
Let t be (-44)/(-10) - 4/10. Suppose -4 = y - 8. Suppose -v - t*v + 3*j + 20 = 0, y = v - 2*j. Solve -v*d = -4*c - 40, 4*d = -5*c - d for c.
-5
Suppose -3*u - 5*d = -3*d - 10, -2*d = u + 2. Let z be (40/u)/5*3. Suppose 3*o + 2 = -4, -4*j - z*o = 0. Solve 0 = j*b + 5*s + 3, 5*b + s = -0*s + 4 for b.
1
Let s = -35 - -41. Solve -5*n = -z - s, 5 = 4*z - 4*n - 3 for z.
4
Suppose -5*d = -19 + 4. Solve -9 = -3*s - d*g, 6 = s - 5*g - 3 for s.