olve -5*d = 49 - w for d.
3
Suppose 0 = 3*w - 7*w - 92. Let p = w + 26. Solve 7*b = 4*b + p for b.
1
Let s = 9 + -4. Let y(u) = u**2 + 4*u + 6. Let c be y(-6). Suppose 9 = -2*j + s*l + 38, -l = 3*j - c. Solve j*h - 2*h = 0 for h.
0
Let w = -9 - -13. Suppose 3*f = 2 + w. Suppose 5*x - f*b - 60 = 0, -5*x + 5*b + 42 + 33 = 0. Solve -6*l - x = -l for l.
-2
Suppose 4*a - 3*f - 2 = 0, -a - 4 - 4 = -5*f. Suppose d = -p + 11, d + p - 1 = a*p. Solve k - 2 = -d for k.
-4
Suppose 5*x = -151 + 6. Let m = x - -31. Suppose 2*w - 6 = m. Solve u = -5 + w for u.
-1
Let h = -29 + 32. Suppose -h*m = 5*m. Solve -3*r + 0*r + 6 = m for r.
2
Let a = -4 - -14. Let j(i) = 2*i - 10. Let n(s) = -s - 1. Let k be n(-7). Let b be j(k). Solve -b = -4*m + a for m.
3
Suppose 2*b - 3*t = -2*t + 13, 0 = -5*b + 4*t + 34. Solve -w + b = 4 for w.
2
Suppose -2*w + 61 = -5*q, 5*q + 8*w - 3*w = -40. Let o be 26/3*(-12)/8. Let p = q - o. Solve 7*s - p*s - 10 = 0 for s.
2
Suppose 7*m = 4*m + 231. Let g = m + -68. Solve -2*q - 1 = g for q.
-5
Let i = -1271 - -1273. Solve -i = -11*d - 35 for d.
-3
Let i(u) = -u**3 - 6*u**2 + 6*u - 4. Let n be i(-7). Suppose -n*z = -4 - 5. Solve -t + 5 = z for t.
2
Suppose 4*c + c = 10. Suppose 0 = -c*d - d. Solve d*t = 4*t - 4 for t.
1
Let f be -1 + (65 - 7) - (0 - -5). Solve 0 = -59*j + f*j - 35 for j.
-5
Suppose -2*u = -10, 3*s + 4*u - 8 = 6*u. Suppose -3*r + 0*r = -108. Let k = 57 - r. Solve k - s = 5*f for f.
3
Let x be -1*1128/(-21) - (-2)/7. Let b = x + -51. Solve -b*d = -d - 4 for d.
2
Let f be -12*(1 - (-9)/(-6)). Let n be 2/(-3) - (-4)/f. Let u be 3 + 7 - (1 - 0). Solve n*x - u = 3*x for x.
-3
Let v = 2457 + -2452. Solve 0 = o - v*o - 12 for o.
-3
Suppose -3*b - 5 = b + v, b - 5*v = -17. Let r be 3*(b/1 + 1). Let s be r*(-3 + (-14)/(-6)). Solve -s*l - 9 = l for l.
-3
Suppose -5*n + 5 = -5. Suppose 5*w = 3*k + 6 - 5, 3*w = -4*k - 11. Let o(b) = -3*b**3 - b. Let f be o(w). Solve 2*u = f*u - n for u.
1
Let b be (1 + -1 - -7)*58/7. Suppose 60*i = b*i. Solve 2*m + 0 - 10 = i for m.
5
Suppose 20*w - 48 = 152. Solve -9*a - 35 = w for a.
-5
Suppose 3*q - 20 = -2. Suppose -3*f + 2*a + q + 2 = 0, -2*f = -5*a - 9. Solve -f = -v - 3 for v.
-1
Let t = 1236 - 1234. Solve -t*y - 6*y = -2*y for y.
0
Suppose 165 = -5*l - 85. Let k be (36/45)/((-4)/l). Suppose 25*r - k = 20*r. Solve -r = s + 1 for s.
-3
Suppose 86 = -4*h - 3*w, 7*h - 42 = 9*h + w. Let s = -17 - h. Solve 0 = 4*k - 23 + s for k.
5
Let x(o) = -o**3 + 9*o**2 + 2. Let k be x(9). Suppose -2*b - 3 = -t - 3*b, -b = -4*t + 22. Solve -k*f + t*f = 6 for f.
2
Suppose -11*g + 2*g = -126. Solve 0 = 7*k - g - 14 for k.
4
Let j(b) = 3*b**3 + 2*b**2 - 2*b + 2. Let o be j(1). Let v(c) = -2*c**3 - 4*c**2 + c + 1. Let y be v(-3). Solve y = o*l - 9 for l.
5
Let b(w) = 7*w - 3. Let o be b(1). Let z = 4 - o. Solve -3 = -3*d - z for d.
1
Suppose 137*g = 127*g + 40. Solve g*i + 24 = 4 for i.
-5
Let l(z) = z**2 + 4*z - 4. Let i be l(-5). Let p(t) = -4 + 2 + 5 - t - i. Let r be p(2). Solve r*o = 2*o + 2 for o.
-1
Let u be (-10)/(-4)*210/75. Let d = 11 - u. Solve -d*m - 10 = m for m.
-2
Let b = -67 - -62. Let v(d) = d + 7. Let g be v(b). Solve -2*x = g*x + 8 for x.
-2
Let z(y) = y**3 - 9*y**2 - y + 13. Let q be z(9). Suppose -q*b + b = -5*n + 40, 0 = 3*b. Suppose -3*w + 10 = -4*h, 2*w = 3*h + h + n. Solve 0 = 6*a - w*a for a.
0
Let h(r) = -r**3 - 7*r**2 + 20*r + 23. Let v be h(-9). Solve 0 = v*f + 16 + 9 for f.
-5
Suppose -909 + 282 = -33*b. Solve b*p = -45 + 7 for p.
-2
Let h = 855 - 840. Solve -7*y + h = -2*y for y.
3
Suppose -2*k = 3*k. Suppose 5*s - 18 = -k*j - j, 3*s + 3*j = 6. Solve 4 + s = -4*x for x.
-2
Suppose c = -148*y + 152*y + 24, 28 = 3*c - y. Solve 8*b - 64 = -c*b for b.
4
Suppose 19*z - 3 = 18*z. Solve a - z = -2 for a.
1
Let r = 31 + -26. Suppose -r*b - 4*c = -67, 0 = -3*c - 3 - 3. Solve -b = -y + 4*y for y.
-5
Let j be ((-10)/12)/((-1)/6). Solve -7 = j*m - 27 for m.
4
Suppose 23*g - 786 = -280. Solve -25*d = -g*d for d.
0
Let v(k) = -k**3 - 7*k**2 - 5*k - 7. Let q be v(-6). Let y = -13 - q. Solve y = -0*s - 3*s + 15 for s.
5
Let x be 14/8 + 2/8. Let r be ((-42)/(-11) - 3) + (-6)/(-33). Let a(h) = 3*h**3 - 3*h**2 + 5*h - 3. Let i be a(r). Solve i = k - x for k.
4
Let b(c) = c + 10. Let v(f) = -5*f - 3. Let l be v(5). Let z = l + 18. Let q be b(z). Solve 9*o - 4*o - 10 = q for o.
2
Suppose -5*v = -5, q = -0*v - 2*v + 6. Solve q*l - 20 = 9*l for l.
-4
Let h = 97 + -62. Let w be 1325/(-265) - 16/(-3 - -1). Suppose -8*o + w*o + h = 0. Solve -k + 4 = o for k.
-3
Suppose 0 = 8*p + 28 - 44. Let b be (p/2)/1*(-6)/(-3). Solve 0 = t + b*t - 9 for t.
3
Let s = 3 + -2. Let f(w) = 3*w. Let t be f(s). Suppose 15 = 3*o + 6*x - t*x, -2*o + 7 = -x. Solve 0 = -o*b + b - 9 for b.
-3
Let f(c) = 2*c + 3. Let l be f(-2). Let i be ((6/(-15))/(l/(-10)))/(-2). Solve i*s + 3*s - 25 = 0 for s.
5
Let i = -1 + 28. Let f = i + -9. Suppose -f*g - 6 = -20*g. Solve k - 12 = -g*k for k.
3
Suppose 4*x - 60 = y, 4*y + 6 - 46 = -4*x. Solve x*t - 2*t = 48 for t.
4
Let f be (-88)/14 + 6/21 - -12. Solve 5*k - f = 9 for k.
3
Suppose -20*l + 1 = -15*l + g, 5*g = -5*l + 5. Suppose -s - 1 + 3 = 0. Let p be s/1 + (-2 - -5). Solve 0*c + p*c - 10 = l for c.
2
Suppose 0 = -g + g - g. Suppose g = -b - 3*b + b. Solve c + b = 1 for c.
1
Suppose 8*a = 130*a - 488. Solve a*x = -4 + 8 for x.
1
Let x = -292 - -324. Solve 4*p + 4*p = x for p.
4
Let l(j) = -4*j - 25. Let b be l(-8). Solve -1 = -6*z - b for z.
-1
Suppose k - 27 = -3*i, -5*i = -7*k + 2*k + 95. Solve k*f - 15*f = 24 for f.
4
Let m be -2 - 0 - (-2 - 11). Let z = m + -5. Suppose z*s = s. Solve 2*k - 7*k - 10 = s for k.
-2
Let y = -407 - -462. Solve 75 = -4*w + y for w.
-5
Let x(b) = 4*b**3 + 12 - 6*b**2 + 3*b - 2*b - 5*b**3 - 1. Let v be x(-6). Solve p + 0*p = -v for p.
-5
Let a = -65 + 56. Let c = a + 11. Solve -c*h = -h for h.
0
Let t(o) = -19*o - 126. Let j be t(-8). Solve 0 = -25*h + j*h + 4 for h.
-4
Let p be 2 - 4/12*3. Let a be p - 4/(-12)*-3. Solve 3*c - 8*c + 20 = a for c.
4
Suppose 0 = 2*m + 5*c - 5 - 21, -2*m - 4*c + 24 = 0. Solve m*o - 10*o = 4 for o.
-2
Let g(k) = 2*k**2 - 38*k + 37. Let m be g(0). Solve -m*n - 3 = -34*n for n.
-1
Let s be ((-2)/(-8) - 0)/(2/16). Suppose -q + 79 = 5*a - 2*q, q - 26 = -s*a. Solve -3*u - 2*u - a = 0 for u.
-3
Let w be (-44)/(-10) - 18/45. Suppose 2*v + 66 = -5*d + 3*v, -w = -4*v. Let u = d + 17. Solve -u + 0 = -4*x for x.
1
Suppose 12*y - y + 66 = 0. Suppose 5*v - 2*q + 23 = -27, 0 = 5*v - 4*q + 60. Let u be (y/(-2))/((-12)/v). Solve 0 = -3*b + 4 + u for b.
2
Suppose 18 = j + 5*m, 24 = 4*j + 2*m - 6*m. Suppose 3*i - 5*a + 17 = 0, -4 = -3*a + j. Solve -c = -0*c - i for c.
1
Suppose -6*b + b = 5*g - 40, -4*b = g + 1. Suppose 12*w = -8*w - 3*w. Solve -2*j - g + 1 = w for j.
-5
Let a = 940 - 939. Solve -a = -4*m - 17 for m.
-4
Let f(b) = -7 - 3*b + 15 + 0*b - 6. Let j be f(0). Let p be ((-16)/10)/(j/(-5)). Solve 2*g = p*g for g.
0
Suppose -k + 0*d + 3 = d, 2*d - 1 = -k. Suppose -k*y = -y - 60. Solve 2*g + 3*g = -y for g.
-3
Let i be 3/(-6)*-37 - 12/8. Solve -7 - i = 6*y for y.
-4
Let p = -1379 + 1406. Solve 14*x = -p - 15 for x.
-3
Suppose -6*v + 8*v - 34 = q, 4*v - 3*q - 66 = 0. Solve 0 = 7*z - v*z - 55 for z.
-5
Let i = 43 + -15. Let w = i + -25. Solve -y = -1 + w for y.
-2
Let r be 4/((0 + 4)/2). Suppose -4*s - 5 = 3*u + 28, 0 = -5*s + r*u - 24. Let b(l) = -2*l - 12. Let y be b(s). Solve -4*x + 16 = -y for x.
4
Let m(b) = b**3 - 4*b**2 - 5*b + 20. Let p(s) = 5*s - 36. Let k be p(8). Let n be m(k). Solve n*j = -3*j - 3 for j.
-1
Let o(z) = z**3 + 3*z**2 - 5*z - 2. Let i(k) = k**2 - 4*k - 1. Let h be i(3). Let x be o(h). Solve x*m = -0*m + 4 for m.
2
Let t be ((-5621)/(-28))/11 + 6/(-24). Solve -30*r + 21*r - t = 0 for r.
-2
Let u be -1 + 9 + -7 + 1. Solve u*r = 40 - 48 for r.
-4
Let t be -22*(-10)/(-16)*8. Let o = t - -123. Solve -9*h = -o*h for h.
0
Let n(g) = g**2 + 5*g - 8. Let w be n(-7). Let r be -7 + w + (18 - 0). Let b = r + -12. Solve 3 = -2*q + b*q for q.
1
Let b(o) = o**2 + o - 3. Suppose 2*y + h + 5 = 0, y - 28 = 5*y - 4*h. Let v be b(y). Suppose -4*i + 15 = -v. Solve 0 = -s + i*s for s.
0
Suppose m = -8*m + 225. Solve 5 = -4*i + m for i.
5
Let f be -1*(6/18)/(1/(-6)). Suppose 7*d = f*d. Solve 0 = -s - d*s - 5 for s.
-5
Suppose -4*i = v + i + 