u for t.
-1
Let o = 137 - 129. Solve 5*a = -2*t - o, -2*t + a + 3*a - 8 = 0 for t.
-4
Let g = 449 + -449. Solve -2*b = 3*o + 3, 4*o - 5*b = -g*b - 27 for o.
-3
Suppose -21*w + 29*w = 0. Suppose -2*f = 1 - 11. Solve -b + f*y + 10 = w, b - 2*y - 4 = 4*b for b.
0
Let y = -29 + 27. Let q be 8 + -2 - 5*y/(-5). Solve 2*n = q*w + 6, -n + w - 11 = -3*n for n.
5
Suppose 8*n = 5*n - 15. Let q = n + 7. Suppose -c = -q - 4. Solve 2*j = 4*v + c, -1 = -3*j - 2*v - 0 for j.
1
Suppose 2*h + 29 = 2*f - 49, 2*f - 73 = 3*h. Suppose 11*c - f = 77. Solve 4 = -3*o + 4*q + c, -o - 5*q = -15 for o.
5
Let s = 36 - -89. Let y be (-2)/(-9) + s/45. Suppose 2*w - 4*q - 26 = -2, 19 = -3*w - 5*q. Solve m = -w*j - 5, m - 3 = -j + y*j for j.
-2
Let m(i) = -i**3 + 6*i**2 - i + 5. Let b be m(6). Let r be (-24)/(-8) + 1 + b. Suppose -r*a + 3 = -3. Solve -5*u = -5*q + a*q + 30, u = q - 8 for u.
-3
Let l(x) = x**2 + 10*x - 2. Let z(t) = 1. Let u(a) = l(a) + 6*z(a). Let y be u(-10). Solve 20 = 4*k - y*q, k + 5*q = -9 + 2 for k.
3
Let d(j) = j**2 - 2*j + 3. Let z be d(3). Suppose -7*r + 22 = -z. Suppose 0 = -r*f - 3 + 7. Solve -4*x - 10 = n + n, 0 = 4*x - n + f for x.
-1
Let b be 0/((2/(-3))/(12/18)). Solve -5*o - 5*x = b, x - 3*x = o + 5 for o.
5
Let p = 18 + -18. Suppose p = -3*d - 3*d + 24. Solve 8 = d*n - 2*n, 3*n - 8 = v for v.
4
Suppose -4*g - l + 29 = 0, -l - 4*l + 25 = 0. Let n be ((-32)/g)/(2/(-6)). Suppose 11*f = n*f. Solve 2*r - 4 = f, -2*m - 8 = -5*r + 8 for m.
-3
Let i = -976 + 986. Solve 0 = -g + 2*g, 3*g = 5*j + i for j.
-2
Suppose 5*p = -2*w + 14, -6*w + 3*w = -p + 13. Solve -5*s - p*c + 23 = 2, c = 2*s + 2 for s.
1
Let d = 0 + -4. Let h be 1/3*(2 - d). Let y be 7 + h - (-4)/(-2). Solve -4*t - 12 = i - y*t, -4*t = -2*i - 14 for i.
3
Suppose -1 = w - 3. Solve -3*r - 11 = 4*o, 5*r + 22 = w*o + r for o.
1
Let d = -148 + 150. Solve -r - k + 6 = 2*k, 0 = r + k - d for r.
0
Let j(l) = l**3 + 3*l**2 + 2*l + 1. Let n be j(-3). Let c be (-1)/(-5)*-6*n/2. Solve 5*f + c*d - 5 = 0, 0 = 2*f + 3*d - 2*d - 2 for f.
1
Let q(v) = 2*v**2 - 20*v + 22. Let h be q(9). Suppose 0*t + h*t = 0. Solve -2*r + t*w + w + 9 = 0, 0 = -3*r + w + 14 for r.
5
Let o(c) be the second derivative of c**4/12 + 11*c**3/6 - 5*c**2 + c. Let i be o(-12). Solve -14 = -i*f - f + r, -4*r + 4 = 0 for f.
5
Let s(t) = 3*t**2. Let c be s(-2). Let d = c + -8. Solve -q + d*b - 25 = -4*q, 5*q - 19 = -b for q.
3
Let k = 17 - 17. Suppose 6*b - 2*b = k. Solve b = -2*q - p, -p - 2*p - 6 = 0 for q.
1
Suppose 0*x + 3*x + 18 = 3*q, -3*q - x = -14. Let o = -39 + 43. Let l(s) = -3*s + 14. Let h be l(o). Solve 0 = -q*v + 15, h*y - 2 = -v + 3*v for y.
4
Let o = 76 - 127. Let r be ((-136)/o)/((-2)/(-3)). Solve -2*k - 4*h - 6 = 0, 4*h + 0 = r for k.
-5
Let l(d) = 16*d + 98. Let a be l(-7). Suppose 8 + 20 = 2*m. Let r = m + a. Solve r = 3*f - 0 + 3, 0 = -y - 2*f - 6 for y.
-4
Suppose -17*h + 11*h = 0. Solve -s = -4*g + 13, 2*s + h*s - 7 = -3*g for s.
-1
Let y be 24/7 + 114/(-266). Solve 4*g = p + 9, 0 = -y*p + 4*g - 11 for p.
-1
Suppose 0*k = 35*k + 385. Suppose b + 4*r + r = 44, 2*b - 81 = -3*r. Let i = k + b. Solve -3*x - 5*g = i, 0*x = -4*x - g - 9 for x.
-1
Let a(r) = -r**2 - 31*r - 181. Let w be a(-23). Solve -z = 2*z - 3, -2*z + w = -t for t.
-1
Let a = -1116 + 1121. Solve f - 2*h - 4 = 0, 0*f + 8 = 3*f - a*h for f.
-4
Let g = 880 + -873. Solve -5*o = 2*l - g, -3 = 4*o - 7*o for l.
1
Suppose -3*z - 4*j = -27, 3*z + 0*z - 6 = 3*j. Solve -5*h = -4*v + 25 - 9, 0 = 5*v + z for h.
-4
Suppose 0 = 3*k + 2*k - 5. Let d be (-162)/(-22) - 1184/3256. Solve g - d = 4*u, u = g + k - 5 for g.
3
Let f = 4 - 2. Suppose -2*t = -t + f*u + 9, -5*t + 3*u + 20 = 0. Let g be 118/12 - t/(-6). Solve -4*k - 5*c = 13, 0 = -3*k - 5*c - 6 - g for k.
3
Let r(v) = v**2 + 2*v. Let w be r(-2). Let y be (w - 1)/((-3)/21). Solve 5*s + 4*f = 22, 0 = 5*s - 6*f + 5*f - y for s.
2
Suppose -u = 5*g - 3, g = 2*g - 2. Let j = u + 10. Solve -3*d = 5*z + j, d + 2*d = 2*z - 3 for z.
0
Suppose -5*c = -0*c - 15. Let j = 16 - 13. Solve 3*a + j + 21 = 3*g, -c*a = -4*g + 28 for g.
4
Suppose 0 = 7*i + 21 + 7. Let s(l) = l**3 + 4*l**2 - l + 2. Let t be s(i). Solve -5*u + c = -2*u + 2, -u + t = c for u.
1
Suppose -4*c = 3*x - 20 - 20, -4*x + 75 = c. Solve -2*d - 6 - 2 = t, x = 2*t - 5*d for t.
0
Suppose -q - 49 = -5*n, 3*n + 6 = -3*q + 21. Suppose -10 = n*z - 14*z. Solve 2*u + 14 = 5*k, -k = -z*u - 0 - 6 for u.
-2
Let z(d) = d**2 + 5*d - 12. Let f be z(2). Suppose 0*p - p + 2*w = 6, 2*p - 13 = -w. Solve -10 = f*t, h + 9 = -p*t - 7 for h.
4
Suppose 0*c = 4*b - 4*c - 48, 3*c - 100 = -5*b. Suppose -3*q - b = -y, 0 = -y - q + 1. Solve -4*i + y*v = -19, i - 2*v = 3*v + 16 for i.
1
Let u(f) = 33*f - 3. Let l be u(3). Let r = l + -87. Solve -3*j + 4*d + 0*d + 3 = 0, j + r = -2*d for j.
-3
Let y be (-17)/136*0*(-2)/(-4). Solve b - 3*l - 3 = -5, -5*b + 2*l - 23 = y for b.
-5
Let t = 16 + -5. Let z = t - 9. Suppose 3 + 7 = z*v. Solve -3*w = -2*h + 19, -3*h - w = -v*h + 9 for h.
2
Let n(g) = -4*g + 10. Let z be n(5). Let c be ((-68)/z)/(12/30). Solve -y - 3*b = 2*y + 21, -b + c = -5*y for y.
-4
Let c = -34 - -37. Suppose c*l = l. Suppose l = -w + 8 - 6. Solve w*y - 3*a + 10 = 0, 2 = 2*a - 6 for y.
1
Let z be ((-12)/12)/((-21)/4 + 5). Let t be ((-2)/(-4))/(2/4). Solve -z*b = 3*q + t - 0, -2*b = -q + 3 for b.
-1
Let y = 2229 - 2226. Solve -4 = y*k + 2*n - 4*n, -4*n - 20 = k for k.
-4
Let h(l) = -228*l + 460. Let t be h(2). Solve -a = 3*a + 4*v + 24, 4*a - t*v = 0 for a.
-3
Let z = 1 + 2. Let i be 1 + -3 + (-4 - (-1 - 2)). Let p(d) = -d**3 - 4*d**2 - 5*d - 3. Let l be p(i). Solve l*x - 1 = -u - u, -z*x + 2*u = 7 for x.
-1
Let h = 42 - 11. Solve 4*q - 2 = -14, h = -4*l - 5*q for l.
-4
Suppose -25*f + 66 = -3*f. Solve f*j = -2*h - 1, -j - 3*h - 3 - 2 = 0 for j.
1
Let l be (-16)/(-10) - (-6)/15. Let q(y) = y**2 + y - 2. Let d be q(1). Suppose -5*g + 12 + 18 = d. Solve l*p + r = 13, 2*r = -5*p + g*r for p.
4
Let f(m) = -3*m**3 + 4*m**2 + 3*m + 1. Let g be f(-2). Let o = 50 - g. Suppose -o*w + 10*w = -15. Solve w*a = -2*a - 3*n + 13, a = -n + 3 for a.
2
Suppose -4*v = -23 + 15. Suppose -v*n + 1 + 5 = 0. Solve -3 = n*j, -2*f - j + 0 + 3 = 0 for f.
2
Let q = 24 - 24. Suppose 4*n - 16 = -2*v + 4, q = -n - 4*v + 12. Suppose 2*f = 1 + 9. Solve -4*m - 25 = f*k, n*k + 3*m = 6*m - 20 for k.
-5
Let r(v) = -2*v**2 - 6*v - 5. Let s = 0 - 5. Let m be r(s). Let a = m + 27. Solve 0*b = 5*b - i + 24, -a*i = -8 for b.
-4
Let b = 845 + -843. Solve j = -b*f, f + 0*j = -j + 2 for f.
-2
Let r(s) = 3*s**3 - 28*s**2 + 11*s - 12. Let w be r(9). Solve -c + w*c + 9 = 2*h, -2*c = 5*h + 21 for h.
-3
Suppose 3*u + 0*u = -2*x + 3, 3*x = -2*u - 3. Solve 12 = u*i, -n - i - 16 = -4*i for n.
-4
Let d(c) = -c**3 - 6*c**2 - 5*c - 3. Let i be d(-6). Let p = i + -25. Solve 2*q - b = q - 1, -5*q - 26 = p*b for q.
-4
Suppose 4*i + 2*w + 6 = 6*i, -i + 5*w - 5 = 0. Solve 5*o - 3*n - n = 30, -i*o - 4*n = 10 for o.
2
Suppose -34 = -6*y + 3*y + 5*z, 3*y + 6 = -3*z. Solve -5*k - 5 = -y*x, 3*k = -2*k - 3*x - 35 for k.
-4
Suppose 6*p = 3*p + 12. Suppose 1 - p = -j. Solve 2*w + 5*a = -0*w + j, -4*w + 3*a = -19 for w.
4
Suppose 2*n + 2 = n. Let z = -6 + n. Let q be (-6)/(-15) + z/(-5). Solve -3*m - 15 = 0, 5*h - q*m = 3*m + 10 for h.
-3
Let w be (-304)/10 + 8/20. Let i be (-140)/w - 1/(-3). Suppose 2*f = -2*k + 40, -k - i*f - 6 = -22. Solve -3*j = p + 9 - 1, -j - k = 4*p for j.
-1
Let w = -456 - -480. Solve 0 = 3*q - n + 3 - 1, -4*n + w = 4*q for q.
1
Let c be (-2)/(-9) + (-48)/(-27). Suppose 0 = 4*o - c*o - 4. Suppose -2*h + 5 = -1. Solve o*s = 2*i - 4, -h*i + 0 = -4*s - 6 for i.
2
Let h be (8/36*-3)/((-3)/9). Suppose -4*w + 6 - 22 = 0. Let c = w + 16. Solve 0 = -4*j - h*f - c, 2*j + 4 = -j - 4*f for j.
-4
Let u = 16 + -13. Solve -j - h + 4 = 0, -2*j - u*h = -6*j + 16 for j.
4
Let l(p) = 2*p**3 - 6*p**2 + 2*p - 12. Let c be l(5). Suppose 111 = 5*j - 3*n + n, 0 = -4*j - 3*n + c. Solve z - 8 = a, 5*z = 4*z + 4*a + j for z.
3
Let x = 151 - 94. Suppose -54*c = -x*c + 9. Solve c*y + j - 18 = -2*j, 28 = 4*y + 5*j for y.
2
Let o be (-3)/(-7) + 135/(-315). Solve 2*c = -2*f, o*f = -3*f + 4*c for f.
0
Let x be (-11 + 1 - -8)*-10. Solve y = -4*y + 5*m - x, 4*y - 2 = -2*m for y.
-1
Suppose -4*p + 11*p = 21. Solve 5*l - 2*t + p = 6, t = -5*l + 6 for l