 - p + 11, -2*p + 12 = -y*u for p.
5
Suppose -1 = -5*d - u, 2*d + 5*u + 1 = 6. Suppose 52 = -5*y - x, -4*y + 5*x - 72 + 13 = d. Let t = y - -11. Solve -5*w - 3*i + 27 = t, 10 = -w - w + 4*i for w.
3
Let d = 5239 + -5237. Let y = 0 - -1. Let c be 8/(-1)*y/(-2). Solve -4*i + a = -d*i - 7, -3*a - 19 = -c*i for i.
1
Let y(m) = 4*m**2 - 20*m - 4. Let g be y(6). Suppose 5*k = 3*k, -4*n = -5*k - g. Solve -q + 4*w + 12 = q, 0 = n*q + 5*w - 15 for q.
4
Suppose -d + 4*w + 0*w = 12, 0 = -d - 3*w + 16. Solve 4*n = j - 1 - 5, -2 = -3*j + d*n for j.
-2
Let f(w) = -2*w**2 + 81*w - 474. Let v be f(33). Solve -5*z + q = -0*q - v, z + q - 9 = 0 for z.
5
Let v(r) = r - 9. Let m be v(5). Let i(g) = -g**2 - 5*g. Let f be i(m). Suppose -s - 1 = j + 4*j, 72 = 4*s + j. Solve 2*n - n - f*u = s, -n + 7 = -u for n.
3
Let l be (-221 + 3 - 0)/2. Let w = -101 - l. Let s(h) = h**3 - 10*h**2 + 15*h + 13. Let c be s(w). Solve d - 10 = 5*q, 0*d - c*d = -5*q - 10 for q.
-2
Suppose -w + 3*h - 23 = 0, 37 = 6*w - w + 4*h. Solve 28*p = 4*v + 31*p + w, -2*v - 5*p + 3 = 0 for v.
-1
Let o(i) = 4*i - 36. Let a be o(12). Suppose 33 = a*x - x. Solve -b - 4*f = -20, -16 = -b - 0*b - x*f for b.
4
Suppose -2*o = 5*u + 13, -6*o + 8*o = u + 17. Let r be 150/(-60) - (-33)/o. Solve -20 = 5*n + 5*w - 0, -2*n + r*w - 8 = 0 for n.
-4
Suppose -267*f = 58 - 539 - 587. Solve f*z - 3*c + 29 = 0, -z + c = 5*c - 7 for z.
-5
Let x(s) = -2*s**2 - 2*s + 8. Let y be x(-2). Suppose 0 = y*m - 4 - 16. Solve 3*i + m*l = 34, 2*l - 14 = -3*i + l for i.
3
Suppose -m - 2 + 20 = 4*c, -2*c + 4*m = 0. Suppose 4*z - 32 = c. Solve -8 = -5*d + 5*k + 7, 3*d + 2*k - z = 0 for d.
3
Suppose -b - 43 = -2*x - 2, -4*b + 46 = 2*x. Suppose 18 = -6*d, 100 = -0*y + 5*y - 5*d. Suppose 3*g - y = -8. Solve -w = 4*q + x, g*q - 14 = 5*q + 4*w for q.
-5
Suppose 0 = -51*a + 39*a + 36. Let y be ((-28)/(-8) - a/6) + 11. Solve i = 4*z - 17, -2*i = y - 4 for z.
3
Let g = -1533 - -1536. Solve 1 - 2 = -g*t + 5*y, t = -2*y + 4 for t.
2
Let y be 4/3*(-6)/(-4). Let k be (1/y)/(((-15)/(-3))/10). Solve 4*n - 46 = -5*j - k, -5 = -4*n + 3*j for n.
5
Let t = -4871 + 4871. Solve 4*f + 2*v - 22 + t = 0, 7 = 4*f - v for f.
3
Let q(t) = -6*t + 15*t - 7*t - 33. Let x be q(18). Suppose -x*y = -10*y + 56. Solve 4*h = 2*k - 12, 6*h - k = 2*h - y for h.
-1
Suppose 2*k + 10 = 2*r - 0*k, 4*k + 12 = 0. Let m be (-1099)/(-21) + r/(-6). Let c = m + -51. Solve 5 = -5*z - 5*d - 5, 0 = -3*z - 2*d - c for z.
3
Let x be 5 - -2 - (-20 + 5 + 8). Let w be 0/(-1) - 7 - 0. Let n be (x/4)/(-1)*4/w. Solve -4*j = -4*z, z + 5*j - n = 16 for z.
3
Let r = 1 + 1. Let c = -101 + 109. Suppose -c*f = -15*f + 84. Solve -5*a = -2*m - 9, -5*m = a - r*m - f for a.
3
Let u = -321 + 542. Suppose 6*s + u - 251 = 0. Solve 0 = -3*i + 4*x - 13, s*i - x + 4*x = 17 for i.
1
Suppose 3*c - 141 = -c - 5*w, c + 4*w - 38 = 0. Let g be (-2)/(-2) + -30 + c. Solve -5*x = -g*t - 15, 0 = -5*x + 2*x + 12 for t.
1
Let d be 0 + -6 + (-18)/(-42) + (-67)/(-7). Solve -d*h + 5*q + 16 = -24, -2*q = 3*h - 7 for h.
5
Suppose 0 = 6*h - 49*h + 473. Suppose 255 - 227 = 7*r. Solve h = -r*d - w + 6*w, 0 = -5*w + 15 for d.
1
Let m be 2 - 22/(-14 + 3). Solve -3*p - 3 = -12, -19 = -m*x - p for x.
4
Let q(o) = 230*o - 3666. Let b be q(16). Solve b = -5*z + 2*t, -3*z + 5*t + 20 = 36 for z.
-2
Suppose 2*c + 49 - 147 = 0. Let l = 31 - -13. Let f = c - l. Solve 1 = f*w + 4*d, -3*w + 0*d - 4*d + 7 = 0 for w.
-3
Let k(r) be the first derivative of r**2/2 + 15*r - 3. Let x be k(-12). Let y be (-5 + -1 + x)*16/(-3). Solve 0 = -3*z + 3*s + 18, -2*z + 5*s + y = s for z.
4
Let n = -30899 - -30903. Solve -n*d = 5*p + 16, -4*p = -2*d - 15 + 33 for d.
1
Let a(p) = -2*p**2 + 23*p + 4. Let i be a(11). Let v be 4 - (-35)/(-8 + i). Solve u = 4*s + 7, s - v = -u + 6*s for u.
-1
Let a(g) = 2*g**2 - 12*g + 10. Let y = -44 + 49. Let h be a(y). Solve h = 2*l + 8, 0 = x - 2*l + 6*l + 15 for x.
1
Let a = 4 + -1. Suppose 0 = -a*c + 14 + 16. Let s be (-2)/7*(-1666)/119. Solve 6 = -5*l + 2*j, -s*l = -4*j + 2 + c for l.
0
Let s(o) = -o**3 + 18*o**2 + 5*o + 9. Let i be s(18). Let l = -96 + i. Solve -4*b + 8 = 0, -l*f + 32 - 10 = 5*b for f.
4
Let h be (17/51)/((-2)/(-90)). Suppose 68*p + h = 71*p. Solve -9 = -y - 4*g, -2*g - g + p = -y for y.
1
Let y = -9178 + 9181. Solve 4*q + 11 = 5*s + 2, y*s - 4*q - 7 = 0 for s.
1
Suppose 2*v - 104 = -y, 0 = 5*v + 3*y - 351 + 92. Suppose 15*q - 113 + v = 0. Solve -4*w - q = -0*w + c, 4*w + 4*c = -4 for w.
-1
Let p(s) be the second derivative of 0 - 6*s - 1/3*s**3 - 5/2*s**2. Let t be p(-9). Solve -2*f = -2*h - 12 + 4, 4*f - t = h for h.
-1
Let l be (4/3)/((-1048)/72 + 15). Solve l*c + 5 = 20, 4*b + 2*c = 26 for b.
4
Suppose 2 = -2*y + 2*k, 3*k = -364*y + 366*y + 6. Solve y*o - 9 = -5*t - 28, -4*o - 17 = 5*t for o.
2
Let z = -11909 + 11914. Solve -z*n + 0 = -2*b + 35, b + n = 0 for b.
5
Let r be ((-96)/64)/((-3 - (-13)/8) + 1). Solve -x + r*s = 4*x + 35, 3*s - 18 = x for x.
-3
Let d be -1*(((-6765)/(-125))/(-11) + (-6)/75). Solve -5*p - 25 = 5*f, p - 12 + d = 5*f for f.
-2
Suppose -6*t + 15 = -3*t. Let m = -716 + 720. Solve -t*a - m*l = 2, -2*a - l = l + 2 for a.
2
Let s be ((-1)/9)/((-9)/(-27))*-60. Solve 5*n - y + s = 0, -4*n - 4*y - 15 = 1 for n.
-4
Let f(d) = d**3 - 5*d**2 + 2*d - 7. Let a = -47 - -26. Let q be 8/(-28) - 111/a. Let j be f(q). Solve 3*w = -4*x + 16, -j*w - 4*x + 11 = -5*x for w.
4
Let k be 4/((-16)/6)*(3 + -5). Suppose 0 = k*n - 34 - 125. Suppose -55*a + n*a + 12 = 0. Solve p + 7 + a = 2*v, -2*v = p - 7 for v.
5
Let h = 3852 - 3848. Solve -4*t + 2*s = -2*s - 4, t - h*s + 2 = 0 for t.
2
Let o be 45/(-10)*1*(-4)/6. Suppose -2*g + 3*l + 77 = 0, -g + o*g - 67 = l. Solve -5*b + 5*q - g = 4, -3*q + 12 = 0 for b.
-3
Let x be (4/6)/((-16)/24). Let j be ((-2)/(-2))/(x/(-9)). Let z be 759/184 - 1/8. Solve -z*d - d + 7 = -y, -d - j = 5*y for y.
-2
Let d(i) = 18*i + 24. Let p be d(-2). Let x be 40/60*p/(-2). Solve 0 = -v - x*m - 5 - 12, 5*v - 11 = 4*m for v.
-1
Let f(y) = 30*y - 233. Let x be f(10). Suppose 33*m = -1 + x. Solve 0*b - b - 8 = 3*u, m*u + 9 = 3*b for u.
-3
Let p be (5/((-25)/10))/(1/2). Let a(f) = f**3 + 2*f**2 - 6*f - 2. Let j be a(p). Let m = 12 + j. Solve m - 6 = 4*b - 5*d, -12 = -3*d for b.
4
Suppose -4*d - 5*q - 10 = 0, -835*q - 4 = d - 833*q. Solve 0 = -4*r + 4*k + 56 - 60, d = 5*r + 3*k + 13 for r.
-2
Let z(b) = b**2 + 5*b - 11. Let j be z(2). Suppose 5*q - 4*x + 4 - 6 = 0, j*x = -2*q + 10. Solve 2*v + q = 2*i, 1 + 10 = -i - 3*v for i.
-2
Let n = -144 + 170. Suppose -13*a = -n*a + 39. Solve -w - a*w + 10 = -5*l, l + 8 = 2*w for w.
5
Let s be 9/6*(-10)/(-5). Solve s*y = 3*n + 9, 5*n - 2*y + 4*y = -29 for n.
-5
Let m be (5 - 5 - 12) + -23. Suppose 0 + 2 = -2*l, 3*f + 3*l = -1074. Let c be f/m - 3/15. Solve -n + 3*o + 20 = 0, o + 2*o = -n - c for n.
5
Suppose -15 = -5*h - 10. Suppose h = 8*r - 4*r + 3*s, -s = 3*r - 7. Solve 12 = -r*u - 4*b, 3*b + 0 + 4 = 2*u for u.
-1
Let u(q) be the first derivative of -q**2 + 26*q - 224. Let y be u(11). Solve -y*o = -3*c - 13, -2*o + c - 4*c = 7 for o.
1
Suppose -3*f + 2*q + 37 = -0*q, 18 = f + 5*q. Suppose f*c - 41 - 24 = 0. Let z be -13 + 13 - 2/((-2)/c). Solve 5 = -z*v + 5*b - 25, 5*v + b + 12 = 0 for v.
-3
Let q(u) = -334*u - 2336. Let j be q(-7). Solve 2*w + 16 = -5*t, -t + j*w = -3*w - 13 for t.
-2
Let z(m) = -m**3 + m**2 + m - 71. Let f be z(0). Let t = -77 - f. Let d be (-10)/(-3) - (-8)/t. Solve -3*v + s = -10, 0*s = -3*v - 2*s - d for v.
2
Suppose 5*q = -p + 31 + 88, -3*q + 2*p + 61 = 0. Suppose -36 = 20*v - q*v. Solve -3*a + 4*m = a + 4, 3*m + v = 0 for a.
-5
Let m(o) = 8*o + 102. Let z be m(-12). Suppose z*g = 47 + 97. Solve -4*v = s + 2*s + g, v + 19 = -4*s for v.
-3
Suppose 3*s - 10 = 8. Let l be ((10 + -4)*-4)/(s/(-16)). Let d = -42 + l. Solve 0 = -3*b - 6*q + 2*q + d, 0 = 4*b - 5*q + 12 for b.
2
Suppose -u = -3*u + 12. Let n = -201 - -204. Let w = u - n. Solve 8 = -2*d + 4*g, 0 = 3*d - 2*g - w*g + 9 for d.
2
Suppose 20*r - 10*r = 120. Suppose 0 = -3*o + 12, 5*o = r*s - 10*s. Solve -k + 3*w - 9 = 5, -5*k + s = w for k.
1
Let o = 476 + -442. Suppose 3*y = -m - 9, 3*m + 9 - o = 4*y. Solve 0 = -c + 5*x + 5, 0 = -m*c + 2*c - 3*x - 3 for c.
0
Let q(g) = 4*g**2 - 6*g + 45 - 52 + 0*g. Let r be q(4). Solve 2*j - 7*j + 15 = m, -5*m = 4*j - r for j.