
Let y be (8 - 10)/(0 - (-5 + 6)). Suppose -3*c + 10 = -h - 22, 5*c - 30 = -3*h. Solve -y*u - 1 = -c for u.
4
Let v = 656 - 654. Solve 0 = 6*u - 4*u + v for u.
-1
Suppose -1 = 2*y + n - 9, 4 = n. Solve 0 = -y*c - 1 + 9 for c.
4
Let t(x) = -x**3 - 7*x**2 - x - 7. Let c be t(-7). Suppose -5 + 0 = 5*a - 5*f, 2*a - 5*f + 17 = 0. Let b = a + -1. Solve c = -k + b*k - 10 for k.
5
Suppose 5*k + 15 = 5*y, 0*y + 3*k - 19 = -4*y. Suppose -4*z - z = 2*l + 4, 0 = -y*l - 8. Suppose 5*q - 2*r = -r + 13, 0 = -4*r - 12. Solve p + q = -z*p for p.
-2
Let d = 60 + 11. Let u = 73 - d. Solve 0 = 2*p + 8 + u for p.
-5
Let i = -323 + 327. Solve -14 = 2*m - i for m.
-5
Let i = 36 + -48. Let h = 16 + i. Solve -10 = v + h*v for v.
-2
Let j(o) = -5*o - 108. Let c be j(-28). Solve 3*q = -5*q - c for q.
-4
Let n(a) = -2*a + 30. Let m(d) = 2*d + 4. Let h be m(5). Let i be n(h). Suppose 5*b - 5*c - 10 = 0, 2*c = -b - i*c - 8. Solve -g - 3 = -b*g for g.
-3
Suppose -96*y - 5*l + 47 = -94*y, 0 = -5*y - l + 106. Solve -y*i - 5*i = 78 for i.
-3
Suppose -3*h - 9*h = 5*h + 4*h. Let y(o) = -2*o + 1. Let n be y(-1). Suppose -n*x + 4 = -5*x, 3*s = 5*x + 16. Solve -d = -h*d - s for d.
2
Let s(z) = -2*z**2 + z - 1. Let c(j) = -11*j**2 - 10*j + 38. Let b(f) = c(f) - 5*s(f). Let r be b(-17). Solve 5*k = r*k - 4 for k.
1
Let w(q) = q**2 + 5*q + 8. Let n(v) = 3*v**2 + 16*v + 24. Let y(j) = -4*n(j) + 11*w(j). Let t be y(-8). Solve t = -m - 0*m + 2 for m.
2
Suppose -g = 3*s - 3, 4*g + 0*s - 2*s - 12 = 0. Let f be ((0/(-2))/2)/g. Solve f = -5*i + 7 + 8 for i.
3
Suppose -j + 1 = 10. Let p be (3/6)/((-5)/60). Let a = p - j. Solve -a*g - g = -8 for g.
2
Let s = -251 + 266. Solve -3*p + 9 = s for p.
-2
Suppose 0 = -4*p + 2*h - 138, 5*p + 2*h = 3*h - 174. Let n be 9/(-15)*1*p. Suppose -3*y + n = -9. Solve 5 = -j + y for j.
5
Let i be (-2)/((24/9)/4). Let r be (4/(-140) + (-4)/10)*-7. Let c = i + r. Solve 5*z + 3 + 2 = c for z.
-1
Suppose 0 = 4*r - 2*w - 10, 4 = -4*r + 2*r + 4*w. Suppose -3*t + 12 = 4*i, 2*i + t + 16 = 4*i. Solve 0 = -r*f + 6 + i for f.
3
Suppose -l = -7 + 2. Let d be -4 - (1 - 2 - 7). Solve 0 = d*p - l*p for p.
0
Let g(x) = 5*x - 15. Let q(p) = 3*p - 8. Let f(z) = 4*g(z) - 7*q(z). Let c be f(-6). Suppose 0 = -c*v - 0*v + 4. Solve -r = -0*r + v for r.
-2
Let n = -30 + 2. Let g be (-4)/2*14/n. Solve h = -3 - g for h.
-4
Suppose -t + 3 - 1 = 0. Let i be t - 3*(-4)/(-6). Let j be -7 + 6 - -11*1. Solve 3*o + 1 - j = i for o.
3
Let o be ((-2)/4)/(21/14)*-36. Solve -o = -2*p - 4 for p.
4
Let d(i) = 2*i + 39. Let k be d(-17). Suppose -2*l + k = -3. Let h(s) = s**2 - 8*s + 5. Let r be h(8). Solve -l*j + r = 17 for j.
-3
Let a(t) = t**2 + 7*t - 128. Let v be a(-16). Solve -1 = 5*r - v for r.
3
Let s = -229 + 234. Solve -3*o + 8 = -s*o for o.
-4
Let w be (-2)/(-6) - (15 - (-497)/(-21)). Solve -w*t = 6*t - 75 for t.
5
Let c(p) = -p**2 - 7*p + 5. Let t be c(-7). Let j(x) = -x**2 + 6*x - 3. Let h be j(t). Solve -h*q = 2*q for q.
0
Let a be (-9 + -10)*(-1)/1. Let c = 23 - a. Solve 2*j - c*j - 8 = 0 for j.
-4
Let h(p) be the first derivative of p**4/4 + 7*p**3/3 + 3*p - 5. Let n be (3 - 2)/(-1) - 6. Let m be h(n). Solve -8 = m*b + 1 for b.
-3
Let d = -50 + 54. Let o = d + -1. Let m = -2 - -7. Solve -m = o*i + 1 for i.
-2
Let h be (56/7)/(1 - -1). Let j be h/(-10) - (-216)/40. Solve 0 = 3*i - 14 + j for i.
3
Let l(i) = i**2 + 2*i + 8. Let w be l(4). Solve w = -22*n + 14*n for n.
-4
Let q = 4 + -2. Let m be (9/(-6))/(q/(-4)). Suppose 2*j + 25 = m*u, -2*u + 4*j + 41 = 11. Solve 3 = -u*o - 2 for o.
-1
Suppose l = -5*s + 1 + 24, -5*s = 4*l - 10. Solve 0 = s*d - d + 20 for d.
-4
Let r(m) = m**2 - 5*m - 9. Let n = -11 + 18. Let t be r(n). Let o be (-20)/4*(-3)/t. Solve -6 = o*k + 9 for k.
-5
Suppose -u = -2*f + f - 12, 3*u - 20 = -f. Suppose -5*g + 2*x + 8 = -6, g = 3*x + u. Solve 0 = -5*s + 23 + g for s.
5
Let g be 0/(5/((-20)/(-12))). Suppose 4*a - 8 = -g*a. Solve -a*p + 3 = p for p.
1
Let r(b) = b**2 - b + 2. Let l be r(3). Suppose -4*k - 30 = 3*w, -5*k - 25 = 4*w + 13. Let c = k + l. Solve -m + 2 = -c for m.
4
Let a = 172 - 157. Solve a*b + 12 = 19*b for b.
3
Suppose -21*o + 3*o + 1548 = 0. Let t = 91 - o. Solve -1 - t = 3*r for r.
-2
Suppose -4*l = 3*f - 3, -5*f + 9 = 4*l + 4. Let c = 19 + -13. Suppose 3*t = 2*u + 8, -t - u + 0*u + c = 0. Solve l = t*j - 2*j for j.
0
Let s(b) = b**2 + 5*b + 5. Let j be s(-5). Suppose -5*m + 0*m + 4*w = -14, j*m + 4*w - 6 = 0. Suppose -m*a = -a - 6. Solve -3*l + a*l - 15 = 0 for l.
5
Let v be 20/(-6)*63/(-42). Suppose -a + 15 = 5*z, z = 4*a + 19 + v. Solve -8 - 8 = z*f for f.
-4
Let n = 9 + 0. Let t = n - 9. Solve t = -3*g - 0*g for g.
0
Let j be (-2 - (-1)/2)/(9/(-702)). Let i = 120 - j. Solve i*c = -9 + 24 for c.
5
Suppose -a = 3*r - 8*r + 18, r = 4. Solve -5*q - a = -7*q for q.
1
Suppose -h = 3*h - 100. Let s = h - 21. Let r be s/(-24) + (-31)/(-6). Solve -r*x + x = 12 for x.
-3
Let j(w) = 2*w - 9. Let v(y) = -y**3 - 13*y**2 + 15*y + 20. Let c be v(-14). Let f be j(c). Let a be -2*((f - 7) + 3). Solve -3*g = -g - a for g.
1
Let w(c) = 5*c - 23. Let k be w(8). Suppose -4*t = -k + 1. Solve -x = -5*x - t for x.
-1
Let c = 50 - 32. Let h be c*1/2 - -3. Suppose 10 = 3*g + 1, -4*g = -4*x + h. Solve y + x - 3 = 0 for y.
-3
Suppose 0 = 2*o - 4 - 2. Let b(x) = 31*x - 27. Let k be b(1). Solve -k = -o*h + h for h.
2
Suppose 13*y = -2*y + 30. Solve 0 = -y*u - 8 + 2 for u.
-3
Let h = 57 - 52. Suppose 3*n + 9 = 2*m - 4*m, 5*m + 4*n = -h. Solve m*l = -2*l - 10 for l.
-2
Let r(h) = h**2 - 3*h + 5. Let a be r(5). Suppose 3*q + 2*v - v = a, 2*v = 2*q - 10. Solve -q*f - 2 = -3*f for f.
-1
Suppose 0 = s - 3*p - 3, 4*s + 2*p = -0 + 12. Let h(u) = 16*u**2 + u + 1. Let x be h(-1). Solve -s*k = k + x for k.
-4
Let z = 85 + -53. Suppose -2*x + h = -3*h - 20, 0 = 5*x - h - z. Solve i = x*i for i.
0
Suppose 0 = -2*c + 7*c - 50. Let l be ((-10)/4 + 2)*144/(-18). Solve -w - c = l*w for w.
-2
Let p = -18 + 28. Suppose -6*y = -p*y. Solve y = 4*z + 28 - 8 for z.
-5
Let h(v) = -6*v**2 - v. Let r be h(-2). Let a = 32 + r. Let i be (-10 + a)/(0 - -1). Solve i*t = t for t.
0
Let v(j) = j + 5. Let c be v(6). Let r = c + -3. Suppose -3*o + z = 5, -20 = 2*o - 2*z - 2*z. Solve -5*x + 3 - r = o for x.
-1
Let m = 1 - -1. Let h(d) = -16 + d**2 + 5 + 2*d**2 + 9 - 2*d. Let l be h(m). Solve -o - l = -1 for o.
-5
Suppose -2*i + 7 + 9 = 0. Suppose i*n - 3*n = 25. Suppose 12 = n*h - 8. Solve b - 1 = h for b.
5
Suppose -40*j = -37*j - 48. Solve 0 = a + 20 - j for a.
-4
Suppose m + 40 = 2. Let j be m/9 + 6/27. Let n be 2/8 - 19/j. Solve n*s - 3 = 2 for s.
1
Suppose -5*x + 21 = -2*b, 157*x = 160*x - b - 13. Solve 16 = -x*a - 9 for a.
-5
Let d(q) = -2*q - 7. Let b be d(-5). Suppose -5*p + 136 - 131 = 0. Solve -b = 4*k + p for k.
-1
Let n(i) be the first derivative of 4*i**3 + 16*i + 2 + 1/4*i**4 + 11/2*i**2. Let p be n(-11). Solve 6*b - p = 2*b for b.
4
Let y(p) = -p**3 - 7*p**2 - p - 1. Let t be y(-7). Suppose 3*b = 7*b. Suppose -5*v - 5 = -5*x, b = 2*x + v + 4*v - 2. Solve i + t = x for i.
-5
Let s = -29 + 34. Let f(c) = c**3 - 4*c**2 - 7*c + 13. Let h be f(s). Let k = -11 + 13. Solve -k = h*l + 10 for l.
-4
Suppose -4*l + 4 = 0, -4*l = 2*z + l - 5. Suppose z = 3*k + k + 2*u - 2, -5*k - 3*u + 1 = 0. Solve k*i - 8 = -2 for i.
3
Let i(q) = -q**2 + 5*q + 4. Let j be i(5). Suppose 0 = -6*a + 73 + 41. Let f be -12 + a + (-1 - 1). Solve 0 = -j*n - n - f for n.
-1
Suppose -889*d + 890*d - 3 = 0. Suppose -5*q + 18 = 3. Solve q = 2*l - d*l for l.
-3
Let f be ((5 - (0 + 5)) + 0)/2. Solve f = -3*g + 47 - 59 for g.
-4
Let u(k) = k**3 - k**2 + k - 1. Let o(r) = -3*r**3 - 3*r**2 - 13*r + 15. Let v(b) = o(b) + 4*u(b). Let t be v(8). Suppose x = -x. Solve x = -t*q + 9 + 6 for q.
5
Suppose 5*w = w + 8. Suppose w*o = 8 + 12. Let q(l) = l**2 - 10*l + 5. Let g be q(o). Solve -13 - 12 = -g*b for b.
5
Let z be 9/(36/224) + (-29 - -24). Solve 0 = l - 47 + z for l.
-4
Let i = 264 - 261. Solve -b + i*b - 6 = 0 for b.
3
Let q be 0/((-1)/(-1)) - 16. Let y be -6 + 132/(-6) + 4. Let c = q - y. Solve 0 = -2*b - 0 + c for b.
4
Suppose 3*n - 11 = 1. Suppose 2*z = -n*z + 6. Solve -z = j + 2 for j.
-3
Suppose 2 = -5*w - 3. Let y be w*(-1)/(2/10). Solve -5 = -y*u - 25 for u.
-4
Let h be (-3)/6 - 3*2/(-12). Solve 0 = -j + 1 - h for j.
1
Let r =