j + 7 for c.
-2
Suppose 3*h = 5*n + 60, n + 4*n - 60 = -5*h. Solve h = -4*o - q, 4*o + 24 = q + 7 for o.
-4
Suppose 1 - 1 = -13*m. Suppose -3*b + 9 = m, 5*c + 4*b - 21 = 2*b. Solve 0 = 4*d + c*n + 3, -5*n - 2 = 4*d - 3*n for d.
0
Let b(t) = -t**3 - 10*t**2 + 17*t + 1. Let v be b(-12). Let w = v - 71. Let a be 2/2 + (2 - -1). Solve -1 = -3*n - x, -34 = a*x - w for n.
2
Let f(u) = u**2 + 5*u + 11. Let r be f(-2). Solve -m + r*v + 9 + 0 = 0, -3*m + 3 = -3*v for m.
-1
Suppose 14 = -4*f + 62. Let y be 931/42 - 2/f. Solve 5*o - 4 = d - 14, 2*d + y = -4*o for o.
-3
Let y(s) = -2*s**3 - s**2 + 4*s. Let j be y(-2). Suppose -j*g + g = 0. Solve q + 10 = -4*z - 0*q, g = -4*z + q - 6 for z.
-2
Let u(i) = 6*i - 69. Let h be u(12). Solve -p - h = -3*p - k, 5*p = -4*k + 6 for p.
2
Let s(y) = -y - 1. Let i(h) = -h**2 - h + 1. Let w(u) = -2*i(u) + s(u). Let x be w(7). Let d be x/8 - (-3)/(-4). Solve -n - 2*m - 2 = -m, -2*n + d = -2*m for n.
2
Let n = -199 + 390. Suppose -a + 48 = 4*k - 3, 4*k = -5*a + n. Let f = 37 - a. Solve -3*r + l - 16 = -0*l, 13 = -f*r + 3*l for r.
-5
Let q be (-1)/3 + 40/3. Suppose -39*d = -231 - 198. Suppose d*a - q*a = -2. Solve 30 = 5*n + 5*v, -v + 1 = -n - a for n.
2
Let i(k) = -3*k**2 + 3*k**2 + 12*k**2 - k + 2*k**2. Let c be i(-1). Suppose -3*g = -0*g - c. Solve -5*m - 5*j = -g, -m - 3*m = -3*j + 24 for m.
-3
Let z = -133 - -137. Solve 3*n + 3 = -5*k - 3, 2*n = -z*k - 4 for k.
0
Suppose -2*c + 2*j = -8, 12 = -4*c - 3*j - 0*j. Solve -q - 3*a + 2 = 4, -4*q - 4*a - 8 = c for q.
-2
Suppose -6*b + 6 = -4*b. Suppose b*f = 36 - 12. Suppose -4*j = -2*x + 14, 4*j - 3 = -x - f. Solve 0 = -c + 3*g, x*g = -3*c + 2*g for c.
0
Suppose 54 = 17*b - 48. Solve 16 = -4*q - 4*a, 4*q + b = q + 3*a for q.
-3
Let f(g) = g + 6. Let l be f(-3). Suppose -n = 4*b - 3*n - 26, -l*b = 3*n + 3. Solve -3*d + 4*d = -v - 5, b*d + 16 = 0 for v.
-1
Let o be -10 + 8 - (-6 + 4 + -2). Solve -2*l + 4 + o = 3*n, 0 = -4*n - 3*l + 8 for n.
2
Let h = 275 - 243. Solve 0 = 5*c - 4*y - h, 2*c + 20 = 4*c - 4*y for c.
4
Suppose 12 = -4*y + 7*y. Solve -4*p + 35 = 5*t, -25 = -3*t - 4*p + y for t.
3
Let g(d) = 13 + 3 - 5*d - 4 - 7. Let m be g(1). Suppose 16 = 2*o + 2*o. Solve m = -5*f - 5*s - 5, 8 = -o*f - 4*s - s for f.
3
Suppose 5*g = -5*z + 315, 0*z + 2*z = -10. Let n = -65 + g. Solve 3*f + r = -4, -4 = 2*f - n*r - 16 for f.
0
Let l = 896 - 892. Solve -l*x + 12 = 4*p, p - 1 = x - 0 for p.
2
Suppose -2*g - 10 = 0, 5*r - 4*g - 16 = 19. Suppose 5 = x - 2*d, -r*d = -6*d - 3. Solve -2*v + x*n = n, 0 = -5*v - 4*n + 45 for v.
5
Suppose -3*f + o + 6 = 0, -22*f - o = -20*f - 4. Solve 0 = 4*m - 5*c + 45, 20 = -0*m - f*m + 2*c for m.
-5
Suppose 2*s - 20 - 2 = 0. Let c = 3 + -7. Let x = c + s. Solve 5*y - 4*h = 15, -2*y + 4*h - 15 = -x*y for y.
3
Let a = 17 - 13. Suppose 2*g - g = a. Solve 3*w = -g*s + 5, 4*s = -0*w + w + 25 for s.
5
Let g(v) be the first derivative of 9*v**2/2 + 56*v - 26. Let k be g(-6). Solve k + 4 = -5*f + 2*z, -2*f = 5*z + 14 for f.
-2
Let n = 37 - 36. Let u = 8 + -13. Let v be u*n*(-2)/5. Solve -2*k + v*w - 3 + 1 = 0, 4 = -2*w for k.
-3
Let r(i) = 3*i + 8. Suppose 34 = 3*z - 5. Let w(a) = -a + 11. Let p be w(z). Let h be r(p). Solve -3*c = u - 10, -h*c + 2 = u - 5 for c.
3
Suppose 0 = -n, -3*t + 3 = 3*n - 6. Suppose 1 = -2*o + t*d, -32 = -4*o - 2*d - 10. Solve 0*c - 17 = -4*h + c, o*h = -4*c - 8 for h.
3
Suppose 0 = -16*h + 2*h + 672. Let g be 24/h - 3/(-2). Solve g*i = 2*v + 3*i, -2*v + 4*i = 0 for v.
0
Let k = -401 - -405. Solve -7*b - 10 = 5*t - 2*b, -k*b + 6 = -3*t for t.
-2
Suppose 3*y - 6*g = -g - 8, -2*y = -3*g + 4. Let u = y + -4. Suppose u = -5*w + 4*w + 4. Solve -w*m - 3 = -4*z - m, 17 = z - 4*m for z.
-3
Let x(f) = -2*f**2 + 5. Let p = -77 - -77. Let j be x(p). Solve 4*m - 2*t = -m, -5*t + 15 = -j*m for m.
2
Suppose x - 3 = -r - 38, -4*r - 167 = -5*x. Let s = -34 - r. Solve -13 = -4*g - 5*m, 0*m - 4*m = s*g - 8 for g.
-3
Let r be (-4)/(-5)*155/62. Solve -c - 5 = z - 3, 0 = 2*z + r for c.
-1
Let k(s) = s**3 + 7*s**2 - 17*s + 20. Let d be k(-9). Solve -2*h - 15 = -3*n, -9 - d = 4*h - 4*n for h.
0
Let m(c) = -c + 1. Let g be m(-4). Suppose s + 18 = 6. Let p = 14 + s. Solve 3*a + 5 = -2*h, g*h + a + 17 = -p*a for h.
-4
Let p be (-4)/58 - (-8720)/290. Solve -5*l = 2*s + p, -2*s - l - l = 18 for s.
-5
Let f = 47 + -43. Solve -2*k + 9 = 5*z + 40, 0 = 2*z + f*k + 22 for z.
-5
Let x = -353 + 369. Let i(y) = y**3 + y**2. Let q be i(1). Solve h + x = -h + 2*j, -q*h = -3*j + 21 for h.
-3
Let r = 18 + -23. Let f(u) = -u**2 - 9*u - 17. Let k be f(r). Let b be ((-2)/(-8))/((-2)/(-8)). Solve 4*t = k*n - b, -t = 5*n - 4*n + 2 for n.
-1
Let z be (1/1*-9)/(-3). Solve z*v - 4*a - a - 16 = 0, -2*a = 5*v + 25 for v.
-3
Let s(o) = -o**2 + 15*o - 51. Let c be s(6). Solve -3*n = -c*b + 2*n + 11, n - 1 = -b for b.
2
Let a be 198/(-264) + (0 - 15/(-4)). Solve -2*r = 4*i, i + a = -4*r - 4 for i.
1
Suppose 5*r = -3*g + 3*r + 32, 0 = g + r - 10. Let a be ((-18)/(-4))/(9/g). Solve -a*f = -3*f + 2*b + 9, 2*f + 2*b + 4 = 0 for f.
-5
Let n(b) be the first derivative of -5*b**4/4 + 4*b**2 + 7*b - 5. Let c be n(-1). Solve 0 = -q - c, 0 = 2*z + 3*q + 2*q + 26 for z.
-3
Let f = 33 - 30. Let d(a) = 12*a**2 + a. Let i be d(1). Suppose 6*c + 4 = 10*c. Solve 4*j - k = f*j - c, -2*j - k = -i for j.
4
Let j be (-3 - -9)/(-6)*(0 + 0). Suppose j*v = -v + 4, -3*h - 5*v + 26 = 0. Solve -h*m = -5*x - 15, 0*m - 5*x = 5*m - 20 for m.
5
Suppose 5*z + 7 - 17 = 0. Solve a + 15 = 5*y - 4*a, 2*y = -z*a - 6 for y.
0
Let z = -7 + 25. Let x be 3 - z/(1 - 4). Suppose 0 = x*i - 5*i - 24. Solve -i = m - l, -4*m - 8*l = -4*l + 16 for m.
-5
Let d = 23 + -21. Let b be (-4)/4 + 12 + d. Suppose -4*m + 7 + b = -g, m = -5*g + 26. Solve -4*o - 5*a + m = 0, -5*o + 4*a - a = 11 for o.
-1
Suppose -10 = 5*a - 25. Solve 0*m + 4*z = -a*m - 24, 2*z = -5*m - 26 for m.
-4
Suppose 6*d - 3*d = 4*f + 12, 0 = 2*d - 2*f - 6. Suppose -3*v + 3 = d, -g - 2*v = -3*v - 14. Let k = g - 11. Solve m = 5, 0 = 5*b - 7*m + k*m + 40 for b.
-5
Let j be (-2 - -3)/(1/5). Suppose j*k - 2 = 33. Suppose -4*r = -p + 6, 0 = 3*p + 4*r - 5*r - k. Solve 2*w + p*d = -2, 0*d - 11 = 3*w - 5*d for w.
-2
Let x(r) = r**3 + 6*r**2 + 6*r. Let w be x(-5). Let a(j) = j**2 + 6*j + 7. Let i be a(w). Solve i*l + c = -2*l - 7, 0 = 2*c + 6 for l.
-1
Suppose 148*p = -4*z + 151*p + 29, -3 = p. Solve 0*y - 2 = 4*x - 3*y, 0 = -z*x + 5*y for x.
-2
Let h = -1 - -3. Suppose -2*r + 76 = h*r. Let l(a) = 242*a + 733. Let b be l(-3). Solve b*d + 3*y - 3 = 4*d, -3*d + y + r = 0 for d.
5
Let u = 35 - 18. Suppose -11 = -3*r + 2*i + u, -4*r = i - 19. Let o = -2893 + 2896. Solve -4*x = o*l, x - l - 1 = r for x.
3
Suppose 2*g - 14 = -2*f, 0 = -5*f - 2*g + g + 19. Let n be (9/12)/(f/12). Let x(w) = w. Let s be x(n). Solve s*a - 3*r + 0*r = 9, 0 = -2*a - 2*r + 2 for a.
2
Let f be -8*(3 + (-30)/8). Suppose -5*z = -4*c + f, 4*z - c - c = 0. Let y be 18/(-12) - (-7)/z. Solve -12 = y*k - 2*l, 3*k - l = -k - 18 for k.
-4
Suppose -2*a - 5 + 4 = -b, 5*b - 23 = a. Suppose -40 = -b*c - 0. Solve -r + 11 = 4*h - h, c = 4*r for h.
3
Suppose -2 = 3*l - 17. Suppose -l*v + 6 = -3*v. Solve 3*f - 2*f - 7 = -2*t, t + v*f = 11 for t.
2
Let r(m) = 3*m**3 - 3*m**2 - m - 3. Let w be r(2). Solve -5*h = f - 22, 0 = w*f - 3*f + 3*h - 20 for f.
2
Let h(j) = -j**3 + 4*j**2 - 7*j + 6. Let g be h(2). Let o be 1*g/(2 - -1). Solve -a + 3*d - 19 = -o*a, -4*d = -a - 24 for a.
-4
Let z be 258/22 + -12 - (-47)/11. Solve -z*q - 17 = u, -10*q - 4*u = -7*q + 3 for q.
-5
Let z = -117 + 117. Solve -5*b - 3*p = z, 6*p = 2*p + 20 for b.
-3
Let z = -61 - -71. Let m(p) = 2*p**2 - 20*p + 4. Let w be m(z). Solve -4*r = 2*h - 10, r + 4*r - 14 = -w*h for h.
1
Let z be ((-12)/10 - -1) + (-21)/(-127 + 22). Let c = 13 - 8. Solve -4 = l - 4*l + c*m, 4*l - m - 11 = z for l.
3
Let b = -11 + 11. Let s be (6/4)/((-3)/(-8)). Suppose 3*v + k = -b*k + 5, 4*v + 4 = -s*k. Solve 3*o + 2*c + 17 = v*c, -31 = 4*o - 3*c for o.
-4
Let i(z) = z + 4. Let o be i(0). Suppose w = 2*m - 4, 2*w - 10 = 2*m - 4*m. Solve w*f + 1 = -3*u - o, 3*u - 3*f = 15 for u.
1
Let d(h) = -15*h - 268. Let i be d(-18). Solve -4*l - 3*a + 8 = 1, i*a - 16 = 3*l for l.
-2
Let d be 0/((1 - -3) + -3). Let x(k) = -2*k**3 - 6*k**2 + 2*k - 9. Let u be x(-4). Solve 0 = 2*y - 3*b + 15, d*y = 