
Let s(t) = -2*t**2 + 13*t - 1. Let i be s(7). Let v = i - -8. Suppose v = o - 0*o. Solve 4*w = 8 - o for w.
2
Let g = 553 + -551. Solve g*u + 0 = 4 for u.
2
Let n be (-7)/(6/15 + 6/(-10)). Solve -n = -6*o - o for o.
5
Let o = -105 - -108. Solve 2 - 17 = -o*y for y.
5
Let l(n) = 2*n - 10 - n + n. Let t be 2 - (4 + 21)/(-5). Let u be l(t). Solve 3*s + u = 4*s for s.
4
Suppose 0 = -2*j + 11*j - 18. Let h(z) = -9*z**2 + z**3 + 6*z - 11 - 2*z - z. Let u be h(9). Solve -2*l = j*l + u for l.
-4
Suppose -4*s = -3*a + 1, -s - a = -0*s - 5. Let u = 12 - 9. Suppose 0*p = 2*n - 2*p - 2, -3*n = u*p - 9. Solve s + 2 = n*k for k.
2
Let p(a) = 13*a**2 + 37*a + 1. Let k(y) = -3*y**2 - 9*y. Let x(b) = 9*k(b) + 2*p(b). Let m be x(-4). Let q = m - 11. Solve -4*o - 7 = -q for o.
-1
Let r = 507 - 498. Solve -r*k + 2*k + 5*k = 0 for k.
0
Let w(f) = 2*f**2 - 16*f + 18. Let c be w(1). Solve -5 = -a - c*a for a.
1
Suppose -32 = -4*h - 4*f, -3*h - 2*f - 3 = -22. Let u(m) = 2*m**3 - 2*m**2 - 3*m + 3. Let g be u(2). Solve 2 = -g*q - h for q.
-1
Let o = -139 + 195. Suppose -o*d + 59*d = 0. Suppose 0 = 3*m + m. Solve 2*y + 2 + d = m for y.
-1
Let x(l) = l**2 + 8*l - 4. Let q be x(-9). Suppose -3*d + q = -1. Suppose c = -d*c + 6. Solve 3*i = 7 + c for i.
3
Suppose 21*j = 23*j + 4*c - 22, -3*j = -c - 19. Solve -j*d - 5 = -6*d for d.
-5
Let l = -43 + 86. Solve -l*k = -39*k for k.
0
Let k = -8 + 10. Suppose 2*y + 8 = 4*s, 4*y + 3 = 2*s - 1. Suppose 4*h + u - 21 = 0, 14 = h + k*u - y. Solve 3*a = -2 - h for a.
-2
Let s = 933 + -921. Solve -32 = s*d - 4*d for d.
-4
Let z(o) = -2*o + 5. Suppose -5*u + u - 2*x = 0, 4*x = u. Let y be z(u). Suppose -2*t = b + 6, y*b = 3*b + t + 8. Solve 2*h - b = -4 for h.
-1
Suppose q + 168 = 4*q. Suppose 3*s - 5*h = -4*h + 31, 0 = -4*s + 5*h + q. Solve 3*i + s = -3 for i.
-4
Let m = 1301 + -1272. Solve 14*y - m = -1 for y.
2
Suppose 3*r = 47 - 14. Let p be (-112)/r - 4/(-22). Let m = -8 - p. Solve h - 5 = m*h for h.
-5
Suppose -3*q = -9*u + 4*u + 13, u + 5*q - 25 = 0. Suppose 4*m + 25 = -5*f, u = 3*m - f - 0. Solve -8 + m = -2*a for a.
4
Suppose -4*g = 4*b - 76, -53*g + 51*g + 3*b + 33 = 0. Solve g*f + f = 76 for f.
4
Let a be 108/(-450)*5 - 32/(-10). Solve 0 = -a*f - 2*f + 12 for f.
3
Let o(c) = c**3 - 2*c**2 - c - 22. Let s be o(0). Let a = s - -14. Let f be (-2)/a + 14/(-56). Solve f = -5*x + x - 12 for x.
-3
Suppose 6 = -4*w + 5*g, 0 = -4*w + 4*g + 3 - 11. Let l(c) = -6 + 0*c + c - 4*c + c. Let p be l(w). Solve -1 = -h + p for h.
3
Let o be 17/34 - (-54)/4. Solve i + 10 = o for i.
4
Suppose k + 3*k - 8 = v, 0 = -4*v. Let t be ((-1008)/(-420))/(3/5). Solve 10 = t*z - k for z.
3
Let y(j) = -3*j - 9. Let p be y(-6). Suppose 2*r + 0*s + 2*s - 132 = 0, -s + 3 = 0. Let g = r + -59. Solve -g*n + p*n = 25 for n.
5
Let w be (-88)/(-10) + (-12)/(-60). Solve 0 = 4*i - i + w for i.
-3
Let w = 651 + -651. Solve -11*z - z = w for z.
0
Let c be (1 - 4)/(14/(-8) + 1). Suppose 6*z - 130 = z. Let d = 41 - z. Solve j = -c*j + d for j.
3
Let f be 1/2*5*2. Suppose -1 = -r - 5, -f*k + 4*r = -26. Let q(s) = s**3 - 9*s**2 + s - 6. Let i be q(9). Solve -i*t = -k - 13 for t.
5
Let y = 80 + -53. Let m = y + -24. Solve 4*n - m = n for n.
1
Let w be (2/12*2)/((-12)/(-36)). Solve 0 = 7*a - w + 8 for a.
-1
Let u(s) = 4*s**3 - s**2 + 1. Let t be u(1). Suppose k + 5*h - 12 = -k, -5*h + 13 = 3*k. Let x = k - -3. Solve 2*c = t*c + x for c.
-2
Suppose -8*a + 2*r = -5*a - 20, -a + 3*r + 16 = 0. Solve -3*o = -2*o + a for o.
-4
Let i(u) = -u + 4. Let x(q) = 4*q - 33. Let s be x(9). Let v be i(s). Solve v = 4*a + 5 for a.
-1
Let a = -790 + 792. Solve a*d + 3*d - 20 = 0 for d.
4
Suppose -2*g + 128 = 3*s + 22, -2*s = -2*g - 74. Solve 5*l + 16 - s = 0 for l.
4
Suppose 4*w = 190 + 50. Let t = w - 46. Solve -3*g + 1 = -t for g.
5
Let j be -47 + -3 - (-6 + 4). Let b = j + 57. Solve -2*i + 3 - b = 0 for i.
-3
Suppose 410*b = 416*b - 12. Let r(z) = z + 2. Let t be r(-2). Solve -b = -t*m + m for m.
-2
Let c = -2 - -4. Let t be (0 - (c - 2))/2. Solve -8*w + 3*w + 5 = t for w.
1
Suppose -7*o = -91 + 49. Solve -2*s - 14 = -o for s.
-4
Suppose 0 = 2*m - 5*m - 15. Let o be (-3)/(-15) - 24/m. Let t(r) = r + 3. Let v be t(-3). Solve v = -0*u + o*u - 25 for u.
5
Let n(u) = 16*u - 1. Let p be n(-1). Let v = 20 + p. Suppose v = 4*c - 9. Solve -c*x - x = -16 for x.
4
Let d = 9 - 7. Let k(n) = -4*n + 5*n - d*n - 7. Let a be k(-7). Solve -5 = -a*z + z for z.
-5
Suppose -4*w - 25 = -9*w. Suppose w*y = 3*p + 14, -11 = -0*y - 2*y + 3*p. Suppose y = 5*o - 9. Solve -o*m + 1 = 3 for m.
-1
Let q be (80/24)/((-24)/(-180)). Solve q*g - 15 = 28*g for g.
-5
Let u be ((-9)/(-6))/((-6)/192*-6). Solve 13*d - u*d = -25 for d.
-5
Let f be 104/24 - (-4)/6. Suppose 0 = -5*u - q + 12, 2*q = 3*u - 6 - 9. Suppose -u*w - 3 = d, -2*w + 6*w - 6 = 2*d. Solve w = b - f*b for b.
0
Suppose 46*v - 31*v = 705. Solve -v - 1 = 12*m for m.
-4
Let n(g) = 2 + 11*g - 3*g - 3 - 6 - g**2. Let w be n(5). Solve w*m - 5*m = 0 for m.
0
Suppose 0 = 4*y + 4*v - 8*v - 40, 4*y - 46 = v. Solve y = 4*m - 8 for m.
5
Suppose 5*s + 4 = -5*g - 11, -s - 3 = 4*g. Let r(j) = j + 11. Let b be r(-9). Solve g*l = -b*l + 2 for l.
1
Let l(w) = w**3 - 10*w**2 + 1. Let f be l(10). Let a be 0 - f - -2 - -2. Solve -t = a*t for t.
0
Suppose 9*q = -2*r + 6*q + 69, 0 = -3*r - 2*q + 96. Solve 5*v + r = 10 for v.
-4
Suppose 6*b - 346 = -196. Solve 0 = -9*x + b + 2 for x.
3
Suppose 0 = 4*x + 3 - 23, b - 3*x + 8 = 0. Solve -8 = -b*a + 11*a for a.
-2
Let h(r) = r**3 + r**2. Let t(w) = -4*w**3 - 7*w**2 - w - 6. Let f(q) = 5*h(q) + t(q). Let j be f(3). Solve j = -0*m - 4*m for m.
0
Let x(z) be the second derivative of z**5/20 + 7*z**4/12 - z**3 + 19*z**2/2 + 34*z. Let k be x(-8). Solve -11 = -4*c - k for c.
2
Suppose -3*a - 29 = -5*a - 5*q, -5*a = 3*q - 44. Solve -a*t = -3*t for t.
0
Suppose h - 4*h = 9, -300 = 3*w - h. Let n = w + 102. Solve -n - 2 = 3*v for v.
-1
Let c = -61 - -12. Let u = 49 + c. Solve u*k + k - 1 = 0 for k.
1
Let i(j) = 2*j**2 - 35*j + 19. Suppose 3*s - 35 = 16. Let h be i(s). Solve -h*d + 5*d = 3 for d.
1
Let l(j) = 7*j**3 + 34*j**2 - 5*j. Let o be l(-5). Solve o = 3*m - 21 + 6 for m.
5
Let w be (-22)/7 + 2/14. Let s be ((-40)/w)/((-8)/(-36)). Let u be s/16 - 1/(-4). Solve u - 19 = 3*x for x.
-5
Let b = -663 + 669. Solve -f - b*f + 35 = 0 for f.
5
Let n(g) = 10*g - 30. Let f be n(3). Solve f = 8*q - 3*q + 15 for q.
-3
Let f(s) = -s - 3. Let w be f(-7). Let i = 137 + -137. Suppose i = 5*t - 58 - 17. Solve -w*n - n = -t for n.
3
Let r = -173 - -176. Solve -r + 5 = -c for c.
-2
Let p be 4/3 - 4/(-6). Suppose -4*g + 2*g - r = -65, -p*g = -5*r - 35. Let d be (-10)/g + 1/3. Solve -4*a + d = 12 for a.
-3
Suppose 3*w = -2*z + 63, 3*z - 52 - 10 = 2*w. Suppose -9*a + z = -a. Solve 0 = 4*c - a - 9 for c.
3
Let d be ((-9)/18)/(1/(-6)). Suppose j = -4*s + 15, -d*s + s + 6 = 0. Suppose i + 20 = 4*f, -2*i = -2*f + j + 13. Solve 0 = f*y - 2 - 6 for y.
2
Suppose -3*r + 5*p = -36, -5*r - 4*p + 38 = -59. Solve 0*s = r*s + 51 for s.
-3
Let i = 26 + -8. Let p be 1 + 0 + i + -19. Solve 1 = u - p for u.
1
Let x be -10*(5/(-10))/(-1). Let t(j) = j**3 + 7*j**2 + 10*j + 7. Let f be t(x). Solve -2 = r - f for r.
5
Let b(q) = -2*q**3 - 6*q**2 - 2*q - 1. Let y be b(-3). Solve -y*j + 0*j = -25 for j.
5
Suppose -4*r = -16 + 4. Suppose -40 = 9*d - 13*d. Solve -n = -r*n - d for n.
-5
Suppose -4*u + 8*u = -12. Let w be (-1 - u)/(-1) + 4. Suppose -3*b = -2*b - w. Solve 0 = b*a - 0*a + 10 for a.
-5
Let k(i) = i**3 + 15*i**2 - 32*i - 2. Let m be k(2). Solve -6*q + 16 = -m*q for q.
4
Let n(f) = -f**2 + 8*f - 4. Let k be n(7). Suppose 14 = 10*o - k*o. Suppose 4 - 1 = r. Solve 0 = r*y - 5*y + o for y.
1
Let t(r) be the third derivative of -r**6/120 - 7*r**5/60 + r**4/8 - 5*r**3/6 - r**2. Let b be t(-7). Let h be b/(-6) + 11/(-33). Solve h*f = 3*f for f.
0
Let z = -21 - -12. Let x(g) = -g. Let j be x(z). Let c = j - 1. Solve 0 = k + 3*k - c for k.
2
Let c = -21 + 21. Suppose 3*y - 3 = -c*y. Let d be (4 + (y - 5))/(-2). Solve d*x = -3*x + 12 for x.
4
Let h be 414/115*(-5)/(-3) - 6. Solve 4*p + 7*p = h for p.
0
Suppose -27*t + 18*t = -27. Solve t*r - 1 = 2*r for r.
1
Let c = 1 + -1. Let w = 11942 - 11938. Solve c = -w*z - z for z.
0
Suppose -5*m = 3*a - 28, 3*m + 2*a = 5*a + 36. Solve 0 = f +