 + v + 9, 0 = 2*k + 4 for s.
3
Let v(y) = -y**2 - 9*y - 10. Let h be v(-5). Solve 4*w = 4*q + 2 + h, -w - 2*q = 0 for w.
2
Let n be (64/(-6))/(5/(150/(-4))). Let i = n + -65. Solve 4*o - i = 3*t, 4*t + o + 4*o = -20 for t.
-5
Let w = 53 + -45. Suppose 0*b - 16 = -w*b. Solve -5*l = 2*s + 9, s - l - 3*l - b = 0 for s.
-2
Let u be (-4)/(-16) - (-9)/(-4). Let g(v) = -v + 2. Let y be g(u). Suppose 4*b + 4 = -2*q, y*q + 2*b = q + 2. Solve -3*l + 3 = -4*j, -4*l = 2*j + q*j - 4 for l.
1
Let n(q) be the first derivative of -q**3/3 - 7*q**2/2 - 7*q - 7. Let w be n(-5). Solve -3*l - a = 4, l + w*a = -0*l + 4 for l.
-2
Let w(u) = u**3 - 4*u**2 + 5*u - 2. Let h be w(4). Suppose 2 = 4*p + h. Let y be (2/2)/(p/(-8)). Solve k - b = y, -4*b + 5 = -5*k - 2*b for k.
-3
Suppose -32 = -14*r + 10. Let j be -5 - 37/(-2) - r/(-6). Solve 3*y - 2*o = 3*o - 19, 4*o - j = 2*y for y.
-3
Let u = -4 - -7. Suppose n = -3*c + 76, 3*n + 40 = 2*c - 7. Suppose 5*f - 5*z - c = 0, 9 + 8 = 5*f + 3*z. Solve -3*w - 3*q + 3 = 0, -u = -7*w + f*w + q for w.
1
Let m be (6/4)/(24/64). Suppose -2*d = 3*i - 13 - 5, 5*i - 8 = m*d. Solve p + 15 = -5*u, -i*p + 32 = -2*u - u for p.
5
Suppose -3*t - 4*k = -1 - 16, t = -k + 5. Solve t = l + l + a, -5*l + 9 = a for l.
2
Suppose 28*f - 12 = 24*f. Let m = 17 + -10. Let l be (-1*m)/(-1) - 1. Solve -d = f*a + 7, l*a - 5*d = 3*a - 19 for a.
-3
Let p = -1 - -3. Suppose 0*f + p*f = -2*s + 14, -19 = -f - 5*s. Suppose 18*t - 71 - 19 = 0. Solve 2*m - 5*m + t*i - 8 = 0, f*i = -2*m + 24 for m.
4
Suppose 20 = -24*d + 19*d. Let t(x) = x**3 + 4*x**2 - 2*x - 3. Let f be t(d). Solve 4*z + h = 2*z - 5, f*z + 4*h + 11 = 0 for z.
-3
Let a = 41 + -37. Solve 0*x + 15 = 2*x - 5*d, a*x + 35 = -3*d for x.
-5
Let n = 776 - 758. Solve 5*w + 5*y - 2 + 37 = 0, 2*w + 3*y = -n for w.
-3
Let v be ((-800)/15)/(-8) - (-1)/3. Suppose v - 7 = 4*h. Solve h = 2*g + y, -3*y - y = -2*g for g.
0
Suppose 0 = -8*t + 7 - 63. Let c be (2 - 1)/(t/14)*-2. Solve -c*x = 2*p - 4, -x + 12 = 2*x - 3*p for x.
2
Suppose 2*w + 6*o - 4*o = 10, -4*o + 20 = 0. Suppose -x + 5*n + 17 = w, 5*x + 3*n + n + 2 = 0. Solve -20 = -5*c - 5*b, x*b - 1 = 2*c - 5 for c.
3
Let g = 39 - 31. Suppose -3*m = -g*m + 15. Solve -m*n - a = 10, -3*a + 1 = n - 1 for n.
-4
Let k = 48 - 49. Let p = 12 + k. Solve 0 = 2*v - 3*r + p, -3*v - 3*r + 3 = -3 for v.
-1
Let q(k) = -k**2 + 1. Let h = 5 + -3. Let a be q(h). Let p = a + 7. Solve -p*t - o + 14 = 0, 5*t + 0*t + 2*o - 16 = 0 for t.
4
Let g = -51 + 47. Let p be 2/12 + g/24. Solve p = -m - 3*k - 15, 3*k - k + 10 = 0 for m.
0
Let s(m) = m**2 + 2*m. Let i be s(-3). Suppose 4*t = i + 5. Suppose 2 - 8 = -t*u. Solve 2*y = 3*y + 3*c + 7, 32 = 4*y - u*c for y.
5
Suppose -11 = -2*o + 33. Let p = 38 + -50. Let t = p + o. Solve 4*i + 2*v + 26 = 0, 4*i + 4*v = -22 - t for i.
-5
Let n(s) = -s**2 - 8*s + 158. Let x be n(9). Solve 20 = -d - 4*q - q, 2*d - x*q - 20 = 0 for d.
0
Let x = 276 + -273. Solve -4*j = -x*g - 4, 4*g = -5*j + 7*g + 2 for j.
-2
Suppose 3*a = -4 + 13. Suppose -7*x = -a*x - 76. Suppose x = 5*q - 2*i, 3*q + 3*i + 0 - 24 = 0. Solve q*c - g - 21 = 0, -3*g + 39 = 3*c + 12 for c.
5
Let u be (3 - 2 - 1) + 3. Let b be -1*4/(16/(-4)). Let y be (10/b - -2)*(-1)/(-2). Solve 0 = 3*k + 5*l - 13, -5*k - 2*l + u = -y for k.
1
Let h = -62 - -87. Let q = -22 + h. Solve q*w - 3*n = 3, -4*w - 5*n = 3 + 11 for w.
-1
Let l be 105/12 + 3/12. Let f be (0 + 1)/(l + -8). Let s be 33/21 - 3/(-7). Solve -5*m = -a - f, -s*m + 7 = a + m for a.
4
Let b = -11 - -13. Suppose -3*m + 27 = 4*d, -20 = -6*m + b*m. Suppose 6 = d*s - 0. Solve 2*a = -t - 3, -4*a - 31 = -s*t - t for t.
5
Let n(z) = -8*z - 4. Let x be n(-4). Suppose x = 2*f + h - 11, 3*f + h = 60. Let g = -17 + f. Solve 5*y - 3*j + 42 = 7, 0 = -5*y - g*j for y.
-4
Let i be (-110)/(-77) + (-8)/(-14). Solve -i*x + 11 = -k + x, 0 = -5*k + 4*x for k.
4
Suppose -x + 20 - 8 = -3*n, 5*x + 16 = -4*n. Let v = x - -2. Solve -z = -v*w + 2 - 7, 4*w - 5*z = -13 for w.
-2
Let v(l) = 7*l + 12. Let y be v(-1). Let q = -3 + 4. Let p = 2 + q. Solve y*f + 6 = -k - p, -4*f = -4*k + 12 for k.
1
Suppose 42*z + 43*z - 170 = 0. Solve -2*p = z*u + 8, 4*p + 7 = -3*u - 7 for u.
-2
Let t(o) = 2*o**3 - 9*o**2 - 2*o - 10. Let p be t(5). Solve v + s = 4*v + 13, 2*v = p*s - 13 for v.
-4
Let k(q) = -2*q + 8. Let s = 60 - 56. Let y be k(s). Solve -3*x - 1 + 4 = y, 0 = 3*r + x - 16 for r.
5
Let a = 17 - 21. Let j(y) = y + 8. Let q be j(a). Solve 4*m + 3 = -4*r - 1, -5*r + q*m = -4 for r.
0
Let r be (-6)/7*238/(-102). Solve -o + 2*w = -2*o - 5, 0 = 3*o - r*w + 15 for o.
-5
Let s be 3*1168/336 - (-3)/(-7). Solve s = -c + 3*c - 3*w, -c + 19 = -5*w for c.
-1
Suppose -2*p - 23 = -7*p + u, 9 = -3*u. Suppose -7 = 3*g + p*h, 3*g - g - h = 10. Solve f - 2*o - o = 2, -2*f - g*o - 5 = 0 for f.
-1
Let t be (210/(-120))/(1/(-12)). Solve -4*r - q = 5, -t = 3*r - 8*q + 3*q for r.
-2
Suppose 15*y - 49 = -19. Solve y*t + 1 = 2*l + 5, 0 = 4*t - 16 for l.
2
Let g = 14 + 38. Suppose -5*h + g = -h. Solve -h = -5*n - u, -2*u = 4*n + 2 - 16 for n.
2
Suppose -6 = -d + 2. Let m be 0/((-1)/((-4)/d)). Solve 3*b + 1 = 4*u - 10, m = 2*u - 2*b - 8 for u.
-1
Let o be (-2)/(-4) + 98/28. Solve 6*q - 3*q + o*n = 29, 2*q - 11 = -n for q.
3
Suppose 4*s = 3*s. Suppose -7*i + 56 = -49. Suppose 5*c - i = n, 0*c + 3 = c. Solve s = 2*f - 4*y + y, -f + 3*y + 3 = n for f.
-3
Let m = 1 + 2. Suppose z = -c - 3*z + 16, -2*z - 6 = -3*c. Solve -c*s = 2*a + 28, -2*a + 1 = m*s - 6*a for s.
-5
Suppose -3*n = 9, -5*g + 9*g - 16 = -4*n. Solve g = -5*z + 2*k + 30, 4*z - 3*k = 24 for z.
3
Let m be -7 + 3 + 6 - (6 + -7). Solve 3*a - 4*f = -m, -4*a + 2 = -4*f + 6 for a.
-1
Let s = -1912 - -1915. Solve 0 = -5*h - i - s*i + 11, -h = 3*i for h.
3
Let u be 5 + 0 - (-8 + 9). Let y = 8 - 9. Let r be (2 + -1)/(y/(-9)). Solve -4*m - r = -3*j, -m - 3 = 4*j + u for j.
-1
Let q be (0 - 3)*(-78)/18. Suppose -5*f = -q*f + 40. Solve -14 - 5 = -f*b + v, -b - 5*v = -9 for b.
4
Let l(q) = q**3 - 16*q**2 - 16*q - 17. Let i be l(17). Suppose r - 2*o = 3, 4*o + 21 = 5*r - i*o. Solve -5*f = p - 2, -r*p - 5*f + 8 = -p for p.
2
Let g be 2/8 + 14/8. Suppose 0 = 4*o - 9 - 47. Let t be (-4)/(-7)*49/o. Solve t*j + 5*b = -15, -3*j - 7 = 3*b + g for j.
0
Let y(k) = 11*k - 183. Let z be y(17). Solve 5 + z = 4*l - a, 3*a + 1 = -l for l.
2
Let g be (0 + -9)/(-1) + -2. Suppose 0 = 5*n - g - 8. Suppose -3*w = 4*h - 25, 2*w - 20 = 6*w. Solve -n*k + h = 4*i - 14, 3*i - 13 = -k for k.
4
Let s = 1291 + -1287. Solve -3*l = s*q + 2*l, 0 = -5*q + l for q.
0
Let j be ((-32)/(-20))/(2/(-10)). Let w(o) = o + 11. Let r be w(j). Suppose 23 - 1 = h + 2*f, 121 = 4*h - r*f. Solve -4*z = 4*v + h, z = -4*z + v - 11 for z.
-3
Suppose 14*g = -764 - 188. Let c = 68 + g. Solve c = -v + 2, 5*v = 2*m + v + 10 for m.
-1
Let g(d) = -2*d + 28. Let u be g(15). Let o be u + 4 - -2 - 0. Solve -4*j - 3*q - 8 = q, -o*j - q = 14 for j.
-4
Let q = -1883 + 1887. Solve -16 = 4*x, -3*w - q*x + x - 12 = 0 for w.
0
Let s be -18*5/(-4)*(-6)/(-9). Suppose 10*u = 5*u + s. Solve 2*l = -3*q - u*l + 15, -5*q = 4*l - 12 for q.
0
Suppose -5*l = 4*m + m - 5, -2*m - 18 = -2*l. Let s be 6 - 0 - 1*4. Suppose 11*p - s = 10*p. Solve g - 8 = l*a, -3*a = -0*g - 2*g + p for a.
-2
Let f = 59 + -42. Let x = -5 + f. Let q = -7 + x. Solve 2*h + 22 = 5*i, 0 = -q*i + 10 + 10 for h.
-1
Suppose 4*p - 72 = 4*q, 4*p - 9 = 3*q + 60. Suppose -p = -0*n + 5*n. Let u(t) = t**2 + t - 4. Let d be u(n). Solve 4*k = f + 3, -3*f + d*k - 7*k = 9 for f.
-3
Suppose 6*m + 122 + 28 = 0. Let f = m - -29. Solve 2*i = -3*k, 4*k + 0*k - f*i = 0 for k.
0
Suppose 329*t = 358*t - 58. Solve b + i - 13 = -t*i, 0 = -3*i + 12 for b.
1
Let l = -859 + 872. Solve -14*k + l*k - 1 = -2*q, 4*q = -8 for k.
-5
Suppose 0 = -4*u + 5*s + 40, 3*s = -20 + 8. Solve 3*h - 3 = -3*n, -u*n - 6 = h + 5 for h.
4
Suppose -4*g = -4 + 28. Let q be -6*(-1 - 2/g). Solve -q*p - 5*w = -p + 12, -5*w + 8 = -2*p for p.
-4
Let j = 29 - 3. Let w = -23 + j. Solve 0*h + 5*h = w*s + 6, -5*s + 2*h = 10 for s.
-2
Let v = -8 - -13. Suppose 8 = 3*g - 2*x, v*g + x - 5 = 4. Solve g*y = -5*a, 3*a - 2*y = -2*a - 20 for a.
-2
Suppose 4*a - 4*v - 16 = 20, 4*a - 2*v - 26 = 0. Let g be (-26)/(-12) - a/24. Solve -11 = -g*w + 5*h, -3*h + 0 = 3 for w.
3
Let q be ((-10)/3)/((-4)/6). Suppose 15*f + 16*f - 1