h for h.
0
Suppose 2*l = 3 + 3. Suppose -3*w + l + 3 = 0. Solve 2*m = m + w for m.
2
Let i = 106 + -76. Suppose 0 = 3*z - m - i, m + 8 = z - 0. Solve 0 = -5*g + 4 + z for g.
3
Suppose -2*n + s = -10, 5*n - 30 = -s + 6*s. Let c be 1*(1 - (-2 + 3)). Let o be 3 - (-3 - -2 - -2). Solve -3*v + n*v + o = c for v.
-2
Suppose -5 = 5*v - 20. Solve v*f = -f - 12 for f.
-3
Suppose -5*r + 2*r = 3*w, -10 = -3*r + 2*w. Solve -r*a + 3 = a for a.
1
Let g = -1 - -3. Solve 0 = 6*q - g*q - 8 for q.
2
Let i be (-2)/(0 - 2/4). Let a be 1/(-4) - (-61)/i. Suppose 5*b = 50 - a. Solve -b = 5*f - 2 for f.
-1
Let k = -6 + 9. Suppose -2*s - 1 = -k. Solve 11 = 5*z + s for z.
2
Suppose 6*u - 1 - 17 = 0. Solve 2*l = -u*l - 10 for l.
-2
Suppose 80 = 3*n + n. Suppose -n + 0 = -h. Solve -2*p - 3*p - h = 0 for p.
-4
Let l(h) = -h**3 - h**2 + 4*h. Let z be (-1)/(-3 - -2) - 1. Suppose z = -2*p - 1 - 5. Let r be l(p). Solve 4*n + r = -10 for n.
-4
Suppose 2*j + 8 = -2*p, 4*p + 2 + 4 = j. Let n(t) = -t**3 - 2*t**2 - 2*t + 1. Let z be n(j). Solve o = z*o + 8 for o.
-2
Let k = 7 - 4. Let v(j) = 4*j**2 - j + 2. Let c be v(2). Let l be 2*(-3)/(-2) + c. Solve k*u - 4 = -l for u.
-5
Let b(h) be the third derivative of h**5/60 + 7*h**4/24 + 4*h**3/3 - 5*h**2. Let u be b(-7). Solve -5*c + u*c = 12 for c.
4
Let c be (-2)/(-4)*(-16)/(-4). Solve a = c*a for a.
0
Suppose -3*x + x + 52 = 0. Suppose -5*m + 30 = -5*r, 4*m + 0*r = 5*r + x. Let u be (m/(-3))/((-18)/27). Solve -w = w - u for w.
1
Let g = 47 - 44. Solve y - g = -7 for y.
-4
Suppose 0 = -5*f + 9*f - 12. Solve g - 12 = -f*g for g.
3
Suppose 5*n - m = -2*m, -4*n = 2*m. Solve 12 = 4*p - n for p.
3
Let j = 2 - 3. Let n(i) = i**2 + 3*i + 1. Let f be n(-4). Let m = f + j. Solve -w = -m*w - 3 for w.
-1
Let m be 3/2*(0 + 2). Suppose 4 = 5*q - m*q. Solve -1 + q = -a for a.
-1
Suppose 4*p - 2*m = 0, 0 = -0*p + 3*p + m - 10. Solve -p*t = 2*t for t.
0
Suppose 2*m - 14 - 8 = -3*v, -5*m - 2*v = -44. Let i = 21 - m. Suppose 0 = -5*u + 2*t + 10, i = 5*u - 3*t - 2. Solve -4*j + 3 + 5 = u for j.
2
Let w be ((-5)/(-4))/(3/12). Suppose w*g - 20 = g. Solve g*h - 12 = h for h.
3
Suppose 22 = 2*z + 2*h, -z = 3*h - 30 + 9. Suppose -3*i + z*i = 0. Solve -c + 0 - 2 = i for c.
-2
Suppose -5*q = -8*q + 57. Suppose 10*n - y - q = 5*n, -n + 7 = -y. Solve 0 = -n*s - 1 - 2 for s.
-1
Let p(z) = -z**3 - 13*z**2 + 4. Let b be p(-13). Let y be (-5 + 8)*b/3. Solve y + 21 = 5*s for s.
5
Let i(m) = -m**2 - 5*m + 8. Let b be i(-6). Suppose b*d = 8, d = -2*o + 3*d + 22. Let r be 1 - 3 - o/(-3). Solve r*n = -13 - 2 for n.
-5
Let a(i) = 9*i**2 - i + 1. Let r be a(1). Suppose -4*t = -7 - r. Solve d = -t*d for d.
0
Suppose -3*x + 2*x = 5*m + 5, -5*x - 2*m - 2 = 0. Solve c = -x*c + 5 for c.
5
Let p(w) = -15*w - 41. Let t be p(-3). Solve -20 = t*i - 9*i for i.
4
Let s = 11 - 8. Suppose p = -3*r + 13, -5*p - 2*r = -0*r - 78. Suppose 3*j - p = j. Solve s*a - j = 5*a for a.
-4
Suppose -t = 5*u - 81, 3*u - 53 = 5*t - 10*t. Suppose 3*o + o = 4*x - u, 2*o = -4*x + 16. Solve o*p + 5 = -5*p for p.
-1
Suppose 2*t - t = -3*l + 10, 0 = -5*t - 4*l + 72. Solve -z + 5*z = t for z.
4
Let d(p) = p + 9. Let u be d(-5). Suppose 0 = -3*q - 5*z - 15, -q = u*q - z - 3. Solve -2*a + 6 = -q for a.
3
Let s = 9 + -4. Let x = 10 - s. Solve -7 - x = -3*b for b.
4
Let u be (92/16 + -2)/(12/32). Solve n - u = 6*n for n.
-2
Let o(a) = 4*a + 5. Let d(i) = -13*i - 14. Let x(t) = -2*d(t) - 7*o(t). Let w be x(-5). Let b be w*2*1/3. Solve 13 = -b*c + 3 for c.
-5
Suppose 0 = -4*h - 5*s - 15, 0 = -2*h + 2*s + 2*s + 12. Let n be (-26 - h)*2/4. Let z = n + 18. Solve -3*l = -2*l + z for l.
-5
Suppose 0 = 3*o - 3 - 0. Suppose 2*u + o = 5. Let t be 0 + (u - 4) - -16. Solve -t - 11 = 5*b for b.
-5
Suppose -7*k - 7 + 28 = 0. Solve -k*y - y = -8 for y.
2
Let i(f) = 2*f**2 + 9*f + 4. Let m be i(-4). Solve m*d = -2*d + 8 for d.
4
Let v(d) = d**3 - 5*d**2 - d + 4. Let r be v(5). Let x be ((6/3)/2)/r. Let g be 0 - (-2 + x) - 1. Solve 3*l - 4 = g*l for l.
4
Let h = 9 + -9. Solve -3*a + h*a = -9 for a.
3
Suppose 0*y + y = 3. Let l = y - -1. Suppose -2*v + 0*v = -l. Solve m = -v*m - 6 for m.
-2
Let y(g) = -g**3 + 7*g**2 - 6*g - 1. Let m be y(6). Let s be (-1)/(6/7 + m). Let v = 21 + -17. Solve -s - 9 = -v*p for p.
4
Let n(c) = c + 3. Let w be 7/3*15/(-5). Let i be n(w). Let a = 0 - i. Solve -x - a*x = 25 for x.
-5
Suppose 4*p - 8 = 8. Solve u = p*u + 15 for u.
-5
Suppose 4*a = 2*a + 2. Suppose 3 = h - 7. Let g = 10 - h. Solve 0 = -m - g + a for m.
1
Suppose 0*q = 5*q + 5. Let z = q + 2. Solve t + 2 + z = 0 for t.
-3
Let b(c) = -c**3 + 6*c**2 + 8*c - 8. Let k be b(7). Let n = k - -5. Suppose -3*z = -3*s + 12, 0 = -3*s + n*z + z + 16. Solve -17 = -5*q - s for q.
3
Suppose 0 = 12*z - 11*z - 4. Solve 3*s - z = 7*s for s.
-1
Let t be (1 - (-14)/(-18)) + (-68)/(-18). Solve -t*n + 9 + 3 = 0 for n.
3
Let c be (9/(-84)*-7)/((-1)/(-16)). Solve 2*d = 4 - c for d.
-4
Let q(y) = -y**2 - 6*y + 15. Let d(r) = -r**2 - 6*r + 16. Let z(o) = -5*d(o) + 6*q(o). Let g be z(-7). Solve -g*f - 2*f = -5 for f.
1
Let q(f) = f**2 + 3*f + 3. Let k be q(-3). Solve 0 = -k*l - 0*l for l.
0
Let x = 15 + -5. Let g be 4/(-10) - 56/x. Let o be (g/4)/((-2)/4). Solve 0 = o*p - 14 + 5 for p.
3
Suppose -3*y + 0*y = 0. Let z = y - -3. Solve 0 = 3*n + z + 6 for n.
-3
Let u(b) = b**3 - b**2 - b - 3. Let x be u(0). Let q be 30/(2 + x/6). Solve -3*w + q = w for w.
5
Let s = -21 - -31. Suppose 5*z + 4*l - 2 = 0, -3*l - s = 2*l. Suppose 6 = z*b - 4. Solve -25 = -10*n + b*n for n.
5
Let a be 37/4 + 1/(-4). Suppose p - 6 = -p. Suppose -7*y = -3*y - 3*d - 17, 3 = -3*y - p*d. Solve y*w + a = 3 for w.
-3
Let q = -5 - -3. Let v be (-2)/4 + 11/q. Let s = 10 + v. Solve s = -t + 7 for t.
3
Suppose 4*t = t - 33. Suppose -4*k - 45 = -7*k. Let i = k + t. Solve 0 = 3*s - i*s + 4 for s.
4
Let v = 4 + -1. Suppose 75 = 3*l - 5*q, 4*l - 44 = -5*q + 21. Solve -v*p = p + l for p.
-5
Let x be 60/27 + (-4)/18. Let h(i) = -4*i**x - 13 + 3*i**2 + 3 + 13*i. Let d be h(11). Solve -4*r - 4 = -d for r.
2
Let x(n) = n**3 + 22*n**2 - 2*n - 39. Let b be x(-22). Solve -4*z + 7 = -b for z.
3
Let n = 15 + -6. Suppose -4*a = -7*a + n. Solve 2*d = -5 - a for d.
-4
Let f be 13/((-65)/(-30)) + -4. Let i = 1 - 2. Let u be (9 + i)*-1*-1. Solve u = -f*y - 2 for y.
-5
Suppose -y = -0 - 2. Suppose -5*g + 12 = -y*g. Suppose -g*o = -o. Solve -2*m + 2 + 0 = o for m.
1
Let u(f) = -f**3 - 6*f**2 + 3*f + 7. Let k be u(-6). Let p = 15 + k. Solve p*i + 1 = 13 for i.
3
Suppose -2*c = -8*c + 48. Solve 3*w - c = -w for w.
2
Let q(d) = d**2 - 6*d. Let n be q(7). Let f = 17 - n. Suppose c - f = 3. Solve -5*y - c = -3 for y.
-2
Suppose -3*g = 1 - 7. Solve -3 = -3*a + g*a for a.
3
Let o(s) = s + 10. Let j be o(-8). Solve j*x - 3 = -x for x.
1
Let h = 108 - 108. Solve 3 = -b - h for b.
-3
Suppose 5*a + 2*b - 58 = 0, -a = -0*a - 5*b + 10. Suppose -2*r - a = -4*r. Solve -23 = -r*i - 8 for i.
3
Suppose -s + 0*t - 4*t = -22, 0 = -3*s - 5*t + 31. Solve 0 = -s*z - 2*z - 12 for z.
-3
Suppose -t + 3*p + 17 = 0, 2*t - 16 + 32 = -4*p. Solve -t*y + 4*y + 6 = 0 for y.
-3
Let j be 4*3/3*1. Solve -2*d = -4*d - j for d.
-2
Let z(a) = a**3 - a**2 - a + 1. Let p be z(1). Suppose -4*u + 2*b = -b - 15, p = 2*u - 5*b - 11. Suppose -10 = -q + 2. Solve 0*y = u*y - q for y.
4
Let n(a) = -a**3 + 8*a**2 - 7*a + 4. Let t be n(7). Suppose 2*r - t*r - 11 = 3*y, -27 = -r + 5*y. Solve o - 3 = r for o.
5
Suppose -2*p = -11*m + 6*m + 30, -5*m - 2*p + 30 = 0. Suppose 0 = -2*u - 3*q - 2*q + 42, -q - 78 = -5*u. Solve m*g = 2*g + u for g.
4
Suppose 0 = -3*o - 0*d + 4*d - 12, -4*o + 12 = 4*d. Suppose 0 = i - 3*i. Suppose 4*k + i*k - 12 = o. Solve -7*y - 4 = -k*y for y.
-1
Let g(m) = m**3 - 7*m**2 + 7*m + 7. Let q be g(6). Solve 3*h + 4 = q for h.
3
Suppose -23*n + 14 = -18*n - c, 4*n - c = 12. Let s(p) = p**2 + 2*p - 4. Let x be (-4)/(-10) + (-66)/15. Let u be s(x). Solve -u = -n*j + 4*j for j.
-2
Let x(m) = m - 14. Let d be x(10). Let k = d + 7. Let o be (-58)/(-8) - 1/4. Solve -o - k = -2*t for t.
5
Suppose -2*o + 2 = -0. Suppose 0 = c - o - 2. Solve 0 = 2*u + u + c for u.
-1
Let f be -2 + 0 - -4*2. Suppose -f*b + b = -25. Let i be 3/(9/(-24)*-4). Solve -i*p = -b + 1 for p.
2
Let j = 5 - 3. Let k(l) = -l**2 + 3*l - 1. Let d be k(j). Let t = -1 - -1. Solve w + 6 - 