= -i*u for u.
2
Suppose 0*k = -5*a - 5*k - 75, 3*k + 25 = -a. Let f be (-6)/a + (-60)/(-25). Suppose -184*b + 48 = -168*b. Solve b = j, -p - 2*j = -4 + f for p.
-5
Suppose 0 = 3*v + 15, 4396*r - 4395*r = 4*v + 40. Solve -r*i = -5*q - 16*i - 1, 2*q + 14 = 5*i for q.
3
Suppose -2*t = -3*t. Let i be (-2 - (-4 - t)) + 2. Solve 0*o = 5*b + o + 17, -20 = 2*b - i*o for b.
-4
Let w be ((-80)/12 + 4)*(-9)/6. Let k(j) = 3*j**2 + 1. Let x be k(-2). Let r = -224 + 227. Solve w*u = t + 4*t + x, 3*t + r*u = -24 for t.
-5
Suppose -9*i + 7*i = -6. Suppose -6 = -i*g + 6. Let d be (-94)/(-6) + (-2 - g/(-3)). Solve 2*m = -2*a - 4, -5*m + 4*a + d = -20 for m.
3
Let o = -23 - -43. Suppose -8*l + o = -4*l. Let i = 133 - 129. Solve 5*a - 4*j = 45, -l*a - 2*j = -i*j - 35 for a.
5
Let s be 10*6/(-12) + 15. Suppose -8*d = -3*d - s. Suppose 0 = -5*h - 8 + 23. Solve -5*o - d = m, -h*o = -4*o - 4*m + 11 for o.
-1
Let u = 34 - 33. Let x = u + 9. Suppose 3*q + 4 = g + x, 15 = q + 4*g. Solve -7 = -2*z + q*h + 2*h, 0 = -3*z - h + 2 for z.
1
Suppose 83 = 67*d - 85 + 34. Solve 5*i - d*z - 16 = 0, -3*i + 2*z = 29 - 41 for i.
2
Let h = 1936 - 1932. Solve -5*t + 4*a + 4 = 38, h = t + a for t.
-2
Let b(p) = 8*p + 56. Let d be b(-7). Suppose -3*x + 9 = a, 2*a - 2*x + 3 + 3 = d. Solve -5 = 4*u - 5*f, a*u + 5*f - 5 = 3*u for u.
0
Let n be 2*(-90)/81*(-9)/4. Solve -3*c - v = 3, -17*v = n*c - 21*v + 5 for c.
-1
Let f(g) = -254*g + 9. Let y be f(1). Let z = 252 + y. Solve 3*s - 4*j + z*j = 0, -12 = -3*j for s.
-4
Let w(t) = t - 29. Let o be w(25). Let c be (2 - 3)*8/o. Solve -3*g + 2*j + 5 = -0*g, -3*j = -c*g for g.
3
Suppose 105*d - 89*d = 80. Let x(m) = -3*m - 29. Let l be x(-12). Solve d*a = -5*s + 2*a - l, -s = -4*a - 17 for s.
1
Suppose 3*r - 12 = -t, 0 = 5*t - 12*r + 17*r - 20. Solve -5*b - 2 + 13 = -o, t = -o + 4*b - 8 for o.
4
Let o be 20/(-35)*(28 + -35). Solve -8 = -o*g, -5 = -u + 5*g - 19 for u.
-4
Suppose 5*k + 2*p = 2*k + 59, -2*k - 5*p + 21 = 0. Suppose k = -2*q + 23. Solve -2*n - 5*o = 2*n - 23, n + 4*o - 14 = q for n.
2
Let f = -3373 - -3391. Solve 2*k = -3*v + 7*v - f, -5*k - 5 = 0 for v.
4
Let w(y) = y**2 - 28*y + 159. Let s be w(8). Let d be (-4)/(-12)*(-9)/(1/s). Solve 4*u = 4*x + 24, -d*x - 5*u + 9 = 3 for x.
-3
Suppose -98 = -7*w - 14. Let f be w/(-60) - (-1 + (-312)/10). Solve 0 = -s - 4*s + 3*z + 8, 5*s = -3*z + f for s.
4
Suppose 5*i = 6*i. Suppose i = 2*d - 4*n, 5 = 7*d - 2*d - 5*n. Solve -4*u + 13 = -3*w, w + d*u = 4*u - 5 for w.
-3
Let m = -6703 - -6715. Solve 1 - 9 = 3*d - 2*j, 5*d + m = 4*j for d.
-4
Let d be (-15)/10*32/6. Let q be 4/d - ((-153)/6 + 1). Let n = q - 15. Solve -3*w = -3*p - n, -3*p = 5*w - 4*p + 1 for w.
-1
Let r = 119 + -121. Let q be (-3)/(3/r)*(29 - 22). Suppose 13*x - q*x = -4. Solve -o - x*m = -0*o - 10, -3*m - 1 = 5*o for o.
-2
Let q = -5916 - -5920. Solve -2*i + 4*b = -14, -4*i - 5*b + 7*b = -q for i.
-1
Let i be 2 + 1 - -16 - 0 - -1. Suppose 0 = 16*s - i*s + 184. Let f = 46 - s. Solve -v + f + 1 = c, -4*c - v = 8 for c.
-3
Suppose 1 - 25 = -4*r. Suppose r*h = 28*h - 44. Solve h*b + 4*k = 12, -6*k + 15 = -k for b.
0
Suppose -b + 2 = -0*b. Suppose -u = 2*q - 296, -2*u + 552 = 4*q - 8*q. Suppose 284*w - u*w = -36. Solve -1 = n - k + b, -2*n - 4*k = w for n.
-5
Let s = 61 + -57. Suppose -5*d - s = 36. Let p be (d/(-6))/(1/3). Solve -4*a + 5 = a, -n - 2*a + p = 0 for n.
2
Let a(c) = -13*c - 32. Let w(q) = -3*q + 1. Let g(j) = a(j) - 3*w(j). Let i be g(-11). Solve -5*u - 2*s + i = 2*s, 0 = 5*u + s - 6 for u.
1
Let n(g) = 179*g + 1296. Let r be n(-7). Solve 5*c - 7 = 5*s + r, 0 = -4*s - 5*c + 5 for s.
-5
Let n = -252 + 262. Let r be n/(-3)*(-150)/125. Solve -v - 2*u + 11 = -2*v, r*u - 24 = 4*v for v.
-1
Suppose 262 = -h + 3*h. Let o = -127 + h. Suppose 4*v - 46 = -5*u, o*u = 4*v - 2*v + 42. Solve -5*s - 7 = 3*d, 3*d + u = 5*d - 4*s for d.
1
Let r(o) = o**2 - 280*o - 8620. Let p be r(-28). Let a be 1/3 + (-5)/(-3). Solve -2*y + v - a = 0, -3*y + y - p*v + 8 = 0 for y.
0
Let u be (-2)/(-12) - 255/(-90). Suppose -2*v + u*k = -10, -9*k = -4*v - 4*k + 20. Solve b = -b + v*o, 0 = -2*b - 5*o for b.
0
Let y be (-200)/72*-3*(-9)/(-5). Let j(l) = l. Let p be j(0). Suppose -242 = -45*d + 163. Solve 5*i + 5*a + y = 0, p = -3*i + 4*i + 3*a + d for i.
0
Suppose 0 = 3*z - 5*h + 18, 3*z = -14*h + 12*h + 24. Solve 17 = 5*t - 3*y, 0 = -3*t + 4*y + 4 + z for t.
4
Suppose -5 - 3 = c. Let j = -5 - c. Let x = -61 + 64. Solve x*r + 30 - 2 = 5*z, -5*r = j*z - 10 for z.
5
Let l(r) = 65*r + 4. Let p be l(0). Solve 3*h - 5 = p*g, 4*h + 198*g = 194*g - 40 for h.
-5
Suppose 4*o = 5*m + 98, 24 = o + m + 4. Suppose -g = 2*b - o, 4*b = 5*b + 3. Solve 3*a - 5*p - 35 = 0, -a - 3*a + g = -2*p for a.
5
Let b be 5 - (2 + -4 + 2). Let x(k) = k**3 - 6*k**2 + 2*k - 12. Let o be x(6). Let r be 0/(2 + o/4). Solve 4*u = r, b*s - 1 = -u - 6 for s.
-1
Suppose 4*y + 44 = -4*g, -5*g + 2*y + 3*y = 105. Let q be g/(-6) - 22/33. Solve 0 = -q*k + 3*j - 6, 0*k + 5*k - 4*j = -8 for k.
0
Let w(z) = -3*z - 7. Let d be w(-9). Suppose 31*f - 21*f - d = 0. Suppose 1 = r - f*r, p - 2*r = 4. Solve -2*j = -3*x + 5*x + 6, 24 = -4*x + p*j for x.
-5
Suppose 3*h + 1 = -n, 31*h - 35*h = -n + 6. Solve 2*o = 5*g - 27, -5*o + g + n*g = 20 for o.
-1
Let c(v) = -17*v - 34 + 15*v - 1 + 1. Let m be c(-19). Solve -4*n - 4 = -m*j, -2*j - 1 = -5*n + j for n.
2
Let t(v) = v**3 + 2*v**2 + v + 1. Let s be t(2). Let o(k) = -3*k - 13. Let q be o(-6). Suppose -q*f = 13*f - 36. Solve l - 5*j = -f*l + s, 2*l + 2*j = 2 for l.
3
Let g(b) = 15*b + 1158. Let u be g(-77). Solve u*o + 3 = 5*p, -10*o + 11*o = -p - 1 for o.
-1
Suppose v + 15 = -k, k - 15 = -0*v + 5*v. Let l = 29 + k. Suppose 3*u - 3*m = 2*u + l, 3*m = 5*u - 35. Solve y - u*d = -3*y + 28, -y - 4*d = 8 for y.
4
Let m be -2 + 1 - 33/(-11). Let h(i) = -4*i**3 + 6*i**2 - 16 + 3*i**3 + 3*i + i**m. Let c be h(7). Solve 0 = -5*q + c*f + 30, q + 4*f + 9 = 2*f for q.
1
Suppose 12*h - 38 = 14 + 20. Solve 0 = 3*g - 9*p + 60, 5*g = 10*p - h*p - 45 for g.
-5
Suppose 0 = 6*w + 28 - 40. Suppose 3*c - 3 - 14 = 5*t, -w*c = 5*t - 3. Solve -5*f = -c*l + 9, -2*f = 4*l - 2*l for l.
1
Suppose 617 = -30*t + 2297. Suppose -t*r = -72*r + 64. Solve q - 2 = -o + r*o, -q + o + 4 = 0 for q.
5
Suppose u = 5*c - 8, -7*u - 16 = -4*c - 11*u. Suppose 2*v = 4*j - 2, 2*v + 2 - 4 = c*j. Solve 2*l + 2*k + 2 = 0, 0 = -3*l - 4*k - j - 6 for l.
4
Let h = 58 + -55. Let j be (-4)/(-14) + (1 - (-15)/21). Suppose -v + j*v = 2. Solve 3*n - 4*u - 4 = 0, -u - h*u - 4 = v*n for n.
0
Suppose 9*i - 9 = 27. Suppose 0 = -2*b + 4*b - i, -2*k = -3*b. Solve -k*s + 9 = 3*n, 2*n + 16 = 5*s - 13 for n.
-2
Let z(a) = 5*a**2 - 4286*a + 4285. Let c be z(1). Suppose 0 = -2*u + 6 + 2. Solve -c*b - u = -4*s, 2*b - 4 = -4*s - b for s.
1
Suppose 7*l + 198 - 261 = 0. Solve 4*i + l*b - 5*b = -28, -i + 4*b + 8 = 0 for i.
-4
Let c be 0*(-6 - (-5)/1). Suppose c = 5*j + 2*t, -2*j + t - 6*t = 0. Solve -4*l - 10 = -3*h - j*h, 2*h = -4 for l.
-4
Let y(l) = 203*l + 413. Let o be y(-2). Solve -2*f + f + o*m + 17 = 0, 3 = -m for f.
-4
Suppose 0 = -8*n - n - 7*n + 32. Solve n*b + 7 = 7*y - 6*y, 3 = 5*y - 2*b for y.
-1
Let k be (-2058)/(-140) + 6/20. Suppose -k = -s - 10. Solve -5*v - 13 = -2*v - 2*r, v = s*r for v.
-5
Let p(y) = -3*y**2 - 11*y - 26. Let r be p(-4). Let m be -6*r/54 + (-5)/(-3). Solve -36 + 12 = 3*s + 3*v, -2*v = -m*s - 19 for s.
-5
Suppose -3*y - 511 = -544. Suppose 22 = i + 7*u - y*u, 2*i + 2*u = -6. Let x = -4 + 9. Solve i*s = z - 4, x*z - 12 = -2 for s.
-1
Suppose 9*g - 14*g - 2245 = 0. Let n = g - -453. Solve 2*t - n*l - 14 = 0, l - 6 = -4*t - 2*l for t.
3
Let q(o) = 12*o + 11*o**2 - 9 + 10 + 12. Let d be q(-1). Solve -8 = -0*g - 2*g + 3*z, -2*g - 2*z = d for g.
-2
Let d = 19844 + -19815. Solve 0 = -2*g + 3*s + d - 30, 4*s = -7*g + 40 for g.
4
Suppose -89*q + 0 + 124 = -499. Solve 0 = -i - 1, 5*f + i + q = 4*i for f.
-2
Suppose 5*c = g - 18, 4*c + 0*c + 9 = -g. Suppose -2*t - m = -6*t + g, -2*t - m - 3 = 0. Solve l - 10 = -3*v - t, v = l + 6 for l.
-2
Suppose 4*u = -x + 27, 2*x - 5*u + 10*u - 39 = 0. Let n(b) = -11*b + 49. Let k be n(x). Let p = k + 54. Solve 4*r = -3*g - p, -r = 4*g + 4*r + 33 for g.
-2
Suppose 2034*c - 2003*c - 186 = 0. Solve 5*o + c = 3*o + 2*z, -2*o = z for o.
-1
Let o(y) = -y**3 - 6*y**2 - 9*y - 1