 -g for g.
1
Let k = 15 + -10. Suppose 4*t - 13 = -k. Solve -z = -t*z for z.
0
Let d = 5 - 2. Suppose 3*x - 8 = -g, d*x - 3*g = 2*x - 4. Solve -k - x = -1 for k.
-1
Let b = -8 - -11. Suppose f + b*g - 3 = 0, -g + 2*g = -5*f + 29. Solve -k - f = -3*k for k.
3
Let d = 70 + -63. Solve -d*x + 4 = -3*x for x.
1
Let u = 1 - -2. Let d = -40 - -59. Suppose -2*t - 40 + 48 = 0. Solve u*v + t = d for v.
5
Let f(s) = 97*s + 1. Let p be f(1). Suppose 4*o - p = z, o - 5*z - 58 = -o. Let r = -14 + o. Solve -7*d = -5*d - r for d.
5
Let n = 71 - 66. Solve -5*t = -30 + n for t.
5
Suppose 7*w + 2 - 30 = 0. Solve 12 = w*t - 0*t for t.
3
Suppose 3*b - 3 = 5*a, -4*b = 5*a + 3 - 7. Solve 0 = 5*r - a*r for r.
0
Suppose 2*a + 3 = 5*h + 12, -4*a = 3*h - 5. Let k be -1*(a - 1 - 3). Solve 0*p = k*p for p.
0
Let d = -102 + 104. Solve -d*b = -b for b.
0
Let t(z) = z**3 + 6*z**2 - 5*z - 10. Let a be t(-6). Solve 4*f = -f + a for f.
4
Suppose 2*n - 2*o + 3 = -5, 0 = 4*n + 3*o - 19. Solve -6 = d - n for d.
-5
Let y be (0 - 0) + 4 + (-5)/(-5). Solve 0 = y*o - 2*o - 9 for o.
3
Let m be 1*8/3 + (-17)/(-51). Suppose 4*r - 32 = -0*j + 2*j, 3*j = -r - 6. Solve -r*d + m*d = 0 for d.
0
Let o be 1/(4*1/8). Solve -o*l - 20 = 3*l for l.
-4
Let i(v) be the second derivative of v**5/60 - v**4/6 - v**3/2 - v**2/2 - v. Let y(t) be the first derivative of i(t). Let p be y(5). Solve -x = p*x + 12 for x.
-4
Suppose 0 = -4*v - j + 8, -3*v = -v + 3*j + 6. Solve v*o - 6*o = 0 for o.
0
Let r(x) = 4*x**2 + x - 1. Suppose -i + 0*i = 0. Let z = i + 1. Let y be r(z). Solve -y*o - o + 5 = 0 for o.
1
Let o(p) = -p**3 + 4*p**2 - p - 3. Let j be o(2). Solve 0 = -3*g - 9 + j for g.
-2
Suppose -8 = -u - u. Let s(n) = n**2 - 2*n - 4. Let b be s(u). Solve 0 = -0*o + o + b for o.
-4
Let q(c) = c**3 + 8*c**2 + 8*c + 7. Let x be q(-7). Let n be 18/(1 + 1) + x. Let d = 13 - 10. Solve -24 + n = d*f for f.
-5
Let o(b) = b**3 - 3*b**2 - 2*b - 3. Let v be o(4). Solve 0*q - v*q = 10 for q.
-2
Let l = -19 - -25. Solve -h + l*h = -25 for h.
-5
Suppose 37 = 2*d + 3*p, 0*d - p + 20 = d. Solve -7 + d = 4*g for g.
4
Let a(u) = -u**3 - 11*u**2 - 16*u + 18. Let m be a(-9). Solve m*x = -x for x.
0
Let p = 1 - 1. Suppose -3*l - 5 = -20. Suppose -l*x + 29 = 9. Solve -x*v - 22 + 6 = p for v.
-4
Let r be (0 - (-1)/4)/((-11)/(-220)). Solve -r*s + s = -12 for s.
3
Let f(p) be the first derivative of -2 + 1/2*p**2 - 4*p. Let d be f(6). Solve -5 = d*u + 3*u for u.
-1
Suppose 2*i = 7*i. Suppose 3*a - 5*s + 50 = 0, a - 20 = 5*a + 5*s. Let l be (a/6)/(1/(-6)). Solve 5*q + l = -i*q for q.
-2
Let m(k) = k**3 - 12*k**2 - 13*k + 9. Let c be m(13). Solve 3*y + c = -0*y for y.
-3
Let k(s) = 2*s**2 - 6*s - 4. Let t = 4 + 2. Let o be k(t). Suppose 4*v - 4*p - o = -0*v, -4*v + 50 = 5*p. Solve -m - m = -v for m.
5
Suppose 0*l = 5*l - 15. Suppose 5 + 3 = -4*w, 3*w = -l*x. Solve -2*q = x*q for q.
0
Let t(j) = -j + 40. Let d be t(15). Solve 4*m = 5 - d for m.
-5
Let g = 143 + -136. Solve -g = -4*r + 9 for r.
4
Suppose 40 = 2*r + 2*r. Let h(z) = -z. Let q be h(-6). Solve g + r = q*g for g.
2
Let h be (-2 - 0)*-3*2. Let x be 1/(-5) - (-8)/40. Suppose x = 4*l + h + 4, l + 4 = o. Solve o*n = 4*n for n.
0
Let t be 10 - 3 - (3 + -1). Suppose 0*g - t*g = -20. Solve g*y = -3 - 9 for y.
-3
Let k(z) = z**2 + 1. Let m be k(-1). Let o = -5 - -12. Suppose -3*x + 2 + o = 0. Solve x*f + 1 = m*f for f.
-1
Suppose -4*m = -3*b - 28, 4*b = -0*b - 16. Suppose 2 - 2 = -5*z. Solve z = -m*d - 0 + 4 for d.
1
Let f be 33/27 - (-4)/(-18). Let d be 27/18 - f/2. Solve 5*r + d = 4*r for r.
-1
Suppose 0 = l - 5*l + 12. Solve -l = -2*a - 1 for a.
1
Let d be ((3 - 3) + -3)*-5. Let k be 536/56 - 3/(-7). Solve k*m - 5*m - d = 0 for m.
3
Suppose -5*x + 2*a = -10, 25 = 2*x - 4*a - a. Solve x = 4*o + o + 15 for o.
-3
Let i be (-1)/(-2)*(-42)/(-3). Suppose -49 = d + 4*d - z, -31 = 3*d + z. Let b be d/(-35) - (-5)/i. Solve 2*r = 3*r + b for r.
-1
Let z(r) = -2*r + 4*r - r**2 + 0*r. Let x be z(2). Solve x = 4*c + 4 + 8 for c.
-3
Let y(g) = 8 + 4*g - 5 - 3*g. Let h be y(-1). Solve h*j + 2*j = 0 for j.
0
Let x be (6/24)/(1/4). Let u be 12/4 + (x - 2). Solve u = -2*o + 12 for o.
5
Let q(u) = -u**3 + 8*u**2 - 6*u - 4. Let o be ((-7)/(-14))/((-1)/(-14)). Let g be q(o). Solve -k = g*k for k.
0
Let i = 7 - 3. Suppose 0 = -0*u - i*u. Suppose 0 = -2*a + 4*a - 4. Solve u = g - a*g for g.
0
Suppose v + r - 7 + 1 = 0, 0 = 5*v - 2*r - 37. Let i = v + 4. Let y = i - 2. Solve -4*j + j = y for j.
-3
Suppose 4*g - 2*v = -4*v - 4, -8 = -2*g + 4*v. Solve g*n = 4*n for n.
0
Suppose 5*c + 5*a - 14 = 26, c = 3*a - 4. Solve 1 = 4*d + c for d.
-1
Let s = -14 + 19. Solve s + 5 = 2*j for j.
5
Let b(j) = -4*j**3 + j**2 + 2*j + 1. Let i(d) = 9*d**3 - d**2 - 5*d - 3. Let r(q) = 7*b(q) + 3*i(q). Let n be r(3). Solve 9*m = n*m for m.
0
Let r = -17 - -10. Let z = -4 - r. Solve -6 = -z*c - 3 for c.
1
Suppose -3*y + 8*y - 3*n - 47 = 0, -3*y + 25 = -5*n. Let m = 12 - y. Solve 4 = m*b + 2*b for b.
1
Let b = -5 + 5. Solve -2 = f - b for f.
-2
Suppose 5*h - 68 = 12. Suppose -l = -5*l + h. Solve r = -l - 0 for r.
-4
Let j be 1*2 - (3 + -1). Let y(z) = z**3 - z**2 + 5. Let v be y(j). Let i be (-4)/10 - (-2)/v. Solve i = 2*h - h + 5 for h.
-5
Suppose 5*p + w = 6*w + 50, 5*w - 13 = -4*p. Let k be (2 + (0 - p))*-1. Solve 2*t - k = 5 for t.
5
Let v = 5 + -2. Suppose c - 2*p = 8, -2*c - v*c = 3*p - 1. Let g be (2 - 1/c)*2. Solve 0 = a - g for a.
3
Suppose -2*z = -2*a - 8, z + 5*a = a - 6. Suppose -11 - 4 = -5*d. Solve d*w - 5*w + z = 0 for w.
1
Let k be ((-4)/1)/((-6)/(-3)). Let h be 1/k*1*0. Solve -w + 1 = -h*w for w.
1
Let i(n) = n. Let y(j) = -2*j**2 - j - 2. Let o(v) = -6*i(v) - y(v). Let u(a) = -a**3 - 3*a**2 + 2*a - 5. Let d be u(-4). Let b be o(d). Solve -b*q = -q for q.
0
Suppose -2 = -4*p + 6. Solve p*d - 15 = -d for d.
5
Let w = 2 + 1. Let l = 7 - w. Suppose -l*x - x + 50 = 0. Solve 6*z - z + x = 0 for z.
-2
Let t(l) = l**2 - l + 5. Let q be t(0). Suppose q*x = x - 4. Let y be x*1*(0 + -8). Solve 3*m - 10 = y*m for m.
-2
Let d = -3 + 11. Solve -x + d = -5*x for x.
-2
Let i = -25 - -23. Let p(q) = 2*q**2 + q - 4. Let c be p(i). Solve 0 = 4*s - c - 10 for s.
3
Let z(u) = -2*u**3 - 3*u**2. Let p be z(-2). Let g = 9 - -2. Let d = 11 - g. Solve p = 4*f - d*f for f.
1
Suppose 0 = -2*f + 5*z - 2 - 11, -4*f = z - 29. Let c = -4 + 6. Solve -c*a + f = -0*a for a.
3
Let b = -8 - -10. Suppose 10 = 2*v - 3*h, -3*v + h = 2*h - 15. Suppose -17 = -v*w - 0*c - 3*c, -2*c = -5*w + 22. Solve b*m = w*m for m.
0
Let b(r) be the first derivative of 1/4*r**4 + 0*r + 5/3*r**3 + 2 + 3/2*r**2. Let n be b(-4). Solve 0 = -3*o + n*o for o.
0
Let o be 5 - (-15 + 11 + -5). Solve o = 5*i + 39 for i.
-5
Let g be (3/2)/((-8)/(-16)). Solve -2*m = 3 + g for m.
-3
Suppose 2*q - 5*q + 9 = 0. Suppose 5*i = -3*j - 9, 6*j - 3*i = q*j + 15. Suppose -60 - 15 = -3*m. Solve -m = -j*n - 3*n for n.
5
Let c(f) = f**3 - 3*f**2 + 2*f + 2. Let a be c(2). Suppose -5*w - 10 = 0, -6*o - a*w - 4 = -o. Suppose -3 = -2*x + 3. Solve o*k = -x*k for k.
0
Let n(x) = x**3 + 2*x**2 - 3*x + 1. Let j be n(-3). Solve -5*u + 6 = j for u.
1
Suppose -4*h + 8 = b, 5*b - 2*h - 16 = 2. Solve 0 = b*d - 27 + 7 for d.
5
Let o(f) = f + 25. Let i be o(-14). Solve i = 5*u - 4 for u.
3
Let d(v) = -v - 1. Let z be d(-7). Let r = -11 + 11. Let s be (z/(-4) + 1)*r. Solve 0 = -5*y - s - 20 for y.
-4
Suppose 0 = -3*d + 94 + 2. Let w = d - 17. Suppose -v = 2*v - w. Solve 0*s - v = -s for s.
5
Let b be (-1 + 0)*3/(-1). Suppose -3*r = 3*t + 7 - 25, -b*r + 2*t + 8 = 0. Solve -r = -p - 5 for p.
-1
Let z be (4/12 + 0)*45. Let m be (1 + (-1)/3)*3. Solve -y = m*y + z for y.
-5
Suppose 52 = 5*q + 17. Let t = 2 - 0. Suppose -l + q = -2*o - 2*o, 5*l = t*o + 17. Solve -l*k + 8 = -k for k.
4
Suppose 3*o + 4*w = -10, 5*o + 0*w - w - 14 = 0. Suppose -5*c + 30 = -r - 0*r, 3*c - 3*r = 30. Solve o + 3 = -c*j for j.
-1
Suppose -3*w = m + 13, 4*w - 8 = 2*m - 32. Let k(n) = -n**2 - 5*n + 4. Let b be k(w). Solve 4*s + 0 = -b for s.
-1
Let i = 14 - 5. Let c = i - 9. Suppose c = -x + 5 - 0. Solve -3*r - 7 = x for r.
-4
Let a(v) = -2*v + 2. Let g be a(2). Let p(s) = -s**3 - 2*s**2 + 2. Let i be p(g). Solve x + 1 = -i for x.
-3
Suppose 4*n = 2*y + 2*y + 8, 0 = 4*y - 2*n. Solve -y*z = -4 - 6 for z.
5
Let o = -16 - -1. Let w be o