Suppose k = 4*k - 6. Suppose -k*s = -8 - 8. Solve v*j - s = 8 for j.
4
Let h(d) = -d + 9. Let r be h(5). Let z(q) = -29*q + 19. Let a be z(4). Let f = a - -97. Solve -r*m - 16 = -f*m for m.
-4
Suppose 0 = -2*v + 44 - 6. Let l = v + -15. Solve -q = -l*q for q.
0
Let f be ((-8)/(-10))/((-3)/(-30)). Suppose -8 = 4*z - f*z. Solve -z - 1 = -3*w for w.
1
Suppose -44 - 268 = -3*r. Suppose 8*z + 3*m - r = 4*z, -4*m = 0. Solve z = 4*l + 10 for l.
4
Suppose 45 = 10*f - 5*f. Let h be 0/(2 - (6 + -2)). Solve 2*d - f + 1 = h for d.
4
Let q be (-12)/(-30) + (-66)/15. Let h(w) = 6*w + 24. Let n be h(q). Solve n*u = 4*u - 8 for u.
2
Let f be (-222)/(-15) + (-3)/(-15). Suppose 2*q - f = q. Solve k = 4*k + q for k.
-5
Let k(u) = 5*u**2 - 2. Let x be k(1). Suppose 3*y + 2*y - 33 = -x*b, 0 = 4*y - 2*b - 22. Solve 3*j - y = j for j.
3
Let o be ((-4)/(-6))/(4/6). Let j = -3 + o. Let u be (3 - -2) + j + 1. Solve -u*p - 8 = 12 for p.
-5
Let w = -17 - -17. Let h be (4 - w - 4)*-1. Solve h*i - i + 5 = 0 for i.
5
Let w be (-66)/(-14) + -1 + (-45)/(-35). Suppose 3 - 23 = -w*q. Solve 10 = 3*i + q for i.
2
Suppose 2*v - 2*a = -a + 11, 3*a = -5*v + 33. Let g be (v/8)/(5/(-40)). Let c be 34/6 + g/(-18). Solve c*i = i + 5 for i.
1
Let l = 4 - 0. Let y be 3*l/12*3. Suppose 0 = -2*h - 2*m + 6, 0*m + y*m + 3 = 0. Solve 16 = -3*r + h for r.
-4
Let r = -5 + 1. Let t(d) = -d**2 - 4*d + 2. Let k be t(r). Let l = 30 - 25. Solve -l*q + 3 = -k for q.
1
Let v = 4 + 112. Suppose -v = -5*f + w + 2*w, -5*f - 4*w + 137 = 0. Solve -i - 4*i = -f for i.
5
Let w be (-6)/4 + 130/20. Suppose -x = -w + 2. Solve x*r + 3 + 0 = 0 for r.
-1
Let u be 5/(-1)*(-342)/95. Solve -u*w = -15*w + 15 for w.
-5
Suppose 0 = -13*i + 16*i. Solve -s - 1 = -i*s for s.
-1
Let a = 1632 - 1614. Solve a*u - 11 = 25 for u.
2
Suppose -n + 27 = 4*h, -2*h - 5*n = -1 - 8. Solve -2*f + 3 = h for f.
-2
Let q = 69 - 51. Suppose -4*g + 7 = 2*n - 1, 3*n = 4*g - q. Suppose 0 = 2*j + 3*j + 3*a, -4*j = 4*a. Solve -g*f + 9 = -j*f for f.
3
Let h = 3023 + -3017. Solve 8*w + 8 = h*w for w.
-4
Suppose -40 = -5*x + 5*f, -5*x + f - 22 = -9*x. Solve -15*u = -x*u + 36 for u.
-4
Suppose -8*j = -3 - 13. Suppose -j*w = -3*w - 3*q - 9, 0 = -4*q - 16. Solve -w = -h - 4 for h.
-1
Let d = 2 - 0. Let b = 1802 - 1802. Solve b = d*v - 7 + 1 for v.
3
Let d = 11 + -4. Suppose 0*b + 3*t = -4*b + d, 3*b - 4*t = -1. Suppose -s - b + 21 = 0. Solve -2*o - 2*o = s for o.
-5
Let y be (37 - 26)/((5/2)/5). Let d be 9 - 9/(36/16). Solve y = d*g - 3 for g.
5
Let h(p) = -7 - 6*p**2 - 4*p - 2*p**3 + 7*p**3 - 3*p - 6*p**3. Let z be h(-5). Solve z*m + 4 = 7 for m.
1
Let a(j) = -2*j + 6. Let b be a(-2). Let q be 46/b + 9/(-15) - -2. Let d = 3 + -3. Solve d = -v + q*v for v.
0
Let n = -537 + 322. Let s = n + 216. Suppose 5*d = 3*g + 18, -d + 4*g + 2 = 5*g. Solve -d - s = 2*v for v.
-2
Suppose 2*i - 1 - 3 = 0. Suppose -2*y - 10 = -4*y. Suppose y*a - 27 = -2*n, 0 = -3*a - 2*a - 4*n + 29. Solve i*m = m - a for m.
-5
Let x = 26 + -6. Suppose 3*n - 5*i - x = 0, -n + 2 = -4*i - 14. Solve n = -0*z - 3*z - 3 for z.
-1
Let c(v) = -10*v - 47. Let h be c(-5). Solve -h*d + 1 - 7 = 0 for d.
-2
Suppose 4*m - 4*k = 5 + 47, 0 = 3*m - 5*k - 45. Solve -q + m = q for q.
5
Let z(u) = -18*u**3 - u. Let x be z(1). Suppose 3*w - 135 = 3*m - 2*m, 0 = -2*m - 6. Let v = x + w. Solve -5*q + v = -0*q for q.
5
Let h be (-1 - 2)/((-12)/428). Solve -103*j = -h*j - 12 for j.
-3
Suppose 4*s = -2*m + 8*s + 202, 5*s = 0. Solve 93*x = m*x - 32 for x.
4
Suppose 0 = -4*n + 3*n - 5*k + 4, -2*n - k = -26. Let g = -42 + 48. Solve 5*h + n = -g for h.
-4
Let f be (18/(-5))/((-54)/90). Solve -7*k + f = -1 for k.
1
Suppose -29*u + 26*u + 90 = 2*y, -3*y + 161 = -2*u. Solve -y*q + 15 = -54*q for q.
-5
Let b be 74*(-3 - 35/(-10)). Let n = b + -27. Suppose 2*o - n = q - 3*q, -3*o + 5*q = 9. Solve -o*g - 5 = -3*g for g.
5
Suppose 0 = -3*s - 27 + 39. Let d(f) be the first derivative of -f**3/3 + 3*f**2 - 4*f + 1. Let b be d(s). Solve -2*g = 2*g + b for g.
-1
Let p(d) = d**3 + 6*d**2 - 10*d. Let x be p(-7). Suppose -6 = -19*c + 13*c. Solve c = 5*r + x for r.
-4
Let y(b) = -b**3 + 16*b**2 - 14*b - 11. Let j be y(15). Suppose -1 - 7 = -j*o. Solve 0*n = -o*n + 4 for n.
2
Suppose -3*w + 23 = 5*i, 3*i + 6*w - w = 17. Solve 2*p - i = 6*p for p.
-1
Suppose -3*l + 5*b + 158 = -0*l, -8 = 2*b. Let h = -42 + l. Suppose 0*v = -h*v + 36. Solve -3*q = 3 + v for q.
-4
Suppose 3*f - 20 = 7*f. Let t = -7 + f. Let z be (t/(-18))/(4/18). Solve -12 = 3*b + z for b.
-5
Suppose 0 = 4*m - 4*g - 12 + 4, -1 = g. Let t be 4/6*12/m. Suppose t = v + 2. Solve v = x - 3*x for x.
-3
Suppose 10 = 7*u - 5*u. Suppose -8*q = -u*q - 51. Suppose q + 1 = 6*b. Solve b*f - 3 = -6 for f.
-1
Suppose 23*b - 4*v - 40 = 19*b, 0 = b + v - 8. Solve 4*g + 20 = b*g for g.
4
Suppose 5*f = -18*h + 13*h + 125, 0 = -5*f + 5. Solve h*u - 2 = 25*u for u.
-2
Let g = -378 - -385. Solve g + 5 = -4*r for r.
-3
Suppose -42 = -0*q - 6*q. Suppose 0 = -s - 2*p, -s + 6 = s - 2*p. Solve -q*n = -s*n + 25 for n.
-5
Let w = -103 - -113. Suppose -7 = m - 3*r, -5*m - 5*r + 22 + 3 = 0. Solve -m*j - 4 = -w for j.
3
Suppose -54*r + 120 = 6*r. Suppose 0 = g - 1 - 0. Solve -r*s + g = -3 for s.
2
Let v = 121 - 74. Suppose 2 = -3*h + v. Solve -2*d - h = 3*d for d.
-3
Suppose 8*h - 32 = -0*h. Let x be (-12)/(-16) - (-5)/h. Suppose 5 = -4*b + 17. Solve b*d + x*d + 15 = 0 for d.
-3
Suppose -5*d + 30 = 10. Suppose 12 = d*k - 0. Let t be (0 - (1 - 1)) + 0. Solve -s + k = -t for s.
3
Let i(s) = 2*s**2 - 2*s + 3. Let x(p) = -p**3 + 3*p**2 + 6*p - 16. Let g be x(2). Let r be i(g). Solve -2*q + 7 + r = 0 for q.
5
Let k(m) = 10*m - 1. Let a be k(1). Let l be (-4)/((-12)/a) - -5. Solve -2*z = -4*z - l for z.
-4
Let n be (-8)/(-5 + 1)*4. Suppose 0 = -14*z + 12*z + n. Solve -g + 6 = -z*g for g.
-2
Let r be 6 + 1 + (2 - 6). Suppose -r*a + 48 = -7*a. Let z be 3/2 + 18/a. Solve y - 1 - 1 = z for y.
2
Let b(p) = -p**3 - 6*p**2 - 14*p - 10. Let t be b(-4). Suppose 24 = t*c - 6*c. Solve -a = c*a + 20 for a.
-5
Let x be (18/(-27))/(2 + 147/(-72)). Let u be (x/20)/(6/45). Solve k = u - 3 for k.
3
Suppose 0 = 4*g - 5*g + 2. Suppose g*k = 3*f - 1, -4*k = -5*k + 4*f - 8. Let l be (-24)/2*1/(-2). Solve -l - k = 2*m for m.
-5
Suppose 22*j - 336 = 26*j. Let r be 1/7 + (-1500)/j. Let c(f) = f**2. Let i be c(-2). Solve r = -i*o - 2 for o.
-5
Let z(m) = -26*m + 238. Let j be z(9). Solve -j*f + 8 = -0 for f.
2
Let j = -273 + 283. Solve 7 = -u + j for u.
3
Let h be ((-40)/12)/(4/(-6)). Let b(y) = -y**2 - 6*y + 12. Let f be b(-7). Solve f*o + h = 4*o for o.
-5
Let m = -155 + 158. Solve 0 = -7*f + m*f - 20 for f.
-5
Let a(b) = -7*b**2 - 128*b - 33. Let n be a(-18). Solve -5 + n = f for f.
-2
Let s(c) = -3*c + 90. Let y be s(24). Solve -10*n - y = -4*n for n.
-3
Let j(l) be the first derivative of -4*l**2 - 12. Let u be j(0). Solve 5*a + 5 + u = 0 for a.
-1
Let z = 32 + -29. Solve 0 = z*t - 2*t + 2 for t.
-2
Let x = -146 + 143. Let c(z) = z**2 - 7*z + 7. Let j be c(6). Let u be j/(x/(-48)) - 0. Solve -6 = -5*n - u for n.
-2
Let u(v) = v**3 - 4*v**2 + 4*v - 3. Suppose -4*m = -10 - 2. Let f be u(m). Suppose -z + 7 + 3 = f. Solve -i - z = i for i.
-5
Let r be ((1*-1)/(-1))/(32/160). Suppose r*i + 3*p + 15 = 0, i + 2*p = -4 - 6. Solve i*k = -3*k for k.
0
Let j(m) = -5*m**2 - 74*m + 7. Let i be j(-11). Solve k - 212 = -i for k.
-4
Let b be 5 + 7/(7/(-3)). Let y be (-24)/(-14) + b/7. Let k be -1 - ((2 - y) + -4). Solve k*m = -0*m + 9 for m.
3
Let c = -1 - -1. Suppose 183*n + 5*p + 11 = 185*n, -n = -5*p - 8. Solve 2*v + n*v - 5 = c for v.
1
Let g = 39 - 29. Solve g*n - 4 = 12*n for n.
-2
Let b be -1*2 + (-14)/(-2). Suppose 2*z = b*a - 0*z - 15, 5*z = 5*a - 30. Let q be a*3 + (-2 - -3). Solve q*c - 3*c = 1 for c.
1
Let j be 6/((198/(-12))/(-11)). Solve 58*d - 62*d + j = 0 for d.
1
Let h be 121/968 + 23/8. Solve 6*k - h = -3 for k.
0
Let t be (-1)/5 + (-62)/(-10). Suppose 12 + 6 = t*m. Solve -2 = -j - m for j.
-1
Let q(s) = -2*s**2 + 43*s + 22. Let v be q(22). Let f(g) = -g**3 + 6*g**2. Let d be f(6). Solve 2*o - 6 + v = d for o.
3
Suppose 4*b - 9*b + 55 = 0. Solve -b = 4*w - 3 for w.
-2
Suppose 5*m + 2*c = 19, 0*c - 4*c = 3*m - 3. Solve -3*h = -m*h + 8 for h.
4
Let j(z) = 2*z**3 - 2*z**2 - 2*z + 2. Let p be j(2). Suppose p*y - y - 3*q