0*u = -0*u + l*u for u.
0
Suppose 0 = -d + m + 32, 61 = d + d + m. Solve -d = -3*f - 34 for f.
-1
Suppose -3 = o - 5. Suppose 0 = o*g - 2*t - 2, 2 = 5*g + t - 27. Solve 0*c = -g*c for c.
0
Let f(h) = 2*h**2 + h - 3. Let l(w) = -w**3 - 4*w**2 - 5*w - 4. Let o be l(-3). Suppose 0 - o = i. Let m be f(i). Solve 3 = -m*r - 9 for r.
-4
Let l be 1/2*(3 + -3). Let s(c) = 5*c**2 + 2 + 0*c**3 + 0 + 0*c**3 - c**3. Let y be s(5). Solve l = y*t - t for t.
0
Let y = 21 - 12. Let n be 6/(-87) - (-40)/580. Solve n = -3*m - 0*m - y for m.
-3
Suppose -3*l + 17 = 4*m, 25 - 2 = l - 3*m. Suppose -4*z - l + 11 = 0. Solve 5*b = -z*b - 10 for b.
-2
Let v = -40 + 46. Suppose v*q = 27 + 45. Solve -q = 8*d - 5*d for d.
-4
Suppose 0 = 3*r - 331 + 295. Solve 6*d = 18 - r for d.
1
Suppose 8*p - 36 = 4. Suppose 8*k = 33 - 17. Solve k*r + p + 3 = 0 for r.
-4
Let t(a) = a**3 + 8*a**2 - 6*a - 48. Let h be t(-8). Solve h = -3*y - 13 - 2 for y.
-5
Let s(w) = -12*w + 708. Let k be s(59). Solve -12*u + 13 + 11 = k for u.
2
Let h(a) = 2*a + 2. Let q(k) = -k - 1. Let d(b) = -3*h(b) - 7*q(b). Let s = -335 + 336. Let x be d(s). Solve 20 = x*w + 2*w for w.
5
Let g(m) = -12*m - 76. Let s be g(-8). Solve 15*k = s*k + 10 for k.
-2
Suppose -32*b + 69 + 27 = 0. Let y = -5 - -17. Solve -y = b*o + o for o.
-3
Let y(d) = -2*d**2 - 25*d - 18. Let b be y(-11). Solve 0*o - 3*o = -b for o.
5
Suppose -z - 7 = -2*p, z - 5 = 2*z. Let i be p + 0 + -2 + 17. Solve v + 3*v - i = 0 for v.
4
Let o = 33 + -31. Suppose 12 = 7*t - o. Solve -2 - t = -4*k for k.
1
Let u be 3 + 2 + (-10)/4*-6. Solve -23*n + 6 = -u*n for n.
2
Suppose 0 = -4*w + 3*z + 9, 90*z = -2*w + 88*z + 8. Suppose -g = 2 - 4. Solve w*x - g*x + 4 = 0 for x.
-4
Let m be 10/25 + 33/5. Suppose -3*s - 2*g = -m*g - 2, 3*s - 20 = -4*g. Suppose 22 = 5*a + 4*h - 29, 0 = 2*a - 3*h - 2. Solve a - 19 = s*f for f.
-3
Let k = 983 - 964. Solve -3*h - 4 = -k for h.
5
Let d(m) be the first derivative of -m**2 + 42*m - 28. Let i be d(16). Solve -i = 5*z - 30 for z.
4
Suppose 2*t - 6*t = -108. Suppose -t = 5*k - 107. Let f(g) = g**2 - 2*g. Let m be f(3). Solve h - k = -m*h for h.
4
Suppose -8 = 4*o - 5*m, o + 0*m = -2*m + 11. Suppose -d + 10 = o*j, d + 2 = 3*d. Suppose -j*i - 3*i = -30. Solve 7*x - 2*x - i = 0 for x.
1
Let r = 1188 - 1180. Solve 2*h + 0 = -r for h.
-4
Suppose 3*x - 6*x = 2*p - 31, -5*p - 7 = x. Solve 10*f - 9 = x*f for f.
-3
Let l(u) = 4*u + 70. Let m be l(-16). Solve m*h + 13 + 17 = 0 for h.
-5
Let n = -1 - -3. Let o(r) = -r**3 + 12*r**2 - 13*r + 26. Let c be o(11). Suppose 0*l - 25 = -c*q + l, -3*l = q + 10. Solve n*u - q = u for u.
5
Let g = 59 - 77. Let c = 29 + g. Solve 3*u = -4 - c for u.
-5
Let v(z) be the second derivative of z**4/12 - 5*z**2/2 - 109*z. Let j be 3/(-15) + 14/(-5). Let x be v(j). Solve x = k + 2 for k.
2
Let m = 12 - 1. Suppose 0 = 3*p - m - 4. Let s be 17/p - 2/5. Solve a = s + 2 for a.
5
Let g(t) = -8*t - 10. Let n(x) = x. Let j(w) = g(w) + 4*n(w). Let o be j(-5). Suppose -2*d = -5*h + d + 6, -o = -5*h + 5*d. Solve -4*c + 8 + 4 = h for c.
3
Suppose 5*v - 2 = 53. Solve 0 = -7*k + v*k for k.
0
Let y(m) = -12*m**2 + 17*m - 14. Let h(d) = 4*d**2 - 6*d + 5. Let p(r) = -17*h(r) - 6*y(r). Suppose -4*v + 2*v = -2. Let a be p(v). Solve -a*f = f for f.
0
Suppose -5*b = -10, -3*b = 5*q + b - 38. Solve -q = 3*d - 3 for d.
-1
Let n(d) be the first derivative of -d**4/4 + 3*d**3 + 11*d**2/2 + 13*d + 2. Let k be n(10). Suppose -b + k = 3*x + x, 5*b = -x + 20. Solve r = b*r + 8 for r.
-4
Suppose b - 1 = 3*g, 4*b - 2*g = 2*g + 12. Solve 0 = -b*t - 0*t - 8 for t.
-2
Let d(n) = -n**3 + 6. Let v be d(0). Let g = v - 1. Let a = 28 - 25. Solve -g*i - 2 = -a*i for i.
-1
Let d = -34 + 34. Solve d = 9*t - 4*t + 20 for t.
-4
Let m = -2 + 4. Let i be (116/(-6))/(2/18). Let r = i + 179. Solve m + 13 = r*c for c.
3
Suppose -70 = 562*h - 567*h. Solve 21*c = h*c for c.
0
Let b(h) = -h + 44. Let m(c) = 2*c - 44. Let o(z) = -6*b(z) - 5*m(z). Let j be o(-11). Solve 8*d - 4*d = j for d.
0
Suppose -2*r + 4 = -4*a, 0*a = -5*r + 4*a + 22. Suppose 4*t + 14 = 22. Solve t*x = r*x for x.
0
Suppose 15*d = -3*d + 288. Solve 9*g = d*g + 21 for g.
-3
Let f(j) = -3*j - 17. Let q be f(-7). Suppose b - d = d, q*b - 5*d - 3 = 0. Suppose 4*g - 4*k = 4, b*g - 6 = -5*k - 4. Solve -g + 11 = -5*n for n.
-2
Let o = 6 + 1. Let n(s) = o*s + 4*s + 0*s**3 + 14 - s**3 - s**2 - 8*s**2. Let v be n(-10). Solve -19 + 7 = v*a for a.
-3
Suppose -5*h = -s, -5*s - 2 = -5*h - 82. Let t = 20 - s. Solve 2*k + t + 6 = 0 for k.
-3
Let q be (275/(-22))/((-50)/120). Solve -82 - 68 = -q*s for s.
5
Suppose 3*y - 10 = 2*f - 4*f, 4*y - f = 17. Suppose 5*u + h = 20, -u + 0 = -3*h - y. Solve -u*c = c - 25 for c.
5
Let v be (0 - 1) + -2 - 7. Let t = v + 12. Suppose 5*h + 6 = -t*j, 0 = -4*h + 5*h + 3*j + 9. Solve h*r - 12 = 3*r for r.
-4
Let h(a) = 4*a - 76. Let q be h(19). Solve 18 = -q*f + 6*f for f.
3
Let m be 2 + (3 - 6) + 63. Suppose 4*n = m - 2. Let y = 26 + -21. Solve -y*d - n = -0*d for d.
-3
Let c = -29 + 34. Let p be 392/70 - (-2)/c. Suppose -2 + p = d. Solve 6 - d = -a for a.
-2
Suppose -4*p - 4*q = -0*p - 4, 0 = 5*p + 3*q - 3. Let f = 10 + -5. Solve -f*h - 6 + 21 = p for h.
3
Let c = 379 + -368. Solve 8*t + 9 = c*t for t.
3
Let x(m) = m**2 + 4*m - 111. Let h be x(-13). Solve -11*d + h*d - 25 = 0 for d.
-5
Let w be -3*((-110)/(-15) - 8). Solve 12 = 2*n + w for n.
5
Let h(x) = -x. Let a(l) = -4*l - 4. Let b(q) = -a(q) + 5*h(q). Let i be b(4). Solve i = 3*m - 5 - 7 for m.
4
Let n be ((-19)/3 + 5)/((-8)/18). Let a = 31 + -25. Solve -n*l + 12 = -a*l for l.
-4
Let h = -139 - -164. Solve 5 - h = -4*j for j.
5
Suppose 2*q + q + 24 = 0. Let a be 3/(-3) - q/1. Let s(t) = t**3 - 7*t**2 + t - 7. Let r be s(a). Solve r*j = 4*j + 4 for j.
-1
Suppose 7*x = 5*b + 2*x - 20, 0 = -4*b - x + 36. Let r = 16 + -12. Suppose -3*m - r*w = -b, m - 5*w + 10 = 6*m. Solve -t + m + 2 = 0 for t.
2
Let u = 1042 + -1028. Solve -7*v - 14 - u = 0 for v.
-4
Let r(y) = -y**2 + 6*y. Let u be r(5). Suppose -2*m + 8 = c - u*c, 16 = 4*m + c. Solve 5*p + 1 = -m for p.
-1
Let q = -58 - 10. Let n be (-255)/q + (-6)/8. Solve 3 = n*l - 3 for l.
2
Suppose 36*i + 35*i - 74*i = 0. Solve -3*x - 3*x = i for x.
0
Let j be 50/6 - (-356)/(-267). Solve 0 = g - j + 4 for g.
3
Suppose -15*x - 9 = -99. Solve -3*a - x = 9 for a.
-5
Let z = -918 + 922. Solve 0 = z*q - 60 + 44 for q.
4
Suppose -t = 4*w - 4, 3*t + 20 = 2*w + 2*w. Suppose 12*x = 13*x - w. Solve 10 - x = -2*s for s.
-4
Suppose 0 = 239*j - 235*j. Solve j = 6*z + 2*z + 8 for z.
-1
Let p(i) = -i**3 + 5*i**2 + 7*i - 6. Let u(x) = x**3 - x**2 + x + 2. Let s be u(2). Let h be 46/s + 9/36. Let q be p(h). Solve q + 16 = -4*o for o.
-4
Suppose 4*r = -28*r + 224. Solve z - 10 + r = 0 for z.
3
Let a be -4*12 + (-4)/(-2). Let t = -41 - a. Solve w - 20 = t*w for w.
-5
Let h = -42 - -42. Suppose 4*a - 5*a + 4 = h. Suppose -5*r + 17 = -3. Solve 0*c = r*c - a for c.
1
Let q be (10*6/(-12))/(-1). Solve -j = -q*j for j.
0
Suppose -11*l + 368 = 368. Solve -h + 8 - 3 = l for h.
5
Let f be 79/(-7) + (-8)/(-28). Let j = f - -17. Suppose -j*u + u - 12 = 4*o, -2*o - 6 = -4*u. Solve -3*i + 7 - 1 = u for i.
2
Suppose f = -3*p + 89, 5*p + 4*f - f = 151. Suppose 0 = 6*d - d + 20, x - 5*d - p = 0. Let h be (x/(-3))/(9/(-6)). Solve -m - m = h for m.
-1
Let v be (-2 + (-1)/(-2))*(-2312)/51. Suppose 3*p + 4*y - v = 0, 2*p + 0*y + 2*y - 42 = 0. Solve 0 = -d - 3*d - p for d.
-4
Suppose 5*n - 7 = -3*l + 8, -5*n - 25 = -5*l. Suppose 4*w + 5*u - 25 - 1 = n, -3*w - u + 25 = 0. Solve 3*s = 6*s - w for s.
3
Suppose -u - 4*u + 17 = 2*l, l - 16 = -5*u. Suppose -3*p + 0*m - 5*m + 15 = 0, 2*m = 6. Suppose 0*c - u*c = p. Solve c = -a - a - 2 for a.
-1
Suppose -3*l = 4*w - 16, -l - 8 = -4*l + 4*w. Suppose -3*s - s = -l*g + 8, -2*s = 4. Solve g*y = y - 5 for y.
5
Let a = -3 - -7. Suppose a*i - 4 = 2*i. Solve i*b + 16 = 6 for b.
-5
Suppose 4*c - 15 - 1 = 0. Suppose 13 - 15 = n. Let r(j) = -6*j - 5. Let u be r(n). Solve c*x - u*x - 9 = 0 for x.
-3
Suppose t + 15 = 6*t. Let g be -2*4/(-8)*t. Suppose g*l = l. Solve -o + 4 - 5 = l for o.
-1
Let a = 205 + -199. Solve -3*s = -6*s - a for s.
-2
Let w = -403 - -413. Let t(g) = -3*g - 3. Let m be t(-6). Solve 5*z = -w - m for z.
-5
Suppose 1511*y + 56 = 1525*y. Solve -y*q = -7*q - 8*q f