ve 0 = 17*x - b*x for x.
0
Let g be 1 - (-34 - 3 - -8). Solve g = -12*m + 6 for m.
-2
Suppose 18 = 4*r + 3*i, -24*r = -29*r - 4*i + 21. Let x be 6/(-1)*-1 - 2. Solve a = r - x for a.
5
Let o(n) = 2*n**3 + 17*n**2 + 6*n - 10. Let t be o(-8). Solve -12*s + t*s + 24 = 0 for s.
4
Let o(b) = -20*b - 17. Let j be o(-4). Suppose 57 - j = -i. Solve -i = 6*x - 4*x for x.
-3
Let n(v) = v - 7. Let p be n(6). Let i be p/(2/(-40)*-2). Let z be 0 - i - 8/4. Solve 5*h - h - z = 0 for h.
2
Suppose -8*a + 4*a + 12 = 0. Suppose 0 = -a*b + 9, 7 = -3*f + 5*b - 8. Solve -2*r + 4*r - 6 = f for r.
3
Suppose 50 = -23*h + 21*h. Let l = -22 - h. Solve 0*y = -l*y + 15 for y.
5
Let m be 2/(-9) - 2/(-9). Suppose 6*o - 3*o = m. Solve -5*w - 5 = -o*w for w.
-1
Suppose 3*p = 4*j - 14, -p - 2*j = j - 17. Solve -p*a = 3*a + 10 for a.
-2
Let h be 2/28 - 13794/(-532). Solve 6 = 32*c - h*c for c.
1
Suppose -4*v + 11 = -5. Suppose 0 = -v*j - 10 + 34. Let s be j/8 + (-66)/(-8). Solve b + 2*b = -s for b.
-3
Let x be (5 + 9)*24/7. Suppose -13*z + x = -10*z. Solve n = -3*n - z for n.
-4
Let u be (-4)/6 + 16/6. Suppose u*n + d = 43, -3*n - 5*d + 75 = -0*d. Suppose p + 1 = -4*k + 10, 2*k + 2*p = 6. Solve -n = 3*w + k*w for w.
-4
Let p(f) = 1. Let v(i) = -i**3 + i**2. Let a(s) = 3*p(s) + v(s). Suppose 5*r + 0*r = 0. Let z be a(r). Solve -j + 4 - z = 0 for j.
1
Let s(v) = v. Let n(d) = 9*d - 2. Let y(p) = n(p) - 4*s(p). Let o be y(5). Let m = o - 21. Solve -m*k = 5 + 5 for k.
-5
Let z be (10/3)/(4 - (-78)/(-18)). Let f be 0 + (12/(-30))/(1/z). Solve 0 = f*m - 6*m - 10 for m.
-5
Let v(h) = -h**3 - 14*h**2 + 15*h + 11. Let j be v(-15). Let p be 4 + (3/(-1))/3. Solve -p*a + 4 = -j for a.
5
Suppose 15 = -3*z + 8*z. Let g(n) = 5*n**2 + 3*n - 1. Let w be g(2). Suppose -3*b + 0*v + 3*v = 0, 4*b - 16 = -4*v. Solve b*s + w = -z*s for s.
-5
Let c be (-2 - (-16)/6)/(6/27). Suppose 2*v + 8 = 4*i, c*i - 5*v + 1 = -0*v. Solve i*h - 4 = 4*h for h.
-4
Let f(s) = 2*s**2 - 11*s + 6. Let y be f(6). Let d = 19 - 17. Solve -d*p = p + y for p.
-4
Let n = 98 - 98. Let g be -1 - -1 - (-6)/30*n. Solve 0 = -g*z + z - 4 for z.
4
Let w = 6 - 3. Let q = -141 - -142. Suppose 16*z = 31 + q. Solve z*t - w*t = 0 for t.
0
Let l(j) = 25 - 3 - 38*j + 27*j. Let d be l(2). Solve d = v + v + 8 for v.
-4
Let z(s) = -s**3 + 6*s**2 + 7*s + 1. Let a be z(7). Suppose i - a = -0*x - 2*x, -5*i = 3*x - 5. Solve -2*u = -3*u - i for u.
-1
Let l = 144 + -85. Let j = 59 - l. Solve j = -5*v + 5 + 5 for v.
2
Suppose -2 - 1 = -q. Suppose 0 = 4*z - q*z. Suppose z = 7*x - 3*x - 3*k + 7, 5*x - 5*k = -15. Solve t = -x*t for t.
0
Suppose 2*c + q = 5*q + 2, 3*c - 2*q = 23. Let n = -10 + c. Solve u - 1 = n for u.
2
Let i(y) = 0*y + 4 - 27 + 2*y - 4*y. Let s be i(-14). Solve 15 = -0*v - s*v for v.
-3
Let a(m) = -m**3 + 35*m**2 + 41*m - 162. Let k be a(36). Solve -6*l - k = -0*l for l.
-3
Let c(u) = 21*u - 8*u - 71*u**2 + 70*u**2 + 11. Let n be c(13). Let a(r) = -r**3 + 6*r**2 + 6*r + 8. Let f be a(7). Solve -5*v - n = -f for v.
-2
Let g be (1 + -1)/((-26)/(364/42)). Solve 25*c + g = 100 for c.
4
Let v(i) = -38*i - 19. Let p be v(-1). Let s(g) = 2*g + 21*g + 1 - 4*g - g**2. Let a be s(p). Solve 0*n = n + a for n.
-1
Let l(u) = -u**2 - 13*u - 7. Let r be l(-13). Let d = r + 10. Suppose -d*n = o - 0*n - 20, -43 = -5*o + 4*n. Solve o = 5*w - 14 for w.
5
Let x = -73 + 31. Let s = x - -45. Solve -s*u + 8*u + 10 = 0 for u.
-2
Suppose -g = 5*b - 20, 3*b + 0 = -2*g + 5. Suppose -2*q + b*r = -26, 0 = 5*q - r - 125 + 37. Suppose q*z + 6 = 20*z. Solve x = z*x for x.
0
Suppose 48*y = 43*y - 25. Let w be (-58)/y + 4/10. Solve -w = -4*q + q for q.
4
Suppose -r = 5*p - 10, 3*p + 3 = r + 1. Solve x - 3 = -p for x.
2
Let w be (-1296)/80 - 2/(-10). Let s be (6/(-12))/(2/w). Solve -s - 6 = 5*n for n.
-2
Let y be (11 + 14)*(-3)/(-15). Solve -3*f = y*f - 16 for f.
2
Let p = 58 - 47. Let q(v) = -2*v - 9. Let n be q(-6). Suppose -4*j + 2*g = -n*g - p, 0 = -4*g + 4. Solve -t + 2*t = j for t.
4
Let g = 91 + -89. Solve -g*x - 16 = 2*x for x.
-4
Suppose 2*g - 3 - 77 = 5*d, 0 = -5*g. Let u be 16*1*(-4)/d. Solve 3*b + u = 5*b for b.
2
Let z be (30/20)/(2 - 13/8). Solve -z*w + 4 = -4 for w.
2
Suppose 26 + 14 = 4*s. Suppose x = -5*i - 3, 5*x + 2 = 12. Let p = i + s. Solve 0 = -p*q + 4*q for q.
0
Suppose -134 = 7*i - 155. Solve 15*q - 36 = i*q for q.
3
Suppose h = 4*n - 37 + 4, 0 = 5*n + 4*h - 15. Suppose 5*y + 5 = 0, -i - 6 = -0*i + y. Let x = -3 - i. Solve 1 + n = x*a for a.
4
Let n(f) = f**2 - 13. Let l be n(-4). Suppose -4*v - v = 0. Solve -j - l - 1 = v for j.
-4
Let y(r) = -157*r - 312. Let x be y(-2). Suppose 3*t + 7 = 4*t. Solve -t*h = -x*h for h.
0
Let h(t) = -t - 7. Let m be h(-12). Suppose 5*o = m + 20. Solve -4*l + 4 = -o*l for l.
-4
Suppose 0 = n + 3*p + 6, -5*n + 59*p - 60*p = 2. Solve -3 = m - n for m.
-3
Let r(s) = -3*s**3 - 3*s**2 - s. Let y be r(-2). Let u be (y - 0) + 0/3. Solve 2 = 3*t + u for t.
-4
Let o(f) = f**2 - 15*f + 30. Suppose 0 = -3*t + 8*t - 65. Let w be o(t). Solve v + v + w = 0 for v.
-2
Let y(b) = -2*b + 14. Let p be y(5). Let g(o) = -o**3 + 4*o**2 + o + 1. Let x be g(p). Solve 0 = -4*a + 5*a + x for a.
-5
Suppose 0 = -4*y + 3*y - 2. Let l be 0*((-1)/y - 1). Let f be -28 - -33 - (0 - -2). Solve h + 0 - f = l for h.
3
Suppose 2*f = 5*q + 10, f = 5*q - 4*f + 25. Suppose q = 2*r - 6*r + 8. Suppose -4*l - r = -5*p, 0 = l - 4*l + p + 4. Solve -2*h + 6 = -l for h.
4
Let u(t) = -t**2 + 18*t + 28. Let o be u(19). Let g be 301/63 - (-2)/o. Let x(k) = k + 8. Let v be x(-4). Solve -g*z - 11 = v for z.
-3
Let u = -9 + 11. Let i be (-10)/(-1)*1/u. Suppose i*a = 2*a + 9. Solve -a*k + 2 - 11 = 0 for k.
-3
Suppose -25*t + 190 + 35 = 0. Let x be 16/1*(-1 - -2). Solve 5*w = t + x for w.
5
Let p(t) = 3*t - 4*t - 2 + 2*t**2 - 3*t + 6*t. Let x be p(-2). Solve 0 = 3*h + x*h - 10 for h.
2
Suppose t - 2*t = -891. Suppose 0*r = -3*m - r - t, -3*r - 9 = 0. Let c be 2/(-7) + m/(-56). Solve c*z = -0 - 5 for z.
-1
Suppose 9 = t + 7. Suppose t*m - 14 = -k, 0*k = m - k - 1. Solve 0 = -a + 1 - m for a.
-4
Let t(j) = 11*j - j - j**2 - 2 - 2*j. Suppose -3*y - 3*b + 0*b = -12, -24 = -5*y - 3*b. Let i be t(y). Solve 7*u = 2*u - i for u.
-2
Let s(b) = 2*b - 7. Let a be s(5). Suppose -a*l = -l + 42. Let h be (12/l)/(2/(-7)). Solve t = -0*t - h for t.
-2
Let i(q) = q**3 + 7*q**2 + 6*q + 2. Let s be i(-6). Suppose -3*a - s*r = 2*a - 29, -4*r + 8 = 0. Suppose -a*k = -2*k. Solve 0 = x - k*x + 5 for x.
-5
Suppose -2*v = -3*j, j = -5*v + 163 - 146. Let f = -1 - -3. Solve -20 = -j*s - f*s for s.
5
Let t be (-1)/6*-4 + 38/(-57). Let b = 0 - -6. Solve t = u - 4*u + b for u.
2
Suppose 4*i - 4*x = 20, 5*i + 0*x = -5*x + 65. Solve i = 4*j - 7 for j.
4
Let n(m) = 41*m + 416. Let o be n(-10). Solve -11*f = -o - 5 for f.
1
Let r be 2 - 2 - (10 + -4). Let b = -4 - r. Suppose b*l - 3*l = 0. Solve -3*w - 12 = -l*w for w.
-4
Let s(a) = a**3 - 4. Let w be (-3)/6 - ((-12)/8 + -1). Let g be s(w). Solve -g*i = -3*i for i.
0
Let p = 1175 + -1163. Solve 11 = p*l - 25 for l.
3
Suppose -2*c - 3*y + 4 = -8*y, -2*y + 8 = 4*c. Let z be (-4)/(-18) - (-8)/(-36). Solve -c*h + h + 4 = z for h.
4
Suppose 6*n = 23*n - 136. Suppose 4*v - 28 + n = 0. Solve -4 = 3*y + v for y.
-3
Let g be 1*(-3)/(6/(-14)). Let s(b) = b + 6. Suppose -p + 2*d + 2 - 7 = 0, 0 = -4*p + 3*d - 15. Let u be s(p). Solve g = x + u for x.
4
Suppose 5*a - 28 = 4*k, -a - 28*k + 33*k = -14. Solve 2*m + 3*m = -a*m for m.
0
Let q = 6 - 3. Let b(r) = r**3 - 5*r**2 - 3*r + 2. Let w(m) = 5*m - 4. Let v be w(2). Let z be b(v). Solve -q*d - 8 = -z for d.
4
Suppose -5*t + 109 = -4*o - 41, 0 = -5*t - 2*o + 120. Let n = -13 + t. Solve -7 = -4*b + n for b.
5
Let l be 0/2 + 0/(-3). Suppose l = 4*u + 2*i - 18, -5*u - 3*i + 18 = -7. Solve 0*d - d = -u for d.
2
Let t be 16/(-48) - (-4)/3. Let o be (0*(-1)/2)/t. Solve r + o = 4 for r.
4
Let x = -4 - 1. Let y(b) = -3*b - 7. Let s be y(x). Suppose -4 = -3*a + a - 2*d, -d = -a + s. Solve -3*t - 2*t = -a for t.
1
Let c be (6 - (-1 - 0))/(1/7). Let t = 49 - c. Solve t = -3*d - d + 16 for d.
4
Let j be 68 + -72 + 8*2*4. Solve j = 18*d - 3*d for d.
4
Let p(v) = -v**2 - 8*v + 12. Let i be p(-9). Let a(b) = b - 1. Let x be a(i). Solve x*z = -z for z.
0
Suppose 5*h - 85 = -0*h. Let p = h - 17. Solve p*v = -v + 3 for v.
3
Let