 a(i) = 16*i - 125. Let x be a(9). Solve -5*g - 3*m + x = 0, 1 = 5*g - m - 6 for g.
2
Let o(v) = 28*v + 2. Let n be o(1). Suppose n = 5*a - 40. Solve -x = -5*r - a, -r - 4 = r for x.
4
Suppose 3*h - 12 = -3*m, 2*m = -31*h + 33*h. Solve 6 = 2*q - 5*s, -2*q - m*s = -s - 6 for q.
3
Let c = 11 - 8. Let d(a) = -5*a. Suppose 4*o + 3 = o. Let b be d(o). Solve c*f = i - b*i - 15, -f - 16 = 5*i for i.
-3
Let s be 46/(-253) - 72/(-33). Solve s*x = -5*f - 15, 2*x + f - 25 = 4*f for x.
5
Let f(u) = 4*u**2 + 3. Let z be f(-4). Suppose 0 = -4*b - 3 + z. Let x = 8 + -6. Solve -5*a + x*j = 18, -2*a + 3 = 5*j + b for a.
-4
Let r(l) = -l**3 - 13*l**2 + 16*l + 31. Let b be r(-14). Solve 0 = -q + 3*v + 7, 18 = -b*q - 5*v + v for q.
-2
Let w(x) = x**3 + 13*x**2 + 33*x + 30. Let l be w(-10). Solve -a = -n, -5*a = -4*n - l - 5 for a.
5
Suppose -15 = -3*p - 2*p. Let h = 9 + -4. Suppose -6 = -5*a + a - h*s, 4*a = -4*s + 8. Solve -7*i - p*j = -4*i + 18, -2*j = -a*i for i.
-2
Suppose 0 = -3*l - 16 - 8. Suppose 3*d - 22 = 4*k + k, -d + 2*k = -6. Let f be l + d + 4/(-1). Solve -f*b + 2*p + 6 = -b, -3*p = 9 for b.
0
Let z = 22 + -17. Let g be (7 - z)*3/(-2). Let f be (4 + g)/(2/6). Solve 5*r = 10, 2*i - 2*r = -1 + f for i.
3
Suppose 28*v - 71 = 69. Solve v*j + 22 = 4*c, -6*c + 2*c = 5*j - 2 for c.
3
Suppose -3*w + 32 = w. Let t = w - 5. Let k be 4 + (-4 - (-4 - t)). Solve -2*o - 25 = -5*u, 4*u + 2*o = o + k for u.
3
Let c(y) = -2*y**2 + 6*y + 3*y**2 - 11 + 20. Let n be c(-5). Solve n*i + i = 2*m + 10, -m = 4*i - 21 for i.
4
Let s = 1648 + -1646. Solve z + 2*w - w = 0, -2*w = -s*z for z.
0
Let j = -48 + 24. Suppose 0 = b - 0*b - 3*x - 6, -14 = -3*b + 5*x. Let i be j/16*(-8)/b. Solve -5*y + v = 1 + 6, -i = -y + 2*v for y.
-2
Let g be ((-12)/(-6))/((-10)/(-55)). Solve 0 = -5*p + q + g, -1 = -p - q + 6 for p.
3
Let a(g) = -g**2 - 21*g - 33. Let m be a(-19). Solve -d - 19 = 2*v - 8, -11 = -3*d + m*v for d.
-3
Let s = 10 - 7. Suppose -5*o - r - s*r = 0, 2*r = 4*o - 26. Solve -3*j - 12 = -0*j, o*g - 32 = 5*j for g.
3
Let j = 2569 + -2566. Solve 4*g + 0*v = -3*v + 35, -j*g = -4*v + 5 for g.
5
Let s be 10/(-7 + 17)*0. Solve s = -5*b - 3 - 7, 5*w + 4*b = 17 for w.
5
Suppose 3*y + 16 = -131. Let s = y - -52. Solve -i - 4 = d, -s*d - 16 = 2*i + 3*i for i.
-2
Suppose c = 5*c - 16. Suppose -q + 0*q - 3*q = 0. Solve 5*n = -c*l + 25, -4*n + 20 = 2*l - q*n for l.
0
Let v be (20/(-15))/(2/3). Let s be v/3*1*-9. Let k(g) = g**2 + 12*g + 15. Let m be k(-11). Solve -4*n = m*j - 16 - 4, -2*n + s = j for j.
4
Let b(i) be the second derivative of 2*i**3 - i**2/2 - 12*i. Let l be b(2). Solve 23 = -8*y + 3*y + 2*k, -l = 4*y + 3*k for y.
-5
Suppose -c + 4*c - 9 = 0. Suppose q + 3*j = -2*q + 18, 1 = -j. Let t(b) = -2*b**2 + 14*b + 2. Let p be t(q). Solve p*w + 5*d = -12, c*d + 16 = 4 for w.
4
Suppose 3 = -3*j - 3*z, -z + 7 = -0*j + 3*j. Let b be 7/j + 6/(-8). Let l be -1 + (b - (0 + -2)). Solve -5*w = -v + 15, 2*w + l + 4 = 3*v for v.
0
Let q = -36 + 41. Let r(p) = 3*p - 10. Let o be r(q). Suppose 0 = -o*v + 4*i, 0 = i - 5*i. Solve -4*k - 2 = 3*n + 18, v = -n + k + 5 for n.
0
Let k = 49 - 45. Solve 20 = -k*o, 0 = -5*n - o - 0*o + 5 for n.
2
Let s = 59 - 45. Solve 5*z = -x + s, 10 = 4*z - 2*z - 4*x for z.
3
Suppose 3*y + 5*v - 6 = 4*v, v + 4 = 2*y. Suppose 7*b - y*b = 3*b. Solve 0 = 2*c + 6, -3*r + c + 2*c - 3 = b for r.
-4
Let q(i) = 15*i**2 + 44*i + 1. Let y be q(-3). Solve 2*w + 2*c + 3 = -15, -y*w = -c + 11 for w.
-4
Let q(p) = -10*p + 24. Let s be q(2). Solve s*g = -4*x - 8, -10 = -x - g + 3*g for x.
2
Let n be 1/((-2)/(-18)*3). Let k(h) = 5*h**3 - 2*h**3 - 10*h**2 + 11*h - 13 - 2*h**n. Let t be k(9). Solve 2*w - w = -o - 7, -5*o = -3*w - t for o.
-2
Suppose -2*z - 6 = -3*v, v - 5*z - 1 = 1. Suppose 5*s = 5*n + 16 + 9, 3*s - 7 = -5*n. Solve 0*h = -s*h - v*x, -h - 5*x = -9 for h.
-1
Let u be (10/3)/(170/102). Solve x - 7 = -u*x - 5*y, x - 5*y - 9 = 0 for x.
4
Suppose -3*h + 15 = -0*h. Let t be ((-21)/(-63))/((-1)/(-153)). Let f = t + -46. Solve 3*g - 10 = -f*w + 4*g, -h*w - g = 0 for w.
1
Let m be (-12)/(-30)*(-255)/(-34). Solve 4*b - 2*b = -2*f + 8, -m*b = -5*f - 4 for f.
1
Let i = 3 - 1. Suppose 9 = -i*l + 4*j - 11, 0 = 5*l - 3*j + 78. Let k be (-319)/(-99) + 4/l. Solve 0 = 2*m + m - k*a + 12, 4*a + 12 = -3*m for m.
-4
Suppose -2*t = -10 + 4. Suppose 3*s + 4*k = -s + 16, 0 = 5*k. Suppose -v + 16 = s*i, 6*i - 2*i + 4*v = 16. Solve -3*u = -t*a - 4 + 13, 0 = 2*a - i*u - 14 for a.
-1
Suppose 0*n - 2*n + 8 = 0. Solve 0 = 3*r + n*t + 3, 1 = 2*r + 5*t + 10 for r.
3
Let s(f) = -2*f - 7. Let d be s(-9). Let c = -9 + d. Suppose -l = -c*b, 0 = -4*l - l - 3*b. Solve -3 = -3*w, t + 2*w = -l*t + 5 for t.
3
Suppose -39*b + 8*b = -248. Solve -3*c - 7 = 4*w, -5*w + c = -b*w - 4 for w.
-1
Let b = -187 - -187. Solve 0*n - 5*z - 13 = -2*n, 5*z + 15 = b for n.
-1
Let p be (12/(-14))/((-63)/294). Suppose p*x = 2*x + 8. Suppose c + 2 = 4. Solve 3*h + 18 = -3*z, -c*h = -x*z - z - 9 for h.
-3
Let v be (-76)/(-18) - (320/(-144))/(-10). Solve m - 3 = 2*d, -2*m + 9 = -9*d + v*d for d.
-3
Suppose 0 = -0*g - 5*g + 15. Let b be 1 + -3 + g + 15. Suppose -2*n = -b + 6. Solve -n*a - 4*u = 14, 0*a + a - 3 = 5*u for a.
-2
Let p = -10 - -38. Let n be (-68)/(-51) + (-12)/(-18). Solve -o - p = -3*j + 4*o, -n*j + 2*o + 12 = 0 for j.
1
Let f be 16 - (-10)/25*(-25)/(-5). Solve -c - 2*g - 2 = 0, -f + 10 = -3*c + g for c.
2
Let m(n) = -n**3 - 4 - n - 11*n**2 + 14*n + 19. Let j be m(-12). Suppose v + 4 + 1 = 4*y, -2*v = -3*y. Solve 2*g - j = -u, -v*g - g = -4*u - 36 for u.
-5
Let p be (-7)/(7/(-9)) - -1. Suppose -3*d = -1 - 5, -2*l + 5*d - p = 0. Solve 2*n + 2*w + 2 = -6, -3*n + 4*w + 23 = l for n.
1
Let k = 11 + 0. Let g = -11 + k. Suppose g = -2*y - 0*o + o + 7, 0 = 3*y - 4*o - 18. Solve -5*d - 2*v = -3 - 6, -y*d - v + 3 = 0 for d.
3
Let p = 32 - 32. Suppose -5*w + 3*g + 151 = p, 2*g = -2 - 2. Solve -w = -2*h - 5*t, -h + 2*t = 4*h for h.
2
Let b(l) = l**3 - 9*l**2 + 12*l - 11. Let c be b(8). Let h = -16 + c. Let f = 5 - -20. Solve 4*i - f = -h*u, -2*i - 3*u + 0*u + 15 = 0 for i.
0
Let q be 4*6/(-72)*-21. Let b be -8*((-2)/4)/1. Let j(w) = -w**2 - 10*w + 14. Let z be j(-11). Solve o = -4*l + q, -b*l + o - 8 = -z*o for l.
1
Let d be 6/4 - 570/(-12). Suppose -4*z = 2*o - 32, 4*z - o + 17 = d. Solve -6*r + 3*s + 37 = -r, 2*s = -z for r.
5
Suppose 6*i + 0*i = -2*i. Solve -4*w = -x + 1, -5*x = 4*w - i*w - 29 for x.
5
Let c be (-5)/(-85) - (-1368)/153. Solve -2*z = 3*b - 7, -2*z + b + c + 2 = 0 for z.
5
Suppose 13*z = 5*z - 3*l - 7, 22 = 2*z - 4*l. Solve g - 2*v + z = 0, -4*g + 18 = 3*v - 0 for g.
3
Suppose a = 41*a + 68*a - 540. Let v(t) = -t**3 - 3*t**2 + 4*t. Let l be v(-4). Solve h = -q - l*q - 7, 0 = -a*q - h - 27 for q.
-5
Suppose -88 = -4*h - 8. Let x be 450/105 - (-2)/(-7). Suppose 8 + 14 = 5*w - x*u, -u = 3*w - h. Solve -4*j - 29 = 5*p, p - 2*p - w = j for j.
-1
Let z(s) = -s**3 - 4*s**2 + 13*s + 8. Let m be z(-6). Suppose -b = -3*b - 4*v + 12, -v - m = -2*b. Solve -j + 14 = -3*f - f, 2*j = -b*f - 12 for j.
-2
Suppose -o - 4 = 0, 4*n + 0*o + 3*o + 8 = 0. Let g be (-2 - -11)*n/3. Let b = g - -1. Solve -5*x - 2*y = 2 - 13, b*y = -4*x + 16 for x.
1
Let a be -4 + (8 - 2) + 39. Let u = a + -31. Suppose 2 = 2*d + b - 13, -5*d + 3*b = -u. Solve 0 = d*q - 2*l - 6, 4*l = -q + 5*l for q.
2
Let l = -39 - -62. Suppose 26*n - 6 = l*n. Solve -c = 3*i - 4 - 4, -1 = -i - n*c for i.
3
Let g be (6/(-27) + 93/54)*-26. Let z be (-6 - -3)*g/9. Solve -3*b - 5 = -2*b - 4*t, z = 5*b - t for b.
3
Let t be ((-4)/10)/(4/(-20)). Let w = -3792 + 3796. Solve 3*n + t*q + 8 = 0, 2*n + w*q + 5 = -11 for n.
0
Suppose -8 = 3*t - 2*q, 0*t = t - 2*q + 8. Let c = -35 - -29. Let u = c + 9. Solve 4 + t = 4*f - 5*p, -2*p = -3*f + u for f.
1
Let t(y) = 2*y**3 - 15*y**2 - 4*y - 30. Let u be t(8). Solve -a - b + 5 = 4, -7 = -a + u*b for a.
3
Let r(w) = -w**2 - 17*w + 62. Let p be r(-20). Solve -8 = -p*y, 2*o - 3*y = -18 - 2 for o.
-4
Suppose -22*u + 30*u - 32 = 0. Solve -4*d = 3*o - 5*o + 18, u*d = -5*o - 11 for o.
1
Suppose -3*n + 3 = -9. Suppose 7*x + n - 25 = 0. Solve -d = -5*b, 2*b + 2*d = x*d for b.
0
Suppose 17*h = -5*h + 6*h. Solve -5*r + 15 = h, 2*n + 0 = -5*r + 19 for n.
2
Suppose 5*u = -3*a + 35, 0 = 2*a + 3*a - u - 77. Let y = a - 21. Let q be y/21 - (-69)/21. So