a - 9 for a.
3
Let i(s) = -13*s + 1. Let g(y) = -40*y + 4. Let c(p) = -5*g(p) + 16*i(p). Let u be c(-2). Suppose 0 = u*a - 11*a - 25. Solve -f = 4*f - a for f.
5
Let s(g) = 12*g + 120. Let y be s(-10). Solve 122*d - 126*d = y for d.
0
Suppose 8 = 4*h, -3*k - 4*h - 33 = -77. Suppose 2*l = -2*f + k, 9*l = 5*f + 8*l - 6. Solve 14 - f = -4*o for o.
-3
Let v = -4126 + 4128. Solve -1434*n = -1435*n + v for n.
2
Let g(j) = 83*j + 73. Let q be g(-4). Let o = -256 - q. Solve -2*a = a + o for a.
-1
Let i(g) = 959*g + 1945. Let x be i(-2). Solve 0 = x*h + 49 + 86 for h.
-5
Let a = 14 + -9. Suppose -4*v + 677 = -4*x + 89, 5*v = 2*x + 738. Let g = 153 - v. Solve -g = 2*s + a for s.
-5
Let w be (-1)/4 + (-58)/(-232). Solve 22*u - 19*u + 9 = w for u.
-3
Let g(x) = -5*x**2 - 39*x - 140. Let w(b) = 7*b**2 + 39*b + 144. Let o(s) = -4*g(s) - 3*w(s). Let p be o(42). Solve -15 = -p*h - 5 for h.
5
Let m(w) = -6*w**3 - 6*w**2 + w - 9. Let u(k) = -7*k**3 - 7*k**2 - 10. Let b(v) = -6*m(v) + 5*u(v). Let z be b(-3). Solve z*a + 5 = -15 for a.
-5
Suppose 2*b - 7 = -3. Let u(p) = 4*p + 5. Let o be u(0). Suppose -4*d - 12 = -6*d - 5*z, -3*d = o*z - 13. Solve d = m - b for m.
3
Let x be ((-55)/(-10))/(3/6) - (-31 - -33). Solve 30 - 48 = -x*k for k.
2
Let k(t) = 5*t**3 - t**2 - 3*t + 4. Let i be k(1). Suppose 4*m + f + 96 = -3*f, 0 = 4*m + i*f + 99. Let z = 24 + m. Solve -z*u + 2*u = 2 for u.
-2
Suppose 3*r - 7*r - 988 = 0. Let d = r + 251. Solve 2*i - 9*i = d*i for i.
0
Suppose -9*f = -48 - 519. Suppose r + 4*b = 20, -4*b + f = 3*r + 11. Solve 0 = 8*o - 0*o - r for o.
2
Suppose -27*t = -24*t - 3. Let l be (-169)/(-39)*(t - -2). Solve -l*i + 15 = -10*i for i.
5
Suppose 2*u + 26259*r - 26261*r - 62 = 0, 4*u + 4*r = 4. Let g be ((-2)/(-2))/(1/5). Suppose -g*m + 16 = s - 8, -4 = -4*s + 3*m. Solve s*z = 4 - u for z.
-3
Suppose 3*w - 4 = 32. Let t = -29593 - -29602. Solve t = 3*c + w for c.
-1
Suppose 0*j - 4*j - 2 = 2*u, 0 = u + 4*j + 7. Suppose 8*d + 25 = 3*d, -2*f - u*d = 5. Suppose 0 = 3*v - f + 1. Solve v = -5*k - 22 for k.
-5
Let a(c) = 94*c - 84. Let w be a(1). Solve w*q + 0*q - 9*q = 0 for q.
0
Suppose 15*r = -2*r + 34. Suppose -d - 5 = -r*d. Suppose 3*t = d*n - 8 + 10, 6 = n + t. Solve 6*x - n*x + 12 = 0 for x.
-3
Suppose -35 = 1257*y - 1262*y. Solve 4*d = y*d - 3 for d.
1
Suppose -369*x = -371*x + 104. Solve -x*q = -80*q - 112 for q.
-4
Suppose 7*x - 3*x = -4*u + 4, 3*x + 2*u - 6 = 0. Suppose -4*t - 5*w + 21 = -0, -3*w + 18 = 3*t. Solve -h + t = -x*h for h.
-3
Suppose -11 = -2*p + 7*p + 4*c, -9 = 4*p + 3*c. Let m be ((3 + -3)/p)/(-1). Let d be (-8)/12*(-3 + 0). Solve m = -6*g + d*g for g.
0
Let p(w) = 23*w - 18. Let t be p(-6). Let s be (-3)/15 - t/30. Solve s*y - 7 = 13 for y.
4
Let p(r) = 724*r + 7453. Let l be p(-8). Solve l*v - 1680*v + 57 = 0 for v.
3
Let l(g) = -160*g - 316. Let f be l(-2). Solve f*s = -5*s - 36 for s.
-4
Suppose -140*f - 345 = -399*f + 4576. Solve 0 = f*r + 347 - 214 for r.
-7
Suppose 5*x + 4*d = 1418, 52*x - 58*x + 1704 = 4*d. Solve -x*f + 11 = -275*f for f.
1
Suppose 3*p + 0 = 2*q - 12, 5*p = -2*q + 12. Solve p = 3*o - 11 - 7 for o.
6
Let h(f) = 53*f + 7212. Let s be h(-136). Suppose 2*t = -t + 36. Solve 10*v + s = t*v for v.
2
Let u(x) = 6*x - 12. Let p be u(2). Suppose 0 = -4*s - 3*m + 4 + 37, p = -3*s + 4*m + 37. Solve s*h = 9*h + 6 for h.
3
Let j be 42/105 + (-16)/(-10). Suppose 50 = j*w + 30. Solve -7*b = -w*b + 6 for b.
2
Suppose -28*o + 9*o = 0. Suppose o = 6*z - 3 + 3. Solve -2*g = 10 - z for g.
-5
Suppose -801 = -6*u - 3*u. Suppose -12*q + 223 = -u. Solve q - 14 = 3*b for b.
4
Let x = 1057 - 1033. Solve -46*r = -34*r - x for r.
2
Suppose -6*d = 272*d - 30024. Solve 2*c - 98 = -d for c.
-5
Let g = 28 + 100. Suppose -3*q - g = -134. Solve n + 1 - q = 0 for n.
1
Let g = -1556 + 2366. Solve g - 780 = 5*r for r.
6
Let x(n) = -9*n**2 + 15*n - 10. Let b be x(-6). Let z = -420 - b. Suppose -o - o = -2. Solve -z*y = o - 9 for y.
2
Suppose 0 = 230*m - 226*m - 2*c - 62, -95 = -5*m + 5*c. Solve -57*o + 61*o = m for o.
3
Let w be 78/(-12 - -6)*-1. Suppose -24 = -w*r + 5*r. Solve 0 = 2*c + 1 + r for c.
-2
Let n = -3 + -16. Let s = 19 + n. Let r be (-1)/1 + 28/4. Solve -4*x + x - r = s for x.
-2
Suppose 179*z = 178*z + 3. Suppose 6*k + 27 = w + k, 5*w - 47 = z*k. Suppose -5*h + 2*x = -19, -x - w = 4*h - 6*h. Solve h*s = 8*s for s.
0
Let s = 12441 - 12428. Solve -s*a - 64*a = 385 for a.
-5
Let d be (-2 + 2)/(-1*(-4 + 3)). Suppose 78*h - 85*h + 119 = d. Solve i + 22 = h for i.
-5
Let s(y) = -y**3 - 12*y**2 + 37*y - 33. Let k be s(-15). Suppose 0 = 2*h - 4*r - 56, -k = -3*h + 2*r + r. Solve h = -4*f + 10*f for f.
5
Let f(o) = o**3 - 7*o**2 + 5*o**2 - 53*o + o - 22*o**2 + 4. Let w be f(26). Solve -w*m = -2*m for m.
0
Let q(a) = 11*a + 59. Let o be q(-5). Let w(r) = -r**2 - r + 60. Let n be w(7). Solve -2*l + o = -n*l for l.
-2
Let c be 4/(-10) - (2 - (-142)/(-5)). Let u be 3/((-3)/2)*13/c. Let j be (-24)/(-4) - (-2)/u. Solve 4 + 12 = -j*k for k.
-4
Let g = 23 + -17. Let h = g + 13. Suppose 4*m + 26 = 5*y - h, -5*m = -4*y + 45. Solve -4*u + y*u + 4 = 0 for u.
-4
Suppose 4*u - 4 = t + 12, 4*t = -5*u + 20. Solve t = 10*g - 31 + 11 for g.
2
Suppose 0 = -5*v - j - 37, j + 9 = -v - 0*j. Let p be -4*(-3)/(-2)*v. Solve -p = 7*k - 7 for k.
-5
Let q = 210 - 190. Suppose -6*a + a + 5*l + q = 0, 28 = 5*a + 3*l. Solve -a*m - 4 = -9 for m.
1
Let m be (6/15)/((-10)/(-75)). Suppose 0 = -m*k + 4*r - 2, -3*r + 0*r + 10 = 2*k. Let z = 2 - 2. Solve -i + z*i + k = 0 for i.
2
Let w(h) = -6*h + 27. Let p be w(-16). Let x = p + -116. Let d(y) = y**3 - 6*y**2 - 5*y - 2. Let u be d(7). Solve 0 = -x*c + 4*c + u for c.
4
Suppose 0 = -3*g + 79 - 19. Let u(c) = g*c**2 - 13*c**2 - 8*c - 8*c**2 - 12. Let a be u(-3). Solve 0*t = -a*t for t.
0
Let y be (23/23)/((-2)/12). Let x be (y/4)/((-3)/30). Let i be (-5 - (-63)/x)/(1/(-5)). Solve -a + 6 = -i*a for a.
-2
Suppose 3*h - 3*m - 6 = -0*m, -3*h = 3*m - 18. Let y be 0*(-3)/(h - 10). Solve y*c = c - 1 for c.
1
Let l(m) be the second derivative of m**5/20 + 7*m**4/6 - 17*m**3/6 - 15*m**2/2 - 156*m. Suppose -x + 30 = -3*x. Let s be l(x). Solve s + 0 = 3*t for t.
5
Suppose 1014 = -5*s + 1044. Solve -4*h - 50 = s*h for h.
-5
Let p(k) = k**2 + k - 300. Let w(i) = i**2 - 29*i + 186. Let g be w(17). Let c be p(g). Solve -4*v + 6*v + c = 0 for v.
-3
Let x = 42 + -38. Suppose -p + 0*z + x*z = -17, 2*p + z + 2 = 0. Suppose 26 = 9*u - p. Solve 0 = -0*d + u*d for d.
0
Let c be 315/(-2)*(-8 - -3 - -7). Let s = 319 + c. Solve -s*a - 28 = -11*a for a.
4
Let f = -15291 + 15400. Solve -106 + f = -3*v for v.
-1
Let c = -54 + 89. Suppose -11*f - 237 = 104. Let h = c + f. Solve 12 = -h*q + q for q.
-4
Suppose -5*z + c = -60, -877*c - 16 = -z - 876*c. Solve 23*m = -12 - z for m.
-1
Suppose -5*t - 395 = -v, -t + 795 = 2*v - 6*t. Solve -408 = -2*w - v for w.
4
Let h be ((-13)/(-6) + (-15)/(-45))*6. Suppose y = -3*f - 6, -19*y + 27 = -h*y - 5*f. Solve -9*l + 33 + y = 0 for l.
4
Let i(b) be the first derivative of -b**4/4 - 5*b**3/3 + 3*b**2/2 + 20*b + 75. Let s be i(-5). Solve -s*t + 8*t = 12 for t.
4
Let i be (-12)/360*-10*(1 + 29). Let k be (6/i)/((-54)/30 - -2). Solve k*o = -11 - 1 for o.
-4
Suppose -18*z + 585 + 556 - 709 = 0. Solve -z*s - 62 = -206 for s.
6
Suppose 4*g = 9*k - 6*k - 50, -4*g + 20 = 2*k. Solve s + 12 = k for s.
2
Let v = 8617 + -8598. Solve 0 = -v*c - 8*c - 162 for c.
-6
Let n(c) = -20*c - 476. Let t be n(-25). Solve -t*i = -i + 46 for i.
-2
Let s(h) = -8*h**2 + 22*h + 41*h**3 - 18*h**3 - 24*h**3 + 22. Let t be s(-10). Suppose -l = -t*l + 8. Solve -2*a - l = -0*a for a.
-4
Suppose -4*s + 3*h + 68 = 0, 0 = -4*s + 2*s + 2*h + 36. Let k = 7100 + -7090. Solve -s*q + k = -12*q for q.
5
Let f be (1 + 2)/12 + 5/(-20). Suppose f = -5*c + 136 - 36. Solve 4*y - 9*y - c = 0 for y.
-4
Suppose 7752 = 40*z + 74*z. Solve -45*n + z*n = -115 for n.
-5
Suppose 638 = -2584*x + 2586*x - 4*i, 4*i = -3*x + 947. Solve 41*c = -112 + x for c.
5
Suppose -97 = -3*b + 5*v, -v + 103 = 3*b - 0*v. Solve -b = -19*i + 80 for i.
6
Let c(j) = -7*j**2 - 238*j + 8. Let h be c(-34). Solve h*i + 181 = 229 for i.
6
Let s be 6 - 7 - 164 - 5. Let t = -170 - s. Suppose -a = -3 + 1. Solve t = m + a*m for m.
0
Let f = -50 + 86. Let l(o) = -4*o**2 + 2*o**2 - 19*o - o - f + o**2. Let 