 0 for t.
4
Let v(x) = -x**2 + 2*x - 1. Let w be v(3). Let c be ((-4)/1 + 2)*w. Solve -t - 3*b + c*b = -24, 4*b + 15 = 5*t for t.
-1
Let q = -45 - -50. Solve -2*c + q*c = 4*o + 22, -5*c + 2 = 2*o for c.
2
Suppose 0 = 5*x - 4*n + 2 - 1, 5*n = 20. Suppose -x*g = -g + 5*q + 14, -2*g + 2 = q. Solve u = 5*a + 3, 0 = -0*u - g*u - 6 for a.
-1
Let p be (-8)/(-12)*(-30)/(-4). Solve 3*v - 3*k - 12 = 7*v, -p*k + 3 = -v for v.
-3
Suppose -3*w + w - 3*r + 9 = 0, -3*r = -5*w + 54. Solve -x - w = -k + 2*x, -5*k = -x - 3 for k.
0
Let m(s) = -10*s. Let x be m(3). Let w be -2 - (x/3 - -3). Solve 2*n - 25 = -2*n + w*q, -20 = 2*n + 4*q for n.
0
Let k = 41 - 33. Solve 3 = -5*f + k, -2*f = 2*s for s.
-1
Suppose -4*f = 2*j - 40, 3*f + j - 27 - 2 = 0. Suppose -2*d + 27 = f. Solve -h = -s - 5 - 0, -5*h + d = 3*s for s.
-2
Suppose -8*r = -5*r - 9, -3*n - 4*r + 18 = 0. Solve -l + 4 = 2*j + 9, 2*j + 20 = n*l for j.
-5
Let j = -10 - -15. Suppose 4*h - 5*h + 4 = 0. Suppose -7*l - h = -9*l. Solve 0 = w - l*w + j*s - 28, s + 4 = -3*w for w.
-3
Let k = 146 - 144. Solve -k*y = y + 5*u - 1, -5*y + 15 = -5*u for y.
2
Let p be -1 + (-51)/(-6)*-2. Let b = -14 - p. Solve 3*y + 1 = 3*u - u, -b*u = y + 19 for y.
-3
Let d = -10 - -16. Let q be (d/4)/(1/2). Suppose q*k - 10 = 5. Solve -3*l = l - k*p - 3, 0 = 5*l - 5*p for l.
-3
Suppose 4*u + 20 = -12. Let w = u + 2. Let v = w - -10. Solve y = 3*k - y + 11, 5*k + v*y = -11 for k.
-3
Suppose 0 = -s - 5*z - 11 + 3, 5*s = -z - 64. Let q = s + 18. Suppose 4*g + 4*x = 4, 16 = -g + 3*g - q*x. Solve g*b = 4*r - 5, -5*r + b = -0*b - 20 for r.
5
Let i(j) = 3*j**3 - 2*j**2 + j. Let d be i(1). Suppose -d*h - 12 = 2*t, 4*t = 2*t - 5*h - 21. Let z = t + 6. Solve k = -n - 9, 0 = -2*k - z*n - 7 - 15 for k.
-5
Let h be (36/(-21))/(2/(-7)). Let c be 15/h + (-1)/(-2). Solve -3*j + 7*j + 3*s - 21 = 0, -4*j + 5*s = c for j.
3
Suppose -4 = 4*w - 20. Solve -4*v + 0*v = 2*o - 16, -4*v + 4*o = -w for v.
3
Let y(m) = -3*m**3 - 2*m**2 + 2*m + 3. Suppose 6 = 5*u + 16. Let x be y(u). Solve -5*p = -x, 4*g + 14 = 5*p - 5 for g.
-1
Suppose 2*h + 252 = 6*h. Suppose -p = 2*a + 2*a - h, 3*p - 84 = -5*a. Solve 4*k + 20 = -4*m, 3*m + a = -3*k + k for k.
0
Let m(n) = -2*n + 7. Let d be m(5). Let x be (-1 - (-1)/(-1)) + 4. Let h be ((-8)/d)/(x/3). Solve 0 = 2*i + 4*a + 6, 4*i - h*a + 1 = -11 for i.
-3
Suppose -4*h - 9 = -33. Solve -c = 4*z + h + 1, -13 = -4*z - 5*c for z.
-3
Suppose v - 20 = -3*v. Suppose -2*b + 2 = -3*d, v*d - 3*d - 24 = -5*b. Solve -3*m - 3 = -3*h, d*h = 4*h + 4 for m.
-3
Let l(k) = -k**2 - k + 3. Let g be l(-4). Let c be (-20)/(-6) - 6/g. Solve -5*y = b - y - 20, -c*y = -20 for b.
0
Let p(n) = -n**3 - 7*n**2 - 7*n - 4. Suppose -o = 1 + 5. Let i be p(o). Solve q - 4*m + i = -13, -m = -3*q - 12 for q.
-3
Let g = 36 - 33. Solve g*t - 6 = -18, 4*t = -x - 11 for x.
5
Let n be (-11)/((-22)/12) + -1. Suppose -5 - n = -l. Let p = -3 - -7. Solve -3*i - l = -i, 0 = 2*y - p*i - 24 for y.
2
Suppose -5*n = 2*g - 2, 0*n - 5*n - 28 = -3*g. Let m(v) = -v**3 + 3*v**2 - 2*v. Let u be m(2). Solve 3*p = p - 2, u = -a - p - g for a.
-5
Suppose 3 = w - h - 3*h, -3*w = -h - 9. Suppose 6 + 6 = 2*l. Solve 4*o = -w*q - 9, -2*o - 3 = -l*o + q for o.
0
Let m(y) = -y**2 - 7*y + 8. Let r be m(-8). Solve -3*l - 5*f = r, -2*f = -2*l - 5*f for l.
0
Let w be 2/(0 + 3 + -2). Solve 3*u - 16 = 4*y, -w*u - 2*y + 4*y = -10 for u.
4
Suppose -m + 22 = -j - j, -5*j + 3*m = 55. Let k = j - -15. Let d(i) = i**2 + 3*i + 3. Let o be d(-3). Solve -2*b - 22 = -o*c, c + k*c - 10 = -2*b for c.
4
Let k(m) = 11*m**3 - m**2 + 4*m - 3. Let p be k(1). Solve 2*t + p + 1 = 4*a, 0 = -a + 5*t + 12 for a.
2
Let k(r) = 5*r**3 - 3*r**2 + 2*r + 3. Let y be k(3). Let f be y/4 + (-3)/12. Let z be 1/1*(-15)/(-5). Solve -z*v = -4*t - f, 7 = -v - 3*t - 5 for v.
3
Suppose 4 = -t + 14. Solve -4*r = -3*l + l - 20, -2*r = 2*l - t for r.
5
Let n(b) = b. Let o be (2/(-1))/((-3)/9). Let m be n(o). Let t(d) = 2*d - 7. Let w be t(m). Solve w*c + 12 = -3*h + 36, 0 = -2*h + 3*c - 3 for h.
3
Let m(z) = z + 18. Let w be m(-11). Solve 0 = -4*o, -5*o - 8 = -5*y + w for y.
3
Let d be 6/2 + (8 - 28/(-7)). Suppose -4*t - 4*i + 28 = 0, -i = -t - 4*i + 11. Solve 2*u - 4*s = t*u + 15, 3*u - 5*s = -d for u.
-5
Suppose -f + 3 = -3. Let l be 2 + (-4)/f*-3. Solve 5*z - 4*a = 37, 3*z = -a + 16 - l for z.
5
Suppose o + 20 = 5*x - 0*o, 4*o - 20 = -5*x. Let v be (x - 1)/((-3)/(-5)). Let w be 52/10 + (-7)/35. Solve 0 = d + v*n - 2, w*n = -0*d + 2*d + 11 for d.
-3
Let o be 22 + -3 - 2*1. Suppose 0 = -3*l + 2*d + 1, l - 2*l + 5*d - o = 0. Suppose -l*a = a - 28. Solve -2*s + 7*s = -3*i + a, 3*i - 11 = -s for s.
-1
Let c be 1 - -2 - 2/2. Let a(t) = -6 - t**c + 5*t + 6*t**2 - 4*t**2. Let n be a(-6). Solve 4*d + d + 3*s - 31 = n, d = 5*s - 5 for d.
5
Let j = -27 - -348. Let b = -130 + j. Suppose 2*d + 3*q - 79 = 0, 0*q = 4*d - 5*q - b. Solve -5*h + 11 = 4*l + d, 0 = -3*h + 2*l - 11 for h.
-5
Suppose 13 = 3*d + 2*d - 2*q, d - 6 = -3*q. Solve 3*m - 2*y - 9 = 0, 0 = -d*m - 4*y + 9 for m.
3
Let y be ((-3)/(-2))/((-12)/16). Let f = y + 4. Solve 4*o + 2*z - 2 = 5*z, -f*z - 6 = 2*o for o.
-1
Let y be 4*6*(-1)/(-4). Solve 2*c - 7 = 3*r, y = 2*c - c + r for c.
5
Suppose -4*o + 5 = -2*v - 3, -4*v = -16. Suppose -2*a = 8, o*b - 2*a + 6*a = 72. Solve -17 = 2*m + 5*x, 3*m + 2*x = 6*m - b for m.
4
Let a(x) = -5*x + 1. Let o be a(2). Let u = 14 + o. Solve q + u*n - 20 = 0, 5*n - n - 45 = 5*q for q.
-5
Suppose -2*w - 3*i + 3 = -7, 3*w - 15 = -4*i. Let o(j) = j + 10. Let h be o(-6). Solve -w*z - 11 = h*b, 0*z = -b - z - 3 for b.
-4
Let p(d) = -d + 4. Let j(t) = t - 5. Let f(l) = 3*j(l) + 4*p(l). Let a be f(2). Let v be (-5 + 6)/(a/(-3)). Solve -4*s - 12 = s + 4*w, 3*s + v*w = -9 for s.
0
Suppose -t + 17 = -5*q, 0*t = t - q - 1. Let x be (-3 - t)/(2 - 0). Solve m + 4*u - 24 = 0, x*u = -2*m - u + 13 for m.
4
Let p = 10 + -7. Let s = -3 + 6. Suppose -5*h - 6 = -4*h + 2*k, -5*k = s*h + 14. Solve -4*u - 1 = -4*j - u, p*j - 5*u + h = 0 for j.
1
Suppose 0 = 4*i - 15 + 3. Let w be 0 - i/(6/(-8)). Solve 4*h - 2*q - 1 = 5*h, -w*h - 3*q + 1 = 0 for h.
1
Suppose 4*v - 9*v + 15 = 0. Let a be (v + 0)/((-2)/(-2)). Solve a*k + 6 = -z, 0*k + 4*k + z = -8 for k.
-2
Let c = 8 - 5. Suppose -5*z - 12 = -2*b, -b + 4*b = c*z + 36. Suppose 3*n + 2*n = -2*k + 33, -k + 4*n = b. Solve 3*h - h - 2*a + 4 = 0, -2*h - k*a = -2 for h.
-1
Let f = 33 - 33. Solve f*h = -4*s + h + 17, 2*h = 5*s - 19 for s.
5
Suppose -i + 1 = -1. Let m be (-1)/i - (-105)/14. Solve 3*k = -3*r + 6, -k - r + m = -5*r for k.
3
Suppose 2*k = 3*d + 3*k + 4, d - 3*k - 12 = 0. Solve d = -3*s + 2*s - 5*j - 13, 0 = -3*s + 4*j + 18 for s.
2
Let w(y) = -y**3 - 5*y**2 + 3*y - 1. Let x be (-3)/(-2)*(-88)/6. Let v = x + 16. Let l be w(v). Solve -5*k + 2 = -4*b, 4*k = -5*b + 3*k - l for b.
-3
Suppose 4*f = 2*f. Let d = 8 - f. Suppose d = c + 3*c. Solve 0 = 2*y + 4*w + 1 + 5, 2*y + c*w - 2 = 0 for y.
5
Suppose -8*q = -4*q - 20. Suppose q = 2*y - 3*d, -3*y + 6*y - 4*d = 9. Suppose 0 = 17*a - 223 - 32. Solve -3*v + 8*v = -5*j - a, y = -3*v - j for v.
-2
Suppose -m = -0*m + u + 2, -12 = m - 4*u. Let k be 1 + (0 - 1) - m. Let f be (0/6)/(0 - -1). Solve -k*p - 13 = -5*v - 6, f = -p - v + 5 for p.
2
Let u(a) = -a - 4. Suppose -v = 5*l + 16, -5*l + 5*v - 13 = 27. Let q be u(l). Solve -12 = 4*z + 5*j, -3*z + q*j = -2*j + 9 for z.
-3
Suppose 17 + 8 = 5*x - 5*z, -2*x + 4*z = -4. Solve 0 = -2*q - x, -4*c = -5*c - 2*q - 11 for c.
-3
Suppose -4*r + 3*t = -15, -2*r + 0*t + 3*t + 9 = 0. Solve -3*a + 4*s = 26, 0 = -3*a + a + r*s - 19 for a.
-2
Suppose -3*q - 5*a = -79, 3*q - 89 = 3*a + 2*a. Let r = -23 + q. Solve -v = -5*t - r*v - 9, 0 = 4*t - 4*v for t.
-1
Let x = -8 - -13. Suppose -x*f + 14 - 5 = -4*y, 26 = 2*f + 4*y. Solve f*l + 26 = -3*u, 5*l - 3 + 23 = 0 for u.
-2
Suppose 10 = 2*o + 3*o. Let x = o + 1. Solve 0*p - 3*d = x*p + 21, p - 3*d - 1 = 0 for p.
-5
Suppose -4*x - 3*r = 0, -4*x + 0*r - r = 0. Solve -9 = -3*p, 3*q + 0*q - 2*p - 3 = x for q.
3
Let z = -26 + 14. Let x = -8 - z. Suppose 5*r = 66 + 4. Solve -4*f - q = 2*q - 22, x*f - q = r for f.
4
Let m be 6 - (0 - (5 + -4)). Solve 2*u + 3*u + 5 = 5*a, u + a + m = 0 for u.
-4
Let c = -138 + 194. Suppose 0*i = -2*i + c. Suppose 0 = k + 3*k - i. Solve -4*l - 2*a - 8 = 6, k = -5*l + a for l.
-2
Let 