 h = 2*r for r.
-2
Suppose -n - 3*n - o = -9, 4*n + 2*o = 10. Suppose 4*f = 7*f - 21. Solve -n*m + f*m = 20 for m.
4
Suppose -5*c - 13 = -73. Solve c = w - 5*w for w.
-3
Let w(q) = q**2 - 7*q + 2. Suppose 11*i - 9*i = 14. Let y be w(i). Solve -y*t + 6 = -5*t for t.
-2
Let b be 72/14 - 1 - (-4)/(-28). Solve -5*a = -a + b for a.
-1
Let j = 43 + -40. Suppose -n + 20 = -3*i, -5*i + 4*n - 10 = 7*n. Let w = i + 8. Solve 0*y - j = -w*y for y.
1
Let f be 0/(3/(-6)*-2). Let c be (-1)/(1 + f)*-2. Solve 0 = -c*k + 4*k for k.
0
Let r be 10/4 - (-1)/2. Solve r*q = -q - 20 for q.
-5
Let l be 2/(-6) - (-1)/3. Solve -y - 1 + 5 = l for y.
4
Let t(l) = -13*l**3 + l**2 + l - 1. Let n be t(-1). Solve o - n = -2*o for o.
4
Let p(z) = -3*z - 3. Let u be p(-2). Solve -u*n - 2*n + 15 = 0 for n.
3
Let f(k) = -k + 6. Let o be f(6). Let m(z) = z. Let n be m(15). Solve 5*l = -o + n for l.
3
Let q(u) = -u**2 - 7*u - 6. Let c be q(-5). Suppose 0 = c*w - 3*h - 15, -2*w = w - 5*h - 14. Suppose -6*n + 12 = -w*n. Solve -2*y = -n - 0 for y.
2
Suppose 3*p + 6 = 21. Solve -4 = z - p*z for z.
1
Suppose 7 = 4*f - 1. Suppose -z = -f*z. Let g = 1 - -1. Solve z*r + g*r - 6 = 0 for r.
3
Suppose -17 = -4*j - y, -3*j - j + 2*y + 2 = 0. Solve -j*s = -s + 4 for s.
-2
Let y(p) = -1. Let b(k) = -k + 7. Let x(q) = -b(q) - 5*y(q). Let w be x(5). Solve -w*d + 12 = -6*d for d.
-4
Let y be -4*1/(-6)*3. Solve 7 = 5*b + y for b.
1
Let c be (32 - 20)/(0 + (3 - 2)). Solve 6*r + c = 3*r for r.
-4
Suppose -12 = -5*y + 2*x, -4*x - 2 = -3*y + 4*y. Suppose -2*h = 2*h. Suppose h = 2*r - 6, 0 = i - 5*i + y*r + 54. Solve 0*j = -3*j + i for j.
5
Suppose 3*g + a - 2 = 0, 2 = 5*g + 3*a - a. Solve -4*w + g = -2 for w.
1
Suppose 0*y - 3*a = -2*y - 27, -y = -5*a + 31. Let v = -6 - y. Solve -x + 3 + 1 = v for x.
4
Suppose 0*g + 16 = 4*g. Solve -5*j + g*j = 2 for j.
-2
Let t be 8/40 + 1/(-5). Solve -f = -t + 1 for f.
-1
Let b(n) = -n**2 - 10*n - 7. Let w be b(-9). Solve w*u + 1 = -3 for u.
-2
Let f = -17 - -28. Let o = f - 8. Solve o = -2*q - q for q.
-1
Let h = -18 + 20. Suppose -h = -2*k + k. Solve 9 = k*z + z for z.
3
Suppose 14 - 11 = n. Solve 3*o = n + 9 for o.
4
Suppose -14 = -4*m + 10. Solve 2*u - 20 = m*u for u.
-5
Let v(w) = -7*w**2 - 19*w - 1. Let i(d) = -4*d**2 - 10*d. Let f(a) = -5*i(a) + 3*v(a). Suppose 4*u + 24 = -0*u. Let h be f(u). Solve 1 = -4*n + h*n for n.
-1
Let f(v) = 3*v**2 - 9 + 0*v**2 - 4*v**2 - 3 + 12*v. Let p be f(8). Suppose 5*a = 5*s - p, -5*s + 12 = a + 2*a. Solve s*i + i = 0 for i.
0
Let a(r) = -r**3 - 7*r**2 + 9*r + 10. Let l be a(-8). Solve w - 3 = l*w for w.
-3
Let x = 59 - 35. Let a be (-2)/8 + 198/x. Solve 0 = 2*r - a for r.
4
Suppose -3 - 4 = -x + 3*d, -5*d = 2*x + 8. Solve x + 3 = 4*u for u.
1
Suppose -u - 3 + 0 = -o, 2*u - 12 = -o. Solve -2*i + 12 = -o*i for i.
-3
Let c(u) = u**2 - 8*u. Let i be c(5). Let x be (-6)/i + (-39)/(-15). Solve -2*l - x = l for l.
-1
Let j(g) = -g + 9. Suppose 0*m - 5 = -m. Let d be j(m). Solve -2*x + d*x + 8 = 0 for x.
-4
Let a be 4 + -5 + 14/2. Let x be ((-10)/a)/((-2)/6). Suppose 0*m + m - x = 0. Solve f - 20 = m*f for f.
-5
Let h(m) = 0*m + 0*m + 3 + 2 + m. Let v be h(5). Solve l + v = -4*l for l.
-2
Let d(j) = 2*j**2 - 2*j + 4. Let v be d(2). Let m(l) = -l**2 + 6*l + 18. Let n be m(v). Solve n*y - 7*y = 0 for y.
0
Let v(n) = 3*n - 3. Let h be v(4). Let k(o) = -o + 1. Let q(s) = -s + 2. Let t(g) = 6*k(g) - 7*q(g). Let f be t(h). Solve 3 = -d + f for d.
-2
Suppose 0 = -0*l + 2*l. Let q(x) = -x**2 - 6*x - 6. Let d be q(-4). Suppose 1 = -d*h + 7. Solve i + 0*i + h = l for i.
-3
Let c(f) = f**3 - 5*f**2 + 2. Let x be c(5). Suppose x*a + 5*y - 3 = -1, -4*y - 2 = -2*a. Solve 3 = -2*m - a for m.
-2
Let p(h) = -3*h**3 + 3*h + 2. Let m(d) = 2*d + 4. Let o be m(-3). Let y be p(o). Solve -6*n = -n - y for n.
4
Let g(q) be the first derivative of 1 + 7/2*q**2 - 1/3*q**3 - 4*q. Let c be g(6). Solve -3*m - 20 = c*m for m.
-4
Suppose 0 = -3*v + 6*v. Solve v - 5 = -5*b for b.
1
Let a(k) = -k**2 + 10*k + 12. Let t be a(11). Solve w - 2 + t = 0 for w.
1
Let y(d) = -12*d**3 - d**2. Let n be y(-1). Let s = -17 + n. Let a = s - -11. Solve -h = -a*h for h.
0
Suppose w = 5*w + w. Solve -k - k + 4 = w for k.
2
Suppose 5*p = 3*v - 2, 5*v = 2*v - 5*p - 8. Let g(l) be the second derivative of l**4/3 + l**3/6 - l. Let u be g(v). Solve u*x = -x for x.
0
Let l = 27 - 11. Solve 25 = 21*o - l*o for o.
5
Suppose 2*j - 5*o + 0 = 1, 11 = 2*j - 3*o. Let w = j - 2. Solve -4*u + 3 = w for u.
-2
Let t(g) = g - 2. Let k be t(10). Suppose -k = -0*s - 4*s. Solve s = -3*x + 5*x for x.
1
Suppose 2*v = -4*a - 6, -v + 0*v = 4*a + 11. Solve v*c = -0*c for c.
0
Let w = 78 - 76. Solve 3*x = w*x - 2 for x.
-2
Let p be 3/(-1) + 3 + (-4 - -6). Solve 20 = -p*q + 7*q for q.
4
Let j be (-60)/(-9)*12/10. Solve -c - c = j for c.
-4
Let g be (-200)/30*(-3)/2. Solve -u + 3*u = g for u.
5
Suppose -g + 0*g = -2. Solve g*z + 12 = -z for z.
-4
Let t(a) = -a**2 - 2*a + 2. Let g be t(-3). Let k = 1 + g. Solve -3 = -k*o + 3*o for o.
-1
Let u(z) = -z - 9. Let x be u(-11). Solve 0 = x*f - 3 + 5 for f.
-1
Suppose 2*g - 4 = g. Suppose -g*s = -8 - 0. Let t = 14 + -6. Solve -4*q = -s*q + t for q.
-4
Suppose 2*b = -2*l, 2*l = 3*b + 12 + 13. Let k = -2 + l. Let o = -3 + k. Solve -2*m - 3*m + 25 = o for m.
5
Let w(v) = -v + 1. Let a(t) = -5*t + 6. Let b(r) = a(r) - 6*w(r). Let h(p) = 7*p + 3. Let z(i) = 6*b(i) - h(i). Let c be z(-7). Solve 0 = c*l - 24 + 4 for l.
5
Let h(u) = -u**3 + 6*u**2 + 6*u + 13. Let k be h(7). Solve -15 = -k*a + 15 for a.
5
Suppose -d = 2*d + 9, y - 8 = 2*d. Suppose 0 = -6*f + y*f + 8. Let n(l) = 2*l**2 - 4*l + 3. Let v be n(f). Solve -v*s = -s for s.
0
Let k = 5 + 18. Suppose 5*n - k = 2. Solve -5 = 5*i + n for i.
-2
Let s(r) = 3*r**3 + 2*r**2 - 1. Let n be s(1). Let u = -6 + n. Let v be (u - 14/(-6))*0. Solve -4*x + x - 9 = v for x.
-3
Suppose -3*s = -97 + 70. Solve -2*o + s = -1 for o.
5
Suppose 3*d - 14 = d. Suppose -3*n + d*n - 5*m - 7 = 0, -2*n = 5*m - 11. Suppose 16 = 4*t - f, 0 = -n*t - 2*t + 5*f + 20. Solve 0 = t*s - 5*s - 5 for s.
-5
Suppose 0 = -x - 6*x. Solve x = -3*i + 2*i - 5 for i.
-5
Suppose -5*h + 10 = 0, 28 = -8*t + 4*t + 2*h. Let m be ((-9)/6)/(t/100). Suppose -6*q = -4*q + v - 8, -4*q = -4*v - 16. Solve x + m = -q*x for x.
-5
Let f(v) = 2*v**2 + 4*v - 2. Let g be f(-3). Solve g*h = 9*h - 20 for h.
4
Let x(f) = f**2 - 11*f - 9. Let q be x(12). Suppose -q*b + o + 22 = -7, -2*b + 16 = -4*o. Solve -2*i + 7*i = b for i.
2
Let i = 23 - 21. Solve -i*y + 5*y = -15 for y.
-5
Suppose -23*t + 17*t + 24 = 0. Solve w + 0 = t for w.
4
Suppose 5*h - 25 = -5*q, q + 2*h - 10 = -0. Solve q*x + 4 = 4*x for x.
1
Let r(x) be the first derivative of x**2/2 - 2*x + 4. Let n be r(6). Solve -p - n = -3 for p.
-1
Let t be (-6 - 3)*(-1)/1. Solve -5*c + t = -2*c for c.
3
Suppose 4*x = 14 + 6. Suppose 0 = 2*v + x + 3. Let w be v/(-10)*(-1 - -6). Solve -3*z + 1 = -w*z for z.
1
Let d = 5 + 1. Let a = d - 4. Suppose -5*h + a = -2*i + 6, 0 = -2*h. Solve -6 = k + i*k for k.
-2
Let a be (-200)/(-75)*(-6)/(-4). Solve -m = -a*m for m.
0
Suppose -3*i = -5*f + 24, i = -2*f + 6 + 8. Let n be 1 - 7/((-21)/f). Solve n*m - 16 = -m for m.
4
Suppose 1 = -2*j + 7. Suppose v = -j + 6. Solve a - 12 = -v*a for a.
3
Let c be 6/27 + (-244)/(-36). Suppose c - 5 = 2*f. Solve -2*o + f = -o for o.
1
Suppose 0 = g + c, -2*c = -5*g + 3*c + 20. Suppose g*q = 3*q - 5. Suppose -72 = -3*a + 3. Solve 0 = -q*l + a - 0 for l.
5
Suppose 0 = 4*w + 2*m + 7 + 3, -2 = -w + 4*m. Suppose -s = n - 6*s - 14, 2*n = -4*s. Let r = n + w. Solve 3*j + r*j = 25 for j.
5
Suppose d + d - 2 = 0. Let f = d - 3. Let w = f - -6. Solve -w*l + 0*l = 4 for l.
-1
Suppose -2*y + 3*k = -20 - 12, -18 = -2*y - 4*k. Suppose -3*h + c = -3*c + y, -5*h - 11 = -4*c. Solve -2*f + 1 = -h for f.
1
Suppose 4*r - q + 5 = 21, -r + q = -4. Let u(b) = b + 14. Let i be u(13). Suppose 2*d = -2*l - 4, -8*d + i = -4*d - 3*l. Solve r*h = d - 11 for h.
-2
Let n(i) = -i**2 + 10*i + 0 + 2 - 3*i. Let t be (-57)/(-9) + 2/(-6). Let o be n(t). Solve 5*j = 3*j - o for j.
-4
Suppose b + 36 = 39. Solve -8 = -r - b*r for r.
2
Let t be (8/12)/((-4)/(-30)). Let i(d) = 2*d - 6. Let h be i(t). Let w be (-12)/(-10)*(-10)/(-4). Solve 5 = -w*p - h for p.
-3
Let a be (6 - (2 + 4))/(-3). Solve a = -2*p