 Let v be 6 - 7 - x/2. Solve v = 3*f - 7*f for f.
-1
Let y(b) = -b**2 + 6. Let a be y(0). Suppose 1 = z - 1. Suppose -z*u - u = -a. Solve u*q - 4 = 2 for q.
3
Let x be (-5 - -6)/(1/3). Let w be x/6*(0 + 14). Suppose 3*z - w*z = -36. Solve 7*h = 4*h + z for h.
3
Suppose 4*y + 4 - 24 = 0. Suppose -20 = -3*j - y. Solve -7 + 17 = -j*v for v.
-2
Suppose -x + 6*p + 32 = 2*p, -4*x = -3*p - 76. Suppose q = 4*f + 5*q - 20, -5*q = 2*f - x. Let n be (3/2 - 1)*0. Solve -f*a = -n + 6 for a.
-2
Let z(f) = -f + 4. Let b be z(6). Let m be 48/18 - b/6. Suppose v = 3*u - 4, 0*u + m*v = 2*u - 12. Solve u*n + 2 = 2*n for n.
1
Let l = -29 + 43. Let n be (0/1)/(-36 - -39). Solve n = -5*a - l - 6 for a.
-4
Suppose -35*d + 173 = 33. Solve -d + 42 = 19*a for a.
2
Suppose 0 = 48*m - 57*m + 36. Solve -m*i + 4 = -8*i for i.
-1
Let q be (-42)/105 + 37/5. Suppose 3*n = -7 + q. Solve 2 + n = i for i.
2
Let s be (4 + 132/(-36))*123*1. Solve 0 = -3*g - s + 53 for g.
4
Let t = -5 - -7. Suppose j = -100*n + 95*n + 23, 17 = 5*n + 4*j. Let v(k) = k**3 + 4*k**2 - k - 4. Let u be v(-3). Solve -n*b = t + u for b.
-2
Suppose 0 = 3*r - 5*v - 25, 9 = -r - 2*v + 10. Let x be (5/r - -1) + 2. Solve 2*w - 6 = x*w for w.
-3
Suppose -5*a + 3*s = -8*a + 96, -4*a - 3*s + 124 = 0. Solve a*h - 4 = 27*h for h.
4
Suppose 0 = 4*c - 10 - 2. Suppose -5*l = -0*f + c*f - 176, 2*l - 62 = 3*f. Suppose 0 = 7*s - l - 22. Solve s = -r - 3*r for r.
-2
Suppose t + v - 37 = 0, -5*v + 2*v + 175 = 5*t. Let p be 2*(-12)/t*-8. Solve p = -0*n - 2*n for n.
-3
Let p(i) = 5*i**2 + 3. Let t be p(3). Suppose 0 = 3*z - 5*c - t, -2*c + 64 = 4*z + 3*c. Solve 0*m = 4*m - z for m.
4
Suppose 5 = -7*g - 2. Let z be (-7)/g + -4 + 1. Solve -3*l + z = 19 for l.
-5
Suppose 54*z = 51*z - 4*u - 6, -13 = z + 5*u. Let o = 5 + -3. Let a(j) = -j**3 - 3*j**2 + 4*j + 2. Let x be a(-4). Solve -z - o = -x*q for q.
2
Let u(i) = -2*i - 16. Let x be u(0). Let g be (-3 - 36/x)*-4. Suppose -10 = 2*a - 18. Solve -l - g = -a for l.
1
Let v = -9 + 14. Suppose 94 = v*w - 4*t, -5*t + 49 = -w + 4*w. Suppose -3*c + w - 3 = 0. Solve 0 = c*m - 5 + 20 for m.
-3
Let z be (-33)/11 - (-20 - 1). Let q = 10 - z. Let g = q - -22. Solve -4*s + g = -6 for s.
5
Let r be 5 - ((-2 - 5) + 7). Solve r*h + 73 = 53 for h.
-4
Suppose -5*w = -8*w + 135. Suppose 5*g - w = 2*g. Solve 7*r - 4*r = g for r.
5
Suppose 9 = 2*l + s, 3*l = s + 13 + 13. Solve 0*k - l*k = 0 for k.
0
Suppose -4*r = -4 - 0. Let j be (0/r)/(-4 + 2). Suppose 4*x + 4*w = -j*x + 8, -3*w + 6 = x. Solve t = -4 - x for t.
-4
Let o = -868 + 880. Solve o*w - 9*w = -9 for w.
-3
Suppose 3*t + 50 = t - 4*j, 2*j - 9 = t. Let b = t - -33. Let k = b - 14. Solve 4 + 2 = -k*c for c.
-3
Suppose 14 = 3*d - 3*b + 4*b, 0 = -2*b + 4. Suppose -3 = -5*n + d*n. Solve -n*a = a for a.
0
Let h be (8/5 + -2)*-20. Let l(d) = -1. Let c(a) = -9*a - 45. Let j(z) = c(z) - 18*l(z). Let m be j(-3). Solve 4*p + h + 12 = m for p.
-5
Let d be -6 - (-13)/(78/54). Solve g = 4*g + d for g.
-1
Let s(w) = -64 - 67 + 2*w**2 - 3*w + 129. Let a(k) = k**2 + 2*k. Let x be a(-3). Let m be s(x). Solve -m = -3*g - 1 for g.
2
Suppose 0 = 5*v + 3*w - 6*w + 32, -4*v = w + 12. Let b be 2 + (v/(-4) - -1). Suppose 2*k = -b*g - 5 - 7, 0 = -2*k + 2*g + 18. Solve -11 = k*t - 3 for t.
-2
Suppose 2*n = -0 + 4. Suppose -u + 9 = n*u. Let z be u - (1 - 4)/(-3). Solve -y = -2 - z for y.
4
Let a(f) = -f**3 - 8*f**2 - 5*f + 20. Let w be a(-7). Solve 15 = -7*j - w for j.
-3
Suppose 5*x + 90 = 5*h, 2*h + 66 + 10 = -5*x. Let k = 3 - x. Suppose -w - 42 = -4*v, 0*v - k = -v - 4*w. Solve -4 - v = -5*u for u.
3
Suppose -15 = 3*d, -2*b + b = -5*d - 33. Let i = -7 + b. Solve -2*j - i + 3 = 0 for j.
1
Let f(d) = 10*d - 14 - 17*d + 8*d. Let t be f(17). Solve t*a + a = -20 for a.
-5
Suppose -23*l = -55 - 14. Suppose 0*g = -t + g - 4, 2*t + g + 8 = 0. Let r be t/12 - 1/(-3). Solve r = 2*v + v - l for v.
1
Let w(y) = 5*y - 45. Let n be w(9). Solve n = -2*h + 13 - 5 for h.
4
Let o be (20/(-35))/((-7)/98). Solve -3*h = h + o for h.
-2
Suppose 0 = 3*r - 2*a + 8, r = 3*a - 3 + 5. Let h = r - -16. Solve 3*j + 3 = -h for j.
-5
Let k be -10 + 10 + (-2)/1 + 17. Suppose -2*a + k = 5*v, -4*v - 4*a + 13 - 1 = 0. Solve -v = -3*u - 6 for u.
-1
Let j be ((-2)/(-3))/(1/15). Suppose -j*g + 5*g = -10. Let r be (g - (-5)/1) + -3. Solve 4*f = 3*f + r for f.
4
Let u(x) = x**2 + 8*x + 3. Let o be u(-8). Suppose 3*s - 12 = -3*r, 4 = s - o*r - 0*r. Solve s*f - 6*f + 4 = 0 for f.
2
Let v = -110 + 123. Suppose 7*r - 9*r - q + 1 = 0, -5*r = -q - v. Let w = 1 - 1. Solve r*l + 3 - 5 = w for l.
1
Let v(c) = -c**3 - 6*c**2 - 6*c - 3. Let h be v(-5). Suppose -h*d - d = -d. Solve d = 5*s - 16 + 1 for s.
3
Let m(g) = 2*g**2 - 18*g + 2. Let j be m(9). Suppose x - j = 2. Solve -2*p + 0 + x = 0 for p.
2
Let b(v) = -3*v - 23. Suppose -2*z = -3*z + 1. Let g = -11 + z. Let t be b(g). Solve -j = -4 + t for j.
-3
Let i = -245 - -246. Solve 2*m + i = 3*m for m.
1
Let w be -2*-15*(-1)/2. Let v be 1/3 - w/9. Suppose -2*n = -j + 4, j + v*j + 6 = -3*n. Solve j*g - 4 = g for g.
-4
Suppose -304 + 349 = 5*g. Solve 14 = -g*z + 5 for z.
-1
Let q be (-6)/(-15) + 66/10. Suppose 0 = 2*p + p - 6. Suppose p*x + 0*x - 10 = 0. Solve -x*l = -q + 2 for l.
1
Let c be (-10)/15*(-1062)/12. Solve c*r = 54*r for r.
0
Suppose q - 4*o - 19 = 0, 2*q - o = o + 14. Let a be (0 + 0 - 2)/(-2). Solve -q - a = -l for l.
4
Let n = 62 - 57. Suppose 5*k - 2*k = -15, -o - n*k - 21 = 0. Solve o*a + 7 = -1 for a.
-2
Suppose -2*c - 5*k = -35, -5*c - 12*k + 20 = -13*k. Solve 8*i - c = 3*i for i.
1
Let l(u) = 4*u - 7. Let w be l(4). Suppose 0 = -w*f + 2*f + 14. Let k be 2 + f + -1 + -1. Solve -h - 2 = k for h.
-4
Let f = 83 + -83. Let v be (1 + f)*(-1 + 6). Solve -7*c + v*c = -10 for c.
5
Let h(a) = 6*a**2 + 10*a - 8. Let u be h(1). Solve 23 - u = 3*z for z.
5
Let i(t) = t**3 - 25*t**2 - 30*t + 114. Let h be i(26). Solve h*q = 13*q + 6 for q.
-2
Let p be -6 + (-1)/(3/(-12)). Let a be (-127)/(-5) + -4*p/(-20). Solve -2*t = 3*t + a for t.
-5
Let c = -171 + 174. Suppose -4*d + 2*t - 6 = 0, -2*d + d + 3 = -2*t. Let m be ((-2)/5)/(d/15). Solve -m*h = -c*h for h.
0
Suppose 0 = t + 70 - 75. Suppose t*c - 4*q + 4 = 6, 0 = -4*c - 5*q + 18. Solve c*p + 3*p = 15 for p.
3
Let y be 8 + -10 + 47 + 0 + -2. Solve -4 = -y*s + 45*s for s.
-2
Suppose -4*l - 2 = 3*r, 5*l = 5 - 30. Solve 8*g - 10*g = -r for g.
3
Let f = 59 - 59. Suppose 5*c - 25 = -2*s, 12*s - 7*s + 2*c - 10 = f. Solve s = 3*d - 6*d + 15 for d.
5
Let m(z) = -2*z - 14. Let n = 4 - 13. Let y be m(n). Suppose -8*f + 9 = -2*i - 3*f, -3*i + 21 = y*f. Solve 2*d - i = 5 for d.
4
Let v be 3*((-12)/18 + 5). Solve v = 5*f + 3 for f.
2
Suppose -725*o = -703*o - 132. Solve m = -o + 3 for m.
-3
Let l be (17/(-3) + 6)*-9 - -12. Let x(f) be the third derivative of f**4/12 - f**3 + f**2. Let j be x(5). Solve l = q - j*q for q.
-3
Suppose -4*t = -5*k - 123, 3*t - 7*t + 129 = k. Solve -13*d = -5*d - t for d.
4
Suppose -3*j = 5*q - 8, -4*j - 2 + 3 = -3*q. Let v be 2/q + (-1 - -1). Suppose 60 = v*a + a. Solve 0 = -4*n + 4 - a for n.
-4
Suppose 17 - 2 = 5*o. Let l(c) = c**3 + 4*c**2 + 5*c + 4. Let k be l(-2). Solve -d - k = o for d.
-5
Let h be (-10)/65 - (-134)/26. Suppose -37 = -4*o - h. Solve 3 = -w + o for w.
5
Let t = 170 - 139. Solve 5*j = -t + 6 for j.
-5
Suppose 0*u + 2*u + 96 = 0. Let y = u + 52. Solve -k = -7 + y for k.
3
Let j be -1 - -4 - (7 + -7). Solve -4 = f - j*f for f.
2
Let w(p) = -9*p - 2. Let u be w(2). Suppose -180 = 5*s + 4*s. Let j = u - s. Solve -n - 1 + 0 = j for n.
-1
Suppose 56*h = 52*h - 12, -9 = -2*y - h. Solve -y*n = -7 - 17 for n.
4
Let k(w) = -w**3 - w**2 - 5*w - 8. Let a be k(-3). Solve -a*x + 24*x + 3 = 0 for x.
3
Let t(h) = -h**3 + 10*h**2 + 27*h - 23. Let b be t(12). Let o = -16 + 28. Let a = b - o. Solve -m + a = 6 for m.
-5
Suppose 5*n = 3*s + 7 - 0, 4*s - 4 = 0. Let j(u) = -u**2 - 10*u + 9. Let x be j(-10). Let t be -8 + 5 + 1*x. Solve t = n*f - 4*f for f.
-3
Let s(p) = -p**2 + 16*p - 5. Let q(z) = z**2 - 16*z + 6. Let b(g) = 4*q(g) + 3*s(g). Let d be b(16). Let h be 3/d*1*57. Solve -4*w - h = -3 for w.
-4
Suppose 3048 = 39*l + 630. Solve 57*k = l*k - 15 for k.
3
Let l = 223 - 346. Let a be ((-1)/3)/(-2 - l/63). Solve 5*s - a = 18 for s.
5
Let m be ((-1)/3)/(4/(-48)). Suppose 2*j - u - 44 = -6*u