*t = -q + 13, 2 = 5*t + 2*q - 19 for t.
5
Let f be 4 + (1 - 9/3). Let x = f - -2. Solve r - 5 = 5*h, -4*h = h + x*r + 30 for h.
-2
Let w = -58 - -62. Solve -5*i + w*n + 12 = 0, 0 = 4*i - 3*n - 4 - 5 for i.
0
Suppose m + 9 = 4*m. Suppose m*w - 9 = 2*w. Solve 3*i + 4 = r + 3, r - w = -5*i for i.
1
Let p(r) be the first derivative of 3 + 11*r + 1/2*r**2. Let s be p(-9). Solve -2 = 5*o - 4*b, s*o + b = 12 - 5 for o.
2
Let b = 14 - -3. Suppose -3*d + b = 2*s, -3*d = -7*d - 4*s + 28. Solve 4*z = 3*o - 18, 0 = -2*z - 2*z - d*o - 6 for z.
-3
Let c = 22 - 20. Solve 11 = c*f - 0*g + 3*g, 0 = 3*f + g + 1 for f.
-2
Let c = 40 + -20. Solve 4*y - 4*a = c, 4*y + y + 2*a - 25 = 0 for y.
5
Let n be (10/(-15))/(-2*(-1)/(-123)). Solve -5*i + i + 8 = -3*v, 5*i = -4*v + n for i.
5
Let g(i) = i - 2. Let b be g(5). Suppose -b*r + 2 = -4*v + 13, 5*r + 13 = 4*v. Solve 0 = v*u - 0*y - y + 1, -12 = 4*y for u.
-2
Let t(c) = -c + 15. Let y be t(13). Solve -g = -y*u + 4 + 1, 19 = 5*u + 4*g for u.
3
Suppose -3*b - 20 = 2*f - 7*f, 0 = 5*f - b - 20. Let v be 10/3*(11 - -1). Let x = v + -28. Solve 13 = -3*o - r, -f*o - 18 = -5*r + x for o.
-5
Let u = 32 + -17. Solve -3*a - u = -5*f - 0*f, -2*f + 10 = -2*a for f.
0
Let o = 50 + -30. Suppose 8 = -3*h + o. Solve -h*b = 12, -4*t = -0*b + 4*b + 20 for t.
-2
Let t be (9/6)/((-3)/(-6)). Let p = 6 + -4. Suppose 0 = p*h + t*h - 20. Solve 2*a + h + 11 = 3*d, d = -3*a - 6 for d.
3
Let o(v) = v**3 - v**2 + 3*v - 1. Let z = 3 + -1. Let d be o(z). Solve -n + 2*c = 6*c - 7, -n - 5*c + d = 0 for n.
-1
Let d be (16/(-6))/(5/(-15)). Suppose -3*q = 2*q, 2*r - q - d = 0. Solve -3*c + 0*c - 17 = r*v, -21 = 4*c + 5*v for c.
1
Let m be -2*(1 + 13/(-2)). Let f = 16 - m. Solve 0 = -4*l - 3*z - 35, l + 28 = -f*z - 2 for l.
-5
Let h(b) = -b**3 - b**2 + 4*b + 4. Let f be h(-3). Suppose -4*l = -9*l + f. Solve 0 = 5*d - y - 10, -l*y = 5*d - y for d.
1
Let i = -7 - -12. Suppose i*b = 2*b + 69. Solve 0 = -3*a - 5*o, -4*o + 3*o + b = -4*a for a.
-5
Let r be 4 - (-2 + 0 + 6). Solve 2*h - 5 = -s, 3*s + r*s - 3*h - 15 = 0 for s.
5
Let x = -1 - -6. Let b(h) = -h - 3. Let k be b(5). Let p = 12 + k. Solve -2*u - 2*u = -f + 12, -x*u = p*f + 15 for u.
-3
Let s = -9 - -30. Let r be 7*((-45)/s + 3). Solve t + 2*t = -j - 14, j = -t - r for j.
-2
Let o = -9 - -9. Suppose o = -0*b + b - 6. Solve -j - 2*q = 1, b = -q - 2*q for j.
3
Let p(b) = b**3 + 8*b**2 + 7*b + 2. Let o be p(-7). Suppose 2 + o = 2*t. Solve 4*i + 22 = t*u - 0*u, -i - 19 = -5*u for u.
3
Suppose -1 = 6*r - 13. Solve 5*z - 4*d = 1, 0 = -r*d - 2*d - 16 for z.
-3
Let f(q) = q**2 + 4*q. Let g be f(-4). Suppose -z = -g*z + 6. Let h be z/27 - 29/(-9). Solve 3*o - h*p = -3, -2*o + p + 0 = -3 for o.
4
Suppose -5*a + 10*a + 71 = 3*v, -121 = -3*v - 5*a. Let s = v - 13. Solve 3*t = -2*j + s, -5*j - 2*t = -5*t - 16 for j.
5
Let k = 1 + -1. Solve k*w - 4*w = 3*s - 20, 0 = -s + 2*w for s.
4
Let f = -36 + 12. Let z be (9/6)/((-9)/f). Suppose -19 = -5*b - 4*r, z*b - 44 = -3*r + 7*r. Solve -5*q - u = -22, -b = -q - q - u for q.
5
Let a = -77 - -82. Suppose -4*y - 4 = 0, -2*t + y = -y. Let c be -1*(-3 + 0/t). Solve -4*w - c = -a*z, -2*z - 5 = -4*w + 1 for w.
3
Let d be 20/1*2/5. Suppose -3*i + d = 2*i - v, -3*v = 2*i - 10. Suppose 0 = 3*l - 6 - 12. Solve -u - l - i = -m, 0 = -5*u - 5*m + 10 for u.
-3
Let y be 5 + -2 + -2 + 1. Solve -2*g = 4*w + 18, 0*g = -4*w + y*g - 6 for w.
-3
Suppose n + 1 = -4*y, -y + 3 = -3*n - 5*y. Let d be (6 + -2)*n - 0. Let f = 6 + d. Solve -f*b - 3*p - 4 = 0, b - 4*p = -8 + 28 for b.
4
Let l(j) = j**2 + 4*j - 1. Let s be l(-5). Let z be -51*(-6)/9*-1. Let b = z + 57. Solve s*y - 24 = 4*t, -2*y + 0*y - 5*t - b = 0 for y.
1
Suppose -2*u - c = -5, 3*u + c = 3*c + 11. Suppose u = -s + 6. Let i = -1 - -1. Solve i = -5*r, 4*r + 0*r = q - s for q.
3
Let p = -21 + 23. Solve -4*i + 20 = 2*f, -4*i + 2*f + 2 + p = 0 for i.
3
Suppose 4*s + 16 = 8*s. Solve -8 = 2*i - s*u, -2*u = -i + u - 7 for i.
2
Let c = 7 - 3. Suppose 2*n = -c*s - n + 12, -2*s + 24 = -3*n. Suppose 0 = 4*o - s*o. Solve -4*m + 2*r + 8 = o, -2*m + 2 = 2*r - 14 for m.
4
Let y = 22 - 18. Solve -5*g = -0*f - y*f - 15, 0 = f for g.
3
Suppose -2*u = 6 - 20. Let g = u - 4. Solve -5*c = 6*i - 2*i + 16, -g*i + 4*c - 12 = 0 for i.
-4
Let k be 1 + (-4)/1 + 1. Let c be 14 + (-1 - k) + 2. Solve -4*p + 0*q - q + c = 0, 5*p = 5*q - 10 for p.
3
Suppose 20 + 30 = -5*v. Let a be (1 - 2)*v/2. Suppose -4*p + a = -7. Solve -4*x = 4*r - 4, -x - 2*r = p*r - 9 for x.
-1
Let r(p) = -p + 1. Let a be 1/((-15)/(-6) - 2). Let k be r(a). Let y be k/(-3) - (-56)/3. Solve -3*t + 2*q - 6*q = -19, -q - y = -4*t for t.
5
Let c = -2 + 5. Suppose 9 = 2*m - x, -3*x = -0*x + c. Suppose -16 = -5*f + m. Solve 3*v = 6*v + i - 19, -4*v + 4*i + f = 0 for v.
5
Let u(p) = -p**3 - p**2 - 2*p. Let v be u(-2). Suppose 2*o = -f, -3*o - 31 = -5*f - 5. Solve -5*b + 10 = -f*t, 2*b - 6*b + v = -5*t for t.
0
Let z = -3 + 8. Suppose 3*o - 2*u - 23 = 0, -3*u + 5 = z*o + 2*u. Solve 6*h = 3*h + 3, -o*h + 10 = s for s.
5
Let y = -4 + 6. Let w(g) = -g + 11. Let a be w(8). Suppose -u + a*l - 9 = 0, 0*u = -3*u - 5*l + 29. Solve -5 = -y*k - u*k, 13 = -3*j + k for j.
-4
Let a = 16 + -11. Suppose 10 = 6*i - i. Solve 3*r + r = -i*w + 6, -4*w + 3 = a*r for w.
-3
Suppose 32*g - 10*g = 44. Solve 5*f + 5*z = f - 20, 3*f - 8 = g*z for f.
0
Let z be 11/5 + (-2)/10. Let a = 12 + -6. Let f be 8/(-6)*(-81)/a. Solve -2*j + 6*j = u - f, 0 = j + z*u for j.
-4
Suppose 2*k + 5*i + 4 + 8 = 0, -3*i = -2*k + 20. Solve -6 = -k*r + 5*b, -3*r - 2*b + 16 = -0*b for r.
4
Suppose 6 = 5*g - 4. Solve -2*j = g*j + 4*x + 28, -j = 2*x + 12 for j.
-2
Suppose 5*r - 4*r = 0. Suppose 7*s - 2*s = r. Solve -2*y = -0*y - 5*h - 23, 3*y + 4*h + 23 = s for y.
-1
Suppose 3*i + 8 = 26. Suppose 0*u = -2*u + i. Suppose 5*f - o - 155 = -2*o, -2*o - 80 = -u*f. Solve 2*y - 5*k = -0*y - f, -y = -3*k + 17 for y.
-5
Let z(x) = -x**2 + 6*x - 4. Let s = 7 - 2. Let a be z(s). Suppose -6*v + 21 = -3*v. Solve v*n = 3*j + 2*n - 5, 0 = j - n - a for j.
0
Let q(g) = -4*g - 17. Let o be q(-6). Suppose 3*w = -2*w + 55. Let c = w - o. Solve -a = 0, b - c = 5*b + a for b.
-1
Let j = 20 + -13. Let c = -5 + j. Suppose 2*p - 4*r - 2 - c = 0, 3*r - 36 = -5*p. Solve -p*z + 2*z + 7 = -5*m, 3*m = z for m.
1
Let h be 2/1 + (-2 + 1)*-1. Solve -p = 2*i - 4, -h*i - 5*p + 13 = -0*i for i.
1
Let w = 2 + 2. Suppose -3*z - 2*z = -70. Solve -x = -3*b - 13, w*b + 2*x + z = -0*x for b.
-4
Let c(x) = 13*x + 4. Let l be c(1). Solve h + 7*w - 4*w - l = 0, 0 = 2*h - 5*w + 21 for h.
2
Suppose 3*p = -0*p. Let f = 3 + p. Solve 5*v + 2 + f = 2*c, 2*v - 5*c + 23 = 0 for v.
1
Let h = -23 + 42. Solve -3*f + h = 5*s, -1 = -2*f + s - 2*s for f.
-2
Let u be 2 + -2 - -2 - 0. Let s(k) = 2*k**2 - 4*k**2 + k**2 - u + 2*k + 4. Let z be s(2). Solve 4*b = z*r + 2*r + 8, 5*b = -4*r - 35 for r.
-5
Let f = 10 - 6. Suppose -f = 4*i - 24. Solve 2 - 10 = v + 2*g, -v - 20 = i*g for v.
0
Let d(t) = -4*t - 3. Let n be d(-3). Suppose -5*g - 24 = -n*g. Solve 3*w - 3*c = -g, 5*w + 5*c = -0*c for w.
-1
Suppose -2*d + 137 = 57. Let z be 36/8 + (-9)/6. Solve -z*x = 3*t, 3*x - 6*t = -t + d for x.
5
Let u(p) = -2*p - 22. Let y be u(-13). Solve -m + 4*s - 13 - 3 = 0, 0 = 5*m - s + y for m.
0
Let h be 1/(-1) + 3 + 1. Suppose 2*c = h*c. Suppose -x = -3*x + 8. Solve 3*g = -x*v - c*g - 5, 3*v - 4*g + 10 = 0 for v.
-2
Suppose 0 = -0*r + 4*r - 12. Let q(k) = -k - 1. Let g be q(-7). Suppose 5*o - 4*d = 19, -r*o + 3*d + 18 = g. Solve 4*m = -4*u + 12, 5*m - 13 = -o*u + m for u.
-1
Let b be 177 - (-3 + 9/3). Suppose 2*p - b = -p. Let z = p + -39. Solve -3*f + 9 = -4*y, -5*f - 5 = -4*y - z for f.
3
Let q(a) = a**2 + 2 + 4 - a + 3 - 8*a**2 + a**3. Let o be q(7). Let m be ((-4)/(-10))/(o/20). Solve c + 4*n - 3*n = -6, m*n = 2*c - 6 for c.
-3
Let t(q) be the second derivative of -3/2*q**2 - 1/3*q**4 + 1/10*q**5 + 0 + 0*q**3 - 4*q. Let o be t(3). Solve 3*k + o = b, 2*k + 2*b + 4 - 2 = 0 for k.
-4
Let k(p) = p**2 + p - 1. Let n(r) = 2*r - 4 + 3*r**2 + r + r**2. Let g(s) = -2*k(s) + n(s). Let j be g(2). Solve y - 2*y + j = -3*x, 4*x + 7 = 5*y for x.
-3
Let b(w) = -w**2 + 9*w + 10. Let k be b(10). Solve k = r + 4*n + 3, -2*r = r + 4*n + 9 for r.
-3
Let k be 0 - (4 - 5)*(-1 - -6). Solve -2*x - 12 = -k*c - 38, 4*x - 8 = -c for c.
-4
Let 