j = s*b - 5 - 7. Solve b*t - 4*t = 0 for t.
0
Let n = 26 + -22. Solve 3*k - n = 5 for k.
3
Let q = 10 + -15. Let g = q - -7. Solve g*x = -x + 15 for x.
5
Let w(q) = -5*q + 2. Let f be w(-1). Solve f*x = 2*x for x.
0
Let c = 3 + 5. Let h(x) = x - 2. Let u be h(c). Solve -5*k - 16 = -u for k.
-2
Suppose -7*n + 6*n = 0. Solve -l = -n*l for l.
0
Let l be (72/5)/((-9)/(-30)). Suppose l = v - 5*v. Let a = -7 - v. Solve 0 = -a*n - 11 - 9 for n.
-4
Suppose -3*y + 8 = -7. Suppose -c = -y*c. Let d = 12 + -9. Solve c = 4*r - 23 + d for r.
5
Suppose 13*t - 16*t = 0. Solve t - 2 = -2*p for p.
1
Suppose 3*j - 20 = -j. Solve -3 = -j*m - 13 for m.
-2
Let o = -2 + 20. Let p be ((-9)/o)/(1/(-6)). Solve 4*c = 7*c + p for c.
-1
Suppose -5*p = -4*z - 17, 3*p - 4*z - 6 = -3*z. Solve p - 5 = -h for h.
4
Let z be (1 - 1) + -2 + 2. Let q(o) = o**3 - o**2 - o + 4. Let h be q(z). Suppose 3*s - 3*d - 4 = -4*d, h*s - d = 3. Solve -3 = k - s for k.
-2
Suppose 0 = -3*h - 11 - 4. Let v = h + 6. Solve 5*t = -4 - v for t.
-1
Let t be 3 - (-2 - 0/(-3)). Suppose -3*l - n = 1, -6*n = -t*l - n + 5. Solve l = 2*j + 3*j for j.
0
Suppose -4*z + 0*z = 4. Let p be (-12)/(-10)*(-20)/z. Suppose n = -n - 3*b + 48, n = -4*b + p. Solve 1 + n = 5*k for k.
5
Suppose 0 = -4*o + 2*o. Let p = -7 - -8. Solve o = v - p + 2 for v.
-1
Suppose -4*z - 5 = -3*r, -3*r - 5 = 2*z - 2*r. Let h be z/5*1*5. Let j be 1/3*(-12)/h. Solve -3*n = -1 - j for n.
1
Let g be ((-8)/(4 + 0))/((-2)/4). Solve -m = -g*m for m.
0
Let p be 1/(-2)*(2 + -12). Let m(u) = -u**2 + 5*u + 1. Let c be m(p). Solve c = -2*o - 9 for o.
-5
Suppose 9 - 1 = 3*q + 4*r, 3*r + 15 = 3*q. Solve 0*o + q = -2*o for o.
-2
Suppose 2*w - 5 = 13. Let z(i) = i**3 - 8*i**2 - 9*i + 4. Let c be z(w). Solve -c*g - 18 = -2 for g.
-4
Suppose 2*u + 3 = -3. Let c = 9 - u. Solve h - 4*h = -c for h.
4
Let h = -181 + 184. Solve 2*x = -h*x for x.
0
Let h = 19 + -17. Solve -3*z + h*z - 2 = 0 for z.
-2
Let a = -18 - -26. Suppose -a = -2*y - 2*y, 2*y - 8 = -2*w. Solve 0*c + w*c = 0 for c.
0
Let a be (-2)/(-9) + (-318)/(-27). Let z = a - 12. Solve z*n - 15 = 5*n for n.
-3
Let m = 242 + -161. Let u = 113 - m. Suppose 4*y - 48 = u. Solve 0*d - 4*d + y = 0 for d.
5
Let s(q) = -q**2 - 4*q + 1. Let x be s(-2). Suppose -w = -x*w + 12. Solve -2*c + w = -7 for c.
5
Let q = -10 - -15. Solve q*d + 15 = 5 for d.
-2
Let x(c) = -c**3 - 5*c**2 + 13*c - 2. Let h be x(-7). Solve -4 = 3*z - h*z for z.
2
Let w = 34 + -32. Solve w*k = k for k.
0
Let k(n) = -n**3 - 4*n**2 + 4*n - 3. Let i be k(-5). Let o(h) = h**3 - h**2 - 2*h + 2. Let p be o(i). Let w(z) = -z - 6. Let m be w(-9). Solve m + p = u for u.
5
Suppose -h + 3*h = 12. Let j(a) = -a**2 + 6*a + 6. Let c be j(h). Suppose -2*v - 4 - 21 = -3*l, 0 = 2*l - 3*v - 15. Solve 3*i - c*i + l = 0 for i.
3
Let k = -21 + 13. Let w(p) = p**2 + 8*p + 4. Let c be w(k). Solve 2*y = 3*y + c for y.
-4
Suppose -4*k = 5*g - 15, 5*g - 3*k = -13 - 7. Let s(i) = i**2 + 8*i - 6. Let j be s(-9). Let l = g + j. Solve -w = w - l for w.
1
Suppose 17 = -3*r + 2. Let p(y) = y**2 + 3*y - 5. Let c be p(r). Solve 0 = -10*f + c*f - 25 for f.
-5
Let u be 310/(-3) - (-4)/(-6). Let k be (-4)/10 - u/10. Solve 3*a - a - k = 0 for a.
5
Suppose r = -2*k - 4, 2*k = 3*r + 5*k. Suppose 0 = r*j - 0*j - 96. Suppose i = -2*i + j. Solve 5 - i = -3*b for b.
1
Let s = 2 + 0. Suppose 3*k + 3*j = -4 + 1, -5*j = -s*k + 5. Let i = k + 2. Solve 0 = -5*a + i + 8 for a.
2
Let a be (0*(-2)/4)/2. Suppose -q = -a*q + 7. Let s(o) = o + 9. Let k be s(q). Solve -k*n - 2 = -12 for n.
5
Let m(s) = -s + 10. Let z be m(8). Let r be (-2)/3*(-9)/6. Solve r = t - z for t.
3
Let s be (-6 + 3 - -2) + 3. Solve -3*b - s*b - 20 = 0 for b.
-4
Let j(c) = -c**3 + 6*c**2 - 2*c - 8. Let k be j(5). Suppose 30 = 12*h - k*h. Solve 0 = 4*o - o + h for o.
-2
Suppose 0 = 8*y - 3*y - 95. Let l = y + -13. Solve 0 = -x + l*x + 20 for x.
-4
Let q(g) = -g. Let l be q(-1). Let i = -1 + l. Suppose 3*f + f = i. Solve -o + f = -5 for o.
5
Let l(t) = -t + 12. Let c be l(9). Suppose -2*r = 2*b + 6, -c*r + 0*b - 19 = 5*b. Solve -i + r = i for i.
1
Let w(z) = z**2 - 2. Let q be w(2). Suppose q*y = 4*f + y - 19, 0 = 2*f - 3*y + 3. Solve -x - 10 = -f*x for x.
2
Let p be 3*(-1)/((-3)/4). Let o be (19 - 1)*(4 + -3). Let t = o + -18. Solve t*g + 12 = -p*g for g.
-3
Let q(o) = -o**3 + 2*o**2 + 4. Let u be q(0). Let y be u/(2/2) + 0. Solve y*m - 5 = 7 for m.
3
Suppose -27 - 3 = -5*r. Solve k - 25 = r*k for k.
-5
Let x be 6/(-2)*(-3 + 2). Let r(i) = 2*i + 3*i**3 + 3*i**2 + 0 - 2*i**x + 3. Let l be r(-2). Solve -l*w = -0*w - 12 for w.
4
Let l(i) = 2*i + 7. Let r be l(8). Solve 3 - r = -4*b for b.
5
Let p be (0 - -2) + 1 + 2. Suppose -4*a + p = a. Solve 0 = z - 1 - a for z.
2
Let a = 10 - 6. Suppose -3*w + a*c + 94 = 30, 4*c = -4*w + 76. Solve -3*z - w = 2*z for z.
-4
Let x = 5 - 3. Suppose -3*r = -x*r - 12. Solve -8 = -4*p + r for p.
5
Suppose 0 = 2*r - 2*g + 2 - 14, 0 = -2*r + 5*g + 3. Solve 3*m + 3 + r = 0 for m.
-4
Let o be 4/(1 - 3)*-4. Suppose a - 8 = -4*j - 4, 4*a - 3*j = 16. Solve a*m + o = 6*m for m.
4
Let y(w) = w**3 + 2*w**2 + w + 2. Let n be y(-2). Suppose n = u - 6*u. Solve u = -b + 3 for b.
3
Let p = -2 - -2. Suppose z + 2*z = p. Suppose 5*q + 4*y - 6 = 0, -3*y = -4*q - z*y + 11. Solve a + 1 = q for a.
1
Let h be (1 + 1)*1 - 0. Solve z + h = -1 for z.
-3
Let c be 7 - ((1 - 2) + 1). Solve -2*v + 20 = -c*v for v.
-4
Let k(i) = i**3 + 4*i**2 + 4*i + 3. Let s be k(-2). Suppose 0 = -5*r + s*z + z + 19, -3*z = 3. Solve -r*c + 2*c - 4 = 0 for c.
-4
Suppose -4*v - 3*c = 0, -5*c = 5*v - 0*v. Solve v*k = 2*k + 8 for k.
-4
Let r = -7 + 21. Suppose -2*l - 12 = 4*g, -5*l - 1 - r = 5*g. Solve l = 2*x - 6 for x.
3
Suppose -9*a + 5*a = -12. Let h(g) = g - 5. Let p be h(5). Let z = a - p. Solve -6 - 9 = -z*i for i.
5
Let i be 2 - (2 + -2 + 1). Let h be (-12)/(-2) - 2/1. Suppose -p = -h*p. Solve -g + p = -i for g.
1
Suppose -5*t = 4*v - 33, 0 = 2*v + 2*t - 3*t + 1. Suppose -13 = -2*y - 3. Let m = 8 - y. Solve 0 = j - m*j + v for j.
1
Suppose r - 5 = -2*j, 16 - 6 = -2*j + 4*r. Solve -j + 3 = -z for z.
-2
Suppose -2*b = -32 - 18. Solve 4*j - 9*j = b for j.
-5
Let a(w) = -w**2 - 12*w + 13. Let i be a(-13). Let k be 4/10*(3 - -2). Solve i*s = -k*s for s.
0
Let u be 16 + 1 + -1 + -1. Solve -c - 2*c = -u for c.
5
Suppose 0 = -5*h + 10, 0 - 4 = -2*a + 2*h. Let n = -1 + a. Suppose 10*w = -0*w + 80. Solve w*k = n*k + 10 for k.
2
Suppose -p + 0*p = 0. Suppose p*m + m = 5*g - 5, 4*g + 5*m + 25 = 0. Solve 4 = -h - g*h for h.
-4
Let i = 29 + -19. Let k be (-4)/i + (-36)/(-15). Suppose -3 = -u + k*w + w, -5*w = 4*u - 29. Solve 2*l + u = -l for l.
-2
Let q = -2 - 5. Let n = -4 - q. Let t be (0/3)/(4 - 1). Solve -n = -t*h - h for h.
3
Let c be 10 + (-3 - (-9)/3). Suppose c = -4*n + 46. Solve -2*b - b = -n for b.
3
Let f(u) = u**3 - 3*u**2 - 6*u + 8. Let d be f(4). Solve 0 = -2*z - d*z for z.
0
Let g = 13 + -1. Suppose g + 3 = 3*z. Solve d - z*d = 20 for d.
-5
Suppose -18*g + 51 + 147 = 0. Solve 5*y + g + 4 = 0 for y.
-3
Let k = -126 - -131. Let h(v) = v**2 + v - 1. Let n(u) = 4*u**2 + u. Let t(c) = -3*h(c) + n(c). Let a be t(-3). Solve -a - 2 = -k*f for f.
4
Suppose -5*f + 160 + 10 = 3*w, -3*f = 2*w - 102. Suppose 0 = 4*t - 5*j - f, -t + j - 5 + 13 = 0. Solve 4 = -t*b + 2*b for b.
-1
Suppose -9*h + 10*h = 4. Let t be (1/(-2))/(h/(-16)). Solve t*p - 7 = -17 for p.
-5
Suppose 5*k + 11 = 41. Suppose -3*m - m + 16 = 0. Suppose m = -z + k. Solve z*o - 3 - 5 = 0 for o.
4
Let h(y) = -3*y + 1. Let u be h(-1). Suppose -2*k = -u*k - 3*l + 19, 0 = 5*k - 3*l + 5. Solve -k + 12 = 2*i for i.
5
Let g(h) = -h - 8. Let o be g(-12). Suppose 0 = -o*m + 6*m. Solve 5*f - 10 = -m*f for f.
2
Let d(w) = -w**3 - w**2 + w - 1. Let c be d(-2). Solve -4*b - 11 = c for b.
-3
Suppose 0 = 11*c - 46 + 24. Solve 0 = c*v - 6*v + 12 for v.
3
Suppose -15 = -x - 0*d - 3*d, 2*x - 22 = -4*d. Suppose 0 = -c + 3*c - 16. Solve -z = -x*z - c for z.
-4
Suppose -2*z + m + 12 = 5*m, -2*z + m + 22 = 0. Suppose z = 3*t - t. Solve -q + t*q = -4 for q.
-1
Let q = 5 - -7. Let p(u) = u**2 - 12*u + 9. Let z be p(q). Solve 0 = 3*w - 0*w + z for w.
-3
Suppose -2*j + 4*j = 0. Let c be (-1 - -3) + (j - -11). Suppose -12 = -5*y + c. Solve y = 5*u - 15 for u.
4
Suppose 0 = c - 5*c - 20. Let g be (-2 - c)/((-