or d.
-4
Suppose h = 2*p - 4*h - 1, -p + 4*h = 1. Solve -p = 4*y - 23 for y.
5
Suppose -14 = n + 3*x - 7, n - x - 5 = 0. Solve 0 = n*s - 6 for s.
3
Let s be (7*1/14)/(2/20). Solve -s = -3*x + 2*x for x.
5
Let x = -204 - -204. Solve x = 5*f - f + 12 for f.
-3
Suppose -5*f - 4*i = -56, 0*i = 2*f - 4*i. Solve 5 = -3*l + f for l.
1
Let a = 9 + -7. Solve -a*o - 4 = 2 for o.
-3
Suppose -5*x - 31 + 11 = 5*r, 2*r = 4*x + 10. Let t = -4 - x. Let u = t + 7. Solve 4*l = 2*l - u for l.
-3
Suppose -2*x - 6 = 3*k + x, -k = 5*x + 10. Let t = 4 - 0. Let s be 10/(560/24) - (-6)/(-14). Solve k = -s*q + q + t for q.
-4
Let p(f) = f**2 + 5*f + 1. Let m be p(-5). Let z = 15 + m. Solve 5*v = v + z for v.
4
Let b be 2/(-4 + 2) - 0. Let t be (-13)/2 - b/2. Let l(x) = x**2 + 5*x + 6. Let p be l(t). Solve 0 = -s - 2*s + p for s.
4
Suppose 5 = 2*b + 3*b. Let g be 17/5 + (-6)/(-10). Let z be (6/(-1))/(4/(-2)). Solve g*r - z = b for r.
1
Let j = 3 - -3. Suppose -2*s + 4*r - j = -0*r, 0 = r - 2. Solve 0 = -o - s + 4 for o.
3
Suppose 4*m = 3 + 5. Solve 4*g = -m - 18 for g.
-5
Suppose 3*g - 7 = 2*v + 7, 2*g + 12 = -4*v. Solve -g*k - 6 = k for k.
-2
Suppose -h - 6 = -3*h. Solve -h = 4*p - p for p.
-1
Let j be 1 + 6/1 + 0. Suppose k - 5*k + 4 = 3*u, 20 = 5*u. Let x be k/10 + (-130)/(-25). Solve 0 = x*r - j - 3 for r.
2
Suppose 4*p + 4*m = -p + 19, 0 = -3*p + 5*m + 4. Suppose 0 = 5*w + 5*z + 25, p*w = z - 0*z + 5. Solve c + w = 1 for c.
1
Suppose 3*n + 4*y = 0, -3*y = -2*n - 5*y. Solve n = -t - 5 for t.
-5
Suppose -7 = -4*f + 17. Suppose 0 = 7*t - 2*t - 5. Let q be f + -7 + 2*t. Solve -p - q = 1 for p.
-2
Let n be 0/(7 - (-4 + 9)). Solve n = -3*a - 13 - 2 for a.
-5
Let y = -29 + 29. Solve y = -6*d + 2*d - 8 for d.
-2
Let m = 4 + -5. Let n be -6*m/(-2)*-1. Solve -9 = -0*z - n*z for z.
3
Suppose 3*f = 4*f. Suppose f*i = 5*i. Solve -5*h = -i*h for h.
0
Suppose 1 = 4*p + 5. Let x be 5 + p + (-7 - -5). Solve -4*q = -x*q for q.
0
Let f(s) = -2 + 1 - s + 4 + 4. Let w be f(5). Solve 3*a + 1 = w*a for a.
-1
Let t(i) = 2*i + 15. Let o be t(-6). Solve -4*d - 11 + o = 0 for d.
-2
Let r = -5 + 7. Suppose 0 = 5*s - 0*s - 105. Suppose -18 = -r*n - 4*u, 0*u - 3*u = 2*n - s. Solve 5*w + n = -5 for w.
-4
Let y(o) = -o**2 + 15*o + 4. Let r be y(15). Suppose 2*l = -r + 12. Solve 3*s - 3 = l*s for s.
-3
Suppose 5*t = -l + 10 + 7, -4*t = -4. Solve l - 32 = -4*p for p.
5
Let s be (-32)/(-6) - (-2)/(-6). Solve -2 = -s*g - 27 for g.
-5
Let g(d) = -d**2 + 6. Let y(z) = -1. Let b(l) = -g(l) - 4*y(l). Let o be b(3). Solve o*j = 3*j + 12 for j.
3
Let j(z) = z**3 - 2*z + 2. Let l be j(2). Let u be 40/(-12)*l/(-5). Solve -3*o - 1 + u = 0 for o.
1
Let s(y) = -y**3 + 4*y**2 + y. Let q be s(3). Suppose 2*r - q = -r. Solve -r*j = -j for j.
0
Let h be 45*(30/9 + -3). Let j be 0/(-2)*-1 + 0. Solve j*q = 5*q - h for q.
3
Let n be -1*(-3 - (2 + 0)). Solve 0*c - n*c = -15 for c.
3
Suppose 3*z = 4*z - 2. Suppose -l - z = -3*s + 4*s, 4*s = l + 12. Suppose 0 = -3*b + 8 - s. Solve -3 = 3*v - b*v for v.
-3
Suppose 2 = 2*m - h - 1, -m + 2*h - 3 = 0. Solve m*o - 2 = -5 for o.
-1
Let l(v) = -v + 11. Let d be l(7). Suppose i + 1 = d. Suppose -3*c = -5*f + 15, -5*c + 0*c = -i*f + 25. Solve f*y + 20 = 5*y for y.
4
Let w be 9/11 + 6/33. Let i(q) be the second derivative of -q**4/12 - 3*q**3/2 + 3*q**2/2 - 4*q. Let k be i(-9). Solve 0 = -k*j - w + 4 for j.
1
Suppose -5*o + 4*n - 12 = 0, -3*o + n - 3 = -0. Solve -5*b + 9*b - 4 = o for b.
1
Suppose 2*v + 4 = 4*u, -6*v + 3*v = 3*u - 30. Solve v*i = i + 25 for i.
5
Suppose 0 = -2*c + 2, -j + 2 = -5*c - 1. Let k(n) = 4*n**3 + n**2 - n. Let x be k(1). Suppose -5*o + 31 = x*m, -6*o + o + 4*m = 1. Solve o*i + 1 = -j for i.
-3
Suppose -5*r - 7 = -12*r. Solve 2*q + 5 + r = 0 for q.
-3
Let i be 4 + 1/((-1)/1). Suppose b - 105 = -93. Suppose -1 = s + 2, -27 = -4*c + 5*s. Solve c*q = b + i for q.
5
Let j(c) = -c**2 - 5*c + 2. Let y be j(-5). Solve -y*l - 3*l = 0 for l.
0
Suppose 3*a - a - 14 = -4*d, -5*d + 4*a = 15. Solve 3*r + d = -2 for r.
-1
Suppose 2*w - 5*w = 0. Suppose 0 = -3*j - 3*n + 12, -3*j + 2*n + 7 = -w. Solve z = -j*z for z.
0
Let f = -39 - -41. Solve 0 = -f*k - 7 + 17 for k.
5
Let a = -3 + 7. Solve 9 = a*r - 3 for r.
3
Let t be 291/33 - (-12)/66. Solve t = -5*q - 11 for q.
-4
Let a = -13 + 18. Let z be (4 + -5)/((-1)/a). Solve z*k = k for k.
0
Let y(p) = p**2 + 11*p + 3. Let i be y(-11). Solve r - 2*r = -i for r.
3
Suppose k + 4*a - 3 = 0, -2*a + 54 = k + 3*k. Suppose 8*h - 3*h - k = 0. Let x be (4 - (-6)/(-2))*h. Solve -2*c - 25 = x*c for c.
-5
Suppose 3*q = 2 + 1. Let f be (4 - -1) + q + -2. Let b = -1 - -3. Solve -14 - b = -f*x for x.
4
Suppose 5*n = 2*n + 21. Let w = 11 - n. Solve 6*a - 2*a - w = 0 for a.
1
Let b be (1 - (1 - 5/3))*3. Solve -2*k - 13 = -b for k.
-4
Let j(y) = y**3 - 4*y**2 - 4*y + 5. Let k be j(5). Let m = k - -15. Solve m = -5*v - 0 for v.
-5
Let g(w) = -w + 10. Let h be g(5). Suppose 0 = 3*r + 4*j - 9*j - h, 2*j + 2 = 0. Solve x + 3 = -r for x.
-3
Suppose 2*x - 40 = -2*b, 4*b - 3*x - 80 = -4*x. Let a = b + -18. Solve -22 + a = -5*i for i.
4
Let p = 4 + 3. Suppose 3*l - 24 = -2*o + p*o, -5*l - o = -12. Suppose -h - l*r = -11, 2*h - 4*r = -6 - 2. Solve s - 2*s + h = 0 for s.
2
Suppose -20 = 3*p - 5*j, -3*p + 4*j + 11 = 27. Solve p*w = w + 2 for w.
-2
Suppose 57 = 3*h + 6. Let u be 22/6 - (-4)/(-6). Solve -u - h = 5*x for x.
-4
Suppose -5*b + 9 + 1 = 0. Suppose b*d - 6 = 2. Let x = 4 - d. Solve 4 = -r - x*r for r.
-4
Let i = 28 - 25. Let j(g) = g**2 + 2*g - 2. Let h be j(-3). Let n = i - h. Solve 2*t = -0*t - n for t.
-1
Let l(k) be the third derivative of k**6/120 - k**5/10 - 7*k**4/24 + k**3/2 - k**2. Let r be l(7). Solve r*i = i for i.
0
Suppose 0 = -4*v, u - 20 = -3*u + 4*v. Solve -u*n + 3 + 2 = 0 for n.
1
Let l be 2/3*6/2. Suppose l*b = 5*n - 4, -2*n + 3*b - 2 = 3. Let u = 0 + n. Solve 0 = 3*f + u + 13 for f.
-5
Let s(o) = -2*o + 2. Let b be s(7). Let j be (-28)/b + 3/(-9). Solve -i + j = i for i.
1
Let s = 8 + -5. Let a be (-4)/(-20)*-4*-10. Suppose h - 9 = -d - 0*h, -4*h = -4*d + 20. Solve s*l - d = a for l.
5
Suppose 10*t = 12*t - 8. Solve 3*d = t*d + 2 for d.
-2
Let i be -3 + 5 + -1 - -4. Let u = 1 + i. Let p = -4 + 6. Solve u = -p*g - 0 for g.
-3
Suppose c + 2*c = 9. Let b(s) = -s + 1. Let k be b(c). Let m = 4 + k. Solve m*z = -2*z + 8 for z.
2
Suppose 0 = n - 2*y + 5*y - 4, 4*y + 4 = n. Suppose 0 + 8 = n*u. Suppose u*p = p. Solve p = 3*s - s + 10 for s.
-5
Let x = -26 - -51. Suppose 4*h + 5*v + 25 = -0*v, -5*v = -5*h + x. Solve -g + 3*g + 10 = h for g.
-5
Let l = -2 + 4. Let x = 24 - 36. Let g be 6/(-4)*x/9. Solve -g*t - l*t + 12 = 0 for t.
3
Let m(z) = -z**2 + 2*z - 1. Let v be m(2). Let n be 16/3 + v/3. Suppose -2*k = 3*l - 12 - 3, -n*k + 15 = 0. Solve -l = -5*s + 22 for s.
5
Suppose 6*f + 5*f = 0. Solve f = -3*i + 5*i for i.
0
Let a(c) = 2*c - 4. Let g be a(3). Let q = g - -1. Let l(j) = -j - 3. Let t be l(-4). Solve 2*h + t = -q for h.
-2
Let p(i) = -3*i - 13. Let w be p(-6). Solve w*f = -7 - 18 for f.
-5
Suppose -3*l = 2*l - 5. Let w be (0 - 1) + (l - -16). Solve -5*q + w = -4 for q.
4
Let b be -4 - (-4 - -2) - -5. Solve -b*y - y = -20 for y.
5
Let u = -29 - -36. Solve 1 = -2*b - u for b.
-4
Let x(n) = n**2 + 9*n. Let h be x(-8). Let u be ((-2)/8)/(1/h). Solve 0*r + u*r = -2 for r.
-1
Let o = 88 - 83. Solve u = o*u for u.
0
Let h(v) be the first derivative of 5*v**3/3 + v**2/2 + 2*v + 2. Let m be h(-4). Suppose -m = -5*s + 2. Solve -5*p + p = -s for p.
4
Let h be ((-10)/6)/(1/(-3)). Suppose -3*x - 54 = -12*x. Solve x = h*w + 26 for w.
-4
Let b(g) = 2*g**2 - 3*g + 2. Let i be b(2). Let x(c) = c**3 - 5*c**2 + 6*c - 6. Let a be x(i). Suppose 0 = a*u - 0*u. Solve -3*y + u*y - 12 = 0 for y.
-4
Let c(i) = 7*i**2 - 14*i - 3. Let a(n) = 6*n**2 - 13*n - 2. Let w(x) = 6*a(x) - 5*c(x). Let o be w(8). Solve o*z = z - 2 for z.
-1
Let d(f) = -5*f**2 - f. Let x be d(1). Let y(u) be the first derivative of u**3/3 + 5*u**2/2 - 1. Let o be y(x). Solve n = -o + 1 for n.
-5
Let f be -3 + -3 - 9/(-3). Let m(u) = 2*u**2 + 5*u + 2. Let x be m(f). Suppose 39 = x*k - 51. Solve 5*t = 2 + k for t.
4
Suppose -1 = 2*i + 5. Let l = 7 + i. Suppose -12 = -l*n, -n = -y + n - 4. Solve -3*r = -4*r + y for r.
2
Let l(o) = -o**2 + 6*o + 10. Let r be l(7). Solve -2 - r = q fo