
4
Let a be 2/10 - 18/(-10). Let h = -1 + a. Suppose -30*n + 46 + 74 = 0. Solve 5*s = -h - n for s.
-1
Let j be ((-8)/(-16))/((-6)/(-24)). Let p(h) = -2*h + 5. Let s be p(5). Let o be ((-2)/3)/(s/15). Solve o*w + 8 = -j*w for w.
-2
Let b be (-5)/35 - (-212)/14. Let f(q) = -2*q - 1. Let w be f(2). Let n = w + b. Solve -3*j + n = -2 for j.
4
Let m be (1 + 33)/1 - (-12)/2. Solve 0 = 9*b - m + 13 for b.
3
Let y be 5 + 2/(-1*2). Let o be -7 + 3 + (-3)/2*14/(-3). Solve 0 = -o*v + 4*v + y for v.
-4
Let g be (-2 - (7 - 5)) + (-7)/(-1). Solve 0*s - 7*s = g*s for s.
0
Let s(o) = o**2 - 19*o + 38. Let l be s(18). Suppose -l = -2*r - 2*q, 5*q = 2*r - 33 - 1. Solve 0 = -t - 2*t - r for t.
-4
Suppose -12 = 3*g, 0*g + 3*g - 24 = -3*w. Solve a - w = -12 for a.
0
Let n = -34 - -34. Suppose -3*m + 0*m = -4*b + 25, 11 = 2*b - m. Suppose r = 4*t - 4*r - 49, b*r = -20. Solve -3*w - 3 - t = n for w.
-3
Suppose 4*i + 4 = 2*i. Let o be (6 - 6)*i/(-4). Suppose -6*r = -3*r - 9. Solve 0 = r*w - o*w - 6 for w.
2
Let h = -4 - -6. Suppose h*j - 20 = -2*j, -j + 17 = 3*g. Suppose 0 = 6*f + 2*f - 112. Solve -g*a + 6 = -f for a.
5
Suppose 44*g - 41*g - 12 = 0. Let m = -3 - -5. Suppose -d - 4 = 2*i, -d = -m*d + i + 11. Solve -g*j - 14 - d = 0 for j.
-5
Let w = 38 + -38. Solve w = -m + 2*m - 5 for m.
5
Suppose 0 = -2*p + 7*p. Suppose -3*g - c - 102 = p, 0 = -4*g - 3*c + 5*c - 146. Let l = g + 53. Solve 0 = -3*t - l + 6 for t.
-4
Suppose -2*i - 153*c + 30 = -149*c, 2 = c. Solve -5*h - 30 = -i*h for h.
5
Let p(b) = -11*b**2 + 17*b + 61. Let y(c) = 5*c**2 - 9*c - 30. Let o(q) = 4*p(q) + 9*y(q). Let l be o(15). Solve -8 = -0*t + l*t for t.
-2
Let g = -122 - -270. Let m = g - 143. Solve m*o - 8 = 17 for o.
5
Let q be (-4 + 0)*(-7 - (-65)/10). Suppose -2*p = -q*g, 4*p + 2*g - 4 = 4*g. Solve 0*z + p = -z for z.
-2
Let p = 177 - 175. Solve p = -0*b + 2*b for b.
1
Let k = -18 + 27. Let g = 14 - k. Let h be 180/(-140) - (-2)/7 - -4. Solve 8 = -g*o + h*o for o.
-4
Let z(x) = -x**3 + 9*x**2 + 21*x + 13. Let f be z(11). Suppose -c = -f*a + 2 + 2, 10 = -c + 5*a. Solve c*m = 4*m + 4 for m.
-1
Suppose 8*v - 140 = -27*v. Solve 0 = c + v - 3 for c.
-1
Suppose -5*x + 17 = 5*t - 93, -2*t + 60 = -2*x. Solve -t = 8*o - 66 for o.
5
Suppose -c = u - 7, -2*u + 2 = -8. Let i be ((c - 2) + 0)*-1. Let r be 4/8*(0 - i). Solve r = -2*t + t - 2 for t.
-2
Let t(o) = o**2 + 6*o - 1. Let r be t(5). Solve r + 1 = 11*c for c.
5
Suppose -n + 4*x = 3*x - 5, -4*n - 3*x + 48 = 0. Let u = n + -1. Solve 7*k - u*k = 0 for k.
0
Let m(o) = -31 - 7*o + 0*o + 93. Let i be m(6). Solve 6*x = 2*x + i for x.
5
Suppose 5*n + j - 24 = -2*j, 28 = 3*n - 5*j. Let k(b) = -b**3 + 7*b**2 - 5*b. Let c be k(n). Let y = 11 - c. Solve -1 = -y*i + 14 for i.
3
Suppose 3*f + 1 = -2*j - 1, -3*f - 3*j = 3. Suppose f*k - 5*k = -75. Solve 0 = 5*z + 40 - k for z.
-5
Let u = -20 - -20. Suppose -20*c + 11*c = u. Solve 0 = -c*f - 4*f - 20 for f.
-5
Suppose -4*x = 3*h - 20, 3*x + 1 = -4*h + 16. Solve -13*c + 11*c + 6 = h for c.
3
Suppose 506*i = 486*i. Solve 14*d - 18*d - 4 = i for d.
-1
Let u be (4/7 - 300/84) + 7. Solve l + l = u for l.
2
Let p(b) = -b**3 + 20*b**2 + b - 11. Let y be p(20). Solve y*g - 8*g = -2 for g.
-2
Let l = 39 - 63. Let a = 131 + -157. Let y = l - a. Solve y*h = 4*h for h.
0
Let s(x) = -3*x**3 + 2*x**2 + 2*x + 1. Suppose 0 = 5*k - 2*h + 3, 0 = k - 2*k + 5*h + 4. Let n be s(k). Suppose n = 3*q - 2. Solve -6 = q*u - 0 for u.
-3
Let g(s) = s**2 - 11*s - 80. Let j be g(-5). Solve j = -3*c - 3 for c.
-1
Let h = -420 + 438. Solve 0*d + h = -6*d for d.
-3
Let q be 28/3 + (-152)/114. Solve 3 = -q*x + 7*x for x.
-3
Let f be (2/4)/(8/16). Let m be f/(-3) - 28/(-12). Let y be (m - 1) + (3 - -6). Solve -3*o - y = -8*o for o.
2
Let p(x) = -x**2 + x + 3. Suppose -4*q + 4 = 3*y + 2*y, 4*y = -2*q + 2. Let f be p(y). Solve -f*w + 4*w = 4 for w.
4
Suppose 13*f = 18*f - 20. Solve x = f*x - 3 for x.
1
Suppose -10*y + 5 = -6*y - 5*s, y - 1 = s. Suppose 0 = 2*q - 3*q + 5. Solve q*a = -y*a - 20 for a.
-4
Let h be (624/60)/(-3 + 26/10). Let s = 34 - 5. Let v = s + h. Solve -v*x + 1 = -11 for x.
4
Suppose 2*a = a + 15. Suppose -4*c - 20 = c, -2*x + 10 = -c. Solve -2*v - x*v = a for v.
-3
Let u(q) = -2*q**3 - 2*q. Let v be u(0). Solve v = -4*o - 3 + 23 for o.
5
Suppose -3*p - 2 + 14 = 0. Let x(t) = t**2 + 10*t. Let u be x(-10). Solve -12 = p*v - u*v for v.
-3
Let w(g) = g - 2. Let f be w(6). Suppose 14 = f*z - 62. Suppose -z - 26 = -3*t. Solve 6*b = b - t for b.
-3
Suppose u + u - 6 = 0. Let l(r) = -2*r**2 - 10*r + 31. Let q be l(2). Let s(j) = j. Let n be s(0). Solve -u*b + q = -n*b for b.
1
Let x be ((-4)/3 + 0)*3. Let i(d) = -d - 4. Let m be i(x). Solve 7*h - 8*h = m for h.
0
Suppose -12 = -3*c - 3*n + 12, -2*c + 2*n = -8. Let a be ((-3)/c)/(2/(-20)). Solve s - 1 + a = 0 for s.
-4
Let r(l) = l**3 - 7*l**2 + 9*l - 12. Let j be r(6). Let x be 0/(((-1)/(-3))/(j/36)). Solve 2*a + x = 4 for a.
2
Suppose -3*k - 6 = 7*t - 12*t, 4*k + 4*t = 24. Solve -2 - 4 = k*b for b.
-2
Let b(v) = -14*v**3 + v**2 + 5*v - 5. Let a(n) = n**3 - n + 1. Let u(c) = -4*a(c) - b(c). Let f be u(1). Solve -4*d + d = f for d.
-3
Let k(f) = f**2 + 7*f - 3. Let t be k(-8). Let v(i) = -2*i**3 + 17*i**2 - 7*i - 8. Let d be v(8). Solve -t*z + 7 + 3 = d for z.
2
Suppose 2*m + 1 = d + 5, 3*m + 2*d = -8. Solve -11*h - 12 - 10 = m for h.
-2
Let c = 25 + -22. Suppose w - 4*h - 3 = c, 0 = -5*h. Solve w = 5*r - 4 for r.
2
Let s = -1803 + 1803. Suppose -4*k = 8 + 4, -1 = 4*x + 3*k. Solve s*f + 2 = -x*f for f.
-1
Suppose -24 = -5*k - 144. Let s = k - -25. Solve 2*o - s = 9 for o.
5
Let t(y) = -y**3 - y**2 - y. Let m = -12 + 11. Let h(q) = -q**3 - 4*q - 2. Let j(f) = m*h(f) + 2*t(f). Let u be j(-3). Solve -x - 1 = -u for x.
4
Let u be 1/(3 - 16/6). Let b = 3 - u. Solve b*w - 2*w = 10 for w.
-5
Let q(k) = k + 20. Let s be q(-8). Let c(t) = -t**3 + 7*t**2 - 5*t - 12. Let j be c(5). Solve 5*o = -s - j for o.
-5
Let m(l) = 3*l + 62. Let c be m(-17). Solve 41 = -6*f + c for f.
-5
Suppose -11*m = -7*m + 4*k - 40, 0 = 5*m - 4*k - 59. Solve -8*s + 15 = -m*s for s.
-5
Suppose 813 = c + 811. Solve -3*n + c*n = -1 for n.
1
Let x(q) = -q**3 - q**2 + 3*q - 2. Let y be x(2). Let d be 0/(y/(-4) + 1). Solve d = -8*g + 4*g + 16 for g.
4
Let l(t) = -t**3 + 4*t**2 - 3*t + 2. Let x be l(3). Solve 0 = x*m - 3*m + 3 for m.
3
Let j(d) = -2*d**2 - 9*d + 2. Let n be j(-4). Solve 4 = 5*r - n for r.
2
Let o be 3/((-9)/(-3)) - (-1 - 2). Suppose -4 = -4*g + 8. Solve g*h + 19 = o for h.
-5
Suppose -15*b + 75 = -10*b. Suppose s = -2*s + b. Suppose s*o = -0 + 5. Solve -r + o + 0 = 0 for r.
1
Let w = 9 + -3. Let d(m) = -5*m**2 + 3*m - 4. Let j(g) = -4*g**2 + 2*g - 3. Let l(n) = 3*d(n) - 4*j(n). Let s be l(-2). Solve s*x = w + 4 for x.
5
Let w be (3 - 135/35)/(33/(-154)). Solve 10*g = w + 46 for g.
5
Suppose 2*u - 12 = 6*u - 4*y, -2*y = -5*u - 6. Let p(r) = -r**3 + 23. Let o be p(u). Solve -8 = 5*k - o for k.
3
Let s(a) = -18*a + 548. Let l be s(30). Solve -l - 4 = -4*z for z.
3
Let v be (-3 + 4)/(-4 - -5). Suppose -2*i = -v - 3. Solve -i*y = -y + 4 for y.
-4
Suppose -n - 4*b = 4*n - 23, -4*b + 8 = 0. Let l = 80 - 60. Suppose 0 = 5*m - 20, -4*m + 4 = 5*q - 3*m. Solve q = 2*z + n*z - l for z.
4
Suppose -x - 2*q + 32 = 0, 4*x - 4*q - 63 = q. Solve 17 = 39*g - x*g for g.
1
Suppose u + 15 = -4*u. Let t(q) = q**2 + 4*q + 6. Let j be t(u). Solve 1 + 8 = j*p for p.
3
Let i(g) = -9*g - 187. Let s be i(-21). Solve s = -4*y + 2 for y.
0
Let t be 124/4 + 0 - 3. Let x = -23 + t. Suppose 4*u + 17 = x*o - 18, -1 = -2*o - u. Solve -4*c - 11 = -o for c.
-2
Suppose 4*t - 21 = -k, t - 4*t = 2*k - 17. Suppose 3*p - t = 1. Solve 6 = -p*b - 4 for b.
-5
Suppose -3*q - 4*d - 2 = 0, 6*q - 8*q + 8 = -2*d. Suppose 5*r = -q*k, 0*k - 4*k = -r - 44. Solve k*y = 5*y - 10 for y.
-2
Let p = 28 + -31. Let i be 0 - (3 + p)/(-2). Let j = 5 - i. Solve 4*r - 3*r + j = 0 for r.
-5
Let v(i) = 2*i**2 + 4*i - 3. Let a be v(2). Suppose -3*o - 2 = -4*r, 3*r + 4 = 3*o + 2*o. Let p(j) = -5*j + 110. Let w be p(21). Solve o = w*u - a for u.
3
Suppose 0 = -28*t + 84. Let v(u) = 3*u - 1. Let s be v(1). Let y be s/(-6)*30/(-5). Solve -5*j - y = t for j.
-1
Let h be 193/(-3) + 4 + 6/(-9). Let x = 67 + h. Solve x = -4*k + 2*k for k.
-3
Let k = -86 - -83. Let o be k/8 - (-15)/40