 - 2*o = -9, -f*h = -5*o - 3 + 23 for h.
1
Suppose 4*t = -14 - 2. Let w(x) = 2*x**3 + 8*x**2 - x + 8. Let u be w(t). Suppose -2*n = 4*f - 2*f + 6, 4*n + u = 2*f. Solve -q + f*h = h + 6, 3*h = -15 for q.
-1
Suppose -8*h = -12*h + 6 + 14. Solve -25 = h*s, -5*n + 5*s + 17 = -13 for n.
1
Let p = 50 - 137. Let g be (p/(-12))/((-1)/(-4)). Let s be 30/40 + g/4. Solve -3*k + 5*y + 0 - 2 = 0, 3*k + 5*y - s = 0 for k.
1
Let j be ((-495)/3)/15*-2. Solve 0 = -d + 5*m + j, -1 = -32*d + 34*d - m for d.
-3
Suppose 5*j + 0*h - 10 = -5*h, -4*h = -j + 17. Suppose 3*o - s = 3*s + 95, 0 = 5*s - j. Let b be o/12 - 3/(-12). Solve -5*f + 7 = l, 2 + 11 = b*f + 5*l for f.
1
Let m be (29/(-232))/((-1)/8*1). Suppose 5 + 3 = 2*h. Let g = h + m. Solve 4*t - 2 = -2*y, t + 0*t + 5*y = g for t.
0
Let k(n) = 178*n - 205*n + n**3 + 16*n**2 - 6*n**2 - 12. Let y be k(-12). Suppose -5*a - y = -4*i - 1, -i + a = -5. Solve 0 = u + 1, 2*u = -i*b - 12 + 4 for b.
-3
Suppose -4*q = -6*q + 5*k + 8, -2*k = 4*q - 40. Let u be q + -11 + 1 + 1. Solve p - m + 6 = u, 2*p + p + m + 14 = 0 for p.
-5
Suppose 2*d + 4*r = 50, -d - 69 = 3*r - 91. Solve 5*b - 2*j = -d, -4*b - 2*j = -b + 9 for b.
-5
Let f(d) = 2*d**3 + 0 + 2 - 6 + 5*d - 9*d**2 + 2. Let t be f(4). Solve 2*q + 10 = 0, -4*q - 16 = t*k + 8 for k.
-2
Suppose -74 = 2*q - 3*k + 4, -3*q - 4*k - 83 = 0. Let m = 69 + q. Let t be -8 + 125/15 + (-2)/6. Solve -4*v + 4*o - m = t, 0 = -2*o + 6 + 2 for v.
-5
Let b(m) = m**3 - 3*m**2 + 17*m - 28. Let n be b(2). Solve -2*h - 18 = -0*h - 4*o, n*o = -2*h + 12 for h.
1
Let t = -70 + 78. Suppose 0 = -3*v + t + 1. Suppose -37 = -v*g - 25. Solve -5*a = 2*z + 14, -4*z = g*a + a + 18 for z.
-2
Let b(l) = -l**2 + 2*l + 1. Let w be b(3). Let z = -2 - w. Let f be ((-5)/(-3))/(-21 - (-5911)/276). Solve f*h - 16 = -3*c, z = c + 3*c for h.
4
Let l(o) = o + 19. Let n(x) = 5*x - 11. Let q be n(3). Suppose -q*p = -2*p + 2, -5*s = p + 56. Let a be l(s). Solve 4*r - a = -5*u, 4*r + 16 = -0*r + u for r.
-3
Let m be (-16)/3*(-54)/(-12). Let x be m/30*-1 - (-52)/10. Solve 0 = -3*i - 2*r + 3, -r = 3*i - x*r - 3 for i.
1
Let k = 15 - 9. Let f = 2098 + -2094. Suppose 22 - k = f*o. Solve -v = -4*t + 12, -o*v = -t - 2*t - 4 for t.
4
Suppose 0 = 4*u - 0*u - 8. Suppose -3*j - 22*g - 2 = -17*g, -4*j = g - 20. Suppose j*p - p = u*p. Solve 5*n - 5*f = 20, 2*n - 5*f - 3 - 17 = p for n.
0
Let i be 32/112 + 4/(28/(-1857)). Let t = -261 - i. Solve k - 4*v - 13 = -8*v, t*k - 2*v - 16 = 0 for k.
5
Suppose t - 3*p + 20 = 0, 5*t + 3*p = 4*p - 86. Let z = t - -19. Let k = 90 - 87. Solve 3 = -3*l + 3*i, k*l + z*i = 4*i for l.
2
Suppose 427*p - 423*p - 16 = 0. Suppose 0*d - 4*d + 89 = 3*q, p*q + 8 = d. Solve 4*w = y + d, 3*y + 3*w = 5*y + 15 for y.
0
Suppose -3*c + 3*q = -114, 5*c + 6*q - 226 = 2*q. Let u be 1 + (6/21 - 54/c). Solve o + 4*n - 5 = -u, 3*o + 5*n - 8 = 0 for o.
1
Let b = 418 + -416. Solve 3 = h - 3*c + 4*c, -b*c = -h - 6 for h.
0
Suppose 4*p = 16*k - 14*k + 12, k - 5*p + 15 = 0. Solve w - 4*h = -k*h - 4, 3*h = 0 for w.
-4
Suppose -280 = 3*j + 8. Let w = j + 107. Suppose 6*k = w*k - 15. Solve -k*u + 5*g = u - 29, 20 = 5*u - 3*g for u.
1
Let l(r) = -18*r - 216. Let q be l(-12). Solve u + 26 = 5*c, -3*c - 9*u + 6*u + 12 = q for c.
5
Suppose -33 = -5*d - 6*d. Solve -5*h + d*p + 6 = -6*h, -17 = 5*h + 2*p for h.
-3
Let c be (3 + -5)*(-318)/(-12). Let u = c + 57. Solve -14 = 2*o + w, 4*o + 0*o - 4*w = -u for o.
-5
Suppose -4*g = -497 - 127. Suppose 9 = 159*i - g*i. Solve -i*t - 3 = m, 5*m = -4*t - 0*t - 15 for m.
-3
Let b be (-3)/4 + (-496)/(-64). Let f(s) = -49*s + 492. Let z be f(10). Solve -5*q = a - 0*a + 19, z*q + a = -b for q.
-4
Suppose 0 = 260*c - 255*c - 20. Solve -h = -c*g - 21, 5*h - 4*h = 1 for g.
-5
Let h = 8 - 5. Suppose -1966 = 134*x - 2234. Solve -13 = h*q - k, -x*q - k + 1 = -q for q.
-3
Suppose 6*u - 4*u + 7*u = 27. Solve -u*b = -r + 7, 37*b - r = 32*b - 11 for b.
-2
Let z(u) = -16*u + 210. Let x be -2 - 6 - 0 - -21. Let p be z(x). Solve p*m - 6*m + 15 = 5*l, 11 = 2*m - l for m.
5
Suppose 251*s - 85*s + 86*s - 3276 = 0. Solve 0 = -5*q + q + 3*i + s, -3*q + 13 = i for q.
4
Let s be 113/((-24521)/186)*(-1 - (-11)/(-3)). Solve -2*d - i = 7, 0*d = -d - 3*i + s for d.
-5
Suppose 10 = -2*g + 9*t - 5*t, -19 = -g - 4*t. Let i be (13 + -6 - 4) + -1. Solve 0 = 5*h - 3*z - 0*z + 9, -z + g = -i*h for h.
0
Let w(k) be the first derivative of 7*k**3/3 + 29*k**2/2 + 4*k + 286. Let r be w(-4). Solve 4*p - 3*h - 5 = -2*h, 4*p - 3*h + 1 = r for p.
2
Suppose -11*l + 2684 + 649 = 0. Suppose 67*b - l = 166. Solve 2*n + 1 = 4*h + b, 0 = -4*n + h - 16 for n.
-5
Suppose 5*f + 353 + 22 = 0. Let d = f - -45. Let g = 42 + d. Solve -3*v = -2*l - g, v - 5*l - 6 = 11 for v.
2
Suppose -13*j + 2*i - 5 = -16*j, 0 = 5*j - 3*i - 21. Solve -3*t = -5*f - 16, t - 5 = f - j for f.
-5
Let v be ((-2)/(-6))/((-78)/(-468)). Solve 0 = 5*z - 2*i - 1, -11*z + v = -7*z - i for z.
1
Let o = 12135 - 12133. Solve 4 = 2*c + 12*z - 9*z, 3*z = o*c - 16 for c.
5
Suppose -4 = -2*n + 2*m, -3*n - 4 = -5*n - 4*m. Suppose -2*l + 9 = 3*t, 12 = 5078*t - 5074*t + 2*l. Solve n*y + 5 = -2*x - t, -3*x = -y + 16 for x.
-5
Let b = 871 + -887. Let a(y) = -y**3 - 20*y**2 - 64*y + 8. Let m be a(b). Solve -5*n = r + 11 + 1, -2*r - m = 2*n for r.
-2
Suppose -4*o = -4*j - 72, o + 3*j - 55 + 17 = 0. Solve 11 = 3*u + 5*c, 5*u + 0*u = 2*c - o for u.
-3
Let o be 132/30 - 3/(30/4). Suppose 41 = o*s + 25. Solve -4*i + 9 = -i, -s*c = -2*i + 18 for c.
-3
Let l be (0 + -4 + 4)/(-2). Suppose 0 = -l*o - 3*o + 12. Solve 4 = 4*i - o*y, 2*y + 15 = -i + 4 for i.
-3
Suppose 0 = 325*t - 317*t - 16. Solve 0 = -s - 2*f - 11, t*s - f = 10 - 17 for s.
-5
Suppose 0 = -3*n - 5*s + 119, 3*s - 6*s - 135 = -3*n. Suppose 0 = -13*o + n*o - 120. Solve 3*m + 5*f = 6, 6*m = m - o*f + 10 for m.
2
Suppose -8*n = -5*n + f - 47, 0 = 3*n - 5*f - 53. Suppose 5*q = -6*b + 3*b + n, -2*q + 2*b = 0. Solve -2*m - 10 = -v, 0 = -q*v - 2*m + m for v.
2
Let s(h) = 6*h**2 - 3. Let g(o) = -5*o**2 - o + 1. Let q(k) = -4*g(k) - 3*s(k). Let d be q(-2). Solve 3*j + 5*b = 22, -d*j = -3*j - 5*b + 27 for j.
-1
Suppose -16*a + 8412 = -28*a. Let o = a - -730. Solve 2*l = 6, 4*h + 3 + o = 4*l for h.
-5
Let z(p) = -2*p - 15. Suppose -18*i + 16*i - 12 = 0. Let x(m) = -2*m - 14. Let u(n) = i*z(n) + 7*x(n). Let w be u(-5). Solve -2*y + w*o + 2 = y, 5*o = -5 for y.
0
Let x(a) = -2*a**3 - 34*a**2 + 4. Let l be x(-17). Solve 36*q = 39*q - 4*m, 13 = -l*q + m for q.
-4
Let n = -1034 - -1035. Solve -x = n, -x - 15 + 4 = 2*v for v.
-5
Suppose r = -0*r - 3. Let g(m) = -6*m - 22. Let p be g(r). Let n be (52/4)/((-2)/p*2). Solve 0 = 2*j - 3*d + 19, -d = -2*j - 0*d - n for j.
-5
Let d = 92 - 81. Suppose -d*x = 14 + 19. Let f be (65/20 + x)*4. Solve 5*p = -5*r + 4 + f, -2*r + 3 = p for r.
2
Let j be 209/418 + 3/(-6). Solve -2*h = 3*t - 10, 3*h - 15 = 3*t - j for t.
0
Suppose -51*x - 50*x + 33*x + 204 = 0. Solve -4*h + 3*z + 17 = -9*h, z + 11 = -x*h for h.
-4
Let w = -43 + 52. Let m be (-258)/9 - ((-3)/(-1))/w. Let l = m + 31. Solve s - 3*i = -7, l*i - 8 = -5*s + 8 for s.
2
Let a = 3101 + -3096. Solve a*v + 5*s = -35, 0 = -5*v + 16*s - 12*s - 8 for v.
-4
Let w(u) = 2*u + 31. Let i = -92 - -84. Let r be w(i). Solve 0 = 5*b - 5*y + r, -2*b - 4*y = -b + 13 for b.
-5
Suppose -18*v + 73*v + 8*v = 315. Solve -10*g + 6*g + 18 = 3*s, 2*s = -v*g + 19 for g.
3
Suppose 7 = 7*c - 28. Let r be (2 + -3)*(17 - 12)*-1. Let s = 2 - -1. Solve r*w + 4*n = 21, -c*n = -3*w - s*n - 5 for w.
1
Suppose a - 4*g - 29 = 0, 5*g = -4*a - 0*g + 53. Let y be (-1)/(-1)*0/6. Suppose y = -3*k + 6 + 9. Solve 21 = 4*r - 5*j, -4*j = k*r - j - a for r.
4
Let u be (7/147*-7)/(2/(-24)). Solve 0 = 2*g + 5*f - 35, 35 - 10 = u*g + f for g.
5
Suppose 5*i = -2*b + 28 - 19, 5*b - 5*i = 40. Let f be b/2 - (-5)/40*-4. Solve f*z - 4*n - 3 = -n, -n + 19 = 3*z for z.
5
Let j(s) = s**2 - 9*s + 10. Let r be j(9). Let a(x) = -2*x**2 - 2*x**3 + x - r - 6*x + 4 + x**3. Let n be a(-2). Solve -2*o = -2, -n*o + 4 = 2*y + 2 for y.
-1
Let j(m) = 5178 - 5171 - 2*m + 5*m - m**2. Let s be j(3). Solve 3*n + 7 + s = -5*x, 0 = -4*x - 3*n - 13 for x.
-1
Suppose -30 = 303*y - 304*y - 5*g, 0 = -g + 5. Solve 2*p = y*v - 9, 6*v - p - 12 = v for v.
3
Let w(r) = -r**3 - 13*r**2 - 20*r - 84. Let p be w(-13). Suppose 27*t - p = -17*t