 + 3*k + z for k.
-5
Suppose 12*p - 35 = 5*p. Suppose 5*u = p*c - 0*u + 55, -4*u - 36 = c. Let k be (-8)/20*(c + 1). Solve -k*w + w = -15 for w.
3
Suppose 0 = 15*m - 233 + 98. Solve 5*j - 8*j = m for j.
-3
Let v = 50 + -44. Let x = -117 - -117. Solve x = -3*u + v for u.
2
Let a be (-1)/(-3) + (-15)/(-9). Suppose u + 2*c - 5 = c, -u + a = -2*c. Let z be 1 + 0 - -1*9. Solve z = -u*v - 6 for v.
-4
Let g(n) = n**3 - 5*n**2 - 4*n - 5. Let p be g(6). Let r = 72 + -52. Let m = 22 - r. Solve m*c + p = 3 for c.
-2
Let g be (-1 - -1) + (1 - -1). Let r(u) = -u**3 - 2*u**2 + 8*u + 3. Let x be r(-4). Solve x*s - 1 = g for s.
1
Let b = 723 + -715. Solve -24*r = -b*r + 48 for r.
-3
Suppose x + 120 = 19*f - 14*f, 5*x - 44 = -3*f. Solve 0 = f*i - 21*i + 4 for i.
-2
Let u(q) = -q + 1. Let p(g) = 2*g + 5. Let h(w) = -1. Let r(s) = -6*h(s) - p(s). Let d(x) = 2*r(x) - 2*u(x). Let b be d(-1). Solve 0 = b*l - 6 for l.
3
Suppose -11*y + 17*y + 6 = 0. Let l be (-2)/2 + ((-51)/y)/3. Solve 4*t + 4 + l = 0 for t.
-5
Let a be 187/(-5) - 22/(-55). Let h = 18 + -50. Let u = h - a. Solve 4*x = 25 - u for x.
5
Suppose 1 + 1 = p. Suppose p*b + 11 - 21 = 0. Suppose 0 = b*c + 15, -5*c = 2*h - 0*c + 9. Solve h*r - 8 = 4 for r.
4
Let i be ((-3)/(-4))/(54/144). Solve 9 = -l - i*l for l.
-3
Let f(h) = h**3 + 2*h**2 - 2*h + 1. Let d be f(-2). Suppose 2*m = 3*q - 9, 2*q + 35 = 6*q + 5*m. Solve q = -0*z - d*z for z.
-1
Suppose -3*d + 65 = -4. Solve 12*f + d = -13 for f.
-3
Let n(z) be the first derivative of 3 + 20*z + z**2 - 9 + 2. Let x be n(-9). Solve -x - 2 = f for f.
-4
Suppose h - 6 = -3*w, 3*w + 10 = 8*w - 4*h. Let c(m) = -3*m - 4*m**2 + 5*m**2 + 6*m**2. Let d be c(w). Solve -3 = 5*k + d for k.
-5
Suppose -4*t + 3*h + 30 = -29, 4*t - 53 = -3*h. Solve -10*s + t = -26 for s.
4
Let b(u) = 4*u - 29. Let c be b(8). Suppose r = 4*f + 3, -3 = -r + f + 2*f. Suppose -5*x + 16 = q + 2*q, -4*q + c = r*x. Solve x = h - 6*h for h.
-1
Let t(q) = 2*q + 25. Let p be t(-11). Suppose 4*f - p = o, 3*f = 5*o - f - 17. Solve o*k - 9*k - 4 = 0 for k.
-1
Let q = -60 - -68. Solve n - 7 + q = 0 for n.
-1
Let d be 6/15*(-100)/(-4). Suppose -3*p + d = -4*t + 30, 3*t + p = 2. Solve 0 = -3*s - 5 + t for s.
-1
Let i = -183 - -189. Solve 3*o - i = o for o.
3
Let t(y) = -y**2 + 26*y - 114. Let m be t(6). Solve -16*b + m*b = 10 for b.
-1
Suppose -2*p - 5*m + 23 = 6, -115 = -5*p + 2*m. Suppose -5*a = 3*o - 7, 43 = 5*o - a - 6. Solve 0 = -3*k - p + o for k.
-4
Let t be (22/4)/(2/(-4)). Let n = 16 + t. Solve -n*q - 13 - 12 = 0 for q.
-5
Let r = -7 - -32. Let p(v) = 2*v**3 - 10*v**2 - 5*v + 29. Let u be p(5). Solve -u*q + r = q for q.
5
Suppose 3*t = -u + 18, -5*u + 25 + 25 = 5*t. Solve 57*x + u = 54*x for x.
-2
Suppose 0 = t - 0*t - 16. Suppose 5*r - 29 - t = 0. Solve 3*d + 3 + r = 0 for d.
-4
Let v = 41 - 38. Suppose 5*p = p - 4*f + 20, 2*f + 25 = 5*p. Let s = p - 3. Solve 2*m + s = v*m for m.
2
Suppose -3*a = -5*z - 48, a - 5 - 27 = 3*z. Let u(o) be the third derivative of -o**4/24 - 5*o**3/3 + 2*o**2 - 17*o. Let k be u(z). Solve k*d = -d for d.
0
Suppose -75*b = 26*b + 2929. Let d be -1*64/(-2 - -4). Let u = b - d. Solve -u*x = -2*x - 1 for x.
1
Suppose 0 = 4*r - 5*x - 22, 0*x - 48 = -5*r - 4*x. Solve -13*k + 17*k + r = 0 for k.
-2
Let t be 9/((16/24)/(64/(-18))). Let n = t - -51. Solve -2*u - 4 = -n*u for u.
4
Let u = 15 + -17. Let c be ((-8)/(-6))/(14/42). Let a be (c - (u + 4)) + 1. Solve 11 = 2*b + a for b.
4
Let p = 354 + -349. Let w = 5 - -5. Suppose -w = -0*q - p*q. Solve q*y + 3*y - 25 = 0 for y.
5
Suppose -11 = -4*m - 3*j + 10, m + 2*j - 9 = 0. Solve 2*z + m + 3 = 0 for z.
-3
Let k be (-27 - -30)*(-4)/(-6). Solve -k*u + 0*u = 6 for u.
-3
Let r be (-5 - -9)*10/8. Let c(l) = l**2 - 7 + 2*l + l**3 + 0*l**3 - 6*l**2. Let x be c(r). Solve -h = x*h for h.
0
Suppose 36*a + 23*a = 0. Solve a*g + 6*g + 24 = 0 for g.
-4
Let a be (-45)/2*12/9. Let p = 32 + a. Solve -p*j + 5 = 3*j for j.
1
Suppose -5*y = -6*y + 4. Let z(h) = -h**2 + 5*h + 5. Let d be z(5). Suppose 6*i + 30 = d*m + i, -2*m = -y*i - 16. Solve -5*l + l = m for l.
-1
Let s(p) = -5*p**3 + 40*p**2 + 3*p + 4. Let h be s(8). Solve 7*n + 42 = h for n.
-2
Let v(a) be the first derivative of -a**2/2 + 8*a + 8. Let b be v(5). Solve 4 + 8 = -b*k for k.
-4
Let o(c) = -3*c - 4. Let b be o(-4). Suppose 0 = 3*j + 4*r + b, 5*j - 7*r + 3*r - 8 = 0. Suppose v + 4*v = j. Solve 4*z - 5*z + 3 = v for z.
3
Let d(u) = -u**3 + 8*u**2 + 10*u - 4. Suppose w + 40 = 4*l, -2*l + 0*w + w + 22 = 0. Let y be d(l). Suppose -q = q - 32. Solve 1 = y*n + q for n.
-3
Suppose 0 = -3*p - 5*h - 109, p - 5*p - 4*h = 156. Let d = p - -46. Solve v + d*v = 8 for v.
2
Let h(c) = c**2 + 4*c + 2. Let n be h(-4). Let y = 7 - -3. Solve 4*d + n = y for d.
2
Let g(u) = -11*u + 27. Let a be g(2). Suppose 2*s = 5*o + 3*s - 46, 5*o - 58 = 2*s. Suppose -a*j - o = -10*j. Solve 4 + j = 2*b for b.
3
Let i = -6 - -28. Suppose -z + i = -4*k, -z + 2*k = -2 - 10. Solve 4*r = z*r - 6 for r.
-3
Let a be (-141)/(-21) - (-4)/56*4. Let g = -1 + 10. Suppose -g*o = -a*o. Solve -5*t - 15 = -o*t for t.
-3
Let m = 25 - 47. Let d = m - -25. Solve d = 3*k - 9 for k.
4
Let c be 4/(-26) + -4 + 80/13. Suppose -5*l - m = 4*m + 10, 0 = c*l + 5*m + 10. Solve -4*r = -l*r for r.
0
Suppose 2*m - 4*m = 0. Suppose 10*w - 7*w - 24 = m. Let l be (w - 1) + (-24)/12. Solve 0 = 3*o - 8*o - l for o.
-1
Suppose 6*b - 2*b = 48. Let z be (-1)/(-4) + (-15)/b. Let h be z + 6*3/2. Solve -q = q - h for q.
4
Let n(s) = -5*s - 58. Let r be n(-12). Solve -r*u - 4 = 6 for u.
-5
Suppose t + h + 0 + 12 = 0, 0 = -4*h - 16. Let f be (1 - 7/4)*8. Let g = f - t. Solve o = -g*o for o.
0
Let h = -185 + 191. Solve -5*i + h = 11 for i.
-1
Suppose 2*z + 1 = 5. Suppose 3*v - d - 16 = 0, z*v - 2*d - 24 = -2*v. Let g be (-59)/(-5) - (2 + (-77)/35). Solve 0 = v*i - 0*i - g for i.
3
Let y = 1 - -4. Suppose 24 = -o + y*o. Solve o*h = h - 5 for h.
-1
Let k(q) = 4*q + 6. Let c be k(-1). Let a(w) be the second derivative of -5*w**3/6 - w. Let y be a(-1). Solve 0 = y*r - c - 13 for r.
3
Let u = -255 - -257. Solve -u*j = 2*j - 20 for j.
5
Suppose 3*i - 3 - 3 = u, 5*i - 10 = 5*u. Let k be (3/6)/(-1 + (-14)/(-12)). Let q = -7 + 27. Solve -k*z = i*z + q for z.
-4
Let o = 75 - -50. Let a = 127 - o. Solve 2*m - 3*m = -a for m.
2
Suppose 9 = -4*z - 3, 0 = -3*i + 4*z + 15. Solve 9 = 5*c - i for c.
2
Suppose 553 - 553 = -21*j. Solve 0 = 5*f + 20 - j for f.
-4
Suppose 32*f - 57 = 71. Solve 0 = 2*p - f - 4 for p.
4
Let i = 32 + -14. Let p be (-1)/(-9)*2 - (-32)/i. Solve p*k + 2 = k for k.
-2
Suppose 12*r - 12*r = 18*r. Solve r*x + 12 = 4*x for x.
3
Let k be 3*-14*(-2)/12. Solve 6 = 13*v - k*v for v.
1
Suppose -138*z + 126 = -132*z. Suppose 5*x - 2*d = -105, -x + 2*d - 3 - 18 = 0. Let c = z + x. Solve c = u + u for u.
0
Let a(k) = -k + 1. Let w be a(1). Suppose -5*p + g = -51, 4*p + g + g - 38 = 0. Suppose -9*n = -p*n. Solve w = m - n + 4 for m.
-4
Let q be 108/(-30) - (-2)/(-5). Let u be ((-10)/q)/(6/36). Suppose -u = 3*a, 99 = 4*f - 2*a - 11. Solve 4*s - 5 = -f for s.
-5
Let c = -22 - -18. Let b be (-52)/(-10) + c/20. Let f be 15 + (45/b)/(-3). Solve -p + f = -4*p for p.
-4
Let a be (-10 - -22) + (4 - 1)*1. Suppose -11*x + a + 18 = 0. Solve -x*u + 2*u = 4 for u.
-4
Suppose 20*p = 17*p - 4*m + 17, -p - 3 = -3*m. Solve 4 = p*z - 8 for z.
4
Let w be ((-280)/(-25))/((-1)/(-5)). Suppose w = -9*x + x. Let i = x + 22. Solve 3*j + 2*j = i for j.
3
Let j(d) = d**3 + 4*d**2 - 7*d - 9. Let a be j(-5). Let u be 2*a - (-38)/(-19). Solve k - 2 = -u for k.
2
Let h(n) = 4*n + 53. Let d be h(-12). Solve 24 = -d*f - 3*f for f.
-3
Let i(b) = -b**3 - 8*b**2 - 8*b - 2. Let g(q) be the first derivative of -q**2/2 - 11*q - 3. Let y be g(-4). Let c be i(y). Solve -3 = -4*n + c for n.
2
Let u be -2 + (19 + -1 - 0). Let z(h) = -h**3 - 9*h**2 - 8*h + 4. Let l be z(-8). Suppose l*d + 8 = 24. Solve -d*i = -4 + u for i.
-3
Suppose -4*t + 39 = -7*t. Let v(l) = -13*l - 1 - 4*l**2 + 3*l**2 + 1. Let q be v(t). Solve 0 = 3*h - q*h + 15 for h.
-5
Suppose 5*y = -10 + 25, -2*i - 3*y = -25. Suppose 3*q + k - 49 = 0, q + 3*k + k = 9. Suppose 4*n = 2*f + 16, -f = -4*n + 7*n - q. Solve 2*r + f*r = -i for r.
-2
Let b = -74 - -34. Let y = b - -72. Suppose -22 + 6 = 3*t - 5*o, -4*t + y = 4*o. Solve 5*i = -8 + t for i.
