 5*b - 3 = 6 for v.
4
Let c(w) = w - 3. Let k be c(0). Let p(q) = -q + 1. Let d be p(k). Suppose 0 = -63*z + 20 + 169. Solve 0 = d*r - 5*x + 41, -z*r = 2*r - 4*x + 40 for r.
-4
Let a be (-14)/10 - (-4)/10. Let h be (4/5)/(a/(-5)). Let m be 30/(-4)*(-8)/(-48)*-4. Solve -8 = -m*u - 3*y, h*u - 2*y = 4 - 2 for u.
1
Suppose i + 8 = 5*j, 3*i - 4*j = 6*i - 14. Suppose 4*w = 2*g - 32, -i*w = -0*g + g - 16. Solve 4*t - 2*o - 3*o - g = 0, -3*o = 4*t + 16 for t.
-1
Let p be -3 - -8 - (-2)/(-6)*6. Solve 5*b + 0 - 9 = p*z, 3*z + 3 = 3*b for z.
2
Let b be 72/18*(-3)/(-4). Suppose 0 = -3*x - m - m, 4*x - m = 0. Solve -4 = -5*v + 21, -2*j - b*v + 9 = x for j.
-3
Let q = 0 - -2. Suppose -6 + 3 = -3*k, 5*s - 2*k = -q. Suppose 15 = g - 5*a, s*g - 3*a + 45 = 3*g. Solve -5*j - 4*u = -g, 5*j = 2*u - u - 10 for j.
-1
Let z(v) = -5 + 12 - 3*v**2 + 2*v**2 - v - v. Let l be z(-3). Suppose l*u + 0*u - 16 = 0. Solve u*q - 11 = -3*n + 3*q, -q = -4*n + 17 for n.
4
Suppose 2*b = -1 + 5. Let x(y) = -2*y**2 - 20*y + 14. Let c be x(-11). Let l(k) = -6*k - 46. Let t be l(c). Solve 0 = -4*i + 2*m, 3*i = -b*i - t*m for i.
0
Suppose 0 = -5*o - 54 + 14. Let v be (2 - 0) + o/4. Let m = -542 + 542. Solve 2*f = -v*f - r, 5*r + 20 = m for f.
2
Let t = 5054 - 5042. Let g(s) = s**2 - 1. Let d be g(-3). Suppose z = 2*n - 5*n + 12, -d = -2*n + 2*z. Solve -5*q + 4*h = -12, q = n*h - 0 + t for q.
0
Let i(v) = 2*v**3 + 14*v**2 + 1. Let c be i(-7). Solve -y = 3*d - 10 - c, 3*y = -2*d + 19 for d.
2
Suppose 12 = 3*s + 6. Solve -s*q - 6 = -3*b, -4*b + b = -4*q - 6 for q.
0
Let k(n) = 36*n + 76. Let u be k(-2). Solve -2*x + 5*p - 11 = 0, 5*x - 3*p + 3 - u = 0 for x.
2
Let h = 1589 - 1577. Solve -12 = -k + 2*k + 2*x, x + h = -2*k for k.
-4
Suppose -5*h + 0*h + 35 = 0. Let c be h/((2 - 1)*1). Suppose -2*r + c - 3 = 0. Solve g = 1, r*g - 4*g - 10 = 3*f for f.
-4
Let d(h) = -h**2 - 6*h + 11. Let w be d(-7). Suppose -5*k = -2*k - 12. Suppose -4 = -2*y - 0*y, k*j + 4*y = 80. Solve -z - j = w*o, 3*z + 23 = -5*o + 2*z for o.
-5
Let g(c) = -3*c**3 - 28*c**2 - 12*c - 22. Let o be g(-9). Solve o*u = -2*i + 27, 4*u - 11 = -4*i + 13 for i.
1
Let l(a) = 2*a**3 - 2*a**2 - 3*a + 1. Let s be l(2). Suppose 2*c + 4 = 0, 2*q - 3*c = -2*c + 8. Solve -q*v + 5 = -j, 2*v - 6*j + s*j = -6 for v.
3
Let v(i) = 24*i + 101. Let n be v(-4). Solve 3*k + n*s = 3*s - 14, 5*k + s = -21 for k.
-4
Suppose -52*v + 68*v = 224. Let l be 4/6*(-6)/(-4). Solve -l = 2*s + 3*b, 2*s + 0*b - v = 2*b for s.
4
Suppose -d = -2*d + 4. Suppose 2*o - d + 2 = 0. Solve -l + o = t + 3, -8 = 4*t - 5*l for t.
-2
Let k be (-105)/(-21) + (-1 - -1). Solve 0*q - 3*q + 19 = -k*b, 2*b + 16 = 4*q for b.
-2
Suppose 12 = -5*p - 38. Let m = p - -21. Let d be 7/(21/(-12))*-1. Solve -4*f - m = -h - 0, 0 = -d*h - 2*f - 28 for h.
-5
Suppose -q - 3 = -2. Let t be q/(4 + (-69)/18). Let h be (t + 18)*3/9. Solve 9 = -a - s, -h*a + 2*s = -a + 2 for a.
-4
Let g be (-2)/11 + -6 + (-1000)/(-55). Suppose 0 = 7*p - 3*p + 28. Let m = p + g. Solve 0 = -m*b - x, -2*b + 2*x = -3*b for b.
0
Let a(q) = 14*q**3 - 3*q + 3. Let x be a(1). Suppose x = 3*l - 7. Solve 4*h - 2*u = -10, 5*u + 13 + l = h for h.
-5
Let c be 1/(-5) - 1064/(-95). Let a = c - 4. Solve 5*q + 30 = -4*d, 17 = a*q - 3*q - 5*d for q.
-2
Let g be (-108)/(-2) - (-1 + 0). Suppose 0 = j + 49 - g. Solve -2*a = 4*k + 24, 2*a - 2*k = j*a + 18 for a.
-2
Let d be -3 + (-4 - (-14 - -2)). Suppose -2*t - d = -21. Suppose 3*l + t = l - 2*h, 4*l - 12 = 3*h. Solve 2*p = -2*m, 5*m - 3*p - 40 = -l*p for m.
5
Suppose -5*q + 7 = -3. Suppose 4*u + 2 = -q, -5*a = -u - 16. Let f be (4 - (a + -1)) + 3. Solve -2 = -2*m + 2*z, m = -f*z - 7 + 2 for m.
0
Suppose -k + 14 = 5*d, 3*k + 4 - 18 = -d. Solve -y - d*i = 11, 2*y + 35 = -2*y - 5*i for y.
-5
Let s be 0 + -1 - -1 - (1 - -4). Let j be (-7 - s)*(2 - 5). Solve 0 = 4*f + 12, -4*c - f = -j*f + 1 for c.
-4
Let p(j) = -99*j**2 + j. Let q be p(-3). Let h = 1328 + q. Let d be h/84 - (-1)/(-6). Solve -d*v = 5*b + 9 + 6, 5*b - 1 = -v for v.
-4
Suppose -5*l + 3 = 4*m, m + 2*l + 1 = -l. Solve -4*r = 4*h + 1 + 3, -m*r + 26 = -5*h for h.
-4
Let s = 11 - 5. Let p be s/(-9) + (-68)/(-12). Suppose 2*r - 2*z = 3*z + 18, 5*r = -p*z + 10. Solve 0 = -r*q + 5*f + 3, 2*f = -q - q - 12 for q.
-3
Suppose -4*s + w = -15, -3*w + 18 + 5 = 5*s. Solve -s*c + 2 - 14 = 0, 5*v = c - 12 for v.
-3
Let m be (-6 - -9) + 0/1. Suppose -7 = -2*h + m. Suppose 0 = -h*i - p + 12, -5*i = 2*p - 7*p. Solve 3 = -t, 0 = 7*q - 2*q - t + i for q.
-1
Let g be 1 - (-4 - -2) - (0 - -2). Suppose i - g = 1. Solve 3*b = 3*x - 15, i*x + b + 2 + 0 = 0 for x.
1
Let y(v) = -2*v + 18. Let w(h) = -h + 9. Let q(r) = -9*w(r) + 4*y(r). Let i be q(11). Let a(k) = -6*k. Let z be a(-1). Solve 3*f - i*t = 13, t - 25 = z*t for f.
1
Suppose 27 + 5 = -4*f. Let h(n) = n**3 + 9*n**2 + 7*n - 6. Let l be h(f). Solve -l*b - 4 = 2*t - 0, 0 = -4*b for t.
-2
Suppose -3*i - 5*y = -4*i - 9, 4*y - 5 = 3*i. Let z = 3 + i. Suppose 4*f + 11 = 5*q, 2*q + q - 5*f = z. Solve -7 = -h + 3*n, -h + n + 2 = q for h.
-5
Let b be ((-20)/75*-9)/(6/45). Solve -2*j = -s - 7*j + b, -j = -3 for s.
3
Let n(v) = 3*v**2 + 2*v. Let u be n(1). Solve 0 = 4*l - 3*q - 1, -u*q + 0*q - 21 = 3*l for l.
-2
Let o(r) = r**3 + 6*r**2. Let a be o(-6). Solve -2*b + 5*b + 3*i - 3 = a, -5*b + 2*i = 9 for b.
-1
Let t be 5/((-10)/(-3))*8/3. Let m = -3 - -3. Let u be m/(0 + 2) - -12. Solve -5*s = -s - 3*h - 25, u = -t*h for s.
4
Let n be ((3 - 0) + 2)/(1 - 0). Solve n*c = 5*x + 25 + 15, c + x = 0 for c.
4
Let a(c) = -11*c + 134. Let h be a(12). Solve 0 = 5*s - 3*f + 18, -2*s - h = 3*f + f for s.
-3
Suppose -15*u + 13*u + 62 = 4*y, -4*y = -3*u - 37. Solve 2*v = 5*q - 21, -y = -3*q + 5*v + 11 for q.
3
Let s(u) = -15 - 3*u**2 - 18 - u**3 + 31 - 4*u. Let t be s(-2). Solve r - 8 = -r - 5*l, 4*l - 6 = -t*r for r.
-1
Let w(j) = -j**3 - 4*j**2 - 3*j. Let x be w(-3). Suppose -5*s = 20 + 5. Let l be -3 + s/(15/(-21)). Solve -5*u + l*n + 19 = x, -5*u + 5*n + 2 = -18 for u.
3
Let b(d) = -d + 1. Let w be b(-7). Let n(i) = i**2 + 20*i + 9. Let s be n(-12). Let c = 89 + s. Solve 0 = c*t - x - 4, 0 = t + 2*t - 2*x - w for t.
0
Suppose -33*q + 20 = -23*q. Suppose 19 = 5*n + 3*f, 0 = 2*n - 4*f - f - 20. Solve n*r + 24 = -q*c - 0*c, 6 = -c - r for c.
-2
Suppose -5*g - 2*c + 2 = -8, -3*g - 3*c = -6. Solve -o - 4*n = 3, o - 2*n = g*o + 3 for o.
-3
Let g(j) = j**2 + 3*j + 2. Let n be g(-2). Suppose -14*h + 2*h + 324 = n. Solve 0 = 4*z - l - 19, -h - 1 = -4*z + 4*l for z.
4
Suppose 0 = -2*g + 3*z + 2, 3*z = 3*g - 5*g - 10. Let l be 9/g*2/(-3). Solve -3*p + 2*p = h - 2, 0 = -l*p - h - 4 for p.
-3
Let q be 3*((-33)/(-9) + -4). Let t = q + 1. Suppose t = h - 5*h. Solve -w - s - s = 0, 4*s = h for w.
0
Let l = 21 - 25. Let i = -2 + l. Let a be 1*(-50)/15*i. Solve 5*d = -5*n - 0*n - a, -5*n - d = 0 for n.
1
Let w be 2 - 0/(4/16*-4). Solve -2*z = w*t, -2 = -2*z + t - 8 for z.
-2
Let q(r) = 2*r**3 + 112*r**2 + 3. Let i be q(-56). Suppose 0*w = 2*w + 6. Let y be 0 - 3/w - -2. Solve -i*p + 35 = 5*z, z - 8 - 11 = -y*p for p.
5
Suppose -80 - 148 = -57*v. Solve -4*j = 4*h + 16, -2*h - 6 - v = 3*j for h.
-2
Let n = 11 + 19. Let r = -25 + n. Suppose r*s - i - 21 = 0, i = 3*i + 2. Solve -2 = 2*w + d + 8, -4*d = -s*w - 20 for w.
-5
Let a(o) = -o**3 + 8*o**2 + 3. Let q(c) = -2*c**2 - 12*c - 2. Let x be q(-5). Let s be a(x). Solve -6*w = t - w + 6, -s*w - 18 = -3*t for t.
4
Suppose 6*o = -0*o - 24. Let d be 21/4 - (-1)/o. Solve -d*w = -2*a - 5, 24 = -6*a + 2*a - 4*w for a.
-5
Suppose 13*h - 65 = -26. Let m(u) = u**3 - 5*u**2 + u. Suppose -j + 3*j + 2 = -3*d, 0 = 5*d + 20. Let z be m(j). Solve z*c + 12 + 1 = h*f, 4*c + 4 = 4*f for f.
-4
Let g(z) = -2*z**2 + 19*z - 4. Let c be g(9). Solve -3*k = -c*d - 2, 3*k = 4*d + 6 - 2 for d.
2
Let n be 133/(-35) + 1/(-5). Let b = n + -14. Let z be b/(-4)*(-18)/(-27). Solve 3*d = -5*m + 10, -z*m + d = 2*m - 10 for m.
2
Let z be 3 + -1 + 2 - 0. Suppose -5*d + 3*d + 2*p = -z, 5*p + 5 = 0. Suppose -d = -a + 3. Solve -5*i + 10 = 3*x + 2*x, 5*x - a*i - 10 = 0 for x.
2
Let x be 18/8*52/39. Let l be ((-5)/x)/((-10)/36). Solve 3*i + 2*q = l*q, -2*i = -4*q for i.
0
Let p = 8 - 27. Let c = 22 + p. Suppose 0 = c*f - 8 - 1. Solve f*n = n, 4*v = n + 4 for v.
1
Let q = -78 + 51. Let s be 18/q + 4/6. Solve -4 = -4*v, 0 = 4*o