
Let a = 111 - 51. Suppose -8*l + a = -2*l. Solve 3*m - l = 5*m for m.
-5
Let h(c) be the second derivative of -c**4/3 + c**2/2 + 4*c. Let r be h(1). Let l be r + 16/4 - -1. Solve 0*k = -2*k - l for k.
-1
Let w(c) = -6*c + 10. Let p be w(-9). Suppose 0 = 14*x - 10*x - p. Let u = 17 - x. Solve -11 = -5*l - u for l.
2
Suppose 5*u = -3*h + 30 - 4, h - 5*u = -18. Let t be 2/(-4) - h/(-4). Suppose t = 2*f - 1 - 1. Solve 0*o - f = -o for o.
1
Suppose -16 = -2*r - 5*l, -3*l - 11 = -17. Solve y - 3*y = r*y for y.
0
Let l be 286/44 + (-3)/(-6)*-3. Solve l*g = -6 - 19 for g.
-5
Suppose 4*n = 5*o - 3 + 10, 0 = n + 3*o - 6. Let r be n - -8 - 4 - 3. Solve -3*v = v - r for v.
1
Let n = 15 + -11. Suppose 71 = -0*o + 3*o + 2*y, -5*o + 133 = -n*y. Suppose -4 = q - o. Solve -5 + q = 4*t for t.
4
Let i be (-435)/(-39) - (-6)/(-39). Suppose 4*s - i - 5 = 0. Solve -s*w = 8 + 4 for w.
-3
Suppose w + 3*w = -l - 9, -5*l = 2*w - 9. Let u be (-2)/(-14) + 246/42. Solve -l*d + u = -d for d.
3
Let x = 439 - 439. Solve n + 0*n - 1 = x for n.
1
Suppose -2574*x + 24 = -2568*x. Solve -16*i + 14*i - x = 0 for i.
-2
Suppose 17*w = 179 + 8. Solve -w*c = -10*c + 1 for c.
-1
Let k = -8 - -12. Suppose 178 = k*w + 14. Suppose 11 - w = -3*n. Solve n = -3*a + a for a.
-5
Let u be (-6)/(-51) + 1944/(-51). Let j = u + 41. Solve -4*o - j = -o for o.
-1
Suppose -12*p = -15*p + 2*b + 37, -2*p + 3 = 3*b. Solve -7*q = -p*q + 2 for q.
1
Suppose -4*o = 2 - 6. Suppose -4*z - 31 = -5*b, 0 = -5*b - 3*z - z - o. Let s be b/(-6) - (-10)/4. Solve -1 = 3*h - s*h for h.
-1
Let w(s) = 2*s**3 + 2*s**2 - 11*s + 13. Let k be w(2). Solve -4*q = -k*q + 55 for q.
5
Let j = -59 + 61. Let q be (3/(3 + 0))/(-1). Let c = q + j. Solve -3*g - c - 8 = 0 for g.
-3
Let n = -31 + 39. Solve -4*h - 4 = -n*h for h.
1
Suppose -608*j - 5192 = -619*j. Solve -j = -5*f - 447 for f.
5
Let p be 0 - (0 + -24) - 0. Let g(j) = j**2 + 17*j - 16. Let f be g(-17). Let n = 24 + f. Solve -4*t - p + n = 0 for t.
-4
Suppose 2*f = -3*p - 6, 0 = -f - 2*p - 2 - 2. Solve -4*z + f = -8 for z.
2
Let d(h) = 4 + 2 + 0*h - 2*h + h. Let u be d(-3). Let r = -9 + u. Solve -2*g = 4 - r for g.
-2
Suppose 144 = 134*h - 126*h. Solve 10 - h = -8*i for i.
1
Let k(m) = -m**2 - 6*m + 27. Suppose 2*f + 5*o = 7, 0 = -0*f + 2*f - o + 23. Let z be k(f). Solve 0 = 4*n - z*n - 4 for n.
1
Let l = -7 + -5. Let m be (-201)/(-21) - l/(-21). Solve -3*a - m = 3 for a.
-4
Suppose 4 = 5*q - 4*q. Suppose -q*s = -5*s + 2. Solve s*z = 1 + 1 for z.
1
Let h(r) = -r - 6. Let x be h(-6). Suppose x = -5*i - 3*w + 22, -3*i + 4*w + 14 = 5*w. Suppose i*m - 9*m = -32. Solve -p + m = -3*p for p.
-4
Suppose 19*w - 18*w = 6. Solve w*u + 13 + 11 = 0 for u.
-4
Suppose -5*s + 62 = -4*j, 3*j + 24 = 4*s - 25. Let r = s + 2. Suppose -15*x + 19*x - r = 0. Solve h - x*h = -10 for h.
5
Suppose 58 = -8*t + 6*t. Let p = 4 + t. Let c be ((-20)/p)/(1/5). Solve -c = z + 1 for z.
-5
Suppose 0 = -c - 0*c + 4. Suppose 4*n = 4*q - 16, q + n = -3*q + 16. Let h be 6/(-3) + q + -2. Solve 0*i - c*i + 4 = h for i.
1
Let m be (4/3)/((-1)/9). Let c be ((-4)/(-3))/((-8)/m). Let d be (2 - 3)*-4 + (14 - 14). Solve 6 = -c*h + d*h for h.
3
Let g(p) be the second derivative of p**4/12 - p**3 - p**2 + 22*p. Let d be g(9). Solve -7*r - d = -2*r for r.
-5
Suppose 136*r + 308 = 143*r. Solve -3*p - 32 + r = 0 for p.
4
Let m(u) = 76*u - 489. Let z be m(7). Solve 5*a - z = -38 for a.
1
Suppose 13 + 2 = 3*u. Suppose 0*q + q - 5 = -5*b, 0 = -u*b. Suppose -2*v = -d, 0 = 3*v + 4*d + d - 13. Solve q*f = 24 + v for f.
5
Let t = 279 - 276. Solve -t*j - j = 4 for j.
-1
Let u = -165 + 37. Let y = u - -133. Solve -5*w - y = -0*w for w.
-1
Suppose -h - 6 = -k, -3*k - 2*h + 4*h + 19 = 0. Solve -k*i + 1 = -34 for i.
5
Let t be 2 - (0 - -3) - -8. Solve -t*q + 9*q = 4 for q.
2
Let s(y) = 4*y. Let g be s(1). Suppose -3*n + n - 5*c = 15, 4*c = -4. Let p be (-5)/n*(1 + -1). Solve p = g*m - 4 for m.
1
Let o(i) = 16*i + 18 + 16 - 12 + i**2. Let u be o(-15). Let r = -2 + u. Solve r*y = -21 - 4 for y.
-5
Let s be (-28)/(-44) - (-12)/33. Let d be 6 + 0 + -2 + -2. Solve -u = s + d for u.
-3
Let v be ((-896)/256)/((-14)/88). Solve -v = 7*n - 22 for n.
0
Suppose -3*f + 17 = j, -2*f + 9 + 14 = 3*j. Solve -j = -3*r - 8 for r.
-1
Suppose 4*f - 5*m = 52, -3*f + m + 17 + 11 = 0. Solve -f*d + 5*d - 12 = 0 for d.
-4
Let m(u) = u**3 + 13*u**2 - 15*u + 16. Let f be m(-14). Let g = -30 + f. Solve g = -2*p - p for p.
0
Suppose -10*n = -6*n - 8. Suppose n*l - l + 3*r = 14, 4*l + 2*r = 76. Solve -l = w + 4*w for w.
-4
Suppose -437*c + 431*c + 18 = 0. Solve -c*u = 13*u - 48 for u.
3
Let y(j) be the second derivative of j**3/6 + 5*j**2 - 9*j. Let z be y(-7). Solve 0 = z*q + 2*q for q.
0
Suppose 2*d + 3*d + 4*j = -143, 164 = -5*d + 3*j. Let k = d - -31. Solve k = -0*x - 3*x for x.
0
Suppose 132 = 6*k + 2*p, 8*k + 2*p = 4*k + 88. Solve -8*f - 18 - k = 0 for f.
-5
Let x = 48 + -30. Let p = -18 + x. Solve p = -4*w + 3*w for w.
0
Let v(m) = 9*m**2 + 4*m + 4. Let x be v(-2). Suppose 4*l - x = -4*t, -3*t = 4*l - 0*t - 27. Solve -l*y = 1 + 2 for y.
-1
Suppose 4*v - 30 + 6 = 0. Let b(d) = d**3 - 5*d**2 - 7*d + 7. Let p be b(v). Let s be (-1)/(3/6 - p). Solve s = 5*m - 3 for m.
1
Let p(f) = f**2 - f + 3. Let l = -1 - -1. Let c be p(l). Let q = -3 + c. Solve -5*o + 7 - 2 = q for o.
1
Suppose 3*w - 2*w - 4 = 0. Let b be (-3 - -4)*1*-1. Let u be (4 - (2 + -3)) + b. Solve -w = u*m - 0 for m.
-1
Suppose 3*r + 61 = 4*j + 7, -3*r + 21 = j. Suppose 11*u + j = 6*u. Let g be u/1*20/(-10). Solve 4*l + g + 14 = 0 for l.
-5
Suppose 0 = -5*w - 4*k + 21, w - 8 + 5 = -2*k. Suppose -5*v + b + 54 = -0*v, 0 = 2*v - 4*b - 18. Let l be 46/v + 2/(-11). Solve -z + l = w for z.
-1
Let s = -331 - -337. Solve -4*k + s*k = -2 for k.
-1
Let m be (-1 - 4) + (15 - 5). Solve 2*b - 1 = m for b.
3
Let p be ((-1)/(-3))/((-2)/18). Let o be (-1)/(1/(p*2)). Solve 0 = o*m - 2*m for m.
0
Let a = -62 + 144. Suppose -6*s + a = 28. Solve -13*o - 20 = -s*o for o.
-5
Let m be (0 - -1) + -3 + 155 + -4. Solve -m = 4*z - 161 for z.
3
Let j = 18 - 18. Suppose -2*c - 1 = v, -5*c + j*c - 2*v = 0. Solve c*o = o for o.
0
Let n be (2 + (3 - 5))*(-18)/18. Solve n*t = -0*t + 3*t for t.
0
Let o be 4/5 - (-207)/(-15). Let u = o - -19. Solve -u*k + 5*k = 0 for k.
0
Let d(k) = -2*k**2 + 11*k - 1. Let g be d(4). Solve -g = -2*v - 13 for v.
-1
Let b = 99 - 69. Let c be (24/(-18))/((-4)/b). Solve 3*k - c + 7 = 0 for k.
1
Let a be (4 - 4)/(-1 + 2). Suppose -j + 2 = -a. Let k be 1 + -4 - (-12)/j. Solve o = k*o for o.
0
Let f = -13 - -20. Suppose -3*b = -k - f, 5*b + 3*k = 13 + 22. Solve -1 = -b*w + 7 for w.
2
Let q(h) = h**2 - 8*h + 8. Let v be q(9). Let t(b) = b**3 - 18*b**2 + 16*b + 16. Let y be t(v). Let g be (4 + -3)*(-1 - y). Solve g = -f + 2*f for f.
0
Suppose -c + 3*j - 19 = 0, -4*c + 5*j - 158 = -47. Let z = c + 22. Let w = z + 38. Solve -w + 11 = 3*x for x.
-5
Suppose -30 = -5*h - 10, 13 = k + 2*h. Suppose -b - 1 = -k. Solve 16 = -b*s - 0*s for s.
-4
Suppose -13*m - 2 = -15*m. Suppose 7*y - 1 = -m. Solve y = 4*g + 11 + 5 for g.
-4
Let n = -4 + 22. Suppose -n*c = -2*c. Solve -t + 5 - 10 = c for t.
-5
Let d be (138/115)/(2/10). Suppose 1 = -2*a + 17. Solve 2*s = d*s + a for s.
-2
Let z(r) = -r - 5. Let m be z(-7). Suppose 4*g + 11 = -5*t, -2*t + g = 3*t - 9. Let j be t + (-3 - 6/(-3)). Solve j*v - 4 = m*v for v.
-2
Let u(n) = -n + 35. Let b be u(28). Solve -2*k + b = -1 for k.
4
Let d(a) = -4*a**2 - 14*a - 33. Let p(q) = 7*q**2 + 27*q + 65. Let j(x) = 5*d(x) + 3*p(x). Let f be j(-6). Solve o + 4*o = f for o.
0
Let p(k) = -9*k + 1. Let n be p(-2). Suppose 5 = -3*q - 1, -3*q + n = 5*g. Let d be (-2)/g*(1 + -51). Solve 0*m + d = 4*m for m.
5
Suppose -4*h + 2*h = 0. Solve s + 17 - 18 = h for s.
1
Let f = 343 + -337. Solve f*n + 7 = -23 for n.
-5
Let a = 2 + -2. Let k be 2 + -3 + 1 + a. Suppose l + 3*l = 24. Solve -2*b = -k*b + l for b.
-3
Let b = -44 + 80. Let w be ((-12)/b)/((-2)/12). Let i = 7 + w. Solve -2*s + 3 = i for s.
-3
Suppose 145*y - 149*y + 56 = 0. Solve 9*j - y*j = 5 for j.
-1
Suppose 0*k = 4*k + 2*m + 4, 5*k - 5*m = -20. Let b(z) = z**3 + 3*z**2 - 1. Let l be b(k). Solve l*d = d - 2 for d.
-1
Let f(o) = -5*o**2 - 177*o - 61. Let w be f(-35). Solve k + 6 - w = 0 for k.
3
Let j(i) = -i**2 + 15*i - 5. Let u be j(18).