h*c - 14 for c.
-2
Let x = -6 - -6. Suppose 2*u + u = x. Solve 2*t - t + 4 = u for t.
-4
Let o be 3/(-12) - 4/(-16). Solve -h + 2*h + 3 = o for h.
-3
Suppose 5*q - 3*q + 42 = 0. Let l = 31 + q. Solve -2*s = 3*s - l for s.
2
Let l = -3 - -11. Solve 0*j + 4*j = -l for j.
-2
Let n(g) = g**3 + 6*g**2 + 4*g - 1. Let s be n(-5). Suppose -s = -2*j + j. Suppose -3*q + j = -8. Solve -w + q = w for w.
2
Let z(x) = 4*x + 1. Let b be z(1). Suppose 2*j = b*j + 3. Let n be (-2 + 13 + j)/1. Solve -w - 4*w = -n for w.
2
Suppose a = -2*a. Let i be 6/4*(a + 2). Solve -i*y = 4 + 5 for y.
-3
Let m = -9 - -14. Suppose 3*t = m*k, 7*k - 2*k = 4*t. Let u = 0 - t. Solve 4*p - 8 + 20 = u for p.
-3
Suppose 4*q - 4*u = 22 + 2, 5*u + 3 = -4*q. Suppose -3*x = q*m - 6, -6*x + x + m - 2 = 0. Suppose -4*y = -x*y. Solve n + 1 + y = 0 for n.
-1
Let j = 2 + -1. Let h be -6 + 11 + (0 - 1). Suppose -c - 2 + h = 0. Solve -a - c = j for a.
-3
Suppose -12 + 108 = 8*f. Suppose 5*m - j = 4, -3*m = j - 2*j - 4. Suppose 5*y - r + 0 - 8 = m, 16 = 4*y + 4*r. Solve f = -y*i - i for i.
-4
Let j = 16 - 14. Solve 2*m = 12 - j for m.
5
Let k(r) = 5*r**3 + 2*r**2 - 3*r + 2. Let w be k(1). Let c be (-1)/4 + 130/8. Suppose n + c = 5*n. Solve -w - 14 = -n*h for h.
5
Let h be (-4)/(2/(-16)*2). Solve -a + h = 3*a for a.
4
Suppose 2*g - 7*g + 15 = 0. Let r be 7/4 - 1/(-4). Solve g*x + r = x for x.
-1
Let f = 23 - 21. Suppose 5*w + f*b - 30 = 0, -3*b + 9 = -6. Solve s + w = 2*s for s.
4
Let y be 0 - 8/(1 + -3). Solve 6 = y*w - 7*w for w.
-2
Suppose 4*y - 5*y = -4. Let u(s) = s + 9. Let o be u(-6). Let t be o/(-12) - 2/(-8). Solve t = y*f - 8*f + 12 for f.
3
Suppose -4*w = -2*w - 5*r + 5, -4*r = -2*w. Solve -w = -b + 3*b for b.
-5
Let z(s) = -s + 14. Let j be z(12). Solve 0 = j*a - 0 + 2 for a.
-1
Let h = 11 - 6. Suppose h*s - 60 = -3*w, 13 = 2*w + 3*s - 27. Solve 0*o + w = -4*o for o.
-5
Suppose 2*t - t - 14 = -4*p, 3*p - 1 = 4*t. Suppose 3 - 1 = -4*h + 2*z, -3*z = h - 17. Solve h = n - t for n.
4
Let i(f) = -f**3 + 5*f**2 + 6*f. Let u(r) = 5*r + 1. Let q be u(1). Let y be i(q). Suppose h + y = 4. Solve -h*c = -c for c.
0
Suppose -107 = 4*c - 123. Solve w + c = -w for w.
-2
Let l be 1/3 + (-11)/33. Suppose q - 3 = -3*a + 19, l = 4*q + 20. Solve 24 - a = -3*y for y.
-5
Suppose 3*t = -7 - 5. Let a be t/(-3 + 5/2). Solve -b - b = -a for b.
4
Suppose 96 = 2*s - 32. Let y be 4/20 - s/(-5). Solve -5*m + 2 = -y for m.
3
Let y = -7 - -12. Let j be y/(1 - 0/(-3)). Solve -w + j*w = 16 for w.
4
Let i be -2 + 28/20 + (-6)/(-10). Solve -5*z + 14 + 6 = i for z.
4
Suppose -3*q = -3*b + 20 + 13, 3*b = -3. Let n = q - -12. Solve -9 = -3*k - n for k.
3
Let o(z) = 0*z - 4 - 2*z - 3*z + z**2. Suppose -3*h = -h - 12. Let j be o(h). Solve 3 = -j*u - 3 for u.
-3
Let a = 13 + -6. Solve -5*h + 8 = -a for h.
3
Let k be (1/3)/((-2)/(-42)). Let b(v) = -v - 3. Let x be b(-3). Solve -2*o + k*o + 25 = x for o.
-5
Suppose 0 = -2*j + 7*c - 2*c + 6, -4*c + 3 = j. Solve j*x - 8 = x for x.
4
Suppose -4*r - 110 = r. Let l be (-140)/44 - 4/r. Let a(g) = -g + 1. Let z be a(l). Solve 2*q - 4*q = z for q.
-2
Suppose -3*h = -y - 7, -4*y + 5*y - 11 = -3*h. Solve -3*a = y*a for a.
0
Suppose c - 5*l - 33 = -4, -25 = 5*l. Solve c*u = 2*u for u.
0
Let i be -2 - -4 - (-2 + 10). Let b be (-88)/(-33) + 4/i. Solve 0 = b*f + f + 15 for f.
-5
Let i be 1*(26 - (1 - 0)). Suppose 17 = 3*u - 13. Let r = u + -4. Solve -r*o = -o + i for o.
-5
Suppose -2*o + 0 = 8. Let h = -2 - o. Solve 0 = -0*q + 2*q - h for q.
1
Suppose -4*u = -3*n + 5 - 22, 5 = 5*n. Solve 0 = w + 4*w + u for w.
-1
Suppose 0 = 5*t - 0*t - 75. Solve 0 = i + 4*i - t for i.
3
Let r(b) = -4*b**2 - 1. Let y be r(-1). Let k = y + 5. Solve h + h + 10 = k for h.
-5
Suppose 4*r + 0 - 20 = 0. Suppose -3*m - 1 = 2. Let w = m + 1. Solve -5*x = -w*x + r for x.
-1
Let v be (1 - -5)*1/3. Let j be (-1)/((-21)/(-12) - v). Solve -j = -g - g for g.
2
Let x(h) = -h**2 + 10*h - 7. Let a be x(10). Let c = a - -12. Let v = c + -3. Solve -5 = -v*u + 1 for u.
3
Suppose -37 = m - 5*c, -2*c + 44 = -2*m + 2*c. Let y = m - -18. Let n be 6/(-4)*42/(-9). Solve n*d - 4*d + y = 0 for d.
-2
Suppose 0*o + 19 = -2*a + 5*o, -a + 4*o = 17. Solve c = -a*c for c.
0
Suppose -2*p - 5 = -1. Let s be (-20)/(-8) - (-1)/p. Solve -s*v - 6 = 2 for v.
-4
Let i = -134 + 150. Solve -i = -2*h - 6 for h.
5
Let b(l) = 2*l - 8. Let k be b(6). Let n = -2 + k. Solve -n = -c - 1 for c.
1
Let u(h) be the third derivative of -h**4/12 - 2*h**3 + h**2. Let g be u(-8). Solve 0 = -0*l + l - g for l.
4
Let i be 1/((4/1)/8). Solve 2*a = -i*a - 12 for a.
-3
Let c = 21 - 16. Suppose 0 = -5*j + m + 1, 5*m + c = -0*j + j. Solve -5*k - 15 = -j*k for k.
-3
Let u = 31 - 19. Let l(o) = -6*o + 6. Let b(h) = -5*h + 5. Let z(v) = -5*b(v) + 4*l(v). Let j be z(4). Solve -3*n + u = j for n.
3
Let g = -6 + 8. Suppose -2*m + g*r + 14 = 0, -5*m + 0*r + 21 = 2*r. Solve m*y + 5 = -0*y for y.
-1
Let k(s) = s + 25. Let l be k(-20). Solve 16 = -b + l*b for b.
4
Let b = 71 - 65. Solve 0*d = -3*d + b for d.
2
Let x(c) = c - 2. Let a be x(8). Let s be (1/(-2))/(a/48). Let g be 13/4 + 1/s. Solve -g*y - 8 = 4 for y.
-4
Suppose w - 2 - 9 = 0. Suppose -w + 31 = s. Solve 0 = -3*t + 8*t - s for t.
4
Suppose 8*r = -4*d + 3*r + 3, -d = -4*r - 6. Let f be d/(-7) - (-48)/21. Solve 5 = -f*q + 7*q for q.
1
Let s(x) = -x**2 - 4*x + 7. Let p be s(-5). Let q(j) = -j**3 - 9*j**2 - 7*j + 6. Let n be q(-8). Let a be (n - (-2 + 1)) + 4. Solve -a*b + p*b - 5 = 0 for b.
-5
Suppose -m + 4*b - 19 = -2*m, -2*m + 2*b - 2 = 0. Solve 5*o + 2 = -m for o.
-1
Suppose g - 12 = -5*g. Let d(t) = -t**3 + 4*t**2 + 4*t + 1. Let r be d(5). Let a(w) = -w**3 - 3*w**2 + 5*w + 6. Let h be a(r). Solve -h*v = -6 - g for v.
4
Suppose 45*f + 4 = 47*f. Solve -f*d = d for d.
0
Suppose -3*a - 5*n = -5, 5*a - 13 - 22 = 5*n. Solve -a = 3*q + 7 for q.
-4
Let w be (50/(-15))/((-6)/9). Solve 0 = -w*y - 6 + 1 for y.
-1
Let p(w) = -3*w - 5. Let k be p(-4). Solve -k*g = -2*g + 20 for g.
-4
Suppose -6 = -3*f - 5*v + 28, 2*f + 3*v = 21. Solve f = -g - 2 for g.
-5
Suppose -2*z + 4*x + 30 = 0, x = 3*z - 47 + 2. Suppose -3*t = r - z, 5 = -5*r + 3*t + 26. Let u = -4 - -7. Solve -u*p + 0*p = -r for p.
2
Let q be 20/9 + (-30)/135. Suppose 10 = -5*i - q*j, -i + j = -0 - 5. Solve i = 4*m + 9 + 3 for m.
-3
Suppose -6*b = b - 0*b. Solve b = -0*h + 5*h for h.
0
Let a be 8 - 4/((-8)/(-10)). Solve a*f - f = 0 for f.
0
Let v be ((-2)/(-3) - 0)/((-1)/(-6)). Solve 3*s = v*s + 5 for s.
-5
Suppose -55 = -5*w + 3*f, w - 19 - 9 = 4*f. Solve -w*j - 25 = -13*j for j.
5
Let c be (-24)/48 - 3/(-2). Solve 0*l = -l + c for l.
1
Let s(w) = w**3 - 3*w**2 - 2*w - 4. Let z be s(4). Solve -z*f - 10 + 2 = 0 for f.
-2
Let u = 18 + -12. Suppose u*n = 49 - 19. Solve -3*h + n = -8*h for h.
-1
Let x(s) = -3*s**3 - 10*s**2 + s + 7. Let w(t) = 41*t**2 - t - 3 - 25 + 13*t**3 - 3*t. Let d(r) = -2*w(r) - 9*x(r). Let v be d(-8). Solve 14 + v = 5*i for i.
3
Suppose -22 = 11*z - 88. Solve -l = -z*l for l.
0
Let c be -2 + 6 + (6 + -4)*-2. Solve c = 3*p - 0*p for p.
0
Let f(i) be the second derivative of -i**3/6 - 3*i**2/2 + 5*i. Let b be f(-4). Solve 7 - b = -2*c for c.
-3
Let o(x) = -16*x. Let q be o(-1). Let l = -13 + q. Suppose -5*n + 3 + 28 = 3*i, -2*n + 12 = i. Solve n*a - l*a = 4 for a.
2
Let g(i) = -i + 6. Let m be g(7). Let n be (1/3)/((-1)/3). Let x = n - m. Solve -5*u + x*u + 20 = 0 for u.
4
Let d(v) = -v**3 - 3*v**2 - 3*v - 3. Let j be (-2 - -1)*(-1 + 4). Let t be d(j). Let x be (-3)/(-1) - (3 + -3). Solve t = g + x for g.
3
Let b(t) = 2*t - 4. Let w be b(6). Suppose -2*v = -0*v - w. Suppose 0 = -y - v*y. Solve y = -x - x + 2 for x.
1
Suppose -44*x + 48*x = 8. Solve 2*n - 2 = x for n.
2
Let w be ((-8)/(-12))/(4/30). Solve 0 = w*s + 19 - 4 for s.
-3
Let g be 1*4/3*(-39)/(-26). Solve -x - g = -2*x for x.
2
Suppose 4*a = 24 - 0. Let o = a + -2. Solve 5*s + o = 19 for s.
3
Let y(a) = 3*a - 8. Let b be y(6). Let r(d) = -d**2 + 7*d + 22. Let i be r(9). Solve i*j + b = -j for j.
-2
Suppose 5 = 4*v - q - 2*q, 0 = -5*q + 5. Solve -z + 3*z - v = 0 for z.
1
Let o(l) = -l - 1. Let b be o(-3). Suppose -k - 3*c - 15 = 0, 20 = k - b*c - 2*c. Suppose k*y - 3 = -y. Solve 2*a - 15 = -y*a for a.
3
Let r(v) = -v**3 + 7*v**2 - 6*v - 2. Let l be r(6). Let a be 1/2*l - -5. Let i = 10 + -10.