t u be a(12). Suppose -u*f = -4*f - 9. Let z(y) = y**2 + 8*y. Let c be z(-8). Solve -4*s - f - 11 = c for s.
-5
Let w = 39 + -32. Suppose -g - 5 = 0, 3*y + w = 2*g + 32. Solve -9 - 6 = y*f for f.
-3
Let j be (1 - (-5 - -1)) + 0. Let k be j/20 + 81/12. Solve -2*b + 1 = k for b.
-3
Suppose 0 = w - 5*u - 5, -3*w + 6*u - 3*u = -3. Solve r = -w*r - 4 for r.
-4
Let k be (1 - (1 + 0))/2. Suppose k*n - n = -5. Let a(d) = -4*d - 151. Let u be a(-43). Solve 0 = -n*i - 4 - u for i.
-5
Let c be (-15)/30 - 2695/(-22). Solve -6 = c*m - 128*m for m.
1
Let y(p) = p. Suppose 5*g - 10 = -0*g. Let m be y(g). Solve q = m*q - 1 for q.
1
Let i = -510 + 515. Solve 29 = i*c + 4 for c.
5
Suppose 0 = -199*t + 192*t + 21. Solve -12 = 3*p - t for p.
-3
Let t(x) = -30*x - 205. Let i be t(-8). Solve 0 = 12*z + 1 + i for z.
-3
Let b(m) = 254*m + 3560. Let l be b(-14). Suppose 4 = -d, -2*f - 10 = -2*d + 4*d. Let z = f - -1. Solve -p = -z*p - l for p.
4
Let p(k) = -2*k + 48. Let g be p(22). Let n = -5 + 5. Suppose 8*w - 3*w = n. Solve g = -u - w for u.
-4
Let n(j) = -4*j - 36. Let z be n(-10). Let s(o) = 2*o. Let f be s(z). Solve 8 = 4*x - f for x.
4
Let o(s) = s**2 - 8*s + 4. Let m be o(6). Let f = m - -13. Suppose -5*b = f*d - 35, -3*d = -0*d - 2*b - 1. Solve -4*u - 5 = d for u.
-2
Let p = 383 + -372. Solve 0 = 9*i + 2 - p for i.
1
Suppose 0 = -5*g + g + 12. Suppose 3*r = -g*z + 26 + 16, -18 = -3*z + 3*r. Let o be (2/3)/(z/60). Solve 0 = -k + 2 - o for k.
-2
Suppose 3 - 13 = -m. Let i be m/6 + 8/24. Solve -a - i = -4 for a.
2
Suppose -3*r = -7*c + 4*c, 4*r = 5*c. Solve 6*p + 65 - 41 = r for p.
-4
Suppose -234 - 246 = -20*c. Solve -c = 6*d + 6*d for d.
-2
Let w = 28 - 41. Let s be (36/8 + -6)/(2/(-20)). Let o = w + s. Solve -5*j - o = -12 for j.
2
Let a = 146 - 144. Solve 5 = -a*v + v for v.
-5
Let c(n) = -7*n**2 + 71*n - 5. Let o be c(10). Solve -o*y = 14*y - 57 for y.
3
Let o(j) = j**2 - 3*j + 2. Let l be o(4). Let k be ((-24)/16)/(l/(-16)). Solve 0 = k*x - 7*x for x.
0
Let u(h) = h**2 + 4*h + 3. Let y be u(-3). Suppose 23*d - 24*d + 2 = 0. Suppose 0 = -g + b + 5, 5*b + d = 4*g + 10*b. Solve -g*k - 3 + y = 0 for k.
-1
Suppose -6 = 4*l - 14. Let p = 2 + 3. Let s = p + -5. Solve -8 = -s*q + l*q for q.
-4
Suppose -2*m + 20 = 3*m. Suppose -m*y = -9*y + 10. Solve -z = -y*z - 3 for z.
-3
Let s(t) be the first derivative of -t**3/6 + 3*t**2/2 - 6*t - 3. Let c(q) be the first derivative of s(q). Let h be c(3). Solve -5*w - 15 - 5 = h for w.
-4
Let n(x) = x**2 + 8*x. Let v be n(-8). Let q be 2 - v - (0 + 2). Let u be ((-3)/1)/(-3)*q. Solve 0 = -u*w + 3*w for w.
0
Suppose 6*d = 3*d - 2*o - 8, 5*o + 2 = -3*d. Let r be ((-2)/d)/(6/372). Solve -r + 11 = 5*u for u.
-4
Let i(b) = b + 4. Let k be i(-8). Let s(d) be the third derivative of d**6/120 + d**5/10 + d**4/6 - 2*d**3/3 + 4*d**2. Let l be s(k). Solve -h + l = 3*h for h.
3
Suppose -4*v = 8 + 8, v = -4*w + 52. Solve 0 = 6*s + w + 16 for s.
-5
Let u(z) = -z**3 - 6*z**2 + 8*z + 10. Let m(r) = -r**3 + 2*r**2 + 1 - 5*r**2 - r**2 + 1. Let j be m(-3). Let t be u(j). Solve -2*y = -5*y + t for y.
1
Suppose 3 = 2*y - 3. Let h be 5 + -5 - (-6)/y. Suppose 3*j + 2*b - 14 = 0, h*b + 3 = 11. Solve j*p = p - 3 for p.
-3
Suppose 2*u - 2*h = 2, 0 = u - 0*h + 5*h - 7. Suppose 0 = u*f - f. Solve g = -f*g - 3 for g.
-3
Suppose -2*k = -6, 3*k = 52*l - 49*l - 105. Solve -l = 5*s - 13 for s.
-5
Let o = 1688 + -1683. Solve 0 = 314*k - 313*k - o for k.
5
Let j(i) = -i**2 - 15*i + 19. Let c be j(-16). Suppose 2*q - c - 5 = 0. Solve -u + q*u = 12 for u.
4
Let c be -120*-5*(-24)/(-200). Solve -4*y - c = -76 for y.
1
Suppose 5 = -2*y + 23. Solve 2*l - 5*l + y = 0 for l.
3
Let q(v) = -3*v**3 + 13*v**2 + 15*v + 3. Let y(j) = -2*j**3 + 9*j**2 + 10*j + 2. Let h(x) = 5*q(x) - 8*y(x). Let i be h(8). Solve -5*w + 2 = -i for w.
5
Let h = 4 + 4. Let f(l) = -l**2 - 10*l + 0*l**2 - 10*l + h*l. Let b be f(-12). Solve b = -2*c + 6*c for c.
0
Let c be 24/14 + 2/7. Let y = -2133 - -2134. Solve t - y = c for t.
3
Suppose 22*l - 1271 = 1743. Solve 145 = 4*c + l for c.
2
Let q(p) = p**2 + 28*p - 141. Let r be q(-33). Solve r = -2*z + 8*z for z.
4
Let d be (-287)/(-17) + (16/68)/2. Solve 0 = 20*x - d*x - 9 for x.
3
Let g be (-37)/3 + 7/21. Let f be (g/(-3))/(-16)*-4. Solve z = 3 - f for z.
2
Suppose -3*g + 3*p + 62 + 52 = 0, 186 = 5*g - 4*p. Let u = g - 31. Solve 5 = u*j - 2*j for j.
5
Let b(j) = -8*j + 97. Let z be b(11). Solve -5*l + z*l = 16 for l.
4
Let r = 228 + -225. Solve 4 = n + r for n.
1
Let u(b) = 10*b**2 - 2*b + 158. Let y be u(0). Solve -y*g + 157*g + 2 = 0 for g.
2
Let d = 33 - 27. Suppose -d*u + 20 = -u. Solve c + u - 5 = 0 for c.
1
Let j(o) = o**3 - 4*o**2 - 3*o - 8. Let w be j(5). Suppose 0 = 2*m + w*m - 4*s - 184, -2*m + 3*s + 92 = 0. Let h = m + -26. Solve h = -q - 4*q for q.
-4
Suppose -s = h - 3*h - 29, -4*s + 102 = -h. Let b be 10/s + 136/10. Let c be (b/8)/((-2)/(-8)). Solve c + 2 = 3*k for k.
3
Suppose c - 3 = 20. Let u = -9 - -16. Suppose 3*s + 0*l - l = c, -2*s = l - u. Solve q = -2*q - s for q.
-2
Suppose -17 = 6*x - 29. Suppose 4*z = -4*p, -5*p - 11 - 24 = -x*z. Solve 0 = z*t + 22 + 3 for t.
-5
Let v = -129 - -185. Let r = v + -49. Solve 12 = r*q - 4*q for q.
4
Let g = 23 + -22. Let z(o) = -o + 9. Let k be z(6). Suppose 3*t - 15 = -4*a, -k*a + 0*t = 2*t - 11. Solve g = -a*x + 4*x for x.
1
Suppose 2*y - 4*j - 46 = 0, -5*j = y - 6*j - 23. Suppose -4*v - 3*x - 6 + y = 0, 4*v = -4*x + 16. Solve 2*g = g + v for g.
5
Let b(w) = w + 1. Let c(s) = -11*s - 1. Let p(m) = -4*b(m) - c(m). Let z be p(1). Solve 2*u - z*u - 6 = 0 for u.
-3
Let c be 3*(-4)/((-48)/20). Suppose 3*q = 2*w + 13, q + q = c*w + 27. Solve 3*d = -7 + q for d.
-2
Suppose 6*q + 38 = -118. Let i = 31 + q. Let x(z) = z**2 - 3*z - 2. Let k be x(i). Solve -2*v = 2*v + k for v.
-2
Suppose 2*v - 77 - 65 = 0. Suppose 2*g + 23 = v. Solve 0 = -5*q + 9 - g for q.
-3
Let g(y) = y**3 + 6*y**2 + y. Let b be g(-6). Let z(f) = f**2 + 6*f + 4. Let s be z(b). Suppose -4*n + 4 = -s. Solve -n = v - 7 for v.
5
Let x(j) = 2*j**2 + 12*j + 12. Let a be x(-1). Solve -5*k + 3*k - a = 0 for k.
-1
Suppose 3*u + 30 = 4*b + 10, 2*u - 5 = -b. Solve u = -9*a - 22 + 4 for a.
-2
Let a(w) = -w**3 - 3*w**2 - w + 2. Let m be a(-2). Let u = m + 0. Suppose -44 = -9*o - 8. Solve -o*g + g = u for g.
0
Suppose 3*j + 4 = -11. Let b(l) = -l**3 - 5*l**2 - 2*l - 6. Let x be b(j). Suppose x*t + 1 = 17. Solve -q = -t*q + 9 for q.
3
Let r = 24 + -12. Suppose m - m = -9*m. Solve m*i + r = 3*i for i.
4
Suppose 8*m - 5*m - 9 = 0. Suppose 44 - 50 = -m*b. Let s be 1/2 + (-11)/(-2). Solve -b*l = -0*l - s for l.
3
Let u be ((-54)/45)/((-2)/15). Suppose -15 = -5*x, -2*x - x + u = 3*i. Solve -2*g = -i*g - 2 for g.
1
Suppose -20 = -5*q - 260. Let o = 50 + q. Solve m - o = -1 for m.
1
Let d be 12/(-16)*-100*6/18. Solve -d + 37 = -3*t for t.
-4
Let y(f) = 2*f - 19. Let r = -21 + 32. Let j be y(r). Solve 0 = -j*b - 8 - 7 for b.
-5
Let r be -6*(-6)/9 - 0. Suppose 3*m - 5*o - 13 + 1 = 0, -m - 4*o + r = 0. Solve d = -3*d + m for d.
1
Let u be 50/25*(14/(-4))/(-1). Solve -2*r = -9*r + u for r.
1
Let i be (-9)/2*6/(-9). Suppose f = i*f + 6. Let j be 0 + 1 + f + 2. Solve j = 2*l - 4*l - 6 for l.
-3
Let b(t) = 10*t + 62. Let d(g) = 5*g + 31. Let q(f) = 2*b(f) - 5*d(f). Let j be q(-8). Solve 2*x - j = -1 for x.
4
Let w(b) = -b - 3. Let l be w(-6). Suppose 3 = r + 4*r + l*y, 0 = -r - 2*y - 5. Suppose z = -r*n - 2 - 4, 5*n = 3*z - 10. Solve 2*j + z*j = 6 for j.
3
Let k = 13 + -9. Let q be k/(-6) - (-2)/3. Solve q*p - p = 2 for p.
-2
Let w be 6/(-15) - 10/75*-93. Suppose 5*r = -3*m + 8 + w, 0 = -3*r - 6. Solve 2*i + 0 = m for i.
5
Let h be 23/6 - (-110)/(-132). Solve -2*y - 5 = -h for y.
-1
Let l(g) = g**3 + 2*g**2 - 3*g + 2. Let h be l(1). Let f be 2/(((-32)/(-12))/4). Solve 0 = 5*n + f + h for n.
-1
Let t = 386 - 380. Solve -t*o - 2 = -32 for o.
5
Suppose -34 = -6*i - 10. Let g be 1/(5/(-10)*i/(-46)). Let a be 18/5 - (-8)/20. Solve a*f = g - 7 for f.
4
Let d = -542 + 548. Solve -2*p - d = -0 for p.
-3
Let v(g) = 2*g - 2. Let i be v(1). Suppose i = 7*z - 26 + 12. Solve -z*d + 7*d = -15 for d.
-3
Suppose 1 = -l + 3. Suppose 3*s + 0*s = -l*d + 13, -4*d + 23 = 5*s. Solve -d*m - 2 = -3*m for m.
2
Suppose 0 = -53*b + 48*b + 10. Suppose -b*k + 7*k + 6 = 3*r, 0 = -3*