 -4*q = u + 3 for q.
-5
Let a(x) = x + 6. Let h be a(-6). Let c(p) = p**2 + 10*p - 11. Let l be c(-11). Suppose 8 = -l*n + 2*n. Solve h*w - w = -n for w.
4
Let w = 14 + -10. Suppose x - w*b = -0*b - 17, 3*b - 21 = -2*x. Solve -x*y = 2 + 1 for y.
-1
Let m = 8 - 7. Solve 2*r + m = -3 for r.
-2
Let h = 155 - 145. Solve 8 = 2*i + h for i.
-1
Let g(h) = 5 + 1 - 5 + 0 + 5*h. Let v be g(1). Solve -v*c + 10 = -4*c for c.
5
Let d = -11 - -8. Let h be (-2)/d - 80/(-15). Suppose h = 2*x - 0. Solve -x*c + 10 = -2 for c.
4
Suppose -3*u - 585 = -6*u. Let s be u/27 - (-2)/(-9). Let a = -5 - -8. Solve a*v - 5 = s for v.
4
Let f = 37 + -37. Solve -3*n - 5 + 17 = f for n.
4
Suppose 3*r - 5*p = -5, r = -2*r - 4*p + 4. Solve r = -6*s + 2*s for s.
0
Let g(b) = b**3 + 7*b**2 + 7. Let k be g(-7). Suppose 4*n = -3*z + 12, 3*n - 4*z = k*n - 12. Solve 0 = -n*r - r + 4 for r.
1
Suppose -6*h = -h - 30. Solve 0 = -h*f + 2*f + 8 for f.
2
Let c(t) be the second derivative of t**3/6 + t**2 - 4*t. Let u = -5 - -3. Let a be c(u). Solve a = -5*r + r for r.
0
Let n = 139 + -125. Solve 0 = 5*h + 4 - n for h.
2
Suppose 2*h + 2 = 3*v, -h + 0*v + 6 = 2*v. Suppose 5*j + 29 = 4, -4*w + h*j = -14. Solve -w = -b - 0 for b.
1
Suppose -4*l + 71 = 23. Let n = -12 + l. Solve 0 = -r - n*r for r.
0
Suppose -3*h + 20 = -h. Solve -l = -6*l + h for l.
2
Suppose -4*g = 5*f - 36, 4*g - 4 = -0*f + 3*f. Solve -2 + g = -p for p.
-2
Let g(m) = -m. Let t be g(-1). Solve k = t - 0 for k.
1
Let h(n) = -n**3 - n**2 + 5*n + 3. Let l be h(-3). Let b = l + 1. Solve -b*u + 3*u = 0 for u.
0
Let i = 69 + -67. Solve s + i*s = 15 for s.
5
Let f(g) = 3*g + 1. Let u be f(-2). Let a = -2 - u. Solve -11 + 2 = a*x for x.
-3
Suppose -407 = -9*l - 2*l. Solve -5*v - 12 + l = 0 for v.
5
Suppose -3*v = -9*v + 12. Solve -v*z = z for z.
0
Suppose -3*q + 43 + 11 = 0. Suppose -3*v + 3*m = -q, 0 = 2*v - m - 3*m - 10. Suppose 0 = d - 5*d + 12. Solve g - v = -d for g.
4
Suppose -2*h + l = -5*h - 23, -34 = 4*h + 2*l. Let v be ((-15)/(-2))/(-3)*h. Solve -3*b + v = -0*b for b.
5
Let t(d) = -d + 12. Let i be t(0). Suppose 0*m = 4*m - i. Solve -1 + m = -c for c.
-2
Let p be -1 - -2 - (-72)/(-4). Let i = -17 - p. Solve i = -4*r + 6*r - 8 for r.
4
Let d(z) = -3*z - 21. Let h be d(-11). Solve -l - 3*l + h = 0 for l.
3
Let n = -54 - -20. Let h be 2/(n/(-10) + -3). Suppose 0 + h = 5*o. Solve 2 - o = -d for d.
-1
Let d(i) = i**2 - 6*i + 8. Let q be d(6). Suppose -3*p + q = -1. Let z = -19 + 28. Solve p*m + 0 + z = 0 for m.
-3
Let x be -4 + 4 - (-2 - -2). Solve -2*a = -x*a + 4 for a.
-2
Let h be 4 - (3 - -1)/2. Solve 7*w = h*w - 15 for w.
-3
Let r(w) be the third derivative of 0*w - 2*w**2 + 1/6*w**3 + 0 + 1/8*w**4. Let k be r(1). Solve 3*u - 1 + k = 0 for u.
-1
Suppose 2*k - 14 = -h - 3, -5*h = -4*k + 43. Solve -3*n - 5 = k for n.
-4
Let x(d) = d**3 - 9*d**2 + 16*d - 11. Let u be x(7). Solve -3*v + 4*v = -u for v.
-3
Suppose -48 = -7*v + 3*v. Suppose -3*t + 2*o + 8 = 0, -2*o = 3*t - 5*o - v. Suppose t = n - 3*n. Solve 5*c + 0*c - 20 = n for c.
4
Let u be -2 + (2 - -1)*2. Suppose -2*k = -u*k - 2. Let g = k - -5. Solve g*b = -b - 10 for b.
-2
Let d = -14 + 19. Solve -c - 12 = -d*c for c.
3
Let c = 45 + -114. Let j be c/(-12) + (-2)/(-8). Let q(g) = g**2 - 7*g + 8. Let b be q(j). Solve b*l = -0 - 6 for l.
-3
Let n = -5 + 7. Suppose -5*t + 17 = n. Let i be 9*((-1)/t)/(-1). Solve 0 = -2*g - 5 - i for g.
-4
Suppose -5*o + 2*t = -24, 8 = 5*o + 3*t - 6. Suppose -f + o*p = f, p = 2*f. Solve -4*g + f = 12 for g.
-3
Suppose -4*z + 60 = -5*j, 0 = 3*z + 2*j + 2*j - 14. Solve -h - z = h for h.
-5
Suppose 10*h = 2*h + 32. Solve 31 = -h*t + 11 for t.
-5
Suppose 5*z = 5 + 5. Suppose 6 = -z*q + 3*m, 3*q - 2*m - m = -6. Let o(g) = g**2 + 4*g - 8. Let d be o(-8). Solve -5*k - d - 1 = q for k.
-5
Suppose -a = -2*a + 3. Let i = a + 2. Suppose i*c + 15 = 0, -c = 2*v - 4*v + 7. Solve 0*h + v*h = 0 for h.
0
Let k(d) = -3*d - 5. Let a(s) = -2*s - 6. Let c(m) = -4*a(m) + 3*k(m). Let w be c(9). Solve 25 = 5*j - w*j for j.
5
Suppose 8 = 3*a + c + c, 2*a - 4*c = 0. Suppose v + 5 = 2*v + 3*l, -a*l + 4 = v. Solve 0 = 3*x + v*x + 25 for x.
-5
Let w(d) = d + 9. Let z be w(-7). Suppose 8 = l - 5*c - 3, z*l - 8 = -4*c. Solve 5*v + 21 = l for v.
-3
Let u be -2*6*4/(-16). Solve -4*c + 3*c - u = 0 for c.
-3
Let j(f) be the second derivative of f**5/20 + f**4/12 + f. Let o be j(1). Let i = 6 - o. Solve -a - i = -0*a for a.
-4
Suppose 5*x = -c + 4, -3*c + 12 = -3*x - 0*x. Solve -6 = c*a - 2 for a.
-1
Let q = 4 - 4. Suppose q = -6*r + 2*r + 20. Solve -r*i - 9 = 11 for i.
-4
Suppose 10 = w + 5*s - 18, s = -5*w + 20. Suppose 4 = 2*o, w*h = 3*o - 2*o + 4. Solve h*n - n - 3 = 0 for n.
3
Suppose -5*p = -7*p - 16. Let d be (-2)/p - 19/(-4). Solve 5 = 5*m - d for m.
2
Let p(h) = -2*h - 10. Let i = 54 - 37. Suppose s + i = -3*q + q, q = -s - 12. Let a be p(s). Solve -15 = -m - a*m for m.
3
Let f be (9 + -6)*4/6. Suppose k + 13 = -3*h, 2*k = -f*h - h - 11. Let g be (k/6)/(2/24). Solve -t + g = 3*t for t.
1
Let j(r) = r**2 - 5*r + 4. Let v be j(5). Suppose -3*f = -5*l + 14, -v*l + 0*l + 4*f = -8. Solve l = 3*z - 4*z for z.
-4
Let p(i) = i**3 + 7*i**2 + 5*i - 4. Let q be p(-6). Solve -4*n = -q*n - 6 for n.
3
Let l = -1 - 3. Let d be (2/2 - l) + 0. Suppose 3*o - d*r - 56 = 0, -4 = -3*r + 4*r. Solve o = u + 2*u for u.
4
Let g = 10 + -4. Suppose v + 10 = g*v. Suppose -i = -v*i. Solve a - 2 + 1 = i for a.
1
Let u(l) = -l**2 - 5*l - 2. Let g be -10*(-3)/(-15)*-2. Suppose -g*h - h = 20. Let n be u(h). Solve 0*j = 2*j - n for j.
1
Let a = -9 - -2. Let u = a - -10. Let s = 8 - 5. Solve 2*b = u*b + s for b.
-3
Let z = 26 + -19. Solve 2*x - z*x - 25 = 0 for x.
-5
Let u(f) = 0 + f**2 + 0 - 5*f - 7. Let y(j) = j**2 - 5*j - 8. Let a(r) = -4*u(r) + 3*y(r). Let v be a(5). Solve -v*d + 2*d = 10 for d.
-5
Suppose -s + 0 = -1. Solve 6 = -q + s for q.
-5
Let s be (44/2 - -3) + -3. Let d = s + -8. Suppose -4*j + 18 = -d. Solve o + 3*o + j = 0 for o.
-2
Let p be (-10)/8*(-8)/2. Solve -p*t + 10 = -3*t for t.
5
Suppose 0*t + 5*t + 5*p = 0, 2*p + 20 = 3*t. Solve 12 = t*b - b for b.
4
Let u = 12 + -10. Suppose -3*z - 5*h + 1 = -4, -u*z + 18 = -4*h. Solve 3*s - 2 = -z for s.
-1
Suppose -5 - 19 = -2*w. Suppose 18 = 5*y + y. Solve -y*b - b = -w for b.
3
Let t be ((-22)/8 - -3)*0. Solve -3*c + 0 - 12 = t for c.
-4
Suppose l - 26 = -5*w, -w - 4*w + 8 = -2*l. Suppose -l*q - 2 = -7*q. Solve 4 = -2*x - q for x.
-3
Suppose 3*l + 7*p = 2*p + 4, 0 = 2*l + p - 5. Solve 2 + 1 = -l*d for d.
-1
Suppose -6 = -3*z + 6. Solve -z*g = -3*g - 5 for g.
5
Suppose d - 2*h - 18 = 0, 3*h - 5*h - 42 = -4*d. Solve -5*f + f - d = 0 for f.
-2
Let q be (-2)/(-3)*378/12. Let z be (-6)/q + 214/14. Let a = -4 - -9. Solve 0*o + a*o - z = 0 for o.
3
Let w(a) = -a**2 - 17*a - 16. Let p be w(-16). Let x = -8 - -26. Suppose p = 3*y + 3 - x. Solve y = -4*i + 3*i for i.
-5
Let u = -214 + 220. Let z = -3 + 8. Suppose v + 2 = 4*x, z*v + 2*x - 7*x = 5. Solve t + u = -v*t for t.
-2
Let x be (12/10)/((-3)/(-10)). Solve x*b = -2*b + 12 for b.
2
Let h(x) = -x**2 - 14*x - 16. Let d be h(-12). Let c = 7 - 4. Let s be 1/(-3) + 10/c. Solve 7*m - d = s*m for m.
2
Let z(x) = x - 1. Let p be z(-2). Let t(h) = -h**2 + 2*h + 6. Let v be t(3). Let k = p + v. Solve k = 3*a + 9 - 0 for a.
-3
Let i be 2/6 + 183/(-9). Let s be 3/((-2)/i*2). Solve 4*d = -d + s for d.
3
Let o(a) = a**3 - 4*a**2 + 4*a - 2. Let y be o(3). Let b = y - 3. Let m be ((-3)/b)/(6/16). Solve -m = 2*l + 2 for l.
-3
Suppose 0 = -3*z + 2*z + 3*g + 9, z = -4*g - 5. Solve -z = 4*q - 15 for q.
3
Let p = 119 + -174. Let z = -33 - p. Suppose -z + 2 = -4*s. Solve -s - 1 = 2*j for j.
-3
Suppose 5*g - 20 = r - 3, r - 3*g = -9. Suppose 4*d = 23 - 7, -5*d + 2 = -r*i. Solve -3*m - i = -m for m.
-3
Let u = 1 - -1. Suppose -4*l = 3*s - 8, u*s = -5*l - 0*l + 10. Suppose -4*t = 2*r - 14, -4*t - r + 17 = -s*r. Solve 12 = -t*a + 2 for a.
-2
Suppose -2*p = -p - 2. Let b be 2 - (p - 0) - -4. Suppose 3*a = -2*m + 15, 2*m - 4*a + b + 16 = 0. Solve o + m = -4 for o.
-4
Let x(d) = -d + 16. Let v be x(13). Solve -1 = -4*s + v*s for s.
1
Suppose g + 6 = 4*g. Suppose -6*r + 16 = -g*r. Solve -r - 2 = -2*p for p.
3
Let m = 4 + 1. Solve -25 = -m*w - 0*w for w.
5
Suppose 2*v - 5*m - 19 = 2, 0 = 4*v - 5*m - 37. Solve -5*b + v = -7 fo