for b.
0
Let v(y) = 7*y**2 - 16*y + 24. Let s be v(-8). Let a = s + -559. Solve -2*o - a = -33 for o.
-4
Let c = -25 + 28. Suppose -4*z = c*h - 86, -55 = -3*h + 5*z - 14. Solve 4 + h = 13*i for i.
2
Let c = 1322 + 1901. Solve 0 = 3232*g - c*g - 9 for g.
1
Let f(c) = c - 1. Let d be f(3). Let h(x) = 2*x - 2. Let k be h(d). Let j be (-3)/(-4) - 3/4. Solve q - k = -j*q for q.
2
Suppose o = 2*j + 7, -22 = -4*o - 4*j + 6*j. Suppose 9 = -3*d, 1 = -o*u + 3*d + 10. Solve u*c = -c - 2 for c.
-2
Let p be 86 + -31 - (3*(-32)/12)/1. Solve -48*f = -p*f - 90 for f.
-6
Let f be 17/((-34)/20) + -2. Let l be (-1 - -6)*f/(-30). Solve 0 = 2*s + l for s.
-1
Let j be 561 + -559 - (9/4 + 3/(-12)). Solve 59*z - 62*z = j for z.
0
Suppose 2*l = 2*d - 14, -d = 3*l + 354 - 389. Solve -d*m - 11*m - 50 = 0 for m.
-2
Let j be 201/6 + 595/(-170). Solve -j*b = 75 + 15 for b.
-3
Suppose 4*f - t = 45, -2*t + 70 = 77*f - 69*f. Solve 6*c - 20*c = -f*c for c.
0
Let b be (-4)/(-74) + 265642/22237. Solve b*t + 109 = 85 for t.
-2
Let h(s) = 2*s**2 - 16*s + 95. Let w be h(19). Let q = 515 - w. Solve 44*r = 45*r - q for r.
2
Let h(q) = -q**2 + 11*q - 13. Let c be h(9). Let g = 59756 - 59756. Solve -f + 6*f - c = g for f.
1
Suppose -7*f - 36 - 18 = -89. Let y be ((-2)/1)/((-1)/8). Solve f*v = y + 9 for v.
5
Suppose -d - 2*d = -d. Suppose d = 6*h - 190 + 172. Solve 75*j = 72*j - h for j.
-1
Let g = 9 + -4. Let x(r) = -r**3 - 78*r**2 - 1521*r - 37. Let y be x(-40). Solve 0 = y*w + 7 + g for w.
-4
Let n(b) = 2*b + 20. Let l be n(-8). Suppose 3 = l*y - 3*y. Solve 7*u = y*u + 4 for u.
1
Suppose 1975*h - 1998*h = -1058. Solve 56*a = h*a + 10 for a.
1
Suppose 21450 = -46*w + 13*w. Let n = w + 650. Solve 11*l - 5*l + 30 = n for l.
-5
Let f = 562 + -521. Solve -f*k + 4*k = -74 for k.
2
Suppose 11 = 3*c - 58. Suppose 0*x + 14 = 2*x + 4*m, 4*m - c = -5*x. Suppose 0 = x*f - 7 - 5. Solve 0*p - f*p = -4 for p.
1
Let z = -3737 + 3737. Solve z = 576*j - 573*j + 6 for j.
-2
Let d = 1 + 2. Let z = 5236 - 5221. Suppose d = 6*w - z. Solve -2*p + w*p + 2 = 0 for p.
-2
Let i(q) = -q**3 + 10*q**2 + 4*q - 25. Let k be i(10). Suppose 8 = 3*r - 4. Suppose g - 4*z - 8 = 11, r*g - 3*z = 24. Solve -g*t - k = -0*t for t.
-5
Let l = 4 - 10. Let q be 112/42 + 4/l. Suppose 2*f = -p + 6, -f - f - q = -3*p. Solve 8 = -6*d + f*d for d.
-2
Suppose z = -3*d - 2 - 5, 4*d + 3*z + 6 = 0. Let u(k) = 6*k + 18. Let y be u(d). Solve y = -16*l + 14*l + 6 for l.
3
Let x(a) = -a**3 + 5*a**2 - 2*a - 5. Let k = 204 + -201. Let t be x(k). Solve 4*y + t = 3 for y.
-1
Suppose -7*c + 6*c - 130 = 0. Let q = c - -135. Solve 0 = -6*h - 25 - q for h.
-5
Let z be 118/(-531) + (-40)/(-18) + 1. Suppose -16*y + 15*y + k = 3, -9 = -5*y - z*k. Solve -2*u + y + 2 = 0 for u.
1
Suppose 25*s = 14*s + 66. Suppose x + 10 = 5*l + 22, -x + 3*l + s = 0. Let t be 1 + x/(-9)*-3. Solve t = 3*o - 12 - 0 for o.
4
Let f(n) = 12*n**2 - 34*n + 159. Let p be f(4). Solve p*v - 228*v = -39 for v.
3
Let d be (28 - 28)/(35/5). Solve d = 11*t - 3*t + 40 for t.
-5
Let l be (60/1)/((-42)/(-105)) - 4. Let f = l - 139. Solve -5*n - f = 13 for n.
-4
Suppose 12 = 3*j, 14*k = 16*k - 3*j - 22. Solve -86 = -23*v - k for v.
3
Let b(q) = q**3 + 5*q**2 - 10*q - 24. Let d(a) = a**3 - 4*a**2 - 13*a. Let w be d(6). Let n be b(w). Suppose x = 0, n*t + 5*x = t. Solve 0*i + 2*i = t for i.
0
Let l = -81 - 40. Let x = l + 123. Solve -x*s = 3*s for s.
0
Suppose 12*j - 16*j = -3*g - 15, -3 = -j. Let p(u) = -14*u**3 - 3*u**2 - 7*u - 3. Let f be p(g). Solve -9*v = -f*v - 6 for v.
-1
Suppose 0 = q + 5*j + 9 - 56, j - 150 = -4*q. Let r = -28 + q. Suppose r*a - 4*a = 0. Solve a = -y - 2*y - 12 for y.
-4
Let q(w) = -17*w**3 + w + 30*w**3 - 12*w**3 - 2. Let o be q(1). Suppose o = -6*z - 3 + 9. Solve 2*x = z + 7 for x.
4
Suppose 60 = 22*w - 6. Let g = -3 - -6. Suppose 13*i - 126 = 108. Solve w*n = -i + g for n.
-5
Suppose -8*f + 60 = -52. Let y(c) = 11*c + 10 + c + c**2 + f + c**2. Let x be y(-4). Solve -s = s + x for s.
-4
Suppose -3*i - 2*a + 79 = 55, 0 = 2*i - 2*a + 4. Solve -54 + 50 = i*q for q.
-1
Let z = -20449 + 20458. Solve z*w = 29*w + 160 for w.
-8
Let i = -33477 - -33497. Solve 0 = -59*l - 197 + i for l.
-3
Let g be 1/(-1 - -3)*9*54. Suppose 131*p + g = 140*p. Solve -10*f - p = -f for f.
-3
Let p = -9514 + 9523. Solve -6*i - p = 27 for i.
-6
Suppose -x = x - 18. Suppose -h + 11 = 3*s, x*s - 10 = 4*s. Let b be 44/132 - 2/6. Solve h*n - 2*n + 3 = b for n.
-1
Let q(g) = 80*g + 11. Let u be q(0). Solve 5*w + u = 21 for w.
2
Let t(k) = -7*k + 195. Let z be t(25). Solve 73*i = 78*i + z for i.
-4
Suppose -5 = -5*g, z - 4*z + 4 = 4*g. Suppose m - 2*m = z, 5*m - 15 = -3*t. Let q = 42 - 40. Solve -t = q*s - s for s.
-5
Suppose 40 = 2*c - 5*t, t - 25 + 33 = 0. Suppose 9 = 4*q - 3*l, q - 4*l - 12 = 3*q. Suppose 3*b - 1 - 20 = q. Solve c = 3*z - b - 5 for z.
4
Let w(l) = -l**2 - 105*l - 678. Let a be w(-7). Solve 0 = a*j + 3*j for j.
0
Let f be (1*-2 - -2) + -5 + 7. Suppose -2*h = w + 8, 0*h + 5*h = f*w - 11. Let l be ((-6)/(-1))/(-1 - w). Solve u = -u - l for u.
-3
Let f(w) = -2*w**2 - 13*w - 1. Let y be f(-6). Suppose 0*l - 19 = -4*d + l, -y*d + 3*l + 29 = 0. Solve d + 0 = s for s.
4
Let b(p) = p**2 - 39*p + 347. Let s be b(35). Solve 235 = 4*o + s for o.
7
Suppose -4*r + 2*r + 16 = 0. Let w be (-158)/r*(-68)/(-17). Let m = 81 + w. Solve 0 = 2*u + m - 0 for u.
-1
Suppose 3*n - 34 = -k + 24, -5*n + 82 = -2*k. Suppose 0 = -n*l + l. Solve j = -l*j for j.
0
Let w(k) = 109*k + 94. Let s be w(4). Let j = 562 - s. Solve 13*v = 5*v - j for v.
-4
Let f = -93 - -105. Suppose 13*v = 10*v + f. Suppose 3 = 3*n - 0. Solve v*k = -11 - n for k.
-3
Suppose -3*l = 4*k - 282, 2*k - 170*l + 175*l - 162 = 0. Solve -12*v + 31*v = -k*v for v.
0
Suppose 0 = 81*d + 4535 - 20411. Solve d = -53*x + 25*x for x.
-7
Suppose -y = -2*o - 4, o - 4*y + 16 = -3*o. Suppose -2*j = 2*w - 13 - 3, o = 4*w + 5*j - 30. Solve s = 3*s + w for s.
-5
Let i be 1/(-2)*-4 - 745. Let h = i + 1258. Suppose -10*f + h = 115. Solve -5*k + 15 - f = 0 for k.
-5
Let c be 5/((-175)/(-14)) - 20/50. Solve -16*d + 18*d - 12 = c for d.
6
Let y be (-34860)/4067 + 4/7 + 0 - -173. Solve -y*l = -154*l - 55 for l.
5
Let v(d) = d**3 - 26*d**2 + 3. Let r be 30/(-9) + 4 - 357/9. Let k be 4/((2/r*3)/(-1)). Let m be v(k). Solve 0 = 3*p - 0 + m for p.
-1
Let g be ((-962)/39)/((-10)/6) - 2/(-10). Solve g*z - 6 - 9 = 0 for z.
1
Suppose 5*s + 8 = 4*w, -2*s + 0 - 13 = -3*w. Suppose -4*g - w = -11*g. Solve -d = 4 - g for d.
-3
Let k(r) = r + 7. Let m be k(-5). Suppose 18 = 5*q + 3*p, -26 = q - 4*p - 25. Let y(g) = 2*g**3 - 2*g**2 + 2*g - 1. Let v be y(1). Solve -q*f = m + v for f.
-1
Let o(j) = 1377*j + 13782. Let d be o(-10). Solve 0 = 18*l + d*l - 60 for l.
2
Let j(u) = u**3 + 6*u**2 - 92*u - 11. Let c be j(-13). Let b(o) = -o**3 + 1. Let m be b(1). Let l be 2 + m - (4 + -9). Solve -c*y + l*y = -25 for y.
-5
Let o be (-801)/(-15) + ((-6)/(-5))/2. Let f = -49 + o. Suppose -21 = -f*h + 4*j + 2, j + 8 = 2*h. Solve 0 = -h*u - u for u.
0
Let g be (-23 + 5913/(-54))/((-5)/8). Solve -d - 207 = -g for d.
5
Let x(t) = t**3 - 56*t**2 + 113*t - 240. Let z be x(54). Solve 0 = -681*k + 687*k - z for k.
5
Let r(d) = 2*d**3 + 53*d**2 + 34*d + 21. Let p be r(-23). Solve 7*b - p = -2998 for b.
-8
Suppose -149*y + 113*y + 4212 = 0. Solve t + 116 = y for t.
1
Let z(q) = -17*q + 88. Let l be ((-2)/((-4)/(-1)))/(58/(-580)). Let r be z(l). Solve 0*m = r*m for m.
0
Let m be ((7/(-8))/7)/(17 - (-1395646)/(-82096)). Solve -m*l + 742*l + 45 = 0 for l.
-5
Suppose -530 - 310 = -8*f. Let k = -102 + f. Solve r - k*r = 6 for r.
-3
Let s(o) = -o**3 + 23*o**2 - 24*o + 51. Let k be s(22). Let r(l) = -8*l**3 + l**2 - l + 1. Let t be r(1). Let x = t + k. Solve -3*w + 5*w - 10 = x for w.
5
Let r be (-8 - (-246)/30) + 3/(30/448). Solve -51*s = -r*s + 30 for s.
-5
Let i be -12*(40/20 - 36/8). Solve -145 = 23*s - i for s.
-5
Let p = 1 + 6. Let f be (4/(-4) - 2) + -339. Let b = f + 345. Solve -20 = p*x - b*x for x.
-5
Let t = 132 + -42. Suppose -2*i - t + 4 = 0. Let k = i - -44. Solve -k + 6 = w for w.
5
Let y(o) = -o**3 - 31*o**2 + 109*o + 259. Let n be y(-34). Solve -7*l + 28 = -n*l for l.
-2
Let d be (51/34)/(2 + (-5)/2). Let f(u) = -2*u**3 - 2*u**2 + 7*u + 9. Let m be f(d). Solve -22*p + m*p = 4 for p.
2
L