t s be 48/10 + j/(-15). Let m be 3/(-2)*(48/(-9) + -2). Solve 4*w - s = m for w.
4
Let l(m) = m**3 - 7*m**2 - 8*m + 2. Let b be l(6). Let w be (-1)/(-3) - b/6. Suppose 5*a = -5*c + w + 26, -2*a - 4*c = -14. Solve -4*v = -a*v + 5 for v.
1
Let i(a) = 3*a**3 - 3*a**2 + 2. Let s be i(2). Let f = s - 12. Solve -f*q = -3*q + 1 for q.
1
Suppose 0 = 7*z - 23 + 2. Solve -2*y - z = y for y.
-1
Suppose 3*r = 3*z, 5*r = z + 3*r + 4. Solve -z*j = 2 + 14 for j.
-4
Let z(b) = -b**3 + 3*b**2 + 4*b + 2. Let f be z(4). Suppose 2 = 5*i - f*k, 4*k - k - 14 = -i. Solve -i = -5*s + 13 for s.
3
Suppose 3*q - 4 - 2 = 0. Solve -4*n + q*n = -6 for n.
3
Let h(l) = -l**3 - 2*l**2 + 3*l - 1. Let y be h(-3). Let f = 4 - y. Solve -4*v - f = -1 for v.
-1
Let d = 26 - 18. Let n = 2 - 4. Let z = n + d. Solve -1 + z = y for y.
5
Let t be 6/(-2 + 5) + 2. Suppose 0 = 4*w - w + 4*y - 29, 0 = -t*w - y + 30. Suppose -5*z = -47 + w. Solve -12 - z = -4*o for o.
5
Suppose -4*a = 1 - 33. Let l(s) = s**3 + 20*s**2. Let n be l(-20). Solve k + k - a = n for k.
4
Let x(c) = c**2 - 4*c - 7. Let b be x(6). Suppose 4*s = -3*w + 15, -2 - 10 = -b*s + 3*w. Solve -15 = s*n + 2*n for n.
-3
Let w be 4/(-6) - 8/(-3). Let t(g) = -2 + 4*g + 3*g**2 - 2*g**2 - 5*g. Let a be t(2). Solve -w*m + a*m + 10 = 0 for m.
5
Let f be (-24)/(-36) - 4/6. Solve f = w - 5*w for w.
0
Let n(y) = -y**2 - 4*y + 2. Let b be n(-5). Let j be ((-6)/b + -3)*-3. Solve 2*i = i + j for i.
3
Suppose -9 = 5*t - 2*k, -4*t - 3*k + 5*k = 8. Let d be 1/t + -1 - -6. Solve d - 24 = -5*f for f.
4
Suppose 0*x + 2*x - 18 = -2*j, -5*j + 66 = -2*x. Let y be (-3 - 18/3)/1. Let f = j + y. Solve 2*k = f*k + 3 for k.
-3
Let i be (-21)/35 - (-6)/10. Solve c + 3*c = i for c.
0
Suppose -s - 2*s = 5*p - 2, 0 = s - 5*p - 14. Suppose s*m - 47 = -3. Solve -m = 4*x + 1 for x.
-3
Suppose 33*t - 28*t = 20. Solve a = t*a for a.
0
Let o = -31 - -47. Let y be o/56 - (-4)/(-14). Solve y*f + 4 = -f for f.
-4
Let a(c) = c**2 - 5*c + 5. Let d be a(5). Suppose -2*v + 32 = -5*l, -7*l = -d*v - 4*l + 42. Let o be (7 - -1)*v/8. Solve o = 2*s - 2 for s.
4
Let k(m) = m**2 + m - 1. Let n be k(-2). Solve -4 = -t - n for t.
3
Let c(m) = -m. Let k = -12 + 10. Let r be c(k). Let g(s) = 2*s - 2. Let j be g(2). Solve -j*o = -r - 2 for o.
2
Let k be (-256)/12*(0 - 3). Suppose 34 = 2*y + 3*h - h, 4*h = 2*y - k. Suppose 5*o - 5*u + 15 = 0, -o = o + 5*u - y. Solve -2*m = -m - o for m.
1
Let g = -81 + 81. Solve r + 0*r = g for r.
0
Suppose 0 = -0*y - y + 4. Let t be 5/((-10)/(-12)) - 2. Solve 0 = y*p - 2*p + t for p.
-2
Suppose 4 = -7*a + 3*a. Let x be (1 - a) + -1 + 2. Let h = 3 - x. Solve r - 3 + 0 = h for r.
3
Let h(r) = r**2 - 7*r - 8. Let a be h(6). Let n be 1/(a/(-6) - 2). Suppose -5*i + 8 = -n*m - 1, 3*m + 9 = 0. Solve f + i*f = -3 for f.
-3
Let l be 3 - (-3)/(-3) - -1. Solve 0 = -4*t - l - 1 for t.
-1
Let o(n) = 14*n - 2. Let s be o(3). Suppose 4*c = -c + s. Solve 0*a - 2*a - c = 0 for a.
-4
Suppose -5*z + 38 = -4*j, z + 2*j = -2*z + 36. Solve -4*f = -2 - z for f.
3
Let g = 21 - 7. Suppose d + 5 = 2*f, -6 = 4*d + g. Solve 2*c + f - 4 = 0 for c.
2
Let t = -4 - -5. Let v be -3 + 5 + (t - -1). Let p be 8/(-4)*(-1 - 9). Solve s + v*s = p for s.
4
Suppose 0 = -o + 1, -3*d - o + 4 = 0. Solve 0 = -h - 0 + d for h.
1
Let i = -42 + 42. Let z be ((-1)/1)/(2/(-4)). Suppose -q + i = z, -2*j + 4*q + 8 = 0. Solve j = m - 2*m for m.
0
Suppose d - i = 2, 6*i = -4*d + 5*i + 28. Solve -5*q + d + 14 = 0 for q.
4
Let q be 40/(-12) + 4/(-6). Let f(g) = -5*g - 5. Let m be f(q). Solve -u = -6*u - m for u.
-3
Let b(w) = 3*w - 1. Suppose 2 - 3 = -h. Let u be b(h). Solve 0*p - u*p - 8 = 0 for p.
-4
Suppose 3*a + 26 = 4*h, 2*h = -0*h + a + 14. Let y = 7 - h. Let g be 4 + y + 6/(-2). Solve 5*c - 10 = -g for c.
2
Let f = 8 + -6. Solve -4 = d - f*d for d.
4
Let u = 5 - 3. Let l(p) = 2*p + 4. Let o(c) = 3*c**2 - 2*c - 2. Let b be o(2). Let x be l(b). Solve 2*y = -u*y - x for y.
-4
Suppose 5*b - b + 4*f = 8, -b = -5*f - 32. Solve -b - 5 = 3*m for m.
-4
Let t be (-4*(2 + -4))/2. Suppose k + 2*k - 5*c - 30 = 0, 0 = -t*k - c + 40. Solve y - 3*y = k for y.
-5
Let w be -3*(-5)/10*20/6. Solve 0 = -0*g + w*g - 15 for g.
3
Let v(c) = c**2 - 16*c + 29. Let g be v(14). Solve -g = -3*f + 4*f for f.
-1
Let s = 93 + -91. Solve s*v - 8 = -6 for v.
1
Suppose 4*y = -5*m - 337, 367 = -y - 3*y + 5*m. Let o be (y/24)/((-1)/6). Solve -4*r - o = -10 for r.
-3
Suppose 4*m - m - 5 = -h, 2*h - 5*m = -1. Solve -1 = -o + h for o.
3
Suppose -1 = -5*p + 2*f, -6*p = -p + f + 8. Let b be p*(0/(-3) - 10). Solve -b = -3*n + n for n.
5
Let w(y) = -5*y**3 + 4*y**2 - 6*y - 5. Let z(v) = 5*v**3 - 5*v**2 + 7*v + 6. Let n(t) = 7*w(t) + 6*z(t). Let b be n(-1). Solve -6 = -2*q + b*q for q.
-3
Let a(m) = 3*m - 2. Let r be a(2). Suppose -2*s - 9*s = -132. Solve r*z = z - s for z.
-4
Let g = -46 - -28. Let i be (-4)/g - 16/(-9). Solve -i*p - 3 - 5 = 0 for p.
-4
Let u(k) = 8*k - 4. Let m = 9 - 6. Suppose -15 = -2*r - m*r. Let h be u(r). Solve 0 = a + 4*a - h for a.
4
Let c(v) = -2*v**2 + v + 2. Let k be c(-2). Let y = k - -5. Let p be 0*3/(0 - y). Solve p = h - 0*h - 1 for h.
1
Let t(x) = -x. Let s be t(-1). Solve -16 = 5*u - s for u.
-3
Suppose -4*f + 2*f = -4. Let h be (1 - f)*(-4 + -10). Solve 0 = 3*r - 5 + h for r.
-3
Suppose 4*s = -s + 4*g - 6, -5*s = g - 14. Solve -s = w - 2*w for w.
2
Let g(y) = y**3 - 5*y + 3. Let n be g(2). Solve -n - 19 = -4*o for o.
5
Let g be (-10)/(-45) + (-43)/(-9). Let s be (g + -1)*3/3. Suppose -6*d + d = 5*j - 45, -2*d = -s*j + 12. Solve 0*k + j*k = -20 for k.
-4
Suppose -4*p - 6 = 10. Let t be p/((-1 - -2)/(-1)). Solve 3 = t*s + 19 for s.
-4
Let c(k) = -k**2 - 4*k - 2. Let o be c(-3). Solve 3*r + 2 + o = 0 for r.
-1
Let c(n) = n**2 - 19*n + 26. Let k be c(18). Let v(f) = -f**2 - 3*f. Let g be v(-3). Solve g = -4*p - 0*p + k for p.
2
Suppose 0 = -5*c + 3*c - 24. Let p be 30/26 - c/(-78). Solve h = -3 + p for h.
-2
Let n be 63/28*4/3. Solve 2*i - n = -13 for i.
-5
Suppose 0*w = w - 0*w. Solve w = -4*n - 14 - 6 for n.
-5
Suppose -12*j = -8*j - 8. Solve -j*f + 1 + 1 = 0 for f.
1
Let b(d) = d**3 - 4*d**2 - 3*d - 4. Let q be b(5). Let a = 6 - q. Solve -2*i = -a*i for i.
0
Let z be 24/10*(-15)/(-6). Solve -2*v - 4 = -z*v for v.
1
Suppose q + 12 = 4*q. Suppose 2*r = 7*r. Solve r = a - q*a - 6 for a.
-2
Let k = -2 + 6. Suppose -k*q - 4*h = 12, 7 = q + h - 2*h. Solve -3*t + q = 11 for t.
-3
Let b(i) = 7 + 0*i**2 + i**2 - 6*i**3 + 5*i**3 + 0. Let d be b(0). Solve d + 1 = -4*t for t.
-2
Let d be (-2)/(-10) - 145/(-25). Suppose -t - 25 = -d*t. Solve -t*n + 0*n - 10 = 0 for n.
-2
Let i = 14 - 6. Suppose -s + 2*y = -0*y - 4, 4*y + i = 0. Solve s = -r + 2 for r.
2
Let b be ((-5)/2)/(4/(-8)). Solve z - 2*z = -b for z.
5
Let i(u) = u**3 + 3*u**2 - 6*u - 3. Let o be i(-4). Suppose 2*g - k = -2*k + 1, 2*g = -o*k - 19. Let r = 10 - 0. Solve -r = g*j + 5 for j.
-5
Let o = 25 - 26. Let v = o - -3. Solve -v*a = 6 + 4 for a.
-5
Let c = 13 - 9. Solve 0 = -3*x + c*x for x.
0
Let m be 3 - 1/((-4)/(-12)). Solve 2*a = -m*a + 6 for a.
3
Let z be 4*((-2)/4 + 1). Suppose -3*v + z = -2*v. Let k be (-1*24)/(-3) - 1. Solve 1 = -v*i - k for i.
-4
Let d = 6 - 4. Suppose -3*t - a - 8 = 0, 4*t - a + 10 = 4. Let j = -1 - t. Solve -d*i = -i + j for i.
-1
Suppose -d = -i + 5, 4*d + 9 = -3*i - d. Suppose 2*s - 2 = 4*n + 22, 0 = -4*s + i*n + 18. Solve -3 + 5 = -s*k for k.
-1
Let d(o) = 2*o**2 - 4*o + 1. Let k(g) = 3*g**2 - 6*g + 2. Let f(l) = -7*d(l) + 5*k(l). Let c be f(3). Solve -3*h + c + 0 = 0 for h.
2
Let k = -2 - -4. Suppose -1 = -j + 3. Suppose -2*v + j*v - 4*g = -8, 3*g = -k*v + 6. Solve v*o = -3*o - 9 for o.
-3
Let r = -43 + 43. Solve -5 = g - r for g.
-5
Suppose 4*j - 4 = 24. Suppose j*q + 5 = 19. Solve q*k + 3*k = 25 for k.
5
Let c(u) = 2*u**2 - u - 1. Let j be c(-1). Suppose -2*w - 12 = -w + j*h, 36 = -4*w - 5*h. Let r be w/(-8) - (-10)/4. Solve -r*q - 15 = 2*q for q.
-3
Let y = 5 - 10. Let i = -5 - y. Solve i*j - 5*j = 25 for j.
-5
Let g be (1 - -1)/(1 + 1). Suppose 3*o + g = 4*o, 5 = -3*n + 5*o. Suppose n*v - v = -2. Solve -1 = v*q + 9 for q.
-5
Suppose w = 5*p - 8 - 167, -p + w + 39 = 0. Suppose 3*j = -n + 25, -4*j = 2*n - 0*n - p. Solve -j = -q - 3 for q.
5
Let q = -9 - -12. Solve 4*n = -5 - q for n.
-2
Suppose 7*p - 3*p - 3*j + 14 = 0, -