- 36 = w, 0 = -4*v - v + j*w + 60. Solve -4*b + b = v for b.
-4
Let m(h) = 2*h**2 - h + 3. Let p be m(2). Solve -p*j = -4*j for j.
0
Let b be (-3)/9*-21 - 4. Suppose 0 = 3*p - b - 3. Solve 7*u = p*u - 15 for u.
-3
Let t(i) = -i**2 + 4*i - 2. Let u be t(3). Suppose -u = -j + 2. Suppose -18 + 2 = -4*k. Solve l + j = k for l.
1
Let q(p) = p**3 - 11*p**2 - 12*p + 2. Let i be q(12). Solve i*b - 1 = 3 for b.
2
Let o(z) = 7*z**2 + z + 1. Let m be o(-1). Suppose -8*j + m = -7*j. Solve -8 = -3*r + j for r.
5
Suppose 0 = 2*j - 0*j. Suppose 0*m = -2*m. Solve -2*n + j*n + 10 = m for n.
5
Let d be 34/8 + (-1)/4. Suppose -d*f - 1 + 17 = 0. Suppose 0 + f = 4*v. Solve -r + v = -2 for r.
3
Suppose -y = -8 - 11. Solve -4*q - y + 3 = 0 for q.
-4
Suppose -5*o + 4 + 1 = 0. Let j be (o + -5 - -1) + 3. Solve j*i = -i for i.
0
Suppose 0 = 2*i - 3*l + 6, -4*i + 2*l - 6 + 2 = 0. Let b(f) = -f**3 + f**2 + 2. Let o be b(i). Let k be o + (-1 - 1) - -2. Solve -k*r + 5 - 1 = 0 for r.
2
Let v(l) = l**3 + 4*l**2 + l - 4. Let n be 3*1/2*-2. Let f be v(n). Suppose -j + 2*a - 4 = 0, -6*j + 16 = -j - a. Solve 2*w + j = -f for w.
-3
Let k = 6 + -2. Let r be 3 - (k - 15/3). Solve 20 = -r*d - d for d.
-4
Let o be ((-62)/(-6) - 2)/(7/21). Solve -4*i + o = i for i.
5
Let h(y) be the second derivative of -y**4/12 - 2*y**3 + 5*y**2 + y. Let b be h(-10). Let d be b/8 - 2/(-8). Solve d = 3*g + 16 for g.
-4
Suppose -7*v + 39 = -94. Solve -k = -v + 23 for k.
-4
Let k = 13 - 8. Solve -k*b + b = -12 for b.
3
Let z be (2 + -5)*(-4)/3. Suppose 0*r = 3*r. Suppose r*h = 4*h - 16. Solve z + h = 2*b for b.
4
Suppose w - 3*k = 6*w + 18, 4*k = 5*w + 11. Let v be 2/(-6)*w + 0. Solve 0 = 3*p + 2 + v for p.
-1
Let i = 24 - 6. Let h be 40/i + (-6)/27. Let p be 1 - (-1)/2*h. Solve 6 = p*m + m for m.
2
Suppose 3 = 5*p - 2. Let b be -3 - (p - (0 + 6)). Solve b*d - 6 - 2 = 0 for d.
4
Suppose 0 = -3*w + f + 10, -4*f - 8 - 11 = -5*w. Solve -2 = -w*o + 1 for o.
1
Let m = 3 - -3. Solve 5*c - 2*c = m for c.
2
Suppose 0 = -9*q + 4*q + 50. Suppose 2 = -f + q. Solve -f = -7*d + 3*d for d.
2
Suppose 11*d = 9*d + 32. Suppose 5*i - d = -3*f - 0, 3*f = 2*i + 2. Solve -3*o - i*o = 15 for o.
-3
Let l(j) = j**2 + 3*j - 3. Let k be l(3). Suppose -k = -3*i - 0*i, 4*n - 5*i + 17 = 0. Solve 3*u - n + 11 = 0 for u.
-3
Let q = -9 - -12. Solve 1 - 7 = q*m for m.
-2
Suppose 5 + 9 = -2*b. Let v = b + 9. Solve -5*w + v = -3 for w.
1
Let d be (6/21)/(5/175). Solve -4*w = -9*w + d for w.
2
Suppose -2*w + b + 52 = 0, -4*w + b = -6*w + 48. Solve -3*v = 2*v - w for v.
5
Suppose 3*b = -8 + 11. Solve 4*i - b = -9 for i.
-2
Suppose 0 = h + h. Suppose 2*i + 4 = 8. Suppose 0 = -4*l + d + 17, -i*l - l + 3*d + 15 = 0. Solve l = -2*a - h for a.
-2
Suppose 8 = 4*l - 0. Solve -s = -l*s + 2 for s.
2
Let l = 13 - 8. Suppose -d - 25 = -0*d + 5*i, 5*d + l = -i. Solve 0*u + u = d for u.
0
Suppose -4*n - h = -266, -3*n - 69 = -2*h - 263. Let w = -41 + n. Solve 0 - w = -5*l for l.
5
Suppose -w + 2*c = -20 - 18, -90 = -2*w - 3*c. Let x be (w/(-5))/(4/(-10)). Let v be -5*(x/15 - 2). Solve v*h = -2*h for h.
0
Let b = -9 + 4. Let p be ((-10)/4)/b*4. Suppose 4*g - 44 = -u, -5*g = -2*g - 4*u - 33. Solve p*a = 1 - g for a.
-5
Suppose -i - 8 = -0*k - k, -3*k = -i - 16. Suppose 0 = -y + 4*f + 8, -k*y - 4*f - 1 + 13 = 0. Solve -y = 2*m - 0*m for m.
-2
Let y(u) = u**2 + 2*u - 5. Let z(h) = -h**3 - 4*h**2 + h - 5. Let b be z(-4). Let i = b + 5. Let t be y(i). Solve -c = -2*c + t for c.
3
Let m(l) = -l + 13. Let s be m(4). Solve -s = 2*y - 3 for y.
-3
Suppose 2*x = -0*x - 12. Let h = -23 + 33. Let m = h + x. Solve 3*p = -2 - m for p.
-2
Let c be (0 - -3)/((-6)/(-4)). Let l = 148 + -143. Solve -l*j = 13 + c for j.
-3
Let w(l) = 2*l**2 + 9*l + 7. Let a be w(-6). Suppose 5*z + a = 0, 0*z - z = f. Solve 12 = -f*c - 13 for c.
-5
Let j(w) = w**2 + 4*w + 1. Suppose 0 = 5*m + 21 - 1. Let l be j(m). Let t be (0/l)/(-1 - -2). Solve h + 0*h = t for h.
0
Let l = -111 + 117. Solve -2*k + l*k = 20 for k.
5
Let n(u) = 7*u**2 + 3*u - 2. Let o be n(2). Suppose o = -5*s + 3*m, 0*s + 5*m = -5*s. Let f be (-16)/10*10/s. Solve -f*d - d = -5 for d.
1
Let s(o) = -o**3 + 7*o**2 - 8*o + 4. Let d be s(6). Let m be 2/8 + (-14)/d. Solve -8 = -2*n - m*n for n.
2
Suppose 2*m - 12 = -m. Solve r = -r + m for r.
2
Let w be -6 + 5 + 11*1. Let g be w/4*(-16)/(-10). Let t = 4 - g. Solve -6*u + 3*u = t for u.
0
Let d(m) = 7*m**2 + 3*m + 3. Let a be d(-2). Suppose -6*h + a = -h. Let v(b) = b**3 + 8*b**2 - 10*b. Let k be v(-9). Solve h*u - k*u - 4 = 0 for u.
-1
Let m be (-6 - -7)/(1/13). Let o be 13/m + (-11)/(-1). Solve 7*u + o = 3*u for u.
-3
Let x = 12 - 8. Suppose -m = -x*m. Solve 0*n + n - 2 = m for n.
2
Let c(k) = k**3 + 6*k**2 - 19*k - 21. Let o be c(-8). Solve -3*i = 9 - o for i.
-2
Let j be (-32)/(-3) + 2/6. Let a be 1/2 + j/(-2). Let l = a + 7. Solve 20 = -l*v - 3*v for v.
-4
Suppose -b + 2*b = 5. Let c be (-2 - (1 + -2)) + b. Solve 0*u - u - c = 0 for u.
-4
Let k = 24 + -20. Solve 0 = -k*y - y for y.
0
Suppose -3*q - 17 = -2*i, q - 4*i = -2 - 17. Let o be 1/2 + q/6. Suppose 6 = -0*d + 3*d. Solve c = -d - o for c.
-2
Let m(g) = g**2 - g - 3. Let k be m(3). Let w(c) = 6*c - 1. Let r be w(2). Suppose -k - 4 = -x - p, -x = -5*p + r. Solve -9 = x*q - 1 for q.
-2
Let g be -1*2*17/(-2). Let p = 37 - g. Let o be (0*(1 + 0))/(-2). Solve o = -3*i + p - 5 for i.
5
Let b = -21 - -30. Let l = 6 + -3. Let m be (3/l)/1 - -4. Solve -m*u = -2*u + b for u.
-3
Let i(p) = 3*p**2 + p - 1. Let c be i(-2). Suppose -2*n + c = -9. Let y = n + -3. Solve y*b - b = 20 for b.
4
Suppose 0 = -2*t - 3*t. Suppose 5*l - 33 = -5*v - 8, 4*v + l - 11 = t. Solve 0 = v*o - 5*o + 9 for o.
3
Suppose -6*c + 515 = -c. Suppose 0 = 4*s - 3*n - 138, 3*s - 6*n = -4*n + c. Solve s = 5*i + 8 for i.
5
Let h be (-3 - 1/(2/(-6)))/(-1). Solve 4*u + 0*u = h for u.
0
Suppose 8*m + 12 = 36. Solve -m*k = -k - 8 for k.
4
Let g(f) = 4*f**3 + 2*f**2 + 2*f + 1. Let z(c) = -21*c**3 - 11*c**2 - 10*c - 5. Let h(b) = -11*g(b) - 2*z(b). Let a be h(-1). Solve a*n + 0*n = 0 for n.
0
Suppose 3*i - 23 = -8, -l + 4*i = 20. Suppose l*s + 3*s = 45. Solve -2*m - 3*m = -s for m.
3
Let o = 7 + -8. Let z = 1 + o. Solve -5*y - 10 - 10 = z for y.
-4
Let i = 16 + -4. Let l(m) = 3*m - 1. Let y be l(3). Solve 5*r - i = y for r.
4
Let g = -11 + 16. Solve 4 = -g*i - 16 for i.
-4
Suppose 3*z + 13 = 2*h, 7*h - 4*h = z + 9. Suppose 2*n - 1 = 5. Suppose -1 = u - n. Solve -t - h = u for t.
-4
Let g be 4*(-3)/6*(1 - 9). Let n = -3 + 7. Solve -4 = -n*y + g for y.
5
Let o be -2*(-1 + 1/2). Suppose 4*u - 59 = -23. Let x = u - o. Solve 12 + x = 5*q for q.
4
Let o = 30 - 30. Solve -y - 1 = -o for y.
-1
Suppose 28 = -0*a + 2*a + 2*w, -4*a = 5*w - 59. Let r be 0*(1 + 2/(-4)). Let g = a + r. Solve 1 = 3*q - g for q.
4
Suppose 4*z + 3*l = 48, l = -3*z + z + 24. Suppose 2*t - z = -t. Solve -1 = -y + t for y.
5
Suppose 7 - 20 = -4*s + v, 5*s - 35 = 5*v. Let a be (6/10)/(4/(-20)). Let b be (-3)/(a/(-2)) - -4. Solve -b*i + i = -s for i.
2
Suppose 0 = s + 4*j - 21, 2*s - 5*j = 3*s - 26. Suppose y - 6*y + 25 = 0. Suppose y*t = -6 + 21. Solve t*c - s - 2 = 0 for c.
1
Let i(w) = -2*w**2 - 19*w + 5. Let t be i(-9). Solve t = -o + 11 for o.
-3
Let d be (2/(-2))/((-9)/36). Let t be 10/4*(-4)/(-5). Let r be 2*t/(-8)*-2. Solve -d*c - r = 3 for c.
-1
Let c = 5 + 4. Suppose 5*l - c = 6. Solve 2*r - 15 = -l*r for r.
3
Suppose 3*r - 5 = 2*r. Suppose -r - 11 = -4*b. Suppose 5*j - b*w = -4, j - 2 = 4*w - 6. Solve j = -d - 4 + 5 for d.
1
Let z be ((-2)/(-6))/(3/18). Suppose z*n - n + 12 = -5*i, 12 = 2*n - 2*i. Let q be 1*(10 + -2 + n). Solve -1 = -2*c - q for c.
-5
Let g be 1*(-2)/4*0. Suppose w - 9 + 22 = 0. Let z = 15 + w. Solve g = z*l - 5*l - 6 for l.
-2
Suppose -4*b - 2*z = 1 + 7, 4*z + 16 = -4*b. Suppose 2 = q + 2*n, -13 = -4*q - b*n - 3*n. Solve -7*d - q = -3*d for d.
-1
Suppose 1 = i - 4. Solve -3*q = -4*q - i for q.
-5
Let l be ((-56)/12)/((-2)/3). Suppose -3*s + 8*s = -3*b + 15, 5*b - 12 = -4*s. Solve s*v = 1 - l for v.
-2
Suppose -3*t + 3*g = -33, -4*t + 0*g - g + 54 = 0. Let n = -6 + t. Solve 0 = -o - 4 + n for o.
3
Let y be 141/27 - (-2)/(-9). Suppose y*u + 9 = -6. Let x = u + 7. Solve t = 2*t - x for t.
4
Suppose 0 - 6 = -2*f. Let d be 6/24 - f/(-4). Let b = d - -1. Solve b*o + 7 + 1 = 0 for 