 -0*g, 5*v - 3*g = a for v.
3
Let u = -4 + 8. Let x = 7 - u. Suppose -3*r + 2 + 7 = x*l, 0 = 5*r + l - 3. Solve -2*j - 2 = r, -3*w + 12 = w - 4*j for w.
2
Let b be ((-3)/(-1))/(3/4). Suppose r + 22 = -y - 3*r, y + 12 = -2*r. Let p = b + y. Solve p*t - 4*t = -5*w + 4, 2*w + 4*t = -8 for w.
0
Let a = 35 - 30. Solve -a*z - 2*q = -10, 2*q = 3*z - q - 27 for z.
4
Let g(n) = -n - 3. Let f(a) = 2*a + 3. Let c(i) = 5*f(i) + 6*g(i). Let b be c(2). Solve -s = b*v - 14, 3*v - 2 = 2*s + 9 for s.
-1
Let i = 11 - 8. Let x be (1/i)/((-2)/(-12)). Solve 12 = 4*v + x*k, 4*v + k = -2*k + 10 for v.
4
Let a be 1/(-4) - 3/(-12). Suppose a = -8*u + 4*u + 8. Solve 0 = u*b + 3*d + d - 14, b - 16 = -5*d for b.
1
Let u(x) = x**2 + x. Let n be u(-4). Suppose 3*z + m - n = -z, -5*m + 16 = -2*z. Solve -3*h + 7 = h + 5*g, z = h + g for h.
3
Let v be 10/3 + 3/(-9). Let j be v/(-15) + (-33)/(-15). Solve -t = -3*h - 1, -t - 4*h + 10 - j = 0 for t.
4
Let s(f) = 3*f - 5. Let m be s(5). Suppose 0 = u - m + 2. Suppose 2*d - 4*o = -2*o, -d = o - u. Solve -3*z - 24 = -w + d*w, -7 = 2*w - z for w.
-5
Let d(o) = -12*o. Let g be d(-2). Suppose r = 3*j - 3*r - g, -5*j + 3*r = -29. Solve -i + 34 = 4*i - 3*q, 0 = j*i - 3*q - 29 for i.
5
Suppose 44 = 6*a - 2*a. Suppose a = 3*o + 2. Solve -9 = o*b, -4*g + 8 = -2*g - 4*b for g.
-2
Suppose -4*s + 5*s = 2, 4*v - 5*s = -34. Let h = v - -13. Solve 0 = -3*l + 2*b + 9, 3*l + 3*b + 13 = h*l for l.
1
Suppose 0*l - 35 = 5*l. Let z = 12 + l. Solve -16 + 4 = h - 5*g, 0 = z*h + 5*g for h.
-2
Let v = 12 + -8. Suppose -2*l - l + v*r + 13 = 0, 3*r = -2*l + 3. Suppose -l = 4*d - 7. Solve -5*f + j - 6 = 0, d + 7 = -5*f + 3*j for f.
-1
Suppose 17 = -5*l + 67. Let w be 10/(-12)*-3*2. Suppose -k + 3*k - 3*m - 19 = 0, 0 = 5*k - m - 15. Solve -k*o + t = 2, -o + l*t - w*t = 19 for o.
1
Let t be (-28)/10 + (-3)/15. Let g be (t - 15/(-6))*0. Suppose -v - 3*v + 12 = g. Solve o + 3 = v*u - 0, o = -2*u + 7 for u.
2
Let g be (-20)/2*2/(-4). Suppose 4 = g*x - 11. Solve -5*i + 2*k - 20 = 0, x*i + i + 33 = 5*k for i.
-2
Suppose 5*f - 4 = 2*b, -3*f + 0 = -b - 3. Suppose 0 = -z - f*z. Let v(h) = h. Let i be v(z). Solve 4*l + 25 = 5*q, 3*l + 0*l - q + 5 = i for l.
0
Let p = 11 - 7. Let k(t) = -25*t + 127. Let z be k(5). Solve j = z*c + 4*j, 0 = -3*c + p*j - 17 for c.
-3
Suppose -3*d - 9 = -21. Solve -2*w + z + 7 + 1 = 0, -d*w - 3*z = -16 for w.
4
Suppose 5 = 2*k - 15. Suppose 0 = 3*q + 9, 5*v - q - 3 = k. Solve 21 = 5*a + v*b + 1, -3*a - 2*b + 12 = 0 for a.
4
Let a(k) = -k**2 - 2*k + 9. Let g be a(2). Let d(o) = 14*o**3 - o**2 - o + 1. Let z be d(1). Solve 2*f + 10 - g = -l, 3*f + z = -l for l.
-1
Let j(h) = 7*h**2 + 5*h - 15. Let g(t) = 3*t**2 + 3*t - 7. Let a(v) = -5*g(v) + 2*j(v). Let c be a(-5). Solve -c*y - z - 20 = -0*z, -4*z - 17 = -y for y.
-3
Suppose 1 - 9 = -4*r + 2*u, -7 = r - 5*u. Solve 3*z + 5*f + r = 3*f, -z + f = 1 for z.
-1
Suppose 47*n + 6 = 49*n. Solve -5 = -3*v + d + n, v - d = 0 for v.
4
Let u = 9 - -3. Let v = 5 + 29. Suppose -4*j = -g - v, -5*g + 22 = 2*j + 2*j. Solve -2*r + j = -k, -4*k - r - u = r for k.
-4
Suppose 28 = -6*l + 10*l. Suppose 0 = 5*u - 8 - l. Solve -11 = u*d + 5*g - 0*g, 0 = -3*g - 12 for d.
3
Suppose -2*d + 10 = -4*h, -2*d + 6 = -0*d. Let a(r) = -3*r + 1. Let t be a(h). Solve 0 = -4*n + 5*f + 37, 5*n = n + t*f + 32 for n.
3
Let h = -96 - -136. Let b be -3*(4/6)/(2/(-7)). Solve -4*x - 40 = -4*m, -2*m + b*m - 3*x - h = 0 for m.
5
Let u(p) = 2*p - 4. Let s be u(3). Suppose 0 = 5*x + 3*g - 4, 2*x + s = g - 4*g. Solve 0 = 3*j + c - x, 0 = 5*j - 2*c - 0*c + 15 for j.
-1
Let f(w) = w**2 - 3*w + 13. Let s be f(0). Solve 0 - 5 = q, 0 = -v - 3*q - s for v.
2
Let w be (-84)/(3/(-9)*2). Let d = w + -62. Suppose 2*m = -m + 12, 4*v - m = d. Solve 5*s + 11 = -3*q - 10, -4*q - 3*s = v for q.
-2
Suppose 5*p = -3*f + 10, -10 = 4*f + 6*p - 4*p. Let y be 2*4*f/(-10). Solve -3*w + 6*w + 4 = 4*i, 5*w + y*i - 4 = 0 for w.
0
Suppose -14 = -2*z + 2*h, 4*z = 2*h + 5 + 15. Solve 24 = -f - z*f + 4*o, f = 4*o - 21 for f.
-1
Let m(z) = 2*z**2 - 8*z + 7. Let g be m(6). Suppose 5*w - 4*s - g = 0, w + 3*s + 18 = 3*w. Solve -6 = -2*f - 3*v, -w*f = -2*f + 4*v - 3 for f.
3
Suppose -9*r = -6*r - 2*q, -5*r = 5*q - 25. Solve -r*z + 10 = -4*f, -3*f = 4*z + 39 - 15 for f.
-4
Let y(k) = -k. Let d be y(0). Solve 4*z = -5*g + 7, 3*z + 3*g - 6 = -d for z.
3
Let c be 0/(3 + (0 - 2)). Suppose 0 = y - c*y + 12. Let h = y + 17. Solve -h*p + 2*q - 17 = -q, -5 = 5*q for p.
-4
Let q = 60 - 36. Suppose -10 = -7*x + 2*x. Suppose -x*n = -q - 26. Solve 0*d - 3*d = 5*r - 15, 2*r = 5*d - n for d.
5
Suppose 0 = 4*c - 2 - 2. Suppose -3*i + 2 = -m + c, m - i = 1. Solve 0 = -4*f + 2*f + m*a + 14, 5*a + 10 = 0 for f.
5
Suppose 3*m = -0*m + 6. Solve -6*t + m*l = -2*t - 10, -l = t - 1 for t.
2
Suppose -5*a + 20 = 0, 2*a = -c - 0*c + 12. Suppose -4*r + 0*r = 0. Solve -x - 4*j = -16, 2*j - 26 = c*x - r*j for x.
-4
Let h = -6 + 10. Suppose 0 = 4*u + 4, -n = 2*n - h*u - 19. Solve 4 = -b - 4*a, -3*b + 4*a + 4 = -n*b for b.
0
Suppose 0 = n - 0*n - 5. Solve -s - 5*g + 23 = 0, -4 = 4*s + g - n*g for s.
3
Suppose h = 6 - 4. Solve 5*s = -10, h*d + 5*s = -2*d - 22 for d.
-3
Let a = -21 - -25. Solve 3*w + 4*u - u - 3 = 0, 4*w - u - a = 0 for w.
1
Suppose -3*p = -15 + 3. Let r be 34/8 + 2/(-8). Suppose -27 = -5*g + r*g - 3*o, 0 = -3*o + 12. Solve 1 = 4*h - p*z - 11, -g = h + 5*z for h.
0
Suppose 13*t - 5*t - 40 = 0. Solve -16 = -a + 3*u, -t*u - 3 - 5 = 3*a for a.
4
Suppose 5*o = 2*i + 3 + 1, -5*i = 4*o + 10. Suppose -4*z + 3*t + 0 = -8, o = -z + 3*t + 2. Solve 0 = -4*h - z*g - 2, -34 = 3*h - 0*g - 5*g for h.
-3
Let h be -2 + (-2 - -3) + 6. Suppose -8 = -x + 2*r, -h*x - 2*r - 2 = 2*r. Let w(a) = 8*a - 4. Let z be w(4). Solve f + 5*q = z, 10*f = 5*f - x*q + 25 for f.
3
Let j be 20 + -3 + 6 + -3. Let t = j - 15. Solve -5*o = -t*n + 40, -3*n = o + 2 - 14 for o.
-3
Suppose -16 = j - 1. Let d be (10/j)/((-2)/3). Solve 4*a = -4*t - d - 3, t + 4*a = -10 for t.
2
Suppose -5 + 1 = -d. Suppose 3 = d*g - 5. Solve f + f - 16 = 4*r, -g*f = 5*r + 11 for f.
2
Suppose 3*i + t = 4*i, 10 = 3*i - t. Suppose -i*m = -2*s + 1 - 5, s + 3*m = 20. Solve -4*g + s = 3*q, g + 4*q = -2*g + 6 for g.
2
Suppose -4*z + 6 = 6. Solve z = -2*g + d + 4 - 8, 20 = -4*g - 4*d for g.
-3
Suppose -3*p - 2*f + 18 = 0, 0 = -p - 3*f - f + 16. Solve w + p*u = -13, 0*w - 5*u = -4*w + 32 for w.
3
Let f = 7 - -9. Let r = f + -11. Solve -w - 2 = 0, -r*x - 2*w + 7*w + 5 = 0 for x.
-1
Let l be 3/(9/6*-1). Let y be (-8 - -6)*1/l. Solve 0 = 2*v + 6, 10 = 3*r + v + y for r.
4
Let b(h) = h. Let s be b(5). Solve 0 = -4*v - s*a - 5, a - 3*a = 2*v + 2 for v.
0
Let p(s) = s**2 + 4*s + 4. Let r be p(-3). Let t = -2 + r. Let j = t + 2. Solve -j = c - 4*o, -2*c + 0*o + 3 = -3*o for c.
3
Suppose 0*s = -6*s. Solve s = 5*z - 3*z + 4*q + 12, z - 3*q - 14 = 0 for z.
2
Let s(u) = 5*u**2 - 2*u - 2. Let a be s(-1). Let i = -5 + a. Solve 2*m - 5*p + 4 = -i*m, 4*m = p - 8 for m.
-2
Let o(l) = -2 + 5 - l - 4. Let k be o(-3). Solve 3*g + 10 = -8*i + 3*i, 2*i + 20 = k*g for g.
5
Let x be (-5)/(-15)*(1 + 2). Solve l + x = -2*m, -2*m + 5 = 2*m - 5*l for m.
0
Let z be (8 - 2)*2/3. Suppose z*v - 16 = -0*v. Solve -3*k - v*x = 11, 3*x + 34 = 3*k - 2*x for k.
3
Let c = -144 + 75. Let w = -46 - c. Let i = w - 13. Solve -4*g = -5*g + h - i, 0 = 5*g - h + 30 for g.
-5
Let t(k) = k**2 + 2*k - 3. Let a be t(2). Solve -21 = -p - a*b, 0 = -2*p + 6*p + 4*b - 20 for p.
1
Suppose 3*u - 5*b = -2*u + 10, -2*b + 17 = 5*u. Solve -1 - 5 = -u*z - 3*r, 0 = -4*z - 3*r + 9 for z.
3
Let u be (6/(-21))/(1/(-7)). Let c be ((-3)/(-9))/((-2)/(-18)). Solve 4*h - c = u*o + 11, 5 = 3*h + 4*o for h.
3
Let f = 0 - -2. Suppose 2*d - 3 = -3*r, 5*d = f*r - 4*r + 2. Let x = 4 + r. Solve -3*b + 31 = x*i, -2*i + 2*b + 3 = -3 for i.
5
Suppose -6*p + 5*i + 24 = -3*p, 4*i = 5*p - 53. Let q = -9 + p. Solve 0 = -z - 2*h - 3, -4*z + 5*h = -3*z - q for z.
-1
Suppose 3*q - 20 = -q. Solve 4*n - 2*a = 3*a + q, -3 = 4*n + 3*a for n.
0
Suppose -f = 2*j - 8, 2*j - 3*j + 4 = -5*f. Suppose -5*c + 5 = 0, 0*c - 4*c = -5*p + 16. Solve v = 2*x - 10, 4*x + p*v + 4 = -f*x for x.
3
Suppose 0 = -5*n + 19 - 4. Suppose 10 = n*d + d + 2*w, 2*d - 3*w = 9. Solve 1 - 3 = 2*g - 2*l, -3*l = d for g.
-2
Suppose 0 = -4*n + 2 + 2. Let d(h) = -h**3 - 3*h**2 + 