0 = 5*v - 2 + x for v.
-3
Suppose 359*y - 364*y = 0. Solve -2*n + 0*n = y for n.
0
Let t(n) = -18*n - 21. Let v(b) = 2*b + 2. Let i(k) = -2*t(k) - 21*v(k). Let z be i(-1). Solve 5*c - 1 + z = 0 for c.
-1
Let k = -36 - -9. Let c be 2/9 - (210/k - -1). Solve -2*v + c = -1 for v.
4
Let b = 135 + -134. Solve -y - b = -2*y for y.
1
Let y = -797 - -800. Solve 0 = 24*c - 25*c + y for c.
3
Let k(r) = -2*r. Let q be k(4). Let p be (-1)/(-4) - (-47)/4. Let t = p + q. Solve t*v - 3 = -7 for v.
-1
Suppose 2*g - 138*s = -143*s + 29, -3*s = -5*g - 5. Solve 0 = -6*p + g*p - 4 for p.
-1
Let b = 36 + -34. Suppose -3*a + 11 = z, -b*z - 3*a - 3 + 16 = 0. Suppose 4*f = -3*k + 50, -4*k - f = -0*k - 45. Solve 0 = -2*v + k - z for v.
4
Let a be 4/18 - (-112)/63. Suppose 13 = 5*s + 3, 5*i - a*s = -4. Solve r = -i + 3 for r.
3
Let a(y) = -3 - 6 + 2*y + 3. Let n be a(4). Suppose n*w - 15 = -3*d, 4*w - 5 = 7*w - d. Solve u + u = w for u.
0
Suppose 2 - 12 = -5*i. Suppose i*r + 1 = 5. Let t = -22 - -38. Solve -r*n + t = 2*n for n.
4
Let k(t) = -25 + 2*t - 2*t + 2*t. Suppose -30 = 7*v - 9*v. Let u be k(v). Solve 8 = -f + u*f for f.
2
Suppose 5*s + 43 + 22 = 0. Let u = 4 + s. Let v(q) = q + 12. Let i be v(u). Solve 0 = t + i*t for t.
0
Let m(w) = -14*w**3 + 2*w + 2. Let x be m(-1). Suppose p = 2*v - x, 0 = 2*v - 2*p + 4 - 20. Solve 1 = -5*a + v for a.
1
Let l = 789 - 755. Solve -l*o = -22*o + 60 for o.
-5
Let m be (1 + 2 - 3)/1. Suppose -p + 2*o + 17 = 0, -o - 12 = -m*p - p. Let q = 12 - p. Solve -2 + q = -r for r.
-3
Suppose -1 - 1 = 2*h. Let v(u) = -3*u**2 - u - 6. Let x(w) = -1. Let l(d) = -v(d) + 6*x(d). Let p be l(h). Solve 0 = 3*n - p*n for n.
0
Let l = 131 - 129. Solve 6*i = l*i + 20 for i.
5
Let j = -161 + 161. Let u(o) = -2*o**2 + 7*o - 5. Let d(k) = -k**2 + k. Let v(z) = -3*d(z) + u(z). Let a be v(-5). Solve a = -w - j*w + 2 for w.
2
Let u(t) = -t**2 - 2*t + 53. Let v be u(-10). Let x = 32 + v. Solve 0 = 5*a - x - 10 for a.
3
Suppose -52*z = -289 - 283. Solve -13*j + z*j = -8 for j.
4
Suppose s - 3 = 0, 5*u - 2*s - 7 - 2 = 0. Suppose -5*d = u*f - 11, 5*d + 4*f - 2 - 6 = 0. Solve 4 = -0*o - d*o for o.
-1
Suppose -3*m + 2 - 14 = 0. Let l(y) = y**3 + 3*y**2 - 4*y + 2. Let s be l(m). Suppose 4 = -5*w + 2*z, -2*z + z + s = -2*w. Solve h + 4*h = w for h.
0
Let s be -3*(-13 + 12)*(-22)/(-6). Solve s*c = -47 + 47 for c.
0
Let i(y) = -23*y**2 + 3*y + 2. Let f be i(2). Let h = -9 + 10. Let x be (0 + h)/((-14)/f). Solve 0 = l + l - x for l.
3
Let t(c) = -c**2 - 13*c + 28. Let u be t(-15). Let x be ((1 - 0) + u)*0. Solve x = -0*k + 2*k + 4 for k.
-2
Let x(w) = w**3 - 2*w**2 + w + 1. Let a be x(0). Let k = a + -1. Solve 0 = -5*d - k*d + 5 for d.
1
Let b = -22 - -37. Suppose 0 = 3*g + 5*p + 261, -4*g - 3*p + 5*p - 348 = 0. Let k = g + 91. Solve -b + 3 = k*d for d.
-3
Let v(s) = s**3 + 23*s**2 + 24*s + 47. Let n be v(-22). Let b = 2 + 1. Suppose b*f = -7 + 67. Solve -n*i - i = f for i.
-5
Let h(z) = -z**2 - 2*z - 1. Let x be h(-1). Let d be (x - (-1 - -9))*-2. Suppose s + 3 = 3*c - 7, d = 2*s + 3*c. Solve -6 = 2*b - s for b.
-2
Let z(t) = -t**3 - t**2 - 11. Let l be 4/22 - 12/66. Let m be z(l). Let d = -6 - m. Solve -x + 20 = -d*x for x.
-5
Let n = 1 + 4. Suppose n*w + 0 = 5. Suppose -5 - w = -2*i. Solve -i*p = p for p.
0
Let t be (4/(-10))/((-14)/210). Solve -t = 4*d - 6*d for d.
3
Let n = -6 - -3. Let q be (0 - n/(-1))*-1. Suppose -l - 4*r = 5, -5*l + 17 = q*r - 4*r. Solve 2*u - 25 = -l*u for u.
5
Let o(x) = x**2 - 26*x + 67. Let k be o(26). Let h = 72 - k. Solve h*d - d = 0 for d.
0
Let d(m) = m**3 - m**2 + m - 3. Let b be d(0). Let u = 0 - b. Let a be (-2 - 1)*(-1)/u. Solve j = -0*j - a for j.
-1
Let t = -5 + 8. Let y = -910 - -912. Solve -t = -y*p - 1 for p.
1
Let j = 164 + -162. Solve 0 = -4*d + j + 6 for d.
2
Let g(o) = -o**2 + 19*o - 34. Let a be g(8). Let t = 58 - a. Solve f - 5 = -t*f for f.
1
Let h be 10/(-1)*((-161)/14 + 10). Let u = 1 - 0. Let l be (-2 - 0) + 6 + u. Solve -l*n = -0*n + h for n.
-3
Let d = 3 - 3. Let w be 0 + 5 + 20/(-4). Solve w = -d*o + o - 5 for o.
5
Suppose -n - 42 = 4*l, 0 = -5*l - 7 - 8. Let w = n + 34. Let s be (-20)/(-3) + w/12. Solve s*p = 4*p - 9 for p.
-3
Let b = -679 - -684. Solve 3*u = -b + 5 for u.
0
Let c be ((-46)/(-6))/((-6)/18). Let i = c - -38. Suppose 5*b - z = i, -4*b + 0*z + 2*z = -6. Solve -1 = -b*h + 3 for h.
1
Let c be (0/(-7 - 0))/((-4)/2). Solve -4*r + 8*r - 20 = c for r.
5
Let y be (51/(-9))/(18/(-54)). Solve -y*r + 19*r = 0 for r.
0
Suppose -5*t - 7 = -7. Let j be (-2)/(6/(-39)) + t - 4. Solve 4 = -j*q + 8*q for q.
-4
Let h = 270 + -269. Suppose 4*s + z - 8 = -z, -4*s - 4*z = -8. Suppose s*t + 1 = c, 3*t + 2*c = -t + 10. Solve -2*y + h = -t for y.
1
Suppose -3*t - 12 = -y + 3, 25 = 2*y - t. Solve -2*d - 14 = -y for d.
-1
Let t = -7 - -19. Suppose -12 - t = -8*q. Solve -5 = -d - q for d.
2
Let v(p) = -p**3 - 15*p**2 - 36*p + 18. Let g be v(-12). Solve g = -18*z - 36 for z.
-3
Let m = -13 - -15. Suppose m*d = d. Solve d = -4*p + 5*p for p.
0
Let b(u) = u**3 + 4*u**2 + 1. Let r be b(-3). Suppose 5*i - r = 40. Solve -2*t + 4 = i for t.
-3
Let w = -2124 - -2125. Solve w = 8*s + 1 for s.
0
Suppose -3*j - a = -12 + 4, -5*j + 4*a + 19 = 0. Suppose -3*t = -5*t + 4*k + 16, -5*t = 5*k + 20. Solve -r - 1 - j = t for r.
-4
Let q be (14 - 14) + 7 - (-1 + 0). Solve 15*d + q = 7*d for d.
-1
Let m = -2612 - -2632. Solve -11 = 3*g - m for g.
3
Suppose 4*a - 12 = -3*b, 4*a - 12 = -4*b - 0*a. Let h(c) = c**2 - 7*c - 66. Let w be h(13). Solve b = -2*i + 6*i + w for i.
-3
Suppose 5*o + 4 = o. Let t be (6/(-3))/o - -2. Let b(g) = -5*g - 36. Let r be b(-9). Solve r + 3 = -t*l for l.
-3
Let m be (-1 - (-75)/6)*2. Suppose -b - m = -3*h, 6 = 3*h + 2*b - 2. Solve -h*k - 9 = -3*k for k.
-3
Let v be 4 - (1 - (129 + -9)). Solve v = 3*l + 120 for l.
1
Let m be 24 - 1 - (4 - 2). Let s = m - 21. Solve -h + 6*h - 10 = s for h.
2
Let d(s) = s + 2. Let m(n) = -1. Let y(t) = d(t) - 6*m(t). Let p be y(-6). Suppose -u + 6*u - 5 = 0. Solve p = 3*h - u for h.
1
Let s be -2*(-7)/49 + 2/(-7). Suppose 0 = -3*t - 2*t + 2*u + 17, s = 4*t + 2*u - 28. Solve t*y + 8 + 12 = 0 for y.
-4
Suppose 5*k + 2*o - 73 = -o, 0 = -4*k - 3*o + 59. Suppose 4*q = d - 24, 14 = 5*d + 3*q - k. Solve -3*n = -2 + d for n.
-2
Suppose 0*z = 2*z - 10. Suppose k = z*k. Suppose 3*p + 2*m = -p + 14, 3*m = -4*p + 17. Solve k*f - 8 = -p*f for f.
4
Let c(a) = a**2 - 5*a + 6. Let s be c(4). Suppose k + s*k = -2*o + 15, 4*k - 20 = 0. Suppose o = -p + 5*p - 2*j - 2, 3*p = 5*j + 5. Solve -g = -p*g for g.
0
Let f be (-32)/112 + 402/(-14). Let h = -11 - f. Suppose 3*x = 6*x - h. Solve -x*u = -u - 20 for u.
4
Let n be (4/(-6))/2*(0 - -39). Let i(v) = -6*v - 58. Let h be i(n). Solve -4*m = m - h for m.
4
Suppose -14*x = -10*x + 4, -o + 5*x + 25 = 0. Solve -3*i - i + o = 0 for i.
5
Let l be 10/(-6) - 2/6. Suppose 10*j - 4*k - 16 = 6*j, 4 = -3*j - 5*k. Let g = j + l. Solve g*d + 3 = d for d.
3
Let l be (-20)/110 + (-272)/(-44). Solve l*i = 3*i + 6 for i.
2
Let w = 9 - -3. Let i = w + -3. Let l be 20/i + (-4)/18. Solve -23 = 5*x + l for x.
-5
Let m = -2154 - -2158. Solve -m*d - 24 = -12 for d.
-3
Let v = -2 - -2. Let r be 1 - ((-3 - (-4)/4) + 1). Suppose -n - h = v, h + h = r*n. Solve n*i = 3*i + 15 for i.
-5
Suppose 4*o - 4*k = -2*k + 2, 4*o = 3*k + 1. Let a = -2 + 5. Solve x = -a - o for x.
-4
Let h = -317 - -321. Solve 6*j - 2 = h*j for j.
1
Suppose 5*t - f - 12 = 0, -f = 5*t + 3*f - 27. Suppose 0 = 9*j - 12 - 60. Solve -j + t = -5*w for w.
1
Let z be (-4)/(-6)*(159 - -6). Let i be (-1)/3 + z/15 + 4. Solve -3*l - 4 = i for l.
-5
Let i(q) = -4*q**2 - q - 8. Let n(u) = -3*u**2 - 2*u - 8. Let g(o) = 4*i(o) - 5*n(o). Let b be g(7). Solve -2*t = b + 5 for t.
-3
Let f(x) be the third derivative of x**4/8 + x**3/6 + 42*x**2. Let i be f(1). Solve -i*y + 7 = -1 for y.
2
Let a = 7471 - 7467. Let i = 8 - 5. Solve -p = i*p - a for p.
1
Suppose 5*o - 2*x = 23, -12*x + 14*x + 17 = 3*o. Solve o*b = -b for b.
0
Let b(m) = 5*m - 31. Let o be b(9). Let f(y) = -y**3 + 14*y**2 + 10. Let c be f(o). Solve -2*j - 4 = -c for j.
3
Let k = -26 + 36. Let z(t) = -t**3 + 2*t**2 + 4*t - 1. Let y be z(3). Suppose 2*q - 2*r = -10, 4*r - 10 = y*q + k. Solve p - 1 + 3 = q for p.
-2
Let q(u) = u**3 + 4*u**2 + 4*u + 3. Let x be q(-2). Let