24 = -t*w for w.
-5
Let c = -7 + 12. Let d be (0/2)/(-1 - -2). Solve d = -c*w - 0*w + 20 for w.
4
Suppose -2*f + 80 = 2*f. Suppose -4*g + 52 = f. Solve 4*u - 12 = g*u for u.
-3
Suppose -4*f + 4 = -12. Solve p = 5*p - f for p.
1
Suppose -2*x - f + 12 = 0, 0*x - 5*f = 2*x + 4. Let d be 90/8 - 2/x. Suppose 2*p = -i - 6, 2*p - 23 = -2*i + 5*p. Solve 5*t = -d - i for t.
-3
Suppose 2*d - c = 10 - 5, 0 = 5*d + 3*c - 18. Suppose 12 = 6*k - d*k. Suppose 2*o + 2*m = k, -3*o = 2*m - 1 - 3. Solve o*z = 3*z - 9 for z.
3
Let a(m) = 2*m - 12. Let l(z) = 3*z**2 + z - 2. Let u be l(-2). Let f be a(u). Suppose 4*b = 3*b + f. Solve b*y = 2*y - 2 for y.
-1
Let t be (-54)/15*10/(-4). Solve 0 = -7*m + 4*m + t for m.
3
Let y(s) = -5*s + 6. Let v(k) = -4*k + 5. Let d(q) = -4*v(q) + 3*y(q). Let b be d(4). Suppose 2 + b = x. Solve x = -3*i - 8 for i.
-4
Let q(x) = x**2 + 7*x - 5. Let u be q(-8). Suppose -2*t + 13 = 9. Solve 10 = -u*f - t for f.
-4
Let f = 1 + 1. Let z be -3 + (4 - 2) + -23. Let u be (-78)/z - (-1)/(-4). Solve -f*d = 1 + u for d.
-2
Let p(m) = m**2 - 5*m. Let x be p(5). Solve x = -0*w - w for w.
0
Suppose 0 = -5*o + d + 63, o + 4*o = 5*d + 75. Suppose a = 2*a - o. Solve 4*p + 0*p - a = 0 for p.
3
Let x(k) = k**2 - 8*k + 21. Let z be x(6). Solve -3*r - 6 = z for r.
-5
Let w(d) = -2*d**3 - 29*d**2 + 16*d + 17. Let y be w(-15). Solve y*i - 5*i - 3 = 0 for i.
-1
Suppose 5*t = 2*l, 4*t + 4*l + 2 - 30 = 0. Solve b + t = 6 for b.
4
Let f be (-6)/9 - (-4)/(-3). Let h be (1 + -5)/(1/f). Suppose 0*m + 2*m - 10 = 0. Solve -k - h = -m*k for k.
2
Suppose -3*n = -5*u, -8*u - 25 = -3*u + 2*n. Let f be (3/(u/4))/(-2). Solve -f*a = -4*a + 8 for a.
4
Let d(q) = q + 18. Let h be d(-12). Let w be ((-15)/h)/((-2)/4). Solve w*l - l = 8 for l.
2
Let k(x) = 4*x + 93. Let q be k(-23). Solve 0 = -0*i + i + q for i.
-1
Let o(i) = 6*i. Let y be o(1). Let h(s) = s**2 - 4*s - 7. Let f be h(y). Suppose 41 + 20 = 5*g + 2*n, -63 = -f*g - n. Solve 4*z - 1 + g = 0 for z.
-3
Let t(d) = d + 8. Let m be 0*(1 + 0) + -6. Let s be t(m). Solve s = 4*b - 2 for b.
1
Let x = -118 + 120. Solve 0 = x*y - 4*y - 4 for y.
-2
Let j be -1 + 2 + 0 + -1. Let l be 3/(6/8 + j). Solve 2*n + l = -4 for n.
-4
Let c be ((2 + -1)*1)/(2/16). Solve 2*b = c + 2 for b.
5
Let t be ((-8)/(-2) - 2)/1. Suppose 5*s - 6 = t*s. Solve 5*c = -s + 22 for c.
4
Suppose 0 = -5*l + 5, -2*l + 17 = -3*w - 0*l. Let d be ((-6)/2 - w) + 0. Solve -5 + 1 = -d*h for h.
2
Let j(r) = -r**2 + 11*r + 12. Let y be j(11). Solve y = l + 3*l for l.
3
Let l = 15 - 21. Let m = l + 10. Solve -m = -4*p + 4 for p.
2
Let i(n) = -n**3 + 7*n**2 - 5*n - 4. Let z be i(6). Solve -h - z*h - 6 = 0 for h.
-2
Let i be 39/(-9)*-3 - -2. Let g be (2 + (-3)/3)*i. Suppose u + c - g = 0, -6*u + 3*c = -u - 35. Solve 4*s = -s + u for s.
2
Suppose -r - 2 = l, -l = -4*l - 2*r - 4. Solve -4*u + u + 15 = l for u.
5
Let l(i) = i + 3. Let k(x) = -x + 2. Let j be k(5). Let w be l(j). Solve w = -0*u - u - 1 for u.
-1
Suppose 67*t - 71*t = -16. Solve -g = -t - 0 for g.
4
Suppose t = 2*s + 15, 3*t + 5*s + 1 = -9. Let z be 0 - -1 - (t - 3). Let k(u) = -6*u + 1. Let a be k(z). Solve -2*n + 25 = -a*n for n.
-5
Let x be 7/7 + (-7 - -1). Let r(d) = d**3 + 4*d**2 - 4*d + 5. Let q be r(x). Suppose q = -0*s + 2*s. Solve s = -b - 0 + 2 for b.
2
Suppose 0 = -4*u + 5*i + 20, 0 = -2*u - 3*u - i + 25. Solve -2*r + u = 7 for r.
-1
Let b be ((-126)/27 - -5)/(1/30). Solve -9*k + b*k = 0 for k.
0
Suppose -2*s + 12 = -5*s. Let m(d) = -d - 1. Let l be m(s). Solve 20 = -l*u - 2*u for u.
-4
Suppose 5*g + 0*g = 15. Let k = g - 0. Solve k*v = -1 + 10 for v.
3
Let f(p) = 2*p**2 - 3*p + 1. Let n be f(2). Let x(j) = -4 - 2 - j + n*j. Let b be x(4). Solve 3 = -3*c + b*c for c.
-3
Let i(w) = -w**3 - 5*w**2 - 5*w - 1. Let h be i(-4). Suppose 5*c - 13 - 17 = 5*v, -4*c = 2*v. Let a = -2 - v. Solve h*k = a - 5 for k.
-1
Suppose 4*m - m = 4*b + 26, m - b - 7 = 0. Solve 4 = m*l + 2*l for l.
1
Suppose 0 = -3*r + 5*r, 0 = 4*f + 4*r. Let h be (-2)/(-2 + 1 + f). Solve 0 = 3*w - w - h for w.
1
Suppose -2*l - h = -5 - 3, l - 4*h - 13 = 0. Let j(p) = 0*p - 5 + 4 + p. Let n be j(l). Solve s - n = 1 for s.
5
Suppose -8*q + l + 6 = -3*q, q - l + 2 = 0. Let w be -2*(q/(-4) + 1). Let v be (-57)/(-15) + w/(-5). Solve -f - v*f = 25 for f.
-5
Let v(g) = -g**3 + 7*g**2 + 2*g - 9. Let l(a) = -a**3 - 7*a**2 + 7. Let t be l(-7). Let q be v(t). Solve 2*o - 1 + q = 0 for o.
-2
Let j(f) = -f**3 + 3*f**2 + 2*f - 1. Let t be j(2). Let k = 47 + -47. Solve 5*g - 32 + t = k for g.
5
Let b be (2/3)/((-5)/(-15)). Suppose 4*x = 18 - b. Solve x*v = -v for v.
0
Suppose a = b + 4, -8 = 2*a + 4*b + 8. Let y(w) = 3*w - 2. Let q be y(-2). Let g be 2/5 - q/5. Solve 0 = -a*n - g*n for n.
0
Let c be (-10)/2*(-3)/5. Solve 0 = -4*i + 11 - c for i.
2
Suppose -5*r - 2 = -4*d, 2*r - 4*d = 4 - 0. Let g be -2*(2/(-1) + r). Suppose 0 = 2*f - 7*f. Solve -2*x + f*x + g = 0 for x.
4
Suppose 0 = 4*h - h + 3*b - 24, -5*h + b = -10. Let u be (-4)/14 + 16/7. Let x = u - -2. Solve -x = h*j + j for j.
-1
Let m be ((-6)/2 - -4)*3. Suppose -5*a = -m*a. Let f = -9 + 14. Solve a*h - f*h = -20 for h.
4
Let o(n) be the second derivative of -n**5/20 + n**3/2 + n**2 - 3*n. Let q be o(-3). Solve -q = -0*r - 4*r for r.
5
Let d(y) = y**3 - 6*y**2 + 5*y + 2. Let p be d(5). Let n(q) = q**2 + 0 + 7*q - p*q + 2. Let r be n(-5). Solve r*x = x for x.
0
Suppose -6*m - 2 = -5*m. Let o be 2 - (m + 1 + 2). Solve -5*t - 21 = -o for t.
-4
Suppose -7 - 13 = -4*x. Solve -x = 4*j + j for j.
-1
Let k be (0 - 1) + (1 - 0). Suppose 11*q = 9*q. Let d be q/(k - -2 - 3). Solve v - 5 = -d*v for v.
5
Suppose g + 2*d = 10, 2*d - 10 = -0*g + 2*g. Solve -3*n + n = g for n.
0
Suppose 3*f + f = 5*s + 98, 2*f = 2*s + 40. Let g = s + 24. Solve 0*m = 3*m + g for m.
-2
Let w be 0/(4 - 5 - 1). Solve w = -4*q - 8 - 12 for q.
-5
Let k be (-99)/(-44) - (-2)/(-8). Solve -k = -h - 5 for h.
-3
Let l(p) = p**3 - 13*p**2 + p - 13. Let t be l(13). Suppose -3*g + 6 + t = 0. Solve 5 = g*i + 15 for i.
-5
Let r be (16/6)/(5/(-15)). Let l = -7 - r. Solve 2*q - 5 = l for q.
3
Let i = -8 + 10. Suppose -2*k + 2 = -8. Solve -i*m - k = 5 for m.
-5
Suppose 0 = -50*x + 46*x + 64. Solve 3*o - 7*o + x = 0 for o.
4
Let d be 2*-1 - (9 - 11). Solve d*u + 3*u = 0 for u.
0
Suppose -7*c = -2*c. Suppose c = -3*q + 7 + 5. Solve -10 = -3*h - q for h.
2
Let c be 10/(-4)*(-40)/50. Solve 0 = c*j + 2*j - 4 for j.
1
Let y be 10 - (7 - 6)*0/1. Solve -2*a + y = -0 for a.
5
Suppose 0 = -9*c + 38 + 43. Solve -f = -4*f - c for f.
-3
Let q(r) = -r**3 + 2*r**2 - 1. Let t(n) = -n**3 + 6*n**2 + 1. Let l be t(6). Let u be q(l). Suppose -3*a - 1 + 10 = u. Solve 12 = -a*d - d for d.
-3
Suppose -4*j = -3*c - 20, 4*c + 6 + 0 = -5*j. Let q be 0/j*3/9. Let h be (-1)/(1/(-3)) - q. Solve -h*d = -7*d + 4 for d.
1
Let f(j) = -j + 0*j**3 + j**2 - j**3 - 2 - 2*j**2. Let o be f(-2). Solve -o = -3*x + x for x.
2
Suppose -6*f - 95 = -f. Let t = 11 + f. Let w = -4 - t. Solve -15 = w*a + a for a.
-3
Let c be 6/3*-2 + 8. Solve -8 = -c*t + 12 for t.
5
Let d = -3 + 6. Let q(p) be the second derivative of -p**3/6 - 4*p**2 - p. Let t be q(-8). Solve t = d*a + 3 for a.
-1
Let m(u) = -u**2 - 4*u + 7. Suppose -a - 4*x - 26 = a, 4*x + 36 = -4*a. Let y be m(a). Let f be -7*((-12)/(-7) + -2). Solve -2 = y*c + f for c.
-2
Suppose -4*d - 5*d = -18. Solve 0 = -7*b + d*b for b.
0
Let n(g) = g**3 + 4*g**2 - 7*g - 5. Let m be n(-5). Let t be (-1)/m - 32/(-10). Let s = 4 - t. Solve d - 4 = -s for d.
3
Let t be (-1 + 7)*(-3)/(-6). Solve 1 - t = -h for h.
2
Let f(d) = -d - 4. Let a be f(-6). Suppose 2*i + 2*t - t + 19 = 0, a*i - 5*t - 11 = 0. Let k be (-2)/i + (-82)/(-7). Solve 0 = -0*b + 3*b - k for b.
4
Let x(n) = -n. Let a be x(-4). Suppose -15 = -7*o + 4*o - 3*g, 3*g = -a*o + 16. Solve 2*f + o = -1 for f.
-1
Let z be (4/(-12))/(1/(-15)). Solve -z + 0 = -h for h.
5
Let b(v) = 3*v**3 - v**2. Let y be b(1). Suppose 0*k = 4*k - 12. Suppose 0 = -h + 3*i + 20, i = k*h - 4*i - 44. Solve y*d - 2 = h for d.
5
Let t be -1*8/4 + 1 - -1. Solve l - 6*l - 25 = t for l.
-5
Let u(l) = 21*l**2 - 1. Let w be u(-1). Suppose -5*d = -w - 0. Suppose -k - 2*k = x - 7, d*x = -8. Solve y = k*y for y.
0
Let w be (-1)/(-2*2/12). Solve -2 = w*k + 13 for k.
-5
Let q = 6 - 2. Suppose i = -q*i + 25. Solve -i = f +