 + m + 3 = -14*t for t.
0
Suppose -43*n = -174 - 41. Suppose 28*l + 93 = 653. Solve -n*z - h + l = 0, z + 2*z - 30 = 3*h for z.
5
Let t = -2026 + 2027. Solve 5*y - t = -2*n, y - 3 + 16 = 4*n for y.
-1
Let b be (-834)/(-14) - 78/(-182). Let w = 63 - b. Let h be (-14)/(-6) - 1/w. Solve -h*x + 4*i + 12 = 0, 9 = -4*x + x - 3*i for x.
0
Let t = -1573 + 1578. Solve 7 = j - 2*k, -t*j - 5*k - 11 = -1 for j.
1
Suppose -x - 29*x = 85*x + 8*x. Solve 8 = 4*m, x*m + 4*m = 5*n - 12 for n.
4
Suppose 2*c = 3*t - 1883, -12*t + 1878 = -9*t + 3*c. Let i = 629 - t. Solve 23 = 3*x + i*o, -3*x - o + 10 = -9 for x.
5
Suppose 5*k + 2*u - 28 = 0, 2*k + 2*u - 3*u - 22 = 0. Solve -3*p = 2*p + 3*d + 20, -2*p = 5*d + k for p.
-4
Let b(h) = 8*h + 4. Let l be b(4). Let u = 64 - 61. Let k be u/(-3*(-4)/l). Solve -k = -3*q, 5*q - 11 = -3*x + x for x.
-2
Let m be (-10)/(-12) + 9 + (-21475)/(-150). Solve 5*y + x + 169 = m, y = 3*x for y.
-3
Suppose -2*b + s - 23 + 31 = 0, -3*b = 3*s + 6. Let n be (6/(-9))/((-10)/105). Solve b*y + 12 = 2*k, -2*y - n = -2*k - y for k.
1
Let n = -351 - -352. Suppose 0 = -m + 3*x + n - 8, 3*m - 49 = -5*x. Solve -2*s - 2*k + m = 0, -2*s + k - 10 = 3*s for s.
-1
Suppose -6*t = 5*o - 5*t - 219, 4*o = -t + 175. Let j = 49 - o. Solve -5*u + j*w - 10 = 0, -3*u + 5*w - 4 = -0 for u.
-3
Let x = 237 - 233. Suppose -8 = -x*t + 4. Solve 3*j + t*i = 0, -4*j + j - 2*i + 5 = 0 for j.
5
Suppose 2*v = 2 + 2. Let o be 16 - v*(-3 - -4). Suppose 3*r - i = o, 13 = -4*r + i - 6*i. Solve 2*b = 4*u, 0 = r*u + 2*b - b for u.
0
Let p(q) = -q**2 - q + 2. Let j be p(0). Let v be (-4)/(-3)*9/j. Let m = 21 + -19. Solve -m*g = -2*b + 4, -v*g + 2*g + 3*b = 4 for g.
2
Let s be (-6)/17*2380/(-210). Solve 9*b + 3*y - 12 = 10*b, -3*y - 3 = s*b for b.
-3
Let g be (-6)/(-1 - 0) - (312 - 309). Solve -u = 4*q, -q - g*u + 9 = -5*u for q.
1
Suppose -70 = -25*b - 10*b. Solve -3*u - 13 = -b*p, 4*p - 20 = 16*u - 12*u for u.
-3
Suppose -4*a = 0, -4*b - 31*a + 29*a + 20 = 0. Solve -4*p + 2*o = 6*o, -3*o = b*p - 2 for p.
1
Let u = 1900 + -1885. Solve -u = -13*s + 18*s, 3*n = s for n.
-1
Let q(l) be the first derivative of -l**3/3 - 21*l**2/2 - 15*l + 54. Let d be q(-20). Solve 2*w - 5 = -d*c - 1, 0 = 2*w + 4*c - 2 for w.
-3
Let j be -5 + 2 - -1 - -8. Let u = -6946 - -6946. Solve -3*g - 4*y + 17 = u, 20 = g - j*g + 3*y for g.
-1
Suppose -3*l = l + m + 7, 0 = 2*l + 5*m + 17. Suppose 0 = -7*u + 42*u - 805. Let r = l + u. Solve 5*k - 20 = -5*z, -3*k + 6*k + 5*z = r for k.
-1
Let c be -6 + 438/42 + 24/(-56). Solve c*d = -5*z + 45, -5 = 22*d - 23*d for z.
5
Suppose -h - h = 26. Let n = 13 - h. Suppose 6*y = m + 10*y - 2, -4*m = -y - 59. Solve 0 = 5*c - 3*k - n, 5*c - m = 5*k + 16 for c.
4
Let x be -5 + 1 + 3 + (8 - 7). Suppose 4*r + 23 = u - x*r, 0 = -3*r - 9. Solve -5*h = 2*a - u, 0*a - 3*h = -a for a.
3
Suppose -3*i + a + 786 = 777, 4*a = 0. Solve 0*c - c = -3*s + 10, -c = i*s - 14 for c.
2
Let a(n) = 2*n**3 - 19*n**2 - 20*n + 26. Let v be a(10). Let p = 83 + v. Solve -6 = 2*h, -h - 32 = 5*f - p for f.
-4
Suppose 266 - 43 = -2*j - s, -s = -4*j - 443. Let c = j + 129. Solve 4*l + 2*a = c, 5*a = -5*l + 2*a + 25 for l.
2
Let r be (-10)/(-6) + (-3)/(-45)*5. Suppose -r*f + 14 = 4. Suppose 27 + 38 = 13*d. Solve f*h + d = 5*s, h = -3*s + 3*h for s.
-2
Let u = -183 + 283. Let t = u + -134. Let r = t - -34. Solve 2*w - 7*w - 5 = 0, r = 2*g - 2*w + 4 for g.
-3
Let g = 10845 - 10823. Solve 2*q = -10, 19*o - g*o - 25 = 2*q for o.
-5
Suppose 0 = 18*b - 19*b - o + 7, 0 = -4*b + 4*o + 4. Solve 4*j - 32 = -4*c - b, 3 = -j + 4*c for j.
5
Let s(u) be the second derivative of u**4/4 - u**3/2 - 3*u**2/2 + u - 8. Let k be s(-1). Solve -3*m + 9 = k*o, -19 = 2*o - 4*m - 1 for o.
-1
Let z(s) be the third derivative of -s**4/4 - 4*s**3/3 + 3*s**2. Let i be z(-3). Suppose -2*x + 4*x = i. Solve -x*t + 6 = -2*h - 4*t, -3*t + 12 = -3*h for h.
-2
Let x be 365/50 + (-27)/90. Suppose s + 3*s = 32. Solve s + 6 = -2*u + 2*m, 4*u + 3*m = x for u.
-2
Suppose 2*g + 30*b - 31*b = 60, -4*g = 4*b - 120. Solve -25*a + 5*k = -g*a - 35, 4*k + 18 = -2*a for a.
-5
Let q = -559 + 324. Let r = q + 241. Solve -4*d - 2*w = 2, -w - 3 + r = 4*d for d.
2
Let p be 3 + -8 + ((-147)/7)/(-3). Suppose 5*a = 0, 0 = -o - 5*a + p. Solve -2*z - 5*v - 19 = 0, z - o*v - 13 = -0*z for z.
3
Let j be 1076/(-1883) - 148/(-14). Solve k - 5*k = -3*f + 15, -j = -f + 3*k for f.
1
Let b = -292 - -112. Let j = b + 186. Solve 6 = -3*d - 5*p, j = d - 4*p - 9 for d.
3
Let c be -4*(-66)/66*(-1)/2*-8. Solve c = -4*p, -11*p - 22 = 2*n - 8*p for n.
-5
Let x be 30/(-18)*(-10)/(30/9). Solve -x*c = -3*d + 1 - 9, 20 = 3*c + 2*d for c.
4
Let b(s) = -s**3 + 49*s**2 - 47*s - 2. Let l be b(48). Solve -4*a - 21 + l = 5*y, -2*a + 8 = -2*y for a.
5
Let k(m) = m - 61*m**2 - 11*m**2 - 57*m**2. Let b be k(1). Let a = b - -136. Solve o - 4 = -5*l, 2*o + a = 4*o - 3*l for o.
4
Suppose -158*m = -154*m - 5*g - 45, -4*g = 36. Let x(t) = -t + 15. Let j be x(12). Suppose -j + 15 = 3*n. Solve -n*c + 0*c = -f - 13, c + 3*f + 13 = m for c.
2
Suppose 0 = 26*l - 110 - 20. Solve 0 = 2*i - 3*s + 8 + 2, -l*i - 4*s = -21 for i.
1
Suppose -76*k = -29*k - 41*k - 30. Solve 2*q + 14 = k*x, 9*x = 4*q + 8*x + 10 for q.
-2
Suppose 50 = 5*m + 3*i, -2*m + 0*i - 5*i = -1. Suppose 5 = 14*s - m*s. Solve 0 = -a + 2*p - 3, s*a - 4*p + 2 = -7 for a.
-1
Let x = 304 + -302. Suppose 8*t - 6*t + x*u = 14, -5*u + 30 = 4*t. Solve 17 = r + 5*i, -r - t*i = -4*r - 29 for r.
-3
Let b be (-2)/(-4)*0*(-36 + -28 + 65). Let f(d) = -7*d**3 + d**2 + 3*d + 2. Let j be f(-1). Solve -3*x - 5*v + b*v = -j, 10 = -4*x + 3*v for x.
-1
Suppose 10*d - 241 - 679 = 0. Let t(z) = d - 52*z**2 + 51*z**2 - 39 - 22*z. Let j be t(-24). Solve 2*y - 6 = j*v, 3*y + y - 4*v - 12 = 0 for y.
3
Let n be (-88)/33*(-18)/24. Solve -18 = -3*g + n*z - 5*z, 4*z - 23 = -3*g for g.
1
Let j be -2 + (-12)/((-36)/6). Let w be (1 + 1)/(1/2). Suppose 27 = 2*k + 3*l, 4*k + k - l = 8. Solve -w*t + 4*s = 4, t + 5*s - k*s - 14 = j for t.
4
Suppose -1583*c = -1579*c. Solve -2*v - 2*k + 10 + 6 = c, -5*v - 2*k + 25 = 0 for v.
3
Let i = 618 - 614. Solve -4*g - 5*z = -0*g - 1, 3*g = -i*z + 1 for g.
-1
Let p = -1608 - -1613. Let m be 142 - ((-3 - -9) + -4). Suppose -5*o + m = -0*o. Solve -p*d + 6 = -i + o, 6 = 3*i for d.
-4
Let a(w) be the third derivative of w**6/120 + 3*w**5/10 + 35*w**4/24 + 26*w**3/3 - 155*w**2. Let i be a(-16). Solve p = -i*q - 20, -2*p - p - 2*q = 10 for p.
0
Suppose -n + 2*n = -4, -4*x + 28 = -4*n. Let p(h) = 4*h**3 + 30*h**2 - 23*h - 54. Let d be p(-8). Solve d = 3*u + x*g + 17, -4*g = u + 20 for u.
0
Suppose -75*q - 73*q + 2508 = -16*q. Solve 0 = -16*v + q*v + 5*g + 9, -2*v + 3*g = -13 for v.
2
Suppose -10 = -9*o + 44. Let q be -102*5/40*(-8)/o. Solve 4*f + d + 4*d = q, -3*f + 7 = -2*d for f.
3
Let s = -775 + -343. Let b be 1 + 82/26 + 172/s. Solve 0 = b*p + 3*w + 1, -2*p + 13 = -4*w + w for p.
2
Let t be (2 + -7 + 0)*(-1 + 0). Solve -2*g - t = 2*i + 1, 4*i + 20 = 4*g for i.
-4
Let p = 60 + -127. Let u = p + 71. Suppose 2*n - 3*k - 1 = -6*k, 0 = 5*n + u*k - 6. Solve 15 = 5*y - 2*d, 0*d - 30 = -4*y - n*d for y.
5
Let y = -54 - -57. Suppose 8*i - 512 = -8*i. Let j(w) = 39*w**3 + w**2 + 2*w - 2. Let a be j(1). Solve i = 4*o + y*q, -5*q = o + 3*o - a for o.
5
Let t(z) be the first derivative of z**4/4 + 4*z**3 + 9*z**2/2 + 31*z - 2. Let c be t(-11). Let r = 57 - c. Solve -4*n - f = r, n + 1 = -3*f - 11 for n.
0
Let i be (-8)/(-16)*4/2*0. Let t be (12 + 0 - 2) + 0 + i. Let r be 5/(-2) - t/(-4). Solve 2*z - 1 - 1 = 2*l, r = -l - 5 for z.
-4
Let x = -30 - -36. Let m be (63/27)/(2/x). Suppose 0 = m*y + 4*y - 33. Solve -30 = 3*o + y*q, -2*o = -4*o - q - 15 for o.
-5
Let t = 123 - 118. Suppose -3 = k, 3*w - t*k = 8*w + 15. Solve -5*d + v = -21, -2*d - 2*v - 8 + 26 = w for d.
5
Suppose 0 = 9*d - 7*d - 4. Suppose 158 - 152 = d*a. Suppose -3*r = -3 - 3. Solve 19 = q + 3*n + r*n, -a*q = n - 15 for q.
4
Let x(m) = m**3 + 20*m**2 - 254*m - 5080. Let o be x(-20). Solve o = 4*v - 2*j + 11 + 3, 5*v = j - 16 for v.
-3
Let g(w) = 13*w**2 - 27*w - 63. Let n be g(-2). Solve 7 = 2*d + n*z - 40*z, -3 = -3*d + 3*z for d.
2
Let i be 13/(-4) + 3 + (-14)/(-336)*6. Solve -2*n + 4*d + 4 = 0, i = -n - 4*d + 8*d for n.
4
Let x be (-14)/28 - (-2)/4. Let c(v) = -3*v**2 + 5*v + 5. Let p 