Suppose -r = a*r. Solve r*n - 2*n = 2 for n.
-1
Let y = 506 + -499. Solve 5*h - y*h = 8 for h.
-4
Suppose 1 = 4*b + 3*p + 10, 12 = 4*b - 4*p. Solve b = -5*u + 8*u for u.
0
Let c = 34 - 58. Let b = 68 - 114. Let k = c - b. Solve -k + 2 = 4*w for w.
-5
Let z be ((-3)/2)/((-7)/42). Suppose 2*g + 2*x = 36, g - 5*x - 6 = -2*x. Let n = g - z. Solve 4*f = n*f - 2 for f.
1
Suppose -3*n = 3*t - 24, -n = -t - 6 - 2. Solve -n*a + 5*a - 3 = 0 for a.
-1
Suppose 0 = -2*p - p + 2*f + 23, 43 = 5*p - f. Let b = p - 7. Let t = -102 + 104. Solve -t*r - 20 = b*r for r.
-5
Let y(x) = -26*x + 266. Let g be y(10). Solve g = p + 6 for p.
0
Let f = -61 - -65. Suppose 4*m - 30 = -10. Suppose 5*j + 15 = 0, f = -5*x - 3*j - m. Solve -b - 1 - 3 = x for b.
-4
Suppose 0 = -5*v + 29 - 4. Suppose -v*l + 30 = 20. Let u be 1*(l + (-1 - 0)). Solve u - 5 = -2*g for g.
2
Suppose 0 = 2*f + 3*a + 1, -2*a - 4 - 27 = -3*f. Solve 7 = -5*g + f for g.
0
Let r(n) = -n + 9. Let u be r(-14). Let w(x) = x**2 - 24*x + 32. Let c be w(u). Solve -3*i + c = -0*i for i.
3
Let a = 20 - 9. Let w = -12 + a. Let z = w + 3. Solve z*d + d + 12 = 0 for d.
-4
Let l(y) = 4*y**2 - 3*y - 4. Let o(u) = -u + 1. Let m(r) = l(r) - 4*o(r). Let q be m(2). Solve 0 = -5*w + 7*w + q for w.
-5
Suppose 0 = 4*b + 2*n + 9 + 15, 0 = -4*b + 5*n - 38. Let p = -2 - b. Suppose 0 = 3*u - 25 - p. Solve -l - 4*l - u = 0 for l.
-2
Suppose 6*m - 2*r = 8*m - 144, 2*m = 2*r + 156. Solve m - 71 = -f for f.
-4
Let h be (2/(-5))/((-4)/30). Solve -4*i + h = -5*i for i.
-3
Suppose 0 = -2*i + 3*z + 25, -210*i + 214*i - 44 = 4*z. Suppose f - 25 = -4*f. Solve f*v = i + 2 for v.
2
Suppose -4*f + 108 = -f. Suppose -8*u + 84 + f = 0. Solve 5*l = u - 0 for l.
3
Let h = 163 + -160. Let c be ((-2)/(-8) - 85/(-60))*h. Solve -3*x = -c*x - 8 for x.
-4
Let u = -123 + 127. Suppose -4*m + 3 = -9. Solve u*r - r = -m for r.
-1
Suppose -t + 113 - 274 = 0. Let o = -152 - t. Solve -2*r - 13 = -o for r.
-2
Let p = 513 + -497. Let t be -1 - -5 - (-1 + 0). Suppose -3*g - 8 = -t*w + g, g + 1 = w. Solve 0 = w*i + 4 - p for i.
3
Let t = -794 - -796. Solve 0 = 8*n - t - 38 for n.
5
Suppose -46*f = -462 - 1102. Solve -f*d = -37*d + 6 for d.
2
Let f = 1371 + -1361. Solve -18 = f*k - 16*k for k.
3
Suppose -3*t - 1 = 5*y, y = -4*t + t + 7. Solve 0 = -t*x - 25 + 28 for x.
1
Let u be (-3)/(-2) + 135/10. Let j(r) = r**3 + 18*r**2 + 16*r - 15. Let w be j(-17). Solve a = -w*a - u for a.
-5
Suppose -5*u + s = -9, 3*u = -u - 3*s - 8. Solve -u = -i - 6 for i.
-5
Suppose -3*r = -7 + 1. Let b be (4 + -2 - r)/1. Solve d - 2 + b = 0 for d.
2
Suppose 16 + 14 = -5*o. Let w(a) = -2*a - 7. Let r be w(o). Suppose -8 = -2*s, -u = -r*s + s + 11. Solve -u*n + 4*n - 1 = 0 for n.
-1
Suppose -41*b = -56*b. Solve b = -7*m - 9 + 37 for m.
4
Suppose 21*u = 6*u + 180. Solve -u*x + 20 = -4 for x.
2
Suppose 76 = 2*j + 2*j. Solve -j - 1 = -4*y for y.
5
Let k(z) be the first derivative of z**2/2 + 12*z - 9. Let i be k(-12). Solve i = 2*j - 1 + 5 for j.
-2
Suppose 2*p = -4*j + 8, j - 3 = -3*p - 1. Solve o - 5*o - 8 = p for o.
-2
Let k be 1*(-2 - -1) + -11 + 16. Solve -10 = k*q + 6 for q.
-4
Let t be (1 - (-1 - -2))/(-1). Suppose 310 = -t*w + 5*w - 5*q, -w + 58 = -2*q. Suppose 4*s = w + 34. Solve 0 = -h - 4*h - s for h.
-5
Suppose -4*n = 2*j + 3*j - 64, 4*n = j + 64. Let u be n/(-6)*(-195)/20. Suppose -6*t = -4 - u. Solve t*m - 4 = 3*m for m.
2
Suppose 3*s - 4*v - v = 0, 5*v = 4*s. Suppose 20 + s = -5*d. Let b be d*(2 + -1) - -5. Solve 0*x - b = -x for x.
1
Let d = -264 - -272. Solve 3*p + d = -7 for p.
-5
Let x = 2 + -4. Let g be (-1)/(2 - (-5)/x). Let a = 175 + -174. Solve -g*i - 5 = -a for i.
-2
Suppose -51 + 21 = -5*v - 2*s, 6 = v + 3*s. Solve 2*z - v = 4*z for z.
-3
Let x = -621 + 621. Solve -13*a - 9 + 48 = x for a.
3
Let u(b) = b**2 + 18*b + 27. Let t be u(-20). Solve 0 = 9*d - t + 22 for d.
5
Let p be 25/(6/(33 - 3)). Solve -4 = -p*b + 123*b for b.
2
Suppose 2*t = -4 + 14. Let j(w) = w**3 + 9*w**2 - 12*w - 20. Let p be j(-10). Solve -t*r + p = 10 for r.
-2
Let v = -26 + 18. Let w = -5 - v. Let q = -5 + 9. Solve 5*h = w*h - q for h.
-2
Let q(d) = d**3 - 8*d**2 + d - 8. Let c be q(8). Solve -3*z + c*z = 15 for z.
-5
Let l be (4 - 61/3)*3. Let j = 54 + l. Solve -22 + 2 = j*z for z.
-4
Let p(u) = -u**2 - 6*u - 1. Let z be p(-5). Suppose 0 = -2*b - z*i + 20, 3*i = 3*b + 2*i - 16. Suppose 3*v + r + 17 = b*v, -5 = r. Solve -v = -5*m + 16 for m.
4
Let c = -291 + 297. Solve -c*v = -4*v for v.
0
Let z = 320 + -316. Solve -z = -8*c + 7*c for c.
4
Let h = -34 - -28. Let j(x) = -x**3 - 5*x**2 + 7*x + 8. Let a be j(h). Solve -f - a = -3*f for f.
1
Let b(s) = 3*s**3 + s + 1. Let z be b(2). Let f = 27 - z. Solve 0 = -f*i - 4*i - 12 for i.
-3
Let j(y) = 5*y**2 - 2*y + 2. Let u(r) = 6*r**2 - 2*r + 3. Let q(p) = 5*j(p) - 4*u(p). Let d be q(4). Suppose -d*x = -2*x - 16. Solve -x*i = 6 - 2 for i.
-1
Suppose 36 = -20*b + 17*b. Let d be (28/b)/(3/(-9)). Let w(r) = r**2 - 4*r + 8. Let g be w(6). Solve 2*j - g = d*j for j.
-4
Let f be 154/42 - (-8)/6. Let z be 1/f - 32/(-40). Solve 0 = -4*w + 5*w - z for w.
1
Suppose -32*j = -35*j + 12. Solve 0 = j*g - 25 + 13 for g.
3
Suppose 5*w + 10 = -o - 5, -4*o - 9 = 3*w. Solve o = -0*h - h for h.
0
Let l(g) = 2*g - 9. Let o be l(5). Let j be o + (-3*2)/(-2). Solve 2 - 10 = j*i for i.
-2
Let b = -11 + 14. Let y be (b*1)/(11 - 10). Let v be (5 - y) + (1 - 1). Solve -v*h = -0*h for h.
0
Suppose 0 = c - 0*c. Suppose -t = -c*t. Let a be (12/15)/(65/(-25) + 3). Solve p - a = -t*p for p.
2
Suppose 0 = -45*o - 23*o + 816. Solve -o = 12*j + 24 for j.
-3
Suppose -50*j = -86*j. Solve j = -d - 9*d + 50 for d.
5
Let z be -90*(70/15 - 5). Solve -2*w = 4*w + z for w.
-5
Let g be 0*(0 - (3 + -2)). Let y = g + 2. Suppose y*h - 1 = 1. Solve -v = -h + 6 for v.
-5
Let b = 80 - 43. Suppose i + 35 = b. Solve -7*p = -i*p + 25 for p.
-5
Let w be (5 - 1) + 74/(-37). Solve -w*a - 2*a = 16 for a.
-4
Let u(b) = -17*b - 4. Let t be u(-3). Suppose 23 = 7*y - t. Solve -6*p = -p - y for p.
2
Suppose -5*r + 98 = 9*r. Solve -r*a + 0*a = 0 for a.
0
Let m be -4*(-3)/(-6) - -5. Suppose -m*i + 14 = 11*i. Solve x = -i + 5 for x.
4
Suppose 0 = 3*h - 0*h - 4*o - 15, 0 = 2*h + 2*o - 10. Suppose -5*d - h*m = 0, 4*d + 3*m - 4 + 2 = 0. Solve 0 = -4*x + 18 - d for x.
4
Suppose 8 = -4*t, -5*u + 5*t = 3*t - 84. Let q(k) = 2*k - 5. Let c(x) = -3*x + 9. Let n(z) = 3*c(z) + 5*q(z). Let f be n(0). Solve -2*o = f*o + u for o.
-4
Suppose 10 = a - 2. Suppose 0 = -a*q + 11*q. Let t be 5 - 4 - -1*3. Solve q = t*x - 10 - 10 for x.
5
Suppose 2*b - 10 = 4*t - 0*b, 25 = 5*b. Suppose -2*h - h + 9 = t. Suppose -3*o - n = h*n, -5*o - 5*n = -5. Solve -k - 3 + o = 0 for k.
1
Let u(z) = z - 10. Let i be (1/(-2) + 0)/((-11)/286). Let c be u(i). Solve v = -c*v for v.
0
Suppose -p + 2*i = 4*i - 8, -2*p = -5*i + 20. Suppose -6*f - 4*x = -2*f - 36, -4*f - 5*x + 32 = p. Solve -f - 7 = -5*q for q.
4
Suppose -j + 7 = 2*z, z + 27 = -4*j + 4*z. Let k = 2 - j. Solve -4*m = -k*m for m.
0
Suppose -4*v + 46 = 6. Suppose -v = -4*t + 2. Let q(f) = f - 1. Let j be q(t). Solve -2 = -j*y + 4 for y.
3
Suppose -4*v + 5*b + 67 = -v, 3 = 3*b. Let i be v/10 - 6/15. Let o(n) = n**3 - 12*n**2 + 11*n + 1. Let k be o(11). Solve -3 = -i*z - k for z.
1
Suppose -4*z - 5*n - 32 = 0, n - 49 = 5*z + 5*n. Let u(s) = s**2 + 13*s + 9. Let f be u(z). Let m be (-2)/5*(-14 + f). Solve 3 + 3 = m*x for x.
3
Let j = -81 - -114. Suppose -2*w = 31 - j. Solve -w - 9 = -5*s for s.
2
Let c = 151 + -150. Solve -c - 3 = -b for b.
4
Suppose -6*r = -5*r. Let j(s) = s**3 + 2*s**2 - 4*s - 1. Let z be j(-3). Suppose -4*q - z = 3*g - 0, -4*q - 10 = -g. Solve r = -4*w + g*w for w.
0
Let p(y) = -y**2 + 6*y + 4. Let r be p(6). Let n be 1/2 + 38/r. Suppose -2*m = -m - n. Solve 0 = -3*k + m - 25 for k.
-5
Let y be (11 - 7 - 6) + 27. Solve -y*i = -30*i + 20 for i.
4
Suppose 15*i + 24*i = 741. Solve 0 = -n + i - 24 for n.
-5
Let d be -3 + 2 - (-5 - -2). Let n be (-3)/d*20/(-15). Solve -2*t - 4 = -n for t.
-1
Let t be (145/1 - (0 - 1)) + -2. Let z be 2/5 + (t/5)/3. Let l be (4 - 2) + (-2)/(-2). Solve l*g = 8*g - z for g.
2
Suppose -2*a + 6 + 11 = g, -13 = -g - 4*a. Suppose r - 20 = -2. Let m = g - r. Solve -m*f - f = 0 for f.
0
Let s(y) = 9*y**2 + 396*y + 2. Let b be s(-44). Solve -b = -8*i - 10 for 