 0 = -4*x + a + 13 for x.
5
Suppose 0 = -5*t + 2*g + 51 - 10, 0 = 4*t + g - 38. Solve 8 = -5*z + t*z for z.
2
Let r(o) = -o**3 + 4*o**2 + 2*o - 6. Let q(c) = c**2 - 7*c + 4. Let k be q(7). Let u be r(k). Solve u*b + 2*b = 4 for b.
1
Let m(p) = p + 10. Let n be m(-5). Suppose -n*g + 2*g = -15, g = -3*u + 17. Let z = 8 - u. Solve -8*y = -z*y for y.
0
Let t = -5 - -5. Suppose 2*o - 12 = -2*n - 2, t = o + 3*n - 5. Suppose o*q - q - 8 = 0. Solve -q = -4*c - 18 for c.
-4
Let g = -4 + 2. Let c be (4/10)/(g/60). Let n = -6 - c. Solve -n*v + v = 10 for v.
-2
Suppose 0 = 5*b - 0*b - 100. Solve -z - b = 3*z for z.
-5
Suppose 33*v - 61*v = -31*v. Let g(l) = l**3 + 3*l**2 - 5*l - 2. Let j be g(-4). Solve 0 = -v*u + j*u for u.
0
Let m(d) = -d + 6. Let c be m(4). Suppose -16 = c*k + 2*k. Let n be (-18)/(-4) - k/(-8). Solve 0 = -4*j - 0 + n for j.
1
Let z(f) = -f**3 - f**2 + f + 8. Let d be z(0). Suppose -5*u - d = -23. Let t = 20 - 20. Solve t = 3*x + u - 0 for x.
-1
Let n = -35 - -37. Solve 6 = s + n for s.
4
Suppose 4*p - 4 = -3*j, 5*p - 4*j = 14 + 22. Solve p*f - 3 = 1 for f.
1
Let p be 3 - (1 + (-2)/1). Suppose 3*h - p = 2. Solve 20 = 2*y + h*y for y.
5
Let r(z) = -z**2 + 4*z + 5. Let o be r(5). Suppose -3*f - 37 = -4*w - 10, 16 = 2*w - 2*f. Solve o + 3 = -w*q for q.
-1
Let v(q) = -q**3 + 7*q**2 - q + 6. Let w be v(7). Let b(i) = -1 - 2 - 4*i + 1 + 3. Let t be b(w). Solve 0 = t*r - r - 12 for r.
3
Let m(u) = u. Let s be m(5). Suppose 26 = 5*q - d, -s*q - 3*d - 15 = -37. Solve 0*p + 20 = q*p for p.
4
Suppose 0*f = -5*f. Let a = 2 + -2. Let u = f + a. Solve -8*w + 3*w - 25 = u for w.
-5
Let x be 166/(-8) + (-1)/4. Let t = 31 + x. Let c be (-10)/(-3)*12/t. Solve 0 = c*f + 12 + 4 for f.
-4
Let x be -1 - (-2 + (-1 - -2)). Suppose -9*q + 24 = 24. Solve x*f + f + 2 = q for f.
-2
Let g(q) = 2*q - 5*q**3 - 2*q**2 - 2 + 1 + 21*q**3. Let s be g(1). Suppose 6 + 2 = 2*a. Solve -7*r + s = -a*r for r.
5
Let i = -3 + 13. Solve -5*l + 5 = i for l.
-1
Let j(a) = a**3 + 12*a**2 - 16*a - 39. Let o be j(-13). Solve 0 = 3*c - 12 - o for c.
4
Let x(u) = u**2 + 13*u - 9. Let s be x(-14). Solve -s = 2*t - 1 for t.
-2
Suppose -7*z + 3*z = -24. Suppose 0 = -3*o + 5 + 1. Let d be 2*(o + 0 - -3). Solve q = z*q + d for q.
-2
Let q = 4 + -2. Suppose -q*u - 10 = -30. Let l be ((-6)/(-7))/(2/14). Solve -l*s + s = u for s.
-2
Let q = 18 - 11. Let r be 4/6*(-3)/1. Let o be (3/r)/(6/(-8)). Solve 3 = o*d - q for d.
5
Let k(r) = -r**3 + 5*r**2 - 4*r. Let p be k(4). Solve -t + 2*t - 3 = p for t.
3
Let k(g) be the first derivative of g**4/4 + g**3 + 2*g - 1. Let q be k(-3). Solve -y = q*y + 6 for y.
-2
Let a = 20 + -19. Solve 2*l + 5 = a for l.
-2
Let t = 3 - 3. Suppose -2*g = -t*g - 8. Suppose 0 = -3*h - 5*l + 7, -12 = -h - h + g*l. Solve h*u - 12 = u for u.
4
Let x(r) = 3*r**2 + 2*r + 1. Let l = 1 - 3. Let j = l + 1. Let t be x(j). Solve t = 3*f - f for f.
1
Let o = -22 + 24. Suppose z = 1 - 0, o*w + 1 = 5*z. Solve w*r = 5*r for r.
0
Suppose -2*h = 2*h + y - 12, 0 = -5*y - 20. Suppose -f = -3*p, 2*p = -h*f - p. Solve 3*o = -f*o - 15 for o.
-5
Let d(r) = 2*r**2 + 3*r + 3. Let m be d(-3). Solve 0*p - m = -4*p for p.
3
Suppose 4*q = 7*a - 2*a + 23, -22 = 4*a - 5*q. Let g(h) = h**2 + 3*h + 2. Let t be g(a). Solve 3 + 3 = -t*j for j.
-3
Suppose 2*m - 2 = 2. Let v = 10 - 3. Suppose -5*q + 20 = 5. Solve m*d + q = v for d.
2
Let i be 0 - (-22 + 1 + 0). Suppose 29 = 3*b - 4*v, -51 + 28 = -b + 4*v. Solve -b*y = -6 + i for y.
-5
Let q be 86/(-18) + (-10)/45. Let z be (-3)/(-15) - (-1)/q. Solve z + 5 = -h for h.
-5
Let z = -4 + 7. Let x(c) = c**2 - c + 2. Let a be x(0). Suppose 5*b - 3*y = 0, y = -a*b - 0*b. Solve b = z*s - 3 for s.
1
Let z be 7 + 0/((-5)/((-10)/(-4))). Solve 0 = -3*m + z - 1 for m.
2
Suppose 9 = -5*i - 4*t - 9, 4*t = 3*i + 30. Let k(s) = 7*s. Let a(o) = -20*o - 1. Let f(b) = -6*a(b) - 17*k(b). Let y be f(i). Solve -6 = 3*g - y for g.
-2
Let t(k) = k**2 - 4*k - 10. Let u be t(6). Solve -3*a - u = 13 for a.
-5
Let k be ((-1)/(-1) - -1) + -1. Let b be (-33)/(-3) + 1/k. Solve 0 = 5*a + b + 13 for a.
-5
Let w(i) = i**3 - 3*i + 2. Let l = 2 - 0. Let k be w(l). Solve -6*g = -k*g for g.
0
Let k = -105 - -107. Solve k*i - 3 - 1 = 0 for i.
2
Let f be (-8)/(-2) - 1*-1. Suppose 4*g = -0*g + 700. Suppose g = f*y + 55. Solve -4*p - 4 + y = 0 for p.
5
Suppose 5*d - 25 = -0*d. Suppose 3*b + 2*q - 32 = -0*q, -4 = -3*b + d*q. Solve 12 = 5*g - b for g.
4
Let d(y) = 3*y - 6. Let p be d(4). Suppose -2*t + 5 + 1 = 0. Let r = -9 + 9. Solve 0 = t*x - p - r for x.
2
Let w(s) = -s**2 + 7*s - 4. Let q be w(6). Solve -3*z = q - 14 for z.
4
Suppose 3*w - 2 = 4. Solve 3 = -w*s + s for s.
-3
Let s(i) = -4*i - 9. Let y be s(-6). Suppose 4*p - y = 5. Solve 0 = p*v - 2 + 17 for v.
-3
Let j = -11 - -11. Suppose 2*i + j = 5*u - 17, 4*u - 17 = 5*i. Solve -6 = 3*b + u for b.
-3
Suppose -3*f = -2*s + 12, -2*s = 3*s. Let m(o) = o**2 + 2*o - 5. Let l be m(f). Solve 0*q = 3*q + l for q.
-1
Suppose -3*g - 3*n = -39, -g - 51 = -5*g - 5*n. Let f = g - 10. Suppose -24 = -3*b + 2*b + 5*z, 4*z - 24 = -f*b. Solve -4*j = -b*j for j.
0
Let j(o) = o**2 + 2*o - 1. Let y(t) = t**2 + 7*t - 7. Let u be y(-8). Let i be j(u). Solve -n + 6 = i*n for n.
2
Suppose -5*t + 0*x + 2 = x, -4*t = 4*x - 8. Let k = -1 - t. Let w be (-3 - -1) + (1 - k). Solve w*f = -f - 1 for f.
-1
Let v(j) = j**2 + 5*j - 21. Let p be v(-8). Solve 0 = -q - p + 2 for q.
-1
Suppose 7 = -5*g + 22. Let j = 9 + -5. Let d = 4 - j. Solve d = -3*a - g - 0 for a.
-1
Suppose -4*k + 5 + 15 = 0. Solve -k*s - 16 + 1 = 0 for s.
-3
Let o(y) = -y**3 + y**2 + 4*y - 2. Let m be o(3). Suppose 2*g + 5*v = -1 + 5, 0 = 3*g + 5*v - 16. Let h = g + m. Solve -h*f - 25 = f for f.
-5
Let z be (0 + 0)*(-22)/22. Solve -2*q - q + 9 = z for q.
3
Suppose 0 = 3*y + 2*y. Suppose 0 = 7*f - 2*f. Let z = y - f. Solve 4*h + 9 + 3 = z for h.
-3
Let t = 21 + -17. Solve -c = c - t for c.
2
Let y be -4 - (-1 + 2)*1. Let d(s) = -s**3 - 5*s**2 + 4. Let x be d(y). Suppose x = 5*f - 11. Solve 8 = r + f*r for r.
2
Let w(o) = 7*o**2 + 2*o - 1. Let q be w(1). Suppose -4*x - q*l + 3*l = 36, 4*x + 8 = 2*l. Let s = -1 - x. Solve -s*j - 8 = -2 for j.
-2
Let y = 4 + -4. Suppose y*x + 3*x - 6 = 0. Suppose -2*h + x + 2 = 0. Solve -1 = -h*k + 5 for k.
3
Let q(f) = -f**3 - 13*f**2. Let l be q(-13). Solve -4*s - s = l for s.
0
Let w = -6 - -8. Let o = w + -1. Solve 3*l - 13 = -o for l.
4
Suppose 3*f = k - 9 + 1, -f + 19 = 4*k. Suppose 23 = -k*d - 12. Let p = -4 - d. Solve p*r - r + 8 = 0 for r.
-4
Let b(y) = y + 4. Let i be b(-4). Suppose -m - 2 = 0, -6 = -2*u - m - 0. Suppose -u*k - 3*g + 15 = i, 0 = 4*k - 3*g - 0*g - 9. Solve -5*a - 2 = k for a.
-1
Suppose 2*w + 8 = 2*j - 22, -4*j + 45 = w. Let m(r) = r**2 + 6*r + 9. Let k be m(-8). Let l = k - 22. Solve j = -5*d - l for d.
-3
Let b be ((-30)/35)/((-2)/14). Let f be (2 - (-2 + b))*-1. Solve 8 = -f*g + 2 for g.
-3
Let n(q) = q**3 + 6*q**2 + 7*q + 4. Let t be n(-5). Let k = -89 - -128. Let v be ((-20)/t + -3)*k. Solve 0 = -4*w + 3 + v for w.
4
Suppose -3*k + 7 - 16 = -5*v, 3*v - 13 = -2*k. Suppose -k*d + 3 = -3. Solve 3*a + 0 = -d for a.
-1
Let u(t) = -t**2 + 14*t + 14. Let d be u(15). Let o be (-18)/6 - (-4 - d). Solve a + a - 10 = o for a.
5
Let p = -5 - -5. Suppose f + p*f = 0. Solve 2*a - 3 - 1 = f for a.
2
Let j(r) = -5*r**3 - 2*r + 1. Let m be j(1). Let u = m - -8. Solve -u*d - 9 = d for d.
-3
Let s(q) be the first derivative of q**2/2 - 8. Let a be s(4). Solve -a*c + c = 0 for c.
0
Suppose -2 - 2 = -4*b. Solve 4*a + 19 + b = 0 for a.
-5
Suppose -3 + 11 = 2*u. Solve -u*v + 2 - 18 = 0 for v.
-4
Suppose 0*u - 5*u + 30 = 0. Suppose 16 = -2*q - 2*h + 42, -47 = -3*q + h. Let k = -66 - -69. Solve u*f = k*f - q for f.
-5
Suppose -3*i + 30 = 2*i. Let g = -3 + i. Suppose 0 = 6*z - 2*z. Solve g*h + 0 - 6 = z for h.
2
Let y be ((-5)/4)/(2/8). Let v = y + 8. Suppose z - 3*z = -10. Solve z = 4*o - v for o.
2
Let x be 26/169 + (15/(-13) - -1). Solve c + 3*c - 8 = x for c.
2
Suppose 6 = 2*b - 2. Solve 12 - b = -2*t for t.
-4
Let q(g) = 2*g**2 + 2*g - 2. Suppose -4*d = 5 + 3. Let t be q(d). Let a = 145 + -141. Solve t*c - a = -0 for c.
2
Suppose -6*a + 3*a + 18 = 0. Let r = -155 + 157. Solve 14 - a = r*k for k.
4
Let g = 5 + -2. Suppose 2*k = 11 + g. Let s = -4 + k. Solve 0 = s*u - 3