or h.
0
Let o(a) = a**2 - 10*a + 23. Let z be o(7). Solve 0*w = z*w + 10 for w.
-5
Let i be -1 + -5 + (3 - 2). Let f(v) = -2*v - 2. Let s be f(i). Suppose 0 = 5*m + 1 - 26. Solve s*r - 15 = m*r for r.
5
Suppose 4*w - 2*p - 11 = w, 0 = -4*w + 3*p + 13. Suppose w*n - 2*n = -5. Let i be (n - 0) + 0 - -13. Solve b = 4*b + i for b.
-4
Suppose -c - 5*m + 0*m = 3, 23 = 3*c - m. Solve 2*l - c*l - 20 = 0 for l.
-4
Let r(c) = -c**2 - 8*c - 9. Let b be r(-6). Let i(g) = -g**3 + 6*g**2 + g + 1. Suppose 0 = 2*h + 6 - 18. Let l be i(h). Solve -b + l = -4*k for k.
-1
Let s = -6 + 11. Suppose 0 = 3*y - 5*f + 12 + s, -8 = -2*f. Solve y = -l - 0 for l.
-1
Let m = -2 + 2. Suppose m*k - 4*k = 0. Suppose -g + 5 = 3, -4*v - 4*g + 40 = k. Solve v = 5*r - r for r.
2
Suppose -3*r + 2 = -4. Suppose 3*i = -2*i. Solve i = r*u - 2 for u.
1
Let g = -49 + 49. Solve 2*n = -g + 8 for n.
4
Suppose -7 = -q - 2*z + 5*z, -z = q - 3. Solve -q = s - 3*s for s.
2
Let q(x) = 2*x**3 - 11*x**2 - 6*x + 2. Let m be q(6). Solve 0 = -m*z + 4 - 0 for z.
2
Let b(s) = s**3 + 5*s**2 - 5*s + 8. Let w be b(-6). Let u be ((-3)/2)/(w/(-4)). Let n be (16/6 - 2)*u. Solve -q - q = -n for q.
1
Suppose -3*s + 0*s = -9. Suppose -s*v = -64 + 10. Suppose 2*u - u = -5*l + v, -l + 6 = u. Solve -u*t = -t for t.
0
Let j be (1 + 5)/((-4)/(-6)). Let b = 88 - 128. Let p be b/(-12)*(-12)/(-10). Solve -p*g - j = -g for g.
-3
Let j = 67 - 59. Solve -w - j = w for w.
-4
Suppose 0 = -m - m - 6. Let l be 14/3*(0 - m). Suppose 5*t = 3*t + l. Solve 3*z + 1 = t for z.
2
Suppose 0*a + 5 = -5*a, 5*j + 8 = -3*a. Let i be (-2)/(0 + j)*1. Suppose z - 61 = -58. Solve i*d + z*d = -20 for d.
-4
Suppose 5*d = 2*r - 4*r + 10, -3*r + 10 = 5*d. Suppose 7 = 2*i + x - r*x, -5*i = -x - 21. Solve 2*a = i*a + 4 for a.
-2
Suppose 0 = -5*l + 11 + 4. Suppose l*j + 2 = 11. Suppose -5*z = 0, -j*o + 0*z = z - 6. Solve -4*f - o - 2 = 0 for f.
-1
Let l be (-13)/(-5) + (-2)/(-5). Let w(g) = g - 7. Let j be w(6). Let u = j + l. Solve -10 = -7*d + u*d for d.
2
Suppose 0 = -9*b + 12*b - 6. Let r(o) = -o**3 - 3*o**2 - 3*o. Let c be r(-2). Solve b + c = -q for q.
-4
Let j be (8/(-6))/((-2)/6). Suppose -5*b = n + 2, -3*n + 0*b = -j*b - 13. Solve -n*w + 10 = -w for w.
5
Suppose 0 = -k - 2*k + 6. Let p(m) = 2*m**2 - 3*m + 2. Let i be p(k). Solve -3*z - 19 + i = 0 for z.
-5
Let r = 21 + -36. Let b = -9 - r. Solve n = -n - b for n.
-3
Let y = -21 + 26. Solve 0 = -y*j - 5 - 5 for j.
-2
Suppose 10 = 3*x + 2*m - 5, -m = 2*x - 9. Solve 3*b + 0*b + x = 0 for b.
-1
Let v(m) = 4*m + 2. Let n be v(-3). Let r = -2 - n. Suppose -5*y + 20 = -15. Solve -5*i - r - y = 0 for i.
-3
Suppose -17*t = -15*t - 8. Solve -c - t*c = -10 for c.
2
Suppose 0 = 5*j - 0 - 15. Suppose 0 = -c - f - 4, c = f + j*f + 16. Solve c = 2*n - 5*n + 15 for n.
5
Let y be (-4 + (-4)/(-2))/(-2). Solve 9 = 5*k - y for k.
2
Let u(j) = -j**2 - 4*j + 21. Let w be u(-6). Solve 5*g = w*g - 12 for g.
3
Let l(m) = -m**3 - 5*m**2 + 5*m + 2. Let r be l(-6). Solve 0 = 4*q - 8 - r for q.
4
Suppose 0 = -2*m - 13 + 5, -5*d = -3*m - 52. Suppose d = -i - 5*h, 0 = 4*h - 1 + 9. Let g be 8/6 + 4/6. Solve g = i*y + 12 for y.
-5
Let m(y) = y**3 + 14*y**2 + 12*y - 11. Let q be m(-13). Solve -q*p + 8 = -0*p for p.
4
Let q(l) = -l**3 + 16*l**2 + 7*l - 112. Let g be q(16). Let j(v) = -3*v**2 + v. Let c be j(1). Let i be (3/2 + c)*0. Solve -2*w + g - 2 = i for w.
-1
Let k = 20 + -17. Solve 6 = k*r - r for r.
3
Let c = -276 - -292. Suppose 0*u + 5*q - 25 = 5*u, -u + 4*q - 20 = 0. Solve 0 = -u*f + 4*f + c for f.
-4
Let z(c) = 4 - 2*c + c**2 - 3 - 3*c. Let h be z(7). Let r(p) = 3*p**2 - p. Let b be r(1). Solve -h = b*k + k for k.
-5
Let c = 25 + -13. Suppose 2*j = -w + c, -4*j + 0 = -w - 12. Solve m + m = j for m.
2
Let r(p) = -p - 7. Let f be r(-10). Suppose -5*v = -f*v - 6. Solve v*s - 2 = 4*s for s.
-2
Let h = -106 - 34. Let i be 2/(-13) + h/(-65). Solve i = f - 1 for f.
3
Let q be (-24)/(-9) - 1/(-3). Let w be -2*1 + 1 + 5. Solve w*m = q + 9 for m.
3
Let p(h) = -h**3 - 3*h**2. Let a be p(-4). Suppose j + 5 = 3*y - 3, y - 5*j + a = 0. Solve y*u = -u for u.
0
Let u(q) = -15*q**3 + q**2 + q. Let z be u(-1). Let t be (0 + -5)*(-9)/z. Suppose -t*w = 2*p + 1, w - 4*p = -w + 26. Solve -2*m - w*m = 0 for m.
0
Let l = 0 - 0. Suppose a - 4*v + 5 = l, -v + 10 = 2*a - a. Let r = a - 7. Solve 4 = -n - r for n.
-4
Suppose 2*b - 3*b + 5 = 0. Suppose 6 = 4*m - 0*w + w, -b*m + 5*w = 5. Solve m = -o - 3 for o.
-4
Let o(j) = -2*j - 7. Let b be o(-4). Suppose -6 = a - 3*a. Suppose -5*m + a*i = 2*i - 21, 5*m - 4*i = 24. Solve t + m = -b for t.
-5
Let j(r) = r**3 + 8*r**2 - 3*r + 1. Let u = -20 + 42. Suppose 0 = -2*n + 6 - u. Let h be j(n). Solve 5*d = -0*d - h for d.
-5
Suppose 0 = -8*u + 22 - 6. Solve 0 = 8*s - u*s + 18 for s.
-3
Let i = 8 - 5. Let l be 8/i*(-60)/(-16). Solve -b - l = -5 for b.
-5
Suppose x + 0 - 8 = 0. Solve 2*n = -2 - x for n.
-5
Suppose 6*u = 10*u - 24. Solve 2*o - u = 2 for o.
4
Let s = 2 - 23. Suppose y = q - 12, -2*q - 55 = 4*y + q. Let u = y - s. Solve -5*b = u - 3 for b.
-1
Suppose -3*z + 0*j = 3*j - 6, -2*z - 1 = -3*j. Solve -z = 2*u + 1 for u.
-1
Let u(m) = -m**2 + 3*m + 1. Let g be u(-2). Let j = -9 - g. Solve j = 5*p - 11 - 14 for p.
5
Suppose 3*f - 9 = -3*o, -3*f + 2*o = -0 + 1. Solve -5 - f = -2*v for v.
3
Suppose 2*o - o = -4*v - 4, 0 = 5*o + 20. Solve -8 = -v*z - 2*z for z.
4
Suppose 4*d - 43 = -7. Solve 11 = 4*l - d for l.
5
Suppose z = -0*z + 4*d + 3, 3*z + 3*d - 24 = 0. Suppose s = 4*s + 12, 2*s + 28 = -4*h. Let w = z + h. Solve 3 = 5*p - w*p for p.
1
Suppose 58 + 2 = 4*z. Let d = z + -11. Suppose -a = d*a. Solve 2*q + a*q = 0 for q.
0
Let c(i) = i**3 + 7*i**2 + 5*i - 4. Let m be c(-6). Solve -12 = -a - m*a for a.
4
Suppose 5*f - 11 = 4. Let o(h) = -h**3 - h**2 + 2*h. Let y be o(-2). Solve -f*n = -3 - y for n.
1
Suppose -6 = -11*b + 9*b. Suppose 0 = y - b*y. Solve y = -0*q - 4*q + 20 for q.
5
Let w(q) = q - 1. Let o(b) = -5*b + 4. Let p(g) = -o(g) - 4*w(g). Let n be p(10). Suppose -2*m - 3*m + n = 0. Solve 0*h - 4 = m*h for h.
-2
Let i(d) = 2*d - 20. Let n be i(12). Solve 0 = -8*f + n*f - 16 for f.
-4
Suppose -11 - 2 = -v. Solve 0 = 3*g - 2 - v for g.
5
Let d be (-3)/2*-3*(-76)/(-114). Solve -d*w = -8*w + 25 for w.
5
Suppose -5*d = -4*j - 8 - 17, -5 = -d + j. Let o = 28 + -15. Suppose -n = 2*g, -2*n + d*g + o = -5. Solve -2*v + 2 = -n for v.
3
Let j = 8 + -2. Let d(c) = c - 3. Let i be d(9). Let n(y) = y**3 - 6*y**2 + 3. Let a be n(i). Solve a - j = 3*v for v.
-1
Let m be (-1)/(2 - 1) + 1. Let g = -3 + 7. Suppose -g = -2*c - m. Solve 3*u - 4*u - c = 0 for u.
-2
Let l(s) be the third derivative of -s**6/120 + 7*s**5/60 + 11*s**4/24 - 2*s**3/3 - s**2. Let f be l(8). Let c be (15/f)/(2/32). Solve c = 4*n - 0*n for n.
3
Let o(u) be the third derivative of -u**6/120 + u**5/10 + u**4/24 - u**3 + 10*u**2. Let z be (-1)/(-2)*2 + 5. Let h be o(z). Solve -4*i = -h*i for i.
0
Suppose -23*o + 18*o = -90. Solve -5*r = -o + 3 for r.
3
Suppose -3*k + 2 - 5 = b, 4*k = 3*b - 17. Suppose -f - b*f = 0. Solve f = -l - l for l.
0
Let i be (-16)/10*(-15)/6. Solve a + 15 = -i*a for a.
-3
Suppose 3*n + 4 = 7. Suppose g + 1 = -3*w, -6*w - g = -4*w + n. Solve w*k = 5*k for k.
0
Suppose 31 = 6*r - 11. Suppose -3*h = -2*a, r*a - 9 = 4*a. Solve 1 + 3 = h*j for j.
2
Let u be 5/6 - (-1)/6. Solve -3*y + u = -4*y for y.
-1
Let i(b) be the first derivative of -b**2 - 10*b + 2. Let d be i(-7). Solve -l = d*l + 20 for l.
-4
Let k(t) = -t**3 + t**2 - t + 6. Let y be k(0). Solve -y - 6 = 3*w for w.
-4
Let z(p) = -p**3 - 8*p**2 - 9*p - 10. Let b(i) = -i**3 - 5*i**2 - 3*i - 3. Let k be b(-4). Let q be z(k). Solve 5 + 11 = q*y for y.
4
Let u be (-2)/5 - (-24)/10. Let x = -3 + 5. Suppose -4*g - g = w, -x*w = -3*g. Solve g = u*s - 0 - 10 for s.
5
Let w be 72/(-20)*(-20)/8. Solve 3 + w = 3*o for o.
4
Suppose -3*s = 3*m + 2*s, -5*s = -5*m. Solve 6 = -3*v - m for v.
-2
Let r = -21 + 29. Let h be 4/(r/6) + 0. Suppose 12 = h*o - 0*o. Solve 0 = 3*j - j - o for j.
2
Let p(t) be the first derivative of t**2 - 8*t - 4. Let j be p(5). Solve -j*o - 2 + 4 = 0 for o.
1
Let l(a) = -7*a + 6. Let d(p) = 6*p - 5. Let f(m) = 4*d(m) + 3*l(m). Let u be f(5). Solve 0 = 3*g + u + 2 for g.
-5
Let w be -2*(9/(-6) - 1). Solve 17 - w = -3*d for d.
-4
Suppose 5*d - 5 = 