.
-3
Let s(l) = -6*l**2 + 170*l - 315. Let m be s(26). Solve 0 = 3*t - 5*q + 4, m*q - 54*q = -2*t - 1 for t.
-3
Let z be (-14)/(-133) + (-4 - 1020/(-57)). Let q(l) = -8*l + 114. Let p be q(z). Solve -8 = -4*i + j, 2*j = 2*i - 2 - p for i.
2
Let t = -2110 - -2114. Solve t*s = 3*f - 5 + 16, -2*s = -f - 3 for f.
-5
Let o = 30 - 11. Let v be (-3)/(-7) + 812/49. Let x = o - v. Solve 2*q = -2*t - q + 23, -2*t + x*q - 2 = 0 for t.
4
Let a(f) = -5*f - 7. Let g be a(-5). Suppose -10*n + 22 = -g. Suppose -5*h - 3*p + 5 = 0, -n*p - 13 - 11 = -h. Solve -k - 17 = -h*q, k + 10 = -5*q - 4*k for q.
3
Let r = 276 + -228. Let x be r/64*16/3. Solve -4*v - 19 + x = 3*p, 2*p - 2*v + 10 = 0 for p.
-5
Suppose -40*p + 25*p + 2261 = 118*p. Solve 3*s - l - 1 - 2 = 0, 0 = -s - 5*l + p for s.
2
Let v(c) = 449*c - 16609. Let n be v(37). Solve -n*t = 3*a, -402*t = -397*t - a + 19 for t.
-3
Let n = 4015 - 4013. Solve -s = 2*t - 0*s - n, 5*t - 5 = 4*s for t.
1
Let r(x) = 86*x - 14. Let q be r(1). Suppose q*s - 71*s = 12. Solve -3*m - m = -4*u - s, 0 = 2*u + 2*m + 14 for u.
-5
Let t be ((12/(-8))/(-3))/((-9)/(-54)). Suppose -25*h + 26*h = t. Solve -h*n - 5*u - 31 = -0*n, 5*n = -2*u - 20 for n.
-2
Suppose 10 = -3*n + 4*k, -3*k + 5 = -2*n + n. Let d = 2 + -2. Let g be ((-5)/n)/(-5)*(-4 + d). Solve v + t - 8 = -0*t, 14 = -g*v + 4*t for v.
3
Suppose 103*j + 41 = 4*x + 98*j, -5*x - 4*j = 0. Solve -w = -x*a + 4, -5*w - 15 - 5 = a for a.
0
Let s(j) = -42*j + 48. Let f be s(-8). Let u = f - 372. Solve 4*d = u, -4*d - d = 5*z - 15 for z.
0
Let c be (7*1)/(2/6). Let l = -254 + 256. Solve 4*b + c = -4*r - 7, -l*b + r = 2 for b.
-3
Let y(q) = -166*q - 69. Let v be y(-4). Let b = -592 + v. Solve -2*x = -4*f - 4, -b*f = 5*x - 7*f - 10 for x.
2
Suppose -3*a - 21 = -3*i, 61*i + 2*a = 58*i + 1. Solve -i*o = 0, 4*y + o = y + 9 for y.
3
Let h = 12 + -8. Suppose 215*x - 143 = 368 + 134. Solve h*l = 4*z + 32, -x*l - z - z = -4 for l.
4
Let t = -9843 + 9846. Solve -5*c + 9 = t*u, 12*u + 3 = 13*u for c.
0
Let s(q) = -39*q + 4. Let v be s(0). Suppose -v*m - 26 = -5*n, -3*n - 127 = -5*m - 153. Let i = -1 - -1. Solve 3*w = i, w = 2*f + 2*w - n for f.
1
Let d(c) = -c**3 + 10*c**2 - c + 10. Let f be d(10). Let s be f*2/1*2/4. Suppose s = -3*a + 19 - 10. Solve a*k + 15 = v, -4*k = -4*v + k + 25 for v.
0
Suppose 2*b + f = 13, 4*b = 3*f - 4*f + 23. Solve -5*p - o = -3, b*o + 17 = -2*p + 9 for p.
1
Suppose -48*z + 103 = 7. Solve z*i - 3 = -x, -5*i + 8*i - 2 = -x for i.
-1
Suppose 0 = 15*h - 54*h + 702. Let d(x) = x**3 - 19*x**2 + 16*x + 38. Let v be d(h). Solve 5*m + 12 = 2*r, -6 = 5*m + 2*r + v*r for m.
-2
Let t(c) = -5*c**2 - 2*c - 2. Let x be t(-1). Let s(v) = v + 12. Let d be s(x). Let m = d - 4. Solve 6*l - m*l - 8 = -h, 0 = 4*l - 4*h + 16 for l.
1
Let y(f) = 601*f - 7200. Let c be y(12). Solve 6*t - c = 7*t + 2*r, 4*t + 3*r + 28 = 0 for t.
-4
Let w be (-6864)/(-1392) - (-2)/29. Solve 3*x = w*n - 39, x = -2*n + 7*n - 33 for n.
6
Let b(j) = -j**3 + 8*j + 10. Let w be b(-2). Suppose 3*q + 11 = -0*n + 4*n, w*n + q - 13 = 0. Solve 5*x + 2*t + 19 = 0, 5*t - 15 + n = -x for x.
-5
Let q(u) = 16*u - 76. Let m be q(5). Suppose -7*a = m*a - 33. Solve 4*o + 3*j = 3*o - a, -j - 1 = -o for o.
0
Let k be (-10)/(-20) + 28/8. Suppose 5*m = 2*i + 16, 11*m + 12 = k*i + 12*m. Solve -i*h + 12 = 4*d - 0*d, 4*d = 4*h for h.
2
Suppose v - 4*v + 4*k - 35 = 0, 2*k = -2*v - 14. Let w = 10 + v. Suppose 5*q - 11 = -w. Solve q*z + 4*o = -o + 1, -2*o = -z - 4 for z.
-2
Let i(p) = 18*p + 20. Let t be i(0). Suppose -2*z = -g + 3*z - 18, -2*g - 3*z = -16. Solve 5*f - t = g*r, -3*r - f - 18 = r for r.
-5
Let p be (152/16 - -13) + (-9)/(-6). Solve 3*l + p = -5*k, 330*k = -4*l + 329*k - 15 for l.
-3
Suppose 52 = -3*m - 5*p + 11, 64 = -2*m + 4*p. Let a be -25*(m/5 + 4). Solve 4*b - 2*j = -12, -a = 3*j + 2*j for b.
-4
Let v be 10/(-2) - (-95 + -2 + 3). Suppose -v*q = -85*q - 68. Solve -s = 4*s - z - q, 4*z = 3*s - 17 for s.
3
Let y = 4079 + -4071. Solve y*o - 6 = 7*o - 5*c, -c + 6 = -o for o.
-4
Let u(q) = 4*q. Let i be u(-1). Let f = 9 + i. Suppose 0 = 4*w - 12*w + 12*w. Solve 28 = -5*b + f*j + 73, -4*j - 20 = w for b.
4
Let f be ((-87)/145)/((-9)/30). Suppose -5*g + 50 = 5*i, f*g - 20 = -3*g + i. Solve -3*u = -3*z - 2*z + 4, -g*u = 2*z + 17 for z.
-1
Suppose -11 = z - 6*n + 11*n, 0 = 2*z - 4*n - 34. Suppose -10*u + z*u = -19. Solve 0*o - c = -5*o - 10, o - u = -4*c for o.
-1
Suppose 31113*c = 31132*c - 57. Solve -2*o - 7 = 4*v - 1, 0 = 5*v + 4*o - c for v.
-5
Suppose 37 = t - a + 34, -3*t + 5*a + 7 = 0. Solve -z = m - 4*z, 5*z = t*m for m.
0
Let z(x) = -524*x - 1046. Let s be z(-2). Solve 47*g - 43*g + 5*n + 8 = 0, -g + s*n = -11 for g.
3
Suppose -16*s + 2*s + 70 = 0. Let w be (s - 5)*(-2 - -3). Solve 0*q - q = 2, 2*f - 2*q + 2 = w for f.
-3
Let f(n) = 57*n - 855. Let v be f(15). Suppose -39 = -m + 5. Suppose -m = -4*k - 8. Solve -1 = -5*t - 4*c - 0, 4*t - 5*c - k = v for t.
1
Let n be (-4)/(-14) - (-4 + (-5581)/(-7)). Let v = -780 - n. Solve 5*x - 4*t = -v + 54, 7 = -x - 3*t for x.
5
Let t be -4 + (108 - 6/(-3)) - 1. Suppose -5*l - 2*v - 2*v = -t, 5*l = 5*v + 150. Suppose 0 = -30*o + l*o. Solve g - p - 3*p - 5 = 0, o = -g + 5*p + 6 for g.
1
Suppose -5*j + 17*o = 13*o + 16, -5*o = 3*j - 20. Solve -2*x + w + 4 = -j*x, -2 = -x + 5*w for x.
2
Let b(d) = 4*d**3 - 3*d**2 + 2*d. Let x be b(1). Solve 0 = -3*l - 3*q - x, 13*l - 2*q - 9 = 8*l for l.
1
Let n = 854 + -852. Suppose -n*i - 4*y + 20 = 0, -2*i + y + 16 = 11. Solve 0*t = -4*g + t - 20, -i*t = -2*g - 24 for g.
-4
Suppose -190*n = -171*n - 38. Solve -n*j + 15 = j - p, 0 = 4*j + 5*p - 1 for j.
4
Suppose -108 = -4*w + d - 34, 16 = w + d. Solve 23 = -5*t - 3*x, -14*t + 17 = -w*t - x for t.
-4
Let y(g) be the first derivative of -g**4/4 - 17*g**3/3 + g**2/2 + 32*g + 42. Let c be y(-17). Solve u + 25 = -5*o, -3*o + 9*u = 4*u + c for o.
-5
Let w(q) = -q**3 + 8*q**2 - 2*q + 18. Let r be (-24)/15*(-13 - -8). Let t be w(r). Solve 5*s - 5 = b, -6 + 3 = -3*s - t*b for s.
1
Let g = -7 + 12. Let b(c) = c + 5. Let w = -67 + 65. Let u be b(w). Solve -3*v + g*y + 6 = 0, 2 = v + u*y - 0*y for v.
2
Let v(h) = 4*h**3 + 295*h**2 - 75*h - 43. Let g be v(-74). Solve 4*o + 12 = 0, 2*o + g = 5*w - 0*o for w.
5
Let m = -801 + 805. Let k be m + 4 + -10 + 5. Solve v - s + 15 = k*s, -4*v = 2*s + 6 for v.
-3
Let i = -1 + 3. Let j = 24 + 0. Let g be ((-3)/(45/j))/(18/(-45)). Solve -3*y = 2*d - i, -3*d - g*y = -2*d - 11 for d.
-5
Let o = 151 - 151. Suppose -2*p + 4 = 4*s, o = -p + 3*s - 4*s + 3. Solve -4*q = 0, -4 = 4*t - p*q + 2*q for t.
-1
Suppose -62 - 52 = -6*f. Let y = 32 - f. Solve -v - 4*b = -6 - y, -2*v - 2*b = -8 for v.
-1
Let z be 8 + 1/(7/(-2) + 3). Suppose -2*u + 2*t = -u - z, 3*u = -t + 4. Let r be ((-2)/(-4))/(13/52). Solve -g - r = -u*i, 4*i - i + 4 = 5*g for g.
2
Suppose -r = -3 + 6. Let w be (-15 - -3)/(r + 2). Let f = -13594 + 13598. Solve -4*z = -t + w, f = -z + 4*t + 16 for z.
-4
Let r(j) = j**3 + 12*j**2 + 27*j - 10. Let h be r(-7). Suppose 10*f - h = 24. Solve 3*v = 3*z + 27, 3*z + 9 = 5*v + f*z for v.
5
Suppose 4246*k - 4248*k + 2 = 0. Solve -65*h - 14 = -2*z - 61*h, -z + k = 4*h for z.
5
Let s(t) = t**3 + 7*t**2 + 5*t + 12. Let c be s(-5). Suppose -9 = -5*f - 34, -5*f - c = -3*j. Suppose -3*g + 3 = -9. Solve j = -3*k - 8, g*p - 32 = 4*k for p.
4
Let i = -1373 + 1378. Solve 2*c - 2 = 5*g + 8, -i*g - 10 = 3*c for g.
-2
Suppose 27*v - 15 = -24*v + 240. Solve -25 = 5*q + 8*r - 4*r, -20 = 4*q + v*r for q.
-5
Let n(x) = 466*x - 464. Let v be n(1). Solve -v*w + 3*w = -3*h + 4, 2*w = 2*h for w.
1
Let t(i) = 54*i - 1719. Let c be t(32). Solve -2*z + 5*f + 18 = 35, -c = -z - f for z.
4
Let x = -17794 - -17884. Solve -2*w - 12 = t, -x*w + 16 = -92*w - 3*t for w.
-5
Let v(j) = -j**2 - 7*j + 10. Suppose -x - 4*n - 19 = 0, -5*n + n = 5*x + 127. Let l = 19 + x. Let b be v(l). Solve 0 = -2*z + z - b*p, -z = 5*p - 3 for z.
-2
Let l be ((-30)/10)/((-3)/8) + 0. Suppose -l = -15*k + 11*k. Solve 5*a + 23 = 3*h - 7, -4*h + 26 = -k*a for a.
-3
Suppose -12020 + 11825 = -39*y. Solve 3 = -3*v, y*v + 15 = -5*k - 5 for k.
-3
Let j = 10899 + -10895. Solve 0 = 4*l + j*v - 4, -296 = -3*v - 284 for l.
-3
Suppose 15 = 5*b - 8*i + 7*i, -3*b = -4*i - 26. Suppose 5 = b*r - 3*r, -5*r = u + 22. Solve 3*s = 2*s - u*t + 6, 0 = 5*