t = -4*o - 4 for o.
0
Let p = -321 - -326. Solve 6*i = -h + i - 16, -8 = 3*h + p*i for h.
4
Suppose 2*m - 217 = -213. Solve -5*c - 3*v = 18, 5*v + 11 = -m*c - 0*v for c.
-3
Let q = 14 - 9. Let p(j) = 3*j - 17. Let v be p(12). Suppose 0 = l + 3*g + 7, -g - 2*g = -5*l + v. Solve 0 = -5*x - l*s - 3, 3*x - 4*s + q*s + 1 = 0 for x.
1
Let w = 3 - 0. Suppose u + 2*s - 21 = -7, -3*s + 6 = -u. Suppose -w*o + 3*n = -u, -5*n = o - 2 - 0. Solve -2*z - 2 = o*y, -5*y + 3*z + 7 = 2*z for y.
1
Let w = 29 + -14. Suppose -3*s + i = -w, -4 + 1 = i. Let o = 14 + s. Solve 2*h = 5*l - l + o, -18 = -4*h - l for h.
5
Suppose -33*f + 43 + 716 = 0. Solve -l + 5 = -5*o - 4*l, -2*o + 3*l = f for o.
-4
Let n be 2/3 + (-38)/(-6). Let a be (1 - 5/2)/(33/(-110)). Suppose -5*h - 4*y + 22 = 0, -2*h - 23 = -6*h - a*y. Solve 0*z + 3*z = h*k + 7, -k + n = 2*z for k.
1
Let h(z) = -29*z - 110. Let i be h(-4). Solve -g + 3 = 4*f - i*g, g = -5*f + 11 for f.
2
Suppose 2*d - 18 = -4*d. Suppose 3*u + 5*n = 11 - 0, -d*n = 4*u - 11. Solve -23 = -y - 5*l, -l - u*l = 4*y - 7 for y.
-2
Let s(y) = -2*y**2 + 19*y - 7. Let l be s(9). Suppose 0 = f + 3*f - l*f. Solve 3*u - 6 = 3*q - f*u, 4*q + 5*u + 35 = 0 for q.
-5
Let p(y) = -16*y - 3. Let b be p(-2). Let x = -51 + b. Let r be (0 + 1)/((-11)/x). Solve -5*i + 0*i + 10 = 0, -i = r*h + 4 for h.
-3
Let k(z) = 5*z - 161. Let h be k(35). Solve 2*j - h = 3*v, 0 = 3*j + 4*v - 7 + 20 for j.
1
Let y(l) = -4*l + 40. Let z be y(10). Solve 2 = -3*i + 5*i, 5*q - i + 26 = z for q.
-5
Let c be ((-24)/(-5))/(9/30). Let n(f) = f**2 - 16*f + 7. Let g be n(c). Let b be 32/g + 28/(-49). Solve 5*r - 3*x - 1 = -3, -b*r - 4*x - 8 = 0 for r.
-1
Let l(g) = 11*g - 32. Let t = 41 + -37. Let h be l(t). Let a be (-6 + 3)/((-3)/8). Solve 4*v - h = 0, -m + 0*v - v + a = 0 for m.
5
Suppose -2*x = -5*x + 12, x = o + 1. Solve g - 3*g = -3*d + 12, o*d + 4*g + 6 = 0 for d.
2
Let f = 1361 + -1356. Solve 2*p + 2*m = p + 11, -2*m + 31 = f*p for p.
5
Suppose 0*c + 2*c = 0. Let o be (-2 + -2)/(2 + -3). Suppose c = -o*k - 0*k + 24. Solve -3*i + 0*w = 3*w - k, -4*i - 19 = -5*w for i.
-1
Let p(o) be the second derivative of o**3/6 + 11*o**2/2 + 7*o. Let l be (33/6)/(1/(-2)). Let h be p(l). Solve 0 = -5*k + 10, h = -3*s + 3*k - 5*k + 19 for s.
5
Let u be -6 - -7 - (-19 - -2). Let l(o) = o**2 + 8*o - 2. Let k be l(-6). Let g = u + k. Solve 28 = -5*s + g*r, -r = 5*s + r + 16 for s.
-4
Let g(p) = 2*p**2 - 17*p + 11. Let k be g(9). Let n be ((-5)/(k/(-64)))/2 + -4. Solve q + 5 = 0, 16 = -0*w + w - n*q for w.
-4
Let q = -103 + 120. Suppose 7*o - 2*o = 15. Suppose 2*g = -o*g + 20. Solve -6 = -w + 2*c, -5*w + q = g*c + 1 for w.
4
Let y be (-6)/5*(-360)/(-9). Let w = -47 - y. Solve -4*c + 13 = -5*u, -5*u + 3*c = w + 15 for u.
-5
Let v = -719 + 724. Solve 5 = -5*b + v*o, 3*o - o = -3*b + 2 for b.
0
Let b = 0 - -1. Suppose 3*p + 16 = k, -4*k + 118*p + 64 = 121*p. Solve -z = u + 3*z - k, u - b = -z for u.
-4
Let l be (-3)/9 - (-7)/3. Suppose -2*w = -5*b + 6, l = 4*w - 5*b + 2*b. Solve s = -4*f + 7, -3*f - w*s + 12 - 3 = 0 for f.
1
Let x be (-3)/2 - (-26)/4. Suppose -5*k - 5*m = -20, k - x*k - 2*m = -24. Solve -3*c - k = z, 4*c + 12 = z + 2*c for z.
4
Suppose 26*n = 38*n - 12. Solve -2*c - 10 = -4*p, 3*p - n = -c + 9 for p.
3
Let s(w) = -11*w - 39. Let n be s(-4). Suppose -20*q + 16*q = -60. Suppose -2*u - 2*h = 0, -4*u = u + 3*h - 6. Solve l - n*g - 15 = -l, u*g = -q for l.
-5
Suppose 31*k - 32*k = -2. Solve 4*h + 5 = a, 0 + k = 4*a + 2*h for a.
1
Let h(f) = -f**3 + 32*f**2 - 33*f + 67. Let y be h(31). Solve 3*k + y*u = 2 + 15, -2*k - 10 = -2*u for k.
-1
Suppose -2*z = -65 + 59. Suppose -2*p = -z*j + 3*p + 17, -3*j + p + 25 = 0. Solve -3*c - j = 2*d, 3*d + 2*d = -2*c - 6 for d.
0
Let k = -75 + 52. Suppose 117*q - 277 = 2414. Let n = k + q. Solve p = -4*b - 12, 4*b = -n*p + 3*p - 28 for b.
-4
Let y = 481 - 446. Solve -5*q + 5*a = -6 + 1, y = 3*q + 5*a for q.
5
Suppose 2*y - 6 = -5*t, -2*t + 5*y - 15 = -5*t. Suppose -2*c = 2*l, l + 2*c - 10 = 4*l. Let q = 7 + l. Solve -2*o - 2 = 3*r - 0, t = q*r + 5*o + 10 for r.
2
Let r(p) = -p**2 - 20*p - 70. Let y be r(-15). Solve x = -3*q - 2, y*x + 22 = -5*q + 2 for q.
1
Let i(p) = -p**3 - 4*p**2 - 2*p + 4. Let j be i(-2). Let g(h) = h**2 - 4 - 3*h - 3*h + h. Let y be g(6). Solve j = -5*f - 3*l + 19 + 13, -y*f = -4*l + 8 for f.
4
Suppose 5*q - 2*u = 39, -5*q + 32 = 2*u + 1. Suppose 0 = -5*i + 5*x + q + 3, 0 = -2*i + 5*x + 7. Solve -5 + i = -5*z - 2*j, -3*z = -2*j - 12 for z.
2
Suppose -r = 2 - 7. Suppose -2*l + r*l = 21. Let f = l + -3. Solve 3*j + 24 = -3*q, -f*j + 10 = -6*j for q.
-3
Suppose 3*q - 48 = -a, 3*a + 0*a = 3*q + 84. Let k = a + -19. Let c = k + -9. Solve 3*h + 2 = -2*o - 2, 0 = c*h + 20 for o.
4
Let i be 9*((-14)/21 + 1). Solve -c + 2*j = i*c + 22, -5*c - 2*j = 14 for c.
-4
Suppose 5*o - 18 = c - 256, 0 = 4*c + 8. Let w = -27 - o. Let t = w + -12. Solve -u + t = -5*s, 8 = -s - 2*s - 2*u for s.
-2
Let u(m) = -68*m + 230. Let i be u(3). Solve -5*j + i = -2*x + 6*x, 5*x = 2*j + 16 for j.
2
Let j(p) = -12*p - 2*p + 15*p + 4*p**2. Let d be j(1). Solve 2*v = 4, 3 + 15 = -d*q + 4*v for q.
-2
Let k be 2*39*20/60. Solve -4*g - k = 3*w, 3*w - 2*w = -g - 7 for g.
-5
Let y be ((-26)/20)/(17/(-170)). Let p(u) = u**2 + 10*u + 13. Let x be p(-9). Solve x*l - 6 = -2*d, 2*d = -2*l + 3*d + y for l.
4
Let h = -61 - -65. Suppose h*b = 2*v - 11 - 7, -2*b - 3 = v. Solve 5*w - 15 = v*f, 15 = -3*f - 2*w + 4*w for f.
-5
Suppose -3*q + 20 = 2*q. Let m = -15550 - -15550. Solve 0 = -3*k - m*k - 2*l - 5, 0 = -4*l - q for k.
-1
Let w be (-14)/2*30/7. Let z = -28 - w. Solve 5*q + 25 = 0, 7 + 2 = -z*i - q for i.
-2
Let h(t) = t**3 - 5*t**2 + 5. Let b be h(5). Suppose 4*j = -5*g + 48, 0 = 5*j - 2*g + 6*g - 51. Let c = j + -6. Solve 1 + c = -n - f, b*n - 8 = f for n.
1
Let r be 10 - 4/2*9/6. Suppose 3*l - r = 2. Solve -3*x = z - 9, -x + l = 3*z + 2*x for z.
-3
Let r be 4/(-10) - 48/(-20). Let s = 7 - r. Suppose -79*p = -65*p - 28. Solve s*y - 18 = p*w, 3*w - 1 + 5 = -4*y for y.
2
Let d be 13/3 + 0 + 256/384. Solve b = -5*c - 6, c - 22 = -d*b - 4 for b.
4
Let f be 43 + ((-6)/(-3) - (0 + 3)). Suppose 0 = v + 2*i + 2*i - f, 0 = i - 3. Solve 0 = 3*g + q - 13, 3*g + g = 5*q + v for g.
5
Let m = 10 + -6. Let p = 3871 + -3861. Solve 2*s + 1 = m*h + 3*s, -p = 5*h - s for h.
-1
Let s = 168 + -164. Solve 0 = 2*z + a - 9, -s*z + a + 9 = -6 for z.
4
Suppose 5*w - 8*w + 15 = 0. Suppose 0*b - 10 = -w*b. Suppose -t - t - 8 = -4*f, 0 = -5*f + b*t + 11. Solve 0 = 3*u + 4*j + 18, -5*u - 2*j + f*j - 7 = 0 for u.
-2
Let x(s) = -s**2 - s + 15. Let p(h) = 3*h**2 + 4*h - 46. Let f(d) = -3*p(d) - 8*x(d). Let z be f(-6). Solve -5*l - 4*k + 12 = -7*k, z = 3*l - 3*k for l.
3
Let b(s) = 4*s + 1 + 7 + 7 - 3*s. Let l be b(-10). Suppose -l*i = -3*i - 4. Solve 3*q + 0*q = 5*v - 19, -5*v + i*q + 16 = 0 for v.
2
Let f = 17 + -15. Suppose 0 = -r - 15 + 22. Solve y - f*b - r = 0, 4*b + 0*b = y - 13 for y.
1
Let h(y) = y**3 + 0*y**3 - 24 + 16 + 14*y - 3*y**2 - 11*y**2. Let r be h(13). Solve -4*s - b - 1 = 3, r*s = b + 4 for s.
0
Let o be ((-50)/(-6))/((-7)/(-21)). Solve 3*c - o = -5*p, 10 = 4*p + 2 for c.
5
Let c(a) = a - 9. Let w be c(11). Let j be ((-2)/(-2) - -3)/w. Let i be j + (0 - (-4)/2). Solve -40 = -i*m - 3*u - 15, 5*u - 31 = -4*m for m.
4
Let g(z) = -z**3 - 9*z**2 + z + 8. Let i be g(-9). Let c = 4 + i. Suppose 2*h - c*d - 17 = 0, -2 = h - 5*d - 21. Solve 4*n - 6 = y, -n + 11 = h*y - 9*y for n.
1
Suppose 3*c + 2*c - 23 = -3*p, 0 = 2*c + 5*p + 6. Let k = -3 + c. Suppose -5*h = k*v + 2, -5*v = 3*h - 1 - 3. Solve 0 = -v*l + t + 2, -2*l - 2*t + 6 = -t for l.
2
Let v(l) = -15*l + 201. Let d be v(13). Solve -2*o = -h + d, 7 = 5*o + h + 2*h for o.
-1
Suppose 3*p - q + 6 = 0, -2*p = -6*p + 3*q - 13. Let r be (p + 0)/((-1)/7). Let b be (-6)/(-42)*0 + (3 - 1). Solve h = -m - 3, 5*m + b*h + 14 = -r for m.
-5
Let d(c) = 6*c**2 - 5*c - 1. Let n(s) = 7*s**2 - 5*s. Let a(i) = 6*d(i) - 5*n(i). Let r be a(6). Solve -4*f + 0*f + u - 16 = 0, r = -3*f + u - 12 for f.
-4
Let z(x) = -14*x + 14 - x**2 + x - 36. Let f be z(-11). Solve 0*g - 4*m = -g - 5, f = 2*g + 2*m + 10 for g.
-5
Let b be (-47)/(-3) + (-12)/(-36). Solve 0 = l - 5*v - b, 2*l + 13 = -4*v - v for l.
1
Let t be (3 + (1 - 4))/2. Suppose -50*v + 51*v - 5 = t. Solv