 13 = -u - 7 for u.
0
Suppose -j + 6 - 10 = 0. Let f = j - -7. Let n = -470 - -474. Solve i + f*i - 4 = n*w, -i = -4*w - 4 for i.
0
Let q = 31700 + -31689. Solve -11 = -q*d + 7*d - x, -1 = d + 4*x for d.
3
Suppose 261 = 32*j - 3*j. Let n(c) = -c**2 + 5*c + 41. Let g be n(j). Solve -2*a = g*v - 35, -v + 0*v + 4*a - 15 = 0 for v.
5
Let s(d) = -3*d**2 - 8*d + 8. Let r(u) = -5*u**2 - 7*u + 7. Let n(z) = -2*r(z) + 3*s(z). Let h be n(9). Solve -3*c + 13 = -4*y, -4*c + 2*y + 5 - h = 0 for c.
-1
Suppose -458 = -10*h + 652. Suppose -h*b + 12 = -107*b. Solve -2*m - 6 = 0, -4*t - 19 = -2*m + b*m for t.
-4
Let v be 2/(-9) - ((-24608)/(-72) + -7). Let c = -323 - v. Solve 2*y - 2*p = c, -p = -0*y - 3*y + 10 for y.
2
Let y = 37 - 47. Let n(p) = 3*p**2 + 31*p + 11. Let g be n(y). Solve 2*x + g = -3*q, -q = 5*x + q + 8 for x.
-2
Let d = -43111 - -43121. Suppose 10 - 4 = 2*f. Solve f*y - 5 = -r, -y + 4*r = 6*r - d for y.
0
Let f(g) be the first derivative of -1/4*g**4 + 3*g**3 - 13/2*g**2 + 12 - 2*g. Let k be f(7). Solve o + 18 = 3*o - k*r, -r = -4*o + 18 for o.
4
Let p(a) = -a**3 + 5*a**2 + 5*a - 9. Let o be p(6). Let l be 3/(o/10) + 4. Solve -23 - 8 = 3*w + 5*q, -l*q = -4*w + 2 for w.
-2
Let u be (-20)/55 - 413/(-77). Solve 16*a - 13*a = 2*j + 2, -u*a + 2*j = -2 for a.
0
Let s = -18 + 18. Let u be s - -2 - (5 + -2). Let h(g) = -g + 2. Let i be h(u). Solve 8 = 2*a, y = -i*y - 3*a - 4 for y.
-4
Let n(t) = t**3 + 7*t**2 + 21*t + 59. Let v be n(-5). Solve 4*x = 3*w + 7*x - 27, w + v*x - 21 = 0 for w.
5
Let t = -24 - -107. Suppose -t - 126 = -19*x. Let z(k) = -k**3 - 8*k**2 - 7*k + 5. Let l be z(-7). Solve l*d + 3*s = 2*s - x, 7 = 3*d + 4*s for d.
-3
Suppose -32*u + 465 = 145. Let r be ((-4)/u)/(30/(-150)). Solve -2*f = r*f - 4*o - 16, -16 = 5*f + 4*o for f.
0
Let d be 522/33 + 4/22. Suppose -30*g + 32*g = -d. Let t be ((-1)/3 - 1/6)*g. Solve t*j - 17 = -5*w, 4*w - 24 = 4*j - 2*j for j.
-2
Let l = -188 - -190. Let z(d) = 2*d**2 - 2*d + 1. Let k be z(l). Solve 0 = 2*r - k*x - 31, 22 = -r - 7*x + 2*x for r.
3
Let v be -4 + 6/9 + 80/24. Suppose v = -5*s - 9 + 19. Solve -4*r = 3*a - 16, a - 2*r = -s + 4 for a.
4
Suppose 328*y = 298*y + 73 + 47. Let p = -37 - -53. Solve -3*z = -v - 5*z + 2, 0 = 4*v - y*z + p for v.
-2
Let n be ((1 - 0)*(8 - 8))/(-2). Let b(s) = s**3 - s**2 + 4*s + 3. Let q be b(n). Solve -y + 2 - q = -5*i, -5*y = -5*i - 15 for y.
4
Let p be (-1 - (2 + -14)) + (-499 - -490). Solve -p*o = 4*j + 53 - 59, -2*j + o + 9 = 0 for j.
3
Let s be (4*-1)/((44/(-33))/2). Suppose -s*m = -m - 10. Solve -4*b + m = -10, 0 = -2*h - 2*b + 12 for h.
3
Let w(n) = -n**3 - 14*n**2 - 7*n - 93. Let x be w(-14). Solve -v + 2*c = -2*c - 9, -15 = -5*v + x*c for v.
1
Suppose 10 = 5*z, 7*y - 2*y = 2*z + 51. Let o = 188 - 186. Suppose o*a + 1 = -0*m - 3*m, 2*a - 5 = -5*m. Solve m*k + p = -p + 4, 3*p - y = -2*k for k.
-2
Let c(o) be the first derivative of 7*o**2/2 - 75*o + 146. Let r be c(11). Solve 0 = 4*m + 16, -2*m + 2 = -r*s - 0 for s.
-5
Let k be 410/25 - 5/(100/8). Suppose -10*y + k + 44 = 0. Solve -2*q = 2*s + 6, -4*s = q - 0*q + y for q.
-2
Let w = -5710 + 5712. Solve -5*h + g - 3 = w, 4*h - g + 4 = 0 for h.
-1
Let a = -258 + 257. Let j be a - -1 - (-12 - -15) - -13. Solve 0 = -3*c - 5*s - 6, -s = 5*c + 4*s + j for c.
-2
Suppose -4*z - 4*k = -24, 5*z + 16 = 6*z + 3*k. Let t be (1 - 21/(-7))/z. Solve 3*j - t*h - 26 = j, 5 = -h for j.
3
Let o be (-3)/((-7)/(56/12)). Let h(f) = -8*f - 3 + 3*f**2 - 2*f**2 - f**2 - f**2. Let b be h(-5). Solve o*j + 4 = -y, j = y - j - b for y.
4
Let l be (176/(-55))/((-12)/30). Solve -12*i = -13*i + 4*h + l, 4*i + 2*h = -4 for i.
0
Suppose -10*b + 9*b + 4 = 0. Suppose -4*h - b*h = -80. Solve -2*a + 0*a + 2*u = -h, 2*u - 4 = -5*a for a.
2
Suppose 4*x - 37 = 3*x. Suppose 0 = -34*n + 65 + x. Solve 0 = 2*f - f - 3*o + 14, -n*f - 7 = -2*o for f.
1
Let d = 4082 + -4069. Solve 2 = -s - n, -d*n = 4*s - 11*n + 12 for s.
-4
Suppose 13*v = 18*v + 35. Let i(o) = o + 11. Let a be i(v). Suppose 5*p + r = 35, 0*p - 4*r = 4*p - 28. Solve 0 = -a*h - 3 + p, 0 = -b + 4*h - 4 for b.
0
Let o(t) = -5*t + 49 + 2*t**2 - 83 + 60 - t. Let y be o(0). Solve -12 = 3*p, -x - 4*p - y = x for x.
-5
Suppose 396*b = -52 + 4012. Solve 3*t + 2 = -x - 9, -2*t - b = 2*x for t.
-3
Suppose -5*p = -2*d + 1775, -905 = -6*d + 5*d - p. Let q = 906 - d. Solve 2*g + 5*w - 1 + 9 = 0, 4*g - w = q for g.
1
Let f = 362 + -331. Suppose 0 = -12*s + f*s - 57. Solve -d = 4*v - 15, 5*d + 6*v = s*v + 7 for d.
-1
Let v be -1 - (-268)/6*3. Suppose -6*d - d - v = 0. Let b(o) = -o**2 - 19*o + 5. Let q be b(d). Solve 4 + 16 = -q*z, 3*k = -3*z for k.
4
Let s be 4*1/12*3. Suppose 2*u + l - s = 0, 4*u + 4*l = -10 + 6. Solve 2*t = u*j, -5*t - 6 = -2*j - j for t.
-3
Suppose 2*t = -4*w - 2, -5*w - t + 27 - 22 = 0. Solve w*l + 9 = k + 2, l = -3*k + 14 for k.
5
Let n = 8 - -30. Let t = -53 + n. Let r(x) = -x - 13. Let l be r(t). Solve 0 = 5*p - 2*p + 3*i, -l*p + 12 = 5*i for p.
-4
Suppose 146*l - 270*l = -138*l + 196. Solve 8 = 18*o - 14*o - 4*r, -3*o + 5*r = -l for o.
-2
Suppose -19*g = -24*g + 75. Suppose 3*m - 4*m = -1. Solve 5*t - g = q, m = -2*t + 2*q - 3*q for t.
2
Suppose -81*r = -108*r + 108. Solve -4*t + 4*u = 33 + 3, 4*u = -r*t + 4 for t.
-4
Let f be (-5*1/(-15))/((-1)/(-15)). Let k(d) = -6*d + 34. Let s be k(f). Suppose -12 - s = -4*w. Solve -2*q + 4*t = -q + 20, 4*t = w*q + 20 for q.
0
Let w = 38 + -46. Let h be (-18)/(-3) - (-10 - w). Suppose -12 = -2*r + 4*c + h, -4*r - 5*c = -1. Solve 0 = -r*f - f + n + 27, 2*f - 18 = 4*n for f.
5
Suppose -i - 42*i - 9*i = -3*i. Solve -4*r = i, -20*b - r + 10 = -25*b for b.
-2
Let o be (-48)/(-9) + 1/(-3). Let i = 26 + -35. Let n(r) = r**3 + 9*r**2 - 3*r - 27. Let l be n(i). Solve l*j + 3*j - 4*s - 7 = 0, -o*j - 4*s = 31 for j.
-3
Let p be 148 + -155 - (-1 - 0)*1*11. Solve 0 = -4*q - 12, -3 = p*v - 3*q - 4 for v.
-2
Let z = -30519 + 30520. Solve h - 25 = a - 26, -2*h = -5*a - z for a.
-1
Let x(w) = w**3 + w**2 + 389*w + 782. Let a be x(-2). Solve g = -y, a = -3*g + 6*g - y + 16 for g.
-4
Let m = -5062 - -5072. Solve -4*h - m*v = -6*v - 4, 5*h = v - 13 for h.
-2
Suppose 29*y - 137 = 110 + 159. Solve 5*r - 12 = -3*i, 4*r + 3*i + 2 = y for r.
0
Let l = 20400 - 20400. Let z(u) = -u**3 + 2*u**2 + 2. Let p be z(-2). Solve 5*b = 3*n - l*b + 37, p = -2*n + 2*b for n.
-4
Let i = -13 + 23. Let q be ((-176)/(-20))/((-2)/i). Let z = q - -52. Solve 2*y = -2*c + z, 2*y + 8 = 6*y - 4*c for y.
3
Let m be (-60)/50*(-10)/4. Suppose 0 = 3*s - 5*r - 0*r - 37, -s + 3*r + 15 = 0. Let u be s/(2 + 1)*1. Solve 5 = 4*w - u, -m*w + 10 = -4*t for t.
-1
Let u be 7/3 - 2/(-3). Suppose 2*i - 2*j - 424 = 0, -22*i = -17*i - 4*j - 1058. Let r = i + -200. Solve -x + u*y = 3*x + 20, -5*y + r = 5*x for x.
-2
Suppose 24*t + 76 = 76. Suppose -25*i + 15*i = -30. Solve t*g + i*r = g - 10, 0 = -2*g - 4*r for g.
4
Let x = -3 - -7. Let v be 144*((-28)/(-6) + -4). Suppose -4*u - 5*h + 100 = 0, 4*h - v = -x*u - 0*u. Solve 5*w = 3*w + 4*p + 10, 4*w - 2*p - u = 0 for w.
5
Suppose 0 = 3*y - h + 98 - 171, 0 = 2*h + 8. Solve 0 = -5*o + 20, -4*o - y + 30 = 3*p for p.
-3
Let c = 238 - 234. Solve -4*v - v + 2*n = -10, 2*n = -c*v + 26 for v.
4
Let v be 16/2 + 8/(-2). Suppose -r - 3*l + 131 = l, -2*r - 5*l = -250. Let j = 120 - r. Solve -3*i = 2*q - 3*q + 14, 0 = -j*q - v*i - 25 for q.
-1
Suppose -5*o + t - 18 = 0, t - 6 = -12*o + 13*o. Let g be (4 - o)/1 + (-2)/1. Let v = 6 - -3. Solve -5*a + g*i = -3 - 12, 0 = -a - 5*i + v for a.
4
Suppose 8*k - 190 = k - 36. Solve 24 = -p + 5*w, 59*p = 62*p - 5*w + k for p.
1
Suppose 4*v - 7 = -3*l + 5, 3 = v + 5*l. Let t(a) = 3 + 3 - 2*a + 35*a**3 + a**2 - 36*a**v + 0. Let p be t(0). Solve d - 3*x = -p, -3 = 2*d - 4*x + 7 for d.
-3
Suppose 0 = 14*r - 210 + 196. Solve 2*u = -5*g - r - 32, u + 4 = 0 for g.
-5
Let z(x) = -7*x - 66. Let b be z(-10). Suppose b*c = 4*y + 8, -7*y + 4*c = -2*y + 5. Solve 5*n + 4*w - 3 = 0, -2*n - 2*n - y*w = -2 for n.
-1
Suppose -77*v + 52*v = -400. Solve 0*i - v = -4*i - 4*y, 0 = -4*i + y + 16 for i.
4
Let a = 3052 - 3048. Solve -17 = a*q - v, -q = 2*v + 21 - 10 for q.
-5
Let t(s) = 4*s + 18. Let h be t(-12). Let j = -26 - h. Solve -j*k + 11 + 17 = -4*n, 4*n = k - 19 for k.
3
Suppose -458*r + 112*r - 152 = -1190. Solve 3*s = -q, s = r*q + 1 - 11 for q.