c) - 9*v(c). Let q be u(-8). Solve -4*z + q = 6 for z.
4
Suppose -2*k + 18 = 3*j, -2*j + 4*k + 0*k + 12 = 0. Suppose 0*o - j = -o. Let s(d) = -2*d + 13. Let i be s(5). Solve 0*l = -i*l - o for l.
-2
Let r = 3717 - 3698. Solve r*u - 10 = 14*u for u.
2
Let m(d) = -d**3 + 6*d**2 - d - 9. Let g be m(5). Let t be 6/(g + -5)*3/1. Suppose t = -3*k + 4*k. Solve -2*u - k*u = -5 for u.
1
Let v(w) = -w + 6. Let x be v(2). Let u(o) = o**2 - 4*o + 1. Let k be u(x). Solve -5*m - 9 - k = 0 for m.
-2
Suppose 95 = z + 83. Let o be ((-3)/(3/4))/(-190 - -188). Solve -z*x + 14*x = -o for x.
-1
Suppose 0 = 13*x - 12*x - 5. Suppose 6*n - x*n - 3 = 0. Solve -5 = n*b - 4*b for b.
5
Let o = 58 + -44. Let u = o - 6. Solve u*h - 14 - 10 = 0 for h.
3
Let y(s) = s**2 - 23*s. Let u be y(23). Suppose -19*i + 10*i = u. Solve 0 = -c - i*c - 4 for c.
-4
Suppose -8*p + 344 - 46 = -750. Solve -118*n = -p*n - 13 for n.
-1
Suppose 5 + 2 = k. Suppose -2*n - 4*w = -383 + 387, -2*n + 2*w + 8 = 0. Solve 0 = 5*q - n + k for q.
-1
Let x(o) = o**3 - 4*o**2 + 2*o - 6. Let y be x(4). Suppose y*h = -4*j - 26, -2*h = -2*j - 11 + 1. Let g = j + 6. Solve 0 = -g*k - 2*k for k.
0
Let w be 46 - 1 - 228/(-627)*22/(-4). Solve w*b - 21 = -236 for b.
-5
Suppose -206*k = -132*k. Solve -6*g - 505 + 487 = k for g.
-3
Let d(s) = s**2 + 4*s - 171. Let k be d(-16). Solve -24*q = k - 69 for q.
2
Let q be ((-5)/(-30))/(2/24). Suppose 0 = -4*n + 3*j + 72, 0*n + 36 = q*n - 5*j. Solve -5*y + n = -7 for y.
5
Suppose 4*z + 29*b - 34 = 34*b, z - 10 = 2*b. Solve 134 - 146 = -z*c for c.
2
Suppose -3*q - 1353 = -21*y, -5*y - q = 2*q - 337. Solve 12*x + y = 41 for x.
-2
Suppose h + 5*m + 35 = 6*h, 0 = m + 1. Let l = h + -4. Solve 6 = l*u + 10 for u.
-2
Let o = 1 - 1. Suppose 92*b - 88*b = -52, -5*m = -5*b - 85. Solve o = m*w - 0*w for w.
0
Let m be (165/(-22) - 0)*(-4)/2. Let i be 47/m + 16/(-120). Solve i = -3*v + 4*v for v.
3
Let w(z) = z + 41. Let n = 588 - 626. Let a be w(n). Solve 2*u = -u - a for u.
-1
Suppose -307*x - 1444 = -359*x - 352. Solve 27*h - 42 = x*h for h.
7
Let r = -13206 + 13217. Solve 0 = 7*c + r*c - 72 for c.
4
Let a(o) = -100 + 210 - 83 + 3*o - 100. Let g be a(27). Solve 21 - 5 = -g*v for v.
-2
Let u(z) = -z**3 + 21*z**2 + 42*z + 138. Let v be u(23). Solve -39*g = -v*g - 21 for g.
-3
Let o be 63/27 + 252/(-27) - -7. Solve o*h - 10 = -5*h for h.
2
Let m(b) = -4 - b + 1 + 13*b**2 + 4 - 3. Let w(u) = -7*u**2 + u + 1. Let r(q) = -6*m(q) - 11*w(q). Let d be r(-4). Solve -d*z - 7 - 13 = 0 for z.
-4
Let w(h) = 10*h - 24. Let r(c) = -2*c + 5. Let v(k) = 33*r(k) + 6*w(k). Let b be v(2). Suppose 0 = -j - j + 3*t - b, t - 3 = -3*j. Solve p - 3 = -j*p for p.
3
Let s = -141 + 145. Suppose 3*d = 2*w + 6, -s*d + 14 - 6 = 0. Solve -5*q = 15 - w for q.
-3
Let h(x) = -2*x**2 + 26*x + 185. Let n be h(18). Let u = 15 + -13. Solve -u*b + n = -1 for b.
3
Let c(s) = -s**3 + 5*s**2 + 7*s - 1. Let r be c(6). Suppose -19*d = 24 - 81. Solve -d*m = r*m for m.
0
Let z(j) be the first derivative of -j**3/3 - j**2 + 21*j + 140. Let m be z(-5). Solve m*h = h - 15 for h.
-3
Suppose -a + 16 = 3*s - 2*s, -5*a + 89 = 2*s. Suppose -a*r + 102 = -2*r. Solve r*q - 25 = -1 for q.
4
Let c be 8*2 + 8 + 11 + -18. Let o(r) = r**3 - 21*r**2 + 70*r - 13. Let z be o(c). Solve 4*q = -17 + z for q.
1
Suppose -12*b - 288 = -20*b. Let d be 15 - 0*(-6)/b. Solve -4*r - r = -d for r.
3
Suppose 15 - 12 = b. Suppose -3*w = 4*n + 3, -5*n - w = -b*w - 25. Solve -n = -3*k - 9 for k.
-2
Let g = 34166 + -34126. Solve 90*z = 50*z - g for z.
-1
Let h(a) = 16*a - 2105. Let g be h(132). Solve g = -8*m - 17 for m.
-3
Let x be (27 - 27)/(1*-2 - 0). Suppose x = -10*k + 44 - 4. Solve -8 = k*p - 6*p for p.
4
Suppose 5*s = 5*g, 3*g = -g + 5*s - 1. Let d be (-28)/(-8) - 63/18. Suppose d = -z + 4*z + z. Solve -o - 4 - g = z for o.
-5
Suppose 0 = -221*o + 224*o + 2*f - 342, 2*o - 228 = -4*f. Solve -7 = 107*q - o*q for q.
1
Let o(c) = 4 - 8 + c + 0. Let n be o(6). Suppose 0 = 2*i + 3*i. Solve i = -n*h - 3*h for h.
0
Suppose -b + 0*b = 3*b. Suppose 2*t + 2*p + 136 = -b*t, -136 = 2*t + 3*p. Let h = -53 - t. Solve 6*r = 3*r - h for r.
-5
Suppose 0 = 80*c + 312 - 3032. Solve -c*n + 27 = -7 for n.
1
Let n(x) = -11689*x**2 + 15*x - 16. Let a be n(1). Let m be a/(-350) + 4/(-10). Solve -m*i = -38*i + 5 for i.
1
Suppose -85*s + 86*s + 179 = 0. Let n = 197 + s. Solve -8*j - 6 = n for j.
-3
Let n(o) = o**2 - 7*o + 6. Let m be n(6). Suppose 4*u - 5*y = -m*u + 25, 5 = -u - y. Suppose 5*f + 0 - 25 = u, -3*f = 5*g - 35. Solve 0 = g*t - 5 + 1 for t.
1
Suppose 2*b = 4*g - 8, b - 6 + 14 = 3*g. Suppose 0 = -b*i + 3 - 99. Let h = i - -28. Solve 0 = h*c - 3*c for c.
0
Let g(a) = -a**3 - 8*a**2 - 2*a - 2. Let y = -52 + 44. Let b be g(y). Solve 0 = -5*t + 1 + b for t.
3
Let l(h) = h**2 + 6*h - 26. Let q be l(4). Suppose 0 = -38*w + 31*w + q. Solve -w*o + 4 = 2*o for o.
1
Suppose 5*o + 12 = o, -5*f + 3*o + 79 = 0. Suppose 0 = -3*s + s + f. Suppose 0 = x + 5*m - 32 + s, -5*x = -5*m - 95. Solve g - x = 6*g for g.
-4
Let p(n) = 2*n**2 - 86*n + 837. Let r be p(29). Solve 3 = r*g - 122 for g.
5
Suppose -1507 = 2*m - 1857. Suppose -5*z - 5*n + m = 0, -25*n + 73 = 2*z - 24*n. Solve 40*a = z*a - 8 for a.
-4
Let y be 6 - 150/24 - (-1366)/(-8). Let f = y - -174. Solve -f = 8*j - 11*j for j.
1
Let g be -4 - (10/(-6) - (-361)/(-57)). Suppose -5*a = -g*k, -5*k + 32 = 4*a - 9. Let z = 2 + -2. Solve z = -2*o + k*o + 6 for o.
-2
Let w(y) = 9*y + 43. Let p be w(-5). Let t(h) = -2*h**3 - 3*h**2 - 4*h - 6. Let r be t(p). Solve 2*v - r*v = 0 for v.
0
Let k be ((-1 + (-8)/(-12))*-3)/(-1). Let d be 4 + 6/k - -4. Suppose d = -2*y + 4. Solve -n + 5 = y for n.
4
Let z(q) = 3*q**3 + 2*q - 13. Let o be z(0). Let n = o + 14. Suppose -5*r + 43 - 18 = 0. Solve w - n + r = 0 for w.
-4
Let v = -1858 + 1913. Solve v = 18*n - 35 for n.
5
Suppose -9*o = 114 - 681. Let b = 68 - o. Suppose a + 8*d - 10 = 3*d, -d = -b*a + 102. Solve 0*g + 5*g = a for g.
4
Let g = -108 + 116. Solve 1157 = g*y + 1221 for y.
-8
Suppose -291 = -2*i - a - 179, 4*i + a = 224. Solve -i*f + 62*f = -6 for f.
-1
Let u(i) = i**3 - 27*i**2 - 143*i - 72. Let q be u(-4). Solve 11*a + q = 15*a for a.
1
Suppose 0 = 3*q + f + 41, 0*f = 5*f + 25. Let o be (0 + 3)/(q/(-16)) - 3. Let u(l) = 3*l**2 - 2*l + 3. Let r be u(o). Solve r*i - 1 + 13 = 0 for i.
-3
Let g = -6104 - -6266. Solve -168*o = -g*o + 48 for o.
-8
Let n(l) = -14*l**2 + 101*l. Let c be n(6). Let f = 104 - c. Solve -6 = -4*m + f for m.
2
Suppose a + 13 = 5*v, -5*a + 2 = v + 15. Let f be (4 - -3) + (-3 - a) + -1. Solve 3*t - f = -3*t for t.
1
Let q(h) = h**3 - 13*h**2 + 21*h - 27. Let s be q(13). Let v = s + -242. Solve -4*p = -0*p + v for p.
-1
Let c = -25897 - -27207. Solve -1319*s = -c*s for s.
0
Let y(j) = -j**2 - 45*j - 80. Let m be y(-21). Let d = 451 - m. Solve -d = -0*o + 9*o for o.
-3
Suppose 6*u = -9*u + 22*u. Let x be 10 - ((-5)/(-1) + -2). Solve -2*z - x*z = u for z.
0
Let k(r) = 8*r + 216. Let z be k(-25). Suppose -44 - z = -15*n. Solve 0 = 2*j - 14 + n for j.
5
Let j be ((-54)/(-12) + -4)*3*2. Let h(c) = c**2 - 7. Let m be h(j). Suppose 0*s = 5*s + 5*x + 10, 0 = -m*x - 6. Solve -4*p = s - 9 for p.
2
Let w = 305 + -273. Let j be (0 + 2 + -26)/((-64)/w). Solve 0*s + j = 6*s for s.
2
Let m(r) = r**3 + 2*r**2 + 3*r + 3. Let g be m(-1). Solve 33*t - g = -34 for t.
-1
Let f be (229/(-2))/(27/6 - 5). Solve 0 = 233*k - f*k + 24 for k.
-6
Suppose 0 = -w + 3*w - 2*i - 10, 3*w + 4*i - 1 = 0. Let a = 7634 + -7636. Let m be (-1 - a)*((4 - w) + 4). Solve -m*h + 20 = -h for h.
5
Let v = 2 - -1. Suppose -79 = v*m - 31. Let i = m + 18. Solve -i*f = f for f.
0
Let o be 210 + (-22)/(88/(-12)). Solve -5*z - o = -183 for z.
-6
Let b(y) = 2*y + 34. Let n be b(-15). Suppose 0 = -6*p + 2*p. Suppose 2*k - 5*k + 27 = p. Solve -w + k = -n*w for w.
-3
Let u(j) = -2*j - 46. Let p be u(-27). Let r be (p/3)/((10 + -6)/48). Solve 10*q - r = -82 for q.
-5
Let q = -35 - -45. Suppose -5*j = 3*o - 60 + 45, 0 = 2*j - 2*o + 10. Solve j = z - 6*z - q for z.
-2
Suppose -7*x + 31 = -12*x + 2*r, 19 = -2*x + 3*r. Let w be x/(-20) + 0 + (-175)/(-20). Solve -w*t = -7*t for t.
0
Suppose -2*u + c - 146 = 0, u + 73 = -0*u + 4*c. Let n = u - 4. Let d = -76 - n. Solve 0*p = -p + d for p.
1
Let j(d) = -4*d - 50. Let u be j(-10). Let x 