Suppose 5*t = 15*t - 20. Solve -t*d + 8 = -0*d for d.
4
Let o(g) = g**3 - 4*g**2 - 7*g + 1. Let m be o(5). Let t = m + 11. Solve -t*a + 14 = 4 for a.
5
Suppose 4*j + 5*v = 0, -3*v = -j + 2*v + 25. Let m be -3 - (-3 - -1 - j). Solve 2*w - m = 6*w for w.
-1
Let p = -33 - -41. Let m(u) = -u**2 + 3*u + 4. Let q be m(4). Solve -5*v - 23 + p = q for v.
-3
Let n = -5 + 5. Solve 0 = -n*y + 5*y + 10 for y.
-2
Suppose -5 = -7*n + 6*n. Suppose 3*y - 8 = -n. Solve 3*h - y - 2 = 0 for h.
1
Suppose -29 = 5*w + 11. Let y be (-14)/w + 3/(-4). Solve -7 - y = -4*j for j.
2
Suppose -3*v + 29 = 5*y, 3*y - 5*v = -4*v + 9. Solve 10 - 2 = -y*b for b.
-2
Suppose -3*z + 0 = -6. Let f be 2 - z - (1 - 3). Solve -5*r + 15 = -f*r for r.
5
Let z = 56 + -53. Suppose -4 = -3*s - 2*h, 3*s + h = -2*h. Solve z*x = 4*x + s for x.
-4
Let v(x) = x**3 + 6*x**2 + 5*x + 2. Let l be v(-5). Solve j = l*j for j.
0
Let h be -3 + 3 + (-1 - -2)*13. Solve -4*z - 7 - h = 0 for z.
-5
Let r(j) = -j**2 + 4*j. Let y = 3 - -2. Let n be r(y). Let a be 8 - n - (-2)/1. Solve -a = -4*s + 5 for s.
5
Let l = 5 + -3. Let f(i) = -7 + i - 2 + 7. Let w be f(l). Solve -4*x + 20 = -w*x for x.
5
Let l be (-1)/2*-6 + 1. Solve l*x = x - 15 for x.
-5
Suppose 15*s - 15 = 14*s. Let q be 10/3*18/12. Solve -q*d = -0*d + s for d.
-3
Let t(r) = -r**3 + 3*r**2 + 4*r + 5. Let m be t(4). Suppose -f + 3 - m = 0, -d + 3 = f. Suppose 0 = 5*x + d, -7 = -2*l + x. Solve 5*u - l*u = 0 for u.
0
Let n(q) = q**3 + 3*q**2 - 4*q + 4. Let a(r) be the second derivative of -r**3/6 + 5*r**2/2 + 2*r. Let j be a(9). Let v be n(j). Solve u = -0*u - v for u.
-4
Let i(x) = -x**2 - 2*x + 10. Let a be i(-4). Solve -l + a = -1 for l.
3
Suppose 6 = c - 3*m - 1, 3*m = -5*c + 17. Suppose -u + 10 = c*u. Solve u - 4 = r for r.
-2
Let x be (1 + 0)*(-1 + 2). Let h = 8 - x. Let w be 2/h + (-2)/7. Solve -12 = 4*v - w for v.
-3
Let q be (-2 + 24/1)*1. Let u = q - -4. Solve -4*x - 6 + u = 0 for x.
5
Let m be 1/(-4) - (-9)/4. Suppose -4*u = u - 25. Suppose -2 = -u*k + 3. Solve 0 = -m*p - k + 5 for p.
2
Suppose -16 = z - 5*z. Solve -z*b = -9*b - 20 for b.
-4
Let v = -2 + 1. Let z(n) = -2*n**3 - n**2 + 1. Let x be z(v). Solve -x*i - 12 = 2*i for i.
-3
Let h = 6 + -2. Suppose f - 4*g + 0*g = h, 5*g = -5*f - 5. Solve 5*a - 2*a - 15 = f for a.
5
Let v = -16 + 5. Let y = v + 8. Let w be (y/2)/((-3)/8). Solve w*c - 8*c - 8 = 0 for c.
-2
Let r = 34 + -9. Solve 0 = 4*s + s + r for s.
-5
Let a be ((-12)/(-18))/((-2)/(-9)). Solve -a*r - 4 = -7*r for r.
1
Let h(o) = o**2 - 5*o + 5. Let j be h(5). Let i(q) = -q**3 + 6*q**2 - 6*q + 6. Let m be i(j). Solve x - 2*x + m = 0 for x.
1
Let d(r) = -3*r - 33. Let s be d(-11). Solve -4*b + s*b - 8 = 0 for b.
-2
Suppose 0 = 2*c - 2*v - 4, c = -3*c - v + 28. Let x be -10*(0 + 10/(-5)). Solve x = i - c*i for i.
-4
Let h(u) = -1. Let l(y) = -y**2 - 6*y - 4. Let w(k) = -6*h(k) + l(k). Let b be w(-6). Let s(c) = c + 8. Let j be s(-8). Solve j = -b*f - 2 for f.
-1
Let q = -18 - -14. Let u(y) = -y**2 - 4*y + 5. Let h be u(q). Solve -h*o + o = -8 for o.
2
Suppose -5*a - 2*k = -17, -a + 2*a - 5 = -2*k. Let w be (-77)/(-5) + (-2)/5. Solve a*v + 0 = -w for v.
-5
Let f(s) = -2 - s + 4 + 2. Let j be f(4). Solve j = 6*g - g + 15 for g.
-3
Let n = 16 - 8. Let r be 35/4 + (-6)/n. Solve 0 = -2*p - 0*p + r for p.
4
Suppose 18 = 15*b - 9*b. Solve 2*o = -o + b for o.
1
Suppose 52*i = 43*i + 18. Solve 0 = -0*k + k + i for k.
-2
Let t be 0/(1 + (-2 - -2)). Let k(r) = r**3 - 7*r**2 + 6*r + 4. Let c be k(6). Suppose -c + 0 = -2*j. Solve j*u - 11 + 3 = t for u.
4
Let m be (6/(-4))/(18/(-12)). Let d be (-3)/(1*m/(-2)). Solve -d + 2 = -x for x.
4
Let b be (14 - 19) + 0 + 30. Solve -7*w = -2*w - b for w.
5
Let l = 14 + -22. Suppose -2*k - 34 = -8. Let v = l - k. Solve v*p = -0*p - 20 for p.
-4
Suppose l - 4*l = -4*c + 15, 2*l = -3*c - 10. Solve c = i + i for i.
0
Let b(h) = -h**3 + 6*h**2 + 18*h - 12. Let d be b(8). Suppose 0 = -2*n - 3*v + 10, -2*n - v = -2 - 8. Solve d*w - n = -17 for w.
-3
Let d = 6 + -1. Suppose 2*h + 103 = d*k - h, 3 = -3*h. Solve k = 2*u - 6*u for u.
-5
Let t be -1*(2 + 8/2). Let q = -3 - t. Suppose -3*h + 15 - q = 0. Solve h*s + 11 = 31 for s.
5
Let m = -1 + 8. Let f be 128/7 + (-2)/m. Solve -5*r - f = 7 for r.
-5
Let q = -36 - -42. Solve -q*w = -9*w - 15 for w.
-5
Let l(j) = j**3 + 4*j**2 - 12*j + 2. Let o be l(-6). Let t be -1 - (-1)/(-1 + 2). Solve t = 2*w - o - 2 for w.
2
Let q = -19 - -14. Let z be (-4)/20 - 21/q. Solve y + 3 - z = 0 for y.
1
Suppose -5*c + 4 = n, -16 = -4*n - 9*c + 4*c. Solve 4 - 16 = n*t for t.
-3
Let q = 0 - -8. Suppose 0 = -3*l + q + 1. Solve -3 = 2*y + l for y.
-3
Let l be 2/3*9/1. Suppose -l*t + 12 = -3*t. Suppose 2*h + 3 = 19. Solve t*q + h = 2*q for q.
-4
Let l be -2*1/2 + 26. Suppose -6*p + l = -p. Suppose 24 = 3*d + 3*v, -d - p*v = -6*d. Solve d*g = 4 - 0 for g.
1
Let g = 12 + -9. Suppose 5*x - g*q + 8*q = 40, 5 = q. Solve 5 = -x*h + 14 for h.
3
Suppose j = -j + 4. Suppose -2*i = 3 - 5, -4 = j*r - 4*i. Solve r*s = s - 4 for s.
4
Let k = -17 + 17. Solve k = -2*g - g + 15 for g.
5
Suppose -4*g = -5*i - 15, 5*g + i + 3 = -0. Suppose -26 - 4 = -2*j. Solve g = s + 4*s - j for s.
3
Let q(h) = -7*h - 17. Let p be q(-5). Solve p = 5*v - 7 for v.
5
Suppose -d = -0 - 20. Solve -4 + d = -4*w for w.
-4
Suppose -4*f = 5 - 21. Suppose 45 - 5 = f*c. Solve -c = -b + 3*b for b.
-5
Let t be (-2)/14 + 480/(-70). Let s(o) = 2*o**2 + 9*o - 10. Let q be s(t). Solve 5*k = -0*k + q for k.
5
Suppose -3*a + 6 = 3*n, -2*n + 6 = -2*a + 5*a. Suppose -5 = -k, -3*o = o + 5*k - 37. Suppose o*g = -n*g + 9. Solve g = 2*h + 7 for h.
-2
Let v = -41 + 45. Solve -4 = 4*q + v for q.
-2
Let y = -12 - -13. Let o be (-1 - (-2 - -2)) + 1. Let a be y - (2 + (-1 - o)). Solve 4*h + a*h = 4 for h.
1
Let u(o) = -4*o. Let m be u(-1). Solve -m = 3*j + 8 for j.
-4
Suppose 7*l = l + 120. Suppose -k - l = -5*k. Solve q + k = -0 for q.
-5
Let u = -4 + 11. Solve -u - 5 = 3*c for c.
-4
Let h(w) = 7*w + 1. Let m be h(1). Let i = m + -3. Suppose 3*g = 5*g - 5*j - 26, -i*j - 5 = 5*g. Solve -g + 1 = -2*n for n.
1
Let c = 21 + -10. Suppose -4*p + 1 = -2*n - 3, 4 = 4*p. Let q be 2 - (0 + n - -2). Solve 4*k + c + 1 = q for k.
-3
Suppose 0*m = 3*m. Suppose m*l + l = -21. Let w = l + 34. Solve -w = 5*k + 7 for k.
-4
Let v(a) = -a**3 + 4*a**2 + 8*a + 4. Let s be v(6). Let b = 30 + s. Solve -5*c + 0 = b for c.
-2
Let u be (1 - 1) + (-30)/3. Let d be 4/(-10) + (-94)/u. Suppose 3*q + 3*m = -15, -4*q = -2*m - 1 - d. Solve -5*w + q*w + 5 = 0 for w.
1
Suppose -5*q + 23 = 4*b - 2, -5*b = 3*q - 15. Solve -13 = q*m - 3 for m.
-2
Let p(g) = 2*g - 2. Let w be p(2). Suppose -w*b = 3*b. Solve 15 = -b*t - 5*t for t.
-3
Suppose 4*h = h. Let s = 26 + -24. Solve h = -s*g - 0 + 2 for g.
1
Let p = 3 + 0. Suppose 12 = p*u + u. Suppose u*n = -18 + 66. Solve d = -3*d - n for d.
-4
Let a be -4*((-84)/(-16))/3. Let n(p) = p**2 + 3*p - 3. Let m be n(a). Solve 3*t - 8*t + m = 0 for t.
5
Let v(c) = c**3 + 10*c**2 + 10*c + 11. Let n be v(-9). Solve -n*l = 2*l for l.
0
Let u = -11 + 18. Let i = u + -4. Solve 0 = i*a + a for a.
0
Suppose 2*a + 10 + 2 = 0. Let q be 132/9 - 2/a. Suppose 2*b = -6*m + 5*m + q, 0 = 3*b - 3*m. Solve -3*x + b + 7 = 0 for x.
4
Let y(k) = 2*k**2 + 3*k + 3. Let x be y(-2). Let v = 18 + -13. Suppose 0 = 2*a + 10, 0 = -v*j - 5*a - 4 - 6. Solve -j*p = 1 + x for p.
-2
Let v = 14 + -22. Let r(m) = -m**3 - 7*m**2 + 9*m + 8. Let c be r(v). Solve -w - 1 + c = 0 for w.
-1
Suppose -p - 4*z + 18 = 0, 3*p + p - 5*z = -12. Suppose -5*b = -10*b - p*c + 16, -4*b = 4*c - 20. Solve -b*t + t = 3 for t.
-3
Suppose -3*q + 28 = q. Let c = -4 + 7. Let r = q - c. Solve 2*v - v = -r for v.
-4
Let r = 3 - 10. Let v(x) = -x**2 - 6*x + 7. Let o be v(r). Solve o = -2*t - 6 for t.
-3
Suppose 0 = -5*c - 0*i - 3*i + 11, -4*i - 32 = -5*c. Let u(p) = 3*p + 5. Let j be u(c). Suppose 0 = 5*s - 33 - j. Solve -s = 6*f - f for f.
-2
Suppose 5*n - 5*q = 2*n + 35, -3*q = 12. Solve n*d - 9 - 11 = 0 for d.
4
Suppose -3*o + 26 + 10 = -3*z, 5*o = -z + 78. Let s be 2 + -4 - o/(-3). Solve 2*h + s*h = 0 for h.
0
Let f be (-2 + (-3)/(-2))*-8. Solve -1 = y - f for y.
3
Suppose 2*o - 3 = 2*h - 11, 2 = o. Solve 0 = 4*s + 10 + h for s.
-4
Suppose -r - 1 = 2*l, -5*r - 4*l + 3*l = 23. Let u = 5 + r. Solve -3*b + 14 - 2 =