ve j = -2*o - 0 for o.
-2
Let a be (4 - 2)*1/1. Suppose -a*d - 6 = 4. Let b(c) = -c**2 - 7*c + 7. Let r be b(d). Solve -3*x - 5 = -r for x.
4
Let s be 79/11 + (-10)/55. Suppose -8 = -5*c + s. Let k = 31 - 19. Solve -k = 5*j + c for j.
-3
Let q(w) = 10*w - 9. Let s be q(2). Solve 1 = -s*l + 1 for l.
0
Suppose 3*j - 3*x - 465 = 0, 0*j - 5*j - 3*x = -791. Solve h = -j + 160 for h.
3
Let b(m) = -m**3 - 10*m**2 - m - 10. Let y be b(-10). Let q be -1 - y - 14/(-14). Solve 3*n + q*n - 3 = 0 for n.
1
Let h be 15/3 - (6 + -6). Solve 8 = h*m - m for m.
2
Let r(m) = 45*m + 4. Let u be r(2). Suppose -2*n + 28 = u. Let k = 37 + n. Solve -5*w + k = -6 for w.
2
Suppose -315 = -22*o - 13*o. Solve -o*z + 12*z - 9 = 0 for z.
3
Suppose u - 401*l - 20 = -406*l, u = -l + 4. Let q be 4*1/2 + 0. Let o be 18/(-4)*q/(-3). Solve f - o = -u for f.
3
Let t(d) = 15*d**3 - d**2 + 3*d - 2. Let k be t(1). Let m(j) = j**2 - 13*j - 18. Let g be m(k). Solve 3*h = -3 - g for h.
-5
Suppose -12*b + 5*w = -11*b + 32, -5*b - 10 = 5*w. Let l(p) = 3*p + 25. Let j(c) = 1. Let t(g) = 4*j(g) - l(g). Let k be t(b). Solve k*d - 1 = -d for d.
1
Suppose 8*p = 30 - 6. Suppose -p*f + 3*l + l = -6, -5*l - 6 = -3*f. Solve -f*z = -7*z + 20 for z.
4
Let x = 887 + -882. Solve 0 = -4*a + x*a - 5*a for a.
0
Let r(b) = -b + 4. Let f be r(0). Suppose 9*d - 75 = 4*d. Suppose d*s - 6 = 12*s. Solve f*j + s = 6 for j.
1
Let q be (-8)/6*9/54*-9. Suppose 4*g - g = 15. Solve q*w + 5 = -g for w.
-5
Let i = 883 - 883. Solve -3*x + 4*x + 3 = i for x.
-3
Suppose -12*q + 9 = -9*q - 3*v, 0 = q + 5*v - 9. Solve -8*m + q*m + 16 = 0 for m.
4
Let z be (-3)/((143/33)/(-13)). Solve 21*t - z*t = 0 for t.
0
Suppose -25*c + 20*c = -3*l - 10, -c = -2*l - 2. Solve d + 23 - 18 = l for d.
-5
Let g(u) = 6*u + 31. Let t be g(-4). Solve 0 = -0*o - t*o - 14 for o.
-2
Let g = -666 + 675. Solve 0 = -8*x - 23 - g for x.
-4
Suppose -3*b = i, 3*b = -5*i - 0*i - 12. Let g be (23 - 2)/(b - 0). Solve -3*s - 9 = -g for s.
4
Let j = 38 + -34. Suppose 0 = -o + j*o - 6. Solve 6 = 4*q + o for q.
1
Suppose 2 - 6 = -u. Let h be (-2 - (-6 + u))/2. Suppose 0 = -4*m + 12, h = -5*t + 3*m + 2*m. Solve 4*z - t = 1 for z.
1
Let x(s) = -s**2 + 7*s - 4. Let a be x(6). Suppose -23*p + 37*p - 70 = 0. Solve a*n - 3 = p for n.
4
Let v be (-1 - 5)*15/(-30). Let i = v - 5. Let d be ((0/i)/(-2))/2. Solve -3*r + 2*r + 4 = d for r.
4
Let r = -1378 - -1393. Solve 10 = -r*z - 35 for z.
-3
Suppose 9*u - 14*u - 20 = 2*h, -5*h - u = 4. Solve -5*j - 8 - 17 = h for j.
-5
Let u be (0 + -1)/(1/(-17)). Let d = -17 + u. Solve 2*j + d*j + 10 = 0 for j.
-5
Let d be (0*(-1)/(-2))/(-2). Suppose 0 = -2*s + 2*b + 14 - 2, d = -5*b - 20. Let n be (7 - 7)*s/(-4). Solve n*h - 12 = -3*h for h.
4
Suppose -10*z - 40 = -5*z. Let n(m) = -m - 5. Let b be n(z). Solve q + 2*q + b = 0 for q.
-1
Suppose -4*h + 7*h + 6*h = 0. Suppose 4*j = -h*j. Solve -4*d + j = 20 for d.
-5
Let x be (13 + -18)/(2/2). Let p be 3/(-5) + (-3)/x. Solve 6 = -p*o - 3*o for o.
-2
Suppose -5*m + 2 = -4*m. Suppose 0 = 3*b + 5*n - 23, 2*n = -5*b + 6 + 7. Solve m*h + b = h for h.
-1
Suppose 0 = 4*m + 324 - 564. Solve 72 = -3*h + m for h.
-4
Suppose f - 1 = 7. Suppose 3*k = 9, -9 = -4*c - 33*k + 30*k. Solve -d - d - f = c for d.
-4
Let o = -547 - -553. Solve o - 5 = k for k.
1
Let o(b) = 22*b**2 + 131*b + 3. Let k be o(-6). Solve 4*a = -k*a + a for a.
0
Let i(b) = 3*b**2 + 10*b + 8. Let o be i(-4). Let f(l) = l**3 - 2*l**2 + 2*l - 1. Let n be f(1). Let a be (-24)/32*(0 - 4). Solve n = q + a*q + o for q.
-4
Let d be (-1 + 1)/(11 - 12). Solve -3*b - 6*b + 45 = d for b.
5
Suppose 3*y + 2*s = 423, 4*y + 15*s = 13*s + 566. Solve -140 + y = -3*j for j.
-1
Let a(u) = -u**3 + 4*u**2 + 6*u - 10. Let o be a(5). Let v be (-36)/(-45)*o*(-1)/2. Solve -v*r - 2*r = -12 for r.
3
Let m be (-1 + 2 + -4)*(-140)/28. Suppose 3*g - 12 = c, 0 = -2*g + 3*g - c - 6. Solve g*h = 6*h - m for h.
5
Suppose -15*a = -9*a - 144. Suppose -n + a = 4*n - 2*o, -o - 2 = 0. Solve -3*d + 5*d = n for d.
2
Suppose 2*j + 0*j = v + 24, 0 = v + 2*j + 24. Let x be v/(-7) + 6/(-14). Solve 0*m + x*m = 9 for m.
3
Let s be (1 + -1)/2 + 7. Let i be 26/(52/(-5))*(-12)/10. Solve -i*q = -s*q for q.
0
Let a(l) = -l**3 + 13*l**2 - 12*l + 3. Let f = 115 + -79. Suppose 2*i + i = f. Let g be a(i). Solve -3 - g = 3*t for t.
-2
Suppose z = 8 - 4. Suppose 3*m - z - 5 = 0. Solve -m = -3*d + 4*d for d.
-3
Let x be (-6)/21 + (-2)/(-7). Let c(k) = k**2 + x - k - 1 + 0*k. Let l be c(-2). Solve 0*d - l = 5*d for d.
-1
Suppose 4*x - 18 = -3*a - 1, -2*x - 8 = -4*a. Suppose 7 = g + 2*j, 2*j = -4*g + 34 - 6. Solve x*b + g = -3 for b.
-5
Suppose -17*r + 54 = 20. Solve r*y + 18 - 24 = 0 for y.
3
Let d(q) = -2*q - 3. Let w be d(5). Let f(v) = v - 1. Let k be f(w). Let u = 19 + k. Solve 2*x = u*x - 6 for x.
2
Suppose 9*k - 9 = 6*k. Suppose -3*y - 4*n = -2 - 10, -12 = k*y - 4*n. Solve i - 1 - 4 = y for i.
5
Let j = 2337 - 2337. Solve j = -22*h - 8 - 14 for h.
-1
Let z be 4472/364 + -1 + 10/14. Let i be 4 - (2 + -2) - 0. Solve -z = -i*j - 0 for j.
3
Let g be ((-1190)/25)/7 + 2/(-10). Let t(v) = -5*v - 7. Let m(f) = 6*f + 7. Let u(k) = 4*m(k) + 5*t(k). Let b be u(g). Solve -r + 7 - 2 = b for r.
5
Let p(u) = -3*u**2 - 53*u - 207. Let b be p(-7). Solve -16 = -r - b for r.
-1
Let c be (-14)/(-3) + (-2)/(-6). Let b = -103 - -106. Solve -7 = b*u + c for u.
-4
Suppose -779 = -6*k - 707. Solve -v - k = -7 for v.
-5
Let t(m) = 3*m + m**2 - 221 + m**2 + 209 - 4*m**2 + m**3. Let x be t(3). Solve 20 = -x*k + 2*k for k.
-5
Suppose -3*h = 5 - 17. Suppose -h*t + 20 = -0*t. Solve -2*c - t = -7 for c.
1
Let u(g) = 59*g - 324. Let o be u(6). Solve 4*m = 10*m - o for m.
5
Let a be -11*(15/(-5) - -2). Solve t = -a + 7 for t.
-4
Suppose 2*p - 5*l = -0*l - 21, 9 = 2*p + l. Solve 0 = 2*v + p - 6 for v.
2
Let h(t) = -t**3 - 10*t**2 - 16*t. Let n be h(-8). Solve -2*o - 5 - 3 = n for o.
-4
Let a = 7 - 4. Suppose -a*o - 1 = m, -2*o - 5*m - 20 = -2. Solve -5 + o = s for s.
-4
Suppose -14*h = -31*h + 11*h. Solve -6*f - 8 - 16 = h for f.
-4
Let u = -199 - -199. Solve f + 0*f + 2 = u for f.
-2
Let n be (-12)/15 + (-216)/(-20). Let h be 1 + (-14)/n + 22/5. Solve 4*s = 5*s - h for s.
4
Let f be 39/6*(1 + 1). Let w(b) = -10*b**2 - 27*b + 11. Let j be w(-3). Solve 5*i + j = -f for i.
-3
Suppose -10*x = -6*x + 8. Let l = 10 - 4. Let c be x/l*(-7 + 4). Solve -2*k - c - 5 = 0 for k.
-3
Let i be 1*(2 + 1 + (52 - 48)). Solve -2*c = -i*c - 10 for c.
-2
Let i = 20 + -20. Suppose 5*u - 16 + 6 = i. Solve 6*s - u*s = 12 for s.
3
Let x = 3 + -85. Let c = 87 + x. Solve 0 = c*m - m - 12 for m.
3
Suppose -7*h = -11*h. Let x be 276/690 - (1 + (-33)/5). Solve -l - 1 + x = h for l.
5
Let k(i) = -i**2 - i - 7. Let w be k(-6). Let b = w - -43. Solve 18 = -3*d + b for d.
-4
Let u(w) = -26*w**2 + w - 6. Let k(x) = 26*x**2 - x + 7. Let d(a) = -5*k(a) - 6*u(a). Let o be d(1). Let i = o + -22. Solve -i*l + 8 = -0*l for l.
2
Let n = 9 + -13. Suppose 2*b + 1 = r + 3, 4*r = 4*b. Let c be b/(n*(-2)/8). Solve -x = -c*x - 3 for x.
-3
Let f(a) = a**2 + a. Let y be f(-3). Let q(i) = -y - 8 + 11 - 2*i + i. Let x be q(-8). Solve -4*c = c + x for c.
-1
Let i = 22 + -21. Let n be 1*(-2 + i + 1). Solve n*z + 2 = z for z.
2
Let f = 40 + -40. Suppose f = -12*a + 17*a - 20. Solve -a = -4*w + 2*w for w.
2
Let g be (10/(-6))/(5/3 - 2). Solve g*u + 15 = 2*u for u.
-5
Suppose -15 = -2*g + 5*f, 9*g - 12*g + 5*f = -25. Solve 0 = g*d - 4*d + 12 for d.
-2
Let d(y) = y**3 - 18*y**2 - 15*y - 76. Let s be d(19). Solve 2*r + 4*r + 12 = s for r.
-2
Suppose 0*q + 4*q = 2*m - 2, 43 = 3*m + 2*q. Let x = -9 + m. Solve z + 0*z = x for z.
2
Suppose -2*p + 3*p + 3 = 2*b, b = -4*p + 33. Solve -4*x - 12 = -p*x for x.
4
Suppose 4*w = 4*d - 8, 0 = -5*d - 2*w + 4 + 27. Let i = d - 2. Solve -i - 2 = -h for h.
5
Suppose 12*t - 7*t - 58 = 4*r, -4*r + 42 = 5*t. Solve t = -15*k - 5 for k.
-1
Let h be 3/(-6)*(-16 + 0). Solve 3*b = 5 - h for b.
-1
Let o(x) = x**3 - x**2 + x + 1. Let n be o(0). Suppose p - n - 3 = 0. Solve 9 = w - p*w for w.
-3
Let m be -4 - (50/100)/((-1)/30). Solve m = j + 10 for j.
1
Let n = 18 - 1. Let p = n + -17. Solve p = -5*i - 15 - 5 for i.
-4
Let f = -117 - -119. Solve -f*x = 2*x - 20 for x.
5
Suppose 3*k + h - 2 = 0, -2*h = -2*k - h + 8. Let g = -8 - -12. Solve -g*p = -3*