147 - (0 + (-8)/14). Solve 3*k - 2*k = y for k.
3
Let s be ((-2)/3)/(4/(-18)). Solve -y = s*y - 12 for y.
3
Suppose 2*x + 18 = 14. Let s be (-1)/((x/(-3))/(-2)). Solve -7*q = -s*q + 4 for q.
-1
Suppose -f + 4 = -0*f. Let l be 2/f - (-22)/4. Solve -2*q + l*q = -20 for q.
-5
Suppose 6*d = 23 + 1. Solve -2*z = -0*z - d for z.
2
Let a = 6 + -19. Let s = -10 - a. Let d(w) = -2*w - 3. Let j be d(-3). Solve s + j = -3*i for i.
-2
Let m = 37 - 32. Solve -20 = 3*h - m for h.
-5
Let z(g) = -g + 14. Let j be z(6). Let m = j - 6. Suppose m*c - 2*k - 18 = -4*k, -2*c + 18 = 5*k. Solve 5*s - c = 6 for s.
3
Suppose -4 + 14 = 5*n. Solve -5 - 3 = n*m for m.
-4
Suppose -3*o - 72 = -3*p, p - 4 = -0*p - 4*o. Solve -5*i + 0*i = p for i.
-4
Let v be (2/(-8))/((-5)/(-20)). Let j be ((-39)/26)/(v/2). Solve -7 + j = 2*x for x.
-2
Suppose -i - y - 19 = -4*y, -5*y = i - 13. Suppose -4*j + 25 = -n, 4*n + 25 = n + 2*j. Let w = n - i. Solve -w = x - 4 for x.
2
Suppose -2*n + 4*n = -0*n. Solve n = -2*m - 0*m - 4 for m.
-2
Let u(q) = q**2 - 6*q + 3. Suppose 3*y = -2*y + 30. Let r be u(y). Solve -3*c + r = -2*c for c.
3
Let t be (4/(-4))/(5/(-15)). Solve -t*v + 0*v = 0 for v.
0
Let a(k) = -6 - 6 + 5*k - 3*k + 0*k. Let s be a(9). Solve 2*g - s = -g for g.
2
Let w(i) = i**2 + 2*i - 1. Let h be w(-3). Let d = 3 + -1. Solve -h*o = d*o for o.
0
Suppose 5*q + 3*o - 7 = 0, 4*q - q - 4*o = 10. Solve -3*s - q = -5 for s.
1
Let v(t) = 0*t - 3 - 3*t + 2*t. Let u be v(-6). Solve 0 = -3*o + 6 + u for o.
3
Let h = -5 - -6. Suppose 0 = -3*l - h + 7. Solve l*v = -5 - 3 for v.
-4
Suppose 3 + 0 = 3*f. Suppose -4*a + 59 + f = 0. Let p(q) = 4*q**3 - 2*q**2 + 1. Let x be p(1). Solve 0 = x*w + a - 3 for w.
-4
Let l(c) = -c**2 - 4*c + 3. Let b be l(-4). Suppose 0 = -b*d - 0*d. Solve d*g = -4*g for g.
0
Let d(p) = -p - 6. Let s be d(-7). Solve -3*l - 5 = s for l.
-2
Let l(b) = b**3 - 3*b + 3. Let f be l(2). Suppose -7*h = -f*h - 6. Solve -h + 9 = 2*m for m.
3
Let m be 0/((-4 - -4) + -1). Solve -a + 0 + 2 = m for a.
2
Suppose -4*i - 22 = -3*v - 6*i, -5*i + 13 = -3*v. Solve -v*b = 11 - 3 for b.
-2
Suppose 5*g - 9 - 6 = 0. Solve -g*p = -1 + 7 for p.
-2
Let m = 51 + -43. Solve -4*i = -m*i for i.
0
Let u(w) = -2*w**3 - 2*w**2 + w + 2. Let y be u(-3). Let q = y + -11. Solve -5*f - q = -4 for f.
-4
Suppose 2*c + 5 = -2*p + 3, 5*p - 19 = 3*c. Solve 0 = 4*i - 5*i - p for i.
-2
Suppose -6*m = -2*m - 92. Let l = 36 - m. Solve 0 = -3*s - l + 4 for s.
-3
Suppose a = 5*i + 3*a + 17, 0 = -2*i + 4*a - 2. Let u = 5 + i. Suppose j - 2*d + u - 6 = 0, -12 = -3*j + d. Solve -j*r + 2*r = 0 for r.
0
Let p be (-20)/(-12)*12/10. Suppose 2*b = 3*m + 6, 3*b + b + m + 2 = 0. Solve -j + b - p = 0 for j.
-2
Suppose -35*h = -31*h - 32. Solve 9*m - 4 = h*m for m.
4
Let n(y) = y + 1. Let h be (2 + -5)*(0 - 1). Let v be -4 - (-9 - 0)/h. Let a be n(v). Solve -3*d = -a*d + 12 for d.
-4
Let r = -11 + 21. Suppose -r = -3*y + 3*w - w, 3*y + 2*w + 10 = 0. Solve y = 5*z - 6 + 26 for z.
-4
Let z = -13 + 13. Solve -2*u = 6 - z for u.
-3
Let p be 9/6 + (-2)/(-4). Solve g + p*g = -3 for g.
-1
Let z be (1 - (-4 + 5))/(-3). Solve z = -2*n - 2*n + 16 for n.
4
Let n(s) = -7*s - 1. Let j be n(-1). Suppose 0*m = 2*m - 20. Solve j*f = f - m for f.
-2
Let o(y) = y**2 + 5*y. Let f be o(-6). Solve f + 2 = -4*m for m.
-2
Let y = 11 + -8. Let h be (y/(-9))/(1/(-6)). Solve -k = -h*k for k.
0
Let o = 3 + 9. Let j be o/42 + 2/(-7). Solve j = -0*v + v - 3 for v.
3
Suppose 0 = 10*l - 35 - 45. Solve 7*s - l*s = 0 for s.
0
Let z(i) = i**2 + 9*i + 23. Let o be z(-6). Solve -8 = o*s - 3 for s.
-1
Let j(d) = -2*d**3 - 2*d**2. Let t be j(-3). Suppose 9 = 3*k, k + t = 5*w + 3*k. Solve 0 = q - w*q for q.
0
Let q(n) = -n**2 + 6*n - 8. Let d be q(6). Let h = -6 - d. Let v = 0 + 4. Solve -i = -h*i - v for i.
-4
Let q = 7 - 2. Suppose k - 3*r - 15 = -r, 4*r - 9 = -k. Let v = k - q. Solve u = -u - v for u.
-4
Suppose -12 + 0 = -3*u. Suppose -16 = -4*k - u*f, -f - 5 = 3*k - 13. Suppose k*n + 2*n - 3*l = 11, 3*l + 3 = 0. Solve 0 = 3*y + 5 - n for y.
-1
Let y(k) = k - 4. Let n be y(8). Suppose 0*d - n*d + 8 = 0. Suppose -x = d*x. Solve -4*t + 12 = -x*t for t.
3
Let k(x) = 8*x**2 - 29*x + 4. Let r be k(4). Solve 19*t - 12 = r*t for t.
4
Suppose 0 = 3*r - 0*r + 36. Let m(k) = -k**3 - 13*k**2 - 12*k + 3. Let h be m(r). Suppose -h*t + 20 = -t. Solve 0 = -4*x + 2*x - t for x.
-5
Let t be 4/(-8)*40/(0 + -4). Solve -q - 4*q = t for q.
-1
Let j be 7 + (-6 - -3) - -1. Suppose j*p - 5*o = 15, 3*p + 1 + 2 = -3*o. Solve -a + p = 2 for a.
-1
Let q = -34 - -39. Solve -5 = -q*p + 20 for p.
5
Let r(y) = 5*y**2 + 5*y - 3. Let s be r(3). Let g be 4*(s/12 - 4). Solve g*t - t = 0 for t.
0
Let s be 3/((-3)/10*-2). Let n be 9/s - (-1)/5. Solve -n*k = -k for k.
0
Let p be 24/(-18)*(-3)/2. Let f be (-2 - (-6)/3)/p. Solve -4 = -h - f*h for h.
4
Suppose -r + 2*r - 1 = 0, -4*n + 10 = 2*r. Solve -n*u = -0*u - 8 for u.
4
Suppose 5*y - 35 = -5*r - 0*y, 5*r + 4*y = 30. Let m = r + 3. Suppose 0*t - 5*o - m = 2*t, t + 4*o = -4. Solve -2*d = -6 - t for d.
3
Suppose 3*k - k = 0. Let b = 6 + 6. Suppose -b = -8*q + 5*q. Solve k = -q*i + 3*i for i.
0
Let a be (-15)/10*(-4)/(-6). Let f = a - 0. Let i be 2*f/2*-7. Solve 3*p = i*p - 16 for p.
4
Suppose -5*u - 3*t + 55 = 0, u - 3*t = -2*u + 9. Solve 4*a + 12 = u*a for a.
3
Let f(h) = 0 + h**2 + 4 - 1 + 0*h - 6*h. Let x be f(6). Solve -x*b + 4 = -11 for b.
5
Suppose 5*h + 10 = -3*c, 2*c = c - 3*h - 10. Let f be (-63)/(-7)*(-2)/(-6). Suppose -f = y, -c*a + 42 + 6 = 4*y. Solve -5*s - a = -2 for s.
-2
Let g be (1 - (-1 - -2))*-1. Let f = -4 + 4. Suppose 6*z - 3*z = -4*y - 1, 3*y + 5*z + 9 = f. Solve y*u + g*u = -8 for u.
-4
Let l(c) = c**2 - 2*c - 7. Let f be l(4). Let d be -6 + (3 - f) + 4. Solve d*o + 4*o = 0 for o.
0
Let w be (18/(-15))/((-10)/25). Solve -2*n = w*n + 15 for n.
-3
Let k be (4/(-10))/(5 - (-26)/(-5)). Solve 0 = 2*q + k*q - 4 for q.
1
Let k = 3 + -3. Solve -2*a + k = 6 for a.
-3
Suppose 0*x - 8 = 4*x. Let i be 66/36 + x/(-12). Solve i = -2*s - 2 for s.
-2
Let n be (8/(-6))/((-16)/72). Solve -n*z = -4*z for z.
0
Let k(t) = t**3 - 5*t**2 - 6*t + 2. Let b be k(6). Suppose b*p = -3*p. Solve -2*l + p*l - 2 = 0 for l.
-1
Suppose 2*z = z + 9. Solve 2*o = 5*o + z for o.
-3
Let c be 16/(-56) - 94/14. Let v(b) = b + 9. Let j be v(c). Suppose d = 10 - 1. Solve d = q + j*q for q.
3
Let h = -193 - -193. Solve 3*t + 5 - 2 = h for t.
-1
Let y = 6 - -3. Solve 0*r - 3*r + y = 0 for r.
3
Let u be 6/1 + (-13)/(-13). Let g(a) = a - 3. Let w be g(u). Solve r = w*r + 15 for r.
-5
Suppose -2*o - 2 = -3*o. Let y be (8 + -3)*o/5. Solve 3*p - y = 4*p for p.
-2
Let j(p) = -p**3 - 10*p**2 - 10*p - 6. Let o be j(-9). Suppose 4*u - 17 - o = 0. Suppose 4*i - 32 = -0*i. Solve 7 = -u*y - i for y.
-3
Let i = 4 - 7. Let t = i - -5. Solve -2*x - 8 = t for x.
-5
Let v = -7 + 11. Solve j = v - 3 for j.
1
Let v = -9 + 14. Solve -3*f - 4 = v for f.
-3
Let l = -95 + 98. Solve 3*t = -12 - l for t.
-5
Suppose -4*w = w - 10. Solve d = -d + w for d.
1
Let s(r) = 5*r**2 - 4*r + 1. Let a(f) = 14*f**2 - 11*f + 3. Let u(c) = -6*a(c) + 17*s(c). Let z be u(3). Let m be (0/3)/(z/2). Solve -4*g + m*g - 12 = 0 for g.
-3
Suppose 4*o + 4*r + 9 = 1, -16 = 4*r. Solve 0 = -o*p - p for p.
0
Let z = -113 + 117. Solve -2*u + 6*u = z for u.
1
Let d = 0 - 2. Let z be (3 + d)*3/1. Solve -i - z*i = -4 for i.
1
Suppose -1 + 10 = 3*r. Suppose -19 = r*p - 5*h, -4*p - 4*h = 14 - 42. Solve 0 = -p*v + 4*v for v.
0
Let c(x) = x**2 + 5*x - 6. Let t be c(-6). Suppose 12 - 4 = 4*z. Suppose 2*f - w - 27 = 0, 4*f + 2*w + 9 = 43. Solve t = z*k - f + 3 for k.
4
Let l = -27 - -28. Solve 7 = -2*w - l for w.
-4
Suppose -2*m = 3*m - 90. Let a = -17 + m. Solve g + 1 = -a for g.
-2
Suppose -4*x + 4 = 4*l, 1 = -3*x - 2*l - 3*l. Solve 7 = -x*s + 1 for s.
-2
Let f be 3 - (5 + (1 - 0)). Let h be (14 + 1)*(-1)/f. Solve -h*n = -10*n - 15 for n.
-3
Suppose -4*w - 2*h = 2, 0 = -3*w - w + 4*h + 4. Let k = -6 + 8. Solve w*x = k*x + 4 for x.
-2
Let n(d) = -d**2 + 3*d - 7. Let j be n(6). Let m = j - -35. Solve 0 = -3*o - 2*o - m for o.
-2
Let q = 11 + -11. Suppose q*c + 2 = c. Solve 0 = -l + c*l - 5 for l.
5
Let w be 2/8 + 2/(-8). Let y(b) = -b**3 + 2. Let r be y(-2). Suppose 13*a = r*a + 9. Solve w*h = a*h - 12 for h.
4
Let x(s) = -4*s**2 + 25*s