
Suppose 0 = 3*h - g + 5, -5 = -3*h - 3*g + 2*g. Let f(y) = 3*y**2 + 31*y - 60. Let q be f(-12). Suppose q = -2*i - h*i. Solve -4*x - x + 15 = i for x.
3
Let r = 9 + -5. Solve -11*x + r = -13*x for x.
-2
Let w be 1 + -4 + (19 - 0). Suppose 3*k - 3*b - b - w = 0, -b = -k + 4. Solve k*n + n = 5 for n.
5
Let v = -31 - -36. Let c = -14 - -25. Solve v*h - 36 = -c for h.
5
Suppose -h = -2*h. Suppose 3*v = 2*v. Solve v = -h*u + u - 4 for u.
4
Suppose 16 + 4 = -4*j. Suppose -2*n + 0*n = 36. Let q be (n/5)/2*j. Solve -1 + q = -4*i for i.
-2
Suppose 0*u = 4*u - 20. Let d(k) = k**3 + 18*k**2 + 32*k + 5. Let s be d(-16). Suppose 3*n = s*b - 13, 2*b = -u*n + 38 - 8. Solve 3*z = 5*z + n for z.
-2
Let f(a) = a**2 - 25*a + 26. Let z be f(24). Let n be 2*(-3 + 12/3). Suppose -v - 4*v + 20 = n*l, -2*l - 8 = -z*v. Solve -v = -r - 2 for r.
2
Let w = -374 + 376. Solve -4*d - 6 = w*d for d.
-1
Suppose -26 - 14 = -5*z. Let l = 9 - z. Solve -l = j - 2 for j.
1
Let u be ((-8)/(-2) - 5) + 3. Suppose 0 = u*z + 2*z - 20. Suppose -3*d - 5*w + 24 = -w, -5*d - 2*w + 26 = 0. Solve z*k - k = -d for k.
-1
Let d(q) = -q - 40. Let g be d(5). Let u be g/(-35) + 6/(-21). Solve 9 - u = 2*n for n.
4
Suppose 0 = -2*m + 3 + 19. Suppose 0 = 3*q + 2*d - 12, 4*q + 2 = 2*d + 4. Suppose g = 4*g - 3. Solve -q*c + g = m for c.
-5
Suppose -25*p = -34*p + 99. Solve 0 = 3*g + 2 - p for g.
3
Let b = -7 - -11. Let j be -3 + (-12)/b*6. Let s = -18 - j. Solve s*h - 5*h = 0 for h.
0
Let v = 2223 - 2216. Solve -2*t - v*t = -18 for t.
2
Let n be 9*((-136)/36 + 4). Suppose 13*q + n*q = 150. Solve -a - a = q for a.
-5
Let k(h) = 12*h + 88. Let g be k(-7). Solve -5*o + g*o - 5 = 0 for o.
-5
Let y be -2 - (-15)/6 - (-1521)/18. Solve 0 = 2*q - y + 75 for q.
5
Let k = 343 - 297. Solve -30 + k = -4*d for d.
-4
Let l = 40 + -36. Suppose 3*k = 5*f + 20, -l*k + 5*f + 10 = -2*k. Solve 2 = -3*y - k for y.
-4
Let r be 92/12 - (-1)/3. Suppose r*k = k + 105. Solve -4*b = -k + 35 for b.
-5
Let i be (-95)/15*(1*-1 - 2). Suppose f = 5*h - 15, -5*f - 2 = -2*h - i. Solve -f*x = -2*x for x.
0
Let n be (-240)/(-75) - 2/10. Suppose 5*w = -5*u + 54 + 1, 2*w - 14 = 2*u. Solve -w - 6 = n*o for o.
-5
Suppose 0 = -2*u + 7 + 1. Suppose -u*g = g. Suppose g*c - 5 = -5*c. Solve c = -2*f + 11 for f.
5
Let w(h) = 6*h + 77. Let n be w(-13). Let l = -15 + 3. Let t be (20/l - n)*-3. Solve 9 = g + t*g for g.
3
Suppose 3*n - 163 = 4*w, 4*w + 7 = -9. Let f = -41 + n. Solve -f = 4*h + 8 for h.
-4
Let g be 7 + (-5)/(-10)*-4. Solve -4 = g*i - 29 for i.
5
Let l(c) = -3*c + 5. Let p be l(0). Solve 15 = 5*u + p for u.
2
Suppose 0 = 2*b + 2*z, -z = -3*b + 1 + 19. Solve 0 = 3*o + 11 - b for o.
-2
Let m = 3 - 0. Suppose 0 = -4*a, d + 26 = -m*a - 2*a. Let t be d/(-4) + (-33)/22. Solve -5 = t*j + 10 for j.
-3
Let w be (-16)/4 + 5 + -2. Let s(u) = -7*u - 3. Let n be s(w). Solve 2*l = -2*l + n for l.
1
Let s = -1174 - -1177. Solve 4 = -5*w + s*w for w.
-2
Suppose 0 = -5*p - 17 + 72. Let z = p + -13. Let o(u) = -u + 1. Let q be o(z). Solve q*i = -0*i for i.
0
Let w = 13 + -12. Suppose -5 = -4*m + 5*m + 2*u, m + u = -w. Solve 0 = -m*j + 14 - 2 for j.
4
Suppose -12*d = -21*d + 36. Solve 1 = d*h - 11 for h.
3
Let x(v) = -19*v - 7. Let s be x(-1). Solve -4*c + s = -7*c for c.
-4
Let n(z) = z**3 - 13*z**2 - 7*z + 6. Let o be n(13). Let d = -85 - o. Solve -4 = -4*r - d for r.
1
Suppose 2*q - q = 0. Suppose 0 = -19*b + 24*b - 15. Suppose 0 = -3*j + 9 - b. Solve 0 = -q*g - j*g for g.
0
Suppose -n = 4*n - 15. Suppose 3*v = 4*v + 1. Let p be v/(((-8)/(-22))/(-4)). Solve n*r + 2 = p for r.
3
Suppose -491*u + 143 = -480*u. Solve 6*n - 18*n = -u*n for n.
0
Let n = -196 - -202. Solve 26 = n*u - 4 for u.
5
Let o(w) = -7*w - 24. Let r be o(-6). Suppose -4*l + r = 5*l. Solve 2*q + l = -6 for q.
-4
Let n be (-6)/(-18) - (-2)/(-3)*-31. Suppose 2 = 2*v - a - 5, -6 = -v - 2*a. Solve -5*m - n = v for m.
-5
Let l be (-45)/9 + 72/6. Solve 2*n = l*n - 15 for n.
3
Suppose 0 = -4*v + v + 3*t - 15, 0 = 4*v + 2*t + 26. Let h(f) = 2*f**2 + 11*f - 2. Let u be h(v). Let p be ((-1)/3)/((-1)/3). Solve -5*k + u = -p for k.
1
Suppose -c = d - 2, -c + 6*c = -3*d + 8. Suppose -c = y - 3. Solve y*g + 3 = 1 for g.
-1
Let t = -2251 + 2262. Solve t*h - 11 = -44 for h.
-3
Suppose 13*w - 18*w - 5*s + 110 = 0, 0 = -2*w + 3*s + 54. Solve w = -5*v - 1 for v.
-5
Let k(w) = w + 16. Let a be k(-12). Let z = 6 - 5. Let g = z - 1. Solve -a + g = f for f.
-4
Let c be 3*(-4)/(-30) - 52/5. Let j = c - -13. Solve j*v + 12 = -v for v.
-3
Suppose 0*o = 2*o + 16. Let p be ((-2)/4)/(o/208). Solve -3*h - 2 = p for h.
-5
Suppose -7*x + 265 = 46*x. Solve -19*h + 56 = -x*h for h.
4
Let f(j) = j**2 + 2*j + 1. Let g(n) = -n + 8. Let l be g(9). Let k be f(l). Solve k = -2*r - r for r.
0
Let r be 2/3*(-5 + 1 - -1). Let m(k) = k**3 - 5*k - 2. Let h be m(r). Solve h = -2*n - n + 12 for n.
4
Let y = -6 + 23. Suppose 2*z - 2*l = -6, z + 2*z + y = 5*l. Solve -o = -z - 1 for o.
2
Suppose -3 = -4*g - 3*f + 18, 13 = 3*g + 5*f. Let x be ((-1 + 1)/1)/(-2). Suppose x = -l - 0*l + 2. Solve -g = a - l for a.
-4
Let y(s) = -4*s**3 + 107*s**2 + 32*s - 81. Let w be y(27). Solve w*j - 20 = 49*j for j.
4
Suppose -x + 5*x = 4*t + 16, 0 = 4*x - 3*t - 15. Suppose c = 3*c - 12. Suppose l - c*l = 0. Solve -15 = -l*q - x*q for q.
5
Suppose 8*r - 30 = -7*r. Solve a - r*a + 5 = 0 for a.
5
Suppose 4 = 2*n - 8. Let k(i) = -2*i**3 - 7*i**2 - 3*i + 3. Let v be k(-3). Solve m + n = v*m for m.
3
Suppose -f = 5, -4*s + 8*s - 33 = 5*f. Suppose -5 = -5*w, -w = u + s*w - 3. Solve u = -4*g - 10 - 10 for g.
-5
Let c = 64 - 54. Let g be (16/10)/(4/c). Solve 8*f = g*f + 16 for f.
4
Suppose 763*r = 735*r + 1344. Solve r = -6*w + 24 for w.
-4
Suppose -6*c + 56 = -2*c. Suppose h = 3*l - c - 14, 5*l - 2*h = 47. Solve -4*d = -d - l for d.
3
Suppose -9*i + 84 = 3. Solve i*b = 13 - 31 for b.
-2
Let a(k) = k**2 + 6*k - 4. Let s be a(-6). Let j be s/(-20) - (-14)/5. Suppose 2 = j*x - 13. Solve -2*p - x = -7*p for p.
1
Suppose -4*t - 5*g + 8 = 0, -3*t + 11 - 5 = g. Suppose i = -5*r - 25, -15 - 5 = 2*i + 4*r. Solve i*s - 10 = -t*s for s.
5
Let q(a) = -a**2 - 5*a + 8. Let n be q(-6). Solve n*w + 6 = -4 for w.
-5
Let c(i) be the second derivative of 1/3*i**4 - 1/20*i**5 - i**2 - 4*i + 0 + i**3. Let p be c(5). Solve -5*h - p = 22 for h.
-5
Let i be ((-1 - -3) + -8)/(-2). Suppose -4*p = 3*v - 8, -4*p + 15 = 4*v - 3*p. Solve x = i*x + v for x.
-2
Let q(j) = -j**3 + 9*j**2 - 7*j - 3. Let p = 35 + -27. Let r be q(p). Solve -r*b = -2*b - 9 for b.
3
Let o(l) = l**2 + l + 35. Let f be o(0). Let y be 6/(-10) + 21/f. Suppose 5*g + y*g - 30 = 0. Solve -5*c + 14 = -g for c.
4
Let m(s) = s**3 - 2*s - 1. Let c be m(-1). Suppose 0 = -7*g - 4 - 24. Let u be c*g/(-24)*3. Solve d + u*d = 0 for d.
0
Let c(u) = -31*u - 117. Let i be c(-4). Solve i*n - 2*n = -20 for n.
-4
Let g be 945/56 + (-1)/(-8). Suppose -3*a = -a + 6, 3*a + g = 2*c. Let v = 0 + 0. Solve v = u - c*u - 12 for u.
-4
Let d(b) = -2*b + 3 + b**2 + 2*b - 1 - b. Let w be d(3). Solve -7*m + w = -5*m for m.
4
Let a be (-2)/30 - 10269/(-135). Solve 80*f - 8 = a*f for f.
2
Let g be -14 + 8 - 4*1. Let t = g - -25. Solve -2*j = -5*j - t for j.
-5
Suppose -91*g = -90*g - 26. Solve g*l - 40 = 18*l for l.
5
Let q = 21 + -19. Let x = q + 7. Solve x = 2*y - 5*y for y.
-3
Suppose 0 = g - 2*k + 12, 5*g - 2*k = -3*k - 5. Let h be (1 - 0)*0/(g + -2). Solve 0 = l - 2 - h for l.
2
Let n = 171 + -169. Suppose -3 = 3*h - 5*r, 0*h - 1 = 2*h - 3*r. Solve -h*m = -n*m + 2 for m.
-1
Suppose v - 10 = -0. Let w = 3 + 12. Let u(j) = 6*j - 13. Let d be u(3). Solve d*i + v = -w for i.
-5
Suppose -f - 2*l - 2*l = 3, -24 = 2*f + 2*l. Let r = -22 - f. Let i = r - -10. Solve h + i = -2 for h.
-5
Let h = -342 + 354. Solve 10*m - 7*m - h = 0 for m.
4
Suppose 4*z - 503 = -471. Solve -5*r + z - 3 = 0 for r.
1
Let h(b) = b + 1. Let g(a) = 5*a + 5. Let z(t) = -2*g(t) + 11*h(t). Suppose 0*s - 4*s - 3*f = -9, -s + 2 = f. Let v be z(s). Solve v*u = 9*u for u.
0
Let l(n) be the third derivative of n**6/120 - n**5/60 + n**2. Let x be l(-1). Let k be 6/((x - -3)*2). Solve -k*h + 6 = 3 for h.
1
Let v = 832 - 832. Solve -2*q + v = 4 for q.
-2
Suppose 74 + 118 = 32*h. Solve 0 = 4*q - 7*q + h for q.
2
Suppose -4*l + 31*l = -46*l. Solve l = 9*v + 18 - 54 for v.
4
Let o(v) =