 t = -12*i for i.
3
Let c = -35 + 35. Solve 2*b + c = -8 for b.
-4
Let y(m) = -m**3 - 8*m**2 + m + 10. Let q be y(-8). Suppose q*r - 1 - 3 = 0. Solve 0 = n + r*n + 12 for n.
-4
Let y be -5 - -6 - 1/(-1). Solve -3 = y*z + z for z.
-1
Let l be (3/(-12))/(4/(-368)). Suppose 0 = 3*g - 0*w + w - l, -3 = 3*w. Solve -7*v = -3*v + g for v.
-2
Let s be (-4 + 6)/((-2)/6). Let l be s/(-1 + (0 - 1)). Let d be 1/l + 15/9. Solve -d*k = -14 + 6 for k.
4
Let s = 2 - -2. Let z(n) = n**2 - 20*n - 42. Let m be z(22). Solve -2 - m = -s*c for c.
1
Let i = 1 - -1. Suppose 3*d + i*d = 0. Let l be ((-2)/6*d)/2. Solve -3*m + 6*m - 9 = l for m.
3
Suppose -2*l - 6 = -5*l. Solve -l*t = t - 6 for t.
2
Let n = 15 - -4. Let p(h) = h**2 - 5 - 4*h + 2 - 4. Let w be p(6). Solve -1 = -w*v + n for v.
4
Let k = 44 - 42. Let s = 0 + 1. Suppose k + s = x. Solve 0 = -x*o + 1 + 8 for o.
3
Let d(y) = -y**2 + y - 1. Let w be d(1). Let s = 1 - w. Solve 3*z + 15 = -s*z for z.
-3
Let c be (4 + -5)*(-2 + 0). Solve -c = -i - 0 for i.
2
Suppose -4*j - 4*p + 32 = 0, p = 5*j + 2*p - 56. Suppose -3*f - k = -11, f + 3*k - k = j. Solve 6*i - f = 4*i for i.
1
Suppose 0*h - 11 = -2*h + 5*s, -3*h + s + 10 = 0. Suppose -42 = -h*k - 0. Let g be 7/2 - 7/k. Solve -2*j + g = 1 for j.
1
Let p = -12 - -14. Solve -2*g + 12 = p for g.
5
Let c(o) = -o**3 + 4*o**2 + 4*o + 5. Let w be c(5). Solve w = -4*d + 7 + 1 for d.
2
Let k(l) = 2*l**3 + 6 - 52*l + 2*l**3 - 3*l**3 + 42*l - 9*l**2. Let n be k(10). Solve -n + 1 = -5*h for h.
1
Let b be 22/(2 + -1) - 1. Suppose -2*n + 5*n = 9. Suppose -2*y + b = -n. Solve -f = 2*f - y for f.
4
Let a(i) = -3*i. Let t be a(-1). Solve 0*m + t = -m for m.
-3
Suppose 13 + 22 = -5*s. Let b(o) = -o**3 - 6*o**2 + 6*o - 6. Let p be b(s). Solve 14 = 5*t - p for t.
3
Let y = 136 - 134. Solve 6 = 2*u - y for u.
4
Let g = 17 + -17. Solve g*o - o + 5 = 0 for o.
5
Suppose -23*p = -25*p + 12. Solve p = 3*z + 15 for z.
-3
Suppose -q = -5*d - 4, 5*q + 0*d - 80 = -5*d. Let w be (-46)/(-14) - 4/q. Solve -r = w*r for r.
0
Suppose 5*b + 35 - 70 = 0. Solve 0 = -2*h + b*h + 25 for h.
-5
Suppose 2*k + 16 = 4*k + 3*j, 5*k - 4*j + 6 = 0. Let h be (-8)/(-24) - (-10)/6. Let z be 6*(h + k + -3). Solve -n = n + z for n.
-3
Suppose -9 = -2*p - p. Solve m - p*m = 4 for m.
-2
Suppose 3*w - 127 = q + 52, 5*w + 4*q = 321. Let p = 85 - w. Solve 0 = -3*m - 9 + p for m.
5
Suppose 3*j + y = 25, y - 2 = j - 5. Let m = -4 + j. Suppose 3*p - 9 + m = 0. Solve f = p - 0 for f.
2
Let f(s) = -s + 4. Let i be f(-6). Let g = i + -7. Solve 0*r - g*r = 0 for r.
0
Let k(o) = -o - 6. Let l be k(-8). Suppose -5*z + 3*m = -3*z + 8, 4*m = -4*z + 24. Solve -l*d + 0 - z = 0 for d.
-1
Let f = -36 + 38. Solve y + 2 = -f for y.
-4
Let v(u) = u**2 - 6*u + 7. Let m be v(6). Let q = -4 + m. Solve -q*y + 8 = y for y.
2
Let w be 9/((9/(-6))/(-1)). Let h(z) = z + 2. Let a be h(2). Solve w*g = 4*g - a for g.
-2
Suppose 4*o - 5*r - 22 = 0, 0*o + 7 = 5*o + 4*r. Solve -w = -o - 0 for w.
3
Let o be -5*3/(-15) - 1. Solve o*d + d = -5 for d.
-5
Let k = -2 + 5. Let m be 2/k*(5 - 2). Suppose m*q - 2*l - l = 19, q = 3*l + 17. Solve 2*i + q*i = 20 for i.
5
Suppose 0 = j - 5*j + 24. Solve j = -r + 2 for r.
-4
Suppose h - 10 = 3*t - 4, 2*t = 5*h - 17. Let p = 5 - h. Suppose 3*u - 16 = u. Solve -p*q = 2*q + u for q.
-2
Suppose -4*k = 3*f + 2 - 1, 0 = -3*k + f + 9. Suppose k*t - 2 = -4*x, t + 4*x + 0 = -3. Suppose -7*y + 4 = -t*y. Solve 6 = -5*v + y*v for v.
-2
Suppose 0*u + 5*u = 20. Suppose 0 = -2*q + u*q - 16. Solve -q*f = -3*f for f.
0
Let w(u) = 2*u + 14. Let g be w(-5). Solve -2*n - 6 = -g for n.
-1
Suppose z = 6*z - 50. Solve -4*t - z = t for t.
-2
Suppose -8 = 6*t - 10*t. Suppose t*o + 3*o - 95 = 0. Solve -5*r + o = -1 for r.
4
Let k be (-312)/(-130) - (-4)/(-10). Solve 10 = -0*h + k*h for h.
5
Let n be 9/(-21) - (-38)/7. Solve -25 = -n*b + 10*b for b.
-5
Let h(c) be the third derivative of -c**4/24 - 5*c**3/6 + c**2. Let d be h(-5). Let b be -3 - (d - 1) - -2. Solve 3*x = -b*x + 15 for x.
5
Suppose -11*p + 46 = 13. Let o be 0 + (-1 - -2) + 1. Solve -p*z + o*z = 0 for z.
0
Let b(p) = 9*p**2 + p. Let s be 12/(-9) + (-1)/(-3). Let a be b(s). Suppose -4*g - 5*o = -11 - 15, -4*o + a = 0. Solve 0*w = g*w for w.
0
Let q = 4 + -1. Let o = 5 - q. Suppose -o*j = 2*j - 12. Solve g + 7 = j for g.
-4
Let u(d) = -d**2 + 13*d - 6. Let x(h) = -h**3 + 6*h**2 - 4*h + 7. Let g be x(5). Let w be u(g). Solve w = -4*j - 2 for j.
-2
Let m be (-4)/18 - 42/54. Let t(y) = -3*y - 1. Let z be t(m). Suppose z*p - 2*v - 18 = 0, -2*p + 28 = 3*v - 7*v. Solve -p*f + 5 + 3 = 0 for f.
2
Suppose 5*v + 5 = -5. Let r = 1 - v. Solve 2 = r*u - 13 for u.
5
Let y = -3 + 5. Suppose y*j = 4*n + 12, -3*j - n + 0*n - 3 = 0. Solve j = -0*k + k + 3 for k.
-3
Let v be (-1)/4*0 + 3. Suppose 6*r - 6 = 3*r - v*t, -3*r = 4*t - 6. Solve -r = -0*j - j for j.
2
Let a(n) = 5 - 8 + n**3 + 0*n**3 - 2*n - 2*n**2. Let p be a(3). Solve p = -3*y + 2 + 1 for y.
1
Let h be 11/(-55) + 6/5. Solve u = h - 4 for u.
-3
Let z = -6 - -3. Let m = -1 - z. Suppose -m = -2*v + 2. Solve v*b = -3*b - 10 for b.
-2
Suppose -2*g = 5*q + 13, -4*q = -0*g - 3*g + 38. Solve g*h - 15 = h for h.
3
Let h be ((-2)/4)/(6/(-24)). Solve h*p = -p for p.
0
Suppose 2*u + 4 = -2, 5*k - 2*u - 26 = 0. Solve k*z - z - 15 = 0 for z.
5
Suppose -2 = -g - 2*g + a, 10 = 3*g + a. Let v be (23/g)/((-2)/(-4)). Let l = v - 12. Solve 5*c - l = 4 for c.
3
Let r(p) = -p**2 - 25*p - 11. Let i(h) = -h**2 - 17*h - 7. Let f(c) = -7*i(c) + 5*r(c). Let b be f(6). Let g be b/(-4)*(-2)/3. Solve -9 = g*y - 4 for y.
-1
Let h(p) = -p**3 - 4*p**2 - p - 2. Let o be h(-4). Let t = -3 - o. Let w(v) = v**3 + 5*v**2 + v + 7. Let g be w(t). Solve 0 = -b - g*b for b.
0
Suppose 6 = x - o, -x + 5*o + 16 - 2 = 0. Let r(y) = -y**3 - y**2 + y + 4. Let p be r(0). Let q = 25 - 5. Solve -x*k = -q + p for k.
4
Let z be ((-75)/6)/(4/(-8)). Solve -z = 2*q - 7*q for q.
5
Suppose -b = 1 - 13. Solve b = 7*i - 3*i for i.
3
Suppose -6*p = -p - 30. Solve p*y = 5*y - 1 for y.
-1
Let n = 11 - 11. Solve 2*w = -n*w - 10 for w.
-5
Let q = -6 - -14. Let h(a) = -a**2 + 8*a + 4. Let z be h(q). Suppose -2*d + 3*f = -12, 2 = 5*d + 3*f - 7. Solve 5 = -d*i - z for i.
-3
Suppose 0 = 4*l - 5*s - 23, 3*l - l + 2 = -2*s. Suppose v = n - 6, 5*n - l = -3*v - 4. Suppose 3*a = -p + 18, -a - n*a = -15. Solve q = -p*q - 8 for q.
-2
Suppose x = 3*a + 7, -4*x + a - 4 = 5*a. Let v be ((-2)/(-5))/(x/(-5)). Let m = v + 4. Solve 0 = m*u + u + 6 for u.
-2
Suppose 2 = -2*v - 0*v. Let n(g) = -3*g - 1. Let s be n(v). Solve s*l + 12 = 2 for l.
-5
Suppose -5*f - 3*s + 61 = -42, 3*f - 59 = s. Solve c - 5*c = f for c.
-5
Suppose 4*v - 22 = -3*c + 4*c, 3*c + 26 = 4*v. Suppose -b = 3*b + 16. Let n be b/4 - 5/(-1). Solve -v*d = -n*d - 4 for d.
4
Let u(l) = 2*l - 3. Let f(p) = 9*p - 13. Let w(h) = -6*f(h) + 26*u(h). Let i be w(-3). Let c be (-1 + 1 - 0) + 0. Solve -i*s + 2*s = c for s.
0
Let u be (40/15 + -2)*3. Let g = -1 + 1. Solve u*y + g*y = 4 for y.
2
Let t = -23 - -32. Let w be 102/t + (-4)/(-6). Solve -j = 3*j + w for j.
-3
Suppose 3*v = -0*v + 9. Solve p = v*p + 8 for p.
-4
Let u(b) = b**3 - 10*b**2 - 11*b + 2. Let a be u(11). Suppose 3*f = f + a. Solve f = -0*k - k for k.
-1
Let y be (-16)/(-6)*(-135)/(-30). Let a be (2 + 1)*28/y. Solve 2*j - 1 + a = 0 for j.
-3
Suppose -4*w + 2*b + 656 = 0, 129 = w - b - 36. Suppose 5*l + w = -7. Let t be l/(-10) - (-3)/5. Solve t*j + 5 = -7 for j.
-3
Suppose -3*x + 9 = -5*c, 2*x + 4*c = 2*c + 6. Suppose -15 = -a + 3*u + x, -3*a = 4*u + 11. Solve a*d - 3 = 6 for d.
3
Let d be (-3 - (-19)/3)/(8/12). Solve d*t = 6*t + 4 for t.
-4
Let b(w) = w + 6. Let d be b(-2). Solve -h = -d*h for h.
0
Suppose 4*n - 19 = -11. Suppose -q = -2*q. Let r(c) = -c**2. Let t be r(q). Solve -n*h + h = t for h.
0
Let m = 11 + -11. Solve m*q = -4*q for q.
0
Suppose -3*v + 4*v = -3. Let h be (-129)/v - 0/2. Solve -5*a - h + 18 = 0 for a.
-5
Let v(u) = u + 2. Let z be v(-4). Let l = z + 0. Let c be (3/2)/((-1)/l). Solve c*r = 1 - 10 for r.
-3
Suppose 3*h + 3 = 12. Solve -3*k = h + 3 for k.
-2
Let k be (0 - -18)*((-8)/(-6) + -1). Solve k*a = 5*a + 5 for a.
5
Suppose -v - 5 = -2*y, 2*v + 5*y + 33 = -2*v. Let n be (-7 - v)/(1/1). Solve -2*w = -n*w for w.
0
Let x be (96/(-30))/((-2)/10). Solve 4*c + x = 4 for c.
-3
