 Let x be (b + 1)/(-1 - g). Solve -4*j + x = 1 for j.
3
Let t = 782 - 777. Solve -2*w + 3*w = t for w.
5
Let n = 188 - 177. Solve -9*h + 16 = -n for h.
3
Suppose -4*m + 2*m - 36 = -5*p, m - 21 = -4*p. Suppose 11*k = p*k. Solve j = -k*j + 4 for j.
4
Let p be 14*(-5)/(-10)*4. Solve -p + 24 = 2*k for k.
-2
Suppose -93 + 21 = -12*f. Solve 3*t - f = -15 for t.
-3
Suppose 3*m - 4*f - 21 - 6 = 0, -3*f + 16 = 5*m. Solve -7*l - 23 - m = 0 for l.
-4
Let p be -9 - (0 + 2) - 2. Let u(t) = -t + 11. Let g(j) = -j. Let q(l) = 2*g(l) - u(l). Let i be q(p). Solve 0 = -i*r - 0 - 6 for r.
-3
Let t be (-1)/4*(20 + -128). Solve -9*r + t + 0 = 0 for r.
3
Suppose 8*r = 38*r - 360. Solve 13*p + r = 19*p for p.
2
Let m be (-24)/10*(-20)/8. Solve 13*n = m*n for n.
0
Let j be 2 + 5*(-6)/(-15). Suppose -j*q + 17 = -31. Solve 5*d = d - q for d.
-3
Suppose -3*g - 5*q = -10, 5*g + 2 = -4*q - 3. Let y be 15*g/(-15) + 1. Solve -5*l = 16 - y for l.
-2
Let f = 44 - 42. Let k be -4*(-5)/f*(-3)/(-6). Solve -k*q + 3*q = -6 for q.
3
Suppose -3*q - 54 = 2*b, -54 = 4*q - q + b. Let c be 110/q + (-3)/(-27). Let w be 25/15 - (-4)/c. Solve -7 = -2*o - w for o.
3
Suppose 2*b - 4 = 8. Let d(k) = -k + 8. Let q be d(b). Solve -q*r + 8 = -0*r for r.
4
Suppose 5*l - 10 = 5. Suppose -2*c + 3*i + 10 = 0, 0 = -c - 0*i - l*i - 13. Let v be (0 - -1 - 1)/c. Solve v = -b - 0*b + 5 for b.
5
Let n = -31 + -55. Let l = 87 + n. Solve 0 = -v + 3 - l for v.
2
Suppose f = -2*l - 28, 5*l = -0*l. Let v = -28 - f. Solve v*a + 1 = a for a.
1
Suppose 0 = 2*o + 6, -3*n - 4*o + 6*o = -21. Solve -n = h - 1 for h.
-4
Let z be (559/(-129))/(2/(-6)). Solve 0 = -z*g + 19*g for g.
0
Let g(i) = i**3 + 2*i**2 - i. Let o be g(1). Suppose -o*f = -4*f + 8. Suppose 0 = s + f, 3*m = -6*s + 2*s - 1. Solve -m*a - 10 + 35 = 0 for a.
5
Let q(x) = -3*x**2 - 20*x - 11. Let o be q(-6). Solve -24*m - 23 - o = 0 for m.
-1
Suppose y - 4*t = 4*y + 12, t = -2*y - 3. Solve y*u = 2*u for u.
0
Suppose 3*m - 30 = -0*m. Let h be 3/(-9)*(16 - -5). Let y = m + h. Solve -v + 1 - y = 0 for v.
-2
Let h(f) = 3*f**3 + 2*f**2 + 2*f + 1. Let q be h(-1). Let r = 3 + q. Let o = -671 + 675. Solve -5*t + o + r = 0 for t.
1
Let k(p) = -p**2 - 6*p - 2. Let r be k(-3). Suppose r*z = -0*z. Solve z = -2*w + 6*w for w.
0
Let p be (30/(-48))/((-21)/(-24) + -1). Solve -p*x + 10 = -0 for x.
2
Let i be 3/(-6)*4 + 6. Let p be 3 + (2 - 24/i). Let h be 2*p*56/(-7). Solve 5*n + h + 9 = 0 for n.
-5
Let l(s) = -s**3 - 14*s**2 - 45*s + 2. Let v be l(-9). Solve 5*w - v + 2 = 0 for w.
0
Suppose 24*p - 4 = -4. Solve p = -3*h + 11 - 5 for h.
2
Suppose 0 = -3*a + 2*a - 3*g + 4, -g - 1 = 0. Solve -a = -2*y - 15 for y.
-4
Suppose -8*q = -q - q. Suppose q = 6*i - 2*i. Solve i*z - 1 = -z for z.
1
Let g = -1189 + 1189. Solve -2*c + g = 8 for c.
-4
Suppose -c = -5*m + 4*m - 9, -2*c - m = -3. Let r = 51 - 51. Solve -c*y = -r + 20 for y.
-5
Suppose -x - 2 - 1 = 0. Let h(j) = -173*j + 85*j - 3 + j**3 + 84*j + 2*j**2. Let m be h(x). Solve -4*q + q = m for q.
0
Let u be 6/(-21) - (-60)/14. Suppose 0 = 5*a + o - 15, -12 = -4*a - u*o - o. Suppose 0 = 63*k - 75*k + 24. Solve -7 - k = -a*g for g.
3
Let c = 4 - 10. Let v be c*(-4)/(9 + -1). Suppose q - 18 = -v*a - 3*q, a = -3*q + 11. Solve 0*h + a = -2*h for h.
-1
Let a = 0 - -2. Suppose 5*p = a + 8. Solve -2 = -p*b - 4 for b.
-1
Suppose 5*b = 142 - 82. Solve 8*x = 2*x - b for x.
-2
Suppose 7*z = -6*z + 260. Let v be 1 + (-76)/(-10)*z/8. Solve 6*d = d + v for d.
4
Let n = -761 - -782. Solve -n*z = -4*z + 85 for z.
-5
Suppose -2*h + 4*r - 5*r = 15, -3*h = -5*r - 10. Let z be (-12)/4 - h - 2. Solve z = 3*y + y for y.
0
Let r = 195 - 192. Solve -r = 4*q - q for q.
-1
Let g be ((-57)/9 - -5)*30/(-4). Let m = -53 - -95. Let k be m/15 + (-1)/(-5). Solve -k*w = 5 + g for w.
-5
Let j be (122 + 12)*1/2. Solve -71*z - 4 = -j*z for z.
-1
Let k(a) = a - 9. Let g be 3 - 3 - (0 + -12). Let t be k(g). Solve -15 + 3 = -t*l for l.
4
Let n(v) = v + 5. Suppose 0*o - 4*o + 24 = 0. Let m = 1 - o. Let p be n(m). Solve r + p*r = -4 for r.
-4
Let i = -25 - -22. Let w be i/9 - (-20)/6. Solve -m - w = -2 for m.
-1
Let x be (-3 - (-76)/24) + 22/12. Solve 6 + 4 = -x*w for w.
-5
Suppose -w + 0*w + 36 = 0. Suppose 37*s = w*s. Let o be 3 + (-1 - -1) + -1. Solve 2 = o*c - s*c for c.
1
Let t be 8/12 - 14/(-6). Let p be ((-45)/10)/(2/(-4)). Suppose 0*f - f = -3*q + 3, 0 = 2*q - t*f - p. Solve q*n + n = -2 for n.
-2
Suppose -t + 5*y - 106 = -4*t, 0 = 3*t - 4*y - 61. Suppose -t + 11 = -4*u. Solve -k = -3*k + u for k.
2
Let u be ((-12)/10)/((-8)/20). Suppose -u*j + 5*s - 10 = 0, 0 = 2*j + j + 2*s - 25. Solve -13 = -j*k - 38 for k.
-5
Suppose -2*b = 5*s - s - 62, 2*s - 2*b = 34. Suppose -s = -q - 12. Solve -v = q*v + 25 for v.
-5
Suppose 1228*x = 1232*x - 52. Solve 4*o + 45 = x*o for o.
5
Suppose 29*y + 0*y = 58. Solve 0 = -2*h - y*h + 4 for h.
1
Suppose -5*f = -3*y + 277, 0 = -f - 2*y + y - 49. Let i = f + 74. Suppose -2*u + i = u. Solve u*s - 3*s = 12 for s.
3
Let n be 28/6 - (-2)/(-3). Suppose 2 + n = 2*i. Suppose 5*y = d + 26, -i*y - d = -6*y + 16. Solve y*h + 5 = -5 for h.
-2
Suppose 0 = -f + 2*y - 7*y + 10, 6 = -3*f + 3*y. Let o be 207/8 - 15/(-120). Suppose 5*d = -16 + o. Solve f = d*j - 0*j - 4 for j.
2
Let d be (26/(-4) + 6)/((-1)/10). Let q(z) be the first derivative of -z**3/3 + 3*z**2 - 2*z - 1. Let x be q(d). Solve -10 = x*a - a for a.
-5
Suppose -c = -5, i - 3*c + 15 = -i. Let p = -142 + 144. Suppose p*j - 5 = 3*z, i - 11 = -3*j + z. Solve -1 = -b - j for b.
-3
Suppose o + 3*v + 3 = 0, -v + 18 = 5*o + 3*v. Let f(s) = -8*s + 51. Let y be f(o). Solve -y*i + 10 = 2*i for i.
2
Let j be 2 + -2 + (7 - 4). Let q be ((-3)/(-2))/(-2*j/(-12)). Let o(c) = c**3 + 6*c**2 + 3*c - 2. Let h be o(-5). Solve -m = q*m + h for m.
-2
Let y be (-5 - (-6 + 3))*84/(-8). Suppose -26*l + y*l = -65. Solve 5 - l = 2*q for q.
-4
Let d(z) = -4*z + 78. Let j be d(19). Solve i = 4 - j for i.
2
Suppose 32*u = -u. Solve 5*b - 11*b = u for b.
0
Let v be -4 - (-4)/((-8)/(-14)). Suppose v*u = 2*u. Solve -2*p + u*p + 4 = 0 for p.
2
Let b be (5 + (-20)/12)/(2/12). Solve 0*i + 4*i = b for i.
5
Suppose l = -3*o + 6, 5*o + 0*l - 21 = 2*l. Let w be o + 0 + (3 - 2). Suppose w*m = m. Solve m = -v - 2*v - 6 for v.
-2
Let g = -57 - -28. Let l(j) = j**3 + 29*j**2 + j + 36. Let z be l(g). Solve 0 = -3*x + z*x for x.
0
Let q(j) = -8*j + 34. Let s be q(4). Solve 0 = a + s*a + 3 for a.
-1
Suppose x - 5*d - 52 = -6*d, x - 4*d - 27 = 0. Solve -4*t - 27 + x = 0 for t.
5
Let s be 10 - (7 + 0) - (1 + -1). Solve x - 10 = s*x for x.
-5
Suppose -681*k - 270 = -686*k. Solve k*n = 49*n + 20 for n.
4
Let v = 16 - 1. Let q(i) = i**2 - 6*i - 61. Let x be q(10). Let l = x - -21. Solve l = 2*o + o - v for o.
5
Let a(h) = 15*h - 100. Let z be a(8). Solve -16 = -2*v - z for v.
-2
Let h(s) = -13*s**3 + 8*s**2 - s + 8. Let x be h(4). Let d be (-12)/(-14)*(x/(-15))/10. Let v be (-9)/(-2) + 2/(-4). Solve d = 2*g - v for g.
4
Let g(a) = -3*a**3 - 1. Let s be g(-1). Suppose 0*c - 4*d = s*c - 22, 0 = -2*c - 5*d + 25. Solve -c*m - 6 = 4 for m.
-2
Suppose 17*a = 10*a + 126. Solve 0 = 4*i + 2*i + a for i.
-3
Let b = 66 + -57. Suppose p = -2*z + 13, 7*p = 2*p + 4*z + b. Solve 3*q - 2 = -p for q.
-1
Let w(y) = y**3 - 24*y**2 + 26*y - 57. Let r be w(23). Solve r*j - 10 = 2*j for j.
1
Let q be (10*(-1)/(-2))/((-440)/(-2024)). Solve 0 = -2*z - q + 27 for z.
2
Suppose 6*g + 0*g = 30. Let j = 8 - g. Solve -2*c + j*c = 3 for c.
3
Suppose -4*o = -0*o - 36. Solve -o*g + 12 = -15*g for g.
-2
Let p = 520 - 515. Solve 5*b - 40 = -p*b for b.
4
Let l = 18 + -15. Let q(b) = -b**2 + 8*b - 2. Let f be q(l). Suppose 2*r = -r + 5*i - 1, -i - f = -5*r. Solve -r + 13 = 2*w for w.
5
Let n(t) = -t + 5. Suppose 2*r + 25 = 7*r. Let g be n(r). Let q be 4/2 - (2 - g). Solve q*x = x + 5 for x.
-5
Let p(v) = 7*v - 2. Let i be p(1). Suppose -2*t = 3*k - 10, -i = 4*t - 2*k - 9. Solve -t = 4*w - 6 for w.
1
Let c(v) be the third derivative of -1/24*v**4 + 12*v**2 + 4/3*v**3 + 0*v + 0. Let j be c(4). Solve -r = -j*r for r.
0
Let q = 34 + -34. Suppose q = 2*v - 4*v - 6, -5*o - 15 = 5*v. Solve -5*g + o*g = 20 for g.
-4
Let o = 225 - 222. Solve o + 7 = -10*c for c.
-1
Suppose 0*l = 4*l - 4*u + 4, 0 = 3*u + 3. Let i(r) = -r**3 - 3*r**2 + r + 7. Let p be i(l). Solve 26 = 5*d + 