 be (-1 + 0)/2*-2. Let f = -1 + 3. Suppose f*i - 5*c + 20 = 0, -4*i + 2*c = -2*c + 16. Solve -x + h + 4 = i for x.
5
Let s = 46 - 40. Solve 0*p - s = 3*p for p.
-2
Suppose 18 = 5*n + 68. Let g be (-12)/(-5) - n/(-25). Solve -h - g = -3 for h.
1
Let f = 7 + 3. Suppose 0 = s + 4*s - f. Solve -s*x - 3*x - 15 = 0 for x.
-3
Let n(g) = -g**2 + 4*g + 1. Suppose -2*v = 2*v - 12. Let a be n(v). Solve -a*m - 1 = -17 for m.
4
Let m be ((-3)/(-12))/((-2)/(-24)). Solve m*n = 6*n - 3 for n.
1
Let v(r) = -r**2 - 11*r + 9. Let w be v(-12). Let l = -1 - -4. Let c = l + w. Solve -3*o + o - 10 = c for o.
-5
Let y be 18/15 - 16/(-20). Solve 0*d + y*d = 0 for d.
0
Let o be 6/(-4)*((-132)/18 - -6). Solve o*q + 5 = 7*q for q.
1
Let f = 7 - 0. Solve 0 = 2*s - f*s + 25 for s.
5
Suppose 0 = -2*n + 7*n - 70. Let c(l) = l**2 - 13*l - 10. Let i be c(n). Solve -i*x + 7 = -9 for x.
4
Suppose -4*g = 7 + 1. Let b be 3*g/(-12)*-2. Let d be 5 - (b - 1 - -2). Solve 0 = -d*v + 1 + 19 for v.
4
Suppose 2*q + 2 = 2. Solve q = 5*n - 21 + 6 for n.
3
Suppose -2*a + 3*a - 10 = 0. Let z be 45/(-6)*(-8)/6. Let l = 10 - z. Solve l*s + 2*s = a for s.
5
Let a(o) = o**3 + o**2 + 11. Let h be a(0). Suppose h = 3*i - 28. Let k = i + -7. Solve 0 = -k*z + 2*z - 12 for z.
-3
Suppose 2*b - 9 = -b. Solve 3*t = 6 + b for t.
3
Suppose 3*w + 19 = 5*w + 5*m, 2*m - 10 = -2*w. Solve -15 = 3*r + w*r for r.
-3
Suppose p = 4*p - 6. Suppose 3*h - h + 3*t = 17, -p*t - 10 = -4*h. Solve 0 = o - 3*o + h for o.
2
Let l(o) = o**3 + 2 + o**2 + 5*o - 7 + 2 + 5*o**2. Let a be l(-4). Suppose -g + 5 + 1 = 0. Solve -5*m + g = -a for m.
3
Let u be 70/8 + (-3)/(-12). Let p be 5*(-2 - 12/(-5)). Let h be -1 - (-3 + 0) - 1. Solve p*d = -h + u for d.
4
Suppose -5*x - 54 = -3*x - 3*q, -2*q = -x - 28. Let y be ((-3)/2)/(9/x). Suppose g = -y + 6. Solve z - g = -z for z.
1
Let b(u) = 4*u - 9. Let r be b(3). Solve -r*n - 12 = -0 for n.
-4
Suppose -5*a + 48 = -3*h, 4 = a - 4*h + 2*h. Solve -5*m = a + 3 for m.
-3
Let p = -25 + 37. Solve 3*r + r = -p for r.
-3
Let h = 4 + -2. Let k be h/(-4) - 5/(-2). Let o(l) = -2*l - 21. Let s be o(-13). Solve 13 + k = -s*v for v.
-3
Let g be ((-1)/(-2))/(2/(-24)). Let s = g - -3. Let l = 3 - s. Solve 2*f + l + 2 = 0 for f.
-4
Let k be -3*(1 + 3)*4/(-6). Solve 0 = -4*h - 0*h - k for h.
-2
Suppose a + 3*d = -0*d, -12 = -2*a - 3*d. Solve -l - a = -4*l for l.
4
Let j be (-78)/(-4) + 2/4. Solve 0 = -g - 3*g - j for g.
-5
Let t = -2 + 5. Suppose -t*s - 5 = -47. Suppose 0*v + s = v. Solve -4*l = -6 + v for l.
-2
Let n(w) = -w + 3. Let i be n(0). Suppose 4*j = -y - 12, -i*j = -4*y + 14 + 14. Solve -2 = 3*x - y*x for x.
2
Let p be 6/(-8) + (-33)/(-12). Solve -2*a = -a - p for a.
2
Let x be -3 + 12/2 - -20. Suppose w - 12 = x. Suppose 0 = -4*t - 5*k + w, 2*k = 5*t - 0*k - 19. Solve -t*u + 24 = -1 for u.
5
Let u = -26 - -31. Solve -2*d + u = -d for d.
5
Let g(i) = -4 + 3 + 7 + 4*i - i**2 + 3*i. Let l be g(6). Solve 0 = -0*z + 3*z - l for z.
4
Let u = 14 - 14. Let i = 4 + u. Solve -3*f - 2 - i = 0 for f.
-2
Let p be 18/(-12)*10/(-3). Suppose p*s = 5*g - 25, -2*g - g = 3*s + 15. Solve g = c - 2*c + 5 for c.
5
Let b = 4 + 4. Let h(d) = -d**2 - 8*d - 4. Let q be h(-5). Let x = q + -6. Solve j = x*j - b for j.
2
Let b be (-6)/9 - 6/(-9). Solve 0*i + 3*i + 15 = b for i.
-5
Suppose -2*q - q = 5*q. Solve 2 = -c - q for c.
-2
Suppose 3*s = 12 + 3. Suppose -2 = -4*g + 3*m - 2*m, g + s*m + 10 = 0. Suppose -5*b + 3*l - 2 - 3 = g, 0 = 4*b - l - 3. Solve 6*v = b*v for v.
0
Let s(k) = -k + 4. Let x(b) = -b**3 - 6*b**2 - b - 3. Let q be x(-6). Suppose -4*z + q + 13 = 0. Let t be s(z). Solve -2*r - 4 = -t*r for r.
-2
Let a = 7 + -7. Let i = 0 + 0. Suppose -2*s + a*s = i. Solve 0 = -2*y - s*y + 8 for y.
4
Let k = 1 - -4. Let g be -5 + 60 - (4 - 1). Let v = g - 35. Solve 0 = -k*x + v + 3 for x.
4
Suppose -m + 4*v - 11 = 0, 0*v = -3*m + 4*v - 1. Solve -4*o + 1 = m for o.
-1
Suppose 25 = 5*r - 4*y, 5*y + 1 - 11 = -2*r. Suppose 2*o - 4 = -x, 2*o - r*o + 6 = -x. Solve 2*h + o*h = 12 for h.
3
Let o(t) = -2*t - 3. Suppose -4*h - 3 = 1. Let i = h - 1. Let n be o(i). Solve w - n = 3 for w.
4
Suppose 0 = -2*b - 2*b + 16. Suppose -3*l = -l - b. Suppose -3*k = -n, -2*k = 4*n + l*k. Solve 0 = -n*y - y for y.
0
Let s = 28 + -27. Solve -d = s - 4 for d.
3
Let m be (-2)/10 - (-57)/(-15). Let v be 6/(-4)*m/3. Solve -4*f = -v + 22 for f.
-5
Suppose -7 + 1 = -3*u - 4*i, -4*u + 8 = -4*i. Let m(a) = -a**2 + 2*a. Let t be m(u). Solve t = -0*g + 3*g for g.
0
Let w(q) = q**3 + 10*q**2 - q - 10. Let c = -2 - 8. Let y be w(c). Suppose y - 3 = -j. Solve 0 = -2*l + 5*l + j for l.
-1
Let i be (-3)/(-5) - 54/(-10). Let o(m) = m - 1. Let d be o(i). Solve 0*g - d*g = -15 for g.
3
Let h(r) = -r**2 - 6*r + 4. Let w be h(-6). Solve -9 = w*a + 3 for a.
-3
Let o be 1/3 - (-25)/15. Suppose 0 = -4*k + 4, -o*x - 2*k = -5*x + 4. Solve 0 = -x*n - 0*n for n.
0
Let z = -2 - -8. Solve -z*x - 4 = -2*x for x.
-1
Suppose -7 = 3*y - 4*y - d, 2*y - 2 = d. Solve 2*s + y = -1 for s.
-2
Suppose 6*a = 8*a - 12. Let m = 23 - 11. Solve -a*j = -3*j + m for j.
-4
Let f(l) = -l**3 - 5*l**2 + l + 6. Let j be f(-5). Let v be 0/2*(0 - -1). Suppose -9 + 1 = -2*a. Solve -w + j + a = v for w.
5
Let a(y) = -y - 7. Let g be a(6). Let v = -13 - g. Solve 0 = -4*d - v*d for d.
0
Suppose 5*q - 62 = 18. Suppose -3*n + 2 = -q. Suppose n*x - 10 = x. Solve 0*c + x = c for c.
2
Let y be 24/16 + 6/4. Solve 6 + y = 3*k for k.
3
Let y(h) = h**3 - 14*h**2 - 14*h - 12. Let g be y(15). Solve -g + 1 = -f for f.
2
Suppose -3*m + 3*c + 5 + 13 = 0, 8 = -2*m - 3*c. Solve f - m*f = 0 for f.
0
Suppose c = 5*x + 6*c, -4*x = -4*c - 8. Solve x = -2*f - 7 for f.
-4
Let q be 8/6*45/30. Solve 0 = 4*u - q*u - 4 for u.
2
Let k(w) = w**2 - 2*w + 2. Let l be k(3). Suppose -4*x - 2*o - 10 = 0, -3*o + 2*o = l. Solve -4*u - 18 + 2 = x for u.
-4
Let b(u) = 2*u**2. Suppose 3*d = 4*f - 35, 0 = 2*f + f + 3*d. Suppose 0 = 4*q - 3*h - f, -3*q = 2*q - 4*h - 6. Let c be b(q). Solve 7 = 3*p - c for p.
5
Suppose s - 5*s + 5*t + 11 = 0, s - 4*t = 0. Let w be (6/(-3))/(12/(-18)). Solve -g - w*g - s = 0 for g.
-1
Suppose -13 = y + 3*i, 24 = 5*y - 2*i + 4. Solve 0 = -y*r + 3 + 5 for r.
4
Let l(o) = -o - 1. Let s be l(-4). Solve s*p + 15 = -2*p for p.
-3
Suppose w = 3*a + 12 - 4, -2*w + 13 = -3*a. Solve -2*z - w = -z for z.
-5
Let j = -48 + 52. Let c be 10/(-3 + 1) + -1. Let q be 10/6 + (-2)/c. Solve q = j*i - 2 for i.
1
Let b(j) = j - 1. Let i be b(4). Let c be (i + 0)*2/3. Solve -c*k + 20 = 3*k for k.
4
Suppose 3*a = -3*z - 15, 0 = 5*z - a - 5 - 0. Solve z = 2*k + k + 9 for k.
-3
Let g = 6 - 3. Suppose 8 = 4*s + g*a, -2*a + 0 = -3*s + 23. Solve -1 - 4 = -s*d for d.
1
Suppose -5*a + 5*w - 10 = 0, 0*a - 2*w + 4 = a. Solve a = -5*q + 17 + 3 for q.
4
Let p = 10 - 19. Let i be 2/(((-30)/p)/5). Solve 2*n - 5 = -i for n.
1
Suppose -o - 15 = 2*c, 4*c + 3*o - 4 = -37. Let y = 7 + c. Solve -19 - y = 5*z for z.
-4
Suppose -2*t + 3*t - 4*f = -11, -5*f + 7 = t. Let b(y) = y**3 + 4*y**2 + 3*y + 2. Let d be b(t). Solve -12 + d = 5*o for o.
-2
Suppose -2*k + 3*x - 30 = x, -k - 4*x - 35 = 0. Let o be (-10)/4*(-4)/(-2). Let n be o/15 + k/(-3). Solve 10 = -n*i + i for i.
-2
Suppose -3*r + 4*w = -41, r + 3*r = 4*w + 48. Solve -r*m + 20 = -3*m for m.
5
Let y(x) = -x**2 + 6*x + 7. Let r be y(7). Let c be (r - -1)/(1/4). Suppose 0*p + 16 = c*p. Solve -4*s - p = -2*s for s.
-2
Let a be (-2 - -3)/(-1) + 4. Let o = -1 + a. Solve -o*b = -5*b - 6 for b.
-2
Let i(j) = -j**2 + 4*j - 1. Suppose -t = -4*z + 4*t - 22, -5*z - 7 = 4*t. Let m(l) = -l**2 - 5*l - 3. Let k be m(z). Let d be i(k). Solve -1 = -u + d for u.
3
Suppose 5*n + 4*i - 113 = 0, 0*n - 134 = -5*n + 3*i. Solve 3*h = 8*h - n for h.
5
Let l(t) = t**2 + 1. Let h be l(1). Let r(v) = 8*v. Let q be r(1). Let j = -6 + q. Solve j = -h*n - 2 for n.
-2
Let q = -11 + 17. Let o(s) = s**2 - 5*s - 4. Let r be o(q). Solve -2*i = -4*i - r for i.
-1
Let h = -11 + 19. Solve h + 1 = 3*t for t.
3
Suppose -5 = -3*z - c, -2*z - 4 = c - 9. Solve 2*d = -z*d for d.
0
Let p = 38 + -4. Solve -5*x + p - 9 = 0 for x.
5
Let k(t) = -t**2 + 4*t + 9. Let b be k(5). Suppose -b*f - 2*o + 70 = 0, 4*o + 19 + 6 = 3*f. Solve 0*g + 5*g - f = 0 for g.
3
Let i(f) = -f**2 - 9. Let t be i(0). Let c = 14 + t. Let g(w) = w**2 - 6*w + 2. Let n be g