et h = -49 + 48. Let x be -2 - -6 - (-1 - h). Solve -x*u - 10 - 2 = 0 for u.
-3
Let s(h) = -h**2 - 14*h - 21. Let y be s(-16). Let p = y + 56. Solve 0 = -p*t + 15 - 6 for t.
3
Let a(t) = -t + 9. Let c be a(9). Suppose 3*d + 3*k - 27 = c, -3*d - 3*k + 4*k + 35 = 0. Let g be (0 - 1) + 3 - -1. Solve -g + d = -4*r for r.
-2
Let v(r) = 3*r**3 - 3*r + 2. Suppose 4*b - 9 = -1. Let i be v(b). Let j(t) = -t**2 - 7*t - 5. Let o be j(-5). Solve i = -0*p + o*p for p.
4
Let h be (5 - 2)*(-15)/(-9). Let a be 42/10 + (-1)/h. Solve a*d = -12 - 0 for d.
-3
Suppose -243 + 5 = -14*n. Solve n*o + 3 = 18*o for o.
3
Let z(k) = -k**2 + 22*k - 38. Let q be z(20). Solve 0 = -q*r + 6*r - 8 for r.
2
Suppose 0 = 2*r - 8, -4*r + 17 = k - 2*r. Solve -k*w = -5*w for w.
0
Let t = -109 - -112. Let b(i) = -i**3 + 3*i**2 + i. Let a be b(t). Solve -9*l + 6*l = -a for l.
1
Let x(h) = 3*h**2 + 13*h. Let v be x(-5). Solve -v = 15*j - 10*j for j.
-2
Let t(u) = u**2 + 17. Let x be t(0). Suppose -x*s - 6 = -20*s. Solve -s*v = -2 - 8 for v.
5
Let a(y) = y**2 - 35*y - 72. Let o be a(37). Solve o*q + 12 = 20 for q.
4
Let a = -1 + 1. Suppose -47*o + 48 = -35*o. Suppose 0 = r - 2*r + 10. Solve a = -v - o*v + r for v.
2
Let i = -2360 + 2362. Solve -i*t = 1 + 1 for t.
-1
Let u(y) = 9*y**3 + 22 + 20*y**2 - 20*y**3 + 20*y + 10*y**3. Let s be u(21). Solve q = -0*q + s for q.
1
Let x(k) = -3*k**2 + 8*k + 2. Let p(w) = -4*w**2 + 9*w + 1. Let f(y) = -2*p(y) + 3*x(y). Let m be (-11)/11*(-5 - 0). Let h be f(m). Solve 2*i = -i - h for i.
-3
Suppose 0*i + 3*j - 5 = -i, 0 = -3*i - 4*j + 40. Suppose -43*o + 6 = -41*o. Solve 2*r + o*r = -i for r.
-4
Suppose 0 = z + 3*o - 30, -o + 5*o - 80 = -4*z. Let l = 78 - 26. Suppose 0 = -43*a + l*a - 27. Solve 6*i + z = a*i for i.
-5
Suppose 131*g = 130*g. Solve 0*q + 10*q = -g*q for q.
0
Let c = 6 + -9. Let o = c + 7. Suppose -t + 5*t = -4, -o*j + 15 = 5*t. Solve j = y - 6*y for y.
-1
Suppose 16*n - 6*n + 26*n = 0. Solve n = 5*t - 34 + 24 for t.
2
Suppose -c = -5*b + 100, b - c - 20 = -0*b. Suppose -33*y = -11*y - 484. Let k = y - b. Solve 1 = -x - k for x.
-3
Suppose 0 = 76*g + 71*g - 154*g. Solve -10*q - 9 - 11 = g for q.
-2
Suppose -2*a + 9 = h, 2*h + 3*h - 5 = 0. Suppose 195*m - 193*m + 4 = 4*r, 5*r + 4 = -2*m. Solve r = a*q - 4 for q.
1
Let d = 2 - -17. Suppose -9 = -4*t - 1. Suppose 0 = 4*p - 12, t*s + 2*p + p - d = 0. Solve 0*z + 25 = -s*z for z.
-5
Let z = 85 + -104. Let s = 19 + z. Solve s = 2*q - 0 - 2 for q.
1
Suppose 3*k - 2 = 4. Let g(j) = -9*j - 22. Let u be g(-3). Suppose 2*s = 3*d + 11 + 8, -5*d + 10 = u*s. Solve 0 = -s*x - k - 3 for x.
-1
Suppose -5*r - 19 = -2*l + 22, 36 = 3*l + r. Solve 9 - l = -2*f for f.
2
Let z = -72 - -37. Let b = 40 + z. Solve 13 = -b*x - 2 for x.
-3
Let b(z) = 8*z - 261. Let a be b(33). Suppose 2*c - 19 - 5 = 0. Suppose -4*i = -6*i + c. Solve -6*u + a*u - i = 0 for u.
-2
Let a(n) = -5*n + 14. Let w(u) = u - 1. Let f(t) = t + 2. Let r(b) = f(b) - 3*w(b). Let d(v) = -3*a(v) + 8*r(v). Let p be d(-6). Solve -p = -l - 1 for l.
3
Let s be ((-5)/10*0)/(-2). Suppose s*f - 5*f = -15. Solve -f*k = k - 8 for k.
2
Let r = 560 + -535. Solve -10*l - 5 = r for l.
-3
Suppose 0 = -6*t + 3*t. Let u be (1*(-6)/21)/((-5)/105). Solve -4*o + 10 - u = t for o.
1
Let v be -12*((-4)/(-6))/(-2). Solve -v*c + c = 12 for c.
-4
Suppose -5*f - 34 - 116 = 0. Let i = 30 + f. Solve -d + i = 2 for d.
-2
Let h be 1/(-2)*44/(-11). Suppose -h*a + 13 + 3 = 0. Solve a = 4*k - 8 for k.
4
Suppose v - 22 = 5*k, 2*v + 3*k = -k - 12. Let c = -19 - -29. Suppose -3*h + 15 = 0, -8*s = -3*s - h - 15. Solve s*g - c = -v for g.
2
Let r(b) = b + 9. Let x be r(-4). Suppose -x*y = -1 - 9. Suppose -d + y*d = 1. Solve 0 = 2*l + 5 + d for l.
-3
Suppose -8*s = -4*s + 48. Let h be (s/(-2))/(-3) - -4. Solve -2*l - h*l = -8 for l.
2
Let m(x) = 4*x**2 - 8*x + 3. Let d be m(2). Solve 2*i + 3 + d = 0 for i.
-3
Let w(j) = -6*j - 37. Let z be w(-7). Suppose 4 = 4*d - 2*i - 4, -4*i - 16 = 0. Solve d*b + 25 = z*b for b.
5
Let r be 12*(-7 - (-184)/24). Solve r = -4*h + 24 for h.
4
Let o be (38/14 - -3) + (-10)/(-35). Solve 0 = 2*u - o + 8 for u.
-1
Suppose -3*r + 3*s = 0, 2*r - 3*r - 5*s + 24 = 0. Solve -5 = 3*l + r for l.
-3
Suppose 10 = -h + 6*h. Let m(r) = r**h - 1 - 2*r + 10*r + 3. Let d be m(-8). Solve 0 = x + 1 + d for x.
-3
Suppose 7 = -2*h - 0*q + 5*q, 4*h + 4*q - 28 = 0. Let v = h - 16. Let d = -10 - v. Solve 5*l = d*l + 9 for l.
3
Let q be (12/(-5))/((-2)/35). Solve q*n = 39*n + 9 for n.
3
Suppose 0*k + 0*k = k. Solve k = 11*s - 12*s - 1 for s.
-1
Let b(d) = 12 - 7 + 3*d - 2*d. Let v be b(-5). Solve v = 5*o - 3*o + 4 for o.
-2
Suppose -5*p + 10 = 2*o, 18 = 3*o + 5*p + 3. Suppose -9 = o*j - 24. Solve 5 - 2 = j*f for f.
1
Let c = 13 - 8. Suppose 1 = -i + 2*i - f, c*f - 15 = 0. Solve 2*a - i = a for a.
4
Let u(t) = -t + 1. Let w be u(-2). Suppose 5*g - 2*s = 22, -g + 5 = 2*s + w. Suppose 5*l = -q - 3*q - 8, -q - 2 = -3*l. Solve l = -g*a - a for a.
0
Let h be -1 + (-3 - -9) - 2. Let i be 24/h - (-9)/(-3). Solve -s + i*s + 20 = 0 for s.
-5
Suppose 55 - 67 = -3*x. Suppose -l = 3, 5 = t - 2*t - 4*l. Solve -x*k - 13 = t for k.
-5
Let z = 18 + -8. Suppose z = 5*l - 4*b - 5, -2*b + 38 = 4*l. Solve -l = 5*v + 3 for v.
-2
Let j(q) = -q**2 + 13*q. Let s be j(13). Suppose -5 = -d + v + 7, s = -d + 2*v + 13. Let i be 10/45 + 4/(-18). Solve -3*h + 2 - d = i for h.
-3
Let i(p) = -p**2 + 10*p - 9. Let q be i(6). Suppose -2*o = -7*o + q. Let v(r) = 3*r**2 - 69*r + 127. Let s be v(21). Solve -o - s = -z for z.
4
Let s = -80 + 47. Let c be (s/(-12) - 3) + (-2)/(-8). Suppose -h + 2*l + 3*l = -2, 5*h = 3*l + 54. Solve c = -4*j - 0*j - h for j.
-3
Let m(s) = 3*s + 4. Let q be m(-3). Suppose 4 = -5*t + 29. Let z = q + t. Solve 0 = -z*l - 2*l + 6 for l.
3
Suppose -3*b + 3 = -0*a - 3*a, 5*b = -2*a + 19. Let k = -2 + 4. Solve k*x - 3 = b*x for x.
-3
Let z = -6 + 2. Let n(j) = -j**2 - 6*j - 1. Let r be n(z). Let s(v) = 5*v**2 - 21*v - 15. Let i be s(5). Solve -r = -i*m - 2 for m.
1
Suppose 4*j + 204 = 484. Solve -j = 5*z - 85 for z.
3
Let y be (-4)/(-6) - (-58)/3. Let z be 1 - (1/(-5) - (-513)/(-135)). Solve y = -0*p - z*p for p.
-4
Let b be (-66)/(-8) + (-5)/20. Let x be 32/(-12)*6/(-4). Let j = x + b. Solve -8 = 5*p + j for p.
-4
Suppose -3*r + 5*o - 2 = -0*r, 2*r + 8 = 5*o. Solve -5*u = 4 + r for u.
-2
Suppose 0 = -2*k - 5*y + 21, 0 = -5*k - 2*y + 24 + 39. Solve 5*u = -k + 3 for u.
-2
Suppose -1129*q + 1120*q = -90. Solve 5*y - q*y = 25 for y.
-5
Suppose -3*f - 252 = -31*f. Solve -20 = -f*t + 5*t for t.
5
Suppose 5*g = 18 + 22. Suppose 14 = f - 3*y, 2*f = g*y - 3*y + 23. Let h be 2*(f - (-3 - -1)). Solve 0 = -h*m + 3 + 1 for m.
2
Suppose -7*z + 8 = 8. Let o = -1 + 7. Suppose 7*j + o - 27 = z. Solve -j = -3*b - 0*b for b.
1
Let p be -78*(8 + 150/(-18)). Solve 20*o - p*o = -12 for o.
2
Let a = -589 + 591. Suppose 4*j = 5*x - 107, 2*x + 5*j = -2*x + 102. Solve x = 5*b - a for b.
5
Let h(n) = -n**2 + 2*n + 3. Let t be h(3). Suppose t = -j + 8. Solve -j = 3*w + 7 for w.
-5
Let z = -8 + 7. Let d(g) = 7*g + 1. Let p(n) = n + 1. Let s(w) = z*d(w) + 6*p(w). Let h be s(3). Solve 0 = -0*q + h*q + 4 for q.
-2
Suppose 3*k - k - 4 = 0, 3*j - 3*k - 6 = 0. Suppose -6*b + 12 + 29 = -7. Solve -j*a + 4 = -b*a for a.
-1
Let p(n) = n**3 - n**2 + n + 1. Let a be p(2). Suppose 8*h - a*h = 0. Solve 0 = 3*x - 3 - h for x.
1
Suppose -51 = -x - 0*j + 5*j, 4*x + j - 99 = 0. Solve -x*v = -28*v + 8 for v.
4
Let d be 38/5 - (-6 - 196/(-35)). Solve -d*n + 0 = -8 for n.
1
Let x(f) = -9*f + 308. Let k be x(34). Solve k*p - 3 = -9 for p.
-3
Let i = 183 - 179. Solve i*u = 7 - 11 for u.
-1
Let t be 60/(-100) - 33/(-5). Solve 0 = -3*o + 6*o + t for o.
-2
Suppose 7*t = 3*i - 20 - 155, -4*i = -4*t - 212. Solve i*c - 5 = 48*c for c.
5
Let a = 9 + -7. Let m be (-12)/(-14)*7/2. Suppose z = u - m*u + 2, -3*z = u - 6. Solve z*d + 12 = -a*d for d.
-3
Let j be 3/((-42)/728*(-1 + -3)). Solve -2*b = j - 7 for b.
-3
Let h(u) = 7*u + 87. Let q(n) = 8*n + 89. Let v(s) = -5*h(s) + 4*q(s). Let p be v(-28). Solve -p*a + 4 = -4*a for a.
4
Let b(v) = -v**2 + v + 4. Let s be b(3). Let m be (2 + s)/(1 - 0). Let l be 2 + (m/(-1))/4. Solve p = -p - l for p.
-1
Suppose 17 = 2*t + 3*c, 2*c - c = 3. Suppose 2*l = -0 + 6. Suppose 5*g - 10 - 57 = -t*o, 0 = l*g - 9. 