 Solve z = -5*j + 7 for j.
1
Suppose -4*t + 6 - 22 = 0. Let q be (-2)/t*(2 + -2). Solve q = -5*j + j for j.
0
Suppose 4*q - 3 = 5. Let v be ((-32)/q)/((-10)/25). Suppose -v = -4*f - 5*u, f + 4*u = 4*f + 1. Solve 0 = f*s + 2 + 3 for s.
-1
Suppose -3 + 11 = 2*u. Suppose -2*q - 2*p = -u, -4 = 4*p - 0. Let a be 2/q - (-16)/12. Solve v + a*v = 0 for v.
0
Suppose -n - 2*k - 28 = 0, -2*k - 83 + 15 = 3*n. Let c = 25 + n. Suppose -5*a + d = -85, -c*a + 6*d - d = -105. Solve -3*b + a = b for b.
4
Let a = -7 - 34. Let q = -37 - a. Suppose 3*w + 2*d = -0*d + 19, -w - q*d + 13 = 0. Solve 0 - w = -5*o for o.
1
Let k be (-2)/(-2) + -2*(-36)/24. Solve 5 = -k*a - 3 for a.
-2
Suppose -2*t + 0 = 2*f + 2, -3*f = 2*t + 7. Solve -t = 6*u - 10*u for u.
1
Let z be (4/2)/((-3)/(-6)). Solve -25*h = -26*h - z for h.
-4
Let n be -23 + (-12)/16*-4. Let u be (-10)/n - 1/2. Let z be (1/(1/4))/2. Solve -r - z*r = u for r.
0
Suppose -2*n = a - 11, -5*n = 3*a - 13 - 15. Solve -14 = -n*x + 6 for x.
4
Let h(u) = -u + 10. Let f be h(6). Suppose -x = f*x. Solve g + 0*g + 5 = x for g.
-5
Let h be 2/9 - (-1071)/(-81). Let c = -10 - h. Suppose -c*s - 8 = -5*w, 6 = 3*w - 2*w - 5*s. Solve o - 3 = w for o.
4
Let n(j) = -2*j**2 + 53*j - 70. Let f be n(25). Solve 0*y = f*y - 25 for y.
5
Let i be 1/(133/42 + -3). Solve 3*d + i = 3 for d.
-1
Let c be 9/21 - 135/21. Let f = c + 11. Suppose -f*q + 1 = p - 2*p, -3*p + 2*q + 10 = 0. Solve -p*t = -9 - 3 for t.
3
Let b = -60 + 64. Solve -6*y - 8 = -b*y for y.
-4
Suppose 5*c + 23 = 2*g - 3, c = -g + 6. Solve -4*s = -g*s + 8 for s.
2
Suppose 5 = -l + 3. Let w be 8/(l/(-1)*-1). Let m be w/10 - (-2)/5. Solve m = 9*i - 4*i + 15 for i.
-3
Let c(o) = -o**2 + 7*o - 1. Let h be c(6). Suppose -5*n + 15 = h. Solve n*s + 0 + 2 = 0 for s.
-1
Suppose 41*c = -11*c + 936. Solve c*v = 3*v for v.
0
Let t(b) = -2*b**3 - 27*b**2 - 52*b + 35. Let l be t(-11). Solve 6*s + 10 = -l for s.
-2
Let y = -25 - -29. Suppose -10 = -y*f - 2. Solve f*d - 4 = 4*d for d.
-2
Suppose -17 = 29*z - 46. Solve 0*c - z = -c for c.
1
Suppose -12 = 4*x - 8*x. Let b be x/2*(-2)/3. Let p be (-7)/b - (0 + -1). Solve 0 = -3*m + m + p for m.
4
Suppose 0 = -15*i + 18*i + 9. Let o(w) = w**2 + 3*w + 2. Let m be o(i). Solve -3*b - 5 = -m for b.
-1
Suppose 5*l + 2*j - 30 - 2 = 0, 0 = 4*l - 4*j - 20. Suppose -8 = -x - l. Solve -p + 15 = x*p for p.
5
Let u be (-7)/(-28) + (-2)/8. Suppose 2 + u = y. Suppose 2*j - y = 6. Solve 0 = -j*o + 7 - 3 for o.
1
Let v be 448/96 - 1/(-3). Let o = 6 - 6. Solve o*h + v = -h for h.
-5
Let o(z) = -5*z**3 + 2*z**2 + 3*z + 1. Let l be o(-1). Suppose l*i - 6*i = 0. Solve i = -a - 0 + 4 for a.
4
Let w be 4/3*-38*(-3)/8. Solve 17*q = w*q + 10 for q.
-5
Suppose -194 = -23*q + 13. Solve -q*w = -21*w - 60 for w.
-5
Let w(i) = i**2 - 7*i + 12. Let j be w(5). Suppose -5*q = -2*u - 13, j*u + 4 = 3*q - 3. Solve 0 = -q*h + 4*h + 5 for h.
-5
Let v(k) = 5*k - 107. Let d be v(22). Solve d*c - 5 = 8*c for c.
-1
Let l = -22 + 24. Suppose 0 = -l*h + 26 - 22. Solve h*u + 2 = -0 for u.
-1
Let z(w) = -8*w + 4 - 8 + 0. Let a be z(-3). Solve 8*f + a = 3*f for f.
-4
Suppose d - 11 = -2*h - 0, 0 = 5*h - 5*d + 10. Suppose 0 = -b + h*b. Suppose 0*l - 5 = -l. Solve -4*o - o + l = b for o.
1
Let m be (-729)/(-24) - (-6)/(-16). Solve -m = -4*r + 10*r for r.
-5
Let w(h) = -2*h**2 + 27*h. Let t(b) = -8*b + 0*b**2 - 6*b + b**2 + 0*b**2. Let u(i) = -11*t(i) - 6*w(i). Let v be u(9). Solve 4*m + 1 = v for m.
2
Let y = 24 + -20. Solve 0 = -y*z - 10 - 6 for z.
-4
Suppose -2*r - 20 = -3*b, -33*r - 28 = -5*b - 35*r. Solve -9*g + b = 24 for g.
-2
Suppose 4*m - 8*m = 52. Let r = 13 + m. Solve r = 3*o + 2 - 8 for o.
2
Suppose -36 - 36 = -8*m. Suppose m + 1 = 5*r. Solve -2*o = 2 + r for o.
-2
Suppose 5*i - 62 = 4*s, -i - 2*i = -5*s - 32. Solve 0 = -m + 19 - i for m.
5
Suppose -56*p + o + 2 = -59*p, 4 = 5*p - 2*o. Suppose 2*u = -2*h + 2 + 14, -5*u + 24 = h. Solve p = u*l + 4 + 8 for l.
-3
Let h be (-4)/3*-3*(-2)/(-4). Suppose 4 = 2*u - i, h*i + 4 = 4*i. Solve -u*w = -w for w.
0
Let w = -19 + 13. Let t be 40/w*3/(-2). Suppose 6*z - t = z. Solve -z = -2*h + 4*h for h.
-1
Let k(c) = 2*c**2 + c + 2. Let y be k(-2). Let s = y + -3. Let g be 57/95 + (-3)/5. Solve g = -2*a + 3*a - s for a.
5
Suppose 3*x - 11*x + 24 = 0. Let m = x - 3. Solve m = s + 2*s for s.
0
Suppose 3*j - 4*l + 0*l - 3 = 0, -2*j + 7 = -l. Solve 0 = -5*u + 4*u + j for u.
5
Let x(j) = j**3 - 6*j**2 + j - 6. Let i be x(6). Suppose 0 + 2 = -u - 3*q, 0 = -3*u + 5*q + 22. Suppose -r = -i*r - u. Solve 0*l = -r*l + 4 for l.
1
Let a(h) = -12*h**3 - 2*h**2 - 6*h - 4. Let g be a(-1). Solve -13*b + g*b = -1 for b.
1
Suppose -26*z + 390 = 4*z. Solve -z = 7*d - 6 for d.
-1
Let u = -6 - 1. Let h be 21/(-2)*(0 - (2 + 4)). Let w be 3*u/(h/(-60)). Solve y - w = 6*y for y.
-4
Suppose u + 2*u + 3*t + 3 = 0, -23 = -2*u + 3*t. Solve 8*y - u*y = -4 for y.
-1
Let a be (-10)/(-4) + (66/(-12))/11. Let m = 5 + -5. Solve a*b = -4 - m for b.
-2
Let a be 0*8/20*(-10)/8. Let f(t) = -3*t**3 + 1. Let z be f(-1). Solve a = -l - 1 - z for l.
-5
Suppose 4*g - 2 + 18 = 3*x, 20 = 3*x - 5*g. Let n = -35 + 39. Suppose -2*c + f + 11 = 0, c - 2*f + 34 = n*c. Solve c = -2*h - x for h.
-4
Suppose 4*v = -6 - 2. Let w = v + 6. Solve -w*j = -13 + 5 for j.
2
Suppose 0 = -2*i - o + 29, -28 = -5*i + 3*o + 50. Let z(k) be the third derivative of k**6/120 + k**3 + 3*k**2. Let d be z(0). Solve -d*w = -3*w - i for w.
5
Suppose 0 = 3*x + 4*a - 44, 19 = -0*x + 3*x - a. Suppose 5*t + y = x, -7*y = 5*t - 3*y - 2. Solve 3*g + 5 = t*g for g.
-5
Let d(g) = g**3 + 4*g**2 + 4*g + 2. Let q be d(-3). Let o be 8 - (q - (-10)/2). Solve -3*y + o = -5*y for y.
-2
Suppose 1 = r - 3. Suppose -2*p + 16 = 3*w, 0 = -2*w - 0*p + 5*p + 36. Let a be 7 + (-8 - (4 - w)). Solve -h + a = r for h.
-1
Suppose -c = -14 - 7. Suppose a + 4*s - c = -s, s - 9 = -a. Let l = -3 + 4. Solve a = y + l for y.
5
Let i be (-1 - 2)/(-9) - 4/(-6). Suppose 5*q - 6 = 4*r + 7, -q - i = -2*r. Solve -q*h + 5 = -0*h for h.
1
Suppose -4*f = -i + 3*i - 22, -2*f + 23 = 5*i. Suppose 0 = i*p - k - 7 - 9, -2*p - k + 4 = 0. Suppose -65*s + 68*s = 0. Solve -p*b + 8 = -s*b for b.
2
Let u = -56 - -60. Solve o = -u + 6 for o.
2
Suppose -5*a - 3 = -38. Solve -a*y - 17 + 10 = 0 for y.
-1
Let j be ((-14)/3)/(10/(-15)). Suppose -3*r = -2*w + j, 5*r + 3 = 3*w + 2*r. Let f be (w/6)/(6/(-45)). Solve -2*q = -f*q + 6 for q.
2
Let i be (72/(-4))/(15/(-20)). Solve -4*y - i = -4 for y.
-5
Let d be (-2072)/(-70) + (-2)/(-5). Solve h - d = -5*h for h.
5
Let p(g) = -6*g + 32. Let h be p(6). Let x be (-3)/(h/((-104)/(-6))) - 3. Solve -t + x = -6*t for t.
-2
Let o be 0*(7 + 0)/35. Solve 0 = -o*f + f - 1 for f.
1
Suppose 43 = 5*f - 4*b, -3*b + 16 = 2*f - 4*b. Suppose 3 = -4*o - 5. Let v be -1*(2 + o) - -2. Solve -v = -l - f for l.
-5
Suppose -31*v + 26*v = 4*m - 8, 0 = 2*m - 3*v - 4. Solve 12 = 5*a + m for a.
2
Let q(n) = n**2 + n - 1. Let i be q(-4). Let j = -12 + i. Let x be -1*0/(0 - j). Solve x = 4*u - 6 - 2 for u.
2
Let j be 2 + 1 + -2 - -14. Let o be (-10)/15*j/(-2). Solve -8 = o*r + 2 for r.
-2
Suppose 5*q - 95 = -5*l + 10, -3*q = 15. Solve 20 - l = -6*g for g.
1
Let r(v) = 2*v**2 + v - 8. Let q be -20 + 4/8*-2. Let m = q + 17. Let j be r(m). Solve 4*n - j = 8*n for n.
-5
Suppose -43*j + 9 = -40*j. Solve -11 + 2 = -j*x for x.
3
Suppose -3*k + 6*k - 4*g - 132 = 0, 0 = 3*g. Suppose -2*j + k = 5*h, -h - 64 = -5*j - 2*h. Solve -2*d - j = -5*d for d.
4
Suppose 1 - 5 = -2*w. Let y be -32 - (1/(-4) + (-39)/(-12)). Let j be (y/30*3)/(1/(-2)). Solve 3*f - j - w = 0 for f.
3
Suppose 0 = 2*b - 5*x - 31, -9*b + 4*b = 2*x - 5. Suppose -b - 4 = -7*h. Solve -2*j - 3 = h for j.
-2
Suppose i - 4 = -2*r, 5*r - 1 = -4*i + 6. Solve 3*c + 0 = -r for c.
-1
Suppose 0 = -2*t - 213 + 215. Solve t = -8*w + 7*w for w.
-1
Suppose -3*g + 15 = 3. Let i be 36/28 - g/14. Let b = -1 + i. Solve -4*t + 0*t + 8 = b for t.
2
Let i(c) = -2*c**2 - 23*c + 43. Let d(y) = -y**2 - 11*y + 21. Let x(o) = -9*d(o) + 4*i(o). Let k be x(-9). Solve 4 + k = -z for z.
-5
Let a be 2*(-46)/(-4)*10/10. Suppose -a*r + 18*r + 20 = 0. Solve -r*c - 5 = 11 for c.
-4
Let a = 16 - 8. Let m = 11 + -8. Let g(k) = k**3 - 2*k**2 - k + 2. Let l be g(2). Solve j + m - a = l for j.
5
Let s(a) = a**2 - 32*a - 179. Let f be s(37). Solve f