-2
Let w = -545 + 553. Solve 0 = w*c - 6*c - 4 for c.
2
Let p(t) = 2*t**2 - 6*t. Let y be p(3). Suppose 26*h - 25*h - 12 = y. Solve 0 = -5*f + h - 37 for f.
-5
Let v be -69*((-5)/15)/1. Solve -51*c = -v*c - 24*c for c.
0
Let r(w) = 2*w - 17. Let j be r(17). Suppose -j*b + 18*b - 6 = 0. Solve 4 + b = 5*g for g.
2
Suppose 6*g = -3*u + 11*g + 5, -3*u = 5*g - 25. Solve -3*w = 1 + u for w.
-2
Let z be (-2)/((0 - -1)*(-3 - -1)). Let d = z + 0. Solve -4*c + 15 = -d for c.
4
Suppose 445*j - 437*j - 32 = 0. Let r(h) = h + 6. Let v be r(-6). Solve v = p - 3*p - j for p.
-2
Suppose -72*x + 0*x = -1152. Solve 2*m - x*m = -56 for m.
4
Suppose 5*l = d + 25, 0 = -2*d - d + 15. Let c be (20/15 + -4)*l/(-4). Solve 5 + 7 = -c*v for v.
-3
Let j(f) = -4*f - 3. Let b be j(-4). Let r(s) be the first derivative of -s**2/2 + 9*s - 2. Let g be r(2). Solve -5*y = b + g for y.
-4
Let r = 22 + -19. Suppose -4*l = 5 - 9. Let t be 4/2 + l - -9. Solve r*d + d = -t for d.
-3
Suppose -14*h + 23*h = 63. Solve -h*a - 4 - 31 = 0 for a.
-5
Let w = 2 - 0. Let r = -77 + 82. Let f be r*(-2)/(-4) - (-1)/(-2). Solve -f*o = w*o for o.
0
Suppose -2*u - 20 = -2*g, 5*g - 7*g - 3*u = 0. Let h be (-24)/g + (-1 - 14/(-2)). Solve h = j - 0 for j.
2
Suppose 7*c - 742 = -0*c. Let v = -103 + c. Solve -v*x = -6 - 0 for x.
2
Let b(d) = 16 - 2*d + d**2 - 2*d**2 - 9*d + 0*d. Let y be b(-12). Solve 20 - y = 4*i for i.
4
Let d = -26 + 29. Let v(k) = -1 - 3*k**2 + k + 5*k**2 - 2*k - k**2. Let n be v(d). Solve 5*u - 6*u = -n for u.
5
Let v(n) = -n**2 - 10*n - 13. Let u = 29 - 37. Let q be v(u). Solve o = -q*o + 4 for o.
1
Let i = -57 + 84. Suppose i + 13 = -2*u. Let p be u/(-3)*(-9)/(-2). Solve 0 = -5*x - 10 + p for x.
4
Suppose 7*u + 0*u = 56. Let x = -6 + u. Solve 0 = -x*a - 0*a - 8 for a.
-4
Suppose n = -25*o + 22*o + 33, -4*n = 3*o - 123. Solve 8*h + 2 = -n for h.
-4
Suppose -5*u + 2*b + 34 = 0, -u - b = -2*u + 5. Let y be 1/4 - 2/8. Suppose y*z - 2*z = -u. Solve 2 = -2*d - z for d.
-3
Let y = 1 + 7. Suppose 0*q + 4*q = y. Let n be (q*-2)/(2 + -4). Solve 2 = 2*m - n for m.
2
Let c(l) = -22*l**2 + 43*l + 6. Let s be c(2). Solve s*w + 22 = 2 for w.
-5
Let z = -7 - -11. Suppose 2*k + z = 4*k. Suppose 5*t = -j + 5, -k*t + 4 = 2*t. Solve j = -w - 2*w + 3 for w.
1
Suppose -13*u + 2*u = -0*u. Solve u*m - 2 = m for m.
-2
Let b be 0/(1/(-2)*2). Suppose 2*i - 2 - 28 = b. Suppose -4*q = -i - 1. Solve -w = q*w - 20 for w.
4
Suppose -208 = -4*y + 2*k, 3*y + 0*k = -4*k + 145. Suppose 0 = u - 2*u + 2*v + 10, 0 = -4*u - 3*v + y. Solve -u - 3 = -3*s for s.
5
Suppose 5*c + 2*j - 58 = 0, -4*c - 4*j = c - 56. Solve 0*i + c = 3*i for i.
4
Let g = -3 + 14. Suppose -3*v + 6*s = s - g, 4*s = v - 6. Solve -6 = d + v*d for d.
-2
Let a be 10/3*12/10. Let k(c) = c**2 - 20*c + 99. Let i be k(8). Solve -7 = a*b - i for b.
-1
Suppose 0 = 5*q - 2*w, 2*w - 31 = -3*q - 3*w. Solve q*a = -4*a for a.
0
Suppose 3*y + 4*p + 1 = 0, -4*y - 26 = -6*y + 4*p. Suppose 0 = -y*s - 17 + 17. Solve -3*v + 4*v = s for v.
0
Let q = 8 + -4. Let f = -1286 - -1301. Solve d - q*d = -f for d.
5
Let t = 280 - 278. Solve 10 = t*w + 3*w for w.
2
Suppose 2*x - 20 = -4*b, 16*b = 11*b + 20. Solve 2*u = -x - 0 for u.
-1
Let t = 245 - 241. Solve 16*r - 36 = t*r for r.
3
Suppose -14 + 5 = -3*a. Suppose -3*s + 2*s + a = 0. Let t = 9 - 5. Solve -s + 11 = -t*c for c.
-2
Suppose -47 = -2*f - h, -82 = 3*f + 2*h - 150. Solve 10*s - f*s = 64 for s.
-4
Suppose 14*a - 42 = 7*a. Let l be -3 - -7 - (5 - a). Solve 0 = g - l for g.
5
Let a be 10*(-2)/(-5 + 3). Suppose -a = 5*o - 0. Let z be o/(-4)*0/(-6). Solve z = -0*b + 5*b for b.
0
Let d be 3 - 0/(0 + 1). Suppose -4*x = -d*u - 0*x + 30, x - 15 = -3*u. Solve 4*f - 6 = u for f.
3
Let x = -246 - -296. Solve -4*n - x = -14*n for n.
5
Suppose -7 = -5*z - 2. Let q = -14 - -16. Solve -q*j - z = -j for j.
-1
Let f(c) = -c**3 - c**2 - 5*c + 6. Let m be f(3). Let a be (m/(-25))/((-2)/(-10)). Solve -a + 1 = 2*g for g.
-4
Suppose w + 80 - 89 = 0. Solve 0 = -8*k - w - 7 for k.
-2
Suppose -9*m + 23 = -40. Suppose -2*u - 20 = -w + 3*u, -2*u - 8 = w. Solve w = -6*d + m*d - 1 for d.
1
Suppose h - 3*w + 1 = 0, 2*h - 6*w - 20 = -11*w. Solve -16 = -n + h*n for n.
-4
Let q be 39/(-12)*-4 - 6. Solve q*n - 2 = 6*n for n.
2
Let k(v) = 2*v + 9. Let r(m) = 6*m + 28. Let g(l) = -8*k(l) + 3*r(l). Let h be g(-6). Let u be (1/2*h)/(-2). Solve u*o + 5 = o for o.
5
Suppose -6*l + 9*l = 3*v, l = 3*v. Solve -4*h + 0*h + 4 = l for h.
1
Let l = 2682 - 2668. Solve l = -g + 19 for g.
5
Let t be 13/13*2/2*-1. Let h be (3/t + 2)*(-7 + 3). Solve -h*r - 4 = -3*r for r.
-4
Let d = -2062 - -2070. Solve -35*v + 27*v - d = 0 for v.
-1
Suppose -5*a = -4*k - 8 - 13, a + 5*k = 10. Suppose a*p = 104 - 24. Suppose p = -2*r + 4*r - 2*c, -28 = -3*r + 4*c. Solve x - 15 = r*x for x.
-5
Let h = 33 + -39. Let b be ((45/h)/(-3))/(1/8). Solve 2*j + b = 7*j for j.
4
Let i = 106 - 199. Let x = i + 97. Solve 0 = -v + x - 2 for v.
2
Let m = 43 - 31. Suppose 0 = -3*h + m. Solve -w + h = w for w.
2
Suppose 0 = 2*g + 3*g + 30. Let y be g + 9 - (1 + 0). Suppose 0 = y*m - 3*m. Solve m = -s + 4*s for s.
0
Suppose 2*j - 30*j = -280. Solve -41*s - j = -36*s for s.
-2
Let z = -688 + 696. Solve -2*r = -z - 0 for r.
4
Let c = -2 + -2. Let w(i) = i**3 + 3*i**2 - 4*i + 6. Let t be w(c). Solve b = -b + t for b.
3
Suppose 0 = -b - 3*s + 6, -4*s + 4 + 4 = -5*b. Suppose 0 = n - 2*z - 17 + 20, -32 = -4*n - 3*z. Solve -n = -j - b*j for j.
5
Let j(u) = -u**3 + 4*u**2 + 3*u + 4. Let c be j(4). Suppose -2*d = 3*k - c, 2*k + 2*d = -3*d + 29. Suppose 4*o + 0 - 4 = 0. Solve -k*h = -h - o for h.
1
Suppose 10*d = 523 - 43. Solve -d + 45 = y for y.
-3
Let l(g) = 36*g**2 + 3*g + 1. Let d be l(-1). Let t = d - 30. Solve -t*b = -2 - 2 for b.
1
Let d = 562 - 556. Solve -y + d = -7*y for y.
-1
Let m(n) = 23 - n**2 - 6*n + 2*n - 15*n + n. Let s be m(-19). Solve -s*c + 7 = -5 for c.
3
Let n(w) = w**3 - w**2 - 4*w - 1. Let s be n(3). Suppose -3*t + 18 = -4*g, 3*g - 16 = -5*t + s*g. Let z = 1047 - 1036. Solve -t*f - 1 = -z for f.
5
Let a(b) = -b**2 - 14*b + 12. Let c(m) = -6*m**2 - 71*m + 60. Let z(i) = -11*a(i) + 2*c(i). Let h be z(10). Let v = h - 8. Solve v = 2*o - 4*o - 4 for o.
-2
Let k = -26 + 28. Suppose -k*n - 2 + 4 = 0. Solve -2*q - n - 3 = 0 for q.
-2
Let f(k) = 2*k**2 - 2*k + 1. Let w be f(1). Suppose -2*c + n = -25, 6*c = c - 2*n + 40. Let x = c - 7. Solve w = -2*i - x for i.
-2
Suppose -5*j = -g + 2*g - 15, -j = 3*g + 11. Suppose 3*n - 3*t = 0, -j*n - t + 30 = 5. Let r(a) = -a**2 + 4*a + 5. Let y be r(n). Solve -3*x + 7 + 5 = y for x.
4
Suppose 11*s - 251 = -64. Solve -2*t - 27 = -s for t.
-5
Let w be ((-1)/(-2))/(1/10). Suppose 5*o = i - 6, -18*i = -15*i + o - 50. Suppose 0*x + w*k + 29 = 3*x, -4*k - i = 0. Solve x*q = -q - 12 for q.
-3
Let g be (93/31)/(-1 + (1 - -1)). Solve g*t - 2 = 7 for t.
3
Suppose -2*y + 9 = -5*r + 105, 0 = 2*y + 4*r + 78. Let w = 58 + y. Solve 0 = i + 2*i + w for i.
-5
Let j(i) = -2*i**3 - 3*i - 4. Let x be j(-2). Suppose -15*b = -x*b + 48. Solve h - b = -3*h for h.
4
Suppose 88*i + 58 = 89*i. Solve -i + 57 = w for w.
-1
Let k = -253 + 270. Solve 19*d - k*d = 6 for d.
3
Let w(x) be the first derivative of 3*x**2/2 - x - 5. Let s be w(1). Suppose 3*m = s*m + 4. Solve -v = -m*v for v.
0
Let y be (-9)/(-21) + (-50)/(-14). Suppose -28*t - y = -32*t. Solve 3 = -2*h - t for h.
-2
Let k(g) = 2*g**2 - 3*g + 1. Let q be k(2). Solve d = -1 - q for d.
-4
Suppose 15 = 5*o, 15*o - 21 = -k + 10*o. Solve 12*u + k = 6*u for u.
-1
Let l(j) = -j + 3. Let s be l(2). Solve -4*a = s - 5 for a.
1
Let l = 5 + -1. Suppose 3 = l*r - 5. Suppose -r*s + 9 = 1. Solve a = -a - s for a.
-2
Suppose 4*f = 5*m - 228, 38*f - 42*f + 12 = 0. Solve 15*s = 3*s - m for s.
-4
Let m = -36 + 65. Solve -2*u - m = -39 for u.
5
Let f = 18 + -20. Let z = f + 8. Solve -z*t + 3*t + 9 = 0 for t.
3
Let b(p) = 12*p**2 + 2*p - 2. Let z be b(1). Let k(r) = r - 6. Let t be k(z). Solve -3*i - t = -i for i.
-3
Let u = 15 + -9. Suppose 1 - 7 = -u*n. Solve -3 = -h - n for h.
2
Suppose -3*v = -4*q + 9, v = -q - v + 16. Solve 5*k + 1 = q for k.
1
Suppose -5*f + 14 = -1. Suppose 4*u + 0*d = 3*d + 304, f*d - 380 = -5*u. Suppose 5*l = b + u, -32 = -l - 2*b - 2*b. Solve -5*g + g = -l for g.
4
Let v be (-2)/9 - 5962/(-99). Solve 3*t + v - 48 =