 Let n be 9/6 + v/(-8). Suppose 4*h - 21 = -9. Solve n*f = -f - 4*i - 28, -4*f = -h*i + 4 for f.
-4
Let m(i) = i**2 - 32*i + 67. Let u be m(22). Let o = 168 + u. Solve 3*x = -5*p + 40 - o, 0 = -2*x - 4*p + 18 for x.
5
Let a(j) = 17*j**2 + 50*j. Let l be a(-3). Suppose -17 = 3*k - 4*k + 3*s, l*k - 9 = -5*s. Solve -w = -x, 3*x - k = x + 4*w for x.
-4
Let w be (-184)/(-12) + (-3)/9 - 2. Let s(j) = 2*j - 2*j - 9 - 3*j - w. Let p be s(-9). Solve -2*v + 16 = -4*g, -p - 7 = v + 2*g for v.
-2
Let l(i) = -i - 1. Suppose 5*s = 3*n + 2*s - 87, 3*s = -4*n + 137. Suppose -n = 5*y - 2. Let w be l(y). Solve 5*z - 7 = x - 3, 16 = -4*x - w*z for x.
-4
Suppose 4*g = -2*u + 2*g - 8, 2*u - 4*g - 16 = 0. Solve 3*i - 15 = u, -7*l = -3*l + 5*i - 33 for l.
2
Suppose -8*k - 541 = -581. Solve -k*g - 2*c - 10 - 12 = 0, 0 = -g + 3*c - 1 for g.
-4
Suppose s + 2 = 1. Let q be 25/10*s*-2. Solve -o + 3*o = d - 4, 4*o + q*d - 6 = 0 for o.
-1
Let a(n) = -27*n**2 - 162*n + 5. Suppose 0 = -2*g + 3*g + 6. Let i be a(g). Solve -5*x = -0*x + 3*k - 6, 0 = -i*x - k + 2 for x.
0
Let r = 58 - -31. Suppose 82*x = r*x - 14. Solve 4*u + 0*u - 5*w - 6 = 0, -x*u = -2*w - 2 for u.
-1
Let i(u) = 2*u**2 - 14*u - 13. Let w be i(-1). Solve 3*q = 3*j - 24, 4*j + w*q + 34 = 9*j for j.
5
Let i(w) = -2*w - 22. Let j be i(-15). Let x be (0 + 15 + -4)/((-1)/4). Let y = x + 46. Solve 6*o - 3*o = -d - j, -2*o = -y*d - 8 for o.
-1
Let f = 12687 - 12676. Solve 2*r + y + f = 0, -r + 44*y - 48*y = 16 for r.
-4
Suppose 0 = 4*j - 2*g - 14, 4*j - 4*g = -178 + 198. Solve -24 = -4*n + j*r, 30 - 10 = 2*n - 5*r for n.
5
Suppose -32 - 24 = -28*o. Suppose -3 = -o*f + 7. Let m = -10 + 19. Solve 0 = 2*d - f*y - 28, -4*y - m = 2*d - 1 for d.
4
Let v = -82 + 108. Suppose 0 = -v*t + 9 + 69. Solve 0 = -4*a - g + t, 3*a + a - 3*g - 23 = 0 for a.
2
Suppose 87*b - 26*b = 1952. Suppose 5*v = 9*v - b. Solve -10 = -4*u - 2*k + v, 3*k + 28 = 5*u for u.
5
Let o be (-44)/8*(-4 + 6). Let h be -4*(4*o)/2. Suppose 101 - h = w. Solve -4*z - p = -3 + 2, -4*z + 3*p = -w for z.
1
Let y be -5*180/(-75) - 8. Solve -y*m + 5*b = 0, 2*m + 2*b = -2*m for m.
0
Suppose 828 - 426 = -3*f. Let c = -124 - f. Solve -16 + 4 = 2*p + 2*a, 3*a + c = p for p.
-2
Let g(r) = 4*r**2 - 58*r - 93. Let u be g(16). Solve 2*m + 11 = -u*q, -4*q - 3*m = 18 - 3 for q.
-3
Let o be (-3582)/21 + (-3)/((-63)/12). Let n = o - -183. Solve -5*m + n = 4*j, -2*j + 19 - 5 = 4*m for m.
5
Let i = -27630 + 27632. Solve 4*a = -2*b, 88*a - i = b + 89*a for b.
-4
Let b be 7/((-14)/(-4)) + (4 - 3). Suppose 9 = -b*h - 9. Let n be 4/h + 310/15. Solve -s - 3*j = s + n, -4*s - 4 = -3*j for s.
-4
Let m be (-57)/(-285) - 4/((-20)/309). Suppose 10*g - m = 28. Solve 0 = v - 4, 5*f + g - 30 = v for f.
5
Let l be 12 - 1 - ((-21 - -28) + 2). Let j(v) = -v + 3. Let h be j(2). Solve 3*z - 3 = -2*u, 0 = -5*u - l*z - h - 8 for u.
-3
Suppose 5*q = -4*k + 33, -12*k + 17*k - 72 = 4*q. Solve 2*u = -n - 8 - 3, -k = 4*u for n.
-5
Suppose -4*c + 5*c = -2*n + 9, -n = -3*c + 6. Suppose 2*p + 134 = 3*o - 10, -223 = c*p - o. Let u = p + 79. Solve -y - 2*k - u = 3, 2*y + k = -8 for y.
-3
Suppose -4*s + 400 = -2*i, -12*i = 4*s - 10*i - 384. Suppose -17*d - 13 = -s. Solve 0 = 2*w, d*f - 20 = w - 3*w for f.
4
Let f = 4288 - 4266. Solve 5*w = f*a - 25*a - 19, 5*w + 29 = 2*a for w.
-5
Let w = -29 + 33. Suppose 0 = -2*i - 0*i, -12 = -w*x - i. Solve 4*h - 12 = -2*u, 2 = 6*h - x*h - 2*u for h.
2
Let k(c) = -c**3 + 12*c**2 + 26*c + 29. Let a be k(14). Suppose -4*o + 2*d + a + 63 = 0, o = -5*d + 27. Solve -5*q + 21 = 7*g - 3*g, -3*g + o = 4*q for q.
5
Suppose 0 = -3*y - 5*v + 26, 2*y + 4*v = 26 - 6. Suppose -6*w = -y - 4. Let a be 34/(w - (-1)/1). Solve 5*i - j = a, -i + j = -0*j - 5 for i.
3
Suppose -60*c = -67*c + 63. Let j(y) be the first derivative of -y**2/2 + 12*y + 2. Let s be j(c). Solve -r = -m + 1, 1 + 0 = -s*r + 2*m for r.
1
Suppose -2*a - 3*a + 10 = 0. Suppose -a*k = 14 - 20. Solve 0 = m - q - 2, 0 = k*m - q - 3 - 1 for m.
1
Let n = -5499 + 5502. Solve 12 = -3*y + f, 3*f - f = n*y + 15 for y.
-3
Let o(c) = 17*c + 138. Let r be o(-8). Suppose -2 + 20 = 3*d. Let m be 3 + -2*(3/d + -1). Solve 0 = 3*k + 2*l + r - m, 0 = -2*k - l + 3 for k.
4
Let l(s) = s**3 + 7*s**2 - 10*s + 2. Let v be l(-8). Suppose -4*r + v = 2*b, -19 = r + 2*r - 5*b. Solve -5*m + 27 = 2*d, 8 = -4*m - r*d + 30 for m.
5
Let u = -1366 + 1371. Solve -5*x - 3*h = -9*x - u, 4*x = 2*h - 6 for x.
-2
Let x(w) = 9*w**2 - 36*w + 38. Let o be x(2). Solve 0*s - i = s - o, 5 = -2*s + i for s.
-1
Let q(b) be the first derivative of 3*b**2/2 + 102*b - 39. Let f be q(-33). Solve -5 + 2 = f*z - 5*t, 5*z - 5*t = -5 for z.
-1
Let x be 180/14 + (-30)/35. Suppose -3 = 3*q - x. Solve 8*a - 4*j = q*a + 1, -3*j - 2 = -5*a for a.
1
Suppose -4*a = c - 17, -a + 31*c + 8 = 35*c. Solve -5*o + 2 = -i - 18, 0 = 2*i - a*o + 10 for i.
5
Let n = 541 + -535. Solve 0 = -q - 2*k - 13, -n*q - 3*k - 17 = -5*q for q.
-5
Suppose -4*y = 33 - 29. Let w be 1 + y*(-76)/4. Let q be (-1 + 12/w)*-10. Solve 0 = 2*p + q*n + n + 10, -3*p = 2*n + 4 for p.
0
Let m(v) = -15*v**2 - 58*v - 32. Let b be m(-3). Solve 13*w - 8*w = -2*n - b, -21 = 3*w - 3*n for w.
-3
Suppose -2*o - 49*n + 64 = -53*n, 0 = -5*o - n + 105. Solve -17*m + 20 = -o*m + 5*t, -2*t = -4*m - 12 for m.
-2
Let d = -2241 + 2243. Solve d*l - 5*v + 19 = 8, -2*l - 2*v = -10 for l.
2
Let f(x) = 3*x**2 + 8*x + 2*x**2 + 4*x**2 - 8*x**2 + 3. Let c be f(0). Solve 5*a = 3*s + 22, c*s - 5*a = -4*a - 14 for s.
-4
Let a = 78 + 0. Let u = -75 + a. Solve -12 = -u*o + i, 0 = -3*o - 5*i + 20 + 10 for o.
5
Let l = -1817 + 1819. Solve 0 = l*z + 2*h - 6, 0*h + 2*h = z - 9 for z.
5
Suppose 2*v - 16 = -2*b, -2*b + 4*v = 3*b + 5. Suppose 0 = -2*t, 0 = 3*u + b*t - 30 + 15. Solve u*j - r = 24, 3*j + 5*r = 2*r for j.
4
Suppose k + 15 = 2*c + 7, -6 = k - 4*c. Let r be 5/((1/(-5))/(k/50)). Solve t = 4*d + r*t, -3*d - 5*t - 4 = 0 for d.
2
Suppose w - 24 = -2*w + 3*v, -2*w - 4*v = 14. Suppose -17*n + 10*n = -21. Solve 0 = i + w*g - 3 - 6, -4*i + 18 = n*g for i.
3
Let x = -4 + 10. Suppose x*t = 4*t. Suppose 0 = 3*k - t*f - 4*f - 22, -16 = -2*k + 3*f. Solve k*j = 3*z - 11, -2*j - 6 = 3*z - z for j.
-4
Suppose 0 = -r - 3*p, 0*r = 5*r - p. Solve -3*f + r - 17 = -a, 2*f = -5*a for a.
2
Let u be (-262)/(-4) - (-18)/36. Suppose 73*s - u*s - 21 = 0. Solve -3 = 3*j + 4*d + 2, -5*j = s*d + 1 for j.
1
Let d = 368 + -363. Suppose -k = -5*q + 28, -6*q + d = -2*q + 5*k. Solve q*m + 3*s = -2 + 39, s + 11 = 3*m for m.
5
Suppose u + 3*d = 11, -29*u + 28*u = -2*d - 1. Solve 2*h = -3*x + u*h + 24, 0 = -2*x - h + 1 for x.
3
Suppose 4*t - 5*z + 33 = -2*z, -z = -2*t - 17. Let n be (3/(-6))/(t/(-18)). Let o be (-8 + 13)*n/(-1). Solve -3*h - 20 = -5*q, q = o*h - q + 8 for h.
0
Let v(p) = -5*p + 47. Let x be v(11). Let f be 4 + x/(-2) + 0. Solve b + 4 = -t + 3*t, 0 = -3*b - 4*t + f for b.
0
Let h(k) = -k**3 + 19*k**2 - 70*k - 14. Let g be h(6). Solve -z + 50 - g = 4*j, 16 = 4*z for j.
3
Suppose 21*p - p = 50*p - 120. Solve -4*t + 28 = -p*h + 44, 0 = h - 5*t - 16 for h.
1
Let b be 1296/108 - 2*-1 - 7. Solve -3*r + b*c - 10 = 3*c, 0 = 4*r + 5*c - 28 for r.
2
Let z(a) = -a**3 - 4*a**2 - 3*a - 7. Let n be z(-4). Let s be (-6)/((-6)/7) + -4. Suppose 0 = s*h + 13 - 19. Solve 0 = -n*d + 5*x - 50, -h*d + 5*d = -3*x for d.
-5
Let m = 447 - 308. Suppose 0 = 4*k - 4*o + m - 383, 2*k + 3*o = 142. Let y = 68 - k. Solve -7 = -3*f + 2*a + 5, 0 = y*f - a - 12 for f.
4
Let d(h) = -h**3 + 15*h**2 + 35*h - 14. Let g be d(17). Let s = g + 1. Suppose 0 = 2*m - 3 - 1. Solve 5*f - t + 2 = s*f, m = -t for f.
-4
Let g(q) = -2*q**2 - 36*q + 80. Let p be g(-20). Suppose 27*o + o - 140 = p. Solve -3*r - o = -2*u, 14 - 1 = 4*u - 3*r for u.
4
Let u be 4893/28 - (-5)/20. Let i be 7/(u/190) + (-9)/15. Solve -3*z - v - 3*v - i = 0, 11 = -z + 3*v for z.
-5
Let r(y) = -y**3 - 34*y**2 + y + 37. Let x be r(-34). Suppose -21*b = -16*b + 215. Let v = 45 + b. Solve 4 - 6 = 4*q - v*w, -q + 12 = -x*w for q.
-3
Suppose -4*v + 2*v + 6 = 0. Suppose 41 + 25 = v*u. Suppose 9 = -u*q + 25*q. Solve -q*a = -z, -4*z + 5*a - 6 = 1 for z.
-3
Let n be 2 + (2 - (6 - 2)). Let f be (1 - 3)*(-13)/(34 + -8). Solve -3*v + 2*a = f, 3*v = -n*a + 3*a for v.
-1
Let m be (236/(-10))/(8/(-20)). Let l = -55 + m. Solve 3*b + 20 = l*g, -2*b = -2*g