/(-3) - 1. Solve 0*a + 4*a = n for a.
0
Let h(i) = 2*i**3 - i**2 - 2*i + 3. Let m = 10 - 8. Let j be h(m). Solve j = 3*y - 4 for y.
5
Suppose 0 = 2*p + t - 3, -5*p - 4*t = -0*t - 9. Let a = p - 0. Let s be a - 0 - (4 - 6). Solve s*y = -0 + 12 for y.
4
Suppose 5*g = -2*k - 23 + 2, -2*g = 10. Suppose k*h - h = 4. Suppose -h*t + 3*t + 4 = 0. Solve 5*b = b + t for b.
1
Let u = -3 + 7. Let f be 2/u*(43 + -5). Suppose f + 16 = 5*j - 4*d, -d = 0. Solve -9 = -j*k + 4*k for k.
3
Suppose -s = 4*k + 4, s - 2*s + 4 = -4*k. Solve -5*v + 10 = -s*v for v.
2
Let p(m) = -m**2 + 8*m - 7. Let d be p(7). Suppose d = 4*k - 2*k. Suppose -3*v - 2*z - 4 = 0, -v - 2*z + k*z - 4 = 0. Solve -4*o + v*o = -20 for o.
5
Let a be 2 - 1 - (2 - 4). Suppose g - a*g = 0. Let k be (-6)/(9/6*-1). Solve g*z - z + k = 0 for z.
4
Let l(u) = -u**3 - 3*u**2 - u + 2. Let b(h) = h. Let x be b(2). Suppose -2 = -x*y + 3*y. Let o be l(y). Solve o = -m + 1 for m.
1
Suppose -18 = 5*t - 11*t. Let d be -1 + 0 + 1 + 2. Suppose -c + 4 = -t*s, d*c + 5*s = -c + 40. Solve -4*i + 2 + c = 0 for i.
3
Let z(s) = -s**2 + 9*s + 6. Let p be z(6). Suppose 2*y - 6*y + p = 4*u, 0 = -2*u - 4*y + 16. Solve -u = -5*r + 16 for r.
4
Let q = -109 - -115. Solve -4*f = -q - 14 for f.
5
Suppose -6 + 2 = -y. Suppose 5*g - 4*c = 278, -g + 6*g - 276 = 3*c. Suppose -41 - g = -5*o. Solve -7 = -y*x - o for x.
-3
Let q be -12 + 3 - (-2 + 3). Let m be (-6)/q + 22/5. Solve -m = 2*k - 3*k for k.
5
Let n = 3 + -2. Suppose 0 = y + n - 4. Solve -y*v + 0*v = -3 for v.
1
Let l(q) be the first derivative of -q**4/4 - 3*q**3 + 9*q - 5. Let d be l(-9). Solve -o - 2*o = d for o.
-3
Let j(n) = -3*n - 75. Let y be j(-26). Solve -y = -4*z - 11 for z.
-2
Suppose -2*v + 26 + 4 = -5*k, 0 = -4*k - 16. Solve 0*i + 15 = -v*i for i.
-3
Suppose -j = -1 - 0. Let q = j - -1. Solve -s = -q*s for s.
0
Let y(l) = -l. Let w(g) = -g - 2 + 2. Let a(o) = 4*w(o) - 5*y(o). Let n be a(3). Solve u = n*u for u.
0
Suppose 3*o = 5*f + 22, -5*f = -o - 3*o + 26. Suppose 2*b - b = o. Let r = b - 2. Solve s - 2*s = -r for s.
2
Let z be ((-6)/(-4))/(6/8). Suppose 0 = -3*a - z*a + 25. Suppose 0 = p + a*b - 12, 5*p + 3*b = 4*p + 10. Solve k + p - 5 = 0 for k.
-2
Let z(l) = -l**2 - 7*l - 4. Let c be z(-6). Suppose -6 = -v - c*v. Suppose -4*o + 4*m - 9 = -3*o, 2*m - 6 = 0. Solve -v*a - o = -a for a.
-3
Let h be 13*(-1)/1 + -2. Let y = -13 - h. Solve -y = -g + 1 for g.
3
Let z be 0*((-2)/(-1))/(-2). Suppose 5 = -b + 8. Solve -b*m - m + 20 = z for m.
5
Let l be 66/8 + 7/(-28). Solve 0 = 9*i - 13*i - l for i.
-2
Let c be 2*1132/(-8) - 1. Let w be (-8)/28 - c/14. Solve -6*f + f = w for f.
-4
Let p(i) = -i**3 - 6*i**2 - 6*i - 1. Let x be p(-5). Suppose -5 = l, -j + 5*l = 6*l - x. Solve 4*u = u - j for u.
-3
Let a(k) = k + 1. Let t be a(1). Suppose 2*x - 4*w + 4 = 0, -t*x - 3 = -0*x - 3*w. Solve x = 2*v + 4 for v.
-2
Suppose 14*j - 12 = 8*j. Solve j*m + m + 12 = 0 for m.
-4
Let x(l) = l**3 + 8*l**2 + 6*l + 10. Let f be x(-7). Suppose 0*n + 7 = -n - 5*o, o = 5*n - f. Suppose -16 = -3*a - 1. Solve 2 = -n*j + a for j.
1
Let w(f) = -9*f**3 + f**2 + f - 1. Let v be w(1). Let p = -6 - v. Solve -4*a - p = -5*a for a.
2
Let y(f) = -f**2 + 6. Let d be y(6). Let n = -20 - d. Suppose 4*v = -3*k + 10, 22 = 4*v + v - k. Solve -10 = -v*j + n for j.
5
Let j be 20/16*(2 + 2). Solve j = 5*m - 10 for m.
3
Let g(q) = 47 - 6 + 0*q**2 + q**2 + q. Let k be g(0). Suppose 4*w = 5*n - k, 4*w - w + 12 = 0. Solve -t - n = -0 for t.
-5
Suppose 27 = 2*x - 9. Let p = -15 + x. Solve -w - 2*w = p for w.
-1
Let a = 8 + -4. Suppose 3*n - 7 = -5*j, 4*j - 3*j + a*n + 2 = 0. Solve -j*o = 3*o for o.
0
Suppose -4 = 2*b + 10. Let u(f) = f**2 + 5*f - 8. Let i be u(b). Let c = 9 - i. Solve -t - 2*t + c = 0 for t.
1
Let n = -55 + 78. Let x = n - 3. Solve 4*z + 0 + x = 0 for z.
-5
Let s(t) = -t**3 - 4*t**2 - 2*t - 6. Let o(v) = v**3 - 11*v**2 + 9*v + 6. Let h be o(10). Let a be s(h). Solve 2*q - a - 6 = 0 for q.
4
Let o = 4 + 4. Let w be (-5)/(-2) + 4/o. Let y be 2/6 + (-10)/(-6). Solve -1 = -y*c + w for c.
2
Suppose 3*c + 21 = 3*d, -18 = -3*c + 5*c - 3*d. Let t be ((-1)/c)/(3/135). Let l = -7 + t. Solve z - l = -3*z for z.
2
Let s be (0 - 1/(-2))*4. Suppose 3 = s*x - 5. Let u(j) = j**3 + 17*j**2 + 17*j + 31. Let m be u(-16). Solve x*l - l + m = 0 for l.
-5
Suppose 3*z = 9 + 3. Suppose 4*v - z*n + 7*n = -15, -2*v - 3*n = 3. Let m be v/((-1 - -3)/(-2)). Solve -k = k + m for k.
-3
Let v = -1 - -1. Suppose -2*g - g - 60 = v. Let j be ((-24)/g)/((-2)/(-10)). Solve -j = -n - n for n.
3
Let i(z) = -z**2 + 8*z - 3. Let g be i(7). Solve -4*f = g + 16 for f.
-5
Suppose x = 5*x - 64. Suppose -4*r - x = -2*r. Let a = -4 - r. Solve -9 - 7 = -a*z for z.
4
Suppose 12 = 3*z, 7*d = 3*d - 3*z + 12. Solve d*c + 5 = c for c.
5
Let x be (-1)/((4/(-6))/2). Let d = -5 + 5. Suppose d = -0*f + f. Solve -x*b + 6 + 3 = f for b.
3
Suppose -2*o = 10, -5*d + 2*o - o + 30 = 0. Solve -d*b - 9 = 6 for b.
-3
Suppose 13 + 2 = 5*j. Suppose -2*k + 45 = j*k. Suppose -o + 16 = 3*o. Solve -5 = -k*h + o*h for h.
1
Let w = -23 - -23. Solve w = -3*j + j for j.
0
Suppose 35*x - 12 = 33*x. Solve 2*l + x = -0*l for l.
-3
Let j be (-10)/35*(1 - 8). Suppose -j*b - 4 = -16. Solve 2*u + b = -u for u.
-2
Suppose 0 = 2*a + 3*a - 3*q - 27, 0 = 2*a - 5*q - 26. Suppose 2*r = -5*k + a*k + 12, 4*k - 5*r - 15 = 0. Solve 0 = k*j - 6 + 26 for j.
-4
Let x(k) = k**2 + 8*k - 4. Let w be x(-9). Solve -w = 4*b + 3 for b.
-2
Let i be 2*1/2 + -1. Let o(r) = 2*r - 8. Let x be o(7). Solve i = x*k - k + 25 for k.
-5
Let r(x) = -x**2 + 6*x - 5. Let o be r(5). Suppose o*n + 5*n = 60. Suppose h - 4*k = -2*k + n, 4*h + 17 = -5*k. Solve -6*u + 20 = -h*u for u.
5
Let i be 5/(-2)*4/(-10). Let l be 1 + 11/1*i. Suppose -4*p = 4*q - 32, 5*q + 2 = l. Solve 2*r - p*r = 0 for r.
0
Suppose h + 7 = 2*o - 4*h, 4*o + h - 3 = 0. Let q = 1 - -1. Let w = 19 - 10. Solve -w = q*v - o for v.
-4
Let q(x) = 2*x - 1. Let l be q(2). Suppose 9 = 5*c - 36. Suppose 0 = 2*k - 0*k + l*u + c, 0 = 3*k - 4*u - 12. Solve k = -t - 0*t + 3 for t.
3
Suppose 4*w - 37 = -17. Solve 9 - 34 = w*o for o.
-5
Let y be (-1)/((-1)/(15/(-3))). Let b be ((-4)/y)/((-2)/(-25)). Let g(d) = d - 10. Let k be g(b). Solve k = 2*z + z - 15 for z.
5
Let p be (4/2)/(1 - -1). Let o be 12 + (-3 + 3 - p). Solve 3*t + 4 + o = 0 for t.
-5
Let l(h) be the second derivative of h**4/12 + h**3/3 - h**2/2 + 3*h. Let b be l(1). Solve 4 + b = 3*w for w.
2
Let r = 5 - 2. Suppose -r*t + 3 = -0*t. Solve t = -2*c - 3 for c.
-2
Let v = -4 + 3. Let z be (-2)/(-1) + -3 - v. Solve 4*i - i = z for i.
0
Let g = 3 - 3. Let u be g + 1 + 4/2. Solve -1 = -4*f + u for f.
1
Suppose k = -1 + 4. Suppose 5*q + 1 + 12 = -4*d, -4*d - k*q = 3. Solve -d*n + 0*n = -6 for n.
2
Suppose 1 = -2*r + 11. Suppose 3 = r*g - 7. Solve -6*n - 20 = -g*n for n.
-5
Let l(f) = -3*f + 3 - 1 + 0*f**2 - 2*f**2 + f**3. Let q be l(3). Suppose 3*a = q*a - 4*d + 18, 5*a = 2*d + 2. Solve -5 = -a*z + 1 for z.
3
Let v be 1/(0 + (-20)/(-15) + -1). Solve -v = 5*o + 12 for o.
-3
Let j be (-4 + 2)*(-4)/(-8). Let m = j + 4. Solve -k + m + 1 = 0 for k.
4
Suppose -2*v + 4 + 11 = 3*u, -5*u - 2*v = -25. Solve -16 = -u*l - 41 for l.
-5
Let n be (1 - 1)/4 - -4. Solve -2*x - 2*x = -n for x.
1
Let p = 149 - 147. Solve 0 = 4*c - 2*c + p for c.
-1
Suppose c - 8 = -3*t + 6, -2 = -2*t + 3*c. Let b be 2 - (t + (-3)/3). Let p be (b - (0 - 0))*-1. Solve -n + 0*n = -p for n.
1
Let n(z) = -z**3 + 3*z**2 + 6*z - 4. Let o be n(4). Solve -2*s + o = 2 for s.
1
Suppose -57 = 5*o + 2*j - 234, -152 = -4*o + j. Solve -12 = -5*l - o for l.
-5
Let z(y) = -y - 8 + 8 - 8. Let o be z(-10). Solve 0 = -2*b - o*b for b.
0
Let l(z) = 3*z - 3 + 6*z - 5*z + 2*z - z**2. Let f be l(5). Let r be 4*(-2 - (-5)/f). Solve -r*p + 2 = -2 for p.
2
Let g be -2 - -22*2/4. Solve -u - 2*u = -g for u.
3
Let t be 2/(-1 + (-9)/(-7)). Let m(h) = -h + 6. Let v be m(10). Let u be 14 + -6 + 1*v. Solve -9 = u*b - t*b for b.
3
Let a = 26 + -25. Let i be -3 + (4 - (1 - -1)). Let c = a + i. Solve c*j - j = -5 for j.
5
Let v(d) = d**3 + 4*d**2 - 6*d + 4. Let a be 18/(-6) + (-2)/1. Let x be v(a). Solve o - 4*o + x = 0 for o.
3
Let v = 3 + -4. Let c be -1*(v + -3 + 1). Suppose -2*z + 4 = -3*q + 11, 9 = -q - 5*z. Solve -c*j + q = 13 for j.
-4
Let o be 108/14 - 10/(-35). S