 -2*t for t.
-3
Let m(x) = -x. Let h be m(1). Let o be -4*(h + 14/(-4)). Suppose -q - 8 + o = 0. Solve z - u + 4*u = -2, -3*z = 5*u + q for z.
-5
Suppose -2*z = -3*u + 5, 2*u = -z + 19 - 4. Let q(d) = -158*d - 629. Let n be q(-4). Solve -5 = t - 2*i, -n*i + 25 = -z*t + i for t.
-5
Suppose 8 = -23*f + 54. Let x(h) = 10*h - 1. Let p be x(1). Let l be -3*f/p*-3. Solve 0 = -5*r - l*z - 11, -3*r - 3*z + 0*z - 3 = 0 for r.
-3
Let j = -7769 + 7769. Solve j = -5*u + 20, g - 115 + 131 = 5*u for g.
4
Suppose u - 22 - 19 = -36. Solve 0 = -3*w - 5*y + u, -4*w + 8 = y + 7 for w.
0
Suppose 17*i + 2*i + 3159 = -8*i. Let r(x) = 3*x**3 - 3*x**2 + 3*x - 4. Let n be r(-3). Let w = i - n. Solve -3*h = -w*a + 7, -5*a = -4*a + 2*h - 10 for a.
4
Let d(b) = b**3 - 12*b**2 - 4*b + 22. Let y be d(12). Let u be (-334)/y - (6 - (-160)/(-26)). Let o = -5 - -8. Solve -t = 2*a - u, -3*t + 0*a = -3*a - o for t.
5
Suppose 5*w = a + 6, -20*w + 15*w - 2*a = -18. Solve -w*b - v = 0, -3*b - 2*v - 1 + 3 = 0 for b.
-2
Let p = 68 - 46. Let q = p - 19. Suppose -3*t - 6*l + 9 = -q*l, t - 5 = l. Solve -3*i - 3 = -t*w + 1, -i - 2*w + 12 = 0 for i.
4
Suppose 5*i = 9*i - 8. Let f be 3348/810 - i/15. Solve -4*r + 0*o = 3*o - 21, -5*r - f*o + 27 = 0 for r.
3
Let p(a) = -11*a + 71. Let y be p(6). Solve -15 = y*n - 5*j, -3*n - 16*j - 5 = -17*j for n.
-1
Suppose 7*x = 6*x. Suppose x = -3*a - 12, 3*a = 3*k - 2*a - 20. Suppose k = 7*w - 9*w + 10. Solve w*m = 2*m - 2*p - 4, 5 = -5*m - 3*p for m.
2
Suppose 2*b - 9 + 3 = 0. Suppose 5*j - b*s + 10 = 2*s, 4*s - 8 = 0. Solve -5*d = -d + 8, -5*m + 5*d - 15 = j for m.
-5
Suppose -2*k + 4*r = -8, 0 + 25 = 5*r. Suppose -k*h = -5*h - 2*h. Solve -4*l - 11 = 5*z, h = -l - z - z - 5 for l.
1
Suppose -k = -3*v + 19, 12*k = -3*v + 10*k + 7. Let r(n) = n + 13. Let c be r(4). Solve 3*w = -v*o + c, o + 3*w - 4 = 9 for o.
1
Let f(r) = r**3 + 16*r**2 - 22*r + 49. Let v be f(-17). Suppose 4*m - v = -114. Solve m*i = 2*i + 4*h + 5, 5*h + 10 = 0 for i.
-1
Suppose 5*r + 5*x = 20, -2*x = -3*r - 6*x + 12. Suppose -r*h + 26 = 5*y - 40, 3*h = 2*y - 8. Solve -4*p = o - 23, -o - 4*o - y = -5*p for p.
5
Let q = -9 + 8. Let b(o) = -14*o + 7. Let g(w) = 9*w - 7. Let c(p) = -2*b(p) - 3*g(p). Let s be c(q). Solve s*u - u + n + 3 = 0, -3*u = -4*n - 12 for u.
0
Suppose 2 = -0*k + k. Let z be 6 + (3 - 8) - 1. Let o be 58/18 - 2/9. Solve d + k + 4 = -2*g, -o*d + 5*g + 26 = z for d.
2
Let v(m) = 8*m**3 + m**2 + 11*m + 16. Let q be v(-3). Let w = 228 + q. Solve y = -s, w*s = -y + 2*y + 20 for s.
4
Let b be 12/30 + (-2)/5. Suppose 2*t + b*t - 8 = 0. Solve -x = -2*l + 2, -3*x + 3 = -t*l + 5 for l.
2
Suppose -7*y + 32 = y. Let r be 17/y + 12/(-48). Suppose 0 = u + 4*u - 5*q, 21 = r*u + 3*q. Solve u*s - 9 = -3*k, -5*s + 2*k - 12 = -s for s.
-1
Suppose -2*s = -3*o + 6, -4*o + 55*s - 51*s = -8. Solve -g - 5 = 2*d, -g = -6*g - d + o for g.
1
Let n be (0/(0 + 3))/2. Suppose 4*v - 540 + 492 = n. Solve -2*d + 0*r + r - 4 = 0, 2*r = 5*d + v for d.
-4
Let h(r) = r**3 - r**2 - 237*r + 51. Let n be h(-15). Solve 0 = 2*b + 3*s + 17, 7*s = b + n*s - 4 for b.
-1
Let z = 4 + -3. Let g = z + 1. Suppose -4 = l + 4*h, -2*l - 4*h - 2 = h. Solve -l*i - g*x = -6*i - 14, 4 = 3*i + 2*x for i.
-2
Let a = 2696 + -2693. Solve 0 = 5*b + 16*s - 12*s + 3, -2*b = -a*s + 15 for b.
-3
Let x(v) = 2*v**3 + 1. Let o be x(1). Let w be ((-3 - 0)/1 - -5) + -29. Let i = 27 + w. Solve -2*g = -z - 3, i = -o*g - z - 4 + 1 for g.
0
Let m be ((-29)/4)/((-1)/(-4)). Let l be (-29 - m) + 1 + 2. Solve 3*o - k - 13 = 0, -4*o + 2*o = -l*k - 18 for o.
3
Let j = -2458 + 2463. Solve -3*s = 5*h + 13, -5*h + 3 - 8 = j*s for h.
-5
Let u = -77 + 172. Suppose -5*z + 12 = 2*q, -2*z = 5*q - u + 65. Solve 3*l + 25 = 2*t, t + 10 = q*t + 3*l for t.
5
Let p = -1739 + 1742. Solve p*w + 17*y - 12*y = -12, w + 4 = -4*y for w.
-4
Let t be 1/((-4)/2) - (-15)/6. Suppose -t*m - 4*g + 28 = 3*m, 5*g - 10 = 0. Solve 11 = -5*k - i + m*i, 0 = -4*k - 2*i - 22 for k.
-4
Suppose -2*m - 20*t = 76, -t - 50 = 2*m - 4*m. Solve -2*p = 5*n + 17, m*p = 20*p + 8 for n.
-5
Let y(f) = -f**2 + 14*f + 277. Let n be y(25). Solve 0 = 2*a + n*t + 6, 4*a - 5*t = -a + 35 for a.
2
Let y = 380 + -359. Suppose z + 6*z - y = 0. Solve 0 = -2*g - 2*i + 12, -z*g + 16 = -0*i + 2*i for g.
4
Let n be (-1 - 16)/(-1)*(-30 - -31). Suppose -n*g = -321 + 1205. Let q = 56 + g. Solve 0 = -2*r - 5*s + 4, s = 3*r - q*s + 19 for r.
-3
Let u be 670/40 - (-2)/8. Suppose u*z - 108 = 113. Solve 5*v - 2*p + 0*p - z = 0, -4*v + 16 = -3*p for v.
1
Let n be ((-108)/(-3) + 2)/((-2)/5). Let f be -1 + 39/5 + 76/n. Suppose 19 = u - 4*s, 0 = -2*u + 2*s + 14. Solve -3*i = -2*v + 5, u*i - 3 = f*i - 3*v for i.
-3
Let n(k) = -55*k - 102. Let f be n(-2). Solve z - 8 = 2*h, -2*z + 0*z = 4*h + f for h.
-3
Let i(b) = -14*b + 8. Let j(q) = -q - 1. Let k(t) = -i(t) - 6*j(t). Let u be k(1). Suppose 52*x + u = 53*x. Solve -5*r + z = -x, 2*r + 0*z - 18 = -5*z for r.
4
Let p be ((-4)/3)/((55/(-30))/(-11)). Let o be 17/4 + p/32. Suppose -v + 9 = o. Solve -4*w + 0*h + 18 = 2*h, -v*w + 18 = -2*h for w.
4
Suppose 1964*i - 1937*i - 81 = 0. Solve 4*v - i*m = 34 - 15, v + 9 = -2*m for v.
1
Suppose -2*a = 85*k - 82*k - 20, -8 = a - 3*k. Solve -2*z - 16 = a*p, -5*p - 23 = 7*z - 3*z for z.
-2
Let m = -177 - -161. Let i be (-1)/2 + (-120)/m. Solve -v - i = x - 5*x, -24 = -3*v - 3*x for v.
5
Let a(h) = -h + 70. Let m be a(0). Let u = 78 - m. Suppose -4*w = -u*w + 16. Solve 4*g + 6 = 2*d, 3*g + w - 2 = d for g.
1
Let v = -6643 - -6644. Solve 0*h = h + 2*u + v, -17 = -4*h - u for h.
5
Let t be (24/10)/(-14 - (-1059)/75). Solve 4*l + 2*k = -14, -3*k + 9 = -4*l - t for l.
-5
Let v be 532/49 + 1/7. Solve -4*g + 13 = i, -v*g + 12*g - 2 = 0 for i.
5
Suppose 45*n - 44*n - 10 = -5*q, -5*q = -2*n - 25. Solve q = 2*i - 3*c, 4*i - 10 + 19 = c for i.
-3
Let n(y) = -226*y - 1351. Let a be n(-6). Solve -4*s + 8 = -5*b, -a*s - 23 = -4*b - 24 for s.
-3
Suppose -r = -2*r - 5*m - 16, 4*r + m - 12 = 0. Suppose 0 = -4*a + r*l + 172, 2*a - 5*l = 7*a - 235. Solve -4*n + a = -5*z, 19 = -4*z - n + 4 for z.
-5
Suppose 4*s - h - 7 = 0, -3*s + h = 6*h - 11. Let a(n) = -s*n**2 - 55*n + 24*n + 29*n - 5*n**3. Let t be a(-1). Solve -u = -5*p - 2 + 11, -23 = t*u - 3*p for u.
-4
Let g be 78/15*10/4. Suppose -b = -5*j + 2*b + g, -30 = -2*j - 5*b. Let v = 73 + -71. Solve -v*u = 3*r - 0*u + 4, -u + j = -2*r for r.
-2
Let y be 6 + -4 - 0/(-3 - 2). Solve -5*t = -t - y*o - 6, -5*t = -2*o - 10 for t.
4
Suppose 11*z - 28 = 22*z - 25*z. Solve 0 = -0*b + 5*b + 3*s - 24, z*s + 3 = 3*b for b.
3
Let i be 2 - (8/(-10))/((-6)/15). Suppose i = -5*b + 5 + 5. Suppose 32 + 0 = b*p. Solve 2*c = -4*j + c - p, 5*j - 2*c = -7 for j.
-3
Let u be ((-5)/(-15))/(-1) - (-10)/(-6). Let c be (u/2 - -3) + -2. Solve 4*d + v = c, 0*d + 3*d + v = 1 for d.
-1
Suppose 2 - 20 = -3*r. Let t be 26/r + (-3)/9. Let v be 12 + -18 - (-144)/16. Solve v*i - 14 = -t*q, -i - 5 - 3 = -5*q for q.
2
Suppose 0 = 4*c + 207 - 87. Let i be (-2)/((-8)/6 - 20/c). Let x = 14 + -11. Solve 5*q = -n - 25, -x*n + 5*q - i*q = -10 for n.
0
Let m = -2986 - -3006. Solve o - b = 0, -o - b + m = -6*o for o.
-5
Let g(l) = l. Let v be g(0). Suppose 2*x - 6 = -o, -2*x - 10*o - 9 + 15 = 0. Solve v = -4*y - x*j + 8, j = -4*y - 0*j for y.
-1
Let g be 3/(((-28)/10 + 3)/1). Let m be (-20)/6*(-6)/(-2). Let x = m + g. Solve -x*r = 2*o - 6 - 18, -5*o - 4*r = -26 for o.
2
Suppose 2*x - x = 0. Let u(d) = -d**2 - 20*d - 18. Let s be u(-19). Let r(k) = 5*k. Let i be r(s). Solve y + 5*p = -x*p, 5*y = -i*p - 20 for y.
-5
Let y be 30/4*17952/440. Let v = y + -299. Solve -x = -3*t - 8, 2*t + v = -0*t - x for t.
-3
Let h(w) = w**3 + 14*w**2 - 3*w - 42. Let r be h(-14). Solve -3*x + 3 = -3*s, r = 32*x - 27*x + 2*s + 16 for x.
-2
Let k = 3369 + -3355. Solve -4*p = 5*o - 31, -4*o + 11*p = k*p - 24 for o.
3
Let n(f) = -5*f**2 - 8 - f + 4*f**2 + 2*f + 2*f**2. Let k be n(3). Solve 2*m + 3 = z, k*m + 2*z = -z - 21 for m.
-3
Let u = -5437 + 5442. Solve 2*a = -u*i - 9, 11*i = -3*a + 8*i - 9 for a.
-2
Let t be ((-2)/3)/(1 - 2/6). Let u = 59 + t. Let q = -54 + u. Solve g - q = 2*g + r, 0 = 2*g + 5*r + 11 for g.
-3
Let k(v) = -501*v - 13520. Let n be k(-27). Suppose -2*r = 2 - 8. Solve f = -r*d, -2*d + n*d - 4*f = -17 for d.
-1
Let q(z) = -z**3 + 7*z**2 - 6*z - 8. Le