Let g be 4/8*-2 - 23. Let m = -9 - g. Suppose -m = 9*y - 12*y. Solve y*u - 9 + 4 = 0 for u.
1
Let d = -119 + 122. Let g(u) = -u**2 + 11*u - 13. Let x be g(9). Suppose -10 = 5*v + x*c, 5*c = -v - 3 - 7. Solve d*i - 2 - 7 = v for i.
3
Let f = -117 - -120. Suppose -x - 3*z - 8 = 1, 2*x - f*z = 18. Solve -4 = x*h - 13 for h.
3
Suppose 3*o = 7 + 5. Let u(r) = 17*r + 4. Let l be u(o). Let a = -47 + l. Solve 0*p = -5*p + a for p.
5
Let n be 9/(2 - 5) - -5. Suppose v = 2*v. Suppose r - 1 + 0 = v. Solve -u = -n*u - r for u.
-1
Let b = 0 + 0. Suppose 29 = -6*x + 41. Suppose b = -2*m - x*m + 12. Solve 3 = m*u + 18 for u.
-5
Let w(o) = -4*o + 44. Let q be w(10). Suppose 3*n + i + q = 0, 2*i - 12 = -4*n + 5*i. Solve n = 4*v - 2*v + 2 for v.
-1
Suppose -44 = 7*g - 212. Suppose 40 = -20*c + g*c. Solve c*t - 8 = 6*t for t.
2
Suppose 0 = 6*u + 15*u - 63. Let w be (2 + -3)/(1/(-2)). Suppose 0 = 3*c - 36 - 9. Solve u*h = -w*h - c for h.
-3
Let f(w) = -w**2 - 9*w - 8. Let m be f(-8). Let g = -7 + 10. Suppose 15 = -0*q + 3*q + 5*i, m = 5*q + g*i - 9. Solve -b - b - 10 = q for b.
-5
Let n(d) = 18*d - 68. Let i(h) = 8*h - 34. Let w(y) = 5*i(y) - 2*n(y). Let x be w(9). Solve -x*m + 1 - 7 = 0 for m.
-3
Let r be (-8)/(-20)*5 + 3. Suppose 2*f + 21 = -r*a, 5 = -4*a + 3*a. Solve 0 = -f*t + 3 + 5 for t.
4
Suppose 0 = -57*b + 302 - 17. Solve -223 + 198 = b*s for s.
-5
Suppose 3*o - 25 = -4*k, -1 = o + 3*k - 4*k. Let l be 1/(-5) - 52/(-10). Let x be 0*(l/(-10) + 0). Solve -o*a + 5*a = x for a.
0
Let z = 1337 - 1332. Solve -23 = z*t - 38 for t.
3
Let p(t) = 39*t + 41. Let o be p(-1). Let x be (2 + -1)/(2/(-6)). Let c be (-100)/(-15) + 2/x. Solve -c*d = -o*d + 20 for d.
-5
Let j be ((-24)/(-96))/(1/8). Suppose -r + 9 = 5*w, -j*w + 3*r - 2 + 9 = 0. Solve -2*c + 0 = w for c.
-1
Suppose -67 = 2*v + 3*a, 1 = 4*v - 4*a + 85. Let x = v - -30. Solve 3*h = x*h + 2 for h.
-2
Suppose -16*t - 378 = -43*t. Solve t*g = 8 + 6 for g.
1
Let t(y) = 4*y + 52. Suppose 0 = 6*j + 99 - 27. Let u be t(j). Solve -u*n + 0*n = 0 for n.
0
Let u(y) = y**2 - 4*y - 4. Let x be u(5). Let w = x + -1. Let r = -6541 + 6541. Solve r*z + 2*z - 8 = w for z.
4
Let v be (-2)/5*5 + -1 + 20. Suppose 0*d = -d + 5. Let u = -1 + d. Solve u*a + 5 = v for a.
3
Let h(g) = 10*g**2 - g - 1. Let o = 1 + -2. Let l be h(o). Suppose 2 = -2*w + l. Solve w*i = -0*i for i.
0
Let k(g) = 3*g - 4. Let s be k(10). Solve 3 = s*v - 23*v for v.
1
Let y = -242 + 274. Solve -4*c - y = -16 for c.
-4
Let g = -2 - -5. Let o(x) = -2*x - 81. Let n(k) = k + 40. Let p(b) = -5*n(b) - 3*o(b). Let m be p(-28). Solve 0*s = -g*s + m for s.
5
Suppose 83 = -3*k + 92. Let l be ((-2)/k - -1) + 34/6. Suppose 5*p + 2*q = 27, -2*p + 5 + 2 = -3*q. Solve p*m + l = -14 for m.
-4
Suppose 5*n + 4 + 8 = b, 4 = -4*n - 2*b. Let w(o) be the first derivative of o**4/4 + o**3 + 3*o**2/2 + 2*o - 1. Let x be w(n). Solve 0 = -4*m - x*m + 20 for m.
5
Let n = 1 - 1. Let i = -7001 + 7003. Solve i*s + n*s + 6 = 0 for s.
-3
Let g(q) = -18*q - 20*q + 9 + 39*q. Let m be (-4)/(-5)*5/(-1). Let v be g(m). Solve 3 = -v*x + 28 for x.
5
Let y = 632 - 626. Solve 0 = -y*d + 8*d + 10 for d.
-5
Let f be (350/(-280))/(1/(-4)). Solve 7*h = 8*h - f for h.
5
Let m be (-79)/158 + 122/4. Solve -12*q - 6 = -m for q.
2
Let m be 6/24 - 46/(-8). Suppose 20 = m*u - u. Solve 0*t + u = t for t.
4
Let w = 1211 + -1191. Solve -50 - w = -14*x for x.
5
Let w(f) = -f**2 - 3*f + 2. Let n be w(1). Let s be 56/12 + n + 7/3. Solve 0 = -s*l + 9 + 11 for l.
4
Suppose -4*q - l = -33, -q + 126 - 104 = 3*l. Solve -q*u - 40 = -15*u for u.
5
Let u = -4 + 4. Suppose -2*q + 20 = -u*q. Solve -4*i - i + q = 0 for i.
2
Suppose -5*j - 50 + 15 = 0. Let k be (-8 - j)/(-2 + 1). Suppose -7*d = -2*d - 20. Solve d*i - k = 5*i for i.
-1
Suppose -19*h + 105 = -24*h. Let b = h + 24. Solve -b + 13 = -2*m for m.
-5
Let s(i) = 5*i**2 - 25*i + 9. Let a be s(5). Solve a = 6*o + 3 for o.
1
Let w = 145 + -131. Solve -5*b + w = 2*b for b.
2
Let w(v) = 60*v + 184. Let i be w(-3). Solve -146*f + 150*f = -i for f.
-1
Let j(l) = 3*l**2 - 14*l + 11. Let k be j(5). Solve -31 = -k*v + 33 for v.
4
Suppose -4*g = -23 + 7. Suppose t = -l + 12 - 10, -g*t + 8 = -l. Solve q - 3 - 1 = l for q.
4
Let b = -331 + 331. Solve b*q - 3*q = 9 for q.
-3
Let i be -2 + 1 + 1 + (-1)/(-1). Suppose -i = 5*k - 21. Suppose 4*z - 2 = 2*z. Solve 0 = w - k + z for w.
3
Suppose -4*a = -7*c + 4*c - 6, 5*a = 2*c - 3. Let m = 12 + c. Suppose -k = 2*q - 3 + m, -q - 4*k = 12. Solve 12 + q = -3*h for h.
-4
Let b be 1*(-6 + (-10)/5). Let o(r) = -r - 8. Let t be o(b). Solve 3 = -a - t*a for a.
-3
Let g(u) = u**2 + u + 4. Suppose 5*o + 4 - 20 = 4*d, 2*o = -8. Let i = d - -6. Let h be g(i). Solve -5*c + 10 = -h for c.
4
Let z(d) = 2*d**2 + 11*d - 3. Let c(o) = -5*o**2 - 23*o + 6. Let v(g) = -3*c(g) - 7*z(g). Let i be v(4). Let q be 2/i - (-432)/104. Solve 2*w - q - 2 = 0 for w.
3
Suppose -27*s + 390 = -96. Solve -6*a = -0 + s for a.
-3
Let l = -3 - -87. Let i be l/22 - (-2)/11. Suppose i*r + 3*p + 6 = r, -3*p - 15 = 0. Solve -r*u + 0*u - 3 = 0 for u.
-1
Let l = -27 + 34. Let b = l + -3. Solve -13 + 5 = -b*o for o.
2
Let i(q) be the first derivative of q**4/4 + 2*q**3 - q**2/2 + 9. Let s be i(-6). Solve 2*o + s = 5*o for o.
2
Let a = 48 + -25. Let h = a + -23. Solve -b + 5 = -h for b.
5
Let q = -10 + 15. Suppose -3*x = 2*x - 3*x, -20 = -4*s + x. Solve -q = 6*m - s*m for m.
-5
Let p(g) = -g**2 + 33*g + 548. Let t be p(45). Solve 23*y = t*y - 75 for y.
-5
Let f(r) = 2*r**2 + 2*r - 2. Let a be f(-2). Let y be 2*(87/(-30) - -3)*5. Let p be (y - (1 - 2))*a. Solve -2 = 2*m + p for m.
-3
Let u be (-3)/(-4 - 174/(-48)). Solve -u = 4*c - 28 for c.
5
Let c be 1/4 - (-2)/(-8). Suppose p + 2*p = c. Suppose 3*t + v - 10 = -1, p = 5*t + 3*v - 19. Solve -t*i = 3*i - 10 for i.
2
Suppose 0 = -p - 2*p + 15. Let o be (p - 2)/(1 - 0). Suppose 5 = -o*d + 4*h + 2, -12 = -2*d - 2*h. Solve 7*n + 4 = d*n for n.
-1
Let p(r) = -9*r**2 + 2*r - 11. Let d(g) = 8*g**2 - 3*g + 11. Let i(o) = 7*d(o) + 6*p(o). Let v be i(5). Solve -v = -b + 5*b for b.
-4
Let c(g) be the first derivative of -g**2 + g + 2. Suppose 0 = -5*k - 14 + 4. Let o be c(k). Solve -o*v + 6 = -19 for v.
5
Let f(q) be the first derivative of -q**4/4 + q**3/3 - q**2 + 3*q - 7. Let s be f(2). Let c be 5/(3 + s + 3). Solve -4*v - 1 = -c*v for v.
1
Let q(s) = -2*s + 44. Let r be q(19). Let p(x) = -3*x - 12. Let g be p(-5). Solve r = -f + g*f for f.
3
Let v be -3 + 5 + 4 + -5. Let g be v*(-2 - (-4 - -1)). Solve -5*r + 6 = g for r.
1
Let z(t) = -2. Let d(p) = p - 18 - 2*p + 7 + 2*p. Let y(l) = 2*d(l) - 11*z(l). Let r be y(3). Solve k - 1 = -r for k.
-5
Suppose 0 = -3*j + 25 - 109. Let q be j/6*(-18)/21. Suppose -2*n - 2*h + 40 = 0, -3*h + 5 = -2*h. Solve -q*w = -w - n for w.
5
Let w(m) = -m**3 - 4*m**2 + 20*m + 75. Let b be w(-5). Suppose 4*h - h - 45 = 0. Let a = -11 + h. Solve b = -a*g + 4 - 8 for g.
-1
Let o(n) = -n**3 - 5*n**2 + 4*n - 9. Let f(b) = -b - 10. Let a be f(-4). Let d be o(a). Solve d*s + 6 = -0*s for s.
-2
Let k = -1 + 3. Suppose 5*n - 14 = 1. Suppose -5*v + 2*m + 1 = -4*v, 19 = 5*v - n*m. Solve -k*b = -v*b for b.
0
Suppose 0 = -0*z - 5*z - 10. Let x be ((-4)/z + -2)/(-2). Suppose 3 - 1 = -2*i - 2*l, -2*l = i + 4. Solve i = 2*d - x for d.
1
Let o = -9 - -8. Let x be 0/(-3)*(o - -2). Suppose 0 = -b + 4, -2*r - 2*r - 4*b + 24 = x. Solve 0 = -r*h + 7*h for h.
0
Let h(a) = 3*a**2 + 6*a - 15. Let y(l) = l**2 + l + 1. Let v(t) = h(t) - 2*y(t). Let c be v(-7). Solve -1 + 9 = c*b for b.
2
Suppose 73*v + 13 = 74*v - 3*o, 4*o + 8 = 0. Solve v*l = 11*l - 16 for l.
4
Let a(q) = -q**2 - 11*q - 20. Let z be a(-3). Solve 3*m = z - 4 for m.
0
Suppose -d + 7 = j, -2*j = -4*d - 0*j + 4. Suppose z = -0*l - 4*l + 6, -2*z + 3 = -l. Solve d*t = z + 4 for t.
2
Let a be 2/(-8) + 12465/180. Solve -67*n = -a*n + 10 for n.
5
Let r = -3 - -3. Suppose r = -5*k + 10 - 0. Let v(n) = n**3 + n**2 - n - 1. Let f be v(1). Solve z - 4 + k = f for z.
2
Let r = -549 - -551. Solve j = 5 - r for j.
3
Suppose 19*o = 5*o + 210. Solve -3*h + 6 = o for h.
-3
Suppose 0 = 5*k - 109 + 24. Let a = -9 + k. Suppose a + 1 = 3*o. Solve -o = l - 0*l for l.
-3
Let n be 5 + -4 + (-1)/2*2. Solve k + n*k = -2*k for k.
0
Suppose -785 = -74*a + 29. Solve a*g = -8*g - 95 for g.
-5
Suppose -20 