 - 2*u + 2*b = -18 for u.
2
Let g(v) = -3*v + 3*v**2 + 4*v + 0*v**2. Let a be g(-1). Solve -a*b - b - 4*x = -9, -2*b + 3*x - 11 = 0 for b.
-1
Let d = 2 - -1. Let c(f) = 2*f - 4. Let o be c(d). Suppose o*k = 3*u + u - 14, -u + 4*k = -7. Solve u*v + 5 = -2*v, -s = v for s.
1
Suppose -5*a - 100 = -110. Solve 0 = -a*j + 2*v + 4, -6*j + 4*v = -3*j - 7 for j.
1
Let x(o) = o + 6. Let h be x(-2). Solve 4*t = h*m - 4, 4*m + 3*t + 1 = -16 for m.
-2
Suppose 0 = -z - 2 + 6. Suppose -17 = z*d - 5*d. Suppose 4*w - 5 - 11 = 0. Solve 3*x - d = -w*h + 3*h, -x + 5*h = 21 for x.
4
Suppose 2*b + 8 = 4, -5*p = b - 18. Solve 16 = 3*x + 7*a - 2*a, 0 = -p*x + 5*a - 37 for x.
-3
Let v = 3 - 4. Let h = 1 + v. Let r be (h - -1 - -1)*2. Solve r = 3*l - 3*a + 1, 4*l = -3*a - 3 for l.
0
Let z be ((-5)/(-15))/((-1)/3). Let g be -9 + 7 - 5*z. Solve 2*m + 2*j = -16, 2*j - j + 18 = -g*m for m.
-5
Let w(f) = -2*f**3 - 3*f**2 + 3*f - 1. Let c be w(-3). Solve -3*a = -i - 3 + 5, -3*i = 2*a - c for a.
1
Let r be 2 + 33 + -2 + -2. Let v = r - 4. Suppose 0 = -2*w - 2*w + 20. Solve 2*g - 4*f = -g + v, -15 = w*f for g.
5
Let y(q) = q**3 - 13*q**2 + 12*q + 5. Let i be y(12). Solve 4*w - 13 = 7, w - i = 2*n for n.
0
Let o be (10 - 10)*(2 + -1). Let f be o - (2 - 0) - -5. Solve -2*v = w + f, 2*w - 2*v + 4 = -5*v for w.
1
Let j = 17 + -5. Suppose 2*x + 4*x = j. Solve 0*v - 4 = x*v - 2*t, 5*v + 2*t + 24 = 0 for v.
-4
Let f = 296 + -291. Let y be (2 - 3)*1 - 1. Let m be -2 - -5*(3 + y). Solve f*j + 17 = n, m*n = -0 - 9 for j.
-4
Suppose 4*z + 5*l - 28 = 0, 2*z + l - 8 = -0*l. Let p be (-10)/(-6) + (-4)/6. Suppose 6 - p = t. Solve -t*o - 12 = d, z*o + 10 = -5*d + 2*d for o.
-2
Suppose -2*n = -2*b + 4, 0*b - 2*n + 14 = b. Suppose 3*q + f - 14 = 0, b*f + 5 = f. Solve 2*y - q*s + 24 = 0, y = 4*y - 2*s + 14 for y.
-2
Suppose r = 4*f - 46, 3 = 5*r + 13. Suppose 0 = -f*m + 6*m + 25. Solve 3*n = -m*c - 4, -4*n + 6*n + 7 = c for c.
1
Let z(i) = -10*i + 52. Let d be z(5). Suppose b + g - 5 = 0, -b + 3*g + 1 = -0*g. Solve -v - 3*w = b, -5*v - d*w - 3 = 4 for v.
-1
Let v(h) = h**3 + 9*h**2 + 5*h - 2. Let k(g) = 5*g**2 + 3*g - 1. Let u(n) = 7*k(n) - 4*v(n). Let a be u(-1). Solve a*s = 3*o + s - 6, 3*s = -4*o - 9 for o.
0
Let d(s) = s**2 - 12*s + 3. Let h be d(12). Suppose -68 = -t - h*t. Solve -t = 2*w + 5*k, 0 = -7*w + 2*w + 3*k + 4 for w.
-1
Let l be (0 + (0 - -2))/1. Suppose a + 5*s - 12 = 15, l*a - 14 = -2*s. Let t be 5 - (1 + (a - 1)). Solve z + 4*m = -m - 5, 3*m = 5*z - t for z.
0
Let v be (-4)/3*9/(-6). Suppose -5*c + 7 - 31 = -x, -c = -2*x + 12. Suppose z = x*j - 19, 2*z - 3 = -v*j - 1. Solve -t - 2 = -a, t = 2*a + 2*a + j for a.
-2
Let n(h) = -4*h - 2. Let c be n(-3). Suppose 5*j + 2*r + c = 0, 4*j + 6 = -r + 1. Suppose j = 5*s - 14 - 6. Solve b - 2*a = 3*b + 4, s*b + 3*a + 4 = 0 for b.
2
Suppose x - 17 = -3*z, 1 = z + 5*x - 0. Let g(h) = 5*h**2 + h + 1 - 4*h**2 + 0*h - 5. Let c be g(-3). Solve -c*f = j - 8, f - 2*j = -0*j - z for f.
2
Let v = -43 + 74. Solve -7 = -5*m + 2*a - v, 0 = 3*m - a + 14 for m.
-4
Suppose 135 = -2*c - 5*p, -c - 5*p = -0 + 80. Let t be (-2)/(-11) + 10/c. Solve 4*q + 2*m + 6 = -t, 3*m = 3*q - 18 for q.
1
Suppose -18 = -12*c + 11*c. Let x be (12/c)/((-2)/(-9)). Solve x - 6 = -q - 3*s, -2*q + 6 = 5*s for q.
3
Let z be (2/(-6) - 0) + (-64)/(-12). Solve 5*g = -5*u + 20, -z*u + 20 = g - 0 for g.
0
Suppose -3*o = 4*b - 10, 4 = b + 3. Suppose -3*w = o*w - 80. Suppose 4*j - w = -0. Solve 3*h - 2*a + 4*a = 0, j*h - 3*a = 0 for h.
0
Let z(n) = 2*n**2 + 10*n + 10. Let s be z(-5). Solve -3*j - o + s = 0, -j - 5*o = -2*o - 6 for j.
3
Suppose -c = 4*j - 22 - 8, -2*c = 5*j - 36. Let o be (-105)/(-9) - 2/(-6). Solve j + 12 = -5*p, 4*b = 3*p + o for b.
0
Let b be 1 + 1 + -3 + 7. Suppose -2*n - 2*s + 0*s = -12, 3*n - 2*s = -2. Let f be 20/b - n/6. Solve -w - f = k, -5*k = w + w for k.
2
Suppose -11 = 5*u - 26. Let i = -45 + 48. Solve i*v + 2*b + 9 = 0, b - u = -3*v + 3*b for v.
-1
Suppose 3 = -3*z + 15. Solve 5*t + 12 = -l + 5*l, 2*t = z*l for l.
-2
Let z(h) = 2*h - 6. Let d be z(4). Solve -5*n - 15 = -2*f, -n + d*f - 3 = -2*f for n.
-3
Suppose 2 = 4*s - 10. Suppose -s*f = 2*f - 20. Solve 0 = -f*c - 5*a + 10, -5 - 9 = -4*c - 3*a for c.
5
Let j be -6*((-4)/(-8) - 1). Solve 16 = 3*d - 5*o, 3*o = -9 + j for d.
2
Suppose 11 = 2*g - 4*r + 5*r, -2*g - 5*r = -23. Suppose -3*a - 90 = -2*j - 25, 0 = -4*j + 2*a + 118. Solve -3*c + 15 + 1 = w, g*w + 3*c = j for w.
4
Suppose -2*l + 3*l - 2*y = -4, 5 = -2*l + 3*y. Solve s + 13 = 3*q, 2*q + l*s + s - 5 = 0 for q.
4
Let l(a) = a**3 - 5*a**2 - 6*a. Let s be l(6). Let f(v) = v + 3. Let w be f(-6). Let p = s - w. Solve 3*h = -i - 6, -5*h - 2 - 8 = -p*i for i.
0
Suppose 5*u - 5 = 2*x + 3, 0 = -u - 4*x + 6. Let w = -8 - 6. Let q be 224/98 - (-4)/w. Solve 0 = 4*f - q*l + u, 0 = -2*l - l + 3 for f.
0
Suppose 2*a = -4*b + 18, 0 = -9*a + 4*a + 3*b + 6. Solve -4*y + 3 = -c - 8, -a*y - c = -3 for y.
2
Suppose -5*m + 18 = o, -3*m + o - 2 = -16. Suppose -m*z - 12 = -8*z. Solve z*l - 2*x = 2*x + 12, x = 0 for l.
4
Let b be (-3)/(-12) - 33/(-12). Solve -b*s + 1 = t, s - 1 = 2*s + t for s.
1
Let n = 1 + 1. Suppose 3*s - 2*d - 34 = 0, -n*s - d + 60 = 2*s. Suppose -2*t - 6 = -s. Solve 0 = -k - 2*r + 4 + 8, -t*r = 4*k - 32 for k.
4
Let c be 5 - (0/3)/(-2). Suppose -c*q + 37 = -3. Solve 3*w - j - 8 = q, 0 = -4*w + 3*j + 23 for w.
5
Suppose 3*c - 12 = -0. Let q = 32 - 17. Suppose 0 + q = 5*g. Solve -2*j + c*y = 7 - 1, -9 = g*j + 4*y for j.
-3
Suppose -4*i = -3*k - 6, -5*i + 7 + 0 = -4*k. Suppose -3*n - c = 3, -c - 9 = 3*n + k*c. Solve -17 = -3*p - 2*l, 3*p + n*l - 4*l - 11 = 0 for p.
5
Suppose -3*f + f + 2*m + 6 = 0, -2*f + 3*m + 7 = 0. Solve -4*z - 8 = 0, f*w - 3*z = -0*w + 14 for w.
4
Let w be (1 + 1 - -10) + -2. Let h be ((-6)/5)/((-3)/w). Suppose -x = x - j - 29, x + h*j = 10. Solve -4*g + 2*p + p = -x, 0 = -3*g - 3*p for g.
2
Let c be (-226)/(-10) + (-8)/(-20). Solve -5*y - 4*b + c = 0, 10 - 3 = -y + 5*b for y.
3
Let x be 21/6 - (-3)/(-6). Let p = x + 1. Let v(f) = 5*f**2 + f - 1. Let s be v(1). Solve -3*l - 5 = 2*q + 2, -14 = p*l + s*q for l.
-1
Suppose 4*p = -2*y - 2, 11 = -5*p + p - 5*y. Suppose 2*r - 9 = p. Solve n = r*x + 1, -5*x = -n - 2*n + 3 for n.
1
Let r = -13 + 20. Let c(l) = l - 3. Let m be c(r). Solve h - 4*q = 9, -4*h + m + 2 = -q for h.
1
Suppose i = 3*i. Suppose -l + 2*o + 7 = 7*o, -3*l = 4*o - 10. Let u = 4 - l. Solve -r - u + 3 = 2*s, i = 4*s + 4*r - 12 for s.
-2
Let q = 16 + -16. Solve 4*v + 4*m = 0, q*m + 4*m + 5 = -5*v for v.
-5
Suppose -f - 2 = -8. Solve f = 2*r - 0*r - u, -21 = -r - 4*u for r.
5
Let v(d) = -d**2 - 1. Let t be v(0). Let y = t - 4. Let a = -1 - y. Solve 2*s = x - 7, -5*x - a*s = -9*s - 20 for x.
1
Let p = 8 + -3. Let m = -71 + 193. Let c be 2/(-6) - m/(-6). Solve 0 = -p*q + 5*g - 0*g + c, -2*q + g = -8 for q.
4
Suppose -7*g + g = -48. Solve -2*s - g = 4*f, 4*s - 28 = -f + 4*f for s.
4
Let x(m) = m**3 - 7*m**2 + 5*m + 2. Let a be x(6). Let d be 2*a/(0 - 2). Solve -d*n - 2*c = -4, 4*c - 20 = -4*n + 6*c for n.
3
Suppose -4*u + 16 = 4. Suppose 25 - 1 = 4*x - 3*l, 15 = x - u*l. Solve 6*f = o + f + 22, 0 = x*f - 12 for o.
-2
Let t = 95 - 91. Let x be -2*(-3 + (-1 - -3)). Let i = x + 0. Solve 24 = t*l + y + i*y, l - 19 = -4*y for l.
3
Suppose 9*m - 132 = -2*m. Let q = 5 - 0. Solve 2*o + 5*z = q, 0 = 2*o - 5*z - m - 3 for o.
5
Suppose -2*j + 6 = 2*q, 5*j + q = -2*q + 15. Suppose -2*a + j + 5 = 0. Solve -4*n - 16 = a*c, n + 18 = 3*c - 2*n for c.
1
Let f(y) = -15*y**3 - y**2 + y - 1. Let l be f(1). Let r = l + 39. Suppose -5*s + 2 = -4*w + 45, 5*w + 4*s = r. Solve 25 = 2*x - w*x + 4*g, 0 = 4*g for x.
-5
Suppose 61 = 2*g - g. Let i = 92 - g. Solve -4*m + 4*u = 4, 4*m = 8*m + 5*u + i for m.
-4
Suppose 3*a = -r + 7 + 8, -2*a = 2*r - 14. Let k be ((-28)/a)/(-1) + -2. Solve -5*h - 4*l + k = 0, -l + 5 + 0 = 5*h for h.
1
Suppose 3*u + 9 = p, u = -p + 5*p - 3. Let r(w) = -w**2 + 8. Let t be r(p). Solve 5*z - 5 = b, -t*z + 4*z + 4*b = -20 for z.
0
Let j(d) = -7*d + 9. Let p be j(1). Solve -b - 6 = -10*x + 5*x, 5*x - 7 = p*b for x.
1
Suppose -5*u - 4 = -4*u. Let c(y) = -y**3 - 9*y**2 - 9*y. Let f be c(-8). Let p be (0 - -2) + f/u. Solve -2*v - 2*v + 16 = p, -8 = -4*a - 2*v for a.
0
Let u(o) = -2*o**2 - 10*o - 3. Let k be u(-4). Solve l - 5*l - 35 