 = 0, -4*a + 1 = -i for a.
0
Suppose 3*a = 84 + 78. Let c = a + -51. Suppose d = -4*u + 23 + 1, -2*d - 12 = -4*u. Solve -t - 4*x = 12, 21 = u*t - c*x - 11 for t.
4
Let y = -104 - -108. Let r be (0 - -4)*((2 - y) + 3). Solve -4*f + 0*f + 4 = r*l, 4*l - 4*f - 20 = 0 for l.
3
Suppose -2*o + 4*z = -28, -21*o = -25*o - 4*z - 16. Solve -o*m - 3*v = 11, 0 = 5*m + v - 0 + 8 for m.
-1
Suppose 4*j = -j - b + 16, -3*j + 20 = -2*b. Suppose x + j = 13. Suppose l - o - 2*o - x = 0, -l - 5*o + 1 = 0. Solve s = l*s - 5*q, -s - q + 2 = 0 for s.
1
Let w(p) = -17*p**2 + 2279*p - 131. Let n be w(134). Solve -c = -31*x + 27*x + 12, n*c - 12 = -4*x for x.
3
Let c(a) = 5*a - 130. Let t be c(-39). Let m = -323 - t. Solve -2*q - 2 = h, -4*h + 22 = -4*q + m*q for h.
4
Let v(y) = -y**2 + 7*y - 6. Let h be v(5). Let t(s) = -6*s + 21. Let p be t(h). Let f be p - (560/(-96) - 2/12). Solve -5*l = -5, f*l - 3 = -5*b - 0 for b.
0
Let y be ((-9)/(-12))/(42/168). Let b(p) = 2*p**2 - 26*p + 30. Let d be b(12). Suppose -5*o - 20 + 70 = 0. Solve r = -y*m - 0*r - d, -5*m + 5*r = o for m.
-2
Let n(p) = 6*p - 54. Let h be n(10). Suppose -g - 15 = -h*g. Solve 0 = -2*c - q + g, -5*q - 1 = -4*c - 2*q for c.
1
Let b = -21 + 37. Suppose 0 = -b*u - 56 - 392. Let p be (-7)/(-35) + u/(-10). Solve 0*i = p*i - 4*m + 7, 0 = 2*i + 5*m + 20 for i.
-5
Suppose 0 = 3*z - 3*b - 51, 3 = -z - 5*b + 2. Let t = 68 + -47. Suppose -z*n = -7*n - t. Solve -24 = 4*q - 3*a, 2*q = n*a - 18 - 0 for q.
-3
Let a(y) = -y**2 + 44*y - 20*y - 22*y + 6*y**2 + 6. Let u be a(-3). Suppose -f - 2*f + u = 0. Solve -3*v - 18 = p + 2, f = -3*v for p.
-5
Let i(d) = 2*d**3 + 21*d**2 + 12*d + 24. Let b be i(-10). Let o be b + (5 - (4 + -6)). Solve 0*q + 3*w - o = -2*q, 3*q = -5*w + 18 for q.
1
Let y = 590 - 591. Let f be (-1)/y + -2 + 5 + 1. Let i(o) = -o**3 + 2*o**2 + 3*o - 3. Let k be i(2). Solve 0 = 2*x - 5*u, 0*x - 25 = -k*x - f*u for x.
5
Let r = 746 - 916. Let u be (6/(-15))/(17/r). Solve 5*b = -u*x - 33, -2*b - 3 - 5 = -x for x.
-2
Let y(f) = 9*f**2 - 3 + 2 + f + 0 - 5*f - 4. Let u be y(-1). Solve v + k = -u, -k - 13 - 10 = 4*v for v.
-5
Let b(m) = -m**2 + 9*m + 47. Let x be b(11). Suppose -92 - 8 = -x*t. Let n = 3 - -1. Solve -5 = r - n*f - 1, 0 = t*f - 8 for r.
4
Let q(t) = 2541*t - 15242. Let s be q(6). Let v(p) = -p - 7. Let z be v(-7). Solve z*w - i + 3 = 3*w, 0 = s*w - 3*i - 4 for w.
1
Let n be (-8)/6*18/(-12). Solve -2*g + 5*h = -30, -2*g + n*h - h + 14 = 0 for g.
5
Let m be -1 - 3/6*10/(-1). Suppose 3 = -5*d + b - 0, 12 = -2*d + m*b. Let w be (30/8 - 3)*4 + d. Solve k + 0 = -w*n - 5, 0 = 5*k - 2*n + 8 for k.
-2
Let x be -2 + 3/1 - -1. Let a = 89 - 72. Suppose 6 = -a*d + 18*d. Solve -2*o + 5*y - 4*y + d = 0, 0 = x*y + 4 for o.
2
Let t = -169 + 107. Let z = -62 - t. Suppose -1 = -b, -3*j - 5*b + 0*b + 17 = z. Solve -6*s - 5*d + 20 = -11*s, -j*s = -d + 4 for s.
0
Let c(m) = m - 3. Let t be c(6). Let y(n) = 31*n**2 - 371*n - 9. Let h be y(12). Solve 5*x + 17 = -i, -t*i - h*x + 0 = 3 for i.
3
Let l be (15/6)/(2/4). Suppose 20 = 3*u + l. Suppose 0 = -u*t + 15 + 30. Solve -2*c + 17 = -5*b - 14, 3*b + 2*c + t = 0 for b.
-5
Let y = -37 + 39. Suppose 0 = -y*u + 4 + 12. Suppose 14*s = 18*s - u. Solve g - 1 = -s*n, 0*g - 5*n + 13 = -g for g.
-3
Suppose -3*l = -3*f + 45, f - 330*l + 327*l - 5 = 0. Solve 3*v + 3 = -3*i + 7*v, -f = i + 5*v for i.
-5
Let g = -31159 + 31159. Let m be (-25)/(-4) + 3/(-12). Solve -3*k = -p + 2*k, p + k - m = g for p.
5
Suppose -125 + 121 = 149*x - 749. Solve -15*d - 12 = -4*p - 12*d, -4*p + x*d = -20 for p.
0
Let f(s) = -1 - 28*s**3 + 29*s**3 - 5 - 5*s - 6*s**2. Let m be f(7). Let l = 13 - m. Solve -l*a = -4*z - 3 - 28, -5*z = -2*a + 26 for z.
-4
Let j be ((-6)/(-5))/(2628/(-440) + 6). Let s = -38 - 6. Let m = j + s. Solve -4*u = -m*u - 16, -4*u + 26 = -5*q for q.
-2
Let w be (45/(-20))/(6/24). Let n be 0 - -3 - 9/w. Solve 2*z + 14 = -2*t, -n*t - z = -2*z + 8 for t.
-3
Let i(y) = -2*y**3 + 12*y**2 - 7*y - 8. Let a be i(5). Let m be 1/(-4)*(a - 7). Solve 4*b - h = -m*h + 2, -10 = -5*h for b.
1
Suppose -n + 248 = q, -4*n + 3*q + 517 = -489. Let o = n - 246. Solve 3*w - j - 3*j - 3 = 0, -o = -4*w - 4*j for w.
1
Suppose 1284 = -5*j - 4*d - 599, 748 = -2*j + d. Let t = -370 - j. Solve a + t*l = 6, 6*a - 8 = a - 3*l for a.
1
Let c = 149 - 147. Suppose t - 2 + 7 = -3*s, -4*t - 20 = -c*s. Solve 2*n = 2*m, -2*m + 5*n = -s + 3 for m.
1
Suppose -z + 83 = -15*a + 161, -36 = -2*z - 2*a. Solve 0 = 16*d - 19*d, -5*d = 3*v - z for v.
4
Let j be (10/4)/((19/48)/19). Let r be (-6)/(-4) + 60/j. Solve 4*x = -r*z + 2*x - 2, -z + 5*x - 19 = 0 for z.
-4
Let t(c) = -46*c - 3. Let r be t(1). Let q = r + 44. Let h be (-1)/(-5) + -14*1/q. Solve -p + z + 0*z = 2, 0 = h*p + 3*z - 18 for p.
2
Suppose -44 = -l + 4*b, b = 3*l + 4*b - 117. Let d = l - 39. Let a be 2 + (1 - d)/(6/(-6)). Solve -4*r = -2*c, 5*c - 3*r = a*r + 5 for c.
2
Suppose -14*x + 8*x + 30 = 0. Let d be (2/x*5)/2. Solve a - q = -d, -a + 14 = 3*a + 2*q for a.
2
Let q(f) = 3*f**2 + 6*f - 614. Let p be q(-16). Solve 0 = 2*t + p*j - 57*j + 1, -25 = 5*j for t.
2
Let u = 12213 + -12213. Solve 2*b - 2*m + 12 = u, -59*m + 4 = -55*m for b.
-5
Let x = -14468 + 14471. Solve 188 - 197 = -3*y + 3*w, x*y - 13 = 5*w for y.
1
Suppose 17*j + b + 3 = 20*j, 0 = -j + 3*b - 15. Solve j*f + 7 + 8 = 4*w, 4*f + 5*w = 11 for f.
-1
Let y = 166 + -166. Suppose 3*f - 21 = -f + 5*j, y = -f - 3*j + 1. Solve 4*n - 12 = -2*o, o = -4*n + f*o + 2 for n.
2
Suppose -2*n + 10 = 0, -4*v + 5*n - 7 = -38. Solve -15 = 4*c - 5*y, c + 5*y - v = -24 for c.
-5
Suppose -68*l = 9*l - 47 - 107. Let r = -2 + -2. Let n be r/(-10) + 106/10. Solve 0 = k + 3*o + n, 0*o + l*o = -10 for k.
4
Suppose -622 = -21*a + 1037. Suppose 41 = 40*n - a. Solve -4*u + 5*j + 6 = 0, u - 14 = -u - n*j for u.
4
Let w(c) = 17*c - 114 + 2*c**2 + 236 - 104. Let r be w(-8). Solve -r = -5*f - 2*q, 5*q = f - 3*f + 25 for f.
0
Suppose -4*b + 13 - 9 = 0. Suppose -6*x + 9*x = 9. Let q(i) = -i**2 + 8*i + 10. Let m be q(8). Solve m = -3*z + 2*u + b, 0 = 5*z - x*u + 16 for z.
-5
Let x(v) be the third derivative of v**4/12 - 29*v**3/6 + 93*v**2. Let n be x(22). Solve 4*f = 5*w - 11, -2*f + n = -7*f + 5*w for f.
-4
Let n(p) = 15*p**3 + 56*p**2 - 9*p + 30. Let w be n(-4). Solve -g = 3*u - u + 16, -w*g + 4*u = -16 for g.
-4
Let w(c) = -110*c - 3519. Let t be w(-32). Let f be (-20 - 0)/(-4) - 2. Solve -2*v + 3*b = -6*v - f, 0 = 5*v + b + t for v.
0
Suppose -8*i = -s + 77, -306*i + 311*i = s - 50. Solve s*h = 4*r - 19, 4*h - 86*r + 89*r + 40 = 0 for h.
-7
Let s(a) = a**2 - 15*a + 61. Let w be s(6). Solve h - 4*q = -14, -2*q + 5*q - w = -h for h.
-2
Suppose -253 = 3*v + 5*n, -5*v + 3*n - 442 = -77. Let a = v + 76. Suppose a = -2*d - j - 1, -6*j = 3*d - 5*j. Solve 4*o + d = r, o + 2*o - 3 = -3*r for r.
1
Let i(r) be the third derivative of r**4/3 + 118*r**3/3 - r**2 + 81*r. Let p be i(-29). Solve 0 = p*c - 2*v - 2*v - 4, c - 4 = 2*v for c.
-2
Let b(o) = -o**2 + 21*o - 33. Let w be b(2). Solve 15 = -5*q - 5*m, 2*q + 3 = w*m + 18 for q.
0
Let k(g) = -2*g**3 + 30*g**2 + 2*g - 10. Let h be -7 + 9 - (1 - 14). Let q be k(h). Suppose p = -0 + 3. Solve 0 = -5*o - 2*m + 12, 2*o = -0*m + p*m + q for o.
4
Suppose -4*w - 40 = -4*z, 0 = z - 2*w - 2*w - 4. Let n(k) = -2*k**2 + 26*k - 20. Let u be n(z). Solve -21 = 3*p - 3*f, -4*f + 8 = 2*p + u for p.
-4
Let c be ((-4)/(-6))/(14/(-6195)). Let f = c - -299. Solve f*r + 4*z = 2*z - 4, -3*r - 9 = 3*z for r.
1
Suppose 2*k = -3*d + 35, -168*d - 5*k = -173*d + 75. Solve -d = 2*h - 3*h + 2*x, 5*h + 3*x - 13 = 0 for h.
5
Let z(m) = 9*m**2 - 52*m + 5. Let y be z(8). Suppose 21*o + 12*o - y = 0. Solve -3*u - 17 = 4*s, -2*s - u + o = -4*u for s.
-2
Let y(t) = t**3 - 3*t**2 - t + 9. Let v be y(2). Solve c - 3*r - 2 - v = 0, 0 = -2*c - 5*r - 23 for c.
-4
Let v(s) be the first derivative of s**3/3 - 19*s**2/2 + 92*s + 19. Let t be v(9). Solve 4*n - 23 = n - 4*b, -t*n + 12 = 2*b for n.
1
Let q be 1/(-2) + 0 + (-675)/(-18). Suppose 0 = -8*v + 325 - q. Suppose -39*f = -v*f - 12. Solve f*w + 4 = 2*i, 0*w - 3*w - 3 = -2*i for i.
0
Suppose 36 = -151*z + 157*z. Suppose z - 18 = 4*t, -2*g + 4*t = -46. Let d = -9 - -14. Solve -3*q + 20 = c, -d*q - g = 2*c - 52 for c.
5
Suppose 78*m - 7*m = 22*m - 83*m. Solve -4*t = 3*o + 22 - 32, m = t 