2
Suppose 0 = -15*h + 16*h - 13. Solve -5*f + 2 = -h for f.
3
Let y = 4 + 12. Solve 0 + y = 4*i for i.
4
Let h(v) = 13*v - 9. Let m be h(1). Solve g = -0*g - m for g.
-4
Suppose b = 5*b - 8. Suppose 23 = b*c - 1. Solve -f + c = 2*f for f.
4
Suppose 2*w = -0 - 6. Let u(l) = 7*l + 7. Let b(p) = 3*p + 3. Let a(t) = 13*b(t) - 6*u(t). Let v be a(w). Solve 2*c - 4*c + v = 0 for c.
3
Let n be (2/7)/(1/14) + 2. Solve n*m = 2*m - 4 for m.
-1
Suppose 9 = 5*c - 1. Let o(u) = -u**2 - 5*u - 4. Let i be o(-3). Suppose -5*l = -i*k - 45 + 5, -4*k = 3*l + 2. Solve -d = -l + c for d.
4
Let c = 6 + -4. Suppose -c*o + 5 = -3. Suppose -3*a = 2*a + 4*i - 53, 8 = o*i. Solve 0*j - 3*j = a for j.
-3
Let t be 762/30 + 4/(-10). Suppose 3*w - 8*w + t = 0. Solve w + 0 = f for f.
5
Let i = 2 + 0. Let d = -2 + i. Let z = 2 - 0. Solve -5*y + z + 3 = d for y.
1
Suppose 0 = 2*n - 6*n - a - 49, a = -3*n - 37. Let y(l) = l**3 + 13*l**2 + 12*l + 5. Let f be y(n). Solve -f*k + k = 12 for k.
-3
Let t be 3 + (1 - 13) + -3. Let u(n) = -n + 10. Let h be u(t). Solve -h + 2 = 5*p for p.
-4
Let l = -9 - -11. Solve -5*k - l = 23 for k.
-5
Let v be (-138)/(-16) + ((-225)/40 - -6). Solve -v*b - 20 = -4*b for b.
-4
Let u(h) = 6*h + 4. Let a be u(0). Let o(m) = m**2 + 5*m. Let l be o(-5). Solve -a*y - 20 = -l*y for y.
-5
Let f = -3 + 4. Let v(q) = 1 - q + 6 - f. Let p be v(-6). Solve -t + p = 2*t for t.
4
Let z(j) = -3*j**2 - 23*j - 21. Let q be z(-6). Solve 8 = -u + q for u.
1
Let b(g) = g - 1. Let n(m) = 2*m - 1. Let o(k) = -7*b(k) + 3*n(k). Let h be o(3). Let x = -1 + h. Solve j = -x*j for j.
0
Suppose 5*d + 5 = 0, -4*y + d = -6*y + 9. Solve y*h = 20 - 0 for h.
4
Let o(w) = w**3 + 6*w**2 + w + 7. Suppose 2*q + 0*s + 5*s = -32, -4*s - 16 = 0. Let u be o(q). Suppose 3 = d + 3*c, c + u = 2*c. Solve d = -4*j - 6 + 18 for j.
3
Let p = -31 + 35. Let j(b) = -5*b + 8. Let f be j(-8). Suppose -3*r = r - f. Solve -4*l + r = -p for l.
4
Let m = -16 + 7. Let r = 11 + m. Solve r*a = a for a.
0
Let j = 4 - 2. Suppose k = -j*k. Suppose 5*d = -4*a - 0*d + 72, -73 = -5*a - 2*d. Solve 5*n - 7 - a = k for n.
4
Suppose 3*c - 8 = -c. Suppose -2*r = c*h - 20, -h - h + 35 = 3*r. Solve 0*l = 3*l - r for l.
5
Let v(u) = 7*u - 5*u - u + 3 + 5. Let h be v(-8). Solve 3*s - 1 - 2 = h for s.
1
Let o(u) = 1. Let q(r) = -r + 1. Let p(i) = o(i) + q(i). Suppose 5*d = -5*h - 35, -d + 4*d + 7 = 4*h. Let b be p(h). Solve -3*x + b*x + 5 = 0 for x.
-5
Let r(o) = -o**2 + 5*o - 1. Let v be r(4). Suppose -k = -0*k - v. Suppose 7 = k*w - 2. Solve -8*j = -w*j + 20 for j.
-4
Suppose 4*q = -2*n + 28, 8*n - 25 = -q + 3*n. Let x be ((-8)/2)/(-4 + 3 + 0). Solve -f - q = x*f for f.
-1
Suppose -2*f = -6*f - 8. Let b = f - -7. Suppose -12 = x - b*x. Solve -x*d = 2*d + 10 for d.
-2
Suppose -2*f = 3*f + 15. Let i = 6 + f. Solve i*p - 4 = -p for p.
1
Let c(p) = 2*p**2 + 4*p + 2. Let q be c(-3). Suppose -q*s = -3*s - 10. Solve 0 = -3*v - 17 + s for v.
-5
Suppose 6*b = 2*b + 20. Suppose -h = -b*h + 4. Solve -3 = a - h for a.
-2
Suppose s - 1 = -v + 4, -2*v = 5*s + 5. Let j = -25 - -43. Let h = j - v. Solve 0*y - h = 2*y for y.
-4
Let h(u) = -u**3 - 11*u**2 - 16*u + 28. Let v be h(-9). Solve -4*w + v = -2 for w.
3
Let q = 1 - -1. Suppose -q*i = 2*i - 2*d + 34, -3*i + 3*d - 24 = 0. Let j = 6 - i. Solve 3*l + j - 3 = 0 for l.
-4
Let c(s) = -s**3 - 6*s**2 + 6*s - 5. Let q be c(-7). Solve 8 = -q*t - 0 for t.
-4
Let o(v) = -v**3 - 3*v**2 - 3*v - 4. Let w be o(-3). Solve 0 = w*b - 5 for b.
1
Let o = -3 - -10. Let t = 30 - 27. Let g be 1 + t + 14/(-7). Solve n - o + g = 0 for n.
5
Let y = -5 - -7. Let v(p) = 2*p**2 + 1. Let r be v(y). Solve 0 = -c - 2*c + r for c.
3
Let d be (-54)/(-42) - (-4)/(-14). Let w = 4 + d. Solve 3*k = 4*k + w for k.
-5
Suppose 4*k + 5*j = 48, -20 = -4*k - 0*k + 2*j. Solve 2*c - 1 - k = 0 for c.
4
Let c(y) = -y**3 + 23*y**2 - 23*y + 31. Let z be c(22). Solve -2*o = -5*o + z for o.
3
Let l(w) = -w - 11. Let n(x) = -x - 11. Let s(i) = -3*l(i) + 2*n(i). Let j be s(-6). Solve -3 + 28 = -j*a for a.
-5
Suppose -4*w + 29 = -3. Let b = w + -4. Suppose v - 2 = b*h, -v - 4*v - h + 10 = 0. Solve 0 = -v*n - 15 + 5 for n.
-5
Suppose 8*j - 9*j = 0. Let h be (j/(-1))/(-4 - -6). Solve -v + h = 1 for v.
-1
Let b = -30 - -50. Suppose -4*o - 4*n = -0*o - b, 2*n = -10. Suppose 4*a - 10 - 10 = 0. Solve -o + 5 = a*t for t.
-1
Suppose b = 3*b. Solve -2*y + b*y + 10 = 0 for y.
5
Let r = 114 - 114. Solve -3*k - k = r for k.
0
Let a(h) = h**3 - 5*h**2 + h - 1. Let g = -2 - -7. Let y be a(g). Solve y*s - 5 + 1 = 0 for s.
1
Suppose 0*j = 2*j - 2. Let p be (-10)/3*(-4 + -2). Let m be 6/15*p/2. Solve 5*z + m = -j for z.
-1
Let i = 9 - 4. Solve -i*a + 0*a = 0 for a.
0
Let m be 6/15 - (-4)/(-10). Let j be 6/(-4)*(m + -2). Suppose -j*q = q. Solve 0 = 3*t - q*t - 6 for t.
2
Let t be (-10)/2 - -1*2. Let s be 0/(t*(-4)/6). Suppose 5 = -5*r + 15. Solve -v + 0*v - r = s for v.
-2
Suppose 0 = -2*k - 3*k + 90. Let i be (-4)/(-6) + 78/k. Solve 3*w + i - 17 = 0 for w.
4
Let r(d) = -d**2 + d. Let m(p) = 0*p + 0*p**2 + 0*p + 4*p**2 - p + 5. Let s(u) = m(u) + 5*r(u). Let q be s(5). Solve y - 5*y = q for y.
0
Suppose -3*j + 73 = -383. Let n be j/6 - (-3)/(-9). Suppose -4*y - y + n = 0, y = 5*w - 20. Solve 2*b = w*b + 9 for b.
-3
Let i(k) = -6*k**2 + 3*k. Let c be i(2). Let y be (-14)/c + (-6)/(-27). Suppose 0 = 3*g - 2*h - 9 - y, 0 = 3*g - 4*h - 14. Solve g = -4*s + 6 for s.
1
Suppose -4 - 21 = -5*t. Suppose 0*v = -v + t. Solve -v*s = 15 + 10 for s.
-5
Let y(z) = -z**2 - 5*z + 3. Let v be y(-5). Let d be v/(-5) - (-65)/25. Solve -3*x - 10 = d*x for x.
-2
Let f be 0/((-2 + -1)/3). Solve o = -f*o for o.
0
Let g be (-4)/(-16) - (-33)/12. Suppose -c - 3*c + 2*x - 4 = 0, 0 = g*c + x - 2. Solve -3*b - b + 20 = c for b.
5
Suppose 27 = 3*n + 4*w, 0 = 5*n + 5*w - 29 - 16. Solve 3*k = -n - 0 for k.
-3
Suppose 0 = 5*i + 14 - 24. Solve i*m = 3*m - 2 for m.
2
Let y(u) = u**3 - u**2 - 6*u + 1. Let l be y(3). Let s be 0/((l - -1) + -4). Solve d - 2 + 5 = s for d.
-3
Let w be 299/91 + (-4)/14. Solve -w - 3 = 2*d for d.
-3
Suppose -t = 5*u - 516, 0 = 5*t - 1 - 4. Suppose 3*n + 25 = u. Solve -3*r - n + 11 = 0 for r.
-5
Let h = 1 + 3. Suppose 3*u - 7 = 4*n + 17, 0 = u + 5*n + 11. Let r = u - h. Solve -4*c + 4 = -r*c for c.
1
Suppose -32 = -4*y + x, -y + 8 = -0*y - x. Solve 2*d - y + 4 = 0 for d.
2
Suppose b + 3*m - 3 + 5 = 0, 5*b = 3*m - 64. Let d = -7 - b. Let k be 19/d + 1/4. Solve 2*g - k = 3*g for g.
-5
Let f(h) be the third derivative of h**6/120 + 7*h**5/60 + h**4/6 - 4*h**3/3 + h**2. Let i be f(-6). Solve 24 - 4 = i*y for y.
5
Let y(i) = i + 6. Let c be y(-8). Let l be 8 + c - (1 + -1). Solve -l = -3*j - 0*j for j.
2
Let c be (-56)/(-12)*60/14. Solve -5*b - c = -0*b for b.
-4
Let h = 43 - 37. Solve -5 = h*z - z for z.
-1
Suppose -3*a = -0*a - 15. Solve 13 + 2 = -a*l for l.
-3
Let h = -157 - -161. Solve q - 15 = -h*q for q.
3
Suppose 2*v + 2*y - 4 = 0, -y - 2*y + 13 = -4*v. Let r be (0/1 - -2) + v. Let x be -4*(-2 - (0 - r)). Solve d - x = -d for d.
2
Let h be (10 - 5)*(-12)/(-5). Let p = h - 12. Solve p*x - 1 = x for x.
-1
Let k(s) = -s**2 - 6*s + 11. Let u be (14/42)/((-1)/21). Let h be k(u). Let d(g) = -g**3 - 6*g**2 - 6*g - 4. Let q be d(-5). Solve 0 = -5*a - h - q for a.
-1
Let a = 12 - -3. Suppose 2*x = -3*x + a. Solve 7*y = x*y + 20 for y.
5
Let o be 12/2 + -2 + -2. Let l(i) be the third derivative of i**6/120 - i**4/8 + i**3/3 + 2*i**2. Let s be l(o). Solve -c - s = 1 for c.
-5
Let t(b) = -2*b - 2. Let g = 23 + -27. Let s be t(g). Solve 0 = -2*d - s for d.
-3
Suppose 0*a + a = -5*b + 6, -5*b - 5*a - 10 = 0. Solve g = b*g for g.
0
Let y(a) = -2*a**3 + 5*a**2 - a**3 + 4*a + 4*a**3. Let l be y(-4). Solve 0*c + 3*c - 6 = l for c.
2
Let r be (-3)/(-21) - 240/(-84). Solve -6*l - r = -5*l for l.
-3
Let t be (-4)/18 - ((-175)/(-63) + -4). Solve -z = 3 - t for z.
-2
Let l(v) = -v. Let c be l(-5). Solve 24 = -c*o + 9 for o.
-3
Let f(y) = y + 15. Let n(s) = -s**2 + 7*s - 4. Let x be n(6). Suppose -3*p = -p - x*m + 28, p - 10 = -5*m. Let v be f(p). Solve z = v*z for z.
0
Suppose -f - 4 = 3*x, 0 + 16 = 2*x - 4*f. Let o be 11 - (-2 + 2 + 2). Solve o = -x*b - 3*b for b.
-3
Let o(a) = -a**3 - 5*a**2 - a - 5. Let t(q) = q**3 + q**2 + q + 1. Let b be t(-2). Let y be o(b). Solve y = -0*l + 3*