u be i(6). Suppose -d + 13 = 3*h - 5*d, 0 = 5*d + 5. Solve 5*m = x - u*x + 17, -2*x = -h*m + 6 for m.
4
Let i(l) = -l**2 - 20*l - 16. Let o be i(-22). Let n be (1 + 2*1)*o/(-36). Solve 4*w - 21 = h, 5*h - n*w - 2 = -47 for h.
-5
Suppose p - 4 = -p. Let d = 2388 - 2388. Solve c - 3 = m + m, d = -p*m + 2*c for m.
-3
Suppose 2*v = -2*y + 2, -2*v + y + 3*y = -20. Let g = 68 - 64. Suppose -2*u + h = -0*u - g, 2*u = 2*h. Solve 0 = 4*l + 1 + 3, c + u*l = -v for c.
0
Let v(w) = -w**2 + 7*w - 6. Suppose 0*o = o - 5. Let p be v(o). Solve u - 3*j = 16, 3*j = p*u + 4*j + 1 for u.
1
Let u be (-2 - (-22)/(-4))*6/5. Let d be (-2)/4*(-16)/(-24)*u. Let g(z) = z**3 + 6*z**2 - 3*z - 6. Let b be g(-6). Solve -d*q - b = -2*s, s = -s for q.
-4
Let v = -110 - -112. Solve -4*u = v*j, 4*u + 3*j + 8 = 2*u for u.
2
Let q(k) = -k**3 - 7*k**2 + k + 8. Let x be q(-7). Let i be x + -3 - -1*21. Let t = i - 14. Solve -5*z = t*m - 15, m = 3*z - 0*z - 1 for z.
1
Suppose 0 = 6*j - 36 + 6. Solve -4*t + 8 = 4*y, -2 - 4 = -j*y - 3*t for y.
0
Let k = 202 + -198. Solve -2*d = -4*m + 6, 4*d + 2 = 5*m - k for m.
2
Suppose 14 = 2*x + 4. Suppose -62 = -3*v - 5*k, -5*v - x*k + 86 = -k. Solve -3*w + 10 = -2*i, 3*i - 5*w = i - v for i.
-2
Let p be 8/(-3)*(-6)/4. Let w(j) = -2*j**2 + j**2 + j**3 - 9 + 2*j - 6*j**2. Let i be w(7). Solve 2*g = -i*m - 2*g, 0 = m - p*g - 24 for m.
4
Suppose 4*f - 17 = 11. Solve 0 = i + 2*g - f*g + 6, 7 = -5*i + 2*g for i.
-1
Suppose z - 12 = 5*z. Let n be 1 - 0*(-4 - -3) - z. Solve -3*i = -3*s - 6, -3*i - 5*s + 2 = n for i.
1
Let l(y) = -y**3 - 7*y**2 + 2*y + 9. Let j be l(-7). Let g be -2*6/15*j. Solve -g*k + 9 = u - 3, k - 3 = -u for u.
0
Suppose -4*b - 2 = 2*j - 0, -2*j + b + 23 = 0. Solve w - s - j = 3*s, 0 = -2*w + 2*s + 6 for w.
1
Let h(c) = 2*c**2 - 4*c + 6. Let m be h(3). Let k be 6 - (-16)/m*6/(-4). Solve -k*r - 7 = -5*l, r - 8 = -0*l - 2*l for l.
3
Let b be (-2 + 1)*1*-1. Let y(c) = 2*c**2 + c - 1. Let h be y(b). Suppose 2*i + 5*v = -15, -i - 15 = 2*v + h*v. Solve 18 = -i*m + 3*o, -3 = -2*o - 1 for m.
-3
Let j(t) = 124*t - 490. Let n be j(4). Solve 2*p = n*p + 3*u, -2*u = 2*p - 2 for p.
-3
Let z be (-1)/5 - (-16)/80. Suppose -o - x = -0*o, z = -2*o + 2*x. Solve -2*n - 8 = o, -4*n = -3*w - 0*w + 4 for w.
-4
Suppose 0 = -6*s + 431 - 413. Solve 3*z = -12, -10 = -s*d + 3*z - 2*z for d.
2
Suppose -4*m - 4 = 0, 4*o - 3*m = -5 + 4. Let s be 0/o - (-6)/2. Suppose -3*j + 7 = 2*t, 2*j + 3*j - 37 = s*t. Solve -h + 23 = 4*h - r, -29 = -j*h + 3*r for h.
4
Let g(z) be the first derivative of 2*z**2 - 9*z + 31. Let d be g(3). Solve 2*r - 5 - 7 = 5*k, d*r + 4*k + 28 = 0 for r.
-4
Suppose -9*i + 61*i - 156 = 0. Solve -3*l + 5*o = -5*l - 35, i*o + 30 = -3*l for l.
-5
Suppose 5 = 2*r + 3*r. Let i be 3/((-2)/(110/(-33))). Solve m - r = -4*y, 2*m = y + i - 3 for y.
0
Let p be (-4 + 28)*1/(48/18). Solve -2*l + 5*v + p = -0*v, 5*v = l - 12 for l.
-3
Let r(a) = a + 9. Let o be r(-19). Let t(m) = -m + 8. Let z be t(-6). Let y = o + z. Solve -5*i = -2*n - y*i + 6, -4*n = 3*i - 2 for n.
2
Let s be (-2)/(-13) - (-50)/13. Let y = 7 + -4. Suppose -2*f = -4*d + 22, -21 - 4 = -4*d + y*f. Solve -3*q + 6 = 0, d*b + s*q - 6 = 3*q for b.
1
Suppose 5*o + 45 = 5*i, -3*i + 23 = -3*o - o. Suppose r + i - 16 = 0. Solve 4 + 2 = -w - 2*h, -r*h = -4*w + 9 for w.
0
Suppose 10 = 5*y - 10. Suppose -3*i = -2*n + 61, -3*n - n = i - 115. Let x = n - 25. Solve 0 = 4*f - 2*m, y*f - m = 3*m - x for f.
1
Let a(u) = -12*u - 4. Let j be a(-4). Suppose -w - j = w. Let k = -15 - w. Solve -5*t = 2*l - 8, -k*l - 2*t = -3*l for l.
-1
Let b(h) = -109 + 0*h - h + 152. Let o be b(20). Solve 0 = -x + 5*k + o, 2*k = 5*x - k - 27 for x.
3
Suppose -m + 18 = -x, 2*x - 82 = -3*m - 8. Solve -2*k + m = 4*q, -q = 3*k - 5*q + 7 for k.
3
Let g = -19 - -25. Let d be 6 + g/4*-2. Solve -3*u = 3*x - 2*u + 9, 18 = -d*x - 4*u for x.
-2
Let a be 6/27 - -4 - (-10)/(-45). Let j(t) = t**2 - 3*t + 1. Let v be j(3). Suppose a = q + v. Solve -4*i + 20 = q*b + b, -4*b = -2*i - 14 for i.
1
Let v be 3420/1235 + 3/13. Solve 0 = 4*g + 4*m - 4, -2*g - 5*m = -2 - v for g.
0
Let z be (8/6 - 10/(-15)) + 1. Solve z*p + 21 = -3*j, -5*j - 4*p - 19 - 11 = 0 for j.
-2
Let q(x) = 130*x + 1044. Let k be q(-8). Solve r + 1 = -h, 0 = -k*h - 5*r - 8 + 3 for h.
0
Suppose n + 3*w - 5 = 0, 1 = 2*n - 3*w - 0. Solve 0 = 4*r - 3*t + 20, 0*t = n*t for r.
-5
Let k be (18/10)/(27/90). Let v = k - 2. Suppose 0 = 5*n - u - 4*u - 95, -v*n + 5*u + 71 = 0. Solve q - n = 2*j - 3*q, -5*q + 33 = -4*j for j.
-2
Suppose -3*u + 4*f = -54, -4*u - f + 25 = -2*u. Suppose p = u - 12. Solve 0 = k - 2*n + 2, 4*k - 5 = p*n - 1 for k.
2
Let g(u) = 2*u**3 + 18*u**2 - u - 11. Let b be g(-9). Let h be ((-12)/28*b)/(9/42). Solve a - 3*f = -0*a, h*f = -a for a.
0
Let y be -22 + (-45)/(-3) - -3*8. Solve 4*n = -q - 3, -3*q + n + y + 0 = 0 for q.
5
Let n(r) be the first derivative of -r**3/3 - 3*r**2 + 11*r + 5. Let c be n(-5). Solve -a + 4*b + c = 0, 19 = -a + 2*b - 5*b for a.
-4
Suppose 12 = p + 18. Let j = p - -6. Solve -3*a = -3*f - 8 + 2, -5*f - 25 = j for a.
-3
Let b(w) = w**3 + 21*w**2 + 104*w + 6. Let v be b(-13). Solve 0 = -4*a + 3*f - 5*f - v, -3*a + f = 7 for a.
-2
Let d(j) = j**3 - 15*j**2 + 13*j + 19. Let u be (24/(-2))/3 + 18. Let a be d(u). Solve -h = -5, 0*f - f = a*h - 29 for f.
4
Suppose 15*n - 44 - 196 = 0. Suppose 8 = -0*g + 4*g. Solve -g*w + 1 = -u, -2*w - 5*u = -u - n for w.
2
Suppose -5*q + 224 = -0*r - r, 0 = -4*r + 4. Solve -5*p + 4*j = -q, 3*j + 24 = 9 for p.
5
Let l = 234 + -226. Solve -v = -j - 4*v - l, 2*j = 5*v + 17 for j.
1
Let u be -1 + (-9)/(-1) - 2. Suppose u*a - 9*a = -30. Solve 5*j = t - 23, -j + a = 5*t - 1 for j.
-4
Suppose -y = -5*t + 17, -4 = -4*t - 3*y + 21. Suppose 15 = -3*i, -2*a = 3*a - t*i - 65. Solve -5*x + 21 = -3*k, -4*x + a = -x for k.
-2
Suppose -h - 164 = -3*p, -5*p + 284 = -0*p + h. Suppose -p = -7*f - f. Solve v + 0*t = -4*t - f, 5*v - 34 = 3*t for v.
5
Let q(k) = 2*k**2 - 47*k - 20. Let n be q(24). Solve 17 = -4*x - 3*s, 1 = x - 2*x - n*s for x.
-5
Suppose -m = -2*z + 3 - 0, 0 = 4*z + 4*m - 24. Suppose -q = h + z, -5*q - 1 = -21. Let c = h + 9. Solve -2*r - c*t - 5 = 1, -3*r = -t + 9 for r.
-3
Let g be (0 - -1)*7 - 2. Let h(u) = 6*u - 3. Let o be h(2). Let m be 0*(-3)/o + 1. Solve 4*k - m = -2*i + 13, 34 = -3*i + g*k for i.
-3
Let s be 59/(2/1*8/(-16)). Let q = -59 - s. Suppose 0 = -3*g, 4*u - g - 39 - 37 = 0. Solve -5*z + p - u = -q, 2 = -2*z - p for z.
-3
Let x = -40 - -43. Solve 0*v - 4*v - x*w = -7, -v + 4*w - 22 = 0 for v.
-2
Suppose 0 = -11*l - 42 + 141. Solve o + 7 = b, 0 = l*b - 5*b - 12 for o.
-4
Let q = -273 - -277. Solve -a + q*t - 2 = 23, -3*t + 15 = 0 for a.
-5
Suppose 0 = 3*d + 12, 3*f - 14 = 4*d + 20. Solve -l = 3*y + 9, 4*l - 5*y + 2*y + f = 0 for l.
-3
Let h(p) = 3*p**3 - p. Let l be h(1). Let q = -164 - -165. Let u be (-1)/(q/(-3)*63/84). Solve -20 = -4*c - 2*z, -4*c = -u*z + 2 + l for c.
3
Let j be 1*-13 - (1 - 1). Let w = j + 20. Let q be (-1)/(0 + -1) + (1 - -1). Solve -3*b = 2*b - q*i - 21, b - 2*i - w = 0 for b.
3
Let g(x) = x + 19. Let t be g(-16). Solve 0*v + v = -a + t, v - 19 = -5*a for a.
4
Let h = 82 + -9. Let x = h - 48. Solve x = -5*w, w - 20 = -2*t + 3*w for t.
5
Let g be (-7)/4 + 2 + 81/(-4). Suppose 5*m + 5*s = -65, -5*m - 4*s = 16 + 44. Let u = m - g. Solve -p - 2*h - u = 0, -2*p - 11 = p + h for p.
-2
Suppose -29 = -4*m + 3*m - 5*w, 3*w = -2*m + 23. Solve 4*g = 3*o - 29, -m*o + 26 = -2*o - 4*g for o.
3
Let p be 1*7 - (26 + -22). Solve 5*x = -3*o + 5, -x = -o - 4 + p for x.
1
Suppose -m - 16 = 2*c, 0 = -c - 1 - 4. Let d(q) = q**3 + 7*q**2 + 6*q. Let v be d(m). Solve v = -2*a - 5*j + 13, 5*a = 6*a + 4*j - 11 for a.
-1
Suppose 0 = t + 4*k - 9, -2 + 1 = -k. Solve n - 2 = -t*j - 2*n, -2*j - 5*n - 3 = 0 for j.
1
Let n(f) = f**2 - 11*f + 8. Let i be n(10). Let w(t) = 4*t + 10. Let y be w(i). Solve -4 = -2*m + 2*b, 0 = -y*m + 5*m + 3*b for m.
1
Let z(u) = -6*u**2 - 11. Let r(g) = -g**2 - 2. Let j(y) = 22*r(y) - 4*z(y). Let v be j(-1). Solve -3*b - 4*p + 9 = 0, v*b + 2*p + 5 = 3*p for b.
-1
Let d = 23 + -3. Let n = d - -7. Let k = -30 - -42. Solve -5*t - n = -y - 2, 2*t = -4*y + k for y.
5
Let o(a) = 5 + 4*a + 2*a + 0*a - 5*a. Let r be o(-1). Solve 4*b = 2*t - 4 - 6, r*b = -4 for t.
3
Let u be -4*12*(-12)/18