.
-5
Let n be (-714)/(-18) - (-1)/3. Suppose -5*k - p = -n, -26 = -4*k - p + 6. Solve 0 = b + 4 - k for b.
4
Let t be (27/(-18))/(1/(-2)). Suppose 0 = -5*s - t + 13. Suppose r - 2*n + 2 = 15, 8 = r - n. Solve -r = -s*p + 1 for p.
2
Let a be (1 - -3) + (-336)/(-12). Solve 7 = -5*c + a for c.
5
Suppose 2*g - 11 + 3 = 0. Suppose 0 = -a + g*a. Solve 5*i + 11 + 9 = a for i.
-4
Suppose -4*m = 4*h + m + 3, 2*h - 9 = m. Suppose a - h*d - 5 = 0, a - 1 - 4 = -2*d. Solve -a*i + 5 = -5 for i.
2
Suppose 4*y - 60 = -0*y. Suppose 0 = y*c - 13*c. Solve c = 2*t - 0*t + 8 for t.
-4
Let f = -54 + 74. Solve -f = 3*l + l for l.
-5
Let n be 10/6 - (-2)/(-3). Let o be 5/(30/(-8))*-3. Let k be (0/o)/(-3 + n). Solve k = 2*x + 3*x - 10 for x.
2
Let r be 1/(-3) + (-2)/(-6). Suppose 3*p - 5 = 7. Suppose g + 0 - p = 0. Solve g = 2*z - r for z.
2
Let q(k) = 4*k. Let z(n) = n - 3. Let x be z(4). Let t be q(x). Solve o + 1 = -t for o.
-5
Let m = -127 - -130. Solve 15 = -0*z - m*z for z.
-5
Suppose -p + 2 = 4*b - 8, -4*b + 22 = -5*p. Let z be (44/33)/(4/b). Solve 0 = 2*q - z + 7 for q.
-3
Suppose 3*j + k - 1 = 4, -4*j = 5*k + 8. Solve 0 = -j*x + 12 - 3 for x.
3
Let i = -1 - -2. Suppose t - i = 1. Suppose 0 = -5*w - 2*s + 29, -t*w - 5*s + 14 = -6. Solve n - w = -2 for n.
3
Suppose 8 = -4*i + m + 4*m, 0 = -2*m + 8. Solve 1 = i*a - 5 for a.
2
Let q(s) = -5*s**2 - 5*s + 10. Let b(g) = -11*g**2 - 10*g + 21. Let r(y) = 6*b(y) - 13*q(y). Let x be r(4). Solve 2*o - o = x for o.
0
Let u = -9 + 11. Let w be (-4)/8 + u/4. Solve -x = -w*x for x.
0
Let s = -35 - -39. Solve -4*g = s + 8 for g.
-3
Suppose 0 = 5*w + 6 - 16. Solve -2*s + w = -4 for s.
3
Let r = -114 - -122. Solve r = -h + 6 for h.
-2
Suppose h + 3*h - 76 = 0. Let z be (-7)/3*-3 + -2. Suppose z = -3*i + 4*o, -6*i = -5*i + o - 10. Solve i*x - h = -4 for x.
3
Let w(v) = -v**2 + v + 5. Let k be w(0). Suppose 5*f = -4 + 24. Solve -k*z = -z + f for z.
-1
Let n = 12 - 10. Suppose q = n*f, f + q + 2*q = 0. Solve 2*r + 0*r = f for r.
0
Let f(k) = k**2 - k + 2. Let p be f(2). Let w be (-1)/(p/8) - -4. Solve -q = q + w for q.
-1
Let u(d) = -d**2 - 6*d + 3. Let v be u(-5). Let x(b) = -b**2 - 4*b + 1. Let n be x(-3). Solve n*f = -12 - v for f.
-5
Suppose 4*y = v + 53, -20 = -y + 5*v + 17. Suppose 7*f = 2*f. Suppose f = 5*s - 2*s. Solve -y = 4*h - s*h for h.
-3
Let z be (-3)/(2/(-12)*2). Let n = 15 + -7. Suppose l = i - 6*i - z, -n = -2*l + 3*i. Solve 3*m = 2 + l for m.
1
Let s(d) = d**3 - 2*d**2 + 1. Let v be (-1 - (0 + 0)) + 2. Let y be s(v). Suppose -4*x + 28 = 2*o, -2*o + 22 = -y*x - 2*x. Solve -2*z = z + o for z.
-4
Suppose 5*z + 6 = v, 2*v - 5*z - 2 = 5*v. Let l be v + 0 + 0/4. Solve -l = -d - 2 for d.
-1
Let f = -14 - -16. Solve 5*o + f = 27 for o.
5
Suppose 0 = -l - 6 + 38. Suppose -6*a + l = -2*a. Suppose -k = k - a. Solve -k*d + 19 - 3 = 0 for d.
4
Let o be ((-3)/2)/((-6)/(-12)). Let b be -3*(-4)/(-18)*o. Let z = b + -2. Solve -2*g - 2*g - 16 = z for g.
-4
Let l(i) = i + 1. Let d be l(11). Let k = d + -4. Solve -k = 5*m + 7 for m.
-3
Let v(x) = x**2 - 4*x + 3. Let n be v(4). Let f(z) = 2*z + 15. Let j be f(-8). Let c be (-1)/j + (n - 1). Solve c*d = -2*d for d.
0
Let v be 2 + -15 - 2/1. Let d be 1 + 5/(v/(-6)). Suppose -2*a = -2*x, 0*a + 2*a - d*x + 2 = 0. Solve a + 1 = 3*c for c.
1
Let w = 138 - 115. Solve 4*d = -3 + w for d.
5
Let b(s) = 5*s**2 - s - 2. Let v be b(-1). Solve 0 = v*i + i - 20 for i.
4
Let r be ((-1)/(-2))/(1/(-34)). Let v = r + 19. Solve 5 = -o + v*o for o.
5
Let g be (-54)/243 - (-38)/9. Solve -3*x - g = -4*x for x.
4
Let i be (3 - (-2)/(-4))*2. Suppose -33 = -2*a - x, -i*a - x + 63 = -21. Solve -5*u = a - 2 for u.
-3
Let a(b) = b**3 + 5*b**2 - 4*b - 3. Let i be a(-4). Let p = i + -21. Suppose 0 = w - 2*l, -6*w - l + 22 = -w. Solve -w - p = 3*y for y.
-4
Let w = -42 - -47. Solve 4*p + 17 = w for p.
-3
Let l = 5 + -10. Let d be 2/(-5) + 37/5. Let o = d + l. Solve o = -w + 7 for w.
5
Suppose -5*s = -4*b - 16, -2*s + 0*s + 4 = -b. Solve s*k + 2*k - 4 = 0 for k.
2
Suppose 4*x = 4*a - x + 12, 4*a + 3*x = 20. Suppose -4*d + a*q = -4, -3*d = q + 5 - 3. Let t(h) = h + 5. Let r be t(-5). Solve -z + d - 3 = r for z.
-3
Suppose 6*b - 20 = b. Let v be b/(8/14) + 1. Solve -7 - v = 5*y for y.
-3
Suppose 8*d - 3*d - 15 = 0. Suppose 0 = v - 2*b - 20, -d*v - 2*b + 20 + 32 = 0. Let q be ((-40)/12)/(3 + (-22)/6). Solve -q*c + 7 = -v for c.
5
Suppose 6*c + 4*b - 3 = 3*c, -3*c + 4*b = -3. Solve -c = -4*d - 21 for d.
-5
Let h = -32 + 34. Solve 12 = y + h*y for y.
4
Let r(y) = -y**2 - 7*y + 1. Let h be r(-3). Solve h = -2*f + 3 for f.
-5
Suppose 0 = 5*w + 4*s + 2, -2*w + s = 4*s + 5. Let q(v) = -3*v**3 + 4*v + 3. Let h be q(-2). Suppose -5*j + i = -13, j + 5*i = -6 + h. Solve j*y - 4 = w for y.
2
Suppose 13 + 38 = -3*h. Let d = h + 17. Solve d = -2*q + q for q.
0
Let j be 3/78*82 - (-8)/(-52). Solve -13 = 5*q - j for q.
-2
Let u = 13 + -8. Suppose 0*h - 15 = u*h. Let o(k) = k**3 + 5*k**2 + 2*k - 3. Let r be o(h). Solve r*w - 5*w - 8 = 0 for w.
2
Let o = -63 - -69. Solve o*n - 15 = n for n.
3
Suppose 5*q = -47 - 8. Let x = q - -11. Solve 0 = -x*j - j + 5 for j.
5
Suppose -17 = -5*i + 8. Suppose -4*m + 42 + 6 = 0. Suppose 7*n - m = 5*n. Solve -1 + n = -i*h for h.
-1
Let q be -1*45*(-16)/20. Solve -q + 11 = 5*k for k.
-5
Suppose -y = -5*y. Let m(h) be the first derivative of -h**4/4 - h**3 + h**2 + 2*h + 5. Let k be m(-4). Solve -q - 4*q - k = y for q.
-2
Suppose 4*o + 100 = 5*q, 54 = 4*q + o + o. Suppose n = 5*n - q. Solve -12 - 4 = -n*c for c.
4
Suppose 5*d = v + 2*v - 5, 4*v - 1 = d. Solve v = -9*c + 4*c + 15 for c.
3
Let f(h) = h**3 - 3*h**2 + 4*h - 3. Let t be f(2). Solve n - 4 - t = 0 for n.
5
Let b = 49 + -48. Solve -k - 2 + b = 0 for k.
-1
Suppose 5*a - 11*a + 96 = 0. Solve 0 = 3*m + m - a for m.
4
Let o(v) = v - 6. Let i be o(8). Suppose 2*b + i*p = -8, 7 = -5*b - 3*p - 3. Let h be 9 + 1/b*-1. Solve -h = 4*u - 0 for u.
-2
Suppose 3 - 19 = -2*p - u, -2*u = 5*p - 41. Solve 1 = 2*y - p for y.
5
Let x(k) = k**2 + 10*k + 10. Let m be x(-9). Solve -3*d - m = -10 for d.
3
Suppose 18 - 51 = -3*x. Solve x = -3*h - 1 for h.
-4
Let s(u) = -7*u**3 - 1. Let x be s(-1). Solve x - 14 = 4*j for j.
-2
Let z be (16/6 - 2)/(40/60). Solve n + 0 = -z for n.
-1
Let q(d) = 7*d**3 - 1. Let l be q(1). Suppose -r - 60 = -5*r. Solve -o - r = -l*o for o.
3
Let o = 17 - 17. Suppose o - 15 = -5*v. Suppose -3*u = -3 - 6. Solve 0 = -v*m - 0 - u for m.
-1
Let s = -4 - 6. Let t = s - -15. Solve -x + t = -6*x for x.
-1
Let r(u) = 11*u**3 + 2*u**2 - 1. Let w(b) = b**2 - 8*b + 6. Let m be w(7). Let n be r(m). Let y = n + 18. Solve -4*t = y - 0 for t.
-2
Suppose 4*x - i = 3*x + 4, 0 = -3*x + 2*i + 9. Solve -2*u + x = -3*u for u.
-1
Let x = 10 + -5. Solve x = -2*j + 3 for j.
-1
Suppose -11 = 2*d + 7. Let o be ((-3)/d)/((-3)/(-72)). Solve 5*p = 3*p - o for p.
-4
Suppose -o - 4*o + 40 = 0. Let s(a) = 4*a + 2. Let w(p) = -11*p - 5. Let c(k) = -8*s(k) - 3*w(k). Let j be c(o). Solve -j = -4*d + 5 for d.
3
Suppose 15 = 5*v + 5. Suppose -v*h - 1 + 11 = 0. Suppose c = -l + 2, h*c = l - 5*l + 7. Solve 4*m = m + l for m.
1
Let r(y) = 1 + y**2 - 4*y + 4*y**2 - 3 - 6*y**2. Let t be r(-2). Solve -t = -x - 0*x for x.
2
Let p(w) = -w - 5. Let z(k) = -k - 11. Let a(h) = -5*h - 43. Let s(n) = -2*a(n) + 9*z(n). Let x be s(8). Let i be p(x). Solve -v - 4 = -i for v.
-4
Let n(h) = 2*h**3 + 14*h**2 + 7. Let b be n(-7). Solve b*p - 3*p = -12 for p.
-3
Let s = -11 + 7. Let o be 6/s*4/(-3). Solve 15 = -5*v + o*v for v.
-5
Let h be (-1)/(-1) - (-238 - 4). Let q be h/45 + (-2)/5. Solve -1 - q = -3*r for r.
2
Let v(z) = -z**2 + 6*z - 3. Let m be v(5). Suppose m*d + 2*d - 16 = 0. Solve -2*k = -0*k - d for k.
2
Suppose -5*g + 2*g = -y + 5, -3*y - 3*g = -3. Solve y*a + 2 = -6 for a.
-4
Suppose 0 = -x - 5*b + 3 - 0, -5*x + 15 = -2*b. Solve 0*v + x*v - 9 = 0 for v.
3
Suppose 4*p = 3*p + 4*g - 4, -3*p + 2*g - 2 = 0. Let m be 3/6*(6 - 2). Suppose 0 = -u + m*u. Solve p*a + a = u for a.
0
Let p = 2 + -2. Solve 0*m + 4*m = p for m.
0
Let u be (54/6)/3 - -1*2. Solve 1 = k + u for k.
-4
Suppose 0 = -0*c - 3*c. Solve c*n - 4*n - 12 = 0 for n.
-3
Let q(i) = 2*i - 10. Let p be q(6). Solve 0 = -4*n + 2 + p for n.
1
Let v be 10*(2 - 0)/(-4). Let u(z) = -z**2 - 4*z + 6. Let o be u(v). Let j be 5 - (o + (-