b for v.
0
Suppose 222*s + 35 = 227*s. Let g(a) = -a**3 + 9*a**2 - 12*a - 4. Let j be g(s). Solve -5*c + 0 + j = 0 for c.
2
Let q = 18022 + -17951. Solve 27*k - q = -233 for k.
-6
Let j(y) = y**3 + 11*y**2 + y + 7. Let w be j(-11). Let s be 0*14/70*10/w. Let d(u) = u + 1. Let g be d(6). Solve -g*t + 3*t = s for t.
0
Suppose -2*o + 196 = -5*m, 0 = -4*m - 6*o + 2*o - 140. Let p = -33 - m. Suppose 3*a - 14 = -p. Solve a = -2*x + 3*x for x.
3
Suppose -3*n + 4*w - 67 + 68 = 0, 45 = 5*n + 2*w. Solve -19 - 9 = -n*q for q.
4
Let i = -18720 + 18736. Solve -i = -28*l + 26*l for l.
8
Let h = -2136 - -2136. Solve 0 = -18*q - 90 - h for q.
-5
Let w(a) = -14*a**3 + a + 1. Let y be w(-1). Let s = 1441 + -1453. Let g = s + y. Solve g*c = -3*c - 5 for c.
-1
Let v(m) = -40*m + 115. Let z be v(11). Let h be 65/z + (-32)/(-10). Solve -h = -4*a + 9 for a.
3
Suppose -104 = 12*n + n. Let c(l) = l**2 + 11*l + 54. Let m be c(n). Solve -2*d - m = 4*d for d.
-5
Let k(a) = -a**3 + 22*a**2 + 6*a - 26. Let p be k(21). Let m = p - 536. Let w = -11 + 16. Solve 0 = -w*u + m + 10 for u.
3
Let y(l) be the first derivative of -l**2/2 - 36*l + 15. Let d be y(0). Let s = -34 - d. Solve -3*i - s = -i for i.
-1
Let p(m) = -2*m**3 - 12*m**2 - 16*m - 10. Let t be p(-5). Let d be (-80)/t + (18 - 1). Solve -d = 4*h - 25 for h.
3
Let t be (-1)/4 - ((-741)/52 - -7). Solve 2*z = -t*z - 4*z for z.
0
Let o = 2240 + -2143. Solve 0 = 3*z + 91 - o for z.
2
Let b(v) = -43*v - 3859. Let j be b(-91). Solve -48*f = -j*f + 24 for f.
4
Let o(t) = -t**3 - 4*t**2 - 16*t - 48. Let r be o(-6). Solve -14*b + r = 16*b for b.
4
Suppose 0*c - 5*o = 4*c - 71, -o = 3*c - 45. Let y be (c/28)/(2/16). Solve y*w = -w for w.
0
Let y = -18 - -23. Let l be (-2 + 6)*y/5. Suppose -l*z + 36 = -44. Solve 0 = -5*p - 0*p + z for p.
4
Let i(r) = r**2 + 11*r + 13. Let b = 48 - 58. Let g be i(b). Suppose -3*o + g*t = -12, -8 = 3*t + 4. Solve s = -o*s for s.
0
Suppose 5*i - 14 = -4*o + 6*o, 0 = 4*o - 12. Suppose 31 + 9 = 5*k. Solve 2*r - k = -i for r.
2
Suppose 35 - 19 = 7*n - 75. Solve 0 = -n*q + 23*q - 60 for q.
6
Let u = 58 - -48. Let j = u + -103. Solve -3*x - j*x - 24 = 0 for x.
-4
Let h be 1 + 16/4 + 91. Suppose -h = 2*q - 18*q. Let m be (-15)/(-2)*(-40)/(-12). Solve -a = -q*a - m for a.
-5
Let u = -1077 + 1338. Solve u*k = 248*k - 65 for k.
-5
Let p = 32 + -20. Suppose -p = y - 5*y. Let t(h) = h**3 + 26*h**2 - 54*h + 61. Let l be t(-28). Solve -y*r - l = -2 for r.
-1
Let v(l) = -l**2 + 4*l + 1. Suppose f + 2*w + 4 = -8, 0 = 3*f - w + 36. Let g be (-8)/20 - f/5. Let c be v(g). Solve 14 + 11 = -c*d for d.
-5
Suppose 0 = j + 3*g + 15, 4*g - 5*g + 5 = -3*j. Let l be j*(4/2 - 13). Let b = 33 - l. Solve r + b = 1 for r.
1
Let j = 982 - 981. Solve 17 = 6*h - j for h.
3
Let o = -26 - -30. Suppose -5*z - 15 = 0, o*n - 25 = z - 6. Suppose 0 = 3*p - 2*p - n*p. Solve r - 6 + 1 = p for r.
5
Suppose 5*j + 100 = 660. Let i = j - 102. Solve -3*y - 4 = -i for y.
2
Let h(p) = p**3 - 20*p**2 + 21*p - 35. Let a(y) = 1 - 5*y + 2*y - 5 + 26*y. Let q be a(1). Let k be h(q). Solve -13*j = -10*j - k for j.
1
Suppose 0 = -2*v + 4*u - 448, 3*u + 2*u - 884 = 4*v. Let g = 236 + v. Solve -4*h - g = -0*h for h.
-5
Let t = 97 - 37. Let p = t - 58. Let s(d) = d**3 - 4*d**2 + 5*d - 1. Let x be s(p). Solve -2*i - x = 1 for i.
-1
Let b(c) = c**2 - 8*c - 35. Let v be b(11). Let h = v + 40. Let i = h - 36. Solve 2*y = -i*y + 8 for y.
2
Let z = 3694 + -3661. Solve 90 = z*s - 51*s for s.
-5
Suppose 0 = 5*w + 5*k - 105, -8*k + 5*k = -4*w + 105. Suppose -36*u = -42*u + w. Solve -u*y + 11 = 3 for y.
2
Let f be 4/1026*27 - (-1516)/38. Solve -f*u + 33*u + 35 = 0 for u.
5
Let n be 137/2 + 14/28. Suppose -6*p + n - 21 = 0. Solve -48 = p*i - 8 for i.
-5
Suppose 163*r - 1475 = -331 + 1138. Solve 19 = k + r for k.
5
Suppose -w - 5*j - 20 = 0, 9*w - j - 36 = 6*w. Solve m + w = 13 for m.
3
Let u = 34055 + -34053. Let l = -2 + 3. Solve -u*g + l + 9 = 0 for g.
5
Suppose 0 = -2*s + z + z + 178, -4*s - 5*z + 383 = 0. Suppose -106 = -6*t + s. Let f = t + -31. Solve 7 = f*v - 3 for v.
5
Suppose 0 = 370*u - 350*u - 500. Solve -u*n + 22*n = 12 for n.
-4
Suppose -122*v = -124*v + 4. Suppose -o - 2*z + 12 = 0, v*z = -41*o + 43*o. Solve -3*r = -4*r + o for r.
4
Let j be 20 + 9 + -1 + -4. Suppose 0 = j*m - 8*m - 160. Solve l + m = 8 for l.
-2
Let y(x) = -2*x**2 + x - 48 + 73*x - 20*x. Let k be y(26). Solve 2*d - k = -2*d for d.
1
Let w(v) = 2*v**2 - 60*v - 128. Let r be w(-2). Solve r = 15*p - 43 + 133 for p.
-6
Let i = -178 + 181. Suppose 0 = -3*w + 5*s + 34, 7 = -4*w - i*s + 4. Solve 2*j - j + w = 0 for j.
-3
Let z be ((-30)/9)/((-4)/18). Suppose 0 = 5*u - 30, 5*u + 40 = -57*r + 62*r. Solve 0 = r*a - 17*a - z for a.
-5
Let x(a) = 694*a + 9952. Let i be x(-14). Solve 132 - i = 26*y for y.
-4
Suppose 6*m = 5*m + 6. Let s = -559 - -565. Solve 0 = m*f - s - 0 for f.
1
Suppose 0*y + 2*z = y - 241, -5*z - 15 = 0. Suppose 5*f - y = 5*p, 4*f + 220 = -4*p - 0*f. Let g be (-2)/(-8)*-1 - p/12. Solve -v - g*v + 15 = 0 for v.
3
Let l be 3/2*(-120)/(-45). Suppose 9*p - 173 + 38 = 0. Solve -l*y + p = -1 for y.
4
Let x(u) = -29*u - 16. Let o be ((-2)/(-5))/(-3*4/(-60)). Let w be x(o). Let i = w - -79. Solve -l = -i*l + 4 for l.
1
Let o(z) = 39*z + 897. Let d be o(-23). Solve d = -47*i - 58 - 177 for i.
-5
Let o(w) = 330*w - 2939. Let q be o(9). Solve 9*h - 132 = q*h for h.
-6
Suppose -2*c + 16 = 5*b, 3*b - 5*b + 1 = -c. Suppose -b + 2 = 24*u. Let t be 1*(3 + 0/(-2)). Solve u = 5*w - 2*w - t for w.
1
Let p(b) = -5*b - 32. Let g be 14/7 + 0 + (4 - 2). Suppose -19 = 3*y - m, -g*m - 5 - 3 = 0. Let d be p(y). Solve -8*k = -d*k for k.
0
Let r = 76 + -61. Suppose -2*g - r = -5*x + 6, 2*x - 16 = -3*g. Let v = 6 - x. Solve -2*l = v + 1 for l.
-1
Let f(l) = -l**3 - 4*l**2 - 2*l - 2. Let g be f(-4). Let n(u) = -20*u + 10. Let j be n(4). Let c = j - -73. Solve -c = 3*q - g*q for q.
1
Suppose 39 - 12 = -3*g. Let p = 13 + g. Solve -6 = q - p for q.
-2
Let n = -6570 - -6580. Solve 22 = n*j - 38 for j.
6
Suppose 2*h - 162 = -4*l + 196, -93 = -l + 3*h. Solve -150*y = -168*y + l for y.
5
Let p(q) = q**3 - 24*q**2 - 697*q + 42. Let j be p(41). Solve j*a + 207 = 65*a for a.
9
Let p(l) = l**2 - 2*l + 4. Let s be p(0). Let z be (-10)/s*(-40)/25. Suppose 0 = -z*c - 1 + 13. Solve -c*n = 2*n + 5 for n.
-1
Let j = -14862 + 14862. Solve -8*y - 106 + 130 = j for y.
3
Let h = -43 + 35. Let v be (-14)/h*(-48)/(-6). Let d be (216/42)/2 + (-8)/v. Solve w = d - 6 for w.
-4
Let u = 21 + -18. Suppose -c - 2*c = -z - 17, 0 = 5*c + 4*z - 51. Solve c*h = 4*h + u for h.
1
Let t(z) = -z**2 + 125*z - 914. Let i be t(8). Solve 38*w = -136 + i for w.
-3
Let i = 14 - 9. Suppose 4*v = i*h + 11, -3*v = -v - 5*h - 3. Suppose -4*p = -3*p - 3, 12 = 5*g + v*p. Solve g = -2*s - 6 for s.
-3
Let o(c) = c**2 + 42*c + 59. Let w be o(-12). Let g = w + 302. Solve b - 2 = g for b.
3
Let i be (-4)/5*5/(-2). Let t be i*3/(-6) + 3. Suppose 16 = t*a - 5*b + b, 3*a + 9 = -5*b. Solve z + 15 = -a*z for z.
-5
Let j be 18872/(-336)*(-8 - -1 - -1). Solve -355 = -3*i - j for i.
6
Let p(g) = 5*g + 114. Let m be p(-21). Suppose 9*h - 72 = 3*h. Let f = -10 + h. Solve 0 = -f*s - s - m for s.
-3
Suppose 4*l - 3*l = 0. Let p be -1*12/9 + (-4)/(-3). Suppose t + p*t - 15 = -4*a, l = -2*a + 3*t + 11. Solve -a = 3*c - 10 for c.
2
Let t be (-39)/(-2)*180/54. Let q = -63 + t. Solve -f = -1 - q for f.
3
Suppose -h = c + 4*c - 47, 0 = -c - 5*h + 19. Let f be (-2)/(-3) - (-57)/c. Suppose 31*m = 15*m + 64. Solve m*y - f*y = 0 for y.
0
Suppose 2*k + 6 = 4*n + 4, -n - 3 = 3*k. Suppose -4335*v = -4332*v - 6. Solve s = -n - v for s.
-2
Suppose 4*h - 20 = 0, 0 = -5*o - 4*h + 33 + 12. Suppose 3*p - 8 = o*i, -2*i + 0*i - 8 = -2*p. Solve -3*u + 36 = p*u for u.
4
Suppose -17*h + 3*w - 129 = -20*h, 63 = h - 3*w. Solve -97 = h*y + 191 for y.
-6
Suppose 229*t + 18 = 232*t. Let j = 105 + -102. Solve -t*i + 9*i - j = 0 for i.
1
Suppose 29*n = 92 + 24. Suppose -2*o = -o + 1. Let m be -2 + o + 12 + 2. Solve -n*r - 9 - m = 0 for r.
-5
Let g be ((-171)/(-6) + 2)*-2. Let p be (-801)/12 - (-2)/(-8). Let l = g - p. Solve -2*a - l = a for a.
-2
Let f be ((-2)/(-6))/((-3)/(-1467)). Let k = f + -161. Solve -17 + 19 = k*u for u.
1
Let p(z) = -28*z**2 + 90*z - 52. Let o be p(2). Solve -222 = o*c - 28