 u for t.
0
Let v(s) = -s**3 + 6*s**2 + 70*s - 6. Let f be v(-6). Solve q - 1 = -2, 0 = -j - 4*q - f for j.
-2
Let r be (2 + -2)*(-2 - -1). Let w be (-3 - (-3 - -2)) + 6. Let k = -3 + w. Solve 5*c + 4*m - k + 22 = r, -19 = 3*c + 4*m for c.
-1
Let i be (-86)/(-8) + 1 - 9/12. Solve -n + c + 5 = 0, -5*n - 5*c + c = i for n.
1
Suppose 92*l + 84 = 106*l. Solve -b - 3*t - 8 = 0, l*t = 2*t - 16 for b.
4
Suppose -q = 4*q - 15. Let v be 6/q - (-4)/(-1). Let b be -7*(12/7 + v). Solve z = b*g + 2 - 1, -2*z = -3*g for z.
-3
Suppose -4*d = -0*d - 3*m + 15, -m + 5 = 4*d. Solve -t + 5*o - 17 = d, t + 3*o + 0*o - 7 = 0 for t.
-2
Suppose -5*l = 3*y - 7 + 6, -55 = -5*y + 5*l. Solve 0 = -5*s - 3*g - y + 12, -s - 2*g - 6 = 0 for s.
4
Suppose -11*r = -6*r - 6*r. Solve -k = 0, 3*u = -3*k - 3 - r for u.
-1
Suppose 3*q - 15 = -t, 0*t - 4*q + 16 = t. Solve -5*r + 5 = 4*l - 2, 3*r = -5*l + t for r.
-1
Suppose -v - 2 + 6 = 0. Solve c - 4 = v*w, 3*w + 3 = 4*c + c for w.
-1
Let b = -414 + 234. Let i be (-64)/(-30) + 24/b. Solve 2*f = 2*h, 2*f + i*f - 8 = 0 for h.
2
Let v = -78 + 72. Let c = v - -10. Solve 4*z = 12, 2*j + 3*j = -c*z + 17 for j.
1
Let c = 3 + 2. Suppose 2*u - p + 4*p + 15 = 0, -u + 25 = -c*p. Suppose 7*n = -u + 14. Solve 0 = -n*v - 2*m - 12, -2 + 8 = v - 2*m for v.
-2
Suppose -3*u - 14 = -2*p, -4*p + 2*u = -0 - 20. Solve 5*n + p*l - 8 = 9, -3*n + 9 = 2*l for n.
1
Let x(a) = a**2 - 3*a - 94. Let c be x(-9). Solve -3*j + l = c, -3*j - 4*l - 23 = -4 for j.
-5
Suppose 16 = -4*f + 56. Solve z - 6*z + 50 = 5*h, -3*h = -z - f for h.
5
Let d = -273 + 273. Solve 2*g = 0, -12 = -d*t - 4*t - 2*g for t.
3
Let a(x) = x**3 + 3*x**2 - 4*x + 4. Let l be a(-5). Let y = 36 + l. Suppose 8*z - 28 = z. Solve -z*t = -2*b + 10 + 16, -5*t = 5*b + y for b.
3
Let c = 80 + -52. Solve 5*r + 6*s + 32 = 3*s, 4*s + c = -3*r for r.
-4
Suppose v = -3*v + 12. Suppose 0 = -s - v*s + 20. Suppose -2*l + 5*l = -s*y + 70, 5*l + 4*y = 95. Solve -5*i = -0*i + f - l, -2*f + 3 = i for i.
3
Let i be (-2)/(-8) + (-770)/(-280). Solve g + i = 0, 0*g - 3*g - 18 = -3*x for x.
3
Let k be 2/(-16) - (-22 + (-2718)/(-144)). Let m = 1 + -1. Solve -5*v + 2*v - 5*a = k, m = -4*v - a + 13 for v.
4
Let h be -6 - (25/5 - 13). Solve 0 = -h*b - 3*w + 14, 6*w - w - 10 = 0 for b.
4
Suppose 0*z = -3*z + 2*z. Suppose z = -b, h + 0*h - 2 = -4*b. Solve -5*r = -3*g - 4, 5*r - h*r - 3*g - 6 = 0 for r.
-1
Let i be (-3)/(-3) - (3 + 4 - 25). Solve 2*r + 14 = 4*p + 4*r, -i = -4*p - 3*r for p.
1
Suppose 207*u + 90 = 217*u. Solve -5*h - u = 5*r - 2*r, r = 2*h + 8 for h.
-3
Suppose 0 = -y - 6*y + 4*y. Suppose -2*r - r + 41 = m, y = 2*r - 3*m - 42. Solve r = -5*u + 5*c, 5*u - 4*c + 21 = -2*c for u.
-5
Let h be 24/(7 + -11) + 6. Solve -2*c + 5*b = h, c - 5*b = -3*b for c.
0
Let h = 25 - 23. Let m be 32/6*(-3)/h. Let c be (-51)/68 + (-6)/m. Solve 2*n - 1 - 22 = 3*z, c = -3*n + 12 for z.
-5
Suppose 5*r = -2*y - 3, y + 0 = -2*r - 1. Let g be (r - (1 - 4)/3)/(-3). Solve -3*w + 5*s + 4 - 12 = g, -4*w - 3*s = -28 for w.
4
Let x be 8*3/6 - 0. Let u be 10/(-20)*x*-2. Solve -25 = z - 0*y + u*y, 3*y = -4*z - 35 for z.
-5
Suppose 2 + 1 = -y - q, 0 = -2*y + 2*q + 6. Suppose -4*i + 15 = 2*t - 3*t, y = -i + 3*t + 1. Solve -5 = 5*u, -i*b + 10 + 3 = -u for b.
3
Let j(z) = z**2 + 18*z - 43. Let y be j(-20). Let t be (-3 - -2)*(y + 6 + -5). Solve -l - 4*k + 17 = 0, -t*l + k - 2 = -0 for l.
1
Suppose -21 = -3*q + 3*s - 0*s, 2*s + 8 = 0. Let a be -1 - q - (0 - 4). Solve -4*v + h - 12 = 0, -3*h - h = a for v.
-3
Let s(d) = -20*d + 1. Let v be s(-2). Let h = v - 21. Let c(r) = -r**3 - 5*r**2 + r + 11. Let p be c(-5). Solve -h = 4*k, -m + p = -5*k - 16 for m.
-3
Let l(i) = -2*i**3 + 9*i**2 + 18*i. Let h be l(6). Solve r + 0*x + x - 1 = h, -4*r = -3*x - 11 for r.
2
Suppose 4*j - v - 20 = 0, 5*v = 5*j - 9 - 1. Solve -4*n + 16 - j = -2*m, 5*m = -5*n + 50 for n.
5
Let v(s) = -2*s**2 + s + 6. Let d be v(2). Let o be d/(-1 + 3 + 0). Solve -q - 16 = -0*z - 4*z, 2*q = o for z.
4
Let h = -10 - -56. Let q = h - 43. Solve -a - i = i - 7, -5*a + q*i = -9 for a.
3
Suppose -w - 1 + 2 = y, 0 = -5*y + 4*w + 32. Solve -3*r + 10 = y*g, -5*g + 2*g = 3*r - 6 for r.
-2
Suppose 5*v - 15 = 25. Suppose -4*w + 0 = -v. Solve 3*h = -h + 5*l - 16, -w*h = -2*l + 6 for h.
1
Suppose -2*k - 2*t + 14 = 0, -26 - 4 = -4*k - 5*t. Solve -n - l = -2*l - 3, 4*n - k*l - 11 = 0 for n.
4
Suppose 7*s = -3*s + 30. Let t(z) = -3*z**2 + 10*z - 1. Let a be t(s). Solve -g - 6*c = -2*c - 8, 0 = -a*g - 5*c + 10 for g.
0
Suppose 4*c + c - 10 = 0. Suppose -5*y = w, 2*w + c*w - 16 = -4*y. Let g be (-4 - -1)/((-3)/w). Solve -5*p + 5 = -g*n, -2*n + 21 = p + 2*n for p.
5
Suppose -4*h + 289 + 175 = 0. Suppose -51 = -2*i + w, w - 1 = -4*i + h. Let u = i - 24. Solve -u*p + 2*v - 4 = 10, -v = -3*p - 12 for p.
-5
Suppose -50*k - 40 = -58*k. Let w be 1 - (0 - (-2)/(-1)). Suppose 5*n - 25 = -3*u + 17, -2*u = -w*n - 9. Solve -u = -k*g + l, g - 2*l - 4 = 5 for g.
1
Let z be (-18)/(-63) - (-164)/14. Let w = z - 11. Let q be 21/6 - w/(-2). Solve 4 = 2*o - x, q*o + 3*x = o + 6 for o.
2
Suppose 21*i - 154 + 7 = 0. Let k(d) = -3*d. Let y be k(-1). Solve -o + 4*o - y*j = -24, -2*o = j + i for o.
-5
Let s = -361 - -366. Solve 2*z - 2*k + 2 = 0, 5*k + 35 = -s*z - 0*k for z.
-4
Let r be 4/(-96)*-99 - (-2)/(-16). Solve b - 3 = c, -3*b - r*c - 11 = 15 for b.
-2
Let q(w) be the first derivative of -w**2 - 8*w + 10. Let d be q(-8). Solve -5*t = -0*n - 3*n - 9, 4*n = d for t.
3
Let b(w) = w**2 + w + 55. Let f be b(0). Suppose 7*y - 2*y = -r + f, 2*y = -r + 25. Solve z = 3*z - y, -2*j + z + 1 = 0 for j.
3
Suppose 0 = 2*v + 147 - 151. Solve 0 = k - 5, r + 11 = v*r + 2*k for r.
1
Let l = 35 + -31. Suppose -5*h + 5*p + 15 = 0, l*h - p - 1 - 2 = 0. Solve m + 4*m + 5*b - 5 = 0, h = 5*m + 3*b - 3 for m.
0
Let o be 2*2 - (-7 + -3)/(-10). Solve -5*p + 1 + 9 = -5*k, k = o*p + 2 for p.
-2
Suppose 4*i = 4*b + 28, b - 1 = -5. Solve 1 + 5 = -q + 2*s, -i*q + 27 = 3*s for q.
4
Let u = -31 - -17. Let i be (-8)/u - 64/112. Let z = 10 + -7. Solve z*s = -2*o - i*o - 2, 8 = -o + 2*s for o.
-4
Let v = 26 - 40. Let r be (-262)/v + 8/28. Let y be 0 - -8 - 3 - 12/3. Solve 5*k - 2*f + r = 0, 4*k + 5*f - y = -3 for k.
-3
Suppose 19*y - 67 - 9 = 0. Solve -21 = -5*s + 2*d, 3*d - 2 = y for s.
5
Let h(z) = -10*z - z + 9*z + 19. Let q be h(9). Solve 9 = -3*a - 2*k, -a - k + q = k for a.
-5
Suppose 5*v = 5*v - 7*v. Suppose 3*c + 7*f - 2*f = -5, 2*f - 7 = -3*c. Solve -2*l = v, c*s + l + 10 = -0*l for s.
-2
Suppose 2*i - 4*b = -122, -b - 30 = i + 19. Let u = i - -141. Suppose 3*n + u = 7*n. Solve -5*x - 6*z - n = -3*z, -5*x + 2*z - 27 = 0 for x.
-5
Let m = -405 - -410. Solve -5*t + 4*t = -2*o + 2, -3*o = -m*t - 10 for o.
0
Let r = -12 + 12. Let m = r - -5. Solve -m*j - 3*c = -5*c - 10, -5*c + 29 = j for j.
4
Suppose 29*g + 476 = 46*g. Solve -3*i + 5*y = -g, -2*i + i + 6 = -y for i.
1
Suppose s = -6*s + 56. Let x(z) = -2*z - 1. Let o = 7 - 9. Let k be x(o). Solve -2*g + 3*r = s, -4*g + 0*r - k*r = -20 for g.
2
Let f be 7 + 0/(2 - 5). Suppose 2*u - f = -31. Let o(s) = s + 17. Let c be o(u). Solve -4*r - 5*g = -1 - 1, -16 = -2*r + c*g for r.
3
Let r be (9/15)/((-4)/(-60)). Let i = r + -7. Let z be i*(0 - -1)*1. Solve 0 = -z*c - 4*o + 21 + 1, -4*c + 3*o = 0 for c.
3
Let j(h) = -4*h - 8. Let l be j(-7). Let o be (-16)/6 - l/(-30). Let a be ((-1)/o)/((-1)/(-28)). Solve -x + 3*m + a = 0, -2*x = -5*m - 0*m - 23 for x.
-1
Suppose y + 2 = -2*s, -5*y + 3*y - 8 = 0. Let d = -3200 + 3200. Solve -4*m - j + s = 3, -2*m + 5*j - 12 = d for m.
-1
Suppose -3*t - 2*t = -25. Suppose -7*h + 6 = -t*h. Solve -h*l + l - 4 = -3*w, -4*l = 4*w - 12 for w.
2
Suppose -31*p = -35*p + 48. Suppose -p = -5*m + 8. Solve m*a = n - 3, a + 4 = -n + 2 for a.
-1
Suppose 24*g - 97 - 23 = 0. Solve 5*k - 20 = 0, -z - z + 28 = g*k for z.
4
Let a = -104 + 110. Let u(t) = t**3 - 5*t**2 - 5*t - 4. Let h be u(a). Solve 0 = 3*x + h*v + 3*v - 37, 3*x + 13 = 5*v for x.
4
Let n be 40/12*9/6. Suppose 0 = n*o + 6 - 26. Let t(l) = l**2 + 4*l - 7. Let u be t(o). Solve 4*b = -3*i + 32, -2*b - 5*i + u = -b for b.
5
Let f be (-4)/(-8)*(4 - 68). Let a = f - -35. Solve 6 = -a*q - 3*v - 6, 3*q + 9 = -2*v for q.
-1
Let r = -2283 - -2286. Solve m + 4 = q, -r*m + 0*q - q = 8 for m.
-3
Let r(u) = -27*u - 106. Let y be r(-4). So