1 = -s*i for i.
1
Let k = -30 + 46. Let f(w) = -w**3 + 5*w**2 - 4*w + 3. Let g be f(4). Solve -n = g*n + k for n.
-4
Suppose k = -3*k. Solve -s = -k*s for s.
0
Let p = -2 - -4. Solve p = r - 0 for r.
2
Let q be (3 - 3)/(1/(-1)). Suppose b = -q*b + 2. Solve b*l = -3*l + 20 for l.
4
Let l(n) = n**2 + n - 1. Let p be l(2). Let o = 8 - p. Suppose 7 = -5*z - 3*m - 0*m, 0 = o*z + 4*m + 13. Solve 3*x = -z - 8 for x.
-3
Suppose 0 = -2*a + 8 - 6. Let j be a + 2 + (-2)/2. Solve j*g = 7*g + 20 for g.
-4
Let c(f) = 4*f - 1. Let r be c(1). Solve 0 = -r*u + 6*u for u.
0
Suppose -52 = -8*p - 12. Solve -31 = p*y - 11 for y.
-4
Suppose -5*m - 26 - 19 = 0. Let t be 9*(3 - (-15)/m). Solve -t = -0*n - 3*n for n.
4
Let z(n) = n**3 - 6*n**2 + 2. Let q be z(6). Solve j + q*j = -3 for j.
-1
Let g be (1/(-5))/(4/(-20)). Suppose 4*b - 7 = g. Solve 0*m + m - b = 0 for m.
2
Let f(k) = -7*k**3 + 2*k**2 - 1. Let w be f(-1). Suppose -a + w = a. Suppose -t + 30 = a*t. Solve 16 = -2*x + t*x for x.
4
Let c(r) = -r - 2. Suppose -5*a + 0*a = 3*n + 37, -4*a - 40 = 5*n. Let o be c(a). Suppose 12 = -2*s + 3*g, 5*s - 2*g - o*g + 20 = 0. Solve s*y = -y for y.
0
Suppose 6*u - 26 - 46 = 0. Solve -4*v - u = -v for v.
-4
Let q(j) = -j**2 - 17*j - 24. Let n be q(-15). Solve n = -k + 4 for k.
-2
Let p(l) = -l**3 + 4*l**2 - 2. Let y be p(4). Let u be 23/6*(8 + y). Solve -7 + u = 4*r for r.
4
Let h(y) = y**3 - 5*y**2 + 2*y - 6. Let r = -4 - -9. Let k be h(r). Solve d - k*d = -15 for d.
5
Let m(a) = 3 + a**3 - 4 + 2*a + 3*a - 5*a**2. Let u = 11 - 7. Let r be m(u). Solve 4*z - r = z for z.
1
Suppose 3*n + n + 4*q - 24 = 0, 3*n - 5*q + 14 = 0. Let r = n + 1. Solve -4 = r*b - b for b.
-2
Let d be (2 + (-21)/4)*-4. Let h = d - 9. Let w(r) = -r**2 + 8*r - 5. Let o be w(4). Solve -h = -5*t + o for t.
3
Suppose 4*w - 10 = 2*w. Suppose 14 + 1 = 3*o. Solve w + 10 = o*v for v.
3
Let o = -35 - -40. Solve -o*u = -3*u + 6 for u.
-3
Suppose 48 = 19*u - 16*u. Solve 0*i - u = -4*i for i.
4
Suppose -3*q + 8*q - 55 = 0. Let k = 15 - q. Let i = -8 + 11. Solve i*g - 10 = -k for g.
2
Let x(k) = k**2 + 4*k + 6. Let u be x(-4). Suppose 0 = -u*d + d, 0 = 4*z - d - 8. Suppose 3 = z*w + w. Solve -3 = 4*p + w for p.
-1
Let q(t) = 10*t - 30. Let y be q(5). Solve -2*r = 3*r + y for r.
-4
Let q be 18/(-5)*(-10)/4. Let d = -9 + q. Solve d = -3*o + 6*o + 3 for o.
-1
Suppose 6*i = 82 - 58. Solve -11*a + 13*a = -i for a.
-2
Suppose 8*g + 16 = 10*g. Solve 2*q + 2*q = -g for q.
-2
Let t = -38 - -17. Let z = -21 - t. Solve z = 6*m - m + 20 for m.
-4
Let t(q) = 14*q**3 + q**2 + q - 1. Let b be (12/(-16))/(1/4). Let r = -2 - b. Let m be t(r). Solve -5*k = -5 + m for k.
-2
Let z(k) = -k**3 + 11*k**2 - k + 13. Let r be z(11). Solve -r*n - 9 = -1 for n.
-4
Let m = -7 - -1. Suppose -g = g - 2*j, 0 = -3*g + j - 4. Let s = g - m. Solve -8*q + s = -4*q for q.
1
Suppose 0 = 5*c + 2*z - 3*z + 34, 2*z = 2*c + 12. Let l = 15 + c. Solve -l = -2*f + 6*f for f.
-2
Suppose 0*t - 25 = -5*t. Let z = -716 - -720. Solve t*w - 1 = z for w.
1
Let j = 6 + -3. Suppose -j*d = -0*d. Solve d = 5*c - 9 + 34 for c.
-5
Let h be (-142)/3 + 3/9. Let z be ((-2)/(-1))/(1/34). Let x = z + h. Solve x = 4*a + 5 for a.
4
Let h(a) = -a + 6. Let i be h(4). Let y = i - -8. Solve y = -4*d - d for d.
-2
Let f be 18/(-4)*2/(-3). Let n(c) = -c - 2. Let w(d) = d**2 + 9*d + 9. Let z be w(-6). Let h be n(z). Solve f*i = h*i for i.
0
Suppose -4*r - 2*g + 36 = 2*g, -5*r - 3*g = -39. Suppose -4*f = -5*z, 0*z - z + 4 = 0. Solve -5*y - f = -r*y for y.
5
Let z be 1/(((-33)/44)/((-3)/2)). Suppose -2*p + 9 + 1 = 0. Solve z*s - 15 = p*s for s.
-5
Let v = -7 - -10. Let y = 7 + 2. Solve v*p + y = -0*p for p.
-3
Let j be (-8)/12 + (-8)/(-3). Let r(g) = 2*g - 2*g - j*g + 3. Let w be r(-4). Solve -w = -3*f - 5 for f.
2
Let i be ((-3)/12)/((-2)/248). Let o = -13 + i. Let v be 4/o - 112/(-63). Solve -v + 4 = d for d.
2
Suppose 0 = 7*g + 5 - 12. Solve -b = -2*b - g for b.
-1
Let g be 1 - -2 - -1*1. Suppose 0*l + l = g. Solve -x - l = x for x.
-2
Let f(q) = q**2 - q. Let v be f(0). Suppose 3*g = -5*s + 15, 2*s - 3*g - 2*g + 25 = 0. Let l = s - -3. Solve v = -l*o + 2 + 13 for o.
5
Let d(j) = -j + 7. Suppose -z = -0*z. Let u be d(z). Solve -2*l = u + 1 for l.
-4
Suppose -4*w + 0*l - 5*l + 85 = 0, -115 = -4*w + 5*l. Solve 3*a + 2*a = w for a.
5
Let b(l) = l - 4. Let m be b(11). Let t = -6 + m. Let f = t - -1. Solve -f*g = 3*g for g.
0
Let i be -2*(-13)/6 - 16/(-24). Solve 10 = 3*l - i for l.
5
Let d = 12 + 2. Let o = 89 - 83. Solve d = -2*f + o for f.
-4
Let f(l) = -l**2 - 4*l - 1. Let h be f(-3). Solve -h + 3 = -i for i.
-1
Let s be (-2)/(0 - -2)*-1. Let y = 31 - 31. Suppose -s + y = -k. Solve 0 = -3*l - 8 - k for l.
-3
Suppose -2*d + l + 7 = 0, -3 - 2 = -d + 2*l. Solve -d*c = 2*c - 10 for c.
2
Suppose 7*c = 10*c. Solve c - 4 = -4*n for n.
1
Suppose -4*n + 47 = 5*w, -4*w + 5 + 15 = n. Suppose -12 - n = -5*l. Suppose -4*y = -f + 2*f, 5*y = 4*f. Solve l*r = -f*r for r.
0
Let w be (1 - 4)*(-1 + 0/4). Solve 3*n + 6 = -w for n.
-3
Let y(w) = -w**3 - 5*w**2 + 4. Let t be y(-5). Let k be (-39)/(-9) - (-2)/(-6). Solve 2*d - k*d + t = 0 for d.
2
Let j = -39 - -28. Let t = -8 - j. Suppose -t*v + 18 = -9. Solve -v = 3*h - 6*h for h.
3
Let f be (-2)/(-4)*(-2 - -8). Solve 2*r - 5 = -f for r.
1
Suppose -2*c = -0 - 20. Let v be 2/(-2 + 0) - -3. Suppose -12 = -q - v*q. Solve -c = -i - q*i for i.
2
Let n(w) = w**2 - w + 3. Let r be n(0). Let o(j) = -j**3 + 12*j**2 + 15*j - 24. Let m be o(13). Solve -r*l + m*l + 1 = 0 for l.
1
Let t be -2 + 4 + (4 - 2). Let p = 3 + t. Let h = -5 + p. Solve 0 = -h*d + 4*d for d.
0
Let j = 18 - 16. Let y be (-2*(-1)/(-2))/(-1). Solve y = -s - j for s.
-3
Let s(o) = -3*o**3 + 5*o + 1 + 0*o**3 - 3*o. Let b be s(-1). Solve b*r = r for r.
0
Let c = 13 - 8. Suppose -4*r + c*h + 10 = r, -4*r = h + 2. Solve r = 2*o + 2*o for o.
0
Let s = -103 + 118. Solve s = -4*p - p for p.
-3
Let i be (2/(-6))/((-1)/(-33)). Let n = 16 + i. Suppose 5*b - 62 = -2*k - 7, -n*b + 70 = 5*k. Solve 0 = 3*x + b + 6 for x.
-5
Suppose -3*l + 3 = 0, 2*y - 6 = 3*l - 7. Solve -4 = -t - y for t.
3
Let p(z) = z + 13. Let b be p(-6). Let r = 7 - b. Solve r*l = 4*l - 16 for l.
4
Let m be 27/4 - 4/(-16). Solve -5*x = m + 3 for x.
-2
Let y be 2 - ((-66)/18 - 2/(-3)). Solve 13 = -y*n + 3 for n.
-2
Let b be (-4)/(-28) + 30/35. Solve -9 = -2*l - b for l.
4
Let s(x) = x**2 + x - 1. Suppose 5*t - 6 = 4. Let m be s(t). Suppose m*k - 3*a = -6 - 3, -2*a = -6. Solve -2 = z - k for z.
-2
Let c be -16 + 11 - 66/(-2). Solve c - 3 = 5*d for d.
5
Let u(h) = -h**3 - 6*h**2 - 2*h - 6. Let q be u(-6). Let o = 0 - -4. Suppose 0 = o*g - q - 2. Solve g*w - 25 = 7*w for w.
-5
Let h = 9 - 15. Suppose 4*x - 7 - 5 = 0, -3*c + x - 48 = 0. Let m be h/c - (-8)/5. Solve -r - m = r for r.
-1
Suppose -4*p - 2*a - 3*a = -93, 2*p - a - 43 = 0. Let c be -2 + p - 0/1. Solve 2*b + 3*b = -c for b.
-4
Let p = -5 + 1. Let f(t) = -t**2 - 6*t - 2. Let w be f(p). Solve 2*n + 8 = w*n for n.
2
Let l(k) be the third derivative of k**5/60 - k**4/24 + 8*k**3/3 + 6*k**2. Let f be l(0). Solve f = 4*u - 0 for u.
4
Suppose 0 = 5*z - 0*z. Suppose -q = q - 4. Let a(u) = -u**3 - 4*u**2 + 5*u. Let x be a(-5). Solve g + z - q = x for g.
2
Let s be (-34)/(-14) + (-12)/(-21). Solve -2*q + s + 7 = 0 for q.
5
Let h = -4 - -6. Let c be (-2)/(3 + 1)*-2. Let y be (c + 0 - 2)/(-1). Solve h - y = z for z.
1
Let c be (-26)/(3/(-3)*2). Solve -c = -5*n + 7 for n.
4
Suppose r - 6*r - 10 = 0. Suppose 5*v + 3 + 12 = 0. Let w = r - v. Solve w = l + 5 for l.
-4
Suppose 0 = 2*a - 4. Suppose 3*y - a*y = 9. Suppose -1 = -5*f + y. Solve 0*j + f*j + 2 = 0 for j.
-1
Suppose -2*y - 5 = -11. Solve -y*k + 4 = -8 for k.
4
Let o(u) = u + 5. Let h be o(-2). Solve 16 = -7*j + h*j for j.
-4
Suppose 4*a - 20 = 28. Solve b = -3*b - a for b.
-3
Let c(u) = -3*u + 55. Let y be c(17). Solve -6*m - 10 = -y*m for m.
-5
Let z = 4 + -4. Let x be 2 - z - 0 - -1. Let v be 1 + 0 + x + 0. Solve -i - 1 = v for i.
-5
Let i be (-1378)/(-117) + (-4)/(-18) - 2. Solve -3*u + u = i for u.
-5
Let p = 2 + 1. Suppose -5*h = -p*h - 8. Solve -3*t - t - h = 0 for t.
-1
Let u(s) = s**2 + 9*s - 6. Let g be u(-10). Suppose -4*p = -4*m - g, 0 = -m + 2*p - 1 - 4. Solve -m*l = -2*l for l.
0
Let w(t) = t**3 + 5*t**2 + 8*t + 8. Let x be 