 f = -4*j for y.
4
Let h be (-13 + 45)/8 + 18/1. Solve 5*v = -u + h, -2*u + 5*v - 31 = -0*v for u.
-3
Suppose -4*y - 5*c = 114, -3*c - 110 = 6*y - 2*y. Let f = 49 + y. Suppose -15 = -2*q + f. Solve -5*p = -h + 29, -h = -2*p - p - q for p.
-5
Let h(t) = -t**3 + 6*t**2 + 8*t - 2. Let j be h(7). Let m = -88 - -93. Let q(s) = -s**2 + 9*s - 20. Let l be q(m). Solve y - 6*y - j*v = -10, l = -4*v for y.
2
Let q(d) = d + 11. Let r be q(-5). Let f be (30 - 10) + 4 + -1. Suppose -f*n = -20*n - 36. Solve -o - 4*o = -4*i - r, 0 = -4*o - 4*i + n for o.
2
Suppose 45 = 2*q - 3*t, -2 = -3*t + 13. Let p(s) = -3*s**3 - 26 + 4*s - s**2 + q + 2*s**3. Let x be p(-3). Solve -4*w + x = c, 4*c - 6 = 3*c - 2*w for c.
2
Let x(o) = o + 2. Let c be x(-2). Suppose 2*l + c*l = 8. Suppose l*b - 1 = 7. Solve b*k - 2*s - 13 = 5, -2*k = 2*s - 2 for k.
5
Suppose -2*a = 31 - 155. Let k be a/4 - 2/(20/15). Solve -4*j = -x - 4*x - 17, 0 = -4*j + 2*x + k for j.
3
Let y(v) = -3 + 2 - 5*v**2 + 7*v + 4*v**2 + 3. Let t be y(7). Suppose 5*b + 5*d = d, 0 = -b - t*d. Solve -2*x + b*x - 4*l = 8, 2*l = 0 for x.
-4
Suppose -8 = -4*y + 4*x, -3*y + x + 3 = -9. Solve -2*i - 22 = -y*l, l - 3 = 5*i + 6 for l.
4
Suppose -2*c + 21 = -103. Let z = -62 + c. Solve 3 = q - b - 2, z = -3*b - 12 for q.
1
Let s = -16 + 43. Let v = -22 + s. Suppose -v*h - 2 = -6*h. Solve 12 = 2*r + 2*c, -h = -5*c + 8 for r.
4
Suppose z - 23 = -18. Solve 2*j - q = -z + 2, 5*q = -4*j + 1 for j.
-1
Let r be (0 + (-16)/12)/((-4)/9). Solve -2*q + 0 = m + 3, -r*q - 5 = m for m.
1
Let a(r) = -r + 8. Let j be a(4). Solve 0 = -j*z + 16, 8 = y - z + 2*z for y.
4
Let j = -1147 - -1149. Solve -j*c + 15 = -5*h, 2*c = 3*c - 4*h - 12 for c.
0
Suppose 15 = 3*o + 2*o. Suppose 13*k + 4*k - 168 = -4*k. Solve 4*m - 7 = o*m - 4*x, 0 = 4*x - k for m.
-1
Let l = 8 - 5. Let n be (-28)/3*(-18)/(-12). Let k be n/(-4) + ((-20)/8 - -2). Solve -k*c + 4 = -y, l*y = c + 1 + 3 for c.
2
Let x(t) = 2*t**2 - 3*t - 41. Let u be x(-4). Solve 0 = u*g - 3*l - 2*l - 11, -5*l = 20 for g.
-3
Let s(l) be the first derivative of -1/4*l**4 - 1/3*l**3 - 1 + l + 3*l**2. Let t be s(-4). Solve -m + 0*m - 10 = 2*r, 0 = -5*r + 3*m - t for r.
-5
Let z = -22 - -35. Let m = z + -3. Solve -n - l = -6*l - 26, 0 = -5*n - 3*l - m for n.
1
Let a be 8/52 - (-4 - (-267)/(-39)). Solve 9 + a = -4*o + 3*p, -5*o - 25 = -5*p for o.
-5
Suppose 11*u + 2*u - 18*u = 0. Solve 5*m + 5*f + 10 = u, -3*f = -m - 0*m + 14 for m.
2
Suppose -c = -4*c + 12. Let u be -1*((-7 - 3) + 5). Solve -3*l - c*f = 17, 0 = -u*l + 5*f - 1 - 4 for l.
-3
Suppose -4*l - 17 = 4*r + r, -2*l - 5*r - 21 = 0. Let n = 46 + -42. Suppose n*j = -i - 9, 5*i + j = -2*j + 6. Solve -p - i*c + 2*c = -4, -l*c - 7 = -p for p.
5
Suppose 0*i - 2*h = -2*i - 2, 4*i - 32 = -5*h. Suppose -7 = -i*t + 5. Solve 3*r + 2*b + 4 = -2, -r + t*b = 16 for r.
-4
Let j be 4 - 0 - -32 - -4. Suppose 6 = -j*d + 42*d. Solve -7 + d = -2*m + r, 0 = 2*m + 3*r - 20 for m.
4
Suppose -4*r - 3*u - 26 = -43, r + 13 = 5*u. Solve -3*f - 4*x = x - 7, -14 = -4*f - r*x for f.
4
Suppose 18 = 4*r - 0*k + 2*k, -k = -4*r + 9. Let d(x) = -x**2 + 8*x + 3. Let j be d(8). Solve 5*l = u + j, -6*u = -3*l - r*u - 3 for l.
1
Suppose 0 = 3*g + 6, -2*g = -5*z + 2*g + 18. Let w(u) = -3*u**3 - 39*u**2 + 3*u + 41. Let r be w(-13). Solve -r*i - 4*n + z = -4*i, -5*i = n + 27 for i.
-5
Let l = -503 - -507. Solve 5*g - 33 = l*z, -4*g - 5*z = -3*g + 5 for g.
5
Suppose -b - 26 + 27 = 0. Let a be -2 - (b/1 + -5). Solve -3*w - 3*n = -6, 4*w + w = -a*n + 16 for w.
4
Suppose -3*k + 2*w + 1 - 2 = 0, 2*k + 9 = 3*w. Let g(y) = -y**2 + 13*y + 5. Let m be g(13). Solve 3 - 5 = -2*i + 4*c, -5*i + k*c = -m for i.
1
Suppose 3 - 6 = -u. Let d = 6 - 1. Suppose 2 = -d*m + 12. Solve h - u = 0, -m*w - 4 = -6*h + 2*h for w.
4
Suppose 0 = -2*x - 2*z, x + 10 = 4*x - 2*z. Let p be (-1)/x - 34/(-4). Let d = p - 5. Solve a = -d*r - 15, -6*a = -3*a for r.
-5
Let k be -1 + 7/5 + 900/250. Let m be ((-2)/(-3))/((-2)/6). Let f be 79/9 - m/9. Solve r = a + 2, -k*r + f*r = -a + 16 for a.
1
Let j(r) = -r + 3. Let d = -12 - -15. Let q be j(d). Let p = q - -2. Solve p*i - 7 + 1 = -2*t, t + 3*i - 9 = 0 for t.
0
Suppose -126 = 3*i + 3*q, -i - 38 = 3*q - 4*q. Let v be (i/(-50))/(4/30). Solve v*p - 5*p = y + 1, -y = 3*p + 17 for y.
-5
Let j(d) = 20*d - 532. Let r be j(27). Solve -3*p = -2*g - 12, -4*g = p - 3*p + r for p.
4
Let a(j) = -2 + 6*j - 3*j + 2*j. Let v be a(1). Suppose 4*z = -v + 23. Solve -3*l + l = -z*c + 17, 2*l = -2*c + 4 for l.
-1
Let b be -4*((-12)/(-16))/(1/(-3)). Let v be b + -11 + (-2 - -6). Solve v*h = -4*m - 12, -2*m = h - 5*m - 4 for h.
-2
Let d(b) = 2*b**2 - b - 1. Let m be d(-1). Solve -5*r - n - 2*n = -19, -2*r - m*n + 10 = 0 for r.
2
Let s be (3 + -3)/((-8)/4). Solve 1 = -3*p - 4*b, 0 = -s*p - 5*p + 2*b + 33 for p.
5
Let d be (-20)/(-7) + 5/35. Let l = -13 + 15. Solve -f = g - 6, -l = -d*f + g - 0 for f.
2
Let r(a) = 2*a**2 - 5*a + 4. Let y be r(3). Let b = 347 - 344. Solve b = -j, -3*z - 4*j = 2 + y for z.
1
Let q be 1/3*9/1. Suppose -5 = h - 5*z, -h + 2*z - 6*z + 13 = 0. Let u be (-13 - -20) + -8 + 1. Solve -h*s - 2*f + q = 9, 2*s + 2*f = u for s.
-2
Let k(b) = -b**2 - 41*b. Let p be k(-41). Solve 4*c = 4*d, -4*d + 3*d + 3*c - 4 = p for d.
2
Let f be 3*(-4 - (-34)/6). Solve 3*r - f*t = -2, -5*r + 1 + 6 = 2*t for r.
1
Let b be (-40)/8 + 11 + -4. Solve -z + h = -b, 5*z - 3*z - 5 = 3*h for z.
1
Let q(i) = i**3 - 6*i**2 + i - 2. Let z be q(6). Suppose -z*f + 2*k - 110 = -f, 3*f = -k - 107. Let o = -31 - f. Solve 3*x + j - 3 = -3*j, 10 = o*x + 5*j for x.
5
Suppose 9*b = 4*b - 5*g + 30, g = -2*b + 10. Solve -7 = -5*x + j + 1, b*j = 4*x for x.
2
Let c(q) = -2*q**2 + q - 9. Let r be c(3). Let d = 29 + r. Solve 0*x = x + 4*y - d, 0 = y for x.
5
Let s = 389 + -229. Suppose 0*i = -b - 4*i + 15, 0 = 5*b + 3*i - s. Solve 5*z = 5*v - b, v = -v + 6 for z.
-4
Let z = 17 - 12. Solve z*d + 12 = -3*p, -4*d + 0 = -p - 4 for d.
0
Let z be 0/4 - (-12)/4. Suppose -15 = -z*y - 3. Let m(p) = -2*p**2 + 18*p - 11. Let b be m(8). Solve -5*d + b = 0, -2*d - 11 = -y*t - d for t.
3
Suppose 25*u + 55 = 180. Solve 0*z + 2*z = 4, 0 = 3*q + u*z - 19 for q.
3
Let k = 40 - 37. Suppose -k*w - 5*u = -35, 4*u = -3*w + 10 + 24. Solve 0 = -2*m - 2*h + h + 4, 0 = -5*m + 3*h + w for m.
2
Let x(j) = 2*j - 12. Let q(v) = 4*v**2 + 4*v + 3. Let m be q(-2). Let o be x(m). Solve -5*p - o = -5*t, -3*p - 2 = -5*t + 2 for p.
-3
Let x be (-1)/(-4) - (-1 + 3/(-4)). Solve -2*h - 7 = u - h, -2*u + h = x for u.
-3
Let h be (-469)/14 - 1/(-2). Let m = -21 - h. Suppose -6 = g - m. Solve 8*d - 4*d - 16 = 2*c, -3*c - g = 3*d for c.
-4
Let m(f) = f**2 - 9*f + 7. Let o be m(8). Let t be o + 1 + 3 - -16. Suppose 1 = 4*r - t. Solve -2*y = 3*b + y - 18, 4*b + r*y - 29 = 0 for b.
1
Let f be (-4)/20*0 + 15. Let y be (f/(-20))/(3/(-24)). Solve 2*w + 3 = 5*q - y, 3*w + 11 = 5*q for w.
-2
Let f be (14/(-21))/(6/(-45)). Solve -t + 3*y - 1 = -5*t, -f*t = 4*y - 1 for t.
1
Let x be (-65 - -66)/(1/5). Solve -5*v + 3*m = -v - 19, 17 = x*v + 3*m for v.
4
Let l(x) = 2*x - 6. Let c be 3*-1*(1 + -2). Let b(i) = i**3 - i**2 - 3*i - 4. Let z be b(c). Let o be l(z). Solve -5*a - 35 = -5*n, -3*a + 5*a = -o for n.
5
Let y = -2 - -7. Let n = 4 + y. Let c be (-9)/(-6)*24/n. Solve -4*g - 4*k = -16, 3*g + 1 - 13 = c*k for g.
4
Suppose 2 = -2*t + 6. Let l = 4 + -4. Suppose l*h - 8 = -2*h. Solve -h*u + 18 = 2*x - 6, t*u + 4*x = 18 for u.
5
Let v(m) = 2*m**3 - 13*m**2 - 5*m - 16. Let k be v(7). Let a(w) = -6*w - 8. Let r be a(k). Solve 5*g + 5 = -3*i, i = -4*g - i - r for g.
-1
Let f(h) = h**3 - 5*h**2 + 2*h + 8. Let p be f(4). Suppose 0 = -3*y + y - 3*c + 31, 5*c - 25 = p. Solve -3*s + 30 = -y*s + 5*n, 18 = 2*s + 4*n for s.
-1
Suppose 3*u - d - 23 = 0, -5*u = 5*d - 42 + 17. Solve -r = 3*a - u, 2*a = -3*a - r + 9 for a.
1
Let p = -783 - -800. Solve 2*v - 5 = 3*h, 5*v - v - p = -h for v.
4
Suppose -8 = -3*x + 1. Let r = -50 + 54. Suppose -r*o + 22 = 3*p, -2*o + 16 = 2*o. Solve -10 = 2*k + 2*u - u, x*k - p*u = -1 for k.
-3
Suppose 3*v + 14 = -4*n, 6*v = v + 4*n + 30. Solve -5*b - 4 = -0*b + 4*k, v*k - 28 = 5*b for b.
-4
Suppose -4*v - 5*c = -12, -3*v = -v + 3*c - 6. Solve -2*w = -v*g + 10, 3*g + 5*w = 13 + 4 for g.
4
Let f be (-44)/(-36) - (-2)/(-9). Suppose -f + 11 = 2*c. Suppose 7*w - 7