Let u = 743 + -740. Solve u = -7*h + 10 for h.
1
Suppose 10*n = 358 + 892. Let u = n - 114. Solve u*q - 4 = 12*q for q.
-4
Let c = 52 - 46. Solve 8*z - 6 = c*z for z.
3
Let y(b) = 3*b - 5. Let t(q) = -4*q + 5. Let m(u) = -4*t(u) - 5*y(u). Let k be m(0). Solve 0*j = k*j + 10 for j.
-2
Suppose 3*n + 637 = 5*r, -5*n + r = -3*n + 434. Let d = 230 + n. Let a(j) = -3*j. Let h be a(-3). Solve -d = -5*m + h for m.
4
Let o = 1117 + -1107. Solve 9 = -o*z + z for z.
-1
Let o(y) = -87*y + 611. Let k be o(7). Solve d - 1 = -k for d.
-1
Suppose -27*n + 240 = -12*n. Solve -18*v = -n*v + 4 for v.
-2
Let v be (-8*3 - -3) + 4 + 0. Let t be 2/7 + 256/(-14). Let b = v - t. Solve -5*q - 21 = -b for q.
-4
Let s = -11 - -14. Suppose i + 7 = -0*i + 2*j, -5*j + 23 = s*i. Suppose -11 = -2*v - i. Solve -p + 2*p - v = 0 for p.
5
Suppose i + 3*n + 0*n = -10, 5*i = -4*n - 6. Let b be 11 - i/(2 - 0). Suppose -b = 2*j + 2*d, 0 = 4*j - j - 2*d - 10. Solve j = -4*p - 0*p - 20 for p.
-5
Let s(j) = -j**2 + 24*j - 14. Let p be s(22). Solve -5*t = -p + 15 for t.
3
Suppose 0 = 3*r + r - 2*d - 30, 0 = 4*r + d - 15. Suppose r*m + 0*m - 15 = 0. Solve 0 = -m*u + 6*u for u.
0
Let p(a) = a**2 - 5*a - 3. Let r be p(6). Let w be 1*(7 + r + -6). Solve 2*x = w*x for x.
0
Let b be 2 + 2 - (1 + 1). Suppose -b = -4*r + 14. Solve -r*z + 9 = 1 for z.
2
Suppose -43 = -3*d - 7. Solve -x = 2*x - d for x.
4
Suppose -4*y - 5*w + 6*w + 100 = 0, -y = 5*w - 4. Solve -8*h = -0*h + y for h.
-3
Let y = -1141 - -1148. Solve 4*p - 6 = y*p for p.
-2
Suppose -3*o - 5*l + 17 = 0, 5*o - 23 = -0*o - 3*l. Suppose q = 4*s + 24, -3*q + o*s + 37 = -s. Solve -2*y + q = 8 for y.
-2
Let u = -7 + 17. Let z = 4 - u. Let y be 522/45 + z/10. Solve -5*f - 14 = y for f.
-5
Let a(s) = -9*s - 4. Let j be a(-4). Let d = 35 - j. Solve -5 - 1 = -d*v for v.
2
Let v(m) = m**3 - 47*m**2 + 47*m - 38. Let p be v(46). Solve 12 + 20 = p*z for z.
4
Let y be 1 - -2 - ((4 - -1) + -2). Suppose y = 9*r - 14*r + 55. Solve r + 1 = 3*j for j.
4
Let p = 2476 - 2453. Solve 6*d - 11 = -p for d.
-2
Suppose 2*k - 9*c - 8 = -5*c, 4*k + 2*c + 4 = 0. Solve 3*i + 3 + 9 = k for i.
-4
Suppose -7*f + 44 + 19 = 0. Solve -2*m + 15 = f for m.
3
Let i(l) = 3*l**2 - 22*l + 13. Let x be i(7). Solve x = 4*m - 10*m for m.
-1
Let c(o) = -4*o**3 - 2*o**2 + o + 2. Suppose 0 = -10*d + 11*d + 1. Let p be c(d). Solve 2*t - p = -1 for t.
1
Suppose -4*r - 4*o + 4 = -2*r, 2*o = -5*r + 2. Solve r = -7*m + m - 12 for m.
-2
Let t = 329 + -319. Solve 3*s - t = -4 for s.
2
Suppose 4*v = 74 - 66. Solve v*c - 3 = -c for c.
1
Suppose 0 = 2*w - 1 - 9. Suppose -98 = w*x - 0*o + 4*o, 5*x - 4*o + 82 = 0. Let c be (48/x)/((-2)/6). Solve 5*l - 7 - c = 0 for l.
3
Let m(g) = -g**2 + 2*g - 1. Suppose 2*k = -3*q + 6*q - 11, q - 3*k = 13. Let y be m(q). Let d = -112 + 120. Solve 5*x - 23 + d = y for x.
3
Let w = 15 + -15. Let h be (-1)/3*w + 2. Suppose 1 = -2*o + 13. Solve 0*d = -h*d - o for d.
-3
Let t(v) = -2*v**2 + v - 1. Let i be t(-2). Let c(b) = 3*b + 6. Let x(s) = -s - 2. Let z(o) = -2*c(o) - 5*x(o). Let w be z(i). Solve -2*p + w = -5*p for p.
-3
Let v(o) = o - 16. Let k be v(14). Let x = 6 + k. Solve -x = 2*g - 2 for g.
-1
Suppose -4*x + 7 = -4*b - 5, -b = 3*x - 5. Suppose -z - 5 = -x*z. Solve -10 = 5*r - z for r.
-1
Let y = 3 + 0. Let f = 1052 + -1049. Solve -y = 2*a - f*a for a.
3
Let l be (12*1/2)/2. Suppose 197 = 5*d + l*h, -5*d - h + 14 + 175 = 0. Let u = d - 34. Solve -2 + u = -i for i.
-1
Let l be (16/(-20))/((-4)/30). Let b be 9*(-1 + 2) - 1. Let v = b - l. Solve 3*w = -v*w + 15 for w.
3
Let r = -26 - -38. Suppose r*s + 18 = 15*s. Solve 0 = 4*q - 2 + s for q.
-1
Suppose -10 = -2*f + k, 1 + 4 = f + 4*k. Solve -t + 2 - f = 0 for t.
-3
Suppose -4*y = 5*n + 51, -2*n - 2*n = -5*y - 74. Let k(s) = s**3 + 14*s**2 - 2*s - 20. Let a be k(y). Solve b = 3*b - a for b.
4
Let y(t) = 4*t - 3. Let m(w) = w - 1. Let f(p) = 11*m(p) - 4*y(p). Suppose 0 = 4*o + 4. Let r be f(o). Solve 3*x = x - r for x.
-3
Suppose -3*f = 3*c - 6, 4*c - 3*f = 5 + 3. Solve -c + 4 = -p for p.
-2
Let z be 1*5 + (3 - 5). Let n be (-11 - -12)/(-2 - -3). Solve 0 = 4*j + z + n for j.
-1
Let d = 262 + -255. Solve 25 = 6*k + d for k.
3
Let r(b) be the second derivative of b**3 - 4*b**2 - 3*b. Let h be r(2). Suppose 0*o - 5 = -5*o + z, h*o = -3*z + 23. Solve -4*g + o - 18 = 0 for g.
-4
Suppose -14 = 20*w - 54. Let y be (2 - -3)*(-24)/(-15). Suppose 0 = -4*h - 2*r - 4, y*r + 10 = 3*r. Solve -w*u - 3*u + 10 = h for u.
2
Let d = -306 + 307. Solve 0*h + d = -h for h.
-1
Suppose -12*c = -11*c - 3. Suppose -2*y + c*y - 2*i + 7 = 0, 4*y + 4*i - 20 = 0. Suppose -l + 2 = -y. Solve 5 = u + l for u.
2
Let a be ((-8)/(-5))/2 + 189/45. Let f(v) be the third derivative of v**6/120 - v**5/60 + v**4/24 + 2*v**2. Let i be f(0). Solve i = a*g - g - 20 for g.
5
Suppose 3*d - 380 - 520 = 0. Let y be d/135 - 2/9. Solve -y + 0 = p for p.
-2
Let w = 46 - 19. Suppose 3*n = -12, 0 = 3*p - 5*n + 2*n - w. Suppose -4*y = -2*d + 8, 0*d + 34 = p*d - 3*y. Solve 3*u + d = -u for u.
-2
Suppose 4*c = -2*i - 16, -3 + 15 = -3*i - 3*c. Suppose 6*g - 46 + 16 = i. Solve -4*d - g = 3 for d.
-2
Suppose -9 = y - 11. Suppose f + 3 = b, y*b + 22 = f + 6*b. Solve 13 = 3*w - f for w.
5
Let a(x) = -14*x - 4 - 2*x**2 + 0 - 5 + 0. Let p be a(-6). Suppose 0 = -s - p*s - 4*g, 2*g + 6 = 0. Solve 0 = s*i + 6 + 6 for i.
-4
Let i be (-10 + 8)*3/(-2) - -13. Solve -i*m + 23*m = -21 for m.
-3
Let o be (0 + -1 - -3) + 17. Let u(c) = c**2 - 4*c - 4. Let p be u(-4). Let l = p - o. Solve -l = -2*a - 3 for a.
3
Suppose 1055*f - 1049*f = 12. Let o be 1*4 + (-4)/(-4). Solve f = -3*w + o for w.
1
Let i = 60 + -11. Let a = -47 + i. Solve -15 = -a*n - 7 for n.
4
Suppose -20 = -33*h + 28*h. Suppose 0 = -3*l + 12 + 48. Suppose -4*d = -0*d - f - 37, 3*d - 44 = 4*f. Solve h*u + l = d*u for u.
5
Let t be 45/(-2)*36/(-30). Suppose 25 = -191*q + 196*q. Solve t - 2 = q*v for v.
5
Let c be 80/(-50)*(-5)/2. Solve 0 = -c*i + 5*i for i.
0
Suppose 6*p + 0*p = 0. Suppose p = 5*k - 4*t - 45, t + 10 + 0 = k. Solve k + 10 = -3*u for u.
-5
Suppose 5*u - 2 = 8. Suppose u*f + 19 = 7. Let t be (-3)/(-2)*(-8)/f. Solve m + 12 = -t*m for m.
-4
Let b = 8 - 2. Suppose -3*p = -3*y + b, 3*p + 3*y - 6 = 5*p. Solve p = 3*s - 4*s for s.
0
Suppose -5*k - 20 = 0, 3*w - 137 = -0*w - k. Suppose 20 = 5*u - 5, -3*g = -4*u + w. Let l = -9 - g. Solve -2*f + 6*f = l for f.
0
Let r be 20/4 + -7 + 2. Solve r = 4*f - 9*f - 20 for f.
-4
Let m(f) = f**3 - f**2 - 3*f + 9. Let x be m(2). Solve x + 5 = 4*h for h.
3
Let i(h) = -63*h - 492. Let p be i(-8). Solve 14*o = p*o + 2 for o.
1
Let t be (-52)/(-11) - 75/(-275). Solve t = -3*i + 20 for i.
5
Suppose -11 = -5*z + 14. Solve 1 = j + z for j.
-4
Let h(s) = -s**2 + 12*s - 27. Let l be 12/5 - (-12)/20. Let y be h(l). Solve y = 2*f - f + 1 for f.
-1
Let c be (13 + 6/(-2))*12/30. Solve -4*s - 8 + c = 0 for s.
-1
Let q be -8*1*1/(-2). Suppose 27*t - 69 = -15. Solve q*z - t*z = 8 for z.
4
Suppose -5*z = -4*s - 16, z = -2*s + 6*s. Solve -j - 5 + s = 0 for j.
-4
Suppose 5*r - 52*k + 54*k - 11 = 0, 4*k + 20 = 4*r. Solve -11 = r*v + 4 for v.
-5
Let y = -510 - -514. Solve -7*h + y = -3 for h.
1
Let k = 2346 - 2326. Solve -2*a - 14 = -k for a.
3
Let l be (54/(-12))/((-1)/2). Suppose s + 2*s = l. Solve -8 = -7*q + s*q for q.
2
Suppose 15 = 4*j - 5*r, 3*j - 6*r + 3*r - 15 = 0. Suppose 4*i - 10 = j. Suppose 29 = b + i. Solve -5*n + 1 = -b for n.
5
Let r be (0/(4 - 1))/2. Let u(f) = f**2 - f - 72. Let d be u(9). Solve d = 2*w - r*w - 4 for w.
2
Let t = -3 - -3. Suppose -4*g = -2*f + 5*f, t = -2*f + 2*g + 14. Suppose -20 = f*n, 2*n = 5*i - n - 30. Solve -i*k = k for k.
0
Let c = 11 + -21. Let v be (-1 - 5)*5/c. Solve 0*h + v*h + 15 = 0 for h.
-5
Suppose -2*s - s + 64 = 4*v, 2*s - 44 = -4*v. Suppose -w + 2*w + 5*y = 13, 0 = 4*w + 2*y + 38. Let k be -2 + 7/4 + (-51)/w. Solve 0 = -g - k*g + s for g.
4
Let c(p) = p**2 + 2*p - 3. Let z be c(-4). Solve -4 = z*r + 1 for r.
-1
Let s = 216 + -213. Solve 2 = s*a + 5 for a.
-1
Suppose 3*p - 4 = 2*p. Suppose 3*o = -5*x + 69, -3*x + 2*o - 9 = -39. Solve 0 = -4*y - p - x for y.
-4
Let z be (-2)/(-1 + 0) - 4. Let i = z - -6. Solve -i*f + 6 = -6 for f.
3
Let m be -7*(-1)/((-21)/18). Let u be 0/(4 + m/2). Solve 4*k - 3 - 1 = u for k.
1
Suppose 0*c = 5*c - 35. Suppos