.
-4
Let u = 539 + -533. Solve -14 + 32 = u*n for n.
3
Let y = -38 + 40. Solve 2*t - y = t for t.
2
Suppose -3*u - 33 = -2*y - 6, -4*y + u = -59. Solve -6*t = -t + y for t.
-3
Suppose 0 = -21*j + 20*j + 5. Solve j*f = 3*f + 2 for f.
1
Let n = -24 + 19. Let c be ((-20)/(-50))/((-1)/n). Solve -3*o + 5 = -c*o for o.
5
Let k = -32 + 62. Suppose 0 = s + 4*s + k. Let l be (-2)/(4/s*1). Solve -f = -l*f for f.
0
Let z(p) = 3*p**2 + 7*p + 2. Let f(m) = 7*m**2 + 14*m + 5. Let t(i) = -2*f(i) + 5*z(i). Let v be t(-6). Let s be (6 + -3)*(-8)/v. Solve -s*j + 9 + 7 = 0 for j.
4
Suppose 0 = r + 2*n - 3*n - 8, -3*n - 28 = -4*r. Let y be (-12)/(-24) - 18/(-4). Suppose 3*w = i - 3 - 5, y*i = w + 26. Solve i*s - s + r = 0 for s.
-1
Suppose 3*s - s - 25 = -5*g, 4*s - 2*g + 10 = 0. Solve -p + 2*p = -s*p for p.
0
Suppose 4*p = -15*p + 228. Solve 5*l + 2 = p for l.
2
Suppose -2*d = -2*q + q - 4, -5*d - 3*q + 21 = 0. Let a be 0 + 2 + d + -2. Suppose -20 = 4*i + 4*z, 0 = 3*i + i - 3*z - 15. Solve 0 = -i*x + a*x for x.
0
Let x = -1 + 1. Let h be (-28)/6*(-36)/14. Suppose 6*o = 3*o + h. Solve -o*n + n = x for n.
0
Let s(z) = 0 - 1 - 3 + z. Let j be s(4). Suppose -2 = -u - j. Solve u*r + r = 0 for r.
0
Let n(r) = 3*r + 1. Let i be 6*(10/3 + -3). Let g be n(i). Let s = g + -2. Solve 2*t + 5 = -s for t.
-5
Let i = -1097 + 1109. Solve -6*z + i = -10*z for z.
-3
Let c(s) = s**2 + 4*s + 3. Let o be c(-3). Suppose -d + 4*d - 15 = o. Suppose -2 = 2*l, 3*m = l - 13 + 32. Solve -m*f + d*f = 3 for f.
-3
Suppose a - 8 = r, -3*a + 18 - 2 = -r. Solve w - 3*w + a = 0 for w.
2
Suppose -7 + 11 = 2*n. Solve 3*x = 7*x + n*x for x.
0
Let z(t) = -t**2 + 4*t - 5. Let o be z(4). Let x be -1*(o - (6 + -3)). Solve c + x = 5*c for c.
2
Let j = -95 - -39. Let w = -55 - j. Solve -2*q = 5 - w for q.
-2
Suppose -55 = 4*x + 121. Let q = 65 + x. Suppose -q + 1 = -4*p. Solve y = -0*y + p for y.
5
Suppose -3*u + 94 - 16 = 0. Suppose 3*k + 2*r + u = 7*k, -2*r = -2*k + 16. Solve -y = -k*y - 16 for y.
-4
Let w(h) = -h**2 - 4*h - 4. Let z = -10 + 7. Let b = -5 - z. Let a be w(b). Solve a = -2*x - 6 - 0 for x.
-3
Suppose 37 = 6*g + 1. Let f(q) = 2 + 2 - 1 - 5*q + q**2. Let k be f(g). Solve l + 2*l - k = 0 for l.
3
Let z = -26 + 38. Let y = z - 9. Solve -h = y - 0 for h.
-3
Let f = -1706 - -1759. Solve 54*l - 5 = f*l for l.
5
Let q(r) = -10*r**2 + 24*r**2 - 2*r - 8*r**2. Let j be q(2). Solve 2*d = 6*d + j for d.
-5
Suppose 5*k = v + 58, 4*k - 3 = -5*v + 26. Let m(a) = a - 8. Let s be m(k). Solve 0 = -c + 1 + s for c.
4
Suppose 2*x + 5*c + 27 = 0, 4*x - 3*x - 9 = 5*c. Let p = 0 - x. Suppose 0 = 2*g - p. Solve -4 = l - g*l for l.
2
Let o = 1 - 6. Let u = -2 - o. Let x(q) = q**2 + 14*q + 13. Let h be x(-13). Solve h = b - u - 1 for b.
4
Let f be 94/8 + -6 + 125/20. Solve f = 40*v - 37*v for v.
4
Let n(u) = 6*u**2 + 31*u + 7. Let q be n(-5). Solve -q*m = m - 3 for m.
1
Suppose 2*k = 2*g + 2, -k - 2 + 3 = -4*g. Suppose -3*l + 4*l = 7. Suppose g = l*t - t. Solve 0 = -3*i - t - 3 for i.
-1
Suppose -5*p - 410 = 175. Let m = -102 - p. Solve h - m = 6*h for h.
-3
Suppose 4*k = -r + 15, -4*k + 15 = k. Let p be (0/1)/(2 - 4). Suppose 2*j + 2*v - 12 = p, 2*j - 3*v + 4 = -4. Solve -j*q = -r*q - 3 for q.
-3
Let a be 4 + 2 + -117 + 3. Let f = 110 + a. Solve -9 = -f*b + 1 for b.
5
Let v(r) = -r**3 + 6*r**2 + 9*r - 8. Let w be v(7). Let n(y) = -y**2 + 6*y + 9. Let g be n(w). Solve -3*z - 6 = g for z.
-5
Suppose 0 = -5*w + 12 + 8. Suppose w = 2*q - 0. Suppose 2*o = -5*t + 8, q*t = 2*o + 3*o + 9. Solve -t*v + 0 = 4 for v.
-2
Let j = 9 + -2. Let x(d) = d**2 + 2*d + 4 + d + j*d - 2*d. Let r be x(-8). Solve r*t = t for t.
0
Let v be 0 - -1*5/(-15)*-12. Solve 0 = v*b - 2*b - 2 for b.
1
Let d be (4 + (-57)/9)*-3*1. Suppose 0 = -d*f - 0*f + 7. Suppose h = -0*h + 2. Solve -h*s + s = -f for s.
1
Let q(s) be the third derivative of s**4/8 + s**3/2 + 2*s**2. Let x be q(6). Suppose 3*i + 4*h = x, 6 - 41 = -5*i + 3*h. Solve -i - 2 = -3*u for u.
3
Suppose -2*z = z - 9. Let r be (5 - z)*(-2)/(-2). Let b be 14 + (r + -1)*-3. Solve -5*g + 9 = -b for g.
4
Let x(k) = -8*k + 200. Let z be x(22). Solve -3*m = 5*m + z for m.
-3
Let s = -2423 - -2430. Solve -3*j = 5 + s for j.
-4
Suppose -3*r - 36 = -0*r. Let b = -12 - r. Suppose 2*s + b*o = -3*o + 10, 0 = 5*s + o - 12. Solve y = s*y - 4 for y.
4
Suppose -2*r = r + 5*n - 40, -3*n = 2*r - 25. Solve r = -6*t + t for t.
-1
Suppose -26*c + 23*c = 0. Let w = c - -6. Let s(r) = r**2 + r. Let p be s(-5). Solve w*z - z + p = 0 for z.
-4
Let o(h) = -5*h - 120. Let y be o(-27). Solve y*p = 14*p - 2 for p.
-2
Let s(t) = -t + 13. Let o be 2/(-4) - 27/(-6). Let j be s(o). Solve 21 - j = 3*p for p.
4
Suppose b + 2*s = -s - 4, 0 = 4*b - 4*s - 16. Suppose -r - 4*i + 14 = -i, -b*r + 2*i = 4. Solve 0 = r*j - 4*j - 2 for j.
-1
Suppose 3*m - 22 + 4 = 0. Let n(d) = d - 2. Let u be n(m). Suppose -u*h + 56 = s, 4*h - 2*s - 41 = 3. Solve 4*j + 3 = -h for j.
-4
Let c(n) = n**2 - 28*n - 44. Let o be c(30). Solve 3*q + o - 10 = 0 for q.
-2
Let f(l) = l**3 + 7*l**2 - 9*l + 10. Let u be f(-8). Let t be -3*(-10)/u*6. Let y = t - 6. Solve -y + 24 = -5*a for a.
-4
Suppose -8*v - 48 = -96. Solve 7*q + 8 = -v for q.
-2
Let t = 1 - -4. Let r(m) = -m**2 + 5*m. Let a be r(t). Suppose a = 5*l - 5*u - 20, 20 = 2*l - 3*l - 5*u. Solve l = 2*d + 2*d - 8 for d.
2
Let o(n) = 5*n**2 + 3*n - 4. Suppose 2*f - 2*u = 6, 10 = -f - 4*u - 12. Let q be o(f). Solve -4*s - q = -6*s for s.
5
Let w = -17 - -21. Suppose j = -5*x - 0*j + 16, -w*x + 2*j + 24 = 0. Suppose -b = -x*b. Solve 2*n + 0*n + 10 = b for n.
-5
Suppose 0 = -0*a - 4*a - 12*a. Let t = -16 + 22. Suppose -6 = -3*d + t. Solve a = -z + d - 0 for z.
4
Let x(c) = 23*c - 90. Let h be x(4). Suppose 0 = -b + 3. Solve -h*n = n + b for n.
-1
Let y = 487 - 475. Solve 10*v - y*v = 2 for v.
-1
Let b(z) = z + 5. Let v be b(-4). Let t(k) = -k**2 + 15*k - 4. Let r be t(15). Let h be 14/8 - 1/r. Solve 5 = h*x + v for x.
2
Let a(i) = -i**3 - 10*i**2 - i - 17. Let n be a(-10). Let m = -7 - n. Solve m = 4*z - 2 - 2 for z.
1
Let j(o) = -3*o**2 - 13*o + 8. Let z(n) = -n**2 - n - 1. Suppose 9 = -5*p - 11. Let k(h) = p*z(h) + j(h). Let b be k(8). Solve 0 = -i - i - b for i.
-2
Suppose -3*q + q - x + 6 = 0, 2*x = 4. Suppose 0 = t - 4*t - 12. Let c(v) = -v**2 - 4*v + 2. Let w be c(t). Solve w*a - q = 4 for a.
3
Let j be (2 - (-2)/(-9)) + (-6)/(-27). Solve 5*n - j*n + 15 = 0 for n.
-5
Let y = -32 + 36. Suppose 0 = 3*h - 15 - 3. Solve y*j + h = 26 for j.
5
Suppose -3*i = -5*s + 144, 0*i = 4*i - 5*s + 192. Let b be (10/(-8) + (-12)/i)*-1. Solve -y = -0*y - b for y.
1
Let o(r) = 2*r**2 - 7*r + 13. Let f be o(3). Suppose -2*i = -3*n + 3*i - f, n + 3*i - 6 = 0. Solve -d + 2*d - 3 = n for d.
3
Let a = -128 + 186. Let k = -38 + a. Solve -z - 3*z + k = 0 for z.
5
Suppose 8*t = 6*t + 10. Suppose p - h - 4 = -t, -3*p - 4*h = -32. Solve 0*c - p = 4*c for c.
-1
Let f(p) = p**2 - 2*p - 12. Let z be f(5). Let o = 1 + 1. Let g = z - o. Solve 0 = -v + g - 0 for v.
1
Let q = -163 + 165. Solve 2*p - 4 = -q for p.
1
Let l = -309 - -317. Solve 0 = 4*r + l + 12 for r.
-5
Let s = 234 + -232. Solve -s*k - 5 = 5 for k.
-5
Let c = 124 - 89. Let g = c - 35. Solve 5*n + 0*n = g for n.
0
Let i(x) be the first derivative of x**2/2 + 3*x + 29. Let d be 2/3 - (-34)/3. Let c be i(d). Solve -2*s = s + c for s.
-5
Suppose -31*a - 19*a + 950 = 0. Solve 0 = -a*c + 15*c + 12 for c.
3
Let i(m) be the second derivative of -m**5/20 - m**4/12 + 7*m**3/6 + 3*m**2 + 17*m. Let b be i(-3). Solve b*a - a = 4 for a.
2
Suppose 4*r - 3*h - 11 - 1 = 0, 2*r = -3*h + 6. Solve 6 = -r*g - 6 for g.
-4
Suppose 32*v = 57 + 231. Solve -3*s - 18 = -v for s.
-3
Let v(p) = -p**2 - 2*p + 11. Let f be v(-4). Suppose -f*u - 4 = -10. Solve -10 = 4*n - u for n.
-2
Let y(b) = -7*b. Let z be 6/4*20/(-15). Let p be y(z). Let t be 4/(-1)*(-14)/p. Solve -16 = -0*o + t*o for o.
-4
Let m = 507 - 501. Solve 6*h + 0*h - m = 0 for h.
1
Suppose 0 = -2*u - t - 2*t + 70, -5*u - 3*t + 175 = 0. Let j = 37 - u. Solve 3*x + 2 = j*x for x.
-2
Suppose 29*r - 3*m - 10 = 25*r, -m = 5*r - 3. Solve 0 = 5*c - 6 + r for c.
1
Suppose 2*l + 2*l = 88. Let j = -24 + 12. Let u = j + l. Solve 2*s + u = -0*s for s.
-5
Let z = 37 + -28. Suppose 5*g = 2*q - z - 6, -4*q - 12 = 4*g. Solve 0 = -l + 2 - q for l.
2
