.
5
Suppose -34 = -2*s - 3*p, 3*s + p - 84 + 26 = 0. Let o = s - 11. Solve -m = 4 - o for m.
5
Suppose -3*s + 23 = -2*p, -5*s + 3*p + 33 = p. Suppose -4 = -s*q + 6. Solve -k - q = 1 for k.
-3
Let p(v) = -v**2 + 9*v - 8. Let k be p(6). Let c be 15*2*(-1)/(-6). Suppose -k = -c*f, -2*u = -3*u + 4*f - 5. Solve 0 = 3*d + u for d.
-1
Suppose 95 = 4*w + 15*w. Solve -6 = w*c + 4 for c.
-2
Let b be (-2)/5 + 22/5. Let g(h) = -12*h - 2. Let m be g(-1). Solve -10 - m = -b*i for i.
5
Let r = 105 - 102. Solve 0 = -t + 5 - r for t.
2
Let w(a) = -2*a - 14. Let x be w(-9). Solve -x*v = -0 - 16 for v.
4
Suppose -6*b - 6 = -8*b, -2*b + 2 = -r. Solve -9*s + 20 = -r*s for s.
4
Let a = -2 + 7. Let h = 13 - 8. Solve 0 = 2*i - a - h for i.
5
Let z be ((2 - (-15)/(-6))*0)/1. Solve z = 2*w - 0*w + 4 for w.
-2
Suppose -16*k = -79 + 15. Solve -3 = -r - k for r.
-1
Let x(n) = -n**3 + 6*n**2 - 7*n + 15. Let z be x(5). Solve 13 = -z*g - 7 for g.
-4
Suppose -2*l - 31 = -5*n, 3*l + 2*l = 5*n - 70. Let i = 18 + l. Solve t = i*t for t.
0
Let b = 8 - 7. Suppose 3*f = -f - 4. Let t = f + b. Solve t = -0*i + 2*i + 4 for i.
-2
Let b be (1 + -1)/(4/(-4)). Solve 0*j - 2*j = b for j.
0
Suppose 3*x - 39 = -2*l, 5*l = 3*x - 0*x + 66. Solve 3*g + l = 6*g for g.
5
Let v be (-4)/6*(-12)/(-16)*-14. Solve 3*y - v = 8 for y.
5
Let g(o) be the third derivative of o**6/120 + 7*o**5/60 + 5*o**4/24 - o**3/3 - 3*o**2. Let r be g(-6). Solve r*l + 8 = -12 for l.
-5
Let a(q) = -q**2 + 10*q + 3. Let s be a(10). Suppose i = s - 2. Let b = -4 + 7. Solve -2*k + i = -b*k for k.
-1
Let c(l) = 2*l - 1. Let o be c(3). Suppose w - 5 = 6*w - o*u, -3*u = -6. Let z(g) = 5*g**2 - 4*g + 2. Let m be z(2). Solve -5*r = -w - m for r.
3
Let u(q) = -q + 2. Let g be u(-3). Solve 2*v - 3 = -g for v.
-1
Let n = -1 + 2. Let w = 1 + n. Solve z + w*z = 12 for z.
4
Suppose 4*j + 1 = 13. Solve j*c = 2*c - 1 for c.
-1
Let w(f) = f**3 + 3*f**2 + f - 2. Let z be w(-2). Let x(m) = m**2 + 11*m. Let s be x(-11). Solve z*q - 2*q = s for q.
0
Suppose -4*k = -0*k - 16. Solve 0 = -3*w - w - k for w.
-1
Let c be (8/10)/((-105)/(-25) + -4). Solve 12 = -c*k - 0*k for k.
-3
Let y = 15 - 11. Let g(n) = -n + 6. Let f be g(y). Solve -f*q + 0*q = 8 for q.
-4
Suppose -2*r = 3*o, -2*r - 4*o = r. Suppose b = 4 - r. Solve 0*j = -b*j + 20 for j.
5
Let b(z) = -z**3 - 3*z**2 - 2. Let i be b(-3). Let d be 0 + (2 - (i - -1)). Let q = 23 - 21. Solve -d*s + 20 = q*s for s.
4
Suppose 4*m - 2*m + 6 = 0. Let x be 1 - m - (1 + 1). Solve 3*t = -x*t for t.
0
Let u(t) = 3*t - 4. Let a be (6/2)/((-2)/(-2)). Let i be u(a). Suppose c = 25 - i. Solve 0 = -4*x - x + c for x.
4
Suppose -2*u - 2*u = 0. Suppose -2*c + f = -12, f + 2 + 0 = 0. Let r be c + (0 - (0 - -1)). Solve 0*y + r*y = u for y.
0
Let g = 10 + 3. Solve 2*j - g = -3 for j.
5
Suppose 3*q + 0*q = 15. Let d = 48 + -44. Solve q*j - d = 3*j for j.
2
Suppose l - 12 = -3*l. Suppose -l*r + 0 = -12. Suppose r*v - 3*v = 0. Solve -2*f + v - 4 = 0 for f.
-2
Let g(d) = d**2 - 2*d + 2. Let z be g(3). Let y = 3 + -7. Let b(x) = x + 4. Let i be b(y). Solve -z*l + 5 - 30 = i for l.
-5
Let a(k) be the third derivative of k**4/24 - k**3 - k**2. Let v be a(9). Suppose 0 = -3*w + b - 6*b + 13, 5*w - 4*b = -v. Solve -i = w - 3 for i.
2
Let w = -154 + 174. Solve -7*n = -3*n + w for n.
-5
Let c(a) = -a**3 + 3*a**2 + 5*a - 4. Let i be c(3). Suppose -5*q = -4*q - 4. Solve 3*s - q = i for s.
5
Let f(w) = -w**3 - 5*w**2 + 6*w + 5. Let k be (1/((-1)/(-6)))/(-1). Let s be f(k). Solve -3*i = 4 + s for i.
-3
Let d = -8 - -15. Suppose d*q = 2*q + 10. Suppose -5*o + q*p = -3 - 3, 5*o - p - 8 = 0. Solve -2 = -o*l - 0 for l.
1
Let q(r) = -r - 1. Suppose -5*z - 13 = c, 0 = z - 5*c - 6 - 7. Let p be q(z). Let x be (-24)/(-40)*(6 - p). Solve 2*n = n + x for n.
3
Suppose 6*l = 2*l. Suppose 0 = -3*w + 2*w - 24. Let m be (w/2)/(5 - 6). Solve -4*k + 0*k + m = l for k.
3
Let z be 40/10 + 9*1. Solve -3 = -5*c - z for c.
-2
Let l(r) = -r**2 - 4*r + 1. Let v be l(-5). Let s(c) = -4*c - 4. Let n be s(v). Solve -2*j = n - 4 for j.
-4
Suppose 2*w = f - 3*f + 34, 3*f - 76 = 2*w. Solve 7 - f = -5*i for i.
3
Let k(o) = -o - 33*o**2 + 0*o + 0*o + 44*o**2. Let m be k(-1). Solve d - 4*d - m = 0 for d.
-4
Let l(n) = 4*n - 3. Let j be l(2). Let r be ((-3)/5)/((-1)/j). Solve 2*v - r = -11 for v.
-4
Let p(k) = -k**3 + 6*k**2 - 6*k + 2. Let b be p(5). Let z(w) = -w**2 - 5*w - 2. Let a be z(b). Solve -a*l + l - 12 = 0 for l.
-4
Suppose v - 11 = -y, -19 = v - 3*v - y. Suppose -5*q + b = 3*b - v, 0 = q - 2*b - 4. Solve -q*j + 0 = 8 for j.
-4
Let z be (-2)/(-6)*3 - 0. Let y = z - 2. Let b be y/(-4) - 8/32. Solve -h + 2*h - 2 = b for h.
2
Let j(z) = -z**3 - 2*z**2 + z + 3. Let r be j(-2). Solve 4 = p - r for p.
5
Let s(f) = 6*f**3 - 2*f + 1. Let b be s(1). Suppose -4 = -b*g + 16. Solve g*z - 2 - 2 = 0 for z.
1
Suppose -2*u + 2*g = 5 - 21, -3*u = -g - 14. Solve 0 = u*a - 4*a + 1 for a.
1
Suppose -m = -5*o + 4, 4*m = -0*o + o - 16. Solve o*b + 5*b + 15 = 0 for b.
-3
Suppose 0 = -3*u + 4*o - 10, 7 = u + 2*o - 3. Solve -5*m = 17 - u for m.
-3
Suppose 3*d = 5*k - 4, -d - 20 = 5*k + 8. Let i be 8/(-6)*12/d. Solve -v - 1 = i for v.
-3
Suppose -9*s = -13*s + 8. Solve 6*m = s*m for m.
0
Let k be (-1 - -3)*12/(-8). Let o = k + 3. Suppose -15*h = -12*h - 18. Solve o = 4*u - 10 - h for u.
4
Suppose -13*u = -42 + 16. Solve 0 = -w - u*w for w.
0
Let w be (0/(-2*1))/(-2). Let b = -7 + w. Let s be (-2 - b) + (-1 - -1). Solve d - 16 = s*d for d.
-4
Suppose i + 5*r + 10 = 4, 0 = 5*i - 2*r - 105. Suppose -i = -3*y + 8. Solve -4*w + w + y = 0 for w.
3
Let f(z) = z**3 - 17*z**2 + 16*z - 6. Let u be f(16). Let p be (u + 6)/((-2)/(-2)). Solve 2*t + 0 - 2 = p for t.
1
Let y be -1*2/(-3)*-120. Let g be 4/10 - y/50. Solve -g = -4*q - 22 for q.
-5
Let z = -83 - -85. Solve -z*b = -6*b for b.
0
Let h = -17 - -12. Let b = h - -7. Solve b*d = d + 3 for d.
3
Let k be (2 - (-3)/(-6))*2. Suppose p + k*p = 20. Solve 12 + 8 = -p*y for y.
-4
Suppose 3*q + 4*j - 23 = 0, 5*q = -8*j + 3*j + 35. Suppose -v + 2*o = -o + 8, 1 = -5*v + 2*o. Solve v = -q*u + 6 for u.
1
Let p be (-231)/(-18) - (-3)/18. Let h be p/5 + 2/5. Solve m + 2 = -h for m.
-5
Suppose -g = -5*m + 4 - 1, 2*m = g. Solve 4*u - g = 2 for u.
1
Let y(h) = h**3 - 5*h**2 - 4*h + 2. Let l be y(6). Solve -11 = 5*k + l for k.
-5
Let r(z) = -3*z + 1. Let d be r(-2). Let b(g) = g**3 - 7*g**2 + g - 7. Let q be b(d). Solve q*j - 3*j + 15 = 0 for j.
5
Let m be 1 - (60 + (-2)/1). Let c = 97 + m. Suppose -n + 40 = 3*i, i - 4*n + 3*n - 20 = 0. Solve -5*x + c - i = 0 for x.
5
Let c(p) = p - 8. Let v be c(0). Let m = v - 29. Let b be -2*(m/2 + 2). Solve -5*q + 8 = b for q.
-5
Let n be (-3)/4 + 60/16. Solve n = -5*x - 2 for x.
-1
Let f(p) = p**2 - p + 2. Let q be f(0). Solve 0 = -q*k + 4 for k.
2
Suppose -2*o = 2*q + 6, -4*q - 4*o - 16 = -2*q. Let h = q - -1. Suppose h*a = 2*a + 3. Solve -2*v = a + 3 for v.
-3
Suppose -q - 2*z + 7*z + 18 = 0, -q - 12 = 5*z. Solve q*p = -0*p for p.
0
Let q(p) be the third derivative of -p**6/120 + p**5/60 - p**4/24 + p**3/2 - 9*p**2. Suppose 0 = -4*o + 6*o. Let c be q(o). Solve 0 = -3*h - 12 - c for h.
-5
Let n(f) = 2*f + 4. Let c be n(7). Let y be 14/63 + 50/c. Solve -y = -o + 1 for o.
4
Let r(i) = i**3 + 11*i**2 - 14*i - 22. Let l be r(-12). Let q be -1 - (-5)/((-15)/(-6)). Solve q = n - l for n.
3
Suppose 5*u = -i - 21, 5*i + 5*u + 9 = i. Suppose 14 = i*m - 2. Let f be (-2 + 5 + -2)*m. Solve r = f*r for r.
0
Let q be (-30)/8*44/(-33). Solve q*j + 4 = -6 for j.
-2
Suppose -29*w + 3 = -28*w. Solve -w*i + 8*i = -10 for i.
-2
Let c(q) = -q**3 - 4*q**2 - q + 1. Suppose 5*h + 0 = 2*y - 12, -5*y = -4*h + 4. Let f be c(h). Solve f*i - 2*i + 15 = 0 for i.
-5
Let o be 1/2*(10 + 2). Solve s = o*s for s.
0
Let l(y) = -y**3 + 6*y**2 + 10*y - 11. Let t be l(7). Solve 4*s - t = -s for s.
2
Let i(k) = -k**3 + k**2 - k + 3. Let s be i(0). Let v = -1 + s. Solve v*y - 15 = -7 for y.
4
Suppose 3*w - 4*i - 11 = -2*i, w - 5*i = 21. Let m be 4*((4 - w) + -2). Solve 7*l = m*l - 12 for l.
-4
Suppose 0 = 5*y, 2*y - 80 = -10*t + 5*t. Let f = t + -12. Solve -f*z + 9 = -7 for z.
4
Suppose -4*w + y = -78, -4*w = 2*y + 9 - 81. Solve -6 - w = 5*k for k.
-5
Let q(t) = 10*t**3 - t**2 + 2*t - 1. Let h be q(1). Solve -14*x + h*x = 8 for x.
-2
Let h = 2 - 5. 