3 = q*b for b.
3
Let t(i) = 0*i - 3 - 5*i + 4 + 4*i. Let k be t(-2). Solve -n + k*q - 14 = q, 0 = -5*q + 25 for n.
-4
Suppose -2*k = k. Suppose -5 + k = b. Let p be (-44)/(-10) - (-2)/b. Solve -3*i + 5*i - 2*n = 2, 2*i = -p*n - 22 for i.
-3
Suppose 3 = -0*d + d. Suppose -f + 0*f = -d. Solve a + f*b + 15 = 0, -b = -2*a - 3*b - 10 for a.
0
Suppose -t + 4 = t. Suppose i - t = -0. Suppose i*p - 10 = -4*q, -11 = 4*p + 1. Solve 3*m + 3*w + q + 2 = 0, -3*m + 3*w = -6 for m.
0
Let f(l) = -l**3 + 5*l**2 + 2. Let g be f(5). Let i = -111 - -159. Suppose -2*o + d + i = 0, -2 = -3*d + g*d. Solve 0 = r, 5*k = -0*k - 5*r + o for k.
5
Suppose 3 = u + 1. Suppose -6 + 2 = -u*c. Solve 3*g = 3*m - 9, 4*m + c*g - 24 = -0*g for m.
5
Suppose -p - j = -16, -10 = -p + 5*j - 0*j. Let m be (-3)/p - 6/(-5). Solve 5*w + m = 3*g - 1, -g = w + 2 for w.
-1
Suppose 136 = 5*w + 2*k - 10, -4*w + 5*k = -130. Let g be (-4)/6 - (-20)/w. Solve -3*a - 3*l + 6 = g, -a + 2*l - 8 = -4*a for a.
4
Let n = -21 + 21. Let v be n + -6 + 2 + 8. Solve -v*w = -3*t - 1, w - 2 = -2*w + 2*t for w.
4
Let j be (-2 + 2)*(0 - 1). Suppose g - 2*g = j. Let v = g - -2. Solve -q + 5*z = 11, -v*q + 4*q = 2*z + 2 for q.
4
Suppose -6 = -2*t - 2. Solve 5*k = v - 7, -5*k = 4*v - t*v + 16 for k.
-2
Let u = -44 + 65. Let s = 22 - u. Solve 2*m - s = -4*j - 9, -2*j - 6 = 0 for m.
2
Let u = 9 + -15. Let k = u - -13. Solve -k = -0*v + 5*v + a, -4*a - 4 = -4*v for v.
-1
Let a(v) = v**2 + 7*v + 5. Let b be a(-7). Let x = 146 - 140. Solve -k = b*t + x, t = 3*k - 0*k - 14 for k.
4
Suppose 0 = -6*c + 14 - 2. Suppose 0 = -c*v + 5*v. Solve 0*i = -i + 4*r + 17, v = -2*r - 10 for i.
-3
Suppose -i = 3*i - 8. Solve -h + 20 = 5*r, 4*h + 20 = i*r + 3*r for h.
0
Suppose 0 = -0*g + 5*g - 10. Suppose -5*t + 2*q = 0, -q + 0 = -3*t + 1. Let z = g + t. Solve -5*j + 15 = w - z, 4*j + 2*w = 20 for j.
3
Suppose 2*w - 10 = s - 3*s, s - 20 = -4*w. Suppose 3*k + w*d = 5, -2*k + 5*d = 3 + 2. Let q be (k - -1)*(9 - -4). Solve -p = -3*a - q, -4*a - 5 - 7 = 0 for p.
4
Suppose 0 = -2*o + 2 + 2. Solve 5*r + o*s - s - 7 = 0, r - 4*s - 14 = 0 for r.
2
Suppose 0*y + 94 = 5*x - 4*y, 2*x - y - 37 = 0. Solve -3*z = -5*d - x, -z = -5*d + 2*d - 10 for d.
-3
Let n(d) = -d - 3 - 13*d**3 + 3*d - 5*d**2 + 2*d**2 + 14*d**3. Let m be n(3). Solve g = m*a - 3, 2*g = -5*a + 1 + 4 for a.
1
Suppose -3*x = -x - 4. Let l = x + -4. Let d = 4 + l. Solve 3 = 3*u - 5*u - 5*b, u - d*b = 3 for u.
1
Suppose 0 = -3*o - 4*r + 25, 23 = 5*o - 0*r + 2*r. Solve -3*k - o = 0, 2*k = a + 2*a + 13 for a.
-5
Let m be 18 - (9/(-3) + 2). Suppose 0 = 5*q - 11 - m. Let c = 8 - q. Solve -4*b - 16 = 4*k, c*b + 22 = -2*b + 2*k for b.
-5
Suppose -3*m + 4*v - 8 = 0, 4 = -2*m + v + 2*v. Let w be (-1 - -10) + (m - -7). Let k be (w/(-3) + 3)*21. Solve 20 = -4*a, 2*a - k*a = -y + 23 for y.
-2
Let m = 4 + -6. Let a(h) = h**3 - 10*h**2 + 8*h + 7. Let b be a(9). Let q be (m/(-5))/(b/(-20)). Solve 0 = -3*l, q*t + 3*l + l - 20 = 0 for t.
5
Let n be (1 + -4)*(-22)/22. Suppose -4*z + 13 - 1 = 0. Solve -h - 2*h - 3 = -n*t, -z*h - 15 = t for h.
-4
Let p = -3 + 4. Suppose 5*f + 16 = p. Let n(d) = -6*d + 1. Let k be n(f). Solve -4*v = -3*y + 25, 3*y - 4*y + k = -4*v for v.
-4
Let u be ((-4)/(-16)*0)/2. Suppose u*o - 2 = -o. Solve 0 = -o*c + y + 5, 0*c = c + 2*y - 5 for c.
3
Let u be (6/(-15) + 0)/(3/(-15)). Let b be (1/(-3))/(2/6). Let h = -1 - b. Solve -u*x - z - 4 = -h*x, x = -z for x.
-4
Suppose 4 - 8 = -2*d. Solve 6 = d*h - 5*r, -8*h + 5*r + 2 = -4*h for h.
-2
Let h(p) = 2*p**2 - 10*p + 9. Let k be h(6). Solve 2*y - d = -2*y - k, 0 = -4*y - 3*d - 1 for y.
-4
Suppose 5*u + 3*o = 9, -o + 4*o - 9 = -3*u. Solve 3*g - t = 2, u = g + t + 2 - 4 for g.
1
Let l = 6 - 0. Suppose l*w - 10 = 5*s + w, 16 = 2*s + 3*w. Solve -2*z + 11 = 3*p - s*p, -2*z - 2*p = -14 for z.
4
Suppose -2*c - 1 = -11. Suppose -3*a = -3*q + a + 13, -20 = -5*q + 5*a. Solve -q*b = x + c - 0, 5 = -x - 2*b for x.
-5
Let x be (2 - 0)/2 - -4. Let i(n) = n**2 - 14*n - 4. Let t be i(13). Let b be 0 - (4 + t) - 1. Solve -b = 3*c - x*a, c = 4*c + 2*a - 9 for c.
1
Let p(l) = -l**2 - 2*l - 1. Let d be p(-1). Suppose -2*c + r - 3 = -d*c, 2*c - 4*r + 12 = 0. Solve 2*w = 4, c = -h + 4*h - 3*w - 3 for h.
3
Let k(i) = i**3 + 13*i**2 + 12*i + 3. Let z be k(-12). Suppose 5*q + z*t = 14, 5*q - 16 = 2*q + 2*t. Solve -3*u + 3 = 3*w - 0*w, -4*u + q = -3*w for w.
0
Suppose 8 = 4*j + 5*d, -39 = -2*j - 3*j + d. Solve -8 = 2*t + 2*w, -2*t - 2*w = -5*t - j for t.
-3
Suppose -5 = -5*j - 4*n, 4*j + 5*n = -j. Suppose j = g, -23 = -2*q - 5*g - 0. Let v be 1 + q + 0 + 2. Solve -v*u + 5 = 2*m - 7, -2*m + 22 = 4*u for m.
1
Suppose -2*q - 5*f = q - 14, -2 = f. Let m(o) = 2*o - 12. Let h be m(q). Solve 22 = -3*k - 2*w, 4*k = 3*w - h + 3 for k.
-4
Suppose 3*l = 3*f - 3, -l + 3*f - 4 = 1. Suppose 3*x - l - 5 = 0. Solve -x*d + 5 = 5*j, -d + 4*d = j + 16 for d.
5
Let w be (-3 + 4)/((-1)/5). Let u = -1 - w. Solve u*q - 4*z = 20, 25 = 5*q - q - 5*z for q.
0
Suppose 4*c + 26 = 3*w, 0 = -2*w - 2*c + 1 + 7. Solve k = 5*h + 5*k + 18, 4*h - k = -w for h.
-2
Let q = 3 + -1. Let l be 1 - 1/(q/(-8)). Solve -s + 3 = 3*m - 5, l*s - 3*m = -14 for s.
-1
Let m(y) = -y**3 - 5*y**2 - 3*y. Let p be m(-5). Solve -5*f = 5*c - p, -2*f + 9 = -4*f + c for f.
-2
Suppose 0 = 4*q + 12 - 28. Let c be (25/(-10))/(10/(-8)). Solve 0 = l + c*j - 6 + 2, -q*l + 4*j = 20 for l.
-2
Let y(x) = 2*x**2 + 9*x - 5. Let r be y(-5). Solve -4*t - 4*l - 16 = -5*t, 3*t + 2*l + 8 = r for t.
0
Suppose 0 = -5*g - 2*y - 3 + 5, 5*y = 2*g + 5. Solve -4*i = 3*u - 19, g*i - 24 = -4*i - 4*u for i.
1
Let l(y) = y**2 - 9*y - 1. Let k be l(9). Let s be 6 + -5 - k*1. Solve -s*f - 3*f = 3*g - 34, -3*g = -3*f + 6 for f.
5
Suppose -y = 3*u - 11, 5*u = 5*y - 4 - 11. Solve 5*a + 12 = y*m + 7*a, -4 = m + 2*a for m.
4
Let v be -1 + 465/20 - 3/(-4). Solve 4*y - v + 1 = 3*u, -2*u = -2*y + 12 for y.
4
Let v(k) = -k**2 + 5*k - 1. Let s(r) = -r + 4. Let o be s(0). Let z be v(o). Suppose -4*w + 25 = -z. Solve -5*i - y - 3 - w = 0, 13 = 4*i + 5*y for i.
-3
Let b(w) = -115*w + 1271. Let c be b(11). Suppose -h = p + 1, 14 = -2*p + 4*p - 2*h. Let g = 0 - 0. Solve g = 5*a - p*z - 13, -c*a = -a - 2*z - 17 for a.
5
Suppose 3*u + 17 = -u - 5*n, 0 = 3*u - 5*n - 31. Suppose -8*x = -3*x. Let s(c) = 26*c + 28. Let q be s(-1). Solve -u*b + l + 1 = 0, -q*b + x*l = 3*l - 21 for b.
3
Let f be (20 - 2)*2/4. Let a = -2 + 4. Suppose g - f = -a*g. Solve 2*j - 6 = -2*j - g*o, 5*j - 4 = -2*o for j.
0
Let k be ((-3)/2)/((-14)/28). Solve k*q - 8 = -o, 3*o - 2*q - 2 = -0 for o.
2
Suppose 0*x - x + 3 = 0. Suppose 0 = -3*y - 3 - 6. Let d be 0/(y + 3 + x). Solve 2*q + q + 4 = -5*j, d = -q + 5*j - 8 for q.
-3
Suppose -4*t = -9*x + 4*x + 52, -5*x + 37 = t. Suppose -l - l + x = 0. Suppose 6*m - 5*g - 47 = 3*m, l = 2*g. Solve 3*r - m = f, -17 = -4*r + 2*f + 11 for r.
5
Let h be 92/22 + 0 + 12/(-66). Solve 2*k - 5*z = -1, h*z + 9 - 2 = -k for k.
-3
Let a = 156 - 147. Solve 0 = 4*i - s + a, 5*i = 4*s - 2 - 12 for i.
-2
Let b(h) = 0*h + 2*h + 3*h**2 - 2*h**2. Let l be b(-5). Solve 0 = 5*v - l, 6*q - 14 = 2*q - 2*v for q.
2
Let c(m) = -1. Let p(u) = 1. Let l(j) = -c(j) - 3*p(j). Let a(v) = v - 1. Let g(w) = -3*a(w) + 2*l(w). Let t be g(-3). Solve -3*x + t + 5 = -2*z, 9 = 3*x for z.
-2
Let o(g) = g**3 - 12*g**2 + 11*g + 12. Let s be o(11). Let f = s - -13. Let y = 8 - 6. Solve -2*x = -5*r - x + f, -y*r - 5*x = -10 for r.
5
Let x be 10/(-15) - (-2)/3. Let t = 1 - x. Let i be (t/(-3))/((-2)/6). Solve 5*u - i - 2 = b, 4*u - 4*b = 12 for u.
0
Let o = 20 + -18. Solve -v + 17 = m + 2*v, 33 = 5*m + o*v for m.
5
Suppose -3*v + c + 8 = 0, 2*c + 9 = 2*v + 1. Solve -3*q - 10 = -v*j - 8*q, 4*q - 8 = 2*j for j.
0
Suppose 6 + 2 = -3*l + 4*g, -3 = -2*l + g. Suppose 0 = -2*v - 2*p + 4, -l*v + 7 = -4*p + 9*p. Solve 0 = -2*w - o - v, w + o = -2 for w.
-1
Suppose 2*q = 43 + 9. Solve 6*u - i = u + 28, 4*u = 2*i + q for u.
5
Let q = -9 + 20. Solve 4*u + 7 = -3*w - q, -3*w = -2*u for u.
-3
Let m(z) = 2*z + 27. Let i be m(-12). Let q = 1 - -4. Solve -r = -q*t + 10, t + i*r = 2*r + 8 for t.
3
Suppose 11 = -3*t + 32. Suppose -2*m + 1 = -t. Solve -31 = -2*r + 5*o, -5*r - m*o = 4 + 1 for r.
3
Let t(y) = y**2 - 4*y - 2. Let l be t(5). Suppose 0 = -4*k + 9*k - 25. Solve 0 = s + h - 5, -k*s + 3*h = h + l for s.
