+ v - (1 + -1). Solve y = 2*k + f*u, -3*k - 1 - 36 = -5*u for k.
-4
Let b be (-1060)/(-424) + (-15)/(-6). Solve 0 = -s - 2*u + 5, -4*u - 1 + b = 4*s for s.
-3
Let c(x) be the third derivative of x**5/6 - 7*x**4/12 - x**3/3 + 17*x**2 - 1. Let f be c(2). Solve 5*q - 8 + 3 = 0, 0 = -5*w - 5*q + f for w.
1
Suppose 0 = 5*l - 7 - 18. Suppose 5*u - 71 = -n, 0 = -8*n + 4*n + 5*u + 234. Suppose 56*k - n*k + 125 = 0. Solve -5*t + 5*d - 3*d = -25, l*d = 5*t - k for t.
5
Let d(m) = m**2 - 23*m + 133. Let y be d(10). Suppose 0 = -3*a + y*h - 6, 9 = -5*a + 3*h + 7. Let n = 5 - 3. Solve -5*q + n*t = 11 - 4, a*t = -q - 11 for q.
-3
Let b be (-44)/33*3*(-2)/8. Suppose -q + 2*s + b = 0, -3*q - q + 24 = 2*s. Solve 2*c + c = -y - 4, q*c + 10 = -y for y.
5
Suppose 574*p - 561 = 540*p + 187. Solve -4*w + 11 = 4*t + 3, -2*w + 4*t + p = 0 for w.
5
Suppose -128*o + 394 + 363 = 245. Solve -23*f + 21*f - 4*a = -8, -o*a + 12 = 3*f for f.
4
Let a = 17 + 5. Suppose -5*j = 4*u - 463 - 335, 4*j - 3*u = 626. Suppose -30 = 32*h - j. Solve h*b = 5*c + 4 + 22, 5*b - c - a = 0 for b.
4
Let y be (-59)/(-12) + ((-192)/8)/(-288). Solve 0 = y*a - 4*u - 17, 3*u - 33 = -4*a - 7 for a.
5
Let t be (54/(-4))/((-12)/(-24)). Let m be t/(-12) - (-4)/(-16). Solve -5*z + 3*p = -26, m*p = z - 6 - 2 for z.
4
Suppose -60*l + 53*l - 145 = -36*l. Solve 0 = -5*k + 7*z - 5*z + 2, l*k + 4*z = 26 for k.
2
Let z = -5374 + 5407. Solve 39 - z = 3*g + 4*d, 0 = -3*g + 3*d - 15 for g.
-2
Let f be 32 - ((-2 - 2) + 7). Suppose -5*n + 17 = -2*i, 5*i - 4*i - f = -5*n. Suppose d + n = 9. Solve -20 = -d*z, 4*w - 6 = -z + 7 for w.
2
Let q be 0/1*(-87)/(-116)*(-2)/3. Solve 11 = -2*w - m, q = 5*w + m + 108 - 85 for w.
-4
Let p(a) = -2*a - 5. Let r be p(-5). Let q be -15*(-3 + (-65)/(-25)). Suppose 0 = -r*h + 21 - q. Solve -h*w - 18 = 5*t, -6*w = 3*t - 3*w + 12 for t.
-3
Suppose 67 = -6*a + 28*a - 43. Solve 3*q = 3, -a = 4*l - 5*q + 4 for l.
-1
Let n = -2881 + 4708. Let x be n/(-42)*(-10)/3. Let j = -143 + x. Solve 4*w - 2*h - j = -4, 0 = -2*w - 4*h - 16 for w.
-2
Suppose n - 127*u - 4 = -128*u, 14 = 3*n + 4*u. Solve n*v + 2*p - 4 = 0, -4*v + 164*p - 159*p - 37 = 0 for v.
-3
Let z(o) = -o**3 + 5*o**2 + 5*o - 3. Let p be z(6). Let q be 12*2/3*p/(-18). Let u be 2/16*q*8. Solve 0 = -4*v - 12, u*i + 9 = v - 4 for i.
-4
Let i(f) = 101*f + 1818. Let w be i(-18). Solve 4*y + g = -13, 8*y - 7*y + g + 4 = w for y.
-3
Let y be (0/(15/1))/(6/3). Solve -4*i - 5*m - 5 - 21 = 0, -2*i + 4*m = y for i.
-4
Let h be (-1)/12*(-48)/4. Solve -4*r = -3*b + h, -5*r + 3*b + 19 = -6*r for r.
-4
Suppose 20*c - 50 = 15*c. Suppose 0 = c*k - 208 + 68. Solve -4*b = b - 2*z - k, b - z = 1 for b.
4
Let k be ((-14)/6)/(9/(-27)). Let h be k/28 - 7/(-4). Let a = 15122 + -15118. Solve 0 = -o - q + 5, 0 = -o - 3*o + h*q - a for o.
1
Let c be 180/(-48) + 1/(-4). Let u be (6/c)/(33/(-286)). Suppose 0 = 4*z - u + 5. Solve 8 = -z*x + 2*f, -4*x - f = x - 10 for x.
1
Let u be 3*(3 - (-1)/(-3)). Let r = u + -3. Suppose 3*z = -r*b + 15, -6 = -b - b - 5*z. Solve 2*q + w = -6, -b*q - 4*w - 20 = q for q.
-1
Let z(q) = q**3 + 15*q**2 + 15*q + 2. Let m be z(-14). Let x be m/16 - (-30)/8. Suppose 0 = -5*a + 12 + 28. Solve u + 11 = 4*s, x*s = 4 + a for u.
5
Let p be 3/((-66)/(-1018)) + 102/5236*-14. Solve 4*o = t - 13, 10*o + p = 5*o - 3*t for o.
-5
Let o(d) = d**3 - 8*d**2 + 15*d + 3. Let i be o(5). Solve -i*w + 4*z = -0*w - 13, 3*w = 2*z + 5 for w.
-1
Let n = -110 - -110. Suppose 0 = k, n = -x - 3*k - 2 + 4. Solve 4*m + 30 = -5*s, -x*m - 3*m - 31 = 3*s for s.
-2
Suppose -4*u - 104 = -4*v, -3*v + 2*u + 59 = -14. Let h be (2 - 1)/(2/(-34)). Let m = v + h. Solve -m = -i - 2*s, 0 = 3*s - 5 - 1 for i.
0
Suppose 4*z = g + 28, -7*z = -2*z - 5*g - 50. Solve 4*d = -3*j + z*d - 15, -5*j = -5*d + 30 for j.
-3
Let o be (-53217)/135 + 1/(10/(-8)). Let j = -392 - o. Solve -j*t + 2*s + 10 + 2 = 0, -16 = -4*t - 2*s for t.
4
Suppose -3*q = 3*h - h - 71, 0 = -2*q - 10. Suppose -5*f = -3*o - 91, 3*f + 6*o = 2*o + h. Solve w = -5, -a - 3*w + 7*w + f = 0 for a.
-3
Let y be (-5)/2 - (-2)/4. Let w be 1/y*-4 - 2. Let z be (5 + 174/(-34))*-17 + 0. Solve 5*d = -w*b - 2*b + 21, z*b = 2*d - 14 for b.
-2
Let s be 1 - (-10 - 6/(-3)). Solve 5*c - 1 + s = -3*y, -2*c + 5*y = 28 for c.
-4
Suppose 23*b = -245 - 238. Let p = 0 - 3. Let y be (-57)/b + p + 23/7. Solve -3*o = -0*o - 6, o = -y*u - 10 for u.
-4
Let i(y) = -y**3 - 15*y**2 - 17*y - 39. Let u be i(-14). Let h(w) = w**3 - w**2 - w - 13. Let t be h(u). Solve -2*k - 2*k - 5*v = -23, -16 = -5*k - t*v for k.
2
Let s be (-8)/6*(-40 + 7). Let w = -27 + -12. Let a = s + w. Solve 3*g - 16 = -g, a*c = 4*g - 41 for c.
-5
Suppose -309*j + 308*j - 2*p = -17, j + 3*p - 15 = 0. Solve 2*l = -3*x - l + j, -5*x = -2*l - 14 for x.
4
Let b be (0 + 1 - 0)*11 + (1121 - 1128). Solve -2*r - b = -3*o, 2*o + 101 = -r + 92 for r.
-5
Let p = 16044 + -16041. Solve 0 = -p*n - 9, 0 = 3*h - 5*n - 6 - 6 for h.
-1
Suppose -22 - 16 = -2*m. Let k = -14 + m. Let q be (1 - 3)/((-3)/12). Solve -q = -x - 2*g, 3*g + 7 = k*x + 6 for x.
2
Suppose 4*g - 53*v + 49*v + 12 = 0, -24 = 2*g - 4*v. Solve -4*d + 24 = 3*i, 54*d - 56*d + g = 0 for i.
4
Let l = 9 + 3. Let y be 913*1/(-2) - (-759)/(-506). Let z = y + 462. Solve -16 = -f - 3*g, 2*g + l = f + z*g for f.
4
Suppose 32 + 63 = 54*i - 13. Solve i*x + x + 2*o = -19, 4 = -2*o for x.
-5
Let w = 43 - 41. Suppose w*v = -v + 12. Let o be (68/(-8))/((-2)/v). Solve g = -5, -2*p = 2*p - g - o for p.
3
Suppose 5*u + 2*w = 254, 2*u - 72 = 4*w + 44. Let l = -48 + u. Let g be 1/l + (-3)/36*-33. Solve m + 6 = -g*a, m + 4 = 2*a + 3 for m.
-3
Suppose 7*v + 38 = 171. Let p(u) = u**2 - 14*u - 95. Let z be p(v). Solve 0 = 5*q + h - 1 - z, -4*q + 24 = -5*h for q.
1
Let n = -80 + 95. Suppose d = 2*r + 5, 2*r + 7 = d + 2*d. Let u be 9/(-21)*-6 + (-30)/(-70). Solve -g + d + n = 4*y, u*g - 4*y + 32 = 0 for g.
-4
Suppose -7*p + 19 = 12*p. Let q be (-1)/(p*2/(-10)). Solve -2*l - 14 = 3*c - 7*c, -q*l - 20 = -5*c for c.
3
Let f = 345 - 125. Let r = -207 + f. Solve 4*u - u = 2*p + r, 2*p = -3*u - 7 for p.
-5
Let u be (90 - 82)/((-4)/(-5)). Solve 0 = -3*t + 4*d + 35, u*t = 7*t - 2*d + 5 for t.
5
Let l(n) = n**3 - 8*n**2 + 4*n + 4. Let b be -1*(2 + 14)*(-3)/6. Let g be l(b). Suppose 0 = 16*o - 19*o + g. Solve 5*v + q = 4, 3*v - 4*q = -q - o for v.
0
Let x(o) = -o + 12. Let w be x(10). Suppose -73 = -w*a - 13. Let s = a + -23. Solve 1 = 4*u - c + s, c + 8 = -3*u for u.
-2
Let n be (-110)/(-11) - (12 - 7 - 0). Solve 3*c + n*z = 9, -5*c + 8*z + 15 = 5*z for c.
3
Let v = 888 - 885. Suppose -6*y = -3*y + v*y. Let o = -5 + 7. Solve 4*s + o*i = -1 + 23, -5*s + 5*i + 5 = y for s.
4
Let g(n) = 7*n**3 + 2*n**2 - 12 + n**2 - 25*n - 6*n**3 + 16*n. Let c be g(-4). Solve 4*w + c = -2*y + 6*y, w + 4*y = 8 for w.
0
Let z = 16499 + -16499. Solve y = 2*q - 6*q - 5, y + 3*q + 3 = z for y.
3
Suppose 11*p + 109 = 769. Let x = -57 + p. Solve -12 = k - 2*a, -k - x*a = -3*k - 20 for k.
-4
Suppose 2*m + 0 - 2 = -2*q, 14 = 5*m + 2*q. Let s be (6/((-6)/35))/((-3)/9). Suppose 0 = -74*w + 53*w + s. Solve -4*l - m*h + 12 = 0, -h + 18 = w*l + h for l.
4
Let f(d) = 249*d. Let j be f(0). Suppose -5*x + 35 = -l - 7, -4*x + 3*l + 27 = 0. Solve r - 4*s - x = j, 4*r - s - 4 - 2 = 0 for r.
1
Let r(k) = -4*k**3 - k**2 + k + 1. Let f be r(-1). Let u(t) = t**3 + t**2 - 26*t - 12. Let c be u(5). Solve y + c = g + f*y, -4*g + 26 = 5*y for g.
4
Let b(w) = -3*w - 3. Let g be b(-2). Let h be (2 + (220/12)/(-11))/(2/18). Solve 0 = 3*a - h*k - 12, -6*a + 3*a + 12 = g*k for a.
4
Let o = -22 - -62. Suppose 3*h + m = 2*m + 70, h = -3*m + o. Solve -4*z + 4*c + 20 = -0*z, -5*c - h = 5*z for z.
0
Let t(i) = -43*i + 174. Let c be t(4). Solve c*p + 12 = 4*p - 2*k, 3*k = -3*p + 6 for p.
4
Let m be (-1141)/(-326)*34/7. Solve 2*n = -3*g + m, 5*n - 7 = g + 10 for g.
3
Suppose -7 = -3*c + 5. Suppose 27*p = 41*p - 152 + 40. Solve c = 5*a - 3*s, 5*a - p*s - 10 = -3*s for a.
-1
Let o be 5/5*(-1 - -4). Let y(c) = -9*c + 2 + o*c**2 - 13*c - 5*c**2 - 17. Let s be y(-10). Solve -5*v = -4*v + 3*m - 4, -s*m - 8 = -2*v for v.
4
Let i be 3/(-9) + (-3)/(18/(-284)). Let z = i - 64. Let t(j) = -3*j - 48. Let p be t(z). Solve 3*u + p*a = 21, 5*a = -4*u + 1 + 31 for u.
3
Suppose 36*b = i + 40*b - 19, -3*i - b + 24 = 0. Solve 2*k = i*k - 3*