 for x.
-1
Suppose -3*q - 2*q - 5 = -5*d, -10 = -2*d. Suppose 12 = 4*z - q. Solve -3*v - 1 + z = 0 for v.
1
Let r(c) = -3*c. Let o be r(-1). Let z be ((-4)/(-4))/((-1)/(-9)). Solve o*i = -0*i - z for i.
-3
Let r = 19 + -16. Solve -3 = -r*k + 6*k for k.
-1
Let p = -5 - -10. Suppose 5*f = k + 15, -19 = 5*f - 2*f + p*k. Suppose -f*v = 3*v - 10. Solve v*i = -3*i + 20 for i.
4
Suppose 3*y - y = 10. Suppose 4*o = y*o - 4. Suppose -w + o = w. Solve -w = -3*m + 1 for m.
1
Let g = -12 - -17. Solve 2*a = a - g for a.
-5
Let p(y) = -y**2 + 11*y - 15. Let o be p(10). Let f be 36/10*o/(-2). Suppose -4*m + f - 1 = 0. Solve -9 = 5*v - m*v for v.
-3
Let p be 2/(-8) + 54/24. Solve 0 = p*w + 2*w for w.
0
Suppose 0*m - m = -5. Suppose m*n + 0*n = 30. Suppose t + 5 = n*t. Solve 4 = -3*u + t for u.
-1
Let b be -2 + (10 + 1)/1. Let m be b*1*2/6. Let l be 126/14 - (-5 + 9/3). Solve 1 = m*o - l for o.
4
Let i(c) = c**2 + 11*c + 14. Let d be i(-10). Suppose -q - v + 10 = -6*v, -3*q + 8 = -d*v. Solve y + q*y = 3 for y.
3
Suppose 0*g = 5*g - 20. Suppose 3*i + i + 3*p + 3 = 0, p - 3 = 0. Let w = g + i. Solve -2*m = 7 - w for m.
-3
Let j(d) = 2*d**2 + 5*d + 4. Let v be j(-3). Suppose 1 = 2*s + 3*f, v*s - 2*f = 2*s + 12. Solve -s*a = 2*a for a.
0
Let d(p) be the second derivative of -p**4/12 + p**3 + 3*p. Let s be d(6). Solve -3*x - 6 + s = 0 for x.
-2
Let i(j) = 4*j**2 - 2*j + 1. Let f be i(1). Suppose -f*x = -5*c + 17, -3*c + 25 = 2*c + 5*x. Solve c*d - 8 = 2*d for d.
4
Suppose 2*c - 19 = x + 6*c, -10 = 5*x + 3*c. Let j be 4*(x - (-3)/(-6)). Solve 0*z - j*z - 6 = 0 for z.
-3
Suppose -5*u - 7 = -37. Solve 2*f = 5*f - u for f.
2
Let z(o) = -o. Let m be z(-4). Suppose -m*r = r. Solve r = -2*t - 0*t + 4 for t.
2
Let n be -1 + (-3)/(-1) + 2. Let w = n - -1. Let l be ((-6)/w)/(3/(-40)). Solve 4*p = 4 + l for p.
5
Let b be 18/4*2/3. Suppose -4*l = -2 - 2. Suppose -2*v - 1 = 2*i - b, 5*i + v = l. Solve -t + 4*t = i for t.
0
Let w be (-4)/2 - 4*5/(-2). Solve 5*j + 3 = w for j.
1
Let f = 0 - -1. Let b be (-24)/(-18)*(2 + f). Solve -b*p = 12 - 32 for p.
5
Let x = -7 - -4. Let u(f) = f**3 + 2*f**2 - 3*f. Let h be u(x). Let b be 1*5 - (-2 - -3). Solve -4*m + b + h = 0 for m.
1
Suppose -90 = -7*u + 50. Solve 0 = 5*w - w - u for w.
5
Suppose -3*h = -a + 7, -2*a = -a + 5*h + 1. Suppose 0 = m - a*d - 21, -4*m + d = -m - 19. Solve 0*n - m = n for n.
-5
Suppose -59*t - 6 = -61*t. Solve -n - t*n = -16 for n.
4
Let g be -4*15/(-12)*(0 - -1). Solve g*i = i + 8 for i.
2
Suppose o = 4*r + 8, 4*r = -2*o + o. Suppose 6 = o*l - 10. Solve -l*v - 10 = -9*v for v.
2
Suppose 5*m + a + 8 = 5*a, -5*m = -a + 2. Solve 2 = -g - m*g for g.
-2
Let b = 26 + -16. Solve 4*z = -z - b for z.
-2
Let f(i) = i - 1. Let m(n) = n. Let w(a) = -f(a) + 2*m(a). Let r be (-1)/(2*1/(-2)). Let x be w(r). Solve x + 1 = -3*y for y.
-1
Suppose 9*z = 11*z - 16. Suppose -a + 3*a - 14 = 0. Solve 0 = a*f - 3*f - z for f.
2
Let d(w) = w**3 - 5*w**2 - w - 4. Suppose -3*h - 6 = -5*h, 4*k - 5*h = -3. Let t be d(k). Let s = t - -50. Solve 0 = 3*v + 2*v - s for v.
5
Let f(i) = i**3 + 2*i + 4. Let b be f(0). Solve -b*v - 11 = 1 for v.
-3
Let d = -108 - -117. Solve 3*r = 6 + d for r.
5
Let p = -38 + 38. Solve 2 = s - p for s.
2
Let i(b) = b**3 - 7*b**2 + 5. Let z be i(7). Let s = 0 + z. Let w(m) = -m**2 + 10*m + 11. Let h be w(11). Solve h = -0*q - s*q + 5 for q.
1
Suppose 5*x - 2 = q, -q = -4*x + 1 + 1. Suppose 5*p + 3*i = -i + 27, x = -5*p + 3*i + 6. Suppose 0 = 2*b - 4 - 26. Solve 3 = -p*g + b for g.
4
Let x be ((-7)/(-21))/((-21)/(-18) + -1). Solve -2 - x = 4*r for r.
-1
Let h(n) = -n + 10. Let b be (-2 - -1)*1 + 8. Let r be h(b). Solve -2*f + 5*f = r for f.
1
Let w(y) = y**3 + 4*y**2 - 2*y - 5. Let l be w(-4). Suppose -l*t - 6 = 0, 1 = -u + t + 19. Solve -7*s = -3*s + u for s.
-4
Suppose -n - n = 0. Solve t = -2 - n for t.
-2
Suppose -5*g = -3*g + 4*w - 2, 2*w = 0. Suppose l = 2 + g. Let p be 0 + l/(-6)*-4. Solve -2 = -3*z + p*z for z.
2
Suppose -7 = 4*c + 4*i + 5, -44 = 4*c - 4*i. Let s be 68/14 - 1/c. Solve 0 = -s*d + 3*d + 4 for d.
2
Suppose 3*n = n - 10. Let v be (-33)/(-5) - (-3)/n. Solve 4*j = v + 10 for j.
4
Suppose 2*l - 13 = 5*v + 3, -v = -l + 2. Let h(x) = -x - 1. Let c be h(l). Let a(t) = -t. Let p be a(-6). Solve c - p = -k for k.
5
Let w(u) = -u**3 - 7*u**2 - 6*u + 4. Let t be w(-6). Let s(p) = -2*p + 0 + 5 + p. Let k be s(3). Solve t*c = k*c for c.
0
Suppose -77 = -p - 69. Solve 0*l = 4*l - p for l.
2
Let w(r) = 2*r - 9. Let y be w(6). Suppose -i + 15 = -3*u - 1, -y*u + 2*i - 11 = 0. Let f be (-102)/(-10) - u/(-35). Solve -4*v = 2 + f for v.
-3
Suppose 0 = 4*p - 12. Suppose -3*a - 6 = -5*a. Suppose -a*j = -p*o - 3, -o + 1 + 4 = 5*j. Solve o = -3*n - 2*n for n.
0
Let b(y) = y**2 - 5*y - 4. Let u be b(6). Suppose -3*t - 6 = -2*c - u*t, -2*t + 2 = 3*c. Suppose -80 = -8*a + 3*a - c*o, 15 = 3*o. Solve 1 = -5*h - a for h.
-3
Let q be (-2 - -1)/(5/(-25)). Let b(f) = f**2 - 3*f - 6. Let a be b(q). Suppose 0 = -4*j - 3*x + 5, -4*x - 14 = -4*j - j. Solve 0 = 2*y + a + j for y.
-3
Let o = -17 + 20. Solve 2 = w - o for w.
5
Suppose -10 = -5*j - 0*j. Let l(b) = -b**2 + 5*b + 1. Let q be l(5). Solve j = x + q for x.
1
Let x = 0 - 0. Suppose 0 = -2*b + 3*b - 2*z - 11, -3*b - z + 12 = x. Suppose 0*y - 20 = -4*y - q, 0 = -y + q + b. Solve 2*h - 15 = y*h for h.
-5
Let z be 9/(-6)*(-44)/(-3). Let l = 37 + z. Solve -x = -4*x - l for x.
-5
Let v = -17 - -19. Solve 2 = 3*t - v*t for t.
2
Let r(l) be the first derivative of 2*l**2 - 3*l - 1. Let g(x) = -x - 10. Let n be g(-13). Let q be r(n). Solve -s - 2*s - q = 0 for s.
-3
Suppose -4*n = 5*y + n - 35, -n = 4*y - 25. Let q(k) = -k**2 + 6*k - 2. Let p be q(6). Let j = y + p. Solve -b - j = -0*b for b.
-4
Suppose 0*y = -4*i + 2*y + 26, -y - 8 = -i. Suppose -13 = -i*z + 2. Solve 0 = -3*a - z for a.
-1
Let a = -45 - -50. Solve -a*u + 10 = -5 for u.
3
Suppose 27 - 7 = -5*m. Let l = m - -4. Suppose l = 2*w - 3 - 1. Solve w*p - 6 = -4 for p.
1
Let s be (-2)/(-9) + 4/(-18). Let o be 2/(-1) - 6/(-1). Suppose 10 = 2*w + o. Solve s + 6 = w*p for p.
2
Let a = -3 + 3. Let r = 1 + 1. Suppose 0 = w - r - 1. Solve -x - w*x = a for x.
0
Let y = 120 + -110. Solve a + y = 6*a for a.
2
Let v(u) = -u + 6. Let k be v(6). Solve 5*r + k*r = -20 for r.
-4
Suppose 4*q - 17 + 1 = 0. Solve 0 = -q*r - 0 - 4 for r.
-1
Let y be 2 + 2 - (-1 - 0). Let l(m) = m**2 - 2*m + 3. Suppose 0*c - 5*q + 22 = c, -4*q = 4*c - 24. Let u be l(c). Solve -y = p - u for p.
-2
Suppose s - 3*s = -2*o + 16, 4*o - 8 = -4*s. Let b = o - 0. Let q be (-12)/4*(-31)/3. Solve -6 = -b*r - q for r.
-5
Let g be ((-12)/9)/(6/(-9)). Suppose 5*c - g*c - 66 = 0. Solve 4*h - c = -6 for h.
4
Let l = 18 - 13. Suppose 0*y + 36 = l*y + 4*r, 2*r - 22 = -3*y. Let b be 3*1/(-2)*8/(-6). Solve -b*k = -0*k + y for k.
-4
Suppose 3*f = 3*a - 15, -2 = 4*f + 18. Suppose 4*l = 2*l + 4. Suppose -3*h + i + 13 = 0, -3*i = -10*h + 5*h + 19. Solve h*y + 18 + l = a for y.
-4
Let y be -2*(-2)/((-12)/(-51)). Let d = y + -9. Solve s = 3*s + d for s.
-4
Let g(j) = -2*j**3 + j**2 - 1. Let q be g(2). Let a = q + 16. Solve a = 2*z - 1 for z.
2
Let o be 0 + 7 + -1 + 0. Let l = o + -5. Solve 0 = f + 1 + l for f.
-2
Let k be 0/(-2 + 0) + 2. Suppose 0 = -4*o - z + 55, -k*o = -5*z + z - 14. Let m = o + -7. Solve 3*l + 6 = -m for l.
-4
Let v be (-1 - 45/(-12)) + (-3)/4. Solve -r = -2*r - v for r.
-2
Suppose -3*i + 34 = -26. Let t = i - 20. Solve -3 = 3*l - t for l.
-1
Suppose 2*u - 4*w = -0*u + 8, 0 = -3*u + 2*w + 4. Solve 0 = 2*d - u*d - 2 for d.
1
Let k(m) = m + 15. Let g be k(-11). Suppose 0*o = o + v - g, 0 = 3*o - 5*v - 44. Solve -r - o = r for r.
-4
Let j = -4 - -6. Suppose 0 = -2*g - j + 4. Solve 2*l = 3 + g for l.
2
Let s be (-3 - -3)*(-2 - 20/(-8)). Solve 3*c - c + 2 = s for c.
-1
Let b(m) = m**3 - 4*m**2. Let a be b(4). Suppose a = -4*r + r + 18. Solve r = -3*k + 18 for k.
4
Let d = 2 - -6. Let c be 45/10 + (-1)/(-2). Solve c*t = d - 3 for t.
1
Let t(x) = -2*x - 6. Let z be 1*(1 - 8) - -2. Let p be t(z). Solve -p*k = -3*k - 2 for k.
2
Suppose 5 = -2*i + 17. Solve -i*m + m = 15 for m.
-3
Suppose 4*f = 38 + 82. Suppose g - 4 = q + 2, 5*q = -2*g - f. Let r = q + 8. Solve r*u + 9 = -1 for u.
-5
Let v(m) = -m**3 + 2*m - 2. Let j be v(2). Let q be (j/(-7))/(1/7). Let x be 3/q + (-2)/