t for k.
4
Let g(q) = -q**3 + 3*q + 3. Let b be g(-2). Let o be (-4 - -1) + -4*39/(-26). Solve -1 = o*x + b for x.
-2
Let y = 7 + -2. Solve -i + 1 = y for i.
-4
Suppose 0 = 5*q - 15, -2*q + q - 12 = -5*l. Suppose l*u = 4 + 8. Solve 2*f + 2*f = u for f.
1
Suppose d - h = 2, 2 = -0*d + d + h. Suppose -5*n + 2 = -a, -3*n + 6 = -n - 3*a. Solve y - d*y + 3 = n for y.
3
Let d(c) = -c**3 - 7*c**2 + 6*c + 10. Let y be d(-8). Let m be (-790)/(-65) + (-4)/y. Solve 5*j + m = -8 for j.
-4
Let u be (4/6 + 0)*-3. Let t = -10 - u. Let o = -4 - t. Solve o*f = 5*f - 1 for f.
1
Suppose 3 = z - 1. Suppose -2 + z = -l. Let i be (1 + l - 1)*-1. Solve 0 = -7*p + i*p - 5 for p.
-1
Let s be (-1)/(-2) - 6/(-4). Suppose w + 4*p = -3*w + 60, -70 = -5*w - 4*p. Solve s = -2*b + w for b.
4
Suppose 3*w + 4 = -4*l, -4*w - 6 = 2*l + 3*l. Suppose 1 = -j - l. Let u be 4 - -1*(j + 2). Solve -20 = -2*n - u*n for n.
4
Suppose b = h - 3, 3*h - b = 3*b + 10. Solve -k + 3 - h = 0 for k.
1
Let c = -13 + 25. Solve h + 3*h = -c for h.
-3
Let f(c) = -c**3 - 9*c**2 + 10*c + 3. Let h be f(-10). Solve l = h*l + 6 for l.
-3
Let k(i) = -i + 11. Let r be k(-9). Solve -5*t + 5 = -r for t.
5
Suppose j - 6 = 2*p, -2*j + j - 4*p + 18 = 0. Let v = 1 + j. Solve v = -3*k - 1 for k.
-4
Let k(l) = l**3 + 7*l**2 - 11*l + 6. Let b be k(-8). Suppose 5*f + 5*h + 15 = 0, f - 4*h + 8 - b = 0. Solve 0 = -f*v + v + 3 for v.
3
Let i(s) = -s - 10. Let b be i(-10). Solve 0 = -b*g - g for g.
0
Suppose 2*y = -5*o + 11, 2*o + 19 = 7*o - 2*y. Solve -o*k - k = -8 for k.
2
Let f = -1 + -8. Let g be 1*(-3)/f*0. Solve 0*o - o = g for o.
0
Suppose 0 = 4*o - 3*o - 4. Let i(p) = p**3 + 3*p**2 + 2*p + 2. Suppose 5*t = 3*b + 11, -2*t + 1 = -t. Let j be i(b). Solve 0*h = -j*h - o for h.
-2
Suppose -2*m + 9 = p - 0*m, 0 = 3*m. Let h = 1287 + -1280. Solve h + p = -4*k for k.
-4
Suppose 5*k + 10 + 5 = -c, -5*c - 9 = 3*k. Solve 3*f + 2*f = c for f.
0
Suppose -w = -0*w - 42. Suppose -2*x - 15 = -h, -5*h - 3*x = -2*x - w. Suppose 5*g + 29 = d, -g = 2*d - 2*g - 49. Solve d = -3*u + h for u.
-5
Suppose 13*j - 10*j = 12. Solve j + 21 = -5*k for k.
-5
Let g = -35 - -38. Solve -g*b + 1 - 4 = 0 for b.
-1
Let p be 2/6 + (-46)/(-6). Let j = -4 + p. Solve -4*z + 2*z = -j for z.
2
Let i(u) = 4*u - 7. Let q be i(6). Solve q + 3 = -5*o for o.
-4
Let q be 2 + (0 - (3 + -6)). Solve 8 = -q*f + 3 for f.
-1
Suppose -5 = -4*n + 7. Let d be (n - 27/(-6))*2. Solve 5 = -4*b - d for b.
-5
Let z(t) = t - 12. Let h be z(14). Solve i - 2 = h for i.
4
Suppose -4*g + 27 = g + 3*m, 0 = 4*g + 2*m - 20. Solve y = g + 1 for y.
4
Let r(l) = l**3 - 7*l**2 + 3*l - 9. Let n(g) = g + 12. Let c be n(-5). Let x be r(c). Let p = 0 + 0. Solve i - 5*i - x = p for i.
-3
Let u be 1/2*(-5 - -15). Let a(k) = k**2 - 3*k - 2. Let x be a(u). Suppose -x*v + 4*v + 6 = -2*z, -4*z - 12 = 0. Solve v = 2*f + 5 + 1 for f.
-3
Let l be 3/1 - (1 - 3). Suppose l*z = z + 8. Suppose -3*o - s = -57, -3*o - z*s + 42 = -o. Solve 2 = -4*c - o for c.
-5
Let b(s) = -s - 4 + 2 - 3*s + s. Let d be (1*4)/(-2) - 1. Let k be b(d). Solve 25 = k*o - 2*o for o.
5
Suppose -3*u = -u. Suppose -12 = -y + 4*y, u = -5*d - 4*y + 14. Solve 9 = -3*a - d for a.
-5
Let j(g) = -g**3 + 6*g**2 + 9*g + 4. Let d be j(7). Suppose 4*w + d = 3*f, -4*f - f - 2 = 4*w. Solve 0 = -l - f + 4 for l.
2
Let b(m) = 2*m - 4. Let n be b(4). Let c(w) = w**2 - 4*w + 2. Let k be c(n). Solve k = 4*u - 3*u for u.
2
Let b be (-3)/2 - 258/(-12). Solve -4*f - f = -b for f.
4
Suppose 2*q - 5 + 7 = 0. Let u be q/((2/20)/1). Let o be 8/20 + (-16)/u. Solve -3*c = o*c for c.
0
Suppose -5*b + 42 = -23. Let w = 17 - b. Solve r = w*r for r.
0
Let u(g) = g**2 - 2*g - 1. Let j be u(3). Solve -1 = -j*o - 5 for o.
-2
Let m = -30 - -33. Solve -l - 6 = -m*l for l.
3
Let x(n) = 5*n**2 + 3*n - 5. Let j be x(2). Suppose 3*q = 9 + j. Solve -z - 4*z = q for z.
-2
Let m = -11 - -16. Solve -4 = -m*r + 21 for r.
5
Suppose -j = -2*b - 9, 5*j = 3*j - 5*b - 9. Suppose -6*o - 28 = -4*i - o, 0 = -5*i - 3*o + 72. Solve 0*w = j*w + i for w.
-4
Suppose r = 2*r + 4*y - 9, 4*r = 4*y + 16. Suppose -3*u = 2*n - 71, -87 = -2*u - 2*u + r*n. Solve 4*i = 3 - u for i.
-5
Suppose 4*b + 5 = -b. Let w = 3 + b. Suppose -w*o - 4 = -4*o. Solve o*j = 5*j - 15 for j.
5
Let d = -42 + 45. Solve -13 + 1 = -d*v for v.
4
Suppose -2*b - 20 = -c, 5*c - b + 0*b - 100 = 0. Solve -5 - c = -5*z for z.
5
Suppose -3*d + 6 + 6 = 0. Solve d*r - r = -15 for r.
-5
Suppose 2*r + 1 = 9. Let m be (-2)/4 - 82/(-4). Solve -r*d + m = d for d.
4
Let m(i) = -i + 12. Let t be m(10). Solve t = -5*h - 3 for h.
-1
Let k be ((-1)/(-2))/(3/54). Solve 3*i - 3 - k = 0 for i.
4
Suppose 2*z = b - z - 14, 0 = z + 3. Suppose -w = -g + 4*w + 4, 0 = 2*g + b*w - 8. Solve 2*j = g*j - 4 for j.
2
Suppose 5*x - 5 + 45 = 0. Let i(z) = -z**2 - 9*z - 6. Let g be i(x). Let q be g/(-6)*-3*0. Solve q = -2*l + l - 4 for l.
-4
Let f(o) = -6*o + 66. Let r be f(11). Solve -n + 5*n + 20 = r for n.
-5
Suppose f - 9 = 5. Let u be -4 - (-3 + (-6)/(-2)). Let x be u/6 + f/3. Solve 4*s + 0*s + x = 0 for s.
-1
Suppose z = -2*z + 18. Suppose -4*y = 3*m + z, -2*m + 6*y - 3*y = 21. Let d be m/(-9) + (-2)/3. Solve -g + 4 - 8 = d for g.
-4
Suppose 2*l + 4*s + 148 = 6*l, 4*l + 3*s - 134 = 0. Suppose -2*j = -3*w + 46, -2*w - j + l = 2*j. Solve 4 = -4*b - w for b.
-5
Let w be 8/(-14) - (-32)/56. Solve 3*k - 12 = -w for k.
4
Let l(y) be the second derivative of y**5/20 - 3*y**4/4 + 3*y**3/2 - 5*y**2/2 - y. Let h be l(8). Suppose -8 = -a - h*a. Solve a*v = -v + 6 for v.
2
Suppose 26 = -s + 27. Solve s = 5*g + 21 for g.
-4
Suppose -7*i + 90 = -4*i. Let y be (-5)/(i/4)*-3. Solve 3*a - y = 1 for a.
1
Let m = 47 - 41. Solve 4*b = m*b for b.
0
Suppose m - 5*j - 11 = 4, m = j + 7. Solve -m*s - 9 = -2*s for s.
-3
Let g be (20/16)/((-2)/(-8)). Suppose -g = 5*n - 0. Let h(v) = 2*v**2 + 1. Let j be h(n). Solve 1 = -f + j for f.
2
Let f = -6 - -8. Suppose f*d - 5*d = -24. Suppose -2*b = -3*y + 7 + 4, -b - 18 = -4*y. Solve -y*q - d = -33 for q.
5
Let s(z) = -z. Let j be s(-2). Solve 3*t + 2 = j*t for t.
-2
Let f(o) = o**2 - 3*o - 1. Let g be f(4). Suppose 3*c - 6 = -g*l, 0*c - 2*c - 8 = 5*l. Solve 0 = -a - a - c for a.
-3
Suppose -5*x + 5*h = -5, 0*x - 2*x = h - 11. Suppose -3*q + 7*d = x*d + 3, -4*d = -2*q - 10. Suppose q*r - 49 = -4. Solve 0 = 4*z + 5 + r for z.
-5
Suppose -4*n + 2*c = n + 8, -4 = -c. Solve -d - 4*d = n for d.
0
Let o be (6/(-4))/((-3)/8). Let d = o - -6. Solve -2 = -4*g - d for g.
-2
Let k = 8 + -6. Let d be -35 + (2 - 3) + k. Let b = d + 50. Solve -f = -5*f + b for f.
4
Let y be (1/2*0)/2. Solve -5*h + 23 - 8 = y for h.
3
Suppose -4*d + 10 = -l - 4, -15 = -3*d. Solve 18 = 3*j + l for j.
4
Suppose -7*q + 4*q = -9. Let s(c) = c - 5. Let u be s(5). Solve u*v = q*v for v.
0
Suppose 1 = -2*z + 2*g + 23, 3*z + 4*g = 47. Solve -4*u + z = -7 for u.
5
Let u be (2 + (2 - 0))/((-2)/(-5)). Solve -u = -3*a - 4 for a.
2
Let u = 8 + -3. Let g(c) = 2*c - 5. Let p be g(u). Suppose 6*y = y + 2*d + 30, -5*y + 30 = -d. Solve 19 = -p*m - y for m.
-5
Let u = 18 - 9. Solve -4*b = -1 + u for b.
-2
Suppose 2*r + 2*r = -36. Suppose 2*d + 41 = -5*b, 5*b - d + 2*d = -38. Let q = b - r. Solve h + q = 2*h for h.
2
Let g(o) = -o**2 - 4*o - 1. Let i be g(-3). Let x be 0 - 0 - (i - 2). Let q be (-4)/3*(-5 + 2). Solve 0*a - 4*a - q = x for a.
-1
Let f = 7 - 4. Let v(x) = 4 - 4*x + 1 - 1 + 0*x. Let g be v(-3). Solve f*t + g = -t for t.
-4
Let d(s) = s**2 + s. Suppose 0 = -2*m - 2*m. Suppose -3*j + 5*o - 15 = 0, j + j + 5*o + 10 = m. Let g be d(j). Solve 4*h + g = -0*h for h.
-5
Suppose -4 = 3*y - 16. Let u = 6 - y. Solve -5*g + 12 - u = 0 for g.
2
Suppose 3*u - 2*r - 10 = 3*r, 4*r + 1 = u. Solve -28 + 3 = -u*s for s.
5
Let w(d) = -d**2 + 9*d + 1. Let g be w(8). Let z be (12/g - 0)*3. Solve z*i + 18 - 6 = 0 for i.
-3
Let c(t) = t**2 - 14*t - 19. Let x(h) = h**3 + 7*h**2 - 10*h. Let g be x(-8). Let y be c(g). Solve -y = 5*f + 7 for f.
-4
Let z(g) = 3*g - 30. Let m be z(10). Solve 0 = -y - m*y + 3 for y.
3
Let v be (-8)/6 - 340/(-12). Let m = -23 + v. Solve y - 5 = -m for y.
1
Let a(q) = 1 - 4 + 2 + 6*q + q**2 - 3. Let i be a(-7). Solve -i*h = -0*h + 9 for h.
-3
Suppose 10*w - 4 = 8*w. Solve m = -m - w for m.
-1
Let h be (-2)/(-3) - (-294)/18. Suppose 0 = -4*b + l + h, -4*b + l - 2*l