h*t + 8 for t.
2
Let a = 14 - 11. Solve -1 = -i - a for i.
-2
Let u(i) = i**2 + 13*i + 14. Let n be u(-12). Solve n*r + 2*r + 8 = 0 for r.
-2
Suppose -5*l = -0 + 5. Let n be 8 + (-2)/l*-1. Suppose 0 = 3*z - 43 - 20. Solve 3*j + n = z for j.
5
Let h(q) = -7*q**3 - 9*q**2 + 4*q - 5. Let c(n) = n**3 + n. Let u(k) = -6*c(k) - h(k). Let m be u(-10). Solve -m*p = -p for p.
0
Suppose -y = -3*l + 4, 0*l + l = -3*y - 2. Solve 4*c - l = 11 for c.
3
Let n(g) = -g**2 + g + 4. Let t be n(0). Let z = -20 + 33. Solve -t*c = -3 - z for c.
4
Let m(c) = -c**3 + 7*c**2. Let t be m(7). Let q be 1/(t/1 - -1). Solve 0 = -j + q for j.
1
Let r be 1/(-3) - (-48)/9. Suppose -42 = -5*b + 4*l, 0*b = 3*b - r*l - 20. Solve -b = k + k for k.
-5
Let w(o) be the first derivative of -3*o**2/2 - 6*o + 4. Let z be w(-6). Solve 0*y = -4*y + z for y.
3
Let g be 6 - (9/3 + -3). Solve -g - 6 = 4*t for t.
-3
Let c(r) = -r**3 + r**2 + 1. Let v(m) = -m**3 + 3*m**2 + 5*m - 4. Let k be v(4). Let t be c(k). Solve 3 = 2*n + t for n.
1
Let w = -8 + 18. Suppose 0 = -2*z + 4*z - w. Solve z*x - 8 = 12 for x.
4
Let t = -12 - -6. Let f be (-4 + t)*(-2)/4. Suppose -f*y + 85 = 25. Solve -2*j + 2 = y for j.
-5
Suppose -11*f - 5*f = 2*f. Solve 0 = 3*z - f*z - 6 for z.
2
Suppose -2*x - 2*c + 15 = x, 0 = 4*c. Solve -12 = -b + x*b for b.
-3
Suppose 21 = -j + 5*a, -a + 45 = -5*j + 4*a. Let u be (0 + 3)/(j/(-40)). Solve 0*w = 5*w - u for w.
4
Let h be 3/(-12) - 1/((-8)/42). Solve -h + 0 = -k for k.
5
Let v = -2 - -2. Suppose -n - 14 = 2*x, -2*x + x = 3*n + 22. Let c = v - n. Solve s + c = -s for s.
-3
Let q(b) = 7*b - 5*b**2 + b**3 - 12*b + 2*b + 4*b**2 - 4. Let s be q(3). Solve 0 = 2*r - s - 1 for r.
3
Let v = 13 + -5. Suppose 10 = 5*m - 0. Let q be (-4)/((-3)/(-3) - m). Solve 3*h - q = v for h.
4
Suppose -12 + 18 = 3*j. Solve -j + 0 = -p for p.
2
Suppose -4*g + 65 = g. Suppose 2*z + 4*w = 6, 4*w + 5 = 2*z - 1. Suppose 0*n + 2*x - 2 = -n, -5*n + 17 = z*x. Solve -n*d - g = -1 for d.
-3
Let h(a) = -a**2 + 5*a + 2. Let p be h(5). Suppose -2 = p*r - 18. Solve -2*x = -0*x + r for x.
-4
Let q be -1 + 4 + (-1 - 0). Suppose 3*v = -q*y - 4, -3*y - y - 8 = -3*v. Solve v = 4*x - 7*x - 6 for x.
-2
Let z be (-4)/(-6) - 21/(-27)*3. Solve z*q - 16 = -1 for q.
5
Let s be 2*(-2)/4*-11. Let j = s - 9. Solve -9 = -j*h + 5*h for h.
-3
Let s(f) = f + 2. Let p(c) = -c**2 - 7*c - 6. Let z be p(-5). Let h be s(z). Suppose 0 = -2*a + h*a - 20. Solve m = a*m + 12 for m.
-3
Suppose 2*z = 7*z - 10. Let o(g) = -3*g**3 + 6*g**3 + 5*g - 4*g**3 + 3*g**2 - z. Let u be o(4). Solve u*h - 5 = 5 for h.
5
Let a(p) = p**2 - p + 9. Let u be a(3). Solve -4*x = -x - u for x.
5
Let m be 2/10 + 90/50. Solve t - 2 = m*t for t.
-2
Let s(d) = d + 1. Let y be s(-1). Suppose 2*v - 4*q - q - 26 = y, -4*q = 5*v - 32. Suppose 0 = j + 3*j - v. Solve -2*o - j = -0*o for o.
-1
Suppose 0 = j - 10. Solve 0 = -j*y + 3*y for y.
0
Let p(k) = 3*k - 7. Suppose 3*d = 9 + 6. Let v(i) = i - 4. Let c(o) = d*v(o) - 2*p(o). Let m be c(-6). Solve a - 5*a - 4 = m for a.
-1
Suppose 1 = b - 0*a + 2*a, 4*b - a - 13 = 0. Suppose 97 = -3*n - v, b*v = v + 10. Let m be n/(-3) + 2/3. Solve -6*f = -2*f - m for f.
3
Let o(b) = -b - 1. Let k be o(-4). Suppose -c - 6 = 4*l, -k*c + 3*l = -8*c + 38. Solve 5*g + 5 = -c for g.
-3
Let j = -17 - -19. Solve 3*g = -j*g - 15 for g.
-3
Suppose 2*g + 3 = 2*d - 3, 0 = -2*g - d + 9. Solve 3*a + g*a = -20 for a.
-4
Let d be (1/(-1))/(3 + (-52)/16). Solve 24 = -4*i + d for i.
-5
Let z = 17 - 3. Suppose z = 5*l - 3*l. Solve 0 = 3*u + 19 - l for u.
-4
Let k be (-7)/(-21) + 2/(-6). Let b = -17 + -31. Let v be (-1)/(-5) + b/(-10). Solve -y + v = -k*y for y.
5
Suppose 2*z - 11 = -5. Suppose -7 = -s - 5*t, 2*t = -z*s - 0*t + 8. Solve s*i = 4*i + 4 for i.
-2
Let y = 6 + -7. Let h = y + 4. Suppose 12 = n + h*n. Solve 0*b = n*b + 15 for b.
-5
Suppose 5*d + 2925 = 2*k + 3*k, 600 = -d - 4*k. Let m be (-4)/6 - d/18. Suppose -2*f - 1 = -3*b, 5*f = -2*b - 2*b + m. Solve 4*x + 4 = -f for x.
-2
Let h be (4/(-10))/(3/105). Let f = h - -16. Solve 4*l - f = 6 for l.
2
Let s be 4/14 - (-132)/77. Solve -s*j + 15 = 7 for j.
4
Let g be 3*(-3 - 33/(-9)). Suppose 0 = -5*z + g*z + 9. Solve 4*o - z = 5*o for o.
-3
Let h be 3 + (1 - (-2 - 0)). Solve h*y = 4*y - 4 for y.
-2
Let u(r) = -r**3 + 2*r**2 + 2*r + 1. Let w be u(3). Let y be 1 + (w - -12) + -3. Solve -z - z + y = 0 for z.
4
Suppose -11 = -5*b + 4. Let n be (0 - 0)*b/6. Let i = 8 - 4. Solve n = -i*x - x - 15 for x.
-3
Suppose -32 = -3*x - 23. Solve 3*b = x - 12 for b.
-3
Suppose -4*j + 24 = -0*j. Let v = 6 - j. Solve v = -5*i + i for i.
0
Suppose -3*o - 48 = -5*d - 6*o, 11 = d + 2*o. Suppose r + 1 = d. Solve 3*k - r*k - 5 = 0 for k.
-1
Let j = -14 + 22. Solve -4 = 3*y + j for y.
-4
Suppose 0 = -2*i + 7*i - 45. Suppose 4 + 41 = 3*u. Let x = u - i. Solve t + 10 = x*t for t.
2
Suppose 2 + 16 = -2*u. Let c be (-4 - u/3)*-2. Solve -3*j = -c*j + 3 for j.
-3
Let w(a) = -a**2 - a + 3. Let n be w(-3). Let d(r) = -r + 1. Let o be d(n). Solve 0 = 2*y - o*y for y.
0
Let t(x) = x**2 + 6*x + 6. Let u be t(-6). Suppose 2*i + 6 = -2*o + u*o, -2*o + 1 = -3*i. Solve -j - 1 = o for j.
-3
Suppose -13*y + 5*y + 208 = 0. Solve 6 = 5*i + y for i.
-4
Let a = -55 - -57. Solve -2 + 0 = -a*v for v.
1
Let t be -1*((1 - 5) + 4). Solve 3*s + 2 + 13 = t for s.
-5
Suppose 5*b + 3 = 6*b. Suppose -5 = -b*l + 4. Solve 0 = -t + l - 8 for t.
-5
Let z(g) = 2*g - 7. Let c be z(5). Solve -2*j = -c - 3 for j.
3
Suppose -3 + 0 = -x + b, -b - 3 = -5*x. Let a be (-20)/3*(-24)/20. Solve 0 = -x*j - 4*j + a for j.
2
Let i(g) = g. Let u be i(5). Let l be (1/2)/(4/8). Suppose l = d - u. Solve -9 = 5*j + d for j.
-3
Let u = 5 + -2. Solve -u = 2*s + 7 for s.
-5
Let w(g) = -3 - 1 + 1 + 0*g - 3*g. Let l be w(-4). Let b(k) = 2*k**2 + 8*k + 5. Let p be b(-6). Solve 4*x + p = l for x.
-5
Let c be (-4)/(-24)*-9*(-8)/3. Solve 3*t - 2*t = -c for t.
-4
Let t be 0 - (-15)/3 - 0. Solve t*z = -16 - 4 for z.
-4
Let o = -1 - -18. Let b = 20 - o. Solve b*h + 1 = 13 for h.
4
Let u = -47 + 81. Suppose -5*o - 22 = -l, 0 = -5*l + 4*o - 8 + u. Solve l*p + 16 = -2*p for p.
-4
Let b = -31 - -12. Let s = 44 + b. Suppose 2*q = -3*q + s, -2*q = 4*z - 26. Solve -z*y - 8 = -0*y for y.
-2
Let u be -10*(3 + 68/(-20)). Solve -u = -l - 3 for l.
1
Let o = 0 - 0. Let x(m) be the first derivative of m**2/2 + 4*m - 6. Let u be x(0). Solve -u*h = -o*h for h.
0
Let u(i) = 2*i**2 - 5*i. Let g be u(4). Suppose -4 - 5 = -3*x. Let m = 3 - x. Solve m = 4*f + 8 + g for f.
-5
Let m(o) = o**3 - 7*o**2 - 7*o - 5. Let f be m(8). Let y be (-42)/(-8) - f/12. Suppose 0 = 2*x + 1 - y. Solve 3*l + x*l - 15 = 0 for l.
3
Suppose 4*m = -2*g - 0*m, -2*g - 3*m + 2 = 0. Solve 0 = -o - g for o.
-4
Suppose -14 = -5*f + 11. Suppose -3*q + f = -1. Let i be (1 + 2)*8/12. Solve -i*x + 8 = -q for x.
5
Let b = -4 - -6. Let q be b/(-10) + 58/(-10). Let v(n) = n**3 + 6*n**2 + 5. Let x be v(q). Solve x*c - 5 = 15 for c.
4
Suppose -3*m = -5*m - 4*b + 18, -4*m = -4*b - 12. Solve m*o = 5 - 0 for o.
1
Let i be 3*1*(1 + 0). Suppose -12*j = -11*j - i. Solve m + j = -2 for m.
-5
Let u be 1/(-2)*(5*-2 - -2). Solve -u*j = -5 + 13 for j.
-2
Suppose 12 = 4*x - 4*l, 3*x + 2*x - l - 15 = 0. Solve 1 + x = -2*r for r.
-2
Let x(d) = -d + 2*d - 2*d. Let t be x(-1). Suppose 4*l + 0 - 7 = 3*b, -b + l - t = 0. Solve -3*v - 9 = -b for v.
-2
Let v = 18 + -17. Solve -v = -5*s + 4 for s.
1
Let r(o) = -o - 5. Let c(s) = 6*s + 26. Let a(v) = -2*c(v) - 11*r(v). Let z be a(-7). Suppose 0 = 5*i + 4*j - 10 - 6, -3*i - 4 = -j. Solve -q - q - z = i for q.
-5
Let c(s) = 2*s**2 + 9*s - 7. Let x be c(-7). Let b be 8/x + 82/7. Let y = 18 - b. Solve -3*w = -y*w - 12 for w.
-4
Let g(c) = -c**2 - c - 1. Let h(k) = -4*k**2 - k + 2. Let d(f) = -g(f) - h(f). Let t be d(1). Solve -p - t = p for p.
-3
Suppose 0 = -v + 5*h + 31, v - 5*v = -3*h - 56. Suppose -5 = -4*f + v. Solve -1 + f = 3*r for r.
1
Let l(j) = j**3 + 9*j**2 + 7*j - 5. Let z be l(-8). Solve q = 4*q + z for q.
-1
Let z = -8 + 14. Let s = z - 3. Solve 25 = -2*u - s*u for u.
-5
Let x = 3 - 4. Let s be x/(3*(-2)/(-6)). Let g be 18 + 1 + -3 + s. Solve 0*f = 5*f + g for f.
-3
Let m(q) = q**2 + q. Let i be m(-2). Solve -2*g - 4 = i*g for g.
-1
Let k(p) = p**3 + 6*p**2 - 2*p - 7. Suppose 0 = -2*q - 13 + 1. Let i be k(