 be l + 0/((-12)/(-4)). Solve -3*k = 4 - s for k.
-1
Let o be 260/(-6)*(-60)/(-25). Let r = o + 109. Solve -r = -3*u + 4 for u.
3
Suppose 5*y + d = 4*d - 721, 2*d = -4*y - 568. Let g be 26/y - (-2)/11. Solve g = 2*f + 2 for f.
-1
Let w(n) = -n**3 - 13*n**2 - 13*n - 7. Let g be w(-12). Suppose -5*b + 3*b = 10, l + g*b = -12. Solve -3*d + 1 = l for d.
-4
Suppose -5*i = -21 - 99. Let j be (-160)/i*(-12)/5. Suppose s - j = -0*s. Solve s = -0*l - 4*l for l.
-4
Suppose 4*u - 45 = 5*p, -p + 6*u = u + 30. Let z(c) = 2*c**2 + 6*c + 9. Let m(f) = -f**2. Let g(x) = m(x) + z(x). Let w be g(p). Solve a = -w + 1 for a.
-3
Let u(w) = -3*w - 3. Suppose 5*v + 20 + 10 = 0. Let c be u(v). Let k = c - -4. Solve -1 - k = -5*a for a.
4
Let s = 12 + -3. Let c be ((-3)/s)/(-1)*0. Let j be (-20)/((c + 3)/(-3)). Solve r = -4*r + j for r.
4
Let y = 9 - -9. Let h = 20 - y. Let k = h - -2. Solve -20 = -0*v - k*v for v.
5
Let m be 40/1 - (-1 + -1). Let i(y) = 3*y**3 - y**2 + 2*y - 1. Let b be i(-2). Let c = b + m. Solve 0 = -3*t + 6 + c for t.
5
Let k = -66 - -70. Suppose 18 = k*h + 6. Solve -h = 2*l - 1 for l.
-1
Let h = -120 - -126. Solve 0 = -4*y + 6 + h for y.
3
Suppose i = 2*i - 2. Suppose i*p = -11 + 1, -20 = x + 4*p. Suppose -4*m + 20 = x, 0*l + 5*m - 29 = -2*l. Solve -3*w = -l*w for w.
0
Let o = -211 + 231. Solve -25*q = -o*q + 25 for q.
-5
Let u(n) be the second derivative of n**4/12 + 3*n**3/2 + 5*n**2 + n. Let k = -74 - -66. Let y be u(k). Solve -2 = -0*l + y*l for l.
-1
Let u be (4 - (-3 + -2)) + -4. Suppose 4*l + 9 = -7. Let r be 221/68 + 1/l. Solve -r*b + 20 - u = 0 for b.
5
Suppose -4 = 2*j, 0 = -5*q - 0*j - 5*j. Suppose -5*v - 2*d = -16, -3*v + 2*d + 2 + 14 = 0. Solve -v*c + q = 6 for c.
-1
Suppose 3*s = -s + 20. Suppose 2*m - r - 4 = -5*r, -4*r = -4. Let a = s + m. Solve -h - a + 3 = 0 for h.
-2
Suppose 0 = -25*l + 31*l. Suppose l = -4*g - 3 + 39. Solve 6 = -3*y - g for y.
-5
Let l = -49 + 54. Suppose -3*u + l*x + 60 = 0, -2*u + 40 = 3*x - 0. Solve 4*k + u = -k for k.
-4
Suppose 22*q = 30*q - 112. Solve 18*y = q*y for y.
0
Suppose -4*s + 10 = -a - a, -35 = a + 4*s. Let b be 15*((-10)/a - -1). Solve -6*k = -k + b for k.
-5
Suppose -7*k = -2*k - 10. Suppose -t + 0*t + 37 = o, k*o + 136 = 3*t. Let u be (-16)/(-24)*t/4. Solve 0 = -u*r + 4*r for r.
0
Let k(s) = -s**2 - 4*s + 2. Let w be k(-3). Suppose -52 = 18*o - 22*o + w*f, 2*f = -2*o + 8. Solve -o = -n - 9 for n.
-1
Let x = 5835 + -5829. Suppose q + 22 = 2*b, 3*b + 2*b - 66 = -3*q. Let m = -7 + b. Solve m*n - 31 = -x for n.
5
Let u be (0 - (2 + -1)) + 16. Suppose 2*x = -2*x - 3*a + 35, 2*a + u = 5*x. Let m(f) = f - 2. Let j be m(2). Solve x*l + 5 = -j*l for l.
-1
Let y = -247 - -262. Solve 5 = -2*f + y for f.
5
Let q be 20/6 + 3/(-9). Suppose -35 = -5*x + q*m, 7 = -x - 3*m - 4. Solve -20 = -x*u - u for u.
4
Let r be (8 + -7)/((-2)/(-10)). Suppose h = 3*a - 6, 3*h = a + 5*h + r. Solve 11 = -3*s - a for s.
-4
Suppose -34*j = 11 - 283. Solve -x = 3 - j for x.
5
Let z(r) = -r**3 + 4*r**2 + 8*r - 12. Suppose -51 = u - 56. Let g be z(u). Let b = -1 - -4. Solve -g*t - b - 3 = 0 for t.
-2
Let c(a) = a**2 - 10*a + 22. Let o be c(7). Let n(x) = x**3 + 2*x - 1. Let q be n(o). Let d(y) = y**2 - 2*y + 2. Let p be d(q). Solve -p + 12 = -2*i for i.
-5
Let s(w) = w**3 - 6*w**2 - 17*w + 11. Let l be s(8). Let m be -2 + (1 + l - 11). Let c be m/6*10/(-3). Solve 0 = -u + c*u + 4 for u.
-1
Let j = -4 + 8. Let l be (1/(-1))/(j/68). Let g = l + 17. Solve g*n - n = 5 for n.
-5
Let s(x) = 0*x + x + 5 - 16 - 8. Let w be s(19). Solve 0 = -4*q - w + 20 for q.
5
Let t = 6 - 1. Let o be -1*t*(2 + -3). Let w = -206 + 207. Solve 4*d = -w + o for d.
1
Suppose -2*p = 5*r + 16, 2*r = -r - 12. Let l = 129 - 126. Solve -p*z + l*z = 0 for z.
0
Suppose 4*m - 12 = 4*n, -5*n = -4*m + 1 + 9. Let j be -4 + (-50)/(-8) + 3/(-12). Solve 20 = -j*z - n*z for z.
-5
Let x = 24 + -6. Solve 4*l + 2*l + x = 0 for l.
-3
Let h be (9/(-12))/((-18)/48). Let u(n) = -n**3 - 10*n**2 - 6*n + 3. Let y be u(-9). Let a be y/(-2) - (1 + h). Solve 0 = 2*f + f - a for f.
3
Let w be 2/(-5) + 2/5. Suppose -4*b - 4 = 2*f, 0 = -f + b - 4*b + 1. Let u be 4/f - ((-15)/6 - 2). Solve -u = -w*n - 2*n for n.
2
Let q(p) = p**3 - 14*p**2 - 2*p + 7. Let i be q(14). Let o = -21 - i. Solve -2*b - 2*b + 4 = o for b.
1
Suppose -19*h + 4364 = 4307. Solve -6*n + n = -h*n for n.
0
Suppose -4*l + 82 = 2*w, 0 = 5*w + 2 - 7. Suppose l = y + 18. Solve p + 5 = y for p.
-3
Let g = -7 + 11. Suppose 4*l - 3*t = 23, 0 = -g*l - 5*t - 0 - 17. Solve -l*u = -u + 3 for u.
-3
Let h(m) = -m**2 + 9*m - 12. Let a be h(10). Let z = a + 12. Let c be (z/15)/((-2)/87). Solve -4 = 5*b - c for b.
5
Let l(x) = -86*x - 335. Let c be l(-4). Solve 60 = -3*q - c*q for q.
-5
Suppose -7*c + 75 = -2*c - 5*d, 0 = -2*c - 5*d + 9. Solve -c*w = -7*w for w.
0
Suppose 0 = -3*o + k + 106, -119*o = -116*o - 2*k - 104. Solve o = 16*h + 4 for h.
2
Let j be 6 + (-6)/(-1)*10/(-30). Solve -j = -a + 1 for a.
5
Let z be (-5)/(75/10) + (-18)/(-27). Solve -4*y + y = z for y.
0
Let z = -104 + 106. Solve 6*l = z*l - 16 for l.
-4
Suppose -5*k - 34 = -p, 3*p = k - 3*k + 85. Let f(s) = -58 + p - 3*s + 19. Let o be f(-4). Solve 0 = -4*z + o + 14 for z.
4
Let y be (-2 - -3) + 0 - 3. Let j(q) = q**2 + 2*q + 3. Let g be j(y). Solve 0 = 2*t - t - g for t.
3
Let b = 78 + -76. Solve -4*r = -b*r + 4 for r.
-2
Let n(q) = -q**2 - 2*q + 3. Let h be n(-3). Let c = -1 + -2. Let k = c - -7. Solve w + w - k = h for w.
2
Let t be 729/21 + -5*16/(-280). Solve 39*h - 20 = t*h for h.
5
Let q(x) = x**2 + 7*x + 14. Let n be q(-5). Solve -85*u + 87*u = -n for u.
-2
Suppose 7*g + 3*y = 10*g + 6, g + 5*y - 22 = 0. Solve -g = 37*c - 39*c for c.
1
Suppose -5*x + 1 = -2*z - 2, 5*x + z = 6. Let j(i) = 5*i - 1. Let p be j(x). Solve 2 = 2*r - p for r.
3
Let n(s) = -s**2 + 22*s - 18. Let j be n(21). Suppose 0 = b - j*w - 12, -4*b - 3*w + 16 = -7*w. Solve 3*t = -b*t for t.
0
Suppose -2*q + 4 + 6 = 0. Suppose -j - j - 3*p + 25 = 0, -5*j = -2*p - 15. Let g be (j + -5)*(-1 + 0). Solve 5*h - q = -g for h.
1
Suppose 91 = 5*t + 8*t. Solve -2*i + 1 = -t for i.
4
Let o be (0 + -2)/(-8*3/372). Solve o*c - 28*c = 3 for c.
1
Suppose 3 = y - 3. Let x be 4/y*(-5)/(10/(-21)). Solve -x = 3*c + 2 for c.
-3
Suppose -1 = 2*r - 5. Let n = r + 0. Suppose 2*u - 6 = -2*g, -u - 5*g + 1 = -6. Solve -u*b + n = 4 for b.
-1
Suppose 0*a + 4*a - 6 = -2*v, a = -4*v - 9. Suppose 4*n + 6 + 2 = 2*i, n + 20 = 5*i. Suppose 10 = -2*p + i*p. Solve p*g + a = -7 for g.
-2
Suppose 3*h + 2*i + 0 = -2, -3*h + 2 = -2*i. Solve 42*f - 37*f + 20 = h for f.
-4
Let g(f) = -27*f - 132. Let m be g(-5). Solve -8*l = -m*l + 10 for l.
-2
Let f be (-5)/10*((2 - 43) + -1). Solve 0 = -f*z + 19*z + 8 for z.
4
Let d(u) = -6*u**3 + 5*u**2 - 3*u - 10. Let w(i) = i**3 + i + 1. Let a(q) = d(q) + 5*w(q). Let g be 4/1 - (-17)/17. Let v be a(g). Solve -2*l = 1 + v for l.
-3
Suppose -64 = -5*z + 4*d, d + 21 = 2*z + 4*d. Solve -17*k + 25 = -z*k for k.
5
Suppose c = 4, -m - 2*m - 5*c + 38 = 0. Suppose -3*j + b - 1 = -5, j = 4*b - m. Solve -i = -0 + j for i.
-2
Suppose -3*r + 3*n + 15 = 6*n, 0 = 5*n - 20. Suppose -i + 12 = u, -2*i - 3*u + 12 = -4*u. Let j = i - r. Solve 3 = -4*g + j for g.
1
Let q be 10/55 + 18/22. Let b(p) = 21*p**2 - p. Let r be b(q). Let x be 20/(-3)*(-30)/r. Solve 3*u = u - x for u.
-5
Let m be (-2)/9 + 64/(-36) + 7. Let c(r) = 2*r**3 - r**2 - 2*r. Suppose 1 = j - 1. Let n be c(j). Solve -m*o + o + n = 0 for o.
2
Let y = -1407 - -1446. Solve 5*z = 14 - y for z.
-5
Suppose -9 = -n + c, -3*c + c = 2*n - 18. Suppose 6*a = n + 3. Suppose 2*d + s - 40 = 0, -6 = d + 3*s - 26. Solve d = -2*o - a*o for o.
-5
Suppose 1 = 4*y - 5*x, 2*x = y + 4*x - 10. Solve -14 = 9*c + y for c.
-2
Let c be (-2)/(-7) + (4 - 124/(-7)). Let x be (-855)/(-165) - 4/c. Solve -29 = -x*g - 4 for g.
5
Let b be (5*10/250)/((-1)/(-10)). Solve 2*k - 3*k - b = 0 for k.
-2
Let j = 420 - 414. Solve j*i = 2*i for i.
0
Let a(r) = r**3 + r**2 - r + 7. Let i be a(0). Suppose -i*b = 2*b. Suppose f = -4*f. Solve b*w - 3*w - 15 = f for w.
-5
Suppose 78 = -j + 85. Solve -m = -j*m for m.
0
Let t = 8 - 5. Let u(w) = 5*w**2 - 6*w + 18. Let p be u(4). Suppose -t*n - 54 = -3*j, -6*n - p = -4*j - 3*n. Solve -z - 3*z + j = 0 for z.
5
Let y(n) = -n**3 - 8*n**2 - 2*n + 9. Let