 20 for b.
1
Let s(t) = -38*t + 237. Let o be s(6). Suppose 0 = 4*v + 4*u, o*u - 16 = -3*v + 14*u. Solve 2*z + v*z = -4 for z.
-1
Suppose -5*a - 265 = -5*n, -109 = -4*n - 3*a + 110. Suppose -n*c + 51*c = -30. Solve -c = 16*f - 14*f for f.
-5
Suppose -284 + 260 = -6*a. Solve a*s = -9*s for s.
0
Let h = -8840 - -8908. Solve 39 = -81*o + h*o for o.
-3
Suppose 12 = 20*x - 19*x. Let c be x/6 - 0 - 0. Solve 0 = 15*f - 14*f - c for f.
2
Suppose -28*o + 3743 + 935 = -1594. Solve -o*f + 252*f = 56 for f.
2
Suppose 112 = 127*m - 120*m. Solve m = -134*c + 138*c for c.
4
Let g be 388/28 - 1/(-7). Suppose 0 = -g*f + 40 + 86. Solve -f*q + 13*q + 12 = 0 for q.
-3
Suppose 160 = 20*l + 540. Let q = 29 + l. Solve q = -12*j + 10*j for j.
-5
Let z = 7621 - 7324. Solve -z*p + 279*p - 108 = 0 for p.
-6
Let y be (-2 + -54)/(-7) - (3 - -2). Suppose -g + y = -36. Solve g = 4*o + 35 for o.
1
Suppose -25*p + 214 - 14 = 0. Suppose 3 = -p*i + 51. Solve 0 = -i*a + 21 + 9 for a.
5
Let j(n) = 9*n - 31. Let k be j(9). Let r = 55 - k. Suppose 0 = -2*o + 2*a - 4, r*o + 0*o = -3*a + 30. Solve 6 + 6 = o*i for i.
4
Suppose 0 = -4*h + 30 + 102. Suppose -9 + h = 4*l - 2*k, -4*l = 4*k. Solve 0 = l*q - 17 - 3 for q.
5
Let a = 1464 + -623. Let i = -841 + a. Suppose 34 = q - 0*v + 5*v, -55 = -5*q - 2*v. Solve u + 2*u - q = i for u.
3
Let v(s) = -2*s**3 - s**2 - s - 1. Let j(b) = -14*b**3 - 6*b**2 - 6*b - 4. Let t(f) = j(f) - 4*v(f). Let k be t(-1). Solve k*z = 8*z for z.
0
Suppose 3*k = 5*o - 1, 11*k - 13*k + 21 = o. Let u(t) = t - 3. Let h be u(5). Suppose h*m = 15 - 11. Solve 4*d = m*d + k for d.
4
Let o(z) = z**2 + 11*z + 20. Let v be o(-14). Let f = v + -61. Let h(s) = 4*s. Let m be h(f). Solve u + 12 = m*u for u.
4
Suppose -3 = 3*m, 3*c + 5 = -3*m + 56. Solve 6*i + c*i = 24 for i.
1
Suppose 465 = -c - 2*k, -4*c = -0*c - k + 1860. Let t = -463 - c. Solve 0 = -t*b - 28 + 22 for b.
-3
Let j be 10/(-7) - (-33394)/826. Solve 0 = 12*w + j + 9 for w.
-4
Let d(g) = 6*g - 163. Let y be d(32). Suppose -x + y - 10 = 0. Solve x*v = 16*v + 15 for v.
5
Let x(f) be the first derivative of -f**2 + 11*f + 10. Let b be x(6). Let j be (b - 1 - -3) + 1. Solve c = -0 + j for c.
2
Suppose 0 = -5*y - 3*j - 2456, 6*j + 1460 = -3*y + 11*j. Let v = -487 - y. Solve v = 5*z + 13 for z.
-2
Let g be 1 + (-1 - -1) + 1. Let f(u) = u + 73. Let o be f(-46). Suppose -32*z + 30 = -o*z. Solve 0*c + z = g*c for c.
3
Let y(z) = 154*z**2 - 24*z + 25. Let c be y(1). Suppose 6*g - c + 125 = 0. Solve 8*o = 29 - g for o.
3
Suppose 5*v + 438 + 352 = -5*k, -604 = 4*v - 3*k. Let g = -152 - v. Solve g*z = z + 1 for z.
1
Let s be (-1830)/(-30) - (-8)/2. Let i = -61 + s. Suppose 43*q + i = 45*q. Solve y = q*y - 3 for y.
3
Suppose 0 = 6*v - 9*v - 2*u + 326, 2*v + 4*u - 236 = 0. Solve -434 = -66*z - v for z.
5
Suppose 3*c + 4*v = 75, -c + 5*v + 8 = -36. Suppose c = 2*n + 13. Solve 0 = -2*p + 16 - n for p.
4
Let r(z) = z**2 + 13*z + 17. Let n be r(0). Solve 7*l - 7*l = -n*l for l.
0
Let y(m) = m**2 - 4*m - 1. Let q be y(5). Let j be q + 2/(-4)*-1*4. Solve -1 - j = 7*v for v.
-1
Let l(b) = -3*b + 53. Let y(f) = -3*f**2 - 11*f + 13. Let x be y(-6). Let c = 46 + x. Let o be l(c). Solve 9 + 1 = -o*s for s.
-5
Let w be 148/1 - (-21)/(-7). Let j = w - 135. Solve -4 + j = -3*g for g.
-2
Suppose -k - 38 = -2*u, -13*u + 21*k + 229 = 19*k. Solve -7*w + u = 52 for w.
-5
Let r(z) = z**2 - 10*z - 48. Let p be r(15). Solve -22*y + p*y + 30 = 0 for y.
-6
Let i(f) = -3*f + 36. Let n be i(-6). Let w = n - 42. Suppose c = 13*c - w. Solve 0 = -b + 4 + c for b.
5
Suppose -3*b + 7 = -11. Let u = b - 1. Let v be (-145)/(-58)*12/5 + -3. Solve u*i - v = -18 for i.
-3
Suppose 9*m - 10*m = -6. Suppose -x - m = -10. Let r(w) = -w**2 + 5*w + 11. Let o be r(6). Solve x = -o*l - 21 for l.
-5
Suppose 0*q + q = -5, -3*q + 456 = 3*j. Solve j*x = 148*x - 45 for x.
-5
Let z(h) = 2*h**2 + 2*h + 2. Suppose 4*v = -9 + 1. Let b be z(v). Suppose -4*r + b*i - 4*i = -20, -2*r + 8 = -2*i. Solve -2*m + r = m for m.
2
Let f(g) = 9*g + 281. Let p be f(-27). Let q(r) = -6*r + 235. Let v be q(p). Solve 40 = v*a + 3*a for a.
4
Let l(x) = x**2 + x + 6. Let c(w) = -w**2 - 2*w - 7. Let j(t) = 4*c(t) + 5*l(t). Let o be j(4). Solve 0 = o*f - 7*f - 4 for f.
-4
Let w(f) = 7*f + 75. Let c(h) = -34*h - 376. Let p(x) = 2*c(x) + 11*w(x). Let g be p(-8). Solve b - g + 3 = 0 for b.
-2
Suppose z - 42 = -6*z. Suppose -5*h = 61 - z. Let i = h + 11. Solve 0 = -2*o - 8 - i for o.
-4
Let d be (-1)/3*0/(-17). Suppose 3*z = d, -4*z + 114 = 5*x - 66. Solve -o - 8*o = x for o.
-4
Suppose 4*g - 36 = -3*a, 4*g + 28 = 3*a + 40. Solve -g*l = -5*l + 6 for l.
-6
Suppose -54*b + 10574 + 3689 = 601. Solve -b + 211 = -6*a for a.
7
Let r be (-29)/(-3)*(12 - 6 - 3). Suppose -r = -11*a + 37. Solve -j + a*j = 0 for j.
0
Let b be ((-297)/22)/9*-2. Solve b*q - 144 + 144 = 0 for q.
0
Suppose 137*x = 116*x + 102 + 276. Solve 4*i + 5*i = -x for i.
-2
Let q = -24 - -22. Let a be (8 + (q - -1))*-6. Let o = -37 - a. Solve -10 = -3*h + o for h.
5
Suppose 22967 = -22*z + 3*z + 23879. Solve -13*v = -29*v + z for v.
3
Let w be (-2*(-1)/(-2))/((-12)/576). Suppose 3*a - 33 = w. Let b = 33 - a. Solve 0*u = 2*u + b for u.
-3
Suppose 13*b + 2376 = 19*b. Suppose -31*r + 658 = -b. Solve 2*a = -r + 26 for a.
-4
Let f(s) = 2*s - 1. Let t be f(3). Suppose 6 = u - 4*n, -74 = -t*u - 0*u - 2*n. Suppose -4*x - 5*g + 39 = u, 3*x - 2*g = -10. Solve q + 1 + 3 = x for q.
-4
Let k(b) = -b**2 - 69*b + 454. Let z be k(-75). Let m = 13 - 10. Solve m*h + 2 = z*h for h.
2
Let d be (-240)/100*-5*3. Solve d*k - 17 = -233 for k.
-6
Let m = -5806 + 5869. Solve 13 + m = 38*v for v.
2
Let n be (-2)/(-3) + 15890/15. Let y be 1/2 - n/(-40). Let w = y + -12. Solve -v - 2*v + w = 0 for v.
5
Let u(g) = -g**3 + 41*g**2 - 71*g - 261. Let c be u(39). Solve 0 = -c*p - 51 - 33 for p.
-7
Suppose 10*j - 5*j + 45 = 0. Let a be 4/(-1 - j)*6. Let h be a/5 + (-28)/(-70). Solve -x = -h + 6 for x.
-5
Suppose -3*o + v + 3 = -5*o, -1 = -v. Let n be -1 + (o - -5) + 2 + -2. Suppose 41 = n*m + 21. Solve 4*g - 2*g + m = 0 for g.
-5
Let k = -397 + 659. Solve -16*n - 166 + k = 0 for n.
6
Suppose 47 - 117 = -35*k. Suppose -13*n = 2*z - 9*n - 18, -k*n = 5*z - 37. Solve -z*m - 3 = -6*m for m.
-3
Suppose 8 = -g, 0 = 4*x + 3*g - 8*g - 168. Solve 29*j - x*j = -18 for j.
6
Let i(j) = j**3 - 12*j**2 + 2*j - 15. Let a be i(12). Suppose -4*z - 20 = -a*z. Let d(y) = y**2 - 5*y + 9. Let c be d(z). Solve 2 = -n + c for n.
3
Let p be 80 - -6 - ((-16)/8 - -6). Solve 6*o - 34 = -p for o.
-8
Let p be (15 + -30)*1/(-3). Suppose p*w - 6 = -c, 3*c - 5*w = -4 + 22. Solve -14 = -2*x - c for x.
4
Suppose -3482*p + 3473*p = -90. Solve -64*c + 69*c - p = 0 for c.
2
Let i(o) = -45*o**2 + o - 3. Let z be i(2). Let b = -178 - z. Solve 21 = 6*p - b for p.
4
Suppose -10*h + 4*h - 120 = 0. Let y = -15 - h. Suppose -y - 2 = -7*u. Solve u + 1 = 2*n for n.
1
Suppose 9*t - 11*t = -12. Let i = -124 - -77. Let d = i + 49. Solve d*b = t*b for b.
0
Let z = 923 + -922. Suppose 0 = -2*c - 5*p - 15, 5*c + p - 2*p - 3 = 0. Suppose -3*i + 3*k = 7 - z, k - 2 = c. Solve 0 = -i*b + b for b.
0
Let v(h) = h**3 - 18*h**2 - 18*h - 14. Let u be v(19). Suppose u*a - 3*o = 15, 5*o - 10 = a + 7*o. Solve 0 = -a*p + 4*p + 4 for p.
-1
Let u(g) = 10*g**2 + 129*g - 13. Let j be u(-13). Suppose 2*o - 1 = 7. Suppose -n + 2*x + 20 = -2*x, j = -o*n + x + 20. Solve -3 = -n*v - 19 for v.
-4
Let c = 4892 + -4879. Solve -c*d + 18 = -8 for d.
2
Let i(m) be the first derivative of 4/3*m**3 + 3/2*m**2 - 20 - 2*m. Let o be i(1). Solve -5 = o*n - 0 for n.
-1
Suppose -5*d + 95 = 4*i - 14, -4*d = 3*i - 88. Let m be (-6 - -6)/(-1 + (4 - 2)). Solve 4*w + w + d = m for w.
-5
Let o(z) = 0*z**2 + 7*z + z**3 + 16*z**2 - 18 - 20*z - 6*z. Let p = -95 + 78. Let u be o(p). Solve 9*i - u = 5*i for i.
4
Let n = 1883 + -1869. Solve n = 4*q + 22 for q.
-2
Let d = -346 + 350. Suppose -d*v = -471 + 427. Solve -5*t - 14 - v = 0 for t.
-5
Let q(a) = -16*a**2 + 2*a + 1. Let l be q(-4). Let r = l + 273. Solve 0 = 13*t - 15*t - r for t.
-5
Let o = -67961 - -67970. Suppose -29 = -4*f - 3*p, -3*f = f - 2*p - 54. Solve f*x - o*x + 2 = 0 for x.
-1
Let l(s) = s**3 + 4*s**2 - 15*s - 18. Let g(f) = 5*f + 24. Suppose 14 = y - 0*y + 5*p, y - 2 = -2*p. Let q be g(y). Let d be l(q). 