22 - j/(-33). Solve t*v = 3*v for v.
0
Let y(z) = 6 - 1 + 5 - 1 + z. Let r be y(-6). Solve 6 + 0 = -r*o for o.
-2
Let a(v) = -v**2 - 11*v - 3. Let k be a(-11). Let r = 3 + k. Solve 2*o + 3 - 1 = r for o.
-1
Suppose -36 = 3*y - 0*y. Let i = -11 - y. Solve z - i = 3 for z.
4
Let m be 0 - 4/(-4)*1. Solve v = m - 2 for v.
-1
Let n be (-9)/(-12) + (-1)/(-4). Solve 0 = -v + n - 3 for v.
-2
Let z = 11 + -6. Let w(v) = 4*v**2 - 2*v - 2. Let n be w(-2). Suppose -z*k = -n + 3. Solve -2*u - 2 = -k*u for u.
2
Suppose -20 = 5*o + 20. Let i = o + 18. Solve i = t + 4*t for t.
2
Let w = 38 - 26. Solve -n = -4*n - w for n.
-4
Let r = -2 - -6. Let w be 0/(r*1/2). Solve w = 3*l - 13 + 1 for l.
4
Suppose 5*r = 26 + 39. Let w = r + -9. Solve 0 = -m - m - w for m.
-2
Let j be 0/((0 + 1)/(-1)). Suppose j = -4*b - 5*o + 7, -13 = -3*b + 2*o + 2*o. Solve b*c = -2*c for c.
0
Let u(n) = 9*n + 3. Let l be u(3). Suppose -2*i = i - l. Solve i = 2*w + 3*w for w.
2
Suppose -2*h = h. Suppose -36 + 6 = -5*b. Let f be 4/b - 2/3. Solve h = 4*v - f*v - 12 for v.
3
Let f be (-2 - -8)*8/12. Let v be -2 + (-2 + 1)*-6. Suppose 0*j + v*c = f*j, -3*j - c = -16. Solve -2*u + j*u + 4 = 0 for u.
-2
Let p(a) = a**3 - 10*a**2 + 8*a - 2. Let m be p(9). Let g = -15 - m. Let r be (4 + g)/(2 - 0). Solve -n = -r*n for n.
0
Let r = 14 - 10. Suppose -r*q - 22 = -2*b, 4*b + q - 2*q = 16. Solve -b*s - 3 = -2*s for s.
-3
Suppose 2*r = 2*h - h - 3, 0 = -3*h - r + 9. Solve 5*t - 2*t - h = 0 for t.
1
Let j be 9/3 + 2 + -2. Suppose -7*b + j*b = 0. Solve b*i - 8 = -2*i for i.
4
Suppose 5*h - 16 = -4*b, -h + b = 5*b. Suppose -h*u = -8*u. Suppose -5*v + u*v = 0. Solve v = -p - 4 for p.
-4
Let n = -3 - -6. Let m(f) = -f**3 + 3*f**2 + 3*f - 2. Let d be m(n). Solve -d - 8 = -5*a for a.
3
Let d(a) = -a**3 + 4*a**2 + a - 2. Let r be (-12)/10*80/(-24). Let w be d(r). Solve 0 = p + w*p - 9 for p.
3
Let b(g) be the first derivative of -g**2/2 + 2*g + 2. Let f be b(2). Solve 4*a + 1 - 13 = f for a.
3
Let b = 9 + -7. Solve 0 = 2*t - 3*t + b for t.
2
Let a = -7 - -7. Solve 3 = 3*i - a for i.
1
Let j = -21 - -11. Let y = -6 - j. Solve -5*r = -y + 29 for r.
-5
Let g be (-30)/9*(-18)/15. Suppose l = -l + g. Solve -a + 5 = -l*a for a.
-5
Let f = 0 - -4. Suppose -f*w = x - 21 + 1, -3*w + 24 = 3*x. Solve 0*g = w*g for g.
0
Suppose -y = 4*y + 5. Let f = y - -1. Solve 2 = -d - f*d for d.
-2
Let a(y) = -4*y - 8. Let u be a(-6). Solve 8*o - u = 4*o for o.
4
Let b be (2/(-4))/(0 - (-1)/(-10)). Solve 0 = -b*u + 4*u for u.
0
Let y be ((-6)/(-8) - -7) + 1/4. Solve -y - 4 = 3*b for b.
-4
Suppose 0 = 15*m - 13*m - 8. Solve 5*p - 11 = m for p.
3
Suppose -5*p - 4*j = -34, -3*p - 2*j + 3*j + 17 = 0. Solve 2*y - p*y = 16 for y.
-4
Let l = 3 - 0. Solve -3*o + 0 = l for o.
-1
Suppose -3*b = -0*b + 30. Let i = 13 + b. Let z be 1 + -2 + 2 + 5. Solve -18 + z = i*t for t.
-4
Let x(z) = -z + 8. Let q be x(6). Suppose 2*l = -q*l. Suppose -2*y + y = -2. Solve -c + y = -l*c for c.
2
Suppose u - 2*u = 9. Let w = -6 - u. Let r(x) = x**2 + 4*x - 4. Let y be r(w). Solve -4*c + y = -3 for c.
5
Let p = 18 + -13. Solve 0*c + p*c = -25 for c.
-5
Let r(z) = z**3 - 3*z**3 + 5 - 3. Let i be r(-3). Suppose 3*w - f - i = 0, 0 = -0*w - 5*w + f + 92. Solve w - 3 = 3*v for v.
5
Suppose -5*t + 9 = -2*t. Solve -7*l + t*l = -4 for l.
1
Suppose -5*p = -h + 2, 3*h + 0*p = -2*p + 6. Suppose -2 - h = -l. Solve 4 + 0 = -l*j for j.
-1
Suppose 14*f - 19*f + 40 = 0. Solve -4*g = -f*g + 12 for g.
3
Let c = 0 - -9. Solve 3*j - c = -6 for j.
1
Suppose -5*d = -17 - 8. Let g = -2 + d. Solve 0 = t - g*t - 6 for t.
-3
Let d be (-5 + 9 - 4)/(-1). Solve d = z - 1 + 4 for z.
-3
Suppose -4*x = -41 + 21. Solve 0*g = x*g + 5 for g.
-1
Let r be ((-10)/20)/((-2)/16). Solve -2*k = -r - 0 for k.
2
Let s be 3/4 + 36/16. Suppose 3 = j - 1. Let u be (j - 3)/(1/15). Solve -s*q - 2*q = -u for q.
3
Let i(s) = s**3 + s**2 - s + 2. Let u be i(2). Let a = 15 - u. Solve j - a = -0 for j.
3
Let t(i) = 2*i**2 - 3*i. Let o be t(2). Suppose -3*v = -3 + 6. Let p = 1 + v. Solve -2*m - o*m = p for m.
0
Suppose 3*o - 7*x - 32 = -3*x, -5*x - 18 = -o. Suppose -44 = -4*l + 5*p - 18, -2*p - o = -l. Solve -l*g = -4 - 12 for g.
4
Let q be 1 - 3 - 1*-4. Suppose 0 = -v - 2*f + 10, q*f = -v + 3*f - 2. Suppose 0 = v*d - 5 - 3. Solve c + d*c + 10 = 0 for c.
-2
Let y(z) = 25*z**2 - z - 2. Let i be y(-1). Solve 4*m = i - 4 for m.
5
Suppose -m + 2 = -1. Suppose 2*q + 3*q - 25 = 0. Solve q = m*p - 1 for p.
2
Let s = -3 + 2. Let z be (0*(s - -2))/2. Solve n + 2 + 0 = z for n.
-2
Let j be ((-2)/(-3))/(8/36). Solve -1 - j = -4*d for d.
1
Let p = 6 - -1. Let s = 0 + p. Solve 2*q = s*q + 10 for q.
-2
Suppose 3 + 6 = 3*y. Let h = 12 - 11. Solve -h + y = -d for d.
-2
Suppose -46*v + 30 = -40*v. Solve v*h + 0 = 5 for h.
1
Let y be (9/6 + -3)*2. Let k be 2/(-3)*9/y. Solve -k*z + 2 = -0 for z.
1
Suppose -5*s + 2*n = -4*s - 4, -3*n - 16 = -4*s. Let c = 4 - 2. Solve c*j = j + s for j.
4
Let i(n) = 2*n**2 - 2*n + 4. Let h be i(4). Suppose -5*c = -38 + h. Solve 3*j + c = 5 for j.
1
Suppose -12 = -4*s - 6*x + 3*x, -8 = -2*x. Solve j = -5 - s for j.
-5
Let t be (-4)/8*-6 + -3. Let x be -1*(0 + t)/(-4). Solve o + 1 = -x for o.
-1
Suppose 56 = 4*m + 10*m. Solve -f + 0*f = m for f.
-4
Let v be (-6)/(-21) - (-24)/14. Solve -v = 2*h - h for h.
-2
Let h = 3 - 1. Let k(g) = -7*g + 3*g - 2*g + g**3 - 4 + 3*g**2. Let v be k(-4). Solve -6 - v = h*p for p.
-5
Let b = 11 - 9. Suppose b*i = 16 + 24. Solve -r = -5*r - i for r.
-5
Let j be (-12 - -12) + (4/1 - 1). Solve -2*n - j = -1 for n.
-1
Let n be (-3 + (-28)/(-12))*-3. Let f be (-15)/(-5 - -2) + n. Solve f = -2*z - 1 for z.
-4
Let v(l) = -l + 1. Let b be v(3). Let s be 1*(0 + -4)/b. Let p = 4 - s. Solve -t - 4 = -p*t for t.
4
Suppose 7*a = -9*a + 32. Solve a*n + 3*n - 5 = 0 for n.
1
Suppose -10 = -5*d + 15. Let q be 0/1*1/(-2). Solve p = -d - q for p.
-5
Let c = -116 - -162. Suppose -4*h + c = -3*h. Suppose -11 + h = 5*l - 5*s, -4*s = -2*l + 14. Solve -2*q + l*q = 10 for q.
2
Suppose 0 = -2*p - 10 - 4. Let o(i) = -3*i - 9. Let b be o(p). Solve -2 = -2*n - b for n.
-5
Let q(l) = 18*l**3 - l**2 + l. Let v be q(1). Let f = v + -13. Let r = 9 + -6. Solve f*h + 2 = -r for h.
-1
Suppose -9*y - 30 + 138 = 0. Solve 2*r - y = -2*r for r.
3
Let s(l) = l**2 + 12*l + 10. Let x be s(-12). Suppose 0 = 4*a - x + 2. Solve 3 = -a*d + 1 for d.
-1
Suppose 6 = -2*s, -5*a + s + 43 = 5*s. Solve -2*z - a = -1 for z.
-5
Suppose 4*m - 27 = -3*j + m, -5*j = -m - 39. Suppose 0*v - j = 2*v, -v = 2*o - 16. Solve 4*s + o = -10 for s.
-5
Let v = 5 + -3. Suppose 5*o = -v - 3, -x - 2*o = -1. Let f = -3 + x. Solve 3*z + 7 + 2 = f for z.
-3
Let x be 46/10 + 36/(-60). Solve -x*s = -16 - 4 for s.
5
Let a(f) = 6*f + 0 + 1 - f + f**2 - 2*f**2. Let h be a(4). Solve h*y + 4 = -16 for y.
-4
Let q(n) = 12*n**2. Let t be q(-1). Suppose -4*p + 8 = -4*s, p = -4*s + 4*p - 6. Suppose s*j - t = -3*j. Solve j*h = -5 - 11 for h.
-4
Let g = 22 + -16. Let m be 8/6 - g/(-9). Let f be 8/2*(-6)/(-8). Solve -f = -m*i + 7 for i.
5
Suppose 4*a + 0 = 2*n + 14, -3*a + 8 = n. Suppose -4*x = -a*x. Solve x = m + m - 2 for m.
1
Suppose 0 = 3*f - 2*j - 17 - 6, -5*f - 2*j + 17 = 0. Let h(y) = -y**2 + 6*y. Let z be h(f). Solve -3 - 12 = z*s for s.
-3
Let n be 4*-13*(-2)/8. Let f = 5 + -1. Solve -f*r + 5 = n for r.
-2
Let i(u) = 3*u**3 - 5*u + 2. Let w be i(2). Solve 5*q + 9 = -w for q.
-5
Suppose 0 = -l + 4*l + 5*k - 61, -3*k = -15. Let b = 17 - l. Suppose -b*f = -0*f. Solve -4 = -2*r - f for r.
2
Suppose 0 = r - 3*r + 30. Let y(h) = 6*h. Let f be y(1). Solve r = -f*d + d for d.
-3
Let k(p) = p**3 - 11*p**2 - 11*p - 9. Let z be k(12). Let l be ((-3 - -2) + 2)*z. Solve -l = g - 2 for g.
-1
Let y be (-7)/(-6)*4 - (-23)/69. Solve -4*m - y - 11 = 0 for m.
-4
Let i(d) = 12*d + 1. Let a be i(-2). Let m = 23 + a. Suppose 5*y + 12 = 4*z, -4*z = 4*y - y - 12. Solve m*o + 2*o = y for o.
0
Suppose 61 - 21 = 4*u. Let o = -10 + u. Solve x + o*x = 5 for x.
5
Suppose 0 = -0*w + w. Suppose w = -5*q + 6 + 4. Let d be (-12)/q*(-3)/9. Solve -3*m = d*m - 5 for m.
1
Let p(h) = h**2 - 7*h - 6. Let u be p(6). Let i be ((-4)/12)/(2/u). Suppose 5 = i*b + 1. Solve 0 = b*q - q for q.
0
Suppose 1 = u + 5. Let v be 2 + (u - (-8)/4). Solve v = -4*x + 12 for x.
3
Let d(m) = -m + 13. Let x b