b + 18 = 2*b. Suppose 33 = 7*a - x. Solve -a*m = 15 + 5 for m.
-4
Let k(a) = -a**3 - a - 1. Let f(z) = 5*z**3 - 6*z**2 + 5*z + 4. Let s(x) = f(x) + 6*k(x). Let d be s(-6). Solve 6 = -5*h - d for h.
-2
Let q = 59 + -50. Suppose 4*j - 53 = -1. Let w = j - q. Solve -w*u + 5 = 1 for u.
1
Let m = 410 + -401. Solve m*f = -f - 10 for f.
-1
Suppose 3*r - 4*z = -2*z + 41, -3*r + 21 = 3*z. Suppose 0 = 4*n + 3*f - r, -5*n - 9 = -7*n - 5*f. Solve 3*g - 3 = n*g for g.
3
Let h be (3/(-1) - -9)/1 - 1. Suppose -5*i + 35 = 3*u, -3*i + h*u - 3 - 10 = 0. Solve -3 = i*x - x for x.
-1
Suppose -12 = -5*o + 3*g - g, 28 = 4*o + 3*g. Let w be (-4)/(-6) + (-6)/9. Let t = -637 - -657. Solve -h - o*h - t = w for h.
-4
Let v(m) = 2*m + 2. Let z(y) = 3*y + 3. Let j(b) = 6*v(b) - 5*z(b). Let o be j(-4). Solve 5*w + o = 2*w for w.
-3
Suppose -16 = -3*o - 5*z, -2*o = 3*z - 4 - 6. Let c = 4 - o. Suppose 5*f - 4*b - 4 = 0, 2*f - c*b - 3 = -1. Solve f = -2*h + 1 + 1 for h.
1
Let d = 89 - 89. Let l(o) = o**3 + 6*o**2 - 8*o - 2. Let f be l(-7). Solve d = f*b + 10 + 15 for b.
-5
Let d(j) = 43*j + 43. Let a be d(-1). Let f = -18 + 38. Solve f = 5*r - a*r for r.
4
Let c(n) = -n**2 + 10*n - 8. Let o be c(9). Suppose 2*y + o + 3 = 0. Let j be 16/7 + y/7. Solve f = j - 1 for f.
1
Suppose 0 = -0*r + 2*r - 22. Suppose 1 = 4*y - 5*h, -4 = -5*y + h + 13. Suppose 2*v - 2*m - 48 = 0, 5*v - 4*m - 15 = y*v. Solve -r = 4*c - v for c.
4
Let g = 39 + -13. Solve 29 - 3 = -g*o for o.
-1
Let b(n) = -n**3 - 10*n**2 - 2*n - 15. Let v be b(-10). Suppose 0*g + 3*g - 12 = 0, -20 = -p - 5*g. Solve -s + 0*s + v = p for s.
5
Let t(d) = -d - 5. Let a be t(-7). Suppose 0 = a*c - 3*p - 48, -3*c + 0*p = p - 94. Suppose 3*u = 7*l - 3*l + 4, 5*l + 5*u - c = 0. Solve l = 3*j + 11 for j.
-3
Let v(a) = a**3 - 7*a**2 + 5*a + 7. Let o be v(6). Suppose 0 = -4*f + 17 + 3. Let r be (-58)/(-6) + (-200)/(-150). Solve 0 = f*u + o - r for u.
2
Let l(j) = 3*j. Let s be l(2). Suppose -s = 2*n, -13 - 32 = -w + 5*n. Let i = w + -29. Solve -3 = -4*m + i for m.
1
Let n = 1004 - 1001. Let x be (3 + -2)*-2 - -4. Solve m = x*m - n for m.
3
Let q(o) = -o**2 - 2*o + 51. Let j be 42/63 - 1/(3/(-16)). Let a be q(j). Solve 17 = 4*m - a for m.
5
Let w(x) be the third derivative of -8*x**2 + 1/60*x**5 + 1/3*x**4 + 0 + 0*x - 7/6*x**3. Let t be w(-9). Solve -2 = -t*i - 0*i for i.
1
Let y(r) = -r**2 + 17*r + 7. Let a be y(0). Solve 0*n + 7*n + a = 0 for n.
-1
Let g = 149 + -143. Solve -g*p = -p for p.
0
Suppose 5*b + 6*i - 5*i - 27 = 0, 8 = 4*i. Let v = -13 + 16. Let o = v - 2. Solve -o + b = -k for k.
-4
Suppose 132 = 3*t + 126. Solve -t = -3*o + 4*o for o.
-2
Suppose 0 = 4*z - 4. Let o be 2 - (1 - z) - 2. Let m = 19 - 15. Solve o = -m*c + c for c.
0
Suppose 5*v = -z + 17, -2 - 2 = z - 2*v. Suppose -5*o = z*a - 10, -a + 4*o = -3*a + 8. Let x be 2 + (9 + 0 - 1). Solve a = 5*f - x + 35 for f.
-5
Suppose -11 = -9*q + 61. Let x be (-6)/(-1) + (q - 5)*-1. Let f = 15 + -5. Solve -x*n + f = -5 for n.
5
Suppose 4*s - 22 = -4*c + 3*s, 2*c = -2*s + 14. Solve -14*z - 57 = c*z for z.
-3
Let u = -15 + 18. Let z be u/(-6) + (-1 - (-9)/2). Solve -5 = 4*y - z*y for y.
-5
Let o = -133 + 136. Let a = 17 - 12. Suppose -a*u + 101 = 1. Solve -u = -x - o*x for x.
5
Let c = -8 - -1. Let t be c - (0 - -3)/1. Let a be t/(-35) - (-66)/14. Solve -5*w + 0 + a = 0 for w.
1
Suppose 0 = m - 5*b + 14, 0*b - 4*b + 12 = 0. Solve 3*c - m - 5 = 0 for c.
2
Let i = 875 + -861. Solve 0 = 18*f - i*f + 12 for f.
-3
Suppose -75 = -5*m + 3*r, 0 = -10*r + 7*r. Solve m = 2*h + 13 for h.
1
Suppose 5 = -2*y + 13. Solve 0 = -y*l - 4 - 0 for l.
-1
Suppose -5*q = 3*m - 9, 0 = -8*m + 7*m + 3. Let p(c) = -c**2 - 2*c**3 + c + c**3 + 23 - 8. Let d be p(q). Solve 0 = 6*z - z - d for z.
3
Suppose 415*c - 420 = 400*c. Solve -4*f - c + 12 = 0 for f.
-4
Let j be (0 - 25)*5/(150/(-12)). Suppose -j*a + 49 = -71. Solve 0*u + a = -3*u for u.
-4
Let a be (-2)/((-39)/9 - -4). Suppose -1 = a*b - 7*b. Solve 2*s = b - 5 for s.
-2
Let y(m) = -5*m - 29. Let j be y(-6). Let c be (-2)/(-13) - (-4)/(-26). Solve h + j + c = 0 for h.
-1
Let u = 1652 - 1646. Suppose 2*m + 6 = 3*q, -q = 4*m - 2*q + 2. Solve 3*i - u*i - 15 = m for i.
-5
Let u = 44 + -40. Solve 0 = -u*q + 5 - 1 for q.
1
Let s be (-589)/(-124) - 10/(-8). Solve q = -s*q + 9*q for q.
0
Let m be 2 - (-678)/(-3 + 6). Suppose 4*d - 4 = -m. Let c be d/(-6) - 28/(-42). Solve 8*t = 3*t - c for t.
-2
Let v = 20 - 8. Suppose i - 3*u + v = 5*i, -8 = -5*i - 2*u. Suppose 5*n - n - 76 = 0. Solve -4*c - n + 7 = i for c.
-3
Suppose 0 = -t - b + 6, 6*t + 3*b = t + 22. Suppose 5*d + t - 47 = 0. Let f(a) = 2*a - 2. Let j be f(d). Solve 5*g + j = g for g.
-4
Let u(t) = t**3 + 3*t**2 - 10*t. Let g be u(-5). Solve -5 = w - g for w.
-5
Let o(a) = a**3 - 9*a**2 + 4*a - 132. Let t be o(10). Solve -t*c + 108 = 140 for c.
-4
Let l be -6 + 9 - (-6)/(-3)*-23. Let p be ((-6)/7)/((-14)/l). Solve -7 = -4*a - p for a.
1
Suppose 12*p + 16 = 16*p. Let q be 33/5 + (-34)/(-85). Solve -p*z = 5 + q for z.
-3
Suppose 3*i = 2*o + 9, -6 + 3 = -i + o. Let f be (29/i - -2) + (-10)/(-30). Solve -2*k - k = f for k.
-4
Let r be ((-3)/(-2) - 1)*50. Suppose 0 = -4*q + 5*z + 11, -5*q + 0*q - 5*z = -r. Solve -7 = q*x - 27 for x.
5
Suppose r + 29 = 5*m, m - 17 = -r + 4*r. Let l = 75 - 67. Solve -m*j = -28 + l for j.
4
Suppose 2*t - 153 = -4*x + 3*t, -5*x + 195 = -5*t. Let f be ((-12)/(-8))/(39/884). Let n = x - f. Solve 4*j + n = -12 for j.
-4
Let y = 703 - 686. Solve -y = -3*x - 14 for x.
1
Let h(r) = -5*r + 49. Let f be h(8). Solve -2*k + f = k for k.
3
Let y(t) = -t**2 + 5. Let p be y(0). Suppose p*z - 72 = z. Suppose 2*r - c - 1 = 5*r, -5 = 5*r + 5*c. Solve -2*m + z - 8 = r for m.
5
Suppose -2*o + 10 = 3*o. Suppose -m = m + o. Let d = 6 + m. Solve -d*c = -2*c for c.
0
Let c(a) = -7*a**3 + 3*a + 2. Let x be c(-1). Let r(j) = -j**3 + 7*j**2 - 8*j + 21. Let n be r(x). Solve 7*o - n = 4*o for o.
3
Let x(a) = -26*a + 15*a - 10*a**2 - 3*a**2 + 15 - a**3. Let v be x(-12). Solve -3*d + 3 = -v for d.
2
Suppose 28*m = 31*m - 75. Solve l + m = 22 for l.
-3
Let c(r) = 13*r**2 - 5*r + 4. Let w be c(1). Solve -5*k = -w + 2 for k.
2
Suppose 0 - 6 = -3*d. Let j = -7 + 10. Suppose j*a - d*a = 4. Solve a*g = 1 + 3 for g.
1
Let p(h) be the third derivative of 7*h**5/60 - h**4/24 - h**3/2 - 12*h**2. Let n be p(-1). Solve -10 = -0*f - n*f for f.
2
Suppose 5*t - 3*s - 19 = 2, -5*t + 4*s + 23 = 0. Suppose 5*z = -3*n - 0 + 6, 6 = t*n - 5*z. Solve 3*c + n*c = -25 for c.
-5
Suppose 7*m - m - 54 = 0. Let u = 15 - m. Solve u = c + c for c.
3
Let x be (4/(-5))/(3/(-30)). Suppose x = -0*h + h. Let r = -5 + h. Solve r*v = v + 4 for v.
2
Let m = 7 - 14. Let q(v) = v**2 + 6*v - 2. Let l be q(m). Suppose -21 = -l*b + 3*a + a, 3*a = 3. Solve 3*r + b + 7 = 0 for r.
-4
Let t be 13/(13/(-6)) + 10. Solve t*l = 2*l + 4 for l.
2
Let p = 151 - 45. Let w = p + -101. Solve -w*d + 0 = -5 for d.
1
Suppose 0 = 4*t - 2*n - 46, -3*n + 0 - 9 = 0. Solve -8*k = 2*k - t for k.
1
Suppose -4*a - 30*a = -442. Solve -4*d + a = -3 for d.
4
Let v be 20/(-90) + 209/9. Solve -j - 22 + v = 0 for j.
1
Suppose 5*r + 16 = 4*a, -5*a + r = -r - 37. Let z be 1/2*(-3)/(a/(-60)). Solve 8*d + z = 3*d for d.
-2
Let t be 4/(-32) + -4 + (-99)/(-24). Solve 15 = -t*u + 3*u for u.
5
Suppose -k - 4*k = 2*w + 12, k + w = -3. Let s be (-2)/(-4)*(-2 - k). Suppose -2*u + 2*l + 10 = 0, -2*l + 2 - 4 = s. Solve -5*t = u + 6 for t.
-2
Suppose 0 = -5*x - 4*l + 31, -1 = x + 2*l - 12. Suppose -x*s + 8*s = 15. Suppose s*d + 3*d = 108. Solve 2 = -5*b - d for b.
-4
Let y(p) = -p**3 + 4*p + 3. Let f be y(-2). Suppose n + 3*s = 12, 0*s + 9 = f*s. Solve -5*z = -n*z for z.
0
Suppose -13*t + 5*t = 0. Suppose t = h - 8 + 4. Solve -h*k + 7 = -1 for k.
2
Suppose -3*t + 4*t = 4*w + 14, 24 = 3*t - 3*w. Suppose -8 - 64 = -t*s. Solve s = 3*f - 3 for f.
5
Let r = -422 + 424. Solve -r*g + 3 = -1 for g.
2
Suppose -2*c - c = 21. Let x(h) = -h**3 - 6*h**2 + 7*h. Let i be x(c). Suppose i = 3*b + 5*p - 75, -4*b = -5*b - 5*p + 35. Solve -b = 3*v + v for v.
-5
Let v(m) be the third derivative of -m**4/24 - m**3 + 2*m**2. Let s be v(-6). Suppose 3*r + 9 = s, r + 7 = 3*b + b. Solve -21 = 4*j - b for j.
-5
Let z(m) = -4*m**3 - m**2. Let t be (2/(-10))/(20/100). Let a be z(t). Solve -y = -a*y for y.
0
Let o be -